マクスウェルの方程式

テンプレート:電磁気学 マクスウェルの方程式（マクスウェルのほうていしき、テンプレート:Lang-en-short）は、電磁場のふるまいを記述する古典電磁気学の基礎方程式。マイケル・ファラデーが幾何学的考察から見出した電磁力に関する法則から1864年にジェームズ・クラーク・マクスウェルが数学的形式として整理し導いた^[1]。マクスウェル-ヘルツの電磁方程式、電磁方程式などとも呼ばれ、マクスウェルはマックスウェルとも表記される。

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

なお、電磁気学の単位系は、国際単位系に発展したMKSA単位系のほか、ガウス単位系などがあるが、以下では原則として、国際単位系を用いることとする。

内容

(微分形による)マクスウェルの方程式とは以下の連立偏微分方程式である。テンプレート:Indent テンプレート:Indent テンプレート:Indent テンプレート:Indent ここで E は電場の強度、B は磁束密度、D は電束密度、H は磁場の強度である。また ρ は電荷密度、j は電流密度である。記号「∇・」、「∇×」はそれぞれベクトル場の発散と回転である。

E-B による表示

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

真空中

媒質が存在しない真空中（自由空間中）においては、D、H はそれぞれ E、B とテンプレート:Indent テンプレート:Indent の関係にある。ここで ε₀ は真空中の誘電率、μ₀ は真空中の透磁率であり、これらは普遍定数である。このとき方程式はテンプレート:Indent テンプレート:Indent{\partial t}

= \mu_0\boldsymbol{j}</math>}}

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

等方一様線型媒質中

線型媒質中においては、D、H は線型関係テンプレート:Indent テンプレート:Indent によって E、B と関係付けられる。ここで ε、μ はそれぞれその媒質の誘電率と透磁率であり、媒質の性質を特徴付ける物性値である。これらは一般にはテンソルであるが、等方的な媒質ではスカラーとなる。さらに一様な媒質であると考えれば、マクスウェルの方程式はテンプレート:Indent テンプレート:Indent{\partial t}

= \mu\boldsymbol{j}</math>}}

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

一般の媒質中

一般の媒質中においては、D、H と E、B を関係付ける量として、誘電分極 P と磁化 M がテンプレート:Indent テンプレート:Indent によって導入される。このとき、方程式はテンプレート:Indent テンプレート:Indent{\partial t}

=\mu_0\left( \boldsymbol{j}
+\frac{\partial\boldsymbol{P}}{\partial t}
+\nabla\times \boldsymbol{M}
\right)</math>}}

となる。さらに分極電荷密度、分極電流密度、磁化電流密度をテンプレート:Indent テンプレート:Indent{\partial t}</math>}} テンプレート:Indent として導入すれば、方程式はテンプレート:Indent テンプレート:Indent{\partial t}

=\mu_0\left( \boldsymbol{j}
+\boldsymbol{j}_P
+\boldsymbol{j}_M
\right)
=\mu_0 \boldsymbol{j}_0</math>}}

となる。これは真空中におけるマクスウェルの方程式と同じ形をしている。媒質は原子核や電子などの荷電粒子から構成されている。これらが真空中に分布しているものとして考えたときの電荷の分布が <math>\rho_0,\boldsymbol{j}_0</math> である。一方、媒質を構成する荷電粒子はマクロに見たとき、分子、或いは原子として束縛されている。電荷の分布を平均化した後の分布が ρ、j である。

歴史的経緯と解釈

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

第1の組は、テンプレート:Indent テンプレート:Indent{\partial t}

=\mathbf{0}</math> : (1b)

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

この式は E,B を電磁ポテンシャル φ, A により、テンプレート:Indent{\partial t} </math> : (0a) }} テンプレート:Indent と表せば恒等的に満たすように出来る。マクスウェル自身の原著論文『電磁場の動力学的理論』(1865年)や原著教科書『電気磁気論』(1873年)ではこのように表されていたが、1890年になってヘルツが改めて理論構成を考察し、上記2式から電磁ポテンシャルを消去した (1a), (1b) を基本方程式とすることを要請した。このヘルツによる電磁ポテンシャルを消去した形をマクスウェルの方程式と見なすのが現在の主流となっている。この見かたでは (0a)と(0b)は電磁場の定義式と見なされる。

第2の組は、テンプレート:Indent テンプレート:Indent{\partial t}

= \boldsymbol{j}</math> : (2b)

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

