ニュートン近似

今回の予定

　一般相対論は既存の法則と無関係ではない。 　その中にニュートン力学を含まなくてはならない。 　そのためにどんな形の方程式を目指さなければならないかを考えておく必要がある。

　今回の結論を先に言ってしまえば 「重力場の方程式は計量テンソルの 2 階微分を含む形になっていれば良いだろう」 というたったそれだけのことなのだが、 なぜそんなことが言えるのかを説明して行こう。

ニュートン力学を導いてみる

　これを 4 元速度を使って表してやれば、

であり、4 元速度に を掛けたものは 4 元運動量になるのだったから、

という式になる。 　左辺は運動量を固有時 で微分しているが、 これがもし普通の時間 での微分であったならば、 ニュートン力学で言うところの「力」を表すことになるであろう。 　それで を に変換してやりたいわけだが、ここで少し知恵が要る。

　少し思い出そう。 　特殊相対論の範囲では、固有時と普通の時刻の間には

という関係が成り立っており、もし時刻 の間の移動距離が無視できる程度なら・・・ つまり、これは速度が光速に比べて十分に遅いと言う意味だが・・・、

という関係式を当てはめたらいいのだった。 　しかし一般相対論の場合にはこの式をそのまま使うことができない。 　こんなに単純な状況にはなっていないのである。

　計量テンソルというのは、 無限小線素 を次のように表したときの係数 のことであった。

　特殊相対論の範囲、すなわちミンコフスキー空間ではローレンツ変換によって、

の値が変化しないことから、この関係を表す計量 を特別に という記号で

と表したのである。 　ところが、一般相対論で扱うのは が からずれる場合である。 　 の非対角要素も 0 ではなくなるだろう。 　しかし、もし時刻 の間の移動距離 が無視できる程度であった場合には 辛うじて、

という式を使うことが出来る。 　 と の関係は以前と変わらず、

としておくのが便利であるから、

だということだ。 　これが一般相対論の場合に (1) 式の代わりに使うべき式である。 　特殊相対論では で固定であったために、(1) 式では を わざわざ書かなかったというだけのことだ。

　さて、時空がよっぽどひどい曲がり方をしていない限りは の値は -1 に近いわけで、 正の値になってしまう心配はないであろう。 　それで、

と表現しておいてやればいい。

　ようやく本線に戻るが、 これを使って先ほどの測地線の方程式の書き換えをしてやれば、

という式が得られることになる。 　速度が光速に比べて遅い場合には、 測地線の方程式はニュートンの運動方程式に似た形になるのである。 　つまり、この式の右辺が「力」を表しているということになるのだろう。

　しかし似ているのは左辺だけで、右辺はごちゃごちゃし過ぎである。 　この複雑な式をどう解釈したらいいのだろうか。

ニュートン近似

(a) 重力場は強くない。
(b) 重力場は時間的に変化しない。
(c) 質点の速度は光速に比べて十分遅い。

　これら 3 つの条件を数式で表現してみよう。

　条件 (a) は と との差がごくわずかであることを意味する。 　その差を と書くと、

と表せるだろう。 　もし式変形の途中で の 2 次の項が出てきたら、 小さ過ぎるので無視して捨ててやればいいということだ。

　条件 (b) は の時間微分が 0 だということだ。

　あるいはほとんど 0 と見なせるという意味である。

　条件 (c) は先ほどからも使ってきたものだが、 それに加えて、この条件を根拠として、4 元速度 を

であると見なして使うことにする。 　これはすなわち、4 元運動量が、

であるということである。

　これらを当てはめて計算すると、 先ほどの (2) 式の右辺を次のように次々に変形することが可能になる。

式変形のヒント (3) → (4) 以外は 0 だから。 (4) → (5) だから。 (6) → (7) だから。 (8) → (9) (8) 式のかっこ内の第 2 項は の 2 次になっているから無視。 (10) → (11)    (10) 式のかっこ内の第 2 項は の 2 次になるから無視。

　非常にすっきりとまとまってしまった。 　この最後の形を見て思い出すのは、 ニュートン力学での「力」というのはポテンシャルを で表したときに、

と書けるということである。 　これは今の結果とかなり似ていると言えるだろう。 　どう似ているかというと、ただ、

であると見てやりさえすれば両者は完全に一致するのだ。 　 を使った表現をやめれば、

である。 　つまり、 の値の -1 からのずれが重力場の存在を表していると言えることになる。

重力場の形

　ところでその重力場の形状についてなのだが、 ニュートン力学によれば万有引力というのは

という式で表せるのだった。 　この力を実現するような重力ポテンシャルの形は、

であり、電磁気学に出てきた静電ポテンシャルの形とよく似ている。 　静電気力も重力も、力の働き方が同じなので当然のことだ。 　ただ少しの違いは、質量には負の値がなく、 同じ符号同士に働く力の向きが逆になっていることくらいある。 　このポテンシャルは次のようなポアッソンの方程式の解として与えられる。

　 は質量密度である。 　 が付いている点が電磁気学の場合と少し異なるが、 電磁気学では が付かないように予めクーロン力の定義の式の中で で割っていたのだった。 　この式はニュートン力学における「重力場の方程式」だと言えるだろう。

　ではこのような形の重力場が存在することを一般相対性理論からも導くことが出来るだろうか。 　もし相対論版の「重力場の方程式」を作るのだとしたら、 先ほどの 3 つの条件を課した時に このポアッソンの方程式が自然に導かれるようなものでなくてはならないはずだ。

　ポアッソン方程式の左辺を見ると、ポテンシャル を 2 階微分した形になっている。 　ニュートン近似では の変化と の変化には比例関係が成り立っているのだった。 　よって少なくとも を座標で 2 階微分するような形式になっていなければならないはずである。

　また、ポアッソン方程式の右辺に質量の分布密度 が入っているのに対応して、 相対論版「重力場の方程式」の右辺にも質量分布に相当するような量が入っているべきだと考えられる。

　これらの考察が重力場の方程式を導くための条件、重要なヒントとなるのである。