測地線の方程式の展開
機械いじりのように分解を楽しんでみよう。
測地線の方程式というのは、ほとんどリーマン幾何学の結論をそのまま持ってきたものであって、一般相対論に特有な思想というのはあまり入っていない。 詳しい意味の説明は第3部のリーマン幾何学の説明の中で行うことにする。
簡単そうに見えるこの方程式がどれくらい複雑なものかというのを実感してもらうことだけがここでの目的である。 意味はあまり考えない。
今から分解するのは次の式である。
添え字には0~3までの4つの数字が入る。 0が時間軸を表しており、1~3が空間の3つの座標を表している。 一つの項の中に同じ添え字が二つ以上あるときには和を取るというアインシュタインの規則があるから、これは実は次のような式だということだ。
添え字 λ については和を取らなかったが、ここにも4通りの数字が入る。 つまりこの式は上のような式が4つ並んだものを一つにまとめて表したものだということになる。 展開したものを4つ並べると大変なので、元に戻して書き並べてみよう。
ここまででも十分に面倒な印象があるが、クリストッフェル記号 Γ の中身を真面目に書いていないからこれだけで済んでいるのである。 この記号の定義は次のようになっている。
ここで g は計量と呼ばれる空間の歪み具合を表す4行4列の対称行列である。 説明は特殊相対論のところですでにした。 特殊相対論ではミンコフスキー計量と呼ばれる簡単な対角行列しか使わなかったが、一般相対論では全ての要素が埋まることになる。 とは言っても対称行列であるので独立な成分は4×4 = 16個ではなく10個だけである。
この中で同じ項の中で2度以上使われている添え字は ρ だけだから、展開してもそれほど大したことはない。 想像が付く範囲だろうから展開したものを示すのはやめておこう。
とにかくここでは、方程式が計量を基本にして作られていることさえ分かってもらえればいいと思う。
資料提供先→ http://homepage2.nifty.com/eman/relativity/ext_geo.html