柯西积分定理

维基百科,自由的百科全书
跳转至: 导航搜索

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

定理[编辑]

\Omega复平面\mathbb{C}的一个开子集f \; : \;  \Omega \; \rightarrow \; \mathbb{C}是一个\Omega上的全纯函数。设\gamma\Omega内的一个分段可求长的简单闭合曲线(即连续而不自交并且能定义长度的闭合曲线),那么:

\oint_\gamma f(z)\,dz = 0. [1]:52

单连通条件的必要性[编辑]

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

\gamma(t) = e^{it} \quad t \in \left[0,2\pi\right]

考虑函数f \; : \; z \; \mapsto \; 1/z,它在D_{h}中是全纯函数,但它的路径积分:

\oint_\gamma \frac{1}{z}\,dz = \int_0^{2\pi} { ie^{it} \over e^{it} }\,dt= \int_0^{2\pi}i\,dt = 2\pi i

不等于零。这是因为函数f在“洞”中有奇点。如果考虑整个圆盘D_{s}=\{ z: |z-z_{0}| < 2\},就会发现f在圆盘中央的点上没有定义,不是全纯函数。[2]:419

等价叙述[编辑]

柯西积分定理有若干个等价的叙述。例如: 设\Omega复平面\mathbb{C}的一个开子集f \; : \;  \Omega \; \rightarrow \; \mathbb{C}是一个定义在\Omega上的函数。设\gamma_1 \; : \; [0,1] \; \rightarrow \Omega\gamma_2 \; : \; [0,1] \; \rightarrow \Omega\Omega内的两条可求长的简单曲线,它们的起点和终点都重合:

\gamma_1 (0) = \gamma_2 (0), \quad \gamma_1 (1) = \gamma_2 (1),

并且函数f\gamma_1 \gamma_2围成的闭合区域D内是全纯函数,那么函数f沿这两条曲线的路径积分相同:

\int_{\gamma_1} f(z)\,dz = \int_{\gamma_2} f(z)\,dz.

推广[编辑]

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

\oint_\gamma f(z)\,dz = 0. [1]:59

证明[编辑]

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

为了便于表达,将函数f写为实部函数和虚部函数:f(z) = f(x+yi) = u(x+yi) +i\, v(x+yi). 由于 \displaystyle dz=dx+i\,dy ,积分

\oint_\gamma f(z)\,dz = \oint_\gamma (u+iv)(dx+i\,dy) = \oint_\gamma (u\,dx-v\,dy) +i\oint_\gamma (v\,dx+u\,dy)

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

\oint_\gamma (u\,dx-v\,dy) =  \iint_{D_\gamma} \left( -\frac{\partial v}{\partial x} -\frac{\partial u}{\partial y} \right )\,dx\,dy \; , \qquad \oint_\gamma (v\,dx+u\,dy) =  \iint_{D_\gamma} \left(  \frac{\partial u}{\partial x}-\frac{\partial v}{\partial y} \right )\,dx\,dy

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

{ \partial u \over \partial x } = { \partial v \over \partial y } \; , \qquad { \partial u \over \partial y } = -{ \partial v \over \partial x }

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

\iint_{D_\gamma} \left(  -\frac{\partial v}{\partial x} -\frac{\partial u}{\partial y} \right )\,dx\,dy = \iint_{D_\gamma} \left(  \frac{\partial u}{\partial y} -\frac{\partial u}{\partial y} \right )\,dx\,dy =0
\iint_{D_\gamma} \left(  \frac{\partial u}{\partial x}-\frac{\partial v}{\partial y} \right )\,dx\,dy = \iint_{D_\gamma} \left(  \frac{\partial u}{\partial x}-\frac{\partial u}{\partial x} \right ) \, dx \, dy = 0

因而积分也是0:

\oint_\gamma f(z)\,dz =0[2]:420-421

推论[编辑]

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

\forall b \in \Omega , \; \; F(b) = \int_{\gamma_a^b} f(z)\,dz = \int_a^b f(z)\,dz

其中的\gamma_a^b可以是任何以a为起点,b为终点的分段可求长简单曲线。函数F被称为f的(复)原函数或反导数函数。[2]:422

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

参见[编辑]

参考来源[编辑]

脚注[编辑]

  1. ^ 1.0 1.1 郑建华. 《复变函数》. 清华大学出版社. 2005. ISBN 9787302096931. 
  2. ^ 2.0 2.1 2.2 George B. Arfken, Hans J. Weber. Mathematical Methods for Physicists. Elsevier Academic Press(第6版). 2005. ISBN 0-12-088584-0 (英文). 

参考文献[编辑]

  • 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.

外部链接[编辑]