マクスウェルの方程式

**マクスウェルの方程式**（マクスウェルのほうていしき、、マクスウェル方程式とも）は、電磁場を記述する古典電磁気学の基礎方程式。マイケル・ファラデーが幾何学的考察から見出した電磁力に関する法則を、1864年にジェームズ・クラーク・マクスウェルによって数学的形式として整理した。

日本語ではマクスウェルの名前の表記揺れにより**マックスウェルの方程式**とも表記される。また、**マクスウェル-ヘルツの電磁方程式**、**電磁方程式**などとも呼ばれる。

それまでの知られていた法則がマクスウェルの方程式として整理されたことから、電場と磁場の統一（電磁場）、光が電磁波であることなどが導かれた。

また、アインシュタインは特殊相対性理論の起源はマクスウェルの電磁場方程式である旨を明言している。

マクスウェルが導出した当初の方程式はベクトルの各成分をあたかも互いに独立な量であるかのように別々の文字で表して書かれており、現代の洗練された形式ではなかった。ヘヴィサイドは1884年にベクトル解析の記法を用いて書き直した。現在ではヘヴィサイドによる形により知られている。また、ヘヴィサイドは電磁ポテンシャルを消去出来ることも示したが、その意義は直ちには認められなかった。

ベクトル記法が一般化し始めるのは 1890年代半ばであって、ヘルツの論文ではまだそれを使っていない。いずれにせよ、このベクトル解析の記法の採用は場における様々な対称性を一目で見ることを可能にし、物理現象の理解に大いに役立った。

真空中の電磁気学に限れば、マクスウェルの方程式の一般解は、ジェフィメンコ方程式として与えられる。

電磁気学の単位系は国際単位系のほかガウス単位系などがあり、マクスウェルの方程式における係数は単位系によって異なる。以下では原則として国際単位系を用いる。

## 4つの方程式

（微分形による）マクスウェルの方程式は、以下の4つの連立偏微分方程式である。記号「\nabla」はナブラ演算子、記号「\nabla\cdot」、「\nabla\times」はそれぞれベクトル場の発散 (div) と回転 (rot) である。
:\begin{cases}\begin{align}
\nabla\cdot\boldsymbol{B}(t,\boldsymbol{r})&=0\\
\nabla\times\boldsymbol{E}(t,\boldsymbol{r})&=-\dfrac{\partial\boldsymbol{B}(t,\boldsymbol{r})}{\partial t}\\
\nabla\cdot\boldsymbol{D}(t,\boldsymbol{r})&=\rho(t,\boldsymbol{r})\\
\nabla\times\boldsymbol{H}(t,\boldsymbol{r})&=\boldsymbol{j}(t,\boldsymbol{r})+\dfrac{\partial\boldsymbol{D}(t,\boldsymbol{r})}{\partial t}
\end{align}\end{cases}
また、一般の媒質の構成方程式は(E-B対応では)以下である。
:\begin{align}
\boldsymbol{D} &= \varepsilon_0 \boldsymbol{E} + \boldsymbol{P}\\
\boldsymbol{H} &= \mu_0^{-1} \boldsymbol{B} - \boldsymbol{M}
\end{align}
ここでtは時刻, \boldsymbol{r}は位置ベクトル, \boldsymbol{E}は電場の強度、\boldsymbol{D}は電束密度、\boldsymbol{B}は磁束密度、\boldsymbol{H}は磁場の強度、\boldsymbol{P}は分極、\boldsymbol{M}は磁化を表す。また、\varepsilon_0は真空の誘電率、\mu_0は真空の透磁率、\rhoは電荷密度、\boldsymbol{j}は電流密度を表す。真空中では\boldsymbol{P}=\boldsymbol{M}=\boldsymbol{0}となる。

次に、4つの個々の方程式（成分表示で8つの式、テンソル表示で2つの式）について説明する。

### 磁束保存の式

:\nabla\cdot\boldsymbol{B}=0（微分形の磁束保存の式）

積分形で表すと次の式になる。
:\oint_S\boldsymbol{B}\cdot\mathrm{d}\boldsymbol{S}=0
ここで は、閉曲面 S 上の面素ベクトルである。
構造的に見て磁力線が閉曲線でなければならないことを意味する。この式は電場の積分形と同様に、閉曲面上を積分したときにのみ意味がある。

