2.2 基本性质与定理

2.2 基本性质与定理

本节摘要：SOURCE 2.2：三者并非并列，而是形成反馈回路：调和函数满足最大值原理（这是调和函数自身的极值原理），而该原理又为解析函数的最大模原理提供直观类比与技术铺垫；唯一性定理依赖于解析函数在每点的幂级数展开，而幂级数的系数由柯西公式给出，后者又根植于围道积分——而围道积分的有效性，恰恰由柯西定理保障，而柯西定理的证明，又离不开解析函数在单连通域内原函数的存在性，后者又等价于共轭调和函数的存在性……环环相扣，无始无终。

目标与定位

上一节的柯西-黎曼方程给出了"局部可微"的判定，本节转向解析函数的全局性质。核心信息一句话：解析函数是"超刚性"的——边界条件或局部信息一旦给定，函数处处被确定。本节研究四条性质链：调和性、最大模原理、唯一性定理与解析延拓。

解析函数与调和函数

若 f=u+iv 在区域 D 上解析，则 u,v 在 D 上调和：

反过来，若 u 在单连通区域上调和，则存在调和共轭 v（至多相差常数）使 f=u+iv 解析。共轭调和函数可用线积分构造：

解析函数的实部与虚部因此不是独立的——知道 u，就能（在单连通区域上）重建 f。这解释了位势论为何与复分析形影不离：静电势、流函数都是某个解析函数的实部或虚部。

最大模原理

最大模原理：若 f 在区域 D 上解析且非常数，则 |f| 在 D 内部取不到最大值。等价说法：若 |f| 在 D 内某点达到局部最大，则 f 在 D 上恒为常数。

证明思路（平均值性质 + 圆盘内模的积分表示）：

$$
|f(z_0)| = \left|\frac{1}{2\pi}\int_0^{2\pi} f(z_0+re^{i\theta})\,d\theta\right|
\le \frac{1}{2\pi}\int_0^{2\pi}|f(z_0+re^{i\theta})|\,d\theta \le \max_{|z-z_0|=r}|f|.
$$
​

若 |f(z_0)| 已是最大值，上述不等号全为等号，迫使 f 在圆周上模恒定，进而 f 恒定。

推论（刘维尔定理）：全平面上解析且有界的函数必为常数。因为若 |f|\le M，取半径任意大的圆盘用最大模原理即可压平 f。这一定理在代数基本定理的证明中起关键作用。

唯一性定理与解析延拓

唯一性定理：设 f 在区域 D 上解析。若 f 的零点在 D 内有聚点，则 f\equiv 0。推论：两个解析函数若在 D 内某个含聚点的集合上相等，则处处相等。

由此产生解析延拓现象：定义在 D_1 上的解析函数若有另一个区域 D_2\supset D_1 上的解析函数与之在 D_1 上重合，则该延拓是唯一的。例如 \sum_{n=0}^\infty z^n 在 |z|<1 内收敛于 \frac{1}{1-z}，后者解析延拓到 \mathbb{C}\setminus\{1\}——尽管级数在 |z|\ge1 处发散。

数值算例：验证调和性与最大模

import numpy as np

# f(z) = e^z 的实部 u = e^x cos y 应为调和函数
x, y = np.meshgrid(np.linspace(-1, 1, 60), np.linspace(-1, 1, 60))
u = np.exp(x) * np.cos(y)
# 用五点差分估计拉普拉斯算子
h = 0.01
lap = (np.exp(x+2*h)*np.cos(y) - 2*u + np.exp(x-2*h)*np.cos(y))/(4*h**2) + \
      (np.exp(x)*np.cos(y+2*h) - 2*u + np.exp(x)*np.cos(y-2*h))/(4*h**2)
print("拉普拉斯量最大值: %.2e" % np.max(np.abs(lap)))
​

# 数值验证最大模原理：|z^2| 在单位圆盘内部的点总小于边界值 1
r = np.random.rand(20000)   # 半径 0~1
th = 2*np.pi * np.random.rand(20000)
z = r * np.exp(1j*th)
m = np.abs(z**2)
print("内部 |z^2| 最大值: %.6f（应 < 1）" % m.max())
print("边界值恒为 1；内部达到 1 的点数:", (m >= 1.0 - 1e-12).sum())
​

应用：刚性的物理后果

最大模原理在物理上对应极值原理：稳态温度分布、静电场势在无源区域内既无内部最大也无内部最小，极值必在边界上。唯一性定理则保证边值问题解的唯一性——给定边界温度，稳态分布唯一确定。这些"刚性"现象全部源自解析性，是实函数永远无法提供的性质。

⚠️ 常见坑：只记结论不记适用边界——最大模原理要求 f 非常数且 D 是区域；刘维尔定理要求 f 在全平面解析（而非仅在有界区域）；唯一性定理要求零点集合在 D 内有聚点。

💡 关键直觉：2.2 基本性质与定理 应能对应至少一项可复现实验或算例——上文的拉普拉斯残差与随机抽样最大模检查即为数值例证。

思考与检验

1. 用刘维尔定理证明代数基本定理：设 P 为非常数多项式，若 P 无零点则 1/P 全平面有界解析，矛盾。
2. 给出一个在 \{|z|<1\} 上解析、模恒为 1、非常数的函数不存在的说明。
3. 验证 e^z 与 e^{z+2\pi i} 相同，说明指数函数的周期结构。

小结

• 主干：2.2 基本性质与定理 连接「输入—过程—输出」——调和性、最大模原理、唯一性、解析延拓。
• 边界：所有结论都以"区域 + 解析"为前提，边界与连通性不能忽视。
• 方法：用差分算子估计拉普拉斯残差、用随机采样检验极值原理。