電磁ポテンシャル

テンプレート:電磁気学 電磁ポテンシャルは電磁場のポテンシャル概念で、スカラーポテンシャルとベクトルポテンシャルの総称である。 物理学、特に電磁気学とその応用分野で使われる。 以下断りがない限り、古典電磁気学のケースを想定して説明する。

概要

マクスウェルの方程式において、電場の強度 <math>\boldsymbol{E}(t,\boldsymbol{x})</math>、磁束密度 <math>\boldsymbol{B}(t,\boldsymbol{x})</math> の拘束条件は テンプレート:Indent テンプレート:Indent{\partial t} = \mathbf{0}</math> }} と書かれる。 時空上のスカラー値関数 <math>\phi(t,\boldsymbol{x})</math> とベクトル値関数 <math>\boldsymbol{A}(t,\boldsymbol{x})</math> を テンプレート:Indent{\partial t}</math> }} テンプレート:Indent を満たすように選ぶと拘束条件 (M1) はベクトル解析の恒等式により自動的に満たされる。 この関数 <math>\phi,\boldsymbol{A}</math> の組が電磁ポテンシャルである。 スカラー値関数 <math>\phi</math> はスカラーポテンシャル、ベクトル値関数 <math>\boldsymbol{A}</math> はベクトルポテンシャルと呼ばれる。

電場の強度と磁束密度からスカラーポテンシャル、ベクトルポテンシャルを導入したが、 逆にスカラーポテンシャル、ベクトルポテンシャルありきで始めると、上の式(M0)を電場の強度と磁束密度の「定義式」とみなす事もできる。 電磁場は電磁ポテンシャルの一階の微分方程式で定義される為、電磁ポテンシャルには不定性が生じる。この不定性によりポテンシャルを変化させる操作はゲージ変換と呼ばれる。

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

古典電磁気学では、観測にかかる本質的な物理量は電場や磁場であって、ベクトルポテンシャルやスカラーポテンシャルは便宜的に導入された道具にすぎないとも考えられる。またゲージ変換も理論の不定性を増すだけの余分な性質のようにも思える。しかし量子力学などの立場からは、電場や磁場よりも電磁ポテンシャルの方が本質的な物理量である。その最も著しい表れ方がアハラノフ=ボーム効果である。またゲージ変換は、荷電粒子と電磁場との相互作用の形を一意的に決定しているために便利である。

スカラーポテンシャルとベクトルポテンシャルはローレンツ変換の下で テンプレート:Indent として4元ベクトル的に変換する。 ここで c は光速で次元を揃える為の換算係数である。 特に4元ベクトルとしての電磁ポテンシャルは4元ポテンシャルと呼ばれ、相対性理論においては、この4元ポテンシャルで記述される。

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

真空中における電磁場の電磁ポテンシャルによる記述

真空中でのマクスウェルの方程式の運動方程式は テンプレート:Indent テンプレート:Indent{\partial t}

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

}} である。 この式に電磁場の定義式(M0)を代入すると、 テンプレート:Indent{\partial t}

