特殊相対論
ローレンツ変換
光速度不変の原理は経験的な直感とは相容れないもので、この原理が見出された歴史的な過程もそれ自体面白くはありますが、今回はそういった議論を全て省いてこれを出発点とします。
光速不変の原理とは、慣性系によって光の速度が変わらないという原理のことです。ゆえに、X系の座標xとX‘系の座標x’の間に
が成立します。
さていま、系は、系に対して、x軸方向に速度で進んでいるとします。これに対するガリレイ変換は
なわけですが、これは光速度不変の原理を満たしていません(式(1)を満たさない)。
ではいかに改良すべきか?
という仮定はひとまず維持すると、式(1)は
となるので、これを満たすような座標変換を求めればよいことになります。
直交座標の変換は線形なので、適当な係数を用いて
と書けるはずです。これを式(2)に入れて、の係数を見比べれば式が3つ出ますが、一方いま未知数はA,B,D,Eの4つです。足りないのは、当然系という座標変換を特徴付ける速度ですね。系で系の原点をみればですが、系ではこれはを意味しますから、座標変換でと変換しなくてはいけません。これを適当に定数倍すれば
と書けそうです。これで、未知数が3つに減ったので、全ての係数を求めることができます。
すると、結局座標変換は
という形をしていることが導かれました!これをローレンツ変換といいます。
そしてこれは、座標間の速度が光速に比べ十分小さいときには
となり、ガリレイ変換を再現します。つまり、この世界で本当に正しいのはローレンツ変換であるものの、これまでは座標間の速度が小さかったので、ガリレイ変換で事足りていたというです。
相対性原理
ミンコフスキー空間
光速不変の原理を満たすような座標変換は、3次元空間でのガリレイ変換ではなく、4次元時空でのローレンツ変換であることが分かりました。そこで、という4次元の空間を考えてみるのは自然でしょう(と次元を合わせるため、時間座標をでなくとした)。この4次元時空をミンコフスキー空間という。
さて、このような新しい空間に対して、手始めに距離の公式を考えてみます。
素朴な発想では、原点からだけ離れた点までの距離は、ユークリッド空間にならって
でよいのではないかと思いますが、実はこれはボツです。なぜかというと、見る座標系によって距離が変わってしまうからですね(ローレンツ不変でないということ)。相対論の本質とは、どこまでいっても座標変換での不変性!
思い出してみれば、ユークリッド空間での距離はガリレイ変換で不変なのでした:
たしかにこれはガリレイ不変ではあるが、当然ローレンツ不変ではない。ミンコフスキ時空では、ローレンツ変換に対して不変になるように距離の公式を定めるべきです。
ではどうすればローレンツ不変な距離公式が定められるのか?そこで便利なのが固有時という概念です:
系の原点に粒子がありそこに静止しているとする。このような系を粒子の静止系といい、この静止系における時間座標のことを(粒子の)固有時といってで表します。ローレンツ変換の式に従えば、いまだから、
ゆえに
これはローレンツ変換で不変な値となっている。なのでこれをミンコフスキ空間の距離の公式とすれば良さそうです。いまはとしていましたが、そうではない場合にはそうではない場合には
とすればいいです。
そもそもローレンツ変換というのは、光速度不変の原理から要請されたものであったから、上のような形をしていることは至極真っ当(本稿冒頭の式を参照)。
テンソル
特殊相対論での数学といえばテンソルですが、これは相対性原理と相性の良い道具です。そこでその性質と計算を簡単に述べます。以降、という書き方をします。こうすると、たとえば と書けて便利です。
さてここで、だけ離れた二つの世界点の間のベクトルを
というふうに表してみる。本稿ではアルファベットの添字は1,2,3を走り、ギリシャ文字の添字はを走ることにします。 さて、同一のベクトルを異なる座標系で見ても、同じものを見ているのだから
となるはずです。しかしそれでも、成分と基底ベクトルはそれぞれ座標変換で変わる。 基底ベクトルは
と表せるから、偏微分の連鎖律より、
と変換します。この座標変換を逆に見れば、当然
も成り立っていて、これと式(15)から
という変換則もわかります。この二つの変換則に従う量はベクトルと呼ばれます、一方のようにどの座標系で見ても値の変わらない量をスカラーといいます。上の式を用いると
これと先の式を比べると、
となってます。そこで、計量テンソルと呼ばれる次のような量を定義しましょう。
これがベクトルとベクトルの内積を決めるため、計量と呼ばれます。実は一般相対論を学ぶと、この計量が重力のポテンシャルとしての意味を担うことが分かります。
さて、座標変換の際の種々の変換則を書くと
というように変換しますね。上二つと下一つは互いに異なった変換をしているので、それぞれ共変、反変と呼んで両者を区別します。 ではなぜ、反変と共変という二つの変換則があるのか?
テンソルの何が嬉しいか、何がすごいのか
テンソルというのは添字がいくつもあって複雑な量にも見えますが、なぜこんなものを考えるのか。実はこのテンソルを使うと、相対性原理を満たすように方程式を書くことができます。その際に先の変換則が重要な役割を果たします。たとえばいま、ある座標系で、なんらかの方程式を というテンソル方程式で書けたとします。これは運動方程式でもマクスウェル方程式でもなんでもいいんですが、とにかく両辺がテンソルで書かれている。 さてこの式は という形にも書ける。 実はもうこの時点で、相対性原理が成立するのはほとんど自明になっているんです。というのは、いま別の座標系でのこのテンソルを とすれば、テンソルの変換則より
となりますが、系ではは全成分ゼロなのだから、それをいくら足し合わせてもゼロである。つまり がほとんど自動的に成り立ちます。これを先の系での式と比べてみれば、全く同じ形で方程式が成立していることが一目瞭然となっています。これがテンソル算法の威力です。
ではテンソルをつかった具体例として、古典電磁気学を考えてみます(ここを読み飛ばしても、それ以降を読み進めるのに問題はない)。
電磁気学の方程式をテンソルで書いてみる
マクスウェル方程式や、ローレンツ力の式は、テンソルで書くとどのようになるのか?
まずマクスウェル方程式のうち、
をテンソル形式で書き直します。これにはスカラーポテンシャルとベクトルポテンシャルを用いると便利です。
とすれば、
と書ける。両者似た形をしていますから、
という量を導入すると
であり、定義より、であることがすぐわかるから、
ちなみに、添字を上げると
こうして、電場と磁場は2階のテンソルになることがわかった(ベクトルではない!)。この時点で、先の二式はすでに満たされている。
残りの二式は
これらをfを用いて書き直すと、それぞれ
となるので、とすれば、
というふうに書ける。
最後は運動方程式(ローレンツ力の式)。
ここから、テンソルの方程式として
と想像できる。
相対論的力学
ニュートン力学はガリレイ不変な力学であった。ではローレンツ変換で不変な力学はどのようなものになるか?これは実はそんなに難しいことではないのですが、いわゆるの式が出てきたりして、色々面白いです。
まず、運動方程式がローレンツ変換で形を変えないということは、各種物理量(運動量、エネルギー、角運動量)はテンソル量とならなければいけません。
ローレンツ変換では、は時間に依存しない定数です。
こうすることで、テンソルとしての運動量を得られました。もちろんが小さいときには、たとえばこれの第3成分(成分)を見ると
となり、ニュートン力学での運動量と一致しています。という近似)。