電磁ポテンシャルのソースを表示

{{単一の出典|date=2019年4月}}
'''電磁ポテンシャル'''（でんじポテンシャル）とは、[[電磁場]]を導くポテンシャルで、一対の電気[[スカラーポテンシャル]]と磁気[[ベクトルポテンシャル]]からなる<ref group="注釈">「スカラーポテンシャル」、「ベクトルポテンシャル」という言葉は本来は電磁気に限らないものでポテンシャル全般を指す言葉である。物理分野、特に電磁気の関わる領域においてはもっぱら静電ポテンシャルと磁気ポテンシャルを指して用いられる。</ref>。

[[物理学]]、特に[[電磁気学]]とその応用分野で使われる。[[アハラノフ＝ボーム効果]]の検証結果から、磁気ベクトルポテンシャルについては物理量とみなされている。

似た概念に磁位ポテンシャルがある。

== 概要 ==
つぎのように電場'''E'''と磁場'''B'''を導く電気スカラーポテンシャル <math>\phi(t,\boldsymbol{x})</math> と磁気ベクトルポテンシャル <math>\boldsymbol{A}(t,\boldsymbol{x})</math> が定義される。
{{Indent|(M0-a) : 
<math>\boldsymbol{E} = -\nabla\phi
 -\frac{\partial\boldsymbol{A}}{\partial t}</math>
}}
{{Indent|(M0-b) : 
<math>\boldsymbol{B} = \nabla\times \boldsymbol{A}</math>
}}
磁場の時間変動がない静磁場では<math>\frac{\partial\boldsymbol{A}}{\partial t} = 0</math>となるので電気スカラーポテンシャルΦのみで電場Eが与えられる。このときのΦを電位という。また、静磁場かつ電荷分布の時間変動が無い場合は磁場が問題にならないので（M0-b）式のみが使われる場合がある。

[[マクスウェルの方程式]]において、[[電場|電場の強度]] <math>\boldsymbol{E}(t,\boldsymbol{x})</math>、[[磁束密度]] <math>\boldsymbol{B}(t,\boldsymbol{x})</math> は以下の式に従う。{{Indent|(M1-a) : 
<math>\nabla\cdot \boldsymbol{B} = 0</math>
}}
{{Indent|(M1-b) : 
<math>\nabla\times \boldsymbol{E}
 +\frac{\partial\boldsymbol{B}}{\partial t} = \mathbf{0}</math>
}}
これらの拘束条件は、電磁ポテンシャルの導入下では（[[ベクトル解析]]の恒等関係により）自動的に満たされる。

=== 電気スカラーポテンシャル ===
'''静磁場の場合にかぎり、'''電気スカラーポテンシャルは[[電位]]とも称される。このときの電場<math>\boldsymbol{E}</math> は、

* <math>\boldsymbol{E}_{(x,y,z)} = - \mathrm{grad}~ \phi(x,y,z)</math> ....(a)

により電位 φ(x,y,z) の勾配として導かれる。ここで(x,y,z)は空間上の任意の点である。無限遠方の電荷を(x,y,z)の位置まで静的に持ち込むときの仕事に相当にする。このとき φ（x,y,z）は、原理上は <math>\boldsymbol{E}</math> の[[線積分]]として計算できる。

静磁場という条件がない時は、磁場が電場を誘導する関係上、式(a)を満たすφ(x,y,z)は存在せず、電位を定義できない。仮に<math>\boldsymbol{E}</math>の線積分から電位 φ(x,y,z) の値を得ようとすると、積分経路に依存して異なった結果となる。この誘導電場すなわち静電場からのずれが式(M0-a)の第2項である。

電気スカラーポテンシャルは静電場源、すなわち電荷によるポテンシャルの総和でもある。よって電荷分布から算出できる。

=== 磁気ベクトルポテンシャル ===
磁気ベクトルポテンシャルは磁場を導くポテンシャルである。磁気ベクトルポテンシャルが時間変化している場合は、電気スカラーポテンシャルとは別に、磁場の時間変化を通して電場も導く。

磁気ベクトルポテンシャルは磁場源、すなわち局所電流によるポテンシャルの総和でもある。よって電流密度分布から算出できる。なお、ここにおける局所電流や電流密度分布は電荷の移動によるものだけでなく[[変位電流]]も含むことに注意されたい。

