级数_2：常数项级数的审敛法

正项级数

定义：若 $u_n\ge 0$，则称 ${\sum }_{n=1}^{\infty }{u}_n$ 为正项级数。

---

定理1：正项级数收敛 $\Rightarrow$ 部分和序列有界（基础，不常用）

---

定理2（比较审敛法）：

设 ${\sum }_{n=1}^{\infty }{u}_n，{\sum }_{n=1}^{\infty }{v}_n$ 是两个正项级数，且存在 $N\in N_{+}$，对一切 $n>N$，有 $u_n\le v_n$，则：

1. 若强级数 ${\sum }_{n=1}^{\infty }{v}_n$ 收敛，则弱级数 ${\sum }_{n=1}^{\infty }{u}_n$ 也收敛。

2. 若弱级数 ${\sum }_{n=1}^{\infty }{u}_n$ 发散，则强级数 ${\sum }_{n=1}^{\infty }{v}_n$ 也发散。

$例：$${\sum }_{n=1}^{\infty }\frac{1}{n^p}$

         1)若 $p\le 1$，可得 $\frac{1}{n^p}\ge \frac{1}{n}$，而 ${\sum }_{n=1}^{\infty }\frac{1}{n}$ 发散，故 ${\sum }_{n=1}^{\infty }\frac{1}{n^p}$ 发散。

         2)若$p>1$时，${\sum }_{n=1}^{\infty }\frac{1}{n^p}$收敛。

思路：级数 ${\sum }_{n=1}^{\infty }\frac{1}{n^p}$ 的和等于曲线 $\frac{1}{x^p}$ 以$1$为单位的右矩形面积之和，该和小于曲线 $\frac{1}{x^p}$ 的积分，且该积分趋于某个定值，由比较审敛法可得级数收敛。

$\frac{1}{n^p}$ 的收敛性结论需记忆。

---

定理3（比较审敛法的极限形式）：

设 ${\sum }_{n=1}^{\infty }{u}_n，{\sum }_{n=1}^{\infty }{v}_n$ 是两个正项级数，满足 $\underset{x\to \infty }{\lim }\frac{u_n}{v_n}=l$，则有：

1. $0<l<\infty$，两级数同时发散或收敛。

2. $l=0$，若 $v_n$ 收敛，则 $u_n$ 收敛。

3. $l=\infty$，若 $v_n$ 发散，则 $u_n$ 发散。

注：在该定理应用时，可灵活运用等价无穷小和放缩等方法。

$例：{\sum }_{n=1}^{\infty }ln(1+\frac{1}{n^2})$

         $\underset{x\to \infty }{\lim }\frac{ln(1+\frac{1}{n^2})}{\frac{1}{n^2}}=1>0$

         由 ${\sum }_{n=1}^{\infty }\frac{1}{n^2}$收敛，得级数收敛。

---

定理4（比值审敛法）：

设 ${\sum }_{n=1}^{\infty }{u}_n$ 为正项级数，且 $\underset{x\to \infty }{\lim }\frac{u_{n+1}}{u_n}=\rho$，则

1. 当 $\rho <1$ 时，级数收敛。

2. 当 $\rho >1$ 或 $\rho =\infty$ 时，级数发散。

3. 当 $\rho =1$时，级数可能收敛也可能发散。

$例：{\sum }_{n=1}^{\infty }n{x}^{n-1}(x>0)$

         $\underset{x\to \infty }{\lim }\frac{(n+1)x^n}{n{x}^{n-1}}=x$

         当 $0<x<1$ 时，级数收敛。

         当 $x>1$时，级数发散。

         当 $x=1$时，级数为 ${\sum }_{n=1}^{\infty }n$，发散。

---

定理5（根值审敛法）：

若级数为正项级数，$\underset{x\to \infty }{\lim }\sqrt[n]{u_n}=\rho$，则：

1. 当 $\rho <1$ 时，级数收敛。

2. 当 $\rho >1$ 时，级数发散。

3. 当 $\rho =1$ 时，级数可能收敛也可能发散。

$例：{\sum }_{n=1}^{\infty }\frac{1}{n^n}$

         $\underset{x\to \infty }{\lim }\sqrt[n]{\frac{1}{n^n}}=\underset{x\to \infty }{\lim }\frac{1}{n}=0$

         级数收敛。

