数学分析(十五)-傅里叶级数1-傅里叶级数3：收敛定理【若以2π为周期的函数f在[−π,π]上按段光滑，则点x处f的傅里叶级收敛于f在点x的左右极限的算术平均值，若f在点x连续，则收敛于f(x)】

$$f(x)\sim \frac{a_0}{2}+\sum _{n=1}^{\infty }\left(a_n\cos nx+b_n\sin nx\right)(12)$$

---

下面的定理称为傅里叶级数收敛定理.

定理 15.3

若以 $2\pi$ 为周期的函数 $f$ 在 $[-\pi ,\pi ]$ 上按段光滑, 则在每一点 $x\in [-\pi ,\pi ]$, $f$ 的傅里叶级数 (12) 收敛于 $f$ 在点 $x$的左、右极限的算术平均值, 即

$$\frac{f(x+0)+f(x-0)}{2}=\frac{a_0}{2}+\sum _{n=1}^{\infty }\left(a_n\cos nx+b_n\sin nx\right),$$

其中 $a_n,b_n$ 为 $f$ 的傅里叶系数.

下面先对定理中的某些概念作解释, 然后举例说明如何运用这个定理把函数展开成傅里叶级数. 关于收敛定理的证明将在 第3节 中进行.

我们知道, 若 $f$ 的导函数在 $[a,b]$ 上连续, 则称 $f$ 在 $[a,b]$上光滑.

但若定义在 $[a,b]$ 上除了至多有有限个第一类间断点的函数 $f$的导函数在 $[a,b]$ 上除了至多有限个点外都存在且连续,在这有限个点上导函数 $f^{\prime }$ 的左、右极限存在, 则称 $f$ 在 $[a,b]$上按段光滑.

根据上述定义,若函数 $f$ 在 $[a,b]$ 上按段光滑,则有如下重要性质:

• $1^{\circ }f$ 在 $[a,b]$ 上可积.
• $2^{\circ }$ 在 $[a,b]$ 上每一点都存在 $f(x\pm 0)$, 且有
  $$\begin{array}{l}\underset{t\to 0^{+}}{\lim }\frac{f(x+t)-f(x+0)}{t}=f^{\prime }(x+0),\\ \underset{t\to 0^{+}}{\lim }\frac{f(x-t)-f(x-0)}{-t}=f^{\prime }(x-0).\end{array}$$
• $3^{\circ }$ 补充定义 $f^{\prime }$ 在 $[a,b]$上那些至多有限个不存在点上的值后 (仍记为 $f^{\prime }$ ), $f^{\prime }$ 在$[a,b]$ 上可积.

从几何图形上讲, 在区间 $[a,b]$ 上按段光滑函数,是由有限个光滑弧段所组成, 它至多有有限个第一类间断点与角点 (图 15-1).

收敛定理指出,

• $f$ 的傅里叶级数在点 $x$ 处收敛于这一点上 $f$的左、右极限的算术平均值 $\frac{f(x+0)+f(x-0)}{2}$;
• 而当 $f$ 在点 $x$连续时, 则有 $\frac{f(x+0)+f(x-0)}{2}=f(x)$, 即此时 $f$的傅里叶级数收敛于 $f(x)$.

于是有下面推论.

推论

若 $f$ 是以 $2\pi$ 为周期的连续函数, 且在 $[-\pi ,\pi ]$上按段光滑, 则 $f$ 的傅里叶级数在 $(-\infty ,+\infty )$ 上收敛于 $f$.

根据收敛定理的假设, $f$ 是以 $2\pi$ 为周期的函数,所以系数公式 $(10)$中的积分区间 $[-\pi ,\pi ]$ 可以改为长度为 $2\pi$ 的任何区间,而不影响$a_n,b_n$的值:

$$\begin{array}{lc}{a}_n=\frac{1}{\pi }{\int }_c^{c+2\pi }f(x)\cos nx\mathrm{d}x,n=0,1,2,\cdots ,& \\ & (10^{\prime })\\ b_n=\frac{1}{\pi }{\int }_c^{c+2\pi }f(x)\sin nx\mathrm{d}x,n=1,2,\cdots ,& \end{array}$$

其中 $c$ 为任何实数.

注意: 在具体讨论函数的傅里叶级数展开式时, 常只给出函数 $f$ 在$(-\pi ,\pi ]$ (或 $[-\pi ,\pi ))$上的解析表达式,但读者应理解为它是定义在整个数轴上以 $2\pi$为周期的函数. 即在 $(-\pi ,\pi ]$ 以外的部分按函数在 $(-\pi ,\pi ]$上的对应关系作周期延拓. 如 $f$ 为 $(-\pi$