CCG 02-07:Hodge 分解

本页只解决一个问题

一个向量场为什么能拆成梯度、旋转和调和三部分?

本页是原长篇讲义的单概念版本。第一次阅读只追踪本页定义的对象;看见未掌握的前置符号时,先沿链接退回,不要跳过定义硬背结论。

开始前

10. Hodge 分解定理

设MM 是紧致、定向、无边界黎曼流形。任意kk-形式ω\omega 唯一分解为

ω=dα+δβ+h\boxed{ \omega=d\alpha+\delta\beta+h }

其中:

  • dαd\alpha 是恰当部分;
  • δβ\delta\beta 是余恰当部分;
  • hh 是调和部分,dh=δh=0dh=\delta h=0。

三部分在L2L^2 内积下两两正交。

10.1 为什么三部分正交

对恰当与余恰当部分:

(dα,δβ)=(ddα,β)=0.(d\alpha,\delta\beta) =(dd\alpha,\beta)=0.

对调和hh:

(dα,h)=(α,δh)=0,(d\alpha,h)=(\alpha,\delta h)=0,

(δβ,h)=(β,dh)=0.(\delta\beta,h)=(\beta,dh)=0.

10.2 Hodge 定理

每个 de Rham 上同调类中存在唯一调和代表:

Hk(M)≅HdRk(M).\mathcal H^k(M)\cong H^k_{dR}(M).

所以

dim⁡Hk(M)=βk.\dim\mathcal H^k(M)=\beta_k.

亏格gg 的闭可定向曲面有2g2g 维调和 1-形式空间。这些调和 1-形式不是局部噪声,而是曲面全局拓扑的解析编码。

11. 向量场版本的 Hodge 分解

在二维曲面上借助度量把 1-形式和切向量场对应,可写成

X=∇f+J∇g+h,X=\nabla f+J\nabla g+h,

其中:

  • ∇f\nabla f:无旋梯度场;
  • J∇gJ\nabla g:把梯度旋转90∘90^\circ,为无散场;
  • hh:调和场,携带全局周期。
flowchart LR
    X[任意切向量场 X] --> G[梯度部分 grad f]
    X --> C[旋转梯度 J grad g]
    X --> H[调和部分 h]
    G --> E[由源与汇决定]
    C --> V[由涡旋决定]
    H --> T[由曲面拓扑和周期决定]

在球面上β1=0\beta_1=0,没有非零调和 1-形式;在环面上有两个独立调和方向。

读完必须能回答

  1. 不看公式,用自己的话回答开头的核心问题。
  2. 指出本页最重要公式中每个符号的类型:标量、向量、矩阵、映射还是集合。
  3. 找出定理成立所需的假设,并举一个删除某条假设后可能失败的例子。
  4. 对最小例子手算一遍;若本页含代码,再比较手算与程序输出。

前后课程

上一课:Hodge 星、余微分与 Laplacian | 下一课:离散外微分与离散 Hodge 星