目录

第四章 复变函数的积分

本章将系统介绍复变函数积分的基本理论,包括积分的定义、性质、计算方法,以及解析函数理论中的核心定理——Cauchy积分定理和Cauchy积分公式。

4.1 复积分的定义与性质

4.1.1 复积分的定义

设 $C$ 是复平面上一条逐段光滑的有向曲线,其起点为 $z_0$,终点为 $z_1$。函数 $f(z)$ 在 $C$ 上有定义。在曲线 $C$ 上依次取分点:

$$z_0, z_1, z_2, \ldots, z_{n-1}, z_n = z_1$$

将曲线 $C$ 分成 $n$ 个小弧段。在每个小弧段 $\widehat{z_{k-1}z_k}$ 上任取一点 $\zeta_k$,作和式:

$$S_n = \sum_{k=1}^{n} f(\zeta_k)(z_k - z_{k-1}) = \sum_{k=1}^{n} f(\zeta_k)\Delta z_k$$

其中 $\Delta z_k = z_k - z_{k-1}$。

当分点无限增多,即 $n \to \infty$,且各小弧段的最大长度 $\lambda = \max_{1 \leq k \leq n}|\Delta z_k| \to 0$ 时,如果和式 $S_n$ 的极限存在且与分法及 $\zeta_k$ 的取法无关,则称此极限为函数 $f(z)$ 沿曲线 $C$ 的复积分,记作:

$$\int_C f(z)\,dz = \lim_{\lambda \to 0} \sum_{k=1}^{n} f(\zeta_k)\Delta z_k$$

4.1.2 复积分与线积分的关系

设 $f(z) = u(x,y) + iv(x,y)$,$z = x + iy$,$dz = dx + idy$,则:

$$\int_C f(z)\,dz = \int_C (u + iv)(dx + idy) = \int_C (u\,dx - v\,dy) + i\int_C (v\,dx + u\,dy)$$

这表明复积分可以转化为两个实变函数的线积分。

参数计算公式:若曲线 $C$ 的参数方程为 $z = z(t) = x(t) + iy(t)$,$\alpha \leq t \leq \beta$,则:

$$\int_C f(z)\,dz = \int_{\alpha}^{\beta} f(z(t))z'(t)\,dt$$

4.1.3 复积分的基本性质

性质1(线性性): $$\int_C [\alpha f(z) + \beta g(z)]\,dz = \alpha\int_C f(z)\,dz + \beta\int_C g(z)\,dz$$

性质2(路径可加性):若 $C = C_1 + C_2$,则: $$\int_C f(z)\,dz = \int_{C_1} f(z)\,dz + \int_{C_2} f(z)\,dz$$

性质3(方向性):设 $C^-$ 表示与 $C$ 方向相反的曲线,则: $$\int_{C^-} f(z)\,dz = -\int_C f(z)\,dz$$

性质4(积分估计):若在 $C$ 上 $|f(z)| \leq M$,$C$ 的长度为 $L$,则: $$\left|\int_C f(z)\,dz\right| \leq \int_C |f(z)|\,|dz| \leq ML$$

4.2 积分计算例题

例题4.1 计算 $\int_C \text{Re}(z)\,dz$,其中 $C$ 为: (1) 从原点到 $1+i$ 的直线段; (2) 从原点沿实轴到 $1$,再沿竖直线到 $1+i$ 的折线。

: (1) 直线段的参数方程:$z(t) = t + it = (1+i)t$,$0 \leq t \leq 1$

$\text{Re}(z) = t$,$dz = (1+i)dt$

$$\int_C \text{Re}(z)\,dz = \int_0^1 t(1+i)\,dt = (1+i)\cdot\frac{1}{2} = \frac{1+i}{2}$$

(2) 折线分为两段:

  1. $C_1$:$z = t$,$0 \leq t \leq 1$,$\text{Re}(z) = t$,$dz = dt$
  2. $C_2$:$z = 1 + it$,$0 \leq t \leq 1$,$\text{Re}(z) = 1$,$dz = idt$

$$\int_{C_1} \text{Re}(z)\,dz = \int_0^1 t\,dt = \frac{1}{2}$$ $$\int_{C_2} \text{Re}(z)\,dz = \int_0^1 1 \cdot i\,dt = i$$

$$\int_C \text{Re}(z)\,dz = \frac{1}{2} + i$$

结论:积分与路径有关。

