【复变函数与积分变换】05. 留数

5 留数

5.1 孤立奇点的分类及其性质

孤立奇点的分类

如果函数 $f(z)$ 虽然在 $z_0$ 不解析，但在 $z_0$ 的某一个去心邻域 { 0 < ∣ z − z 0 ∣ < δ } \{0 < |z − z_0| < \delta\} { 0<∣z−z0​∣<δ} 内处处解析，则 $z_0$ 称为 $f(z)$ 的孤立奇点。

如果 $z_0$ 是 $f(z)$ 的孤立奇点，则在 $z_0$ 的某个去心邻域 { z ; 0 < ∣ z − z 0 ∣ < δ } \{z;0<|z-z_0|<\delta\} { z;0<∣z−z0​∣<δ} 内，$f(z)$ 可以展开成洛朗级数
$$f(z)=\sum _{n=-\infty }^{+\infty }{C}_n(z-z_0{)}^n=\sum _{n=-\infty }^{-1}{C}_n(z-z_0{)}^n+\sum _{n=0}^{+\infty }{C}_n(z-z_0{)}^n$$
有以下三种情况：

(1) $f(z)$ 的洛朗级数的主部为零，此时称 $z_0$ 为 $f(z)$ 的可去奇点。

• $\underset{z\to z_0}{\lim }f(z)=C_0$

(2) $f(z)$ 的洛朗级数的主部只有有限项，且其中关于 $(z-z_0{)}^{-1}$ 的最高幂次为 $m$ ，即
$$f(z)=C_{-m}(z-z_0{)}^{-m}+...+C_{-1}(z-z_0{)}^{-1}+\sum _{n=0}^{+\infty }{C}_n(z-z_0{)}^n$$
$m\ge 1,C_{-m}\ne 0$ ，此时称 $z_0$ 为 $f(z)$ 的 $m$ 级奇点。

• $\underset{z\to z_0}{\lim }f(z)=\infty$
• $f(z)$ 可以写成

$$f(z)=\frac{g(z)}{(z-z_0{)}^m}=\frac{\sum _{n=0}^{\infty }{C}_{n-m}(z-z_0{)}^n}{(z-z_0{)}^m}$$

• 其中 $g(z)$ 在 $|z-z_0|<\delta$ 内是解析函数，且 $g(z_0)\ne 0$

(3) $f(z)$ 的洛朗级数的主部有无穷多项，此时称 $z_0$ 为 $f(z)$ 的本性奇点。

• $\underset{z\to z_0}{\lim }f(z)$ 不存在（不是 $\infty$ ）

一个总结：我们可以利用复变函数极限的不同情形来判别孤立奇点的类型。

• 如果 $z_0$ 为 $f(z)$ 的可去奇点 $⟺$ $\underset{z\to z_0}{\lim }f(z)$ 存在且有限
• 如果 $z_0$ 为 $f(z)$ 的极点 $⟺$ lim ⁡ z → z 0 f ( z ) = ∞ \displaystyle\lim_{z\to z_0}f(z)=\infty