复变函数——学习笔记5：复级数

复级数与复函数项级数

复常数项级数

复级数是实级数在复数域的推广，实级数的许多性质是可以直接推广到复级数的，我们这里仅仅列举大部分定义和结论，必要的时候才给予证明。

复级数： { z n } \{z_n\} {zn​}是一个复数列，如果部分和序列 { ∑ k = 1 n z k } \displaystyle\{\sum_{k=1}^nz_k\} {k=1∑n​zk​}是收敛列，则称级数$\sum _{n=1}^{\infty }{z}_n$收敛， { ∑ k = 1 n z k } \displaystyle\{\sum_{k=1}^nz_k\} {k=1∑n​zk​}的极限为级数$\sum _{n=1}^{\infty }{z}_n$的和，否则称级数$\sum _{n=1}^{\infty }{z}_n$是发散的

复级数收敛的充要条件：对复级数$\sum _{n=1}^{\infty }{z}_n$，其中$z_n=x_n+i{y}_n,n=1,2,\cdots$，则级数收敛的充要条件是两个实级数$\sum _{n=1}^{\infty }{x}_n$和$\sum _{n=1}^{\infty }{y}_n$都收敛

复级数收敛的必要条件：如果复级数$\sum _{n=1}^{\infty }{z}_n$收敛，则$$\underset{n\to \infty }{\lim }{z}_n=0$$

复级数的柯西收敛准则：级数$\sum _{n=1}^{\infty }{z}_n$收敛的充要条件是对任意的$\epsilon >0$，存在$N$，当$n\ge N$，对任意的$p\ge 1$，都有$$\left|\sum _{k=n+1}^{n+p}{z}_k\right|<\epsilon$$

绝对收敛：如果级数$\sum _{n=1}^{\infty }|z_n|$绝对收敛，则称复级数$\sum _{n=1}^{\infty }{z}_n$绝对收敛，绝对收敛级数一定收敛

柯西乘积：如果$\sum _{n=1}^{\infty }{z}_n^{\prime }$和$\sum _{n=1}^{\infty }{z}_n^{\prime \prime }$绝对收敛，那么级数$$\sum _{n=1}^{\infty }(z_1^{\prime }{z}_{n-1}^{\prime \prime }+z_2^{\prime }{z}_{n-2}^{\prime \prime }+\cdots +z_{n-1}^{\prime }{z}_1^{\prime \prime })$$也绝对收敛，其和为$\sum _{n=1}^{\infty }{z}_n^{\prime }\sum _{n=1}^{\infty }{z}_n^{\prime \prime }$

复函数项级数

极限函数：复函数列 { f n ( z ) } \{f_n(z)\} {fn​(z)}在点集$E$的每一个点$z$上，级数$\sum _{n=1}^{\infty }{f}_n(z)$收敛，则称函数项级数$\sum _{n=1}^{\infty }{f}_n(z)$在$E$上逐点收敛，$S(z)=\sum _{n=1}^{\infty }{f}_n(z)$为级数$\sum _{n=1}^{\infty }{f}_n(z)$在$E$上的和函数

一致收敛：函数项级数$\sum _{n=1}^{\infty }{f}_n(z)$在$E$上逐点收敛，和函数为$S(z)$，如果对任意的$\epsilon >0$，存在正整数$N$，只要$n\ge N$，对任意的$z\in E$都有$$\left|\sum _{k=1}^n{f}_k(z)-S(z)\right|<\epsilon$$则称函数项级数$\sum _{n=1}^{\infty }{f}_n(z)$在$E$上一致收敛

一致收敛的柯西准则：函数项级数$\sum _{n=1}^{\infty }{f}_n(z)$在$E$上一致收敛的充要条件是：对任意的$\epsilon >0$，存在正整数$N$，只要$n\ge N$，对任意的$p\ge 1$，对任意的$z\in E$，都有$$\left|\sum _{k=n+1}^{n+p}{f}_k(z)\right|<\epsilon$$

一致收敛的魏尔斯特拉斯判别法：如果函数项级数$\sum _{n=1}^{\infty }{f}_n(z)$在$E$上满足，存在正项级数$\sum _{n=1}^{\infty }{M}_n$，使得$|f_n(z)|\le M_n,\forall z\in E$，则$\sum _{n=1}^{\infty }{f}_n(z)$在$E$上一致收敛

内闭一致收敛：如果函数项级数$\sum _{n=1}^{\infty }{f}_n(z)$在区域$D$的任意有界闭子集一致收敛，则称$\sum _{n=1}^{\infty }{f}_n(z)$在$D$上内闭一致收敛

同一致收敛的实函数项级数一样，一致收敛的复函数项级数也有良好的性质。

连续性：
(1) { f n ( z ) } \{f_n(z)\} {fn​(z)}在$E$上一致收敛到$f(z)$，如果$f_n(z)$在$E$上连续$(n=1,2,\cdots )$，则$f(z)$在$E$上连续
(2)$\sum _{n=1}^{\infty }{f}_n(z)$在$E$上一致收敛，和函数为$S(z)$，$f_n(z)$在$E$上连续$(n=1,2,\cdots )$，则$S(z)$在$E$上连续

积分号与求和号的交换：
(1) { f n ( z ) } \{f_n(z)\} {fn​(z)}在简单曲线$L$上一致收敛到$f(z)$，则积分和极限号可交换，即$${\int }_{L}f(z)dz=\underset{n\to \infty }{\lim }{\int }_L{f}_n(z)dz$$(2)级数$\sum _{n=1}^{\infty }{f}_n(z)$在简单曲线$L$上一致收敛，和函数为$S(x)$，则$${\int }_{L}S(z)dz=\sum _{n=1}^{\infty }{\int }_L{f}_n(z)dz$$

