黎曼几何中Trace的定义以及推导

最新推荐文章于 2022-10-19 12:00:09 发布

Mind-Explorer

最新推荐文章于 2022-10-19 12:00:09 发布

阅读量1.5k

点赞数

本文链接：https://blog.csdn.net/lifanqq/article/details/54430103

版权

线性代数中 $trace$ 的定义：设矩阵 $A=\{a_{ij}\}$ ,那么

$t r (A) = \sum i = 1 n a i i$ $tr(A)=\sum_{i=1}^n a_{ii}$

2.有Riemannian Manifold M 度量为g，在 $T_pM$ 中选取一组正交基 $\{e_i\}$ ,
$\delta_i^j=g(e_i,e_j)=g(a_i^j\partial_j,a_i^k\partial_k)=a_i^ja_i^kg(\partial_j,\partial_k)=a_i^ja_i^kg_{ij}$
所以 $g^{jk}=a_i^ja_i^k$
在PeterPeterson 的书Reimanian Geometry 第19页有个习题：
对于 $v\in T_pM,v=v^ie_i$ ,有

$v i = g ( v i e i , e i ) g ( e i , e i ) = g ( v , e i ) g ( e i , e i )$ $v^i=\frac{g(v^ie_i,e_i)}{g(e_i,e_i)}=\frac{g(v,e_i)}{g(e_i,e_i)}$
所以 $v = \sum i = 1 n g ( v , e i ) g ( e i , e i ) e i$ $v=\sum_{i=1}^n\frac{g(v,e_i)}{g(e_i,e_i)}e_i$
在线性空间 $V$ 定义映射 $L:V\to V$ ,在 $L$ 中取正交基 $\{e_i\}$ ，
$L (e j) = \sum i = 1 n L i j e i$ $L(e_j)=\sum_{i=1}^nL_{ij}e_i$ 然后
$L i i = g ( L ( e i ) , e i ) g ( e i , e i )$ $L_{ii}=\frac{g(L(e_i),e_i)}{g(e_i,e_i)}$
因此： $t r (L) = \sum i = 1 n L i i = \sum i = 1 n g ( L ( e i ) , e i ) g ( e i , e i )$ $tr(L)=\sum_{i=1}^nL_{ii}=\sum_{i=1}^n\frac{g(L(e_i),e_i)}{g(e_i,e_i)}$
$Divergence：$
$d i v (X) = t r (\nabla X) = \sum i = 1 n g (\nabla e i X, e i)$ $div(X)=tr(\nabla X)=\sum_{i=1}^ng(\nabla _{e_i}X ,e_i)$
由于 $\nabla X(e_i)=\nabla _{e_i}X$
$Laplacian:$

$t r (H e s s u) = \sum i = 1 n H e s s u (e i, e i)$ $tr(Hessu)=\sum_{i=1}^nHessu(e_i,e_i)$ $= \sum i = 1 n H e s s u (a j i \partial j, a k i \partial k)$ $=\sum_{i=1}^nHessu(a_i^j\partial_j,a_i^k\partial_k)$ $= \sum i = 1 n a j i a k i H e s s u (\partial j, \partial k)$ $=\sum_{i=1}^na_i^ja_i^kHessu(\partial_j,\partial_k)$ $= g j k H e s s u (\partial j, \partial k)$ $=g^{jk}Hessu(\partial_j,\partial_k)$
$Ricc$ $curvature:$

$R i c (v, w) = t r (x \to R (x, v) w) = \sum i = 1 n g (R (e i, v) w, e i)$ $Ric(v,w)=tr(x\to R(x,v)w)=\sum_{i=1}^ng(R(e_i,v)w,e_i)$ $= \sum i = 1 n R (e i, v, w, e i)$ $=\sum_{i=1}^nR(e_i,v,w,e_i)$
$= g j k R (\partial j, v, w, \partial k)$ $=g^{jk}R(\partial_j,v,w,\partial_k)$