函数与其傅里叶级数相等的条件是什么？含逐点收敛分析

好的，咱们来聊聊函数和它的傅里叶级数处处相等需要满足哪些条件，以及你提到的间断点收敛的问题。

核心充分条件 #

• 狄利克雷（Dirichlet）条件：这是最常用的判定依据，满足以下两点就足够保证傅里叶级数的收敛性与对应关系：
  1. 函数在一个周期内分段连续——也就是只有有限个第一类间断点（左右极限都存在的间断点）；
  2. 函数在一个周期内分段单调，或者说只有有限个极值点。
     满足这个条件时，傅里叶级数会在连续点收敛到函数本身，在间断点收敛到该点的左右极限平均值 $\frac{f(x_+) + f(x_-)}{2}$。
• 利普希茨（Lipschitz）条件：如果函数在某点 $x$ 处满足利普希茨条件——存在常数 $L>0$ 和 $\delta>0$，使得对所有 $|t|<\delta$，有 $|f(x+t)-f(x)| \leq L|t|^\alpha$（其中 $0<\alpha \leq1$），那么傅里叶级数在 $x$ 点收敛到 $f(x)$。特别地，可导函数一定满足这个条件，所以可导点处级数必然收敛到函数值。
• 绝对一致收敛的情况：如果函数的傅里叶级数绝对收敛，那它一定一致收敛到函数本身，这时候整个区间上函数和级数处处相等。比如周期连续且满足利普希茨条件的函数，其傅里叶级数就会一致收敛。

关于间断点的典型例子 #

你举的那个例子非常典型：定义在 $(0,2\pi)$ 上为 $x^2$，在 $x=2\pi$ 处取0的函数。这个函数在 $x=2\pi$ 处是第一类间断点——左极限是 $(2\pi)^2$，而周期延拓后，$x=2\pi$ 的右邻域对应 $x=0$ 的左邻域，原函数在 $0^+$ 的极限是0，所以傅里叶级数在 $x=2\pi$ 处收敛到 $\frac{(2\pi)^2 + 0}{2}=2\pi^2$，但原函数在该点的取值是0，自然和级数收敛值不相等。这也正好验证了狄利克雷条件的结论：间断点处级数收敛到左右极限的平均值，而非函数本身在该点的取值。

内容的提问来源于stack exchange，提问作者pter26