魏尔斯特拉斯定理：
设函数$f_n(z)(n=1,2,3,\cdots )$在区域$D$内解析，并且级数$\sum _{n=1}^{\infty }{f}_n(z)$在$D$中内闭一致收敛到$S(x)$，则$S(x)$在$D$内解析，并且在$D$内$$S^{(p)}(z)=\sum _{n=1}^{\infty }{f}_n^{(p)}(z)$$且该级数在$D$内也是内闭一致收敛的

证：
我们要证明三点：第一$S(z)$在$D$上解析，第二$S^{(p)}(z)=\sum _{n=1}^{\infty }{f}_n^{(p)}(z)$，第三级数$\sum _{n=1}^{\infty }{f}_n^{(p)}(z)$是内闭一致收敛的。
(1)先证明$S(z)$在$D$上解析，$z_0\in D$，存在闭邻域$\overline{B}(z_0,\delta )\subseteq D$，对于任何在该闭邻域内的逐段光滑的闭曲线$C$，都有$${\int }_C{f}_n(z)dz=0$$由于$\sum _{n=1}^{\infty }{f}_n(z)$在$D$上一致收敛，则$${\int }_{C}S(z)dz=\sum _{n=1}^{\infty }{\int }_C{f}_n(z)dz=0$$并且$S(z)$在该闭邻域上连续，由莫雷拉定理，$S(z)$在该邻域上解析，故$S(z)$在$D$上解析。
(2)第二，证明$S^{(p)}(z)=\sum _{n=1}^{\infty }{f}_n^{(p)}(z)$，对于$z_0\in D$，存在闭邻域$\overline{B}(z_0,\rho )\subseteq D$，由柯西积分公式，有$$f_n^{(p)}(z_0)=\frac{p!}{2\pi i}{\int }_{|z-z_0|=\rho }\frac{f_n(z)}{(z-z_0{)}^{p+1}}dz$$令$g_n(z)=\frac{f_n(z)}{(z-z_0{)}^{p+1}}$，那么级数$\sum _{n=1}^{\infty }{g}_n(z)$在$|z-z_0|=\rho$上一致收敛到$\frac{S(z)}{(z-z_0{)}^{p+1}}$，则积分号和极限号可交换，故$$\begin{array}{rl}& S^{(p)}(z_0)=\frac{p!}{2\pi i}{\int }_{|z-z_0|=\rho }\frac{S(z)}{(z-z_0{)}^{p+1}}dz\\ =& \frac{p!}{2\pi i}{\int }_{|z-z_0|=\rho }\sum _{n=1}^{\infty }{g}_n(z)dz=\frac{p!}{2\pi i}\sum _{n=1}^{\infty }{\int }_{|z-z_0|=\rho }{g}_n(z)dz\\ =& \sum _{n=1}^{\infty }{f}_n^{(p)}(z_0)\end{array}$$(3)最后，再证明以上级数是内闭一致收敛的，由柯西准则证明
对任意的$z_0\in D$，存在一个闭邻域$\overline{B}(z_0,r)\subset D$，$\sum _{n=1}^{\infty }{f}_n(z)$在$D$上内闭一致收敛，因此，对任意的$\epsilon >0$，存在正整数$N$，当$n\ge N$时，对任意的$p\ge 1$及$z\in \overline{B}(z_0,r)$，有$$\left|\sum _{k=n+1}^{n+p}{f}_k(z)\right|<\frac{2^p{r}^{p-1}\epsilon }{p!}$$则对任意的$z^{\prime }\in \overline{B}(z_0,\frac{r}{2})$，都有$$\begin{array}{rl}& \left|\sum _{k=n+1}^{n+p}{f}_k^{(p)}(z^{\prime })\right|=\left|\frac{p!}{2\pi i}{\int }_{|z-z_0|=r}\frac{{\sum }_{k=n+1}^{n+p}{f}_k(z)}{(z-z^{\prime }{)}^p}dz\right|\\ \le & \frac{p!}{2\pi }{\int }_{|z-z_0|=r}\frac{\left|{\sum }_{k=n+1}^{n+p}{f}_k(z)\right|}{|z-z^{\prime }{|}^p}ds\le \epsilon \end{array}$$故$\sum _{n=1}^{\infty }{f}_n^{(p)}(z)$在$\overline{B}(z_0,\frac{r}{2})$上一致收敛，对于任意有界闭集$E\subset D$，任意$z\in D$，都存在$z$的一个包含在$D$内的邻域，$\sum _{n=1}^{\infty }{f}_n^{(p)}(z)$在其上一致收敛，应用有限覆盖定理即可证得$\sum _{n=1}^{\infty }{f}_n^{(p)}(z)$在$E$上一致收敛，故$\sum _{n=1}^{\infty }{f}_n^{(p)}(z)$在$D$上内闭一致收敛

幂级数、解析函数的泰勒级数

幂级数的收敛区域及性质

幂级数：形如$\sum _{n=0}^{\infty }{a}_n(z-z_0{)}^n$的级数

