首n个傅里叶系数为零的连续周期函数至少有2n个根的证明问询

嘿，咱们来一步步拆解你提出的问题，先从核心的根的个数证明说起，再聊聊你关心的周期性假设必要性和傅里叶级数收敛的问题～

一、证明$f$在$[0,2\pi)$内至少有$2n$个根 #

我推荐用反证法+三角多项式正交性的思路，这个方法直观且经典：

假设$f$在$[0,2\pi)$内的根少于$2n$个，因为$f$是连续函数，它在区间内的符号变化次数最多是$2n-1$次。这意味着我们可以把$[0,2\pi)$拆分成最多$2n-1$个小区间，每个区间里$f(x)$要么恒正要么恒负。

接下来我们构造一个次数小于$n$的三角多项式$T(x)$：让$T(x)$在$f(x)$为正的区间取正，负的区间取负（因为符号变化次数小于$2n$，对应的三角多项式次数最多是$n-1$，完全符合要求）。

现在看积分$\int_0^{2\pi} f(x)T(x)dx$：因为每个小区间里$f(x)$和$T(x)$同号，所以每个小区间的积分都是正的，加起来整体积分肯定大于0。但根据题设条件，$f(x)$和所有次数小于$n$的三角多项式正交（也就是积分等于0），这就产生了矛盾！所以我们的假设不成立，$f$在$[0,2\pi)$内至少有$2n$个根。

另外也可以用数学归纳法验证：

• 当$n=1$时，$\int_0^{2\pi}f(x)dx=0$，如果$f$没有至少2个根，那它要么恒正要么恒负，积分不可能为0，显然成立；
• 假设$n=k$时结论成立，当$n=k+1$时，考虑$f(x)$的原函数$F(x)=\int_0^x f(t)dt$，因为$f(0)=f(2\pi)$（周期或你说的弱条件），所以$F(2\pi)=F(0)=0$。计算一下$F(x)$的傅里叶系数会发现，它对$1\leq m\leq k$的余弦、正弦积分都为0，根据归纳假设，$F(x)$至少有$2k$个根，再加上$F(0)=F(2\pi)=0$，总共至少$2k+2$个根。根据罗尔定理，每两个相邻的$F(x)$的根之间必然存在一个$f(x)$的根，所以$f(x)$至少有$2(k+1)$个根，归纳成立。

二、周期性假设的必要性 #

你说得太对了！周期性假设确实可以弱化为$f(0)=f(2\pi)$。我们整个证明过程里，用到的核心条件其实只有三个：一是$f$连续，二是$[0,2\pi]$上的积分正交性，三是$f(0)=f(2\pi)$（保证原函数$F(2\pi)=F(0)$）。全局周期性只是能自动满足$f(0)=f(2\pi)$，但如果我们直接给出$f(0)=f(2\pi)$，哪怕$f$不是周期函数，整个证明逻辑依然成立——毕竟我们的所有操作都只在$[0,2\pi]$这个区间内进行，不需要函数在区间外的性质。

三、连续性与傅里叶级数收敛的关系 #

你提到的点非常关键：连续函数的傅里叶级数不一定收敛到自身，甚至存在连续函数的傅里叶级数在稠密点集上发散的经典例子（杜布瓦-雷蒙德构造的）。不过好在咱们这个问题完全不需要傅里叶级数收敛！我们只用到了傅里叶系数为0带来的正交性，和级数是否收敛半毛钱关系都没有——这也是这个问题的巧妙之处，避开了傅里叶级数收敛的坑，只用积分性质就搞定了结论。

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