古典電磁気学の共変定式

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

この記事はテンソルの古典的扱いとアインシュタインの縮約記法をいたるところで使っており、ミンコフスキー計量はdiag (-1, +1, +1, +1)という形式を取る。方程式が真空中で成り立つものと明示されている場合、代わりに（分極電荷や磁化電流を含む）総電荷・総電流に関するマクスウェル方程式の定式化と見てもよい（参照: マクスウェルの方程式#一般の媒質中）。

共変形式での定式化の様々な概念的な意味を含む、古典電磁気学と特殊相対論の間の関係のより一般的な概要についてはを参照。

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

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

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

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

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

### 粒子の記述

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

### 電磁場の記述
#### 電磁ポテンシャル

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

#### 電磁場テンソル

電荷に力を及ぼす場である電場の強度  と磁束密度  は、ニュートン的な空間においてそれぞれ極性ベクトルと軸性ベクトルとして振舞う。
相対論的な時空においては2階の反対称テンソルとして振舞う電磁場強度

となる。
電磁場強度は4元ポテンシャルの微分

により定義される。

完全反対称テンソル  により電磁場強度の双対テンソルが

により定義される。

電荷の周囲に生じる場である電気変位  と磁場の強度  も同様に2階反対称テンソルとして振舞い

となる。

### 源と媒質の記述
#### 4元電流密度

電磁場を作り出す源となる電荷密度  と電流密度  は、相対論的な時空において4元ベクトル
: J^\mu(x) = (c\rho, \boldsymbol{j} )
として振舞う。

#### 分極テンソル

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

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

## 電磁気学のラグランジュ形式
電磁場を記述する系の力学変数は4元ポテンシャル  であり、一般化速度に相当する力学変数の微分は電磁場強度  である。
作用汎関数

から導かれる電磁場  の運動方程式は
{\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}
}}
である。ここで  はヤコビ行列式であり、微分作用素 \mathcal{D} は共変微分である。

### 運動項
電磁場の作用汎関数の運動項は

であり、ラグランジュ関数は

である。電磁場の運動項は多くの力学系の運動項と同様に一般化速度の二次形式で書かれる。
ラグランジュ関数の微分は
 =-\frac{1}{2Z_0} F^{\nu\mu}(x)
}}
となるので、運動項の汎関数微分は

となる。
### 自由空間
自由空間において荷電粒子と相互作用する電磁場の作用汎関数は粒子と電磁場の運動項、および相互作用項の和で

と書かれる。

相互作用項はどのような粒子であるかによって具体的な形が変わるが、粒子のふるまいを4元電流密度  で表すことで、電磁場と粒子の相互作用項は

で与えられる。相互作用項の汎関数微分は

で与えられるので、電磁場  に対する運動方程式としてマクスウェル方程式

が得られる。

### 媒質中
媒質が存在する場合は、媒質の状態を記述する力学変数として分極テンソル  が導入される。
媒質中での作用汎関数には、媒質と電磁場との相互作用と、媒質の自己相互作用を記述する部分が追加されて

で与えられる。相互作用項のラグランジュ関数は、再び4元電流密度  を用いれば

で与えられる。ラグランジュ関数の電磁場の強度  による偏導関数は
{\partial F_{\mu\nu}} =-\frac{1}{2Z_0} F^{\mu\nu} -\frac{1}{2} P^{\mu\nu} =-\frac{1}{2} G^{\mu\nu}
}}
であり、サブ電磁テンソル  が導かれる。サブ電磁テンソルは、ラグランジュ関数の速度による偏導関数である共役運動量と対応している。

運動方程式として

が導かれる。

#### 線形媒質
媒質の自己相互作用の具体的な形は媒質の性質に依存するが、一様等方的な線形媒質の場合は二次形式だけを残して

となる。理論に微分を含まないので、分極テンソルは力学変数ではなく補助場である。拘束条件として

が導かれる。

## マクスウェル方程式

電磁場の作用汎関数から運動方程式として

