本文是《复变函数完全入门》系列的第三篇，覆盖复积分、柯西积分定理、柯西积分公式和留数定理。阅读本文前需了解解析函数的定义和CR方程。

第三篇：复积分与留数定理——环路积分的威力

一、概念引入——从实积分到复积分

1.1 定义

复变函数的积分定义为：

\int_C f(z)\,dz = \int_C [u(x,y) + iv(x,y)][dx + i\,dy] = \int_C u\,dx - v\,dy + i\int_C v\,dx + u\,dy

其中 $C$ 是复平面中的一段曲线。

若曲线参数化为 $z(t) = x(t) + iy(t)$ ， $a \le t \le b$ ：

\int_C f(z)\,dz = \int_a^b f(z(t))\,z'(t)\,dt

1.2 历史的五分钟

时间	人物	贡献
1825	柯西	发表柯西积分定理——解析函数的环路积分为零
1831	柯西	推导出柯西积分公式——用边界值表示内部值
1868	魏尔斯特拉斯	建立了基于幂级数的复变函数论
1884	留数定理	柯西的学生完善了留数理论——用留数计算实积分

二、柯西积分定理——解析函数的核心性质

2.1 定理陈述

如果 $f(z)$ 在简单闭曲线 $C$ 内部及 $C$ 上解析，则：

\boxed{\oint_C f(z)\,dz = 0}

简单理解：解析函数沿任何闭合环路的积分为零。

2.2 等价形式

柯西积分定理等价于：解析函数在单连通区域内的积分与路径无关——只取决于起点和终点。

2.3 物理直觉

考虑 $f(z) = 1/z$ 在包围原点的路径上的积分。

\oint_{|z|=1} \frac{1}{z}\,dz

参数化 $z = e^{i\theta}$ ， $0 \le \theta \le 2\pi$ ：

\oint \frac{1}{z}\,dz = \int_0^{2\pi} \frac{1}{e^{i\theta}}\, i e^{i\theta}\,d\theta = i\int_0^{2\pi} d\theta = 2\pi i

结果不是零！ 为什么？因为 $f(z) = 1/z$ 在 $z=0$ 处不解析——在这个路径内部有一个奇点。

柯西定理要求路径内部处处解析。这引出了重要的概念——留数。

三、柯西积分公式

3.1 公式

如果 $f(z)$ 在闭曲线 $C$ 内部及 $C$ 上解析， $z_0$ 在 $C$ 内部：

\boxed{f(z_0) = \frac{1}{2\pi i}\oint_C \frac{f(z)}{z - z_0}\,dz}

这是复变函数中最令人震惊的公式之一：函数在区域内任意一点的值，完全由它在边界上的值决定！

3.2 手算例子

求 $\oint_{|z|=2} \frac{e^z}{z-1}\,dz$

解： $f(z) = e^z$ 在 $|z| \le 2$ 内解析， $z_0 = 1$ 在路径内部。

由柯西积分公式：

\oint_{|z|=2} \frac{e^z}{z-1}\,dz = 2\pi i \cdot e^1 = 2\pi i e

3.3 推论：高阶导数公式

f^{(n)}(z_0) = \frac{n!}{2\pi i}\oint_C \frac{f(z)}{(z - z_0)^{n+1}}\,dz

这意味着：解析函数一旦可微，即可无穷次可微——复变函数的”可微性”远强于实变函数。

四、留数定理——计算复积分的核心工具

4.1 奇点的分类

类型	定义	例子	留数计算
可去奇点	$\lim_{z\to z_0} f(z)$ 有限	$\frac{\sin z}{z}$ 在 $z=0$	留数为0
极点	$\lim_{z\to z_0} (z-z_0)^m f(z)$ 有限非零	$\frac{1}{(z-1)^2}$ 在 $z=1$ （二阶）	公式计算
本性奇点	$\lim$ 不存在且非无穷	$e^{1/z}$ 在 $z=0$	展开为洛朗级数

4.2 留数的定义

f(z)

在孤立奇点

z_0

处的**留数**定义为：

\mathop{\text{Res}}[f, z_0] = \frac{1}{2\pi i}\oint_{C} f(z)\,dz

其中 $C$ 是包围 $z_0$ 但不包围其他奇点的小环路。

4.3 留数定理

