離散フーリエ変換(りさんフーリエへんかん、英語: discrete Fourier transform、DFT)とは離散群上のフーリエ変換であり、信号処理などで離散化されたデジタル信号の周波数解析などによく使われる。また偏微分方程式や畳み込み積分を効率的に計算するためにも使われる。離散フーリエ変換は(計算機上で)高速フーリエ変換(FFT)を使って高速に計算することができる。
n 個の複素数列 x0, ..., xn−1 に対して DFT することで n 個の複素数列 f0, ..., fn−1 が得られる。
ここで e はネイピア数、i は虚数単位 (i² = -1)で、πは円周率である。また、この変換を という記号で表し、x = (x0, ..., xn−1), f = (f0, ..., fn−1) とおいて
のように略記することが多い。
この逆変換にあたる逆離散フーリエ変換(英語: inverse discrete Fourier transform、IDFT)は
正規化係数(DFT は 1, IDFT は 1/n)や指数の符号は単なる慣習的なものであり、上式とは異なる式を扱うことがある。DFT と IDFT の差について、それぞれの正規化係数を掛けると 1 / n になることと、指数の符号が異符号であるということがだけが重要であり、根本的には同一の変換作用素と考えられる。DFT と IDFT の正規化係数を両方とも 1 / √n にすると、両方ともユニタリ作用素(ユニタリ変換)になる。理論的にはユニタリ作用素にするのが好ましいが、実用上数値計算を行うときは上式のように正規化係数を1つにまとめて、スケーリングを一度に行うことが多い。
性質
離散フーリエ変換はフーリエ変換を離散群上で定義したものであるので、フーリエ変換#性質と同様の性質を持つ。
完全性
完全性 DFT は逆変換を持ち、次のような線形写像である。
但し、C は複素数の集合である。つまり、任意の n 次元複素ベクトルは、その DFT と IDFT としてn次元複素ベクトルを持つということである(n ≥ 0 とした)。
直交性
exp(2πi jk/n) は直交基底である。
δjk はクロネッカーのデルタ
パーセバルの定理
Xj, Yj がそれぞれ xk, ykの DFT の時、Plancherelの定理から
ここで * は複素共役を表す。パーセバルの定理は Plancherelの定理の特殊なものであり、
信号処理の観点から見ると、左辺は xk のエネルギーを示している。また、|Xj|2 はパワースペクトルと呼ぶように、右辺は全周波数のエネルギーを表しているといえる。つまり DFT の変換前後でのエネルギーの関係を示していると解釈できる。
畳み込み定理と相互相関定理
x = xj と y = yk の畳み込みx*yは
ここでyは次のように循環するとする。
循環畳み込みを DFT すると単なる積になる(畳み込み定理)。つまりは
となる。ただし大文字のX, Y, Zはそれぞれ小文字のx, y, zの DFT である。なお、DFT の正規化係数が 1 ではない場合は上式に定数係数が付くことになる。
畳み込み和を直接定義式を用いて計算すると O(n²) の計算量が掛かる。しかし、上式より一旦 DFT をしてから掛算をして、そして IDFT で戻す方法もある。DFT の高速アルゴリズムである FFT を介してこのように計算すると O(n log n) の計算量で済む。
xj と yk の相互相関 zk は以下のように定義される。
ここでyは既述のように循環するとして、zk の DFT は
補間三角多項式との関係
実数列の DFT
応用の上ではx0, ..., xn−1が実数のことが多いが、このとき、fj = fn−j* である(*は複素共役)。そのため出力f0, ..., fn−1の半分で全ての情報を持っていることになる。このとき、直流成分 f0 は純粋に実数で、ナイキスト成分 fn/2 も実数であるので、複素数出力fの最初の半分とナイキスト成分というn個実数列によって DFT は冗長性なく完全に記述ができる。
一般化
2次元での変換
デジタル画像処理では2次元変換が画像の周波数成分を解析するのに使われる。
変換は以下のように定義される。
そして逆変換は次のようになる。
但し
- は2次元信号(例えば画像)であり、fのx列y行成分のことである。
- はの2次元周波数スペクトラムである。ここでuはx成分の周波数、vはy成分の周波数である。
2次元DFT は行列を用いて簡単に記述できる。
ここで
- (注:これはユニタリ行列)
行列の表記による変形
2次元DFT を行列計算によって以下のように変形できる。
以下上式の 1 - 7 を解説すると、
- 2次元DFTの定義
- 式1から e-2πiux/M を内側σから出した
- 内側のσは、信号のyの次元(と書いた行)の1次元DFTであることを示している
- 式3で示した、の行列表現
- 式3の注目箇所をで書き変えた - はのx行目の行のv番目の周波数。の1次元DFTの行を集めたものがFvである。
- 式4の1次元DFTの行列表現と同様に、FvTを使って式5を表現した
- 式4を式6に代入した結果。ここでWは対称行列であるのでW=WTとした。
の行はのx行目の行を1次元DFTしたものである。ゆえにはの各行の1次元DFTした結果の行ベクトルを集めたものになる。F=WFvTにおける、FvTを後から掛ける作用素はの列の1次元DFTしたものと同じと考えて良い。
つまり、2次元DFT(2次元フーリエ変換も同様だが)はを、各行ごとに1次元DFTし、その結果をさらに各列ごとに1次元DFTする事と等価である。ここで、1次元DFTの計算はFFTのアルゴリズムで高速に計算できる。そのため実用上は2次元DFTも、2次元FFTとして計算される。
離散フーリエ変換表
表中ではを表すものとする。
|
|
|
|
|
|
応用
DFTは多くの広い分野で利用されている。ここでは、その中の一部を示しているだけに過ぎない。これらの応用は高速フーリエ変換(FFT)とその逆変換(IFFT)で高速に計算できることを前提としていて、定義通りにDFTを計算しているのではない。
信号解析
信号x(t)を解析するのに使われる。ここでtは時間で[0,T]の範囲をとるものとする。例えば、音声信号の場合は、x(t)は時刻tでの空気の圧力を表現することになる。
この信号はn個の等間隔の点で標本化されて、x0, x1, x2, ... , xn-1 の実数列になる。但し標本化の間隔を Δx(=T/n) とすると xk=x(k Δx) である。これのDFTである f0, ..., fn−1 をFFTで計算できる。ただし標本化定理からこれの半分(nが偶数とすると、fn/2 + 1, ..., fn−1)は冗長であるので捨てるか無視する。
DFT から得られる |fk|/n は信号の周波数 j/T 成分の振幅の半分の値であり、振幅スペクトルと呼ばれる。また、この偏角である arg(fj) はこの周波数成分の位相を表す。また、|fk|2はパワースペクトルと呼ばれ、この周波数成分のエネルギーを表している。
fkは信号x(t)のフーリエ級数の係数に相当するものと考えることができる。そのために、無限に広がるフーリエ級数計算を、有限のサンプル点に対しての DFT を使って近似するという形になる。連続信号の場合はこれをスペクトル推定(spectral estimation)と呼び、色々な推定法がある。(例えば、DFT が有限サンプル点を扱うことに起因するスペクトル漏れの弊害を少しでも和らげるために窓関数(窓))を使うことがよく行われる。)
データ圧縮
信号処理の分野では周波数領域(フーリエ変換)で処理をすることも少なくない。例えば、画像の非可逆圧縮や音声圧縮技術などでは離散フーリエ変換の考えが用いられている。信号に対して DFT (実装上ではFFT) を行い、人間が知覚しづらい周波数成分の情報を取り除くことで、正味の情報量を削減(圧縮)する。最も単純な方法では、IDFTの際にその取り除いた周波数情報(フーリエ係数)を0にすることにより、通常のIDFTを実現する。実装の単純化(計算の効率化)のために、実数演算のみで可能な離散コサイン変換を使って2次元情報を圧縮した例がJPEGである。
偏微分方程式
大きな数の掛け算の計算
大きな数や多項式の乗算のアルゴリズムで DFTを使う高速なアルゴリズムが知られている。(ただし現在は理論的により高速なアルゴリズムが見付かっている)数字や多項式の係数の列は畳み込み演算の対象のベクトルと見なす。するとそれぞれのベクトルを DFT して、その結果同士を掛けて、そして逆変換することで掛算の結果が得られる。(つまり畳み込み定理を使う)
参考文献
- E. O. Brigham, The Fast Fourier Transform and Its Applications (Prentice-Hall, Englewood Cliffs, NJ, 1988).
- A. V. Oppenheim, R. W. Schafer, and J. R. Buck, Discrete-Time Signal Processing (Prentice-Hall, 1999).
- S. W. Smith, The Scientist and Engineer's Guide to Digital Signal Processing, (California Technical Publishing, San Diego, 2nd edition, 1999)
関連項目