Bessel 不等式怎样限制 Fourier 系数的能量？¶

先备知识¶

掌握正交投影、Fourier 系数和有限部分和。

从有限阶平方误差非负推出系数能量上界。

总能量有限时，为什么 Fourier 系数不可能共同过大？

先在有限阶上展开误差平方；无限结论只能在逼近输入得到后再取极限。

令

\[ S_Nf(x)=\frac{a_0}{2}+\sum_{n=1}^N(a_n\cos nx+b_n\sin nx). \]

正交性给出有限阶误差恒等式

\[ \frac1\pi\int_{-\pi}^{\pi}|f-S_Nf|^2\,dx =\frac1\pi\int_{-\pi}^{\pi}|f|^2\,dx-\frac{a_0^2}{2} -\sum_{n=1}^N(a_n^2+b_n^2). \]

左端非负，因此

\[ \frac{a_0^2}{2}+\sum_{n=1}^N(a_n^2+b_n^2) \le \frac1\pi\int_{-\pi}^{\pi}|f|^2\,dx. \]

令 \(N\) 增大便得到 Bessel 不等式；这里只用有限正交计算和非负性。

系数能量上界、误差趋零与逐点行为是不同命题，不能相互替代。

从有限正交恒等式出发，逐项标明取极限所需的输入。

把误差平方展开；交叉项由正交性消失，投影项用系数定义化简。所得左端非负，移项得到每个有限阶上界，再用非负部分和的单调性取极限。整个推导先于 Parseval，不存在循环论证。

可积性保证系数与能量有定义；额外逼近或光滑条件只在相应极限步骤使用。

有限计算和抽样图像都不是无限级数等式或收敛方式的证书。

常数函数的系数能量恰等于总能量。

若能量为 (E)，则每个 (a_n^2+b_n^2le E)。

本单元首先证明有限还是无限结论？

答案

首先证明有限阶恒等式或有限控制。

图像能否替代理论条件？

答案

不能；图像只显示有限截断或有限采样。

必须核对归一化、适用条件与结论边界。