---

交错级数

定义：设 $u_n>0(n=1,2,\cdots )$，则各项符号正负相间的级数 $u_1-u_2+u_3-\cdots +(-1{)}^{n-1}{u}_n+\cdots$ 称为交错级数。

---

定理6（莱布尼茨判别法）：

若交错级数满足：

1. $u_n\ge u_{n+1}$

2. $\underset{x\to \infty }{\lim }{u}_n=0$

则级数收敛，且其和 $S\le u_1$，余项满足 $|r_n|\le u_{n+1}。$

$例：{\sum }_{n=1}^{\infty }(-1{)}^{n-1}\frac{n}{10^n}$

         $u_n=\frac{n}{10^n}$

        $\frac{u_{n+1}}{n_n}=\frac{1}{10}\cdot \frac{n+1}{n}<1$

        $\underset{x\to \infty }{\lim }{u}_n=0$

        故收敛。

---

绝对收敛与条件收敛

定义：对任意项级数 ${\sum }_{n=1}^{\infty }{u}_n$，若 ${\sum }_{n=1}^{\infty }|u_n|$收敛，则称原级数 ${\sum }_{n=1}^{\infty }{u}_n$绝对收敛。

若原级数收敛收敛，但取绝对值以后的级数发散，则称原级数条件收敛。

$例如：$${\sum }_{n=1}^{\infty }(-1{)}^{n-1}\frac{1}{n}$ 为条件收敛。

              ${\sum }_{n=1}^{\infty }(-1{)}^{n-1}\frac{1}{(n-1)!}$ 为绝对收敛。

---

定理7：绝对收敛的级数一定收敛。

$例$：证明 ${\sum }_{n=1}^{\infty }\frac{sinn\alpha }{n^4}$ 绝对收敛

        $|\frac{sinn\alpha }{n^4}|\le \frac{1}{n^4}$，而 ${\sum }_{n=1}^{\infty }\frac{1}{n^4}$收敛

        故 $u{m}_{n=1}^{\infty }|\frac{sinn\alpha }{n^4}|$ 收敛

        所以 ${\sum }_{n=1}^{\infty }\frac{sinn\alpha }{n^4}$ 绝对收敛

---

*绝对收敛级数的性质

定理8：绝对收敛级数不因改变项的位置而改变其和。

定理9（绝对收敛级数的乘法）：设级数 ${\sum }_{n=1}^{\infty }{u}_n$ 和 ${\sum }_{n=1}^{\infty }{v}_n$ 都绝对收敛，其和为 $S和\sigma$，则对所有乘积 $u_i{v}_j$ 按任意顺序排列得到的级数 ${\sum }_{n=1}^{\infty }{w}_n$ 也绝对收敛，其和为$S\sigma$。

注：绝对收敛级数具有与条件收敛级数完全不同的性质

       绝对收敛级数有类似有限项和的性质，但条件收敛级数不具有这两条性质。

---

补充

一般来说，如果级数 ${\sum }_{n=1}^{\infty }|u_n|$ 发散，我们不能断定级数 ${\sum }_{n=1}^{\infty }{u}_n$ 也发散。但是，如果我们用比值审敛法或根值审敛法根据 $\underset{x\to \infty }{\lim }|\frac{u_{n+1}}{u_n}|=\rho >1$ 判定级数 ${\sum }_{n=1}^{\infty }|u_n|$ 发散，那么我们可以断定级数 ${\sum }_{n=1}^{\infty }{u}_n$ 必定发散，这是因为从 $\rho >1$ 可推知 $|u_n|\nrightarrow 0(n\to \infty )$，因此级数 ${\sum }_{n=1}^{\infty }{u}_n$ 是发散的。

$例：{\sum }_{n=1}^{\infty }(-1{)}^n\frac{1}{2^n}(1+\frac{1}{n}{)}^{n^2}$

         记 $u_n=\frac{1}{2^n}(1+\frac{1}{n}{)}^{n^2}$

         得 $\sqrt[n]{u_n}=\frac{1}{2}(1+\frac{1}{n}{)}^n\to \frac{1}{2}e(n\to \infty )$

         $\frac{1}{2}e>1$

         故 u${}_n\nrightarrow 0(n\to \infty )$

         所以级数发散