マクスウェルの方程式

電磁気学
電気 磁性
静電気学 電荷 クーロンの法則 電場 電束 ガウスの法則 電位 静電誘導 電気双極子 分極電荷密度 静磁気学 アンペールの法則 電流 磁場 磁化 磁束 ビオ・サバールの法則 磁気モーメント ガウスの法則 電気力学 自由空間 ローレンツ力 起電力 電磁誘導 ファラデーの法則 レンツの法則 変位電流 マクスウェルの方程式 電磁場 電磁波 リエナール・ヴィーヘルト・ポテンシャル マクスウェル・テンソル 渦電流 電気回路 電気伝導 電圧 キルヒホッフの法則 電気抵抗 静電容量 インダクタンス 交流 インピーダンス アドミタンス 共鳴空洞 導波管 共変定式 電磁場テンソル 4元電流密度 電磁ポテンシャル 電磁場の応力エネルギーテンソル 科学者 アンペール クーロン ファラデー ガウス ヘヴィサイド ヘンリー ヘルツ ローレンツ マクスウェル テスラ ボルタ ヴェーバー エルステッド

マクスウェルの方程式（マクスウェルのほうていしき、英: Maxwell's equations）は、電磁場を記述する古典電磁気学の基礎方程式である。マイケル・ファラデーが幾何学的考察から見出した電磁力に関する法則が1864年にジェームズ・クラーク・マクスウェルによって数学的形式として整理された。マクスウェル-ヘルツの電磁方程式、電磁方程式などとも呼ばれる。マクスウェルはマックスウェルとも表記され、マクスウェル方程式、マックスウェル方程式などと書かれることも多い。

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

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

4つの方程式

（微分形による）マクスウェルの方程式は、以下の4つの連立偏微分方程式である。

${\begin{cases}\nabla \cdot {\boldsymbol {B}}(t,{\boldsymbol {x}})&=0\\\nabla \times {\boldsymbol {E}}(t,{\boldsymbol {x}})+{\dfrac {\partial {\boldsymbol {B}}(t,{\boldsymbol {x}})}{\partial t}}&={\boldsymbol {0}}\\\nabla \cdot {\boldsymbol {D}}(t,{\boldsymbol {x}})&=\rho (t,{\boldsymbol {x}})\\\nabla \times {\boldsymbol {H}}(t,{\boldsymbol {x}})-{\dfrac {\partial {\boldsymbol {D}}(t,{\boldsymbol {x}})}{\partial t}}&={\boldsymbol {j}}(t,{\boldsymbol {x}})\end{cases}}$

ここで E は電場の強度、B は磁束密度、D は電束密度、H は磁場の強度を表す。 また、ρ は電荷密度、j は電流密度を表す。

記号「∇·」、「∇×」はそれぞれベクトル場の発散 (div) と回転 (rot) である。

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

磁束保存の式

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

積分形で表すと次の式になる。

$\oint _{S}{\boldsymbol {B}}\cdot \mathrm {d} {\boldsymbol {S}}=0$

ここで B は磁束密度（単位はテスラ T ）、dS は、領域の外側へ向かう方向と直交する閉じた曲面 S 上の微小な領域 である。

構造的に見て磁力線が閉曲線でなければならないことを意味する。この式は電場の積分形と同様に、閉曲面上を積分したときにのみ意味がある。

これらの式は、磁気単極子（モノポール）が存在しないことを前提としており、もし磁気単極子が発見されたならば、上の式は次のように変更されなければならない。

$\nabla \cdot {\boldsymbol {B}}=\rho _{\mathrm {m} }$

ここで ρ_m は磁気単極子の磁荷密度である。

「ガウスの法則 (磁場)」も参照

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

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

この式を積分形で表すと次の式になる。

$V=-{\frac {\mathrm {d} \phi _{\boldsymbol {B}}}{\mathrm {d} t}}$

ただし、

$\phi _{\boldsymbol {B}}=\int _{S}{\boldsymbol {B}}\cdot \mathrm {d} {\boldsymbol {S}}$

ここで、（向きのついた）閉曲線を C 、C を縁とする曲面を S として、 φ_B は曲面 S を通過する磁束、V は経路 C に沿った(誘導)起電力である。

ファラデー-マクスウェルの式の積分形で時間微分を積分の外に置く場合、経路 C と曲面 S は時間変化しないものとする。 一方、「ファラデーの電磁誘導の法則」は導線が動くケースにも適用されることがある。

なお、式中の負号があるため、磁束密度の時間微分の向きと電場の「渦」の向きの関係は「左ねじ」になる。

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

