[DSP] 基底信号による展開を考える

１．今回の目的

今だけの名称として，この展開を基底展開，係数$a_k$を基底係数と呼ぶことにしよう．

２．直交性の定義

まず，$e_k(n)$が"直交性を持つ"ということは，次の式が成り立つことである．

ただし，${\delta }_{st}$はKronecker(クロネッカー)の記号である．

３．内積の定義

さらに，離散時間信号が作る関数空間に対して，次のように内積を定めよう．

この定義が内積の公理を満たしているかどうかは今回議論しないが，あとで追記するかも．

４．基底展開を考える

離散信号$x(n)$が(A)式；
$$\begin{array}{}\text{(A)}& x(n)=\sum _{k=-\mathrm{\infty }}^{\mathrm{\infty }}{a}_k\cdot e_k(n)\end{array}$$
のように基底展開できることを仮定して，係数$a_k$を求めてみよう．

基本的な考えとしては，"①基底信号の直交性を利用して，②両辺と成分との内積をとり，③各成分(各係数)を取り出す"という方針である．実際にやってみよう．

まずは，$x(n)$と$e_0(n)$との内積をとってみると，
$$\begin{array}{rl}⟨x(n),e_0(n)⟩& =\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}x(n)\cdot e_0(n)=\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}\{\sum _{k=-\mathrm{\infty }}^{\mathrm{\infty }}{a}_k\cdot e_k(n)\}\cdot e_0(n)\\ & =\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}\{\sum _{k=-\mathrm{\infty }}^{\mathrm{\infty }}{a}_k\cdot e_k(n)\cdot e_0(n)\}\end{array}$$

ここで，式中の$e_k(n)\cdot e_0(n)$は，直交性により，
$$e_k(n)\cdot e_0(n)=\{\begin{array}{cl}1& (k=0)\\ 0& (k\ne 0)\end{array}$$
となることがわかるだろうか．これにより，$k$に依存する総和の部分は，
$$\begin{array}{rl}& \sum _{k=-\mathrm{\infty }}^{\mathrm{\infty }}{a}_k\cdot e_k(n)\cdot e_0(n)\\ & =\cancel{\cdots }+a_{-1}\cancel{e_{-1}(n)e_0(n)}+a_0{e}_0(n)e_0(n)+a_1\cancel{e_1(n)e_0(n)}+\cancel{\cdots }\\ & =a_0\cdot 1=a_0.\end{array}$$

よって，内積の値は，
$$⟨x(n),e_0(n)⟩=\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{a}_0=a_0.$$

つまり，
$$a_0=⟨x(n),e_0(n)⟩$$
であることがわかった．

同様の計算により，基底係数$a_k$について次のような式が成り立つ．
$$a_k=⟨x(n),e_k(n)⟩=\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}x(n)\cdot e_k(n).$$

これを用いれば，基底展開に関する次の定義(予想->定義)を得る．

５．実例

実際の例を見てみよう．

回答： まず，基底係数を求めると，
$$a_k=⟨x(n),e_k(n)⟩=\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}\delta (n)\cdot e^{j2\pi nk/3}$$
となるが，デルタ関数の性質により，$n=0$のとき以外は$\delta (n)=0$となって消えてしまうから，
$$a_k=\delta (0)\cdot e^{j2\pi \cdot 0k/3}=1.$$

よって，基底係数は任意の$k$に対して$a_k=1$となり，基底展開は次のようになる．
$$x(n)=\sum _{k=-\mathrm{\infty }}^{\mathrm{\infty }}{a}_k\cdot e_k(n)=\sum _{k=0}^2{e}_k(n)=e_0(n)+e_1(n)+e_2(n).$$