離散フーリエ変換
📂フーリエ解析離散フーリエ変換
ビルドアップ
fを特定の間隔で測定されるある物理的信号としよう。現実的な条件を考えた時、信号が測定され始める瞬間t=0と測定が終わる瞬間t=Ωが存在するだろうから、fの関数値は[0,Ω]を除くところで全て0と仮定することができる。
サンプリング定理
f^∈L2であり、f(t)=0 for t∈[0,2Ω]と仮定しよう。それなら、f^(ω)はmπ/Ω(m=0,±1,±2,…)の値で決まる。つまり、次が成り立つ。
f^(ω)=m=−∞∑∞f^(Ωmπ)Ωω−mπsin(Ωω−mπ)
そうすると、fの値が長さがΩの区間[0,Ω]にのみ存在するので、サンプリング定理により、f^の値は離散間隔のf^(Ω/2πm)=f^(Ω2πm)によって決定されるとわかる。この値を計算すると、フーリエ変換の定義によって以下のようになる。
f^(Ω2πm)=∫−∞∞f(x)e−i(2πm/Ω)xdx=∫0Ωf(x)e−i(2πm/Ω)xdx
ここで、[0,Ω]をN個の区間に分けると考えよう。そうすると、分けた区間の左端点は以下のようになる。
0,N1Ω,N2Ω,…,NnΩ,…,N(N−1)Ω
台形公式を考えると、上の点での関数値と各区間の長さNΩを掛けて全て足すと、積分値に似るだろうとわかる。
f^(Ω2πm)=∫0Ωf(x)e−i(2πm/Ω)xdx≈n=0∑N−1e−i2πmn/Nf(NnΩ)NΩ
ここで、an=f(nΩ/N)とすると、上の式は以下のようになる。
ΩNf^(Ω2πm)≈n=0∑N−1e−i2πmn/Nan
今、a^m=∑n=0N−1e−i2πmn/Nanとすると、上の式は以下のようになる。
ΩNf^(Ω2πm)≈a^m
ここで、e−2πin=1なので、
e−2πi(m+N)n/N=e−2πimn/Ne−2πin=e−2πimn/N
が成り立ち、a^mはNの周期を持つ。
a^m+N=a^m
これで自然に、N次元ベクタa=(a0,a1,…,aN−1)∈CNからN次元ベクタa^=(a^0,a^1,…,a^N−1)∈CNへのマッピングを考えることができる。Nポイント離散フーリエ変換discrete Fourier transform, DFTを次のように定義しよう。
定義
以下のように定義される線形変換 FN:CN→CNを離散フーリエ変換という。
FN(a)=a^,a^m=n=0∑N−1e−i2πmn/Nan(0≤m<N)
この時、a=(a0,a1,…,aN−1)とa^=(a^0,a^1,…,a^N−1)∈CNである。
説明
離散信号をよく扱う信号処理では、時間ドメインの信号をx、周波数ドメインの信号をXで表記することが一般的である。
x[n]=xn=k=0∑N−1X[k]
参照