主題
Search

第二類克里斯托費爾符號


第二類克里斯托費爾符號是從 黎曼度量 g 匯出的第二種 張量 狀物件,用於研究度量的幾何性質。第二類克里斯托費爾符號有多種表示方法,如 {m; i j} (Walton 1967) 或 Gamma^m_(ij) (Misner et al. 1973, Arfken 1985)。它們也被稱為仿射聯絡(Weinberg 1972,第 71 頁)或聯絡係數(Misner et al. 1973,第 210 頁)。

遺憾的是,第二類克里斯托費爾符號有兩種不同的定義。

Arfken(1985,第 161 頁)定義了

Gamma^m_(ij)=epsilon^m·(partialepsilon_i)/(partialq^j)
(1)
=g^(km)[ij,k]
(2)
=1/2g^(km)((partialg_(ik))/(partialq^j)+(partialg_(jk))/(partialq^i)-(partialg_(ij))/(partialq^k)),
(3)

其中 partial/partialx 是一個 偏導數g^(km)度量張量

 epsilon_i=(partialr)/(partialq^i)
(4)

其中 r徑向向量,以及

 epsilon^i=g^(ij)epsilon_j.
(5)

因此,對於正交曲線座標系,根據此定義,

 Gamma^m_(ij)=1/(g_(mm))epsilon_m·(partial^2r)/(partialq^jpartialq^i).
(6)

定義 (6) 的對稱性意味著

 Gamma^k_(ij)=Gamma^k_(ji)
(7)

(Walton 1967)。

這種第二類克里斯托費爾符號與 第一類克里斯托費爾符號 [bc,d] 的關係為

 Gamma^a_(bc)=g^(ad)[bc,d].
(8)

Walton(1967)列出了 12 種基本正交座標系的第二類克里斯托費爾符號。

第二類克里斯托費爾符號的另一個不同定義由下式給出

 Gamma^k_(ij)=u_k^^·(del _ju_i^^)
(9)

(Misner et al. 1973,第 209 頁),其中 del _j 表示 梯度。請注意,這種克里斯托費爾符號在 ij 中是不對稱的。

第二類克里斯托費爾符號不是 張量,但具有 張量 狀的 逆變協變 索引。第二類克里斯托費爾符號也不像張量那樣變換。實際上,將座標從 x_1,...,x_n 更改為 y_1,...,y_n 得到

 Gamma^k_(ij)^'=sum(partial^2x_l)/(partialy_ipartialy_j)(partialy_k)/(partialx_l)+sumGamma^t_(rs)(partialx_r)/(partialy_i)(partialx_s)/(partialy_j)(partialy_k)/(partialx_t).
(10)

然而,完全 協變 的第二類克里斯托費爾符號由下式給出

 Gamma_(alphabetagamma)=1/2(g_(alphabeta,gamma)+g_(alphagamma,beta)-g_(betagamma,alpha)+c_(alphabetagamma)+c_(alphagammabeta)-c_(betagammaalpha))
(11)

(Misner et al. 1973,第 210 頁),其中 g度量張量c交換系數,逗號表示 逗號導數。在 標準正交基 中,g_(alphabeta,gamma)=0g_(mugamma)=delta_(mugamma),因此

 Gamma_(alphabetagamma)=Gamma^mu_(alphabeta)g_(mugamma)=Gamma_(alphabeta)^mu=1/2(c_(alphabetagamma)+c_(alphagammabeta)-c_(betagammaalpha))
(12)

以及

Gamma_(ijk)=0    for i!=j!=k
(13)
Gamma_(iik)=-1/2(partialg_(ii))/(partialx^k)    for i!=k
(14)
Gamma_(iji)=Gamma_(jii)=1/2(partialg_(ii))/(partialx^j)
(15)
Gamma^k_(ij)=0    for i!=j!=k
(16)
Gamma^k_(ii)=-1/(2g_(kk))(partialg_(ii))/(partialx^k)    for i!=k
(17)
Gamma^i_(ij)=Gamma_(ji)^i=1/(2g_(ii))(partialg_(ii))/(partialx^j)=1/2(partiallng_(ii))/(partialx^j).
(18)

對於 張量秩 為 3 的 張量,第二類克里斯托費爾符號可以簡潔地以 矩陣 形式概括

 Gamma^l=[Gamma^l_(ii) Gamma^l_(ij) Gamma^l_(ik); Gamma^l_(ji) Gamma^l_(jj) Gamma^l_(jk); Gamma^l_(ki) Gamma^l_(kj) Gamma^l_(kk)].
(19)

克里斯托費爾符號由 第一基本形式 EFG 的係數給出

Gamma^1_(11)=(GE_u-2FF_u+FE_v)/(2(EG-F^2))
(20)
Gamma^1_(12)=(GE_v-FG_u)/(2(EG-F^2))
(21)
Gamma^1_(22)=(2GF_v-GG_u-FG_v)/(2(EG-F^2))
(22)
Gamma^2_(11)=(2EF_u-EE_v-FE_u)/(2(EG-F^2))
(23)
Gamma^2_(12)=(EG_u-FE_v)/(2(EG-F^2))
(24)
Gamma^2_(22)=(EG_v-2FF_v+FG_u)/(2(EG-F^2)),
(25)

