4 元速度を定義する
人によって見方の変わる自分の時間を人に押し付けるのはやめて,相手の立場で時間を測ってやろうというのが固有時を使う思想である.
そこで,これまで使っていた「速度の定義」を少し見直してやることにしよう.今までは観測者本位で,相手が微小時間に進んだ距離を自分の時間で微分して求めていた.これは仕方がない.これまで自分と相手が同じ時間を過ごしていると思い込んでいたのだから.
しかし相対論では相手の固有の時間を使うことにする.定義を少し変更して,この固有時で微分して速度を定義してやることにする.こうすれば,相手の「遅れた時計」で微分することになるので,上限速度が光速度に縛られない新しい速度を計算できることになる.これで何か面白いことが言えるようになるのだろうか?
残念ながら,3 つの空間座標をそれぞれ微分しただけでは大した結果は期待できない.そこで「時間を長さで表した量」であるをも固有時で微分してやることにする.なぜこのようなことをするのかというと,・・・あまり良い説明は思いつかない.「空間についてだけ微分したのでは時間を特別扱いすることになるので」とか,もっともらしい言い訳のようなことは言えるのだが,なぜ時間を特別扱いしてはいけないというのだろう?
実はこのようにするのは,物理的な意味合いからではなく,数学的な要請からなのである.それについては後で話すことにしよう.とにかく,こうすることで速度の意味をもつ 4 つの量が出来上がる.これを「4 つの成分をもつ速度」という意味で「4 元速度」と呼ぶ. 4 元速度の記号としてを使ったのは,もう記号が尽きてきたからである.これ以上なるべく記号を増やしたくないので,の肩に数字を書いてそれぞれを区別することにする.これはべき乗を表す記号ではない.相対論ではこのような書き方をするので初心者の方は今のうちに慣れておいて欲しい.
では,時間を固有時で微分したには一体どんな物理的な意味があるのだろうか?計算してやるとこれはローレンツ係数となることが分かる.しかし,ただそれだけである.だからと言って特に面白い話が出来るわけではない.この計算をここでやると話の流れが悪くなるので,後でまとめてやることにしよう.
数学的な要請
4 元速度の概念は実は物理的な意味合いから作られたものではなく,むしろ数学的な意味合いの方が強いということを話した.ここまで,いかにも物理的に意味がありそうに説明してきたのは,なるべくイメージしやすいように無理やり物理的にこじつけをしていただけなのである.
前に,4 元座標を組み合わせることで,ローレンツ変換しても不変な量を作ることができることを話した.それらの微小量を考えても同じことであり, のように表せるのだった.そしてここに出てくるは固有時であることも話した.これも当然,ローレンツ変換しても変化しない量である.この式全体を,微小量の 2 乗で割ってやると,何が起こるかと言えば, となり,4 元速度をうまく組み合わせた量はどんなにローレンツ変換しようとも常に 1 となることが分かる.4 元速度を組み合わせた量は不変量になるわけだ.不変量を不変量で割っただけなのだから不変量になるのは当たり前だ.
なぜ不変量を作るのか
だから何なんだ?何の役に立つんだ?と思うだろう.確かに 4 元速度は素人には使い道がないのでつまらない.しかしちゃんと意味があるのだ.これはアインシュタインの思想を実現するのにとても便利であり,必要なのだ.
今は 4 元速度を作ったが,同じように 4 元運動量も作れるし,4 元加速度も作れるし,4 元力も作れる.みんな不変量に出来る.では,不変量同士を組み合わせて何か意味のある公式を作ってやったらどうだろうか?それはローレンツ変換しても変わらない公式になる!つまり,宇宙のどこででも使える法則を作ることが出来るのだ.だからと言って,ただ単純に不変量を組み合わせただけでローレンツ不変の公式になると考えてはならない.その議論は後からするつもりだ.
アインシュタインはどの慣性系も相対的であって,平等だと考えた.「物理法則はどの慣性系でも同じ形でなければならない.」というのが彼の主張の二本柱の一つであり,「相対性原理」とはこのことである.だから,すべての法則をローレンツ変換に対して不変な形で表すことは相対論の目的の一つであるのだ.
そういうわけでこの特殊相対論の解説は,電磁気学をローレンツ変換に対して不変な形で表すことを目標にして進んでいる.そのことに気付いていただろうか?相対論の本質はここにあるのである.
計算の時間
……と盛り上がったところですまないが,ここでこれからの議論に備えて幾つかの簡単な計算を済ませておこうと思う.何だかんだ言っても,多くの人にとってのとりあえずの興味は「どうやってが導かれるのか」ということだと思う.それはこのすぐ次の記事で理解することが出来るだろう.その議論がさらっと進むためにもここで計算をしておくのは有益である.議論の途中で長々と計算を入れたのでは熱気が冷めてしまうじゃないか.また,ここで微分計算が全然難しくないということに気付いてもらえたらと思う.
まず,先ほど計算を飛ばした 4 元速度の一つ,すなわちが確かにローレンツ係数になることを確かめておこう.計算は難しくない.前に何度も出てきている次のような式がある. これを,さっきはで割ってやったが,今度はで割ってやろう.すると次のようになる. なので,この式からをくくりだして,普通の時間による微分に直してしまえる. すなわち, となり,目的のは,この分子,分母をひっくり返したものなので, ということになる.確かにローレンツ係数の定義と同じになっている.
ついでにもう一つ
4 元速度の他の成分,,もここで計算しておこう.今の結果を使えばあっという間だ. と書けるのが分かるだろうか?ここまでやってきたら,そろそろ微分というのは単なる微少量どうしの割り算に過ぎないということに気付いてもらいたいものである.ここで,先ほどの計算結果を代入してやれば, となる.先ほどと同じように,であることから,この続きは, となり,結論は, というわけだ.とも同じように計算できて, となる.この結果はすぐ後で使う.今日はここまで.