例题4.2 计算 $\oint_{|z|=r} \frac{dz}{z}$,其中圆周取正向。

:参数方程 $z = re^{i\theta}$,$0 \leq \theta \leq 2\pi$

$dz = ire^{i\theta}d\theta$

$$\oint_{|z|=r} \frac{dz}{z} = \int_0^{2\pi} \frac{ire^{i\theta}d\theta}{re^{i\theta}} = i\int_0^{2\pi}d\theta = 2\pi i$$

例题4.3 计算 $\oint_{|z|=1} |z-1|\,|dz|$。

:在 $|z|=1$ 上,设 $z = e^{i\theta}$

$|z-1| = |e^{i\theta}-1| = |\cos\theta + i\sin\theta - 1| = \sqrt{(\cos\theta-1)^2 + \sin^2\theta}$

$= \sqrt{2 - 2\cos\theta} = 2\left|\sin\frac{\theta}{2}\right|$

$|dz| = |ie^{i\theta}d\theta| = d\theta$

$$\oint_{|z|=1} |z-1|\,|dz| = \int_0^{2\pi} 2\left|\sin\frac{\theta}{2}\right|d\theta = 4\int_0^{\pi}\sin\phi\,d\phi = 8$$

4.3 Cauchy积分定理

4.3.1 Cauchy定理(单连通区域)

定理4.1(Cauchy积分定理):若函数 $f(z)$ 在单连通区域 $D$ 内解析,则对于 $D$ 内任意一条逐段光滑的闭曲线 $C$,有:

$$\oint_C f(z)\,dz = 0$$

证明:设 $f(z) = u + iv$,由复积分与线积分的关系:

$$\oint_C f(z)\,dz = \oint_C u\,dx - v\,dy + i\oint_C v\,dx + u\,dy$$

由于 $f(z)$ 在 $D$ 内解析,满足Cauchy-Riemann方程: $$\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}, \quad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}$$

应用Green公式: $$\oint_C u\,dx - v\,dy = \iint_G \left(-\frac{\partial v}{\partial x} - \frac{\partial u}{\partial y}\right)dx\,dy = 0$$ $$\oint_C v\,dx + u\,dy = \iint_G \left(\frac{\partial u}{\partial x} - \frac{\partial v}{\partial y}\right)dx\,dy = 0$$

其中 $G$ 是 $C$ 所围成的区域。因此 $\oint_C f(z)\,dz = 0$。∎

4.3.2 不定积分与原函数

定理4.2:若 $f(z)$ 在单连通区域 $D$ 内解析,则积分 $\int_{z_0}^{z} f(\zeta)\,d\zeta$ 与路径无关,只与起点 $z_0$ 和终点 $z$ 有关。

定义:函数 $F(z) = \int_{z_0}^{z} f(\zeta)\,d\zeta$ 称为 $f(z)$ 的不定积分原函数

定理4.3:若 $f(z)$ 在单连通区域 $D$ 内解析,$F(z)$ 是其原函数,则: $$\int_{z_1}^{z_2} f(z)\,dz = F(z_2) - F(z_1)$$

例题4.4 计算 $\int_0^{i} z\cos z\,dz$。

:$f(z) = z\cos z$ 在全平面解析。

用分部积分法求原函数: $$F(z) = \int z\cos z\,dz = z\sin z + \cos z + C$$

因此: $$\int_0^{i} z\cos z\,dz = [z\sin z + \cos z]_0^i = i\sin i + \cos i - 1$$

$= i \cdot \frac{e^{-1}-e}{2i} + \frac{e^{-1}+e}{2} - 1 = e^{-1} - 1$

4.3.3 复连通区域的Cauchy定理

定理4.4:设 $D$ 是由外边界 $C_0$(正向)和内边界 $C_1^-, C_2^-, \ldots, C_n^-$(负向)围成的复连通区域。若 $f(z)$ 在 $\overline{D}$ 上解析,则:

$$\oint_{C_0} f(z)\,dz + \oint_{C_1^-} f(z)\,dz + \cdots + \oint_{C_n^-} f(z)\,dz = 0$$

或写成: $$\oint_{C_0} f(z)\,dz = \sum_{k=1}^{n} \oint_{C_k} f(z)\,dz$$

其中所有积分均取正向。

4.4 Cauchy积分公式

4.4.1 Cauchy积分公式

