マクスウェル方程式

ローレンツ変換を用いて、第5章の議論を繰り返す

時間変動する電磁場の方程式（＝マクスウェル方程式）を求める、という当初の問題にようやく取り組むことができる。ここまでの流れは次のようになる。運動方程式をガリレイ変換すれば、電磁場の変換則が得られて、電磁場の時間変化を与える方程式のヒントが得られるはずであった。しかしそこには矛盾が存在した（第5章）。矛盾を解消するためには、ローレンツ変換を考えればよく（第6章）、それに合わせて、運動方程式も相対論的なものへ置き換えればよかった（第7章）。

よって、相対論的運動方程式とローレンツ変換の用いて第5章の議論を繰り返せば、マクスウェル方程式に近づくことができるはずである。

この章では、上述のような議論により、電磁場のローレンツ変換を求めることにより、マクスウェル方程式()を導く。その後、それを使って、時間変化を求める方法について述べる： $電磁場のローレンツ変換マクスウェル方程式の導出電磁場および荷電粒子の時間発展$

8.1電磁場のローレンツ変換

この節では、電磁場のローレンツ変換()を求める。方針は次のとおりである。まず、前章で見たように、電荷を持つ物体の相対論的運動方程式はである。以外のローレンツ変換はすでに分かっているので、この式からのローレンツ変換が決まる。（を電磁テンソルという。）

電磁場のローレンツ変換：式()

まず、式()のローレンツ変換である。各量のローレンツ変換はを満たすので、これらを式()に代入するとよって、系において、荷電粒子の運動の測定から電磁場を求めるとのように見えることになる。

式()の展開：式()

式()だけではわかりづらいので、展開することを考える。そうすると、以下の【8.1-注1】のようになる。と平行な成分は変化せず、垂直成分のみが変化することが分かる。

【8.1-注1】電磁場のローレンツ変換

慣性系における運動方程式を、から見て速度で動いている別の慣性系から見た時、電磁場は以下の変換則を満たす：（添え字はそれぞれと平行・垂直成分）

導出

ローレン変換におけるヤコビ行列は、以下のようになる：（は正射影行列）これを式()に代入して行列積を計算すればよい：（は計算不要部分） $以下の【注】の式参照$

式()は、正射影行列を使わずに、以下のようにも書ける：

【8.1-注2】3次元のレヴィチヴィタ記号

レヴィチヴィタ記号は、以下で定義される：（添え字の範囲は） $は反対称$ 反対称とは、2つの添え字を入れ替えると符号が変わることを意味する：例えば。特に、同じ添え字が複数ある場合はゼロになる：例えば。同じ数字が表れない場合は、のどちらかである。

以下の公式が成り立つ：（は任意の行列、は任意のベクトル）

証明

式()の証明。クロスの定義と式()の右辺を見比べればよい。例えば、の時、右辺は、。

式()の証明。左辺は、添え字について反対称なので、に比例する。即ち、ある係数を用いて、と書ける。を示せばよい。とすると、はを満たす。この式を見ると、は、「の各列に対して線形」かつ「の列の入れ替えに対して反対称」かつ「であれば」であることが分かる。これは、行列式の定義に他ならない。よって、。

式()の証明。左辺を成分で表すと

なお、【8.1-注1】の部分の計算は、式()のをに置き換えたものを使えばよい：

8.2マクスウェル方程式の導出

この節では、電磁場の時間変化を記述する方程式である、マクスウェル方程式()を導出する。

電磁場のローレンツ変換が分かったので、これを使って、静電磁場のマクスウェル方程式：（第4章）のローレンツ変換を求めれば、それは時間微分を含むものになる。即ち、電磁場の時間微分が得られる。これが全ての電磁場に対して成り立つことを仮定すれば、電磁場の時間発展が計算できるようになる。

静的なマクスウェル方程式の変形：式()、式()

静電磁場のマクスウェル方程式()のローレンツ変換を考えたい。電磁テンソルのローレンツ変換()が分かっているので、式()を、を用いたもので書き換えたい。

まず、式()の上側の2式は、まとめてと書ける。静電磁場なので、時間微分が作用する赤字部分は任意性があるが、反対称行列となるようにとった。これを、と使った形で表すと、以下のように書ける：

次は、式()の下側の2式である。これらは、以下のようにまとめられる：この場合も、の取り方には任意性があるが、と同様に反対称になるようにとっている。をで表したい。これは、4次元のレヴィチヴィタ記号を使って、以下のようになる：（添え字の範囲は）を、のホッジ双対（そうつい）という。例えば、とすると、右辺はそれぞれなどのギリシャ文字は時間を含み、一方などのローマ字は空間のみを取るというのが相対論の習慣である。

