1 极点的基本定义
复平面中，给定复函数 \(f(z)\) 在某点 \(z_0\) 的邻域内解析性受到破坏时，就会出现“奇点”。在解析函数论中，“极点”（pole）用于刻画这种破坏的严重程度：它是一种在 \(z_0\) 附近按有限阶“倒数”形式发散的奇点，而不是任意形式的无界或更复杂的非解析行为。
1.1 解析性与奇点的分类
若函数在点 \(z_0\) 的某个邻域内解析，则 \(z_0\) 不是奇点。反之，若存在邻域使得 \(f\) 在该点不解析，则称 \(z_0\) 为奇点。奇点并不等价于“发散”，因为复函数在奇点处可能以不同方式表现出来：有些可以“补上”使其解析（可去奇点），有些会表现为有规律的无穷大趋势（极点），也有些会出现更难以用有限阶倒数表示的行为（本性奇点）。
1.2 极点的形式刻画
极点的核心定义可通过局部形式给出。直观上，极点意味着：在 \(z_0\) 附近，\(f(z)\) 可以表示成某个有限阶的零的倒数形式外加更温和的项。
1.2.1 洛朗展开中的主部与阶数
如果 \(z_0\) 是 \(f\) 的极点，则在 \(z_0\) 附近 \(f\) 可写成洛朗展开 \[ f(z)=\sum_{k=-m}^{\infty} a_k (z-z_0)^k,\quad a_{-m}\neq 0, \] 则该点为极点，且极点阶数为 \(m\)。其中，洛朗级数中从 \(k=-m\) 到 \(k=-1\) 的部分称为“主部”，它决定了发散的强度；而从 \(k=0\) 起的部分是解析的“正则部分”。
1.2.2 与可去奇点、零点的对比
可去奇点对应的是：尽管原函数在 \(z_0\) 处不解析，但若乘以适当因子或直接重新定义函数值，仍可得到在 \(z_0\) 解析的扩展；在洛朗展开中表现为主部不存在，即从 \(k=-1\) 往下全为零。极点则相反：主部至少包含某个负次项，且最高负次项的次数就是阶数。
此外，“零点”与“极点”在形式上互为对偶：若 \(f(z)\) 在 \(z_0\) 附近可写为 \((z-z_0)^m g(z)\)（\(g(z_0)\neq 0\)），则 \(z_0\) 是零点，且零点阶数为 \(m\)。因此，若考虑倒数函数 \(1/f(z)\)，零点会对应为极点。
1.3 阶数（order）的严格表述
极点阶数可用多种等价方式严格刻画。常见表述包括：
- 存在正整数 \(m\) 使得 \((z-z_0)^m f(z)\) 在 \(z_0\) 附近解析，并且该函数在 \(z_0\) 处不为零；但对于更小的正整数 \(m-1\)，\((z-z_0)^{m-1} f(z)\) 将仍在 \(z_0\) 处发散或不解析。
- 在洛朗展开中，最小的指数为 \(-m\)，即主部的最低次项为 \(a_{-m}(z-z_0)^{-m}\) 且 \(a_{-m}\neq 0\)。
因此，“极点阶数”就是局部发散的最高有限“倒数阶”。
2 极点的性质与刻画
极点不仅是类型分类的一种，还具有可量化的局部性质。它的阶数决定了在趋近该点时函数增长到无穷大的速度，并可与留数、导数极限等计算工具紧密联系。
2.1 局部行为与发散速度
若 \(z_0\) 是 \(m\) 阶极点，则在 \(z\to z_0\) 时 \[ f(z)\sim \frac{a_{-m}}{(z-z_0)^m}, \]
| 也就是说，主导项的增长速度与 \( | z-z_0 | ^{-m}\) 同阶。阶数越高，发散越“强烈”：一阶极点表现为类似 \(1/(z-z_0)\) 的无界，而高阶极点具有更快的幅度增长。 |
|---|
2.2 极点与留数的关系
留数是局部展开中的一个关键系数。若 \(f\) 在 \(z_0\) 具有极点，其洛朗展开为 \[ f(z)=\sum_{k=-m}^{\infty} a_k (z-z_0)^k, \] 那么留数定义对应于 \((z-z_0)^{-1}\) 的系数： \[ \operatorname{Res}(f,z_0)=a_{-1}. \] 因此，极点的阶数越高，并不直接等于留数大小，但留数始终从主部中提取“最次的负一次项”获得，进而成为后续积分计算的枢纽。
2.3 极点阶数的计算方法
实际问题常见需求是：已知函数表达式或其局部结构，如何确定某点是否为极点以及其阶数。
2.3.1 通过分母为零的阶数判断
当 \(f(z)\) 以有理函数或“解析因子比解析因子”的形式出现，例如 \[ f(z)=\frac{g(z)}{h(z)}, \] 其中 \(g,h\) 在 \(z_0\) 附近解析，且 \(h(z_0)=0\)。若 \(h\) 在 \(z_0\) 的零点阶数为 \(n\)，而 \(g\) 在 \(z_0\) 的零点阶数为 \(r\)（或 \(g(z_0)\neq0\) 视作 \(r=0\)），则 \(f\) 在 \(z_0\) 的极点阶数为 \[ m=n-r, \] 当 \(n>r\) 时为极点；若 \(n=r\) 则该点可能是可去奇点；若 \(n<r\) 则该点更可能是零点而非极点。该判据本质上是把公共因子消去后的最强发散项定位出来。
2.3.2 通过导数/极限判别
也可用“将主部消去后取极限”的方式得到阶数与相关系数。若 \(z_0\) 是 \(m\) 阶极点，则 \[ \lim_{z\to z_0}(z-z_0)^m f(z) \] 存在且为有限非零值；而对小于 \(m\) 的指数，极限将趋于无穷或无法取得非零有限值。结合这一思路，可通过尝试最小化 \(m\) 来确定阶数。进一步，留数也可由将高阶因子“消去”后的导数形式计算（在有理结构或可解析因子条件下尤为常见）。
3 相关概念与对照
极点的意义往往通过与其他奇点类型的区别来凸显。以下概念用于建立对照框架，并帮助理解“倒数式发散”与“更复杂非解析行为”的边界。
3.1 本性奇点
本性奇点指的是一种更“失控”的非解析行为：它在邻域内的表现无法通过有限阶的主部（有限负次项）来描述，洛朗展开在该点的主部包含无限多的负次项。与极点不同，本性奇点不具有“有限阶倒数”的限制，函数可能在该点附近表现出极其不规则的性质。
3.2 可去奇点
可去奇点是最“温和”的奇点。若函数在 \(z_0\) 附近不解析，但存在方式（例如重新定义 \(f(z_0)\) 或乘以适当因子）使得其在 \(z_0\) 处可扩展为解析函数，则称 \(z_0\) 为可去奇点。洛朗意义下，可去奇点对应的主部为零，即洛朗展开从非负次项开始。
3.3 本质区别：孤立奇点分类总览
对孤立奇点而言，常见分类是：可去奇点、极点、本性奇点三类。直观上：
- 可去奇点：局部可“修补”为解析；
- 极点：局部可写成有限阶倒数形式；
- 本性奇点：主部需要无限多项，无法用有限主部概括。
这种分类在洛朗展开视角下最为清晰：主部是否存在、是否有限、是否无限，从而对应三种类型。
3.4 “极点 vs 零点”：倒数关系与直观类比
“极点与零点”的对应关系可以用倒数来理解：若 \(f(z)\) 在 \(z_0\) 有 \(m\) 阶零点，则 \(1/f(z)\) 在同一点具有 \(m\) 阶极点（只要倒数在该邻域除该点外是良定义的）。因此，它们在局部形式上互为镜像：零点对应“乘上 \((z-z_0)^m\) 后不再消失”，而极点对应“乘上 \((z-z_0)^m\) 后不再发散”，都体现了“阶数来自主导幂次”的共同结构。
4 计算工具与应用场景
极点在复分析中不仅是理论分类，也是一套可操作的计算入口，尤其在留数定理与局部展开、分解表达式等场景里反复出现。
4.1 留数定理中的典型角色
留数定理将围道积分转化为奇点处留数的求和。若一个函数在某些孤立点有极点，这些点通常都对积分贡献非零留数。换言之，极点并不直接“出现在积分里”，但它通过局部展开系数 \(a_{-1}\)（即留数）间接参与结果。该机制也解释了为何“主部越复杂”并不必然带来更复杂的积分：积分所需的信息主要集中在 \((z-z_0)^{-1}\) 这一项。
4.2 部分分式分解与工程化分解
当被积函数或待分析函数具有有理形式时，极点可由分母因子分解得到。对 \[ \frac{P(z)}{Q(z)} \] 若 \(Q(z)\) 可分解为线性因子（或在复数域允许的更一般形式），则每个因子对应的零点会生成相应的极点结构。部分分式分解把整体函数拆成若干项的和，每一项的形式与某个极点的阶数直接相关，从而便于分别计算留数或积分贡献。
4.2.1 重根对应的高阶极点
若 \(Q(z)\) 在 \(z_0\) 处有重根，其重数越高，则在分式分解中对应的最高负次项阶数越大，进而表现为高阶极点。例如，若 \(Q(z)\) 在 \(z_0\) 有 \(n\) 重零点，且分子在该点不抵消（不含同阶零因子），则整体通常会在 \(z_0\) 形成 \(n\) 阶极点。若分子也含有相同因子，则会抵消部分阶数，导致最终阶数下降。
4.3 轮廓积分中的实际计算流程
在轮廓积分（例如沿闭曲线的积分）中，极点提供了从“局部”到“全局”的连接路径。常见计算流程可概括为：确定轮廓内的奇点类型与位置，提取每个极点的留数，最后求和并按留数定理得到积分结果。
4.3.1 从极点到积分结果的步骤化套路
可按以下步骤操作：
- 确定轮廓内的孤立奇点：找出函数在闭曲线内部的所有极点（以及可能的其他奇点类型，通常留数定理仍以孤立奇点处理）。
- 判断奇点是否为极点并确定阶数：通过分母零点阶数或洛朗展开判断局部主部结构。
- 计算每个极点的留数：对一阶极点可直接取 \((z-z_0)^{-1}\) 系数或使用简化公式；对高阶极点可先消去主部再提取相应系数，或采用导数/极限方法。
- 求留数和并乘以系数：将轮廓内所有留数求和，再乘以留数定理给出的常数因子，得到最终积分值。
该套路的关键在于：极点的具体“发散形态”最终被压缩为一个数——留数，从而使复杂问题转化为局部系数计算。