Parseval 等式在什么条件下成立？¶

先备知识¶

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

明确本书 Parseval 等式的逼近输入与结论。

Bessel 的不等号何时能升级为等号？

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

本书采用如下版本：若 \(f\) 为 \(2\pi\)-周期、Riemann 可积且平方可积，并且第 50 章的逼近结果可用于给定 \(\varepsilon>0\) 选取三角多项式 \(T\) 使

\[ \frac1\pi\int_{-\pi}^{\pi}|f-T|^2<\varepsilon, \]

则 Fourier 部分和满足均方收敛 \(E_N\to0\)，从有限误差恒等式得到 Parseval 等式

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

这里的逼近输入必须明确；不能只由 Bessel 推出等号。

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

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

先由第 50 章获得逼近输入 (T)。当 (N) 至少覆盖 (T) 的次数时，最佳平方逼近性质给 (|f-S_Nf|_2le|f-T|_2)。于是均方误差任意小。最后才对有限阶误差恒等式取极限。

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

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

连续周期函数满足所需逼近输入。

分段连续有界函数先核对平方可积与逼近适用性。

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

答案

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

图像能否替代理论条件？

答案

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

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