留数把围道内每个孤立奇点对积分的贡献压缩成一个复数。利用留数定理,复杂的闭路积分可以化成有限个局部系数之和,许多实积分也由此转化为代数计算。
本文先整理留数及其计算公式,再归纳本科课程中常见的围道积分类型。重点是适用条件和方法选择,而不是展开证明。
1. 留数
1.1 定义
设 a 是 f 的孤立奇点,Laurent 展开为
f(z)=n=−∞∑∞cn(z−a)n.
定义(留数)
系数 c−1 称为 f 在 a 点的留数,记作
Res(f,a)=c−1.
1.2 积分表示
若小圆 ∣z−a∣=ρ 内不含其他奇点,则
Res(f,a)=2πi1∫∣z−a∣=ρf(z)dz.
因此
∫∣z−a∣=ρf(z)dz=2πiRes(f,a).
留数是孤立奇点对局部闭路积分的全部贡献。
2. 留数的计算
2.1 可去奇点
若 a 是可去奇点,则 Laurent 展开没有负幂项,所以
Res(f,a)=0.
反之,留数为零并不保证奇点可去;例如 1/z2 在原点留数为零,但原点是二阶极点。
2.2 简单极点
若 a 是简单极点,则
Res(f,a)=z→alim(z−a)f(z).
若
f(z)=ψ(z)φ(z),
φ,ψ 在 a 附近解析,并且
ψ(a)=0,ψ′(a)=0,
则
Res(f,a)=ψ′(a)φ(a).
2.3 高阶极点
若 a 是 m 阶极点,则
Res(f,a)=(m−1)!1z→alimdzm−1dm−1[(z−a)mf(z)].
例如,
f(z)=(z−1)3ez
在 z=1 有三阶极点,并且
Res(f,1)=2!1dz2d2ezz=1=2e.
2.4 通过展开取系数
若函数由指数、三角函数或已知级数组成,直接展开并寻找 (z−a)−1 项往往更方便。
例如,
z3ez=z31+z21+2z1+3!1+⋯,
所以
Res(z3ez,0)=21.
3. 留数定理
定理(留数定理)
设 f 在正向简单闭曲线 γ 及其内部除有限个孤立奇点
a1,…,an
外解析,并且这些奇点均不在曲线上,则
∫γf(z)dz=2πik=1∑nRes(f,ak).
更一般地,对任意适当闭曲线,
∫γf(z)dz=2πik∑Ind(γ,ak)Res(f,ak).
因此只有绕数不为零的奇点才对积分产生贡献。
3.1 使用流程
计算闭路积分时通常按以下顺序:
- 找出被积函数的全部奇点;
- 判断哪些奇点位于围道内部;
- 确认围道上没有奇点;
- 计算内部各奇点的留数;
- 乘以 2πi 并求和;
- 若围道不是正向或有多重绕行,再修正方向与绕数。
4. 无穷远点的留数
4.1 定义
若 f 在充分大的 ∣z∣ 外亚纯,则定义
Res(f,∞)=−Res(w21f(w1),0).
等价地,若 f 在无穷远处有 Laurent 展开
f(z)=⋯+zc−1+z2c−2+⋯,
则
Res(f,∞)=−c−1.
4.2 球面上的留数和
定理
Riemann 球面上亚纯函数的全部留数之和为零:
a∈C∑Res(f,a)+Res(f,∞)=0.
当有限奇点很多而无穷远处展开简单时,可以先计算无穷远点留数,再反推出有限留数之和。
5. 实轴上的有理积分
考虑
∫−∞∞R(x)dx,
其中 R=P/Q 为有理函数。
若:
- Q 在实轴上无零点;
- degQ≥degP+2;
则通常可以在上半平面取大半圆围道。大圆弧积分趋于零,从而
∫−∞∞R(x)dx=2πiImak>0∑Res(R,ak).
例如,
∫−∞∞x2+1dx=2πiRes(z2+11,i)=π.
若被积函数为偶函数,则
∫0∞R(x)dx=21∫−∞∞R(x)dx.
6. 正半轴上的有理积分
例如计算
∫0∞x4+1dx.
由于被积函数为偶函数,可以先求全实轴积分。上半平面的极点为
eiπ/4,e3iπ/4.
留数求和后得到
∫−∞∞x4+1dx=2π,
所以
∫0∞x4+1dx=22π.
对于
∫0∞1+xβxα−1dx,
若含有非整数幂,通常需要选定对数分支并使用扇形或钥匙孔围道。
7. 三角函数积分
对
∫02πR(cosθ,sinθ)dθ,
使用代换
z=eiθ,∣z∣=1,
则
dθ=izdz,
cosθ=21(z+z1),sinθ=2i1(z−z1).
原积分因此化为单位圆上的有理函数积分,再由留数定理计算。
例如,当 a>∣b∣ 时,
∫02πa+bcosθdθ=a2−b22π.
代换后必须选择单位圆内部的极点,而不能只按代数方程列出全部根。
8. Fourier 型积分与 Jordan 引理
考虑
∫−∞∞R(x)eiaxdx,a>0.
由于
∣eiaz∣=e−aImz,
在上半平面指数因子衰减,因此通常取上半圆围道。
Jordan 引理(常用形式)
在适当衰减条件下,若 a>0,则
∫ΓRR(z)eiazdz→0,R→∞,
其中 ΓR 是上半圆。
若 a<0,则应改用下半平面,使指数项仍然衰减。
最后取复积分的实部或虚部,可以分别得到余弦积分或正弦积分。
9. Cauchy 主值与实轴奇点
若被积函数在实轴上有奇点,普通反常积分可能不存在,但对称极限可能存在。
定义(Cauchy 主值)
PV∫−∞∞f(x)dx=R→∞lim∫−RRf(x)dx,
并在有限奇点处采用对称挖去的极限。
若使用上半平面围道,并以小半圆从上方绕过实轴上的简单极点,则典型公式为
PV∫−∞∞f(x)dx=2πi上半平面∑Res(f,ak)+iπ实轴∑Res(f,bj).
符号取决于围道方向和绕行在上方还是下方,不能机械套用。
经典结果为
PV∫−∞∞xeixdx=iπ,
从而
∫0∞xsinxdx=2π.
10. 支割与钥匙孔围道
含有
zα,logz
的函数通常是多值函数。使用留数定理前必须:
- 选定对数分支;
- 指定支割;
- 比较支割两侧的边界值;
- 估计大圆与小圆上的积分;
- 再令相应半径趋于 ∞ 或 0。
钥匙孔围道常用于
∫0∞1+xxα−1dx,0<α<1,
并可得到
∫0∞1+xxα−1dx=sin(πα)π.
分支约定不同会改变围道两侧的相位因子,但最终实积分结果应一致。
11. 常见误区
11.1 留数为零不等于奇点可去
1/z2 的留数为零,但原点仍是二阶极点。
11.2 只计算围道内部的奇点
围道外部的奇点不贡献积分;围道上的奇点则使普通留数定理不能直接使用。
11.3 大圆弧积分不会自动趋于零
必须使用 ML 不等式、Jordan 引理或其他估计同时控制被积函数和弧长。
11.4 上半平面并非总是正确选择
含 eiaz 时应选择指数衰减的半平面:a>0 取上半平面,a<0 取下半平面。
11.5 主值不等于普通反常积分
Cauchy 主值可能存在,而左右两个普通反常积分分别发散。
11.6 多值函数必须先选分支
不指定 logz 或 zα 的分支,就无法严格比较支割两侧的值。
12. 本篇要点
- 留数是 Laurent 展开中 (z−a)−1 的系数。
- 简单极点可用极限计算,高阶极点可用求导公式计算。
- 留数定理把闭路积分化成围道内留数之和。
- Riemann 球面上全部有限点留数与无穷远点留数之和为零。
- 有理实积分通常使用半圆围道,前提是圆弧积分能够消失。
- 三角积分通过 z=eiθ 化为单位圆积分。
- Fourier 型积分根据指数衰减方向选择上、下半平面。
- 实轴奇点需要小圆绕行并区分普通积分与 Cauchy 主值。
- 非整数幂和对数积分需要支割及钥匙孔围道。
下一篇将整理 辐角原理、对数导数、Rouché 定理以及解析方程的零点计数。
参考教材
- 钟玉泉,《复变函数论》,第 5 版,高等教育出版社。
- 余家荣,《复变函数》,高等教育出版社。
- Lars V. Ahlfors, Complex Analysis, 3rd ed.
- James Ward Brown and Ruel V. Churchill, Complex Variables and Applications, 9th ed.
- John B. Conway, Functions of One Complex Variable I, 2nd ed.