关于[0,L]上C^∞函数傅里叶系数下界的技术问询

咱们先从最基础的余弦级数系数定义入手，先明确怎么计算这些系数：
对于定义在区间$[0,L]$上的函数$f(x)$，它的余弦级数系数是这么算的：

• 常数项系数：$a_0 = \frac{2}{L}\int_0^L f(x)dx$
• 第n项余弦系数（n≥1）：$a_n = \frac{2}{L}\int_0^L f(x)\cos\left(\frac{n\pi x}{L}\right)dx$

接下来结合题目里的条件——$f(x)$是无穷可微（$C^\infty$）且各阶导数有界、非零——咱们一步步分析下界的情况。

用分部积分看系数的衰减特性 #

要分析系数的下界，先得搞清楚它们的衰减速度。咱们对$a_n$做几次分部积分试试：
第一次分部积分时，$\cos\left(\frac{n\pi x}{L}\right)$的原函数是$\frac{L}{n\pi}\sin\left(\frac{n\pi x}{L}\right)$，而这个正弦函数在端点$x=0$和$x=L$处的值都是0，所以边界项直接消失，得到：
$$
a_n = -\frac{2}{n\pi}\int_0^L f'(x)\sin\left(\frac{n\pi x}{L}\right)dx
$$
再做一次分部积分，这次正弦函数的原函数是$-\frac{L}{n\pi}\cos\left(\frac{n\pi x}{L}\right)$，代入端点后会留下边界项，整理后得到：
$$
a_n = \frac{2L}{(n\pi)^2}\left[ (-1)^n f'(L) - f'(0) \right] + \frac{2L}{(n\pi)^2}\int_0L f''(x)\cos\left(\frac{n\pi x}{L}\right)dx
$$
一般来说，经过k次分部积分后，我们能得到：
$$
a_n = \frac{2L^k}{(n\pi)k} \cdot \left( \text{一系列边界项的和} + (-1)^k \int_0^L f^{(k)}(x)\cos\left(\frac{n\pi x}{L}\right)dx \right)
$$
因为$f$的各阶导数都有界，设$M_k$是$f^{(k)}(x)$在$[0,L]$上的最大值，那么积分项的绝对值不会超过$M_k L$，所以能推出$|a_n| \leq \frac{C_k}{n^k}$（$C_k$是和$M_k$、$L$相关的常数）。这说明这些系数是快速衰减的，比任何多项式的倒数都要快。

下界的核心结论 #

1. 不存在统一的正下界 #

首先要明确：你找不到一个固定的正数$C>0$，让所有的$|a_n|$都大于等于$C$。为什么呢？
假设真有这样的$C$，那么级数$\sum_{n=1}^\infty |a_n|$就会发散（毕竟每一项都不小于$C$，调和级数是发散的）。但$f(x)$是连续函数（$C^{\infty$必然连续），它的傅里叶级数是收敛到自身的，而且根据Parseval恒等式，$\sum_{n=0}}\infty |a_n|^2$必须是收敛的。如果$|a_n|\geq C$，那$\sum |a_n|^2$肯定发散，这就矛盾了，所以这种统一的正下界不存在。

2. 衰减速度的下界取决于函数的边界行为 #

虽然没有统一的正下界，但我们可以讨论系数相对于$n$的衰减速度的下界：

• 如果$f(x)$的前k-1阶导数在端点$x=0$和$x=L$处不全为零，那么当n足够大时，$|a_n|$的衰减速度不会比$\frac{1}{n^k}$更快，也就是说存在某个正数$c_k$，使得$|a_n|\geq \frac{c_k}{n^{k}$。比如拿$f(x)=e}x$来说，它的各阶导数都是$e^{x$，在端点处都不为零，计算出来的$a_n$当n很大时近似于$\frac{2(e}L+1)L}{(n\pi)^2}$，显然满足$|a_n|\geq \frac{c}{n^2}$。
• 但如果$f(x)$是那种“端点处所有阶导数都为零”的光滑函数（比如在$[0,L]$上紧支集的光滑函数，延拓后是偶函数），它的傅里叶系数会指数衰减（比任何$\frac{1}{n^k}$都快），这时候对于任意的k，你都找不到$c_k>0$使得$|a_n|\geq \frac{c_k}{n^k}$对所有大n成立。

总结一下 #

• 别找统一的正下界了，不存在的，否则会和Parseval恒等式矛盾；
• 系数衰减速度的下界要看函数在端点的导数情况：如果端点处前k-1阶导数不全为零，就能得到$\frac{c_k}{n^k}$的下界；如果端点处所有阶导数都为零，系数衰减得极快，多项式级别的下界都拿不到。

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