[EE261学习笔记] 13.离散傅里叶逆变换及离散傅里叶变换的一些性质

我们先回忆一下DFT

$$\underline{F}[m]=\underline{\mathcal{F}f}[m]=\sum _{k=0}^{N-1}\underline{f}[k]e^{-2\pi i\frac{mk}{N}}\text{\hspace{1em}(1)}$$

我们给出离散傅里叶逆变换

$$\underline{{\mathcal{F}}^{-1}f}[m]=\frac{1}{N}\sum _{k=0}^{N-1}\underline{f}[k]e^{2\pi i\frac{mk}{N}}\text{\hspace{1em}(2)}$$

对于这个式子，我们最想问的问题是为什么它比连续傅里叶变换多了一个系数 $\frac{1}{N}$

---

为了解答这个问题，我们先改写一下DFT与inverse DFT

我们定义向量 $\omega$ 为：

$$\underline{\omega }[m]=e^{2\pi i\frac{m}{N}}$$

即，

$$\underline{\omega }=(1,e^{2\pi i\frac{1}{N}},e^{2\pi i\frac{2}{N}},\dots ,e^{2\pi i\frac{N-1}{N}})\text{\hspace{1em}(3)}$$

并将变量 $k$ 写为 $n$，那么 $(1)$ 式就可以改写为：

$$\underline{F}[m]=\sum _{n=0}^{N-1}\underline{f}[n]{\underline{\omega }}^{-n}[m]$$

或者更一般地（ $(2)$ 式同理），

$$\underline{\mathcal{F}f}=\sum _{n=0}^{N-1}\underline{f}[n]{\underline{\omega }}^{-n}\text{\hspace{1em}(4)}$$

$$\underline{{\mathcal{F}}^{-1}f}=\frac{1}{N}\sum _{k=0}^{N-1}\underline{f}[n]{\underline{\omega }}^n\text{\hspace{1em}(5)}$$

$\omega$可以看作是向量，也可以看作是离散复指数

那么类比于连续傅里叶变换（傅里叶级数）中对复指数的讨论，离散复指数又有怎样的特点呢？

对于 $<w^k,w^l>$

$$\begin{array}{rl}<w^k,w^l>& =\sum _{n=0}^{N-1}{w}^k[n]\overline{w^l[n]}\\ & =\sum _{n=0}^{N-1}{e}^{2\pi i\frac{kn}{N}}{e}^{-2\pi i\frac{ln}{N}}\\ & =\sum _{n=0}^{N-1}{e}^{2\pi i\frac{(k-l)n}{N}}\\ & =\sum _{n=0}^{N-1}{\left(e^{2\pi i\frac{(k-l)}{N}}\right)}^n\end{array}\text{\hspace{1em}(6)}$$

1. 我们来看看当 $k\ne l$ 时，即求离散复指数的内积。我们发现 $(6)$ 式是一个等比数列的求和，因此利用等比数列求和公式，有

$$\begin{array}{rl}<w^k,w^l>& =\frac{1\cdot \left(1-{\left(e^{2\pi i\frac{(k-l)}{N}}\right)}^N\right)}{1-e^{2\pi i\frac{(k-l)}{N}}}\\ & =\frac{1-e^{2\pi i(k-l)}}{1-e^{2\pi i\frac{(k-l)}{N}}}\end{array}$$

显然当 $k\ne l$ 时，由于$k$，$l$均为整数，故 $e^{2\pi i(k-l)}=1$，从而

$$<w^k,w^l>=0,k\ne l$$

2. 当$ k = l $时，即求离散复指数的模长。我们发现 $(6)$ 式的每一项都为 $1$，因此

$$<w^k,w^k>=\sum _{n=0}^{N-1}1=N$$

也可以写成

$$||w^k|{|}_2^2=N$$

即离散复指数的长度为 $\sqrt{N}$

证明到这里，我们就可以看出离散复指数和连续（或级数）复指数的一个很大的不同，在之前的文章中，我们说过，傅里叶变换相当于从一个标准正交坐标系映射到另一个标准正交坐标系的过程，是$orthonormal$的；而DFT则不同，它的变换取决于取的采样点的数量，它是正交的但不是归一化的，是$orthogonal$的。

---

接下来我们验证一下离散傅里叶逆变换的正确性

$$\begin{array}{rl}\underline{{\mathcal{F}}^{-1}\mathcal{F}f}[n]& =\frac{1}{N}\sum _{m=0}^{N-1}\underline{\mathcal{F}f}[m]e^{2\pi i\frac{mn}{N}}\\ & =\frac{1}{N}\sum _{m=0}^{N-1}\sum _{k=0}^{N-1}\underline{f}[k]e^{-2\pi i\frac{mk}{N}}{e}^{2\pi i\frac{mn}{N}}\\ & =\frac{1}{N}\sum _{k=0}^{N-1}\underline{f}[k]\sum _{m=0}^{N-1}{\left(e^{2\pi i\frac{n-k}{N}}\right)}^m\end{array}$$

根据前文证明的正交性可知，仅当 $n=k$ 时 ${\left(e^{2\pi i\frac{n-k}{N}}\right)}^m=1$，其余情况均为 $0$，故

$$\begin{array}{rl}\underline{{\mathcal{F}}^{-1}\mathcal{F}f}[n]& =\frac{1}{N}\underline{f}[n]\sum _{m=0}^{N-1}1\\ & =\underline{f}[n]\end{array}$$

不难发现，正是因为离散复指数的模长为 $\sqrt{N}$，才导致了离散傅里叶逆变换中出现了系数 $N$。

---

最后，我们应该把DFT的输入、输出都看作是周期为 $N$ 的信号（或把它们看作进行了以 $N$ 为周期的周期延拓的信号）

简单证明一下：

$$\underline{\omega [m+N]}=e^{2\pi i\frac{m+N}{N}}=e^{2\pi i\frac{m}{N}}=\underline{\omega [m]}$$

$$\underline{\mathcal{F}f[m+N]}=\sum _{n=0}^{N-1}\underline{f}[n]{\underline{\omega [m+N]}}^{-n}=\sum _{n=0}^{N-1}\underline{f}[n]{\underline{\omega [m]}}^{-n}=\underline{\mathcal{F}f[m]}$$

同理可证逆DFT

因此，$\underline{f}$，$\underline{\mathcal{F}f}$都应被看作周期为$N$的离散信号