KNOWECON WIKI

ARTICLE

孤立奇点

孤立奇点 (Isolated Singularity) 孤立奇点 (Isolated Singularity) 是复分析中的核心概念，指复变函数在其上不解析、但在该点的某个去心邻域内处处解析的点。即存在 > 0，使函数在 0 < |z - z_0| < 内解析，而在 z_0 处不解析或无定义。孤立奇点的分类是复变函数论的基础内容，对理解留数定理和围道积分至关

浏览 0 更新 2025-12-20

孤立奇点 (Isolated Singularity)

孤立奇点 (Isolated Singularity) 是复分析中的核心概念，指复变函数在其上不解析、但在该点的某个去心邻域内处处解析的点。即存在 δ>0\delta > 0，使函数在 0<∣z−z0∣<δ0 < |z - z_0| < \delta 内解析，而在 z0z_0 处不解析或无定义。孤立奇点的分类是复变函数论的基础内容，对理解留数定理和围道积分至关重要。

孤立奇点的三种类型

根据函数在奇点附近的洛朗级数展开行为，孤立奇点分为三类：

  1. 可去奇点 (Removable Singularity)：洛朗级数不含负幂次项（主部为零）。函数在该点存在有限极限，通过补充定义可使函数解析。例如 f(z)=sin⁡z/zf(z) = \sin z / z 在 z=0z = 0 处（定义 f(0)=1f(0) = 1 后解析）。Riemann 可去奇点定理指出：若函数在奇点附近有界，则该奇点必为可去奇点。
  2. 极点 (Pole)：洛朗级数的负幂次项只有有限多项。若最高负幂次为 mm，称为 mm 阶极点。函数在极点处趋于无穷：lim⁡z→z0∣f(z)∣=∞\lim_{z \to z_0} |f(z)| = \infty。例如 f(z)=1/(z−1)2f(z) = 1/(z-1)^2 在 z=1z=1 处有一个二阶极点。极点是留数定理中最常遇到的奇点类型。
  3. 本性奇点 (Essential Singularity)：洛朗级数的负幂次项有无穷多项。函数在本性奇点附近的行为极其复杂。Casorati-Weierstrass 定理指出：在本性奇点的任意邻域内，函数值可任意接近任何复数。更强的 Picard 大定理断言：在本性奇点的任意邻域内，函数取遍所有复数值，至多有一个例外。经典例子为 f(z)=e1/zf(z) = e^{1/z} 在 z=0z = 0 处（洛朗展开：1+1/z+1/(2! z2)+⋯1 + 1/z + 1/(2!\,z^2) + \cdots）。

奇点类型的判定方法

实践中可借助极限行为快速判别孤立奇点的类型：

  • 若 lim⁡z→z0f(z)\lim_{z \to z_0} f(z) 存在且有限，则 z0z_0 为可去奇点。
  • 若 lim⁡z→z0f(z)=∞\lim_{z \to z_0} f(z) = \infty，则 z0z_0 为极点。
  • 若 lim⁡z→z0f(z)\lim_{z \to z_0} f(z) 不存在（无论有限或无穷），则 z0z_0 为本性奇点。

对于极点，其阶数 mm 可通过检查 lim⁡z→z0(z−z0)mf(z)\lim_{z \to z_0} (z - z_0)^m f(z) 是否非零有限来确定。

与留数定理的关系

孤立奇点是留数计算的直接对象。函数在孤立奇点 z0z_0 处的留数 Res⁡(f,z0)\operatorname{Res}(f, z_0) 等于其洛朗展开中 (z−z0)−1(z - z_0)^{-1} 的系数。若 z0z_0 为 mm 阶极点，留数公式为：

Res⁡(f,z0)=1(m−1)!lim⁡z→z0dm−1dzm−1[(z−z0)mf(z)]\operatorname{Res}(f, z_0) = \frac{1}{(m-1)!} \lim_{z \to z_0} \frac{d^{m-1}}{dz^{m-1}} \left[ (z - z_0)^m f(z) \right]

留数定理表明：沿简单闭合曲线的积分等于曲线内部所有孤立奇点留数之和乘以 2πi2\pi i。这使得孤立奇点的分类和留数计算成为求解复积分的核心工具。

相关概念与延伸

孤立奇点的理论框架与若干相关概念紧密相连。亚纯函数 (Meromorphic Function) 是仅在区域内具有极点的函数，其所有奇点均为孤立极点。无穷远点 ∞\infty 也可通过变换 w=1/zw = 1/z 视为奇点进行分类——函数在无穷远处的行为由其洛朗展开中正幂次项决定。在微分方程的奇点理论中，正则奇点和非正则奇点的分类借用类似思想。孤立奇点的三分法为复分析乃至更广泛的数学物理研究提供了基础语言和分析框架。