ガリレイ変換の矛盾

時間変化する電荷・電流密度の場合を考えたい

電磁場中を運動する荷電粒子の運動方程式は、第3章で述べたように となる（ は粒子の電荷）。電場 および磁場 は、それぞれクーロンの法則（1.3節）およびビオ・サバールの法則（2.3節）により決まる： よって、運動方程式が確定するので、これまでの目的であった「電場中での荷電粒子の運動 の計算」が実行できるようになった。ただし、電荷密度 および電流密度 は既知であるとする。

しかし、これで終わりではない。これまでは、静的な電荷・電流密度 の場合しか扱っておらず、これらが時間とともに変化する場合、即ち となる場合については、まだ何も言っていない。単純に、式()と式()の を で置き換えればよいのだろうか。結論から言うと、そう簡単ではないのである。

時間に依存する が作る電磁場の法則を得るための1つの方法は、実際に を変化させて、その周りの電磁場がどう変化するかを測定し、その結果を吟味することである。しかしここでは、理論的に議論する。方針はこうである。まず、静的な電荷・電流があるとする。その周りにはもちろん静的な電磁場が生じている。この系を とおく。「 に対して等速度 で動いている」観測者 から見れば、電荷・電流は で動いているように見える。よって、電磁場もそれに引きずられて「移動する」ことになる。よって、電磁場は時間変化することになる。 の座標系は、ガリレイ変換によって得られるのだから、冒頭の式をガリレイ変換すれば、 から見た電磁場 が計算できる。これにより、動的な場合の法則が、完全ではないかもしれないが、得られるはずである。

この章では、「電磁場のガリレイ変換」を実際に計算する。その結果、なんと、理論に矛盾が生じることが分かる。その後、電荷・電流密度 の変換則について、「マクスウェル方程式を用いた導出」と、「荷電粒子の世界線を用いた幾何学的な導出」を考え、それらが互いに矛盾することを見る。これらを、以下の3つの節に分けて議論する： 電磁場のガリレイ変換電荷・電流密度の変換則（マクスウェル方程式から）の変換則（荷電粒子の世界線から）

5.1電磁場 のガリレイ変換

この節では、実際に静電場のガリレイ変換を計算し、得られた電磁場の変換則()が、奇妙な矛盾を含むことを見る。

電磁場のガリレイ変換：式()

静電磁場の系 における点 を、 から見て速度 で移動している別の慣性系 から見た時の点 は、ガリレイ変換で与えられる：（力学編第4章の【4.3-注1】） 運動方程式()を 系から見たもの に変換するには、上式を式()に代入して を消去すれば良い：

この 系における電磁場 を求めるには、試験電荷の運動 を測定し、加速度 を求めたうえで、運動方程式 と見比べればよい。今の場合、 は式()となることが分かっているのだから、 は となる。電場は変化するが、磁場は慣性系によらないのである。右辺は、 の代わりに、式()を用いて、 としてもよい（ についても同様）。

式()は矛盾を含む

式()は、運動方程式をガリレイ変換しただけで得られたものなのだから、実験的にも正しいことは間違いない（少なくとも通常の実験では）。しかし厳密に見れば、第1式も第2式も、何かおかしいのである。

まず、式()の第1式には、磁場 が現れている。よって、 系において （即ち ）である場合であっても、 であれば、 系では （即ち ）となり得ることを示している。例えば、電流が流れている帯電していない直線導線を、電流に沿って運動している別の慣性系 から見ると、 なので、その導線は帯電して見えるということになるのではないか（以下の5.2節で実際にそうなることを導く）。観測者によって、電荷密度が変化することは、矛盾とまでは言えないが奇妙である。質量密度のような量についても、そのようなことがあるのだろうか。

一方、式()の第2式は、磁場 が慣性系によらないことを示しているが、これは矛盾を引き起こす。例えば、直線電荷があったとする。電荷が静止していれば、電流は生じないので、 系では である。これを、直線電荷に沿って運動している系 から見ると、電荷が動いて見えるのだから、電流が発生し、その周りに磁場が存在することになる。しかし、式()の第2式は、 を主張しており、矛盾している。

