八、无穷级数（高数）

---

八、无穷级数（高数）

0、前言

级数类型	级数形式	备注
常数项级数	$\sum _{n=1}^{\infty }{u}_n(u_n>0)$	正项级数$\sum _{n=1}^{\infty }{u}_n$ 交错级数$\sum _{n=1}^{\infty }(-1{)}^n{u}_n$或$\sum _{n=1}^{\infty }(-1{)}^{n-1}{u}_n$
函数项级数	$\sum _{n=1}^{\infty }{u}_n(x)$	3
幂项级数	$\sum _{n=1}^{\infty }{u}_n$	3

1、常数项级数

（1）级数概念

定义  一般的，如果给定一个数列$u_1,u_2,u_3,\cdots ,u_n,\cdots ,$则由这数列构成的表达式$$u_1+u_2+u_3+\cdots +u_n+\cdots \text{\hspace{1em}(8.1)}$$叫做（常数项）无穷级数，简称（常数项）级数，记作$\sum _{n=1}^{\infty }{u}_n$，即$$\sum _{n=1}^{\infty }{u}_n=u_1+u_2+u_3+\cdots +u_n+\cdots ,$$其中，第$n$项$u_n$叫做级数的一般项。

部分和  作级数（8.1）的前n项的和，得$$s_n=u_1+u_2+u_3+\cdots +u_n=\sum _{i=1}^n{u}_i$$其中，$s_n$被称为级数的部分和。

收敛&发散  当n依次取$1,2,3,\cdots$时，构成级数$\sum _{n=1}^{\infty }{u}_n$的部分和数列：$$\begin{array}{rl}& s_1=u_1,\\ & s_2=u_1+u_2,\\ & s_3=u_1+u_2+u_3,\\ & \cdots \\ & s_n=u_1+u_2+\cdots +u_n,\\ & \cdots \end{array}$$如果级数$\sum _{n=1}^{\infty }{u}_n$的部分和数列 { s n } \{s_n\} {sn​}有极限，即$\underset{n\to \infty }{\lim }{s}_n=s,$则称无穷级数$\sum _{n=1}^{\infty }{u}_n$收敛，这时极限$s$叫做这个级数的和，并写成$s=u_1+u_2+\cdots +u_n+\cdots$；如果 { s n } \{s_n\} {sn​}没有极限，则称无穷级数$\sum _{n=1}^{\infty }{u}_n$发散。

级数余项  当级数收敛时，级数的/部分和数列/存在极限s，极限s与部分和$s_n$的差值$r_n=s-s_n=u_{n+1}+u_{n+2}+\cdots$就叫做这个级数的余项，极限s与部分和$s_n$的误差即$|r_n|$。

（2）级数性质

1）若常数$k\ne 0$，则$\sum _{n=1}^{\infty }{u}_n$与$\sum _{n=1}^{\infty }k{u}_n$有相同的敛散性，且若$\sum _{n=1}^{\infty }{u}_n=S$，则$\sum _{n=1}^{\infty }k{u}_n=kS.$

2）设$\sum _{n=1}^{\infty }{u}_n=S_1,\sum _{n=1}^{\infty }{v}_n=S_2$，则$\sum _{n=1}^{\infty }(u_n\pm v_n)=\sum _{n=1}^{\infty }{u}_n\pm \sum _{n=1}^{\infty }{v}_n=S_1\pm S_2$
补充说明：①若$\sum _{n=1}^{\infty }{u}_n$收敛，$\sum _{n=1}^{\infty }{v}_n$发散，则$\sum _{n=1}^{\infty }(u_n\pm v_n)$发散。
     ②若$\sum _{n=1}^{\infty }{u}_n$发散，$\sum _{n=1}^{\infty }{v}_n$发散，$\sum _{n=1}^{\infty }(u_n\pm v_n)$不一定发散。
3）在级数中去掉、加上、或改变有限项，不会改变级数的敛散性。

4）若级数$\sum _{n=1}^{\infty }{u}_n$收敛，则对级数的项任意加括号后所构成的级数仍收敛。
补充说明：①加括号后的级数收敛，原级数不一定收敛。($\sum _{n=1}^{\infty }(-1{)}^n$发散)
     ②任意加括号时，不能改变原级数的项的顺序。
