柯西积分定理
我们已经陈述了某些准则( (1.20) 和 (1.21) ),即实线积分与积分路径无关。如果采用复积分根据实积分的定义,我们得到复积分与路径无关的条件。我们将以稍微更一般的形式获得这些条件,而不必诉诸实积分。对应于(1.20) ,我们有定理
定理 3.4 。连续函数 的线积分对于域 中的每一对点 和 都与连结 到 的曲线无关的一个充要条件是,在 中存在一个函数 使得
证明。充分性:设 为连结 到 的任意曲线。我们有
必要性:假设积分
与积分曲线无关。我们定义函数 构造差商 从 到 的积分与曲线无关。我们取直线路径。通过取 充分小,可以确保当 时 。因此
条件 (1.21) 导致另一个用被积函数自身表达的准则。
定理 3.5 。若 是单连通域,则线积分 与路径无关当且仅当 在 中连续可微。
该定理的条件过于严格。只要求导数存在就足够了,无需假设其连续性。
定理 3.6 。在单连通域 中线积分 与积分曲线无关的一个充要条件是 在 中解析。
积分与积分曲线无关这一陈述等价于绕任何闭曲线的积分为零。因为若 和 是连接 到 的任意两条曲线,则曲线 和 构成闭曲线 。由于 ,我们有 反之,任何闭曲线都可以拆分为在端点连接的两条弧。
充分性陈述就是基本的柯西积分定理。
定理 3.7 (柯西积分定理)。若 在单连通域 中解析,则对于 中所有可求长的闭曲线 ,有
证明。 我们给出著名的古尔萨证明。
A. 定理对于矩形 成立。设 为 中的任一矩形。我们通过作平行于边的直线将 划分为四个相等的矩形。若以 , , , 表示划分所得的矩形,则由 (1.34) 和 (1.35) 可得 因此,若令 则有 因此,对于 中至少一个,记其为 ,我们有 若对矩形 重复此过程,则得矩形 满足 经过 步后,得到 满足
通过这种方式,我们确定一个矩形序列 ,其中每个矩形都包含在前一个中,且最大直径(即对角线)趋于零。我们把这样的序列称为“嵌套集”。不难证明,一个嵌套集的所有矩形有且仅有一个公共点。证明留作练习。
设 表示所有 的公共点。由于 解析,我们可以在 处用线性函数近似 。即,
选取 足够大,使得 包含在圆域 在 上,我们有
由方程 (1.37) 、(1.38) 知,前三个积分与路径无关,因而为零。于是 在 上,由于整个矩形都在 的 邻域内,有 。此外, ,其中 是 的周长。利用估计式 (1.33) ,得到 结合前面的结果,有 因此 故 小于任何正数,从而 。
证明的其余部分是将定理推广到更一般的曲线。
B. 定理对于“阶梯”多边形成立,即由有限条平行于坐标轴的线段构成的多边形。为证明,首先假设 是一个简单的阶梯多边形。我们如下将 划分为矩形:
通过延长多边形的边构造矩形网格。 的内部显然包含在此网格的矩形中,因为它由四条线限定:最上边、最下边以及最左和最右的边。现在,网格中每个矩形的内部必须完全位于 的内部或完全位于外部,因为没有网格矩形在其内部包含 的点。根据我们的定向约定 2 , 是其内部所有矩形的和。由 (1.34) 我们断定定理对简单的阶梯多边形成立。
若 是阶梯多边形但不简单,则可如下将其分解为简单部分:设 为 上的任一点。从 出发沿 的任一方向前进,直到路径首次在某点 与自身相交。
从第一次遇到 到第二次遇到 的那部分路径是一个闭多边形, 的其余部分也是;必要时可对这两个多边形的每一个进一步以类似方式分解,以此类推。由于 的自交点数有限,经有限步即可分解为简单的闭多边形,于是由 (1.34) 知定理对 成立。
C. 我们现在可以证明定理对任意可求长曲线成立。只需证明,任何可求长曲线 都可以用阶梯多边形任意逼近。由于 可求长,可将其细分为任意小长度的弧。设 表示细分的相继分点。在每一区间内我们用“阶梯”逼近 。
对于从 到 的区间,我们取从 到 再到 的阶梯。显然,这种阶梯的长度小于 。因此,这种逼近多边形的长度小于 的长度的两倍。通过取充分精细的细分,我们可以使阶梯多边形任意接近 。因为若弧 的长度,则阶梯上在 和 之间的任一点都不远于 。由 引理 3.1.10 即得定理。◻
有许多柯西定理的证明是在更宽松的条件下给出的。如果我们允许单连通区域中的所有曲线,其中 在内部解析而仅在边界连续,定理仍然成立。
曲线 包含在 的单连通解析域内这一条件对定理陈述至关重要。例如,考虑函数 。此函数除原点外处处解析。取积分 ,其中 为圆 。令 ,我们得到 积分不为零。但定理的萌芽仍成立。积分与圆的半径无关。这个例子提示可将柯西积分定理推广到多连通域。
定理 3.8 . 设 是包含在 的解析域内的一个区域。假定 由简单闭路径 界定,其中 的内部都包含在 的内部。如果我们将所有积分都取逆时针方向,那么
证明. 通过构造一个单连通域来证明。我们用不相交的路径将每一个 与 连接起来。若限制曲线不穿过这些路径,则所得的域是单连通的。于是新边界曲线上的积分为零。但连接路径上的积分以两个方向取积分并相互抵消(引理 3.1.6)。我们推出 这就证明了定理。◻
注意,新边界沿顺时针方向描绘曲线 ,如图中所示以及上述记号所指示的。