接下来我们需要讨论幂级数的收敛区域，设$z_0=0$，讨论幂级数$\sum _{n=0}^{\infty }{a}_n{z}^n$，如果幂级数在$z_0$处收敛，对$|z|<|z_0|$，考察通项$$a_n{z}^n=a_n{z}_0^n(\frac{z}{z_0}{)}^n$$有$|\frac{z}{z_0}|<1$，并且由于$\sum _{n=0}^{\infty }{a}_n{z}_0^n$收敛，有$$\underset{n\to \infty }{\lim }{a}_n{z}_0^n=0$$故存在$M>0$，对任意的$n=1,2,\cdots$，都有$|a_n{z}_0^n|\le M$，因此$$|a_n{z}^n|\le M{\left|\frac{z}{z_0}\right|}^n$$而级数$\sum _{n=1}^{\infty }{\left|\frac{z}{z_0}\right|}^n$是收敛的，故$\sum _{n=1}^{\infty }{a}_n{z}^n$绝对收敛。接下来的所有讨论同实幂级数一致，就有收敛半径的概念

收敛半径：
(1)如果存在正数$R$，当$|z|<R$时，$\sum _{n=0}^{\infty }{a}_n{z}^n$绝对收敛，$|z|>R$时，$\sum _{n=0}^{\infty }{a}_n{z}^n$发散，则称幂级数$\sum _{n=0}^{\infty }{a}_n{z}^n$的收敛半径为$R$或$R$是幂级数$\sum _{n=0}^{\infty }{a}_n{z}^n$的收敛半径
(2)如果对任意的$|z|>0$，幂级数$\sum _{n=0}^{\infty }{a}_n{z}^n$都发散，则称幂级数$\sum _{n=0}^{\infty }{a}_n{z}^n$的收敛半径为0
(3)如果对任意的复数$z$，$\sum _{n=0}^{\infty }{a}_n{z}^n$都绝对收敛，则称幂级数$\sum _{n=0}^{\infty }{a}_n{z}^n$的收敛半径为$+\infty$

由于幂级数在圆盘$|z|<R$内是绝对收敛的，这个圆盘我们称为收敛圆盘，因此其收敛半径和实幂级数$$\sum _{n=0}^{\infty }|a_n|x^n$$是一致的，套用数学分析中幂级数收敛半径的求法即可得到复级数收敛半径的求法。这里不再赘述。

阿贝尔定理：幂级数$\sum _{n=0}^{\infty }{a}_n{z}^n$在其收敛圆盘$|z|<R$上内闭一致收敛
证明与实幂级数也是一致的，这里不再赘述。

于是，在收敛圆盘内，幂级数无穷次逐项可导，并且类似于实幂级数，求导收敛半径都不变。另外，在收敛圆盘内还可以逐项积分。并且通过逐项求导，令$f(z)=\sum _{n=0}^{\infty }{a}_n{z}^n$，就有$$f^{(p)}(z)=\sum _{n=p}^{\infty }{a}_n\frac{n!}{(n-p)!}{z}^{n-p}$$令$z=0$，就可以到$f^{(p)}(z)=\frac{f^{(p)}(0)}{p!}$

解析函数的幂级数展开

满足何种条件复函数$f(z)$在$z=0$的某个邻域$B(0,r)$上可以展成幂级数呢？很显然，由阿贝尔定理，要展成幂级数，$f(z)$必须在$0$处解析，下面我们证明这也是充分条件。

定理6.1 $f(z)$在$B(0,r)$上解析，则$f(z)$在$B(0,r)$处可以展成泰勒级数$$f(z)=\sum _{n=0}^{\infty }\frac{f^{(n)}(0)}{n!}{z}^n$$并且该展开式是唯一的

证：
对于任意的$\delta <r$，任取${\delta }^{\prime }\in (\delta ,r)$，则对于任意的$|z|<\delta$，由柯西积分公式，有$$\begin{array}{rl}& f(z)=\frac{1}{2\pi i}{\int }_{|\xi |={\delta }^{\prime }}\frac{f(\xi )}{\xi -z}d\xi =\frac{1}{2\pi i}{\int }_{|\xi |={\delta }^{\prime }}\frac{f(\xi )}{\xi }\frac{1}{1-\frac{z}{\xi }}d\xi \end{array}$$由于当$|\xi |={\delta }^{\prime }$是$$\left|\frac{z}{\xi }\right|\le \frac{\delta }{{\delta }^{\prime }}=1$$故$\sum _{n=0}^{\infty }(\frac{z}{\xi }{)}^n$在$|\xi |={\delta }^{\prime }$上一致收敛，故$$\begin{array}{r}f(z)=\frac{1}{2\pi i}{\int }_{|\xi |={\delta }^{\prime }}\frac{f(\xi )}{\xi }\sum _{n=0}^{\infty }(\frac{z}{\xi }{)}^{n}d\xi =\frac{1}{2\pi i}\sum _{n=0}^{\infty }{z}^n{\int }_{|\xi |={\delta }^{\prime }}\frac{f(\xi )}{{\xi }^{n+1}}d\xi \end{array}$$而$${\int }_{|\xi |={\delta }^{\prime }}\frac{f(\xi )}{{\xi }^{n+1}}d\xi =\frac{2\pi i}{n!}{f}^{(n)}(0)$$代入即可证得结论，唯一性逐次求导加待定系数即可证得

例5.1 求$f(z)=e^z$在$z=0$处的泰勒级数及其收敛半径

解：
由于$f^{(p)}(z)=e^z$，$f^{(p)}(0)=1$，并且$f(z)$在整个复平面上解析，因此在整个复平面上$$f(z)=\sum _{n=0}^{\infty }\frac{z^n}{n!}$$收敛半径为$+\infty$

