复分析 · 第 2–3 章 · 复积分与柯西定理

第 2–3 章 · 复积分与柯西定理

复分析的心脏在积分学：一条闭合路径上积一圈，结果常常是零（柯西定理）；不零的时候，值只跟"路径圈住了什么"有关（柯西积分公式）。这两章是全书理论价值的所在地。

线积分与原函数

$$\int_\gamma f(z)\,dz = \int_a^b f(\gamma(t))\gamma'(t)\,dt$$

若 $f$ 有原函数 $F$，积分 $= F(\text{终点}) - F(\text{起点})$——闭路上积分为零。关键差别：复函数"有原函数"比实函数苛刻得多，路径闭不闭合开始有实质意义。

柯西定理（Cauchy-Goursat）

$f$ 在单连通区域全纯 ⟹ 任何闭路积分 $\oint f\,dz = 0$。Goursat 的改进：甚至不需要 $f'$ 连续——全纯本身就够了（这暗示全纯比表面看起来强得多）。证明路线：三角形上的细分估计（每细分一次误差按比例缩小），再推广到一般闭路。"单连通"（没有洞）不可或缺：$\oint_{|z|=1}\frac{dz}{z} = 2\pi i \ne 0$——绕洞一圈多出 $2\pi i$。

柯西积分公式与无穷可微

$f$ 全纯于闭路 $C$ 内部：

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

函数在内部的值 = 边界上的加权平均。右端对 $z_0$ 求导任意次仍合法（被积函数对 $z_0$ 光滑），于是 $f$ 无穷可微、且可展成幂级数（泰勒级数在收敛圆内成立）——"一次可导 ⟹ 无穷可导"的奇迹在这里兑现。这正是全纯与实可微的天壤之别：实光滑函数没有这种"边界决定内部"的刚性。

原文要点：第 2 章以 Goursat 三角形论证为核心（不需要导数连续性），第 3 章把柯西积分公式作为应用引擎：幂级数展开、刘维尔定理（有界整函数必常数）、代数基本定理（刘维尔的五 Lines 证明）逐一推出——书中明确把"柯西公式 ⟹ 泰勒定理 ⟹ 刘维尔"这条链作为复分析第一阶段的收官。

老师的提醒

"绕洞一圈 $2\pi i$"是全部分析的原型：留数定理（第 3 章）就是它的记账版。
柯西公式的物理版（均值性）：全纯函数在圆心的值 = 圆周上的平均——最大模原理（下一节）由此一跃而出。

自检

单连通条件失效时柯西定理怎么失效？举一例。
由柯西积分公式推出 $f$ 无穷可微的论证要点？
用刘维尔定理证明代数基本定理。

更深一层：柯西定理是"能量守恒"的复分析版

柯西积分定理 $\oint f\,dz = 0$（单连通区域全纯）可以读成一条无源场陈述：$f = u + iv$ 的 CR 方程恰好说明向量场 $(u, -v)$ 无源且无旋——闭路上积分为零如同闭曲面通量为零。而绕"洞"一圈积分 $2\pi i \ne 0$ 则宣告：洞里藏着源（极点）。"单连通"的拓扑条件 = 保证洞不存在 = 保证场无源——柯西定理、留数定理、辐角原理的层级全部建立在"洞的记账"上：洞里有极点，绕洞的积分按留数收费。

Goursat 的贡献（不需要 $f'$ 连续）常被略过，其实它论证了一件深刻的事：全纯性的定义（复可微）本身就隐含了二阶正则性——积分定理不欠"额外光滑"的债。这与实函数形成刺眼对比（实可微函数的导数可以任意不连续），是"复可微 = 极强刚性"的又一枚证章。

推导细读：柯西积分公式——"边界决定内部"的账本

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

