第 8 章选读 · 解析延拓与多值函数

$\log z$、$\sqrt{z}$ 这类函数为什么"多值"？怎样让它们变成干净的数学对象？这一节把多值性问题彻底解决——手段是把定义域本身变形：黎曼曲面。

多值性的解剖

$\sqrt{z}$：绕原点一圈，函数值变号——因为"$z$ 的平方根"有两个局部分支，绕过 0 后接到了另一支上。$\log z$ 同理：绕一圈值加 $2\pi i$。枝点（branch point）是这类换轨的发生点；处理手段两条：

• 割破平面：从枝点剪一条射线（负实轴），禁止跨越——在剪开的单连通区域上每个多值函数有单值分支。这是围道积分里"钥匙孔围道"的理论解释。
• 黎曼曲面：不剪域，把"多层叶子"粘起来——$\sqrt{z}$ 的曲面是两叶在 0 处交叉粘合，$\log z$ 是无穷叶螺旋面。在曲面上看，函数是单值的。

延拓的代数化：单值性定理

解析延拓沿不同路径可能给出不同结果，差多少由绕枝点决定——单值性定理：单连通区域内沿任意路径延拓结果一致。这把"多值"的责任精确归因到拓扑（区域的洞）上：补上洞（曲面化），多值消失。

Gamma 函数与 ζ 函数：延拓的实战档案

两个案例的公共技术：函数方程即延拓——已有区域上成立的恒等式把函数"拖"到新区域。

• $\Gamma(s) = \int_0^\infty e^{-t}t^{s-1}dt$ 只在 $\Re(s)>0$ 收敛；用函数方程 $\Gamma(s+1) = s\Gamma(s)$ 延拓到全平面（$0,-1,-2,\dots$ 为单极点，留数有规律）；
• ζ 函数经函数方程 $\zeta(s) = 2^s\pi^{s-1}\sin(\pi s/2)\Gamma(1-s)\zeta(1-s)$ 延拓成亚纯函数，唯一奇点 $s=1$——素数定理与黎曼假设的舞台由这一延拓搭起。

老师的提醒

• 判断多值函数的分支结构先找枝点（检查绕行时函数值是否回归），再决定割线位置——围道题的失败多半是割线穿过了积分路径。
• Γ 函数的极点位置与留数（$(-1)^n/n!$）值得背：概率论（Γ 分布）、组合恒等式里反复出现。

自检

• $\sqrt{z}$ 的黎曼曲面长什么样？
• 割破平面解决了什么、牺牲了什么？
• 用函数方程说明 Γ 函数如何延拓到 $\Re(s)\le 0$。

更深一层：多值函数的"升维治疗"

$\sqrt z$ 与 $\log z$ 的多值性在割破平面后被人为压制，在黎曼曲面上被彻底治愈：$\sqrt z$ 的曲面是两叶在原点交叉粘合（绕两圈回原值），$\log z$ 是无穷叶螺旋面（永不回归）。在曲面上函数是单值的，多值性是"低维视角的错觉"——这个升维思想是黎曼几何与复几何的起点，也是现代物理（规范场、纤维丛）的数学原型："把定义域造对，函数自然单值"。

割破平面的工程用法（围道积分）有个精确的账目逻辑：割线是辐角函数的"不连续线"，围道跨越割线时函数值跳 $2\pi i$（$\log$）或变号（$\sqrt{}$）——钥匙孔围道正是利用这个跳变把"辐角积分段"变成可计算项。经典战果 $\int_0^\infty \frac{x^{a-1}}{1+x}dx = \frac{\pi}{\sin \pi a}$（$0 < a < 1$）的钥匙孔计算是这一技术的标准演习。

推导细读：函数方程延拓的"复制粘贴合法化"

$\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$ 的值互锁，一步跨到全平面。"恒等式即延拓"是解析延拓的工业方法：只要恒等式两端有意义且延拓链够长，函数就被迫跟到新领地。

专题深入：多值函数的"升维治疗"完整版

$\sqrt z$ 与 $\log z$ 的多值性在割破平面后被人为压制，在黎曼曲面上被彻底治愈：$\sqrt z$ 的曲面是两叶在原点交叉粘合（绕两圈回原值），$\log z$ 是无穷叶螺旋面（永不回归）。在曲面上函数是单值的，多值性是"低维视角的错觉"——这个升维思想是黎曼几何与复几何的起点，也是现代物理（规范场、纤维丛）的数学原型："把定义域造对，函数自然单值"。

割破平面的工程用法（围道积分）有个精确的账目逻辑：割线是辐角函数的"不连续线"，围道跨越割线时函数值跳 $2\pi i$（$\log$）或变号（$\sqrt{}$）——钥匙孔围道正是利用这个跳变把"辐角积分段"变成可计算项。经典战果 $\int_0^\infty \frac{x^{a-1}}{1+x}dx = \frac{\pi}{\sin \pi a}$（$0 < a < 1$）的钥匙孔计算是这一技术的标准演习。

数学细节展开：解析延拓的"函数方程即延拓"完整版

函数方程延拓的完整逻辑值得展开：已有区域上的函数方程 = 延拓的复印机。$\Gamma$ 与 $\zeta$ 的延拓共享这个模板，但复印机不同：$\Gamma(s+1) = s\Gamma(s)$ 是"条带逐条向左复印"（每次一条带）；$\zeta(s) = 2^s\pi^{s-1}\sin\frac{\pi s}{2}\Gamma(1-s)\zeta(1-s)$ 是"一步跨到全平面"（$s$ 与 $1-s$ 互锁）。两个案例的公共技术：函数方程把函数"拖"到新区域——只要恒等式两端有意义且延拓链够长，函数就被迫跟到新领地。

工程案例细节：Γ 函数的"极点地图"实战

Γ 函数的极点位置与留数（$(-1)^n/n!$）值得背：概率论（Γ 分布）、组合恒等式里反复出现。Γ 函数的"极点地图"（$0, -1, -2, \dots$ 单极点）是解析延拓的"账本"——每跨越一个极点，延拓就"付费"一次（留数）。函数方程延拓的每一步都在这本账上有记录——素数定理与黎曼假设的舞台由这一延拓搭起。