Parseval 等式怎样用于经典数项级数求和？¶

先备知识¶

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

用已验证展开和 Parseval 精确计算倒数平方、四次方级数。

怎样避免因周期和归一化不同而把常数算错？

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

每次代入前先验证周期、系数定义、常数项与能量归一化。对锯齿波 \(f(x)=x\)， \(b_n=2(-1)^{n+1}/n\)，Parseval 给

\[ \frac1\pi\int_{-\pi}^{\pi}x^2\,dx =\sum_{n=1}^{\infty}\frac4{n^2}. \]

故

\[ \sum_{n=1}^{\infty}\frac1{n^2}=\frac{\pi^2}{6}. \]

对 \(|x|\)，\(a_0=\pi\)，奇数频率的 \(a_{2k+1}=-4/(\pi(2k+1)^2)\)。代入 Parseval 并先减常数项，得到奇数四次倒数和，再结合偶数项缩放：

\[ \sum_{n=1}^{\infty}\frac1{n^4}=\frac{\pi^4}{90}. \]

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

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

锯齿波先算左侧 (2pi^2/3)，再除以系数平方中的 4。对绝对值函数先验证常数项贡献为 (pi^2/2)，非零频率仅有奇数项；求得奇数和后，用总和减去 (1/16) 倍总和闭合。

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

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

用方波得到奇数倒数平方和 (pi^2/8)。

由总平方和减偶数项再次核对 (pi^2/6)。

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

答案

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

图像能否替代理论条件？

答案

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

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