楽しい科学(理論)チャンネル
マクスウェル方程式のローレンツ不変性
実はローレンツ力の段階でかなり準備はできている。電場、磁束密度を電磁ポテンシャルを用いて、書き換えることで、ローレンツ力は特殊相対性原理を満たすことができた。今回はマクスウェル方程式を電磁ポテンシャルを使って書き換えよう。まずはマクスウェル方程式の復習から入っていきたい。
** 磁気のガウスの法則 **
を満たす関数としてベクトルポテンシャルがで定義された。なら自動的にが成り立つ。ベクトルポテンシャルを定義した時点で、磁気のガウスの法則は満たされる。電場はクーロン電場と誘導電場の和で表せる。(磁場は磁気単子がないので誘導磁場のみを考えればよい。)クーロン電場をのようにスカラーポテンシャルを使って表すことができる。
** ファラデーの法則 **
を用いることで、電場は、のようになる。こちらを定義にしても(2)を自動的に満たす。
** アンペールの法則 **
を電磁ポテンシャルを使うことで、
のように表せる。
** 電気のガウスの法則 **
を電磁気ポテンシャルを使って表すと、
(1)(2)式は電磁ポテンシャルの定義から派生できるので、(3)(4)式がマクスウェル方程式である。には任意性があり、
** ローレンツゲージ **
となるようにとると、マクスウェル方程式は
ここで、ミンコフスキー空間の座標と4元ベクトルポテンシャルを用いてローレンツゲージは
のように表せる。偏微分の記号を簡略して縮約を取ると、
はの逆変換を受けるので、
ローレンツ変換に依らない。4元電流を定義する。(5)式の成分は
他の成分や(6)式も同様にできるので、
これが特殊相対性理論でのローレンツゲージのマクスウェル方程式である。はローレンツ変換に依らないので、マクスウェル方程式のローレンツ変換は
4元電流のローレンツ変換を
のように定義するという自然な仮定でマクスウェル方程式は特殊相対性原理を満たす。
**4元電流のローレンツ変換**
ミンコフスキー空間の位置ベクトルが、のようにローレンツ変換されるなら、4元電流のローレンツ変換は、
となる。
**相対性理論のマクスウェル方程式**
4元ベクトルポテンシャル、4元電流について、ローレンツゲージ、のマクスウェル方程式は
のように表せる。4元電流が4元位置ベクトルと同様のローレンツ変換を受けるなら慣性系に依らず成り立つ。
今回は式がきれいになるのでローレンツゲージを使いましたが一般的なマクスウェル方程式でもローレンツ変換不変です。電磁気の物理法則は4元ベクトルポテンシャル、4元電流が位置ベクトルと同様のローレンツ変換をするという自然な仮定するだけで、特に何も直さずに成立しました。ローレンツ変換で添え字が変わったりしますが、法則が変わっているわけではありません。例えば
和を取るものであれば、でもでも関係ありません。
これも同じです。
の4つの法則が成り立っていてそれを代表してやと表しているわけです。が表すのは同じ4つの式になります。