第七章 无穷级数

7.1 无穷级数

一、无穷级数的概念 7.1.1

【定义1】设 { a n } \{a_n\} {an​} 是一个数列，称形式和
$$a_1+a_2+\cdots +a_n+\cdots$$为无穷项级数，简称无穷级数（或级数），记作 $\sum _{n=1}^{\infty }{a}_n$ 。$a_n$ 称为级数的通项。

令 $S_1=a_1,S_2=a_1+a_2,\cdots ,S_n=a_1+a_2+\cdots +a_n$，则 $S_n$ 叫做级数的部分和。

【定义2】设 { S n } \{S_n\} {Sn​} 是级数 $\sum _{n=1}^{\infty }{a}_n$ 的部分和数列。若 { S n } \{S_n\} {Sn​} 收敛，且极限 $\underset{n=1}{\lim }{S}_n=S$，则称级数 $\sum _{n=1}^{\infty }{a}_n$ 收敛， S 称为级数的和，记作 $\sum _{n=1}^{\infty }{a}_n=S$；

若 { S n } \{S_n\} {Sn​} 发散，即极限 $\underset{n=1}{\lim }{S}_n$ 不存在，则称级数 $\sum _{n=1}^{\infty }{a}_n$ 发散。

二、收敛级数的性质

1.收敛的必要条件

【定理1】如果级数 $\sum _{n=1}^{\infty }{a}_n$ 收敛，那么 $\underset{n\to \infty }{\lim }{a}_n=0$。
【推论】如果 $\underset{n\to \infty }{\lim }{a}_n$ 不存在或不等于0，那么级数 $\sum _{n=1}^{\infty }{a}_n$ 发散。

2.收敛级数的线性运算

【定理2】若级数 $\sum _{n=1}^{\infty }{a}_n$ 与 $\sum _{n=1}^{\infty }{b}_n$ 收敛，c 为任意常数，则级数 $\sum _{n=1}^{\infty }c\cdot a_n$ 与级数 $\sum _{n=1}^{\infty }(a_n+b_n)$ 均收敛，且
$$\sum _{n=1}^{\infty }c\cdot a_n=c\sum _{n=1}^{\infty }{a}_n,\sum _{n=1}^{\infty }(a_n+b_n)=\sum _{n=1}^{\infty }{a}_n+\sum _{n=1}^{\infty }{b}_n$$

3.有限项的值不影响级数的敛散性

【定理3】增加、去掉或者改变级数的有限项，不会改变它的敛散性。

4.收敛级数的重组性质

【定理4】若级数 $\sum _{n=1}^{\infty }{a}_n$ 收敛，则在级数中任意添加括号后，得到的新级数仍收敛，且其和不变。

7.2 正项级数

一、正项级数的概念与性质 7.2.1

1.正项级数的定义

【定义3】若 $a_n>0$ ，则称级数 $\sum _{n=1}^{\infty }{a}_n$ 为正项级数。

2.正项级数的性质

性质1（部分和数列单增） 若 $a_n>0$ ，则 $S=\sum _{k=1}^{\infty }{a}_k$ 单调递增。

性质2（收敛的充要条件）若 $a_n>0$ ，则级数 $\sum _{n=1}^{\infty }{a}_n$ 收敛的充分必要条件是 $S=\sum _{k=1}^{\infty }{a}_k$ 有上界，即存在一个实数 M，对所有的 n，都有 $S_n<M$。

二、正项级数的比较判敛法

1.比较判敛法的一般形式

【定理5】设 $\sum _{n=1}^{\infty }{a}_n$ 与 $\sum _{n=1}^{\infty }{b}_n$ 为两个正项级数，当 n > N时， $a_n\le b_n$。

(1) 如果 $\sum _{n=1}^{\infty }{b}_n$ 收敛，那么 $\sum _{n=1}^{\infty }{a}_n$ 也收敛；

(2) 如果 $\sum _{n=1}^{\infty }{a}_n$ 发散，那么 $\sum _{n=1}^{\infty }{b}_n$ 也发散。

