計量が重力場を決める

等価原理から重力場の理論を探る

重力場の時間発展を計算したい。天体が移動すると、それに付随して周辺の重力場も変化する。その際、電磁場がそうであったように、離れた場所では、天体の運動による変化が遅れて伝わるはずである。従って、重力場がどのように時間発展し伝播するかを記述する方程式が存在するはずである（電磁場におけるマクスウェル方程式のようなもの）。これを知りたい。（前章では暗黙的に、重力場の変化が天体の運動に連動して瞬間的に伝わると仮定していた。）

電磁力学編では、時間変化する電磁場の法則を求めるために、静電磁場の方程式をローレンツ変換することを考えた。ということは、重力の場合も、前章で述べたニュートンの重力法則をローレンツ変換すれば、重力場の時間発展を記述する法則が得られるだろうか。確かに、ニュートンの重力法則は逆2乗則の形をしており、これは静電場のクーロンの法則と同じ形である。

しかし、重力に特有の問題がある。相対論によると、物体の速度が大きいほど、その物体は加速度を受けにくくなるのであった。これは、重力の特徴であるガリレイの等価原理（＝重力加速度は全ての物体で等しい）に反することになる。どちらが正しいのだろうか。これは実験的に確かめるべきことではあるが、ここでは、ガリレイの等価原理が、相対論的にも成り立つことを認めることにする。

この章では、ガリレイの等価原理から出発して、それを拡張することで、議論を進めることにする：

局所慣性系一般座標変換重力場中の運動方程式運動方程式とマクスウェル方程式の一般座標変換クリストッフェル記号は、計量テンソルから決まる

2.1局所慣性系→座標変換→重力場中の運動方程式

自転せずに自由落下する系は慣性系である。

アインシュタインの等価原理：自転せずに自由落下する系は慣性系

力学編第1章で述べたガリレイの等価原理によると、重力加速度は、全ての物体で等しいのであった。しかし、電磁力学編での議論の後で考え直してみると、ガリレイの等価原理が成り立たないのではないかと考えられる点が、2つある：

• 相対論によると、運動している物体は、加速度しづらくなる。従って例えば、回転している物体は、そうでない場合に比べてゆっくり落ちるのではないか。特に、光速に近い速度を持つ物体がガリレイの等価原理に従って落下すると、光速を超えてしまうので、相対論的力学と矛盾する。

• 電荷をもっている物体は、自己力（電磁波の放射の反作用など）のため、加速しづらくなる。従って、帯電している物体は、そうでない場合に比べてゆっくり落ちるのではないか。

たとえ落ち方が異なっていても、その違いはほんのわずかであり測定は難しい、しかし、理論的には、どちらが正しいか白黒つけなければならない。ここでは、ガリレイの等価原理が、上記の場合にも成り立つことを認めることにする（もちろん実験で示すべきことである）。

そうすると、回転している物体にはより大きな重力が働くことになる。質量はエネルギーと相互に変換しうるものなので、重力が運動エネルギー（や運動量）に依存することは、相対論的には自然ではある。

一方、帯電した物体の場合はどうか。自己力は、物体の質量には依存しない。電磁場もエネルギーや運動量を持つのだから、電磁場も重力の影響を受ける（逆に、重力の源にもなる）と考えるのが自然である。そうすると、ガリレイの等価原理により帯電した物体の重力加速度が変わらないことを認めれば、その原因は、電磁場が物体とともに「落下」するためとみなせるのではないか。そうすれば、そもそも自己力が発生しないということになる。これも認めることにしよう。

以上により、全ての物体および電磁場は、重力による引き寄せられ方に差がないということになる。ということは、自由落下している観測者からは、重力が認識できない、即ち、慣性系とみなせると考えられる。これを、アインシュタインの等価原理という。例えば、宇宙ステーションにいると（地球の重力下にあるにもかかわらず）無重力のように感じられるのは、このためである。宇宙ステーションは自由落下しているのである。

一般の観測者については、局所慣性系から座標変換すればよい

アインシュタインの等価原理により、自由落下している観測者 は慣性系となるので、 から見た物体や電磁場の時間変化は、電磁力学編で述べたものに一致する。よって、自由落下していない一般の観測者 から見た場合の運動方程式は、それらを座標変換することによって得られるはずである。（これは、電磁力学編の第7章で、相対論的運動方程式を導出するために、瞬間静止系からのローレンツ変換を考えたのと似ている。）

ただし、重力場が空間的に変化している場合（つまりほとんどの場合）、 はあくまで観測者の周辺でしか成り立たない。例えば、北極と南極では重力加速度の方向が違うのだから、同じ系で扱うことはできない。従って、慣性系になるといっても、局所的なものであり、1次近似の範囲で成り立つということである。十分小さな領域の中でだけ慣性系とみなせる。これを局所慣性系という。

