克氏符號,全稱克里斯多福符號(Christoffel symbols),在數學和物理中,是從度量張量導出的勒維奇維塔聯絡(Levi-Civita connection)的坐標表達式。因埃爾溫·布魯諾·克里斯托費爾(1829年-1900年)命名。克氏符號在每當進行涉及到幾何的實用演算時都會被用到,因為他們使得非常複雜的演算不被搞混。不幸的是,它們寫起來較繁瑣,並要求對細節的仔細關注。相反,無下標的形式化的勒維奇維塔聯絡的概念是相當漂亮,並允許定理用典雅的方式表達,但是在實用演算中沒有什麼用處。
下面的定義對於黎曼流形和廣義相對論用到的偽黎曼流形都是適用的,逆變導數(contravariant,用上標表示)和協變導數(covariant,用下標表示)的指標作了嚴格的區分。公式對兩種符號常規都成立,除特別指出的外。
克氏符號可以從度量張量
的共變導數為0這一事實來導出:
。
通過交換指標(index),和求和,可以解出聯絡:
,
注意雖然記號有三個指標,他們不是張量。它們不像張量那樣轉換。它們是二階切線束上的物體的分量,是一個噴射,參看jet叢。克氏符號在坐標轉換下的轉換性質見下面。
注意,多數作者用和樂(或稱完全,holonomic)的坐標系,我們也用這樣的常規做法。在非和樂的坐標中,克氏符號有更複雜的形式
![{\displaystyle \Gamma _{kl}^{i}={\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)}](//wikimedia.org/api/rest_v1/media/math/render/svg/bdb25b6c08eb83120f82715b7ccb397b5ad39637)
其中
是該基的交換係數;也就是
![{\displaystyle [e_{k},e_{l}]={c_{kl}}^{m}e_{m}}](//wikimedia.org/api/rest_v1/media/math/render/svg/5ca608fde23480b905470c6c60ba0fcc66fa87aa)
其中ek是向量的基而
是李括號。
以下的表達式除作特殊說明外都是在和樂坐標基中。
把指標縮並起來,就得到
![{\displaystyle \Gamma _{ki}^{i}={\frac {1}{2}}g^{im}{\frac {\partial g_{im}}{\partial x_{k}}}={\frac {1}{2g}}{\frac {\partial g}{\partial x_{k}}}={\frac {\partial \ln {\sqrt {|g|}}}{\partial x_{k}}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/b1a3b6afbda2b09dace399cac09bbdb58db3be2a)
其中|g|是度量張量
的行列式的絕對值。
類似的,
![{\displaystyle g^{kl}\Gamma _{kl}^{i}={\frac {-1}{\sqrt {|g|}}}\;{\frac {\partial {\sqrt {|g|}}\,g^{ik}}{\partial x^{k}}}.}](//wikimedia.org/api/rest_v1/media/math/render/svg/c04d2b07cf0cef1926ca0caa70bf5f43f3bec5d2)
向量場
的共變導數(covariant derivative)是
![{\displaystyle D_{l}V^{m}={\frac {\partial V^{m}}{\partial x^{l}}}+\Gamma _{kl}^{m}V^{k}.}](//wikimedia.org/api/rest_v1/media/math/render/svg/9486f1f96359dbd10b075c2ad7516ebff16de1fe)
共變散度(covariant divergence)是
.
張量
的共變導數是
.
若張量是反對稱的,則其散度簡化為
.
純量場
的反變導數稱為
的梯度。也就是說,梯度就是把微分的指標升到上面:
![{\displaystyle D^{i}\phi =g^{ik}{\frac {\partial \phi }{\partial x^{k}}}.}](//wikimedia.org/api/rest_v1/media/math/render/svg/e456507853276110e75696b2ba1d66c5bb337d4a)
純量勢的拉普拉斯算子Laplacian是
.
拉普拉斯也就是梯度的共變散度(對於純量場來講)
.
黎曼曲率張量是
.
該張量的對稱性有
和
.
也就是交換前後兩對指標是對稱的,交換其中一對是反對稱的。
循環替換的和是
![{\displaystyle R_{iklm}+R_{imkl}+R_{ilmk}=0.}](//wikimedia.org/api/rest_v1/media/math/render/svg/bb4b31a1be46e8e0622b08738c0e7bc32d3522c7)
比安基恆等式是
![{\displaystyle D_{m}R_{ikl}^{n}+D_{l}R_{imk}^{n}+D_{k}R_{ilm}^{n}=0.}](//wikimedia.org/api/rest_v1/media/math/render/svg/7e8fa433b99896c81bfaeecb2cbacee107bfa298)
Ricci張量由下式給出
![{\displaystyle R_{ik}={\frac {\partial \Gamma _{ik}^{l}}{\partial x^{l}}}-{\frac {\partial \Gamma _{il}^{l}}{\partial x^{k}}}+\Gamma _{ik}^{l}\Gamma _{lm}^{m}-\Gamma _{il}^{m}\Gamma _{km}^{l}.}](//wikimedia.org/api/rest_v1/media/math/render/svg/ebbd6b1667234543cd14bb60ccf685238b59f382)
該張量是對稱的:
.它可以通過收縮黎曼張量的指標得到:
![{\displaystyle R_{ik}=g^{lm}R_{limk}.}](//wikimedia.org/api/rest_v1/media/math/render/svg/b90ba02b41249f7023fa80c1327a5971a3255bd5)
純量曲率由下式給出
.
純量的共變導數可以從Bianchi等式推出:
.
外爾張量(Weyl tensor)是
.
在從
到
的坐標轉換下,向量的轉換為
![{\displaystyle {\frac {\partial }{\partial y^{i}}}={\frac {\partial x^{k}}{\partial y^{i}}}{\frac {\partial }{\partial x^{k}}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/6a12f7eff760b9cd7caa990e12edf161da413d51)
所以
![{\displaystyle {\overline {\Gamma _{ij}^{k}}}={\frac {\partial x^{p}}{\partial y^{i}}}\,{\frac {\partial x^{q}}{\partial y^{j}}}\,\Gamma _{pq}^{r}\,{\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}}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/37e336443698108115c5d29f4e84e47ceeb4cb94)
其中上劃線表示y坐標系中的克氏符號。注意克氏符號不像張量那樣轉換,而是像jet叢中的物件那樣。
- Lev Davidovich Landau and Evgeny Mikhailovich Lifshitz, The Classical Theory of Fields, Fourth Revised English Edition, Course of Theoretical Physics, Volume 2, (1951) Pergamon Press, Oxford; ISBN 0-08-025072-6. See chapter 10, paragraphs 85,86 and 87.
- Ralph Abraham and Jerrold E. Marsden, Foundations of Mechanics, (1978) Benjamin/Cummings Publishing, London; ISBN 0-8053-0102-X. See chapter 2, paragraph 2.7.1
- Charles W. Misner, Kip S. Thorne, John Archibald Wheeler, Gravitation, (1970) W.H. Freeman, New York; ISBN 0-7167-0344-0. See chapter 8, paragraph 8.5