数学分析笔记9：数项级数

数项级数的定义和相关概念

所谓无穷级数就是可列个实数相加。那么，该如何定义可列个实数的和呢？我们已经有了有限个实数的和，对一个数列 { x n } \{x_n\} { xn​}，我们有前n个实数的和$$S_n=\sum _{k=1}^n{x}_k$$这就组成了部分和序列 { S n } \{S_n\} { Sn​}，很自然地，我们就想到用部分和序列的数列极限来作为可列个实数的和。
定义9.1 { x n } \{x_n\} { xn​}是实数列，如果极限$$\underset{n\to \infty }{\lim }\sum _{k=1}^n{x}_k$$存在，那么称级数${\sum }_{n=1}^{\infty }{x}_n$收敛，记为$$\sum _{n=1}^{\infty }{x}_n=\underset{n\to \infty }{\lim }\sum _{k=1}^n{x}_k$$

定理9.1（数项级数收敛的必要条件） { x n } \{x_n\} { xn​}是实数列，如果级数${\sum }_{n=1}^{\infty }{x}_n$收敛，则$$\underset{n\to \infty }{\lim }{x}_n=0$$

证：
$$x_n=S_n-S_{n-1}(n\ge 2)$$
两边取极限就能证得结论

同样地，由柯西准则，我们可以得到级数收敛的一个充要条件。
定理9.2（数项级数收敛的柯西准则） { x n } \{x_n\} { xn​}是实数列，则级数${\sum }_{n=1}^{\infty }{x}_n$收敛的充分必要条件是对任意的正数$\epsilon >0$，存在正整数$N$，对任意的$n\ge N$，对任意的正整数$p$，都有$$|\sum _{k=n}^{n+p}{x}_k|<\epsilon$$
类似于广义积分的绝对收敛和条件收敛，级数也有相应的条件收敛和绝对收敛。
定义9.2 { x n } \{x_n\} { xn​}是实数列，如果${\sum }_{n=1}^{\infty }|x_n|$收敛，就称级数${\sum }_{n=1}^{\infty }{x}_n$绝对收敛，如果级数${\sum }_{n=1}^{\infty }{x}_n$收敛，但不绝对收敛，就称级数${\sum }_{n=1}^{\infty }{x}_n$条件收敛

定理9.3 { x n } \{x_n\} { xn​}是实数列，如果${\sum }_{n=1}^{\infty }{x}_n$绝对收敛，则级数${\sum }_{n=1}^{\infty }{x}_n$收敛

证明是类似的，这里不证。

这样，我们判断一个级数是否收敛，首先判断通项是否趋于0，其次判断是否绝对收敛，在不绝对收敛的条件下再判断是否条件收敛。

级数审敛法

比较判别法

由于绝对收敛蕴含着级数收敛，因此，我们首先考虑正项级数的敛散性的判断。同样地，如果$x_n\ge 0(n\ge 1)$，那么部分和序列 { S n } \{S_n\} { Sn​}单调上升，这样，级数的收敛等价于部分和序列是否有界。
定理9.5 { x n } \{x_n\} { xn​}是非负实数列，则正项级数${\sum }_{n=1}^{\infty }{x}_n$收敛的充分必要条件是存在正实数$M>0$，对任意的$n\ge 1$，部分和${\sum }_{k=1}^n{x}_k\le M$

这样，就可以通过和基准级数的比较来判断正项级数的敛散性。
定理9.6 { x n } \{x_n\} { xn​}和 { y n } \{y_n\} { yn​}是两个非负实数列，如果存在正整数$N$及正实数$c_1>0,c_2>0$，当$n\ge N$时，$c_1{x}_n\le c_2{y}_n$，则
(1)${\sum }_{n=1}^{\infty }{x}_n$发散，则${\sum }_{n=1}^{\infty }{y}_n$发散
(2)${\sum }_{n=1}^{\infty }{y}_n$收敛，则${\sum }_{n=1}^{\infty }{x}_n$收敛
类似于广义积分，比较审敛法也有其极限形式。
定理9.7 { x n } \{x_n\} { xn​}和 { y n } \{y_n\} { yn​}是两个非负实数列，$y_n>0(n\ge 1)$，如果$$\underset{n\to \infty }{\lim }\frac{x_n}{y_n}=a$$(1)$a=0$则，如果${\sum }_{n=1}^{\infty }{x}_n$发散，${\sum }_{n=1}^{\infty }{y}_n$发散,如果${\sum }_{n=1}^{\infty }{y}_n$收敛，${\sum }_{n=1}^{\infty }{x}_n$收敛
(2)$0<a<\infty$，则${\sum }_{n=1}^{\infty }{x}_n$和 ∑ n = 1