最后更新: 2026-05-01 15:41 查看: 298 次纠错评论(0) 课件开VIP

复积分模计算上界

## 复积分模计算上界

**定理1** 设有向曲线 $C$ 的长度为 $L, f(z)$ 在 $C$ 上满足 $|f(z)| \leqslant M$ ，则

$$
\boxed{
\left|\int_C f(z) \mathrm{d} z\right| \leqslant \int_C|f(z)| \mathrm{d} s \leqslant M L .
}
$$

**这个定理说明：复变函数中积分的模小于等于模的积分**

证明：这个证明其实包含了两个部分：
**第一部分** $\left|\int_C f(z) \mathrm{d} z\right| \leqslant \int_C|f(z)| $ 和**第二部分** $\int_C|f(z)| \mathrm{d} s \leqslant M L$

第一部分的证明主要是根据复积分的定义，参考下图

他的核心包含了下面的这个意思：
$$
\left|\int_C f(z) \mathrm{d} z\right| \leqslant \int_C|f(z)||\mathrm{d} z|=\int_C|f(z)| \mathrm{d} s .
$$

这里 $|\mathrm{d} z|$ 表示弧长的微分，即

$$
|\mathrm{d} z|=\sqrt{(\mathrm{d} x)^2+(\mathrm{d} y)^2}=\mathrm{d} s
$$

