曲线
曲线是二维空间上可微分的一维流形。曲线可以用参数方程表示为如下形式:
其中x和y分别是关于u的可微函数,那么曲线在某一点的切向量则为各分量的一阶导数组成的向量,即:
借由上式,如果p'(u)在u处不为0,则把这一点成为曲线的正则点。曲线上的点处处正则的曲线称为正则曲线(Regular Curve)。
下式可以求曲线在某一点的法向量的值:
同样的曲线是可以通过参数变换使用不同的参数来表示的。曲线的微分几何关注诸如弧长、曲率之类的,独立于特定参数之外的属性,也就是说无论参数如何变换,这些属性的值都是相等的。
弧长
对于上述曲线,起始点a到曲线上任意点u之间的弧长可以表示为:
即弧长是切向量长度对曲线参数的积分。可以发现,弧长独立与特定参数,并且将参数u从区间[a, b]映射到了区间[0, L] (其中L是曲线的弧长)。
可以发现这是一个变上限积分函数,对两侧同时求导得到:
当切向量的模为1,即曲线的切向量为单位向量场的时候,参数u就是曲线的弧长参数了
曲率
曲线的曲率(curvature)就是针对曲线上某个点的切线方向角对弧长的转动率,即单位弧长内曲线转过的角度。
假设正则曲线的参数方程的参数为其弧长,图像如上图所示,α表示是曲线上的切向量(即p(s)的导数p’(s)),根据定义曲线的曲率为:
其中θ表示的是α(s)和α(s+Δs)两个向量的夹角,要证明这个式子只需要按照导数定义展开即可:
对于曲率还有另外一个很重要且相关的属性,即曲率半径,即把那一段曲线尽可能地微分,直到最后近似为一个圆弧,此圆弧所对应的半径即为曲线上该点的曲率半径。这个圆弧所对应的圆一般称作:Osculating Circle(密切圆)。
我们知道弧长与半径的比值是弧度。对于这一段圆弧曲率的值为弧度于弧长的比值,而半径的值为弧长于弧度的比值。
对于曲率和曲率半径,可以得到下面的关系:
曲面
曲面的参数化表示
以地球地图的展开为例,地球表面是一个闭合的曲面,为了印刷地图,一般需要将其表面进行展开。
展开之前,首先沿着子午线将其“切开”,然后按下面这个样子进行展开:
可以发现,北极点被变换为了线段AC,而南极点被变换了线段BD
这样的一个球面,假设半径为R,有两种坐标表示的方法,分别是:(x, y, z)和(θ, ϕ)
前一种非常好理解,即球面某一点在3维笛卡尔坐标系下的坐标,那么球面的可以用下列隐式方程表示:
通过该方程能够很快速地判断空间中某个点与球面地位置关系。
后一种坐标中有两个参数θ和ϕ,其意义可以通过下面这张图来理解(和球坐标非常类似)
理解后就不难得出两种坐标的转换方法:
其中θ的取值范围为[0, 2π],ϕ的取值范围为[-0.5π, 0.5π],可以发现通过这张表示方法将“方形”区域映射到了一个球面上。
通过θ和ϕ这两个参数,可以画出两组类似经纬度的平行线,通过这些平行线,可以清楚的观察出球面不同部分被扭曲的程度。
度量性质(Metric Property)
假设一个三维曲面的参数方程如下
其中x,y,z是关于参数u,v的可微函数,Ω是参数u,v的定义域。
同曲线类似,曲面的度量是由它的一阶导数决定。x关于参数u,v的偏导数如下
这两个偏导数表示的是如下两条曲线上的切向量
很明显这两个方程分别是当曲面方程的某个参数固定后,以另一个参数为参数的方程。
通过上面这张图,能够很清晰的看出Cv,Cu,Xv,Xu的具体含义。
如果想要表示表示在平面某一点的法向量也很简单,曲线方程在某一点关于参数u,v的偏导数确定了两条切向量Xv,Xv,将这两个向量做叉积即可得到曲面在这一点的法向量
上面的导数方向只有沿两个参数的方向,如果要求曲面关于某一点在任意方向的导数,可以引入方向导数的概念。
在求解方向导数的时候需要给定一个方向向量,由于曲面方程以参数方程的形式给出,先定义一个在曲线方程参数空间u,v下的方向向量
那么曲面通过这一点,在参数空间上沿上述方向前进的曲线方程可以表示为
这时曲面在点(u0, v0)处,w方向的方向导数为:
向量w是定义在三维空间下的,而已知的方向向量是在二维参数空间上的,现在要将其从参数空间变换为曲面上的切向量:
只需要应用到雅可比矩阵即可完成这个变换:
此时雅可比矩阵的值为:
曲面的第一基本型
通过上面求解方向导数的过程可以发现,雅可比矩阵代表了一种从参数的定义域空间到曲面坐标空间的变换。通过雅可比矩阵可以知道一些量,诸如角度、距离和面积等,在这两个空间之间的映射关系。
假设又两个单位向量w1,w2,这两个向量之间夹角的余弦值等于两向量的内积。
向量在曲面空间和参数空间下的表示形式不同,单数可以明确的一点是,无论如何表示,向量之间的夹角是不会变的。
在上面的等式中,J乘以J的转置这一部分就被称为曲面的第一基本型
借由I,要通过参数来表示下面曲线的弧长:
首先观察曲面的弧长公式:
接下来,用参数t来表示切向量w (ut, vt),则其模长为:
最后带入计算可以得到弧长公式:
同理,可以用下面的方法求得曲面的面积:
曲面的曲率
曲面的曲率的定义是由曲线的曲率的定义扩充而来的,对于曲面上的一点,存在无数个切向量。对于曲面上的一点p,以及一条切向量t,这时可以定义曲率为:切向量t和曲面在这一点的法向量所成平面与曲面相交形成的直线在点p处的曲率。
将这个曲率写成式子为:
其中II为第二基本型
上面关于曲面曲率的函数在切线方向变化的时候会有两个极值(极大值和极小值),一般称它们为主曲率(principal curvatures),如果两极值不相等,就把取这两个极值时的两个切向量称为主方向(principal directions)。如果两极值相等,则曲面上这一点称为脐点(umbilical),曲面上这一点的所有切向量都可以称为主方向(principal directions),并且曲面这一点各方向的曲率相等。特殊地,当且仅当曲面为球面或平面时,其上所有的点都是脐点(umbilical)。
对于曲面的两个主曲率和其在同一点任意方向的曲率,有如下的关系:
其中ψ为主方向 t1和指定方向t的夹角。可以看出,曲面的曲率仅仅由其两个主曲率决定,这一点任意方向的法曲率都是这两个主曲率的凸组合(convex combination),另外还能得出的一点是主方向永远是相互正交的。
曲面的某个区域内的性质同样可以用曲率张量来表示,曲率张量 C可以用下面的方法得到:
其中D是对角线元素为κ1,κ2,0的三阶方阵,P也为三阶方阵,由t1,t2,n三个列向量组成。
另外,还有两种广泛使用的描述曲率的方式:
- 平均曲率
- 高斯曲率
高斯曲率可以将曲面上的点分为3类:
椭圆点(elliptical point) K > 0:椭圆点在其附近的区域上通常是凸出的
双曲线点(hyperbolic point) K < 0:双曲点在其附近的区域上通常是马鞍形
抛物线点(parabolic point) K = 0:抛物线点通常在椭圆曲线和双曲线区域的分界线处
高斯曲率和平均曲率通常用在曲面的可视化分析上
内蕴几何学(Intrinsic geometry)
在微分几何中,那些只依赖于第一基本型的属性被称为是内蕴的(Intrinsic)。直观上来说它们可以仅仅通过曲面二维特征来导出。例如曲面上曲线的长度,角度等都是内蕴的(Intrinsic)。
对于高斯曲率和平均曲率,前者在等距变换下是不变的,所以它是内蕴的(Intrinsic),即高斯曲率是可以由第一基本型直接决定的;而后者则不是,它依赖于曲面。
内蕴的(Intrinsic)通常被用来取表示参数的独立性。
拉普拉斯算子
一般称某函数梯度的散度为拉普拉斯算子,对于二元函数f(u, v),其在欧式空间上的二阶差分算子(拉普拉斯算子)可以写为:
拉普拉斯算子还可以推广到二阶流形曲面S上,其推广形式称为拉普拉斯-贝尔特拉米算子,定义为:
对于曲面上某一个具体的点x,其拉普拉斯-贝尔特拉米算子和其平均曲率存在下面的关系:
虽然这个式子说明平均曲率(非内蕴的)和拉普拉斯-贝尔特拉米算子之间存在某种关系,但是拉普拉斯-贝尔特拉米算子本身仅取决于第一基本型,是内蕴的。
离散微分算子
由于3D网格并不是连续的,而上面的讨论是建立在曲面是光滑的基础之上的。要将上述算子运用到3D网格上,需要将网格看作一个很粗糙的曲面,然后通过网格数据去计算这个近似曲面的微分属性。
局部平均区域
一般的想法就是计算网格某个点以及与其相邻点的微分属性的平均值。
当网格某个点以及与其相邻点组成这个区域的面积较大的时候,通过计算平均值得到的微分属性会很稳定;而面积较小的时候,精细的变化则会被更好的保留。
常用的由下面三种定义这个面积的方法,其区别主要是在顶点周围的三角形中取点的方式不同:
其中右图中,当三角形为钝角三角形时则取中心点对边的中点,否则取三角形的外心。
法向量
在3D网格中,要计算某个三角面的法向量是比较容易的,只需要取两条边向量坐叉乘即可:
如果要计算某个顶点的法向量,同样考虑对顶点周围相邻的三角形的法向量做加权平均:
权值αT的取法,一般常用的有下面几种:
αT取常数1,这样计算的时候就忽略了邻边的长度,三角形的面积,角度。对于不规则的网格,计算的结果一般都是违反直觉的。
αT取三角形的面积,这样取的好处是便于计算(只需要进行叉乘运算就可以了,还不用对向量进行单位化),不过这种方法得到的结果有的时候也会出现违反直觉的情况。
αT取邻边的夹角,不过由于计算过程涉及到了三角函数,效率上相对要低一些,不过效果比前两者好。
梯度
同样是基于加权平均的方法,求解网格中某个三角形上某一点的坐标可以由三个顶点的梯度根据重心坐标的三个权值做加权平均。
对于分段线性函数f来说,其在三角形顶点上有对应的值。可以考虑用拉格朗日插值法来表示三角上任意一点的函数值(u是二维参数):
由于拉格朗日插值公式的基函数B具有下面的性质
两边同时做梯度运算可以得到
消去Bi后原来的式子为
顶点i处基函数的梯度为从顶点i处沿着对边上高的方向的向量,且向量的模长为高的倒数,化简后(向量旋转90度后除以底边的长得到单位向量,再除以高度的结果,其中底边长乘以高度整好为面积的两倍)为:
代入后可以得到三角形上分段线性函数的梯度为
离散形式的拉普拉斯算子
- Uniform形式的拉普拉斯算子
这一种形式直观上来说就是以中心点i为起点,相邻顶点平均值为终点的向量。
由于平面的平均曲率H为0,这时算子的结果应该是0,不过上式的结果并不一定是非0的,所以这种方法不太适合用在非等距网格上。。
这种方法只考虑了网格的连接性,所以使用范围有限。
- 余切形式的拉普拉斯算子
这种形式更加的精准,直接计算顶点vi周围的平均区域(之前提到过,有若干种取法),然后对其梯度的散度进行曲面积分,然后使用散度定理(高斯公式)进行展开计算,最后可以得到:
- 离散散度
因为拉普拉斯算子的定义为是梯度的散度,对于每一个三角形T给定一个向量w(如个给定分段线性函数f下的梯度向量),则其散度为
离散曲率
根据上面的式子,可以得到在离散形式下的平均曲率:
在[Meyer et al. 03]这篇文章中提到了离散形式下高斯曲率的表示方式:
根据高斯曲率、平均曲率和两个主曲率的关系,可以得到主曲率的计算方法:
离散形式的曲率张量
其中β(e)表示和边e相邻三角形所在平面的有方向的二面角,e∩A(v)表示边e在区域A中的长度,ē指边e的单位向量。