4 元速度

4 元速度を定義する

　そこで、これまで使っていた「速度の定義」を少し見直してやることにしよう。 　今までは観測者本位で、相手が微小時間に進んだ距離を自分の時間で微分して求めていた。 　これは仕方がない。 　これまで自分と相手が同じ時間を過ごしていると思い込んでいたのだから。

　しかし相対論では相手の固有の時間を使うことにする。 　定義を少し変更して、この固有時で微分して速度を定義してやることにする。 　こうすれば、相手の「遅れた時計」で微分することになるので、 上限速度が光速度に縛られない新しい速度を計算できることになる。 　これで何か面白いことが言えるようになるのだろうか？

　残念ながら、3 つの空間座標をそれぞれ微分しただけでは大した結果は期待できない。 　そこで「時間を長さで表した量」である をも固有時で微分してやることにする。 　なぜこのようなことをするのかというと、・・・あまり良い説明は思いつかない。 　「空間についてだけ微分したのでは時間を特別扱いすることになるので」とか、 もっともらしい言い訳のようなことは言えるのだが、なぜ時間を特別扱いしてはいけないというのだろう？

　実はこのようにするのは、物理的な意味合いからではなく、数学的な要請からなのである。 　それについては後で話すことにしよう。 　とにかく、こうすることで速度の意味をもつ 4 つの量 が出来上がる。 　これを「4 つの成分をもつ速度」という意味で「4 元速度」と呼ぶ。

　4 元速度の記号として を使ったのは、もう記号が尽きてきたからである。 　これ以上なるべく記号を増やしたくないので、 の肩に数字を書いてそれぞれを区別することにする。 　これはべき乗を表す記号ではない。 　相対論ではこのような書き方をするので初心者の方は今のうちに慣れておいて欲しい。

　では、時間を固有時で微分したもの には 一体どんな物理的な意味があるのだろうか？ 　計算してやるとこれはローレンツ係数 となることが分かる。 　しかし、ただそれだけである。 　だからと言って特に面白い話が出来るわけではない。 　この計算をここでやると話の流れが悪くなるので、後でまとめてやることにしよう。

数学的な要請

　前に、4 元座標 を組み合わせることで、 ローレンツ変換しても不変な量を作ることができることを話した。 　それらの微小量 を考えても同じことであり、

のように表せるのだった。 　そしてここに出てくる は固有時であることも話した。 　これも当然、ローレンツ変換しても変化しない量である。 　この式全体を、微小量 の 2 乗で割ってやると、何が起こるかと言えば、

となり、4 元速度をうまく組み合わせた量は、どんなにローレンツ変換しようとも 常に 1 となることが分かる。 　4 元速度を組み合わせた量は不変量になるわけだ。 　不変量を不変量で割っただけなのだから不変量になるのは当たり前だ。

なぜ不変量を作るのか

　今は 4 元速度を作ったが、同じように 4 元運動量も作れるし、 4 元加速度も作れるし、4 元力も作れる。 　みんな不変量に出来る。 　では、不変量同士を組み合わせて何か意味のある公式を作ってやったらどうだろうか？ 　それはローレンツ変換しても変わらない公式になる！ 　つまり、宇宙のどこででも使える法則を作ることが出来るのだ。 　だからと言って、ただ単純に不変量を組み合わせただけでローレンツ不変の公式に なると考えてはならない。 　その議論は後からするつもりだ。

　アインシュタインはどの慣性系も相対的であって、平等だと考えた。 　「物理法則はどの慣性系でも同じ形でなければならない。」というのが 彼の主張の二本柱の一つであり、「相対性原理」とはこのことである。 　だから、すべての法則をローレンツ変換に対して不変な形で表すことは 相対論の目的の一つであるのだ。

　そういうわけでこの特殊相対論の解説は、電磁気学をローレンツ変換に対して 不変な形で表すことを目標にして進んでいる。 　そのことに気付いていただろうか？ 　相対論の本質はここにあるのである。

計算の時間

　まず、先ほど計算を飛ばした 4 元運動量の一つ、 すなわち が 確かにローレンツ係数 になることを確かめておこう。 　計算は難しくない。 　前に何度も出てきているこの式、

を、さっきは で割ってやったが、 今度は で割ってやろう。 　すると、

となる。 　 なので、 この式から をくくりだして、普通の時間 による微分に直してしまえる。

　すなわち、

となり、目的の は、この分子、分母をひっくり返したものなので、

ということになる。 　確かにローレンツ係数 の定義と同じになっている。

ついでにもう一つ

と書けるのが分かるだろうか？ 　ここまでやってきたら、そろそろ微分というのは単なる微少量どうしの割り算に過ぎない ということに気付いてもらいたいものである。 　ここで、先ほどの計算結果を代入してやれば、

となる。 　先ほどと同じように、 であることから、この続きは、

となり、結論は、

というわけだ。 　 と も同じように計算できて、

となる。 　この結果はすぐ後で使う。 　今日はここまで。