【复变】解析函数孤立奇点类型的判断及应用

解析函数孤立奇点类型的判断及应用

预备知识

定义

如果函数 $f(z)$ 在点 $a$ 的某一去心邻域 $K-a:0<|z-a|<R$ （即除去圆心 $a$ 的某圆）内解析，点 $a$ 是 $f(z)$ 的奇点，则称 $a$ 为 $f(z)$ 的一个孤立奇点。
如果 $a$ 为 $f(z)$ 的一个孤立奇点，则必存在 $R>0$ ，使得 $f(z)$ 在点 $a$ 的去心邻域 $K-a:0<|z-a|<R$ 内可展成Laurent级数.

孤立奇点的类型

若 $z_0$ 为 $f(z)$ 的孤立奇点，则 $f(z)$ 在点 $z_0$ 的去心邻域 $K-z_0:0<|z-z_0|<R$ 内可展成laurent级数 $f(z)=\sum _{n=-\infty }^{\infty }{C}_n(z-z_0{)}^n$ .其中称负幂部分 $\sum _{n=1}^{\infty }{C}_{-n}(z-z_0{)}^{-n}$ 为 $f(z)$ 在点 $z_0$ 的主要部分。
孤立奇点按函数在 $z_0$ 的去心邻域内的laurent展开式中负幂项的个数分类

• 可去奇点：展开式中不含 $z-z_0$ 的负幂项
  
  $f(z)=c_0+c_1(z-z_0)+c_2(z-z_0{)}^2+\cdots$
• 极点：展开式中含有限 $z-z_0$ 的负幂项
  
  $f(z)=\frac{c_{-m}}{(z-z_0{)}^m}+\frac{c_{-(m-1)}}{(z-z_0{)}^{m-1}}+\cdots +\frac{c_{-1}}{(z-z_0)}+c_0+c_1(z-z_0)+c_2(z-z_0{)}^2+\cdots =\frac{g(z)}{(z-z_0{)}^m}$
• 本性奇点：展开式中含无穷多项 $z-z_0$ 的负幂项
  
  $f(z)=\cdots +\frac{c_{-m}}{(z-z_0{)}^m}+\frac{c_{-(m-1)}}{(z-z_0{)}^{m-1}}+\cdots +\frac{c_{-1}}{(z-z_0)}+c_0+c_1(z-z_0)+c_2(z-z_0{)}^2+\cdots$

孤立奇点类型的判别方法

可去奇点

如果 $f(z)$ 在 $z=z_0$ 的Laurent展开式中不含 $z-z_0$ 的负幂项，则称孤立奇点 $z_0$ 是 $f(z)$ 的可去奇点。

以下三个条件等价：

• $f(z)$ 在 $z=z_0$ 的Laurent展开式中不含 $(z-z_0)$ 的负幂项
• $\underset{z\to z_0}{\lim }f(z)$ 存在
• $f(z)$ 在 $z_0$ 的某去心邻域内有界

极点

如果$f(z)$在$z=z_0$的Laurent展开式中只含有限项$(z-z_0)$的负幂项，则称孤立奇点$z_0$是$f(z)$的极点。若负幂的最高项为$(z-z_0{)}^{-m}$，则$z_0$称为$m\text{m}m$级极点。

以下三个条件等价：

• $f(z)$ 在 $z=z_0$ 的Laurent展开式中只含有限项 $z-z_0$ 的负幂项
• $\underset{z\to z_0}{\lim }f(z)=\infty$
• $z_0$ 是 $\frac{1}{f(z)}$ 的零点

零点和极点的关系：

不恒等于0的解析函数 $f(z)$ 若能表示为 $f(z)=(z-z_0{)}^m\phi (z)$ ,其中 $\phi (z)$ 在 $z_0$ 解析，且$\phi (z_0)\ne 0,m$ 为一正整数，则称 $z_0$ 为 $f(z)$ 的 $m\text{m}m$ 级零点。

• 若 $f(z)$ 解析， $z_0$ 为 $f(z)$ 的 $m$ 级零点的充要条件是
  $$f^{(n)}(z_0)=0,n=0,1,2,\cdots ,m-1;f^m(z_0)\ne 0.$$
• 一个不恒为零的解析函数的零点是孤立的.
• 若 $z_0$ 是 $f(z)$ 的 $m$ 级极点，则 $z_0$ 是 $\frac{1}{f(z)}$ 的 $m$ 级零点，反之也成立.

本性奇点（本质奇点）

如果 $f(z)$ 在 $z=z_0$ 的Laurent展开式中含 $(z-z_0)$ 的无穷多负幂项，则称孤立奇点 $z_0$ 是 $f(z)$ 的本质奇点。

等价条件：

• $z_0$ 是 $f(z)$ 的本质奇点$\iff$$\underset{z\to z_0}{\lim }f(z)$不存在且不等于$\infty$

性质：

• Weierstrass定理

  若 $z=z_0$ 是 $f(z)$ 的本质奇点，则对于任一复数 ${\omega }_0$ 及任给的 $ϵ>0$ ，任意的 $r>0$ ，在区域 $0<|z-z_0|<r$ 中比存在一点 $z^{\prime }$ ，使得 $|f(z^{\prime })-{\omega }_0|<ϵ.$

  推论：在任意一个圆环域 $0<|z-z_0|<r$ 中，必存在序列 $z_n$ ,使得 $\underset{z_n\to z_0}{\lim }f(z)={\omega }_0$

• picard定理

  解析函数 $f(z)$ 在本质奇点 $z=z_0$ 的任何邻域内，能够取任意一个有限值无穷次，至多有一个值例外.

在无穷远点的情况

如果 $f(z)$ 在 $z=\infty$ 的去心邻域 $R<|z|<+\infty$ 内解析，则称点 $\infty$ 是 $f(z)$ 的孤立奇点.

作变换 $t=\frac{1}{z}$ (把扩充 $z$ 平面上的无穷远点 $z=\infty$ 映射为扩充 $t$ 平面上的点 $t=0$ ）且有 $f(z)=f(\frac{1}{t})=\phi (t)$
则 $z=\infty$ 为 $f(z)$ 的可去奇点，极点，本性奇点等价为 $t=0$ 是 $\phi (t)$ 的可去奇点，极点，本性奇点.

例题

1. $$f(z)=\frac{sinz}{z^3}$$ 解： $z=0$ 为 $f(z)$ 的孤立奇点， $f(z)$ 在 $z=0$ 的洛朗展式为
   $$f(z)=\frac{sinz}{z^3}=\frac{1}{z^2}-\frac{1}{3!}+\frac{z^2}{5!}-o(z^2),0<|z|<\infty$$所以 $z=0$ 是 $f(z)$ 的二级极点（也可由 $z=0$ 为 $\frac{1}{f(z)}$ 的二级零点得出）.
2. $$f(z)=\frac{ln(z+1)}{z}$$解： $z=0$ 为 $f(z)$ 的孤立奇点，且 $\underset{z\to 0}{\lim }f(z)=1$ 所以 $z=0$ 为 $f(z)$ 的可去奇点.
3. $$f(z)=e^{\frac{1}{z-1}}$$解： $z=1$ 为 $f(z)$ 的孤立奇点，而 $f(z)$ 在 $z=1$ 的去心邻域的洛朗展式为
   $$f(z)=e^{\frac{1}{z-1}}=1+\frac{1}{z-1}+\frac{1}{2!(z-1{)}^2}+\cdots +\frac{1}{n!(z-1{)}^n}$$其中含有无穷项 $z-1$ 的负幂项，所以为本性奇点.