从例5.1可以看出，实指数函数$y=e^x$的泰勒级数是$w=e^z$的泰勒级数局限于实轴的特殊情形。

例5.2 求$f(z)=\sin z$和$f(z)=\cos z$在$z=0$处的泰勒级数

解：
$\cos z=\frac{e^{iz}+e^{-iz}}{2}$，而
$$\begin{gathered} e^{iz}=\sum _{n=0}^{\infty }\frac{i^n{z}^n}{n!} \\ {e}^{-iz}=\sum _{n=0}^{\infty }\frac{(-1{)}^n{i}^n{z}^n}{n!} \\ \frac{e^{iz}+e^{-iz}}{2}=\frac{1}{2}\sum _{n=0}^{\infty }\frac{2i^{2n}{z}^{2n}}{(2n)!}=\sum _{n=0}^{\infty }\frac{(-1{)}^n{z}^{2n}}{(2n)!} \end{gathered}$$如果采用求$0$处各阶导数得到的也是同一个泰勒级数，收敛半径为$\infty$，$\sin z=\frac{e^{iz}-e^{-iz}}{2i}$，因此$$\frac{e^{iz}-e^{-iz}}{2i}=\frac{1}{2i}\sum _{n=1}^{\infty }\frac{2i^{2n-1}{z}^{2n-1}}{(2n-1)!}=\sum _{n=1}^{\infty }\frac{(-1{)}^{n-1}{z}^{2n-1}}{(2n-1)!}$$采用求$0$处各阶导数得到的也是同一个泰勒级数，收敛半径为$\infty$

例5.3 求$f(z)=\ln (z+1)$在$z=0$处的泰勒级数，其中$\ln (z)$取割破负实轴后在正实轴取实数的单值解析分支

解：
显然$f(z)$在$|z|<1$上解析，$z=-1$为$f(z)$的奇点（$f(z)$在$z=-1$处不解析），故所得的级数收敛半径为$1$，并且由数学归纳法，容易证明$$f^{(p)}(z)=\frac{(-1{)}^{p-1}(p-1)!}{(z+1{)}^{p+1}}$$故$$f^{(p)}(z)=(-1{)}^{p-1}(p-1)!$$故$$f(z)=\sum _{n=1}^{\infty }\frac{(-1{)}^{n-1}{z}^n}{n}$$其他解析分支的泰勒级数的收敛半径也是1，与以上展示只相差$2\pi i$的整数倍

由例5.3逐项求导可以求得$\frac{1}{(z+1{)}^p}$的泰勒级数，收敛半径也是1

例5.4 求$(1+z{)}^{\alpha }$在$z=0$处的泰勒级数，其中$Ln(z+1)$取在$z=0$取$0$的单值解析分支

解：
容易求出$z=0$处的$p$阶导数为$\alpha (\alpha -1)\cdots (\alpha -p+1)$，就有$$(1+z{)}^{\alpha }=1+\sum _{n=1}^{\infty }\left(\begin{array}{c}\alpha \\ n\end{array}\right)z^n$$收敛半径为1

这是一般形式的二项式定理

零点的孤立性

如果$f(z)$在区域$D$上解析，$z_0\in D$，$f(z_0)=0$，在$z_0$处将$f(z)$展成泰勒级数$$f(z)=\sum _{n=0}^{\infty }{a}_n(z-z_0{)}^n$$那么应该有$a_0=0$，如果$a_0=a_1=\cdots =a_n=\cdots =0$，那么$f(z)$在$z_0$的某个邻域$B(z_0,r)$上恒为0，如果存在$a_{n_0}\ne 0$，设 n 0 = min ⁡ { n : a n ≠ 0 } \displaystyle n_0=\min\{n:a_n\neq 0\} n0​=min{n:an​​=0}，在$z_0$的某个邻域$B(z_0,r)$上，有$$f(z)=(z-z_0{)}^{n_0}\sum _{n=n_0}^{\infty }{a}_n(z-z_0{)}^{n-n_0}=(z-z_0{)}^{n-n_0}\phi (z)$$其中$\phi (z)=\sum _{n=n_0}^{\infty }{a}_n(z-z_0{)}^{n-n_0}$在该邻域上解析，并且$\phi (z_0)\ne 0$。由$\phi (z)$的连续性，存在$z_0$的某个邻域$B(z_0,r_2)\subset B(z_0,r)$，在其上，$\phi (z)\ne 0$。在这个邻域内，对$z\ne z_0$，$(z-z_0{)}^{n-n_0}\ne 0$，故$f(z)\ne 0$，于是$z_0$就是该邻域内唯一的零点。以上的$n_0$称为$z_0$的阶，如果$a_0=a_1=\cdots =a_n=\cdots =0$。实际上，不难验证，$n_0$满足：对$k<n_0$，有$$f^{(k)}(z_0)=0$$而$f^{(n_0)}(z_0)\ne 0$。解析函数零点的阶可以用导数定义也可以用泰勒级数进行定义。总结以上讨论就得到以下定理：

定理5.2（解析函数零点的孤立性） 如果$f(z)$在区域$D$上解析，$z_0$是$D$的零点，则只可能出现以下两种情况：
(1)存在邻域$B(z_0,r)$，$f(z)$在该邻域上恒为0
(2)存在邻域$B(z_0,r)$，$z_0$是$f(z)$在该邻域上唯一的零点，此时，存在正整数$n_0$，$f^{(1)}(z_0)=\cdots =f^{(n_0-1)}(z_0)=0,f^{(n_0)}\ne 0$，称$z_0$是$f(z)$的$n_0$阶零点，1阶零点又称为单零点

