クリストッフェル記号

リーマン幾何学において、クリストッフェル記号（クリストッフェルきごう、）またはクリストッフェルの三添字記号（クリストッフェルのさんそえじきごう、）とは、測地線の微分方程式を表すにあたってブルーノ・クリストッフェル (1829–1900) によって導入された記号を言う。
クリストッフェル記号には第一種記号 formula_1 と第二種記号 formula_2 の二種類があるが、基本的には第二種記号のことを意味する。
概要.
リーマン幾何学においては、n 次元多様体と呼ばれる空間上にある曲線
の長さを、積分
で計算できるように、各座標近傍内に
という関数（基本計量テンソルと呼ばれる）が与えられている。この積分の第一変分 を 0 とおくことで得られるオイラー・ラグランジュの微分方程式は、測地線に沿っての孤の長さを媒介変数にとれば、
となる。これを測地線の微分方程式と呼ぶ。なお、ここで
であり、これを（第二種）クリストッフェル記号（Christoffel symbol (of the second kind)）と呼ぶ。
クリストッフェル記号は、計量テンソルから導かれたレヴィ・チヴィタ接続に対する、座標空間での表示式である。
定義.
n次元微分多様体 M 上の各点近傍に定まる座標系を とする。さらに各座標近傍内に基本計量テンソル
が与えられているものとする。
なお以下においては、アインシュタインの和の規約を用いる。
第一種クリストッフェル記号.
第一種クリストッフェル記号は基本計量テンソルから
と定義される。
第二種クリストッフェル記号.
第二種クリストッフェル記号は同じく基本計量テンソルまたは第一種クリストッフェル記号から
と定義される。
共変微分によるクリストッフェル記号の導出.
第二種クリストッフェル記号が定義されていない代わりに、接続の記号 とともに共変微分が定義されている場合、接続の記号としてクリストッフェル記号を得ることができる。
二階共変テンソル の共変微分は定義より、
である。また、二階共変テンソルであるリーマン多様体 の基本計量テンソル の共変微分についてリッチの補定理
が一般の接続の記号 から定義される共変微分についてもそのまま成り立つものとされているとすると、
であり、添字を並べ替え、補うことにより、上式を計量テンソルの関数として接続の記号について陽に解いて
と、接続の記号としてクリストッフェル記号を導出することができる。
性質.
第二種クリストッフェル記号は下の添字について対称.
定義から明らかに
が成り立つ。 
第二種クリストッフェル記号はテンソルではない.
第二種クリストッフェル記号について、座標系 から座標系 への変数変換を行うと
となる。この式から第二種クリストッフェル記号はテンソルの成分ではないことが判る。
測地座標系のある一点においてクリストッフェル記号は 0.
曲面上のすべての点でクリストッフェル記号が 0 となるような座標系が存在するならば、その曲面は伸縮することなく平面上に展開可能なものだけであり、それ以外の場合には、曲面上のすべての点で formula_13 となるような座標系は一般に存在しない。ただし、曲面上のある特定の一点 でならば formula_14 となるような座標系をとることができる。
ここで、
なる座標変換を行う。このとき、 で偏微分を行うと
となり、さらに で偏微分を行うと
となる。したがって、 のとき であることから、
を得る。よって、ある一点 におけるクリストッフェル記号の変数変換式が
であることから、
すなわち、クリストッフェル記号はある一点 においては全て０となることが導かれる。
このような座標系を、点 を原点とする測地座標系（）と呼ぶ。なお、測地座標の原点においては、テンソルの共変微分と通常の微分が一致する。
測地座標系の原点において共変微分は通常の微分と一致する.
一階共変テンソルを とするとき、その共変微分は
で定義される。座標系 () を測地座標系 () へ座標変換すると、その原点において formula_23 となる。
したがって、 の共変微分は において、
と、共変微分と通常の微分が一致する。
基本計量テンソルの行列式による表示.
 次元リーマン多様体の基本計量テンソル は の正方行列であると見なせることからその行列式 
を定義することができる。ここで、 の余因子行列を とし、 を で偏微分すると
となる = G_{i j}</math>
の関係が成り立つため。}}。さらに余因子行列を行列式で割ったものは逆行列となるが、それは反変版の基本計量テンソルに他ならない。つまり、。よって
よって
が得られる。
一般相対論への応用.
クリストッフェル記号はアインシュタインの一般相対論において頻繁に用いられる。一般相対論は時空を、レヴィ-チヴィタ接続を備えた、湾曲した 4-次元ローレンツ多様体によって表現する。（物体の存在によって時空の形状を決定するという）アインシュタインの場の方程式はリッチテンソルを含み、クリストッフェル記号を計算することが本質的である。一旦形状が決定されたならば、粒子と光線の軌跡は（クリストッフェル記号が陽に現れる）測地的方程式を解くことによって計算できる。