信息与通信的数学基础——第四章 解析函数的级数表示

1. 复数项级数

1.1 复数序列

定义
设$z_n$为复数，称 { z n } n = 1 , 2 , ⋯ \{z_n \}_{n=1,2,\cdots} {zn​}n=1,2,⋯​为复数序列

极限
存在自然数N，使得当n > N时，总有$|z_n-\alpha |<ϵ$，则称 { z n } \{z_n\} {zn​}收敛于复数$\alpha$，记作：
$$\underset{n\to +\infty }{\lim }{z}_n=\alpha$$

复数序列极限存在的充要条件
设$z_n=x_n+i{y}_n,a=\alpha +i\beta$，则
$$\underset{n\to +\infty }{\lim }Rez=\alpha ,\underset{n\to +\infty }{\lim }Imz=\beta$$

1.2 复数项级数

定义
$$\sum _{n=1}^{+\infty }{z}_n=z_1+z_2+\cdots$$

部分和
$$s_n=\sum _{k=1}^n{z}_k=z_1+z_2+\cdots +z_n$$

复数项级数收敛的充要条件
级数$\sum z_n$收敛的充要条件是，级数$\sum x_n,\sum y_n$都收敛
理解：级数收敛 $⟷$ 实部与虚部均收敛

复数项级数收敛的必要条件
$$\underset{n\to +\infty }{\lim }{z}_n=0$$

1.3 复变函数项级数

定义
设复变函数$f_n(z)$在区域G内有定义，则复变函数项级数：
$$\sum _{n=1}^{+\infty }{f}_n(z)=f_1(z)+f_2(z)+\cdots +f_n(z)+\cdots$$

部分和
$$s_n(z)=\sum _{k=1}^n{f}_k(z)$$

收敛定义
（1）在$z_0$点收敛
$$\underset{n\to +\infty }{\lim }{s}_n(z_0)=s(z_0)$$
（2）在区域D内收敛
$$\begin{gathered} \forall z\in D \\ \underset{n\to +\infty }{\lim }{s}_n(z)=s(z) \end{gathered}$$

2. 幂级数

2.1 幂级数的概念

定义
复变函数在a处的幂级数展开
$$\sum _{n=0}^{+\infty }{a}_n(z-a{)}^n=a_0+a_1(z-a)+a_2(z-a{)}^2+\cdots$$
当a=0时的幂级数展开为：
$$\sum _{n=0}^{+\infty }{a}_n{z}^n=a_0+a_{1}z+a_2{z}^2+\cdots$$

Abel定理
对于幂级数$\sum a_n{z}^n$
（1）若级数在$z_0$处收敛，则它在$|z|<|z_0|$处绝对收敛
（2）若级数在$z_0$处发散，则它在$|z|>|z_0|$处发散

2.2 收敛圆与收敛半径

定义
设$C_R$的半径为R
（1）称圆域$|z|<R$为收敛圆
（2）R为收敛半径

2.2.1 求收敛半径

对于幂级数$\sum a_n{z}^n$
1. 比值法
$$\begin{gathered} \underset{n\to +\infty }{\lim }\frac{|a_{n+1}|}{|a_n|}=\lambda \\ R=\frac{1}{\lambda } \end{gathered}$$

2. 根值法
$$\begin{gathered} \underset{n\to +\infty }{\lim }\sqrt[n]{|c_n|}=\rho \\ R=\frac{1}{\rho } \end{gathered}$$

2.2.2 求幂级数的收敛半径与收敛圆[9]

2.3 幂级数的性质

运算性质
设$f(z)={\lim }_{n\to +\infty }{a}_n{z}^n,|z|<r_1，g(z)={\lim }_{n\to +\infty }{b}_n{z}^n,|z|<r_2$，$r=min(r_1,r_2)$，则：
$$\begin{gathered} f(z)\pm g(z)=\underset{n\to +\infty }{\lim }(a_n\pm b_n)z^n \\ f(z)\cdot g(z)=\sum _{n=0}^{+\infty }(a_0{b}_n+a_1{b}_{n-1}+\cdots +a_0{b}_n) \end{gathered}$$

2.4 把函数展开为幂级数