解析函数的唯一性

引理5.1 如果函数$f(z)$在邻域$K:|z-a|<R$上解析，并且在$K$内有$f(z)$的一列零点 { z n } \{z_n\} {zn​}收敛于$a$，则$f(z)$在$K$内必恒为0

这由零点的孤立性是显然的

推论5.1 如果函数$f(z),g(z)$在邻域$K:|z-a|<R$上解析，并且存在$K$内收敛于$a$的一个点列 { z n } \{z_n\} {zn​}，满足$f(z_n)=g(z_n),n=1,2,\cdots$，则$f(z)=g(z)\forall z\in K$

引理5.2 如果函数$f(z)$在区域$D$上解析，存在$z_0$的某个邻域$B(z_0,r)\subset D$，在其上$f(z)$恒为0，则$f(z)$在区域$D$上恒为0

证：我们采用圆链法进行证明，对任意的$z\in D$，取$z_0$到$z$的一条折线$L$，显然$L$是有界闭集，$L$到$D^c$有正距离$\delta$，作$z_0,z$的分点$z_0,z_1,z_2,\cdots ,z_n=z$，使得相邻两点的距离小于$\frac{\delta }{2}$，如下图

作$n$个邻域$K_i=B(z_{i-1},\frac{\delta }{2})\subset D(i=1,2,\cdots ,n)$，则由引理5.1，$f(z)$在$K_1$内恒为0，$z_1$也在$K_1$内，因而$K_2$也满足引理5.1的条件，应用引理5.1，得到$f(z)$在$K_2$内也恒为0，一直传递到$K_n$即可证得$f(z)=0$

定理5.3（解析函数的唯一性） 如果$f(z),g(z)$在区域$D$内解析，点集 { z ∈ D : f ( z ) = g ( z ) } \{z\in D:f(z)=g(z)\} {z∈D:f(z)=g(z)}在$D$内有聚点，即：存在点列 { z n } \{z_n\} {zn​}，满足$z_n\in D,f(z_n)=g(z_n),n=1,2,\cdots$，并且$\underset{n\to \infty }{\lim }{z}_n=z_0,z_0\in D$，那么，在$D$内恒有$f(z)=g(z)$

证：
如果存在点列 { z n } \{z_n\} {zn​}，满足$z_n\in D,f(z_n)=g(z_n),n=1,2,\cdots$，并且$\underset{n\to \infty }{\lim }{z}_n=z_0,z_0\in D$，那么由引理5.1，在$z_0$的某个邻域$B(z_0,r)\subset D$上，恒有$F(z)=f(z)-g(z)=0$，那么由引理5.2，对任意的$z\in D$，都有$F(z)=0$，证毕

例5.5 在实轴上满足$f(z)=e^z$的解析函数是惟一的，在实轴上满足$f(z)=\sin z=\cos z$的解析函数也是唯一的

对于不加条件限制的复变函数，我们无法通过局部的取值来推算整体的取值，然而对于解析函数而言不是如此，定理5.3说明，解析函数在区域$D$内的取值，完全由其内部某点邻域的取值决定。

例5.6 在原点解析，而在$z=\frac{1}{n}(n=1,2,\cdots )$处取下列各组值的函数是否存在？
(1)$0,\frac{1}{2},0,\frac{1}{4},0,\frac{1}{6},\cdots$
(2)$\frac{1}{2},\frac{1}{2},\frac{1}{4},\frac{1}{4},\frac{1}{6},\frac{1}{6},\cdots$
(3)$\frac{1}{2},\frac{2}{3},\frac{3}{4},\frac{4}{5},\frac{5}{6},\cdots$

解：
(1)不存在，假设该函数$f(z)$存在，则其与$g(z)=0$满足$f(\frac{1}{2n-1})=g(\frac{1}{2n-1}),n=1,2,\cdots$，而$\underset{n\to \infty }{\lim }\frac{1}{2n-1}=0$，则$f(z)$在$0$的某个邻域上应当恒为0，但$g(\frac{1}{2n})\ne 0,n=1,2,\cdots$
(2)不存在，假设这样的函数$f(z)$存在，令$g(z)=\frac{z}{z+1}$，则$f(\frac{1}{2n-1})=g(\frac{1}{2n-1})$，而$\underset{n\to \infty }{\lim }\frac{1}{2n-1}=0$，则在$0$的某个邻域上应当成立$g(z)=f(z)$，而$g(\frac{1}{2n})\ne f(\frac{1}{2n}),n=1,2,\cdots$，因此这样的函数不存在
(3)存在，$f(z)=\frac{1}{1+z}$

洛朗级数与孤立奇点

解析函数的洛朗展式

双边幂级数：形如$\sum _{n=1}^{\infty }{c}_{-n}(z-a{)}^{-n}+\sum _{n=0}^{\infty }{c}_n(z-a{)}^n$的级数

