物理を解説 ♪
ツイッター用のシェアボタン フェイスブック用のシェアボタン はてなブックマーク用のシェアボタン ライン用のシェアボタン
ツイッター用のシェアボタン フェイスブック用のシェアボタン はてなブックマーク用のシェアボタン ライン用のシェアボタン

ローレンツ変換の求め方

難しい求め方と簡単な求め方があるけど、
どっちがいい?
作成:2001/12/6

色んな方法がある

ローレンツ変換を求めるには大きく分けて二通りの方法がある.ローレンツ流の「マクスウェル方程式を不変に保つ変換」を導く方法と,アインシュタイン流の「光速度が慣性系によらず一定」であることから導く簡単な方法である.

ベクトルを使ったり演算子を使ったり,行列を使ったりといった教科書による独自性はあるものの,大抵の教科書に載っているのはアインシュタイン流の方法である.中には電磁場の波動方程式を不変に保つような,どっちつかずの方法もたまに見かける.今さらわざわざ難しい方法を紹介する必要もない気がするが,二つの求め方に大きな思想的違いがあることを分かってもらいたいので両方とも紹介するつもりでいる.

しかし1ページの分量が増えて読みにくくなるであろうし,マクスウェルの方程式についてはこの特殊相対論の解説の後の方でいろいろいじりまわそうと考えているのでここではアインシュタイン流の方法だけを紹介しておくことにしよう.(もう一つの導き方はこちら.

私の今までの経験の中で一番分かりやすい簡単な方法を紹介することにする.計算が楽で見た目簡単なものより,計算が面倒でも直観的に理解しやすい方がいいと思い,この方法を選んだ.


アインシュタイン流の簡単な方法

静止系K(x,y,z,t)とそれに対してx軸方向へ速度vで運動している系K'(x',y',z',t')の間の関係式を求めるのが目的である.

t=0の瞬間,両者の原点は一致していたとする.この同じt=0の瞬間,K系の原点から光が放たれたとするとこの光は全方向に飛び去って,t秒後には原点から半径ctだけ離れた球面上の点に分布するはずである.これを式で表せば, 数式 となる.高校で習う球面の方程式である.

一方,K'系の原点にいる観測者も光が自分を中心に同心円状に広がるように見えるというのが相対性理論の要求する基本原理である.この状況は同じように, 数式 と書ける.

さて,K系からK'系への変換を求めるというのは, 数式 と書いた時の各係数a_{1}~a_{16}を決める作業に他ならない.

これらの式を (2) 式に代入してやった時に (1) 式の条件が満たされている必要があるので,つまり (1) 式と同じ形にならなければいけないので,このことをヒントに各係数を決めてやればよい.

ところで,この変換式 (3) ~ (6) がx,y,z,tについての 1 次式になっていて,なぜx^2とかx^3などに比例する項が含まれていないのか分かるだろうかこれは簡単なことなのではあるがどの教科書にも「当然」と書いてあるだけで,分からない人には分からないと思うのである.もし (3) ~ (6) の変換式の中にxの 2 乗の項があったとしたら,これを (2) 式に代入した時にxの 4 乗の項が出来てしまうだろう.しかし (1) 式にはxの 4 乗は含まれていないので,その項の係数は 0 でなければならないはずだ.というわけで 2 次以上の項は初めから省いてあるというわけである.

さて,これからこの 16 個の係数の全てを決めてやる作業をするわけだが,とてもじゃないが面倒くさい.本格的な計算に入る前にいくらか簡単にならないだろうか考えてみよう.


係数をなるべく省くために考えろ!

まず一番初めの (3) 式だが,K'系はx方向へ速度vで移動しているので,t秒後のK'系の原点であるx'=0の地点はK系から見ればt秒後にはx=vtの位置にある.よって少なくとも,t秒後にxvtを代入した時には「その位置はx'=0に相当する」と正しく教えてくれるような関係式にしておきたい.そのためにはx'=a(x-vt)という形でなければならない.aの意味はよく分からないが,勝手な思い込みを混ぜ込まないためにまだ残しておく必要がある.t=0かつx=0の場合を考えると,yzの位置に関わらずx'=0であるべきなので,a_{2},a_{3}は 0 でないとおかしいと分かる.

次の (4) 式と (5) 式は劇的に簡単になる.

もしtに比例する項があればy'z'は刻々と変化することになるだろう.K系の原点がK'系からはy軸やz軸方向に移動して見えるという意味になるわけだ.これではK'系がx方向に移動しているという仮定に反する.それでa_{8}a_{12}は 0 である.

しかしまだおかしい点が残っている.例えばy'=a_{5}x+a_{6}y+a_{7}zという形のままだとy軸が傾いていることになる.z軸も同様だ.各係数a_iは相対速度の関数なので,相対速度に応じてyz面が傾くという意味になるわけだ.x軸を中心にyz面内でねじれるという傾き方なら,ひょっとしてそんなこともあるかも知れないが,x軸の方へ傾くとなればいよいよおかしい.空間はどの方向でも同じ性質を持つと考えられるので,yz面がどれかの方向を勝手に選んで傾いて行く理由は見出せないからだ.それで結局,y'=a_{6}y,z'=a_{11}zという形でなければならない.また,今はx軸方向を特別な方向として扱っているが,それに対してy軸やz軸をどちらにするかは人間の都合で自由に決める事が出来る.つまりこれらの軸には物理上,性質の差がない.よってa_{6}=a_{11}だと言えるだろう.ところが少し考えればこれらの係数はともに 1 でなければならないことが分かる.それを説明しよう.

y'=a_{6}y,z'=a_{11}zという式はx方向に進んだ時にy方向やz方向に縮んだり伸びたりする可能性があるということである.奇妙ではあっても常識で否定せずに可能性として残しておくべきであろう.ところがこれは論理的に否定されるのだ.今はK系からK'系への変換式を求める作業をしているが,当然のことながら,K'系からK系を見たときにも同様の変換式が成り立つはずである.違うのは速度vが逆方向であるということくらいである.しかしお互いは全く対等であるので速度が逆だというくらいで係数が変わってはいけない.x軸のプラス方向とマイナス方向に空間的にどんな違いがあるというのか.これは便宜上決めた方向に過ぎないのだ.こういうわけで,K系からK'系に変換をして,さらにK'系からK系に変換した時,ちゃんと元に戻らなくてはならないことから,a_{6}^2 =1であるはずである.a_{6}=-1とすると初めから上下左右がひっくり返ってしまっているのでa_{6}=1を取るべきである.

これで文句なしにy'=y,z'=zということで決まりである.よく簡単な教科書に見られる「今我々はx方向についてだけを考えているので・・」などという簡潔過ぎる説明は今やったくらいの思考の過程は当然読者が踏むべきものだとして省いてしまっているのである.専門家を目指す学生に対してはこれくらい厳しくていいだろう.しかし元から相対論に懐疑的な素人が不純な目的でこのような教科書を読むとき,「やはり物理学者はあまり考えてないんじゃないか」などと高慢な思いを募らせ始めることになる.そういった学者への不信感に対しては,これはとことんまで考え抜いた抜け道のない議論の結果なのだということを叩きつけなくてはならないと思うのだ.・・・ちょっと熱くなってしまったな.

では,残る最後の (6) 式についてであるが,これには前もって省略できる項はない.しかしこの後の計算で係数比較をするときのことを考えれば,係数a_{14}a_{15}は結局 0 になることが分かる.ここでは計算をなるべく簡単にするためにあらかじめこれを省略しておくことにする.信じられない人はこの式の全ての項を残したまま計算してみるとよい.複雑な計算に入る前にこの意味が分かるだろう.


あとは計算!

以上の結果を分かりやすく書き直しておこう.ついでに係数もアルファベットの大文字で付け直すことにする. 数式 未知の係数はA,B,Dの 3 つだけになり非常に簡単になった.こいつらを (2) 式に放り込めば, 数式 となり,展開してまとめれば, 数式 となる.この式が (1) と同じになるというのだから,比較してやれば, 数式 という 3 つの式を得る.後はこれを連立方程式として解いてやればいいだけだ.ここでわざわざ解いてみせる必要はないであろう.

とは言っても 2 乗が出てきてちょっと解きにくいのは確かだ.次のことだけ注意しておこう.各係数はプラスとマイナスの 2 つの解が出てくることになるが,v→0の場合にK系とK'系が一致するために係数ADはプラスの方を選ぶ必要がある.そうしなければx軸や時間軸が初めから逆を向いてしまうことになってしまう.その結果としてBはマイナスを取らなければならなくなるだろう.次のようになれば正解だ. 数式 つまりローレンツ変換は次のようになる. 数式 いろいろ書いて長くなってしまったが,やっていることは単純だ.(2) 式に (3) ~ (6) の式を入れて (1) 式になるように係数を決めただけである.



趣味の物理学書店の案内バナー

EMAN物理note出張所の案内バナー