2. 函数项级数

无穷级数

张瑞
中国科学技术大学数学科学学院

函数项级数

函数列的收敛性

定义 1.
函数列是指一列定义在$I_0$中的函数$\{f_n(x)\}_{n=1}^{\infty}$。 （这里$I_0$是一个实数子集。以后，指$I_0$为一个区间。）

如果对于$I_0$中的某个点$x_0$，当$n\to\infty$时，数列$\{f_n(x_0)\}_{n=1}^{\infty}$收敛，则称$x_0$是函数列$\{f_n(x)\}_{n=1}^{\infty}$的收敛点

全体收敛点构成$I_0$的一个子集$I$，称为该函数列的收敛域。

当$x$在$I$中变化时，极限值$\displaystyle\lim_{n\to\infty}f_n(x)$依$x$变化。将此极限值记为函数$f(x)$，称$f(x)$为该函数列的极限函数；称函数列$\{f_n(x)\}_{n=1}^{\infty}$在$I$中逐点收敛到$f(x)$，记为

\[\lim_{n\to\infty}f_n(x)=f(x), x\in I \]

例 1. $\{x^n\}_{n=1}^{\infty}$

可以得到极限函数为

\[f(x)=\begin{cases} & 0, -1<x<1 \\ & 1, x=1 \\ & 不收敛， x为其它 \end{cases} \]

注. 函数列中的通项函数连续，但极限函数函数可能间断。

定义 2. (函数列的一致收敛)
设函数列$\{f_n(x)\}_{n=1}^{\infty}$和函数$f(x)$在$I$上有定义。若对$\forall \epsilon>0$，存在一个仅与$\epsilon$有关的正整数$N=N(\epsilon)$，s.t.

\[|f_n(x)-f(x)|<\epsilon, \forall n>N, \forall x\in I \]

则称函数列$\{f_n(x)\}_{n=1}^{\infty}$在区间$I$上一致收敛到$f(x)$

例 2. $\forall a\in(0,1)$，证明函数列$\{x^n\}_{n=1}^{\infty}$在区间$[-a,a]$上一致收敛到$0$

例 3. 证明函数列$\{\frac1{x+n}\}_{n=1}^{\infty}$在$[0,+\infty)$上一致收敛

2.

例 4. 证明函数列$f_n(x)=x^n-x^{n-1}$在$[0,1]$上一致收敛

例 5. 判定函数列$\displaystyle f_n(x)=\frac{2nx}{1+n^2x^2}$的一致收敛性

（1） $x\in[0,1]$

（2） $x>1$

17.

函数项级数的收敛性

定义 3.
函数列$\{u_n(x)\}_{n=1}^{\infty}$定义在区间$I_0$上，称$\displaystyle\sum_{n=1}^{\infty}u_n(x)$为函数项级数

如果部分和函数列$\displaystyle S_n(x)=\sum_{k=1}^nu_k(x)$的收敛域为$I$，且在$I$中收敛到函数$S(x)$，则称$I$为函数项级数$\sum_{n=1}^{\infty}u_n(x)$的收敛域，并称$\sum_{n=1}^{\infty}u_n(x)$在$I$中逐点收敛于$S(x)$。

如果函数列$S_n(x)$在$I'$中一致收敛，则称函数项级数$\displaystyle\sum_{n=1}^{\infty}u_n(x)$在$I'$中一致收敛

对于函数列$\{f_n(x)\}_{n=1}^{\infty}$，令

\[u_n(x)=f_n(x)-f_{n-1}(x) \]

则函数项级数$\displaystyle\sum_{n=1}^{\infty}u_n(x)$的部分和函数列为$\{f_n(x)\}_{n=1}^{\infty}$。 因此，函数项级数的收敛性及其性质与函数列的收敛性及其性质是完全对应的。

定理 1.
函数项级数$\displaystyle\sum_{n=1}^{\infty}u_n(x)$在$I$中一致收敛的充要条件为，对$\forall \epsilon>0$，存在一个仅与$\epsilon$有关的正整数$N=N(\epsilon)$，使得当$n>N$时，

