応用数学 - 離散フーリエ逆変換

概要

離散フーリエ逆変換 (Inverse Discrete Fourier Transform, IDFT) は、周波数領域の離散スペクトルから時間領域の離散信号を復元する線形変換である。
応用数学 - 離散フーリエ変換が有限長の離散時間信号を周波数成分へ分解するのに対し、IDFTはその成分を和として重ね合わせて元の信号を再構成する。

IDFTは、周波数領域での解析結果を再び波形として読み戻すための基本操作である。
この性質により、周波数領域で行ったフィルタリング、圧縮、雑音除去、特徴抽出等の処理結果を時間領域または空間領域で確認できる。

標準的な信号処理の規約では、DFT側に規格化係数を置かず、IDFT側に $\frac{1}{N}$ を置く。
この形は NumPy、SciPy、MATLAB等の実装でも広く採用されている。

適切な規約の下では、IDFTとDFTは完全再構成の対をなし、 $IDFT (DFT (x [n])) = x [n]$ が成り立つ。
この完全再構成性は、離散周波数解析が可逆であることを保証する。

IDFTは本質的に、複素指数関数系の直交性に基づく加算合成である。
各周波数成分の振幅と位相を複素係数として保持し、それらを重み付きで足し合わせることで元の信号を復元する。

また、IDFTは長さ $N$ の列を周期 $N$ で周期拡張したものとして扱う。
このため、巡回畳み込み、ゼロパディング、折り返し等の概念は、IDFTを実用的に使用する上で重要である。

実際の応用では、周波数領域で高周波成分を間引いた後にIDFTで近似波形を再構成したり、FFTベースの高速畳み込みや圧縮復元を実現したりする。

このように、IDFTは、単なる逆公式ではなく、離散周波数表現を現実の信号へ戻すための中核技術となっている。

離散フーリエ逆変換の定義

長さ $N$ の複素数列 $X [k]$ に対し、離散フーリエ逆変換 $x [n]$ は以下のように定義される。

標準的な定義

 $x [n] = \frac{1}{N} \sum_{k = 0}^{N - 1} X [k] e^{i \frac{2 π k n}{N}} (n = 0, 1, \dots, N - 1)$

ここで、 $X [k]$ は周波数領域のDFT係数、 $x [n]$ は時間領域の離散信号、 $N$ は変換長である。

この和により周波数インデックス $k$ が消え、時間インデックス $n$ の信号が得られる。

正変換との対

対応する正変換は

 $X [k] = \sum_{n = 0}^{N - 1} x [n] e^{- i \frac{2 π k n}{N}}$

である。

順変換と逆変換の指数の符号は反対であり、規格化係数の積は $\frac{1}{N}$ になる。

離散フーリエ逆変換の意味

IDFTは、離散スペクトルをもとの信号へ戻す再構成操作である。

周波数成分の重ね合わせ

各係数 $X [k]$ は、角周波数 $\frac{2 π k}{N}$ に対応する複素指数関数の重みを表す。

IDFTでは、それらの成分を、

 $e^{i \frac{2 π k n}{N}}$

に沿って足し合わせ、波形を合成する。

加算合成としての理解

IDFTは加算合成 (additive synthesis) とみなせる。

複素係数 $X [k]$ を振幅と位相を持つ周波数成分の集まりと考えると、IDFTはその全成分を加えて1つの信号を作る操作である。

実用的な見方

信号処理では、DFTによって周波数領域へ写した後、その係数を編集してからIDFTで戻すことが多い。
ローパスフィルタ、高周波雑音除去、圧縮後の再生等は、この流れで理解できる。

反転公式と再構成

完全再構成

適切な規約の下では、

 $IDFT (DFT (x [n])) = x [n]$

が成り立つ。

これは、DFTとIDFTが互いに逆演算であることを意味する。

直交性による証明の考え方

複素指数関数系は離散信号空間で直交性を持つ。

具体的には、

 $\sum_{n = 0}^{N - 1} e^{i \frac{2 π (k - m) n}{N}} = N δ [k - m]$

