dft计算傅里叶级数系数_傅里叶级数（FS）、傅里叶变换（FT）快速傅里叶变换（FFT）及量子傅里叶变换（QFT）之间推导关系...

1 引言

傅里叶级数 (Fourier Series, FS) 是《高等数学》中遇到的一个重要的级数，它可以将任意一个满足狄利克雷条件的函数为一系列三角级数的和。最早由法国数学家傅里叶在研究偏微分方程的边值问题时提出，极大地推动了偏微分方程理论的发展。根据欧拉公式及其推导式，傅里叶级数又可以推导出《信号与系统》中最重要的傅里叶变换(Fourier Transform, FT)。FT由于可以将信号从时域到频域来回变换，分析信号的成分，从而广泛应用于信号处理领域。在计算机处理中，信号被离散化为采样点，针对离散采样点的傅里叶变换成为了《数字信号处理》中的离散傅里叶变换(Discrete Fourier Transform, DFT)。但是由于DFT计算量过于庞大（计算复杂度高），1965年由J.W.库利和T.W.图基提出了最早版本的快速傅里叶变换(Fast Fourier Transform, FFT)，将计算量减少了几个量级，从而使得计算机更加快速地处理信号，从而促进通信、信号处理领域的快速发展。近年来由于量子计算机的兴起，量子傅里叶变换（Quantum Fourier Transform, QFT）更是可以对FFT进行指数级别的加速。

由于这一系列变换出现在不同学科中，老师在讲课时也是各自独立讲解，所以大多数同学（包括我）对其中的似曾相识的公式，一直分不清有什么区别和联系，这篇文章着重于这一系列傅里叶算法的直接的相互推导。

2 一维傅里叶级数(FS)

2.1 周期性

首先写出傅里叶级数的表达式：

其中，

,

是FS的系数，也是我们需要求的参数，若它们确定，则

即可被分解为N阶的FS。

由于

，

，因此上式可以改写为：

当

时，

，

是周期为

的周期函数，也是FS中周期最大的一组分量。我们取周期

，其他分量，在

中应该包含了多个完整的周期。此时有：

2.2 正交性

何为正交？正交是线性代数中的概念，即列向量a, b的内积为0，就称这两向量正交。正交还可以不严谨地理解为这两组向量之间没有关系。

同样地，借鉴这个定义，在连续函数中的正交为：

此时，我们令

,有：

积分是一个线性算符，积分和等于和的积分，上式可以看做两个三角函数分别积分。当

时，无论

还是

均大于等于1，因此它们的周期必然小于等于

。根据前面的结论有：

当

时，上式变为：

前一项，积分明显为0，后一项为

。

同理，还可以尝试令

，在此不再赘述，可以得到

结论：在FS中每两个不同的级数之间存在两两正交关系。

2.3 求系数

,

首先看

怎么求。令：

就是把要分解的函数和傅里叶级数同时做了积分，等号右边可以拆为2N+1个积分和，根据前面的周期性可知，除了第一项以外，后面的项的积分均为0。故上式可以化简为：