CCG 03-08:调和映射、共形性与等温坐标

本页只解决一个问题

二维中能量、面积、共形映射和曲率方程为何相遇?

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

开始前

14. 曲面之间的调和映射

设(M,g)(M,g)、(N,h)(N,h) 为黎曼流形,映射f:M→Nf:M\to N 的能量密度

e(f)=12trace⁡g(f∗h),e(f)=\frac12\operatorname{trace}_g(f^*h),

总能量

E(f)=12∫M∣df∣2dAg.E(f)=\frac12\int_M|df|^2dA_g.

在局部坐标中

E(f)=12∫Mgij(x)hαβ(f(x))∂fα∂xi∂fβ∂xj∣g∣,dx.E(f)=\frac12\int_M g^{ij}(x)h_{\alpha\beta}(f(x)) \frac{\partial f^\alpha}{\partial x^i} \frac{\partial f^\beta}{\partial x^j} \sqrt{|g|},dx.

一阶变分得到张力场

τ(f)α=Δgfα+gijΓβγα(f)∂ifβ∂jfγ.\tau(f)^\alpha =\Delta_gf^\alpha +g^{ij}\Gamma^\alpha_{\beta\gamma}(f) \partial_if^\beta\partial_jf^\gamma.

调和映射满足

τ(f)=0.\boxed{\tau(f)=0.}

当目标是欧氏空间时 Christoffel 项消失,各坐标分量都是调和函数。

15. 二维中调和与共形的关系

对曲面间映射f:M→Nf:M\to N,在局部正交坐标中设 Jacobian 奇异值为σ1,σ2\sigma_1,\sigma_2。能量密度和面积 Jacobian 分别为

e(f)=12(σ12+σ22),e(f)=\frac12(\sigma_1^2+\sigma_2^2),

J(f)=σ1σ2.J(f)=\sigma_1\sigma_2.

由

12(σ12+σ22)−σ1σ2=12(σ1−σ2)2≥0,\frac12(\sigma_1^2+\sigma_2^2)-\sigma_1\sigma_2 =\frac12(\sigma_1-\sigma_2)^2\ge0,

得到

E(f)≥Area⁡(f(M))E(f)\ge \operatorname{Area}(f(M))

(计重数与定向)。等号当且仅当σ1=σ2\sigma_1=\sigma_2,即ff 共形。

所以在固定同伦类中,如果调和能量极小值同时达到面积下界,该映射就是共形映射。这是调和映射算法求共形参数化的理论原因。

16. 等温坐标与曲率方程

二维曲面局部存在坐标使

g=e2u(dx2+dy2).g=e^{2u}(dx^2+dy^2).

这种坐标称为等温坐标。此时

dAg=e2udxdy,dA_g=e^{2u}dxdy,

Δgf=e−2uΔ0f,\Delta_gf=e^{-2u}\Delta_0f,

Kg=−e−2uΔ0u.K_g=-e^{-2u}\Delta_0u.

若在原度量gg 上做共形变化

g~=e2ug,\tilde g=e^{2u}g,

曲率变换公式为

Kg~=e−2u(Kg−Δgu).\boxed{ K_{\tilde g}=e^{-2u}(K_g-\Delta_gu). }

给定目标曲率Kˉ\bar K,需要求解二维 Yamabe 方程

−Δgu+Kg=Kˉe2u.-\Delta_gu+K_g=\bar K e^{2u}.

离散 Ricci flow 正是在三角网格上求解这一类曲率处方问题。

读完必须能回答

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

前后课程

上一课:Laplace-Beltrami 与调和函数 | 下一课:离散对应与曲率计算