マクスウェル方程式のローレンツ変換：式()→式()

静電磁場となる系を、それをローレンツ変換した系をとおく。上述のように、系における静電磁場のマクスウェル方程式は、式()と式()で与えられる：（再掲）ローレンツ変換によって、これらの式が系においてどうなるかを求めたい。そうすれば、変換後の系では、電磁場は静的ではなくなるので、動的な電磁場が満たすべき方程式が得られるだろう。

現状で変換則が分かっているのはである。加えて、以下の変換則が成り立つ：（以下の【8.2-注1】）これらを式()に代入してを使うととなる。即ち、式の形が式()と全く変わらない。

【8.2-注1】微分演算子のローレンツ変換

ローレンツ変換のもとで、微分演算子およびは、それぞれ以下のように変換する：

導出

式()の導出。任意の関数の微分は

式()の導出。

式()を成分で表すと、式()と式()そのものなので：となる。これをさらに静的な静的なマクスウェル方程式()と同じ形に分離すると、以下のようになる：（）

静電磁場を別の慣性系から見ると、式()が成り立つわけである。下側の2式は、静的な場合と同じである。上側の2式は電磁場の時間微分を与えるので、これにより電磁場の時間発展が計算できる。

ただし、今は静的な電磁場を別の慣性系から見ることを考えているのであって、一般の動的な電磁場を考えているのではない。従って、一般に式()が成り立つかは自明ではなく、実験的に検証する必要がある。ここでは、（電荷・電流密度が任意の時間変化をしている場合にも）常に式()が成り立つことを認めることにしよう。式()を、マクスウェル方程式という。

8.3電磁場および荷電粒子の時間発展

前節で求めたマクスウェル方程式()を使って、電磁場の時間発展が計算できる。この節では、当初の目的である、電磁気力を受ける荷電粒子の運動を記述する式()を導く。

マクスウェル方程式()の上側2式は、電磁場の時間発展を与える

マクスウェル方程式()の上側の2式は、電磁場の時間微分を与えているので、これを用いて、電磁場の時間発展を計算できる。実際、秒後の電磁場は、が十分小さければ以下のように近似できる：この計算を繰り返していくことで、任意の時刻の電磁場が計算できることになる。ただしそのためには、式()の右辺に含まれる電流密度の時間発展が分かっている必要がある（の時間発展は以下の式()から計算することもできる）。

マクスウェル方程式の残りは、初期条件と電荷・磁荷保存則を表す

式()の下側の2式は、時間発展には影響しないが、これらはどう扱うべきだろうか。当然、任意の時刻でこれらは満たしている必要がある。そのためには、これらの時間微分がでなければならない。実際に微分してみるとこれらがとなるのだから部分はである：前述のように、これは電荷保存則を表す。ガウスの法則は、を与えるものなので、との関係式を課すものとなるのは自然だろう。もう一方の式は、磁場の源となるもの（電場における電荷に対応するもの、磁荷）が存在しないことを表している。

逆に言えば、初期値が式()の下側の2式を満たし、それ以降の時刻で、電荷密度の時間発展が式()で与えられ、磁荷がゼロであれば、これら2式は自動的に成り立ち続けるわけである。

荷電粒子の運動は式()から計算できる

さて、もともと知りたかったのは、電磁気力を受ける荷電粒子の運動であった。上述のように電磁場の時間発展が計算できるので、は、相対論的運動方程式から計算できることになる：（は荷電粒子の電荷）はそれぞれ、力を「速度に対して平行な方向」と「垂直な方向」に分解したものである。物体の速度が光速より十分小さければ、としてよいので、非相対論的なもの帰着する：。

まとめると、荷電粒子の運動を計算するには、次のようにすればよい。まず、における初期条件として以下を与える： $荷電粒子の位置・速度：電荷・電流密度：電磁場：$ ただし、電磁場は、マクスウェル方程式()の下側2式を満たすようにとる。その後の、電流密度の時間変化が分かっているとすると、それぞれの量の時間発展は、以下の微分方程式により計算できる：あるいは、差分形式で書くと以下のようになる：の時間変化については、マクスウェル方程式()の第3式から直接求めることもできるし、電荷保存則から逐次計算して行くこともできる。

なお、ここではが既知であるとしたが、実際には、電流自体がクーロン力やアンペール力の影響を受ける。これを考慮する必要がある場合には、の時間発展も同時に計算する必要がある。