留数定理
高等数学中的积分通常沿实轴进行,例如定积分、重积分、曲线积分。复变函数把积分路径放到复平面里,允许我们沿闭合曲线积分。留数定理回答的问题是:一个函数沿闭合曲线绕一圈的积分,为什么可以只由曲线内部几个奇点决定?
学完这一节,你应该能做四件事:
- 判断什么是孤立奇点、什么是留数。
- 理解留数为什么就是洛朗展开中 $(z-z_0)^{-1}$ 项的系数。
- 用简单极点公式、高阶极点公式和洛朗展开计算留数。
- 看懂 Z 变换反变换中的留数法 为什么是在抽取幂级数系数。
前置知识回顾
如果下面概念不熟,先回看高数笔记对应章节;本节会默认使用它们。
- 复数与复平面:把 $z=x+jy$ 看成平面点,闭合曲线就是复平面中的回路。去哪里补:高等数学.org 中“复变函数”相关章节,或 MIT 18.04 Topic 1。
- 幂级数 / 泰勒级数:解析函数可以在点附近展开成幂级数。去哪里补:高等数学.org 的“级数 → 幂级数 / 泰勒级数”。
- 曲线积分:沿路径累加函数值。复积分也是沿曲线积分,只是被积函数和路径都在复平面中。
- 洛朗级数:允许出现负幂,是理解孤立奇点附近函数行为的核心工具。
先看一个最基本的闭合曲线积分。令 $C$ 是以原点为中心、半径 $r$ 的逆时针圆周:
则
计算
这个结果很特别:半径 $r$ 消掉了。只要曲线绕原点一圈,积分就是 $2\pi j$。这说明 $1/z$ 在原点的奇点会留下一个“绕行贡献”。
如果函数 $f(z)$ 在 $z_0$ 附近解析,但在 $z_0$ 本身可能有问题,则它在环形邻域内可以写成洛朗级数:
其中负幂部分描述奇点的强度。留数定义为 $(z-z_0)^{-1}$ 项的系数:
为什么偏偏是 $a_{-1}$?因为对小圆 $C$ 积分时:
只有
不为零。因此
这就是留数定理的局部版本:闭合曲线积分只看每个奇点的 $1/(z-z_0)$ 系数。
完整证明:逐项积分消去一切非 −1 次幂
取以 $z_0$ 为圆心、$r$ 为半径的小圆 $C$,参数化为 $z = z_0 + re^{j\theta}$,$\theta \in [0, 2\pi)$,则 $dz = jre^{j\theta}\,d\theta$。代入通项:
当 $n \neq -1$ 时,$n+1 \neq 0$,积分结果为:
因为 $e^{j(n+1)\cdot 2\pi} = \cos 2\pi(n+1) + j\sin 2\pi(n+1) = 1$。
当 $n = -1$ 时,$n+1 = 0$,指数函数退化为常数:
因此,对洛朗级数逐项积分,所有 $n \neq -1$ 的项积分为零,只有 $a_{-1}$ 对应的项存活:
关键点:$e^{jk\cdot 2\pi} = 1$($k$ 为非零整数)这一事实,使得所有非 $-1$ 次幂沿闭合路径自洽消零。这正是 $\frac{1}{z-z_0}$「无法自我抵消」的根源——它是唯一一个在被积函数中不产生振荡的负幂项。
设 $f(z)$ 在闭合曲线 $C$ 内部和曲线上解析,除了有限个孤立奇点 $z_1,z_2,\dots,z_m$。若 $C$ 取逆时针方向,则
这条公式可以理解为:把曲线内部每个奇点挖出一个小圆,解析区域上的积分会互相抵消,最后只剩下每个小圆周围的局部环绕贡献。每个奇点贡献 $2\pi j$ 乘以自己的留数。
| 对象 | 意义 | 在公式中的作用 |
|---|---|---|
| $C$ | 闭合积分路径 | 决定哪些奇点被包围 |
| $z_k$ | $C$ 内部的孤立奇点 | 只有这些点贡献积分 |
| $\operatorname*{Res}_{z=z_k}f(z)$ | 洛朗展开中 $(z-z_k)^{-1}$ 的系数 | 决定该奇点贡献的大小 |
| $2\pi j$ | 绕一圈 $1/(z-z_k)$ 的积分 | 把局部系数变成闭合积分 |
留数的本质是找 $a_{-1}$,但实际计算时不一定每次都完整写洛朗展开。常用方法如下:
| 情况 | 公式 | 使用条件 |
|---|---|---|
| 简单极点 | $\operatorname*{Res}_{z=z_0}f(z)=\lim_{z\to z_0}(z-z_0)f(z)$ | $(z-z_0)f(z)$ 在 $z_0$ 解析且有限 |
| $f(z)=\frac{g(z)}{h(z)}$ 的简单极点 | $\operatorname*{Res}_{z=z_0}f(z)=\frac{g(z_0)}{h'(z_0)}$ | $h(z_0)=0,\ h'(z_0)\ne0$ |
| $m$ 阶极点 | $\operatorname*{Res}_{z=z_0}f(z)=\frac{1}{(m-1)!}\lim_{z\to z_0}\frac{d^{m-1}}{dz^{m-1}}[(z-z_0)^m f(z)]$ | $z_0$ 是 $m$ 阶极点 |
| 展开方便 | 直接找洛朗级数的 $(z-z_0)^{-1}$ 系数 | 指数、三角、几何级数型函数常用 |
例题 1:简单极点
题目:计算
其中 $C$ 逆时针包围 $z=1$。
步骤:$z=1$ 是简单极点,留数为
答案:
例题 2:分母求导公式
题目:计算 $f(z)=\frac{z+2}{z^2+1}$ 在 $z=j$ 的留数。
步骤:令 $g(z)=z+2$,$h(z)=z^2+1$。因为 $h(j)=0$ 且 $h'(z)=2z$,所以 $z=j$ 是简单极点。
答案:
例题 3:洛朗展开直接读系数
题目:求 $f(z)=\frac{e^z}{z^2}$ 在 $z=0$ 的留数。
步骤:展开
因此
$(1/z)$ 项系数是 1,所以
例题 4:连接 Z 变换反变换
题目:Z 反变换中有公式
若
解释为什么留数法能得到 $x[n]=(-1/2)^n u[n]$。
步骤:先把被积函数写成普通有理函数:
当 $n\ge0$ 时,$z=-1/2$ 是围线内部的一阶极点,留数为
因为积分等于 $2\pi j$ 乘留数,而反变换公式前面有 $1/(2\pi j)$,所以 $x[n]$ 正好等于这个留数。外侧 ROC 对应右边序列,因此 $n<0$ 时为 0。
答案:
- 看到闭合曲线积分,先找曲线内部的孤立奇点。
- 简单极点优先用 $\lim_{z\to z_0}(z-z_0)f(z)$。
- 分式 $g/h$ 且 $h(z_0)=0,h'(z_0)\ne0$ 时,用 $g(z_0)/h'(z_0)$。
- 指数、三角、几何级数形式,常常直接洛朗展开读 $1/(z-z_0)$ 系数。
- 留数只看 $(z-z_0)^{-1}$ 系数,不看最高阶负幂。
- 在 Z 反变换中,留数法的作用是从 $X(z)z^{n-1}$ 中抽取对应的时域系数。
参考来源
- 本地课程笔记:/Users/zhengxinyu/org/roam/note/高等数学.org,主要衔接“级数 / 泰勒级数 / 幂级数”部分。
- MIT OCW 18.04 · Complex Variables with Applications · Lecture Notes:用于核对复变函数课程结构,尤其 Topic 7 Taylor and Laurent Series、Topic 8 Residue Theorem。
- MIT OCW 18.04 · Topic 8: Residue Theorem:用于核对留数定理表述和应用位置。
- 站内链接:Z 变换笔记 · 逆 Z 变换中的留数法