复变函数论(三)-复变函数的积分01：复积分的概念及其简单性质

第三章
复变函数的积分
复变函数的积分 (简称复积分) 是研究解析函数的一个重要工具.
解析函数的许多重要性质要利用复积分来证明.例如,
要证明"解析函数的导函数连续"及"解析函数的各阶导数存在"这些表面上看来只与微分学有关的命题,
一般均要使用复积分.
本章要建立的柯西积分定理及柯西积分公式尤其重要,
它们是复变图数论的基本定理和基本公式,
以后各章都直接地或间接地和它们有关联.
$\S 1$ 复积分的概念及其简单性质
1. 复变函数积分的定义
首先我们回顾实变函数的定积分的定义. 设实变函数 $f(x)$ 在区间 $[a,b]$
上连续.用分点
$$a=x_0<x_1<x_2<\cdots <x_{i-1}<x_i<\cdots <x_n=b$$
把区间 $[a,b]$ 分为 $n$ 个小区间 $\left[x_{i-1},x_i\right]$.
其长度各为 $\Delta =x_i-x_i$. 在每个小区间
$\left[x_{i-1},x_i\right]$ 上取一点
${\xi }_i,x_{i-1}⩽{\xi }_i⩽x_i$, 并取下面的和
$$S_n=f\left({\xi }_1\right){\Delta }_1+f\left({\xi }_2\right){\Delta }_2+\cdots +f\left({\xi }_n\right){\Delta }_n=\sum _{i=1}^{n}f\left({\xi }_1\right){\Delta }_i.$$
称极限
$$S=\underset{n\cdot 1}{\lim }\sum _{i=1}^{n}f\left({\xi }_i\right){\Delta }_i$$
为函数 $f(x)$ 在区间 $[a,b]$ 上的定积分.
复变函数积分的定义和上述过程类似,
不过积分不是在区间上而是在复平面中曲线上.
为了叙述简便而又不妨碍实际应用, 今后我们所提到的曲线 (除特别声明外),
一律是指光滑的或逐段光滑的, 因而也是可求长的.曲线通常还要规定其方向,
在开口弧的情形, 这只要指出其起点与终点就行了.
逐段光滑的简单闭曲线简称周线.周线自然也是可求长的.
对于周线,我们在第一章若尔当定理之后实际上已经规定过它的方向,
即"逆时针"方向为正, "顺时针"方向为负.
定义 3.1 设有向曲线 $C$ :
$$z=z(t)(\alpha ⩽t⩽\beta )$$
以 $a=z(\alpha )$ 为起点, $b=z(\beta )$ 为终点, $f(z)$ 沿 $C$ 有定义. 顺着
$C$ 从 $a$ 到 $b$ 的方向在 $C$ 上
取分点:
$$a=z_0,z_1,\cdots ,z_{n-1},z_n=b$$
把曲线 $C$ 分成若干个弧段 (图 3.1). 在从 $z_{k-1}$ 到 $z_k(k=$
$1,2,\cdots ,n)$ 的每一弧段上任取一点 ${\zeta }_k$. 作成和数
$$S_n=\sum _{k=1}^{n}f\left({\zeta }_k\right)\Delta z_k,$$
其中 $\Delta z_k=z_k-z_{k-1}$. 当分点无限增多,
而这些弧段长度的最大值趋于零时, 如果和数 $S_n$ 的极限存在且等于 $J$,
则称 $f(z)$ 沿 $C$ (从 $a$ 到 $b$ ) 可积, 而称 $J$ 为 $f(z)$沿 $C($ 从
$a$ 到 $b)$ 的积分, 并以记号 ${\int }_{C}f(z)\mathrm{d}z$
表示:{width=“204px”}
图 3.1
$$J={\int }_{C}f(z)\mathrm{d}z.$$
$C$ 称为积分路径, ${\int }_{C}f(z)\mathrm{d}z$ 表示 $f(z)$ 沿 $C$
的正方向的积分, ${\int }_{C-}f(z)\mathrm{d}z$ 表示 $f(z)$沿 $C$
的负方向的积分.
如果 $J$ 存在, 我们一般不能把 $J$ 写成 ${\int }_a^{b}f(z)\mathrm{d}z$
的形式, 因为 $J$ 的值不仅和 $a,b$有关, 还和积分路径 $C$ 有关.
显然, $f(z)$ 沿曲线 $C$ 可积的必要条件为 $f(z)$ 沿 $C$ 有界. 另一方面,
我们有
定理 3.1 若函数 $f(z)=u(x,y)+\mathrm{i}v(x,y)$ 沿曲线 $C$ 连续, 则
$f(z)$ 沿 $C$ 可积, 且
$${\int }_{C}f(z)\mathrm{d}z={\int }_{C}u\mathrm{d}x-v\mathrm{d}y+\mathrm{i}{\int }_{C}v\mathrm{d}x+u\mathrm{d}y.$$
证 设
$z_k$