クリストッフェル記号

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

クリストッフェル記号には第一種記号  と第二種記号  の二種類がある相対論(1958) p.75が、基本的には第二種記号のことを意味する。なお、現代の物理学や数学の文献においては、第二種クリストッフェル記号を  と表記することもある。

 概要 
リーマン幾何学においては、n 次元多様体と呼ばれる空間上にある曲線

の長さを、積分

で計算できるように、各座標近傍内に

という関数（基本計量テンソルと呼ばれる）が与えられている。この積分の第一変分  を 0 とおくことで得られるオイラー・ラグランジュの微分方程式は、測地線に沿っての孤の長さを媒介変数にとれば、

となる詳しい導出は矢野(1949) p.121 参照。。これを測地線の微分方程式と呼ぶ。なお、ここで

であり、これを（第二種）クリストッフェル記号（Christoffel symbol (of the second kind)）と呼ぶ。

クリストッフェル記号は、計量テンソルから導かれたレヴィ・チヴィタ接続に対する、座標空間での表示式であるクリストッフェル記号は、微分幾何学において実際的な計算を行うのに利用できる。例えば、リーマン曲率テンソルはクリストッフェル記号とその一階偏導函数の言葉で完全に表すことができる。多様体上の線型な座標変換の下ではテンソルのように振舞うが、一般の座標変換の下では異なる挙動を示す。（与えられた座標系や計量テンソルがいくつかのよくある対称性を持つような）実用上の多くの問題において、クリストッフェル記号のほとんどの成分は 0 である。一般相対性理論において、クリストッフェル記号は重力ポテンシャルが「計量テンソル」であるような重力場の役割を果たす。。
 定義 
n次元微分多様体 M 上の各点近傍に定まる座標系を  とする。さらに各座標近傍内に基本計量テンソル一般にテンソルについては添字の上付きと下付き（反変と共変）とを注意して区別しなければならない。

が与えられているものとするこのように次元の微分多様体であって、各座標近傍内に基本計量テンソルが与えられているものをリーマン多様体と呼ぶ。。

なお以下においては、アインシュタインの和の規約を用いる。

 第一種クリストッフェル記号 
第一種クリストッフェル記号は基本計量テンソルから

と定義される。

 第二種クリストッフェル記号 
第二種クリストッフェル記号は同じく基本計量テンソルまたは第一種クリストッフェル記号から

と定義される。

 共変微分によるクリストッフェル記号の導出 
第二種クリストッフェル記号が定義されていない代わりに、接続の記号  とともに共変微分が定義されている場合すなわち、接続の記号の具体的な表現が不明なまま形式的に共変微分が定義されている場合を指す。、接続の記号としてクリストッフェル記号を得ることができるなお、通常リーマン多様体 M 上の共変微分を定義する場合、定義の段階で接続の記号としてクリストッフェル記号を用いるのが一般的である。。

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

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

が一般の接続の記号  から定義される共変微分についてもそのまま成り立つものとされているとすると、

である。この式の添字を循環的に入れ替えることで、以下の3つの式が得られる。

ここで、捩率が 0 である（すなわち ）と仮定し、第一式と第二式の和から第三式を引くと、

となる。この両辺に  を乗じて縮約を行うことにより、

と、接続の記号としてクリストッフェル記号を導出することができる。

 性質 
 第二種クリストッフェル記号は下の添字について対称 
定義から明らかに

が成り立つ。 
 第二種クリストッフェル記号はテンソルではない 
第二種クリストッフェル記号について、座標系  から座標系  への変数変換を行うと

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

 測地座標系のある一点においてクリストッフェル記号は 0 
曲面上のすべての点でクリストッフェル記号が 0 となるような座標系が存在するならば、その曲面は伸縮することなく平面上に展開可能なものだけであり、それ以外の場合には、曲面上のすべての点で  となるような座標系は一般に存在しない矢野(1949) p. 204.。ただし、曲面上のある特定の一点  でならば  となるような座標系をとることができる以後、 における値を示しているものについては右下に 0 をつける。。

ここで、
  ただし、 
なる座標変換を行う。このとき、 で偏微分を行うと

となり、さらに  で偏微分を行うと

となる。したがって、 のとき  であることから、

を得る。よって、ある一点  におけるクリストッフェル記号の変数変換式が

であることから、

すなわち、クリストッフェル記号はある一点  においては全て０となることが導かれる。

このような座標系を、点  を原点とする測地座標系（）と呼ぶ。なお、測地座標の原点においては、テンソルの共変微分と通常の微分が一致する矢野(1949) pp.204-205。

 測地座標系の原点において共変微分は通常の微分と一致する 
一階共変テンソルを  とするとき、その共変微分は

で定義される。座標系 () を測地座標系 () へ座標変換すると、その原点において  となる。

したがって、 の共変微分は  において、

と、共変微分と通常の微分が一致する。

 基本計量テンソルの行列式による表示 
 次元リーマン多様体の基本計量テンソル  は の正方行列であると見なせることからその行列式 

を定義することができる。ここで、 の余因子行列を  とし、 を  で偏微分すると

となる。さらに余因子行列を行列式で割ったものは逆行列となるが、それは反変版の基本計量テンソルに他ならない。つまり、。よって

よって

が得られる。

 一般相対論への応用 
クリストッフェル記号はアインシュタインの一般相対論において頻繁に用いられる。一般相対論は時空を、レヴィ-チヴィタ接続を備えた、湾曲した 4-次元ローレンツ多様体によって表現する。（物体の存在によって時空の形状を決定するという）アインシュタインの場の方程式はリッチテンソルを含み、クリストッフェル記号を計算することが本質的である。一旦形状が決定されたならば、粒子と光線の軌跡は（クリストッフェル記号が陽に現れる）測地的方程式を解くことによって計算できる。

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

 脚注 

 注釈 

 出典 

 参考文献 





Category:リーマン幾何学
Category:数学の表記法
Category:数理物理学
Category:接続 (数学)
Category:数学に関する記事
Category:数学のエポニム