本页使用了标题或全文手工转换

克里斯托费尔符号

维基百科,自由的百科全书
跳转至: 导航搜索

克氏符号,全称克里斯托费尔符号Christoffel symbols),在数学物理中,是从度量张量导出的列维-奇维塔联络Levi-Civita connection)的坐标表达式。因埃爾溫·布魯諾·克里斯托費爾(1829年-1900年)命名。克氏符号在每当进行涉及到几何的实用演算时都会被用到,因为他们使得非常复杂的演算不被搞混。不幸的是,他们很难看,并要求对细节的仔细关注。相反,无下标的形式化的列维-奇维塔联络的概念是相当漂亮,并允许定理用典雅的方式表达,但是在实用演算中没有什么用处。

预备[编辑]

下面的定义对于黎曼流形广义相对论用到的伪黎曼流形都是适用的,逆變導數(contravariant,用上标表示)和協變導數(covariant,用下标表示)的指标作了严格的区分。公式对两种符号常规都成立,除特别指出的外。

定义[编辑]

克氏符号可以从度量张量g_{ik}共变导数为0这一事实来导出:

D_lg_{ik}=\frac{\partial g_{ik}}{\partial x^l} - g_{mk}\Gamma^m_{il} - g_{im}\Gamma^m_{kl}=0

通过交换指标(index),和求和,可以解出联络:

\Gamma^i_{kl}=\frac{1}{2}g^{im} \left(\frac{\partial g_{mk}}{\partial x^l} + \frac{\partial g_{ml}}{\partial x^k} - \frac{\partial g_{kl}}{\partial x^m} \right)

注意虽然记号有三个指标,他们是张量。它们不像张量那样变换。它们是二阶切丛上的物体的分量,是一个喷射,参看jet丛。克氏符号在坐标变换下的变换性质见下面

注意,多数作者用和樂(或称完全,holonomic)的坐标系,我们也用这样的常规做法。在非和乐的坐标中,克氏符号有更复杂的形式

\Gamma^i_{kl}=\frac{1}{2}g^{im} \left(
\frac{\partial g_{mk}}{\partial x^l} +
\frac{\partial g_{ml}}{\partial x^k} -
\frac{\partial g_{kl}}{\partial x^m} +
c_{mkl}+c_{mlk} - c_{klm}
\right)

其中c_{klm}=g_{mp} {c_{kl}}^p是该基的交换系数;也就是

[e_k,e_l] = {c_{kl}}^m e_m

其中ek是向量的基而[,]李括号


以下的表达式除作特殊说明外都是在和乐坐标基中。

和无指标符号的关系[编辑]

XY向量场,其分量为X^iY^k。则Y相对于X的共变导数的第k个分量为

\left(\nabla_X Y\right)^k = X^i D_i Y^k = X^i \left(\frac{\partial Y^k}{\partial x^i} + \Gamma^k_{im} Y^m\right).

有些老的物理书有时把X写成dx,并把它放在方程的后面而不是前面。这里,采用了爱因斯坦记号,所以重复出现的指标表示求和,和度量张量的缩并(contraction)用来升降指标:

\langle X,Y\rangle = g(X,Y) = X^i Y_i = g_{ik}X^i Y^k.

注意g_{ik}\neq g^{ik}克罗内克记号(Kronecker delta)g^i_k=\delta^i_k。常规上,度量张量是有下标的那个;这确的从g_{ik}得到g^{ik}的办法是解线性方程组g^{ij}g_{jk}=\delta^i_k。也即,gik是gik的逆。

联络是无挠率的表达式是

\nabla_X Y - \nabla_Y X = [X,Y]

这和克里斯托夫记号对两个下标对称是等价的:

\Gamma^i_{jk}=\Gamma^i_{kj}.

无指标的张量变换性质是由共变指标的拉回和反变指标的前推来给出的。共变导数条目有关于无指标和有指标表示法的关系的更多讨论。

关系[编辑]

把指标缩并起来,就得到

\Gamma^i_{ki}=\frac{1}{2} g^{im}\frac{\partial g_{im}}{\partial x_k}=\frac{1}{2g} \frac{\partial g}{\partial x_k} = \frac{\partial \log \sqrt{|g|}}{\partial x_k}

其中|g|是度量张量g_{ik}行列式的绝对值。

类似的,

g^{kl}\Gamma^i_{kl}=\frac{-1}{\sqrt{|g|}} \;\frac{\partial\sqrt{|g|}\,g^{ik}} {\partial x^k}.

