KNOWECON WIKI

ARTICLE

留数

留数 (Residue) 留数是复分析中的核心概念之一。给定一个在孤立奇点 z_0 附近解析的复变函数 f(z)，将其展开为洛朗级数： 则 留数 Res(f, z_0) 定义为该级数中 (z - z_0)^-1 项的系数 a_-1，即： 从几何和物理直觉来看，留数量化了函数在奇点附近的"旋转强度"——它等于函数沿包围该奇点的闭合路径积分后除以 2 i 的值。

浏览 0 更新 2025-11-04

留数 (Residue)

留数是复分析中的核心概念之一。给定一个在孤立奇点 z0z_0 附近解析的复变函数 f(z)f(z)，将其展开为洛朗级数：

f(z)=∑n=−∞∞an(z−z0)nf(z) = \sum_{n=-\infty}^{\infty} a_n (z - z_0)^n

则 留数 Res⁡(f,z0)\operatorname{Res}(f, z_0) 定义为该级数中 (z−z0)−1(z - z_0)^{-1} 项的系数 a−1a_{-1}，即：

Res⁡(f,z0)=a−1\operatorname{Res}(f, z_0) = a_{-1}

从几何和物理直觉来看，留数量化了函数在奇点附近的"旋转强度"——它等于函数沿包围该奇点的闭合路径积分后除以 2πi2\pi i 的值。

留数定理

留数定理（Residue Theorem）是复分析中最重要的积分工具之一。设 CC 为一条简单闭合正向曲线，函数 f(z)f(z) 在 CC 的内部除有限个孤立奇点 z1,z2,…,znz_1, z_2, \ldots, z_n 外处处解析，且在 CC 上连续，则：

∮Cf(z) dz=2πi∑k=1nRes⁡(f,zk)\oint_C f(z)\, dz = 2\pi i \sum_{k=1}^{n} \operatorname{Res}(f, z_k)

该定理将复杂的围道积分转化为对各奇点留数的简单代数求和，极大地简化了积分计算。它是柯西积分公式和柯西积分定理的自然推广。

留数的计算

留数的计算方法取决于奇点的类型。

一阶极点（简单极点）：若 z0z_0 为 f(z)f(z) 的一阶极点，则：

Res⁡(f,z0)=lim⁡z→z0(z−z0)f(z)\operatorname{Res}(f, z_0) = \lim_{z \to z_0} (z - z_0) f(z)

当 f(z)=P(z)Q(z)f(z) = \frac{P(z)}{Q(z)}，其中 P(z0)≠0P(z_0) \neq 0，Q(z0)=0Q(z_0) = 0 且 Q′(z0)≠0Q'(z_0) \neq 0 时，有简便公式：

Res⁡(f,z0)=P(z0)Q′(z0)\operatorname{Res}(f, z_0) = \frac{P(z_0)}{Q'(z_0)}

mm 阶极点：若 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]

本性奇点处的留数只能通过直接展开洛朗级数求取。无穷远点的留数定义为 Res⁡(f,∞)=−Res⁡(1z2f(1z),0)\operatorname{Res}(f, \infty) = -\operatorname{Res}\left(\frac{1}{z^2}f\left(\frac{1}{z}\right), 0\right)，且所有有限奇点留数与无穷远点留数之和为零。

应用

留数定理最经典的应用是计算实分析中难以处理的实反常积分。例如，计算 ∫−∞∞sin⁡xx dx\int_{-\infty}^{\infty} \frac{\sin x}{x}\, dx，可构造上半平面的围道积分，利用 eizz\frac{e^{iz}}{z} 在实轴上的半留数贡献得到结果为 π\pi。

另一类典型应用是形如 ∫02πR(cos⁡θ,sin⁡θ) dθ\int_{0}^{2\pi} R(\cos\theta, \sin\theta)\, d\theta 的三角函数有理式积分。通过变量代换 z=eiθz = e^{i\theta}，积分转化为单位圆周上的复积分，再利用留数定理求解。

在经济学和金融学中，留数定理通过拉普拉斯变换的逆变换间接发挥作用。许多动态经济模型——如理性预期下的差分方程、连续时间资产定价模型——在求解时依赖拉普拉斯逆变换：

f(t)=12πi∫γ−i∞γ+i∞F(s)est dsf(t) = \frac{1}{2\pi i} \int_{\gamma - i\infty}^{\gamma + i\infty} F(s) e^{st}\, ds

该 Bromwich 积分的计算本质上是对被积函数各极点留数的求和。此外，在时间序列分析中，ARMA模型的特征根分布与平稳性判别、谱密度函数的计算也涉及复平面上的留数思想。在信号处理和控制理论中，留数定理用于分析系统的稳定性与频率响应，这些方法在宏观经济的动态随机一般均衡（DSGE）模型中也有间接应用。

留数定理以其优雅性——将全局积分问题约化为局部奇点分析——成为连接复分析理论与应用计算的桥梁，在纯数学、物理学、工程学及数理经济学中均有广泛应用。