傅里叶级数

物理问题引入：为什么任何乐音都可以分解为纯音（正弦波）？

当你弹响吉他的一根琴弦时，人耳听到的不是单一纯净的单频声波，而是丰富温暖的音色．物理测量表明：

琴弦的整体振动是由频率为 $f_{0}$ f_0 的基频，以及 $2 f_{0}, 3 f_{0}, 4 f_{0}, \dots$ 2f_0, 3f_0, 4f_0, dots 等一系列整数倍的 泛音（谐波） 线性叠加构成的；
琴弦两端固定的边界条件，强制要求任何空间波形在两端位移必须为零；
让 - 巴普蒂斯特·约瑟夫·傅里叶（Joseph Fourier）在研究金属棒热传导时提出了一个惊世骇俗的论断：在有限区间上的任意物理波形，哪怕包含折角和跳跃，都可以严格表示为一系列不同频率正弦/余弦波的加权和！

这一思想不仅解决了偏微分方程的定解难题，更奠定了现代波动光学、声学、信号分析与量子态叠加的数学基石．

1. 三角函数系的正交性

傅里叶级数能够展开的核心秘密，在于三角函数系在周期区间 $[- L, L]$ [-L, L] 上构成了 相互正交的函数系．

对任意正整数 $n, m$ n, m：

\int_{- L}^{L} \cos (\frac{n π x}{L}) \cos (\frac{m π x}{L}) d x = L δ_{n m}

int_-L^L cosleft(npi xLright) cosleft(mpi xLright) dx = L , delta_nm

\int_{- L}^{L} \sin (\frac{n π x}{L}) \sin (\frac{m π x}{L}) d x = L δ_{n m}

int_-L^L sinleft(npi xLright) sinleft(mpi xLright) dx = L , delta_nm

\int_{- L}^{L} \cos (\frac{n π x}{L}) \sin (\frac{m π x}{L}) d x = 0

int_-L^L cosleft(npi xLright) sinleft(mpi xLright) dx = 0

这种函数的积分正交性，完全类似于三维几何中空间基向量的正交点积 ${\hat{e}}_{i} \cdot {\hat{e}}_{j} = δ_{i j}$ e_i * e_j = delta_ij！

2. 傅里叶级数的展开形式

2.1 实数三角函数形式

设周期为 $2 L$ 2L 的函数 $f (x)$ f(x) 满足狄利克雷条件，则其傅里叶级数为：

f (x) = \frac{a_{0}}{2} + \sum_{n = 1}^{\infty} [a_{n} \cos (\frac{n π x}{L}) + b_{n} \sin (\frac{n π x}{L})]

f(x) = a_02 + sum_n=1^inf left[ a_n cosleft(npi xLright) + b_n sinleft(npi xLright) right]

利用上述正交性，两边乘以特定基函数并逐项积分，可直接「投影」提取出各阶系数：

a_{n} = \frac{1}{L} \int_{- L}^{L} f (x) \cos (\frac{n π x}{L}) d x (n = 0, 1, 2, \dots)

a_n = 1L int_-L^L f(x) cosleft(npi xLright) dx quad (n = 0, 1, 2, dots)

b_{n} = \frac{1}{L} \int_{- L}^{L} f (x) \sin (\frac{n π x}{L}) d x (n = 1, 2, \dots)

b_n = 1L int_-L^L f(x) sinleft(npi xLright) dx quad (n = 1, 2, dots)

2.2 复指数形式（现代物理标准表述）

利用欧拉公式 $\cos θ = \frac{e^{i θ} + e^{- i θ}}{2}, \sin θ = \frac{e^{i θ} - e^{- i θ}}{2 i}$ costheta = e^itheta+e^-itheta2, sintheta = e^itheta-e^-itheta2i，傅里叶级数具有极具对称美的复指数形式：

f (x) = \sum_{n = - \infty}^{\infty} c_{n} \exp (i \frac{n π x}{L})

f(x) = sum_n=-inf^inf c_n expleft(inpi xLright)

其中复傅里叶系数为：

c_{n} = \frac{1}{2 L} \int_{- L}^{L} f (x) \exp (- i \frac{n π x}{L}) d x

c_n = 12L int_-L^L f(x) expleft(-inpi xLright) dx

3. 帕塞瓦尔定理：能量守恒的几何化

在线性空间中，向量总长度平方等于各分量坐标平方和（勾股定理）．将这一概念推广到函数空间即为 帕塞瓦尔定理（Parseval's Identity）：

\frac{1}{2 L} \int_{- L}^{L} | f (x) |^{2} d x = \sum_{n = - \infty}^{\infty} | c_{n} |^{2} = {(\frac{a_{0}}{2})}^{2} + \frac{1}{2} \sum_{n = 1}^{\infty} (a_{n}^{2} + b_{n}^{2})

12L int_-L^L |f(x)|^2 dx = sum_n=-inf^inf |c_n|^2 = left(a_02right)^2 + 12sum_n=1^inf (a_n^2 + b_n^2)

物理图像：

左边是被积信号在时域或空间周期内的 总能量/平均功率；
右边是各个分立谐波分量所携带能量的代数总和；
傅里叶变换不改变物理系统的总能量，它仅仅是将能量从「时空域视角」重新投影到了「频谱域视角」．

4. 狄利克雷条件与吉布斯现象（Gibbs Phenomenon）

收敛定理

若周期函数 $f (x)$ f(x) 在一个周期内满足：

连续或只有有限个第一类间断点（跳跃间断）；
只有有限个极大值和极小值；则级数在连续点严格收敛于 $f (x)$ f(x)；在间断点 $x_{0}$ x_0 处收敛于左右极限的平均值 $\frac{f (x_{0}^{+}) + f (x_{0}^{-})}{2}$ f(x_0^+) + f(x_0^-)/2．

吉布斯现象

当用有限项傅里叶级数逼近不连续方波脉冲时，在跳跃间断点边缘会出现明显的尖峰过冲（Overshoot）．数学证明：无论截断项数 $N$ N 增加到多么大，这个尖峰的高度永远不会消失，而是极限收敛于跳跃幅度的约 $8.95 %$ 8.95 %！物理本质：这反映了有限带宽系统在传输具有无穷高频成分的理想阶跃信号时，不可避免产生的波形振铃（Ringing）现象．

5. 奇偶延拓与偏微分方程边值匹配

若物理问题仅定义在区间 $[0, L]$ [0, L] 上（如两端固定的琴弦）：

正弦展开（奇延拓）：强制令延拓后的函数为奇函数，所有余弦系数 $a_{n} = 0$ a_n = 0，波形自动满足两端固定边界 $f (0) = f (L) = 0$ f(0) = f(L) = 0；
余弦展开（偶延拓）：强制令延拓后的函数为偶函数，所有正弦系数 $b_{n} = 0$ b_n = 0，波形自动满足两端导数绝热边界 $f^{'} (0) = f^{'} (L) = 0$ f'(0) = f'(L) = 0．

这正是后续偏微分方程求解中分离变量解满足边界条件的关键技术！

6. 学习衔接

下一节：将周期 $L \to \infty$ L -> inf，从离散谐波过渡到连续频域，进入傅里叶变换；
物理应用：在偏微分方程分离变量法中掌握初值波形分解．

本页面最近更新：2026/10/1 10:49:01，更新历史
发现错误？想一起完善？在 GitHub 上编辑此页！
本页面贡献者：Leafuke, Physics Learning Wiki Team
本页面的全部内容在 CC BY-SA 4.0 和 SATA 协议之条款下提供，附加条款亦可能应用