ただし、この矛盾を実験的に検証するのは非常に難しい。というのも、通常の実験で作り出せる は非常に小さく、その運動によって生じる磁場は、通常の電流によって生じる磁場に比べて桁違いに小さいのである。実際、 秒当たり の電流（＝ ）を流すことは、市販の乾電池を用いて実現可能な程度のものであるが、 の静電荷を用意することは現実的には不可能である。例えば、 離れた の電荷同士に働く力は、およそ という尋常ではない大きさである（ の物体が地球から受ける重力が 程度である）。しかし、理論的な矛盾を抱えているというは、やはり受け入れがたい。

5.2電荷・電流密度 の変換則（マクスウェル方程式から）

ガリレイ変換と電磁場の法則は矛盾を抱えていることが分かった。もう少し詳しく見る必要がありそうである。前節では電磁場の変換則について議論したので、この節では、電荷・電流密度の変換則を、特殊な場合について計算し、前節の問題を引き継いでいることを見る。

系から見ても静電磁場になる場合、電荷・電流密度の変換則が分かる

さて、特殊な場合というのは、 から見ても電磁場が静的となっている場合である。例えば、直線電荷や直線電流を、「直線に沿って運動する別の慣性系 」から観測すればよい。すると、 系から見ても電荷・電流は静的なままなので、電磁場も静的となる。

第4章で見たように、静電磁場 が分かれば、電荷・電流密度 は、マクスウェル方程式（ガウスの法則およびアンペールの法則） により求めることができる。 の変換則()と上式を用いれば、 も分かることになる。（式()は静電磁場を前提として求めたものなので、 系でも静電磁場になるような場合に限定する必要があったのである。）なお、 が慣性系によらないことは、相対性原理（力学編第4章の【4.2-注1】）から言える。

電荷・電流密度の変換則：式()

実際に式()を用いて、電荷・電流密度 を計算するには、式()に、電磁場の変換則()を代入すればよい。 であること（ガリレイ変換は座標だけ見れば単なる平行移動なので、座標の微分は変化しない）に注意すると となる。よって、 の変換則は以下のようになる： と は式()の関係を満たす。今は は静的なので、実際には 依存性はない。

この式はやはり、前節で述べた奇妙な点を引き継いでいる。第1式は、慣性系によって電荷密度が変化することを示している。特に、 系で電荷密度が であっても、 では となる可能性がある。ただし、 と非常に小さいので、右辺第2項が作る電場は、あったとしても通常の観測では確認できない。一方、第2式は、電流密度が慣性系によらないことを示している。しかし、上述のように、静止した直線電荷を、直線に沿って動いている観測者から見れば、電流が発生しているように見えるはずなので、やはり矛盾している（測定にはまずかからない大きさではあるが）。

5.3 の変換則（荷電粒子の世界線から）

この節では、電子の世界線を用いて、幾何学的に のガリレイ変換を求めると、式()が得られる。これは、前節の式()と異なっている。

電荷・電流密度 の変換則は、前章のように電磁場の測定から逆算する方法以外にも、座標変換から直接求めることができる。例えば、電子のみが分布している場合、 は「単位体積の中の電子の数」と「電子1個の電荷」の積なのだから、座標変換によよる単位体積の変化を求めれば、 の変化も決まることになる。

は、単位ベクトルを横切る世界線の数で表せる：式()、式()

まず、右図のように、時空図を描く。時空図は、横軸・縦軸にそれぞれ 軸・ 軸を取った図である。時空図上において、1つの電子は、同図赤線のように1本の曲線を描く。この曲線を、（電子の）世界線という。時空図は本来、時間1次元＋空間3次元の4次元の図になるが、簡単のため、空間は1次元で考えることにする。

