3.2 柯西定理与积分公式

3.2 柯西定理与积分公式

本节摘要：SOURCE 3.2：而在所有复积分命题中，柯西定理与柯西积分公式，恰如钟表中那根同时驱动时针、分针与秒针的中心轴——它既是最简洁的几何断言，又是最丰饶的分析源泉；既是解析函数"刚性"的终极宣言，又是其"柔性"展开的原始母体。

目标与定位

3.1 节留下的问题是：什么条件下复积分与路径无关？本节给出答案——柯西定理。再进一步：闭合路径上的积分不但可以为零，还能反过来"读出"内部函数的值——柯西积分公式。这两条定理共同构成复分析的心脏，把"解析"这一局部性质推升为全局性质。

柯西积分定理

柯西积分定理（单连通域）：若 f 在单连通区域 D 上解析，C 是 D 内的闭曲线，则

等价表述：f 在单连通区域上的积分与路径无关；因此 f 在 D 内存在原函数 F（F'=f）。

证明的核心步骤是格林公式：把 \oint_C (u\,dx-v\,dy) 写成 \iint，再用柯西-黎曼方程把被积函数化为零。这个论证的每一步都依赖"单连通 + 解析"两个条件，缺一不可。

莫雷拉定理（逆定理）：若 f 在区域 D 上连续，且 D 内一切闭曲线的积分为零，则 f 在 D 上解析。柯西定理与莫雷拉定理合在一起，给出"解析"的一个纯积分刻画。

柯西积分公式

设 f 在单连通区域 D 上解析，C 是 D 内正向闭曲线，z_0 在 C 内部，则

这个公式的威力在于：函数在 C 内部任一点的值，由它在边界 C 上的值完全决定。证明思路是"凿洞"：把积分路径缩到以 z_0 为中心的小圆，利用 1/(z-z_0) 沿小圆的积分为 2\pi i。

高阶导数公式：把柯西积分公式对 z_0 求导 n 次，得到

由此立即得出震惊的结论：解析函数无穷可微。一个只要求"一阶导数存在"的条件，经过积分公式的放大，给出了任意阶导数的存在与积分表示。

柯西估计与刘维尔定理

由高阶导数公式和 ML 不等式可得柯西估计：若 |f|\le M 在圆 |z-z_0|=R 上成立，则

取 n=1 并令 R\to\infty，即得刘维尔定理：全平面有界解析函数必为常数。柯西估计是整个复分析"刚性命脉"的量化形态——函数值被边界与半径精确控制。

从积分公式到幂级数：第4章的桥梁

柯西积分公式最深刻的推论是解析函数可幂级数展开。对 |z-z_0|<r，把 \frac{1}{w-z} 按几何级数展开并逐项积分：

$$
\frac{1}{w-z}=\sum_{n=0}^\infty\frac{(z-z_0)^n}{(w-z_0)^{n+1}}
\;\Longrightarrow\;
f(z)=\sum_{n=0}^\infty a_n(z-z_0)^n,\qquad
a_n=\frac{1}{2\pi i}\oint_C\frac{f(w)}{(w-z_0)^{n+1}}\,dw.
$$
​

这与高阶导数公式 a_n=\frac{f^{(n)}(z_0)}{n!} 一致。换句话说：解析 = 局部可幂级数展开。这一结论把第3章的积分理论直接接入第4章的级数理论——柯西定理、积分公式、幂级数、劳伦级数由此构成一条无缝链条。泰勒系数 a_n 由围道积分给出，也是第5章留数定理计算的重要入口。

数值算例：验证柯西积分公式

import numpy as np

# 用柯西积分公式数值重构 f(z0)，f(z)=z^3
n = 20001
t = np.linspace(0, 2*np.pi, n)
z0 = 0.3 + 0.4j
r = 1.0
# 取以 z0 为中心、半径 r 的圆周
C = z0 + r * np.exp(1j * t)
dC = 1j * r * np.exp(1j * t)

f = lambda z: z**3
integrand = f(C) / (C - z0) * dC
val = np.trapz(integrand, t) / (2*np.pi*1j)
print("重构值 f(z0): %.6f %+.6fi" % (val.real, val.imag))
print("直接计算 f(z0): %.6f %+.6fi" % (f(z0).real, f(z0).imag))
​

# 验证高阶导数公式：f''(0) = 2!/(2*pi*i) * oint f(z)/z^3 dz, f(z)=e^z
n = 20001
t = np.linspace(0, 2*np.pi, n)
z = np.exp(1j * t)
dz = 1j * np.exp(1j * t)
g = np.exp(z) / z**3
I2 = np.trapz(g * dz, t)
fpp = 2 * I2 / (2*np.pi*1j)      # f''(0) 应为 e^0 = 1
print("f''(0) 数值: %.6f %+.6fi" % (fpp.real, fpp.imag))
​

应用：实积分的预热

柯西积分公式已经可以计算某些实积分。例如对 f(z)=1 取单位圆，可得 \oint_{|z|=1}\frac{dz}{z}=2\pi i；而 \oint_{|z|=1}\frac{dz}{z-a}=0（当 |a|>1，a 在圆外）。这类"分母一次幂"的积分是第5章留数定理处理"分母任意阶极点"时的雏形。

⚠️ 常见坑：只记结论不记适用边界——柯西积分公式要求 z_0 严格在 C 内部；z_0 落在 C 上或外部时公式不成立；多连通区域需先分割成单连通块。

💡 关键直觉：3.2 柯西定理与积分公式 应能对应至少一项可复现实验或算例——两个梯形法算例分别验证了积分公式与高阶导数公式。

思考与检验

1. 用柯西积分公式计算 \oint_{|z|=2}\frac{dz}{z-1} 与 \oint_{|z|=2}\frac{dz}{z-3}，比较结果并解释差异。
2. 用高阶导数公式计算 \oint_{|z|=1}\frac{e^z}{z^3}\,dz。
3. 证明：f 在单连通区域解析时，\int_C f(z)\,dz 沿任何两条同端点路径的差为零。

小结

• 主干：3.2 柯西定理与积分公式 连接「输入—过程—输出」——闭路积分、函数重构、无穷可微。
• 边界：单连通、z_0 在圆内、正向曲线三者缺一不可。
• 方法：梯形法复积分对照解析公式；用柯西估计检验导数界。