【高等数学】下册 第十二章 第二节 常数项级数的审敛法

1. 正项级数及其审敛法

1.1. 正项级数

1.1.1. 定义

• 各项都是正数或零的级数。
• 这种级数特别重要，许多级数的收敛性问题可归结为正项级数的收敛性问题。
• 定理1：正项级数收敛的充要条件是：它的部分和数列有界。

1.1.2. 比较审敛法

• 设$$\sum _{n=1}^{\infty }{u}_n和\sum _{n=1}^{\infty }{v}_n$$都是正项级数，且$u_n\le v_n,n=1,2,...$。若级数$$\sum _{n=1}^{\infty }{v}_n$$收敛，则级数$$\sum _{n=1}^{\infty }{u}_n$$收敛；反之，若级数$$\sum _{n=1}^{\infty }{u}_n$$发散，则级数$$\sum _{n=1}^{\infty }{v}_n$$发散。
• 级数的每一项同乘不为零的常数$k$以及去掉级数前面部分的有限项不会影响级数的收敛性，因而只要存在正整数$N$，使当$n\ge N$时有$u_n\le k{v}_n(k>0)$即可。

1.2. p级数

1.2.1. 定义

$$\sum _{n=1}^{\infty }\frac{1}{n^p}=1+\frac{1}{2^p}+...+\frac{1}{n^p}+...(p>0)$$

1.2.2. 收敛性

• 当$p\le 1$时，$\frac{1}{n^p}\ge \frac{1}{n}$，但调和级数发散，因此此时$p$级数发散。
• 当$p>1$时，因为当$k-1\le x\le k$时，有$\frac{1}{k^p}\le \frac{1}{x^p}$，所以$$\frac{1}{k^p}={\int }_{k-1}^k\frac{1}{k^p}dx\le {\int }_{k-1}^k\frac{1}{x^p}dx(k=2,3,...)，$$从而级数的部分和
  $$\begin{array}{rl}{s}_n& =1+\sum _{k=2}^n\frac{1}{k^p}\le 1+\sum _{k=2}^{\infty }{\int }_{k-1}^k\frac{1}{x^p}dx\\ & =1+{\int }_1^n\frac{1}{x^p}dx\\ & =1+\frac{1}{p-1}(1-\frac{1}{n^{p-1}})<1+\frac{1}{p-1}(n=2,3,...)\end{array}$$
  这表明数列 { s n } \{s_n\} {sn​}有界，因此级数收敛。
• 综上所述，$p$级数当$p>1$时收敛，当$p\le 1$时发散。

1.3. 比较审敛法的极限形式

1.3.1. 定理

• 设$$\sum _{n=1}^{\infty }{u}_n和\sum _{n=1}^{\infty }{v}_n$$都是正项级数。
• (1) 如果$$\underset{n\to \infty }{\lim }\frac{u_n}{v_n}=l(0\le l<+\infty ),$$且$$\sum _{n=1}^{\infty }{v}_n$$收敛，那么级数$$\sum _{n=1}^{\infty }{u}_n$$收敛。
• (2) 如果$$\underset{n\to \infty }{\lim }\frac{u_n}{v_n}=l>0,或\underset{n\to \infty }{\lim }\frac{u_n}{v_n}=+\infty$$且$$\sum _{n=1}^{\infty }{v}_n$$发散，那么级数$$\sum _{n=1}^{\infty }{u}_n$$发散。
• 极限形式的比较审敛法表明，当$n\to \infty$时，如果$u_n$是与$v_n$同阶或比$v_n$高阶的无穷小，而级数$$\sum _{n=1}^{\infty }{v}_n$$收敛，那么级数$$\sum _{n=1}^{\infty }{u}_n$$收敛；如果$u_n$是与$v_n$同阶或比$v_n$低阶的无穷小，而级数$$\sum _{n=1}^{\infty }{v}_n$$发散，那么级数$$\sum _{n=1}^{\infty }{u}_n$$发散。
• 将所给的正项级数与等比级数比较，就能得到在实用上很方便的比值审敛法和根值审敛法；将所给的正项级数与$p$级数比较，就能得到在实用上很方便的极限审敛法。

1.3.2. 比值审敛法

• 又叫达朗贝尔判别法。
• 设$$\sum _{n=1}^{\infty }{u}_n$$为正项级数，如果$$\underset{n\to \infty }{\lim }\frac{u_{n+1}}{u_n}=\rho ,$$那么当$\rho <1$时级数收敛，$\rho >1$（或$$\underset{n\to \infty }{\lim }\frac{u_{n+1}}{u_n}=\infty$$）时级数发散，$\rho =1$时级数可能收敛也可能发散。

1.3.3. 根值审敛法

• 又叫柯西判别法
• 设$$\sum _{n=1}^{\infty }{u}_n$$为正项级数，如果$$\underset{n\to \infty }{\lim }\sqrt[n]{u_n}=\rho ,$$那么当$\rho <1$时级数收敛，$\rho >1$（或$$\underset{n\to \infty }{\lim }\frac{u_{n+1}}{u_n}=\infty$$）时级数发散，$\rho =1$时级数可能收敛也可能发散。

1.3.4. 极限审敛法

• 设$$\sum _{n=1}^{\infty }{u}_n$$为正项级数
• (1) 如果$$\underset{n\to \infty }{\lim }n{u}_n=l>0(或+\infty )$$，那么级数$$\sum _{n=1}^{\infty }{u}_n$$发散；
• (2) 如果$p>1$，而$$\underset{n\to \infty }{\lim }{n}^p{u}_n=l(0\le l<+\infty )$$，那么级数$$\sum _{n=1}^{\infty }{u}_n$$收敛。
• 可以结合等价无穷小的相关知识。

2. 交错级数及其审敛法

2.1. 交错级数的定义

• 所谓的交错级数的各项是正负交错的，从而可以写成下面的形式：
  $$u_1-u_2+u_3-u_4+....,$$或
  $$-u_1+u_2-u_3+u_4-...,$$其中$u_1,u_2,...$都是正数。

2.2. 莱布尼茨定理

• 如果交错级数$$\sum _{n=1}^{\infty }(-1{)}^{n-1}{u}_n$$满足条件：
• (1) $u_n\ge u_{n+1}(n=1,2,3,...);$
• (2) $$\underset{n\to \infty }{\lim }{u}_n=0,$$
  那么级数收敛，且其和$s\le u_1$，其余项的绝对值$|r_n|\le u_{n+1}$。

3. 绝对收敛与条件收敛

3.1. 定义

• 现在讨论一般的级数$$u_1+u_2+...+u_n+...,$$它的各项为任意实数。如果级数各项的绝对值所构成的正项级数$$\sum _{n=1}^{\infty }|u_n|$$收敛，那么称级数绝对收敛；如果级数$$\sum _{n=1}^{\infty }{u}_n$$收敛，而$$\sum _{n=1}^{\infty }|u_n|$$发散，那么称级数条件收敛。

3.2. 定理

• 如果级数绝对收敛，那么级数必定收敛。
• 如果用比值审敛法或根值审敛法，判定级数$$\sum _{n=1}^{\infty }|u_n|$$发散，那么级数$$\sum _{n=1}^{\infty }{u}_n$$必定发散。