复变函数论3-复变函数的积分2-柯西积分定理5：柯西积分定理推广到复周线的情形

下面我们从另一个方面再推广柯西积分定理,即将柯西积分定理从以一条(单) 周线为边界的有界单连通区域,推广到以多条周线组成的"复周线"为边界的有界多连通区域.

定义 3.3

考虑 $n+1$ 条周线 $C_0,C_1,C_2,\cdots ,C_n$, 其中$C_1,C_2,\cdots ,C_n$ 中每一条都在其余各条的外部, 而它们又全都在$C_0$ 的内部. 在 $C_0$ 的内部同时又在 $C_1,C_2,\cdots ,C_n$外部的点集构成一个有界的 $n+1$ 连通区域 $D$, 以$C_0,C_1,C_2,\cdots ,C_n$ 为它的边界. 在这种情况下,我们称区域$D$ 的边界是一条复周线:

$$C=C_0+C_1^{-}+C_2^{-}+\cdots +C_n^{-},$$

它包括取正方向的 $C_0$, 以及取负方向的 $C_1,C_2,\cdots ,C_n$.换句话说, 假如观察者沿复周线 $C$ 的正方向绕行, 则区域 $D$的点总在他的左手边 (图 3.10 是 $n=2$的情形).

定理 3.10

设 $D$ 是由复周线

$$C=C_0+C_1^{-}+C_2^{-}+\cdots +C_n^{-}$$

所围成的有界 $n+1$ 连通区域, 函数 $f(z)$ 在 $D$ 内解析, 在 $\bar{D}=D+C$上连续,则

$${\int }_{C}f(z)\mathrm{d}z=0,$$

或写成

∫ C 0 f ( z ) d z + ∫ C 1 f ( z ) d z + ⋯ + ∫ C n f ( z ) d z = 0 , \int_{C_{0}} f(z) \mathrm{d} z+\int_{C_{1}} f(z) \mathrm{d} z+\cdots+\int_{C_{n}} f(z) \mathrm{d} z=0, ∫