古典電磁気学の共変定式

古典電磁気学の共変定式（こてんでんじきがくのきょうへんていしき）は、古典電磁気学の法則（特にマクスウェル方程式とローレンツ力）をローレンツ変換のもとで明白に不変な形で、ユークリッド座標系の慣性系を使った特殊相対論の形式で書く方法を指す。これらの表現はともに古典電磁気学の法則がどの慣性座標系でも同じ形をとるということを証明するのを容易にし、場と力をある基準系から別の基準系へ変換する方法を提供してくれる。曲がった時空の場合や非ユークリッド座標系の場合はここでは対象外とする（曲がった時空の場合は を参照）。
この記事はテンソルの古典的扱いとアインシュタインの縮約記法をいたるところで使っており、ミンコフスキー計量はdiag (-1, +1, +1, +1)という形式を取る。方程式が真空中で成り立つものと明示されている場合、代わりに（分極電荷や磁化電流を含む）総電荷・総電流に関するマクスウェル方程式の定式化と見てもよい（参照: マクスウェルの方程式#一般の媒質中）。
共変形式での定式化の様々な概念的な意味を含む、古典電磁気学と特殊相対論の間の関係のより一般的な概要についてはを参照。
共変的な物理量.
ニュートン的な物理量はユークリッド空間における回転変換の下での変換性によってスカラー量やベクトル量、テンソル量として区別されていたが、相対論的なミンコフスキー時空においてはローレンツ変換の下での変換性によってスカラー量やベクトル量、テンソル量として区別される。
ローレンツ変換の下でのベクトル量 は4元ベクトルと呼ばれる。4元ベクトル はニュートン的な空間におけるベクトル と、対応するスカラー の組が
として対応する。
2階反対称テンソル量 は独立成分が6つであり、ベクトルと擬ベクトル（軸性ベクトル）の組によって
として対応する。
2階対称テンソル量 は独立成分が10であり、スカラーとベクトル、2階対称テンソルの組によって
として対応する。
ニュートン的なスカラー量やベクトル量は、組み合わせられる量に応じて変換性が異なる。
時空の記述.
ニュートン的な空間における位置 は、相対論的な時空において、時間 とともに4元ベクトル
を構成する。時空上のスカラー場 に対する勾配は
である。平坦な時空においてダランベール演算子は
と表される。
粒子の記述.
粒子の運動を記述する媒介変数を として、粒子の位置が
で表されるとき、自由粒子のラグランジュ関数に対して、4元運動量が
で定義される。4元運動量の成分は
である。
電磁場の記述.
電磁ポテンシャル.
電磁場を記述する基本的な力学変数はスカラーポテンシャル とベクトルポテンシャル の組である。ニュートン的な空間においてスカラーとベクトルとして振舞うこれらの量は、相対論的な時空においては4元ベクトル
として振舞う。添え字を下に下げると
formula_11
である。
電磁場テンソル.
電荷に力を及ぼす場である電場の強度 と磁束密度 は、ニュートン的な空間においてそれぞれ極性ベクトルと軸性ベクトルとして振舞う。
相対論的な時空においては2階の反対称テンソルとして振舞う電磁場強度
となる。
電磁場強度は4元ポテンシャルの微分
により定義される。
完全反対称テンソル により電磁場強度の双対テンソルが
により定義される。
電荷の周囲に生じる場である電気変位 と磁場の強度 も同様に2階反対称テンソルとして振舞い
となる。
源と媒質の記述.
4元電流密度.
電磁場を作り出す源となる電荷密度 と電流密度 は、相対論的な時空において4元ベクトル
として振舞う。
分極テンソル.
誘電体や磁性体などの媒質における、電場や磁場に対する応答を表す誘電分極 と磁化 は、2階反対称テンソル
として振舞う。
電磁場強度 および との間に構成方程式
を満たす。
電磁気学のラグランジュ形式.
電磁場を記述する系の力学変数は4元ポテンシャル であり、一般化速度に相当する力学変数の微分は電磁場強度 である。
作用汎関数
から導かれる電磁場 の運動方程式は
 -\partial_\nu \left[ \frac{\partial\mathcal{L}}{\partial(\partial_\nu A_\mu)} \sqrt{-g} \right] \\
 -2\,\partial_\nu \left[ \frac{\partial\mathcal{L}}{\partial F_{\nu\mu}} \sqrt{-g} \right] \\
 -2\,\mathcal{D}_\nu \frac{\partial\mathcal{L}}{\partial F_{\nu\mu}} \right] \sqrt{-g} \\
\end{align}</math>
である。ここで はヤコビ行列式であり、微分作用素 formula_15 は共変微分である。
運動項.
電磁場の作用汎関数の運動項は
であり、ラグランジュ関数は
である。電磁場の運動項は多くの力学系の運動項と同様に一般化速度の二次形式で書かれる。
ラグランジュ関数の微分は
 =-\frac{1}{2Z_0} F^{\nu\mu}(x)</math>
