本页只解决一个问题
怎样在每个面上测角度、面积和 Cauchy-Riemann 残差?
本页是原长篇讲义的单概念版本。第一次阅读只追踪本页定义的对象;看见未掌握的前置符号时,先沿链接退回,不要跳过定义硬背结论。
开始前
12. 单个三角形的参数化 Jacobian
设原三角形局部二维矩阵
X=[xj−xiyj−yixk−xiyk−yi],
UV 三角形矩阵
U=[uj−uivj−viuk−uivk−vi].
仿射映射 Jacobian 为
Jt=UX−1.
用 SVDJt=R1diag(σ1,σ2)R2T 可计算:
- 共形畸变:Kt=σ1/σ2;
- 面积缩放:JtA=detJt=σ1σ2;
- symmetric Dirichlet:σ12+σ22+σ1−2+σ2−2;
- 翻转:detJt<0。
13. 共形能量与 Cauchy–Riemann 残差
平面映射f=(u,v) 的共形条件:
ux−vy=0,uy+vx=0.
定义 least-squares conformal energy
EC(f)=21∫M[(ux−vy)2+(uy+vx)2]dA.
展开:
2EC=∫M(ux2+uy2+vx2+vy2),dA−2∫M(uxvy−uyvx),dA.
所以
EC=ED−A(f),
其中A(f) 是有向映射面积(具体1/2 系数随定义约定)。这再次给出:Dirichlet 能量减面积正是非共形误差。
读完必须能回答
- 不看公式,用自己的话回答开头的核心问题。
- 指出本页最重要公式中每个符号的类型:标量、向量、矩阵、映射还是集合。
- 找出定理成立所需的假设,并举一个删除某条假设后可能失败的例子。
- 对最小例子手算一遍;若本页含代码,再比较手算与程序输出。
前后课程
上一课:Tutte 定理与调和参数化 | 下一课:LSCM 的组装、约束与翻转
许可协议:CC BY
作者:Davids
本文链接:https://hustjjd.github.io/ccg/05-06-lesson/
更新于:2026年10月12日