平坦時空からみた遠方の計量 g_ik とそこの物体の大きさの関係を示す g_ik はその時空点の時空間隔 dx^i を平坦時空の物体に戻すための係数 であり、空間計量 g_ii(i=1〜3)は、√g_ii がその時空点の物差しのサイズに反比例し、時間計量 g_00は、その時空点の時間経過が、√-g_00 に 比例する。大きな g_ii は、物差しが詰まる短縮に対応し、大きな-g_00は、経時間隔の短縮(時間経過の高速)に対応する。その時空点の光速は、 時間経過速度と物差しのサイズに比例し ds=0 を代入して c(i)=√(-g_00/g_ii) である。
時間計量(ポテンシャル)の違う時空点からの光は、発した周波数と異なる周波数で到着する。ポテンシャルの低い、高度の低い地点からの光は、 上方の地点で受けると赤方偏移する。これが連続して起きるためには、光を発した下方の時間経過が遅くなければならない。光の周波数が下方 の時間経過 √-g_00 に比例しなければ、光の波数に過不足を起こすだろう。それに対して、空間計量の違う時空点から来る光は、時空点の空間 計量に合わせて波長を伸縮すると考える。なぜなら、光は、局所で違って存在できない。少なくとも光速は、通過する時空点の計量に合わせて 変わる。光や電波は連続して来るためには時間計量の違いに合わせて出発点と違う周波数で到達する。そのことは、出発点の時間経過の影響の 保存であり痕跡を残すが、空間計量は全く保存しない。そうでなければ、どこからきた光かによって光速が違ってしまう。各時空点の時間計量 が光の出発点の時間計量との比を周波数比によって示す。光は、周波数によって時間計量を保存するが、波長によって空間計量を保存しない。
(*)膨張宇宙の背景輻射の発生場所にローレンツ短縮を使うことには疑問が残る。フリードマン宇宙では、初期宇宙の時間計量は現在と変わらな いが、空間計量が小さい。これが膨張を表すか、縮小宇宙の計量ではないかという問題をさておけば、赤方偏移を後退速度によるドップラー効 果とするときに特殊相対論のドップラー効果を使っている。それゆえ、特殊相対論のローレンツ短縮を使うのも許されよう。ローレンツ短縮で は奥行きは短くなるが、空間計量が小さいことからは、速度の効果を無くせば奥行きは大きいという逆の結論に導くこともできそうだ。
しかし、空間計量の違いは、物差しを移動して来ても違いを見付けることはできない。空間の短縮や伸長は、光の波長もその例外ではない物差 しを含めた全ての物体を、ポアンカレの寓話宇宙のように、物体がそこに移動するだけで伸縮させるからである。そして、時間計量の変化は時 間の時間による関数ではなく、過去の時間の現在の時間の目盛の延長による測定であると考えられる。現在の時間経過と過去の時間経過との検 証は、過去の時間経過を現在の時計で比較することであり、遠方過去からの光の赤方偏移は、時間計量の差と考えることができる。つまり光は、 まさに過去の時間経過を現在の時間経過の側に直接に持ってきているのかもしれない。そのことは、遠方空間の物差しを物差しを遠方に延長し て測ることで遠方の物体の大きさの短縮/伸長をいうのと同じである。上述のように、光が時間計量の差を保存して空間計量を保存しないなら、 赤方偏移は空間計量の違いによる説明よりも、ポテンシャルの違いと考えることが最もストレートな解釈としてあり得るのである。
それゆえ、時間計量の時間変化がエネルギー保存を崩すという理由によってそれを排除できない。ニュートンポテンシャルが重力を生む原因で ある場所による時間経過の違い(空間変化)を認め、時間変化を認めないのは、移動する時空点が時計を持てないというに等しい。我々は、時計 をもって空間を移動して時間計量の違う場所へ移動できる。双子の弟が時計を持てないとすると特殊相対論の双子のパラドックスは、表現さえ もできない。微小な物体も内部に時計を持つ。場所によって時間経過が異なることを認め、時空点を移動する座標系を認めるなら、時間計量の 時間変化も認めるべきである。例えば、天体から速度をもって離れて行く彗星のような軌道をもつ時空点の座標系は、速度がポテンシャルの空 間微分を時間微分にする。太陽の近傍での加速は、太陽から遠方での加速よりも効果的であることはニュートン力学においても有効な推進方法 だが、そこでの時間経過の違いは、太陽系のような弱い重力においても測定可能な時間経過の時間変化を示すだろう。
宇宙解と重力波において、ポテンシャル(時間計量)の変動は排除されている。質点の周囲においては、g_00だけがミンコフスキー時空の標準値 からの違いが他の空間計量よりも大きく、そして、時間計量だけがニュートン力学の重力ポテンシャルに直接の対応ををもち、計量の成分のな かで最重要な成分であり、確認され既にGPSなどに実用化された確かさをもつ。それに対して空間計量は時間計量よりも不確かな実証性しかもた ないように思える。宇宙解は、空間計量の変動の証拠と考える人がいるかもしれないが、空間計量の変動としての重力波は、現在、未確定なが ら、当然検出されてよい規模の天体現象と高精度の検出器において検出されていないように思える。
E= -gradΦ - dA/dt
両辺の div をとり、
ρ= divE = -div(grad Φ) - div(dA/dt) = -∇^2 Φ - d/dt (div A)
これにローレンツゲージ divA = -dA/dt を使い、□Φ= -ρ。つまり、Φは、波動方程式を持ち得る、これが電磁波の存在の元である。 これになしに電場、磁場の波動方程式もあり得ないだろう。
重力波は、空間計量の微小変動の波であり、進行方向に垂直な2方向の伸縮の横波とされるが、重力ポテンシャルΦの変動が波動になれないわけ ではない。計量テンソルの場は、ベクトル場によって近似される。□Φ= -ρ に対応するのは、"場の古典論" では、R_ik の式 (100.4) である。 R_ik= -1/2 □h_ik 真空の場の方程式は、g_ik の微小変動分、h_ik の波動方程式、□h^k_i= 0 (100.8) である。この式の段階で h^0_0 を=0 にすることはしない。章100の重力波p.361ではその後にh^0_0= 0とする。それは、x-ct の関数としてのhがx-ctに依らないとした場合に、h^0_0 を0にできるというだけである。つまり、ポテンシャルの波が存在できないのではなく、光速の座標系ではポテンシャルのない波が存在できると いうだけである。つまり、□h^0_0 =0 の波が光速とは異なる普通の座標系では存在するかもしれない。h^0_0 は、波動方程式をもつのである。光 速の系でも h^0_0 の波はあり得る。
ΔΦ= 0 がローレンツ不変でない確認をする前に、これがローレンツ変換でなく、ガリレオ変換であるなら、ΔΦ= 0 は、そして波動方程式 □Φ= 0 は、どうなるのかを考えよう。
x'= x - vt
t'= t
は、 dx'= dx, dt'= dt であり、
∂Φ/∂x'= ∂Φ/∂x かつ、∂Φ/∂t'= ∂Φ/∂t
である。これらをもう一度微分した、
∂^2Φ/∂x'^2= ∂^2Φ/∂x^2 も容易に理解でき、∂^2Φ/∂t'^2= ∂^2Φ/∂t^2 である。 それゆえ、ΔΦ= ρ と □Φ= ρ も、ガリレオ変換に不変である。
x'= γ(x - vt)
t'= γ(t - vx)
y'= y, z'= z
このとき微分dxとdx'との大小関係は、dx'= γ(dx - v dt) からの ∂x'/∂x = γ は、K系でdt=0を伴う偏微分であり、K'系での偏微分は そうでない。K'系の偏微分 ∂x/∂x'には dt'= 0 を伴う。dxは空間短縮し、逆向きの ∂x/∂x'= γ である。 dt'= 0 から、dt= v dxをいれて、dx'= γ(dx - v(v dx))= γdx (1-v^2) = 1/γ dx ----- (1) 。 Φの空間微分は、∂Φ/∂x'= ∂Φ/∂x (∂x/∂x') = γ ∂Φ/∂x。さらに2階微分は、∂^2Φ/∂x'^2= γ^2 ∂^2Φ/∂x^2。空間短縮に よってΦの2階微分は、γ^2 倍に大きくなり、ラプラス方程式の係数は、1/γ^2 倍に小さくないといけない。つまり、ラプラス方程式は、 ローレンツ変換に耐えない(共変でない)。さて、□Φ= ρは、∂Φ/∂tがどう変換されるかだが、(1)と同様に時間の大小関係も、 dx'= 0 から、dx= v dt、dt'= 1/γ dt。K' 系の1点では(時計の遅れとは逆に) K系の時間が短縮するので、 ∂Φ/∂t'= 1/γ ∂Φ/∂t、∂^2Φ/∂t'^2= 1/γ^2 ∂^2Φ/∂t^2
この式は、K'系ではx方向にγ倍に短縮があり、時間も変わるが、2階時間微分をもつ波動方程式である。物体静止系では∂^2Φ/∂t^2= 0 だから、ΔΦ= 0 に、∂^2Φ/∂t^2 がどう関るかを示さないが、上の結果は、ΔΦ= 0 に ∂^2Φ/∂t^2 が関係なくても他の系で時間の2 階微分が関係することを示す。ただしこれは、Φの任意の波形が速度 +-v で伝播する波動方程式である。速度vの系と元の物体静止系とは 違う式になるから特殊相対性原理を満たさない。つまり、ΔΦ= 0 は、ローレンツ共変でなく、物体静止座標だけに成立し他の系では速度 vに依存する。相対性原理を満たすにはΦがローレンツ変換によって変化し、ベクトルポテンシャルの存在も必要なのであろう。
重力ポテンシャルを、電磁ポテンシャルと同様に、ΦとAによって構成される4元ベクトル(Φ, Ax, Ay, Az)と考え、ポテンシャルのローレン ツ変換は、時空のローレンツ変換と同様に K系のポテンシャルをK'系からみると、
Ax'= γ(Ax - vΦ)
Φ'= γ(Φ - vAx)
物体が静止する系Kで Ax= 0 とすると、
Ax'= -vγΦ
Φ'= γΦ
K'系ではスカラーポテンシャルΦ'は、γ倍になり、ベクトルポテンシャル Ax' が速度vに比例して存在する。
dΦ/dy= γ dΦ'/dy
dΦ/dz= γ dΦ'/dz
d^2Φ/dx^2= γ^2(d^2Φ'/dx^2 + d^2Ax'/dt^2)
d^2Φ/dy^2= γ^2 d^2Φ'/dy^2
d^2Φ/dz^2= γ^2 d^2Φ'/dz^2
dx= γ(dx' + v dt')
dx^2= γ^2 (dx'^2 + v^2 dt'^2)
1/γ^2 ∂^2Φ/∂x'^2 + 1/(γv)^2 ∂^2Φ/∂t'^2 = 0
∂^2(Φ'+ v Ax')/∂x'^2 + 1/v^2 ∂^2(Φ'+ v Ax')/∂t'^2 = 0
∂^2Φ'/∂x'^2 + v^2 ∂^2Ax'/∂x'^2
+ 1/v^2 ∂^2Φ'/∂t'^2
+ ∂^2 Ax'/∂t'^2 = 0