从构造来看，我们可以把双边幂级数视为两个幂级数之和$$\begin{gathered} f(z)=\sum _{n=1}^{\infty }{c}_{-n}(z-a{)}^{-n}+\sum _{n=0}^{\infty }{c}_n(z-a{)}^n \\ g(z)=\sum _{n=1}^{\infty }{c}_{-n}(z-a{)}^{-n} \\ h(z)=\sum _{n=0}^{\infty }{c}_n(z-a{)}^n \end{gathered}$$其中$g(z)$作代换$u=\frac{1}{z-a}$，就有$$g(z)=g(u)=\sum _{n=1}^{\infty }{c}_{-n}{u}^n$$如果$g(u)$的收敛半径为$R_1$，则当$|u|<R_1$时，级数绝对收敛，并且级数在 { u : ∣ u ∣ < R } \{u:|u|<R\} {u:∣u∣<R}上内闭一致收敛，而$|u|<R_1$等价于$|z-a|>R_1$，故$g(z)$在 { z : ∣ z − a ∣ > R 1 } \{z:|z-a|>R_1\} {z:∣z−a∣>R1​}上内闭一致收敛，同理，$h(z)$的收敛半径为$R_2$，$h(z)$在 { z : ∣ z − a ∣ < R 2 } \{z:|z-a|<R_2\} {z:∣z−a∣<R2​}上绝对收敛且内闭一致收敛。如果$R_1<R_2$，那么$f(z)$在 { z : R 1 < ∣ z − a ∣ < R 2 } \{z:R_1<|z-a|<R_2\} {z:R1​<∣z−a∣<R2​}上绝对收敛且内闭一致收敛，该区域称为称为$f(z)$的收敛圆环，并且很显然$f(z)$在收敛圆环上解析，现在我们考虑一个问题：如果$f(z)$在圆环 D = { z : r < ∣ z ∣ < R } ( r < R ) D=\{z:r<|z|<R\}(r<R) D={z:r<∣z∣<R}(r<R)上解析，$f(z)$能否在$D$上展开成双边幂级数呢？答案是肯定的，并且证明和泰勒级数是类似的。

定理5.4（洛朗定理） $f(z)$在 D = { z : r < ∣ z ∣ < R } D=\{z:r<|z|<R\} D={z:r<∣z∣<R}上解析，则$f(z)$在$D$上可唯一展开成$$f(z)=\sum _{n=-\infty }^{\infty }{c}_n(z-a{)}^{-n}$$其中，$c_n=\frac{1}{2\pi i}{\int }_{|\xi -a|=\rho }\frac{f(\xi )}{(\xi -a{)}^{n+1}},n=0,\pm 1,\pm 2,\cdots$

证：这里不妨设$a=0$，$a\ne 0$时作一个平移即可。任取$z\in D$，取$r<r^{\prime }<|z|<R^{\prime }<R$，如下图

由柯西积分公式，有$$\begin{array}{rl}2\pi i.f(z)=& {\int }_{|\xi |=R^{\prime }}\frac{f(\xi )}{\xi -z}d\xi -{\int }_{|\xi |=r^{\prime }}\frac{f(\xi )}{\xi -z}d\xi \\ =& {\int }_{|\xi |=R^{\prime }}\frac{f(\xi )/\xi }{1-\frac{z}{\xi }}d\xi +\frac{1}{z}{\int }_{|\xi |=r^{\prime }}\frac{f(\xi )}{1-\frac{\xi }{z}}d\xi \\ =& {\int }_{|\xi |=R^{\prime }}\frac{f(\xi )}{\xi }\sum _{n=0}^{\infty }(\frac{z}{\xi }{)}^{n}d\xi +\frac{1}{z}{\int }_{|\xi |=r^{\prime }}f(\xi )\sum _{n=0}^{\infty }(\frac{\xi }{z}{)}^{n}d\xi \end{array}$$在圆周$|\xi |=R^{\prime }$上，$|\frac{z}{\xi }|=\frac{|z|}{R^{\prime }}<1$，故级数$\sum _{n=0}^{\infty }(\frac{z}{\xi }{)}^n$在圆周$|\xi |=R^{\prime }$上一致收敛，故$${\int }_{|\xi |=R^{\prime }}\frac{f(\xi )}{\xi }\sum _{n=0}^{\infty }(\frac{z}{\xi }{)}^{n}d\xi =\sum _{n=0}^{\infty }{z}^n{\int }_{|\xi |=R^{\prime }}\frac{f(\xi )}{{\xi }^{n+1}}d\xi$$同理$${\int }_{|\xi |=r^{\prime }}f(\xi )\sum _{n=0}^{\infty }(\frac{\xi }{z}{)}^{n}d\xi =\sum _{n=0}^{\infty }{z}^{-n}{\int }_{|\xi |=r^{\prime }}f(\xi ){\xi }^{n}d\xi$$令$c_n=\frac{1}{2\pi i}{\int }_{|\xi |=\rho }\frac{f(\xi )}{{\xi }^{n+1}}d\xi ,n=0,\pm 1,\pm 2,\pm 3,\cdots$，其中$\rho$为任意介于$r$和$R$之间的实数，由柯西积分定理，不难证明$$\begin{gathered} c_n=\frac{1}{2\pi i}{\int }_{|\xi |=\rho }\frac{f(\xi )}{{\xi }^{n+1}}d\xi =\frac{1}{2\pi i}{\int }_{|\xi |=r^{\prime }}\frac{f(\xi )}{{\xi }^{n+1}}d\xi =\frac{1}{2\pi i}{\int }_{|\xi |=R^{\prime }}\frac{f(\xi )}{{\xi }^{n+1}}d\xi \\ n=0,\pm 1,\pm 2,\pm 3,\cdots \end{gathered}$$故$$f(z)=\sum _{n=-\infty }^{+\infty }{c}_n{z}^n$$再证明唯一性即可

以上展式称为解析函数的洛朗展式

奇点

奇点：$f(z)$在$z_0$处不解析，但在$z_0$的任意邻域上都有$f(z)$的解析点，则称$z_0$是$f(z)$的奇点

