クリストッフェル記号
リーマン幾何学において、クリストッフェル記号(クリストッフェルきごう、Christoffel symbols)またはクリストッフェルの三添字記号(クリストッフェルのさんそえじきごう、Christoffel three index symbols)とは、測地線の微分方程式を表すにあたってブルーノ・クリストッフェル (1829–1900) によって導入された記号を言う。
クリストッフェル記号には第一種記号 \left[ j \; k, a \right] と第二種記号 \left\{ { {i}\atop{j \; k} } \right\} の二種類があるが、基本的には第二種記号のことを意味する。
リーマン幾何学においては、n 次元多様体と呼ばれる空間上にある曲線
の長さを、積分
I = \int_{t_1}^{t_2} \sqrt{ \sum_{i, j} g_{i j}(x) \frac{\mathrm dx^i }{\mathrm dt} \frac{\mathrm dx^j }{\mathrm dt}\,\mathrm dt
で計算できるように、各座標近傍内に
という関数(基本計量テンソルと呼ばれる)が与えられている。この積分の第一変分 δI を 0 とおくことで得られるオイラー・ラグランジュの微分方程式は、測地線に沿っての孤の長さを媒介変数にとれば、
\frac{\mathrm d^{2}x^{h} }{\mathrm ds^2 } + \sum_{j, i} \left\{ { {h}\atop{j \; i} } \right\} \frac{\mathrm dx^{j} }{\mathrm ds } \frac{\mathrm dx^{i} }{\mathrm ds } = 0
となる。これを測地線の微分方程式と呼ぶ。なお、ここで
\left\{ { {h}\atop{j \; i} } \right\} = \sum_a \frac{1}{2} g^{h a} \left(\frac{\partial g_{i a} }{\partial x^j } + \frac{\partial g_{j a} }{\partial x^i } - \frac{\partial g_{j i} }{\partial x^a } \right)
であり、これを(第二種)クリストッフェル記号(Christoffel symbol (of the second kind))と呼ぶ。
クリストッフェル記号は、計量テンソルから導かれたレヴィ・チヴィタ接続に対する、座標空間での表示式である台となる n-次元多様体の各点で、任意の局所座標系に対して、クリストッフェル記号はサイズが n × n × n の多次元配列であり、n3 の各成分は実数である。。
n次元微分多様体 M 上の各点近傍に定まる座標系を xh (h = 1, 2, ..., n) とする。さらに各座標近傍内に基本計量テンソル
g_{i j}(x) = g_{j i}(x)
が与えられているものとする。
なお以下においては、アインシュタインの和の規約を用いる。
\left[ j \; k, a \right]
= \frac{1}{2} \left(\frac{ \partial g_{j a} }{\partial x^k } + \frac{ \partial g_{k a} }{\partial x^j } - \frac{ \partial g_{j k} }{\partial x^a } \right)
と定義される。
\left\{ { {i}\atop{j \; k} } \right\}
= \frac{1}{2} g^{i a} \left(\frac{ \partial g_{j a} }{\partial x^k } + \frac{ \partial g_{k a} }{\partial x^j } - \frac{ \partial g_{j k} }{\partial x^a } \right)
= g^{i a} \left[ j \; k, a \right]
と定義される。
第二種クリストッフェル記号が定義されていない代わりに、接続の記号 Γkij とともに共変微分が定義されている場合、接続の記号としてクリストッフェル記号を得ることができる。
二階共変テンソル Sij の共変微分は定義より、
\frac{\partial S_{i k} }{\partial x^j} -  \Gamma^a_{j i} S_{a k} -  \Gamma^a_{j k} S_{i a}(2階共変テンソルの共変微分)
である。また、二階共変テンソルであるリーマン多様体 M の基本計量テンソル gik の共変微分についてリッチの補定理
0 , \;\; \nabla_j g^{ik} = 0(リッチの補定理)
が一般の接続の記号 Γkij から定義される共変微分についてもそのまま成り立つものとされているとすると、
\nabla_j g_{ik} = \frac{\partial g_{i k} }{\partial x^j} -  \Gamma^a_{j i} g_{a k} - \Gamma^a_{j k} g_{i a} = 0
であり、添字を並べ替え、補うことにより、上式を計量テンソルの関数として接続の記号について陽に解いて
\Gamma^l_{k j}=\frac{1}{2}g^{l m} \left(\frac{\partial g_{m k}{\partial x^j} + \frac{\partial g_{m j}{\partial x^k} - \frac{\partial g_{k j}{\partial x^m} \right) = \left\{ { {l}\atop{k \; j} } \right\}
と、接続の記号としてクリストッフェル記号を導出することができる δjkと定義されるものである。。
\left\{ { {i}\atop{j \; k} } \right\}  = \left\{ { {i}\atop{k \; j} } \right\}
が成り立つ。
第二種クリストッフェル記号について、座標系 xh から座標系 uh (h = 1, 2, ..., n) への変数変換を行うと
\frac{\partial x^i}{\partial u^a} \left\{ \overline{ { {a}\atop{b \; c} } } \right\}
= \frac{\partial x^j}{\partial u^b}\frac{\partial x^k}{\partial u^c} \left\{ { {i}\atop{j \; k} } \right\}
+ \frac{\partial^2 x^i}{\partial u^b \partial u^c}
ここで、上線は u-座標系に関するクリストッフェル記号であることを表す。
となる。この式から第二種クリストッフェル記号はテンソルの成分ではないことが判る。
曲面上のすべての点でクリストッフェル記号が 0 となるような座標系が存在するならば、その曲面は伸縮することなく平面上に展開可能なものだけであり、それ以外の場合には、曲面上のすべての点で \left\{ { {i}\atop{j \; k} } \right\} = 0 となるような座標系は一般に存在しない。ただし、曲面上のある特定の一点 xi0 でならば \left\{ { {i}\atop{j \; k} } \right\}_0 = 0 となるような座標系をとることができる。
ここで、
x^i - x^i_0 = u^i - \frac{1}{2} \left\{ { {i}\atop{j \; k} } \right\}_0 u^j u^k  ただし、u^i_0 = 0
なる座標変換を行う。このとき、uh で偏微分を行うと
\frac{\partial x^i}{\partial u^h} = \delta^i_h - \frac{1}{2} \left( \frac{\partial \left\{ { {i}\atop{j \; k} } \right\}_0}{\partial u^h} u^j u^k +  \left\{ { {i}\atop{j \; k} } \right\}_0 \delta^j_h u^k + \left\{ { {i}\atop{j \; k} } \right\}_0 u^j \delta^k_h \right) = \delta^i_h - \frac{1}{2} \frac{\partial \left\{ { {i}\atop{j \; k} } \right\}_0}{\partial u^h} u^j u^k -  \left\{ { {i}\atop{h \; k} } \right\}_0 u^k
となり、さらに ul で偏微分を行うと
\frac{\partial^2 x^i}{\partial u^l \partial u^h} =  - \frac{1}{2} \left( \frac{\partial^2 \left\{ { {i}\atop{j \; k} } \right\}_0}{\partial u^l \partial u^h} u^j u^k + \frac{\partial \left\{ { {i}\atop{j \; k} } \right\}_0}{\partial u^h} \delta^j_l u^k + \frac{\partial \left\{ { {i}\atop{j \; k} } \right\}_0}{\partial u^h} u^j \delta^k_l \right) -  \frac{\partial \left\{ { {i}\atop{h \; k} } \right\}_0 }{\partial u^l} u^k - \left\{ { {i}\atop{h \; k} } \right\}_0  \delta^k_l
となる。したがって、xi = xi0 のとき ui = 0 であることから、
\left( \frac{\partial x^i}{\partial u^h} \right)_0 = \delta^i_h , \;\;\; \left( \frac{\partial^2 x^i}{\partial u^l \partial u^h} \right)_0 = - \left\{ { {i}\atop{h l} } \right\}_0
を得る。よって、ある一点 xi0 におけるクリストッフェル記号の変数変換式が
\left( \frac{\partial x^i}{\partial u^k} \right)_0 \left\{ \overline{ { {k}\atop{h \; l} } } \right\}_0
= \left( \frac{\partial x^j}{\partial u^h} \right)_0
\left( \frac{\partial x^k}{\partial u^l} \right)_0 \left\{ { {i}\atop{j \;k} } \right\}_0
+ \left( \frac{\partial^2 x^i}{\partial u^h \partial u^l} \right)_0
= \delta_h^j \delta_l^k  \left\{ { {i}\atop{j \;k} } \right\}_0  - \left\{ { {i}\atop{h \;l} } \right\}_0 = 0
であることから、
\delta_k^i \left\{ \overline{ { {k}\atop{h \; l} } } \right\}_0 = \left\{ \overline{ { {i}\atop{h \; l} } } \right\}_0 = 0
すなわち、クリストッフェル記号はある一点 xi0 においては全て0となることが導かれる。
このような座標系を、点 u0 = 0 を原点とする測地座標系(geodetic coordinate system)と呼ぶ。なお、測地座標の原点においては、テンソルの共変微分と通常の微分が一致する。
一階共変テンソルを wi とするとき、その共変微分は
\nabla_j w_i = \frac{\partial w_i}{\partial x^j} - \left\{ { {a}\atop{j \; i} } \right\}  w_a
で定義される。座標系 (xh) を測地座標系 (uh) へ座標変換すると、その原点において \left\{ \overline{ { {i}\atop{h \; l} } } \right\}_0 = 0 となる。
したがって、wi の共変微分は ui = 0 において、
\left( \nabla_j w_i \right)_0 = \left( \frac{\partial w_i}{\partial u^j} \right)_0
と、共変微分と通常の微分が一致する。
g = \det(g_{i j}) = \left|
\begin{array}{ccc}
g_{1 1} & g_{1 2} & \cdots \\
g_{2 1} & g_{2 2} & \cdots \\
\vdots & \vdots   & \ddots
\end{array}
\right|
を定義することができる。ここで、gij の余因子行列を Gij とし、g を xk で偏微分すると
\frac{\partial g}{\partial x^k} = \frac{\partial g}{\partial g_{i j} \frac{\partial g_{i j}{\partial x^k} = G_{i j} \frac{\partial g_{i j}{\partial x^k}
\frac{\partial g}{\partial g_{i j = G_{i j}
の関係が成り立つため。}。さらに余因子行列を行列式で割ったものは逆行列となるが、それは反変版の基本計量テンソルに他ならない。つまり、Gij = ggij。よって
\begin{align}
\frac{\partial g}{\partial x^k} &= g g^{i j} \frac{\partial g_{i j}{\partial x^k} = g g^{i j} \left(  g_{i a} \left\{ { {a}\atop{j \; k} } \right\} + g_{a j} \left\{ { {a}\atop{i \; k} } \right\} \right) \\
& =  g  \left(  \delta^j_a \left\{ { {a}\atop{j \; k} } \right\} + \delta^i_a \left\{ { {a}\atop{i \; k} } \right\} \right) =  g  \left(  \left\{ { {a}\atop{a \; k} } \right\} + \left\{ { {a}\atop{a \; k} } \right\} \right) \\
& = 2 g \left\{ { {a}\atop{a \; k} } \right\}
\end{align}
\left\{ { {a}\atop{a \; k} } \right\} = \left\{ { {a}\atop{k \; a} } \right\} = \frac{1}{2} \frac{1}{g} \frac{\partial g}{\partial x^k} = \frac{\partial \log \sqrt{g}{\partial x^k} = \frac{1}{\sqrt{g} }\frac{ \partial \sqrt{g} }{ \partial x^k }
が得られる。
クリストッフェル記号はアインシュタインの一般相対論において頻繁に用いられる。一般相対論は時空を、レヴィ-チヴィタ接続を備えた、湾曲した 4-次元ローレンツ多様体によって表現する。(物体の存在によって時空の形状を決定するという)アインシュタインの場の方程式はリッチテンソルを含み、クリストッフェル記号を計算することが本質的である。一旦形状が決定されたならば、粒子と光線の軌跡は(クリストッフェル記号が陽に現れる)測地的方程式を解くことによって計算できる。