= -\frac{\rho}{\epsilon_0}</math>

}} テンプレート:Indent が得られる。したがって電磁ポテンシャルを基本的な量として電磁気的現象を記述する場合には式(M2')が場の運動を決定する方程式となる。

なおマクスウェル自身の原著論文『電磁場の動力学的理論』や原著教科書『電気磁気論』はここでの議論と同じくスカラーポテンシャルとベクトルポテンシャルから始めて、式(M0)により電磁場を定義している。 後にヘルツによって電磁ポテンシャルが消去され、式(M1)を電磁場の拘束条件とするようになった。

ポテンシャルの概念

電磁ポテンシャルの概念を説明する為に、まずその関連概念である電位の概念を振り返る。 電位（静電ポテンシャルとも）とは電場に対するポテンシャル概念で、 電場を<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）は<math>\boldsymbol{E}</math>の線積分として計算される。

しかしながら静磁場という条件がない時は、磁場が電場を誘導する関係上、 (a)を満たすφ(x,y,z)は存在せず、電位の概念が一般には定義できない事が知られている。 実際<math>\boldsymbol{E}</math>の線積分をφ(x,y,z)として定義しようとしても、 積分経路によって磁場が誘導する電場の大きさが異なる為、 積分の値が積分経路に依存してしまう。 電位φ(x,y,z)は空間上の位置(x,y,z)（と時刻t）のみによって一意に決まる事を要請しており、 値が積分経路に依存してしまうのでは電位の定義を満たしていない。 また電位は電場に対するポテンシャル概念であり、磁場に対するポテンシャル概念ではない。

電磁ポテンシャルは、静磁場とは限らない場合にも定義できるポテンシャル概念である 「スカラー・ポテンシャル」と「ベクトル・ポテンシャル」の総称である。

スカラー・ポテンシャルは電場に対するポテンシャル概念で、 電位の定義において、磁場から誘導される電場の影響を補正する事で得られる。 スカラー・ポテンシャルは電位と同様、空間上の各点(x,y,z)（と時刻t）に１成分の実数を 対応させる関数（ないしその関数値）であり、電位と同じくφ(x,y,z)で表す。 一方ベクトル・ポテンシャルは磁場に対するポテンシャル概念で、 空間上の各点(x,y,z)（と時刻t）に３成分の実数 <math>\boldsymbol{A}(x,y,z)=(A_1(x,y,z),A_2(x,y,z),A_3(x,y,z))</math> を対応させる関数（ないしその関数値）である。 以下紛れのない限り、引数の(x,y,z)は省略する。

静磁場の場合はスカラーポテンシャルは(a)を満たす（ようにもできる）事が知られており、この場合スカラーポテンシャルの概念は静磁場の場合には電位の概念と一致する（詳細は後の章を参照）。この意味においてスカラーポテンシャルは電位の概念を静磁場とは限らない場合に拡張したものとなっている。

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

ポテンシャルの導入

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

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

ポアンカレの補題から、 3次元ベクトル空間上のベクトル場 <math>\boldsymbol{X}(\boldsymbol{x})</math> に対して テンプレート:Indent テンプレート:Indent

さて、1つ目の拘束条件 テンプレート:Indent に対して補題(P1)を適用すれば、 テンプレート:Indent を満たすベクトルポテンシャル <math>\boldsymbol{A}</math> が存在することが言える。 なお、条件式(M0-b)を満たすベクトル値関数は一つではないので、ベクトルポテンシャルは一意に定まらない。 (M0-b)を満たす関数の中から任意に選んだ一つをベクトルポテンシャルとして定める。

次に2つ目の拘束条件 テンプレート:Indent{\partial t} = \mathbf{0}</math> }} にベクトルポテンシャルの満たすべき条件式(M0-a)を代入すると、 テンプレート:Indent{\partial t}

\right) = \mathbf{0}</math>

}} となり、補題(P2)を適用すると、 テンプレート:Indent{\partial t}</math> }} を満たすスカラーポテンシャル <math>\phi</math> が存在することが言える。 これを移項して テンプレート:Indent{\partial t}</math> }} が得られる。 なお、スカラー値関数 φ には定数分の自由度があり、一意に定まらない。 そこで(M0-b)を満たすものの中から任意に選んだ１つをスカラー・ポテンシャルとして定める。 なお、条件式(M0-b)はスカラーポテンシャルだけでなくベクトルポテンシャルにも依存しているので、 スカラーポテンシャルは（複数ある）ベクトルポテンシャルのうち１つを定めてはじめて定義できる。 したがって、スカラーポテンシャルはベクトルポテンシャルと組にして初めて意味をなす概念である。

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

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

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

関数選択の自由度

