计算共形几何学习笔记19-de Rham Cohomology3

顾险峰老师2023年计算共形几何暑期课程学习笔记19

上微分算子

拉普拉斯算子

调和形式

说一个k-form是调和的：

说一个微分形式是调和的：

霍奇分解

任何一个k-form（他是一个线性空间），可以分解为三个线性空间的折合

红色：恰当形式，是k-1 -form在d作用后的像

蓝色：余恰当形式：是k+1 -form在算子作用下的像

黑色：调和形式：拉普拉斯

每个上同调类（拓扑）中存在唯一的调和形式（分析）。所有的调和微分形式构成另一个群，与de Rham上同调群彼此同构。

实现

将有限元推广到任意流形上

最终几何分析就是在流形上解各种偏微分方程

平面上给一些离散点，做三角刨分，有外接圆圆心连成红线得到胞腔分解（Voronoi diagram）

在黑色的三角网格上定义1形式，即每条边上给个数，半边方向取反时数取负。在三角形上转一圈数加起来为0就说 1-form是闭的。

红圈转一圈数相加为0：

满足以上两个条件就说这种微分形式w是离散的调和1形式

hodge star:给定一条黑边定向，90度旋转得到一条红边，原数/黑边边长*红边边长得到红边上的1-form，满足条件：