離散フーリエ変換(りさんフーリエへんかん、英語: discrete Fourier transform、DFT)とは次式で定義される変換で、フーリエ変換に類似したものであり、信号処理などで離散化されたデジタル信号の周波数解析などによく使われる。また偏微分方程式や畳み込み積分の数値計算を効率的に行うためにも使われる。離散フーリエ変換は(計算機上で)高速フーリエ変換(FFT)を使って高速に計算することができる。
離散フーリエ変換とは、複素関数
を複素関数
に写す写像であって、次の式で定義されるものを言う。
![{\displaystyle F(k)=\sum _{n=0}^{N-1}f(x)\exp \left(-i{\frac {2\pi kx_{n}}{x_{N}-x_{0}}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11546d9747ed1cd4bb45db108358f4678295fd8)
ここで、 k は波数、N は標本数、
はネイピア数、
は虚数単位 (
)[注 1]で、
は円周率である。標本番号
に対応する
を標本点という。
また、この変換を
という記号で表し、
のように略記することがある。
この逆変換にあたる逆離散フーリエ変換(英語: inverse discrete Fourier transform、IDFT)は
![{\displaystyle f(x)={\frac {1}{N}}\sum _{k=0}^{N-1}F(k)\exp \left(i{\frac {2\pi kx}{N}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a95e82e05d25a8ec6a8565b9ddc121a00d2ffcdd)
正規化係数(DFT は 1, IDFT は 1/N)や指数の符号は単なる慣習的なものであり、上式とは異なる式を扱うことがある。DFT と IDFT の差について、それぞれの正規化係数を掛けると 1 / N になることと、指数の符号が異符号であるということがだけが重要であり、根本的には同一の変換作用素と考えられる。DFT と IDFT の正規化係数を両方とも
にすると、両方ともユニタリ作用素(ユニタリ変換)になる。理論的にはユニタリ作用素にするのが好ましいが、実用上数値計算を行うときは上式のように正規化係数を1つにまとめて、スケーリングを一度に行うことが多い。
離散フーリエ変換はフーリエ変換に類似した変換であるので、フーリエ変換と類似した性質を持つ。
離散フーリエ変換においては、有限個の標本点しか使わないため、ある関数を離散フーリエ変換し、それを逆変換した場合に、標本点以外で元の関数と一致するとは限らない。
すなわち、複素関数fに対して、
![{\displaystyle F(t)=\sum _{x=0}^{N-1}f(x)\exp \left(-i{\frac {2\pi tx}{N}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/279aef3ca16565683a539d1d4341e7c0ac26af36)
により離散フーリエ変換を行い、それを逆変換したものをgとすると
![{\displaystyle f(x)=g(x)\quad x=0,\dots ,N-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ccebe68ecc0a0a2b66a629e56398ebd57028a1a)
は言えるが、その他の点で
が言えるとは限らない。これを高周波の問題、あるいはエイリアシング(aliasing)という。
は内積
![{\displaystyle (f,g)=\sum _{n=0}^{N-1}{f(n)}^{*}g(n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3cdad79f85795860eabec69330e91845c709737b)
に関し、
が整数のとき直交基底である。
![{\displaystyle (h(t,x),h(t',x))=\sum _{n=0}^{N-1}\exp \left(-i2\pi {\frac {tn}{N}}\right)\exp \left(i2\pi {\frac {t'n}{N}}\right)=N~\delta _{tt'}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd25007f72bff4cf2a46b548fc13cdb705d27b3c)
はクロネッカーのデルタ
二つの(一般には複素数値の)関数
と
の畳み込み
は次のように定義される。
![{\displaystyle (f*g)(x)=\sum _{n=0}^{N-1}f(n)g(x-n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b43da4164fb9b8267d3af9cd1b5dc246b036610b)
ただし、
と
は次のような周期性を持つとする。
![{\displaystyle {\begin{aligned}f(x+N)&=f(x)\\g(x+N)&=g(x)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e806c2567d39e8881bf6406b418b38af68327d18)
周期関数の畳み込みを離散フーリエ変換したものは、それぞれの離散フーリエ変換の積になる(畳み込み定理)。
つまり
![{\displaystyle {\mathcal {F}}_{N}(f*g)={\mathcal {F}}_{N}(f){\mathcal {F}}_{N}(g)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d2dd2ea0abfa2273b09542c29f6140ded8c49b8e)
畳み込み和を直接定義式を用いて計算すると O(N²) の計算量が掛かる。しかし、上式より一旦 DFT をしてから掛算をして、そして IDFT で戻す方法もある。DFT の高速アルゴリズムである FFT を介してこのように計算すると O(N log N) の計算量で済む。
また、二つの(一般には複素数値の)関数
と
の相互相関
は以下のように定義される。
が上記の周期性を持てば、
さらに
の関数値が実数であれば、
となる.ここで上線をつけた
は
の複素共役を表す。
応用上は、実数値関数を対象とすることが多いが、
が実数値関数であるときには、
(
は
の複素共役)。そのため出力
の半分(
)で全ての情報を持っていることになる。
離散フーリエ変換が持つ多くの性質は、
が1の原始N乗根(primitive root)であることのみに依存している。そのため、単位元の原始N乗根
が存在するならば、複素数以外の環や体においても同様に離散フーリエ変換を定義することができる。離散フーリエ変換 (一般)を参照のこと。
デジタル画像処理では2次元変換が画像の周波数成分を解析するのに使われる。
変換は以下のように定義される。
![{\displaystyle F(u,v)=\sum _{x=0}^{M-1}\sum _{y=0}^{N-1}f(x,y)e^{-2\pi i\left({\frac {ux}{M}}+{\frac {vy}{N}}\right)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e2d5f726f653440b4a226bd3f8d045177614fd52)
そして逆変換は次のようになる。
![{\displaystyle f(x,y)={\frac {1}{MN}}\sum _{u=0}^{M-1}\sum _{v=0}^{N-1}F(u,v)e^{2\pi i\left({\frac {ux}{M}}+{\frac {vy}{N}}\right)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9169e88746f695536330c15bca6924af63e28de)
但し
は2次元信号(例えば画像)であり、fのx列y行成分のことである。
は
の2次元周波数スペクトラムである。ここでuはx成分の周波数、vはy成分の周波数である。
2次元DFT は行列を用いて簡単に記述できる。
ここで
![{\displaystyle F={\begin{bmatrix}F(0,0)&F(1,0)&\ldots &F(M-1,0)\\F(0,1)&F(1,1)&\ldots &F(M-1,1)\\\vdots &\vdots &\ddots &\vdots \\F(0,N-1)&F(1,N-1)&\ldots &F(M-1,N-1)\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d930a4c0fe1a0e1d7318622bae76405eb7efc21c)
(注:これはユニタリ行列)
![{\displaystyle f={\begin{bmatrix}f(0,0)&f(1,0)&\ldots &f(M-1,0)\\f(0,1)&f(1,1)&\ldots &f(M-1,1)\\\vdots &\vdots &\ddots &\vdots \\f(0,N-1)&f(1,N-1)&\ldots &f(M-1,N-1)\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75223fcab72508b23260f538e7f40b8a91dfd808)
2次元DFT を行列計算によって以下のように変形できる。
![{\displaystyle F(u,v)=\sum _{x=0}^{M-1}\sum _{y=0}^{N-1}f(x,y)e^{-2\pi i({\frac {ux}{M}}+{\frac {vy}{N}})}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e3fd8ec47646b29a229693bc6c72517bf255b52)
![{\displaystyle F(u,v)=\sum _{x=0}^{M-1}\left[\sum _{y=0}^{N-1}f(x,y)e^{-2\pi i{\frac {vy}{N}}}\right]e^{-2\pi i{\frac {ux}{M}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/282a04c827fec769253db59bbc2f5ae611d7961f)
![{\displaystyle F(u,v)=\sum _{x=0}^{M-1}\underbrace {\left[\sum _{y=0}^{N-1}f(x,y)e^{-2\pi i{\frac {vy}{N}}}\right]} _{{\mathcal {F}}_{y}f(x,y)}e^{-2\pi i{\frac {ux}{M}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/172c2dbabf5d940e8676b7ac21d8dffe70d92a0d)
![{\displaystyle F_{v}=Wf}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b25ba77dbe974f40e8047bd353c3b915e159b538)
![{\displaystyle F(u,v)=\sum _{x=0}^{M-1}F_{v}(x,v)e^{-2\pi i{\frac {ux}{M}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d74655578128028dbdcf3f37563d4f678def222d)
![{\displaystyle F=WF_{v}^{T}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/99b40da143c0363749798fb7d29c73799d1fe251)
![{\displaystyle F=Wf^{T}W}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1ac0af41665f5b55e325d540f2a2a91914a7371)
以下上式の 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として計算される。
表中で、
時間領域
|
周波数領域
|
備考
|
|
|
IDFT,DFTのWを使った定義
|
|
|
定義
|
|
|
定義
|
|
|
線形性
|
|
|
時間軸変調、周波数軸移動
|
|
|
時間軸移動(正)
|
|
|
時間軸移動(負)
|
|
|
時間軸畳み込み、周波数軸積
|
|
|
時間軸積、周波数軸畳み込み
|
|
|
時間軸共役、周波数軸反転
|
|
|
時間軸反転、周波数軸共役
|
|
|
時間軸実部、周波数軸偶関数
|
|
|
時間軸虚部、周波数軸奇関数
|
|
|
時間軸偶関数、周波数軸実部
|
|
|
時間軸奇関数、周波数軸虚部
|
|
|
べき乗
|
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を使う高速なアルゴリズムとして1971年にショーンハーゲ・ストラッセン法が発見された。数字や多項式の係数の列を畳み込み演算の対象のベクトル[要曖昧さ回避]と見なす。するとそれぞれのベクトルの DFT を造り、その結果同士のベクトルを要素ごとに乗算した新たなベクトルを作り、それを逆変換することにより掛算の計算結果が得られる(つまり畳み込み定理を使う)。2007年に理論上はショーンハーゲ・ストラッセン法よりも高速なアルゴリズム(en:Fürer's algorithm)が発見された。
離散フーリエ変換
離散フーリエ逆変換
とするところもある(図解雑学 フーリエ変換)。
これは、フーリエ変換を
、フーリエ逆変換を
としたときの式である。
- ^ ディジタル信号処理分野の古典である、OppenheimとSchaferの著書『ディジタル信号処理』では
の代わりに
を使用している。
- 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)
- W. L. Briggs and van E. Henson: The DFT - An Owner's Manual for the Discrete Fourier Transform (SIAM, 1995).
- A. V. Oppenheim, R. W. Schafer, 伊達玄訳, ディジタル信号処理 (コロナ社, 1978).