[复变函数题目怎么做]第四章：级数

△表示为当前章节与后续重要章节的前置知识

※表示为当前章节的重点知识

○表示为重点知识下的高频考点内容

▽表示为考点内容的主要解题思路

第四章：级数

复数项级数

※复数项级数收敛的判断

假设复数列{α_n} = {a_n+ib_n}

{ α n } = { a n + i b n } \{α_n\}=\{a_n+ib_n\} { αn​}={ an​+ibn​}

则级数表示为$\sum _n^{\infty }{\alpha }_n$

①收敛的充要条件为级数$a_n$与级数$b_n$同时收敛

这样复数项级数收敛的问题就转换为两个实数级数收敛的问题

②收敛的必要条件为$\underset{n\to +\infty }{\lim }{a}_n=0$，这个可以帮助我们辅助判断一个复数项级数是否不收敛

---

绝对收敛和条件收敛

如果级数$\sum _{n=1}^{\infty }|a_n|$收敛，则称$\sum _{n=1}^{\infty }{a}_n$绝对收敛

若$\sum _{n=1}^{\infty }{a}_n$收敛而$\sum _{n=1}^{\infty }|a_n|$发散，则称$\sum _{n=1}^{\infty }{a}_n$条件收敛

复变函数项级数

复变函数项级数可以说是复数项级数的延拓，即给定一个复变函数列{f_n(z)}，级数记作Σ_n=1^∞f_n(z)即将确定的复数列更改为含参数的复数列，但分析方法类似

我们称S_n(z) = f₁(z) + f₂(z) + … + f_n(z)为复变函数项级数$\sum _{n=1}^{\infty }{f}_n(z)$的和函数，记作$S(z)=\sum _{n=1}^{\infty }{f}_n(z)$

△幂级数

幂级数可以说是复变函数项级数的特例，即$f_n(z)=c_{n-1}{z}^{n-1}$时，级数$\sum _{n=1}^{\infty }{f}_n(z)$的特殊情况：

形如Σ_n=1^∞c_nzⁿ = c₀ + c₁z¹ + … + c_nzⁿ + …

由幂级数引出**收敛圆与收敛半径**这两个概念

※幂级数的收敛性

阿贝尔定理：

①如果幂级数$\sum _{n=1}^{\infty }{c}_n{z}^n$在$z=z_0$（且$z_0\ne 0$）处收敛，那么对满足|z| < |z₀|的任何z，级数必绝对收敛

②如果幂级数$\sum _{n=1}^{\infty }{c}_n{z}^n$在$z=z_0$（且$z_0\ne 0$）处发散，那么对满足|z| > |z₀|的任何z，级数必发散

真题1：设有级数$\sum _{n=0}^{\infty }{a}_n$。如果$\underset{n\to \infty }{\lim }{a}_n=0$，那么级数$\sum _{n=0}^{\infty }{a}_n$收敛性如何？

$\underset{n\to \infty }{\lim }{a}_n=0$只是收敛的必要条件，所以无法根据这个条件判断级数$\sum _{n=0}^{\infty }{a}_n$收敛性

○求幂级数的收敛半径

①达朗贝尔（这个涉及的居多）：

又称为比值判别法

幂级数$\sum _{n=1}^{\infty }{c}_n{z}^n$的系数c_n合于（即符合）
$$\underset{n\to +\infty }{\lim }|\frac{c_{n+1}}{c_n}|=l$$
②柯西

又称为根值判别法

幂级数$\sum _{n=1}^{\infty }{c}_n{z}^n$的系数c_n合于（即符合）
$$\underset{n\to +\infty }{\lim }\sqrt[n]{|c_n|}=l$$
那么都可以说当0 < l < + ∞时，级数$\sum _{n=1}^{\infty }{c}_n{z}^n$的收敛半径$R=\frac{1}{l}$

特别的，当l = 0时，R = +∞ ；当l = +∞时，R = 0

真题1：

若幂级数$\sum _{n=0}^{+\infty }{a}_n(z-1{)}^n$在$z=3$处收敛而在$z=1-2i$处发散，则其收敛半径$R$ = ？

本题实际上是一道概念题，原式幂级数的形式为$\sum _{n=0}^{+\infty }{c}_n(z-z_0{)}^n$

则存在一个$R$使得$|z-z_0|=R$​内部绝对收敛，在外部绝对发散

由于幂级数$\sum _{n=0}^{+\infty }{a}_n(z-1{)}^n$的$z_0$为1

故当$z=3$时有$|3-1|=2$，使其收敛说明$R\ge 2$

而当$z=1-2i$时有$|1-2i-1|=2$，使其发散说明$R\le 2$

则有$R=2$时符合题意

幂级数的运算与性质

略

※泰勒级数

△泰勒定理

设函数f(z)在区域D内解析，|ξ-z₀| = r为D内的一个圆周，它的内部全部属于D，记这个圆周为K，z为K内任一点，

则f(z)能在K内展开为幂级数
$$f(z)=\sum _{n=0}^{\infty }{c}_n(z-z_0{)}^n$$
其中

系数c_n （积分形式）
$$c_n=\frac{1}{2\pi i}{\oint }_{K}f(\xi )d\xi$$
或（微分形式，常用）
$$c_n=\frac{1}{n!}{f}^{(n)}(z_0)$$

即我们常表示f(z)在$z=z_0$处的的泰勒展开式为
$$f(z)=\sum _{n=0}^{\infty }\frac{1}{n!}{f}^{(n)}(z_0)(z-z_0{)}^n$$
其右端的级数我们称为f(z)在z = z₀处泰勒级数，注意，任何解析函数展开成幂级数的结果就是泰勒展开式，且结果唯一

泰勒展开式在点$z_0$的收敛半径为$z_0$到距离其最近的奇点距离$d$，即在|z-z₀| < d的范围内均成立

○泰勒级数与高阶导函数

如果一个函数在某点具有所有阶的导数，那么这个函数就可以用泰勒级数展开

在泰勒级数的展开中，每一项的系数都是函数在该点的相应阶导数除以阶乘

真题1：函数