现在证明定理 15.3 (收敛定理), 重述如下:
若以 2 π 2 \pi 2π 为周期的函数 f f f 在 [ − π , π ] [-\pi, \pi] [−π,π] 上按段光滑, 则在每一点 x ∈ [ − π , π ] , f x \in[-\pi, \pi], f x∈[−π,π],f 的傅里叶级数 (本章 § 1 § 1 §1 的 (12) 式) 收玫于 f f f
在点 x x x 的左、右极限的算术平均值, 即
f ( x + 0 ) + f ( x − 0 ) 2 = a 0 2 + ∑ n = 1 ∞ ( a n cos n x + b n sin n x ) , \cfrac{f(x+0)+f(x-0)}{2}=\cfrac{a_{0}}{2}+\sum_{n=1}^{\infty}\left(a_{n} \cos n x+b_{n} \sin n x\right), 2f(x+0)+f(x−0)=2a0+n=1∑∞(ancosnx+bnsinnx),
其中 a n , b n a_{n}, b_{n} an,bn 为 f f f 的傅里叶系数.
证
只要证明在每一点 x x x 处下述极限成立:
lim n → ∞ [ f ( x + 0 ) + f ( x − 0 ) 2 − S n ( x ) ] = 0 , \lim \limits_{n \rightarrow \infty}\left[\cfrac{f(x+0)+f(x-0)}{2}-S_{n}(x)\right]=0, n→∞lim[2f(x+0)+f(x−0)−Sn(x)]=0,
即
lim n → ∞ [ f ( x + 0 ) + f ( x − 0 ) 2 − 1 π ∫ − π π f ( x + t ) sin ( n + 1 2 ) t 2 sin t 2 d t ] = 0 , \lim \limits_{n \rightarrow \infty}\left[\cfrac{f(x+0)+f(x-0)}{2}-\cfrac{1}{\pi} \int_{-\pi}^{\pi} f(x+t) \cfrac{\sin \left(n+\cfrac{1}{2}\right) t}{2 \sin \cfrac{t}{2}} \mathrm{~d} t\right]=0, n→∞lim 2f(x+0)+f(x−0)−π1∫−ππf(x+