柯西积分定理

Template:Complex analysis sidebar 柯西积分定理（或稱柯西－古薩定理），是一个关于复平面上全纯函数的路径积分的重要定理。柯西积分定理说明，如果从一点到另一点有两个不同的路径，而函数在两个路径之间处处是全纯的，则函数的两个路径积分是相等的。另一个等价的说法是，单连通闭合区域上的全纯函数沿着任何可求长闭合曲线的积分是0.

定理

设$\mathrm{\Omega }$是复平面$ℂ$的一个单连通的开子集。$f:\mathrm{\Omega }\to ℂ$是一个$\mathrm{\Omega }$上的全纯函数。设$\gamma$是$\mathrm{\Omega }$内的一个分段可求长的简单闭曲线（即连续而不自交并且能定义长度的闭合曲线），那么：

${\oint }_{\gamma }f(z)dz=0.$Template:Rp

单连通条件的必要性

$\mathrm{\Omega }$是单连通表示$\mathrm{\Omega }$中没有“洞”，例如任何一个开圆盘$D=\{z:|z-z_0|<r\}$都符合条件，这个条件是很重要的，考虑中央有“洞”的圆盘：$D_h=\{z:0<|z-z_0|<2\}$，在其中取逆时针方向的单位圆路径：

$\gamma (t)=e^{it}t\in [0,2\pi )$

考虑函数$f:z\mapsto 1/z$，它在$D_h$中是全纯函数，但它的路径积分：

${\oint }_{\gamma }\frac{1}{z}dz=\underset{0}{\overset{2\pi }{\int }}\frac{i{e}^{it}}{e^{it}}dt=\underset{0}{\overset{2\pi }{\int }}idt=2\pi i$

不等于零。这是因为函数$f$在“洞”中有奇点。如果考虑整个圆盘$D_s=\{z:|z-z_0|<2\}$，就会发现$f$在圆盘中央的点上没有定义，不是全纯函数。Template:Rp

等价叙述

柯西积分定理有若干个等价的叙述。例如： 设$\mathrm{\Omega }$是复平面$ℂ$的一个开子集。$f:\mathrm{\Omega }\to ℂ$是一个定义在$\mathrm{\Omega }$上的函数。设${\gamma }_1:[0,1]\to \mathrm{\Omega }$与${\gamma }_2:[0,1]\to \mathrm{\Omega }$是$\mathrm{\Omega }$内的两条可求长的简单曲线，它们的起点和终点都重合：

${\gamma }_1(0)={\gamma }_2(0),{\gamma }_1(1)={\gamma }_2(1),$

并且函数$f$在${\gamma }_1$与${\gamma }_2$围成的闭合区域$D$内是全纯函数，那么函数$f$沿这两条曲线的路径积分相同：

$\underset{{\gamma }_1}{\int }f(z)dz=\underset{{\gamma }_2}{\int }f(z)dz.$

推广

除了对分段可求长的简单闭合曲线成立以外，柯西积分定理对于某些更复杂的曲线也适用。设$\mathrm{\Omega }$是复平面$ℂ$的一个开子集。$f:\mathrm{\Omega }\to ℂ$是定义在$\mathrm{\Omega }$上的全纯函数。无论$\mathrm{\Omega }$内的曲线$\gamma$是自交还是卷绕数多于1（围着某一点转了不止一圈），只要$\gamma$能够通过连续形变收缩为$\mathrm{\Omega }$内的一点，就有：

${\oint }_{\gamma }f(z)dz=0.$Template:Rp

证明

以下的证明对函数有较为严格的要求，但对物理学中的应用来说已经足够。设$\mathrm{\Omega }$是复平面$ℂ$的一个开子集。$f:\mathrm{\Omega }\to ℂ$是定义在$\mathrm{\Omega }$上的全纯函数，$\gamma$是$\mathrm{\Omega }$内的可求长的简单闭合曲线。假设$f$的一阶偏导数也在$\mathrm{\Omega }$上连续，那么可以根据格林定理作出证明。具体如下：

