复变函数之幂级数、洛朗级数

复变函数论：四、幂级数

解析函数的研究主要有两个方法：由Weierstrass提出的幂级数方法和由Cauchy提出的积分表示方法。这篇文章中我们将对幂级数作一点简单的介绍，这些方法与数学分析中的思想别无二致，读者可以快速过完本章。

设$z_0\in \mathbb{C}$。我们称形如

$$\sum _{n=0}^{+\infty }{a}_n(z-z_0{)}^n$$
的级数为$z_0$ 处展开的幂级数，或称对$z-z_0$ 展开的幂级数，其中$a_n\in \mathbb{C}$。对给定的$z\in \mathbb{C}$，如果部分和序列 { S k = ∑ n = 0 k a n ( z − z 0 ) n } \{S_k=\sum^{k}_{n=0} a_n(z-z_0)^n\} {Sk​=∑n=0k​an​(z−z0​)n} 收敛，则称此幂级数在$z$ 出收敛，记为

$$S(z)=\sum _{n=0}^{+\infty }{a}_n(z-z_0{)}^n=\underset{k\to +\infty }{\lim }\sum _{n=0}^k{a}_n(z-z_0{)}^n$$
并称$S(z)$ 为级数的和；否则称幂级数在$z$ 处发散。

我们称幂级数${\sum }_{n=0}^{+\infty }{a}_n(z-z_0{)}^n$ 在区域$\omega$ 上一致收敛于函数$f(z)$，如果$\forall \epsilon >0,\exists k>N$，则$\forall z\in \Omega$，都有

$$|f(z)-\sum _{n=0}^k{a}_n(z-z_0{)}^n|<\epsilon$$
与序列极限相同，对幂级数一致收敛的判别我们有下面的Cauchy准则。

1 Cauchy准则

**定理1（Cauchy准则）**幂级数${\sum }_{n=0}^{+\infty }{a}_n(z-z_0{)}^n$ 在$\Omega$ 上一致收敛充要条件是$\forall \epsilon >0,\exists N$，只要$k_1>k_2>N$，则$\forall z\in \Omega$，都有
$$|\sum _{n=k_2}^{k_1}{a}_n(z-z_0{)}^n|<\epsilon$$
证明方法与实的幂级数相同，略。

利用Cauchy准则，可得到下面关于一致收敛常用的一个判别准则。

2 控制收敛原理

**定理2：（控制收敛原理）**如果对$n=0,1,2,\cdots$存在一系列$M_n$，使得$\forall z\in \Omega$，有$|a_n(z-z_0{)}^n|\le M_n$，且${\sum }_{n=0}^{+\infty }{M}_n$ 收敛，则${\sum }_{n=0}^{+\infty }{a}_n(z-z_0{)}^n$ 在$\Omega$ 上一致收敛。

证：如果级数${\sum }_{n=0}^{+\infty }{M}_n$收敛，则其满足Cauchy准则，于是得幂级数${\sum }_{n=0}^{+\infty }{a}_n(z-z_0{)}^n$在$\Omega$上满足一致收敛的Cauchy准则。证毕。

与实的幂级数相同，关于复的幂级数收敛性质的基本定理是下面的Abel定理。

3 Abel定理

定理3（Abel定理）：如果幂级数${\sum }_{n=0}^{+\infty }{a}_n(z-z_0{)}^n$在$z^{\prime }\ne z_0$处收敛，则对于任意$0<r<|z^{\prime }-z_0|$，幂级数${\sum }_{n=0}^{+\infty }{a}_n(z-z_0{)}^n$在闭圆盘
D ( z 0 , r ) ‾ = { z ∣ ∣ z − z 0 ∣ ≤ r } \overline{D(z_0,r)}=\{z||z-z_0|\leq r\} D(z0​,r)​={z∣∣z−z0​∣≤r}
上一致收敛。

证：由${\sum }_{n=0}^{+\infty }{a}_n(z^{\prime }-z_0{)}^n$收敛知，当$k\to +\infty$时，