前述のようにスカラー・ポテンシャル、ベクトル・ポテンシャルの選び方は一意ではない。 実際、条件式(M0)を満たす関数の組 <math>(\phi,\boldsymbol{A})</math> に対して、任意のスカラー値関数 <math>f(t,\boldsymbol{x})</math> により、 テンプレート:Indent テンプレート:Indent で <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)はスカラー・ポテンシャル、ベクトル・ポテンシャルの選び方の自由度を完全に特徴づけている。

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

証明

上述した自由度の特徴づけを証明する。 前半は簡単な計算から従うので、後半のみを示す。ポテンシャルの満たすべき条件式(M0)を満たす２つの組 <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 dt C(t)</math>

とすれば <math>\mathrm{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 但し、積分領域としては電荷密度、電流密度が存在する範囲全てである。

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

相対論的な記述

相対論的には4元ベクトル テンプレート:Indent となる。これを用いれば電磁場の定義式(M0)は テンプレート:Indent となる。左辺に現れた電磁場テンソル <math>F_{\mu\nu}</math> の各成分は テンプレート:Indent である。

電磁場の拘束条件(M1)は テンプレート:Indent となる。 電磁場の運動方程式(M2)、或いは式(M2')は テンプレート:Indent テンプレート:Indent である。

ラグランジュ形式

電磁場をラグランジュ形式により記述するとき、電磁場テンソルではなく電磁ポテンシャルが力学変数となる。 電磁場が物質 q と相互作用する系の作用積分は テンプレート:Indent と書かれる。 S_q は物質の項、S_A は電磁場の項、S_int は物質と電磁場の相互作用項である。 電磁場の項は テンプレート:Indent である。 電磁場の運動方程式は テンプレート:Indent である。 テンプレート:Indent となるのでマクスウェルの方程式 テンプレート:Indent が得られる。 相互作用項は一般に テンプレート:Indent の形で書かれ、4元電流密度は テンプレート:Indent で与えられる。

ゲージ変換

任意のスカラー場 <math>u(x)</math> に対し、変換 テンプレート:Indent に対して電磁場は変化しない。 実際に定義式(M0)に代入すると、 テンプレート:Indent となり、元の電磁場に一致する。 電磁場を不変に保つこの変換をゲージ変換と言う。

スカラーポテンシャルとベクトルポテンシャルを分けて書けば テンプレート:Indent テンプレート:Indent となる。 スカラーポテンシャルは常にゲージ変換によって テンプレート:Nowrap とすることが可能である。 しかしベクトルポテンシャルは一般には テンプレート:Nowrap とすることは不可能である。

ローレンツゲージ

ゲージ変換によって以下の条件式を満たすような電磁ポテンシャルを作ることが可能である。 テンプレート:Indent この条件式をローレンツ条件という。 ローレンツ条件は連続の方程式の形をしており、ローレンツ変換に対して不変な形になっている。 この条件式を満たす電磁ポテンシャルを用いてマクスウェルの方程式を書き換えると、以下の非斉次の波動方程式が得られる。 テンプレート:Indent ここで テンプレート:Indent はダランベール演算子である。

スカラーポテンシャルとベクトルポテンシャルを分けて書けば、ローレンツ条件は テンプレート:Indent となり、マクスウェルの方程式は テンプレート:Indent テンプレート:Indent となる。

クーロンゲージ

• <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 を考える。但し、 c²k² = ω² である。 すると、 テンプレート:Indent 従ってベクトルポテンシャルは波の進行方向(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>

である。電場の方向はベクトルポテンシャルと平行なので、やはり波の進行方向と直交している。磁場の方向は電場の方向と波の進行方向の両方に直交している。 電磁波は電場と磁場が互いに直交して進む横波である。

参考文献

• テンプレート:Cite book

関連語句

• マクスウェルの方程式
• ゲージ変換
• ゲージ不変性
• 電磁場
• アハロノフ＝ボーム効果