御覧のページは本家サイトと同一の管理人によって運営されるミラーサイトです。

重力場の方程式の展開

初心者の甘い考えを打ち砕く!

[前の記事へ]  [相対性理論の目次へ]  [次の記事へ]


 重力場の方程式は測地線の方程式よりはるかに複雑だ。  測地線の方程式の場合はすでに定まっている計量に従って計算すれば良かったが、 重力場の方程式は計量の 10 個の成分を定めるための微分方程式である。

 見た目は次のような非常に簡単な一つの式で表されている。

 しかしこの両辺の の肩にある 2 つの添え字には それぞれ 0 〜 3 までの 4 つの数字が入り、その組み合わせは 16 通りある。  ただし も、 添え字を入れ替えても同じ値になっているから、 独立して意味を持つのはその内の 10 通りである。  つまり重力場の方程式というのは 10 個の連立方程式を ひとまとめに略して書いてあるのである。

 右辺の はエネルギー運動量テンソルであって、 特殊相対論の最後に説明した通りであるからここでは説明しない。  以下では左辺のアインシュタイン・テンソル を分解していくとしよう。  意味については気にしない。  とりあえず分解を楽しんでみようという趣旨である。  この定義は次のようになっている。

 右辺第 1 項の は 「リッチ・テンソル」と呼ばれるものであり、 右辺第 2 項の は「リッチ・スカラー」と呼ばれるものである。  リッチ(Ricci)というのはリーマン幾何学を発展させた数学者の名前である。

 リッチ・スカラーは「スカラー曲率」とも呼ばれる。  同様にリッチ・テンソルも「テンソル曲率」あるいは「曲率テンソル」と呼ばれることがあるが、 後で出てくる「リーマン・テンソル」も同じく「曲率を表すテンソル」であるから、 混乱が起こらないように気をつけて使わないといけない。

 リッチ・スカラーはリッチ・テンソルを縮約して作られている。

 この定義を見るとすっきりしたものだが、 アインシュタインの省略記法を使わないで書くと次のようになる。

 ところで計量 は 添え字の入れ替えに対して値が変わらないのだった。  後から説明するつもりだが、 実はリッチ・テンソル にも同じ性質がある。  だから、上のややこしい式の項の数は次のように 10 個にまでまとめられる。

 まぁ、気休め程度に過ぎないが。  ここまでで、アインシュタイン・テンソルは 10 通りのリッチ・テンソルの組み合わせで 出来ていることが分かっただろう。  よってリッチ・テンソルの定義さえ分かればすぐにでも アインシュタイン・テンソルの全貌が明らかになる気がする。  ところがそう甘くはない。  ここまでは小手調べといったところだ。


リッチ・テンソルの定義

 次にリッチ・テンソルの正体を調べよう。  これは「リーマン・テンソル」と呼ばれる4 階の テンソル から次のように作られている。

 これまでに出てきたリッチ・テンソルの添え字は上側についていたが、 この式の左辺では下側についている。  これもリッチ・テンソルと呼んで差し支えない。  添え字を上側に変換するには次のように計量を付けて縮約してやればいいのだった。

 なかなか複雑な事になってきた。  しかしこの先のことを思えばまだ大したことはない。


リーマン・テンソルの定義

 さらに深く潜ろう。  リーマン・テンソルの定義は次の通りである。

 ここで という書き方を使っているが、これは

という意味である。  かっこつけないでダラダラと書けば、

ということである。  ここに出てきたクリストッフェルの記号の定義はすでに前回示したが、 もう一度、今度はちゃんと展開して書いておこう。

 これで分からない定義は何一つなくなった。  解剖はこれで終わりである。  つまり、アインシュタイン・テンソルというのは 膨大な数の計量とその微分のかたまりだということだ。

 それが一体どれくらいの量になるのか、考えてみよう。  「定義が分かる」のと「それを実際に展開したものが正しくイメージできる」のでは 大きな違いがある。


項の数を数える

 まず、クリストッフェル記号には 12 の項が含まれている。  そしてリーマン・テンソルの定義の初めの 2 つの項では、 クリストッフェル記号を微分するわけだが、 クリストッフェル記号に含まれる項は全て、 計量と、計量の微分の積で出来ている。  この時、積の微分の法則が適用されるので、両方をそれぞれ微分してやらないといけない。  一回の微分で 2 つの項が出来る。  それで、12 × 2 + 12 × 2 = 48 項にもなってしまう。

 残りの部分は、クリストッフェル記号どうしの掛け算が 8 項ある。  つまり、8 × 12 × 12 = 1152 項だ。  見積もりは先ほどより簡単だが、さっきより遥かに多い。

 合計 1200 項である。  さらに、リッチ・テンソルは 4 つのリーマン・テンソルから出来ているので、 4 倍すれば 4800 項である。

 しかし実際はこんなに多くはならないだろう。  添え字の組み合わせによっては幾つかの項が打ち消し合って消えるし、 他の項と一緒にしてまとめられる項もあるはずだ。

 理論にはほとんど関係ない単なる興味であるが、 一体、幾つの項にまでまとめられるのか、正確に数えてみたくなってきた。  チャレンジしてみよう。


