无穷级数（二）常数项级数的审敛法

一、正项级数及其审敛法

定义一

如果级数${\sum }_{n=1}^{\infty }{u}_n$的各项均为非负实数，即$u_n\ge 0,n=1,2,3,...,$则称此级数为正项级数.

设正项级数${\sum }_{n=1}^{\infty }{u}_n$的部分和为$s_n$，显然，数列 { s n } \left\{s_n\right\} {sn​}是一个单调递增数列，即$s_1\le s_2\le ...\le$
根据单调数列的性质，可以得到如下结论

定理一

正项级数${\sum }_{n=1}^{\infty }{u}_n$收敛的充分必要条件是它的部分和数列有上界，即对一切$n$有$s_n\le M$（$M$为正常数）
若正项级数的部分和数列无上界，则级数必发散到$+\infty$.
根据定理1可得正项级数的一个基本审敛法.

定理二（比较审敛法）

设有两个正项级数${\sum }_{n=1}^{\infty }{u}_n$与${\sum }_{n=1}^{\infty }{v}_n$，若存在常数$k>0$，使$u_n\le k{v}_n(n=1,2,3,...)$成立，则

• 当级数${\sum }_{n=1}^{\infty }{v}_n$收敛时，${\sum }_{n=1}^{\infty }{u}_n$也收敛；
• 当级数${\sum }_{n=1}^{\infty }{u}_n$发散时，级数${\sum }_{n=1}^{\infty }{v}_n$也发散.

证 设${\sum }_{n=1}^{\infty }{u}_n$与${\sum }_{n=1}^{\infty }{v}_n$的部分和分别为$s_n$与${\sigma }_n$，则有$s_n\le k{\sigma }_n(n=1,2,3,...).$当 { σ n } \left\{ \sigma_n\right\} {σn​}有上界时， { s n } \left\{ s_n\right\} {sn​}必有上界；而当 { s n } \left\{ s_n\right\} {sn​}无上界时， { σ n } \left\{ \sigma_n\right\} {σn​}必无上界。由定理一即得定理结论。

为使用方便，下面给出极限形式的比较审敛法.

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

设有正项级数${\sum }_{n=1}^{\infty }{u}_n$与${\sum }_{n=1}^{\infty }{v}_n$，且$v_n>0$，若$li{m}_{n\to \infty }\frac{u_n}{v_n}=l(l\ge 0或l=+\infty )$，则

• 当$0<l<+\infty$时，级数${\sum }_{n=1}^{\infty }{u}_n$与${\sum }_{n=1}^{\infty }{v}_n$同时收敛或发散；
• 当$l=0$时，如果${\sum }_{n=1}^{\infty }{v}_n$收敛，则${\sum }_{n=1}^{\infty }{u}_n$收敛；
• 当$l=+\infty$时，如果级数${\sum }_{n=1}^{\infty }{v}_n$发散，则${\sum }_{n=1}^{\infty }{u}_n$发散.

特别的，若取$v_n=\frac{1}{n^p}$，则有以下结论.

推论一

对于正项级数${\sum }_{n=1}^{\infty }{u}_n$，若$li{m}_{n\to \infty }{n}^p{u}_n=l$，则

• 如果$p>1$，且$0\le l\le +\infty$，那么级数${\sum }_{n=1}^{\infty }{u}_n$收敛；
• 如果$p\le 1$，且$l>0$或$l=+\infty$，那么级数${\sum }_{n=1}^{\infty }{u}_n$发散；

定理四（比值审敛法，达朗贝尔判别法）

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

• 当$0\le \rho <1$，级数收敛；
• 当$\rho >1$或$\rho =+\infty$时，级数发散；
• 当$\rho =1$时，级数可能收敛也可能发散（应改用其他方法判定）

定理五（柯西根值审敛法）

设${\sum }_{n=1}^{\infty }{u}_n$为正项级数，如果$li{m}_{n\to \infty }\sqrt[n]{u_n}=\rho$，则

• 当$0\le \rho <1$时，级数${\sum }_{n=1}^{+\infty }{u}_n$收敛；
• $\rho >1$或$\rho =+\infty$时，级数${\sum }_{n=1}^{\infty }{u}_n$发散；
• $\rho =1$时，级数可能收敛也可能发散，即此审敛法失效.

