主题
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 挠率系数, 克里斯托费尔符号, 第一类克里斯托费尔符号, 逗号导数, 交换系数, 协变导数, 高斯方程, 张量

使用 Wolfram|Alpha 探索

参考文献

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.

在 Wolfram|Alpha 中引用

第二类克里斯托费尔符号

请引用为

Eric W. Weisstein。“第二类克里斯托费尔符号”。来自 MathWorld--Wolfram 网络资源。https://mathworld.net.cn/ChristoffelSymboloftheSecondKind.html

主题分类