克里斯托费尔符号
克氏符号,全称克里斯托费尔符号(Christoffel symbols),在数学和物理中,是从度量张量导出的列维-奇维塔联络(--
)的坐标表达式。因埃尔温·布鲁诺·克里斯托费尔(1829年-1900年)命名。克氏符号在每当进行涉及到几何的实用演算时都会被用到,因为他们使得非常复杂的演算不被搞混。不幸的是,它们写起来较繁琐,并要求对细节的仔细关注。相反,无下标的形式化的列维-奇维塔联络的概念是相当漂亮,并允许定理用典雅的方式表达,但是在实用演算中没有什么用处。
预备.
下面的定义对于黎曼流形和广义相对论用到的伪黎曼流形都是适用的,逆变导数(contravariant,用上标表示)和协变导数(covariant,用下标表示)的指标作了严格的区分。公式对两种符号常规都成立,除特别指出的外。
定义.
克氏符号可以从度量张量formula_1的共变导数为0这一事实来导出:
formula_2。
通过交换指标(--
),和求和,可以解出联络:
formula_3,
注意虽然记号有三个指标,他们不是张量。它们不像张量那样变换。它们是二阶切丛上的物体的分量,是一个喷射,参看jet丛。克氏符号在坐标变换下的变换性质见下面。
注意,多数作者用和乐(或称完全,holonomic)的坐标系,我们也用这样的常规做法。在非和乐的坐标中,克氏符号有更复杂的形式
formula_4
其中formula_5是该基的交换系数;也就是
formula_6
其中"e"k是向量的基而formula_7是李括号。
以下的表达式除作特殊说明外都是在和乐坐标基中。
和无指标符号的关系.
令"X"和"Y"为向量场,其分量为formula_8和formula_9。则"Y"相对于"X"的共变导数的第"k"个分量为
formula_10.
有些老的物理书有时把"X"写成"dx",并把它放在方程的后面而不是前面。这里,采用了爱因斯坦记号,所以重复出现的指标表示求和,和度量张量的缩并(contraction)用来升降指标:
formula_11.
注意formula_12和克罗内克记号(Kronecker delta)formula_13。常规上,度量张量是有下标的那个;这确的从formula_1得到formula_15的办法是解线性方程组formula_16。也即,gik是gik的逆。
联络是无挠率的表达式是
formula_17
这和克里斯托夫记号对两个下标对称是等价的:
formula_18.
无指标的张量变换性质是由共变指标的拉回和反变指标的前推来给出的。共变导数条目有关于无指标和有指标表示法的关系的更多讨论。
关系.
把指标缩并起来,就得到
formula_19
其中|"g"|是度量张量formula_1的行列式的绝对值。
类似的,
formula_21
向量场formula_22的共变导数(covariant derivative)是
formula_23
共变散度(covariant divergence)是
formula_24.
张量formula_25的共变导数是
formula_26.
若张量是反对称的,则其散度简化为
formula_27.
标量场formula_28的反变导数称为formula_28的梯度。也就是说,梯度就是把微分的指标升到上面:
formula_30
标量势的拉普拉斯算子Laplacian是
formula_31.
拉普拉斯也就是梯度的共变散度(对于标量场来讲)
formula_32.
黎曼曲率.
黎曼曲率张量是
formula_33.
该张量的对称性有
formula_34和formula_35.
也就是交换前后两对指标是对称的,交换其中一对是反对称的。
循环替换的和是
formula_36
比安基恒等式是
formula_37
Ricci曲率.
Ricci张量由下式给出
formula_38
该张量是对称的:formula_39.它可以通过收缩黎曼张量的指标得到:
formula_40
标量曲率由下式给出
formula_41.
标量的共变导数可以从Bianchi等式推出:
formula_42.
外尔张量.
外尔张量(Weyl tensor)是
formula_43.
坐标变换.
在从formula_44到formula_45的坐标变换下,向量的变换为
formula_46
所以
formula_47
其中上划线表示"y"坐标系中的克氏符号。注意克氏符号不像张量那样变换,而是像jet丛中的对象那样。
生成维基百科快照图片,大概需要3-30秒!