定理六（积分审敛法）

设有单调递减非负函数$f(x)(x\ge 1)$，如果$u_n=f(n)(n=1,2,3,...)$，那么级数${\sum }_{n=1}^{\infty }{u}_n$与反常积分${\int }_1^{+\infty }f(x)dx$有相同的敛散性.

二、任意项级数及其审敛法

如果一个级数只有有限个正项或负项，都可以用正项级数的各种审敛法判定它的敛散性.如果一个级数的正负项均由无限个，那么正项级数的各种审敛法不再适用.

对于任意项级数，其通项可正、可负或为零.下面的柯西审敛定理可用于其敛散性的判定.

定理七（柯西审敛原理）

级数${\sum }_{n=1}^{\infty }{u}_n$收敛的充分必要条件为：对于任意给定的正数$\epsilon$，存在有自然数$N$，使得当$n>N$时，都有
$$|u_{n+1}+u_{n+2}+...+u_{n+p}|<\epsilon$$
对一切自然数$p$成立.

定义二

如果级数的各项正负交错，即形如$\pm {\sum }_{n=1}^{+\infty }(-1{)}^{n-1}{u}_n=\pm (u_1-u_2+u_3-...),u_n>0$，则称此级数为交错级数.（交错级数是一种特殊的任意级数）

定理八（莱布尼茨定理）

如果交错级数$\pm {\sum }_{n=1}^{+\infty }(-1{)}^{n-1}{u}_n$满足条件：

• $u_n\ge u_{n+1}(n=1,2,3,...)$；
• $li{m}_{n\to \infty }{u}_n=0$，

则级数收敛，且其和$s\le u_1$，其余项$r_n$的绝对值$|r_n|\le u_{n+1}$.
注意 条件一不满足，级数仍可能收敛.

三、绝对收敛与条件收敛

现在再来讨论任意项级数，前面所讲的对正项级数的审敛法较多，那么能否利用它对任意项级数的敛散性先作粗略的判断？

定义三

如果级数${\sum }_{n=1}^{+\infty }{u}_n$各项的绝对值所构成的正项级数${\sum }_{n=1}^{+\infty }|u_n|$收敛，则称${\sum }_{n=1}^{+\infty }{u}_n$绝对收敛；如果${\sum }_{n=1}^{+\infty }{u}_n$收敛，而级数${\sum }_{n=1}^{+\infty }|u_n|$发散，则称级数${\sum }_{n=1}^{+\infty }{u}_n$条件收敛.

定理九

如果${\sum }_{n=1}^{+\infty }{u}_n$绝对收敛，则${\sum }_{n=1}^{+\infty }{u}_n$必定收敛.

定理十

若${\sum }_{n=1}^{+\infty }{u}_n$绝对收敛，则${\sum }_{n=1}^{+\infty }{u}_n^{+}$与${\sum }_{n=1}^{+\infty }{u}_n^{-}$均收敛；若${\sum }_{n=1}^{+\infty }{u}_n$条件收敛，则${\sum }_{n=1}^{+\infty }{u}_n^{+}$与${\sum }_{n=1}^{+\infty }{u}_n^{-}$均发散到$+\infty$.

这里${\sum }_{n=1}^{+\infty }{u}_n^{+}$是${\sum }_{n=1}^{+\infty }{u}_n$全体正项构成的级数，${\sum }_{n=1}^{+\infty }{u}_n^{-}$是${\sum }_{n=1}^{+\infty }{u}_n$全体负项变号后构成的级数，它们都是正项级数.

定理十一

绝对收敛级数经改变项的次序后所得的新级数仍绝对收敛，并且级数的和不变（即绝对收敛级数满足加法交换律）.

定理十二

设${\sum }_{n=1}^{+\infty }{u}_n$与${\sum }_{n=1}^{+\infty }{v}_n$都绝对收敛，其和分别为$s$和$\sigma$，则他们的柯西乘积
$$\sum _{n=1}^{\infty }(\sum _{k=1}^n{u}_k{v}_{n-k+1})=u_1{v}_1+(u_1{v}_2+u_2{v}_1)+...+(u_1{v}_n+u_2{v}_{n-1}+...+u_n{v}_1)+...$$
仍绝对收敛，且其和为$s\sigma$.

written by arycra_07, 2022/3/3.