这个公式的信息量在于它的读法：内部任何一点的值完全由边界值加权平均决定——权 $\frac{1}{z - z_0}$ 按"离 $z_0$ 多近"分配。三个直接的工程级推论：均值性质（圆心值 = 圆周平均——最大模原理的种子）；无穷可微（右端对 $z_0$ 求导任意次合法——被积函数只在 $z = z_0$ 处奇异，而求导只影响这个良性的核）；唯一性（边界值相同 ⟹ 内部相同——解析延拓的合法性证书）。实分析里"边界温度决定内部温度"的拉普拉斯方程同样性质，正是经由实虚部继承——柯西公式是"边界决定内部"这一物理直觉的精确数学。

在真实世界里：柯西定理的"数值影子"

柯西理论在现代数值工具里的影子：边界元方法（BEM）把偏微分方程的求解压缩到边界上（内部值由边界积分表达）——柯西积分公式就是它的 $n = 2$ 全纯特例，航空航天的外流计算与裂纹分析是 BEM 的主战场；数值共形映射（Schwarz-Christoffel 的离散化）用于网格生成与图像配准；电路的奈奎斯特判据——开环传递函数的复平面围线包围 $-1$ 点的圈数判稳定性，本质是辐角原理（$f$ 的零极点差 = 围线映射绕原点圈数）。"绕一圈数零极点"这个复分析动作，是每台音频功放出厂前稳定性审计的数学核心。

专题深入：柯西定理是"能量守恒"的复分析版完整版

Goursat 的贡献（不需要 $f'$ 连续）常被略过，其实它论证了一件深刻的事：全纯性的定义（复可微）本身就隐含了二阶正则性——积分定理不欠"额外光滑"的债。这与实函数形成刺眼对比（实可微函数的导数可以任意不连续），是"复可微 = 极强刚性"的又一枚证章。

数学细节展开：柯西积分公式——"边界决定内部"的账本完整版

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

这个公式的信息量在于它的读法：内部任何一点的值完全由边界值加权平均决定——权 $\frac{1}{z - z_0}$ 按"离 $z_0$ 多近"分配。三个直接的工程级推论：均值性质（圆心值 = 圆周平均——最大模原理的种子）；无穷可微（右端对 $z_0$ 求导任意次合法——被积函数只在 $z = z_0$ 处奇异，而求导只影响这个良性的核）；唯一性（边界值相同 ⟹ 内部相同——解析延拓的合法性证书）。柯西公式是"边界决定内部"这一物理直觉的精确数学。

工程案例细节：柯西定理的"数值影子"工程版

柯西理论在现代数值工具里的影子值得画出：边界元方法（BEM）把偏微分方程的求解压缩到边界上（内部值由边界积分表达）——柯西积分公式就是它的 $n = 2$ 全纯特例，航空航天的外流计算与裂纹分析是 BEM 的主战场；数值共形映射（Schwarz-Christoffel 的离散化）用于网格生成与图像配准；电路的奈奎斯特判据——开环传递函数的复平面围线包围 $-1$ 点的圈数判稳定性，本质是辐角原理。"绕一圈数零极点"这个复分析动作，是每台音频功放出厂前稳定性审计的数学核心。

例题

计算 $\oint_{|z|=1} \frac{dz}{z}$ 与 $\oint_{|z|=2} \frac{dz}{z^2 - 1}$（均逆时针），说明结果差异的来源。

解答

第一个：被积函数在圆内有单极点 $z = 0$，留数 1：

$$\oint = 2\pi i\times1 = 2\pi i$$

第二个：$z = \pm1$ 都在 $|z| = 2$ 内。$\text{Res}(1) = \frac{1}{2}$、$\text{Res}(-1) = -\frac{1}{2}$：

$$\oint = 2\pi i\left(\frac12 - \frac12\right) = 0$$

对比：第一个的 $2\pi i$ 来自"绕奇点一圈"；第二个两个极点的留数抵消。奇点的存在与否、留数之和，决定闭路积分——柯西定理（无奇点 ⟹ 0）→ 留数定理（有奇点 ⟹ $2\pi i\times$留数和）的完整光谱。

本页是《复分析》第 2 节的学习笔记：为便于初学，讲解、例题与要点概括均为本站原创整理，公式与章节定位供对照原书使用。