項を数えるいい方法はないのか

 さて、これまでの結果から考えるに、リッチ・テンソルは、

というたった二通りのタイプの項の組み合わせから出来ていることが分かる。   とは整数であり、 、あるいは の組み合わせによって決まる値である。   には 0 〜 3 までの数字が色々な組み合わせで入るだろうが、 もし、あらゆる組み合わせが入るとしたら幾つの項になるかをまず考えてみよう。  第 1 項の部分では ( ) ( ) ( ) の数字が それぞれ入れ替わっても意味が変わらないのだから、二重に数えることを避けて、 10 × 10 × 10 = 1000 通りあることになる。  また、第 2 項の部分では ( ) ( ) ( ) ( ) が入れ替わっても良く、 さらに前の二つの計量、二つの偏微分が入れ替わってもいい事から、 45100 通りの組み合わせが考えられる。

 しかしこれでは先ほどの見積もりと比べて多過ぎだ。  かなりの組み合わせが実際には使われていないはずである。  上の式の はどういう条件で 0 になるのだろうか?  また、どういう条件で値が決まるのだろうか?  それが分かれば全てを把握した気になれるのではないだろうか。  定義のあちこちに対称性が見られるので、かなり単純なルールが期待できそうなのだが・・・。

 で、手計算でやってみた。  そのノウハウについては面倒なので書かないでおこう。  とにかくなるべく簡単になるように、あらゆる場合分けをした。  感心しないでもらいたい。  エレガントな方法なんかではなく、検算を含めて丸 3 日ほど費やした。  結果は、

ということになった。  重力場方程式の展開を、定義も見ないでスラスラと書き下せる・・・ そんな秘密の裏技を発見できることを夢見てがんばってみたわけだが、結果はこれだ。  美しくも無いし、思ったほどシンプルでもない。  物理的な意味が含まれるわけでもない。  係数 B について同様のチャレンジをする事は断念した。  桁違いの苦労が要りそうだったからだ。


コンピュータを使う

 手計算では駄目だということが理解できた。  それで、ようやくコンピュータを使うことを思いついた。  実はコンピュータなんかに頼りたくはなかったのだ。

 作ったプログラムのソースを公開しておこう。  C 言語で書いてある。  計算の効率よりも分かりやすさを最優先にしてある。  誰でも思いつくような内容なので、自由に再利用してもらって構わない。

 しかし、最近の PC は速いね。  答えは一瞬で出た。  本当にプログラム通り計算してくれたのか、かなり疑ったほどだ。  プログラムの内容の説明はしないで結果だけ書いておこう。  ここをクリックすると、 の展開が見られるようにしておいた。

 i = j の場合、 の展開は全部で 399 項
(2 階微分の形の 21 項と 1 階微分の形の 378 項)

 i ≠ j の場合、 の展開は全部で 514 項
(2 階微分の形の 33 項と 1 階微分の形の 481 項)


式の簡単化

 ところでなぜ私がアインシュタイン・テンソル の展開をしないで、 リッチ・テンソルの展開だけで満足していられるか、という点を疑問に思わないだろうか?  面倒くさいことになるからというのも確かにあるが、 実は、実際に計算するときにはちょっと変形した別の形を使うのが常識なのである。  上に書いた重力場の方程式をそのまま使うことはあまりない。

 まず、これが元の式であった。

 この両辺に を掛けて縮約すると、

となって、2 階共変テンソルの形に持ってこれる。  こうしておけば、先ほど展開した、添え字が下側についたリッチ・テンソルが そのまま使えることになる。

 さらに、ここに を掛けて縮約してみよう。

 ここで という量が新しく登場したが、 これはエネルギー運動量テンソルを縮約して作られるスカラー量である。  こんなに簡単な式になってしまってすごいと思うかも知れないが、 もちろん、これだけでは重力場方程式の代わりとしては役に立たない。  この式を元の重力場の方程式に代入してやる。

 ああ!?   式からリッチ・スカラー が消えた!  リッチ・スカラーというのはあの複雑なリッチ・テンソルをさらに 組み合わせて作られる量だったのだから、 この変形による計算の負担の軽減効果はかなりのものである。  代わりに の値を計算してやる必要がでてきたが、全く問題にならない程の手間だ。  既知の量の組み合わせなので初めに一回計算しておくだけで済む。


シミュレーション

 私はこの方程式を解く計算をパソコンでやらせてみようと考えたことがある。  パソコンには少々荷が重い作業かも知れないが、 チップの処理速度は年々進歩しているのだからソフトを開発している内に何とかなるだろう。  それでビジュアル的な宇宙旅行ゲームなどを作って一儲けしてやろう・・・。  双子のパラドックスなんかが再現できたら面白いだろうな・・・と。  (買う奴少ないだろうな。)

 それでそのための調べものをしている内に、 私より数年先行して同じ事にチャレンジしているサイトを発見した。  彼のような人でも一時お手上げ状態になっていて作業が中断しているとは・・・。  それを見て少し挫けた。  それから私も忙しくなって、もう 5 年近く経つ。  本当はやりたい。

 暇とスポンサーと野心のある若者はチャレンジしてみてはどうだろうか。


[前の記事へ]  [相対性理論の目次へ]  [次の記事へ]