线性代数中 trace 的定义:设矩阵 A={aij} ,那么
tr(A)=∑i=1naii2.有Riemannian Manifold M 度量为g,在 TpM 中选取一组正交基 {ei} ,
δji=g(ei,ej)=g(aji∂j,aki∂k)=ajiakig(∂j,∂k)=ajiakigij
所以 gjk=ajiaki在PeterPeterson 的书Reimanian Geometry 第19页有个习题:
对于 v∈TpM,v=viei ,有
vi=g(viei,ei)g(ei,ei)=g(v,ei)g(ei,ei)
所以v=∑i=1ng(v,ei)g(ei,ei)ei
在线性空间 V 定义映射L:V→V ,在 L 中取正交基{ei} ,
L(ej)=∑i=1nLijei然后
Lii=g(L(ei),ei)g(ei,ei)
因此:tr(L)=∑i=1nLii=∑i=1ng(L(ei),ei)g(ei,ei)Divergence:
div(X)=tr(∇X)=∑i=1ng(∇eiX,ei)
由于 ∇X(ei)=∇eiXLaplacian:
tr(Hessu)=∑i=1nHessu(ei,ei)=∑i=1nHessu(aji∂j,aki∂k)=∑i=1najiakiHessu(∂j,∂k)=gjkHessu(∂j,∂k)Ricc curvature:
Ric(v,w)=tr(x→R(x,v)w)=∑i=1ng(R(ei,v)w,ei)=∑i=1nR(ei,v,w,ei)
=gjkR(∂j,v,w,∂k)
黎曼几何中Trace的定义以及推导
最新推荐文章于 2024-07-02 00:41:32 发布