地球を周回する人工衛星の時間は、地上の時間からずれる。(図1)
そのずれを計算する方法は主に2つある。1つ目の方法は、人工衛星が動いているために生じる時間の遅れと、人工衛星が高いところに位置しているために生じる時間の進みを、別々に算出して足す方法である。2つ目の方法は、重力場の方程式の解を使ってまとめて一気に計算する方法である。
ここでは円軌道の人工衛星に対して両方のやり方で計算し、両者が同じ結果になることを示す。
地球を周回する人工衛星と、地上とでは、相対性理論で説明される時間のずれが生じる。ここでは以下のようなモデルを使って時間のずれを計算する
計算方法は次のように2つのものが考えられる。
第一の方法はこうだ。まずニュートン力学に基づいて人工衛星の軌道(高度と速度)を算出する。次に、その速度の情報を使って特殊相対性理論に基づいて人工衛星の時間の遅れ(特殊相対論的効果)を計算する。また、人工衛星の高度の情報を使って等価原理に基づいて人工衛星の時間の進み(一般相対論的効果)を計算する。これらの2つの効果による時間の遅れと進みを足し合わせれば人工衛星の時間のずれが計算できるというわけである。
第二の方法は、一般相対性理論の重力場の方程式の球対称解であるシュバルツシルト解を使って、人工衛星の固有時と地上の固有時をそれぞれ計算し、両者を比較する方法である。
世間では第一の方法のみを説明している解説が目立つ。時間がずれる原因を単純化して説明するには確かに第一の方法がやりやすい。しかし第一の方法は段階ごとにニュートン力学と特殊相対性理論と一般相対性理論を使っており、さらに3次元空間の曲がりを無視(時間軸の曲がりのみを考慮)しており、論理がわかりにくい。本当にこんな計算方法でよいのか心配になる人もいるであろう。
第二の方法は計算が少々長いがあいまいなところがなく論理が一貫していてわかりやすい。ただし一般相対性理論を知らない人にとっては何をしているのかさっぱりわからないと思う。
ここでは両方の方法で計算して、それらが一致することを示す。
ニュートン力学に基づいて人工衛星の高度と速度との関係を求める。仮定により人工衛星の軌道は円軌道であるから、その運動方程式は である。ただし 𝐺 は万有引力定数、 𝑀 は地球の質量、 𝑚 は人工衛星の質量、 𝑟 は人工衛星の軌道半径、 𝑣 は人工衛星の速さである。これを変形すれば、 のようになる。𝑟 は地球中心からの距離であるから、地面からの高度よりも地球半径の分だけ大きい。
今は地球の重力があるので厳密には特殊相対性理論は成り立たないが、重力が小さいので近似的に成り立つものとする。
特殊相対性理論によれば運動する物体の時間は遅れるのであった。運動する物体の時間は静止する物体の時間の 倍になるというものである。ただし 𝑣 は物体の速さ、 𝑐 は光速である。これに(1)式を代入するのであるが、 の大きさを考えてみると仮に地面すれすれを飛ぶ人工衛星であっても約4万分の1であり1に比べてとても小さい。もっと高いところを飛ぶ人工衛星ではもっと小さい。よって、 の最低次(2次)まで計算し高次の項を無視して(1)式を代入すると である。つまり人工衛星の速度に起因する時間の進み方のずれは経過時間の 倍である。
等価原理によれば重力ポテンシャルが低い場所ほど時間は遅れるのであった。重力があまり強くないとき、重力場中の時間は基準となる場所の時間の 倍になるというものである。つまり時間の進み方のずれは経過時間の 倍である。ただし Φ(0) は基準となる場所の重力ポテンシャル、 Φ(1) は問題の場所の重力ポテンシャルである。ここで言っている「重力ポテンシャル」はニュートン力学で計算したものを使えばよい。
地球半径を 𝑅 として、 Φ(0) と Φ(1) をそれぞれ地上と軌道上の重力ポテンシャルとすれば、 である。したがって重力ポテンシャルの差に起因する時間の進み方のずれは経過時間の 倍である。 𝑅 < 𝑟 だからこれは正である。
2.2節の特殊相対論的効果による時間のずれは経過時間の 倍であり、2.3節の一般相対論的効果による時間のずれは経過時間の 倍であるから、両者を足せば人工衛星の時間のずれが算出できる。つまり、地上の経過時間を 𝛥𝜏(地) 、人工衛星の経過時間を 𝛥𝜏(衛) とすれば、 である。これが正なら人工衛星の時間が地上より早く進み、負なら人工衛星の時間が地上より遅く進む。具体的な値がどうなるかは第5章で考える。
以上が第一の方法による計算である。
最初に座標を定義する。ここで用いる座標系は一般的なシュバルツシルト座標である。座標変数は以下とする。
ここで人工衛星の軌道が (定数)となるようにする。地球の緯度や経度とは関係なく、人工衛星の軌道を基準にして座標系を張るという意味である。球対称であるからこれは可能である。
シュバルツシルト解の線素 d𝑠 の式は以下である。 ただし 𝜏 は固有時、 𝑟𝑠 はシュバルツシルト半径である。この後で固有時 𝜏 をパラメータとして使う予定なので、全体を d𝜏² で割って としておく。 d𝑠 はもう使わないので省略した。
測地線方程式は、 である。ただし 𝜎 はパラメータである。 にはシュバルツシルト解のクリストッフェル記号を代入すればよい。それは「シュバルツシルト解のリーマン曲率テンソル」の記事の「シュバルツシルト解(外部解)のクリストッフェル記号」のところで求めてあるのでここでは結果だけを書くと、 であり、上記以外の成分は0である。これらのクリストッフェル記号を(4)式に代入し、またパラメータ 𝜎 として固有時 𝜏 を使うことにして 𝜎 = 𝜏 を代入すれば、測地線方程式(運動方程式)は のようになる。
線素の式と測地線方程式(運動方程式)を使って、人工衛星の固有時と座標時との関係を求める。
円軌道であるから 𝑟 は一定なので d𝑟 = 0 である。また、 (定数)となるように座標系を張ったので d𝜃 = 0 である。そこで , を線素の式および測地線方程式に代入すると、(3)・(5)・(6)・(8)式はそれぞれ のようになり、(7)式は 0 = 0 となって消えてしまう。解くべき方程式は(9)〜(12)式である。(11)式より、 は0でないから である。(13)式を(9)式に代入し、 のようになる。𝑡 は未来方向を正と定義したので最後の平方根は正のものを採用した。また、今の問題では不要であるが(14)式を(13)式に代入すれば も求まる。𝜑 は人工衛星の進行方向を正と定義したので最後の平方根は正のものを採用した。(10)・(12)式はまだ使っていないが、今は 𝑟 が一定であるから(15)・(16)式が(10)・(12)式を満たすことはすぐにわかる。
(15)式より、人工衛星の固有時が 𝛥𝜏 だけ進んだときに座標時の変化分が になることがわかる。逆に座標時が 𝛥𝑡 だけ変化するには人工衛星の固有時が だけ進む必要がある。
線素の式を使って、地上の固有時と座標時との関係を求める。
地上の時計は静止しているので d𝑟 = d𝜃 = d𝜑 = 0 である。また、地上における 𝑟 座標の値を 𝑟 = 𝑅 とする。これらを(3)式に代入すると、 のようになる。𝑡 は未来方向を正と定義したので最後の平方根は正のものを採用した。
なお、地上の時計は重力に逆らって静止しているからその世界線は測地線ではない。したがって測地線方程式を満たさない。
(17)式より、地上の固有時が 𝛥𝜏 だけ進んだときに座標時の変化分が になることがわかる。逆に座標時が 𝛥𝑡 だけ変化するには地上の固有時が だけ進む必要がある。
座標時が 𝛥𝑡 だけ変化するとき、3.2節より人工衛星の固有時は だけ進み、3.3節より地上の固有時は だけ進む。したがって両者のずれは となる。(18)式に地球のシュバルツシルト半径 を代入するのであるが、 や の大きさを考えてみると、 は約7億分の1であり1に比べてとても小さい。 はさらにもう少し小さい。よって、 や の最低次(1次)まで計算し高次の項を無視して(18)式に代入すると である。これが正なら人工衛星の時間が地上より早く進み、負なら人工衛星の時間が地上より遅く進む。具体的な値がどうなるかは第5章で考える。
以上が第二の方法による計算である。