$\nabla \cdot {\boldsymbol {D}}=\rho$（微分形のマクスウェル-ガウスの式: D-H対応）

ここで、ρ は、電荷密度（単位は C/m³）。D は電束密度（単位は C/m²）で、「線形な物質中」では D = ε​E の関係がある（E は電場の強度、ε は誘電率）。電場が非常に強くない限り、どんな物質も「線形」なものとして扱うことができる。上の式は、電束は電荷の存在するところで発生・消滅し、それ以外のところでは保存されることを意味している。真空の誘電率は ε₀ と書かれ、次の式で表される 。

$\nabla \cdot {\boldsymbol {E}}={\frac {\rho }{\varepsilon _{0}}}$（微分形のマクスウェル-ガウスの式: E-B対応）

また、ε_r = ε/ε₀ で定義される比誘電率などが用いられることもある。

マクスウェル-ガウスの式を積分形で表すと次の式になる。

$\oint _{S}{\boldsymbol {E}}\cdot \mathrm {d} {\boldsymbol {S}}={\frac {Q_{\rm {encl}}}{\varepsilon _{0}}}$

ここで dS は、電荷の外側へ向かう方向と直交する閉じた曲面 S 上の微小な領域 であり、Q_encl は閉曲面 S で囲まれた領域内の電荷である。この積分形は、閉曲面上を積分したときにのみ意味があり、ガウスの法則としてよく知られている。

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

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

ここで j は電流密度。H は磁場の強度（単位は A/m）で、「線形な物質中」で「磁場の強度が小さい範囲」において、B = μ​H の関係がある（B は磁束密度、μ は透磁率）。

真空中では透磁率 μ は真空の透磁率 μ₀ = 4π×10⁻⁷ W/Am で置き換えられる。したがって式は次のようになる。

$\nabla \times {\boldsymbol {B}}=\mu _{0}{\boldsymbol {j}}+\mu _{0}\varepsilon _{0}{\frac {\partial {\boldsymbol {E}}}{\partial t}}$

積分形は次のようになる。

$\oint _{L}{\boldsymbol {B}}\cdot \mathrm {d} {\boldsymbol {l}}=\mu _{0}I_{\rm {through}}+\mu _{0}\varepsilon _{0}\int _{S}{\frac {\partial {\boldsymbol {E}}}{\partial t}}\cdot \mathrm {d} {\boldsymbol {S}}$

L は曲面 S の縁となる閉曲線で、I_through は曲線 L で囲まれた曲面 S を通過する電流 I_{through S} = ∫_S j · dS である。コンデンサや ∇ · j ≠ 0 となるほかの場所がなければ、右辺の第 2 項（変位電流）は一般に無視される。

それぞれの式の解釈

磁束保存の式

磁力線はどこかを起点とすることも終点とすることもできない、すなわち磁気単極子（モノポール）が存在しないことを示している。磁場のガウスの法則。

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

磁場の時間変化があるところには電場が生じることを示している。導線の動きがない場合のファラデーの電磁誘導の法則に相当する。

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

電場の発生源は電荷であることを示している。電場のガウスの法則。

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

電流と変位電流により磁場が生じることを示している。

この式は、電流によって磁場が生じるというアンペールの法則に変位電流を加えたものである。

歴史的経緯

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

電磁場の拘束条件

第1の組は、

$\nabla \cdot {\boldsymbol {B}}=0$

(1a)

$\nabla \times {\boldsymbol {E}}+{\frac {\partial {\boldsymbol {B}}}{\partial t}}=\mathbf {0}$

(1b)

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

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

${\boldsymbol {E}}=-\nabla \phi -{\frac {\partial {\boldsymbol {A}}}{\partial t}}$

(0a)

${\boldsymbol {B}}=\nabla \times {\boldsymbol {A}}$

(0b)

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

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

電磁場の運動方程式

第2の組は、

$\nabla \cdot {\boldsymbol {D}}=\rho$

(2a)

$\nabla \times {\boldsymbol {H}}-{\frac {\partial {\boldsymbol {D}}}{\partial t}}={\boldsymbol {j}}$

(2b)

である。電荷、電流の分布が電磁場の源となっていることを表す式である（電磁場の運動方程式）。

電磁場の微分（左辺）が電荷、電流の分布（右辺）によって書かれており、電荷、電流の分布を与えると電磁場の形が分かる方程式になっている。

この式から、電荷、電流の分布には電気量保存則（連続の方程式）

${\frac {\partial \rho }{\partial t}}+\nabla \cdot {\boldsymbol {j}}=0$

が成り立つことが導かれる。

また、電磁場はローレンツ力