次に、電荷分布がある場合、それを電子の集合であるとみなすと、時空図は無数の電子の世界線で覆われることになる。（電子でなくてもよいが、思考実験としては電子を考えておけば十分である。）さて、電荷密度 は、単位体積内に存在する電荷に等しいので、時空図上で見れば、「大きさが の単位ベクトル を横切る電子の世界線の数 」（右図赤色部分）と「1つの電子の電荷 」の積となる：（ は を 方向に横切る世界線の数） 電荷密度の変化が細かくて単位ベクトルだと大きすぎるという場合には、例えば大きさが のベクトルを使って得られた を 倍すればよい。電子以外の荷電粒子が存在していれば、それらの寄与を足し合わせる。

同様に、電流密度 は、1秒間にある点を通過する電荷に等しいので、「大きさが の単位ベクトル を横切る電子の世界線の数 」（同図青色部分）を用いて となる。なお、 は符号を持つが、同図のように 方向に横切る時に が正、逆方向に横切る時に負となるように定義すればよい。 で方向を指定して定義したのはこれに合わせるためである。

上記は、空間が1次元の場合であるが、多次元の場合にも容易に拡張できる。実際、2次元空間の場合は となる。ただし、 は2つの単位ベクトル が作る平行四辺形を 方向に通過する電子の数である（他も同様）。3次元空間の場合も同様である。

基底ベクトルの変換則：式()

上記のように考えて何がうれしいかというと、このように幾何学的に考えることで、座標変換のもとで単位ベクトル がどのように変化するかが分かれば、通過する世界線の数の変換も分かるので、電荷・電流密度 の変換則が決まるのである。

ただし、電子の電荷が、速度によって変化してしまうと、それを考慮に入れる必要が出てくる。ここでは、電子（などの荷電粒子）の電荷がその速度に依存しないことが実験的に確認されているとする（電荷が速度に依存すると、電荷が保存しなくなる）。そうすると相対性原理により、電子の電荷は、速度に依存せず、どの慣性系から見ても同じ値になる。

まず、単位ベクトルの変換則が知りたい。時間・空間座標 をまとめて と表し、単位ベクトル をまとめて と表すことにする（このように装飾の無いフォントをサンセリフ体という）： が座標変換でどのように変換するかは、純粋に幾何学的な問題であり、以下のようになる：（以下の【5.3-注1】） （ はヤコビ行列。）

の変換則：式()

後は、単位ベクトルが作る平行六面体を通過する電子の世界線の数がどのように変化するかが分かれば、目的である の変換則が求められることになる。

簡単のため、まず2次元時空を考える（時間1次元と空間1次元）。基底ベクトルを通過する世界線の数を考えているのだが、まず一般的に、任意の微小ベクトル を通過する世界線の数 を考える。世界線の方向を向くベクトルを と書く（大きさは後で決める）。 は、 と の1次関数であり、 に と平行なベクトルを足しても は変化しない。このような性質を持った量に見覚えがあるだろう。面積、あるいは、行列式である。

即ち、 は、 と が作る平行四辺形の「面積」、あるいは、行列式 に比例することになる（1次近似の範囲で）。ここで、 の大きさが不定だったので、等号が成り立つように決めることができる： 。基本的にはこれでよいのだが、単純な面積と違って、 は、どの方向に通過するかによって符が変わる。そこで、 の順で右手系をなしている時に正になるように定義すれば、座標変転で向きが変わったりすることはなくなる（時空の右手系は、時間軸が時間の進む方向で、空間の基底が右手系をなしている場合とする）。そうすれば、結局以下のようになる： は、座標系が右手系の時 、左手系の時 である（通常は右手系しか考えないので としておけばよい）。

空間が3次元（4次元時空）の場合は、同様に となる。 は、3つの微小ベクトル が作る平行六面体を通過する世界線の数である。そして、 の成分は となる。これは、式()に基底ベクトルを入れてみれば分かる。式()の左辺が座標変換で変わらないことから、 の変換則が得られる：（以下の【5.3-注2】）

のガリレイ変換：式()

式()は、あらゆる座標変換で成り立つ。今考えているガリレイ変換： の場合、ヤコビ行列： を代入すれば、以下のようになる： これは、マクスウェル方程式から導いた変換則()と異なる値である。電荷が で動いているように見えるので、電流に が加わった形のこちらのほうが自然である。