これらの式は、磁気単極子（モノポール）が存在しないことを前提としており、もし磁気単極子が発見されたならば、上の式は次のように変更されなければならない。
:\nabla\cdot\boldsymbol{B}=\rho_\mathrm{m}
ここで  は磁気単極子の磁荷密度である。

### ファラデー-マクスウェルの式

:\nabla\times\boldsymbol{E}=-\frac{\partial\boldsymbol{B}}{\partial t}（微分形のファラデー-マクスウェルの式）

この式を積分形で表すと次の式になる。
:\oint_C\boldsymbol{E}\cdot\mathrm{d}\boldsymbol{l}=-\frac{\mathrm{d}\phi}{\mathrm{d}t}
ただし、
:\phi=\int_{S}\boldsymbol{B}\cdot\mathrm{d}\boldsymbol{S}
ここで、（向きのついた）閉曲線を  、 を縁とする曲面を  とし、\phi は曲面  を通過する磁束である。ファラデー-マクスウェルの式の積分形で時間微分を積分の外に置く場合（右辺を -\mathrm{d}\phi/\mathrm{d}t と書く場合）には、数学的には経路  と曲面  は空間に対して固定されている（時間変化しない）必要がある。経路が動く場合の電磁誘導現象（運動起電力を含む）を考えるには、この式に加えてローレンツ力による寄与を考慮するか、あるいは相対性理論的な枠組みで考える必要がある。式中の負号については、しばしば磁場の増減に対する起電力は磁場源となる電流の増減を妨げる向きといった説明がなされる（レンツの法則）。

### マクスウェル-ガウスの式

:\nabla\cdot\boldsymbol{D}=\rho（微分形のマクスウェル-ガウスの式）
上の式は、電束が電荷の存在するところで増減（発生・消滅）し、それ以外のところでは保存されることを示す。

積分形で表すと次の式になる。
:\oint_S\boldsymbol{D}\cdot\mathrm{d}\boldsymbol{S}=Q_{\rm encl}
ここで  は、閉曲面 S 上の面素ベクトルであり、 は閉曲面 S で囲まれた領域内の電荷である。この積分形は、閉曲面上を積分したときにのみ意味があり、ガウスの法則としてよく知られている。

### アンペール-マクスウェルの式

:\nabla\times\boldsymbol{H}=\boldsymbol{j}+\frac{\partial\boldsymbol{D}}{\partial t}（微分形のアンペール-マクスウェルの式）

積分形は次のようになる。
:\oint_C\boldsymbol{H}\cdot\mathrm{d}\boldsymbol{l}=\int_S\boldsymbol{j}+\frac{\partial\boldsymbol{D}}{\partial t}\cdot\mathrm{d}\boldsymbol{S}
 は曲面 S の縁となる閉曲線である。

右辺の第2項は変位電流項と呼ばれる。工学上は、変位電流は媒質が普通の金属ならばまず無視できる。電場の変動の角周波数  が電気伝導度  と誘電率  の比より十分小さければよい。普通の金属の電気伝導度は  〜  程度で、誘電率は真空とさほど変わらない  〜 から
:\omega\ll\frac{\sigma}{\varepsilon}\ \sim \ 10^{18}\ \text{s}^{-1}
となり、 がTHz単位でも条件を満たしている。

変位電流が無視できるような電流を準定常電流という。

## それぞれの式の解釈
;磁束保存の式
: 磁力線はどこかを起点とすることも終点とすることもできない、すなわち磁気単極子（モノポール）が存在しないことを示している。磁場のガウスの法則。
;ファラデー-マクスウェルの式
: 磁場の時間変化があるところには巻いた電場があることを示している。導線の動きがない場合のファラデーの電磁誘導の法則に相当する。
: 
;ガウス-マクスウェルの式
: 電場の源は電荷であり、電荷の無いところでの電束保存を示している。電場のガウスの法則。
;アンペール-マクスウェルの式
: 電流または変位電流の周りには磁場が巻いていることを示す。
: この式は、電流によって磁場が生じるというアンペールの法則に変位電流を加えたものである。
:

マクスウェルの方程式は、次の2つの組に分類されることが多い。

### 力場に関する方程式
第1の組は、

{\partial t}|}}
である。この式は電磁場の拘束条件を与える式である（ビアンキ恒等式）。

この式は \boldsymbol{E},~\boldsymbol{B} を電磁ポテンシャル \phi,~\boldsymbol{A}により、
{\partial t}|}}

と表せば恒等的に満たすように出来る。

