クリストッフェル記号

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

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

クリストッフェル記号には第一種記号 \left[ j k, a \right] と第二種記号 \left\{ { {i}\atop{j k} } \right\} の二種類がある[2]が、基本的には第二種記号のことを意味する。

概要[編集]

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

xh = xh(t), t1 ≦ t ≦ t2

の長さを、積分

I = \int_{t_1}^{t_2} \sqrt{ \sum_{i, j} g_{i j}(x) \frac{dx^i }{dt} \frac{dx^j }{dt}}\,dt

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

g_{i j}(x) = g_{j i}(x)

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

\frac{ d^{2}x^{h} }{ ds^2 } + \sum_{j, i} \left\{ { {h}\atop{j i} } \right\} \frac{ dx^{j} }{ ds } \frac{dx^{i} }{ ds } = 0

となる[3]。これを測地線の微分方程式と呼ぶ。なお、ここで

\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))と呼ぶ。

クリストッフェル記号は、計量テンソルから導かれたレヴィ-チヴィタ接続に対する、座標空間での表示式である[4][5][6][7]

定義[編集]

n次元微分多様体 M 上の各点近傍に定まる座標系を xh (h = 1, 2, ..., n) とする。さらに各座標近傍内に基本計量テンソル[8]

gi j(x) = gj i(x)

が与えられているものとする[9]

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

第一種クリストッフェル記号[編集]

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


 \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]

と定義される。

共変微分によるクリストッフェル記号の導出[編集]

第二種クリストッフェル記号が定義されていない代わりに、接続の記号 Γk
ij
とともに共変微分が定義されている場合[10]、接続の記号としてクリストッフェル記号を得ることができる[11]

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

\nabla_{j} S_{i k} = \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 の共変微分についてリッチの補定理

\nabla_j g_{ik} = 0 , \;\; \nabla_j g^{ik} = 0(リッチの補定理)

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

\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^l} \right) = \left\{ { {l}\atop{k j} } \right\}

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

クリストッフェル記号の性質[編集]

第二種クリストッフェル記号は下の添字について対称[編集]

定義から明らかに

\left\{ { {i}\atop{j k} } \right\}  = \left\{ { {i}\atop{k j} } \right\}

が成り立つ。

第二種クリストッフェル記号はテンソルではない[編集]

第二種クリストッフェル記号について、座標系 xh から座標系 uh(h=1,...,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[編集]

曲面上のすべての点でクリストッフェル記号が0となるような座標系が存在するならば、その曲面は伸縮するすることなく平面上に展開可能なものだけであり、それ以外の場合には、曲面状のすべての点で \left\{ { {i}\atop{j k} } \right\} = 0 となるような座標系は一般に存在しない[13]。ただし、曲面状のある特定の一点 x^i_0 でならば \left\{ { {i}\atop{j k} } \right\}_0 = 0 となるような座標系をとることができる[14]

ここで、

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

となる。したがって、x^i = x^i_0 のとき u^i_0 = 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

を得る。よって、ある一点 x^i_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

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

このような座標系を、点 u^i = 0 を原点とする測地座標系(geodetic coordinate system)と呼ぶ。なお、測地座標の原点においては、テンソルの共変微分と通常の微分が一致する[15]

測地座標系の原点において共変微分は通常の微分と一致する[編集]

一階共変テンソルを 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

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

基本計量テンソルの行列式による表示[編集]

n 次元リーマン多様体の基本計量テンソル gij(x) は n × n の正方行列であると見なせることからその行列式 g

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}

となる[16]。さらに余因子行列を行列式で割ったものは逆行列となるが、それは反変版の基本計量テンソルに他ならない。つまり、G_{i j} = g 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\} = \frac{1}{2 g} \frac{\partial g}{\partial x^k} = \frac{\partial \log \sqrt{g}}{\partial x^k}

が得られる。

一般相対論への応用[編集]

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

関連項目[編集]

脚注[編集]

  1. ^ E.B.Christoffel (1869), “Ueber die Transformation der homogenen Differentialausdrücke zweiten Grades”, Journal für die reine und angewandte Mathematik 70: 46-70 
  2. ^ 相対論(1958) p.75
  3. ^ 詳しい導出は矢野(1949) p.121 参照。
  4. ^ クリストッフェル記号は、微分幾何学において実際的な計算を行うのに利用できる。例えば、リーマン曲率テンソルはクリストッフェル記号とその一階偏導函数の言葉で完全に表すことができる。
  5. ^ 台となる n-次元多様体の各点で、任意の局所座標系に対して、クリストッフェル記号はサイズが n × n × n多次元配列であり、n3 の各成分は実数である。
  6. ^ 多様体上の線型座標変換の下ではテンソルのように振舞うが、一般の座標変換の下では異なる挙動を示す。(与えられた座標系や計量テンソルがいくつかのよくある対称性を持つような)実用上の多くの問題において、クリストッフェル記号のほとんどの成分は 0 である。
  7. ^ 一般相対性理論において、クリストッフェル記号は重力ポテンシャルが「計量テンソル」であるような重力場の役割を果たす。
  8. ^ 一般にテンソルについては添字の上付きと下付き(反変と共変)とを注意して区別しなければならない。
  9. ^ このようにn次元の微分多様体であって、各座標近傍内に基本計量テンソルが与えられているものをリーマン多様体(Riemannian manifold)と呼ぶ。
  10. ^ すなわち、接続の記号の具体的な表現が不明なまま形式的に共変微分が定義されている場合を指す。
  11. ^ なお、通常リーマン多様体 M 上の共変微分を定義する場合、定義の段階で接続の記号としてクリストッフェル記号を用いるのが一般的である。
  12. ^ ここで行列 (gjk) は行列 (gjk) の逆行列、すなわちクロネッカーのデルタ和の規約を用いて g^{j i} g_{i k}= \delta^j {}_k と定義されるものである。
  13. ^ 矢野(1949) p.204
  14. ^ 以後、x^i = x^i_0 における値を示しているものについては右下に0をつける。
  15. ^ 矢野(1949) pp.204-205
  16. ^ 余因子行列と行列式の間に
    \frac{\partial g}{\partial g_{i j}} = G_{i j}
    の関係が成り立つため。現代代数学(1967) p.384

参考文献[編集]

  • リーマン,リッチ,レビ=チビタ,アインシュタイン,マイヤー 『リーマン幾何とその応用』 矢野健太郎(訳)、共立出版、1971年
  • アインシュタイン 『相対論の意味 附:非対称場の相対論』 矢野健太郎、岩波書店、1958年
  • 矢野 健太郎 『微分幾何学』 朝倉書店、1949年
  • ガーレット・バーコフ, ソンダース・マクレーン 『現代代数学概論』 白水社、1967年、改訂第3版。