マクスウェルの方程式

提供: testwiki
2024年12月25日 (水) 07:38時点における2400:4053:4184:3b00:382a:a98a:b8e4:a487 (トーク)による版
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
ナビゲーションに移動 検索に移動

テンプレート:混同 テンプレート:脚注の不足 マクスウェルの方程式(マクスウェルのほうていしき、テンプレート:Lang-en-short、マクスウェル方程式とも)は、電磁場を記述する古典電磁気学基礎方程式マイケル・ファラデーが幾何学的考察から見出した電磁力に関する法則を、1864年ジェームズ・クラーク・マクスウェルによって数学的形式として整理した[1]

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

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

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

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

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

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

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

4つの方程式

マクスウェルの方程式の図示

(微分形による)マクスウェルの方程式は、以下の4つの連立偏微分方程式である。記号「」はナブラ演算子、記号「」、「×」はそれぞれベクトル場の発散 (div)回転 (rot) である。

{𝑩(t,𝒓)=0×𝑬(t,𝒓)=𝑩(t,𝒓)t𝑫(t,𝒓)=ρ(t,𝒙)×𝑯(t,𝒓)=𝒋(t,𝒓)+𝑫(t,𝒓)t

また、一般の媒質の構成方程式は(E-B対応では)以下である。

𝑫=ε0𝑬+𝑷𝑯=μ01𝑩𝑴

ここでtは時刻, 𝒓は位置ベクトル, 𝑬電場の強度𝑫電束密度𝑩磁束密度𝑯磁場の強度𝑷分極𝑴磁化を表す。また、ε0真空の誘電率μ0真空の透磁率ρ電荷密度𝒋電流密度を表す。真空中では𝑷=𝑴=0となる。

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

磁束保存の式

𝑩=0(微分形の磁束保存の式)

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

S𝑩d𝑺=0

ここでテンプレート:Math は、閉曲面 S 上の面素ベクトルである。 構造的に見て磁力線閉曲線でなければならないことを意味する。この式は電場の積分形と同様に、閉曲面上を積分したときにのみ意味がある。

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

𝑩=ρm

ここで テンプレート:Math は磁気単極子の磁荷密度である。

テンプレート:See also

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

×𝑬=𝑩t(微分形のファラデー-マクスウェルの式)

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

C𝑬d𝒍=dϕdt

ただし、

ϕ=S𝑩d𝑺

ここで、(向きのついた)閉曲線を テンプレート:Mvarテンプレート:Mvar を縁とする曲面を テンプレート:Mvar とし、ϕ は曲面 テンプレート:Mvar を通過する磁束、テンプレート:Mvar は経路 テンプレート:Mvar に沿った(誘導)起電力である。ファラデー-マクスウェルの式の積分形で時間微分を積分の外に置く場合には、経路 テンプレート:Mvar と曲面 テンプレート:Mvar は時間変化しないものとする。よって、導体が動く場合についてはこの式の対象ではないテンプレート:Efn2。式中の負号については、しばしば磁場の増減に対する起電力は磁場源となる電流が減増する向きといった説明がなされる。

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

𝑫=ρ(微分形のマクスウェル-ガウスの式)

上の式は、電束が電荷の存在するところで増減(発生・消滅)し、それ以外のところでは保存されることを示す。

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

S𝑫d𝑺=Qencl

ここで テンプレート:Math は、閉曲面 S 上の面素ベクトルであり、テンプレート:Math は閉曲面 S で囲まれた領域内の電荷である。この積分形は、閉曲面上を積分したときにのみ意味があり、ガウスの法則としてよく知られている。

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

×𝑯=𝒋+𝑫t(微分形のアンペール-マクスウェルの式)

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

C𝑯d𝒍=S𝒋+𝑫td𝑺

テンプレート:Mvar は曲面 S の縁となる閉曲線である。

右辺の第2項は変位電流項と呼ばれる。工学上は、変位電流は媒質が普通の金属ならばまず無視できる。電場の変動の角周波数 テンプレート:Mvar が電気伝導度 テンプレート:Mvar と誘電率 テンプレート:Mvar の比より十分小さければよい。普通の金属の電気伝導度は テンプレート:Mvarテンプレート:Val 程度で、誘電率は真空とさほど変わらない テンプレート:Mvarテンプレート:Valから

ωσε  1018 s1

となり、テンプレート:Mvar がTHz単位でも条件を満たしている。

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

それぞれの式の解釈

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

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

力場に関する方程式

第1の組は、 テンプレート:Numblk テンプレート:Numblk である。この式は電磁場の拘束条件を与える式である(ビアンキ恒等式)。

この式は 𝑬,𝑩電磁ポテンシャル ϕ,𝑨により、 テンプレート:Numblk テンプレート:Numblk と表せば恒等的に満たすように出来る。

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

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

ρ𝑬+𝒋×𝑩

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

源場に関する方程式

第2の組は、 テンプレート:Numblk テンプレート:Numblk である。電荷、電流の分布が電磁場の源となっていることを表す式である(電磁場の運動方程式)。 電磁場の微分(左辺)が電荷、電流の分布(右辺)によって書かれており、電荷、電流の分布を与えると電磁場の形が分かる方程式になっている。

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

ρt+𝒋=0

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


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

𝑩t=×𝑬 ,𝑩=0𝑫t=×𝑯𝒋 ,𝑫=ρ

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

媒質の構成方程式

媒質の構成方程式は、それぞれ別の方法で定義された源場(𝑫,𝑯)と力場(𝑬,𝑩)を関連付ける方程式である[3]

一般の媒質中

電荷密度と電流密度が作る場である 𝑫,𝑯 と、電荷密度と電流密度に力を及ぼす場である 𝑬,𝑩分極 𝑷磁化 𝑴 を介して以下のように関連付けられる。

𝑫=ε0𝑬+𝑷𝑯=μ01𝑩𝑴

真空中では𝑷=𝑴=0となる。

E-H対応の場合は磁気に関する構成方程式が𝑩=μ0𝑯+𝑷mとなる[4]𝑷m磁気分極(または単に磁化)と呼ばれ、𝑴とは違う次元をもつ。 テンプレート:See also


構成方程式による源場(𝑫,𝑯)と力場(𝑬,𝑩)の関係を使ってマクスウェル方程式の源場に関する式を力場で表すと

{𝑬=1ε0(ρ𝑷)×𝑩μ0ε0𝑬t=μ0(𝒋+𝑷t+×𝑴)

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

ρP=𝑷𝒋P=𝑷t𝒋M=×𝑴

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

{𝑬=1ε0(ρ+ρP)×𝑩μ0ε0𝑬t=μ0(𝒋+𝒋P+𝒋M)

線型媒質中

誘電体に生じる分極は媒質によって異なり、結晶のような方向性がある場合では一般に 𝑷 の向きと 𝑬 の向きは異なるが、等方性のある物質で電場があまり強くない場合は分極は電場に比例し、

𝑷=χe𝑬

となる。χe電気感受率である。

また、磁性体に生じる磁化も強磁性でない物質で磁場があまり強くない場合は分極は磁場に比例し、

𝑴=χm𝑯

となる。χm磁化率である。

このとき、構成方程式は

𝑫=(ε0+χe)𝑬μ0(1+χm)𝑯=𝑩

ここで

ε=ε0+χe,μ=μ0(1+χm)

とすると

𝑫=ε𝑬𝑯=μ1𝑩

と表せる。ここで ε,μ はそれぞれその媒質の誘電率透磁率であり、媒質の性質を特徴付ける物性値である。これらは等方的な媒質ではスカラーであるが、一般にはテンソルとなる。

真空中

媒質が存在しない真空中(自由空間中)においては、𝑷=𝑴=0 となり、真空の構成方程式は

𝑫=ε0𝑬𝑯=μ01𝑩

となる。また、光速度 c0真空のインピーダンス Z0 を用いて以下のようにまとめられる。

[𝑬c0𝑩]=Z0[c0𝑫𝑯]

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

テンプレート:Main 以下のローレンツ条件

𝑨+1c2ϕt=0

における電磁ポテンシャル(ベクトルポテンシャル 𝑨 とスカラーポテンシャル ϕ)を用いて、マクスウェル方程式テンプレート:Efn2は以下の2組の方程式として表すことができる。

{(1c22t2)ϕ=ρε0(1c22t2)𝑨=μ0𝒋

いずれの式も左辺は線形演算子のダランベルシアン□が作用しており、右辺は片やスカラー値の、片やベクトル値の連続関数である。ベクトルについては各々の成分について適用して考えることでスカラーの場合と同様に考えることができる。線形微分方程式に対してはグリーン関数法を考えることで解くことができる。すなわち、

(Δ1c22t2)G(𝒙,t)=δ(𝒙,t)

の解となる関数(グリーン関数)G(𝒙,t)を求めることで一般に

(Δ1c22t2)f(𝒙,t)=ρ(𝒙,t)

なる方程式に対して

f(𝒙,t)=d3xdt G(𝒙𝒙,tt)ρ(𝒙,t)

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

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

電磁波の波動方程式

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

2𝑬με2𝑬t2=0
2𝑯με2𝑯t2=0

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

v=1με

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

n=μεμ0ε0=cμε

を導入すれば、v

v=cn

とも表される。 テンプレート:For2

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

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

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

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

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

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

テンプレート:See also

微分形式による表現

テンプレート:See also マクスウェルの方程式は多様体理論における微分形式によって簡明に表現することができる[7]

まず電磁ポテンシャル テンプレート:Mvar により、1次微分形式 テンプレート:Indent を導入する。これに外微分を作用させることで2次微分形式 テンプレート:Indent が定義される。 さらに F のホッジ双対として 2次微分形式 テンプレート:Indent が定義される。

4元電流密度により1次微分形式 テンプレート:Indent を導入し、これのホッジ双対により3次微分形式 テンプレート:Indent を定義すれば、外微分の作用により運動方程式(テンプレート:EquationNote,テンプレート:EquationNote)に対応して テンプレート:Indent となる。

外微分の性質 ddξ=0 から(テンプレート:EquationNote,テンプレート:EquationNote)に対応する テンプレート:Indent と、連続の方程式に対応する テンプレート:Indent が得られる。

脚注

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

注釈

テンプレート:Notelist2

出典

テンプレート:Reflist

参考文献

原論文

書籍

関連項目

外部リンク

テンプレート:Physics-footer テンプレート:電磁気学 テンプレート:相対性理論 テンプレート:Normdaten