こんにちは。データサイエンスチームのtmtkです。
この記事では、離散フーリエ変換の紹介をします。

離散フーリエ変換とは

離散フーリエ変換は、要素数が[latex]N[/latex]の有限集合を定義域にもつ関数を、

[latex]\phi_n(t) = \displaystyle\exp(\frac{i2\pi nt}{N}) \quad (n = 1, 2, \ldots, N)[/latex]
の形の関数の和で書き表す手続きのことをいいます。別の言い方をすれば、線形空間上で基底変換をしていると考えることもできます。
離散フーリエ変換は、高速フーリエ変換というアルゴリズムで高速化できます。
離散フーリエ変換の応用として、多倍長整数演算や、畳み込み処理の高速化などがあるようです。
この記事では、離散フーリエ変換の定義とその意味について紹介します。続く記事では、高速フーリエ変換やその応用として畳み込み処理の高速化を紹介します。

離散フーリエ変換の定義

はじめに、自然数[latex]N \in \mathbb{N}[/latex]を固定します。
関数[latex]x \colon \mathbb{Z} \to \mathbb{C}[/latex]が周期[latex]N[/latex]をもつとします。すなわち、任意の整数[latex]t[/latex]に対して、[latex]x(t+N) = x(t)[/latex]が成り立っているとします。このとき、[latex]x[/latex]は[latex]x(1), \ldots, x(N)[/latex]から決まるので、[latex]x[/latex]は有限集合[latex]\{ 1, 2, \ldots, N\}[/latex]上の関数

[latex]\begin{array}{cccc}x\colon &\{1, \ldots, N\} &\to &\mathbb{C} \\ &t &\mapsto &x(t)\end{array}[/latex]
や[latex]N[/latex]次元ベクトル空間[latex]\mathbb{C}^N[/latex]の元
[latex]\left(\begin{array}{c}x(1) \\ \vdots \\ x(N) \end{array}\right)[/latex]
と同一視することができます。以後、[latex]N[/latex]次元ベクトル
[latex]\displaystyle x = \left( \begin{array}{c} x(1)\\ \vdots \\x(N) \end{array} \right)[/latex]
のみについて考えますが、周期関数や有限集合上の関数とも考えられることに注意してください。
さて、[latex]N[/latex]次元ベクトル[latex]x[/latex]に対して、[latex]x[/latex]の離散フーリエ変換
[latex]\mathcal{F}(x) = \left( \begin{array}{cc} \mathcal{F}(x)(1) \\ \vdots \\\mathcal{F}(x)(N)\end{array} \right)\in \mathbb{C}^N[/latex]
を
[latex]\displaystyle\mathcal{F}(x)(n) = \frac{1}{\sqrt N}\sum_{t=1}^N x(t) \exp(-\frac{i2\pi nt}{N})[/latex]
で定義します。これが離散フーリエ変換の定義です。

離散フーリエ変換の意味

この離散フーリエ変換の定義はどのように出てきたものなのでしょうか。これから説明します。
周期関数

