14-2　ゲージ変換とローレンツ共変
f-denshi.com  ［目次へ］　最終更新日：09/06/10　　　　　(仮)まだちょっと読みにくい

１．ローレンツ・ゲージとクーロン・ゲージ

［１］　電磁ポテンシャルを用いたマクスウェルの方程式は，

（１）　Δφ＋ ∂divA  ＝− ρ
∂t ε
（４）　ΔA −εμ ∂2 A 　−grad εμ ∂φ  ＋ divA  ＝ −μj
∂t2 ∂t

で与えられます。ただし電磁ポテンシャルは，

（２）　E　＝−gradφ− ∂A
∂t
（３） B ＝ rot A

を満足するように選ばなければなりませんが，任意のスカラー関数χだけの自由度を持っていて，

A’ ＝ A ＋ grad χ　　
φ’ ＝ φ − ∂χ
∂t

となるA’，φ’を用いても数学的には同じ電磁気現象を記述することが可能ということでした。

［２］　この性質を利用して，適当な関数χを選び直すことで問題を解くために都合のよい電磁ポテンシャルを設定すれば，計算を楽に進めることができるようになります。よく用いられる基本的な「ゲージ」は次の２つです。

［ゲージ］　
div　A　＝ 0　　　　　　              ［ クーロン・ゲージ ］
div A ＋εμ ∂φ  ＝ 0　　　　　［ ローレンツ・ゲージ ］
∂t
　　

（ I ）　クーロン・ゲージ

クーロンゲージ とは， div A　＝ 0　となるようにχを選ぶと，マクスウェルの方程式の（１），（４）は，

（１）”   Δφ ＝− ρ                
ε
（４）”   ΔA−εμ ∂2A  −εμ ∂  gradφ ＝− μj
∂t2 ∂t

