黎曼曲率张量漫谈

导数算符

称从$(k,l)$型张量场到$(k,l+1)$型张量场的映射$\nabla$为(无挠)导数算符，如果它满足如下条件：

1. 具有线性性
2. 满足莱布尼兹率
3. 与张量积可交换
4. $v(f)=v^a{\nabla }_{a}f$
5. 无挠性： ${\nabla }_a{\nabla }_{b}f={\nabla }_b{\nabla }_{a}f$

根据$df$的定义$df(v)=v(f)$不难看出，${\nabla }_{a}f=(df{)}_a$. 于是对于$(0,0)$型张量场来说，不同的导数算符的作用结果是一样的，${\tilde{\nabla }}_a(f)={\nabla }_{a}f=(df{)}_a$. 对于$(0,1)$型张量场来说，通常不同的导数算符作用的结果不一样，但我们可以考虑两导数算符的差，这表现为一个$(1,2)$型张量即$({\tilde{\nabla }}_a-{\nabla }_a){\omega }_b=C^c{}_{ab}{\omega }_c$，于是有
$${\nabla }_a{\omega }_b={\tilde{\nabla }}_a{\omega }_b-C^c{}_{ab}{\omega }_c$$
另外根据导数算符的无挠性，容易证明$C$的如下对称性
$$C^c{}_{ab}=C^c{}_{ba}$$
对于$(1,0)$型张量场，我们考虑式子${\nabla }_a({\omega }_b{v}^b)={\omega }_b{\nabla }_a{v}^b+v^b{\nabla }_a{\omega }_b={\omega }_b{\nabla }_a{v}^b+v^b({\tilde{\nabla }}_a{\omega }_b-C^c{}_{ab}{\omega }_c)$，另一方面${\tilde{\nabla }}_a({\omega }_b{v}^b)={\omega }_b{\tilde{\nabla }}_a{v}^b+v^b{\tilde{\nabla }}_a{\omega }_b$. 由这两式相等我们就得到${\omega }_b{\nabla }_a{v}^b={\omega }_b{\tilde{\nabla }}_a{v}^b+C^c{}_{ab}{v}^b{\omega }_c={\omega }_b{\tilde{\nabla }}_a{v}^b+C^b{}_{ac}{v}^c{\omega }_b$，于是
$${\nabla }_a{v}^b={\tilde{\nabla }}_a{v}^b+C^b{}_{ac}{v}^c$$
类似地，${\nabla }_a$与${\tilde{\nabla }}_a$之差作用于任一$(k,l)$型张量场$T$的结果可以表示为$k+l$项，每项都含有$C^c{}_{ab}$，与$T$的上指标缩并的$k$项前面为$+$号，与$T$的下指标缩并的$l$项前面为$-$号。

Christoffel符号

考虑对坐标$x^{\mu }$求偏导数的算符${\partial }_{\mu }$，它虽然可以看作${\tilde{\nabla }}_a$的特例，但其定义依赖于坐标系。我们把与坐标系无关的那些${\tilde{\nabla }}_a$称为协变导数算符，${\partial }_{\mu }$显然不在此列。类似地，体现${\nabla }_a$与${\partial }_a$区别的张量场$C^c{}_{ab}$称为${\nabla }_a$在该坐标系的Christoffel符号，记作${\Gamma }^c{}_{ab}$. 我们有
$$v^{\nu }{}_{;\mu }=v^{\nu }{}_{,\mu }+{\Gamma }^{\nu }{}_{\mu \sigma }{v}^{\sigma },{\omega }_{\nu ;\mu }={\omega }_{\nu ,\mu }-{\Gamma }^{\sigma }{}_{\mu \nu }{\omega }_{\sigma }$$
其中逗号表示求偏导数，分号表示求协变导数。

与度规适配的导数算符

导数算符${\nabla }_a$称为与$g_{bc}$相适配的，如果${\nabla }_a{g}_{bc}=0$. 可以证明，这样的${\nabla }_a$是唯一的。为此，我们可以展开${\nabla }_a{g}_{bc}$，即$${\nabla }_a{g}_{bc}={\tilde{\nabla }}_a{g}_{bc}-C^d{}_{ab}{g}_{dc}-C^d{}_{ac}{g}_{bd}={\tilde{\nabla }}_a{g}_{bc}-C_{cab}-C_{bac}$$
故由${\nabla }_a{g}_{bc}=0$得$$C_{cab}+C_{bac}={\tilde{\nabla }}_a{g}_{bc}$$
同理$$\begin{gathered} C_{cba}+C_{abc}={\tilde{\nabla }}_b{g}_{ac} \\ {C}_{bca}+C_{acb}={\tilde{\nabla }}_c{g}_{ab} \end{gathered}$$
前两式相加减第三式，并注意到$C_{cab}=C_{cba}$得
2 C c a