a∈CN\mathbf{a} \in \mathbb{C}^{N}a∈CNの離散フーリエ変換をFN\mathscr{F}_{N}FNあるいはa^\hat{\mathbf{a}}a^として示そう。
畳み込み
FN(a∗b)=a^b^=(a^0b^0,…,a^N−1b^N−1) \mathscr{F}_{N}(\mathbf{a} \ast \mathbf{b}) = \hat{\mathbf{a}} \hat{\mathbf{b}} = (\hat{a}_{0}\hat{b}_{0}, \dots, \hat{a}_{N-1}\hat{b}_{N-1}) FN(a∗b)=a^b^=(a^0b^0,…,a^N−1b^N−1)
この場合、∗\ast∗は離散畳み込みだ。
離散フーリエ変換もフーリエ変換が満たす性質をそのまま満たす。
Gerald B. Folland, Fourier Analysis and Its Applications (1992), p251 ↩︎