$$|a_k(z^{\prime }-z_0{)}^k|=\left|\sum _{n=0}^k{a}_n(z^{\prime }-z_0{)}^n-\sum _{n=0}^{k-1}{a}_n(z^{\prime }-z_0{)}^n\right|\to 0$$
从而序列 { a k ( z ′ − z 0 ) k } \{a_k(z'-z_0)^k\} {ak​(z′−z0​)k}为有界序列。设$|a_k(z^{\prime }-z_0{)}^k|\le M,k=0,1,2,\cdots$。对$\forall z\in \overline{D(z_0,r)}$，以及$n=0,1,2,\cdots$我们有

$$|a_n(z-z_0{)}^n|=|a_n(z^{\prime }-z_0{)}^n\frac{(z-z_0{)}^n}{(z^{\prime }-z_0{)}^n}|\le M{\left(\frac{r}{|z^{\prime }-z_0|}\right)}^n$$
由$\frac{r}{|z^{\prime }-z_0|}<1$知

$$\sum _{n=0}^{+\infty }M{\left(\frac{r}{|z^{\prime }-z_0|}\right)}^n$$
收敛。由控制收敛原理得幂级数${\sum }_{n=0}^{+\infty }{a}_n(z-z_0{)}^n$在$\overline{D(z_0,r)}$上一致收敛。证毕。

利用定理3，对给定的幂级数${\sum }_{n=0}^{+\infty }{a}_n(z-z_0{)}^n$，令

R = s u p { ∣ z − z 0 ∣ ∣ ∑ n = 0 + ∞ a n ( z − z 0 ) n 在 z 点收敛 } R={\rm sup}\{|z-z_0||\sum_{n=0}^{+\infty} a_n (z-z_0)^n 在z点收敛\} R=sup{∣z−z0​∣∣n=0∑+∞​an​(z−z0​)n在z点收敛}
$R\in [0,+\infty ]$称为幂级数${\sum }_{n=0}^{+\infty }{a}_n(z-z_0{)}^n$的收敛半径。由Abel定理知，对于任意$r\in (0,R)$，幂级数${\sum }_{n=0}^{+\infty }{a}_n(z-z_0{)}^n$在$\overline{D(z_0,r)}$上一致收敛，而当$z\notin \overline{D(z_0,r)}$时，幂级数${\sum }_{n=0}^{+\infty }{a}_n(z-z_0{)}^n$发散。在边界

∂ D ( z 0 , R ) = { z ∣ ∣ z − z 0 ∣ = R } \partial D(z_0,R)=\{z||z-z_0|=R\} ∂D(z0​,R)={z∣∣z−z0​∣=R}
上，幂级数${\sum }_{n=0}^{+\infty }{a}_n(z-z_0{)}^n$在有些点处可能收敛，在有些点处可能发散。

例2：幂级数${\sum }_{n=0}^{+\infty }n!z^n$的收敛半径为零；幂级数${\sum }_{n=0}^{+\infty }\frac{z^n}{n}$的收敛半径为1；其在$z=1$处发散，在$z=-1$处收敛；幂级数${\sum }_{n=0}^{+\infty }\frac{z^n}{n!}$的收敛半径为$+\infty$。

对于给定的幂级数${\sum }_{n=0}^{+\infty }{a}_n(z-z_0{)}^n$，其收敛半径$R$可通过其系数利用下面的公式求得：

引理：对给定的${\sum }_{n=0}^{+\infty }{a}_n(z-z_0{)}^n$，设
$$L=\overline{\underset{n\to +\infty }{\lim }}\sqrt[n]{|a_n|}$$
即$L$为序列 { ∣ a n ∣ n } \{\sqrt[n]{|a_n|}\} {n∣an​∣ ​}的上极限，则

（1）当$L=0$时，幂级数的收敛半径$R=+\infty$；

（2）当$L=+\infty$时，幂级数的收敛半径$R=0$；

（3）当$0<L<\infty$时，幂级数的收敛半径$R=\frac{1}{L}$。

证：我们给出（3）的证明，（1）（2）是类似可以得到的。

设$\left|z-z_0\right|<\frac{1}{{\overline{\lim }}_{n\to +\infty }\sqrt[n]{|a_n|}}$，即

$$\underset{n\to +\infty }{\overline{\lim }}\sqrt[n]{\left|a_n\right|{\left|z-z_0\right|}^n}<1$$
取$p$使得${\overline{\lim }}_{n\to +\infty }\sqrt[n]{\left|a_n\right|{\left|z-z_0\right|}^n}<p<1$，则由上极限的定义知，存在$N$，使得只要$n>N$，就有$\left|a_n{\left(z-z_0\right)}^n\right|<p^n$而级数${\sum }_{n=0}^{+\infty }{p}^n$收敛，得幂级数${\sum }_{n=0}^{+\infty }{a}_n{\left(z-z_0\right)}^n$收敛。因此

$$R⩾\frac{1}{{\overline{\lim }}_{n\to +\infty }\sqrt[n]{\left|a_n\right|}}=\frac{1}{L}$$
但如果$\left|z-z_0\right|>\frac{1}{{\overline{\lim }}_{n\to +\infty }\sqrt[n]{|a_n|}}$，即

$$\underset{n\to +\infty }{\overline{\lim }}\sqrt[n]{\left|a_n\right|{\left|z-z_0\right|}^n}>1$$
则由上极限的定义知，存在序列 { a n ( z − z 0 ) n } \left\{a_{n}\left(z-z_{0}\right)^{n}\right\} {an​(z−z0​)n}的子序列 { a n k ( z − z 0 ) n k } \left\{a_{n_{k}}\left(z-z_{0}\right)^{n_{k}}\right\} {ank​​(z−z0​)nk​}，使得${\lim }_{n_k\to +\infty }{a}_{n_k}{\left(z-z_0\right)}^{n_k}=\infty$。于是${\sum }_{n=0}^{+\infty }{a}_n{\left(z-z_0\right)}^n$发散。因此

$$R⩽\frac{1}{{\overline{\lim }}_{n\to +\infty }\sqrt[n]{\left|a_n\right|}}=\frac{1}{L}$$
引理得证。

利用这一引理，我们可以得到：

4 收敛半径

定理4： 幂级数${\sum }_{n=0}^{+\infty }{a}_n{\left(z-z_0\right)}^n$与${\sum }_{n=0}^{+\infty }n{a}_n{\left(z-z_0\right)}^{n-1}$有相同的收敛 半径。

证明： 由${\lim }_{n\to +\infty }\sqrt[n]{n}=1$得

$$\underset{n\to +\infty }{\overline{\lim }}\sqrt[n]{\left|a_n\right|}=\underset{n\to +\infty }{\overline{\lim }}\sqrt[n]{n\left|a_n\right|}$$
所以由引理知定理得证。

有了上面的准备，本节我们要证明的基本定理是

定理5 设幂级数${\sum }_{n=0}^{+\infty }{a}_n{\left(z-z_0\right)}^n$的收敛半径为$R>0$则
$$f(z)=\sum _{n=0}^{+\infty }{a}_n{\left(z-z_0\right)}^n$$
D ( z 0 , R ) = { z ∣ ∣ z − z 0 ∣ < R } D\left(z_{0}, R\right)=\left\{z|| z-z_{0} \mid<R\right\} D(z0​,R)={z∣∣z−z0​∣<R}内解析，并且

$$f^{\prime }(z)=\sum _{n=1}^{+\infty }n{a}_n{\left(z-z_0\right)}^{n-1}$$
证明：

$\forall z^{\prime }\in D\left(z_0,R\right)，$取$r>0\text{，使}\left|z^{\prime }-z_0\right|<r<R$，则在$\overline{D\left(z_0,r\right)}$上幂级数${\sum }_{n=0}^{+\infty }{a}_n{\left(z-z_0\right)}^n$与${\sum }_{n=1}^{+\infty }n{a}_n{\left(z-z_0\right)}^{n-1}$都是一致收敛的。我们仅需要在$D\left(z_0,r\right)$上讨论$f(z)$在$z^{\prime }$的可导性。

对任意$k=1,2,\cdots$，令$S_k(z)={\sum }_{n=0}^k{a}_n{\left(z-z_0\right)}^n，$则

$S_k^{\prime }\left(z^{\prime }\right)={\sum }_{n=1}^{k}n{a}_n{\left(z^{\prime }-z_0\right)}^{n-1}$

又

$$\begin{gathered} \left|\frac{f(z)-f\left(z^{\prime }\right)}{z-z^{\prime }}-\sum _{n=1}^{+\infty }n{a}_n{\left(z^{\prime }-z_0\right)}^{n-1}\right| \\ ⩽\left|\frac{S_k(z)-S_k\left(z^{\prime }\right)}{z-z^{\prime }}-S_k^{\prime }\left(z^{\prime }\right)\right|+\left|\sum _{n=k+1}^{+\infty }n{a}_n{\left(z^{\prime }-z_0\right)}^{n-1}\right|+\left|\sum _{n=k+1}^{+\infty }{a}_n\left[\frac{{\left(z-z_0\right)}^n-{\left(z^{\prime }-z_0\right)}^n}{z-z^{\prime }}\right]\right| \end{gathered}$$
由于

$$\begin{gathered} \left|\frac{{\left(z-z_0\right)}^n-{\left(z^{\prime }-z_0\right)}^n}{z-z^{\prime }}\right|=\left|\sum _{i=1}^n{\left(z-z_0\right)}^{n-i}{\left(z^{\prime }-z_0\right)}^{i-1}\right| \\ ⩽\sum _{i=1}^n\left|{\left(z-z_0\right)}^{n-i}\right|\left|{\left(z^{\prime }-z_0\right)}^{i-1}\right|⩽n{r}^{n-1}\left|\sum _{n=k+1}^{+\infty }n{a}_n{\left(z-z_0\right)}^{n-1}\right|⩽\sum _{n=k+1}^{+\infty }n\left|a_n\right|r^{n-1} \end{gathered}$$
现已知${\sum }_{n=1}^{+\infty }n\left|a_n\right|r^{n-1}$收敛，因此$\forall \epsilon >0$，可取$k_0$，使

$$\sum _{n=k_0}^{+\infty }n\left|a_n\right|r^{n-1}<\frac{\epsilon }{3}$$
令$k=k_0$，由

$$\underset{z\to z^{\prime }}{\lim }\left|\frac{S_{k_0}(z)-S_{k_0}\left(z^{\prime }\right)}{z-z^{\prime }}-S_{k_0}^{\prime }\left(z^{\prime }\right)\right|=0$$
知，存在$\delta >0$，使$|z-z^{\prime }|<\delta$时，

$$\left|\frac{S_k(z)-S_k\left(z^{\prime }\right)}{z-z^{\prime }}-S_k^{\prime }\left(z^{\prime }\right)\right|<\frac{\epsilon }{3}$$
因此$|z-z^{\prime }|<\delta$时，

$$\left|\frac{f(z)-f\left(z^{\prime }\right)}{z-z^{\prime }}-\sum _{n=0}^{+\infty }n{a}_n{\left(z^{\prime }-z_0\right)}^{n-1}\right|<\epsilon$$
这样我们就证明了$f(z)$在$z^{\prime }$可导，且$f^{\prime }\left(z^{\prime }\right)={\sum }_{n=1}^{+\infty }n{a}_n{\left(z^{\prime }-z_0\right)}^{n-1}$，证毕。

5 幂级数求导

**推论1：**设幂级数$f(z)={\sum }_{n=0}^{+\infty }{a}_n{\left(z-z_0\right)}^n$的收敛半径$R>0$，则$f(z)$在$D\left(z_0,R\right)$上任意阶可导，并且有$a_n=\frac{f^{(n)}\left(z_0\right)}{n!}$，即
$$f(z)=\sum _{n=0}^{+\infty }\frac{f^{(n)}\left(z_0\right)}{n!}{\left(z-z_0\right)}^n$$
推论1表明，幂级数就是其和函数$f(z)$在$z_0$处的Taylor展开式。

推论2：如果$f(z)$可在$z_0$的邻域内可展开为$(z-z_0)$的幂级数，则其展开式是唯一的。

事实上定理5的逆定理亦成立，即如果$f(z)$是圆盘$D\left(z_0,R\right)$上的解析函数，则$f(z)$可在$D\left(z_0,R\right)$上展开为幂级数$f(z)={\sum }_{n=0}^{+\infty }{a}_n{\left(z-z_0\right)}^n$。因此对于圆盘$D\left(z_0,R\right)$这样的区域，关于$(z-z_0)$收敛的幂级数与其上解析函数之间一一对应。

解析函数的性质可通过幂级数的研究得到，同样幂级数的性质也可通过解析函数来反映。例如我们前面证明了解析函数经$+$,$-$,$\times$, ÷ （分母不为零）和复合后仍是解析函数，因而同样的幂级数在相应收敛区域内也可作$+$,$-$,$\times$, ÷ （分母不为零）和复合的运算。下面对这些运算作一些简单介绍。

幂级数的乘法：设给定两个在$z_0$点的邻域上收敛的幂级数

$$\begin{gathered} f(z)=\sum _{n=0}^{+\infty }{a}_n{\left(z-z_0\right)}^n=\sum _{n=0}^{+\infty }\frac{f^{(n)}\left(z_0\right)}{n!}{\left(z-z_0\right)}^n, \\ g(z)=\sum _{n=0}^{+\infty }{b}_n{\left(z-z_0\right)}^n=\sum _{n=0}^{+\infty }\frac{g^{(n)}\left(z_0\right)}{n!}{\left(z-z_0\right)}^n \end{gathered}$$
我们定义其乘积为

$$\begin{gathered} f(z)g(z)=\left[\sum _{n=0}^{+\infty }{a}_n{\left(z-z_0\right)}^n\right]\cdot \left[\sum _{n=0}^{+\infty }{b}_n{\left(z-z_0\right)}^n\right] \\ =\sum _{n=0}^{+\infty }\left(\sum _{k=0}^n{a}_k{b}_{n-k}\right){\left(z-z_0\right)}^n=\sum _{n=0}^{+\infty }\frac{(fg{)}^{(n)}\left(z_0\right)}{n!}{\left(z-z_0\right)}^n \end{gathered}$$
其也是在$z_0$点展开的幂级数。

如果$r_1$,$r_2$分别是幂级数${\sum }_{n=0}^{+\infty }{a}_n{\left(z-z_0\right)}^n$和${\sum }_{n=0}^{+\infty }{b}_n{\left(z-z_0\right)}^n$的收敛半径，则其乘积

$$\sum _{n=0}^{+\infty }{a}_n{\left(z-z_0\right)}^n\cdot \sum _{n=0}^{+\infty }{b}_n{\left(z-z_0\right)}^n=\sum _{n=0}^{+\infty }\left(\sum _{k=0}^n{a}_k{b}_{n-k}\right){\left(z-z_0\right)}^n$$
的收敛半径大于等于 min ⁡ { r 1 , r 2 } \min \left\{r_{1}, r_{2}\right\} min{r1​,r2​}。这一点利用定理5的逆容易看出，也可利用微积分中关于绝对收敛级数的和与求和顺序无关这一结论直接得到。

例3： 令$f(z)=1-z$,$g(z)=\frac{1}{1-z}={\sum }_{n=0}^{+\infty }{z}^n$，则其收敛半径分别为$r_1=+\infty$,$r_2=1$，但$f(z)g(z)=(1-z)\left({\sum }_{n=0}^{+\infty }{z}^n\right)=1$的收敛半径为$+\infty$，其大于 min ⁡ { r 1 , r 2 } \min \left\{r_{1}, r_{2}\right\} min{r1​,r2​}。

幂级数经相除和幂级数经复合后所得的幂级数一般可通过待定系数法求得。

例4：

设$f(z)={\sum }_{n=0}^{+\infty }(n+1{)}^2{z}^n$,$g(z)={\sum }_{n=0}^{+\infty }(-1{)}^n(n+1)z^n$。假设$\frac{f(z)}{g(z)}={\sum }_{n=0}^{+\infty }{b}_n{z}^n$，其中$b_n$ 为待定系数，求$b_0$,$b_1$,$b_2$

解： 由${\sum }_{n=0}^{+\infty }(n+1{)}^2{z}^n=\left({\sum }_{n=0}^{+\infty }{b}_n{z}^n\right)\left[{\sum }_{n=0}^{+\infty }(-1{)}^n(n+1)z^n\right]$，比较对应系数，得$b_0=1$,$-2b_0+b_1=4$,$3b_0-2b_1+b_2=9$，解得

$b_0=1$,$b_1=6$,$b_2=18$

例5： 设$f(z)={\sum }_{n=0}^{+\infty }(n+1{)}^2{z}^n$,$g(z)={\sum }_{n=1}^{+\infty }(-1{)}^{n}n{z}^n$。假定$f[g(z)]={\sum }_{n=0}^{+\infty }{b}_n{z}^n$，求$b_0$,$b_1$,$b_2$

解： 由
$$1+4\left(-z+2z^2+\cdots \right)+9{\left(-z+2z^2+\cdots \right)}^2+\cdots =b_0+b_{1}z+b_2{z}^2\cdots$$
比较对应系数得$b_0=1$,$b_1=-4$,$b_2=17$

如果$f(x)$ 是$[a,b]$ 上一实值函数，设其可展开为收敛半径为$R$ 的幂级数$f(x)={\sum }_{n=0}^{+\infty }{a}_n{\left(x-x_0\right)}^n$。令$f(z)={\sum }_{n=0}^{+\infty }{a}_n{\left(z-x_0\right)}^n$，则其收敛半径也是$R$。$f(z)$ 是$f(x)$ 对复变量的解析扩展。

利用$\sin x$,$\cos x$ 和${\mathrm{e}}^x$ 的幂级数展开：

$$\begin{gathered} \sin z=\sum _{n=1}^{+\infty }(-1{)}^{n-1}\frac{z^{2n-1}}{(2n-1)!}; \\ \cos z=\sum _{n=0}^{+\infty }(-1{)}^{n-1}\frac{z^{2n}}{(2n)!}; \\ {\mathrm{e}}^z=\sum _{n=0}^{+\infty }\frac{z^n}{n!} \end{gathered}$$
由定理5得$\sin z$,$\cos z$ 和${\mathrm{e}}^z$ 都是$\mathbb{C}$ 上的解析函数。

应当说明的是$\sin x$,$\cos x$ 和${\mathrm{e}}^x$ 作为实函数满足的各种恒等关系式都可以表示为$x$ 的幂级数之间相应的恒等关系式，而这些关系式仅涉及$x$ 的代数运算，因而用复变量$z$ 代替$x$ 时其同样成立。例如我们同样有和角公式：

$\sin \left(z_1+z_2\right)=\sin z_1\cos z_2+\sin z_2\cos z_1$

同样有

${\mathrm{e}}^{z_1+z_2}={\mathrm{e}}^{z_1}{\mathrm{e}}^{z_2},(\sin z{)}^{\prime }=\cos z,(\cos z{)}^{\prime }=-\sin z$

这里就不再一一证明了。

另一方面，由于虚数$i$ 的引进，利用级数直接计算得 Euler 公式：${\mathrm{e}}^{\mathrm{i}z}=\cos z+\mathrm{i}\sin z$

同样我们有

$\sin z=\frac{{\mathrm{e}}^{\mathrm{i}z}-{\mathrm{e}}^{-\mathrm{i}z}}{2\mathrm{i}};\cos z=\frac{{\mathrm{e}}^{\mathrm{i}z}+{\mathrm{e}}^{-\mathrm{i}z}}{2}$

因此如果以${\mathrm{e}}^z$ 作为基本初等函数，则$\sin z$ 和$\cos z$ 都可由${\mathrm{e}}^z$ 得到。同样的关系对于反函数也是成立的。

复变函数论：五洛朗级数

1 解析函数的洛朗（Laurent）展开

解析函数除了在解析点作泰勒展开外，有事还需要在它的奇点附近展开成幂级数，这时就得到了洛朗展开

我们先给出一些定义

1. 洛朗展开的定义

设函数$f(z)$ 在以$b$ 为圆心的环形区域$R_1\le |z-b|\le R_2$ 内单值解析，则对于环域内的任意点$z$，$f(z)$ 都可以用幂级数展开为

$$f(z)=\sum _{-\infty }^{\infty }{a}_n(z-b{)}^n,R_1<|z-b|<R_2$$
其中

$$a_n=\frac{1}{2\pi \mathrm{i}}{\oint }_C\frac{f(\zeta )}{(\zeta -b{)}^{n+1}}\mathrm{d}\zeta$$
$C$ 是环域内绕内周一周的任意一条闭合曲线

证明： 先使用多连通区域内的柯西积分公式，有

$$f(z)=\frac{1}{2\pi \mathrm{i}}{\oint }_{C_2}\frac{f(\zeta )}{\zeta -z}\mathrm{d}\zeta -\frac{1}{2\pi \mathrm{i}}{\oint }_{C_1}\frac{f(\zeta )}{\zeta -z}\mathrm{d}\zeta$$
对于沿$C_2$ 的积分，可以像前面泰勒级数论证的那样展开$\frac{1}{\zeta -z}$

$$\frac{1}{\zeta -z}=\sum _{k=0}^{\infty }\frac{(z-z_0{)}^k}{(\zeta -z_0{)}^{k+1}}$$
对于沿$C_1$ 的积分，考虑到$|\zeta -z_0|>|z-z_0|$，那么考虑用下面方法展开$\frac{1}{\zeta -z}$

$$\frac{1}{\zeta -z}=\frac{1}{(\zeta -z_0)-(z-z_0)}=-\frac{1}{z-z_0}\frac{1}{1-\frac{\zeta -z_0}{z-z_0}}=-\frac{1}{z-z_0}\sum _{l=0}^{\infty }\frac{(\zeta -z_0{)}^l}{(z-z_0{)}^l}=-\sum _{l=0}^{\infty }\frac{(\zeta -z_0{)}^l}{(z-z_0{)}^{l+1}}$$
首先，让我们回顾一下洛朗展开的定义：

设函数$f(z)$ 在以$b$ 为圆心的环形区域$R_1\le |z-b|\le R_2$ 内单值解析，则对于环域内的任意点$z$，$f(z)$ 都可以用幂级数展开为：

$$f(z)=\sum _{-\infty }^{\infty }{a}_n(z-b{)}^n,R_1<|z-b|<R_2$$
其中：

$$a_n=\frac{1}{2\pi \mathrm{i}}{\oint }_C\frac{f(\zeta )}{(\zeta -b{)}^{n+1}}\mathrm{d}\zeta$$
这里的$C$ 是环域内绕内周一周的任意一条闭合曲线。

接下来，我们来修正您提供的内容中的错误并添加$：

对于洛朗展开来说，即使是正幂项的系数$a_n$ 也不等于$\frac{f^{(n)}(b)}{n!}$。

$f(z)$ 在内圆$|z-b|\le R_1$ 内不解析，一般而言其在$C_1$ 上有奇点，而$b$ 点可能是奇点也可能是解析点。

如果只有环心$b$ 是$f(z)$ 的奇点，那么$R_1$ 可以任意小。当$R_1\to 0$ 时称该洛朗级数为$f(z)$ 在孤立奇点$z_0$ 的邻域内的洛朗展开式。

洛朗展开也具有唯一性。因此使用不同方法展开得到的双边幂级数也是同一个洛朗级数。

例：求函数$\exp \left[\frac{z}{2}\left(t-\frac{1}{t}\right)\right]$ 在$0<|t|<\infty$ 的洛朗展开：

考虑：

$$\exp \left[\frac{zt}{2}\right]=\sum _{k=0}^{\infty }\left(\frac{z}{2}\right)\frac{t^k}{k!},|t|<\infty$$

$$\exp \left[-\frac{z}{2t}\right]=\sum _{l=0}^{\infty }{\left(\frac{z}{2}\right)}^l\frac{(-1{)}^l}{l!}{\left(\frac{1}{t}\right)}^l,|t|>0$$

因此：

$$\exp \left[\frac{z}{2}\left(t-\frac{1}{t}\right)\right]=\sum _{n=-\infty }^{\infty }{J}_n(z)t^n$$
其中：

$$J_n(z)=\{\begin{array}{ll}{\sum }_{l=0}^{\infty }\frac{(-1{)}^l}{l!(n+l)!}{\left(\frac{z}{2}\right)}^{2l+n},& n=0,1,2,\dots \\ {\sum }_{l=-n}^{\infty }\frac{(-1{)}^l}{l!(n+l)!}{\left(\frac{z}{2}\right)}^{2l+n},& n=-1,-2,-3,\dots \end{array}$$
称为**$n$ 阶贝塞尔（Bessel）函数**。

$n$ 阶贝塞尔函数还可以用积分定义：

$$J_n(z)=\frac{1}{2\pi }{\int }_0^{2\pi }\cos (n-z\sin \theta )\mathrm{d}\theta$$

2 单值函数的孤立奇点

设$f(z)$ 是单值函数或多值函数的一个单值分支，$b$ 是它的奇点。若$f(z)$ 在$b$ 点的空心邻域内处处可导，则称$b$ 为$f(z)$ 的孤立奇点。

举个非孤立奇点的例子：$z=1/n\pi$，$n=\pm 1,\pm 2,\cdots$ 是函数$f(z)=1/\sin (1/z)$ 的奇点，而$z=0$ 是这些奇点的聚点，因此，在$z=0$ 的任一邻域中，总存在无穷多个奇点，所以$z=0$ 是非孤立奇点。

若$z=b$ 是函数$f(z)$ 的孤立奇点，则意味着一定存在环形区域$0<|z-b|<R$，$f(z)$ 可以展开为洛朗级数。

注：点集$A$ 的聚点$x_0$ 指的是：对任意$\epsilon >0$，存在$\epsilon$邻域$B_{\epsilon }(x_0)$，使得 B ε ( x 0 ) ∩ ( A \ { x 0 } ) ≠ ∅ B_{\varepsilon}(x_0)\cap(A\backslash\{x_0\})\ne\emptyset Bε​(x0​)∩(A\{x0​})=∅。

这样的话，有以下几种奇点：

（1）若洛朗级数不含负幂项，则称$b$ 为$f(z)$ 的可去奇点，如$z=0$ 就是$\sin z/z$ 的可去奇点。

（2）级数只有有限个负幂项，则称$b$ 为$f(z)$ 的极点。

（3）级数有无穷多个负幂项，则称$b$ 为$f(z)$ 的本性奇点。

下面分别讨论这几个奇点。

1.可去奇点

显然，在奇点$z=b$ 处级数也是收敛的，此时收敛区域是一个圆，如果将$f(z)$ 定义为

$$f(z)=\{\begin{array}{ll}f(z),& z\ne b\\ {\lim }_{z\to b}f(z),& z=b\end{array}$$
这样$f(z)$ 在$z=b$ 点也是解析的，这正是可去奇点这一称谓的由来。

2. 极点

函数$f(z)$ 在极点的空心邻域内的洛朗展开只有有限个负幂项，则

$$f(z)=a_{-m}(z-b{)}^{-m}+\cdots =(z-b{)}^{-m}\varphi (z)$$
其中$\varphi (z)$ 在$z=b$ 的邻域内解析，若$a_{-m}\ne 0$，则$b$ 称为$f(z)$ 的 $m$ 阶极点，显然

$$\underset{z\to b}{\lim }f(z)=\infty$$
反之，若$b$ 是$f(z)$ 的孤立奇点，且${\lim }_{z\to b}f(z)=\infty$，则$b$ 是$f(z)$ 的极点。

此外当$b$ 是$f(z)$ 的$m$ 阶极点时，

$$\frac{1}{f(z)}=(z-b{)}^m\frac{1}{\varphi (z)}$$
又知道$1/\varphi (z)$ 在$z=b$ 点解析，所以$z=b$ 是$1/f(z)$ 的$m$ 阶零点。

特别的，一阶极点又称作 单极点。

3. 本性奇点

函数在本性奇点领域的洛朗展开具有无穷多个负幂项。

如果$z=b$ 是函数的本性奇点，则当$z\to b$ 时$f(z)$ 的极限不存在，即当$z$ 以不同方式趋向于$b$ 时，$f(z)$ 趋向于不同的值。

可以证明，对于本性奇点而言，任意给定一个复数（包括$\infty$），总存在一个序列$z_n\to b$，使得$f(z_n)\to A$。

3 解析延拓

定义：设函数$f_1(z)$ 在区域$g_1$ 内解析，函数$f_2(z)$ 在区域$g_2$ 内解析。若在区域$g_1\cap g_2$ 内，$f_1(z)\equiv f_2(z)$ ，则称$f_2(z)$ 是$f_1(z)$ 在$g_2$ 内的解析延拓，同理称$f_1(z)$ 是$f_2(z)$ 是在$g_1$ 内的解析延拓

如我们考察两个幂级数

$$f_1(z)=\sum _{n=0}^{\infty }{z}^n=1+z+z^2+\cdots ,|z|<1$$

$$f_2(z)=\sum _{n=0}^{\infty }\frac{1}{z-\mathrm{i}/2}{\left(z-\frac{1}{2}\right)}^n,|z-\mathrm{i}/2|<\sqrt{5}/2$$

可以发现，这两个级数在各自的收敛区域内的和函数都是$\frac{1}{1-z}$

同理，如果我们重复这个步骤，就可以把一个函数的定义不断扩展，乃至扩展到整个$\mathbb{C}$ 平面

但是请务必注意：两个函数在定义域交集内取值相同，定义了一个定义域是二者定义域并集的函数，且在两者的定义域上分别与二者相等，这个过程称作解析延拓。解析延拓是拓展了二者的定义域，因此在对于原来函数的定义域的补集内，解析延拓后的函数并不一定与原函数相等。

如著名的$1+2+\cdots =-1/12$ 是错误的，但$\zeta (-1)=-1/12$ 是对的。这就是因为$\zeta (z)$ 和$\zeta$ 级数只是在原定义域上相等，而$\zeta (-1)$ 是解析延拓后的结果。

此外，定义在不同区域的两个级数可以互为解析延拓，如

$$f_1(z)=\frac{1}{1-z}-\frac{1}{(1-z{)}^2}+\cdots =\frac{1}{2-z},|z-1|>1$$

$$f_2(z)=1+(z-1)+(z-1{)}^2+\cdots =\frac{1}{2-z},|z-1|<1$$

无穷级数在不同区域内可以收敛到不同的和函数，这两个和函数尽管在不同区域内的级数表达式相同，却不互为解析延拓。