无穷级数（一）常数项级数的概念与性质

无穷级数是高等数学的一个重要组成部分，解决了无限个数相加的问题，是表示函数、研究函数性质、计算函数值以及求解微分方程的一种工具。本章讨论常数项级数与函数项级数。

一、常数项级数的概念

设有数列$u_1,u_2,u_3,...,u_n,...$，将它们依次相加，得到表达式$u_1+u_2+u_3+...+u_n+...$，称此式为（常数项）无穷级数，简称（常数项）级数，记为${\sum }_{n=1}^{\infty }{u}_n$ 即
$$\sum _{n=1}^{\infty }{u}_n=u_1+u_2+u_3+..+u_n+...$$
其中，第n项称为级数的一般项或通项.
为了对上述级数求和给出合理定义，我们构筑了部分和数列 { s n } {\left \{ s_n\right \}} {sn​}:
$$s_n=u_1+...+u_n$$
根据该数列有无极限，我们引入无穷级数收敛与发散的概念.

定义一

如果级数${\sum }_{n=1}^{\infty }{u}_n$的部分和数列 { s n } \left\{s_n\right\} {sn​}有极限$s$，即$li{m}_{n\to \infty }{s}_n=s$，则称级数${\sum }_{n=1}^{\infty }{u}_n$收敛，并称$s$为这个级数的和。记为
$$s=\sum _{n=1}^{\infty }{u}_n$$或$$s=u_1+...+u_n+...$$
如果 { s n } \left\{s_n\right\} {sn​}没有极限，则称级数${\sum }_{n=1}^{\infty }{u}_n$发散.

二、收敛级数的基本性质

性质一

如果级数${\sum }_{n=1}^{\infty }{u}_n$收敛于和$s$，则级数${\sum }_{n=1}^{\infty }k{u}_n$也收敛，且其和为$ks$，其中$k$为常数.

性质二

如果级数${\sum }_{n=1}^{\infty }{u}_n$和级数${\sum }_{n=1}^{\infty }{v}_n$分别收敛于和$s$与$\sigma$，则级数${\sum }_{n=1}^{\infty }(u_n\pm v_n)$同时也收敛，且其和为$s\pm \sigma$.

推论一

如果${\sum }_{n=1}^{\infty }{u}_n$收敛且${\sum }_{n=1}^{\infty }{v}_n$发散，则${\sum }_{n=1}^{\infty }(u_n+v_n)$必发散.

推论二

综合性质一二来看，有：
如果级数${\sum }_{n=1}^{\infty }{u}_n$和级数${\sum }_{n=1}^{\infty }{v}_n$分别收敛于和$s$与$\sigma$，则级数${\sum }_{n=1}^{\infty }(k{u}_n\pm l{v}_n)$同时也收敛，且其和为$ks\pm l\sigma$.

性质三

在级数中删去、添加或改变有限项，不会改变级数的收敛性，但可能使收敛级数的和发生改变.

性质四

如果级数${\sum }_{n=1}^{\infty }{u}_n$收敛，则对这级数的项任意加括号后所产生的新级数（每个括号里各项之和作为新级数的项）仍收敛，且其和不变.

性质四可以理解为收敛的级数满足加法结合律
已知一个数列的某个子数列收敛不能保证数列自身收敛，但单调数列与其子数列敛散性相同. 于是有如下结论：

• 如果级数${\sum }_{n=1}^{\infty }{u}_n$各项符号相同（其部分和数列 { s n } \left\{s_n\right\} {sn​}单调），那么加括号所产生的新级数与原级数敛散性相同
• 如果加括号所产生的新级数发散，那么原级数也发散；如果加括号所产生的新级数收敛，则不能断定原级数也收敛. 例如：
  ${\sum }_{n=1}^{\infty }(-1{)}^{n-1}=1-1+1-...+(-1{)}^{n-1}$发散，但加括号后的级数
  $$(-1+1)+(-1+1)+...$$
  收敛于0，另一种加括号的级数
  $$1+(1-1)+(1-1)+...$$
  收敛于1，这就说明发散级数不满足加法结合律.

性质五（级数收敛的必要条件）

如果级数${\sum }_{n=1}^{\infty }{u}_n$收敛，则其一般项$u_n$趋于0，即$li{m}_{n\to \infty }{u}_n=0$

推论二

如果级数${\sum }_{n=1}^{\infty }{u}_n$的通项$u_n$不趋于0，则如果级数${\sum }_{n=1}^{\infty }{u}_n$发散.

wrriten by arycra_07, 2.28.