=== ポテンシャルの一意性とゲージ選択 ===
なお、静磁場において電場に対する電位が一意に定まらず積分定数分だけの自由度があるように、電磁場に対する電磁ポテンシャルも一意には定まらない（しかも自由度が大きい為、定数分の差を除いても一意に定まらない）。必要に応じてさらなる条件（ローレンツゲージ、クーロンゲージ等）を課す場合がある。

=== ゲージ変換 ===
電磁場は電磁ポテンシャルの一階の[[微分方程式]]で定義されるため、電磁ポテンシャルには不定性が生じる。この不定性によりポテンシャルを変化させる操作は'''[[#ゲージ変換_2|ゲージ変換]]'''と呼ばれる。

電磁場をラグランジュ形式で記述する際のラグランジアンは電磁場ではなく電磁ポテンシャルを用いて書かれる。電磁ポテンシャルは、電磁場より基本的な量として扱われる。

[[古典電磁気学]]では、観測にかかる本質的な物理量は[[電場]]や[[磁場]]であって、ベクトルポテンシャルやスカラーポテンシャルは便宜的に導入された道具に過ぎないとも考えられている。またゲージ変換も理論の不定性を増すだけの余分な性質のように言われることもある。しかし電荷が光速移動する際のローレンツ不変性を説明するためにはポテンシャル場の介在の上で電磁場を捉える必要がある。また量子力学などの領域でも、電場や磁場よりも電磁ポテンシャルの方が本質的な物理量である。電磁ポテンシャルが物理量であることの顕著な表れ方が[[アハラノフ＝ボーム効果]]である。またゲージ変換は、荷電粒子と電磁場との相互作用の形を一意的に決定しているために便利である<ref>[[#opt|光物性の基礎と応用]]</ref>。

=== 4元ポテンシャル ===
電気スカラーポテンシャルと磁気ベクトルポテンシャルは[[ローレンツ変換]]の下で
{{Indent|
<math>A^\mu(x) = ( \phi(t,\boldsymbol{x})/c, \boldsymbol{A}(t,\boldsymbol{x}))</math>
}}
として[[4元ベクトル]]にまとめられる。ここで c は[[光速]]で次元を揃える為の換算係数である。
特に4元ベクトルとしての電磁ポテンシャルは'''4元ポテンシャル'''と呼ばれる。[[特殊相対性理論]]の下では、この4元ポテンシャルを用いてマクスウェルの方程式を記述することができる。

ゲージ変換から場の量子論へと発展され、'''[[ゲージ理論]]'''となった。ゲージ理論としてみると、電磁ポテンシャルは U(1) ゲージ対称性に対する[[ゲージ場]]である。

== 真空中における電磁場の電磁ポテンシャルによる記述 ==
空中でのマクスウェルの方程式のうち、電荷によって生じる電磁場の式は
{{Indent|(M2-a) : 
<math>\nabla\cdot \boldsymbol{E} = \frac{\rho}{\varepsilon_0}</math>
}}
{{Indent|(M2-b) : 
<math>\nabla\times \boldsymbol{B}
 -\frac{1}{c^2}\frac{\partial\boldsymbol{E}}{\partial t}
 = \mu_0\boldsymbol{j}</math>
}}
である。

この式に電磁場の定義式(M0)を代入すると、
{{Indent|(M2'-a) : 
<math>\nabla^2 \phi +\nabla\cdot \frac{\partial\boldsymbol{A}}{\partial t}
 = -\frac{\rho}{\varepsilon_0}</math>
}}
{{Indent|(M2'-b) : 
<math>\nabla \left( \frac{1}{c^2}\frac{\partial\phi}{\partial t}
 +\nabla \cdot \boldsymbol{A} \right) +\left(
 \frac{1}{c^2}\frac{\partial^2}{\partial t^2}-\nabla^2
 \right)\boldsymbol{A} = \mu_0 \boldsymbol{j}</math>
}}
が得られる。したがって電磁ポテンシャルを基本的な量として電磁気的現象を記述する場合には式(M2')が場の運動を決定する方程式となる。

マクスウェル自身の原著論文『[[電磁場の動力学的理論]]』や原著教科書『[[電気磁気論]]』はここでの議論と同じくスカラーポテンシャルとベクトルポテンシャルから始めて、式(M0)により電磁場を定義している。

その後、電磁ポテンシャル自体の実在性が疑わしいといった理由により、ヘルツらによって電磁ポテンシャルによる記述は排され、式(M1)を電磁場の拘束条件とするようになった。

== ポテンシャルの導入 ==
静電ポテンシャルは条件式(M0)を満たす関数として導入される。
そこで本章では、電磁場の拘束条件(M1)から、実際に条件(M0)を満たす関数が存在する事を示す。

以下では特に断りがない限り、関数は全て[[滑らかな関数|無限回微分可能]]であるとする。

[[ポアンカレの補題]]から、
3次元ベクトル空間上のベクトル場 <math>\boldsymbol{X}(\boldsymbol{x})</math> に対して
{{Indent|(P1) : 
<math>\nabla\cdot \boldsymbol{X} = 0</math> を満たすとき、3次元ベクトル空間上のベクトル値関数 <math>\boldsymbol{A}(\boldsymbol{x})</math> が存在して、<math>\boldsymbol{X} =\nabla\times \boldsymbol{A}</math> が成り立つ。
}}
{{Indent|(P2) : 
<math>\nabla\times \boldsymbol{X} = \mathbf{0}</math> を満たすとき、3次元ベクトル空間上のスカラー値関数 <math>\phi(\boldsymbol{x})</math> が存在して、<math>\boldsymbol{X} =-\nabla\phi</math> が成り立つ。
}}

さて、1つ目の拘束条件
{{Indent|(M1-a) : 
<math>\nabla\cdot \boldsymbol{B} = 0</math>
}}
に対して補題(P1)を適用すれば、
{{Indent|(M0-b) : 
<math>\boldsymbol{B} =\nabla\times\boldsymbol{A}</math>
}}
を満たすベクトルポテンシャル <math>\boldsymbol{A}</math> が存在することが言える<ref group="注釈">条件式(M0-b)には &nabla; が登場するので、'''A''' は空間方向には可微分であるが、時間方向については何も言っていないので、原理的には時間方向には不連続になるように選ぶ事も可能である。しかし後述するスカラーポテンシャルを導入するとき、時間方向の可微分性を必要とする。以下、空間方向・時間方向双方に対して無限回可微分な '''A''' を選んだものとして議論を進める。</ref>。
なお、条件式(M0-b)を満たすベクトル値関数は一つではないので、ベクトルポテンシャルは一意に定まらない。(M0-b)を満たす関数の中から任意に選んだ一つをベクトルポテンシャルとして定める。

次に2つ目の拘束条件
{{Indent|(M1-b) : 
<math>\nabla\times \boldsymbol{E}
 +\frac{\partial\boldsymbol{B}}{\partial t} = \mathbf{0}</math>
}}
にベクトルポテンシャルの満たすべき条件式(M0-a)を代入すると、
{{Indent|
<math>\nabla\times \boldsymbol{E}
 +\frac{\partial}{\partial t}(\nabla\times \boldsymbol{A})
 =\nabla\times \left( \boldsymbol{E}
 +\frac{\partial\boldsymbol{A}}{\partial t}
 \right) = \mathbf{0}</math>
}}
となり、補題(P2)を適用すると、
{{Indent|
<math>-\nabla\phi = \boldsymbol{E}
 +\frac{\partial\boldsymbol{A}}{\partial t}</math>
}}
を満たすスカラーポテンシャル <math>\phi</math> が存在することが言える。

これを移項して
{{Indent|(M0-a) : 
<math>\boldsymbol{E} = -\nabla\phi
 -\frac{\partial\boldsymbol{A}}{\partial t}</math>
}}
が得られる。

スカラー値関数 &phi; には定数分の自由度があり、一意に定まらない。そこで(M0-b)を満たすものの中から任意に選んだ1つをスカラー・ポテンシャルとして定める。なお、条件式(M0-b)はスカラーポテンシャルだけでなくベクトルポテンシャルにも依存しているので、スカラーポテンシャルは（複数ある）ベクトルポテンシャルのうち1つを定めてはじめて定義できる。従って、スカラーポテンシャルはベクトルポテンシャルと組にして初めて意味をなす概念である。

静磁場における電位の場合と同様の議論により、

: <math> \phi(x,y,z) = - \int_C \left( \boldsymbol{E} + \frac{\partial \boldsymbol{A}}{\partial t} \right) \cdot \mathrm{d}s + \mathrm{constant}</math>

が成り立つ事が言える。ここで''C'' は基点と(x,y,z)とを結ぶ任意の経路である。右辺の値は経路''C'' に依存しない事が言える（[[電位]]の項目も参照）。

<!-- 静磁場とはB=0ではない
=== 電位との関係 ===
静磁場の場合(d)の右辺は恒等的に0になるので、<math>\boldsymbol{A}</math>を恒等的に(0,0,0)となる関数とすると、<math>\boldsymbol{A}</math>はベクトル・ポテンシャルの定義(d)を満たす。
このベクトル・ポテンシャルに対してスカラー・ポテンシャルの定義(g)を考えると、(g)は電位の条件式(a)と一致する。
(a)を満たす関数は定数項を除いて一意なので、この場合スカラー・ポテンシャルは電位と（定数項を除いて）一致する。

しかし前述したようにベクトル・ポテンシャルの定義式(d)を満たす関数は一意ではなく、
任意に選んだ関数f(x,y,z)に対し、

: <math> \boldsymbol{A} = \mathrm{grad} f </math>

としてやると、(rot grad =0なので)、静磁場の場合に(d)を満たす。

このような<math> \boldsymbol{A}</math>を選んだ場合、スカラー・ポテンシャルと電位は一致するとは限らない。
実際、この場合スカラー・ポテンシャルの定義式(g)は

: <math>-\mathrm{grad}\left(\phi + \frac{\partial f}{\partial t}\right) = \boldsymbol{E} </math>

となるので、電位の定義式(a)と見比べると、電位と（定数項を除いて）一致するのは
<math>\phi + \frac{\partial f}{\partial t}</math>であってφ自身ではない。
-->
=== 関数選択の自由度 ===
前述のようにスカラー・ポテンシャル、ベクトル・ポテンシャルの選び方は一意ではない。
実際、条件式(M0)を満たす関数の組 <math>(\phi,\boldsymbol{A})</math> に対して、任意のスカラー値関数 <math>f(t,\boldsymbol{x})</math> により、
{{Indent|(G-a) : 
<math>\phi'=\phi-\frac{\partial f}{\partial t}</math>
}}
{{Indent|(G-b) : 
<math>\boldsymbol{A}'=\boldsymbol{A} +\nabla f</math>
}} 
で <math>(\phi',\boldsymbol{A}')</math> を定義すると、これも条件式(M0)を満たす事を示す事が出来る。
逆に条件式 (M0) を満たす２つの組
<math>(\phi,\boldsymbol{A})</math>、<math>(\phi',\boldsymbol{A}')</math>に対して、関係式(G)を満たす関数 <math>f(t,\boldsymbol{x}) </math> と定数Cが存在する事も示せる。
したがって関係式(G)はスカラー・ポテンシャル、ベクトル・ポテンシャルの選び方の自由度を完全に特徴づけている。

以上のようにスカラー・ポテンシャル、ベクトル・ポテンシャルは一意ではないが、さらに条件（'''ゲージ固定条件'''）を課す事で一意に定める事がある。詳細については[[#ゲージ変換_2|後述のゲージ変換の節]]を参照されたい。

==== 証明 ====
上述した自由度の特徴づけを証明する。

前半は簡単な計算から従うので、後半のみを示す。ポテンシャルの満たすべき条件式(M0)を満たす2つの組
<math>(\phi_1,\boldsymbol{A}_1)</math>、<math>(\phi_2,\boldsymbol{A}_2)</math>を考える。

まず<math>\boldsymbol{A}_1</math>、<math>\boldsymbol{A}_2</math>がいずれも(M0-b)式を満たす事から

: <math>\nabla\times(\boldsymbol{A}_2-\boldsymbol{A}_1)
 = \nabla\times\boldsymbol{A}_2 -\nabla\times\boldsymbol{A}_1
 = \boldsymbol{B}- \boldsymbol{B} = \mathbf{0}</math>

であり、(P2)を適用すれば、

: <math>\boldsymbol{A}_2=\boldsymbol{A}_1 + \nabla g</math> ...(1)

となるスカラー値関数 g が存在する事がわかる。

また<math>(\phi_1,\boldsymbol{A}_1)</math>、<math>(\phi_2,\boldsymbol{A}_2)</math>がいずれも(M0-a)を満たす事から、

: <math>\nabla(\phi_2-\phi_1) = \frac{\partial (\boldsymbol{A}_2-\boldsymbol{A}_1)}{\partial t} = \nabla\frac{\partial g}{\partial t}</math>。

よってある時間の関数 C(t) が存在して、

: <math>\phi_2=\phi_1+\frac{\partial g}{\partial t}+C(t)</math>...(2)。

となる。ここで

: <math>f(x,y,z,t)=g(x,y,z,t)+\int \mathrm{d}t C(t)</math>

とすれば <math>\operatorname{grad}Ct=0</math> より」(1)、(2)は(G-a,b)に一致する。

== 静的な場のポテンシャル ==
電磁場が静的な場合には、それぞれの方程式から時間微分の項が消えるので方程式が簡単になる。
* <math>\boldsymbol{E} = - \nabla \phi</math> : (M0-a)
* <math>\nabla^2 \phi = -\frac{\rho}{\varepsilon_0}</math> : (M2'-a)
* <math>\boldsymbol{B} = \nabla \times \boldsymbol{A}</math> : (M0-b)
* <math>-\nabla (\nabla \cdot \boldsymbol{A}) + \nabla^2 \boldsymbol{A} = -\mu_0 \boldsymbol{j}</math> : (M2'-b)

静的な場の方程式は、電場と磁場についてそれぞれ独立な式になる。

(M0-a)と(M2'-a)によって記述される系は[[静電気学]]の系そのものである。直ちに、静的な電磁場におけるスカラーポテンシャルφは[[電位]]と一致する事が分かる。ここでさらに、後述するゲージ変換によって

* <math>\nabla \cdot \boldsymbol{A} =0</math>

と言う条件を付け加えると(M2'-b)は

* <math>\nabla^2 \boldsymbol{A} = -\mu_0 \boldsymbol{j}</math>

となり、スカラーポテンシャル、ベクトルポテンシャル共に[[ポアソン方程式]]の形になる。

積分で表すとゲージの不定性を除いて以下のように書ける。
{{Indent|
<math>\phi(\boldsymbol{x})=\frac{1}{4 \pi \varepsilon_0}\int \frac{\rho(\boldsymbol{x}')}{|\boldsymbol{x} - \boldsymbol{x}'|}\mathrm{d}^3 x'</math>

<math>\boldsymbol{A}(\boldsymbol{x})=\frac{\mu_0}{4 \pi}\int \frac{\boldsymbol{j}(\boldsymbol{x}')}{|\boldsymbol{x} - \boldsymbol{x}'|}\mathrm{d}^3 x'</math>
}}
ただし、積分領域としては電荷密度、電流密度が存在する範囲全てである。

この方法を用いてポテンシャルを求める場合には、電荷・電流密度の全領域における分布を知る必要がある（境界条件など、他の条件がある場合にはこの限りではない）。

== 相対論的な記述 ==
{{Main|古典電磁気学の共変定式}}
相対論的電磁ポテンシャルは次の4元ベクトルで表される。
{{Indent|
<math>A^\mu = ( \phi/c, \boldsymbol{A} ),~
A_\mu = \eta_{\mu\nu} A^\nu = ( -\phi/c, \boldsymbol{A} )</math>
}}
これを用いると電磁場の定義式(M0)は
{{Indent|
<math>F_{\mu\nu} = \partial_\mu A_\nu -\partial_\nu A_\mu</math>
}}
となる。この <math>F_{\mu\nu}</math> '''[[電磁場テンソル]]'''と呼ばれる。
Fの成分は、次のように電場と磁場の各軸成分と対応している。
{{Indent|
<math>(E_1, E_2, E_3)/c = (F_{10}, F_{20}, F_{30}),~
(B_1, B_2, B_3) = (F_{23}, F_{31}, F_{12})</math>
}}

電磁場テンソルにより、拘束条件(M1)は
{{Indent|
<math>\partial_\rho F_{\mu\nu} +\partial_\mu F_{\nu\rho} +\partial_\nu F_{\rho\mu} =0</math>
}}
となる。

同様に、電磁場の運動方程式(M2)および式(M2')は
{{Indent|
<math>\partial_\nu F^{\nu\mu} = -\mu_0 j^\mu</math>
}}
{{Indent|
<math>\partial_\nu \partial^\nu A^\mu -\partial^\mu(\partial_\nu A^\nu) = -\mu_0 j^\mu</math>
}}
となる。

== ラグランジュ形式 ==
{{Main|古典電磁気学の共変定式#電磁気学のラグランジュ形式}}

電磁場を[[ラグランジュ形式]]により記述するときの力学変数は、電磁場ではなく電磁ポテンシャル {{mvar|&phi;, '''A'''}} である。電磁場 {{mvar|'''E''','''B'''}} は力学変数の微分であり、一般化速度に相当する。また、電磁ポテンシャルに共役な一般化運動量に相当するのは媒質中の電磁場 {{mvar|'''D''', '''H'''}} である。マクスウェル方程式は力学変数 {{mvar|&phi;, '''A'''}} に対するラグランジュの運動方程式として導かれ、「運動量」の微分である一般化力に相当するのは電磁場の源となる電荷 {{mvar|&rho;, '''j'''}} である。

== ゲージ変換 ==
なんらかのスカラー場 <math>u(x)</math> を定義し、その微分を、電磁ポテンシャルに付け加えてみる。
{{Indent|
<math>A_\mu(x) \mapsto A'_\mu(x) =A_\mu(x) -\partial_\mu u(x)</math>
}}
この変化によって電磁場は変化しない。
実際に電磁場の定義式に代入すると、
{{Indent|
<math> \begin{align}
F_{\mu\nu} \mapsto F'_{\mu\nu}
 &=\partial_\mu A'_\nu -\partial_\nu A'_\mu \\
 &= \partial_\mu(A_\nu -\partial_\nu u) -\partial_\nu(A_\mu -\partial_\mu u) \\
 &= \partial_\mu A_\nu -\partial_\nu A_\mu
\end{align} </math>
}}
となり、元の電磁場に一致することがわかる。
これは計算の都合で任意のスカラー場微分を上式のように付け加えてよいということである。

※電磁場を不変に保つこの変換をゲージ変換と言う。

スカラーポテンシャルとベクトルポテンシャルを分けて書けば
{{Indent|
<math>\phi \mapsto \phi ' = \phi +\frac{\partial u}{\partial t}</math>
}}
{{Indent|
<math>\boldsymbol{A} \mapsto \boldsymbol{A}' = \boldsymbol{A} -\nabla u</math>
}}
となる。

任意の電磁場についてスカラーポテンシャルを {{nowrap|1=&phi; = 0}} とするゲージが存在する。一方でベクトルポテンシャルを {{nowrap|1='''A''' = '''0'''}} とするゲージが存在するのは特別な場合に限る。

=== ローレンツゲージ ===
ゲージ変換によって以下の条件式を満たすような電磁ポテンシャルを作ることが可能である。
{{Indent|
<math>\partial_\mu A^\mu =0</math>
}}
この条件式を'''ローレンツ条件'''という<ref group="注釈">名称は[[ルードヴィヒ・ローレンツ]]に由来する。</ref>。ローレンツ条件は電磁ポテンシャル全体に対する[[連続の方程式]]の形をしており、[[ローレンツ変換]]に対して不変な形になっている。この条件式を満たす電磁ポテンシャルを用いてマクスウェルの方程式を書き換えると、以下の非斉次の[[波動方程式]]が得られる。
{{Indent|
<math>\partial_\nu \partial^\nu A^\mu =\square A^\mu = -\mu_0 j^\mu</math>
}}
ここで
{{Indent|
<math>\partial_\nu\partial^\nu =\square
 = -\frac{1}{c^2}\frac{\partial^2}{\partial t^2} +\nabla^2</math>
}}
は[[ダランベール演算子]]である。

スカラーポテンシャルとベクトルポテンシャルを分けて書けば、ローレンツ条件は
{{Indent|
<math>\frac{1}{c^2}\frac{\partial\phi}{\partial t} +\nabla\cdot\boldsymbol{A} = 0 </math>
}}
となり、スカラーポテンシャルの時間経過に伴う増加とベクトルポテンシャルの吸い込みが等しいという条件になることがわかる。マクスウェルの方程式は
{{Indent|
<math>\square\phi = -\frac{\rho}{\varepsilon_0}</math>
}}
{{Indent|
<math>\square\boldsymbol{A} = -\mu_0\boldsymbol{j}</math>
}}
となる。

=== クーロンゲージ ===
* <math>\nabla \cdot \boldsymbol{A}=0</math>

この条件式を満たす電磁ポテンシャルを用いてマクスウェルの方程式を書き換えると、

* <math>\nabla^2 \phi = - \frac{\rho}{\varepsilon_0}</math>
* <math>- \nabla \frac{1}{c^2} \frac{\partial}{\partial t} \phi + (- \frac{1}{c^2} \frac{\partial ^2}{\partial t^2} + \nabla ^2)\boldsymbol{A}= - \mu_0 \boldsymbol{j}</math>

クーロンポテンシャルは静電場の場合と同様の[[ポアソン方程式]]を満たす。

=== 放射ゲージ ===
電荷密度、電流密度がともに0の場合、
* <math>\phi=0 \,</math>
* <math>\nabla \cdot \boldsymbol{A}=0</math>
を同時に満たすゲージを選ぶことが可能である。
このゲージはローレンツゲージであり、かつ、クーロンゲージである。このとき、電磁ポテンシャルの満たすべき方程式は、
* <math>\square\boldsymbol{A}=0</math>
である。

波動方程式の解として
{{Indent|<math>\boldsymbol{A} (\boldsymbol{x},t) = \boldsymbol{e} A \exp[i(\boldsymbol{k}\cdot\boldsymbol{x}-\omega t)]</math>}}
を考える。ただし、 c<sup>2</sup>'''k'''<sup>2</sup> = &omega;<sup>2</sup> である。

すると、
{{Indent|<math>\nabla \cdot \boldsymbol{A} = i\boldsymbol{k}\cdot\boldsymbol{A}=0</math>}}
従ってベクトルポテンシャルは波の進行方向('''k''' の方向)と直交している。
さらにこのとき、電磁場は、
* <math>\boldsymbol{E} (\boldsymbol{x},t) = -\frac{\part\boldsymbol{A}}{\part t} = i\omega\boldsymbol{A} (\boldsymbol{x},t)</math>
* <math>\boldsymbol{B} (\boldsymbol{x},t) = \nabla \times \boldsymbol{A} = i\boldsymbol{k} \times \boldsymbol{A} (\boldsymbol{x},t)</math>
である。電場の方向はベクトルポテンシャルと平行なので、やはり波の進行方向と直交している。磁場の方向は電場の方向と波の進行方向の両方に直交している。

電磁波は電場と磁場が互いに直交して進む横波である。

== 脚注 ==
{{脚注ヘルプ}}
=== 注釈 ===
{{Notelist}}
=== 出典 ===
<references/>

== 参考文献 ==
* {{Cite book|和書
|author=光物性研究会組織委員会
|year=2006
|title=光物性の基礎と応用
|publisher=オプトロニクス社
|isbn=4902312166
|ref=opt
}}

== 関連語句 ==
* [[マクスウェルの方程式]]
* [[ゲージ変換]]
* [[ゲージ不変性]]
* [[電磁場]]
* [[アハラノフ＝ボーム効果]]・・・・・・電磁ポテンシャルが物理量であることが示される。
* [[リエナール・ヴィーヘルト・ポテンシャル]] ・・・・・・高速運動する点電荷を扱うためのポテンシャル

{{電磁気学}}

{{DEFAULTSORT:てんしほてんしやる}}
[[Category:電磁気学]]
[[Category:ポテンシャルエネルギー]]