古典電磁気学 の共変 定式 (こてんでんじきがくのきょうへんていしき)は、古典電磁気学の法則(特にマクスウェル方程式 とローレンツ力 )をローレンツ変換 のもとで明白に不変な形で、ユークリッド座標系の慣性系 を使った特殊相対論 の形式で書く方法を指す。これらの表現はともに古典電磁気学の法則がどの慣性座標系でも同じ形をとるということを証明するのを容易にし、場と力をある基準系 から別の基準系へ変換する方法を提供してくれる。曲がった時空の場合や非ユークリッド座標系の場合はここでは対象外とする(曲がった時空の場合は 曲がった時空のマクスウェル方程式(英語版 ) を参照)。
この記事はテンソル の古典的扱いとアインシュタインの縮約記法 をいたるところで使っており、ミンコフスキー計量 はdiag (-1, +1, +1, +1)という形式を取る[疑問点 – ノート ] 。方程式が真空中で成り立つものと明示されている場合、代わりに(分極電荷 や磁化 電流を含む)総電荷・総電流に関するマクスウェル方程式の定式化と見てもよい(参照: マクスウェルの方程式#一般の媒質中 )。
共変形式での定式化の様々な概念的な意味を含む、古典電磁気学と特殊相対論の間の関係のより一般的な概要については古典電磁気学と特殊相対性理論(英語版 ) を参照。
共変的な物理量
ニュートン的な物理量はユークリッド空間 における回転変換 の下での変換性によってスカラー量やベクトル量、テンソル量として区別されていたが、相対論的なミンコフスキー時空 においてはローレンツ変換の下での変換性によってスカラー量やベクトル量、テンソル量として区別される。
ローレンツ変換の下でのベクトル量 V は4元ベクトル と呼ばれる。4元ベクトル V はニュートン的な空間におけるベクトル V と、対応するスカラー v の組が
V
μ
=
(
V
0
,
V
1
,
V
2
,
V
3
)
=
(
v
,
V
)
{\displaystyle V^{\mu }=(V^{0},V^{1},V^{2},V^{3})=(v,{\boldsymbol {V})}
として対応する[1] 。
2階反対称テンソル量 F は独立成分が6つであり、ベクトルと擬ベクトル (軸性ベクトル)の組によって
F
μ
ν
=
(
F
01
,
F
02
,
F
03
,
F
23
,
F
31
,
F
12
)
=
(
F
v
,
F
a
)
{\displaystyle F^{\mu \nu }=(F^{01},F^{02},F^{03},F^{23},F^{31},F^{12})=({\boldsymbol {F}_{\text{v},{\boldsymbol {F}_{\text{a})}
として対応する[2] 。
2階対称テンソル量 S は独立成分が10であり、スカラーとベクトル、2階対称テンソルの組によって
S
μ
ν
=
(
S
00
;
S
01
,
S
02
,
S
03
;
S
11
,
S
22
,
S
33
,
S
23
,
S
31
,
S
12
)
=
(
s
,
S
v
,
S
t
)
{\displaystyle S^{\mu \nu }=(S^{00};S^{01},S^{02},S^{03};S^{11},S^{22},S^{33},S^{23},S^{31},S^{12})=(s,{\boldsymbol {S}_{\text{v},{\boldsymbol {S}_{\text{t})}
として対応する。
ニュートン的なスカラー量やベクトル量は、組み合わせられる量に応じて変換性が異なる。
時空の記述
相対論では、ニュートン論的位置 x と、時間軸上の位置すなわち時刻 t とを合わせた4元ベクトル
x
μ
=
(
c
t
,
x
)
=
(
c
t
,
x
,
y
,
z
)
{\displaystyle x^{\mu }=(ct,{\boldsymbol {x})=(ct,x,y,z)}
で位置を記す。
時空上のスカラー場 ψ に対する勾配は、時間変動と空間勾配と合わせて
∂
μ
ψ
(
x
)
=
∂
ψ
∂
x
μ
=
(
1
c
∂
ψ
∂
t
,
∇
ψ
)
{\displaystyle \partial _{\mu }\psi (x)={\frac {\partial \psi }{\partial x^{\mu }=\left({\frac {1}{c}{\frac {\partial \psi }{\partial t},\nabla \psi \right)}
とする。
平坦な時空においてダランベール演算子 は
∂
μ
∂
μ
ψ
(
x
)
=
−
1
c
2
∂
2
ψ
∂
t
2
+
△
ψ
{\displaystyle \partial ^{\mu }\partial _{\mu }\psi (x)=-{\frac {1}{c^{2}{\frac {\partial ^{2}\psi }{\partial t^{2}+\triangle \psi }
と表される。
粒子の記述
粒子の運動を記述する媒介変数 を λ として、粒子の位置が
x
μ
=
X
μ
(
λ
)
{\displaystyle x^{\mu }=X^{\mu }(\lambda )}
で表されるとき、自由粒子のラグランジュ関数に対して、4元運動量 が
p
μ
(
λ
)
=
∂
L
X
∂
X
˙
μ
{\displaystyle p_{\mu }(\lambda )={\frac {\partial L_{X}{\partial {\dot {X}^{\mu }
で定義される。4元運動量の成分は
p
μ
(
λ
)
=
(
E
/
c
,
p
)
{\displaystyle p^{\mu }(\lambda )=(E/c,{\boldsymbol {p})}
である。
電磁場の記述
電磁ポテンシャル
電磁場を記述する基本的な力学変数はスカラーポテンシャル φ とベクトルポテンシャル A の組である。ニュートン的な空間においてスカラーとベクトルとして振舞うこれらの量は、相対論的な時空においては4元ベクトル
A
μ
(
x
)
=
(
ϕ
/
c
,
A
)
{\displaystyle A^{\mu }(x)=(\phi /c,{\boldsymbol {A})}
として振舞う。添え字を下に下げると
A
μ
(
x
)
=
η
μ
ν
A
ν
(
x
)
=
(
−
ϕ
/
c
,
A
)
{\displaystyle A_{\mu }(x)=\eta _{\mu \nu }A^{\nu }(x)=(-\phi /c,{\boldsymbol {A})}
である。
電磁場テンソル
電荷に力を及ぼす場である電場の強度 E と磁束密度 B は、ニュートン的な空間においてそれぞれ極性ベクトルと軸性ベクトルとして振舞う。
相対論的な時空においては2階の反対称テンソルとして振舞う電磁場強度
F
μ
ν
(
x
)
=
(
E
/
c
,
B
)
{\displaystyle F^{\mu \nu }(x)=({\boldsymbol {E}/c,{\boldsymbol {B})}
となる。
電磁場強度は4元ポテンシャルの微分
F
μ
ν
(
x
)
=
∂
μ
A
ν
(
x
)
−
∂
ν
A
μ
(
x
)
{\displaystyle F_{\mu \nu }(x)=\partial _{\mu }A_{\nu }(x)-\partial _{\nu }A_{\mu }(x)}
により定義される[3] 。
完全反対称テンソル ε により電磁場強度の双対テンソルが
F
~
μ
ν
(
x
)
=
1
2
ε
μ
ν
ρ
σ
F
ρ
σ
(
x
)
=
(
B
,
−
E
/
c
)
{\displaystyle {\tilde {F}^{\mu \nu }(x)={\frac {1}{2}\varepsilon ^{\mu \nu \rho \sigma }F_{\rho \sigma }(x)=({\boldsymbol {B},-{\boldsymbol {E}/c)}
により定義される[4] 。
電荷の周囲に生じる場である電気変位 D と磁場の強度 H も同様に2階反対称テンソルとして振舞い
G
μ
ν
(
x
)
=
(
D
,
H
/
c
)
{\displaystyle G^{\mu \nu }(x)=({\boldsymbol {D},{\boldsymbol {H}/c)}
となる[5] 。
源と媒質の記述
4元電流密度
電磁場を作り出す源となる電荷密度 ρ と電流密度 j は、相対論的な時空において4元ベクトル
J
μ
(
x
)
=
(
c
ρ
,
j
)
{\displaystyle J^{\mu }(x)=(c\rho ,{\boldsymbol {j})}
として振舞う。
分極テンソル
誘電体や磁性体などの媒質における、電場や磁場に対する応答を表す誘電分極 P と磁化 M は、2階反対称テンソル
P
μ
ν
(
x
)
=
(
P
,
−
M
/
c
)
{\displaystyle P^{\mu \nu }(x)=({\boldsymbol {P},-{\boldsymbol {M}/c)}
として振舞う。
電磁場強度 F および G との間に構成方程式
G
μ
ν
(
x
)
=
1
Z
0
F
μ
ν
(
x
)
+
P
μ
ν
(
x
)
{\displaystyle G^{\mu \nu }(x)={\frac {1}{Z_{0}F^{\mu \nu }(x)+P^{\mu \nu }(x)}
を満たす。
電磁気学のラグランジュ形式
電磁場を記述する系の力学変数は4元ポテンシャル A であり、一般化速度に相当する力学変数の微分は電磁場強度 F である。
作用汎関数
S
[
A
]
=
∫
L
(
A
,
F
)
−
g
d
4
x
{\displaystyle {\mathcal {S}[A]=\int {\mathcal {L}(A,F){\sqrt {-g}\,d^{4}x}
から導かれる電磁場 A の運動方程式は
0
=
δ
S
[
A
]
δ
A
μ
(
x
)
=
∂
L
∂
A
μ
−
g
−
∂
ν
[
∂
L
∂
(
∂
ν
A
μ
)
−
g
]
=
∂
L
∂
A
μ
−
g
−
2
∂
ν
[
∂
L
∂
F
ν
μ
−
g
]
=
[
∂
L
∂
A
μ
−
2
D
ν
∂
L
∂
F
ν
μ
]
−
g
{\displaystyle {\begin{aligned}0={\frac {\delta {\mathcal {S}[A]}{\delta A_{\mu }(x)}&={\frac {\partial {\mathcal {L}{\partial A_{\mu }{\sqrt {-g}-\partial _{\nu }\left[{\frac {\partial {\mathcal {L}{\partial (\partial _{\nu }A_{\mu })}{\sqrt {-g}\right]\\&={\frac {\partial {\mathcal {L}{\partial A_{\mu }{\sqrt {-g}-2\,\partial _{\nu }\left[{\frac {\partial {\mathcal {L}{\partial F_{\nu \mu }{\sqrt {-g}\right]\\&=\left[{\frac {\partial {\mathcal {L}{\partial A_{\mu }-2\,{\mathcal {D}_{\nu }{\frac {\partial {\mathcal {L}{\partial F_{\nu \mu }\right]{\sqrt {-g}\\\end{aligned}
である。ここで √-g はヤコビ行列式 であり、微分作用素
D
{\displaystyle {\mathcal {D}
は共変微分 である。
運動項
電磁場の作用汎関数の運動項は
S
A
[
A
]
=
−
1
4
Z
0
∫
F
μ
ν
F
μ
ν
(
x
)
−
g
d
4
x
{\displaystyle {\mathcal {S}_{A}[A]=-{\frac {1}{4Z_{0}\int F^{\mu \nu }F_{\mu \nu }(x){\sqrt {-g}\,d^{4}x}
であり[6] 、ラグランジュ関数は
L
A
(
F
)
=
−
1
4
Z
0
F
μ
ν
F
μ
ν
(
x
)
{\displaystyle {\mathcal {L}_{A}(F)=-{\frac {1}{4Z_{0}F^{\mu \nu }F_{\mu \nu }(x)}
である。電磁場の運動項は多くの力学系の運動項と同様に一般化速度の二次形式で書かれる。
ラグランジュ関数の微分は
∂
L
A
∂
F
ν
μ
=
−
1
2
Z
0
F
ν
μ
(
x
)
{\displaystyle {\frac {\partial {\mathcal {L}_{A}{\partial F_{\nu \mu }=-{\frac {1}{2Z_{0}F^{\nu \mu }(x)}
となるので、運動項の汎関数微分は
δ
S
A
[
A
]
δ
A
μ
(
x
)
=
1
Z
0
D
ν
F
ν
μ
(
x
)
−
g
{\displaystyle {\frac {\delta {\mathcal {S}_{A}[A]}{\delta A_{\mu }(x)}={\frac {1}{Z_{0}{\mathcal {D}_{\nu }F^{\nu \mu }(x){\sqrt {-g}
となる。
自由空間
自由空間において荷電粒子と相互作用する電磁場の作用汎関数は粒子と電磁場の運動項、および相互作用項の和で
S
[
X
,
A
]
=
S
X
[
X
]
+
S
A
[
A
]
+
S
int
[
X
,
A
]
{\displaystyle {\mathcal {S}[X,A]={\mathcal {S}_{X}[X]+{\mathcal {S}_{A}[A]+{\mathcal {S}_{\text{int}[X,A]}
と書かれる。
相互作用項はどのような粒子であるかによって具体的な形が変わるが、粒子のふるまいを4元電流密度 J で表すことで、電磁場と粒子の相互作用項は
S
int
[
X
,
A
]
=
1
c
∫
J
μ
A
μ
(
x
)
−
g
d
4
x
{\displaystyle {\mathcal {S}_{\text{int}[X,A]={\frac {1}{c}\int J^{\mu }A_{\mu }(x){\sqrt {-g}\,d^{4}x}
L
int
=
1
c
J
μ
A
μ
(
x
)
{\displaystyle {\mathcal {L}_{\text{int}={\frac {1}{c}J^{\mu }A_{\mu }(x)}
で与えられる[7] 。相互作用項の汎関数微分は
δ
S
int
[
X
,
A
]
δ
A
μ
(
x
)
=
1
c
J
μ
(
x
)
−
g
{\displaystyle {\frac {\delta {\mathcal {S}_{\text{int}[X,A]}{\delta A_{\mu }(x)}={\frac {1}{c}J^{\mu }(x){\sqrt {-g}
で与えられるので、電磁場 A に対する運動方程式としてマクスウェル方程式
D
ν
F
ν
μ
(
x
)
=
−
Z
0
c
J
μ
(
x
)
{\displaystyle {\mathcal {D}_{\nu }F^{\nu \mu }(x)=-{\frac {Z_{0}{c}J^{\mu }(x)}
が得られる。
媒質中
媒質が存在する場合は、媒質の状態を記述する力学変数として分極テンソル P が導入される。
媒質中での作用汎関数には、媒質と電磁場との相互作用と、媒質の自己相互作用を記述する部分が追加されて
S
[
X
,
A
,
P
]
=
S
X
[
X
]
+
S
A
[
A
]
+
S
P
[
P
]
+
S
int
[
X
,
A
,
P
]
{\displaystyle {\mathcal {S}[X,A,P]={\mathcal {S}_{X}[X]+{\mathcal {S}_{A}[A]+{\mathcal {S}_{P}[P]+{\mathcal {S}_{\text{int}[X,A,P]}
で与えられる。相互作用項のラグランジュ関数は、再び4元電流密度 J を用いれば
L
int
=
1
c
J
μ
A
μ
(
x
)
−
1
2
P
μ
ν
F
μ
ν
(
x
)
{\displaystyle {\mathcal {L}_{\text{int}={\frac {1}{c}J^{\mu }A_{\mu }(x)-{\frac {1}{2}P^{\mu \nu }F_{\mu \nu }(x)}
で与えられる。ラグランジュ関数の電磁場の強度 F による偏導関数は
∂
L
∂
F
μ
ν
=
−
1
2
Z
0
F
μ
ν
−
1
2
P
μ
ν
=
−
1
2
G
μ
ν
{\displaystyle {\frac {\partial {\mathcal {L}{\partial F_{\mu \nu }=-{\frac {1}{2Z_{0}F^{\mu \nu }-{\frac {1}{2}P^{\mu \nu }=-{\frac {1}{2}G^{\mu \nu }
であり、サブ電磁テンソル G が導かれる。サブ電磁テンソルは、ラグランジュ関数の速度による偏導関数である共役運動量と対応している。
運動方程式として
D
ν
G
ν
μ
(
x
)
=
−
1
c
J
μ
(
x
)
{\displaystyle {\mathcal {D}_{\nu }G^{\nu \mu }(x)=-{\frac {1}{c}J^{\mu }(x)}
が導かれる。
線形媒質
媒質の自己相互作用の具体的な形は媒質の性質に依存するが、一様等方的な線形媒質の場合は二次形式だけを残して
L
P
(
P
)
=
1
4
χ
P
μ
ν
P
μ
ν
{\displaystyle {\mathcal {L}_{P}(P)={\frac {1}{4\chi }P^{\mu \nu }P_{\mu \nu }
となる。理論に微分を含まないので、分極テンソルは力学変数ではなく補助場である。拘束条件として
P
μ
ν
=
χ
F
μ
ν
{\displaystyle P_{\mu \nu }=\chi F_{\mu \nu }
が導かれる。
マクスウェル方程式
電磁場の作用汎関数から運動方程式として
D
ν
G
ν
μ
(
x
)
=
−
1
c
J
μ
(
x
)
{\displaystyle {\mathcal {D}_{\nu }G^{\nu \mu }(x)=-{\frac {1}{c}J^{\mu }(x)}
が導かれた。
方程式はマクスウェル方程式のうち、ソースとの結合を表すガウスの法則 とマクスウェルにより変位電流が追加されたアンペールの法則 である。
残りの式は電磁場強度 F の定義式から導かれるビアンキ恒等式
∂
ρ
F
μ
ν
+
∂
μ
F
ν
ρ
+
∂
ν
F
ρ
μ
=
0
{\displaystyle \partial _{\rho }F_{\mu \nu }+\partial _{\mu }F_{\nu \rho }+\partial _{\nu }F_{\rho \mu }=0}
が成り立つ[8] 。
双対テンソルを用いれば
∂
μ
F
~
μ
ν
=
1
2
ϵ
μ
ν
ρ
σ
∂
μ
F
ρ
σ
=
0
{\displaystyle \partial _{\mu }{\tilde {F}^{\mu \nu }={\frac {1}{2}\epsilon ^{\mu \nu \rho \sigma }\partial _{\mu }F_{\rho \sigma }=0}
と表すことも出来る[8] 。磁気に対するガウスの法則とファラデーの電磁誘導の法則 である。
構成方程式
電磁場の力学変数である4元ポテンシャル A に共役な運動量として、構成方程式
∂
L
∂
(
∂
ν
A
μ
)
=
G
μ
ν
(
x
)
=
1
Z
0
F
μ
ν
(
x
)
+
P
μ
ν
(
x
)
{\displaystyle {\frac {\partial {\mathcal {L}{\partial (\partial _{\nu }A_{\mu })}=G^{\mu \nu }(x)={\frac {1}{Z_{0}F^{\mu \nu }(x)+P^{\mu \nu }(x)}
が導かれた。これを用いて運動方程式を変形すれば
D
ν
F
ν
μ
(
x
)
=
−
Z
0
c
J
μ
(
x
)
−
Z
0
D
ν
P
ν
μ
(
x
)
=
−
Z
0
c
[
J
μ
(
x
)
+
J
b
μ
(
x
)
]
{\displaystyle {\mathcal {D}_{\nu }F^{\nu \mu }(x)=-{\frac {Z_{0}{c}J^{\mu }(x)-Z_{0}{\mathcal {D}_{\nu }P^{\nu \mu }(x)=-{\frac {Z_{0}{c}\left[J^{\mu }(x)+J_{\text{b}^{\mu }(x)\right]}
となる。ここで導入された拘束電流密度
J
b
μ
(
x
)
=
c
D
ν
P
ν
μ
(
x
)
=
(
−
div
P
,
∂
P
∂
t
+
rot
M
)
{\displaystyle J_{\text{b}^{\mu }(x)=c{\mathcal {D}_{\nu }P^{\nu \mu }(x)=\left(-\operatorname {div} {\boldsymbol {P},{\frac {\partial {\boldsymbol {P}{\partial t}+\operatorname {rot} {\boldsymbol {M}\right)}
は分極電荷密度と分極電流密度、および磁化電流密度である。
自由空間におけるマクスウェル方程式
自由空間においては分極が存在せず運動方程式が
D
ν
F
ν
μ
(
x
)
=
−
Z
0
c
J
μ
(
x
)
{\displaystyle {\mathcal {D}_{\nu }F^{\nu \mu }(x)=-{\frac {Z_{0}{c}J^{\mu }(x)}
となる。
平坦な時空において標準座標を用いた場合は共変微分が通常の偏微分に置き換えられて
∂
ν
F
ν
μ
(
x
)
=
−
Z
0
c
J
μ
(
x
)
{\displaystyle \partial _{\nu }F^{\nu \mu }(x)=-{\frac {Z_{0}{c}J^{\mu }(x)}
である。これとビアンキ恒等式を用いれば
∂
2
F
μ
ν
=
∂
ρ
∂
ρ
F
μ
ν
=
∂
ρ
[
∂
μ
F
ρ
ν
−
∂
ν
F
ρ
μ
]
=
∂
μ
∂
ρ
F
ρ
ν
−
∂
ν
∂
ρ
F
ρ
μ
=
−
Z
0
c
[
∂
μ
J
ν
−
∂
ν
J
μ
]
{\displaystyle {\begin{aligned}\partial ^{2}F^{\mu \nu }&=\partial _{\rho }\partial ^{\rho }F^{\mu \nu }\\&=\partial _{\rho }[\partial ^{\mu }F^{\rho \nu }-\partial ^{\nu }F^{\rho \mu }]\\&=\partial ^{\mu }\partial _{\rho }F^{\rho \nu }-\partial ^{\nu }\partial _{\rho }F^{\rho \mu }\\&=-{\frac {Z_{0}{c}\left[\partial ^{\mu }J^{\nu }-\partial ^{\nu }J^{\mu }\right]\\\end{aligned}
が導かれる。これは電磁場強度に対する電磁波の波動方程式 である。
ポテンシャル表示
平坦な時空において電磁場強度 F の定義を用いると
∂
ν
F
ν
μ
(
x
)
=
∂
ν
∂
ν
A
μ
−
∂
μ
∂
ν
A
ν
=
−
Z
0
c
J
μ
(
x
)
{\displaystyle \partial _{\nu }F^{\nu \mu }(x)=\partial _{\nu }\partial ^{\nu }A^{\mu }-\partial ^{\mu }\partial _{\nu }A^{\nu }=-{\frac {Z_{0}{c}J^{\mu }(x)}
となる。
ローレンツ・ゲージ ∂μ Aμ = 0 の条件を課すと
∂
2
A
μ
=
∂
ν
∂
ν
A
μ
=
−
Z
0
c
J
μ
(
x
)
{\displaystyle \partial ^{2}A^{\mu }=\partial _{\nu }\partial ^{\nu }A^{\mu }=-{\frac {Z_{0}{c}J^{\mu }(x)}
として4元ポテンシャルに対する電磁波の波動方程式が導かれる。
ローレンツ・ゲージはクーロン・ゲージなどと異なりローレンツ不変なゲージ条件である。
ローレンツ力
運動している(電荷 qの)荷電粒子に対するローレンツ力 f (瞬間速度 v )。E 場 およびB 場 は空間および時間で異なる。
電磁場と相互作用する古典的な荷電粒子系を考えると、電磁場と荷電粒子の相互作用項は
S
int
[
X
,
A
]
=
∑
i
q
i
∫
X
˙
i
μ
(
λ
)
A
μ
(
X
i
)
d
λ
=
∫
∑
i
q
i
(
∫
X
˙
i
μ
(
λ
)
δ
4
(
X
i
(
λ
)
−
x
)
d
λ
)
A
μ
(
x
)
d
4
x
{\displaystyle {\begin{aligned}S_{\text{int}[X,A]&=\sum _{i}q_{i}\int {\dot {X}_{i}^{\mu }(\lambda )\,A_{\mu }(X_{i})\,d\lambda \\&=\int \sum _{i}q_{i}\left(\int {\dot {X}_{i}^{\mu }(\lambda )\,\delta ^{4}(X_{i}(\lambda )-x)\,d\lambda \right)A_{\mu }(x)\,d^{4}x\\\end{aligned}
で与えられる。X に対する汎関数微分は
δ
S
int
[
X
,
A
]
δ
X
i
μ
(
λ
)
=
∂
L
int
∂
X
i
μ
−
d
d
λ
∂
L
int
∂
X
˙
i
μ
=
q
i
X
˙
i
ν
(
λ
)
∂
μ
A
ν
(
X
i
)
−
q
i
d
d
λ
A
μ
(
X
i
)
=
q
i
X
˙
i
ν
(
λ
)
∂
μ
A
ν
(
X
i
)
−
q
i
X
˙
i
ν
∂
ν
A
μ
(
X
i
)
=
−
q
i
X
˙
i
ν
(
λ
)
F
ν
μ
(
X
i
)
{\displaystyle {\begin{aligned}{\frac {\delta S_{\text{int}[X,A]}{\delta X_{i}^{\mu }(\lambda )}&={\frac {\partial L_{\text{int}{\partial X_{i}^{\mu }-{\frac {d}{d\lambda }{\frac {\partial L_{\text{int}{\partial {\dot {X}_{i}^{\mu }\\&=q_{i}{\dot {X}_{i}^{\nu }(\lambda )\,\partial _{\mu }A_{\nu }(X_{i})-q_{i}{\frac {d}{d\lambda }A_{\mu }(X_{i})\\&=q_{i}{\dot {X}_{i}^{\nu }(\lambda )\,\partial _{\mu }A_{\nu }(X_{i})-q_{i}{\dot {X}_{i}^{\nu }\partial _{\nu }A_{\mu }(X_{i})\\&=-q_{i}{\dot {X}_{i}^{\nu }(\lambda )\,F_{\nu \mu }(X_{i})\\\end{aligned}
となる。
これと自由粒子の作用汎関数 SX から荷電粒子 X に対する運動方程式が
δ
S
X
[
X
]
δ
X
i
μ
(
λ
)
+
δ
S
int
[
X
,
A
]
δ
X
i
μ
(
λ
)
=
−
p
˙
i
μ
(
λ
)
−
q
i
X
˙
i
ν
(
λ
)
F
ν
μ
(
X
i
)
=
0
{\displaystyle {\frac {\delta S_{X}[X]}{\delta X_{i}^{\mu }(\lambda )}+{\frac {\delta S_{\text{int}[X,A]}{\delta X_{i}^{\mu }(\lambda )}=-{\dot {p}_{i\mu }(\lambda )-q_{i}{\dot {X}_{i}^{\nu }(\lambda )\,F_{\nu \mu }(X_{i})=0}
p
˙
i
μ
(
λ
)
=
−
q
i
X
˙
i
ν
(
λ
)
F
ν
μ
(
X
i
)
{\displaystyle {\dot {p}_{i\mu }(\lambda )=-q_{i}{\dot {X}_{i}^{\nu }(\lambda )\,F_{\nu \mu }(X_{i})}
が得られる。
運動の媒介変数 λ として時刻 t を選べば、空間成分に対して
d
p
d
t
=
q
i
E
(
X
i
,
t
)
+
q
d
X
i
d
t
×
B
(
X
i
,
t
)
{\displaystyle {\frac {d{\boldsymbol {p}{dt}=q_{i}{\boldsymbol {E}({\boldsymbol {X}_{i},t)+q{\frac {d{\boldsymbol {X}_{i}{dt}\times {\boldsymbol {B}({\boldsymbol {X}_{i},t)}
となり、ローレンツ力 を再現する。なお、時間成分は
d
E
d
t
=
q
i
d
X
i
d
t
⋅
E
(
X
i
,
t
)
{\displaystyle {\frac {dE}{dt}=q_{i}{\frac {d{\boldsymbol {X}_{i}{dt}\cdot {\boldsymbol {E}({\boldsymbol {X}_{i},t)}
であり、ローレンツ力(クーロン力 )による仕事率 を与える。
帯電連続体
運動中の連続電荷分布 (charge density ρ)における空間体積f あたりのローレンツ力
空間部分がローレンツ力である電磁気による力の密度は、次で与えられる。
f
α
=
F
α
β
J
β
.
{\displaystyle f_{\alpha }=F_{\alpha \beta }J^{\beta }.\!}
そしてこれは電磁気応力 - エネルギーテンソルと次のような関係にある。
f
α
=
−
T
α
β
,
β
≡
−
∂
T
α
β
∂
x
β
.
{\displaystyle f^{\alpha }=-{T^{\alpha \beta }_{,\beta }\equiv -{\frac {\partial T^{\alpha \beta }{\partial x^{\beta }.}
エネルギーと運動量
電磁応力 - エネルギーテンソルは、運動量4元ベクトルの流束密度 と解釈することができ、全体の応力 - エネルギーテンソル に対する電磁場の寄与である反変対称テンソル である。
T
α
β
=
(
ϵ
0
E
2
/
2
+
B
2
/
2
μ
0
S
x
/
c
S
y
/
c
S
z
/
c
S
x
/
c
−
σ
x
x
−
σ
x
y
−
σ
x
z
S
y
/
c
−
σ
y
x
−
σ
y
y
−
σ
y
z
S
z
/
c
−
σ
z
x
−
σ
z
y
−
σ
z
z
)
,
{\displaystyle T^{\alpha \beta }={\begin{pmatrix}\epsilon _{0}E^{2}/2+B^{2}/2\mu _{0}&S_{x}/c&S_{y}/c&S_{z}/c\\S_{x}/c&-\sigma _{xx}&-\sigma _{xy}&-\sigma _{xz}\\S_{y}/c&-\sigma _{yx}&-\sigma _{yy}&-\sigma _{yz}\\S_{z}/c&-\sigma _{zx}&-\sigma _{zy}&-\sigma _{zz}\end{pmatrix}\,,}
ε 0 は真空の誘電率 、μ 0 は真空の透磁率 。ポインティング・ベクトル は
S
=
1
μ
0
E
×
B
{\displaystyle \mathbf {S} ={\frac {1}{\mu _{0}\mathbf {E} \times \mathbf {B} }
と表され、マクスウェルの応力テンソル は以下で与えられる。
σ
i
j
=
ϵ
0
E
i
E
j
+
1
μ
0
B
i
B
j
−
(
1
2
ϵ
0
E
2
+
1
2
μ
0
B
2
)
δ
i
j
.
{\displaystyle \sigma _{ij}=\epsilon _{0}E_{i}E_{j}+{\frac {1}{\mu _{0}B_{i}B_{j}-\left({\frac {1}{2}\epsilon _{0}E^{2}+{\frac {1}{2\mu _{0}B^{2}\right)\delta _{ij}\,.}
電磁場テンソルF は次式により電磁応力 - エネルギーテンソルT を構築する。
T
α
β
=
1
μ
0
(
η
γ
ν
F
α
γ
F
ν
β
+
1
4
η
α
β
F
γ
ν
F
γ
ν
)
{\displaystyle T^{\alpha \beta }={\frac {1}{\mu _{0}\left(\eta _{\gamma \nu }F^{\alpha \gamma }F^{\nu \beta }+{\frac {1}{4}\eta ^{\alpha \beta }F_{\gamma \nu }F^{\gamma \nu }\right)}
η はミンコフスキー計量 テンソル(符号+−−−)。次の事実を用いる。
ϵ
0
μ
0
c
2
=
1
,
{\displaystyle \epsilon _{0}\mu _{0}c^{2}=1\,,}
これはマクスウェル方程式により予測されるものである。
保存則
電荷
連続方程式
J
α
,
α
=
d
e
f
∂
α
J
α
=
0
.
{\displaystyle {J^{\alpha }_{,\alpha }\,{\stackrel {\mathrm {def} }{=}\,\partial _{\alpha }J^{\alpha }\,=\,0\,.}
電荷保存則 を表す。
電磁気エネルギー - 運動量
マクスウェル方程式を用いると、(上で定義された)電磁応力 - エネルギーテンソル は次の微分方程式を満たし、 これを電磁テンソルと電流4元テンソルと関係づけることがわかる。
T
α
β
,
β
+
F
α
β
J
β
=
0
{\displaystyle {T^{\alpha \beta }_{,\beta }+F^{\alpha \beta }J_{\beta }=0}
もしくは
η
α
ν
T
ν
β
,
β
+
F
α
β
J
β
=
0
,
{\displaystyle \eta _{\alpha \nu }{T^{\nu \beta }_{,\beta }+F_{\alpha \beta }J^{\beta }=0,}
これは電磁相互作用による線形運動量とエネルギー保存を表す。
脚注
参考文献
関連項目
Glossary of tensor theory(英語版 ) 範囲 (Scope )
表記法 (Notation ) テンソルの定義 算法 関連事項 有名なテンソル
数学者
カテゴリ