关于Pugh《实数学分析》第4章第39题的连续函数恒定性证明问询

你好呀！首先得指出一个小问题——仅根据你给出的条件，其实没办法直接推出$f$是常数哦。比如函数$f(x)=\cos x + C$（$C$是任意常数），它在$[0,2\pi]$上连续，而且对所有自然数$n\geq1$，$\int_0^{2\pi} (\cos x + C)\sin(nx)dx = \int\cos x \sin(nx)dx + C\int\sin(nx)dx = 0 + 0 = 0$，完全满足条件，但显然$f(x)$不是常数（除非$C$是常数且$\cos x$是常数，这显然不成立）。

所以大概率是题目漏了一个关键条件：对所有自然数$n\geq1$，也有$\int_0^{2\pi} f(x)\cos(nx)dx = 0$。如果加上这个条件，我们就能顺利证明$f$是常数了，下面是具体的证明过程：

证明过程（补充余弦项条件后） #

1. 定义平均值与辅助函数
   先计算$f$在$[0,2\pi]$上的平均值：
   $$c = \frac{1}{2\pi}\int_0^{2\pi} f(x)dx$$
   令辅助函数$g(x) = f(x) - c$，显然$g(x)$也是$[0,2\pi]$上的连续函数，且满足：
   $$\int_0^{2\pi} g(x)dx = \int_0^{2\pi} f(x)dx - 2\pi c = 0$$

2. 分析$g$的傅里叶系数
   对于傅里叶系数：

   • 常数项系数：$a_0 = \frac{1}{\pi}\int_0^{2\pi} g(x)dx = 0$
   • 正弦项系数：$b_n = \frac{1}{\pi}\int_0^{2\pi} g(x)\sin(nx)dx = \frac{1}{\pi}\left(\int_0^{2\pi} f(x)\sin(nx)dx - c\int_0^{2\pi}\sin(nx)dx\right) = \frac{1}{\pi}(0 - 0) = 0$（题目条件+已知$\sin(nx)$积分是0）
   • 余弦项系数：$a_n = \frac{1}{\pi}\int_0^{2\pi} g(x)\cos(nx)dx = \frac{1}{\pi}\left(\int_0^{2\pi} f(x)\cos(nx)dx - c\int_0^{2\pi}\cos(nx)dx\right) = \frac{1}{\pi}(0 - 0) = 0$（补充的条件+$\cos(nx)$在$[0,2\pi]$积分是0）

3. 应用帕塞瓦尔恒等式
   因为$g$是连续函数，帕塞瓦尔恒等式成立：
   $$\frac{1}{\pi}\int_0^{2\pi} g(x)^2dx = \frac{a_0^2}{2} + \sum_{n=1}^\infty (a_n^2 + b_n^2)$$
   代入所有系数为0的结果，右边等于0，因此左边的积分也必须为0：
   $$\int_0^{2\pi} g(x)^2dx = 0$$

4. 得出结论
   由于$g(x)$是连续函数，且其平方的积分是0，说明$g(x)$在$[0,2\pi]$上恒等于0，即$f(x) = c$，是常数。

回到原题的疑问 #

如果题目确实没有余弦项的条件，那可能是题目表述有误，或者是对“natural n”的定义包含了$n=0$？但$n=0$时$\sin(0x)=0$，积分还是0，不影响结论。或者可能是函数$f$满足周期条件$f(0)=f(2\pi)$？但即使加上这个条件，$f(x)=\cos x$还是满足所有条件但不是常数，所以还是需要补充余弦项的条件。

备注：内容来源于stack exchange，提问作者tyftyf jhıughuı