柯西积分定理
高等数学定理
柯西积分定理(或称柯西-古萨定理),是一个关于复平面上全纯函数的路径积分的重要定理。柯西积分定理说明,如果从一点到另一点有两个不同的路径,而函数在两个路径之间处处是全纯的,则函数的两个路径积分是相等的。另一个等价的说法是,单连通闭合区域上的全纯函数沿着任何可求长闭合曲线的积分是0。
定理
设 是复平面的一个单连通的开子集。 是一个 上的全纯函数。设 是 内的一个分段可求长的简单闭曲线(即连续而不自交并且能定义长度的闭合曲线),那么:
单连通条件
单连通表示 中没有“洞”,例如任何一个开圆盘 都符合条件,这个条件是很重要的,考虑中央有“洞”的圆盘: ,在其中取逆时针方向的单位圆路径:
考虑函数 ,它在 中是全纯函数,但它的路径积分:
不等于零。这是因为函数f在“洞”中有奇点。如果考虑整个圆盘 ,就会发现f在圆盘中央的点上没有定义,不是全纯函数。
等价叙述
柯西积分定理有若干个等价的叙述。例如: 设 是复平面的一个开子集。 是一个定义在 上的函数。设 与 是 内的两条可求长的简单曲线,它们的起点和终点都重合:
并且函数f在 与 围成的闭合区域D内是全纯函数,那么函数f沿这两条曲线的路径积分相同:
推广
除了对分段可求长的简单闭合曲线成立以外,柯西积分定理对于某些更复杂的曲线也适用。设 是复平面的一个开子集。 是定义在 上的全纯函数。无论 内的曲线 是自交还是卷绕数多于1(围着某一点转了不止一圈),只要 能够通过连续形变收缩为 内的一点,就有:
证明
以下的证明对函数有较为严格的要求,但对物理学中的应用来说已经足够。设 是复平面 的一个开子集。 是定义在 上的全纯函数, 是 内的可求长的简单闭合曲线。假设f的一阶偏导数也在 上连续,那么可以根据格林公式作出证明。具体如下:
为了便于表达,将函数f写为实部函数和虚部函数: 由于 ,积分
依据格林公式,右端的两个环路积分都可以变形为 围成的区域 上的面积分。
另一方面,由于f是全纯函数,所以它的实部函数和虚部函数满足柯西-黎曼方程:
所以以上的两个积分中的被积函数都是0,
因而积分也是0:
推论
该定理的一个直接推论,是在单连通域内全纯函数的路径积分可以用类似于微积分基本定理的方法来计算:设 是复平面的一个开子集。是一个 上的全纯函数。函数f在 内的路径积分,只与积分的起点和终点有关,与中间经历的路径无关。假设,起点为a,则可以定义一个函数
其中的可以是任何以a为起点,b为终点的分段可求长简单曲线。函数F被称为f的(复)原函数或反导数函数。
柯西积分定理与柯西积分公式是等价的。从柯西积分定理可以推导出柯西积分公式留数定理
参见
参考资料
最新修订时间:2022-08-25 14:44
目录
概述
定理
参考资料