（1）$\frac{1}{z-b}⟷{\sum }_{n=0}^{+\infty }{a}_n(z-a{)}^n$
步骤
① 将$\frac{1}{z-b}$转换为$\frac{1}{g(a,b)(z-a)}$的格式
② 利用$\frac{1}{1-z}={\sum }_{n=0}^{+\infty }{z}^n$进行转换，注意收敛圆半径

3. 泰勒级数

3.1 泰勒定理

定理
设函数f(z)在区域D内解析，C为D的边界，$z_0\in D$，$R=min|z-z_0|$，则当$|z-z_0|<R$时，有：
$$\begin{gathered} f(z)=\sum _{n=0}^{+\infty }{a}_n(z-z_0{)}^n \\ {a}_n=\frac{1}{2\pi i}{\oint }_l\frac{f(z)}{(z-z_0{)}^{n+1}}dz=\frac{f^{(n)}(z_0)}{n!} \end{gathered}$$

特点
（1）只能在$|z-z_0|<R$的圆域上展开，因为幂级数的收敛域必须是圆域
（2）f(z)在D内解析，$z_0\in D$

3.2 将函数展开为泰勒级数

1. 直接展开法
利用公式求解$a_n$，再带入泰勒级数中
$$\begin{gathered} a_n=\frac{1}{2\pi i}{\oint }_l\frac{f(z)}{(z-z_0{)}^{n+1}}dz=\frac{f^{(n)}(z_0)}{n!} \\ f(z)=\sum _{n=0}^{+\infty }{a}_n(z-z_0{)}^n \end{gathered}$$

2. 间接展开法
利用已知的展开式，通过有理运算、代换运算、求导积分等方法展开

3.2.1 利用泰勒级数把函数展开为幂级数[10]

步骤
① 确定函数奇点，求收敛半径与收敛域
② 利用导数、积分、代换等方法，转化为常见函数形式，通过间接展开法求解

3.3 常见函数的级数展开

（1）幂级数${\sum }_{n=0}^{+\infty }{z}^n=1+z+z^2+\cdots$的和函数
$$\frac{1}{1-z}=\sum _{n=0}^{+\infty }{z}^n=1+z+z^2+\cdots (|z|<1)$$

（2）指数$f(z)=e^z$
$$e^z=\sum _{n=0}^{+\infty }\frac{z^n}{n!}$$

（3）三角函数$sin(x).cos(x)$

4. 洛朗级数

4.1 含有负幂次项的“幂级数”

存在奇点时，泰勒展开只能在固定的圆域内展开为z的幂级数，而其他解析区域无法展开为z的幂级数

引入
当|z| > 1时，有$\frac{1}{z}<1$，从而可得：
$$\frac{1}{1-z}=-\frac{1}{z}\frac{1}{1-\frac{1}{z}}=-\frac{1}{z}-\frac{1}{z^2}-\frac{1}{z^3}\cdots$$

4.2 洛朗定理

定义
设函数f(z)在圆环域D：$R_1<|z-z_0|<R_2$内解析，则f(z)一定能在此圆环域中展开为：
$$\begin{gathered} f(z)=\sum _{-\infty }^{+\infty }{a}_n(z-z_0{)}^n \\ {a}_n=\frac{1}{2\pi i}{\oint }_C\frac{f(z}{(z-z_0)}dz \end{gathered}$$

其中，C为圆环域内绕$z_0$的任何一条简单闭曲线

比较
泰勒展开的区域是一个圆域，洛朗展开区域是个圆环。通常洛朗展开含多个奇点

4.2.1 将函数展开为洛朗级数[11]

1. 直接展开法
$$\begin{gathered} a_n=\frac{1}{2\pi i}{\oint }_C\frac{f(z}{(z-z_0)}dz \\ f(z)=\sum _{-\infty }^{+\infty }{a}_n(z-z_0{)}^n \end{gathered}$$

2. 间接展开法
根据唯一性，利用已知的展开式，通过代换、求导、积分等方式展开。
两种方式在求展开前都需要根据函数的奇点位置，将复平面分为若干解析环。 n个奇点有n+1个解析环

步骤
① 确定函数奇点，并划分解析环
② 分段进行函数展开，对于在圆域内的函数采用泰勒展开，否则提出其到数如$\frac{1}{z}$，转换为|z| < 1圆域内的函数