特殊相対論歴史的導入のソースを表示

<small> [[特殊相対論]] > 歴史的導入</small>	
----
==歴史的導入==

19世紀中頃にMaxwellによって電磁気学の法則が見通しのよい形で
定式化された。
その結果によると電磁気学の現象は、
:<math>
\begin{matrix}
\textrm{div} \vec E &=& 4\pi \rho \\
\textrm{div} \vec B &=& 0 \\
\textrm{rot} \vec E &=& - \frac{\partial{{}}}{\partial{{ct}}} \vec B \\
\textrm{rot} \vec B &=& 4\pi \vec j + \frac{\partial{{}}}{\partial{{c t}}} \vec E
\end{matrix}

</math>
の4つの方程式によって書かれることが知られた。
(詳しくは電磁気学で扱われる。これらの式の詳細はこの後の議論にはでてこない
ので、よくわからなくてもそれほど問題は無い。)

一方、物体の動きを表わすニュートン方程式は
既に18世紀にはよく知られており、
:<math>
m \frac{\partial{{}}}{\partial{t}} \vec v = \vec f
</math>
となっていた。

当事の科学者は、これらが互いに異なった速度で動いている観測者から見た場合、
異なる振舞を示すことを知っていた。
ニュートン方程式は
:<math>
\vec v' = \vec v + \vec V, t' = t 
</math>
もしくは、
:<math>
\vec x' = \vec x + \vec V t , t' = t
</math>
で与えられるガリレイ変換で不変であることを知っていた。
実際この式から、
<!-- �egin{align} -->
<!-- \frac{\partial{{}}}{\partial{{t'}}} &= \frac{\partial{{t}}}{\partial{{t'}}} \frac{\partial{{}}}{\partial{{t}}} + \frac{\partial{{x}}}{\partial{{t'}}} \frac{\partial{{}}}{\partial{{x}}} \ -->
<!--  &=  \frac{\partial{{}}}{\partial{{t}}} -V   \frac{\partial{{}}}{\partial{{x}}} \ -->
<!-- \end{align} -->
<!-- (?) -->
物体の速度の微分は観測者の速度が定数であるとするなら
運動方程式から消え去ることが知られるので、
ニュートン方程式がガリレイ変換で不変であることが分かる。

一方、電磁気学の方程式はガリレイ変換で不変にならないことが知られていた。
それよりもむしろ
:<math>
\begin{matrix}
x' &= \frac 1 {\sqrt{1 - v^2/c^2 } } ( x + \frac V c ct ) \\
c t' &= \frac 1 {\sqrt{1 - v^2/c^2 } } ( ct + \frac V c x )
\end{matrix}
</math>
で与えられる変換の方で電磁気学の方程式が良い性質を
持つことが知られていた。cは光の速さであり、
値は<math> 2.99*10^8 </math>m/secである。
この変換をローレンツ変換と呼ぶ。
光速が物体の速度よりもはるかに大きいとき、両者が一致することにも
注意。
特に、電磁気学では
:<math>
(\frac{\partial^2{{}}}{\partial{t}^2} - \Delta ) \vec E = 0
</math>
などの式が電磁気の伝搬を表わしていることが知られている。
<math>\Delta</math>はラプラシアンである。
この式の演算子
:<math>
\frac{\partial^2{{}}}{\partial{t}^2} - \Delta 
</math>
は、ダランベリアンと呼ばれているが、
この演算子がローレンツ変換について
不変であることが示される。
:(導出?)
この名前はダランベールにちなんで付けられた。

当事の科学者はどちらの変換がより正しいかで紛糾したが
多くはガリレイ変換をより支持した。これは電磁気学の法則が
当事は新参であり、既に実績のあるニュートン方程式よりも
間違いがひそんでいる可能性が高かったことによる。

実際には、結論から言えば、正しかったのは電磁気学の法則、
Maxwell方程式の変換性であり、ニュートン方程式は
より一般的な
:<math>
\frac{\partial{{}}}{\partial{s}} p^\mu = f^\mu
</math>
の形に書き換えられることになった。
ここで、pとfはそれぞれ運動量と力を表わすが、これは4元ベクトルといい
今までの3つの要素を持ったベクトルから、4つの要素を持ったベクトルへと
拡張されている。sは固有時間といい、物体が運動する様子を取り入れた上での
時間のようなものである。

これらの量はそれぞれローレンツ変換に対して非常に簡明な変換性を持っている。
pとfはローレンツベクトルと呼ばれ、その変換性は、単にベクトルに対して
行列のかけ算を行なうことによって表わされる。一方、sはローレンツ
スカラーと呼ばれ、ローレンツ変換によって全く不変に保たれる
ことが知られている。
以降の章ではこれらの計算手法などが扱われる。


===初等的に定義されたローレンツ変換===

ここからは、c=1とおく単位系を用いる。c=1とおくとき、時間の変化は[m]で測ることが
できる。これは奇妙に思えるかも知れないがある時間の変化がその間に光が
伝搬する距離で測ることに対応している。先ほど述べた通り、ローレンツ変換とは
:<math>
x' = \frac 1 {\sqrt{1 - V^2/c^2 } } ( x + \frac V c ct ) 
</math>
:<math>
c t' = \frac 1 {\sqrt{1 - V^2/c^2 } } ( ct + \frac V c x )
</math>
で与えられる変換である。ここで、c=1とおくと、この式は
:<math>
x' = \frac 1 {\sqrt{1 - V^2 } } ( x + V t ) 
</math>
:<math>
 t' = \frac 1 {\sqrt{1 - V^2 } } ( t +  V  x )
</math>
と書かれ、xとtについて対称的になる。このことは何らかの意味で物体の位置と
物体の時刻を対応するものとして扱うことが出来ることを示している。
この様な変換は、cが物体の速度Vと比べてきわめて大きいとき
ガリレイ変換に戻ることが示される。実際、上の式の右辺を
:<math>
\frac V c
</math>
によって展開すると、Vについて2次までの範囲で
:<math>
x' = (1 + \frac 1 2 V^2/c^2) ( x + V t ) 
</math>
:<math>
 t' = (1 + \frac 1 2 V^2/c^2) (  t +  V  x/c^2 )
</math>
が得られるが、この表式はVの1次まででは
:<math>
x' =   x + V t 
</math>
:<math>
 t' = t
</math>
となり、確かにガリレイ変換になることが分かる。

*問題例
**問題
上の表式を<math>V/c</math>についてテイラー展開することで確かにガリレイ変換が得られることを
確かめよ。
**解答

また、ローレンツ変換には次の重要な性質がある。ある点を時刻と座標を定めることで
定める。この様な時刻方向までいれて定められる点を世界点と呼ぶことがある。
このとき、ある世界点とその世界点とごく近い世界点との距離を
:<math>
ds ^2 = c^2 dt ^2 - dx ^2
</math>
と定義する。ただし、ここでは世界点のうちで空間座標を表わす量は
ただ1方向だけが用いられるとした。この量<math>ds</math>を世界点間の固有距離と呼ばれる
ことがある。ローレンツ変換の重要な性質としてこの量のローレンツ変換が
この量を不変に保つということがあげられる。

*問題例
**問題
:<math>
ds ^2 = c^2 dt ^2 - dx ^2,
ds ^{'2 }= c^2 dt ^{'2} - dx ^{'2}
</math>
に対して、
:<math>
t ' = \gamma(t + V x) ,
x ' = \gamma (x + V t) 
</math>
を代入することで
:<math>
ds = ds'
</math>
を確かめよ。ただし、
:<math>
\gamma = \frac 1 {\sqrt{1-v^2}}
</math>
とする。

**解答
:<math>
ds '
</math>
に<math>t'</math>,<math>x'</math>の表式を代入すると
:<math>
ds ^{'2 }= dt ^{'2} - dx ^{'2}
</math>
:<math>
= \gamma ^2 (dt + Vdx )^{2} -\gamma^2 (dx + vdt ) ^{2}
</math>
:<math>
= \gamma ^2 \{ 
(1-V^2) dt^2 
+ (V^2 - 1)  dx^2
\}
</math>
:<math>
= dt^2 - dx ^2 = ds^2
</math>
が得られる。ただし、c=1の単位系を用いた。よって、ローレンツ変換は固有距離を
不変に保つことが分かる。

この性質は後にローレンツ変換に伴って起こる現象を説明するのに用いられる。
ただし、数学的には別のより整理された量から始めてこの量を定理として導く方が
より自然である。しかし、いずれにしてもこの量の不変性は歴史的に重要であり
このことを直接導出することも変換の性質を見る上で便利であるので
ここでは導入した。

この様な変換はガリレイ変換とは異なった性質を持つことが分かる。
例えば、ガリレイ変換を用いたときにはある物体が<math>v _1</math>で動いているとき
その物体から見て<math>v _2</math>で動いている物体の速度は<math>v _1 +v _2</math>で与えられた。
このような簡明な結果は、ガリレイ変換の中ではどの観測者から見たときにも
時間の進み方が変化しないことによって得られる。実際ガリレイ変換の表式
:<math>
x' = x + V t
</math>
:<math>
t ' = t
</math>
では、時間は異なった速度を持つ観測者から見ても等しい進み方をするのである。


一方、ローレンツ変換を受ける系では、時間の進み方自体が観測者の速度によって
変化するため、様々な場合において非直感的な事柄が起こる。ここでは、
時間の遅れや物体のローレンツ収縮などを扱う。
[[Category:特殊相対論|れきしてきとうにゆう]]