离散傅里叶变换的推导

注：作者最近在看关于傅里叶级数与傅里叶变换的一些内容，网上给出的离散傅里叶变换推导大都是以信号与系统等课程中的物理表示方法表示的，作者觉得不爽所以自己用数学方法推导了一次。期间关于离散的部分几乎都是作者自己在摸索，作者才疏学浅，中间如果有疏漏请多多包涵并在评价中提出，作者感激不尽（虽然大概没什么人看吧）

对于满足狄利克雷条件的周期函数，我们都可以通过傅里叶展开变换成收敛的傅里叶级数，公式如下：

$$f(t)=\sum_{k=-\infty}^\infty a_ke^{ik(\frac{2\pi}{T}) t}$$

其中

$$a_k=\frac{1}{T}\int_Tf(t)e^{-ik(\frac{2\pi}{T})t}dt$$

如果$f(t)$不是连续函数，而是一个离散的数列，我们可以记$a_t=f(t),n=0,\pm1,\pm2,...$

那么，假使这个数列存在周期$T\in N_+$，即$a_{t+T}=a_t$，那么这个数列可以表示为一系列频率为$0,2\pi/T,2*2\pi/T,...,(T-1)*2\pi/T$的三角函数的特定点的数列相加组成，记$\omega=2\pi/T$，我们可以写出这样的式子

$$a_t=\sum_{n=0}^{T-1} b_ne^{in\omega t}+c_ne^{-in\omega t}$$

但是由于$e^{in\omega(T-t)}=e^{2\pi ni-in\omega t}=e^{-in\omega t}$

故$e^{-in\omega t}$项可以归入$e^{in\omega t}$项中，写作

$$a_t=\sum_{n=0}^{T-1} (b_n+c_{T-n})e^{in\omega t}$$ ，其中 $c_0=c_T$

将系数$b_n+c_{T-n}$记作$b_n$，我们得到

$$a_t=\sum_{n=0}^{T-1} b_ne^{in\omega t}$$

利用周期函数傅里叶级数的系数求法和等比数列求和，我们能得到$\sum_{t=0}^{T-1}e^{i(m+n)\omega t}=T_{(m+n=0)},0_{m+n\ne0}$

这样，我们可以得到

$$b_n=\frac{1}{T}\sum_{t=0}^{T-1} a_te^{-in\omega t}$$

那么

$$a_t=\frac{1}{T}\sum_{n=0}^{T-1} \sum_{t=0}^{T-1} (a_te^{-in\omega t})e^{in\omega t}$$

这就是周期数列的傅里叶级数，如果将数列长度限制到$T$，那么这就是有限长度序列的离散傅里叶变换

矩阵表示

我们记

$$\boldsymbol{W}_T= \left [ \begin{matrix} 1&1&1&\cdots&1\\ 1&\omega&\omega^2&\cdots&\omega^{T-1}\\ 1&\omega^2&\omega^4&\cdots&\omega^{2(T-1)}\\ \vdots&\vdots&\vdots&\ddots&\vdots\\ 1&\omega^{T-1}&\omega^{2(T-1)}&\cdots&\omega^{(T-1)(T-1)} \end{matrix} \right ]$$

其中，$\omega=e^{-2\pi i/T}$是T次单位根

那么以上傅里叶变换公式可以记为

$$\boldsymbol{b}=W_T\boldsymbol{a}$$

[下接FFT的算法分析]