資料紹介

４元速度
こんなものが何かの役に立つのか？
４元速度を定義する
　人によって見方の変わる自分の時間を人に押し付けるのはやめて、相手の立場で時間を測ってやろうというのが固有時を使う思想である。
　そこで、これまで使っていた「速度の定義」を少し見直してやろう。 　今までは観測者本位で、相手が微小時間に進んだ距離を自分の時間で微分して求めていた。　これは仕方がない。　これまで自分と相手が同じ時間を過ごしていると思い込んでいたのだから。 　しかし相対論では相手の固有の時間を使うことにする。　定義を少し変更して、この固有時で微分して速度を定義してやることにする。　こうすれば、相手の「遅れた時計」で微分することになるので、上限速度が光速度に縛られない新しい速度を計算できることになる。　これで何か面白いことが言えるようになるのだろうか？
　残念ながら、３つの空間座標をそれぞれ微分しただけでは大した結果は期待できない。 　　そこで、「時間を長さで表した量」ｗ をも固有時で微分してやることにする。 　なぜこのようなことをするのかというと、・・・あまり良い説明は思いつかない。　「空間についてだけ微分したのでは時間を特別扱いすることになるので」とか、もっともらしい言い訳のようなことは言えるのだが、なぜ時間を特別扱いしてはいけないというのだろう？
　実はこのようにするのは、物理的な意味合いからではなく、数学的な要請からなのである。　それについては後で話すことにしよう。 　とにかく、こうすることで速度の意味をもつ４つの量 ( u0, u1, u2, u3 )が出来上がる。　これを「４つの成分をもつ速度」という意味で 「４元速度」と呼ぶ。
u0 = dw/dτ,　　u1 = dx/dτ,　　u2 = dy/dτ,　　u3 = dz/dτ
　４元速度の記号として u を使ったのは、もう記号が尽きてきたからである。　これ以上なるべく記号を増やしたくないので、u の肩に数字を書いてそれぞれを区別することにする。　これはべき乗を表す記号ではない。　相対論ではこのような書き方をするので初心者の方は今のうちに慣れておいて欲しい。
　では、時間を固有時で微分したもの u0 には一体どんな物理的な意味があるのだろうか？　計算してやるとこれはローレンツ係数 γ となることが分かる。　しかし、ただそれだけである。　だからと言って特に面白い話が出来るわけではない。　この計算をここでやると話の流れが悪くなるので、後でまとめてやることにしよう。
数学的な要請
　実は、４元速度の概念は物理的な意味合いから作られたものではなく、むしろ数学的な意味合いの方が強いということを話した。　ここまで、いかにも物理的に意味がありそうに説明してきたのは、なるべくイメージしやすいように無理やり物理的にこじつけをしていただけなのである。
　前に、４元座標（ w, x, y, z ）を組み合わせることで、ローレンツ変換しても不変な量を作ることができることを話した。　それらの微小量（dw, dx, dy, dz）を考えても同じことであり、
dτ2 = dw2 - dx2 - dy2 - dz2
のように表せる。　そしてここに出てくる dτ は固有時であることも話した。　これも当然、ローレンツ変換しても変化しない量である。 　この式全体を、微小量dτの２乗で割ってやると、何が起こるかと言えば、
1 = (dw/dτ)2 - (dx/dτ)2 - (dy/dτ)2 - (dz/dτ)2
となり、４元速度をうまく組

資料の原本内容

