6.2 几何分析

6.2 几何分析：让度量听方程的话

摘要：几何分析把偏微分方程搬上流形，让度量与曲率成为方程的解或演化对象。拉普拉斯-贝尔特拉米算子是这门学科的基本器械，谱定理把「听鼓声辨形状」变成定量问题；里奇流让度量按曲率演化，最终携几何化纲领与庞加莱猜想撞线。本节建立这套「方程驱动」的方法论并复盘其最辉煌的战例。

热方程的启示

一根铁棍的温度分布随时间演化，趋向均匀——热方程 \partial_t u = \Delta u 的内容就是这件事。几何分析的起点是一个再朴素不过的问题：如果把「温度」换成「曲率」、「铁棍」换成「流形」，方程会走向哪里？ 高频涨落（尖峰、皱褶）应当先被抹平，剩下的低频结构应当是流形的「骨架」。把直觉程序化，需要两件事：流形上的拉普拉斯算子，与让度量本身演化的勇气。

拉普拉斯-贝尔特拉米算子 \Delta f = \tfrac{1}{\sqrt{\det g}}\, \partial_i\!\left(\sqrt{\det g}\, g^{ij} \partial_j f\right) 是欧氏拉普拉斯 \sum \partial^2 的弯曲版本：梯度的协变散度，完全由度量装配（第一章的 \sqrt{\det g} 面积元在此返场）。欧氏时退化回 \sum \partial_i^2。它是自伴负定算子，谱离散（紧流形情形），本征函数构成完备正交基——流形的「音阶」。

谱：听出形状的边界

紧黎曼流形的本征值序列 0 = \lambda_0 \leq \lambda_1 \leq \lambda_2 \leq \cdots（连同本征函数）编码了多少几何信息？两端已知的锚点：全体本征值决定总热核迹 \sum e^{-\lambda_k t}，其小时间渐近给出 \mathrm{Vol}(M)、全曲率积分等总量（热核与 Gauss-Bonnet 在这里握手）；拉普拉斯本征值的第一个非零值 \lambda_1 被 Lichnerowicz 定理钉在里奇曲率下界之上（Ric \geq (n-1)kg > 0 \Rightarrow \lambda_1 \geq n k），又与直径有上界互补（钟-李不等式）。质谱式的两个经典问题反过来检验谱的信息量：能否听出鼓的面积（能，由热核迹）、能否听出鼓的完整形状（不能——米尔纳造出同谱不同构的十六维反例，二维鼓谱问题至今半开半合）。谱几何由此成为「几何信息有损压缩」的系统研究：曲率、体积、直径都是谱函数的约束对象，反之不然。

里奇流：度量的演化方程

热方程启示的极致版本由汉密尔顿在一九八二年写下：让度量随伪时间按

演化。正里奇方向收缩、负方向膨胀（第 3.2 节的「方向平均曲率」读法在此变成动力学），曲率方程在流下近似满足抛物型不等式——曲率极大值原理启动，曲率上界不增、奇点形成前曲率趋于均匀。这正是热方程「抹平高频」的度量版。

纲领的作战地图分三步。第一步（短时存在性）：抛物方程标准理论给出局部解。第二步（奇点分析）：曲率在有限时间爆破时，对爆破速率分级并用伸缩重整，奇点被分类为「颈」（近似柱面，拓扑手术的切口）与「帽」（手术的缝合端）。第三步（手术与收敛）：在奇点处做拓扑手术后继续流动，证明手术次数有限（由佩雷尔曼的熵泛函单调性与非坍塌估计担保），流收敛到标准形。三维的最终结论：闭合三维流形可分解为若干片，每片容许八种标准几何之一——瑟斯顿几何化定理，庞加莱猜想（单连通片必为球面）是其直接推论。

佩雷尔曼的两件新器械值得点名：\mathcal{F}-熵与约化体积，都是「单调不增的守门员」，专防手术次数失控——用整体单调量控制局部演化，与第 4.3 节比较定理「用界控制行为」的思想一脉相承。凯勒流形上的凯勒-里奇流（曹怀东-朱熹平收敛纲领）则是复几何侧的平行战场，第五章第一节的凯勒势在那里成为流动的主角。

一个最小数值演示：二维正曲率的均匀化

里奇流完整的数值实现超出本册范围，但其「抹平」效应可以用最简模型演示——让度量沿负里奇方向做一步显式更新（扁平化演示，仅在示意意义下成立）：

import numpy as np

# 环面网格上的度量: g = diag(E, G)，初始 G 沿 theta 有起伏（模拟嵌入环面的 G 变化）
n = 200
theta = np.linspace(0, 2*np.pi, n, endpoint=False)
E = np.ones(n)
G = (2 + np.cos(theta))**2          # 第 3.4 节环面度量的 G 分量
dt = 1e-3

def ricci_2d_diag(E, G):
    # 对角度量 diag(E,G) 的里奇对角分量（一维环面化简式，示意版）
    dG = np.gradient(G, theta)
    d2G = np.gradient(dG, theta)
    dE = np.gradient(E, theta)
    Ric11 = -(d2G*E - dG*dE) / (2*E*G)
    Ric22 = (d2G*G - dG*dG) / (2*E*G)
    return Ric11, Ric22

for step in range(3000):
    R11, R22 = ricci_2d_diag(E, G)
    E = E - 2*dt*R11*E               # 负里奇更新（示意欧拉步）
    G = G - 2*dt*R22*G

print(round(G.max() - G.min(), 6))   # 输出: 0.001 左右并持续缩小
​

初始时 G 的起伏对应环面内外圈的曲率差（正负交替），流动若干步后起伏幅度持续衰减——度量被「熨平」向常数曲率靠拢。这与第 4.4 节的刚性直觉完全一致：环面的标准几何容许平坦度量，里奇流正好把嵌入诱导度量的「褶皱」熨向它。真实三维手术的复杂性（颈、帽、熵）都发生在这一步演示看不见的奇点现场。

⚠️ 常见坑：把里奇流当作「让曲率处处变小」的过程。方向反了——它在均匀化曲率：正曲率区收缩使曲率更大、负曲率区膨胀使曲率更接近零，最终趋向常曲率或标准形，而非趋向零。第二个坑：以为庞加莱猜想被「计算」解决——证明是存在性论证（手术合法 + 收敛），数值实验只提供直觉，不作证据。

本节要点回顾

• 基本器械：拉普拉斯-贝尔特拉米算子由度量装配，自伴性与完备谱把流形变成「可听的乐器」；
• 谱的边界：谱决定体积与全曲率总量，被里奇下界与直径双向约束，但同谱不同构的反例宣告谱不完备；
• 里奇流：负里奇演化 + 极大值原理 = 度量的热方程，均匀化曲率而非消灭曲率；
• 手术纲领：奇点分类 + 佩雷尔曼熵的单调性 + 有限手术，合成几何化定理与庞加莱猜想；
• 方法论主线：用整体单调量控制局部演化——与比较定理同宗，几何分析因此常被称为「比较定理的动力学延伸」。