2.比较判敛法的极限形式

【定理6】设 $\sum _{n=1}^{\infty }{a}_n$ 与 $\sum _{n=1}^{\infty }{b}_n$ 为两个正项级数，且 $\underset{n\to \infty }{\lim }\frac{a_n}{b_n}=L$。
(1) 如果 $0<L<+\infty$，那么 $\sum _{n=1}^{\infty }{a}_n$ 与 $\sum _{n=1}^{\infty }{b}_n$ 具有同样的敛散性；
(2) 如果 $L=0$，且 $\sum _{n=1}^{\infty }{b}_n$ 收敛，那么 $\sum _{n=1}^{\infty }{a}_n$ 也收敛；
(3) 如果 $L=0$，且 $\sum _{n=1}^{\infty }{a}_n$ 发散，那么 $\sum _{n=1}^{\infty }{b}_n$ 也发散。

3.比较判敛法的比阶形式

【定理7】设 $a_n>0$，且 $\underset{n\to +\infty }{\lim }{n}^p{a}_n=L$，则

(1) 当 $0\le L<+\infty$，且 $p>1$ 时， $\sum _{n=1}^{\infty }{a}_n$ 收敛；

(2) 当 $0<L\le +\infty$，且 $p\le 1$ 时，$\sum _{n=1}^{\infty }{a}_n$ 发散

三、正项级数的积分判敛法

【定理8】设连续函数 f(x) 是区间 $[1,+\infty )$ 上的单调下降的正函数，$a_n=f(n)$，那么级数 $\sum _{n=1}^{\infty }{a}_n$ 收敛当且仅当反常积分 ${\int }_1^{+\infty }f(x)\mathrm{d}\mathrm{x}$ 收敛。

7.3 比值判别法和根式判别法

一、正项级数的比值判敛法 7.3.1

【定理9】设 $\sum _{n=1}^{\infty }{u}_n$ 为正项级数，若对于 n > N，都有 $\frac{u_{n+1}}{u_n}\le q<1$（为确定的数），则级数 $\sum _{n=1}^{\infty }{u}_n$ 收敛；若对于 n > N，$\frac{u_{n+1}}{u_n}\ge 1$，则级数 $\sum _{n=1}^{\infty }{u}_n$ 发散。

【定理10】设 $\sum _{n=1}^{\infty }{u}_n$ 为正项级数。若 $\underset{n\to +\infty }{\lim }\frac{u_{n+1}}{u_n}=r$。
(1) 当 $0\le r<1$ 时，级数 $\sum _{n=1}^{\infty }{u}_n$ 收敛；
(2) 当 $r>1$ 时，级数 $\sum _{n=1}^{\infty }{u}_n$ 发散，且 $\underset{n\to +\infty }{\lim }{u}_n=+\infty$；
(3) 当 $r=1$ 时，级数的敛散性需要进一步判定。

二、正项级数的根式判敛法

【定理11】设 $\sum _{n=1}^{\infty }{u}_n$ 为正项级数，若存在 N，当 n > N，$\sqrt[n]{u_n}\le q<1$，则级数 $\sum _{n=1}^{\infty }{u}_n$ 收敛；
若 $\sqrt[n]{u_n}\ge 1$，则 $\sum _{n=1}^{\infty }{u}_n$ 发散。

7.4 一般项级数

一、交错级数 7.4.1

1.交错级数的概念

【定义4】设 $u_n>0$，级数 $\sum _{n=1}^{\infty }(-1{)}^{n-1}{u}_n$ 称为交错级数。

2.交错级数的判敛法

【定理13】（Leibniz判敛法）假设正数列 { u n } \{u_n\} {un​} 当 $n\ge N$ 时，满足：

(1) $u_n\ge u_{n+1}$，

(2) $\underset{n\to +\infty }{\lim }{u}_n=0$，

那么交错级数 $\sum _{n=1}^{\infty }(-1{)}^{n-1}{u}_n$ 收敛。

3.交错级数的余项估计

