“Cauchy 积分定理:设 $U\subseteq\mathbb C$ 是单连通开集,$f$ 在 $U$ 上全纯,则对 $U$ 中任意分段光滑闭路径 $\gamma$,围道积分为零:”
形式陈述 ​
设
右端是复值函数实部与虚部的两个 Riemann 积分的组合。该定义在保持方向的正则重参数化下不变,因此积分只依赖于有向路径本身;反向路径使积分变号,路径拼接使积分相加。此外有基本的长度估计(ML 不等式):
直觉
把路径切成小段,积分近似为
例子与边界
若
积分只依赖端点。例如任取从
最重要的具体计算是单位圆
闭路上积分不为零,说明
边界情形有两类。其一,被积函数不解析时积分依赖路径:对
推论与应用
复路径积分是整个复积分理论的载体:Cauchy 积分定理与积分公式断言全纯函数沿可收缩闭路的积分为零、且函数值可由边界积分重构;由此导出全纯函数自动无穷次可微并展开为幂级数。上面
参考资料
- Juan Carlos Ponce Campuzano, Complex Analysis: A Visual and Interactive Introduction (2026), complex integration.
- Elias M. Stein, Rami Shakarchi, Complex Analysis (2003), contour integrals.