定理4.5(Cauchy积分公式):设 $f(z)$ 在区域 $D$ 内解析,$C$ 为 $D$ 内任意一条正向简单闭曲线,其内部全含于 $D$。则对于 $C$ 内部任一点 $z$,有:

$$f(z) = \frac{1}{2\pi i}\oint_C \frac{f(\zeta)}{\zeta - z}\,d\zeta$$

证明:以 $z$ 为中心,$r$ 为半径作小圆周 $C_r$,使得 $C_r$ 及其内部全在 $C$ 内部。

由复连通区域的Cauchy定理: $$\oint_C \frac{f(\zeta)}{\zeta - z}\,d\zeta = \oint_{C_r} \frac{f(\zeta)}{\zeta - z}\,d\zeta$$

在 $C_r$ 上,$\zeta = z + re^{i\theta}$,$d\zeta = ire^{i\theta}d\theta$

$$\oint_{C_r} \frac{f(\zeta)}{\zeta - z}\,d\zeta = \int_0^{2\pi} \frac{f(z+re^{i\theta})}{re^{i\theta}} \cdot ire^{i\theta}d\theta = i\int_0^{2\pi} f(z+re^{i\theta})d\theta$$

令 $r \to 0$: $$\oint_C \frac{f(\zeta)}{\zeta - z}\,d\zeta = i\int_0^{2\pi} f(z)d\theta = 2\pi i f(z)$$

因此 $f(z) = \frac{1}{2\pi i}\oint_C \frac{f(\zeta)}{\zeta - z}\,d\zeta$。∎

4.4.2 高阶导数公式

定理4.6:在定理4.5的条件下,$f(z)$ 在 $C$ 内部有任意阶导数,且:

$$f^{(n)}(z) = \frac{n!}{2\pi i}\oint_C \frac{f(\zeta)}{(\zeta - z)^{n+1}}\,d\zeta, \quad n = 0, 1, 2, \ldots$$

重要推论:若 $f(z)$ 在区域 $D$ 内解析,则 $f(z)$ 在 $D$ 内有任意阶导数,且各阶导数也在 $D$ 内解析。

4.5 解析函数的性质

4.5.1 Morera定理

定理4.7(Morera定理):若 $f(z)$ 在区域 $D$ 内连续,且对于 $D$ 内任意闭曲线 $C$ 有: $$\oint_C f(z)\,dz = 0$$ 则 $f(z)$ 在 $D$ 内解析。

4.5.2 Cauchy不等式

定理4.8(Cauchy不等式):设 $f(z)$ 在 $|z - z_0| \leq R$ 上解析,$M(R) = \max_{|z-z_0|=R}|f(z)|$,则:

$$|f^{(n)}(z_0)| \leq \frac{n!M(R)}{R^n}, \quad n = 0, 1, 2, \ldots$$

4.5.3 Liouville定理

定理4.9(Liouville定理):有界整函数必为常数。

证明:设 $f(z)$ 为整函数且 $|f(z)| \leq M$。对任意 $z_0$,由Cauchy不等式: $$|f'(z_0)| \leq \frac{M}{R}$$

令 $R \to \infty$,得 $f'(z_0) = 0$。因此 $f(z)$ 为常数。∎

4.5.4 代数基本定理

定理4.10:非常数多项式至少有一个零点。

证明:设 $P(z) = a_0z^n + a_1z^{n-1} + \cdots + a_n$,$a_0 \neq 0$,$n \geq 1$。

若 $P(z)$ 无零点,则 $f(z) = \frac{1}{P(z)}$ 为整函数。

当 $|z| \to \infty$,$|P(z)| \to \infty$,所以 $|f(z)| \to 0$。因此 $f(z)$ 有界。

由Liouville定理,$f(z)$ 为常数,矛盾。∎

4.6 综合例题

例题4.5 计算 $\oint_{|z|=2} \frac{e^z}{z(z-1)}\,dz$。

:被积函数在 $|z|=2$ 内有两个奇点 $z=0$ 和 $z=1$。

分别以 $z=0$ 和 $z=1$ 为中心作小圆周 $C_0$ 和 $C_1$,则:

$$\oint_{|z|=2} \frac{e^z}{z(z-1)}\,dz = \oint_{C_0} \frac{e^z}{z(z-1)}\,dz + \oint_{C_1} \frac{e^z}{z(z-1)}\,dz$$

