傅里叶级数 · aiwiki.page

傅里叶级数是用正弦和余弦函数，或等价地用复指数函数，表示周期函数的无穷级数。每个分量的频率都是基频的整数倍，其系数表明该分量的贡献大小。傅里叶级数在调和分析中占据核心地位，为研究振荡、逼近函数和求解方程提供了工具。理解傅里叶级数时，需要区分不同的收敛方式：一个级数可能在均方意义下还原某个函数，却不一定在每一点都收敛到该函数在该点的取值。(ocw.mit.edu)

定义与系数

对于周期为 $2\pi$ 的可积实值函数 $f$ ，其三角傅里叶级数写作

f(x)\sim \frac{a_0}{2} +\sum_{n=1}^{\infty} \bigl[a_n\cos(nx)+b_n\sin(nx)\bigr],

其中

a_n=\frac{1}{\pi}\int_{-\pi}^{\pi}f(x)\cos(nx)\,dx \quad(n\geq0),

b_n=\frac{1}{\pi}\int_{-\pi}^{\pi}f(x)\sin(nx)\,dx \quad(n\geq1).

符号 $\sim$ 表示相应的展开式，并不断言它处处收敛。这些积分衡量各个正弦分量的贡献。常数项 $a_0/2$ 是函数在一个周期内的平均值。对于周期为 $T$ 的函数，相应的三角函数自变量为 $2\pi nx/T$ ，系数公式中的归一化因子则变为 $2/T$ 。(ocw.mit.edu)

利用复数和指数函数，同一展开式可以写成

f(x)\sim\sum_{n\in\mathbb Z}c_ne^{inx}, \qquad c_n=\frac{1}{2\pi}\int_{-\pi}^{\pi}f(x)e^{-inx}\,dx.

这里 $c_0=a_0/2$ ，而对于正整数 $n$ ，有 $c_n=(a_n-ib_n)/2$ 。对于实值函数， $c_{-n}=\overline{c_n}$ 。负指标对应的是得到实值结果所需的共轭分量。(ocw.mit.edu)

正交性与几何解释

系数公式源于正交性：不同的正弦、余弦模态，其乘积在一个完整周期上的积分为零。因此，将展开式乘以某个模态并积分，就能单独求出该模态的系数。当积分区间以零为中心时，偶函数的展开式中没有正弦项；奇函数的展开式中既没有余弦项，也没有常数项。(ocw.mit.edu)

这一构造在希尔伯特空间 $L^2([-\pi,\pi])$ 中具有几何解释，该空间是Lp空间的一个实例。采用归一化的内积

\langle f,g\rangle= \frac{1}{2\pi}\int_{-\pi}^{\pi}f(x)\overline{g(x)}\,dx,

函数 $e^{inx}$ 构成一组完备的标准正交基。部分和

S_Nf=\sum_{n=-N}^{N}c_ne^{inx}

是 $f$ 在这些基函数张成的有限维子空间上的正交投影。在所有由这些模态组成的三角多项式中，它使误差平方的积分最小。(math.mit.edu)

帕塞瓦尔恒等式指出，

\frac{1}{2\pi}\int_{-\pi}^{\pi}|f(x)|^2\,dx =\sum_{n\in\mathbb Z}|c_n|^2.

它表明，函数的范数平方等于其傅里叶系数的模平方之和，从而将正交坐标的几何关系推广到函数。(math.mit.edu)

收敛性与间断点

收敛性并非只有一种。对于任意 $f\in L^2$ ，傅里叶部分和都在均方意义下收敛：

\int_{-\pi}^{\pi}|f(x)-S_Nf(x)|^2\,dx\longrightarrow0.

仅凭这一点，并不能保证在每一点都逐点收敛，也不能保证一致收敛。在通常采用的充分条件下，例如函数分段连续可微，级数在每一点都收敛到

\frac{f(x^-)+f(x^+)}{2}.

因此，它在连续点处还原函数值，而在跳跃间断点处趋于左右极限的平均值。端点处的行为由周期延拓决定，所以即使函数在区间内部光滑，只要两端的极限不相等，周期延拓后仍会产生跳跃间断。(ocw.mit.edu)

在跳跃间断点附近，部分和会表现出吉布斯现象：随着项数增加，振荡和过冲的幅度并不消失，但受影响的区域会缩小。对部分和取平均可以改变这种行为。费耶尔定理保证，对于任意连续周期函数，傅里叶部分和的算术平均都一致收敛；而仅有连续性，并不能保证普通傅里叶部分和一致收敛。(ocw.mit.edu)

示例与逼近性质

考虑一个周期方波，其定义为：当 $0<x<\pi$ 时， $f(x)=1$ ；当 $-\pi<x<0$ 时， $f(x)=-1$ 。代入系数公式可得

f(x)\sim\frac{4}{\pi} \left(\sin x+\frac{\sin3x}{3} +\frac{\sin5x}{5}+\cdots\right).

展开式中只出现奇数次正弦模态。在跳跃间断点之外，级数趋于 $1$ 或 $-1$ ；在跳跃间断点处，它趋于零，即左右极限的平均值。有限项逼近会呈现吉布斯振荡。(ocw.mit.edu)

光滑程度决定系数的衰减速度，进而影响函数逼近的质量。在周期边界项适当匹配的条件下，反复分部积分可以建立高频系数与导数之间的关系。光滑周期函数的系数衰减很快，而跳跃间断通常会使衰减变慢。这一关系是数值分析中高精度傅里叶逼近的基础。(ocw.mit.edu)

起源、应用与相关变换

约瑟夫·傅里叶在研究热传导时发展了三角函数展开方法，并于1822年在《热的解析理论》（Théorie analytique de la chaleur）中发表了主要成果。这项工作将函数的表示与受方程支配的物理演化联系起来。(gresham.ac.uk)

对于周期区域上的热方程，按傅里叶模态展开可将偏微分方程化为各个系数所满足的独立方程。高频模态衰减得更快，这解释了初始温度分布为何会逐渐变得平滑。类似的展开也可用于求解其他边值问题。在信号处理中，傅里叶系数通过频率分量来描述周期信号。(see.stanford.edu)

傅里叶变换通常通过连续的频率变量描述非周期函数，而傅里叶级数使用离散的谐波频率。对于有限采样数据，离散傅里叶变换提供了相应的有限形式。快速傅里叶变换是计算这一有限变换的高效算法，而不是另一种数学变换。(ocw.mit.edu)