顾险峰老师2023年计算共形几何暑期课程学习笔记23
曲面上的有限元
计算机中光滑曲面用离散的三角刨分逼近,最后三角网格收敛。从连续曲面到离散曲面有一个映射:
最近点映射:光滑曲面上任选一点,穷尽离散曲面上所有点求最近点。
最近点映射可以把离散曲面上的黎曼度量拉回到光滑曲面上得到一系列的拉回度量。如果三角刨分足够好,那么这一系列的拉回度量会收敛到原始的光滑度量。
离散调和能量
给定一个分片线性函数(在每个三角形上是线性,全局分片线性)
穷尽三角形上每条边,终点函数值-起点函数值的平方乘边权重的和为调和能量。
最小化调和能量来得到函数f,最小二乘法
重心坐标
给一个欧式三角形和一个点p,p于vj、vk构成的三角形有向面积于与原三角形有向面积之比为参数i。
如果三个参数恒为正,那p在三角形内部,否则在外部或者三角形上。
A是三角形的面积,s是每条有向边旋转90度指向三角形内部
可适用于一般三角网格的刨分(弯的网格)
先把网格的边界点定死在单位圆周上,内部点极小化调和能量
物理意义:左边橡皮模边界甭在单位圆周上,最后内部稳定平衡弹性形变势能最小。
拉普拉斯算子取决于黎曼度量也可以决定黎曼度量。
调和映照
将一个曲面映射在一个球上,可以自由滑动,使得弹性形变势能最小的映射为调和映照(且球面的调和映照一定是保角的)
中值定理:每一点的函数值为围着该点的函数值做平均
调和函数在平面域的内点处不能取极大或极小
考察两个曲面间的调和映照:
有两个黎曼面,z、u为局部坐标。假设从第一个曲面到第二个曲面的映射一阶可导,调和能量定义为:目标曲面的共频因子*映射的梯度的模的平方(复数形式) *面元。
测地线是一类特殊的调和映照