クリストッフェル記号

リーマン幾何学において、**クリストッフェル記号**（クリストッフェルきごう、）または**クリストッフェルの三添字記号**（クリストッフェルのさんそえじきごう、）とは、測地線の微分方程式を表すにあたってブルーノ・クリストッフェル (1829–1900) によって導入された記号を言う。

クリストッフェル記号には第一種記号 \left[ j \; k, a \right] と第二種記号 \left\{ { {i}\atop{j \; k} } \right\} の二種類があるが、基本的には第二種記号のことを意味する。なお、現代の物理学や数学の文献においては、第二種クリストッフェル記号を \Gamma^i_{jk} と表記することもある。

## 概要
リーマン幾何学においては、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
で計算できるように、各座標近傍内に
:
という関数（基本計量テンソルと呼ばれる）が与えられている。この積分の第一変分  を 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次元微分多様体 M 上の各点近傍に定まる座標系を  とする。さらに各座標近傍内に基本計量テンソル
: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]

と定義される。

#### 共変微分によるクリストッフェル記号の導出
第二種クリストッフェル記号が定義されていない代わりに、接続の記号  とともに共変微分が定義されている場合、接続の記号としてクリストッフェル記号を得ることができる。

二階共変テンソル  の共変微分は定義より、

である。また、二階共変テンソルであるリーマン多様体  の基本計量テンソル  の共変微分についてリッチの補定理

が一般の接続の記号  から定義される共変微分についてもそのまま成り立つものとされているとすると、
:\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
である。この式の添字を循環的に入れ替えることで、以下の3つの式が得られる。
:\frac{\partial g_{i k} }{\partial x^j} = \Gamma^a_{j i} g_{a k} + \Gamma^a_{j k} g_{i a}
:\frac{\partial g_{k j} }{\partial x^i} = \Gamma^a_{i k} g_{a j} + \Gamma^a_{i j} g_{k a}
:\frac{\partial g_{j i} }{\partial x^k} = \Gamma^a_{k j} g_{a i} + \Gamma^a_{k i} g_{j a}
ここで、捩率が 0 である（すなわち \Gamma^a_{i j} = \Gamma^a_{j i}）と仮定し、第一式と第二式の和から第三式を引くと、
:\frac{\partial g_{i k} }{\partial x^j} + \frac{\partial g_{k j} }{\partial x^i} - \frac{\partial g_{j i} }{\partial x^k} = 2 \Gamma^a_{i j} g_{k a}
となる。この両辺に g^{l k} を乗じて縮約を行うことにより、
: \Gamma^l_{i j}=\frac{1}{2}g^{l k} \left(\frac{\partial g_{k i}}{\partial x^j} + \frac{\partial g_{j k}}{\partial x^i} - \frac{\partial g_{i j}}{\partial x^k} \right) = \left\{ { {l}\atop{i \; j} } \right\}
と、接続の記号としてクリストッフェル記号を導出することができる。

## 性質
### 第二種クリストッフェル記号は下の添字について対称
定義から明らかに
:\left\{ { {i}\atop{j \; k} } \right\}  = \left\{ { {i}\atop{k \; j} } \right\}
が成り立つ。 
### 第二種クリストッフェル記号はテンソルではない
第二種クリストッフェル記号について、座標系  から座標系  への変数変換を行うと
:\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}

:ここで、上線は -座標系に関するクリストッフェル記号であることを表す。
となる。この式から第二種クリストッフェル記号はテンソルの成分ではないことが判る。

### 測地座標系のある一点においてクリストッフェル記号は 0
曲面上のすべての点でクリストッフェル記号が 0 となるような座標系が存在するならば、その曲面は伸縮することなく平面上に展開可能なものだけであり、それ以外の場合には、曲面上のすべての点で \left\{ { {i}\atop{j \; k} } \right\} = 0 となるような座標系は一般に存在しない。ただし、曲面上のある特定の一点  でならば \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 
なる座標変換を行う。このとき、 で偏微分を行うと
:\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 
となり、さらに  で偏微分を行うと
:\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 
となる。したがって、 のとき  であることから、
:\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 
を得る。よって、ある一点  におけるクリストッフェル記号の変数変換式が
:\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
すなわち、クリストッフェル記号はある一点  においては全て０となることが導かれる。

このような座標系を、点  を原点とする**測地座標系**（）と呼ぶ。なお、測地座標の原点においては、テンソルの共変微分と通常の微分が一致する。

### 測地座標系の原点において共変微分は通常の微分と一致する
一階共変テンソルを  とするとき、その共変微分は
:\nabla_j w_i = \frac{\partial w_i}{\partial x^j} - \left\{ { {a}\atop{j \; i} } \right\}  w_a
で定義される。座標系 () を測地座標系 () へ座標変換すると、その原点において \left\{ \overline{ { {i}\atop{h \; l} } } \right\}_0 = 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|

を定義することができる。ここで、 の余因子行列を  とし、 を  で偏微分すると
:\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}
となる = G_{i j}
の関係が成り立つため。}}。さらに余因子行列を行列式で割ったものは逆行列となるが、それは反変版の基本計量テンソルに他ならない。つまり、。よって
:\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-次元ローレンツ多様体によって表現する。（物体の存在によって時空の形状を決定するという）アインシュタインの場の方程式はリッチテンソルを含み、クリストッフェル記号を計算することが本質的である。一旦形状が決定されたならば、粒子と光線の軌跡は（クリストッフェル記号が陽に現れる）測地的方程式を解くことによって計算できる。

## 関連項目
* リーマン幾何学の公式一覧
* 可微分多様体
* アフィン接続

## 脚注

### 注釈

### 出典

## 参考文献
* 
* 
* 
*