第 6 章 · 最大模原理与解析延拓

全纯函数是"刚体"：内部的值被边界牢牢控制，不可能偷偷在内部藏一个峰值。最大模原理与解析延拓把这种刚性推到极致——全纯函数彼此知根知底。

最大模原理

$f$ 非常数、在区域全纯 ⟹ $|f|$ 不可能在内部取极大值。证明一句话：柯西积分公式的均值版——圆心函数值是圆周平均，平均值不可能严格超过所有样本。推论链：

• 最大值必在边界上（紧区域上 $|f|$ 连续必有最大点，而最大点不能在内部）；
• 调和函数的最大值原理（实虚部各自适用）——位势理论、静电场的唯一性定理全部依赖；
• Schwarz 引理：单位圆盘到自身、保原点的全纯映射满足 $|f(z)| \le |z|$——复分析里"伸缩率"的精确控制，双全纯自映射的分类（自同构群）由它起笔。

解析延拓：同一函数的多张地图

全纯函数由局部信息唯一决定：$f, g$ 全纯于连通区域，若在一个有小聚点的集合（比如一段弧）上相等，则恒等（恒等定理）。这意味着：函数在某小块的定义可以"越界延伸"成更大区域的函数——解析延拓。经典戏剧：$\zeta(s) = \sum n^{-s}$ 只在 $\Re(s) > 1$ 收敛，但可以延拓到几乎全平面（黎曼 ζ 函数的解析延拓，素数定理的引擎）。 延拓的单值性可能失败：绕奇点一圈后函数值改变（单值性 monodromy）——多值函数、黎曼曲面（第 8 章）登场的理由。

老师的提醒

• "内部无峰"的原理在使用时先排除常函数：常数处处是峰。
• 恒等定理的反面应用：想证明两个全纯函数相等，找一小块（或一列有聚点的点）相等即可——证明题的偷懒通道。

自检

• 用均值性质复述最大模原理的证明思路。
• Schwarz 引理的结论与几何意义？
• 恒等定理为什么能支撑解析延拓？

更深一层：最大模原理是"无源场的静力学"

最大模原理的物理版本最直观：稳态温度场（调和函数）在无热源区域不可能有内部极值——否则热量会从热点流向四周，"稳态"崩塌。全纯函数的模继承这一性质（实虚部调和），于是闭区域上 $|f|$ 的最大值必在边界。这条"无内部峰值"的刚性派生出一串工程结论：静电场的电位无内部极值（电场线从正荷到负荷单调穿越）、椭圆 PDE 的极值原理（有限元解的物理性检验）、数值格式的单调性设计。

Schwarz 引理是最大模原理的"精装版"：把单位圆盘映入自身且保原点的全纯映射，处处被 $|z|$ 压住且 $|f'(0)| \le 1$，等号 ⟺ 旋转。它的现代后代是双曲度量与 Schwarz-Pick 引理——全纯自映射是"距离压缩"的。量子信息里保迹量子通道的压缩性、复动力学的迭代理论（Mandelbrot 集合的研究），语言全是 Schwarz 引理的放大。

推导细读：解析延拓的"合法性证书"与"多值地雷"

解析延拓的合法性由恒等定理担保：两个全纯函数若在"有聚点的集合"上相等则恒等——于是函数在一小块上的值唯一决定它在大得多的区域上的值。这是复分析最反直觉的刚性：$e^{-1/x^2}$ 型的实函数可以"贴零"后突然起飞，复全纯函数绝无这种伪装的可能。延拓的风险同样明确：绕过奇点后延拓结果依赖路径（单值性破坏）——$\log z$ 绕原点一圈加 $2\pi i$。单值性定理把责任精确归因到拓扑：单连通区域上延拓结果与路径无关；多连通就要么割破平面、要么升维到黎曼曲面。$\zeta$ 函数与 $\Gamma$ 函数的解析延拓（函数方程法）是这一章理论的历史高光——黎曼假设的舞台由延拓搭起。

专题深入：最大模原理是"无源场的静力学"完整版

最大模原理的物理版本最直观：稳态温度场（调和函数）在无热源区域不可能有内部极值——否则热量会从热点流向四周，"稳态"崩塌。全纯函数的模继承这一性质（实虚部调和），于是闭区域上 $|f|$ 的最大值必在边界。这条"无内部峰值"的刚性派生出一串工程结论：静电场的电位无内部极值、椭圆 PDE 的极值原理（有限元解的物理性检验）、数值格式的单调性设计。

Schwarz 引理是最大模原理的"精装版"：把单位圆盘映入自身且保原点的全纯映射，处处被 $|z|$ 压住且 $|f'(0)| \le 1$，等号 ⟺ 旋转。它的现代后代是双曲度量与 Schwarz-Pick 引理——全纯自映射是"距离压缩"的。量子信息里保迹量子通道的压缩性、复动力学的迭代理论（Mandelbrot 集合的研究），语言全是 Schwarz 引理的放大。

数学细节展开：解析延拓的"合法性证书"与"多值地雷"

解析延拓的合法性由恒等定理担保：两个全纯函数若在"有聚点的集合"上相等则恒等——于是函数在一小块上的值唯一决定它在大得多的区域上的值。这是复分析最反直觉的刚性：$e^{-1/x^2}$ 型的实函数可以"贴零"后突然起飞，复全纯函数绝无这种伪装的可能。延拓的风险同样明确：绕过奇点后延拓结果依赖路径（单值性破坏）——$\log z$ 绕原点一圈加 $2\pi i$。单值性定理把责任精确归因到拓扑：单连通区域上延拓结果与路径无关；多连通就要么割破平面、要么升维到黎曼曲面。

工程案例细节：ζ 函数与 Γ 函数的"函数方程延拓"实战档案

$\Gamma$ 与 $\zeta$ 的延拓共享一个模板：已有区域上的函数方程 = 延拓的复印机。$\Gamma(s+1) = s\Gamma(s)$ 把 $\Re(s) > 0$ 的已知值复制到 $\Re(s) > -1$ 条带（$s\Gamma(s)$ 在旧区域有定义，新区域用 $\Gamma(s) = \Gamma(s+1)/s$ 定义），条带逐条向左复印直到全平面（$0, -1, -2, \dots$ 是单极点，留数 $(-1)^n/n!$）。$\zeta$ 同理，只是复印机换成了函数方程 $\zeta(s) = 2^s\pi^{s-1}\sin\frac{\pi s}{2}\Gamma(1-s)\zeta(1-s)$——它把 $s$ 与 $1 - s$ 的值互锁，一步跨到全平面。"恒等式即延拓"是解析延拓的工业方法：只要恒等式两端有意义且延拓链够长，函数就被迫跟到新领地。