「美しいローレンツ変換」の版間の差分
(→双曲線回転) |
(→そもそも双曲線関数とは) |
||
(1人の利用者による、間の142版が非表示) | |||
1行: | 1行: | ||
[[メインページ]] > [[物理の部屋#相対性理論]] | [[メインページ]] > [[物理の部屋#相対性理論]] | ||
− | [[category:相対性理論]] | + | [[Category:物理]][[category:相対性理論]] |
相対性理論のローレンツ変換は、なんかゴチャゴチャしていてめんどくさそうと感じておられる方も多いと思います。 | 相対性理論のローレンツ変換は、なんかゴチャゴチャしていてめんどくさそうと感じておられる方も多いと思います。 | ||
− | + | この点に関して、実はキャラハンの「時空の幾何学」という相対性理論の解説書の中で、その美しさが詳細に述べられていたのですが、 | |
残念ながら邦訳は何故か絶版になってしまいました。 | 残念ながら邦訳は何故か絶版になってしまいました。 | ||
− | + | そこで、この記事では、このローレンツ変換の秘められた美しさについて若干の説明を試みてみたいと思います。 | |
==ローレンツ変換== | ==ローレンツ変換== | ||
15行: | 15行: | ||
相対性理論ではおなじみの座標系の設定ですが、 | 相対性理論ではおなじみの座標系の設定ですが、 | ||
− | + | 両座標系とも慣性系で、それぞれの座標系の原点での時刻 <math>t</math> と <math>t'</math> が <math>t=t'=0</math> の時、2つの座標系の原点が | |
− | + | 一致する(重なる)ものとします。 | |
また、座標軸 <math>x</math> と座標軸 <math>x'</math> 、座標軸 <math>y</math> と座標軸 <math>y'</math> 、座標軸 <math>z</math> と座標軸 <math>z'</math> はそれぞれ同じ向きとし、<math>x'y'z'</math> 座標系は <math>xyz</math> 座標系の対し、<math>x</math> 軸方向に速度 <math>v</math> で運動しているものとします。 | また、座標軸 <math>x</math> と座標軸 <math>x'</math> 、座標軸 <math>y</math> と座標軸 <math>y'</math> 、座標軸 <math>z</math> と座標軸 <math>z'</math> はそれぞれ同じ向きとし、<math>x'y'z'</math> 座標系は <math>xyz</math> 座標系の対し、<math>x</math> 軸方向に速度 <math>v</math> で運動しているものとします。 | ||
89行: | 89行: | ||
なんと、まるで回転行列のようなとても単純で覚えやすくて美しい行列になってしまいました。 | なんと、まるで回転行列のようなとても単純で覚えやすくて美しい行列になってしまいました。 | ||
− | + | 実はこの行列は双曲回転の回転行列で、つまりローレンツ変換というのは時空座標の双曲回転なのです。 | |
以下に双曲線回転の回転行列がどのようなものかを説明します。 | 以下に双曲線回転の回転行列がどのようなものかを説明します。 | ||
102行: | 102行: | ||
{{eqn|<math>x^2-y^2=1</math>|8}} | {{eqn|<math>x^2-y^2=1</math>|8}} | ||
− | + | 上の点です(但しここでは <math>x\geq 1</math> )。これは公式(5)からも明らかでしょう。 | |
+ | 双曲線関数の定義は | ||
+ | |||
+ | {{eqn|<math>\cosh u = \frac{e^u+e^{-u}}{2}</math>|9}} | ||
+ | {{eqn|<math>\sinh u = \frac{e^u-e^{-u}}{2}</math>|10}} | ||
+ | |||
+ | となりますが、それでは <math>(\cosh u, \sinh u) </math> の中の <math>u</math> とは何なのでしょうか? | ||
下の図を見てください。 | 下の図を見てください。 | ||
− | [[ファイル:双曲線.png]] | + | {{fig|[[ファイル:双曲線.png]]|図1 双曲角}} |
+ | |||
図の斜線の部分は双曲線と、原点と双曲線上の点 <math>(\cosh u, \sinh u)</math> を結んだ線分と、x軸 で囲まれた領域ですが、実はこの領域の面積の2倍が u なのです。証明してみましょう。 | 図の斜線の部分は双曲線と、原点と双曲線上の点 <math>(\cosh u, \sinh u)</math> を結んだ線分と、x軸 で囲まれた領域ですが、実はこの領域の面積の2倍が u なのです。証明してみましょう。 | ||
− | この領域の面積は <math>x = \sqrt{y^2+1} </math> を <math> | + | この領域の面積は <math>x = \sqrt{y^2+1} </math> を <math>y=0\sim\sinh u</math> の範囲で積分して、上の三角形部分の面積を引けばよいので |
− | {{eqn|<math>S=\int^{\sinh u}_0 \sqrt{1+y^2}dy - \frac{\sinh u\cosh u}{2}</math>| | + | {{eqn|<math>S=\int^{\sinh u}_0 \sqrt{1+y^2}dy - \frac{\sinh u\cosh u}{2}</math>|11}} |
118行: | 125行: | ||
− | {{eqn|<math>\int^{\sinh u}_0 \sqrt{1+y^2}dy=\int^{u}_0 \cosh^2sds=\frac{1}{2}\sinh u\cosh u + \frac{1}{2}u</math>| | + | {{eqn|<math>\int^{\sinh u}_0 \sqrt{1+y^2}dy=\int^{u}_0 \cosh^2sds=\frac{1}{2}\sinh u\cosh u + \frac{1}{2}u</math>|12}} |
なので、結局 | なので、結局 | ||
− | {{eqn|<math>S=\frac{u}{2}</math>| | + | {{eqn|<math>S=\frac{u}{2}</math>|13}} |
となります。この面積の2倍( <math>u</math> )のことを'''「双曲角」'''といいます。 | となります。この面積の2倍( <math>u</math> )のことを'''「双曲角」'''といいます。 | ||
+ | |||
+ | 尚、ここまで単純に「面積」と書いてきましたが、斜線部分がX軸より下なら、双曲角はマイナスになります。 | ||
この'''双曲角'''と'''双曲線関数'''の関係は、半径1の'''扇形の中心角(扇形の面積の2倍)'''と'''三角関数'''の関係にそっくりです。 | この'''双曲角'''と'''双曲線関数'''の関係は、半径1の'''扇形の中心角(扇形の面積の2倍)'''と'''三角関数'''の関係にそっくりです。 | ||
− | + | ==双曲回転== | |
− | + | 普通の回転は円に沿って点を動かすことですが、双曲回転は双曲線に沿って点を動かします。 | |
− | + | ||
− | + | ||
下の図を見て下さい。図には双曲線 <math>x^2 - y^2 = 1</math> が描いて有り、 | 下の図を見て下さい。図には双曲線 <math>x^2 - y^2 = 1</math> が描いて有り、 | ||
− | + | その上に双曲角が <math>u</math> と <math>u + \beta</math> の点 A, B が描いてあります。 | |
− | + | 任意の双曲線上の点を双曲線に沿って動かす変換を双曲回転といいます。 | |
どのような変換になるか見てみましょう。 | どのような変換になるか見てみましょう。 | ||
− | [[ファイル:双曲線回転.png]] | + | {{fig|[[ファイル:双曲線回転.png]]|図2 双曲回転}} |
− | 点A の座標は <math>A=(x, y)=(\cosh u, \sinh u)</math> | + | 点A の座標は <math>A=(x, y)=(\cosh u, \sinh u)</math> で、点B は <math>B=(x', y')=(\cosh (u+\beta), \sinh (u+\beta))</math> ですが、双曲線関数の角度の和の公式は |
148行: | 155行: | ||
<math> | <math> | ||
\begin{array}{ll} | \begin{array}{ll} | ||
− | \cosh(u+\beta)&=e^{u+\beta} + e^{-(u+\beta)} \\ | + | \cosh(u+\beta)&=\frac{e^{u+\beta} + e^{-(u+\beta)}}{2} \\ |
&=\frac{(e^{u}+e^{-u})(e^{\beta}+e^{-\beta}) + (e^{u}-e^{-u})(e^{\beta}-e^{-\beta})}{4}\\ | &=\frac{(e^{u}+e^{-u})(e^{\beta}+e^{-\beta}) + (e^{u}-e^{-u})(e^{\beta}-e^{-\beta})}{4}\\ | ||
− | &=\cosh u \cosh\beta + \sinh u \sinh\beta | + | &=\cosh u \cosh\beta + \sinh u \sinh\beta \\ |
&=x \cosh\beta + y \sinh\beta | &=x \cosh\beta + y \sinh\beta | ||
\end{array} | \end{array} | ||
− | </math>| | + | </math>|14}} |
{{eqn| | {{eqn| | ||
<math> | <math> | ||
\begin{array}{ll} | \begin{array}{ll} | ||
− | \sinh(u+\beta)&=e^{u+\beta} - e^{-(u+\beta)} \\ | + | \sinh(u+\beta)&=\frac{e^{u+\beta} - e^{-(u+\beta)}}{2} \\ |
&=\frac{(e^{u}-e^{-u})(e^{\beta}+e^{-\beta}) + (e^{u}+e^{-u})(e^{\beta}-e^{-\beta})}{4}\\ | &=\frac{(e^{u}-e^{-u})(e^{\beta}+e^{-\beta}) + (e^{u}+e^{-u})(e^{\beta}-e^{-\beta})}{4}\\ | ||
− | &=\sinh u \cosh\beta + \cosh u \sinh\beta | + | &=\sinh u \cosh\beta + \cosh u \sinh\beta \\ |
&=y \cosh\beta + x \sinh\beta | &=y \cosh\beta + x \sinh\beta | ||
\end{array} | \end{array} | ||
− | </math>| | + | </math>|15}} |
+ | |||
+ | |||
+ | となります。これを整理し、点A(<math>A=(x, y)</math> ) を 点B(<math>B=(x', y')</math> ) に変換する形にまとめると | ||
+ | |||
+ | {{eqn| | ||
+ | <math> | ||
+ | |||
+ | \left( \begin{array} {c} x' \\ y'\end{array}\right) = | ||
+ | \left( \begin{array} {c c} \cosh\beta & \sinh\beta \\ \sinh\beta & \cosh\beta \end{array}\right) | ||
+ | \left( \begin{array} {c} x \\ y\end{array}\right) | ||
+ | |||
+ | </math>|16}} | ||
+ | |||
+ | 式の中央にある行列が、既にローレンツ変換にも出てきた双曲回転の回転行列です。この行列は双曲角 <math>\beta</math>だけ双曲回転を行います。 | ||
+ | |||
+ | この行列は、双曲線 <math>x^2 - y^2 = 1</math> 上の点だけではなく、任意の <math>x^2 - y^2 = a^2</math> という形式の双曲線上での双曲回転にも使えます。 | ||
+ | |||
+ | 図には、双曲線 <math>x^2 - y^2 = 1.5^2</math> 上の点Cと点Dが示してありますが、点Cから点Dへの移動は | ||
+ | 同じ回転行列で行えます。 | ||
+ | |||
+ | |||
+ | さてここまでは、双曲線 <math>x^2 - y^2 = a^2, x \geq 0 </math> で話をしてきましたが、双曲回転は座標上の任意の点を回転可能です。しかし、双曲線<math>x^2 - y^2 = a^2, x \geq 0 </math> で表せる座標上の点は、全座標平面の4分の一の領域でしかありません。 | ||
+ | |||
+ | 座標平面の全ての点をカバーするには、2種類の双曲線群 <math>x^2 - y^2 = a^2</math>、<math>x^2 - y^2 = -a^2</math> が必要です。 | ||
+ | この双方の双曲線で双曲回転は双曲線に沿って点を動かします。 | ||
+ | |||
+ | 2種類の双曲線で、正の双曲回転が点をどのように動かすかを下図に示します。 | ||
+ | |||
+ | {{fig|[[ファイル:全象限の双曲線.png]]|図3 全ての象限での双曲回転}} | ||
+ | |||
+ | |||
+ | 正の双曲線回転は、図形を右斜め方向に引き伸ばし、図形を左斜め方向に圧縮することがわかると思います。 | ||
+ | |||
+ | 円の回転のように図形を合同に移動するのではなく、双曲回転は図形の圧縮と伸長を伴います。 | ||
+ | |||
+ | つまり、時空の圧縮と伸長を伴う変換がローレンツ変換なのです。 | ||
+ | |||
+ | ==ー次変換としてのローレンツ変換== | ||
+ | |||
+ | さて、ここまでは、ローレンツ変換の美しさを | ||
+ | 双曲回転という観点から眺めてきましたが、 | ||
+ | ここからは 2×2の行列で行なう単純な一次変換 | ||
+ | という観点から眺めて見ましょう。 | ||
+ | |||
+ | |||
+ | |||
+ | '''注意!!!''' | ||
+ | :ここからは <math>ct</math> を <math>t</math> , <math>ct'</math> を <math>t'</math> 、<math>V</math>を<math>v</math>と 表すことにしてしまいます。 | ||
+ | :つまり <math>t</math> と <math>t'</math> は 単位を m にした時刻を表すこととします。 | ||
+ | :速度<math>v</math> は無次元量となり、光速との比を表すことにします。これは時間の単位を <math>m</math>に変更したためです。 | ||
+ | :このような単位系を '''幾何学単位系'''といいます。相対性理論ではこの[[幾何学単位系]]を使用するのが一般的です。 | ||
+ | :詳細は'''「[[幾何学単位系]]」'''を見て下さい。 | ||
+ | |||
+ | |||
+ | 以下の図にはローレンツ変換前(双曲変換前、水色)の図形(格子)と、それのローレンツ変換後(双曲変換後、黒)の図形を | ||
+ | 示してあります。2個の座標系の相対速度は光速の20%です。見事に歪んでいることがわかるでしょう。 | ||
+ | |||
+ | この図は見方を変えれば <math>txyz</math> 時空から見た <math>t'x'y'z'</math>時空の姿です。但し y軸,z軸は省略してあります。 | ||
+ | 省略してあるので、これらの座標系(時空)は <math>tx</math> '''座標系'''、と <math>t'x'</math> '''座標系'''と呼ぶことにしましょう。 | ||
+ | |||
+ | |||
+ | {{fig|[[ファイル:Lorents.png]]|図4 <math>txyz</math> 時空から見た <math>t'x'y'z'</math>時空の姿}} | ||
+ | |||
+ | |||
+ | 一次変換の性質を語るのに有効な武器は言うまでもなく行列式、固有値と固有べクトルです。 | ||
+ | 早速計算してみましょう。 | ||
+ | |||
+ | ローレンツ変換の行列式は <math>\cosh^2\alpha-\sinh^2\alpha=1</math> ですから、双曲変換によって図形の | ||
+ | 形は歪むものの面積は変化しません。 | ||
+ | |||
+ | ローレンツ変換の固有値は、固有方程式 | ||
+ | |||
+ | {{eqn|<math>(\cosh\alpha-\lambda)^2-\sinh^2\alpha=1</math> |17}} | ||
+ | |||
+ | を解くと、 | ||
+ | |||
+ | {{eqn|<math>\lambda = \cosh\alpha \pm \sinh\alpha = e^\alpha, e^{-\alpha} = | ||
+ | \frac{\sqrt{1+v}}{\sqrt{1-v}}, \frac{\sqrt{1-v}}{\sqrt{1+v}}</math> |18}} | ||
+ | |||
+ | 固有ベクトルは | ||
+ | |||
+ | {{eqn|<math>\left( \begin{array} {c} 1\\ 1 \end{array}\right), | ||
+ | \left( \begin{array} {c} 1\\ -1 \end{array}\right)</math> |19}} | ||
+ | |||
+ | つまり、ローレンツ変換は <math>\left( \begin{array} {c} 1\\ 1 \end{array}\right) </math> 方向へ <math>e^\alpha=\frac{\sqrt{1+v}}{\sqrt{1-v}}</math> 倍だけ図形を引き伸ばし、 | ||
+ | <math>\left( \begin{array} {c} 1\\ -1 \end{array}\right)</math> 方向に <math>e^{-\alpha}=\frac{\sqrt{1-v}}{\sqrt{1+v}}</math> 倍だけ図形を伸長する変換であることがわかります( <math>\alpha > 0</math> なら、つまり縮小になる )。 | ||
+ | |||
+ | これは上の図の図形の変形の仕方からも明らかでしょう。 | ||
+ | |||
+ | また、この2つの固有ベクトルの向きは'''「光速」'''を表しています。 | ||
+ | 固有ベクトルの方向は一次変換によって変化しないので、つまりこれはローレンツ変換によって | ||
+ | '''光速が光速に変換される'''ことを示しています。 | ||
+ | |||
+ | ==目盛りの大きさ== | ||
+ | |||
+ | 最後に、ローレンツ変換の座標の目盛り大きさについて考察しておきましょう。 | ||
+ | |||
+ | 下図は、1 m x 1 m の正方形をローレンツ変換する様子を表しています。水色の矩形が変換前、黒色が変換後です。 | ||
+ | 四角形O'A'B'Cは正方形OABCをローレンツ変換した結果です。図ではローレンツ変換の歪みをよりわかりやすくするため、系間の相対速度は光速の40%にしました。 | ||
+ | |||
+ | この図は、<math>t'x'</math> 座標での時空の正方形が <math>tx</math> 座標系でどのように見えるかを示しているとも言えます。 | ||
+ | つまり<math>t'x'</math> 座標の時空の格子状の目盛りが、<math>tx</math> 座標系でどのように歪んで見えるかを示しています。 | ||
+ | |||
+ | 一つずつ、座標値を計算してみましょう。 | ||
+ | |||
+ | まず、点A'と 点C' は、今までの議論から | ||
+ | |||
+ | |||
+ | {{fig|[[ファイル:ローレンツ変換の目盛り.png]]|図5 ローレンツ変換の目盛り}} | ||
+ | |||
+ | |||
+ | {{eqn|<math>C'=\left( \begin{array} {c} \cosh\alpha \\ \sinh\alpha \end{array}\right) | ||
+ | =\left( \begin{array} {c} \frac{1}{\sqrt{1-v^2}} \\ \frac{v}{\sqrt{1-v^2}} \end{array}\right) | ||
+ | , A'=\left( \begin{array} {c} \sinh\alpha \\ \cosh\alpha \end{array}\right) | ||
+ | =\left( \begin{array} {c} \frac{v}{\sqrt{1-v^2}} \\ \frac{1}{\sqrt{1-v^2}} \end{array}\right) | ||
+ | </math> |20}} | ||
+ | |||
+ | 点C' は <math>t'x'</math> 座標系では <math>\left( \begin{array} {c} 1 \\ 0 \end{array}\right)</math> ですから、 | ||
+ | 点 O' から C' までの経路は、 <math>t'x'</math> 座標系では静止している物体の世界線です。 | ||
+ | |||
+ | C'が線分BCより右( <math>t=\cosh\alpha=\frac{1}{\sqrt{1-v^2}} > 1</math> )になることから、<math>t'x'</math> 座標系で静止している物体に取り付けられている時計は、<math>tx</math> 座標系から見ると遅く見えることがわかります。これが有名な「運動する物体の時間は遅くなる」ということの正体です。 | ||
+ | |||
+ | 逆を考えてみましょう。OCは<math>tx</math> 座標系で静止している物体の世界線です。この線と 線分B'C'を延長した線と交わる点 D では <math>t'x'</math> 座標系では時刻が <math>1 m</math> になります。 | ||
+ | |||
+ | 点Dの<math>tx</math> 座標系での <math>t</math> の値(ODの長さ )は、 | ||
+ | |||
+ | {{eqn|<math>\begin{array} {ll}\cosh\alpha - \sinh\alpha\tanh\alpha &= \frac{\cosh^2\alpha-\sinh^2\alpha}{\cosh\alpha} \\ | ||
+ | &=\frac{1}{\cosh\alpha} = \sqrt{1-v^2}< 1 \end{array}</math>|21}} | ||
+ | |||
+ | つまり、<math>tx</math> 座標系で静止している物体の時計は、やはり<math>t'x'</math> 座標系から見ると遅く見えるのです。 | ||
+ | |||
+ | よくこの、互いに相手の時計が遅くなることが矛盾であるという議論を見かけますが、実際には、異なる世界線を測定した結果であり、図の線分BCとB'Dが交差していることが原因で、矛盾はないことがこの時空図からよくわかると思います。 | ||
+ | |||
+ | そもそもローレンツ変換は単純な一次変換であり、<math>t'x'</math> 座標系の座標点と<math>tx</math> 座標系の座標点との間には1対1の対応があるため、矛盾が発生しようがないのです。 | ||
+ | |||
+ | |||
+ | EA'B' とOC' は<math>t'x'</math> 座標系で静止している、向きがX軸方向の棒の両端の世界線と考えることができます。 | ||
+ | |||
+ | この棒の長さは <math>t'x'</math> 座標系では勿論 <math>1 m</math> ですが、<math>tx</math> 座標系では OE の長さになります。OEの長さはODの長さと同じで式(21)になり、<math>1 m</math> より短くなります。これが動いている物体が収縮するフィッツジェラルド収縮、或いはローレンツ収縮の正体です。 | ||
+ | |||
+ | 一方 OC と AB は、<math>tx</math> 座標系で静止している、向きがX軸方向の棒の両端の世界線と考えることができます。 | ||
+ | |||
+ | この棒は <math>tx</math> 座標系では長さはもちろん <math>1 m</math> ですが、<math>t'x'</math> 座標系では | ||
+ | <math>1 m </math> より短くなるのは OF が OA'より短いことから明らかです。 | ||
+ | |||
+ | OA'の <math>tx</math> 座標系での長さは | ||
+ | |||
+ | {{eqn|OA'の長さ <math>=\sqrt{\cosh^2\alpha+\sinh^2\alpha}= | ||
+ | \cosh\alpha\sqrt{1+\tanh^2\alpha}=\sqrt{\frac{1+v^2}{1-v^2}}=L</math>|22}} | ||
+ | |||
+ | OFの <math>tx</math> 座標系での長さは、Fの位置が | ||
+ | <math>\left( \begin{array} {c} \tanh\alpha \\ 1 \end{array}\right)</math> ですので | ||
+ | |||
+ | |||
+ | {{eqn|OFの長さ <math>=\sqrt{1+\tanh^2\alpha}=\sqrt{1+v^2}=l</math>|23}} | ||
+ | |||
+ | 従って OF の<math>t'x'</math> 座標系での長さは、 | ||
+ | |||
+ | {{eqn|<math>1 m \times l \div L = \frac{1}{\cosh\alpha}=\sqrt{1-v^2}</math>|24}} | ||
+ | |||
+ | |||
+ | つまり、<math>tx</math> 座標系で静止している棒は <math>t'x'</math> 座標系からは短くみえるわけで、やはり運動している棒は短くなります。 | ||
+ | |||
+ | このように、系の中で静止している棒がもう一つの系から見ると短く見えるのは、ガレージのパラドックスとして有名ですが、異なる2セットの世界線を異なる時間軸を使って、測定した結果であること、言い方を変えると、線分ABとEB'が交差していることが原因であることが、この時空図からよくわかると思います。従ってパラドックスは存在しません。 | ||
+ | |||
+ | OD, OE の長さ、OA'の長さ(=OC'の長さ), OF の長さがわかりましたので、最後に B' の位置を求めておきましょう。 | ||
+ | |||
+ | B'の座標は、<math>B=\left( \begin{array} {c} 1 \\ 1 \end{array}\right)</math> をローレンツ変換するだけですので、 | ||
+ | |||
+ | {{eqn|Bの位置 <math>=\left( \begin{array} {c} \cosh\alpha+\sinh\alpha \\ \cosh\alpha+\sinh\alpha \end{array}\right) | ||
+ | =\left( \begin{array} {c} e^\alpha \\ e^\alpha \end{array}\right) | ||
+ | =\left( \begin{array} {c} \sqrt{\frac{1+v}{1-v}} \\ \sqrt{\frac{1+v}{1-v}} \end{array}\right) | ||
+ | </math>|25}} | ||
+ | |||
+ | ==まとめ== | ||
+ | |||
+ | 多くの物理学の教科書では、ローレンツ変換はあまりその数学的内容を解説されることなく、ごちゃごちゃとした数式で紹介されることが多いですが、本記事ではローレンツ変換の数学的な内容を若干解説してみました。 | ||
+ | |||
+ | ローレンツ変換は、座標系を幾何学単位系に直すと、単純な | ||
+ | 双曲回転であることがすぐにわかります。 | ||
+ | 双曲回転であることがわかれば、双曲線、双曲線関数と双曲回転の様々な知識をローレンツ変換の理解に総動員できます。数式も単純になり、取り扱いが楽になり、見通しも付けやすくなります。 | ||
− | + | この記事で紹介した知識が、ローレンツ変換のより深い理解につながれば幸いです。 |
2021年6月11日 (金) 11:33時点における最新版
相対性理論のローレンツ変換は、なんかゴチャゴチャしていてめんどくさそうと感じておられる方も多いと思います。
この点に関して、実はキャラハンの「時空の幾何学」という相対性理論の解説書の中で、その美しさが詳細に述べられていたのですが、
残念ながら邦訳は何故か絶版になってしまいました。
そこで、この記事では、このローレンツ変換の秘められた美しさについて若干の説明を試みてみたいと思います。
ローレンツ変換
下図は、特殊相対性理論を説明するための図です。この図には との二つの座標系が示されています。
相対性理論ではおなじみの座標系の設定ですが、
両座標系とも慣性系で、それぞれの座標系の原点での時刻 と が の時、2つの座標系の原点が 一致する(重なる)ものとします。
また、座標軸 と座標軸 、座標軸 と座標軸 、座標軸 と座標軸 はそれぞれ同じ向きとし、 座標系は 座標系の対し、 軸方向に速度 で運動しているものとします。
この二つの座標系では、相対性理論でおなじみのローレンツ変換の関係が成り立ちます。 は光速とすると
( 1 ) |
確かになんかごちゃごちゃしています。真ん中へんにある行列は対称行列でもないし、回転行列のような単純な美しさもありません。 いったいどこが美しいのでしょうか?
ではこれから、ローレンツ変換行列の中に隠された美しさを見てゆきましょう。
座標をちょっといじってみる
ここで、時刻を表すのに、単位が秒の や の代わりに、これらに光速をかけた、つまり単位をメートルにした値を時刻に採用します。つまり、時刻の単位を秒ではなく、メートルに変換するのです。
すると、ローレンツ変換は
( 2 ) |
となります。なんと変換行列が対称行列になってしまいました。最初に比べて美しさが少し増しています。 このことは、時刻が本質的にメートルで表されるべきことを暗示していますが、先に進みましょう。
双曲線関数を使ってみる
式がより簡単になるように、速度 と光速 の比を と表すことにすると、
( 3 ) |
ここで、 とすると、
( 4 ) |
( 5 ) |
( 6 ) |
ですから
( 7 ) |
なんと、まるで回転行列のようなとても単純で覚えやすくて美しい行列になってしまいました。
実はこの行列は双曲回転の回転行列で、つまりローレンツ変換というのは時空座標の双曲回転なのです。
以下に双曲線回転の回転行列がどのようなものかを説明します。
そもそも双曲線関数とは
そもそも双曲線関数とは何なのでしょうか?
双曲線関数で表すことのできる座標値、 とは双曲線
( 8 ) |
上の点です(但しここでは )。これは公式(5)からも明らかでしょう。 双曲線関数の定義は
( 9 ) |
( 10 ) |
となりますが、それでは の中の とは何なのでしょうか?
下の図を見てください。
図1 双曲角 |
図の斜線の部分は双曲線と、原点と双曲線上の点 を結んだ線分と、x軸 で囲まれた領域ですが、実はこの領域の面積の2倍が u なのです。証明してみましょう。
この領域の面積は を の範囲で積分して、上の三角形部分の面積を引けばよいので
( 11 ) |
積分は という変数変換を行うと
( 12 ) |
なので、結局
( 13 ) |
となります。この面積の2倍( )のことを「双曲角」といいます。
尚、ここまで単純に「面積」と書いてきましたが、斜線部分がX軸より下なら、双曲角はマイナスになります。
この双曲角と双曲線関数の関係は、半径1の扇形の中心角(扇形の面積の2倍)と三角関数の関係にそっくりです。
双曲回転
普通の回転は円に沿って点を動かすことですが、双曲回転は双曲線に沿って点を動かします。
下の図を見て下さい。図には双曲線 が描いて有り、 その上に双曲角が と の点 A, B が描いてあります。 任意の双曲線上の点を双曲線に沿って動かす変換を双曲回転といいます。 どのような変換になるか見てみましょう。
図2 双曲回転 |
点A の座標は で、点B は ですが、双曲線関数の角度の和の公式は
|
( 14 ) |
|
( 15 ) |
となります。これを整理し、点A( ) を 点B( ) に変換する形にまとめると
|
( 16 ) |
式の中央にある行列が、既にローレンツ変換にも出てきた双曲回転の回転行列です。この行列は双曲角 だけ双曲回転を行います。
この行列は、双曲線 上の点だけではなく、任意の という形式の双曲線上での双曲回転にも使えます。
図には、双曲線 上の点Cと点Dが示してありますが、点Cから点Dへの移動は 同じ回転行列で行えます。
さてここまでは、双曲線 で話をしてきましたが、双曲回転は座標上の任意の点を回転可能です。しかし、双曲線 で表せる座標上の点は、全座標平面の4分の一の領域でしかありません。
座標平面の全ての点をカバーするには、2種類の双曲線群 、 が必要です。 この双方の双曲線で双曲回転は双曲線に沿って点を動かします。
2種類の双曲線で、正の双曲回転が点をどのように動かすかを下図に示します。
図3 全ての象限での双曲回転 |
正の双曲線回転は、図形を右斜め方向に引き伸ばし、図形を左斜め方向に圧縮することがわかると思います。
円の回転のように図形を合同に移動するのではなく、双曲回転は図形の圧縮と伸長を伴います。
つまり、時空の圧縮と伸長を伴う変換がローレンツ変換なのです。
ー次変換としてのローレンツ変換
さて、ここまでは、ローレンツ変換の美しさを 双曲回転という観点から眺めてきましたが、 ここからは 2×2の行列で行なう単純な一次変換 という観点から眺めて見ましょう。
注意!!!
- ここからは を , を 、をと 表すことにしてしまいます。
- つまり と は 単位を m にした時刻を表すこととします。
- 速度 は無次元量となり、光速との比を表すことにします。これは時間の単位を に変更したためです。
- このような単位系を 幾何学単位系といいます。相対性理論ではこの幾何学単位系を使用するのが一般的です。
- 詳細は「幾何学単位系」を見て下さい。
以下の図にはローレンツ変換前(双曲変換前、水色)の図形(格子)と、それのローレンツ変換後(双曲変換後、黒)の図形を
示してあります。2個の座標系の相対速度は光速の20%です。見事に歪んでいることがわかるでしょう。
この図は見方を変えれば 時空から見た 時空の姿です。但し y軸,z軸は省略してあります。 省略してあるので、これらの座標系(時空)は 座標系、と 座標系と呼ぶことにしましょう。
図4 時空から見た 時空の姿 |
一次変換の性質を語るのに有効な武器は言うまでもなく行列式、固有値と固有べクトルです。
早速計算してみましょう。
ローレンツ変換の行列式は ですから、双曲変換によって図形の 形は歪むものの面積は変化しません。
ローレンツ変換の固有値は、固有方程式
( 17 ) |
を解くと、
( 18 ) |
固有ベクトルは
( 19 ) |
つまり、ローレンツ変換は 方向へ 倍だけ図形を引き伸ばし、 方向に 倍だけ図形を伸長する変換であることがわかります( なら、つまり縮小になる )。
これは上の図の図形の変形の仕方からも明らかでしょう。
また、この2つの固有ベクトルの向きは「光速」を表しています。 固有ベクトルの方向は一次変換によって変化しないので、つまりこれはローレンツ変換によって 光速が光速に変換されることを示しています。
目盛りの大きさ
最後に、ローレンツ変換の座標の目盛り大きさについて考察しておきましょう。
下図は、1 m x 1 m の正方形をローレンツ変換する様子を表しています。水色の矩形が変換前、黒色が変換後です。 四角形O'A'B'Cは正方形OABCをローレンツ変換した結果です。図ではローレンツ変換の歪みをよりわかりやすくするため、系間の相対速度は光速の40%にしました。
この図は、 座標での時空の正方形が 座標系でどのように見えるかを示しているとも言えます。 つまり 座標の時空の格子状の目盛りが、 座標系でどのように歪んで見えるかを示しています。
一つずつ、座標値を計算してみましょう。
まず、点A'と 点C' は、今までの議論から
図5 ローレンツ変換の目盛り |
( 20 ) |
点C' は 座標系では ですから、 点 O' から C' までの経路は、 座標系では静止している物体の世界線です。
C'が線分BCより右( )になることから、 座標系で静止している物体に取り付けられている時計は、 座標系から見ると遅く見えることがわかります。これが有名な「運動する物体の時間は遅くなる」ということの正体です。
逆を考えてみましょう。OCは 座標系で静止している物体の世界線です。この線と 線分B'C'を延長した線と交わる点 D では 座標系では時刻が になります。
点Dの 座標系での の値(ODの長さ )は、
( 21 ) |
つまり、 座標系で静止している物体の時計は、やはり 座標系から見ると遅く見えるのです。
よくこの、互いに相手の時計が遅くなることが矛盾であるという議論を見かけますが、実際には、異なる世界線を測定した結果であり、図の線分BCとB'Dが交差していることが原因で、矛盾はないことがこの時空図からよくわかると思います。
そもそもローレンツ変換は単純な一次変換であり、 座標系の座標点と 座標系の座標点との間には1対1の対応があるため、矛盾が発生しようがないのです。
EA'B' とOC' は 座標系で静止している、向きがX軸方向の棒の両端の世界線と考えることができます。
この棒の長さは 座標系では勿論 ですが、 座標系では OE の長さになります。OEの長さはODの長さと同じで式(21)になり、 より短くなります。これが動いている物体が収縮するフィッツジェラルド収縮、或いはローレンツ収縮の正体です。
一方 OC と AB は、 座標系で静止している、向きがX軸方向の棒の両端の世界線と考えることができます。
この棒は 座標系では長さはもちろん ですが、 座標系では より短くなるのは OF が OA'より短いことから明らかです。
OA'の 座標系での長さは
OA'の長さ | ( 22 ) |
OFの 座標系での長さは、Fの位置が ですので
OFの長さ | ( 23 ) |
従って OF の 座標系での長さは、
( 24 ) |
つまり、 座標系で静止している棒は 座標系からは短くみえるわけで、やはり運動している棒は短くなります。
このように、系の中で静止している棒がもう一つの系から見ると短く見えるのは、ガレージのパラドックスとして有名ですが、異なる2セットの世界線を異なる時間軸を使って、測定した結果であること、言い方を変えると、線分ABとEB'が交差していることが原因であることが、この時空図からよくわかると思います。従ってパラドックスは存在しません。
OD, OE の長さ、OA'の長さ(=OC'の長さ), OF の長さがわかりましたので、最後に B' の位置を求めておきましょう。
B'の座標は、 をローレンツ変換するだけですので、
Bの位置 | ( 25 ) |
まとめ
多くの物理学の教科書では、ローレンツ変換はあまりその数学的内容を解説されることなく、ごちゃごちゃとした数式で紹介されることが多いですが、本記事ではローレンツ変換の数学的な内容を若干解説してみました。
ローレンツ変換は、座標系を幾何学単位系に直すと、単純な 双曲回転であることがすぐにわかります。
双曲回転であることがわかれば、双曲線、双曲線関数と双曲回転の様々な知識をローレンツ変換の理解に総動員できます。数式も単純になり、取り扱いが楽になり、見通しも付けやすくなります。
この記事で紹介した知識が、ローレンツ変換のより深い理解につながれば幸いです。