マクスウェル自身の原著論文『電磁場の動力学的理論』（1865年）や原著教科書『電気磁気論』（1873年）では上記のように表されていたが、1890年になってヘルツが改めて理論構成を考察し、上記2式から電磁ポテンシャルを消去し,  を基本方程式とすることを要請した。このヘルツによる電磁ポテンシャルを消去した形をマクスウェルの方程式と見なすのが現在の主流となっている。この見かたでは  と  は電磁場の定義式と見なされる。

また、電磁場はローレンツ力
:\rho\boldsymbol{E}+\boldsymbol{j}\times\boldsymbol{B}
により電荷、電流の分布を変動させる。

### 源場に関する方程式
第2の組は、

{\partial t}|}}
である。電荷、電流の分布が電磁場の源となっていることを表す式である（電磁場の運動方程式）。
電磁場の微分（左辺）が電荷、電流の分布（右辺）によって書かれており、電荷、電流の分布を与えると電磁場の形が分かる方程式になっている。

この式から、電荷、電流の分布には電気量保存則（連続の方程式）
:\frac{\partial\rho}{\partial t}+\nabla\cdot\boldsymbol{j}=0
が成り立つことが導かれる。

それぞれの組は時間微分を片側に移し、
:\begin{align}
\frac{\partial\boldsymbol{B}}{\partial t} &= -\nabla\times\boldsymbol{E}\ ,&\nabla\cdot\boldsymbol{B} &= 0\\
\frac{\partial\boldsymbol{D}}{\partial t} &= \nabla\times\boldsymbol{H}-\boldsymbol{j}\ ,&\nabla\cdot\boldsymbol{D} &= \rho
\end{align}
と変形すれば、時間発展の方程式とその初期条件と見ることができる。

## 媒質の構成方程式
媒質の構成方程式は、それぞれ別の方法で定義された源場（\boldsymbol{D},~\boldsymbol{H}）と力場（\boldsymbol{E},~\boldsymbol{B}）を関連付ける方程式である。

### 一般の媒質中
電荷密度と電流密度が作る場である \boldsymbol{D},~\boldsymbol{H} と、電荷密度と電流密度に力を及ぼす場である \boldsymbol{E},~\boldsymbol{B} は分極 \boldsymbol{P} と磁化 \boldsymbol{M} を介して以下のように関連付けられる。
:\begin{align}
\boldsymbol{D} &= \varepsilon_0 \boldsymbol{E} + \boldsymbol{P}\\
\boldsymbol{H} &= \mu_0^{-1} \boldsymbol{B} - \boldsymbol{M}
\end{align}
真空中では\boldsymbol{P}=\boldsymbol{M}=\boldsymbol{0}となる。

E-H対応の場合は磁気に関する構成方程式が\boldsymbol{B} = \mu_0 \boldsymbol{H} + \boldsymbol{P}_\mathrm{m}となる。\boldsymbol{P}_\mathrm{m}は磁気分極（または単に磁化）と呼ばれ、\boldsymbol{M}とは違う次元をもつ。

構成方程式による源場（\boldsymbol{D},~\boldsymbol{H}）と力場（\boldsymbol{E},~\boldsymbol{B}）の関係を使ってマクスウェル方程式の源場に関する式を力場で表すと
:\begin{cases}
\nabla\cdot\boldsymbol{E}=\dfrac{1}{\varepsilon_0}(\rho -\nabla\cdot\boldsymbol{P})\\
\nabla\times\boldsymbol{B}-\mu_0\varepsilon_0\dfrac{\partial\boldsymbol{E}}{\partial t}=\mu_0\left(\boldsymbol{j}+\dfrac{\partial\boldsymbol{P}}{\partial t}+\nabla\times\boldsymbol{M}\right)
\end{cases}
となる。さらに分極電荷密度、分極電流密度、磁化電流密度を
:\begin{align}
\rho_P &= -\nabla\cdot\boldsymbol{P}\\
\boldsymbol{j}_P &= \frac{\partial\boldsymbol{P}}{\partial t}\\
\boldsymbol{j}_M &= \nabla\times\boldsymbol{M}
\end{align}
として導入すれば、方程式は以下のように書ける。
:\begin{cases}
\nabla\cdot\boldsymbol{E}=\dfrac{1}{\varepsilon_0}(\rho +\rho_P)\\
\nabla\times\boldsymbol{B}-\mu_0\varepsilon_0\dfrac{\partial\boldsymbol{E}}{\partial t}=\mu_0\left(\boldsymbol{j}+\boldsymbol{j}_P+\boldsymbol{j}_M\right)
\end{cases}