[latex]\displaystyle\begin{array}{cccc}\phi_n: &\mathbb{Z} &\to &\mathbb{C}\\ &t &\mapsto &\exp(\frac{i2\pi nt}{N})\end{array}[/latex]
を考えることができます。これと同一視できる[latex]N[/latex]次元ベクトル
[latex]\displaystyle \begin{array}{c}\phi_n = \left( \begin{array}{cc} \exp(\frac{i2\pi n1}{N}) \\ \vdots \\ \exp(\frac{i2\pi nN}{N})\end{array}\right)\end{array}[/latex]
を[latex]n = 1, \ldots, N[/latex]にわたって集めると、これは[latex]\mathbb{C}^N[/latex]上の正規直交基底になることがわかります。実際、内積を計算すると
[latex]\displaystyle \begin{aligned}(\phi_n, \phi_m) &= \sum_{t = 1}^N \overline{\phi_n(t)} \phi_m(t) \\ &= \frac{1}{N}\sum_{t=1}^N \exp(\frac{i2\pi (-n+m)t}{N}) \\ &= \delta_{nm} \end{aligned}[/latex]
となるので、正規直交基底になっていることが確認できました。
そこで、標準基底[latex]\{e_1, \ldots, e_N\}[/latex]で表示されたベクトル[latex]x \in \mathbb{C}^n[/latex]を基底[latex]\{ \phi_1, \ldots, \phi_N\}[/latex]に変換して表示すると、[latex]x[/latex]は
[latex]\displaystyle x = \sum_{n = 1}^N (\phi_n, x) \phi_n[/latex]
と書けることから、[latex]x[/latex]の[latex]\phi_n[/latex]に関する係数は
[latex]\displaystyle\begin{aligned}(\phi_n, x) &= \sum_{t = 1}^N \overline{\phi_n(t)} x(t) \\ &= \frac{1}{\sqrt{N}}\sum_{t = 1}^N x(t)\exp (-\frac{i2\pi nt}{N})\end{aligned}[/latex]
となります。これは[latex]x[/latex]のフーリエ変換の第[latex]n[/latex]項[latex]\mathcal{F}(x)(n)[/latex]です。これが離散フーリエ変換の由来です。
つまり、離散フーリエ変換は線形空間[latex]\mathbb{C}^N[/latex]の標準基底[latex]\{e_1, \ldots, e_N\}[/latex]から正規直交基底[latex]\{\phi_1, \ldots, \phi_N\}[/latex]への基底変換です。

逆離散フーリエ変換

離散フーリエ変換の逆の操作で、逆離散フーリエ変換というものがあります。これは離散フーリエ変換の逆の基底変換です。具体的に書き表すと以下のようになります。
　[latex]N[/latex]次元ベクトル空間[latex]\mathbb{C}^N[/latex]の元

[latex]x = \left(\begin{array}{c}x(1) \\ \vdots \\ x(N) \end{array}\right)[/latex]
に対して、その逆離散フーリエ変換[latex]\mathcal{F}^{-1}(x)\in\mathbb{C}^N[/latex]を
[latex]\displaystyle\mathcal{F}^{-1}(x)(t) = \frac{1}{\sqrt N}\sum_{n=1}^N x(n) \exp(+\frac{i2\pi tn}{N})[/latex]
で定義します。離散フーリエ変換の場合と指数関数[latex]\exp[/latex]の引数[latex]\frac{i2\pi nt}{N}[/latex]の符号が変わっています。
実際に互いに逆変換になっていることは、以下のように直接の計算で確かめられます。まず、最初に[latex]\mathcal{F}^{-1}\circ\mathcal{F}[/latex]については
[latex]\displaystyle\begin{aligned}\left(\mathcal{F}^{-1}\circ\mathcal{F}(x)\right)(t) &= \frac{1}{\sqrt{N}}\sum_{n=1}^N \mathcal{F}(x)(n)\exp(\frac{i2\pi t n }{N}) \\ &= \frac{1}{\sqrt N}\sum_{n=1}^N \left(\frac{1}{\sqrt N}\sum_{s=1}^N x(s)\exp(-\frac{i2\pi ns}{N})\right)\exp(\frac{i2\pi t n }{N}) \\ &= \sum_{s=1}^N x(s)\left(\frac{1}{N}\sum_{n=1}^N\exp(\frac{i2\pi n(t-s)}{N})\right) \\ &= \sum_{s=1}^N x(s) \delta_{st} \\ &= x(t)\end{aligned}[/latex]
より、[latex]\mathcal{F}^{-1}\circ \mathcal{F} (x) = x[/latex]が任意の[latex] x \in \mathbb{C}^N[/latex]について成り立ちます。同様にして、[latex]\mathcal{F}\circ\mathcal{F}^{-1}(x) = x[/latex]も示すことができます。したがって、離散フーリエ変換[latex]\mathcal{F}[/latex]と逆離散フーリエ変換[latex]\mathcal{F}^{-1}[/latex]は互いに逆変換になっています。

まとめ

この記事では、離散フーリエ変換の定義を紹介しました。離散フーリエ変換はベクトル空間の基底変換と考えることができます。離散フーリエ変換の逆変換を逆離散フーリエ変換と呼びます。

参考文献

• Ian Goodfellow『深層学習』
• 離散フーリエ変換を用いた多倍長乗算の話
• 山下幸彦他『工学のためのフーリエ解析』