以及 Gamma^1_(21)=Gamma^1_(12)Gamma^2_(21)=Gamma^2_(12)。如果 F=0,則第二類克里斯托費爾符號簡化為

Gamma^1_(11)=(E_u)/(2E)
(26)
Gamma^1_(12)=(E_v)/(2E)
(27)
Gamma^1_(22)=-(G_u)/(2E)
(28)
Gamma^2_(11)=-(E_v)/(2G)
(29)
Gamma^2_(12)=(G_u)/(2G)
(30)
Gamma^2_(22)=(G_v)/(2G)
(31)

(Gray 1997)。

以下關係在第二類克里斯托費爾符號和第一 基本形式 的係數之間成立:

Gamma^1_(11)E+Gamma^2_(11)F=1/2E_u
(32)
Gamma^1_(12)E+Gamma^2_(12)F=1/2E_v
(33)
Gamma^1_(22)E+Gamma^2_(22)F=F_v-1/2G_u
(34)
Gamma^1_(11)F+Gamma^2_(11)G=F_u-1/2E_v
(35)
Gamma^1_(12)F+Gamma^2_(12)G=1/2G_u
(36)
Gamma^1_(22)F+Gamma^2_(22)G=1/2G_v
(37)
Gamma^1_(11)+Gamma^2_(12)=(lnsqrt(EG-F^2))_u
(38)
Gamma^1_(12)+Gamma^2_(22)=(lnsqrt(EG-F^2))_v
(39)

(Gray 1997)。

對於以 蒙日形式 z=F(x,y) 給出的曲面,

 Gamma^k_(ij)=(z_(ij)z_k)/(1+z_1^2+z_2^2).
(40)

第二類克里斯托費爾符號出現在 測地線 的計算中。自由運動的 測地線方程

 dtau^2=-eta_(alphabeta)dxi^alphadxi^beta,
(41)

 (d^2xi^alpha)/(dtau^2)=0.
(42)

展開,

 d/(dtau)((partialxi^alpha)/(partialx^mu)(dx^mu)/(dtau))=(partialxi^alpha)/(partialx^mu)(d^2x^mu)/(dtau^2)+(partial^2xi^alpha)/(partialx^mupartialx^nu)(dx^mu)/(dtau)(dx^nu)/(dtau)=0
(43)
 (partialxi^alpha)/(partialx^mu)(d^2x^mu)/(dtau^2)(partialx^lambda)/(partialxi^alpha)+(partial^2xi^alpha)/(partialx^mupartialx^nu)(dx^mu)/(dtau)(dx^nu)/(dtau)(partialx^lambda)/(partialxi^alpha)=0.
(44)

但是

 (partialxi^alpha)/(partialx^nu)(partialx^lambda)/(partialxi^alpha)=delta_mu^lambda,
(45)

所以

 delta_mu^lambda(d^2x^mu)/(dtau^2)+((partial^2xi^alpha)/(partialx^mupartialx^nu)(partialx^lambda)/(partialxi^alpha))(dx^mu)/(dtau)(dx^nu)/(dtau)=(d^2x^lambda)/(dtau^2)+Gamma^lambda_(munu)(dx^mu)/(dtau)(dx^nu)/(dtau),
(46)

其中

 Gamma^lambda_(munu)=(partial^2xi^alpha)/(partialx^mupartialx^nu)(partialx^lambda)/(partialxi^alpha).
(47)

另請參閱

Cartan 撓率係數, 克里斯托費爾符號, 第一類克里斯托費爾符號, 逗號導數, 交換系數, 協變導數, 高斯方程, 張量

使用 探索

參考文獻

Arfken, G. 物理學家數學方法,第 3 版 Orlando, FL: Academic Press, pp. 160-167, 1985.Gray, A. "克里斯托費爾符號。" §22.3 in 使用 Mathematica 的曲線和曲面的現代微分幾何,第 2 版 Boca Raton, FL: CRC Press, pp. 509-513, 1997.Misner, C. W.; Thorne, K. S.; and Wheeler, J. A. 引力 San Francisco: W. H. Freeman, 1973.Morse, P. M. and Feshbach, H. 理論物理方法,第一部分 New York: McGraw-Hill, pp. 47-48, 1953.Sternberg, S. 微分幾何 New York: Chelsea, p. 354, 1983.Walton, J. J. "計算機上的張量計算:附錄。" Comm. ACM 10, 183-186, 1967.Weinberg, S. 引力與宇宙學:廣義相對論原理與應用 New York: Wiley, 1972.

在 中引用

第二類克里斯托費爾符號

請引用為

Eric W. Weisstein。“第二類克里斯托費爾符號”。來自 網路資源。https://mathworld.tw/ChristoffelSymboloftheSecondKind.html

主題分類