在 $C_0$ 上,$\frac{e^z}{z-1}$ 解析: $$\oint_{C_0} \frac{e^z/(z-1)}{z}\,dz = 2\pi i \cdot \frac{e^0}{0-1} = -2\pi i$$

在 $C_1$ 上,$\frac{e^z}{z}$ 解析: $$\oint_{C_1} \frac{e^z/z}{z-1}\,dz = 2\pi i \cdot \frac{e^1}{1} = 2\pi ei$$

因此: $$\oint_{|z|=2} \frac{e^z}{z(z-1)}\,dz = 2\pi i(e-1)$$

例题4.6 计算 $\oint_{|z|=1} \frac{\sin z}{z^3}\,dz$。

:由高阶导数公式: $$f(0) = \frac{2!}{2\pi i}\oint_{|z|=1} \frac{\sin z}{z^3}\,dz$$ $f(z) = \sin z$,$f(z) = -\sin z$,$f(0) = 0$ 因此: $$\oint_{|z|=1} \frac{\sin z}{z^3}\,dz = \pi i \cdot f(0) = 0$$

例题4.7 设 $f(z)$ 在 $|z| < 1$ 内解析,在 $|z| \leq 1$ 上连续,且 $|f(z)| \leq M$。证明: $$|f'(0)| \leq M$$

证明:由Cauchy积分公式: $$f'(0) = \frac{1}{2\pi i}\oint_{|z|=1} \frac{f(z)}{z^2}\,dz$$

$$|f'(0)| \leq \frac{1}{2\pi} \cdot \frac{M}{1} \cdot 2\pi = M$$

4.7 习题

习题4.1 计算下列积分: (1) $\int_C (z^2 + 2z)\,dz$,其中 $C$ 为从原点到 $1+i$ 的直线段; (2) $\oint_{|z|=1} \frac{dz}{z^2+4}$; (3) $\oint_{|z|=2} \frac{\cos z}{z-\pi}\,dz$。

习题4.2 设 $C$ 为正向圆周 $|z| = 3$,计算: $$\oint_C \frac{e^z}{(z-1)^2(z+2)}\,dz$$

习题4.3 证明:若 $f(z)$ 在 $|z - z_0| > r_0$ 内解析,且 $\lim_{z \to \infty} zf(z) = A$,则对任意 $r > r_0$: $$\oint_{|z-z_0|=r} f(z)\,dz = 2\pi i A$$

习题4.4 设 $f(z)$ 在单连通区域 $D$ 内解析且不为零,$C$ 为 $D$ 内任意闭曲线。证明: $$\oint_C \frac{f'(z)}{f(z)}\,dz = 0$$

习题4.5 设 $f(z)$ 是整函数,且存在常数 $M > 0$ 和正整数 $n$ 使得 $|f(z)| \leq M|z|^n$ 对所有充分大的 $|z|$ 成立。证明 $f(z)$ 是次数不超过 $n$ 的多项式。

习题4.6 计算积分: $$\oint_{|z|=2} \frac{z^2+1}{(z-1)(z^2+4)}\,dz$$

习题4.7 设 $f(z)$ 在 $|z| \leq R$ 上解析,证明: $$f(z) = \frac{1}{2\pi}\int_0^{2\pi} f(Re^{i\theta})\frac{R^2-|z|^2}{|Re^{i\theta}-z|^2}\,d\theta$$ (Poisson积分公式)

习题4.8 设 $f(z)$ 在区域 $D$ 内解析,$z_0 \in D$,$r > 0$ 使得 $\overline{D(z_0, r)} \subset D$。证明: $$f(z_0) = \frac{1}{\pi r^2}\iint_{D(z_0,r)} f(x+iy)\,dx\,dy$$ 即解析函数在圆心的值等于它在该圆上的平均值(面积分形式)。

4.8 本章小结

本章核心内容:

1. 复积分的定义:通过和式极限定义,可转化为线积分计算。

2. Cauchy积分定理:解析函数沿闭曲线的积分为零,是复变函数理论的基石。

3. Cauchy积分公式:将解析函数在区域内的值与边界上的值联系起来。

4. 高阶导数公式:解析函数有任意阶导数,且各阶导数可由积分表示。

5. 重要定理:Liouville定理、代数基本定理、Morera定理等。

这些定理深刻揭示了解析函数的性质,为后续学习级数展开、留数理论等奠定了基础。