\[|S_{n+p}-S_n|=|\sum_{k=n+1}^{n+p}u_k(x)|<\epsilon , \forall p>0, \forall x\in I \]

推论 1. (必要条件)
函数项级数$\displaystyle\sum_{n=1}^{\infty}u_n(x)$在$I$中一致收敛，则其通项$u_n(x)$在$I$中一致收敛到$0$。

证明.

证明. 结论中取$p=1$即得

例 6. 在无穷区间$(0,+\infty)$上的函数项级数$\displaystyle\sum_{n=1}^{\infty}ne^{-nx}$

17.

推论 2.
函数项级数$\displaystyle\sum_{n=1}^{\infty}u_n(x)$在$(a,b)$中逐点收敛，其通项$u_n(x)$在右端点$x=b$处左连续（或在$x=a$处右连续）， 并且数项级数$\displaystyle\sum_{n=1}^{\infty}u_n(b)$（或$\displaystyle\sum_{n=1}^{\infty}u_n(a)$）发散， 则函数项级数$\displaystyle\sum_{n=1}^{\infty}u_n(x)$在$(a,b)$内非一致收敛。

  • $\displaystyle\sum_{n=1}^{\infty}u_n(x)$在$(a,b)$中逐点收敛，$u_n(x)$在右端点$x=b$处左连续，
  • $\displaystyle\sum_{n=1}^{\infty}u_n(x)$在$(a,b)$内一致收敛，则$\sum_{n=1}^{\infty}u_n(b)$收敛

证明.

定理 2. (Weierstrass判别法)
函数项级数$\displaystyle\sum_{n=1}^{\infty}u_n(x)$在$I$中有定义。若存在一收敛的正项级数$\displaystyle\sum_{n=1}^{\infty}a_n$，使

\[|u_n(x)|\leq a_n, x\in I, n>N \]

则级数$\displaystyle\sum_{n=1}^{\infty}u_n(x)$在$I$中一致收敛

证明.

定理 3. (Dirichlet判别法)
乘积项级数$\displaystyle\sum_{n=1}^{\infty}a_n(x)b_n(x)$在$I$上一致收敛，若满足

（1） 级数$\displaystyle\sum_{n=1}^{\infty}a_n(x)$的部分和函数列$\{S_n(x)\}$在$I$上一致有界；

（2） 函数列$\{b_n(x)\}_{n=1}^{\infty}$对于每个$x\in I$都是单调的，且在$I$上一致趋于$0$。

定理 4. (Abel判别法)
乘积项级数$\displaystyle\sum_{n=1}^{\infty}a_n(x)b_n(x)$在$I$上一致收敛，若满足

（1） 级数$\displaystyle\sum_{n=1}^{\infty}a_n(x)$在$I$上一致收敛；

（2） 函数列$\{b_n(x)\}_{n=1}^{\infty}$对于每个$x\in I$都是单调的，且在$I$上一致有界。

例 7. 判定函数列是否一致收敛

（1） $\displaystyle\sum_{n=1}^{\infty}\frac{x^n}{n^2}$

（2） $\displaystyle\sum_{n=1}^{\infty}\ln(1+\frac{x}{n\ln n})$

（3） $\displaystyle\sum_{n=1}^{\infty}x^2e^{-nx}$

例 8. 函数列$\displaystyle\sum_{n=1}^{\infty}u_n(x)$，$u_n(x)$在$[a,b]$上是单调函数， 且$\displaystyle\sum_{n=1}^{\infty}|u_n(a)|$和 $\displaystyle\sum_{n=1}^{\infty}|u_n(b)|$均收敛， 则$\displaystyle\sum_{n=1}^{\infty}u_n(x)$一致收敛

8.

