古典電磁気学の共変定式のソースを表示

'''[[古典電磁気学]]の[[ベクトルの共変性と反変性|共変]]定式'''（こてんでんじきがくのきょうへんていしき）は、古典電磁気学の法則（特に[[マクスウェル方程式]]と[[ローレンツ力]]）を[[ローレンツ変換]]のもとで明白に不変な形で、ユークリッド座標系の[[慣性系]]を使った[[特殊相対論]]の形式で書く方法を指す。これらの表現はともに古典電磁気学の法則がどの慣性座標系でも同じ形をとるということを証明するのを容易にし、場と力をある[[基準系]]から別の基準系へ変換する方法を提供してくれる。曲がった時空の場合や非ユークリッド座標系の場合はここでは対象外とする（曲がった時空の場合は {{仮リンク|曲がった時空のマクスウェル方程式|en|Maxwell's equations in curved spacetime}} を参照）。

この記事は[[テンソル]]の古典的扱いと[[アインシュタインの縮約記法]]をいたるところで使っており、[[ミンコフスキー空間|ミンコフスキー計量]]はdiag (-1, +1, +1, +1)という形式を取る{{疑問点|date=2021年7月|title=この記事中で 符号+−−− と書いている箇所もあるが、統一されていないのか？}}。方程式が真空中で成り立つものと明示されている場合、代わりに（[[分極電荷]]や[[磁化]]電流を含む）総電荷・総電流に関するマクスウェル方程式の定式化と見てもよい（参照: [[マクスウェルの方程式#一般の媒質中]]）。

共変形式での定式化の様々な概念的な意味を含む、古典電磁気学と特殊相対論の間の関係のより一般的な概要については{{仮リンク|古典電磁気学と特殊相対性理論|en|Classical electromagnetism and special relativity}}を参照。

== 共変的な物理量 ==
ニュートン的な物理量は[[ユークリッド空間]]における[[回転変換]]の下での変換性によってスカラー量やベクトル量、テンソル量として区別されていたが、相対論的な[[ミンコフスキー時空]]においてはローレンツ変換の下での変換性によってスカラー量やベクトル量、テンソル量として区別される。
ローレンツ変換の下でのベクトル量 {{mvar|V}} は[[4元ベクトル]]と呼ばれる。4元ベクトル {{mvar|V}} はニュートン的な空間におけるベクトル {{mvar|'''V'''}} と、対応するスカラー {{mvar|v}} の組が
: <math>V^\mu =(V^0, V^1,V^2,V^3) =(v,\boldsymbol{V})</math>
として対応する<ref>[[#landau|ランダウ, リフシッツ]] 17頁</ref>。
2階反対称テンソル量 {{mvar|F}} は独立成分が6つであり、ベクトルと[[擬ベクトル]]（軸性ベクトル）の組によって
: <math>F^{\mu\nu} =(F^{01},F^{02},F^{03}, F^{23},F^{31},F^{12}) =(\boldsymbol{F}_\text{v},\boldsymbol{F}_\text{a})</math>
として対応する<ref>[[#landau|ランダウ, リフシッツ]] 21頁</ref>。
2階対称テンソル量 {{mvar|S}} は独立成分が10であり、スカラーとベクトル、2階対称テンソルの組によって
: <math>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})</math>
として対応する。

ニュートン的なスカラー量やベクトル量は、組み合わせられる量に応じて変換性が異なる。

=== 時空の記述 ===
相対論では、ニュートン論的位置 {{mvar|'''x'''}} と、時間軸上の位置すなわち時刻 {{mvar|t}} とを合わせた4元ベクトル
: <math>x^\mu = (ct,\boldsymbol{x}) = (ct, x, y, z)</math>
で位置を記す。

時空上のスカラー場 {{mvar|&psi;}} に対する勾配は、時間変動と空間勾配と合わせて
: <math>\partial_\mu \psi(x) =\frac{\partial\psi}{\partial x^\mu} =\left( \frac{1}{c} \frac{\partial\psi}{\partial t}, \nabla\psi \right)</math>
とする。

平坦な時空において[[ダランベール演算子]]は
: <math>\partial^\mu \partial_\mu \psi(x) =-\frac{1}{c^2} \frac{\partial^2\psi}{\partial t^2} +\triangle\psi </math>
と表される。

=== 粒子の記述 ===
{{See also|相対論的力学}}
粒子の運動を記述する[[媒介変数]]を {{mvar|&lambda;}} として、粒子の位置が
: <math>x^\mu =X^\mu(\lambda)</math>
で表されるとき、自由粒子のラグランジュ関数に対して、[[4元運動量]]が
: <math>p_\mu(\lambda) = \frac{\partial L_X}{\partial\dot{X}^\mu}</math>
で定義される。4元運動量の成分は
: <math>p^\mu(\lambda) =(E/c,\boldsymbol{p})</math>
である。

=== 電磁場の記述 ===
==== 電磁ポテンシャル ====
{{Main|電磁ポテンシャル}}
電磁場を記述する基本的な力学変数はスカラーポテンシャル {{mvar|&phi;}} とベクトルポテンシャル {{mvar|'''A'''}} の組である。ニュートン的な空間においてスカラーとベクトルとして振舞うこれらの量は、相対論的な時空においては4元ベクトル
: <math>A^\mu(x) =(\phi/c, \boldsymbol{A})</math>
として振舞う。添え字を下に下げると
<math>A_\mu(x) =\eta_{\mu\nu} A^\nu(x) =(-\phi/c, \boldsymbol{A})</math>
である。

==== 電磁場テンソル ====
{{Main|電磁場テンソル}}
電荷に力を及ぼす場である[[電場|電場の強度]] {{mvar|'''E'''}} と[[磁束密度]] {{mvar|'''B'''}} は、ニュートン的な空間においてそれぞれ極性ベクトルと軸性ベクトルとして振舞う。
相対論的な時空においては2階の反対称テンソルとして振舞う電磁場強度
{{Indent|
<math>F^{\mu\nu}(x) =(\boldsymbol{E}/c,\boldsymbol{B})</math>
}}
となる。
電磁場強度は4元ポテンシャルの微分
{{Indent|
<math>F_{\mu\nu}(x) =\partial_\mu A_\nu(x) -\partial_\nu A_\mu(x)</math>
}}
により定義される<ref>[[#landau|ランダウ, リフシッツ]] 68頁</ref>。

[[エディントンのイプシロン|完全反対称テンソル]] {{mvar|&epsilon;}} により電磁場強度の双対テンソルが
{{Indent|
<math>\tilde{F}^{\mu\nu}(x) =\frac{1}{2}\varepsilon^{\mu\nu\rho\sigma} F_{\rho\sigma}(x) =(\boldsymbol{B},-\boldsymbol{E}/c)</math>
}}
により定義される<ref>[[#jackson|ジャクソン]] 819頁</ref>。

電荷の周囲に生じる場である[[電気変位]] {{mvar|'''D'''}} と[[磁場|磁場の強度]] {{mvar|'''H'''}} も同様に2階反対称テンソルとして振舞い
{{Indent|
<math>G^{\mu\nu}(x) =(\boldsymbol{D},\boldsymbol{H}/c)</math>
}}
となる<ref>[[#jackson|ジャクソン]] 820頁</ref>。

=== 源と媒質の記述 ===
==== 4元電流密度 ====
{{Main|4元電流密度}}
電磁場を作り出す源となる[[電荷密度]] {{mvar|&rho;}} と[[電流密度]] {{mvar|'''j'''}} は、相対論的な時空において4元ベクトル
: <math>J^\mu(x) = (c\rho, \boldsymbol{j} )</math>
として振舞う。

==== 分極テンソル ====
{{Main|電磁場テンソル}}
誘電体や磁性体などの媒質における、電場や磁場に対する応答を表す[[誘電分極]] {{mvar|'''P'''}} と[[磁化]] {{mvar|'''M'''}} は、2階反対称テンソル
: <math>P^{\mu\nu}(x) =(\boldsymbol{P},-\boldsymbol{M}/c)</math>
として振舞う。

電磁場強度 {{mvar|F}} および {{mvar|G}} との間に構成方程式
: <math>G^{\mu\nu}(x) =\frac{1}{Z_0} F^{\mu\nu}(x) +P^{\mu\nu}(x)</math>
を満たす。

== 電磁気学のラグランジュ形式 ==
電磁場を記述する系の力学変数は4元ポテンシャル {{mvar|A}} であり、一般化速度に相当する力学変数の微分は電磁場強度 {{mvar|F}} である。
作用汎関数
{{Indent|
<math>\mathcal{S}[A] =\int \mathcal{L}(A,F) \sqrt{-g}\, d^4x</math>
}}
から導かれる電磁場 {{mvar|A}} の運動方程式は
{{Indent|
<math>\begin{align}
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{align}</math>
}}
である。ここで {{math|&radic;-g}} は[[ヤコビ行列式]]であり、[[微分作用素]] <math>\mathcal{D}</math> は[[共変微分]]である。

=== 運動項 ===
電磁場の作用汎関数の運動項は
{{Indent|
<math>\mathcal{S}_A[A] =-\frac{1}{4Z_0} \int F^{\mu\nu}F_{\mu\nu}(x) \sqrt{-g}\, d^4x</math>
}}
であり<ref>[[#landau|ランダウ, リフシッツ]] 77頁</ref>、ラグランジュ関数は
{{Indent|
<math>\mathcal{L}_A(F) =-\frac{1}{4Z_0} F^{\mu\nu}F_{\mu\nu}(x)</math>
}}
である。電磁場の運動項は多くの力学系の運動項と同様に一般化速度の二次形式で書かれる。
ラグランジュ関数の微分は
{{Indent|
<math>\frac{\partial\mathcal{L}_A}{\partial F_{\nu\mu}} =-\frac{1}{2Z_0} F^{\nu\mu}(x)</math>
}}
となるので、運動項の汎関数微分は
{{Indent|
<math>\frac{\delta\mathcal{S}_A[A]}{\delta A_\mu(x)}
 =\frac{1}{Z_0} \mathcal{D}_\nu F^{\nu\mu}(x) \sqrt{-g}</math>
}}
となる。
=== 自由空間 ===
自由空間において荷電粒子と相互作用する電磁場の作用汎関数は粒子と電磁場の運動項、および相互作用項の和で
{{Indent|
<math>\mathcal{S}[X,A] =\mathcal{S}_X[X] +\mathcal{S}_A[A] +\mathcal{S}_\text{int}[X,A]</math>
}}
と書かれる。

相互作用項はどのような粒子であるかによって具体的な形が変わるが、粒子のふるまいを4元電流密度 {{mvar|J}} で表すことで、電磁場と粒子の相互作用項は
{{Indent|
<math>\mathcal{S}_\text{int}[X,A] =\frac{1}{c} \int J^\mu A_\mu(x) \sqrt{-g}\, d^4x</math>
}}
{{Indent|
<math>\mathcal{L}_\text{int} =\frac{1}{c} J^\mu A_\mu(x)</math>
}}
で与えられる<ref>[[#landau|ランダウ, リフシッツ]] 80頁</ref>。相互作用項の汎関数微分は
{{Indent|
<math>\frac{\delta\mathcal{S}_\text{int}[X,A]}{\delta A_\mu(x)} =\frac{1}{c} J^\mu(x) \sqrt{-g}</math>
}}
で与えられるので、電磁場 {{mvar|A}} に対する運動方程式としてマクスウェル方程式
{{Indent|
<math>\mathcal{D}_\nu F^{\nu\mu}(x) =-\frac{Z_0}{c} J^\mu(x)</math>
}}
が得られる。

=== 媒質中 ===
媒質が存在する場合は、媒質の状態を記述する力学変数として分極テンソル {{mvar|P}} が導入される。
媒質中での作用汎関数には、媒質と電磁場との相互作用と、媒質の自己相互作用を記述する部分が追加されて
{{Indent|
<math>\mathcal{S}[X,A,P] =\mathcal{S}_X[X] +\mathcal{S}_A[A] +\mathcal{S}_P[P] +\mathcal{S}_\text{int}[X,A,P]</math>
}}
で与えられる。相互作用項のラグランジュ関数は、再び4元電流密度 {{mvar|J}} を用いれば
{{Indent|
<math>\mathcal{L}_\text{int} =\frac{1}{c} J^\mu A_\mu(x) -\frac{1}{2} P^{\mu\nu} F_{\mu\nu}(x)</math>
}}
で与えられる。ラグランジュ関数の電磁場の強度 {{mvar|F}} による偏導関数は
{{Indent|
<math>\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}</math>
}}
であり、サブ電磁テンソル {{mvar|G}} が導かれる。サブ電磁テンソルは、ラグランジュ関数の速度による偏導関数である共役運動量と対応している。

運動方程式として
{{Indent|
<math>\mathcal{D}_\nu G^{\nu\mu}(x) =-\frac{1}{c} J^\mu(x)</math>
}}
が導かれる。

==== 線形媒質 ====
媒質の自己相互作用の具体的な形は媒質の性質に依存するが、一様等方的な線形媒質の場合は二次形式だけを残して
{{Indent|
<math>\mathcal{L}_P(P) =\frac{1}{4\chi} P^{\mu\nu} P_{\mu\nu}</math>
}}
となる。理論に微分を含まないので、分極テンソルは力学変数ではなく補助場である。拘束条件として
{{Indent|
<math>P_{\mu\nu} =\chi F_{\mu\nu}</math>
}}
が導かれる。

== マクスウェル方程式 ==
{{Main|マクスウェル方程式}}

電磁場の作用汎関数から運動方程式として
{{Indent|
<math>\mathcal{D}_\nu G^{\nu\mu}(x) =-\frac{1}{c} J^\mu(x)</math>
}}
が導かれた。
方程式はマクスウェル方程式のうち、ソースとの結合を表す[[ガウスの法則]]とマクスウェルにより変位電流が追加された[[アンペールの法則]]である。

残りの式は電磁場強度 {{mvar|F}} の定義式から導かれる[[ビアンキ恒等式]]
{{Indent|
<math>\partial_\rho F_{\mu\nu} +\partial_\mu F_{\nu\rho} +\partial_\nu F_{\rho\mu} =0</math>
}}
が成り立つ<ref name="landau-pg75">[[#landau|ランダウ, リフシッツ]] 75頁</ref>。
双対テンソルを用いれば
{{Indent|
<math>\partial_\mu \tilde{F}^{\mu\nu} =\frac{1}{2} \epsilon^{\mu\nu\rho\sigma}\partial_\mu F_{\rho\sigma} =0</math>
}}
と表すことも出来る<ref name="landau-pg75"/>。磁気に対するガウスの法則と[[ファラデーの電磁誘導の法則]]である。

=== 構成方程式 ===
電磁場の力学変数である4元ポテンシャル {{mvar|A}} に共役な運動量として、[[構成方程式]]
{{Indent|
<math>\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)</math>
}}
が導かれた。これを用いて運動方程式を変形すれば
{{Indent|
<math>\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]</math>
}}
となる。ここで導入された拘束電流密度
{{Indent|
<math>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)</math>
}}
は分極電荷密度と分極電流密度、および磁化電流密度である。

=== 自由空間におけるマクスウェル方程式 ===
自由空間においては分極が存在せず運動方程式が
{{Indent|
<math>\mathcal{D}_\nu F^{\nu\mu}(x) =-\frac{Z_0}{c} J^\mu(x)</math>
}}
となる。
平坦な時空において標準座標を用いた場合は共変微分が通常の偏微分に置き換えられて
{{Indent|
<math>\partial_\nu F^{\nu\mu}(x) =-\frac{Z_0}{c} J^\mu(x)</math>
}}
である。これとビアンキ恒等式を用いれば
{{Indent|
<math>\begin{align}
\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{align}</math>
}}
が導かれる。これは電磁場強度に対する電磁波の[[波動方程式]]である。

=== ポテンシャル表示 ===
平坦な時空において電磁場強度 {{mvar|F}} の定義を用いると
{{Indent|
<math>\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)</math>
}}
となる。
ローレンツ・ゲージ {{math|1={{mvar|&part;{{sub|&mu;}} A{{sup|&mu;}}}} = 0}} の条件を課すと
{{Indent|
<math>\partial^2 A^\mu =\partial_\nu\partial^\nu A^\mu =-\frac{Z_0}{c} J^\mu(x)</math>
}}
として4元ポテンシャルに対する電磁波の波動方程式が導かれる。
ローレンツ・ゲージはクーロン・ゲージなどと異なりローレンツ不変なゲージ条件である。

== ローレンツ力 ==
{{Main|ローレンツ力}}
[[ファイル:Lorentz_force_particle.svg|サムネイル|212x212ピクセル|運動している（[[電荷]]<nowiki/>qの）荷電粒子に対する[[ローレンツ力]] '''f''' （瞬間速度 '''v''')。[[電場|'''E'''場]]および[[磁場|'''B'''場]]は空間および時間で異なる。]]

電磁場と相互作用する古典的な荷電粒子系を考えると、電磁場と荷電粒子の相互作用項は
{{Indent|
<math>\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^4x \\
\end{aligned}</math>
}}
で与えられる。{{mvar|X}} に対する汎関数微分は
{{Indent|
<math>\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}</math>
}}
となる。
これと自由粒子の作用汎関数 {{mvar|S{{sub|X}}}} から荷電粒子 {{mvar|X}} に対する運動方程式が
{{Indent|
<math>\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</math>
}}
{{Indent|
<math>\dot{p}_{i\mu}(\lambda) = -q_i\dot{X}_i^\nu(\lambda)\, F_{\nu\mu}(X_i)</math>
}}
が得られる。

運動の媒介変数 {{mvar|&lambda;}} として時刻 {{mvar|t}} を選べば、空間成分に対して
{{Indent|
<math>\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)</math>
}}
となり、[[ローレンツ力]]を再現する。なお、時間成分は
{{Indent|
<math>\frac{dE}{dt} =q_i\frac{d\boldsymbol{X}_i}{dt}\cdot\boldsymbol{E}(\boldsymbol{X}_i,t)</math>
}}
であり、ローレンツ力（[[クーロン力]]）による[[仕事率]]を与える。

=== 帯電連続体 ===
{{Main|連続体力学}}
[[ファイル:Lorentz_force_continuum.svg|サムネイル|251x251ピクセル|運動中の連続[[電荷密度|電荷分布]]([[電荷密度|charge density]] ρ)における空間体積'''f'''あたりのローレンツ力]]
空間部分がローレンツ力である電磁気による力の密度は、次で与えられる。
: <math>f_{\alpha} = F_{\alpha\beta}J^{\beta} .\!</math>
そしてこれは電磁気応力 - エネルギーテンソルと次のような関係にある。
: <math>f^{\alpha} = - {T^{\alpha\beta}}_{,\beta} \equiv  - \frac{\partial T^{\alpha\beta}}{\partial x^\beta}.</math>

== 電磁場のエネルギーと運動量 ==
{{See also|エネルギー・運動量テンソル}}
電磁場の運動項で[[計量テンソル]] {{mvar|g}} を顕わに書けば
{{Indent|
<math>\mathcal{L}_A(g,F) =-\frac{1}{4Z_0} g^{\mu\nu} g^{\rho\sigma} F_{\mu\rho} F_{\nu\sigma}</math>
}}
となるので<ref name="landau-pg304">[[#landau|ランダウ, リフシッツ]] 304頁</ref>、電磁場の応力・エネルギー・運動量テンソルは
{{Indent|
<math>T^{\mu\nu}(x) =2\frac{\partial\mathcal{L}_A}{\partial g_{\mu\nu}} +g^{\mu\nu} \mathcal{L}_A
 =\frac{1}{Z_0} \left[ F^{\mu\rho} F^\nu{}_\rho -\frac{1}{4} g^{\mu\nu} F^{\rho\sigma} F_{\rho\sigma} \right]</math>
}}
で与えられる<ref name="landau-pg304"/>。

エネルギー・テンソルは[[対称テンソル]]であり、その成分は電磁場の[[エネルギー密度]] {{mvar|u}}、エネルギーの[[流束密度]]である[[ポインティング・ベクトル]] {{mvar|'''S'''}}、および[[マクスウェルの応力テンソル]] {{mvar|'''&sigma;'''}}
{{Indent|
<math>T^{\mu\nu} =(u,\boldsymbol{S}/c, \boldsymbol{\sigma})</math>
}}
である。

== 保存則 ==
=== 電荷の保存 ===
4元電流密度の発散を計算すれば
{{Indent|
<math>\mathcal{D}_\mu J^\mu=J^\mu{}_{;\mu} = -c G^{\nu\mu}{}_{;\nu\mu} =0</math>
}}
として、共変微分の可換性と電磁場テンソルの交代性からゼロとなり、[[電荷保存則]]が導かれる。

=== 電磁場のエネルギーと運動量の保存 ===
電磁場のエネルギー・運動量テンソルの発散を計算すれば
{{Indent|
<math>\mathcal{D}_\mu T^\mu{}_\nu =T^\mu{}_{\nu;\mu}
 =\frac{1}{Z_0} \left[ F^{\mu\rho}{}_{;\mu}F_{\nu\rho}  +F^{\mu\rho} F_{\nu\rho;\mu} -\frac{1}{2} F^{\rho\sigma} F_{\rho\sigma;\nu} \right]
 =\frac{1}{Z_0} J^\rho F_{\nu\rho}</math>
}}
となり、電磁場テンソルと4元電流密度と関係付けられる。
これは電磁相互作用によるエネルギーと運動量の保存則を表す。

==脚注==
{{reflist|2}}

==参考文献==
*{{cite book | author=Einstein, A. | title=Relativity: The Special and General Theory | location= New York | publisher=Crown| year=1961 | isbn=0-517-02961-8}}
*{{cite book |author1=Misner, Charles |author2=Thorne, Kip S. |author3=Wheeler, John Archibald | title=Gravitation | location=San Francisco | publisher=W. H. Freeman | year=1973 | isbn=0-7167-0344-0}}
*{{cite book |author1=R. P. Feynman |author2=F. B. Moringo |author3=W. G. Wagner | title=Feynman Lectures on Gravitation | publisher=Addison-Wesley | year=1995 | isbn=0-201-62734-5}}
* {{Cite book|和書
|author1=L.D.ランダウ|authorlink1=レフ・ランダウ|author2=E.M.リフシッツ|authorlink2=エフゲニー・リフシッツ
|title=場の古典論
|series=[[理論物理学教程]]
|publisher=[[東京図書]]
|year=1978
|isbn=4-489-01161-X
|ref=landau
}}
* {{Cite book|和書
|author=J.D.ジャクソン
|title=電磁気学
|series=物理学叢書
|publisher=[[吉岡書店]]
|year=2003
|isbn=4-8427-0308-3
|ref=jackson
}}

==関連項目==
* {{仮リンク|共変古典場理論|en|Covariant classical field theory}}
* [[電磁テンソル]]
* {{仮リンク|電磁波方程式|en|Electromagnetic wave equation}}
* [[リエナール・ヴィーヘルト・ポテンシャル]]
* {{仮リンク|動く磁石と導体問題|en|Moving magnet and conductor problem}}
* {{仮リンク|不均一電磁場方程式|en|Nonhomogeneous electromagnetic wave equation}}
* [[プロカ方程式]]
* [[量子電磁力学]]
* {{仮リンク|相対論的電磁気学|en|Relativistic electromagnetism}}
* {{仮リンク|シュテュッケルベルク拡張|en|Stueckelberg action}}
* {{仮リンク|ホイーラー・ファインマンの吸収対理論|en|Wheeler–Feynman absorber theory}}

{{Physics-footer}}
{{電磁気学}}
{{tensors}}

[[Category:特殊相対性理論]]
[[Category:電磁気学]]
[[Category:物理学の概念]]
{{デフォルトソート:こてんてんしきかくのきようへんていしき}}