【定理14】假设正数列 { u n } \{u_n\} {un​} 当 $n\ge N$ 时，满足：

(1) $u_n>u_{n+1}$，

(2) $\underset{n\to +\infty }{\lim }{u}_n=0$，
那么，
$$|R_n|=|S-S_n|<u_{n+1}$$

一、绝对值判敛法 7.4.2

1.绝对收敛与条件收敛的概念

【定义5】如果级数 $\sum _{n=1}^{\infty }|a_n|$ 收敛，则称级数 $\sum _{n=1}^{\infty }{a}_n$ 绝对收敛。如果级数 $\sum _{n=1}^{\infty }{a}_n$ 收敛，而级数 $\sum _{n=1}^{\infty }|a_n|$ 发散，则称级数 $\sum _{n=1}^{\infty }{a}_n$ 条件收敛。

2.绝对值判敛法

【定理15】若级数 $\sum _{n=1}^{\infty }|a_n|$ 收敛，则级数 $\sum _{n=1}^{\infty }{a}_n$ 收敛。

二、绝对收敛级数的性质

【定理16】记 $a_n^{+}=\frac{1}{2}(a_n+|a_n|),a_n^{-}=\frac{1}{2}(a_n-|a_n|)$，则

(1) 级数 $\sum _{n=1}^{\infty }{a}_n$ 绝对收敛 $⟺$ 级数 $\sum _{n=1}^{\infty }{a}_n^{+}$ 与 $\sum _{n=1}^{\infty }{a}_n^{-}$ 均收敛；

(2) 级数 $\sum _{n=1}^{\infty }{a}_n$ 条件收敛 $⟹$ 级数 $\sum _{n=1}^{\infty }{a}_n^{+}$ 与 $\sum _{n=1}^{\infty }{a}_n^{-}$ 均发散，即
$$\sum _{n=1}^{\infty }{a}_n^{+}=+\infty ,\sum _{n=1}^{\infty }{a}_n^{-}=-\infty$$

【定理17】如果级数 $\sum _{n=1}^{\infty }{a}_n$ 绝对收敛，$\sum _{n=1}^{\infty }{b}_n$ 是 $\sum _{n=1}^{\infty }{a}_n$ 的一个重排，那么 $\sum _{n=1}^{\infty }{b}_n$ 也绝对收敛，且 $\sum _{n=1}^{\infty }{b}_n=\sum _{n=1}^{\infty }{a}_n$。

【定理18】设两个绝对收敛的级数 $\sum _{n=1}^{\infty }{u}_n=A$，$\sum _{n=1}^{\infty }{v}_n=B$，那么所有的 $u_i{v}_j$ 按任意的顺序得到的级数也绝对收敛，并且和等于 AB。 即$$\sum _{n=1}^{\infty }{u}_n\sum _{n=1}^{\infty }{v}_n=AB$$

7.5 幂级数

一、函数项级数的一般概念 7.5.1

【定义6】 设 { u n ( x ) } \{u_n(x)\} {un​(x)} 是定义在区间 I 上的函数序列，称其形式和
$$u_0(x)+u_1(x)+\cdots +u_n(x)+\cdots$$ 为 I 上的一个函数项级数，记作 $\sum _{n=0}^{\infty }{u}_n(x)$ 。
通项 $u_n(x)$，部分和（函数）$S(x)=\sum _{k=0}^{\infty }{u}_k(x)$，部分和函数序列 { S n ( x ) } \{S_n(x)\} {Sn​(x)}

【定义7】若数项级数
$$u_0(x_0)+u_1(x_0)+\cdots +u_n(x_0)+\cdots$$ 收敛，则称 $x_0$ 是函数项级数的收敛点；级数 $\sum _{n=1}^{\infty }{u}_n(x)$ 所有收敛点构成的集合称为它的收敛域。
在收敛域上，记 $S(x)=\sum _{n=0}^{\infty }{u}_n(x)$，$S(x)$ 称为和函数。

二、幂级数的有关概念

1.幂级数的定义