孤立奇点：存在$z_0$的某个邻域$B(z_0,r)$，$z_0$是$f(z)$在该邻域上的唯一奇点，则称$z_0$是$f(z)$的孤立奇点，如果$z_0$是$f(z)$的奇点，但不是孤立奇点，则称$z_0$是$f(z)$的非孤立奇点

解析部分和主要部分：如果$z_0$是$f(z)$的孤立奇点，设$f(z)$在$0<|z-z_0|<r$上解析，则$f(z)$在$0<|z-z_0|<r$上可展成洛朗展示$$f(z)=\sum _{n=1}^{\infty }{c}_{-n}(z-z_0{)}^{-n}+\sum _{n=0}^{\infty }{c}_n(z-z_0{)}^n$$则$\sum _{n=1}^{\infty }{c}_{-n}(z-z_0{)}^{-n}$称为$f(z)$在$z_0$处的主要部分，$\sum _{n=0}^{\infty }{c}_n(z-z_0{)}^n$称为$f(z)$在$z_0$处的解析部分，奇点的性质由主要部分决定

可去奇点：$z_0$是$f(z)$的孤立奇点，如果$f(z)$在$z_0$处的主要部分为0，则称$z_0$是$f(z)$的可去奇点，如果$z_0$是$f(z)$的可去奇点，在$z_0$的某个去心邻域上可展成$$f(z)=\sum _{n=0}^{\infty }{c}_n(z-z_0{)}^n$$那么$$\underset{z\to z_0}{\lim }f(z)=c_0$$补充定义$f(z_0)=c_0$，$f(z)$在该邻域上解析，因而称为是可去奇点

可去奇点的判定：$z_0$是$f(z)$的孤立奇点，则以下三个命题等价：
(1)$z_0$是$f(z)$的可去奇点
(2)$\underset{z\to z_0}{\lim }f(z)=c(\ne \infty )$
(3)$f(z)$在$z_0$的某个去心邻域上有界

证：
(1)推(2)，(2)推(3)是显然的，下面证明(3)推(1)，如果$f(z)$在$z_0$的某个邻域$B(z_0,r)$上有界，设$|f(z)|\le M(\forall z\in B(z_0,r))$，任取$0<\rho <r$，对$n\ge 1$，有$$\begin{array}{rl}|c_{-n}|=& \frac{1}{2\pi }\left|{\int }_{|\xi -z_0|=\rho }f(\xi )(\xi -z_0{)}^{n-1}d\xi \right|\\ \le & \frac{1}{2\pi }{\int }_{|\xi -z_0|=\rho }|f(\xi )||\xi -z_0{|}^{n-1}ds\\ \le & M{\rho }^n\end{array}$$令$\rho \to 0$，就有$c_{-n}=0$，故$z_0$是$f(z)$的可去奇点

极点：如果$f(z)$在$z_0$处的主要部分为$$\frac{c_{-m}}{(z-z_0{)}^m}+\cdots +\frac{c_{-1}}{z-z_0}$$则称$z_0$是$f(z)$的极点，$m$为$z_0$的阶，或称$z_0$是$f(z)$的$m$阶极点

极点的判定：$z_0$是$f(z)$的孤立奇点，则以下命题等价：
(1)$z_0$是$f(z)$的$m$阶极点
(2)存在$z_0$的某个邻域$B(z_0,r)$上解析的函数$\lambda (z)$，$\lambda (z_0)\ne 0$，使得在去心邻域 B ( z 0 , r ) / { z 0 } B(z_0,r)/\{z_0\} B(z0​,r)/{z0​}上$$f(z)=\frac{\lambda (z)}{(z-z_0{)}^m}$$(3)$g(z)=\frac{1}{f(z)}$以$z_0$为$m$阶零点（可去奇点当解析点看）

证：
(1)$\to$(2)：$f(z)$在某个去心邻域 B ( z 0 , r ) / { z 0 } B(z_0,r)/\{z_0\} B(z0​,r)/{z0​}上可展为洛朗展式$$f(z)=\sum _{n=-m}^{+\infty }{c}_n(z-z_0{)}^n$$令$$\lambda (z)=\sum _{n=-m}^{+\infty }{c}_n(z-z_0{)}^{n+m}$$显然$\lambda (z_0)=c_{-m}\ne 0$，并且在去心邻域 B ( z 0 , r ) / { z 0 } B(z_0,r)/\{z_0\} B(z0​,r)/{z0​}上$$f(z)=\frac{\lambda (z)}{(z-z_0{)}^m}$$(2)$\to$(3)：如果存在$z_0$的某个邻域$B(z_0,r)$上解析的函数$\lambda (z)$，$\lambda (z_0)\ne 0$，使得在去心邻域 B ( z 0 , r ) / { z 0 } B(z_0,r)/\{z_0\} B(z0​,r)/{z0​}上$$f(z)=\frac{\lambda (z)}{(z-z_0{)}^m}$$则存在邻域$B(z_0,r^{\prime })\subset B(z_0,r)$，$\lambda (z)\ne 0,\forall z\in B(z_0,r^{\prime })$，在去心邻域 B ( z 0 , r ′ ) / { z 0 } B(z_0,r^\prime)/\{z_0\} B(z0​,r′)/{z0​}上$$g(z)=\frac{1}{f(z)}=\frac{(z-z_0{)}^m}{\lambda (z)}$$由此不难看出$z_0$是$g(z)$的$m$阶零点
(3)$\to$(1)：如果$g(z)=\frac{1}{f(z)}$以$z_0$为$m$阶零点，那么存在$z_0$的某个邻域$B(z_0,r)$，在其上可展成泰勒级数$$g(z)=c_m(z-z_0{)}^m+c_{m+1}(z-z_0{)}^{m+1}+\cdots$$其中$c_m\ne 0$，则令$$\lambda (z)=c_m+c_{m+1}(z-z_0)+c_{m+2}(z-z_0{)}^2+\cdots$$并且存在邻域$B(z_0,r^{\prime })\subset B(z_0,r)$，在其上$\lambda (z)\ne 0$，于是，$0<|z-z_0|<r^{\prime }$时$$f(z)=\frac{1}{g(z)}=\frac{1}{(z-z_0{)}^m}\frac{1}{\lambda (z)}$$由于$\lambda (z)$在$B(z_0,r^{\prime })$上解析，$\frac{1}{\lambda (z)}$在$B(z_0,r^{\prime })$上解析，故可以展成泰勒级数$$\frac{1}{\lambda (z)}=a_0+a_1(z-z_0)+a_2(z-z_0{)}^2+\cdots$$$a_0\ne 0$，从而$0<|z-z_0|<r^{\prime }$时$$f(z)=\frac{a_0}{(z-z_0{)}^m}+\cdots$$故$z_0$是$f(z)$的$m$阶极点

