狄里赫利条件

定义

狄里赫利条件是对周期函数提出的一组要求，只要函数满足这组要求，它所对应的傅里叶级数就必定收敛。常见表述把要求归为三条：函数在一个周期内绝对可积；在一个周期内只有有限个极大值和极小值；在一个周期内连续，或仅有有限个第一类间断点。

三条要求中，绝对可积保证傅里叶系数作为积分能够算出有限数值，有限个极值点限制函数的摆动次数，有限个第一类间断点则限制函数的跳跃次数与幅度。所谓第一类间断点，指该点处的左极限与右极限都存在且为有限值。工程与物理中常见的周期信号基本都能满足上述要求。^[2]

与这组条件等价的一种更常见的加强说法是引述分段光滑函数：若函数在一个周期上分段连续且分段单调，或其导数除有限个点外处处存在，则它自然满足狄里赫利条件。条件是充分而非必要的，即存在不满足条件、傅里叶级数仍收敛的函数，也存在满足条件的函数在个别点不收敛于原值的情形需要另行说明。^[3][4]

原理

判断收敛的关键是考察傅里叶级数的部分和与函数值之差。设周期为 $2\pi$ 的函数 $f$ 的傅里叶级数前 $n$ 项和为 $S_n(x)$，借助狄利克雷核 $D_n$ 可把部分和写成积分形式 $S_n(x)=\frac{1}{\pi}\int_{-\pi}^{\pi} f(x+t)D_n(t)\,dt$。狄里赫利条件的作用，是使被积式中包含的差商项在奇点附近保持可控，从而能够应用黎曼－勒贝格引理，得到 $S_n(x)\to\frac{1}{2}[f(x+0)+f(x-0)]$。^[5][6]

由这一结果可以直接读出收敛的落点：在函数连续的点，左右极限相等，级数收敛于函数值本身；在跳跃间断点，级数收敛于左右极限的算术平均值，而不是函数在该点的取值。函数在周期端点处的处理与此相同，取两端点单侧极限的平均值。^[3][1]

收敛还有强弱之分。狄里赫利条件给出的是逐点收敛；若把条件加强为函数分段光滑，则级数在整个区间上一致收敛。反之，若函数有跳跃间断点，级数只能逐点收敛，不能一致收敛，第 $n$ 项部分和在断点附近会出现幅度不随项数增大而消失的振荡，即吉布斯现象。^[7][8]

部分和与函数值之差可以写成以下形式，条件正是用来控制这两项积分趋于零的：

graph LR

A[周期函数 f] --> B{狄里赫利条件}

B -->|绝对可积| C[Fourier 系数有限]

B -->|有限个极值点| C

B -->|有限个第一类间断点| C

C --> D[部分和 S_n 用 Dirichlet 核表示]

D --> E[Riemann-Lebesgue 引理]

E --> F[连续点收敛于 f]

E --> G[间断点收敛于左右极限均值]

发展历程

傅里叶在 1822 年出版的《热的解析理论》中系统给出用三角级数表示函数的办法与系数的积分公式，并提出任意函数都能这样展开，但对级数是否收敛未作论证。这一断言在当时引起争论，拉格朗日等人并不接受。柯西在 1823 年起尝试处理收敛问题，但其推理被认为不够严格。^[9][10]

狄利克雷 1822 至 1825 年在巴黎求学期间与傅里叶有直接往来，由此对级数收敛问题产生兴趣。1829 年，他在《克雷尔杂志》发表《关于三角级数的收敛性》，指出柯西论证中的缺陷，并给出第一个严格的收敛性充分条件：函数在区间内逐段连续、逐段单调时，其傅里叶级数收敛，且在跳跃点收敛于左右极限的平均值。这一结果被视为傅里叶级数理论的起点。^[11][12]

此后，围绕收敛条件的研究继续推进。狄利克雷本人在处理不连续点时可以有无穷多个的情形时，援引了不连续点集无处稠密的要求，这一问题涉及对函数与积分概念的重新界定，并推动了后来黎曼积分与集合论的工作。1873 年，杜布瓦－雷蒙构造了连续但傅里叶级数在某点发散的函数的例子，说明连续性本身并不足以保证收敛。1966 年，卡尔松证明平方可积函数的傅里叶级数几乎处处收敛，使这一问题在更弱的可积性框架下得到完整回答。^[13][10]

在教学与实际应用中，通常把原始的逐段单调要求改写为绝对可积、有限个极值点、有限个第一类间断点这三条，以便于检验；也有教材进一步用分段光滑来代替，牺牲一部分适用范围换取证明的简化。^[4]

应用

狄里赫利条件为把周期信号分解为谐波分量提供了合法性依据，因此成为信号与系统、电路分析与通信理论中的常规检查步骤。对方波、三角波、锯齿波等常见波形，只要跳跃有限，就可以放心地取有限项部分和作近似，并按需截断高频分量。^[2][14]

在数学物理中，用分离变量法求解热传导、弦振动、静电场等方程时，边界条件或初始条件往往是一个给定函数，需要展开成三角级数后再逐项求解。此时先核对条件是否成立，才能保证所写出的级数确实代表原函数，从而保证解在边界上取到规定值。矩形板边界温度有突跳的例子说明，边界上虽然出现振荡，离开边界后解会迅速变得光滑。^[8]

此外，这组条件还是讨论其他收敛判据的参照。狄尼判别法、李普希茨判别法等更精细的判据，都是通过减弱或替换狄里赫利条件中的某一条来扩大适用范围，而傅里叶级数的逐项积分、逐项求导等运算规则，也往往需要以条件成立或更强的光滑性为前提。^[13][15]

局限

狄里赫利条件只是充分条件，不满足它的函数，其傅里叶级数也可能收敛，反之给出满足条件的判断并不能覆盖全部可收敛的函数类。因此，若某函数不满足这三条，不能据此断定级数发散，需要另找判据。^[4]

条件本身并不能说明收敛速度，也不保证一致收敛。函数存在跳跃间断点时，部分和在断点附近持续振荡，过冲幅度约占跳跃量的固定比例而不随项数增加而减小，用有限项近似会在断点附近产生误差。要获得一致收敛，需要把条件加强到分段光滑乃至更高阶的连续可微性。^[8][7]

从理论角度看，这组条件对函数的要求偏强。连续函数的傅里叶级数未必处处收敛，存在连续而级数在某点发散的实例；而平方可积函数在几乎处处收敛意义下的结论，则要在更一般的积分理论建立之后才得到。这说明狄里赫利条件在刻画收敛现象上是有效的工具，但不是最普遍的答案。^[13]

参见

• 傅里叶级数 —— 本条件所约束的对象，讨论其收敛性时使用。

• 狄利克雷 —— 该条件的提出者，1829 年给出首个严格收敛性证明。

• 吉布斯现象 —— 跳跃间断点附近部分和出现持续振荡的现象。

• 分段光滑函数 —— 满足狄里赫利条件的一类常见函数。

• 黎曼－勒贝格引理 —— 证明该条件下收敛性的关键工具。

• 狄利克雷核 —— 用于表示傅里叶级数部分和的积分核。