TEST
约 1517 个字 4 张图片 预计阅读时间 5 分钟
留数定理（Residue Theorem） 是复变函数积分计算的“终极武器”。
你可以把它理解为**多连通区域柯西积分定理的“自动化升级版”**。 * **多连通柯西定理**告诉我们：大圈积分 = 所有小圈积分之和。 * **留数定理**告诉我们：每个小圈积分 = \(2\pi i \times\) 该奇点的“留数”。
结合起来就是：大圈积分 = \(2\pi i \times\) 所有奇点留数之和。
下面我将从**原理、计算方法、具体例子**三个层面，带你彻底搞懂留数定理。
1. 核心原理：为什么叫“留数”？¶
要理解留数，必须提到**洛朗级数（Laurent Series）**。
任何一个在奇点 \(z_0\) 附近解析的函数 \(f(z)\)，都可以展开成如下形式： $$ f(z) = cdots + frac{a_{-2}}{(z-z_0)^2} + frac{a_{-1}}{z-z_0} + a_0 + a_1(z-z_0) + cdots $$
当我们对这个函数沿包围 \(z_0\) 的小闭曲线 \(C\) 积分时，神奇的事情发生了： * 对于 \((z-z_0)^n\) （\(n \neq -1\)），其原函数是单值的，绕一圈积分结果为 0。 * 唯独对于 \(\frac{1}{z-z_0}\) （\(n = -1\)），其原函数是对数函数 \(\ln(z-z_0)\)（多值函数），绕一圈积分结果为 \(2\pi i\)。
结论：积分算完后，其他项都“消失”了，只有 \(a_{-1}\) 这一项“留”了下来。 所以，\(a_{-1}\) 被称为**留数（Residue）**，记作 \(\text{Res}(f, z_0)\)。
图片示例组
2. 留数定理公式¶
如果函数 \(f(z)\) 在闭合曲线 \(C\) 内部除了有限个奇点 \(z_1, z_2, \dots, z_n\) 外处处解析，那么：
翻译成人话： 1. 找出圈里所有的奇点。 2. 算出每个奇点的留数（即洛朗展开中 \(\frac{1}{z-z_k}\) 的系数）。 3. 把留数加起来，乘以 \(2\pi i\)，就是答案。
3. 怎么算留数？（两个常用公式）¶
你不需要每次都去展开洛朗级数（太慢），有快捷公式：
情况 A：一级极点（Simple Pole）¶
如果 \(z_0\) 是分母的一重根（比如 \(\frac{1}{z-1}\) 中的 1）： $$ text{Res}(f, z_0) = lim_{z to z_0} (z - z_0) f(z) $$
情况 B：\(m\) 级极点（Higher Order Pole）¶
如果 \(z_0\) 是分母的 \(m\) 重根（比如 \(\frac{1}{(z-1)^2}\) 中的 1）： $$ text{Res}(f, z_0) = frac{1}{(m-1)!} lim_{z to z_0} frac{d{m-1}}{dz left[ (z - z_0)^m f(z) right] $$ }(简单记：乘上 \((z-z_0)^m\) 消去奇点，求 \(m-1\) 阶导数，再取极限)
4. 具体例子演示¶
例子 1：一级极点（多个奇点）¶
计算： $$ I = oint_{|z|=2} frac{1}{z^2 + 1} , dz $$
步骤 1：找奇点 分母 \(z^2 + 1 = 0 \implies z_1 = i, \quad z_2 = -i\)。 这两个点都在圆 \(|z|=2\) 内部（因为 \(|i|=1 < 2\)）。
步骤 2：算留数（使用一级极点公式） * 在 \(z=i\) 处： $$ text{Res}(f, i) = lim_{z to i} (z-i) frac{1}{(z-i)(z+i)} = lim_{z to i} frac{1}{z+i} = frac{1}{2i} $$ * 在 \(z=-i\) 处： $$ text{Res}(f, -i) = lim_{z to -i} (z+i) frac{1}{(z-i)(z+i)} = lim_{z to -i} frac{1}{z-i} = frac{1}{-2i} $$
步骤 3：求和并乘以 \(2\pi i\) $$ sum text{Res} = frac{1}{2i} + frac{1}{-2i} = 0 $$ $$ I = 2pi i times 0 = 0 $$
结果：积分为 0。 (注：这也可以用奇偶性理解，但在复变中这是留数相互抵消的结果)
例子 2：二级极点（高阶奇点）¶
计算： $$ I = oint_{|z|=1} frac{ez}{z2} , dz $$
步骤 1：找奇点 分母 \(z^2 = 0 \implies z_0 = 0\)。 这是一个 二级极点（\(m=2\)），且在圆 \(|z|=1\) 内部。
步骤 2：算留数（使用二级极点公式） 公式：\(\text{Res}(f, 0) = \frac{1}{(2-1)!} \lim_{z \to 0} \frac{d}{dz} [ z^2 \cdot \frac{e^z}{z^2} ]\) 1. 消去奇点项：\(z^2 \cdot \frac{e^z}{z^2} = e^z\) 2. 求一阶导数：\(\frac{d}{dz}(e^z) = e^z\) 3. 取极限 \(z \to 0\)：\(e^0 = 1\) 4. 系数 \(\frac{1}{1!} = 1\)
所以，\(\text{Res}(f, 0) = 1\)。
(也可以用洛朗展开验证：\(e^z = 1 + z + \frac{z^2}{2} + \dots \implies \frac{e^z}{z^2} = \frac{1}{z^2} + \frac{1}{z} + \frac{1}{2} + \dots\)，其中 \(\frac{1}{z}\) 的系数确实是 1)
步骤 3：计算积分 $$ I = 2pi i times text{Res}(f, 0) = 2pi i times 1 = 2pi i $$
结果：\(2\pi i\)。
5. 留数定理 vs. 多连通柯西定理¶
为了让你更清楚它们的联系，我们对比一下之前学过的内容：
| 特性 | 多连通柯西定理 (旧方法) | 留数定理 (新方法) |
|---|---|---|
| 思路 | 把大圈拆成围着每个奇点的小圈 | 直接提取奇点的“特征值”（留数） |
| 计算量 | 需要分别计算每个小圈的积分 | 只需要算代数极限或导数 |
| 本质 | 几何上的路径变形 | 代数上的系数提取 |
| 关系 | \(\oint_{C} = \sum \oint_{C_k}\) | \(\oint_{C_k} = 2\pi i \cdot \text{Res}_k\) |
留数定理其实就是把“计算小圈积分”这一步给公式化了。
6. 留数定理的强大之处（应用）¶
你可能会问：“直接积分或者用柯西公式不也行吗？为什么要学留数？”
留数定理最强大的地方在于它可以计算**实变函数中的定积分**，这些积分用微积分（实分析）方法极难甚至无法计算。
例如计算实积分： $$ int_{-infty}^{+infty} frac{1}{1+x^2} , dx $$ * 微积分方法：需要知道 \(\arctan x\) 的原函数。 * 留数定理方法：构造一个复平面上的半圆围道，利用留数定理算出围道积分，然后让半径趋于无穷，直接得到结果 \(\pi\)。
对于更复杂的函数，如 \(\int_{0}^{2\pi} \frac{1}{1+\cos^2 \theta} d\theta\) 或 \(\int_{-\infty}^{\infty} \frac{\sin x}{x} dx\)，留数定理是**唯一**简便的解法。
总结¶
- **留数**是洛朗级数中 \(\frac{1}{z-z_0}\) 的系数 \(a_{-1}\)。
- 留数定理：闭合路径积分 = \(2\pi i \times\) (路径内所有留数之和)。
- 计算方法：
- 一级极点：\(\lim (z-z_0)f(z)\)
- 多级极点：求导公式或洛朗展开。
- 地位：它是柯西积分定理的终极形式，是连接复变函数与实变积分计算的桥梁。
掌握留数定理，你就掌握了复变函数积分计算的“通关密码”。