電磁場の微分（左辺）が電荷、電流の分布（右辺）によって書かれており、電荷、電流の分布を与えると電磁場の形が分かるという方程式になっている。この式から、電荷、電流の分布には電気量保存則（連続の方程式）テンプレート:Indent が成り立つことが導かれる。また、電磁場はローレンツ力テンプレート:Indent により電荷、電流の分布を変動させる。

それぞれの組は時間微分を片側に移し、テンプレート:Indent{\partial t}

=-\nabla\times\boldsymbol{E},~

\nabla\cdot\boldsymbol{B} =0</math> }} テンプレート:Indent{\partial t}

=\nabla\times\boldsymbol{H}+\boldsymbol{j},~

\nabla\cdot\boldsymbol{D} = \rho</math> }} と変形すれば、時間発展の方程式とその初期条件と見ることができる。

また、E,Bにより記述した場合は式の組み合わせを変えてテンプレート:Indent{\partial t}</math> }} テンプレート:Indent{\partial t}

+\mu\boldsymbol{j}</math>

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

それぞれの解釈は次の通り。

(1a) : 磁束保存の式 … 磁場には源がない。

(1b) : ファラデー-マクスウェルの式 … 磁場の時間変化があるところには電場が生じる（電磁誘導）。

(2a) : ガウス-マクスウェルの式 … 電場の源は電荷である。

(2b) : アンペール-マクスウェル … 電場の時間変化（変位電流という）と電流とで磁場が生じている。

これらの方程式系に整理されたことから、電場と磁場の統一（電磁場）、光が電磁波であることなどが導かれ、その時空論としての特殊相対性理論に至る。

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

マクスウェルが導出した方程式はベクトルの各成分をあたかも互いに独立な量であるかのように別々の文字で表して書かれており、現代の洗練された形式ではなかった。これを1884年にヘヴィサイドがベクトル解析の記法を適用して現在の見やすい形に書き改めた。しかも彼は既にそこで電磁ポテンシャルが消去出来ることを示して、方程式系を今日我々が知る形に整理していた。しかし、その意義は直ちには認められるに至らず、それとは独立に上記のヘルツの仕事がなされた。ベクトル記法が一般化し始めるのは 1890年代半ばであって、ヘルツの論文ではまだそれを使っていない。いずれにせよ、このベクトル解析の記法の採用は場における様々な対称性を一目で見ることを可能にし、物理現象の理解に大いに役立った^[2]。

4 つの方程式

次に、ベクトル解析を用いて、4 つの方程式（成分表示で 8 つの式、テンソル表示で 2 つの式）を説明する。

磁場の構造（磁束保存の式）

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

B は磁束密度（単位はテスラ T ）。積分形で表すと次の式になる。

<math>\int_A \boldsymbol{B} \cdot d\boldsymbol{A} = 0</math>

ここで dA は、領域の外側へ向かう方向と直交する閉じた曲面 A 上の微小な方形の領域である。電場の積分形と同様に、この式は閉曲面上を積分したときにのみ意味がある。

上の式は磁場の構造と関係がある。なぜなら、与えられるどんな体積要素についても、表面 A の外側の点のベクトル成分の総和が内側の点のベクトル成分の総和に等しくなるからである。このことは、構造的に見て、磁力線が閉曲線でなければならないことを意味する。またこの式は、磁力線はどこかを起点とすることも終点とすることもできないことを意味する。すなわち磁気単極子（モノポール）が存在しないことを示唆する。

もし、磁気単極子が発見されたならば、上の式は次のように変更されなければならない。

<math>\nabla \cdot \boldsymbol{B} = \rho_m</math>

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

変化する磁場と電場（ファラデー-マクスウェルの式）

<math>\nabla \times \boldsymbol{E}=

-\frac{\partial\boldsymbol{B}}{\partial t}</math>（微分形のファラデー-マクスウェルの式）

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

<math> V = - \frac{d\phi_{\boldsymbol{B}}} {dt}</math>（レンツの法則）

ただし、

<math> \phi_{\boldsymbol{B}} = \int_{A} \boldsymbol{B} \cdot d\boldsymbol{\mathit{A}}</math>

ここで φ_B は磁束保存の式で記述された面積 A を通過する磁束、V は面積 A の縁の周囲の起電力。この式は、閉じていない曲面 A についてのみ働く。なぜなら磁束保存の式の説明で述べたように、閉じた曲面を通る磁束の総和は常に 0 だからである。起電力はその曲面 A の縁に沿って測定されるが、閉じた曲面には縁がない。いくつかの電気工学の文献では、曲面 A の縁に巻かれたコイルの数 N を磁束の導関数の前に用いてこの積分形式を表現している。なお、式中の負号があるため、磁束密度の時間微分が正なら左回転に、負なら右回転になる。