が成り立つ。

この関係をDFTの式に代入すると、不要な周波数成分は打ち消し合い、対応する成分のみが残る。

実信号の再構成

$x [n]$ が実信号である時、スペクトルは、

 $X [k] = \overline{X [N - k]}$

という共役対称性を持つ。

このため、IDFTで複素共役な成分が互いに打ち消し合い、最終的に実数値信号が得られる。

記法と規格化の規約

IDFTの規格化は文献や実装で異なる。
本ページでは、応用数学 - 離散フーリエ変換と整合する標準的な信号処理の規約を主に扱う。

標準的な規約 (信号処理)

 $x [n] = \frac{1}{N} \sum_{k = 0}^{N - 1} X [k] e^{i \frac{2 π k n}{N}}$

この規約は、正変換に係数 1、逆変換に係数 $1 / N$ を置く。

対称形規約

 $x [n] = \frac{1}{\sqrt{N}} \sum_{k = 0}^{N - 1} X [k] e^{i \frac{2 π k n}{N}}$

対称形では、正変換と逆変換が同じ係数を持つ。
プランチェレル型の関係やユニタリ性を見通しよく扱える。

その他の規約

一部の文献では、正変換に $\frac{1}{N}$ を置き、逆変換を無規格化とする。

重要なのは、対応する順変換と逆変換が互いに逆写像となることである。

ライブラリでの実装

NumPyとSciPyの ifft は、現在の既定値では backward 規約を採用し、IDFT 側で $1 / N$ を掛ける。
norm="forward" や norm="ortho" を指定すると、規格化の置き方を変更できる。

MATLABの ifft も標準的には $\frac{1}{N}$ を含む。

基本的な性質

線形性

任意の定数 $a$ 、 $b$ に対して、

 $IDFT [a X_{1} [k] + b X_{2} [k]] = a x_{1} [n] + b x_{2} [n]$

が成り立つ。

巡回シフト

周波数領域での巡回シフトは、時間領域での位相因子の乗算に対応する。

 $IDFT [X [(k - m) mod N]] = e^{i \frac{2 π m n}{N}} x [n]$

時間領域での巡回シフト

周波数領域で複素指数因子を掛けると、時間領域では巡回シフトが起きる。

 $IDFT [X [k] e^{- i \frac{2 π k n_{0}}{N}}] = x [(n - n_{0}) mod N]$

パルセヴァルの等式

$x [n]$ と $y [n]$ に対して

 $\sum_{n = 0}^{N - 1} x [n] \overline{y [n]} = \frac{1}{N} \sum_{k = 0}^{N - 1} X [k] \overline{Y [k]}$

が成り立つ。

これは、周波数領域から復元しても信号エネルギー対応が保たれることを示す。

積と畳み込み

周波数領域の積をIDFTすると、時間領域の巡回畳み込みが得られる。

 $IDFT [X [k] Y [k]] = (x ⊛ y) [n]$

この性質が、FFTベース高速畳み込みの基礎となる。

巡回畳み込みと時間領域への復元

IDFTは有限長列を周期的に拡張したものとして扱う。
そのため、復元された波形も周期境界の影響を受ける。

巡回畳み込み

長さ $N$ の列に対して

 $(x ⊛ y) [n] = \sum_{m = 0}^{N - 1} x [m] y [(n - m) mod N]$

で定義される。

DFT領域で積を取り、その後IDFTを行うと、この巡回畳み込みが得られる。

線形畳み込みを得る方法

線形畳み込みが欲しい場合には、あらかじめ十分なゼロパディングを施す必要がある。
具体的には、長さ $N_{x}$ と $N_{y}$ の2信号なら、少なくとも $N_{x} + N_{y} - 1$ 以上に拡張する。

折り返しの注意

ゼロパディングが不十分だと、巡回畳み込みの折り返しが時間領域に現れ、意図しないエイリアシングが生じる。
この点は、IDFTを用いた高速畳み込みや復元計算で特に重要である。

