解析函数的孤立奇点-复变函数

孤立奇点的定义

设$z_0$是$f(z)$的一个奇点，且$f(z)$在$0<|z-z_0|<\delta$内解析，则称$z_0$为$f(z)$的一个孤立奇点（也称单值性孤立奇点），支点称为多值性孤立奇点.
因为$f(z)$在$0<|z-z_0|<\delta$内解析，则在$0<|z-z_0|<\delta$内有

$$f(z)=\sum _{n=-\infty }^{+\infty }{C}_n{\left(z-z_0\right)}^n=\sum _{n=0}^{+\infty }{C}_n{\left(z-z_0\right)}^n+\sum _{n=1}^{+\infty }{C}_{-n}{\left(z-z_0\right)}^{-n}$$
其中$\sum _{n=-\infty }^{+\infty }{C}_n{\left(z-z_0\right)}^n$称为孤立奇点$z_0$的正则部分，而$\sum _{n=1}^{+\infty }{C}_{-n}{\left(z-z_0\right)}^{-n}$成为$f(z)$在孤立奇点$z_0$的主要部分.

孤立奇点的分类

1.可去奇点：如果$f(z)$在$z_0$的主要部分为零，则称$z_0$为$f(z)$的可去奇点（0是$\frac{sinz}{z}$的可去奇点).
2.极点：如果$f(z)$在$z_0$的主要部分为
$$\frac{C_{-m}}{{\left(z-z_0\right)}^m}+\frac{C_{-m+1}}{{\left(z-z_0\right)}^{m-1}}+\cdots +\frac{C_{-1}}{{\left(z-z_0\right)}^{}},C_{-m}̸=0,$$则称$z_0$为$f(z)$的$m$级极点，一级极点也成为简单极点(0是$\frac{sinz}{z^2}$的简单奇点).
3.本性奇点：如果$f(z)$在$z_0$的主要部分有无穷多项，则称$z_0$为$f(z)$的本性奇点(0是$e^{\frac{1}{z}}$的本性奇点).

奇点类型的判别

1.可去奇点的判别
\qquad 定理：设函数$f(z)$在$0<|z-z_0|<R(0<R\le +\infty )$内解析.那么$z_0$是$f(z)$可去奇点的充分必要条件是$\underset{z\to z_0}{\lim }={\alpha }_0$，其中${\alpha }_0$是一有限复数.
\qquad 推论：$f(z)$在$0<|z-z_0|<R(0<R\le +\infty )$内解析.那么$z_0$是$f(z)$可去奇点的充分必要条件是存在正数$\delta (\delta \le R)$使得$f(z)$在 Δ ( z 0 , δ ) &NegativeThinSpace; ∖ &NegativeThinSpace; { z 0 } \Delta (z_0,\delta)\!\setminus\!\{z_0\} Δ(z0​,δ)∖{z0​}内有界.
2.极点的判别
\qquad 定理：设$f(z)$在$0<|z-z_0|<R(0<R\le +\infty )$内解析，则下面三个结论是等价的.
\qquad \qquad (1)$z_0$是$f(z)$的$m$级极点.
\qquad \qquad (2) f ( z ) = φ ( z ) ( z − z 0 ) m ( z ∈ Δ ( z 0 , R ) &NegativeThinSpace; ∖ &NegativeThinSpace; { z 0 } ) f(z)=\frac{\varphi(z)}{\left(z-z_0\right){^m }}(z\in\Delta(z_0,R)\!\setminus\!\{z_0\}) f(z)=(z−z0​)mφ(z)​(z∈Δ(z0​,R)∖{z0​})，其中$\phi (z)$在$|z-z_0|<R$内解析，且$\phi (z_0)̸=0$.
\qquad \qquad (3)$z_0$是$g(z)=\frac{1}{f(z)}$的$m$级零点.
\qquad 推论：$f(z)$在$0<|z-z_0|<R(0<R\le +\infty )$内解析，$z_0$为$f(z)$的极点的充分必要条件是$\underset{z=z_0}{\lim }f(z)=\infty$.
3.本性奇点的判别
\qquad 定理：$f(z)$在$0<|z-z_0|<R(0<R\le +\infty )$内解析，则$z_0$为$f(z)$的本性奇点的充分必要条件是$\underset{z=z_0}{\lim }f(z)$不存在(有限或无限).
\qquad 定理：设$z_0$是$f(z)$的本性奇点，且在$z_0$的一个去心邻域$\Delta (z_0,\delta )$内不为零，则$z_0$也是$\frac{1}{f(z)}$的本性奇点.
\qquad 定理（魏尔斯特拉斯定理）：设函数$f(z)$在$0<|z-z_0|<R$内解析，那么$z_0$为$f(z)$的本性奇点的充分必要条件是：对于任何$A\in \hat{\mathbb{C}}$，存在一收敛于$z_0$的 { z n } \{z_n\} {zn​}，使得$\underset{n\to \infty }{\lim }=A$.
\qquad 定理（皮卡定理）：设$f(z)$在$0<|z-z_0|<R(0<R\le +\infty )$内解析，那么$z_0$为$f(z)$的本性奇点的充分必要条件是：对于任何复数$A\in \hat{\mathbb{C}}$，至多除去一个可能的例外值$A_0$外，必有趋于$z_0$的无穷点列 ，使得$f(z_n)=A$.可能的例外值$A_0$（如果存在），称为$f(z)$的Picard例外值.$A=0$是$e^{\frac{1}{z}}$的Picard例外值.

参考文献

<廖良文. [Fundamentals of Complex Analysis]. 北京: 科学出版社, 2014.>