5）级数收敛的必要条件：若$\sum _{n=1}^{\infty }{u}_n$收敛，则$\underset{n\to \infty }{\lim }{u}_n=0$
补充说明：①级数一般项极限为0，无法推出级数收敛。（调和级数$\sum _{n=1}^{\infty }\frac{1}{n}$发散）
     ②该项常用来判别级数发散。（若$\underset{n\to \infty }{\lim }{u}_n\ne 0,$则$\sum _{n=1}^{\infty }{u}_n$发散）

（3）常用级数

等比级数（几何级数）
$\sum _{n=0}^{\infty }a{q}^n=a+aq+a{q}^2+\cdots +a{q}^n+\cdots$
其部分和为：
$S_n=a+aq+a{q}^2+\cdots +a{q}^{n-1}=\{\begin{array}{ll}\frac{a(1-q^n)}{1-q},& q\ne 1\\ na,& q=1\end{array}$
说明：
  ①当$|q|<1$时，$\underset{n\to \infty }{\lim }{S}_n=\frac{a}{1-q}$，等比级数收敛；
  ②当$|q|>1$时，$\underset{n\to \infty }{\lim }{S}_n=\infty$，等比级数发敛；
  ③当$q=1$时，$\underset{n\to \infty }{\lim }{S}_n=\underset{n\to \infty }{\lim }na=\infty$，等比级数发散；
  ④当$q=-1$时，$\underset{n\to \infty }{\lim }{S}_n$不存在，等比级数发散；

P级数
$\sum _{n=0}^{\infty }\frac{1}{n^q}\{\begin{array}{l}收敛，p>1,\\ 发散，0<p\le 1.\end{array}$

举例：
$\sum _{n=1}^{\infty }\frac{1}{n}调和级数，发散$；$\sum _{n=1}^{\infty }-\frac{1}{n}交错级数，条件收敛$。

2、级数审敛性的判别方法

（1）正项级数及其审敛法

设$\sum _{n=1}^{\infty }{u}_n$，若通项$u_n\ge 0$，则称该级数为正项级数。判断正项级数审敛性有以下五种方法：

1）充要条件：$\sum _{n=1}^{\infty }{u}_n$收敛$⟺$部分和 { S n } \{S_n\} {Sn​}有界。

2）比较法
若$u_n\le k{v}_n(k>0)$，若$\sum _{n=1}^{\infty }{v}_n$收敛，则$\sum _{n=1}^{\infty }{u}_n$收敛；若$\sum _{n=1}^{\infty }{u}_n$发散，则$\sum _{n=1}^{\infty }{v}_n$发散。
大的收敛，小的收敛，小的发散，大的发散。

3）比较法的极限形式
$\underset{n\to \infty }{\lim }\frac{u_n}{v_n}=l,\{\begin{array}{l}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发散；\end{array}$
补充说明：①;比较法的关键是，找一个好的比较对象，例如等比级数与P级数；
     ②比较法极限形式的关键是“找同阶无穷小或等价无穷小”。

4）比值法（达朗贝宁$d^{\prime }Alembert$判别法）
给出一正项级数$\sum _{n=1}^{\infty }{u}_n$，如果$\underset{n\to \infty }{\lim }\frac{u_{n+1}}{u_n}=\rho ,\{\begin{array}{l}0<\rho <1,收敛\\ \rho >1,发敛\\ \rho =1,不确定(\sum _{n=1}^{\infty }\frac{1}{n}发散，\sum _{n=1}^{\infty }\frac{1}{n^2}收敛)\end{array}$

5）根值法（柯西判别法）
给出一正项级数$\sum _{n=1}^{\infty }{u}_n$，如果$\underset{n\to \infty }{\lim }\sqrt[n]{u_n}=\rho ,\{\begin{array}{l}0<\rho <1,收敛\\ \rho >1,发敛\\ \rho =1,不确定\end{array}$
补充说明：①;比值法、根值法实际上是与等比级数做比较，当$l=1$时，用比较法或定义判别；
     ②根值法的应用范围比比值法更广。

6）极限审敛法
如果$\underset{n\to \infty }{\lim }n{u}_n=l>0$（或$\underset{n\to \infty }{\lim }n{u}_n=+\infty$），则级数$\sum _{n=1}^{\infty }{u}_n$发散；
如果$p>1$,而$\underset{n\to \infty }{\lim }{n}^p{u}_n=l(0\le l<+\infty )$，则级数$\sum _{n=1}^{\infty }{u}_n$收敛。

（2）交错级数及其审敛法

形如$\sum _{n=1}^{\infty }(-1{)}^n{u}_n$或$\sum _{n=1}^{\infty }(-1{)}^{n-1}{u}_n(u_n>0)$，各项正负相间出现的级数称为交错级数。

交错级数审敛法——莱布尼茨定理
如果交错级数$\sum _{n=1}^{\infty }(-1{)}^{n-1}{u}_n$满足条件：$①u_n\ge u_{n+1}(n=1,2,3,\cdots )；②\underset{n\to \infty }{\lim }{u}_n=0$，
则级数收敛，且其和$S\le u_1$，余项$r_n$的绝对值$|r_n|\le u_{n+1}$。

（3）任意项级数

定义
  讨论一般的级数$$u_1+u_2+\cdots +u_n+\cdots ,$$它的各项为任意实数,该级数即为任意项级数。

绝对收敛&条件收敛
定义1  如果（任意项）级数$\sum _{n=1}^{\infty }{u}_n$各项的绝对值构成的正项级数$\sum _{n=1}^{\infty }|u_n|$收敛，则称（任意项）级数$\sum _{n=1}^{\infty }{u}_n$绝对收敛。

定义2  如果（任意项）级数$\sum _{n=1}^{\infty }{u}_n$收敛，而级数$\sum _{n=1}^{\infty }|u_n|$发散，则称（任意项）级数$\sum _{n=1}^{\infty }{u}_n$条件收敛。

定理3  如果（任意项）级数$\sum _{n=1}^{\infty }{u}_n$绝对收敛，那么它本身一定收敛。

性质4  收敛级数的项任意加括号后所得的新级数仍然收敛，且 其和不变。

相关结论：若加括号后所得到的新级数发散，则原级数也发散。

性质5  若原级数绝对收敛，不论将其各项如何重新排列，所得到的新级数也绝对收敛，且其和不变。（绝对收敛级数具有可交换性）

3、幂级数及其收敛域

（1）概念

函数项级数
如果给定一个定义在区间$I$上的函数列$$u_1(x),u_2(x),u_3(x),\cdots ,u_n(x),\cdots$$则由这个函数列构成的表达式$$u_1(x)+u_2(x)+u_3(x)+\cdots +u_n(x)+\cdots \text{\hspace{1em}(8.2)}$$称为定义在区间$I$上的函数项无穷级数，简称函数项级数。
对于每一个确定值$x_0\in I$，函数项级数8.2成为常数项级数$$u_1(x_0)+u_2(x_0)+u_3(x_0)+\cdots +u_n(x_0)+\cdots \text{\hspace{1em}(8.3)}$$这个级数可能收敛也可能发散。

收敛点&发散点
如果级数8.3收敛，就称点$x_0$是函数项级数8.2的收敛点；如果级数8.3发散，就称点$x_0$是函数项级数8.2的发散点。

收敛域&发散域
函数项级数8.2的收敛点全体称为收敛域，发散点的全体称为发散域。

幂级数
若${\sum }_{n=0}^{\infty }{u}_n(x)$的一般项$u_n(x)$是$n$次幂函数，则称${\sum }_{n=0}^{\infty }{u}_n(x)$为幂级数，它是一种特殊且常用的函数项级数，其一般形式为$$\sum _{n=0}^{\infty }{a}_n(x-x_0{)}^n=a_0+a_1(x-x_0)+a_2(x-x_0{)}^2+\cdots +a_n(x-x_0{)}^n+\cdots ;$$其标准形式为
$\sum _{n=0}^{\infty }{a}_n{x}^n=a_0+a_{1}x+a_2{x}^2+\cdots +a_n{x}^n+\cdots$其中$a_n(n=0,1,2,\cdots )$为幂级数的系数。

阿贝尔定理
  当幂级数${\sum }_{n=0}^{\infty }{a}_n{x}^n$在点$x=x_1(x_1\ne 0)$处收敛时，对于满足$|x|<|x_1|$的一切$x$，幂级数绝对收敛；当幂级数${\sum }_{n=0}^{\infty }{a}_n{x}^n$在点$x=x_2(x_2\ne 0)$处发散时,对于满足$|x|>|x_2|$的一切$x$，幂级数发散。

其他章节内容
一、函数、极限、连续
二、一元函数微分学及其应用
四、空间解析几何
七、微分方程及其应用