最后更新: 2026-04-30 16:45 查看: 197 次纠错评论(0) 课件开VIP

莫雷拉定理Morera

## 莫雷拉定理
**柯西积分定理的逆定理**，称为莫雷拉定理：若函数 $f(z)$ 在单连通区域 $D$ 内连续，且对 $D$ 内的任一周线 $C$ ，有

$$
\int_C f(z) d z=0,
$$

则 $f(z)$ 在 $D$ 内解析．
证 在假设条件下，根据柯西积分定理 即知

$$
F(z)=\int_{z_0}^z f(\zeta) d \zeta \quad\left(z_0 \in D\right)
$$

在 $D$ 内解析，且 $F^{\prime}(z)=f(z)(z \in D)$ ．但解析函数 $F(z)$ 的导函数 $F^{\prime}(z)$ 还是解析的．即是说 $f(z)$ 在 $D$ 内解析．

定理想表达的意思是：

> **只要沿复平面内任意简单闭曲线的积分都为 0，那这个函数一定解析。**

## 理解：莫雷拉定理
### 1. 最直白理解
- 柯西积分定理：
  **解析 ⇒ 沿任意闭曲线积分 = 0**
- 莫雷拉定理：
  **沿任意闭曲线积分 = 0 ⇒ 解析**

它就是**柯西积分定理的“逆定理”**。

---

### 2. 严格说法
设 $f(z)$ 在单连通区域 $D$ 内**连续**，
如果对 $D$ 内**任意**简单闭曲线 $C$，都有
$$
\oint_C f(z)\,dz = 0
$$
则 $f(z)$ 在 $D$ 内**解析**。

---

### 3. 直观理解
- 积分和路径无关 ⇒ 存在**原函数** $F(z)$
- $F'(z)=f(z)$
- 解析函数的导数仍然解析 ⇒ $f(z)$ 解析

---

### 4. 用来干嘛？
非常实用：
- 证明一个**看起来复杂、但连续**的函数是解析函数
- 和**刘维尔定理**一起，用来证：
  **有界整函数必为常数**、**代数基本定理**等。

##  柯西 + 莫雷拉 + 刘维尔 · 极简对比
### 1. 柯西积分定理（正着）
- 条件：**区域内解析**
- 结论：**任意闭路积分 = 0**
- 记忆：**解析 ⇒ 闭路积分为0**

### 2. 莫雷拉定理（反着）
- 条件：**连续 + 任意闭路积分 = 0**
- 结论：**解析**
- 记忆：**闭路积分为0 ⇒ 解析**

### 3. 刘维尔定理（全局最强）
- 条件：**全平面解析（整函数）+ 有界**
- 结论：**必为常数**
- 记忆：**又解析又有界 ⇒ 只能是常数**

### 一句话串起来
- **柯西**：解析就“圈积分归零”
- **莫雷拉**：圈积分归零就解析
- **刘维尔**：全平面解析还不爆炸，只能是常数

`例` 设 $f(z)$ 是**整函数**，且存在常数 $M>0$，使得
$$
|f(z)| \le M(1+|z|)
$$
证明：$f(z)$ 一定是**线性函数**，即
$$
f(z) = az + b,\quad a,b\in\mathbb{C}
$$
 
  思路（只用你刚学的三个定理）
1. 先看 $f(z)$：**整函数**，增长不快。
2. 想办法**造出一个有界整函数**，然后用**刘维尔定理**。
3. 对 $f'(z)$ 用估计，证明它**有界**。
4. 再用**柯西积分公式**估导数。
 
 证明步骤（极简版）
1. $f(z)$ 整函数 ⇒ $f'(z)$ 也是**整函数**。
2. 对任意 $z_0$，取圆周 $C:|z-z_0|=R$，由**柯西导数公式**
   $$
   f'(z_0) = \frac{1}{2\pi i}\oint_C \frac{f(z)}{(z-z_0)^2}dz
   $$
3. 估值：
   $$
   |f'(z_0)| \le \frac{1}{2\pi}\cdot\frac{M(1+|z|)}{R^2}\cdot 2\pi R
   $$
   在圆周上 $|z|\le |z_0|+R$，取 $R\to\infty$，可得
   $$
   |f'(z_0)| \le \text{常数}
   $$
   即 $f'(z)$ 是**有界整函数**。

4. 由**刘维尔定理**：
   $$
   f'(z) \equiv a \quad (\text{常数})
   $$
5. 积分得：
   $$
   f(z) = az + b
   $$
   
   
 `例`设函数 $f(z)$ 与 $g(z)$ 在区域 $D$ 内处处解析，$C$ 为 $D$ 内的任何一条简单闭曲线，$C$ 的内部全含于区域 $D$ ，如果 $f(z)=g(z)$ 在 $C$ 上所有的点处成立．试证在 $C$ 内所有的点处 $f(z)=g(z)$ 也成立。

证 我们知道柯西积分公式是把解析函数在曲线上任意点的值与沿曲线的积分联系起来，所以从 $C$ 上 $f(z)=g(z)$ 推得 $C$ 内 $f(z)=g(z)$ 也成立，可以利用柯西积分公式。设 $F(z)=f(z)-g(z)$ ，因为 $f(z), g(z)$ 在区域 $D$ 内处处解析，所以 $F(z)$ 也在区域 $D$ 内处处解析。 $f(z)=g(z)$ 在 $C$ 上所有的点处成立，故在 $C$ 上 $F(z)=0$ 。对任意 $z_0$ 在 $C$ 内有

$$
F\left(z_0\right)=\frac{1}{2 \pi \mathrm{i}} \oint_C \frac{F(z)}{z-z_0} \mathrm{~d} z=0
$$

即 $f\left(z_0\right)=g\left(z_0\right)$ ，由 $z_0$ 的任意性可知，在 $C$ 内 $f(z)=g(z)$ 。

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

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

免费注册

《高等数学》难点解析

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

《线性代数》难点解析

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

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

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

上一篇：刘维尔定理与代数学基本定理

下一篇：阅读：复数积分的物理解释

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