この式は、電磁誘導に関するファラデーの法則（電磁誘導の法則）の定式化であり、非常に多くの実用的な応用、例えば電動機（モータ）や発電機に関係している。

電荷密度と電場（マクスウェル-ガウスの式）

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

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

<math>\nabla \cdot \boldsymbol{E} = \frac{\rho}{\varepsilon_0}</math>（微分形のマクスウェル-ガウスの式: E-B対応）

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

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

<math>\int_A \boldsymbol{E} \cdot d\boldsymbol{A} = \frac{Q_{\rm encl}}{\varepsilon_0}</math>

ここで dA は、電荷の外側へ向かう方向と直交する閉じた曲面 A 上の微小な方形の領域であり、Q_encl はその閉曲面当たりの電荷である。この積分形は、閉曲面上を積分したときにのみ意味があり、ガウスの法則としてよく知られている。また、この式はクーロンの法則に相当するものである。

電流・電場と磁場（アンペール-マクスウェルの式）

<math> \nabla \times \boldsymbol{H} =

\boldsymbol{j} + \frac {\partial \boldsymbol{D}} {\partial t}</math>(微分形のアンペール-マクスウェルの式: D-H対応)

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

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

<math>\nabla \times \boldsymbol{B} =

\mu_0 \boldsymbol{j} + \mu_0 \varepsilon_0 \frac{\partial \boldsymbol{E}}{\partial t}</math>

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

<math>\oint_s \boldsymbol{B} \cdot d\boldsymbol{s} = \mu_0 I_{\rm{through}} - \mu_0 \varepsilon_0 \int_A \frac{\partial \boldsymbol{E}}{\partial t} \cdot d \boldsymbol{A}</math>

s は開曲面 A の縁となる曲線で、I_through は曲線 s で囲まれた曲面 A を通過する電流（ I_{through A} = ∫_Aj · dA）である。コンデンサや ∇ · j ≠ 0 となるほかの場所がなければ、右辺の第 2 項（変位電流）は一般に無視される。なお、この式は、アンペール-マクスウェルの法則としても知られている。

波動方程式

これらの式は、波動方程式を導き（電磁波の式の導出）、

<math>c = \frac{1} {\sqrt{\mu_0 \varepsilon_0}}</math>

という速度で移動する波動である。

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

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

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

電場と磁場による表現では、共変性が見にくいため、4元ポテンシャル A^μ を考える。テンプレート:Indent 但し、重複するギリシャ文字に対してはアインシュタインの縮約記法に従って和をとるものとし、計量テンソルはテンプレート:Nowrap で与えるものとする。また、各ギリシャ文字は 0,1,2,3 の値を取り、0は時間成分、1,2,3は空間成分を表すものとする。特に時空の座標については(x⁰, x¹, x², x³)=(ct, x, y, z)である。

電磁ポテンシャルから構成される電磁場テンソル テンプレート:Indent を導入する。電場、磁場との対応関係はテンプレート:Indent となる。

このとき、マクスウェル方程式はローレンツ変換に対しての共変性が明確な形式で、次のような2つの方程式にまとめられる。テンプレート:Indent テンプレート:Indent 但し、j^μは4元電流密度 テンプレート:Indent である。このとき、電荷の保存則はテンプレート:Indent と表される。なお、4元ポテンシャルで表現すると、マクスウェル方程式は次の一つの方程式にまとめられる。テンプレート:Indent ここで、□はダランベール演算子を表す。

微分形式による表現

マクスウェルの方程式は多様体理論における微分形式によって簡明に表現することができる。まず電磁ポテンシャル A^μ により、1次微分形式テンプレート:Indent を導入する。これに外微分を作用させることで2次微分形式テンプレート:Indent が定義される。さらに F のホッジ双対として2次微分形式テンプレート:Indent が定義される。 4元電流密度により1次微分形式テンプレート:Indent を導入し、これのホッジ双対により3次微分形式テンプレート:Indent を定義すれば、外微分の作用により運動方程式(2a,2b)に対応してテンプレート:Indent となる。外微分の性質 ddξ=0 から(1a,1b)に対応するテンプレート:Indent と、連続の方程式に対応するテンプレート:Indent が得られる。

脚注

テンプレート:脚注ヘルプ

↑ マクスウェル (1865)
↑ 広重徹『物理学史Ⅱ』培風館、1968年、10-6~8参照

参考文献

原論文

テンプレート:Citation

書籍