【定义8】形如
$$a_0+a_1(x-x_0)+a_2(x-x_0{)}^2+\cdots +a_n(x-x_0{)}^n+\cdots$$ 的函数项级数称为 $x_0$ 处的幂级数，记作 $\sum _{n=0}^{\infty }{a}_n(x-x_0{)}^n$ 。

形如
$$a_0+a_{1}x+a_2{x}^2+\cdots +a_n{x}^n+\cdots$$ 的函数项级数称为 0 处的幂级数，记作 $\sum _{n=0}^{\infty }{a}_n{x}^n$ 。

2.幂级数的收敛区间

【定理19】（Abel定理）若幂级数 $\sum _{n=0}^{\infty }{a}_n{x}^n$ 在 $c\ne 0$ 处收敛，则当 |x| < |c| 时，$\sum _{n=0}^{\infty }{a}_n{x}^n$ 绝对收敛；若幂级数 $\sum _{n=0}^{\infty }{a}_n{x}^n$ 在 d 处发散，则当 |x| > |d| 时，$\sum _{n=0}^{\infty }{a}_n{x}^n$ 发散。

【定理20】若幂级数 $\sum _{n=0}^{\infty }{a}_n{x}^n$ 既存在非零收敛点，又存在发散点，则存在唯一的正实数 R，满足：当 |x| < R 时，幂级数 $\sum _{n=0}^{\infty }{a}_n{x}^n$ 绝对收敛；当 |x| > R 时，幂级数 $\sum _{n=0}^{\infty }{a}_n{x}^n$ 发散。

【定义9】设 $\sum _{n=0}^{\infty }{a}_n{x}^n$ 是 0 处的幂级数，若 $R\ge 0$ 满足：

(1) 当 |x| < R 时，$\sum _{n=0}^{\infty }{a}_n{x}^n$ 绝对收敛；

(2) 当 |x| > R 时，$\sum _{n=0}^{\infty }{a}_n{x}^n$ 发散，

则称 R 是幂级数 $\sum _{n=0}^{\infty }{a}_n{x}^n$ 的收敛半径，开区间 $(-R,R)$ 称为幂级数 $\sum _{n=0}^{\infty }{a}_n{x}^n$ 的收敛区间。

3.收敛半径的求法

7.6 函数的幂级数

一、几何级数的运用

当 |x| < 1 时
$$\sum _{n=0}^{\infty }{x}^n=1+x+x^2+x^3+\cdots =\frac{1}{1-x}$$ 将 x 替换成 -x，得到
$$\frac{1}{1+x}=1-x+x^2-x^3+\cdots$$ 将 x 替换成 $x^2$，得到
$$\frac{1}{1-x^2}=1+x^2+x^4+x^6+\cdots$$ $$\frac{1}{1+x^2}=1-x^2+x^4-x^6+\cdots$$

二、幂级数和函数的性质

1.和函数的连续性

【定理21】幂级数 $\sum _{n=0}^{\infty }{a}_n{x}^n$ 的和函数在其收敛域上连续。

2.和函数的可积性、逐项积分公式

【定理22】幂级数 $\sum _{n=0}^{\infty }{a}_n{x}^n$ 的和函数在其收敛域内的任何闭区间 [a, b] 上可积，且
$${\int }_a^b(\sum _{n=0}^{\infty }{a}_n{x}^n)\mathrm{d}\mathrm{x}=\sum _{\mathrm{n}=0}^{\infty }{\int }_{\mathrm{a}}^{\mathrm{b}}{\mathrm{a}}_{\mathrm{n}}{\mathrm{x}}^{\mathrm{n}}\mathrm{d}\mathrm{x}$$
特别地，当 x 在收敛域内时，有
$${\int }_0^x(\sum _{n=0}^{\infty }{a}_n{t}^n)\mathrm{d}\mathrm{t}=\sum _{\mathrm{n}=0}^{\infty }{\int }_{\mathrm{a}}^{\mathrm{x}}{\mathrm{a}}_{\mathrm{n}}{\mathrm{t}}^{\mathrm{n}}\mathrm{d}\mathrm{t}=\sum _{\mathrm{n}=0}^{\infty }\frac{{\mathrm{a}}_{\mathrm{n}}}{\mathrm{n}+1}{\mathrm{x}}^{\mathrm{n}+1}$$