$\rho {\boldsymbol {E}}+{\boldsymbol {j}}\times {\boldsymbol {B}}$

により電荷、電流の分布を変動させる。

それぞれの組は時間微分を片側に移し、

${\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$

と変形すれば、時間発展の方程式とその初期条件と見ることができる。

また、E, B により記述した場合は式の組み合わせを変えて

$\nabla \cdot {\boldsymbol {E}}={\frac {\rho }{\epsilon }},~\nabla \times {\boldsymbol {E}}=-{\frac {\partial {\boldsymbol {B}}}{\partial t}}$

$\nabla \cdot {\boldsymbol {B}}=0,~\nabla \times {\boldsymbol {B}}=\mu \epsilon {\frac {\partial {\boldsymbol {E}}}{\partial t}}+\mu {\boldsymbol {j}}$

として、ベクトル場の発散と回転を与える式と見ることができる。

これらの方程式系に整理されたことから、電場と磁場の統一（電磁場）、光が電磁波であることなどが導かれ、その時空論としての特殊相対性理論に至る。後年、アインシュタインは特殊相対性理論の起源はマクスウェルの電磁場方程式である旨を明言している。

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

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

E-B による表示

「E-B対応とE-H対応」も参照

電束密度 D と磁場の強度 H は、電磁場の媒質中での振舞いを表現する量である。媒質の性質を他の部分で表現することにより、電場の強度 E と磁束密度 B により方程式を記述することが出来る。

真空中

媒質が存在しない真空中（自由空間中）においては、D, H はそれぞれ E, B と

${\boldsymbol {D}}=\varepsilon _{0}{\boldsymbol {E}}$

${\boldsymbol {H}}={\frac {1}{\mu _{0}}}{\boldsymbol {B}}$

の関係にある。ここで ε₀ は真空の誘電率、μ₀ は真空の透磁率であり、これらは普遍定数である。このとき方程式は

$\nabla \cdot {\boldsymbol {E}}={\frac {1}{\varepsilon _{0}}}\rho$

$\nabla \times {\boldsymbol {B}}-\mu _{0}\varepsilon _{0}{\frac {\partial {\boldsymbol {E}}}{\partial t}}=\mu _{0}{\boldsymbol {j}}$

となって E, B により記述される。

これらの式は、(1a),(1b) と合わせて「真空中のマクスウェル方程式」とも呼ばれるが、「物質があると適用できない」ということではない（§一般の媒質中 で後述）。このことは、一見すると次節にあるような「媒質中のマクスウェル方程式」と食い違うように見えるが、ρ, j, D, H の定義の違い、何を電荷・電流（ρ, j）として扱うかの違いであり、その読み替えを行えば矛盾しない。

等方一様線型媒質中

線型媒質中においては、D, H は線型関係

${\boldsymbol {D}}=\varepsilon {\boldsymbol {E}}$

${\boldsymbol {B}}=\mu {\boldsymbol {H}}$

によって E, B と関係付けられる。ここで ε, μ はそれぞれその媒質の誘電率と透磁率であり、媒質の性質を特徴付ける物性値である。これらは一般にはテンソルであるが、等方的な媒質ではスカラーとなる。さらに一様な媒質であると考えれば、マクスウェルの方程式は

$\nabla \cdot {\boldsymbol {E}}={\frac {\rho ^{\prime }}{\varepsilon }}$

$\nabla \times {\boldsymbol {B}}-\mu \varepsilon {\frac {\partial {\boldsymbol {E}}}{\partial t}}=\mu {\boldsymbol {j}}^{\prime }$

と変形できて E, B により記述される。

媒質中のマクスウェル方程式における電荷密度・電流密度は、 これまでは単に ρ, j と表記していたが、ここでは説明の都合上、ρ′, j′ と表記する。

一般の媒質中

一般の媒質中においては、D, H と E, B を関係付ける量として、誘電分極 P と磁化 M が

${\boldsymbol {D}}=\varepsilon _{0}{\boldsymbol {E}}+{\boldsymbol {P}}$

${\boldsymbol {B}}=\mu _{0}({\boldsymbol {H}}+{\boldsymbol {M}})$

によって導入される。このとき、方程式は

$\nabla \cdot {\boldsymbol {E}}={\frac {1}{\varepsilon _{0}}}(\rho ^{\prime }-\nabla \cdot {\boldsymbol {P}})$

$\nabla \times {\boldsymbol {B}}-\mu _{0}\varepsilon _{0}{\frac {\partial {\boldsymbol {E}}}{\partial t}}=\mu _{0}\left({\boldsymbol {j}}^{\prime }+{\frac {\partial {\boldsymbol {P}}}{\partial t}}+\nabla \times {\boldsymbol {M}}\right)$

となる。さらに分極電荷密度、分極電流密度、磁化電流密度を

$\rho _{P}=-\nabla \cdot {\boldsymbol {P}}$

${\boldsymbol {j}}_{P}={\frac {\partial {\boldsymbol {P}}}{\partial t}}$

${\boldsymbol {j}}_{M}=\nabla \times {\boldsymbol {M}}$

として導入すれば、方程式は以下のように書ける。

$\nabla \cdot {\boldsymbol {E}}={\frac {1}{\varepsilon _{0}}}(\rho ^{\prime }+\rho _{P})={\frac {1}{\varepsilon _{0}}}\rho _{0}$

$\nabla \times {\boldsymbol {B}}-\mu _{0}\varepsilon _{0}{\frac {\partial {\boldsymbol {E}}}{\partial t}}=\mu _{0}\left({\boldsymbol {j}}^{\prime }+{\boldsymbol {j}}_{P}+{\boldsymbol {j}}_{M}\right)=\mu _{0}{\boldsymbol {j}}_{0}$

これは、ρ₀, j₀ を（場の源となる）電荷密度 ρ・電流密度 j と見なすならば、真空中のマクスウェル方程式と同じ形をしている。 媒質は微視的に見れば原子核や電子などの荷電粒子から構成されていると考えられるが、 これらの粒子に起因する電荷・電流も ρ, j に含めて扱うことにすれば、 物質があっても「真空中のマクスウェル方程式」が適用できる、と解釈できる。

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

詳細は「電磁ポテンシャル」を参照

以下のローレンツ条件

$\operatorname {div} {\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 &=-{\frac {\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({\bf {x}},t)=-\delta ({\bf {x}},t)$

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

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

なる方程式に対して

$f({\bf {x}},t)=\int d^{3}x'dt'\ G({\bf {x}}-{\bf {x'}},t-t')\rho ({\bf {x'}},t')$

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

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

電磁波の波動方程式

マクスウェルの方程式から、電磁波の伝搬についての記述を得ることができる。真空または電荷分布がない絶縁体では、電場と磁場が次の波動方程式

$\nabla ^{2}{\boldsymbol {E}}-\mu \epsilon {\frac {\partial ^{2}{\boldsymbol {E}}}{\partial t^{2}}}=0$

$\nabla ^{2}{\boldsymbol {B}}-\mu \epsilon {\frac {\partial ^{2}{\boldsymbol {B}}}{\partial t^{2}}}=0$

を満たすことがマクスウェル方程式から示される。これは電磁場が媒質中を速さ

$v={\frac {1}{\sqrt {\mu \epsilon }}}$

で伝搬する波動であることを意味する。媒質の屈折率

$n={\sqrt {\frac {\mu \epsilon }{\mu _{0}\epsilon _{0}}}}=c{\sqrt {\mu \epsilon }}$

を導入すれば、$v$は

$v={\frac {c}{n}}$

とも表される。

導出の詳しい過程については「b:電磁波の式の導出」を、正確なWikipediaのマークアップでの表示については「利用者:知識熊/sandbox/電磁波の波動方程式の導出」を参照

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

マクスウェルの方程式と特殊相対性理論

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

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

$A^{\mu }=(\phi /c,{\boldsymbol {A}}),~A_{\mu }=\eta _{\mu \nu }A^{\nu }=(\phi /c,-{\boldsymbol {A}})$

但し、重複するギリシャ文字に対してはアインシュタインの縮約記法に従って和をとるものとし、計量テンソルは η_μν = diag(1, −1, −1, −1) で与えるものとする。また、各ギリシャ文字は 0,1,2,3 の値を取り、0は時間成分、1,2,3は空間成分を表すものとする。特に時空の座標については (x⁰, x¹, x², x³) = (ct, x, y, z) である。

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

$F_{\mu \nu }\equiv \partial _{\mu }A_{\nu }-\partial _{\nu }A_{\mu }=-F_{\nu \mu }$（0a,0bに対応）

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

$(F_{01},F_{02},F_{03})=(E_{1}/c,E_{2}/c,E_{3}/c),~(F_{32},F_{13},F_{21})=(B_{1},B_{2},B_{3})$

となる。

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

$\partial _{\rho }F_{\mu \nu }+\partial _{\mu }F_{\nu \rho }+\partial _{\nu }F_{\rho \mu }=0$（1a,1bに対応）

$\partial _{\mu }F^{\mu \nu }=\mu _{0}j^{\nu }$（2a,2bに対応）

但し、j^μ は4元電流密度

$j^{\mu }=(c\rho ,{\boldsymbol {j}})$

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

$\partial _{\mu }j^{\mu }=0$（3に対応）

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

$\Box A^{\mu }-\partial ^{\mu }\partial _{\nu }A^{\nu }=\mu _{0}j^{\mu }$

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

「古典電磁気学の共変定式」も参照

微分形式による表現

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

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

$A=A_{\mu }dx^{\mu }=\phi \,dt-A_{x}\,dx-A_{y}\,dy-A_{z}\,dz$

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

${\begin{aligned}F&\equiv dA={\tfrac {1}{2}}(\partial _{\mu }A_{\nu }-\partial _{\nu }A_{\mu })\,dx^{\mu }\wedge dx^{\nu }\\&={\tfrac {1}{2}}F_{\mu \nu }\,dx^{\mu }\wedge dx^{\nu }\\&=E_{x}\,dt\wedge dx+E_{y}\,dt\wedge dy+E_{z}\,dt\wedge dz-B_{x}\,dy\wedge dz-B_{y}\,dz\wedge dx-B_{z}\,dx\wedge dy\end{aligned}}$

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

${\begin{aligned}H&\equiv {\tfrac {1}{\mu _{0}}}F^{*}={\tfrac {1}{4\mu _{0}}}\epsilon _{\mu \nu \rho \sigma }F^{\mu \nu }dx^{\rho }\wedge dx^{\sigma }\\&={\tfrac {1}{2}}H_{\mu \nu }\,dx^{\mu }\wedge dx^{\nu }\\&=H_{x}\,cdt\wedge dx+H_{y}\,cdt\wedge dy+H_{z}\,cdt\wedge dz+D_{x}c\,dy\wedge dz+D_{y}c\,dz\wedge dx+D_{z}c\,dx\wedge dy\end{aligned}}$

が定義される。

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

$J=j_{\mu }dx^{\mu }=\rho c^{2}dt-j_{x}dx-j_{y}dy-j_{z}dz$

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

${\begin{aligned}J^{*}&={\tfrac {1}{3!}}\epsilon _{\mu \nu \rho \sigma }j^{\mu }dx^{\nu }\wedge dx^{\rho }\wedge dx^{\sigma }\\&=\rho c\,dx\wedge dy\wedge dz-j_{x}\,cdt\wedge dy\wedge dz-j_{y}\,cdt\wedge dz\wedge dx-j_{z}\,cdt\wedge dx\wedge dy\end{aligned}}$

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

$dH=J^{*}$

となる。

外微分の性質 ddξ=0 から(1a,1b)に対応する

$dF=ddA=0$

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

$dJ^{*}=ddH=0$

が得られる。

参考文献

原論文

• Maxwell, J. C. (October 27, 1865). “A dynamical theory of the electromagnetic field [電磁場の動力学的理論]” (PDF). Phil. Trans. R. Soc. Lond. 155: 459-512. doi:10.1098/rstl.1865.0008. JSTOR 108892. http://upload.wikimedia.org/wikipedia/commons/1/19/A_Dynamical_Theory_of_the_Electromagnetic_Field.pdf. 

書籍

• Lorentz, H.A.『ローレンツ 電子論』広重徹、1973年。
• 広重, 徹『物理学史II』培風館〈新物理学シリーズ〉、1968年3月。全国書誌番号:68001733。ISBN 978-4563024062。NCID BN00957321。OCLC 673599647。ASIN 4563024066。
• Landau, L.D.、Lifshitz, E.M.『場の古典論：電気力学, 特殊および一般相対性理論』恒藤敏彦, 広重徹訳、東京図書〈ランダウ=リフシッツ理論物理学教程〉、1978年10月、原書第6版。全国書誌番号:79000237。ISBN 978-4489011610。NCID BN00890297。OCLC 841897028。ASIN 448901161X。
• 砂川, 重信『理論電磁気学』紀伊國屋書店、1999年9月、第3版。全国書誌番号:99125994。ISBN 978-4314008549。NCID BA43015728。OCLC 675159672。ASIN 4314008547。
• Jackson, J.D.『電磁気学』上巻、西田稔訳、吉岡書店〈物理学叢書〉、2002年7月、原書第3版。全国書誌番号:20301816。ISBN 978-4842703053。NCID BA57742913。OCLC 123038116。ASIN 4842703059。
• Flanders, Harley (1989). Differential Forms with Applications to the Physical Sciences. Dover Publications. ISBN 0486661695 

関連項目

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

外部リンク

• 日本大百科全書(ニッポニカ)『マクスウェルの方程式』 - コトバンク