４元速度
こんなものが何かの役に立つのか？
４元速度を定義する
　人によって見方の変わる自分の時間を人に押し付けるのはやめて、相手の立場で時間を測ってやろうというのが固有時を使う思想である。
　そこで、これまで使っていた「速度の定義」を少し見直してやろう。 　今までは観測者本位で、相手が微小時間に進んだ距離を自分の時間で微分して求めていた。　これは仕方がない。　これまで自分と相手が同じ時間を過ごしていると思い込んでいたのだから。 　しかし相対論では相手の固有の時間を使うことにする。　定義を少し変更して、この固有時で微分して速度を定義してやることにする。　こうすれば、相手の「遅れた時計」で微分することになるので、上限速度が光速度に縛られない新しい速度を計算できることになる。　これで何か面白いことが言えるようになるのだろうか？
　残念ながら、３つの空間座標をそれぞれ微分しただけでは大した結果は期待できない。 　　そこで、「時間を長さで表した量」ｗ をも固有時で微分してやることにする。 　なぜこのようなことをするのかというと、・・・あまり良い説明は思いつかない。　「空間についてだけ微分したのでは時間を特別扱いすることになるので」とか、もっともらしい言い訳のようなことは言えるのだが、なぜ時間を特別扱いしてはいけないというのだろう？
　実はこのようにするのは、物理的な意味合いからではなく、数学的な要請からなのである。　それについては後で話すことにしよう。 　とにかく、こうすることで速度の意味をもつ４つの量 ( u0, u1, u2, u3 )が出来上がる。　これを「４つの成分をもつ速度」という意味で 「４元速度」と呼ぶ。
u0 = dw/dτ,　　u1 = dx/dτ,　　u2 = dy/dτ,　　u3 = dz/dτ
　４元速度の記号として u を使ったのは、もう記号が尽きてきたからである。　これ以上なるべく記号を増やしたくないので、u の肩に数字を書いてそれぞれを区別することにする。　これはべき乗を表す記号ではない。　相対論ではこのような書き方をするので初心者の方は今のうちに慣れておいて欲しい。
　では、時間を固有時で微分したもの u0 には一体どんな物理的な意味があるのだろうか？　計算してやるとこれはローレンツ係数 γ となることが分かる。　しかし、ただそれだけである。　だからと言って特に面白い話が出来るわけではない。　この計算をここでやると話の流れが悪くなるので、後でまとめてやることにしよう。
数学的な要請
　実は、４元速度の概念は物理的な意味合いから作られたものではなく、むしろ数学的な意味合いの方が強いということを話した。　ここまで、いかにも物理的に意味がありそうに説明してきたのは、なるべくイメージしやすいように無理やり物理的にこじつけをしていただけなのである。
　前に、４元座標（ w, x, y, z ）を組み合わせることで、ローレンツ変換しても不変な量を作ることができることを話した。　それらの微小量（dw, dx, dy, dz）を考えても同じことであり、
dτ2 = dw2 - dx2 - dy2 - dz2
のように表せる。　そしてここに出てくる dτ は固有時であることも話した。　これも当然、ローレンツ変換しても変化しない量である。 　この式全体を、微小量dτの２乗で割ってやると、何が起こるかと言えば、
1 = (dw/dτ)2 - (dx/dτ)2 - (dy/dτ)2 - (dz/dτ)2
となり、４元速度をうまく組み合わせた量は、どんなにローレンツ変換しようとも常に１となることが分かる。 　４元速度を組み合わせた量は不変量になるわけだ。　不変量を不変量で割っただけなのだから不変量になるのは当たり前だ。
なぜ不変量を作るのか
　だから何なんだ？　何の役に立つんだ？　と思うだろう。　確かに４元速度は素人には使い道がないのでつまらない。　しかし、ちゃんと意味があるのだ。　これはアインシュタインの思想を実現するのにとても便利であり、必要なのだ。
　今は４元速度を作ったが、同じように４元運動量も作れるし、４元加速度も作れるし、４元力も作れる。　みんな不変量に出来る。　では、不変量同士を組み合わせて何か意味のある公式を作ってやったらどうだろうか？　それはローレンツ変換しても変わらない公式になる！ 　つまり、宇宙のどこででも使える法則を作ることが出来るのだ。 　（注：だからと言って、ただ単純に不変量を組み合わせただけでローレンツ不変の公式になると考えてはならない。その議論は後からする。）
　アインシュタインはどの慣性系も相対的であって、平等だと考えた。　「物理法則はどの慣性系でも同じ形でなければならない。」というのが彼の主張の２本柱の一つであり、「相対性原理」とはこのことである。　だから、すべての法則をローレンツ変換に対して不変な形で表すことは相対論の目的の一つであるのだ。
　そういうわけでこの特殊相対論の解説は、電磁気学をローレンツ変換に対して不変な形で表すことを目標にして進んでいる。　そのことに気付いていただろうか？　相対論の本質はここにあるのである。
計算の時間
　と、盛り上がったところですまないが、ここでこれからの議論に備えて幾つかの簡単な計算を済ませておこうと思う。　何だかんだ言っても、多くの人にとってのとりあえずの興味は「どうやって E = mc2 が導かれるのか」ということだと思う。　それはこのすぐ次のトピックで理解することが出来るだろう。　その議論がさらっと進むためにもここで計算をしておくのは有益である。　議論の途中で長々と計算を入れたのでは熱気が冷めてしまうじゃないか。　また、ここで微分計算が全然難しくないということに気付いてもらえたらと思う。
　まず、先ほど計算を飛ばした４元運動量の一つ、u0 = dw/dτ が確かにローレンツ係数 γ になることを確かめておこう。　計算は難しくない。 　前に何度も出てきているこの式、
dτ2 = dw2 - dx2 - dy2 - dz2
　を、さっきは ( dτ)2 で割ってやったが、今度は ( dw )2 で割ってやろう。　すると、
(dτ/dw)2 = 1 - (dx/dw)2 - (dy/dw)2 - (dz/dw)2
となる。　dw = d(ct) = c dt なので、この式からｃをくくりだして、普通の時間による微分に直してしまえる。
(dτ/dw)2 = 1 - (1/c2) ｛ (dx/dt)2 + (dy/dt)2 + (dz/dt)2 ｝ = 1 - (1/c2) ( Vx2 + Vy2 + Vz2) = 1 - V2/c2
　すなわち、
dτ/dw = √( 1 - V2/c2 )
となり、目的の u0 は、分子、分母をひっくり返してやれば、
u0 = dw/dτ = 1/√( 1 - V2/c2 )
ということになる。　確かにローレンツ係数 γ になっている。
ついでにもう一つ
　４元速度の他の成分 u1, u2, u3 もここで計算しておこう。　今の結果を使えばあっという間だ。
u1 = dx/dτ = (dw/dτ) (dx/dw)
　と書けるのが分かるだろうか？　ここまでやってきたら、そろそろ微分というのは単なる微少量どうしの割り算に過ぎないということに気付いてもらいたいものである。 　ここで、先ほどの計算結果を代入してやれば、
u1 = dx/dτ = (dw/dτ) (dx/dw) = γ (dx/dw)
となる。　先ほどと同じように、dw = c dt であるので、
u1 = dx/dτ = (dw/dτ) (dx/dw) = γ (dx/dw) = γ ( 1/c ) ( dx/dt ) = γ ( 1/c ) Vx
であり、結果は、
u1 = γ Vx / c
というわけだ。　u2 と u3 も同じように計算できて、
u2 = γ Vy / c u3 = γ Vz / c
となる。　この結果はすぐ後で使う。　今日はここまで。
資料提供先→　 http://homepage2.nifty.com/eman/relativity/4velocity.html

コメント0件