### 線型媒質中
誘電体に生じる分極は媒質によって異なり、結晶のような方向性がある場合では一般に \boldsymbol{P} の向きと \boldsymbol{E} の向きは異なるが、等方性のある物質で電場があまり強くない場合は分極は電場に比例し、
:\boldsymbol{P}=\varepsilon_0 \chi_\mathrm{e}\boldsymbol{E}
となる。\chi_\mathrm{e} は電気感受率である（SI単位系では無次元量となる）。

また、磁性体に生じる磁化も強磁性でない物質で磁場があまり強くない場合は磁化は磁場に比例し、
:\boldsymbol{M}=\chi_\mathrm{m}\boldsymbol{H}
となる。\chi_\mathrm{m} は磁化率である（同様に無次元量）。

このとき、構成方程式は
:\begin{align}
&\boldsymbol{D} = \varepsilon_0(1+\chi_\mathrm{e})\boldsymbol{E}\\
&\boldsymbol{B} = \mu_0(1+\chi_\mathrm{m})\boldsymbol{H}
\end{align}
ここで
:\varepsilon=\varepsilon_0(1+\chi_\mathrm{e}),\quad \mu=\mu_0(1+\chi_\mathrm{m})
とすると
:\begin{align}
\boldsymbol{D} &= \varepsilon \boldsymbol{E}\\
\boldsymbol{H} &= \mu^{-1} \boldsymbol{B}
\end{align}
と表せる。ここで \varepsilon,~\mu はそれぞれその媒質の誘電率と透磁率であり、媒質の性質を特徴付ける物性値である。これらは等方的な媒質ではスカラーであるが、一般にはテンソルとなる。

### 真空中
媒質が存在しない真空中（自由空間中）においては、\boldsymbol{P}=\boldsymbol{M}=\boldsymbol{0} となり、真空の構成方程式は
:\begin{align}
\boldsymbol{D}&=\varepsilon_0\boldsymbol{E}\\
\boldsymbol{H}&=\mu_0^{-1}\boldsymbol{B}
\end{align}
となる。また、光速度 c_0 と真空のインピーダンス Z_0 を用いて以下のようにまとめられる。
:\begin{bmatrix}
\boldsymbol{E} \\
c_0\boldsymbol{B}
\end{bmatrix}= Z_0 \begin{bmatrix}
c_0\boldsymbol{D} \\
\boldsymbol{H}
\end{bmatrix}


## ローレンツゲージでのマクスウェルの方程式

以下のローレンツ条件
:\nabla \cdot \boldsymbol{A}+\frac{1}{c^2}\frac{\partial\phi}{\partial t}=0
における電磁ポテンシャル（ベクトルポテンシャル \boldsymbol{A} とスカラーポテンシャル \phi）を用いて、マクスウェル方程式は以下の2組の方程式として表すことができる。
:\begin{cases}
\left(\triangle-\dfrac{1}{c^2}\dfrac{\partial^{2}}{\partial t^2}\right)\phi&=-\dfrac{\rho}{\varepsilon_0}\\
\left(\triangle-\dfrac{1}{c^2}\dfrac{\partial^{2}}{\partial t^2}\right)\boldsymbol{A}&=-\mu_0\boldsymbol{j}
\end{cases}
いずれの式も左辺は線形演算子のダランベルシアン□が作用しており、右辺は片やスカラー値の、片やベクトル値の連続関数である。ベクトルについては各々の成分について適用して考えることでスカラーの場合と同様に考えることができる。線形微分方程式に対してはグリーン関数法を考えることで解くことができる。すなわち、

\left(\Delta-\frac{1}{c^{2}}\frac{\partial^{2}}{\partial t^{2}}\right)G(\boldsymbol{x},t)=-\delta(\boldsymbol{x},t)

の解となる関数（グリーン関数）G(\boldsymbol{x},t)を求めることで一般に

\left(\Delta-\frac{1}{c^{2}}\frac{\partial^{2}}{\partial t^{2}}\right)f(\boldsymbol{x},t)=-\rho(\boldsymbol{x},t)

なる方程式に対して

f(\boldsymbol{x},t)=\int \mathrm{d}^{3}x' \mathrm{d}t'\ G(\boldsymbol{x}-\boldsymbol{x}',t-t')\rho(\boldsymbol{x}',t')