为了便于表达，将函数$f$写为实部函数和虚部函数：$f(z)=f(x+yi)=u(x,y)+iv(x,y).$ 由于$dz=dx+idy$，积分

${\oint }_{\gamma }f(z)dz={\oint }_{\gamma }(u+iv)(dx+idy)={\oint }_{\gamma }(udx-vdy)+i{\oint }_{\gamma }(vdx+udy)$

依据格林定理，右端的两个环路积分都可以变形为$\gamma$围成的区域$D_{\gamma }$上的面积分。

${\oint }_{\gamma }(udx-vdy)=\underset{D_{\gamma }}{\iint }(-\frac{\partial v}{\partial x}-\frac{\partial u}{\partial y})dxdy,{\oint }_{\gamma }(vdx+udy)=\underset{D_{\gamma }}{\iint }(\frac{\partial u}{\partial x}-\frac{\partial v}{\partial y})dxdy$

另一方面，由于$f$是全纯函数，所以它的实部函数和虚部函数满足柯西－黎曼方程：

$\frac{\partial u}{\partial x}=\frac{\partial v}{\partial y},\frac{\partial u}{\partial y}=-\frac{\partial v}{\partial x}$

所以以上的两个积分中的被积函数都是0，

$\underset{D_{\gamma }}{\iint }(-\frac{\partial v}{\partial x}-\frac{\partial u}{\partial y})dxdy=\underset{D_{\gamma }}{\iint }(\frac{\partial u}{\partial y}-\frac{\partial u}{\partial y})dxdy=0$

$\underset{D_{\gamma }}{\iint }(\frac{\partial u}{\partial x}-\frac{\partial v}{\partial y})dxdy=\underset{D_{\gamma }}{\iint }(\frac{\partial u}{\partial x}-\frac{\partial u}{\partial x})dxdy=0$

因而积分也是0：

${\oint }_{\gamma }f(z)dz=0$Template:Rp

推论

该定理的一个直接推论，是在单连通域内全纯函数的路径积分可以用类似于微积分基本定理的方法来计算：设$\mathrm{\Omega }$是复平面$ℂ$的一个开子集。$f:\mathrm{\Omega }\to ℂ$是一个$\mathrm{\Omega }$上的全纯函数。函数$f$在$\mathrm{\Omega }$内的路径积分，只与积分的起点和终点有关，与中间经历的路径无关。假设，起点为Template:Math，则可以定义一个函数$F:\mathrm{\Omega }\to ℂ$

$\mathrm{\forall }b\in \mathrm{\Omega },F(b)=\underset{{\gamma }_a^b}{\int }f(z)dz=\underset{a}{\overset{b}{\int }}f(z)dz$

其中的${\gamma }_a^b$可以是任何以Template:Math为起点，Template:Math为终点的分段可求长简单曲线。函数$F$被称为$f$的（复）原函数或反导数函数。Template:Rp

柯西积分定理与柯西积分公式是等价的。从柯西积分定理可以推导出柯西积分公式和留数定理。

参见

• 柯西－黎曼方程
• 柯西积分公式
• 留数

参考来源

参考文献

• Kaplan, W. "Integrals of Analytic Functions. Cauchy Integral Theorem." §9.8 in Advanced Calculus, 4th ed. Reading, MA: Addison-Wesley, pp. 594-598, 1991.
• Knopp, K. "Cauchy's Integral Theorem." Ch. 4 in Theory of Functions Parts I and II, Two Volumes Bound as One, Part I. New York: Dover, pp. 47-60, 1996.
• Krantz, S. G. "The Cauchy Integral Theorem and Formula." §2.3 in Handbook of Complex Variables. Boston, MA: Birkhäuser, pp. 26-29, 1999.
• Morse, P. M. and Feshbach, H. Methods of Theoretical Physics, Part I. New York: McGraw-Hill, pp. 363-367, 1953.
• Woods, F. S. "Integral of a Complex Function." §145 in Advanced Calculus: A Course Arranged with Special Reference to the Needs of Students of Applied Mathematics. Boston, MA: Ginn, pp. 351-352, 1926.

外部链接

• Template:MathWorld