局所慣性系でない一般の座標系を、一般座標系という。例えば、地上であれば、自由落下する座標系 よりも、地上に静止した座標系 を取るほうが自然だろう。自由落下系 は、慣性系と同じ法則が成り立つが、静止系 系では成り立たない。しかし、2つの座標系は座標の取り方が異なるだけなので、座標変換で結びついている。よって、 系での運動方程式は、 でのものを座標変換したものになる。

2.2運動方程式とマクスウェル方程式の座標変換

この節では、実際に座標変換を行って、相対論的運動方程式の変換則()とマクスウェル方程式の変換則()を求める。あらゆる一般座標系を考えると、その中には、物理的でない座標系も存在するが、とりあえず限定せずに議論を行う。

記法は電磁力学編の第11章のものを使う。局所慣性系 での座標を 、一般座標系 での座標を と表す： 一般座標変換のヤコビ行列を で表す： 計量テンソルの変換則は であり、局所慣性系では となる。また、縮約の約束事として、同じ座標同士に限るとする。例えば、 や の場合は縮約するが、 の場合は縮約しない。

一般座標系での相対論的運動方程式：式()

電磁場中での相対論的運動方程式は以下である（電磁力学編の第7章）： これを書きなおすと、局所慣性系 の量なので「 」を付けて となる。

この運動方程式を満たす運動を、一般座標系 から観測するとどうなるか。 これが一般座標系での運動方程式である。赤字部分： をクリストッフェル記号という。

重力場中での運動方程式は、式()となる。重力場の影響は、クリストッフェル記号 と、四元運動量に含まれる計量テンソル に含まれることになる。ただし、これらには、重力だけでなく座標の取り方の影響も含まれている。例えば、回転している座標系では、重力がない場合でも であり、 を含む項は遠心力やコリオリ力を表す。

一般座標系でのマクスウェル方程式：式()、式()

マクスウェル方程式 をを書き換えておく。電磁テンソル を用いると、局所慣性系 の量なので「 」を付けて、マクスウェル方程式は以下のようになる：

これの一般座標変換を求める。 の座標変換は ただし、 は であり、 の共変微分という。 の変換則は、電磁力学編の第5章で述べた様に である。よって、式()の変換則は、以下のようになる：

一方、式()の左辺は よって結局、式()は、以下のようになる：

一般座標系 でのマクスウェル方程式を確定させるためには、相対論的運動方程式の場合と同様、クリストッフェル記号と計量テンソルが分かればよいことになる。

2.3クリストッフェル記号 は、計量テンソル から決まる

この節では、 が、 からによって決まることを見る（式()）。また、 の測定方法についても述べる。

は から決まる：式()

クリストッフェル記号 と計量テンソル は、局所慣性系 からの一般座標変換によって以下のように定義されたのであった： 上述のように、クリストッフェル記号 と計量テンソル を実験的に求めれば、重力場が決まる。両方の量を決めなければ重力場が決まらないのだろうか。

実は、 が分かれば、その値を用いて も一意的に決まるのである。実際、以下の【2.3-注1】のようになる。よって、重力場の情報は計量テンソル にすべて含まれることになる。

従って、重力場の時間発展などを記述する方程式があるとすれば、それは、 に対する方程式となるはずである。そのような重力場の方程式の導出は、次章以降の主題となる。

座標の取り方と計量の測定

これまで本当に一般的な座標を考えてきたが、実際には物理的に自然な座標系を取ることになる。座標系を決めるには、仮想的に、空間中を無数の時計で埋め尽くせばよい。各々の時計には適当な空間座標の値 が割り振られている。 の値は連続的に変化するようにする。

使用する時計は全て「同じ」ものであるとする。ただし、「同じ」というのは、同期しているという意味ではなく、同じように作られているという意味である。別の言い方をすれば、「同じところに置いて静止させると、同じように時間が進む」ということである。（ただし、時計の進み方を場所によって調節するほうが扱う安くなる場合もある。例えば、後の章で扱うが、計量が時間に依存しないようにするといった場合である。）

この座標系を使って物体の運動を測るには次のようにする。ある時計を物体が通過したら、その時計は、自身の を報告する。こうして報告されたデータを集めて解析すれば、物体がどのように運動したかが分かることになる。そうすれば、四元速度と四元加速度が求まる。

次は計量テンソルの測定である。上記の座標の取り方を採用すれば、 となる。後は、 を知りたい点で、光を放てばよい。 後の光円錐の断面を とおくと、 上の任意の点 において を満たすので、 の測定から の残りの成分が全て決まる。式()は楕円体の方程式なので、 は楕円体であり、 は の形状を表し、 は の位置のずれを表すことになる。