数学分析(十五)-傅里叶级数3-收敛定理的证明1-预备定理：贝塞尔 (Bessel) 不等式、傅里叶级数部分和Sₙ(x)

$$f(x)\sim \sum _{n=1}^{\infty }{b}_n\sin nx,(10)$$

---

为了证明傅里叶级数的收敛定理,先证明下面两个预备定理.

预备定理 1 (贝塞尔 (Bessel) 不等式)

若函数 $f$ 在 $[-\pi ,\pi ]$ 上可积, 则

$$\frac{a_0^2}{2}+\sum _{n=1}^{\infty }\left(a_n^2+b_n^2\right)⩽\frac{1}{\pi }{\int }_{-\pi }^{\pi }{f}^2(x)\mathrm{d}x,(1)$$

其中 $a_n,b_n$ 为 $f$ 的傅里叶系数. (1) 式称为贝塞尔不等式.

证

令

$$S_m(x)=\frac{a_0}{2}+\sum _{n=1}^m\left(a_n\cos nx+b_n\sin nx\right).$$

考察积分

$$\begin{array}{rl}& {\int }_{-\pi }^{\pi }{\left[f(x)-S_m(x)\right]}^2\mathrm{d}x\\ =& {\int }_{-\pi }^{\pi }{f}^2(x)\mathrm{d}x-2{\int }_{-\pi }^{\pi }f(x)S_m(x)\mathrm{d}x+{\int }_{-\pi }^{\pi }{S}_m^2(x)\mathrm{d}x.(2)\end{array}$$

由于

$$\begin{array}{rl}& {\int }_{-\pi }^{\pi }f(x)S_m(x)\mathrm{d}x\\ =& \frac{a_0}{2}{\int }_{-\pi }^{\pi }f(x)\mathrm{d}x+\sum _{n=1}^m\left(a_n{\int }_{-\pi }^{\pi }f(x)\cos nx\mathrm{d}x+b_n{\int }_{-\pi }^{\pi }f(x)\sin nx\mathrm{d}x\right).\end{array}$$

根据傅里叶系数公式 $(\S 1$, 公式 $(10))$ 可得

$${\int }_{-\pi }^{\pi }f(x)S_m(x)\mathrm{d}x=\frac{}{2}$$