里奇曲率張量

在微分幾何中，類似度量張量，里奇張量也是一個在黎曼流形每點的切空間上的對稱雙線性形式。以格雷戈里奥·里奇-库尔巴斯托罗（Gregorio Ricci-Curbastro）為名的里奇張量或里奇曲率張量（Ricci curvature tensor）。提供了一個數據去描述給定的黎曼度規(Riemannian metric)所決定的體積究竟偏離尋常歐幾里得 n- 空間多少的程度。粗略地講，里奇張量是用來描述「體積扭曲」的一個值；也就是說，它指出了n-維流形中給定區域之n-維體積，其和歐幾里得n-空間中與其相當之區域的體積差異程度。更精確的描述請見下文「直接的幾何意義」段落。

目录

• 
  1 正式定義
  


• 
  2 直接的幾何意義
  


• 
  3 無跡的里奇張量
  


• 
  4 相關條目
  


• 
  5 參考文獻
  

正式定義

設 (M,g){displaystyle (M,g)} 是一個 n-維 黎曼流形。 記 TpM{displaystyle T_{p}M} 為M 在 p 點的切空間， 任給切空間 TpM{displaystyle T_{p}M}中的一對向量 ξ,η{displaystyle xi ,eta } ，Ricci 張量 Ric(ξ,η){displaystyle textstyle mathrm {Ric} (xi ,eta )} 在 p{displaystyle p} 點的值定義為線性映射 Xp↦R(Xp,η)ξ{displaystyle X_{p}mapsto R(X_{p},eta )xi }: TpM→TpM{displaystyle T_{p}Mto T_{p}M} 的跡（trace），也就是說：

Ric(ξ,η):=trace⁡{X↦R(X,η)ξ}{displaystyle mathrm {Ric} (xi ,eta ):=operatorname {trace} {Xmapsto R(X,eta )xi }}

右手邊 R 是所謂黎曼曲率張量，而 X↦R(X,η)ξ{displaystyle textstyle Xmapsto R(X,eta )xi } 是切空間之間的線性映射，所以可以計算這映射的跡。在局部坐標系下有

Ric=∑ijRijdxi⊗dxj{displaystyle operatorname {Ric} =sum _{ij}R_{ij},dx^{i}otimes dx^{j}}

使用爱因斯坦求和约定的話，上式會寫成：

Ric=Rijdxi⊗dxj{displaystyle operatorname {Ric} =R_{ij},dx^{i}otimes dx^{j}}

其中，

Rij=∑kRkikj.{displaystyle R_{ij}=sum _{k}{R^{k}}_{ikj}.}

注意，之後的方程如果使用愛因斯坦求和約定，不會特別註明。

已經知道里奇張量 Ric⁡(⋅,⋅){displaystyle operatorname {Ric} (cdot ,cdot )}，現在就可以用里奇張量來定義里奇曲率。如果 X{displaystyle X} 為 p{displaystyle p} 點的單位向量，則

Ric⁡(X,X){displaystyle operatorname {Ric} (X,X)}

定義為在點 p{displaystyle p}， X{displaystyle X} 方向的里奇曲率，有時會把 Ric⁡(X,X){displaystyle textstyle operatorname {Ric} (X,X)} 寫成 Ric⁡(X){displaystyle textstyle operatorname {Ric} (X)} 。也有些人會定義里奇曲率為 1n−1Ric⁡(X,X){displaystyle ,textstyle {frac {1}{n-1}}operatorname {Ric} (X,X)} 這裡 n=dim⁡M{displaystyle textstyle n=dim M}。

直接的幾何意義

對於黎曼流形（M,g)裏任意一點p的旁邊可以定義被稱爲測地法座標系的局部座標系。這些通過p的測地線不但都對應着通過原點的直線，而且同時構成了從p的距離和從原點的歐幾里得距離的對應。這個座標系的度量張量是

gij=δij+O(|x|2){displaystyle g_{ij}=delta _{ij}+O(|x|^{2})}。

好處就是，此座標是歐幾里得度量的良好近似。實際上，由於在法座標系的放射測地線產生的雅可比場適用的度量的泰勒展開，

可以得到gij=δij−13Rikjlxkxl+O(|x|3){displaystyle g_{ij}=delta _{ij}-{frac {1}{3}}R_{ikjl}x^{k}x^{l}+O(|x|^{3})}。

然後，在這個座標系，在p可以得到以下體積元素的展開。

dμg=[1−16Rjkxjxk+O(|x|3)]dμEuclidean{displaystyle dmu _{g}={Big [}1-{frac {1}{6}}R_{jk}x^{j}x^{k}+O(|x|^{3}){Big ]}dmu _{rm {Euclidean}}}

然後，如果里奇曲率Ric⁡(ξ,ξ){displaystyle operatorname {Ric} (xi ,xi )}在向量ξ{displaystyle xi }的方向是正的，由於在M上從p向ξ{displaystyle xi }方向的短的測地線收束族掃過的圓錐區域的體積比在歐幾里得空間對應的圓錐區域要小。如此類推，如果里奇曲率在給定的向量ξ{displaystyle xi }的方向是負的，流形同樣的圓錐區域的體積比歐幾里得空間對應的圓錐區域要大。

里奇曲率本質上就是包含ξ{displaystyle xi }的平面的曲率平均。也就是說最初是圓形（或者是球形）放射狀的圓錐會扭曲未橢圓形狀，沿着主軸的彎曲是相互相反的作用，而且有把體積變爲零的可能性。然後里奇曲率沿着ξ{displaystyle xi }會變爲零。在物理的應用，一定要變零的切斷曲率的存在並不一定是局部性一定有什麼質量。世界線圓錐最初的圓形的橫切面是，要是變成了後來體積沒變化的橢圓，這個效果就是來自其他位置的質量的潮汐效果。

無跡的里奇張量

在黎曼幾何與廣義相對論中，一個偽黎曼流形(pseudo-Riemannian manifold)(M,g){displaystyle (M,g)}之無跡的里奇張量(trace-free Ricci tensor)是一個定義如下的張量

Z=Ric−Sng{displaystyle Z=operatorname {Ric} -{frac {S}{n}}g}

相關條目

• 數量曲率


• 里奇流


• 克里斯托費爾符號

參考文獻

• A.L. Besse, Einstein manifolds, Springer (1987)


• 
  L.A. Sidorov, Ricci tensor, (编) Hazewinkel, Michiel, 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4 
  


• 
  L.A. Sidorov, Ricci curvature, (编) Hazewinkel, Michiel, 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4 
  


• G. Ricci, Atti R. Inst. Venelo , 53 : 2 (1903–1904) pp. 1233–1239


• L.P. Eisenhart, Riemannian geometry , Princeton Univ. Press (1949)


• S. Kobayashi, K. Nomizu, Foundations of differential geometry , 1 , Interscience (1963)

查 论 编 微分几何中定义的曲率的不同概念 曲线的微分几何 曲率 · 挠率 · 弗莱纳公式 · 曲率半径 · 仿射曲率 · 总曲率 曲面的微分几何 主曲率 · 高斯曲率  · 平均曲率  · 达布标架  · 高斯-科达齐方程  · 第一基本形式  · 第二基本形式 黎曼几何 黎曼流形的曲率 · 黎曼曲率张量  · 里奇曲率張量  · 数量曲率  · 截面曲率 联络的曲率 曲率形式  · 挠率张量  · 余曲率  · 和乐

This page is only for reference, If you need detailed information, please check here