详见[第一类曲线积分](https://kb.kmath.cn/kbase/detail.aspx?id=415)

![图片](/uploads/2026-02/e30770.jpg)

事实上，$\left|\Delta z_k\right|$ 是 $z_{k-1}$ 与 $z_k$ 两点的距离，$\Delta s_k$ 是 $C$ 上 $z_{k-1}$ 与 $z_k$ 两点弧段的长，故

$$
\left|\Delta z_k\right| \leqslant \Delta s_k
$$

从而有

$$
\left|\sum_{k=1}^n f\left(\zeta_k\right) \Delta z_k\right| \leqslant \sum_{k=1}^n\left|f\left(\zeta_k\right)\right|\left|\Delta z_k\right| \leqslant \sum_{k=1}^n\left|f\left(\zeta_k\right)\right| \Delta s_k .
$$

两端取极限，得到

$$
\left|\int_C f(z) \mathrm{d} z\right| \leqslant \int_C|f(z)| \mathrm{d} s
$$

第二部分，又

$$
\int_C|f(z)| \mathrm{d} s \leqslant M \int_C \mathrm{~d} s=M L,
$$

所以

$$
\left|\int_C f(z) \mathrm{d} z\right| \leqslant \int_C|f(z)| \mathrm{d} s \leqslant M L
$$

**作用** 复积分模计算上界常用于证明：估算一个积分和一个具体的数值之差不超过任意给定的 $\varepsilon$ ，从而得到二者相等．

`例` 试证 $\left|\int_C \frac{\mathrm{~d} z}{z^2}\right| \leqslant 2$ ．积分路径 $C$ 是连接 i 和 $2+\mathrm{i}$ 的直线段．

解 $C$ 的参数方程为

即

$$
\begin{gathered}
z=(1-t) \mathrm{i}+t(2+\mathrm{i}) \quad(0 \leqslant t \leqslant 1), \\
z=2 t+\mathrm{i} \quad(0 \leqslant t \leqslant 1),
\end{gathered}
$$

沿 $C, \frac{1}{z^2}$ 连续，且

$$
\left|\frac{1}{z^2}\right|=\frac{1}{|z|^2}=\frac{1}{4 t^2+1} \leqslant 1
$$

而 $C$ 之长为 2．故由积分模上界得，$\left|\int_C \frac{\mathrm{~d} z}{z^2}\right| \leqslant 2$ ．

### 定理1的意义

复变函数中模上界的性质，即积分的模小于等于模的积分，是基于复分析中的一个基本定理一一柯西积分定理和积分不等式。虽然直接从复变函数理论到这个直观理解需要一定的数学背景，但我们可以尝试简化解释这一现象。

在复分析中，解析函数在闭合曲线内如果没有奇点，那么沿该曲线的积分结果为零，这是柯西积分定理。而当我们谈论积分的模小于等于模的积分时，我们实际上是在讨论积分过程中的绝对值性质，这与复数的模有关。

考虑一个在区域 D 内解析的函数 $\mathrm{f}(\mathrm{z})$ ，以及 D 内的一条闭合曲线 C 。根据柯西－施瓦茨不等式和解析函数的性质，当计算沿 $C$ 的积分

$$
\oint_C f(z) d z
$$

时，积分的模可以表示为所有点上函数值的模与积分路径长度的乘积之积分的模。由于在任何点上 $|f(z)|$ 代表 $f(z)$ 的大小，我们可以想象，当你对整个路径上的 $|f(z)|$ 进行积分时，你实际上是在计算函数值的＂平均大小＂乘以路径长度。由于积分是一个累积过程，任何局部的 $\mathrm{f}(\mathrm{z})$｜增大都会增加总积分的值，但并不意味着整个积分的模会超过整个路径上 $|f(z)|$ 的积分。

具体来说，如果我们定义

$$
I=\left|\oint_C f(z) d z\right| M=\oint_C|f(z)||d z|
$$

那么根据不等式，我们有

$$
I \leq M
$$

这是因为积分路径上的每一点，$|f(z)|$ 都是 $f(z)$ 的非负模，所以积分 $|f(z)|$ 在整个路径上的总和自然构成了 $\mathrm{f}(\mathrm{z})$ 积分模的一个上限。这个性质体现了复变函数积分的一种连续性和整体性，也是复分析中函数平滑性和积分性质的直接反映。

## 理解：积分模上界定理
复数可以看成向量，在[复数的基础](https://kb.kmath.cn/kbase/detail.aspx?id=822) 里说过，复数不能比较大小，比如不能说 $i$ 比$2i$ 大，复数虽然不能比较大小，但是复数的模能比较大小，因此 $|i|<|2i|$ （注意：这里不是绝对值，是模，也就是向量的长度）

在看两个概念：速度和速率，速度是矢量，速率是标量。想象

考虑下面2种简单运动：核心是我们把复数理解为速度向量。
（1）以速度$\vec{v}=1$从A点运动到$B$点直线运动，用时为1秒，则AB的距离为，即$\int_L \vec{v}dt=1$ 速度对时间的积分就是1.
（2） 以速率$v=1$从A点运动到$B$点，用时为1秒，则AB的距离为，即$\int_L vdt=1$ 速度对时间的积分就是1.

在（1）（2）两种情况，速度积分就等于速率积分。

![图片](/uploads/2026-02/6dac4e.jpg){width=300px}

（3） 以速度$\vec{v}=1$绕半径为1的圆周运动，因为又回到了原点，根据物理学只是位移为零。因此 $\int_L \vec{v}dt=0$
（4）以速率$v=1$绕半径为1的圆周运动，回到原点后，所经历的路程为$2\pi$

(5)假设你的运动速度是变速的，出现的速度最大值为5，那么你绕一圈，所经理的路程，最大为$2\pi *5=10 \pi$

上面(1)~(5)构成了定理1的物理意义。

##  一个形象的解释：被压扁的篱笆

我们可以把复积分看成一种特殊的“面积”。

如果你在实轴上积分 $\int_a^b f(x) dx$，结果就是曲线下方的面积。
复积分稍微复杂一点，但想象一下：
- 你把曲线 $C$“拉直”成一条长度为 $L$ 的直线段。
- 函数 $f(z)$ 的值是一些复数（平面上的箭头），你可以把这些箭头的长度（模）想象成篱笆的高度。
- 那么积分的大小，就相当于在这段长度为 $L$ 的线段周围，用高度不超过 $M$ 的篱笆围起来的一块区域。

**这个区域的最大可能面积就是 $M \times L$**（一个高为 $M$、长为 $L$ 的矩形的面积）。复积分的模绝不可能超过这个面积。这就是为什么该定理有时被称为“ML不等式”。

为什么叫“上界”？它有什么用？

很多时候，我们根本积不出 $\int_C f(z) dz$ 的精确值（没有初等表达式），但我们可以轻松地找到函数的最大模 $M$ 和曲线长度 $L$，然后说：

> “这个积分值的模最多也就是 $M \times L$，翻不了天。”

这在证明中极其有用。例如：
- **证明某个复杂的积分趋于零**：如果你能让 $M$ 很小或者 $L$ 很短，那么积分本身就必然很小，可以直接扔掉。
- **估计误差**：在数值计算中，可以知道省略某些部分最多带来多大的误差。

**4. 最简单例子**
**例1** 设 $C $ 是圆心在原点、半径1的圆周，长度 $L=2\pi $ (我们把积分的曲线向量按照最大的直线估算)
$f(z)=z $，在 $C $ 上 $|z|=1 $，所以 $M=1 $

则
$$
\left|\int_C z\,dz\right| \le 1\cdot 2\pi = 2\pi
$$
这就是**上界**。

**例2**假设你要在从 $0$ 到 $1+i$ 的直线段 $C$ 上，对函数 $f(z) = z^2$ 积分。

![图片](/uploads/2026-05/226727.jpg)
 
 
1.  **曲线长度 $L$**：线段长度 $|1+i - 0| = \sqrt{1^2+1^2} = \sqrt{2}$。
2.  **最大模 $M$**：在这条线段上，$|z|$ 从 $0$ 变到 $\sqrt{2}$。所以 $|f(z)| = |z|^2$ 的最大值是 $(\sqrt{2})^2 = 2$。即 $M=2$。
3.  **结论**：不管实际积分结果是多少，它的模一定满足

$$
\left| \int_C z^2 \, dz \right| \le M \cdot L = 2 \cdot \sqrt{2} = 2\sqrt{2}
$$

（实际算出的模是 $\frac{2\sqrt{2}}{3}$，确实比 $2\sqrt{2}$ 小。）

## 例题

`例`估计 $\int_C \frac{ e ^z}{z} d z$ 的模的一个上界，其中 $C$ 如图所示。
 ![图片](/uploads/2025-01/501cf5.jpg)
 解：
 $$
\begin{aligned}
\left|\int_C \frac{ e ^z}{z} d z\right| & \leq \int_C\left|\frac{e^z}{z}\right||d z| \\
& =\int_C \frac{\left|e^z\right|}{|z|} d s=\int_C\left|e^x\right| d s \\
& =\int_C e ^x d s \leq e \pi
\end{aligned}
$$

`例`估计 $\int_C \frac{ 1 }{z-i} d z$ 的模的一个上界，其中 $C$ 如图所示。
 ![图片](/uploads/2025-01/d05933.jpg)
 解 曲线 $C: z=3 t+i 4 t, t: 0 \rightarrow 1$ ，

$$
\begin{aligned}
|z-i| & =|3 t+i(4 t-1)| \\
& =\sqrt{(3 t)^2+(4 t-1)^2} \\
& =\sqrt{25 t^2-8 t+1} \\
& =\sqrt{25\left(t-\frac{4}{25}\right)^2+\frac{9}{25}} \geq \frac{3}{5} . \\
\left|\int_C \frac{1}{z-i} d z\right| & \leq \int_C \frac{1}{|z-i|} d s \leq \frac{5}{3} \cdot 5=\frac{25}{3} .
\end{aligned}
$$

科数题库(单机版) 会议室预约系统(book)

今日还可看 0 篇未注册用户每天查看4篇，注册用户每天8篇，开通VIP会员无限制查看。

免费注册

《高等数学》难点解析

高数教程 泰勒公式切线与法线切平面与法平面驻点·拐点·极值点·零点间断点渐进线瑕积分欧拉方程伯努利方程 Abel 收敛定理偏导数的几何意义偏导数的几何意义梯度数量场与向量场多元函数极值拉格朗日算子通量与散度环流量与旋度格林公式高斯公式斯托克斯公式三大公式比较傅里叶级数极坐标微元点法式方程变上限定积分 X型计算面积 Y型计算面积微分的意义渐近线间断点 y''+py'+qy=f(x)方程高斯黎曼傅里叶变换(复数) 拉普拉斯变换(复数)

《线性代数》难点解析

线代教程 近世代数对数学的整体思考线性的意义矩阵乘法(列视角) 矩阵乘法(行视角) 矩阵左乘矩阵右乘逆矩阵求解方程组阶梯形矩阵的求法方程组解的判定四阶行列式的计算线性变换的意义线性空间向量组的等价线性空间的几何意义基础解系的求法施密特正交化特征值与特征向量的意义矩阵相似的几何意义矩阵可对角化的理解秩的意义(向量版) 秩的意义(方程版) 二次型的意义

《概率论与数理统计》难点解析

概率教程 置信区间与上a分位数概率中的“取”与“放” 贝叶斯公式全概率公式泊松分布指数分布伽玛分布二维密度图的意义卷积的意义相关系数的意义 k阶矩是与矩母函数卡方分布的作用单正态区间估计理解假设检验理解切比雪夫不等式中心极限定理

上一篇：复变函数积分的计算★★★★★

下一篇：柯西积分定理★★★★★

本文对您是否有用？有用 (0) 无用 (0)