复变函数论5-3-解析函数在无穷远点的性质7：函数f(z)的孤立奇点∞为本质奇点的充要条件

定理 5.6

函数 $f(z)$ 的孤立奇点 $a$ 为本质奇点的充要条件是

$$\underset{z\to a}{\lim }f(z)\ne \{\begin{array}{l}b(有限数),\\ \infty ,\end{array}即\underset{z\to a}{\lim }f(z)不存在$$

这可由定理 5.3(2) 及定理 5.5 得到证明.

---

定理 $5.6^{\prime }$ (对应于定理 5.6)

函数 $f(z)$ 的孤立奇点 $\infty$为本质奇点的充要条件是下列两条中的任何一条成立:
(1) $f(z)$ 在 $z=\infty$ 的主要部分有无穷多项正幕不等于零.
(2) $\underset{z\to \infty }{\lim }f(z)$ 不存在 (即当 $z$ 趋向于$\infty$ 时, $f(z)$ 不趋向于任何 (有限或无穷)极限).

注 定理 5.7, 定理 5.8 及定理 5.9 对 $z=\infty$ 是 $f(z)$ 的本质奇点也真.

例 5.14
函数$f(z)=\frac{\left(z^2-1\right)(z-2{)}^3}{(\sin \pi z{)}^3}$在扩充复平面内有些什么类型的奇点? 若是极点, 指出其阶.

解
分母的零点为函数的奇点, 而 $\sin \pi z$ 的零点为

$$\begin{array}{c}z=n(n=0,\pm 1,\pm 2,\cdots ),\\ {(\sin \pi z{)}^{\prime }|}_{z\cdots n}=\pi \cos n\pi =(-1{)}^n\pi \ne 0,\end{array}$$

所以这些点都是 $\sin \pi z$ 的一阶零点, 故这些点中除 $-1,1,2$ 外, 都是$f(z)$ 的三阶极点.因 $z^2-1=(z-1)(z+1)$ 以 1 与 -1 为一阶零点, 所以 1与 -1 是 $f(z)$ 的二阶极点.当 $z=2$ 时, 因为

$$\underset{z\to 2}{\lim }f(z)=\underset{z\to 2}{\lim }\frac{\left(z^2-1\right)(z-2{)}^3}{(\sin \pi z{)}^3}=\frac{3}{{\pi }^3},$$

于是 $z=2$ 是 $f(z)$ 的可去奇点.

当 $z=\infty$ 时, 设 t = 1 z , f ( 1 t ) = ( 1 − t 2 )