美しいローレンツ変換
相対性理論のローレンツ変換は、なんかゴチャゴチャしていてめんどくさそうと感じておられる方も多いと思います。
この点に関して、実はキャンベルの「時空の幾何学」という相対性理論の解説書の中で、その美しさが詳細に述べられていたのですが、
残念ながら邦訳は何故か絶版になってしまいました。
そこで、この記事では、このローレンツ変換の秘められた美しさについて説明します。
ローレンツ変換
下図は、特殊相対性理論を説明するための図です。この図には との二つの座標系が示されています。
相対性理論ではおなじみの座標系の設定ですが、
両座標系とも慣性系で、それぞれの座標系の時刻 と が の時、2つの座標系の原点が 一致(重なる)ものとします。
また、座標軸 と座標軸 、座標軸 と座標軸 、座標軸 と座標軸 はそれぞれ同じ向きとし、 座標系は 座標系の対し、 軸方向に速度 で運動しているものとします。
この二つの座標系では、相対性理論でおなじみのローレンツ変換の関係が成り立ちます。 は光速とすると
( 1 ) |
確かになんかごちゃごちゃしています。真ん中へんにある行列は対称行列でもないし、回転行列のような単純な美しさもありません。 いったいどこが美しいのでしょうか?
ではこれから、ローレンツ変換行列の中に隠された美しさを見てゆきましょう。
座標をちょっといじってみる
ここで、時刻を表すのに、単位が秒の や の代わりに、これらに光速をかけた、つまり単位をメートルにした値を時刻に採用します。つまり、時刻の単位を秒ではなく、メートルに変換するのです。
すると、ローレンツ変換は
( 2 ) |
となります。なんと変換行列が対称行列になってしまいました。最初に比べて美しさが少し増しています。 このことは、時刻が本質的にメートルで表されるべきことを暗示していますが、先に進みましょう。
双曲線関数を使ってみる
式がより簡単になるように、速度 と光速 の比を と表すことにすると、
( 3 ) |
ここで、 とすると、
( 4 ) |
( 5 ) |
( 6 ) |
ですから
( 7 ) |
なんと、まるで回転行列のようなとても単純で覚えやすくて美しい行列になってしまいました。
実はこの行列は双曲線回転の回転行列で、つまりローレンツ変換というのは時空座標の双曲線回転なのです。
以下に双曲線回転の回転行列がどのようなものかを説明します。
そもそも双曲線関数とは
そもそも双曲線関数とは何なのでしょうか?
双曲線関数で表すことのできる座標値、 とは双曲線
( 8 ) |
上の点です。これは公式(5)からも明らかでしょう。それでは の中の とは何なのでしょうか?
下の図を見てください。
図の斜線の部分は双曲線と、原点と双曲線上の点 を結んだ線分と、x軸 で囲まれた領域ですが、実はこの領域の面積の2倍が u なのです。証明してみましょう。
この領域の面積は を の範囲で積分して、上の三角形部分の面積を引けばよいので
( 9 ) |
積分は という変数変換を行うと
( 10 ) |
なので、結局
( 11 ) |
となります。この面積の2倍( )のことを「双曲角」といいます。
この双曲角と双曲線関数の関係は、半径1の扇形の中心角(扇形の面積の2倍)と三角関数の関係にそっくりです。
そういう意味で、三角関数と双曲線関数はとてもよく似たものなのです。
以下鋭意作成中。