开的这个坑大概就是写写从另一个视角来看快速离散傅里叶变换FFT。oi当中常见的FFT的推导方法是从多项式乘法出发,作为多项式乘法的优化算法出现,关于多项式的相关理论详见Miskcoo大佬的blog从多项式乘法到快速傅里叶变换 - Miskcoo's Space,写的十分详细。
在这个专题下,将会依次讲解傅里叶级数FS,傅里叶变换FT,离散时间傅里叶变换DTFT,离散傅里叶变换DFT。主要是参考wys在WC2018上讲课的课件。
首先在这篇文章中介绍傅里叶级数的相关内容。傅里叶级数作为一种周期函数的无穷级数展开,它将周期函数表示为正弦函数和余弦函数构成的级数。正如泰勒级数将连续且在
处任意阶可导的函数表示为
这样由幂函数构成的级数一样,傅里叶级数将周期函数表示为
,其中角频率
,
为
的周期。对于周期函数,可以很容易地联想到最典型的正余弦函数,而且它们的周期大小是十分易于调整的,这也就启发我们去使用它们来表示各类周期函数。
一、正交性
傅里叶级数的基础是三角函数系
的正交性。正交是对于线性无关的抽象概念,类比向量正交即为内积等于零的概念,函数的正交同样采用内积等于零来判断。
现定义两个实函数
的内积。若
在闭区间
上可积且平方可积,则它们的内积
。
在
上,三角函数系是两两正交的,它们满足如下性质,