如果 $f(z)$ 在闭曲线 $C$ 内部有 $n$ 个孤立奇点 $z_1, z_2, ..., z_n$ ，在 $C$ 上解析，则：

\boxed{\oint_C f(z)\,dz = 2\pi i \sum_{k=1}^n \mathop{\text{Res}}[f, z_k]}

留数定理把复杂的环路积分变成了简单的加法——只需要计算每个奇点的留数。

4.4 极点留数的计算公式

对于一阶极点 $z_0$ ：

\mathop{\text{Res}}[f, z_0] = \lim_{z\to z_0} (z - z_0)f(z)

对于 $m$ 阶极点：

\mathop{\text{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]

4.5 手算例子

计算 $\oint_{|z|=2} \frac{5z-2}{z(z-1)}\,dz$

解：

f(z) = \frac{5z-2}{z(z-1)}

在

|z|=2

内部有两个一阶极点：

z=0

和

z=1

。

留数在 $z=0$ ：

\mathop{\text{Res}}[f, 0] = \lim_{z\to 0} z\cdot\frac{5z-2}{z(z-1)} = \lim_{z\to 0} \frac{5z-2}{z-1} = \frac{-2}{-1} = 2

留数在 $z=1$ ：

\mathop{\text{Res}}[f, 1] = \lim_{z\to 1} (z-1)\cdot\frac{5z-2}{z(z-1)} = \lim_{z\to 1} \frac{5z-2}{z} = \frac{3}{1} = 3

由留数定理：

\oint_{|z|=2} \frac{5z-2}{z(z-1)}\,dz = 2\pi i (2 + 3) = 10\pi i

五、用留数计算实积分——最精妙的工程应用

留数定理最令人惊叹的应用是用复变方法计算实积分。

5.1 类型 1： $\int_{-\infty}^\infty \frac{P(x)}{Q(x)}\,dx$

如果 $P,Q$ 是多项式，且分母次数至少比分子高2，则半圆路径的贡献为0。

例：

\int_{-\infty}^\infty \frac{dx}{x^2 + 1}

考虑 $\oint \frac{dz}{z^2 + 1}$ 沿实轴和上半圆。

f(z) = 1/(z^2+1) = 1/((z-i)(z+i))

，上半平面内有一个一阶极点

z = i

。

\mathop{\text{Res}}[f, i] = \lim_{z\to i} (z-i)\frac{1}{(z-i)(z+i)} = \frac{1}{2i}

所以：

\int_{-\infty}^\infty \frac{dx}{x^2+1} = \pi

你可能知道结果是 $\pi$ 。但用留数定理推导比你用 $\arctan$ 做极限快得多。

5.2 在控制理论中的应用

在拉普拉斯变换的逆变换中，需要计算：

f(t) = \frac{1}{2\pi i}\int_{\sigma-i\infty}^{\sigma+i\infty} F(s)e^{st}\,ds

这个Bromwich 积分就是留数定理的典型应用—— $F(s)e^{st}$ 的留数之和给出了时域响应。

六、核心公式速查卡

公式	含义
$\oint_C f(z)\,dz = 0$	柯西积分定理（ $f$ 在 $C$ 内解析）
$f(z_0) = \frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}\,dz$	柯西积分公式
$f^{(n)}(z_0) = \frac{n!}{2\pi i}\oint_C \frac{f(z)}{(z-z_0)^{n+1}}\,dz$	高阶导数公式
$\oint_C f(z)\,dz = 2\pi i\sum\text{Res}[f, z_k]$	留数定理
$\mathop{\text{Res}}[f, z_0] = \lim_{z\to z_0} (z-z_0)f(z)$	一阶极点留数

参考文献

Brown, J. W., & Churchill, R. V. (2013). Complex Variables and Applications (9th ed., Chapters 4-6). McGraw-Hill.
Ahlfors, L. V. (1979). Complex Analysis (3rd ed., Chapter 4). McGraw-Hill.
Needham, T. (1997). Visual Complex Analysis (Chapter 5). Oxford University Press.
Cauchy, A. L. (1825). Mémoire sur les intégrales définies. — 柯西积分定理的原始论文

下一节：保角变换：从圆到翼型的数学桥梁

保角变换是连接复分析和空气动力学的桥梁。儒科夫斯基变换将圆映射为翼型——这正是势流理论中”翼型绕流精确解”的数学内核。