处处点态收敛于0的三角级数其系数是否必全为0？

嘿，这个问题其实挺经典的，虽然点态收敛确实限制了积分、微分这些常用工具，但咱们还是能绕开它们证明所有系数必须全为0的～

答案是肯定的：只要这个三角级数在实数域上处处点态收敛到0，那么必然有$a_0=0$，且对所有$n\geq1$，$a_n=b_n=0$。我给你捋个相对初等的思路：

• 先回忆Fejér和的概念：把三角级数的前$n+1$个部分和做算术平均，得到$\sigma_n(x) = \frac{S_0(x)+S_1(x)+\dots+S_n(x)}{n+1}$，其中$S_k(x)$是级数的前$k$项部分和。根据Fejér定理，只要原级数点态收敛到某个函数（这里是0），对应的Fejér和就会一致收敛到这个极限函数。也就是说$\sigma_n(x)$会一致收敛到0。
• Fejér和本身是三角多项式，它的系数有规律：常数项是$\frac{1}{2}a_0$；对于$k\geq1$，$\cos kx$的系数是$(1-\frac{k}{n+1})a_k$，$\sin kx$的系数是$(1-\frac{k}{n+1})b_k$。
• 利用一致收敛的性质，我们可以逐项积分：
  1. 对$\sigma_n(x)$在$[0,2\pi]$上积分，结果是$\int_0^{2\pi}\sigma_n(x)dx = \pi a_0$（因为$\cos kx$和$\sin kx$在周期区间上积分都是0）。由于$\sigma_n(x)$一致收敛到0，积分的极限是$\int_0^{2\pi}0dx=0$，因此$\pi a_0=0$，即$a_0=0$。
  2. 对任意$m\geq1$，计算$\int_0^{2\pi}\sigma_n(x)\cos mx dx$，当$n\geq m$时，利用三角函数的正交性，这个积分等于$\pi(1-\frac{m}{n+1})a_m$。当$n\to\infty$时，左边积分的极限是0，右边趋近于$\pi a_m$，因此$\pi a_m=0$，即$a_m=0$。同理，对$\sin mx$积分可得到$b_m=0$。

这样就严谨地证明了所有系数都必须为0。

另外，你之前代入$x=k\pi$这类特殊点的思路，只能得到系数的和差关系（比如偶次项和、奇次项和为0），没法直接推导出每个系数单独为0，所以需要Fejér和这种更系统的方法，绕开点态收敛不能直接积分部分和的限制。

备注：内容来源于stack exchange，提问作者Tiffany