となります。（１）” 式がクーロンの法則に等価なポアッソンの方程式[#]そのもです。つまり，このゲージをもちいると，一般的な電磁気現象を取り扱う際に，静電気学の方程式を基に計算を進めることができるのです。　電磁場の量子化参照　⇒[#]

（ II ） ローレンツ・ゲージ

もう一つの電磁ポテンシャルであるローレンツゲージ ，

div A ＋εμ ∂φ  ＝ div A ＋ ∂φ  ＝ 0　
∂t c2∂t

を用いた場合の重要な特徴は，「ローレンツ変換に対して，マクスウェルの方程式が式の形を変えない(＝ローレンツ共変)」ことです。このゲージの下でのマクスウェルの方程式は，

（１）’ Δφ− ∂2φ  ＝− ρ 　    　
c2∂t2 ε
（４）’ ΔA− ∂2A  ＝− μ j　      　
c2∂t2

という対称性のよい２つの線形微分方程式になります。　さらに，

ダランベルシアン(演算子)：  □ ≡ Δ− ∂2
c2∂t2

を定義して用いると，

　  □ φ ＝−  ρ ，　および，　　　□ A  ＝−μj
ε

と極めて簡素な式となります。　ローレンツゲージは時間変化のある動的な現象の取り扱いに適しています。

［３］　ローレンツゲージの元では，マクスウェルの方程式は形を変えないと述べましたが，これを示すためには，先ず，ローレンツ変換の下で，ダランベルシアン が形を変えないことを示しましょう。それは以下のように計算して確かめられます。

ローレンツ変換[#]，

ct’＝γ (ct − βz)
x’ ＝ x　
y’ ＝ y
z’ ＝γ (z − βct)		 ただし，　　γ ＝ 1  ＞ 1，    β ＝ v
 1−β2
c

にしたがって，時間，空間変数の微分演算子の変換は[#]，

∂ ＝ ∂t’   ∂  ＋ ∂z’ ∂ 　　＝γ  ∂  −γβc ∂
∂t ∂t ∂t’ ∂t ∂z’ ∂t’ ∂z’
∂2 ＝γ2 ∂2  ＋(γβc)2 ∂2 −2γ2βc  ∂2 　　　　　････（３）
∂t2 ∂t’2 ∂z’2 ∂t’∂z’

および，

∂ ＝ ∂t’   ∂  ＋ ∂z’ ∂ 　　　＝−γβ  ∂  ＋γ ∂
∂z ∂z ∂t’ ∂z ∂z’ c∂t’ ∂z’
∂2 ＝(γβ)2  ∂2  ＋γ2 ∂2 −2γ2β ∂2 　　　　　････（４）
∂z2 c2∂t’2 ∂z’2 c∂t’∂z’

と変換されます。よって，（３），（４）より，

− ∂2 ＋ ∂2
c2∂t2 ∂z2
　　＝(−γ2＋(γβ)2)  ∂2  ＋(−(γβ)2＋γ2) ∂2 ＋(2γ2β−2γ2β) ∂2
c2∂t’2 ∂z’2 c∂t’∂z’
　　＝−  ∂2  ＋ ∂2
c2∂t’2 ∂z’2

一方，

∂2 ＝ ∂2  および， ∂2  ＝ ∂2
∂x2 ∂x’2 ∂y2 ∂y’2

したがって，

□≡ ∂2 ＋ ∂2  ＋ ∂2  − ∂2  ＝  ∂2 ＋ ∂2  ＋ ∂2  − ∂2 ≡□’
∂x2 ∂y2 ∂z2 c2∂t2 ∂x’2 ∂y’2 ∂z’2 c2∂t2

これは２つの座標系においてダランベルシアンが「同形」であることを意味しています。

２．ローレンツ共変

［１］　今度は電磁ポテンシャルがローレンツ変換によってどう変換されるかを見ていきます。ローレンツゲージにおける電磁ポテンシャルで表したマクスウェルの方程式は，

（１）    □ φ ＝−  ρ 　　　　　　　［ スカラーポテンシャル ］
ε
（２）    □ A  ＝−μj　　　　　　　　［ ベクトルポテンシャル ］
（３）　　div A ＋ ∂φ  ＝ 0　　　［ ローレンツ・ゲージ ］
c2∂t

となります。まず，電荷も電流も存在せず，右辺＝0　となる次の場合について考えます。

（１）’    □ φ　＝ 0 　　　　　
（２）’    □ A  ＝ 0　　　　　　

これらの演算子部分が，□→□’と変換されることは先程述べたとおりです。このとき，電磁ポテンシャルもφ→φ’，A→A’と変換されなければなりませんが，これまで述べてきたように観測者の立場によって，すなわち，座標系が換わると，電場，磁場は入り混じって変換されることから，電場，磁場を与える電磁ポテンシャルも座標変換(ローレンツ変換)によって入り混じって変換されるはずです。具体的にφ’，A’ の形を求めるために取りあえず，（３）の演算子部分だけをローレンツ変換してみると，

∂Ax ＋ ∂Ay ＋ ∂Az ＋ ∂φ ＝ ∂Ax ＋ ∂Ay ＋ −γβ ∂ ＋γ ∂ Az＋ γ ∂ −γβc ∂ φ
∂x ∂y ∂z c2∂t ∂x’ ∂y’ c∂t’ ∂z’ c2∂t’ c2∂z’
＝ ∂Ax ＋ ∂Ay ＋ ∂ γAz−γβ φ ＋ ∂ −γβcAz＋γφ ＝0　　　　（３）’
∂x’ ∂y’ ∂z’ c c2∂t’

となります。ここで，電磁ポテンシャルがローレンツ変換によって形を変えないとするならば，すなわち，

∂A’x ＋ ∂A’y ＋ ∂A’z ＋ ∂φ’ ＝0
∂x ∂y ∂z c2∂t

と表されるならば，電磁ポテンシャルは，

A’x＝Ax
A’y＝Ay
A’z＝γ Az−β φ 　　　　←A’zはAzとφとの１次結合となっている！
c
φ’ ＝γ φ −βAz 　　　　←φ’はAzとφとの１次結合となっている！
c c

と変換される必要があります。また，あるポテンシャル関数φ，A が（１）’，（２）’の解であるならば，その１次結合であるφ’もA’ も（１）’，（２）’の解となります。したがって，　

□φ＝0，　□Az＝0　 　　⇒　　□φ’＝□cγ φ −βAz ＝0，　□A’z＝γ Az−β φ ＝0
c c
　　　　　　　　　⇒　　□’φ’＝0，　□’A’＝ 0

と書き直してもよいことになります。つまり，（１），（２）もローレンツ変換に対して形式的な形を変えないことがわかります。最後の⇒では，ダランベルシアンがローレンツ変換に対して形を変えないことを利用しています。また，□A ＝0 は３つの微分方程式をベクトルの形で１つにまとめて表記していますが，今の場合，z成分だけが変換によって形を変えるので，途中，□Az ＝0 だけ抜き出して示しています。

［２］　次に電荷，電流も存在する一般的な場合を考えます。これは「電荷についての連続の式」[#]，

∂jx ＋ ∂jy ＋ ∂jz ＋ ∂ρ ＝0
∂x ∂y ∂z ∂t

がローレンツ変換によって形を変えないという条件から電磁ポテンシャルのときと同様な計算　(A ⇒J，φ/c ⇒cρとせよ)　から，

j’x＝jx
j’y＝jy
j’z＝γ(jz−βcρ)
cρ’＝γ(cρ−βjz)

と変換されることがわかります。以上を一般化した４元ベクトル (x0，x1，x2，x3) を用いてまとめると，

[ ローレンツ共変 ]

４元ベクトル　(ct，x，y，z)，(φ/c，Ax，Ay，Az)，(cρ，jx，jy，jz) はローレンツ変換，
x’0＝γ (x0 − βx3)
x’1 ＝ x1　
x’2 ＝ x2
x’3 ＝γ (x3 − βx0)

に従う。このように４元ベクトルが変換されることをローレンツ共変という。　（x の上添字は反変成分の意味だが，ここではタダの添字以上の役割はないので気にしなくてよい。)

これらの結果を総合すると，電磁ポテンシャルで表したマクスウェルの方程式は互いに等速運動する座標系(=慣性系)によって形式を変えずに表すことが可能であることがわかります。

電場と磁場を用いて表される電磁気現象は観測者の立場によってそれを記述する方程式が形を変えてしまいます。ある観測者にとっては電場と電荷の相互作用として取り扱われる現象が別の観測者にとっては磁場と電荷との相互作用も入り混じった現象として取り扱われ，理解されるようなことも起こり得ます。

ところが，このページで示したようにローレンツゲージのもとの電磁ポテンシャルを用いると，すべての慣性系の観測者にとって解くべき方程式は形が同一となるのです。となるような座標変換(=ローレンツ変換)が存在します。そのような意味で，電磁ポテンシャルの方が，電場，磁場より本質的な物理量であると考えることができます。



３．電磁場のローレンツ変換とビオ-サバールの法則の再導出

静止座標系とz方向を等速度vで進行する運動座標系で電磁場がどのように違って見えるか，

　　「静止系での電磁場をEx，Ey，Ez，Bx，By，Bz ，運動系の電磁場を E’x，E’y，E’z，B’x，B’y，B’z 」

として，座標変換の式を導出します。その際，座標の微分演算子の変換式[#]，

∂ 　＝γ  ∂  −γβc ∂
∂t ∂t’ ∂z’
∂ 　＝−γβ  ∂  ＋γ ∂
∂z c∂t’ ∂z’
∂ ＝ ∂
∂x ∂x’
∂ ＝ ∂
∂y ∂y’
逆変換は
→
β → -β
∂ 　＝γ  ∂  ＋γβc ∂
∂t’ ∂t ∂z
∂ 　＝γβ  ∂  ＋γ ∂
∂z’ c∂t ∂z
∂ ＝ ∂
∂x’ ∂x
∂ ＝ ∂
∂y’ ∂y

電磁ポテンシャルの4元ベクトルの変換式，

φ’＝γφ−γβcAz
A’x＝Ax
A’y＝Ay
A’z＝γ Az−β φ
c

および，

E　＝−gradφ− ∂A
∂t
B ＝ rot A

を利用します。以下，計算。

電場 ｘ成分

E’x＝− ∂φ’ − ∂A’x
∂x’ ∂t’
＝− ∂ (γφ−γβcAz)− γ  ∂  ＋γβc ∂ Ax
∂x ∂t ∂z
＝−γ ∂φ ＋γβc ∂Az  −γ ∂Ax −γβc  ∂Ax
∂x ∂x ∂t ∂z
＝γ − ∂φ  − ∂Ax −γβc ∂Ax −  ∂Az 　　←第１項は　E ＝-gradφ− ∂A のx成分
∂x ∂t ∂z ∂x ∂t
＝γ( Ex−vBy)

電場 y成分

E’y＝− ∂φ’ − ∂A’x
∂y’ ∂t’
＝− ∂ (γφ−γβcAz)− γ  ∂  ＋γβc ∂ Ay
∂y ∂t ∂z
＝−γ ∂φ  −γ ∂Ay ＋γβc ∂Az −γβc  ∂Ay 　　　　　　　←モニタ上で，Ayの下付き y が v のように見えることあり。
∂y ∂t ∂y ∂z
＝γ( Ey＋vBx)

電場 z成分

E’z＝− ∂φ’ − ∂A’z
∂z’ ∂t’
＝− γβ  ∂  ＋γ ∂ (γφ−γβcAz)− γ  ∂  ＋γβc ∂ γ Az−β φ
c∂t ∂z ∂t ∂z c
＝−(1−β2)γ2 ∂φ ＋γ2(β2−1) ∂Az
∂z ∂t
＝Ez　　　　　　　　　　　　　↑　(1−β2)γ2＝1

今度は磁束密度についてです。

磁束密度　x成分

B’x＝ ∂A’z − ∂A’y
∂y’ ∂z’
＝ ∂ γ Az−β φ − γβ  ∂  ＋γ ∂ Ay
∂y c c∂t ∂z
＝γ ∂Az − γ ∂Ay −γβ ∂φ −γβ  ∂Ay
∂y ∂z c∂y c∂t
＝γ Bx＋ v Ey
c2

磁束密度　y成分

B’y＝ ∂A’x − ∂A’z
∂z’ ∂x’
＝ γβ  ∂  ＋γ ∂ Ax− ∂ γ Az−β φ
c∂t ∂z ∂x c
＝γ ∂Ax −γ ∂Az ＋γβ ∂φ ＋γβ  ∂Ax
∂z ∂x c∂x c∂t
＝γ By− v Ex
c2

磁束密度　z成分

B’z＝ ∂A’y − ∂A’x
∂x’ ∂y’
＝ ∂Ay − ∂Ax
∂x ∂y
＝Bz

まとめると，

静止座標系Σの電磁場と運動座標系Σ’の電磁場との関係
E’x＝γ(Ex−vBy)　　　　　＝γ(E＋v×B )x成分
E’y＝γ(Ey＋vBx)　　　　　＝γ(E＋v×B )y成分
E’z＝Ez
B’x＝γ Bx＋ v Ey 　　　＝(B−(v×E )/c2)x成分
c2
B’y＝γ By− v Ex 　　　＝(B−v×E )/c2)y成分
c2
Bz’＝Bz

これらの結果からビオ-サバールの法則を導き出すこともできます。(10/07/27追加)


まず，座標変換によって影響を受けるのは運動方向 (z軸方向) に対して垂直なxy面内方向に限られるので，

E’(⊥)＝(E’x 　，E’y)＝γ｛E(⊥)＋(v×B)(⊥)｝
B’(⊥)＝(B’x　，B’y)＝γ｛B(⊥)−(v×E)(⊥)/c2｝

および，その逆変換(v→-v)，

E(⊥)＝(Ex，　Ey)＝γ｛E’(⊥)−(v×B’)(⊥)｝
B(⊥)＝(Bx，　By)＝γ｛B’(⊥)＋(v×E’)(⊥)/c2｝

を定義します。ただし，

v＝(0，0，v)
v×B＝(-vBy，vBx，0)，　　(v×B)(⊥)＝(-vBy，vBx)
v×E＝(vEy，-vEx，0)，　　(v×E)(⊥)＝(vEy，-vEx)

などであり，下添字 (⊥) は各３次元ベクトルのx，y成分を取り出した２次元ベクトルを意味することとします。

静止系において+z方向へ直線運動する電荷Qが存在するとき，運動座標系では電荷Qが静止して観察され，その電荷が作る静電場はクーロンの法則にしたがい，

E ’＝ Qr’
 4πε0r’ 3

となります。これを静止座標系で観測すると，　　(c2＝1/μ0ε0)

B(⊥)＝γ(v×E’)/c2
　　　　＝γ Q(v×r’)(⊥)
 4πε0c2r’ 3
　　　　＝γ μ0Q(v×r’)(⊥)
 4πr’ 3

となります。これは， Bz＝B’z ＝0 であることに注意して，(⊥)をはずすことができます。また，十分速度が遅い場合はγ≒1 とすることもでき，結局，上式はz軸方向へ速度vで運動する運動電荷Qに対するビオ-サバールの法則となっています。⇒[#]

なお，静止系における電場はB’＝0 であることから，E(⊥)＝(Ex，Ey)＝γE’(⊥)ですが，速度が十分遅いときはE ＝E ’です。


［目次へ］

CopyRight　フジエダ電子出版