向量场V^m共变导数(covariant derivative)

D_l V^m = \frac{\partial V^m}{\partial x^l} + \Gamma^m_{kl} V^k.

共变散度(covariant divergence)

D_m V^m = \frac{\partial V^m}{\partial x^m} + V^k \frac{\partial \log \sqrt{|g|}}{\partial x^k} = \frac{1}{\sqrt{|g|}} \frac{\partial (V^m\sqrt{|g|})}{\partial x^m}.

张量A^{ik}的共变导数是

D_l A^{ik}=\frac{\partial A^{ik}}{\partial x^l} + \Gamma^i_{ml} A^{mk} + \Gamma^k_{ml} A^{im} .

若张量是反对称的,则其散度简化为

D_k A^{ik}= \frac{1}{\sqrt{|g|}} \frac{\partial (A^{ik}\sqrt{|g|})}{\partial x^k}.

标量场\phi的反变导数称为\phi梯度。也就是说,梯度就是把微分的指标升到上面:

D^i\phi=g^{ik}\frac{\partial\phi}{\partial x^k}.

标量势的拉普拉斯算子Laplacian

\Delta \phi=\frac{1}{\sqrt{|g|}} \frac{\partial}{\partial x^i}\left(g^{ik}\sqrt{|g|}\frac{\partial\phi}{\partial x^k}\right).

拉普拉斯也就是梯度的共变散度(对于标量场来讲) \Delta \phi=D_i D^i\phi.

黎曼曲率[编辑]

黎曼曲率张量

R_{iklm}=\frac{1}{2}\left(
\frac{\partial^2g_{im}}{\partial x^k \partial x^l}
+ \frac{\partial^2g_{kl}}{\partial x^i \partial x^m}
- \frac{\partial^2g_{il}}{\partial x^k \partial x^m}
- \frac{\partial^2g_{km}}{\partial x^i \partial x^l} \right)
+g_{np} \left(
\Gamma^n_{kl} \Gamma^p_{im} -
\Gamma^n_{km} \Gamma^p_{il} \right)
.

该张量的对称性有

R_{iklm}=R_{lmik}R_{iklm}=-R_{kilm}=-R_{ikml}.

也就是交换前后两对指标是对称的,交换其中一对是反对称的。

循环替换的和是

R_{iklm}+R_{imkl}+R_{ilmk}=0.

比安基恒等式

D_m R^n_{ikl} + D_l R^n_{imk} + D_k R^n_{ilm}=0.

Ricci曲率[编辑]

Ricci张量由下式给出

R_{ik}=\frac{\partial\Gamma^l_{ik}}{\partial x^l} - \frac{\partial\Gamma^l_{il}}{\partial x^k} + \Gamma^l_{ik} \Gamma^m_{lm} - \Gamma^m_{il}\Gamma^l_{km}.

该张量是对称的:R_{ik}=R_{ki}.它可以通过收缩黎曼张量的指标得到:

R_{ik}=g^{lm}R_{limk}.

标量曲率由下式给出

R=g^{ik}R_{ik}.

标量的共变导数可以从Bianchi等式推出:

D_l R^l_m = \frac{1}{2} \frac{\partial R}{\partial x^m}.

外尔张量[编辑]

外尔张量(Weyl tensor)

C_{iklm}=R_{iklm} + \frac{1}{2}\left(
- R_{il}g_{km}
+ R_{im}g_{kl}
+ R_{kl}g_{im}
- R_{km}g_{il} \right)
+ \frac{1}{6} R \left(
g_{il}g_{km} - g_{im}g_{kl} \right).

坐标变换[编辑]

在从(x^1,...,x^n)(y^1,...,y^n)的坐标变换下,向量的变换为

\frac{\partial}{\partial y^i} = \frac{\partial x^k}{\partial y^i}\frac{\partial}{\partial x^k}

所以

\overline{\Gamma^k_{ij}} =
\frac{\partial x^p}{\partial y^i}\,
\frac{\partial x^q}{\partial y^j}\,
\Gamma^r_{pq}\,
\frac{\partial y^k}{\partial x^r}
+
\frac{\partial y^k}{\partial x^m}\,
\frac{\partial^2 x^m}{\partial y^i \partial y^j}

其中上划线表示y坐标系中的克氏符号。注意克氏符号像张量那样变换,而是像jet丛中的对象那样。

参考[编辑]