由上面的定理不难看出，$z_0$是$f(z)$的极点的充要条件是$$\underset{z\to z_0}{\lim }f(z)=\infty$$不过该定义的缺陷在于无法判断极点的阶数

本质极点：不是可去奇点和极点的孤立奇点是本质极点

本质极点的判定：$z_0$是$f(z)$的本质极点的充要条件有
(1)$$\underset{z\to z_0}{\lim }f(z)\ne \{\begin{array}{l}b(有限数)\\ \infty \end{array}$$(2)对任意的$a\in \overline{C}$，存在点列 { z n } \{z_n\} {zn​},$\underset{n\to \infty }{\lim }{z}_n=z_0$，$\underset{n\to \infty }{\lim }f(z_n)=a$

证：
①$a=\infty$的情形：由于$z_0$不是$f(z)$的可去奇点，那么$f(z)$在$z_0$的任意去心邻域上都无界，由此就可以取出点列 { z n } \{z_n\} {zn​}，$\underset{n\to \infty }{\lim }{z}_n=z_0$，满足$$\underset{n\to \infty }{\lim }f(z_n)=\infty$$②$a$为有限数的情形：如果$z_0$的任意去心邻域都存在点$z^{\prime }$，$f(z^{\prime })=a$，那么结论自然成立
否则，存在去心邻域 B ( z 0 , r ) / { z 0 } B(z_0,r)/\{z_0\} B(z0​,r)/{z0​}，对任意的 z ∈ B ( z 0 , r ) / { z 0 } z\in B(z_0,r)/\{z_0\} z∈B(z0​,r)/{z0​}，都有$$f(z)\ne a$$则在$0<|z-z_0|<r$上$$g(z)=\frac{1}{f(z)-a}$$解析并且$z_0$是$g(z)$的本质极点，因为如果首先$z_0$是$g(z)$的孤立奇点，并且不是可去奇点，因为如果$z_0$是$g(z)$的可去奇点，那么存在复数$c$，$\underset{z\to z_0}{\lim }g(z)=c$，如果$c\ne 0$，那么${\lim }_{z\to z_0}f(z)=\frac{1}{c}$，$z_0$是$f(z)$的可去奇点，矛盾，如果$c=0$，那么${\lim }_{z\to z_0}f(z)=\infty$，$z_0$是$f(z)$的极点，如果$z_0$是$g(z)$的极点，那么$\underset{z\to z_0}{\lim }g(z)=\infty$，故$\underset{z\to z_0}{\lim }f(z)=0$，$z_0$是$f(z)$的可去奇点，矛盾，因此，$z_0$是$g(z)$的本质极点。从而存在点列 { z n } \{z_n\} {zn​}，$\underset{n\to \infty }{\lim }{z}_n=z_0$，$\underset{n\to \infty }{\lim }g(z_n)=\infty$，故$\underset{n\to \infty }{\lim }f(z_n)=a$。

例5.7 0是$f(z)=e^{\frac{1}{z}}$的本质极点，因为$$e^{\frac{1}{z}}=\sum _{n=0}^{\infty }\frac{1}{n!z^n}$$令$z_n=\frac{1}{n},n=1,2,\cdots$，$f(z_n)=e^n$，$\underset{n\to \infty }{\lim }{e}^n=\infty$，令$z_n=-\frac{1}{n}$，$f(z_n)=e^{-n}$，$\underset{n\to \infty }{\lim }{e}^{-n}=0$，对任何非零的有限复数$c$，令$$e^{\frac{1}{z}}=c$$那么$$\frac{1}{z}=\ln |c|+i(\arg c+2k\pi )k=0,\pm 1,\pm 2,\cdots$$令$z_n=\frac{1}{\ln |c|+i(\arg c+2n\pi )}$，$f(z_n)=c$，$\underset{n\to \infty }{\lim }f(z_n)=c$

由例5.7可以看出，除了0外，对任何有限复数$c$，$0$的任意去心邻域都存在点$z^{\prime }$，$f(z^{\prime })=c$，这不是偶然

皮卡大定理：$z_0$是$f(z)$的本质极点，除去一个例外值$c^{\prime }$，对任意的$c\ne c^{\prime }$，对任意的$\delta >0$，存在$0<|z|<\delta$，$f(z)=c$