解析函数的洛朗展开与孤立奇点分类

洛朗级数是分析复变函数在孤立奇点附近行为的“X光机”。它将一个在环形区域内解析的函数，分解为两部分：一个只含负幂次项的主要部分，和一个只含非负幂次项的正则部分。通过观察主要部分的结构，我们可以判断奇点的类型并分类。

1. 理解洛朗展开的核心思想

明确：对于在点$z_0$的某个去心邻域$0 < |z - z_0| < R$内解析的函数$f(z)$，它在该邻域内可以展开成唯一的洛朗级数：

$$f(z) = \sum_{n=-\infty}^{+\infty} a_n (z - z_0)^n = \sum_{n=1}^{+\infty} \frac{a_{-n}}{(z - z_0)^n} + \sum_{n=0}^{+\infty} a_n (z - z_0)^n$$

区分两部分：

1. 主要部分：包含所有负幂次项 $\frac{a_{-n}}{(z - z_0)^n}$ 的部分。它集中体现了函数在奇点$z_0$处的“奇异性”有多强。
2. 正则部分：包含所有非负幂次项 $a_n (z - z_0)^n$ 的部分。它是一个在$z_0$解析的函数。

核心结论：孤立奇点的类型完全由洛朗展开的主要部分决定。

2. 掌握洛朗展开的构造方法

对于一个给定的函数，构造洛朗展开式通常有两条路径。

使用已知级数展开：如果函数是常见初等函数的组合，优先利用已知的泰勒展开或几何级数等，通过代数变形（如换元、相乘、相除）得到。

• 示例：展开 $f(z) = \frac{1}{z(z-1)}$ 在 $0 < |z| < 1$ 内的洛朗级数。
  1. 进行部分分式分解：$f(z) = \frac{1}{z-1} - \frac{1}{z}$。
  2. 注意到在 $|z|<1$ 内，$\frac{1}{z-1} = -\frac{1}{1-z}$ 可以展开为几何级数 $\sum_{n=0}^{\infty} z^n$。
  3. 直接写出 $\frac{1}{z}$ 本身。
  4. 合并：$f(z) = -\frac{1}{z} - \sum_{n=0}^{\infty} z^n$。主要部分是 $-\frac{1}{z}$，正则部分是 $-\sum_{n=0}^{\infty} z^n$。

使用积分公式计算系数：洛朗级数的系数由积分公式给出：
$$a_n = \frac{1}{2\pi i} \oint_C \frac{f(\zeta)}{(\zeta - z_0)^{n+1}} d\zeta$$
其中$C$是环绕$z_0$且位于环形域内的任意一条简单闭曲线。理解这个公式的理论意义更重要，实际计算时通常采用第一种方法。

3. 解析孤立奇点的三种类型

定义：函数$f(z)$在$z_0$处不解析，但在$z_0$的某个去心邻域内解析，则称$z_0$为$f(z)$的孤立奇点。

根据洛朗展开主要部分的形式，孤立奇点被分为以下三类：

(1) 可去奇点

• 主要部分特征：没有负幂次项（即主要部分为零）。
• 直观理解：函数在$z_0$附近其实“挺正常”，只是在$z_0$这一点上有个可填补的“漏洞”。定义或补充函数值 $f(z_0) = a_0$ 后，函数就在$z_0$解析了。
• 例子：$f(z) = \frac{\sin z}{z}$ 在 $z=0$ 处。展开后主要部分为零，若补充定义$f(0)=1$，则函数解析。

(2) 极点

• 主要部分特征：只有有限个负幂次项。设主要部分的最高负幂次是 $m$，即：
  $$\frac{a_{-m}}{(z - z_0)^m} + \cdots + \frac{a_{-1}}{(z - z_0)} \quad (a_{-m} \neq 0)$$
• 核心概念：阶数 $m$。此时$z_0$称为$f(z)$的$m$阶极点。
  • $m=1$时称为单极点（或一阶极点）。
• 直观理解：当$z$趋向于$z_0$时，函数值趋向于无穷大，且趋向无穷的速度与$\frac{1}{(z-z_0)^m}$相同。判断阶数$m$等价于寻找最小的正整数$m$，使得极限 $\lim_{z \to z_0} (z - z_0)^m f(z)$ 存在且不为零。
• 例子：$f(z) = \frac{1}{z^3(z-1)}$ 在 $z=0$ 处。主要部分是 $\frac{1}{z^3}$，因此是三阶极点。

(3) 本性奇点

• 主要部分特征：有无穷多个负幂次项。
• 直观理解：函数在$z_0$附近的行为极其复杂、“狂野”。当$z$以不同方式趋向$z_0$时，$f(z)$可以趋向于任何复数值，甚至无穷。
• 例子：$f(z) = e^{1/z}$ 在 $z=0$ 处。它的洛朗展开为 $1 + \frac{1}{z} + \frac{1}{2!z^2} + \cdots$，负幂次项无限多，是本性奇点。

4. 实操判断流程

拿到一个在$z_0$处有孤立奇点的函数$f(z)$，按照以下步骤操作：

1. 确定展开环域。观察函数，找到使得$f(z)$解析的$z_0$的去心邻域$0 < |z - z_0| < R$。
2. 尝试洛朗展开。优先使用已知级数（泰勒展开、几何级数）进行代数运算，得到 $f(z)$ 在该环域内的洛朗级数。
3. 分析主要部分。
   • 如果没有负幂次项 → 判定为可去奇点。
   • 如果只有有限个负幂次项，最高负幂为 $m$ → 判定为 $m$ 阶极点。
   • 如果有无限个负幂次项 → 判定为本性奇点。
4. （对于极点）验证阶数。可以通过计算极限 $\lim_{z \to z_0} (z - z_0)^N f(z)$，找到使该极限存在且非零的最小正整数 $N$，则$N$即为极点的阶数。