資料紹介
重力場の方程式の展開
初心者の甘い考えを打ち砕く！
重力場の方程式は測地線の方程式よりはるかに複雑だ。 測地線の方程式の場合はすでに定まっている計量に従って計算すれば良かったが、重力場の方程式は計量の１０個の成分を定めるための微分方程式である。
見た目は次のような非常に簡単な一つの式で表されている。
しかしこの両辺の G と T の肩にある２つの添え字にはそれぞれ０～３までの４つの数字が入り、その組み合わせは１６通りある。 ただし Tμν も Gμν も、添え字を入れ替えても同じ値になっているから、独立して意味を持つのはその内の１０通りである。 つまり重力場の方程式というのは１０個の連立方程式をひとまとめに略して書いてあるのである。
右辺の Tμν はエネルギー運動量テンソルであって、特殊相対論の最後に説明した通りであるからここでは説明しない。 以下では左辺のアインシュタイン・テンソル Gμν を分解していくとしよう。 意味については気にしない。 とりあえず分解を楽しんでみようという趣旨である。 この定義は次のようになっている。
右辺第１項の Rμν は「リッチ・テンソル」と呼ばれるものであり、右辺第２項の R は「リッチ・スカラー」と呼ばれるものである。 リッチ（Ricci）というのはリーマン幾何学を発展させた数学者の名前である。
リッチ・スカラーは「スカラー曲率」とも呼ばれる。 同様にリッチ・テンソルも「テンソル曲率」あるいは「曲率テンソル」と呼ばれることがあるが、後で出てくる「リーマン・テンソル」も同じく「曲率を表すテンソル」であるから、混乱が起こらないように気をつけて使わないといけない。
リッチ・スカラーはリッチ・テンソルを縮約して作られている。
この定義を見るとすっきりしたものだが、アインシュタインの省略記法を使わないで書くと次のようになる。
ところで計量 gμν は添え字の入れ替えに対して値が変わらないのだった。 後から説明するつもりだが、実はリッチ・テンソル Rμν にも同じ性質がある。 だから、上のややこしい式の項の数は次のように１０個にまでまとめられる。
まぁ、気休め程度に過ぎないが。 ここまでで、アインシュタイン・テンソルは１０通りのリッチ・テンソルの組み合わせで出来ていることが分かっただろう。 よってリッチ・テンソルの定義さえ分かればすぐにでもアインシュタイン・テンソルの全貌が明らかになる気がする。 ところがそう甘くはない。 ここまでは小手調べといったところだ。
リッチ・テンソルの定義
次にリッチ・テンソルの正体を調べよう。 これは「リーマン・テンソル」と呼ばれる４階のテンソル Rκλ,μν から次のように作られている。
これまでに出てきたリッチ・テンソルの添え字は上側についていたが、この式の左辺では下側についている。 これもリッチ・テンソルと呼んで差し支えない。 添え字を上側に変換するには次のように計量を付けて縮約してやればいいのだった。
なかなか複雑な事になってきた。 しかしこの先のことを思えばまだ大したことはない。
リーマン・テンソルの定義
さらに深く潜ろう。 リーマン・テンソルの定義は次の通りである。
ここで という書き方を使っているが、これは
という意味である。 かっこつけないでダラダラと書けば、
ということである。 ここに出てきたクリストッフェルの記号の定義はすでに前回示したが、もう一度、今度はちゃんと展開して書いておこう。
これで分からない定義は何一
タグ
All rights reserved.
資料の原本内容
重力場の方程式の展開
初心者の甘い考えを打ち砕く！
重力場の方程式は測地線の方程式よりはるかに複雑だ。 測地線の方程式の場合はすでに定まっている計量に従って計算すれば良かったが、重力場の方程式は計量の１０個の成分を定めるための微分方程式である。
見た目は次のような非常に簡単な一つの式で表されている。
しかしこの両辺の G と T の肩にある２つの添え字にはそれぞれ０～３までの４つの数字が入り、その組み合わせは１６通りある。 ただし Tμν も Gμν も、添え字を入れ替えても同じ値になっているから、独立して意味を持つのはその内の１０通りである。 つまり重力場の方程式というのは１０個の連立方程式をひとまとめに略して書いてあるのである。
右辺の Tμν はエネルギー運動量テンソルであって、特殊相対論の最後に説明した通りであるからここでは説明しない。 以下では左辺のアインシュタイン・テンソル Gμν を分解していくとしよう。 意味については気にしない。 とりあえず分解を楽しんでみようという趣旨である。 この定義は次のようになっている。
右辺第１項の Rμν は「リッチ・テンソル」と呼ばれるものであり、右辺第２項の R は「リッチ・スカラー」と呼ばれるものである。 リッチ（Ricci）というのはリーマン幾何学を発展させた数学者の名前である。
リッチ・スカラーは「スカラー曲率」とも呼ばれる。 同様にリッチ・テンソルも「テンソル曲率」あるいは「曲率テンソル」と呼ばれることがあるが、後で出てくる「リーマン・テンソル」も同じく「曲率を表すテンソル」であるから、混乱が起こらないように気をつけて使わないといけない。
リッチ・スカラーはリッチ・テンソルを縮約して作られている。
この定義を見るとすっきりしたものだが、アインシュタインの省略記法を使わないで書くと次のようになる。
ところで計量 gμν は添え字の入れ替えに対して値が変わらないのだった。 後から説明するつもりだが、実はリッチ・テンソル Rμν にも同じ性質がある。 だから、上のややこしい式の項の数は次のように１０個にまでまとめられる。
まぁ、気休め程度に過ぎないが。 ここまでで、アインシュタイン・テンソルは１０通りのリッチ・テンソルの組み合わせで出来ていることが分かっただろう。 よってリッチ・テンソルの定義さえ分かればすぐにでもアインシュタイン・テンソルの全貌が明らかになる気がする。 ところがそう甘くはない。 ここまでは小手調べといったところだ。
リッチ・テンソルの定義
次にリッチ・テンソルの正体を調べよう。 これは「リーマン・テンソル」と呼ばれる４階のテンソル Rκλ,μν から次のように作られている。
これまでに出てきたリッチ・テンソルの添え字は上側についていたが、この式の左辺では下側についている。 これもリッチ・テンソルと呼んで差し支えない。 添え字を上側に変換するには次のように計量を付けて縮約してやればいいのだった。
なかなか複雑な事になってきた。 しかしこの先のことを思えばまだ大したことはない。
リーマン・テンソルの定義
さらに深く潜ろう。 リーマン・テンソルの定義は次の通りである。
ここで という書き方を使っているが、これは
という意味である。 かっこつけないでダラダラと書けば、
ということである。 ここに出てきたクリストッフェルの記号の定義はすでに前回示したが、もう一度、今度はちゃんと展開して書いておこう。
これで分からない定義は何一つなくなった。 解剖はこれで終わりである。 つまり、アインシュタイン・テンソルというのは膨大な数の計量とその微分のかたまりだということだ。
それが一体どれくらいの量になるのか、考えてみよう。 「定義が分かる」のと「それを実際に展開したものが正しくイメージできる」のでは大きな違いがある。
項の数を数える
まず、クリストッフェル記号には１２の項が含まれている。 そしてリーマン・テンソルの定義の初めの２つの項では、クリストッフェル記号を微分するわけだが、クリストッフェル記号に含まれる項は全て、計量と、計量の微分の積で出来ている。 この時、積の微分の法則が適用されるので、両方をそれぞれ微分してやらないといけない。 一回の微分で二つの項が出来る。 それで、１２×２＋１２×２ = ４８項にもなってしまう。
残りの部分は、クリストッフェル記号どうしの掛け算が８項ある。 つまり、８×１２×１２ = １１５２項だ。 見積もりは先ほどより簡単だが、さっきより遥かに多い。
合計１２００項である。 さらに、リッチ・テンソルは４つのリーマン・テンソルから出来ているので、４倍すれば４８００項である。
しかし実際はこんなに多くはならないだろう。 添え字の組み合わせによっては幾つかの項が打ち消しあって消えるし、他の項と一緒にしてまとめられる項もあるはずだ。
理論にはほとんど関係ない単なる興味であるが、一体、幾つの項にまでまとめられるのか、正確に数えてみたくなってきた。 チャレンジしてみよう。
項を数えるいい方法はないのか
さて、これまでの結果から考えるに、リッチ・テンソルは、
というたった二通りのタイプの項の組み合わせから出来ていることが分かる。 A と B とは整数であり、μ や ν、あるいは a ～ j の組み合わせによって決まる値である。 a ～ j には０～３までの数字が色々な組み合わせで入るだろうが、もし、あらゆる組み合わせが入るとしたら幾つの項になるかをまず考えてみよう。 第１項の部分では (a, b) (c, d) (e, f) の数字がそれぞれ入れ替わっても意味が変わらないのだから２重に数えることを避けて、１０×１０×１０ = １０００通りあることになる。 また、第２項の部分では (a, b) (c, d) (e, f) (i, j) が入れ替わっても良く、さらに前の二つの計量、二つの偏微分が入れ替わってもいい事から、４５１００通りの組み合わせが考えられる。
しかしこれでは先ほどの見積もりと比べて多過ぎだ。 かなりの組み合わせが実際には使われていないはずである。 上の式の A と B はどういう条件で ０ になるのだろうか？ また、どういう条件で値が決まるのだろうか？ それが分かれば全てを把握した気になれるのではないだろうか。 定義のあちこちに対称性が見られるので、かなり単純なルールが期待できそうなのだが・・・。
で、手計算でやってみた。 そのノウハウについては面倒なので書かないでおこう。 とにかくなるべく簡単になるように、あらゆる場合分けをした。 感心しないでもらいたい。 エレガントな方法なんかではなく、検算を含めて丸３日ほど費やした。 結果は、
ということになった。 重力場方程式の展開を、定義も見ないでスラスラと書き下せる・・・そんな秘密の裏技を発見できることを夢見てがんばってみたわけだが、結果はこれだ。 美しくも無いし、思ったほどシンプルでもない。 物理的な意味が含まれるわけでもない。 係数 B について同様のチャレンジをする事は断念した。 桁違いの苦労が要りそうだったからだ。
コンピュータを使う
手計算では駄目だということが理解できた。 それで、ようやくコンピュータを使うことを思いついた。 実はコンピュータなんかに頼りたくはなかったのだ。
作ったプログラムの ソースを公開 しておこう。 Ｃ言語で書いてある。 計算の効率よりも分かりやすさを最優先にしてある。 誰でも思いつくような内容なので、自由に再利用してもらって構わない。
しかし、最近のＰＣは速いね。 答えは一瞬で出た。 本当にプログラム通り計算してくれたのか、かなり疑ったほどだ。 プログラムの内容の説明はしないで結果だけ書いておこう。 ここをクリックすると、R00 の展開が見られる ようにしておいた。
i=j の場合、Rij の展開は全部で３９９項。 （２階微分の形の２１項と１階微分の形の３７８項）
i≠j の場合、Rij の展開は全部で５１４項。 （２階微分の形の３３項と１階微分の形の４８１項）
式の簡単化
ところでなぜ私がアインシュタイン・テンソル Gμν の展開をしないで、リッチ・テンソルの展開だけで満足していられるか、という点を疑問に思わないだろうか？ 面倒くさいことになるからというのも確かにあるが、実は、実際に計算するときにはちょっと変形した別の形を使うのが常識なのである。 上に書いた重力場の方程式をそのまま使うことはあまりない。
これが元の式であった。 この両辺に gμσgντ を掛けて縮約すると、
となって、２階共変テンソルの形に持ってこれる。 こうしておけば、先ほど展開した、添え字が下側についたリッチ・テンソルがそのまま使えることになる。
さらに、ここに gστ を掛けて縮約してみよう。
ここで T という量が新しく登場したが、これはエネルギー運動量テンソルを縮約して作られるスカラー量である。 こんなに簡単な式になってしまってすごいと思うかも知れないが、もちろん、これだけでは重力場方程式の代わりとしては役に立たない。 この式を元の重力場の方程式に代入してやる。
ああ、式からリッチ・スカラー R が消えた！ リッチ・スカラーというのはあの複雑なリッチ・テンソルをさらに組み合わせて作られる量だったのだから、この変形による計算の負担の軽減効果はかなりのものである。 代わりに ...