【注】$\sum _{n=0}^{\infty }\frac{a_n}{n+1}{x}^{n+1}$ 可以称为 $\sum _{n=0}^{\infty }{a}_n{x}^n$ 的积分级数，其收敛半径小于原级数的收敛半径。

3.和函数的可导性、逐项求导公式

【定理23】幂级数 $\sum _{n=0}^{\infty }{a}_n{x}^n$ 的和函数在其收敛区间 (-R, R) 内连续可导，且
$$(\sum _{n=0}^{\infty }{a}_n{x}^n{)}^{\prime }=\sum _{n=0}^{\infty }(a_n{x}^n{)}^{\prime }=\sum _{n=1}^{\infty }n{a}_n{x}^{n-1}$$

【注1】$\sum _{n=1}^{\infty }n{a}_n{x}^{n-1}$ 称为原级数的导级数。其收敛半径小于幂级数的收敛半径。

【注2】幂级数、导级数、积分级数收敛半径相等。收敛性只可能在区间端点上不同。

7.7 泰勒级数

一、泰勒级数的概念

【定理24】如果函数 f(x) 可以写成 $x_0$ 处的幂级数
$$f(x)=a_0+a_1(x-x_0)+a_2(x-x_0{)}^2+a_3(x-x_0{)}^3+\cdots =\sum _{n=0}^{\infty }{a}_n(x-x_0{)}^n$$ 则有$$a_0=f(x_0),a_1=f^{\prime }(x_0),a_2=\frac{f^{\prime \prime }(x_0)}{2},a_3=\frac{f^{\prime \prime \prime }(x_0)}{3!},\cdots ,a_n=\frac{f^{(n)}(x_0)}{n!}$$

【定义10】幂级数 $\sum _{n=0}^{\infty }\frac{f^{(n)}(x_0)}{n!}(x-x_0{)}^n$ 称为函数 f(x) 在 $x_0$ 点的泰勒级数；当 $x_0=0$ 时，幂级数 $\sum _{n=0}^{\infty }\frac{f^{(n)}(x_0)}{n!}{x}^n$ 也称为函数 f(x) 的麦克劳林级数。

二、泰勒级数收敛于函数的条件

泰勒定理 设 f(x) 在包含 $x_0$ 的某开区间 (a, b) 内有直到 n+1 阶的导数，则当 $x\in (a,b)$ 时，
$$f(x)=f(x_0)+f^{\prime }(x_0)(x-x_0)+\frac{f^{\prime \prime }(x_0)}{2!}(x-x_0{)}^2+\cdots +\frac{f^{(n)}(x_0)}{n!}(x-x_0{)}^n+R_n(x)$$ 其中 $R_n(x)=f^{(n+1)}(\xi )\frac{(x-x_0{)}^{n+1}}{(n+1)!}$，ξ 介于 x 与 $x_0$ 之间。

定理25 （泰勒级数收敛于函数的充要条件）
$$f(x)=\sum _{n=0}^{\infty }(x-x_0{)}^n(|x-x_0|<I)\iff \underset{n\to \infty }{\lim }\frac{f^{(n+1)}(\xi )}{(n+1)!}(x-x_0{)}^{n+1}=0$$ 其中 $|x-x_0|<I$， ξ 介于 x 与 $x_0$ 之间。

推论 设 f(x) 在包含 $x_0$ 的某开区间 (a, b) 内存在各阶导数，并且存在 M > 0，使得 $f^{(n)}(x)<M$ 对任意的 $x\in (a,b)$ 及任意的正整数 n 都成立，则当 $x\in (a,b)$ 时，
$$f(x)=\sum _{n=0}^{\infty }\frac{f^{(n)}(x_0)}{n!}(x-x_0{)}^n$$

7.8 幂级数的简单应用