として求めることができる。このときのグリーン関数は先進グリーン関数と遅延グリーン関数の2つを得るが、物理的に意味のある遅延グリーン関数を採用することで遅延ポテンシャルを得ることができる。

遅延ポテンシャルを元に電場や磁場を計算するのが一般に運動している物体についての電磁場を検討する際に楽な方法であり、結果としてジェフィメンコ方程式を得ることになる。

## 電磁波の波動方程式
マクスウェルの方程式から、電磁波の伝播についての記述を得ることができる。真空または電荷分布がない絶縁体では、電場と磁場が次の波動方程式
: \nabla^2 \boldsymbol{E}-\mu \varepsilon \frac{\partial^2\boldsymbol{E}}{\partial t^2}=0
: \nabla^2 \boldsymbol{H}-\mu \varepsilon \frac{\partial^2\boldsymbol{H}}{\partial t^2}=0
を満たすことがマクスウェル方程式から示される。これは電磁場が媒質中を速さ
:v=\frac{1}{\sqrt{\mu \varepsilon}}
で伝搬する波動であることを意味する。媒質の屈折率
:n=\sqrt{\frac{\mu \varepsilon}{\mu_0 \varepsilon_0}}=c\sqrt{\mu \varepsilon}
を導入すれば、vは
:v=\frac{c}n
とも表される。

ここで、真空の誘電率と真空の透磁率の各値から導かれる定数 c の値が光速度の値とほとんど一致することから、マクスウェルは光は電磁波ではないかという予測を行った。その予測は1888年にハインリヒ・ヘルツによって実証された。ヘルツはマクスウェルの方程式の研究に貢献したので、マクスウェルの方程式は**マクスウェル-ヘルツの（電磁）方程式**と呼ばれることもある。

## マクスウェルの方程式と特殊相対性理論
19世紀後半を通じて物理学者の大半は、マクスウェルの方程式において光速度が全ての観測者に対して不変になるという予測と、ニュートン力学の運動法則がガリレイ変換に対して不変を保つことが矛盾することから、これらの方程式は電磁場の近似的なものに過ぎないと考えた。しかし、1905年にアインシュタインが特殊相対性理論を提出したことによって、マクスウェルの方程式が正確で、ニュートン力学の方を修正すべきだったことが明確になった。これらの電磁場の方程式は、特殊相対性理論と密接な関係にあり、ローレンツ変換に対する不変性（共変性）を満たす。磁場の方程式は、光速度に比べて小さい速度では、相対論的変換による電場の方程式の変形に結び付けられる。

電場と磁場による表現では、共変性が見にくいため、**[[電磁ポテンシャル|4元ポテンシャル]]**  を考える。

但し、重複するギリシャ文字に対してはアインシュタインの縮約記法に従って和をとるものとし、計量テンソルは  で与えるものとする。また、各ギリシャ文字は 0,1,2,3 の値を取り、0は時間成分、1,2,3は空間成分を表すものとする。特に時空の座標については  である。

電磁ポテンシャルから構成される**[[電磁場テンソル]]**

を導入する。電場、磁場との対応関係は

となる。

このとき、マクスウェル方程式はローレンツ変換に対しての共変性が明確な形式で、次のような2つの方程式にまとめられる。

但し、 は**[[電荷・電流密度|4元電流密度]]**

である。このとき、電荷の保存則は

と表される。なお、4元ポテンシャルで表現すると、マクスウェル方程式は次の一つの方程式にまとめられる。

ここで、□はダランベルシアンである。

## 微分形式による表現

マクスウェルの方程式は多様体理論における微分形式によって簡明に表現することができる。

まず電磁ポテンシャル  により、1次微分形式

を導入する。これに外微分を作用させることで2次微分形式

が定義される。
さらに F のホッジ双対として 2次微分形式

が定義される。

4元電流密度により1次微分形式

を導入し、これのホッジ双対により3次微分形式

を定義すれば、外微分の作用により運動方程式(,)に対応して

となる。

外微分の性質 dd&xi;=0 から(,)に対応する

と、連続の方程式に対応する

が得られる。

## 脚注

### 注釈

### 出典

## 参考文献
### 原論文
* 

### 書籍
* 
* 
* 
* 
* 
*
* 
## 関連項目
*数学関係
**ガウスの定理
**ストークスの定理
*物理学関係
**電場、磁束密度、電束密度、磁場
**電荷保存の法則
**先進波、光学
**アハラノフ＝ボーム効果

## 外部リンク
*