傅里叶级数 在数学中，傅里叶级数（，）是把类似波的函数表示成简单谐波的方式。更正式地说，对于满足狄利克雷定理的周期函数，其傅里叶级数是由一组正弦与余弦函数的加权和表示的方法。傅里叶级数与用来找出无周期函数的频率信息的傅里叶变换有密切的关系。 傅里叶级数是傅里叶分析的一个研究分支，也是采样定理原始证明的核心。傅里叶级数在数论、组合数学、信号处理、概率论、统计学、密码学、声学、光学等领域都有着广泛的应用。 历史. 傅里叶级数得名于法国数学家约瑟夫·傅里叶（1768年–1830年），他提出任何函数都可以展开为三角级数。此前数学家欧拉、达朗贝尔和克莱罗，已发现在认定一个函数有三角级数展开后，通过积分方法计算其系数的公式，而拉格朗日等人已经找到了一些非周期函数的三角级数展开。将周期函数分解为简单振荡函数的总和的最早想法，可以追溯至公元前3世纪古代天文学家的均轮和本轮学说。 傅里叶的工作得到了丹尼尔·伯努利的赞助，傅里叶介入三角级数用来解热传导方程，其最初论文虽经、加斯帕尔·蒙日同意，但在1807年经拉格朗日、拉普拉斯和勒让德评审后被拒绝出版，他的现在被称为的理论后来发表于1822年出版的《热的解析理论》。 定义. 傅里叶级数可以用不同的形式来表达，下面将周期为formula_1的一个周期函数formula_2表达为不同形式的傅里叶级数。 正弦-余弦形式. 人们常用formula_3与formula_4的三角级数来表示formula_5，就是将所有formula_6阶谐波formula_7与formula_8，乘以其各自在formula_5中的权重，求得它们的总和；这些formula_6阶谐波的权重称为傅立叶级数系数，它们可以借由如下积分来获得： 傅立叶级数系数 符号formula_11表示在选定区间上的积分，典型的选择为formula_12或者formula_13。注意formula_14是函数formula_15的，这个性质扩展到了类似的变换比如傅里叶变换。 通过这些系数定义傅里叶级数为： 傅立叶级数，正弦-余弦形式 这里使用符号formula_16，表示傅里叶级数的求和不一定总是等于formula_15。普遍来说formula_6是理论上趋近于无限大的，但是就算趋近于无限大，对所有的formula_19（例如在某一点上不连续），傅立叶级数也不一定收敛到formula_5 。尽管不收敛的可能性始终存在，在科学和工程领域中经常将Eq. 2中的formula_16直接替代为formula_22。 在傅里叶级数系数中的整数索引formula_6，是级数中相应的formula_24或formula_25，在这个函数的周期formula_1中，形成的圆周（cycle）的数目。因此对应于formula_27和formula_28的项有着： 指数形式. 下面借由欧拉公式formula_33，将傅里叶级数系数简化成复数指数形式。 根据定义，我们可以得到: 复数傅里叶级数系数 通过将等式Eq. 1代入Eq. 3，可以证实： 复数傅里叶级数系数 formula_34 给定复数傅里叶级数系数，可以用公式复原出formula_27和formula_28： 复数傅里叶级数系数 formula_37 通过这些定义，傅里叶级数可以写为： 傅立叶级数，指数形式 这是可推广到复数值域函数的惯用形式。formula_6的负数值对应于负频率。 复数值函数. 人们习惯将formula_5的值域普遍化到复数上，设formula_5是一个复数值函数，它的实部和虚部，都是实数值函数： formula_41 定义formula_42则： formula_43 formula_44 formula_45 对于这个复数值函数，它的傅里叶级数的实部，是它的实部的傅里叶级数；它的傅里叶级数的虚部，是它的虚部的傅里叶级数： formula_46 振幅-相位形式. 还可以利用三角恒等式formula_47，把正弦-余弦形式中后面的正弦函数跟余弦函数合并起来： formula_48 然后定义振幅formula_49，相位formula_50，这里的formula_51和formula_52对应正弦-余弦形式中formula_27和formula_28。formula_55是formula_15的formula_57。 傅立叶级数，振幅-相位形式 部份求和算子. 在描述傅里叶级数行为的时候，经常会为一个函数formula_58介入部份求和算子formula_59： 这里的formula_60是formula_61的傅里叶系数。不同于微积分中的级数，傅里叶级数的部份求和必须采用对称形式，否则收敛结果可能不成立。 假设formula_58与formula_63是在formula_64上的可积函数，formula_58与formula_63在formula_67的卷积formula_68为: formula_69 周期为formula_70的函数formula_58的傅立叶级数的部份求和，可以经由formula_58与狄利克雷核formula_73的折积来表示： formula_74 收敛性概要. formula_75在formula_76近似了formula_15，该近似程度会随着formula_78逐渐改善。这个无穷和formula_79叫做 formula_80的傅里叶级数表示。傅里叶级数的收敛性取决于函数有限数量的极大值和极小值，这就是通常称为傅里叶级数的狄利克雷条件。参见之一。对于广义函数或分布也可以用范数或定义傅里叶系数。在formula_15的不可导点上，如果我们只取无穷级数中的有限项求和，那么在这些点上会有幅度不随formula_82增大而持续变小的起伏，这叫做吉布斯现象，一个简单的例子是方波信号。 在工程应用中，一般假定傅里叶级数除了在不连续点以外处处收敛，原因是工程上遇到的函数比数学家提供的这个假定的反例表现更加良好。特别地，傅里叶级数绝对收敛且一致收敛于formula_15，只要在formula_15的导数（或许不会处处存在）是平方可积的。如果一个函数在区间formula_85上是平方可积的，那么此傅里叶级数在几乎处处的点都收敛于该函数。 其他常用表示法. 符号formula_60在讨论多个不同函数的傅里叶系数时是不够用的。因此习惯上将其替代为函数（这里是函数formula_80）的某种修改形式，即采用函数式符号比如formula_88或formula_89，来替代下标式符号： formula_90常用的数学符号 formula_91常用的工程符号 在工程上，特别是在变量formula_19表示时间的时候，系数序列叫做频域表示。经常使用方括号来强调这个函数的定义域是频率的离散集合。 另一个常用频域表示，使用傅里叶级数系数，调制像梳子一样的： formula_93 这里的formula_61表示连续频域。在变量formula_19以秒为单位的时候，formula_61以赫兹为单位。采样的间隔为基本频率formula_97的formula_6倍（即为谐波）。 formula_79可以通过从这种表示恢复出来: formula_100 构造出的函数formula_101，因而通常称为“傅里叶变换”，即使一个周期函数的傅里叶积分在这个谐波频率上不收敛。 常用的傅里叶级数. 下表列出常用的周期函数及其傅里叶级数系数。 基本性质. 下表展示在时域中的一些数学运算及其对应的在傅里叶级数系数上的效果。 对称性质. 所有的函数都可以分解成唯一性的：formula_117，这里的formula_118而formula_119。实数参数的复数值函数formula_120，对于所有formula_121，如果formula_122则称其为“偶对称”，如果formula_123则称其为“奇对称”，这里formula_124的上顶横线指示复数共轭。 一个复数值函数的实部和虚部，分解成各自的偶部和奇部，就有了四个分量，分别用下标标明为RE、RO、IE和IO。一个复数值时间参数函数的四个分量，与它的复数频率变换的四个分量之间，有着一一映射： formula_125 由此可见，各种关系是显而易见的，例如： 范例. 一个简单的傅里叶级数. 我们现在用上面的公式给出一个简单函数的傅里叶级数展开式。考虑一个锯齿波： formula_126 formula_127 在这种情况下，傅里叶级数为： formula_128 可以证明，当formula_80可微时，傅立叶级数在每个点formula_19都收敛于formula_15，于是： 当formula_132时，傅里叶级数收敛于formula_133，为在formula_132 处formula_80的左极限和右极限之和的一半。这是傅里叶级数的狄利克雷定理的特例。 这个例子为我们引出了巴塞尔问题的一种解法。 傅里叶诱导. 在上例中我们的函数的傅里叶级数展开式看起来不比formula_136简单，因此人们需要傅里叶级数的原因也就不会立即显现出来。但还有很多应用，我们举用傅里叶诱导解热方程的例子。考虑边长为formula_137米的方形金属版，坐标为formula_138。如果板内没有热源，并且四个边中三个都保持在formula_133摄氏度，而第四条边formula_140，对于formula_141，保持在温度梯度formula_142摄氏度。在这种情况下，稳态（或者说很长时间过后的）热分布函数formula_143不能得出解析解，但却可以证明： formula_144 这里的formula_145是双曲正弦函数。热方程的这个解是通过将formula_146的傅里叶级数的每一项乘以formula_147得到的。尽管示例的函数formula_15的傅里叶级数似乎很复杂，用傅里叶的方法却可以求解这个热分布问题。 其他例子. 我们也可以应用傅立叶级数去证明等周不等式，或是构造处处连续处处不可微的函数。 收敛性. 至今还没有判断傅里叶级数的收敛性充分必要条件，但是对于实际问题中出现的函数，有很多种判别条件可用于判断收敛性。比如formula_149的可微性或级数的一致收敛性。在闭区间上满足狄利克雷条件的函数表示成的傅里叶级数都收敛。狄利克雷条件如下： 满足以上条件的formula_149傅里叶级数都收敛，且： 1.当formula_154是formula_149的连续点时，级数收敛于formula_149； 2.当formula_154是formula_149的间断点时，级数收敛于formula_159。 1966年，里纳特·卡尔松证明了勒贝格二次可积函数的傅立叶级数一定是几乎处处收敛的，即级数在除了一个勒贝格零测集外均收敛。 傅立叶级数收敛证明. 假设一个函数在formula_58在formula_161上是平方可积，则会有: formula_162 当formula_78 证明的第一步: 考虑一系列正交基底，formula_164，其中formula_165，且有 formula_166 然后有formula_167 特别的有，formula_58的傅立叶级数的部分和formula_169 然后根据formula_170 以及毕氏定理，可以有: formula_171 替换一下后有 formula_172 如果右边第一项收敛到0，再根据正交的性质，可以看出上述式子中的右手边第二项: formula_173，这就证明了帕塞瓦尔定理。 证明的第二步: 回到证明右边第一项，因为函数formula_58可积，找到一个连续函数formula_63，然后根据最佳逼近引理，可以找到一个三角多项式p(x)，使得 formula_176 故当formula_78，函数formula_58跟formula_179的差为0。 其他性质. 傅立叶级数的唯一性. 如果有一个定义在formula_67的函数formula_58和formula_63,其中函数formula_58和formula_63的傅立叶系数formula_185还有formula_186相同，且傅立叶级数都收敛到函数本身，那么可以证明此傅立叶级数具有唯一性，也就是formula_187。换句话说，如果函数formula_58在formula_67上可积，傅立叶系数formula_185为0，对所有的formula_191，那么函数formula_192 卷积定理. 给定周期为formula_1的函数formula_194和formula_195，它们具有傅里叶级数系数formula_89和formula_114，这里的formula_198。 微分性质. 我们说formula_58属于在formula_212 formula_213 如果formula_58是一个在实数上以formula_70为周期的函数，且formula_216次可微而且formula_216阶连续。 黎曼-勒贝格定理. 如果formula_201是可积函数，则formula_233，formula_234而formula_235。 帕塞瓦尔定理. 如果函数formula_58属于在formula_237之中，那么便有formula_238。 普朗歇尔定理. 如果formula_239是系数，并且formula_240，则有一个唯一的函数formula_241使得对于所有formula_6有着formula_243。 延伸. 希尔伯特空间的解读. 所谓的两个不同向量正交是指它们的内积为0，这也就意味着这两个向量之间没有任何相关性,例如，在三维欧氏空间中，互相垂直的向量之间是正交的。事实上，正交是垂直在数学上的一种抽象化和一般化。一组n个互相正交的向量必然是线性无关的，所以必然可以张成一个n维空间，也就是说，空间中的任何一个向量可以用它们来线性表出。 在希尔伯特空间释义下，函数的集合{"en" = "einx"; "n" ∈ Z}是[−π, π]平方可积函数"L"2([−π, π])的正交基。这个空间实际上是一个希尔伯特空间，有著针对任何两个的元素"f"和"g"的如下内积: formula_244 三角函数族的正交性用公式表示出来就是： formula_245 formula_246 (这里的δ"mn"是克罗内克函数)，而 formula_247 注释. 延伸阅读. 外部链接. 本条目含有来自PlanetMath《example of Fourier series》的内容，版权遵守协议。