DFT, Discrete Fourier Transform 離散フーリエ変換の定義式には異なるものが存在する。異なる式で計算すれば値も異なる。

　実は連続関数のフーリエ変換も同様に異なるものがある。これはフーリエ変換の定義における任意性のためである。応用分野に相応しく変形されることで差異が発生する。結局のところ、どの定義式を使ってもそれを意識してさへゐれば問題はない。ここでは差異とそれが発生する分岐点を紹介することにする。

DFT定義式の差異

　時間領域の離散データ(ｇ_0, ｇ_1, ..., ｇ_N-1)から周波数領域への離散データ (Ｇ_0, Ｇ_1, ..., Ｇ_N-1) への長さNのDFTを

　　　　　　　　N-1　　　　-jr2πk／N
　　　　Ｇ　＝　Σ　ｇ 　ｅ　　　　　　　　（１）
　　　　　ｒ　　k=0　ｋ
     

とするか、

　　　　　　　 1　　N-1 　　　 -jr2πk／N
　　　　Ｇ　＝ ---　Σ　ｇ 　ｅ　　　　　　（２）
　　　　　r　　N 　 k=0　 k

とするかの違ひである。

　Σ以降の計算は同じであるが比例係数1/Nの有無に差がある。この比例係数は規格化定数と呼ばれる。いづれの式によってもＧｒ相互の比は一致し、絶対値が異なるだけである。

DFT定義式の導出

　DFT定義式の導出は種々のものがあるが、ここではラシイ(B. P. Lathi)の本にあるフーリエ積分からの導出を示す。

　時間領域の関数ｇ（ｔ）は[0, T0]の区間にある孤立波でありそれ以外の範囲では0とする。Tsはｇ（ｔ）の標本化時間間隔とする。

　　　　N0 = T0 / Ts　　（３）

フーリエ積分は

　　　　　　　　∞　　　　　-jωt
　　　　Ｇ(ω)＝∫ｇ（ｔ）ｅ　　　dt　　（４）
　　　　　　　　-∞

であるが、ｇ（ｔ）の定義から

　　　　　　　　T0　　　　　-jωt　　　　　　　　N0-1 　　　　　　-jωkTs
　　　　Ｇ(ω)＝∫ｇ（ｔ）ｅ　　　dt　＝　lim　　Σ　{ ｇ（kTs）ｅ　　　　 Ts }　（５）
　　　　　　　　0　　　　　　　　　　　　Ts→ 0　k=0

となる。

　Ｇ(ω)から周波数間隔ω0で標本をとる。Ｇｒをｒ番目の標本とするとＧｒ = Ｇ(ｒω0)。Tsは充分小さいとしてlimを取り除くと、

　　　　　　　N0-1　　　　　　　-jrω0kTs 
　　　　Ｇｒ＝Σ{ Ts ｇ（kTs）ｅ　　　　 }　　（６）
　　　　　　　k=0

ラシイはここで ｇｋ = Ts ｇ（kTs） 、Ω0 = ω0Ts　と置き、

　　　　　　　　　　　　　　　 　-jrω0Tsk　　　　　　　-jrΩ0k
　　　　Ｇｒ＝Σ｛ Ts ｇ（kTs）ｅ 　　　　｝＝Σ（ｇｋ ｅ　　　）　　（７）

と変形する。ここまでがラシイの導出である。

　最後の変形はTs = 1と考へる場合に相当し、式（１）の形になる。

　一方TsではなくT0を1と考へると、Ts = 1 / N0であるから式（７）は

　　　　　　　　　1 　　　　　　-jrω0Tsk　 1 　　　　　　　-jrω0Tsk
　　　　Ｇｒ＝　Σ---ｇ（kTs）ｅ　　　　　＝---Σｇ（kTs）ｅ　　　　　　（８）
　　　　　　　　　N0　　　　　　　　　　　　N0

となり1/N0が現れる。こちらは式（２）の形になる。

　つまり式を作るときの、基準とする時間の違ひにより変化が現れる。標本化時間間隔で正規化してTs =1, T0 >1 と考へるか、解析対象時間で正規化してT0 = 1, Ts < 1 とするかの違ひである。

フーリエ積分と一致する定義式

　式（６）を使用すればフーリエ積分を標本化した値が得られる。但しエイリアシングを考慮したTsの設定が必要である。またナイキスト周波数(折り返し周波数)付近は不連続性により誤差が大きくなる。

フーリエ変換の定義における任意性

　フーリエ変換には逆変換が存在する。変換したものに逆変換を施すと元の信号に戻る。次のやうな式が書ける。

　　　　ｆ（ｘ）　＝　逆変換［変換｛ｆ（ｘ）｝］

　　　　　　　 　1　 　∞　　∞　　　　　　-jkx　　　jkx
　　　　ｆ(ｘ)＝---- 　∫　｛∫　ｆ（ｘ）ｅ　 ｄｘ｝ｅ　ｄｋ　　（９）
　　　　　　　　2π　　-∞　-∞

　ここに１／（２π）が現れる。式（９）の中括弧の内部がフーリエ変換であり、その外側がフーリエ逆変換を構成してゐる。１／（２π）を変換と逆変換に均等に割り振り１／√（２π）とする場合もあれば、一方を１もう一方を１／（２π）とするものもある。

　電気電子工学ではフーリエ変換の規格化定数を１、逆変換では１／（２π）とするものが多いやうである。DFTの場合フーリエ積分の１／（２π）に当るのが１／Ｎになり、分配の組み合はせがいくつか存在することになる。

　また式（９）の関係は、変換と逆変換の間で指数関数の符号を交換をしても成立するので、指数関数の符号の取り方も任意性があることになる。

　大浦拓哉氏が文献を調べたところ、規格化定数と指数関数の符号の組み合はせは考へられる全てがあったといふ。

参考文献
B. P. Lathi, 'Modern Digital and Analog Communication Systems Third Edition', Oxford University Press, 1998, '3.9 NUMERICAL COMPUTATION OF FOURIER TRANSFORM: The DFT', p.130
竹内淳「高校数学でわかるフーリエ変換」講談社ブルーバックスB-1657、2009年11月、95ページ
大浦拓哉「FFT (高速フーリエ・コサイン・サイン変換) の概略と設計法」
OKWave「離散フーリエ変換（ＤＦＴ）の公式について」