基本的な逆変換表

下表に、標準的な規約における代表的なIDFT対を示す。

基本的な離散フーリエ逆変換対
$X [k]$	$x [n]$
$1$	$δ [n]$
$N δ [k]$	$1$
$N δ [(k - k_{0}) mod N]$	$e^{i \frac{2 π k_{0} n}{N}}$
$\frac{N}{2} [δ [(k - k_{0}) mod N] + δ [(k + k_{0}) mod N]]$	$\cos (\frac{2 π k_{0} n}{N})$
$\frac{N}{2 i} [δ [(k - k_{0}) mod N] - δ [(k + k_{0}) mod N]]$	$\sin (\frac{2 π k_{0} n}{N})$

$δ [n]$ はクロネッカーのデルタ関数である。
規格化が異なると係数も変化する。

計算例

問題

長さ $N = 4$ のスペクトル $X [k] = [4, 0, 0, 0]$ のIDFTを求めよ。

計算

定義より、

 $x [n] = \frac{1}{4} \sum_{k = 0}^{3} X [k] e^{i \frac{2 π k n}{4}}$

である。

ここでは $X [0] = 4$ 以外の成分が全て0なので、

 $x [n] = \frac{1}{4} \cdot 4 \cdot e^{0} = 1$

となる。

したがって、全ての $n = 0, 1, 2, 3$ に対して、

 $x [n] = 1$

である。

結果の解釈

直流成分だけを持つスペクトルは、時間領域では定数信号を与える。
IDFTは周波数係数を実際の波形へ戻す操作であることが、この最も単純な例で確認できる。

離散フーリエ変換との関係

正変換と逆変換の対称性

DFTとIDFTは、指数関数の符号と規格化係数を除いて対称な形をしている。

正変換
時間領域から周波数領域への写像

$X [k] = \sum_{n = 0}^{N - 1} x [n] e^{- i \frac{2 π k n}{N}}$
逆変換
周波数領域から時間領域への写像

$x [n] = \frac{1}{N} \sum_{k = 0}^{N - 1} X [k] e^{i \frac{2 π k n}{N}}$

双対性

DFTを2回適用すると、元の信号は巡回反転されて $N$ 倍された形で戻る。
すなわち、

 $DFT [X [n]] = N x [(- k) mod N]$

が成り立つ。

この関係は、順変換と逆変換の構造的な近さを示している。

高速フーリエ変換との関係

IDFT と IFFT

実装上は、IDFTはしばしばIFFT (inverse FFT) として高速に計算される。
これは、IDFTそのものが別の変換に置き換わるのではなく、同じ演算を高速化しているにすぎない。

計算量

直接計算
$O (N^{2})$
FFTベース実装
$O (N \log N)$

実装上の定石

一部の実装や理論説明では、

スペクトルの複素共役をとる。
FFTを適用する。
結果の複素共役をとり、 $N$ で割る。

という形で、IDFTを説明する。
これは、FFTとIDFTの密接な関係を示す実装上の工夫である。

応用

信号復元

周波数領域で加工した信号を時間領域へ戻す。
雑音除去後の波形再構成や、ローパス処理後の平滑化に利用される。

圧縮と近似再構成

高周波成分の一部を捨てた後にIDFTを行うと、近似的な元信号を得られる。
この考え方は、音声圧縮や特徴量削減の基礎的理解に有用である。

通信工学

OFDMの受信側復調
サブキャリア表現から時間波形を取り出す。
チャネル逆特性の適用後の波形復元
周波数領域補償結果を時間領域へ戻す。

画像処理

2次元IDFTは周波数領域で編集した画像スペクトルから空間画像を再構成する。
MRIや回折像再構成等でも同様の考え方が現れる。

ライブラリ利用の実務

NumPy、SciPy、MATLAB、OpenVINO等では、IDFTは多次元・任意軸・実数最適化付きで利用できる。
そのため、現代の実装では理論式だけでなく、規格化や軸方向の解釈も重要である。