例 9. $\{a_n\}$单调趋于$0$，考察函数项级数$\displaystyle\sum_{n=1}^{\infty}a_n\sin(nx)$和$\displaystyle\sum_{n=1}^{\infty}a_n\cos(nx)$的一致收敛性

例 10. $\displaystyle\sum_{n=1}^{\infty}a_n$收敛，考察函数项级数$\displaystyle\sum_{n=1}^{\infty}a_nn^{-x}$的一致收敛性

8.

一致收敛级数和函数的性质

定理 5. (逐项求极限)
若函数项级数$\displaystyle\sum_{n=1}^{\infty}u_n(x)$在区间$I$上一致收敛于$S(x)$，并且通项$u_n(x)$在$I$上连续， 则和函数$S(x)$在$I$上也连续

推论 3.
若逐点收敛的连续函数项级数$\displaystyle\sum_{n=1}^{\infty}u_n(x)$的和函数$S(x)$在区间$I$上不连续， 则$\displaystyle\sum_{n=1}^{\infty}u_n(x)$在$I$上非一致连续

例 11. $f(x)=\displaystyle\sum_{n=1}^{\infty}\frac{\sin(nx)}{n^3}$在$x\in\mathbb{R}$中的连续性

例 12. $\displaystyle\sum_{n=1}^{\infty}[nxe^{-nx}-(n-1)xe^{-(n-1)x}]$的和函数在$[0,1]$上连续，但级数不一致收敛。

17.

定理 6. (逐项积分公式)
若函数项级数$\displaystyle\sum_{n=1}^{\infty}u_n(x)$在有界闭区间$[a,b]$上一致收敛于$S(x)$，并且通项$u_n(x)$在$[a,b]$上连续， 则有逐项积分公式

\[\int_a^bS(x)dx=\int_a^b\left[\sum_{n=1}^{\infty}u_n(x)\right]dx=\sum_{n=1}^{\infty}\int_a^bu_n(x)dx \]

证明.

定理 7. (逐项微分公式)
若函数项级数$\displaystyle\sum_{n=1}^{\infty}u_n(x)$在有界闭区间$[a,b]$上一致收敛于$S(x)$，其通项$u_n(x)$在$[a,b]$上有连续的微分$u'_n(x)$， 并且通项$\displaystyle\sum_{n=1}^{\infty}u'_n(x)$在$[a,b]$上一致收敛，则和函数$S(x)$在$[a,b]$上有连续的导数，并且有逐项求导公式

\[S'(x)=\left[\sum_{n=1}^{\infty}u_n(x)\right]'=\sum_{n=1}^{\infty}u'_n(x) \]

证明.

  • 有限个连续函数的和函数也是连续函数

  • 有限个可微函数的和函数也可微，且微分为各个函数的微分的和

  • 有限个可积函数的和函数也可积，且积分为各个函数的积分的和

一致收敛级数的和函数的也具有同样的性质

例 13. $\{x^n\}_{n=1}^{\infty}$, $x\in[0,1]$的连续性？

例 14. $\displaystyle\sum_{n=1}^{\infty}(2n^2xe^{-n^2x^2}-2(n-1)^2xe^{-(n-1)^2x^2})$是否可以逐项积分？

例 15. $\{f_n(x)=\frac1n\arctan x^n \}_{n=1}^{\infty}$的导数？

例 16. $\{f_n(x)=nx(1-x)^n\}_{n=1}^{\infty}$在$[0,1]$上不一致收敛，但可以积分

17.

定理 8.
设$u_n(x)$连续，且函数项级数$\displaystyle\sum_{n=1}^{\infty}u_n(x)$在开区间$(a,b)$中一致收敛于$S(x)$， 如果对每个$n\geq 1$，$\displaystyle\lim_{x\to b^-}u_n(x)$存在有限， 则$\displaystyle\lim_{x\to b^-}S(x)$存在，且

\[\lim_{x\to b^-}S(x)=\sum_{n=1}^{\infty}\lim_{x\to b^-}u_n(x) \]

vertical slide 2

目录

本节读完

例 17.

17.