克里斯托费尔符号

克氏符号，全称克里斯托费尔符号（Christoffel symbols）, 在数学和物理中, 是从度量张量导出的列维-奇维塔联络（）的坐标表达式。因Elwin Bruno Christoffel(1829年-1900年)命名。克氏符号在每当进行涉及到几何的实用演算时都会被用到, 因为他们使得非常复杂的演算不被搞混。不幸的是, 他们很难看, 并要求对细节的仔细关注。相反,无下标的形式化的列维-奇维塔联络的概念是相当漂亮,并允许定理用典雅的方式表达, 但是在实用演算中没有什么用处。
目录[隐藏]
1 预备
2 定义
3 和无指标符号的关系
4 关系
5 黎曼曲率
6 Ricci曲率
7 外尔张量
8 坐标变换
9 参考
if (window.showTocToggle) { var tocShowText = "显示"; var tocHideText = "隐藏"; showTocToggle(); }
[编辑]
预备
下面的定义对于黎曼流形和广义相对论用到的伪黎曼流形都是适用的，反变（contravariant，用上标表示）和共变（covariant，用下标表示）的指标作了严格的区分。公式对两种符号常规都成立，除特别指出的外。
[编辑]
定义
克氏符号可以从度量张量$g\_\{ik\}$的共变导数为0这一事实来导出：
$D\_lg\_\{ik\}=\backslash frac\{\backslash partial\; g\_\{ik\}\}\{\backslash partial\; x^l\}-\; g\_\{mk\}\backslash Gamma^m\_\{il\}\; -\; g\_\{im\}\backslash Gamma^m\_\{kl\}=0.$
通过交换指标（），和求和，可以解出联络：
$\backslash Gamma^i\_\{kl\}=\backslash frac\{1\}\{2\}g^\{im\}\; \backslash left(\backslash frac\{\backslash partial\; g\_\{mk\}\}\{\backslash partial\; x^l\}\; +\; \backslash frac\{\backslash partial\; g\_\{ml\}\}\{\backslash partial\; x^k\}\; -\; \backslash frac\{\backslash partial\; g\_\{kl\}\}\{\backslash partial\; x^m\}\; \backslash right).$
注意虽然记号有三个指标，他们不是张量。它们不像张量那样变换。它们是二阶切丛上的物体的分量，是一个喷射，参看jet丛。克氏符号在坐标变换下的变换性质见下面。
注意，多数作者用和乐(或称完全，holonomic)的坐标系，我们也用这样的常规做法。在非和乐的坐标中，克氏符号有更复杂的形式
$\backslash Gamma^i\_\{kl\}=\backslash frac\{1\}\{2\}g^\{im\}\; \backslash 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是向量的基而$[,]$ 是李括号。
以下的表达式除作特殊说明外都是在和乐坐标基中。
[编辑]
和无指标符号的关系
令X和Y为向量场，其分量为$X^i$ 和$Y^k$。则Y相对于X的共变导数的第k个分量为
$\backslash left(\backslash nabla\_X\; Y\backslash right)^k\; =\; X^i\; D\_i\; Y^k\; =\; X^i\; \backslash left(\backslash frac\{\backslash partial\; Y^k\}\{\backslash partial\; x^i\}\; +\; \backslash Gamma^k\_\{im\}\; Y^m\backslash right)$.
有些老的物理书有时把X写成dx,并把它放在方程的后面而不是前面。这里，采用了爱因斯坦记号，所以重复出现的指标表示求和，和度量张量的缩并(contraction)用来升降指标:
$\backslash langle\; X,Y\backslash rangle\; =\; g(X,Y)\; =\; X^i\; Y\_i\; =\; g\_\{ik\}X^i\; Y^k$.
注意$g\_\{ik\}\backslash neq\; g^\{ik\}$和克罗内克记号(Kronecker delta)$g^i\_k=\backslash delta^i\_k$。常规上，度量张量是有下标的那个；这确的从$g\_\{ik\}$得到$g^\{ik\}$的办法是解线性方程组$g^\{ij\}g\_\{jk\}=\backslash delta^i\_k$。也即，gik是gik的逆。
联络是无扭率的表达式是
$\backslash nabla\_X\; Y\; -\; \backslash nabla\_Y\; X\; =\; [X,Y]$
这和克里斯托夫记号对两个下标对称是等价的:
$\backslash Gamma^i\_\{jk\}=\backslash Gamma^i\_\{kj\}$.
无指标的张量变换性质是由共变指标的回拉(pullback)和反变指标的前推(pushforward)来给出的。共变导数条目有关于无指标和有指标表示法的关系的更多讨论。
[编辑]
关系
把指标所并起来，就得到
$\backslash Gamma^i\_\{ki\}=\backslash frac\{1\}\{2\}\; g^\{im\}\backslash frac\{\backslash partial\; g\_\{im\}\}\{\backslash partial\; x\_k\}=\backslash frac\{1\}\{2g\}\; \backslash frac\{\backslash partial\; g\}\{\backslash partial\; x\_k\}\; =\; \backslash frac\{\backslash partial\; \backslash log\; \backslash sqrt\{g\}\}\{\backslash partial\; x\_k\}$
其中g是度量张量$g\_\{ik\}$的行列式的绝对值。
类似的,
$g^\{kl\}\backslash Gamma^i\_\{kl\}=\backslash frac\{-1\}\{\backslash sqrt\{g\}\}\; \backslash ;\backslash frac\{\backslash partial\backslash sqrt\{g\}\backslash ,g^\{ik\}\}\; \{\backslash partial\; x^k\}.$
向量场 $V^m$ 的 共变导数(covariant derivative)是
$D\_l\; V^m\; =\; \backslash frac\{\backslash partial\; V^m\}\{\backslash partial\; x^l\}\; +\; \backslash Gamma^m\_\{kl\}\; V^k.$
共变散度(covariant divergence) 是
$D\_m\; V^m\; =\; \backslash frac\{\backslash partial\; V^m\}\{\backslash partial\; x^m\}\; +\; V^k\; \backslash frac\{\backslash partial\; \backslash log\; \backslash sqrt\{g\}\}\{\backslash partial\; x^k\}\; =\; \backslash frac\{1\}\{\backslash sqrt\{g\}\}\; \backslash frac\{\backslash partial\; (V^m\backslash sqrt\{g\})\}\{\backslash partial\; x^m\}$.
张量 $A^\{ik\}$ 的共变导数是
$D\_l\; A^\{ik\}=\backslash frac\{\backslash partial\; A^\{ik\}\}\{\backslash partial\; x^l\}\; +\; \backslash Gamma^i\_\{ml\}\; A^\{mk\}\; +\; \backslash Gamma^k\_\{ml\}\; A^\{im\}$.
若张量是反对称的,则其散度简化为
$D\_k\; A^\{ik\}=\; \backslash frac\{1\}\{\backslash sqrt\{g\}\}\; \backslash frac\{\backslash partial\; (A^\{ik\}\backslash sqrt\{g\})\}\{\backslash partial\; x^k\}$.
标量场$\backslash phi$的反变导数称为$\backslash phi$的梯度。也就是说，梯度就是把微分的指标升到上面:
$D^i\backslash phi=g^\{ik\}\backslash frac\{\backslash partial\backslash phi\}\{\backslash partial\; x^k\}.$
标量势的拉普拉斯算子Laplacian是
$\backslash Delta\; \backslash phi=\backslash frac\{1\}\{\backslash sqrt\{g\}\}\; \backslash frac\{\backslash partial\}\{\backslash partial\; x^i\}\backslash left(g^\{ik\}\backslash sqrt\{g\}\backslash frac\{\backslash partial\backslash phi\}\{\backslash partial\; x^k\}\backslash right)$.
拉普拉斯也就是梯度的共变散度(对于标量场来讲) $\backslash Delta\; \backslash phi=D\_i\; D^i\backslash phi$.
[编辑]
黎曼曲率
黎曼曲率张量是
$R\_\{iklm\}=\backslash frac\{1\}\{2\}\backslash 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.$
Bianchi恒等式是
$D\_m\; R^n\_\{ikl\}\; +\; D\_l\; R^n\_\{imk\}\; +\; D\_k\; R^n\_\{ilm\}=0.$
[编辑]
Ricci曲率
Ricci张量由下式给出
$R\_\{ik\}=\backslash frac\{\backslash partial\backslash Gamma^l\_\{ik\}\}\{\backslash partial\; x^l\}\; -\; \backslash frac\{\backslash partial\backslash Gamma^l\_\{il\}\}\{\backslash partial\; x^k\}\; +\; \backslash Gamma^l\_\{ik\}\; \backslash Gamma^m\_\{lm\}\; -\; \backslash Gamma^m\_\{il\}\backslash Gamma^l\_\{km\}.$
该张量是对称的: $R\_\{ik\}=R\_\{ki\}$. 它可以通过收缩黎曼张量的指标得到:
$R\_\{ik\}=g^\{lm\}R\_\{limk\}.$
标量曲率由下式给出
$R=g^\{ik\}R\_\{ik\}$.
标量的共变导数可以从Bianchi等式推出:
$D\_l\; R^l\_m\; =\; \backslash frac\{1\}\{2\}\; \backslash frac\{\backslash partial\; R\}\{\backslash partial\; x^m\}$.
[编辑]
外尔张量
外尔张量(Weyl tensor)是
$C\_\{iklm\}=R\_\{iklm\}\; +\; \backslash frac\{1\}\{2\}\backslash 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)$的坐标变换下,向量的变换为
$\backslash frac\{\backslash partial\}\{\backslash partial\; y^i\}\; =\; \backslash frac\{\backslash partial\; x^k\}\{\backslash partial\; y^i\}\backslash frac\{\backslash partial\}\{\backslash partial\; x^k\}$
所以
$\backslash overline\{\backslash 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丛中的对象那样。