が導かれた。
方程式はマクスウェル方程式のうち、ソースとの結合を表すガウスの法則とマクスウェルにより変位電流が追加されたアンペールの法則である。

残りの式は電磁場強度  の定義式から導かれるビアンキ恒等式

が成り立つ。
双対テンソルを用いれば

と表すことも出来る。磁気に対するガウスの法則とファラデーの電磁誘導の法則である。

### 構成方程式
電磁場の力学変数である4元ポテンシャル  に共役な運動量として、構成方程式
{\partial(\partial_\nu A_\mu)} =G^{\mu\nu}(x)
 =\frac{1}{Z_0} F^{\mu\nu}(x) +P^{\mu\nu}(x)
}}
が導かれた。これを用いて運動方程式を変形すれば

となる。ここで導入された拘束電流密度
{\partial t} +\operatorname{rot}\boldsymbol{M} \right)
}}
は分極電荷密度と分極電流密度、および磁化電流密度である。

### 自由空間におけるマクスウェル方程式
自由空間においては分極が存在せず運動方程式が

となる。
平坦な時空において標準座標を用いた場合は共変微分が通常の偏微分に置き換えられて

である。これとビアンキ恒等式を用いれば

が導かれる。これは電磁場強度に対する電磁波の波動方程式である。

### ポテンシャル表示
平坦な時空において電磁場強度  の定義を用いると

となる。
ローレンツ・ゲージ  の条件を課すと

として4元ポテンシャルに対する電磁波の波動方程式が導かれる。
ローレンツ・ゲージはクーロン・ゲージなどと異なりローレンツ不変なゲージ条件である。

## ローレンツ力

電磁場と相互作用する古典的な荷電粒子系を考えると、電磁場と荷電粒子の相互作用項は

で与えられる。 に対する汎関数微分は
{\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}
}}
となる。
これと自由粒子の作用汎関数  から荷電粒子  に対する運動方程式が

が得られる。

運動の媒介変数  として時刻  を選べば、空間成分に対して
{dt} =q_i\boldsymbol{E}(\boldsymbol{X}_i,t)+q\frac{d\boldsymbol{X}_i}{dt} \times \boldsymbol{B}(\boldsymbol{X}_i,t)
}}
となり、ローレンツ力を再現する。なお、時間成分は

であり、ローレンツ力（クーロン力）による仕事率を与える。

### 帯電連続体

空間部分がローレンツ力である電磁気による力の密度は、次で与えられる。
: f_{\alpha} = F_{\alpha\beta}J^{\beta} .\!
そしてこれは電磁気応力 - エネルギーテンソルと次のような関係にある。
: f^{\alpha} = - {T^{\alpha\beta}}_{,\beta} \equiv  - \frac{\partial T^{\alpha\beta}}{\partial x^\beta}.

## 電磁場のエネルギーと運動量

電磁場の運動項で計量テンソル  を顕わに書けば

となるので、電磁場の応力・エネルギー・運動量テンソルは
 +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]
}}
で与えられる。

エネルギー・テンソルは対称テンソルであり、その成分は電磁場のエネルギー密度 、エネルギーの流束密度であるポインティング・ベクトル 、およびマクスウェルの応力テンソル 

である。

## 保存則
### 電荷の保存
4元電流密度の発散を計算すれば

として、共変微分の可換性と電磁場テンソルの交代性からゼロとなり、電荷保存則が導かれる。

### 電磁場のエネルギーと運動量の保存
電磁場のエネルギー・運動量テンソルの発散を計算すれば

となり、電磁場テンソルと4元電流密度と関係付けられる。
これは電磁相互作用によるエネルギーと運動量の保存則を表す。

## 脚注

## 参考文献
*
*
*
* 
* 

## 関連項目
* 
* 電磁テンソル
* 
* リエナール・ヴィーヘルト・ポテンシャル
* 
* 
* プロカ方程式
* 量子電磁力学
* 
* 
*