となるので、運動項の汎関数微分は
となる。
自由空間.
自由空間において荷電粒子と相互作用する電磁場の作用汎関数は粒子と電磁場の運動項、および相互作用項の和で
と書かれる。
相互作用項はどのような粒子であるかによって具体的な形が変わるが、粒子のふるまいを4元電流密度 で表すことで、電磁場と粒子の相互作用項は
で与えられる。相互作用項の汎関数微分は
で与えられるので、電磁場 に対する運動方程式としてマクスウェル方程式
が得られる。
媒質中.
媒質が存在する場合は、媒質の状態を記述する力学変数として分極テンソル が導入される。
媒質中での作用汎関数には、媒質と電磁場との相互作用と、媒質の自己相互作用を記述する部分が追加されて
で与えられる。相互作用項のラグランジュ関数は、再び4元電流密度 を用いれば
で与えられる。ラグランジュ関数の電磁場の強度 による偏導関数は
であり、サブ電磁テンソル が導かれる。サブ電磁テンソルは、ラグランジュ関数の速度による偏導関数である共役運動量と対応している。
運動方程式として
が導かれる。
線形媒質.
媒質の自己相互作用の具体的な形は媒質の性質に依存するが、一様等方的な線形媒質の場合は二次形式だけを残して
となる。理論に微分を含まないので、分極テンソルは力学変数ではなく補助場である。拘束条件として
が導かれる。
マクスウェル方程式.
電磁場の作用汎関数から運動方程式として
が導かれた。
方程式はマクスウェル方程式のうち、ソースとの結合を表すガウスの法則とマクスウェルにより変位電流が追加されたアンペールの法則である。
残りの式は電磁場強度 の定義式から導かれるビアンキ恒等式
が成り立つ。
双対テンソルを用いれば
と表すことも出来る。磁気に対するガウスの法則とファラデーの電磁誘導の法則である。
構成方程式.
電磁場の力学変数である4元ポテンシャル に共役な運動量として、構成方程式
 =\frac{1}{Z_0} F^{\mu\nu}(x) +P^{\mu\nu}(x)</math>
が導かれた。これを用いて運動方程式を変形すれば
となる。ここで導入された拘束電流密度
は分極電荷密度と分極電流密度、および磁化電流密度である。
自由空間におけるマクスウェル方程式.
自由空間においては分極が存在せず運動方程式が
となる。
平坦な時空において標準座標を用いた場合は共変微分が通常の偏微分に置き換えられて
である。これとビアンキ恒等式を用いれば
が導かれる。これは電磁場強度に対する電磁波の波動方程式である。
ポテンシャル表示.
平坦な時空において電磁場強度 の定義を用いると
となる。
ローレンツ・ゲージ の条件を課すと
として4元ポテンシャルに対する電磁波の波動方程式が導かれる。
ローレンツ・ゲージはクーロン・ゲージなどと異なりローレンツ不変なゲージ条件である。
ローレンツ力.
電磁場と相互作用する古典的な荷電粒子系を考えると、電磁場と荷電粒子の相互作用項は
で与えられる。 に対する汎関数微分は
 &=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>
となる。
これと自由粒子の作用汎関数 から荷電粒子 に対する運動方程式が
が得られる。
運動の媒介変数 として時刻 を選べば、空間成分に対して
となり、ローレンツ力を再現する。なお、時間成分は
であり、ローレンツ力（クーロン力）による仕事率を与える。
帯電連続体.
空間部分がローレンツ力である電磁気による力の密度は、次で与えられる。
そしてこれは電磁気応力 - エネルギーテンソルと次のような関係にある。
エネルギーと運動量.
電磁応力 - エネルギーテンソルは、運動量4元ベクトルの流束密度と解釈することができ、全体の応力 - エネルギーテンソルに対する電磁場の寄与である反変対称テンソルである。
"ε"0は真空の誘電率、"μ"0は真空の透磁率。ポインティング・ベクトルは
と表され、マクスウェルの応力テンソルは以下で与えられる。
電磁場テンソル"F"は次式により電磁応力 - エネルギーテンソル"T"を構築する。
"η"はミンコフスキー計量テンソル（符号+−−−）。次の事実を用いる。
これはマクスウェル方程式により予測されるものである。
保存則.
電荷.
連続方程式
電荷保存則を表す。
電磁気エネルギー - 運動量.
マクスウェル方程式を用いると、（上で定義された）電磁応力 - エネルギーテンソルは次の微分方程式を満たし、 これを電磁テンソルと電流4元テンソルと関係づけることがわかる。
もしくは
これは電磁相互作用による線形運動量とエネルギー保存を表す。