電磁ポテンシャル

**電磁ポテンシャル**（でんじポテンシャル）とは、電磁場を導くポテンシャルで、一対の電気スカラー・ポテンシャルと磁気ベクトル・ポテンシャルからなる。うちスカラー・ポテンシャルは静電場における議論では特に**[[静電ポテンシャル]]**（electrostatic potential）と呼ばれ、数学的には電位と同じ関数である。

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

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

## 概要
つぎのように電場と磁場を導く電気スカラーポテンシャル \phi(t,\boldsymbol{x}) と磁気ベクトルポテンシャル \boldsymbol{A}(t,\boldsymbol{x}) が定義される。
{\partial t}
}}

磁場の時間変動がない静磁場では\frac{\partial\boldsymbol{A}}{\partial t} = 0となるので電気スカラーポテンシャルのみで電場が与えられる。このときのを電位という。また、静磁場かつ電荷分布の時間変動が無い場合は磁場が問題にならないので（M0-b）式のみが使われる場合がある。

マクスウェルの方程式において、電場の強度 \boldsymbol{E}(t,\boldsymbol{x})、磁束密度 \boldsymbol{B}(t,\boldsymbol{x}) は以下の式に従う。

{\partial t} = \mathbf{0}
}}
これらの拘束条件は、電磁ポテンシャルの導入下では（ベクトル解析の恒等関係により）自動的に満たされる。

### 電気スカラーポテンシャル
**静磁場の場合にかぎり、**電気スカラーポテンシャルは電位とも称される。このときの電場は、

* \boldsymbol{E}_{(x,y,z)} = - \operatorname{grad} \phi(x,y,z) ....(a)

により電位  の勾配として導かれる。ここでは空間上の任意の点である。無限遠方の電荷をの位置まで静的に持ち込むときの仕事に相当にする。このとき  は、原理上は  の線積分として計算できる。

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

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

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

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

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

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

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

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

### 4元ポテンシャル
電気スカラーポテンシャルと磁気ベクトルポテンシャルはローレンツ変換の下で

として4元ベクトルにまとめられる。ここで  は光速で次元を揃える為の換算係数である。
特に4元ベクトルとしての電磁ポテンシャルは**4元ポテンシャル**と呼ばれる。特殊相対性理論の下では、この4元ポテンシャルを用いてマクスウェルの方程式を記述することができる。

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

## 真空中における電磁場の電磁ポテンシャルによる記述
空中でのマクスウェルの方程式のうち、電荷によって生じる電磁場の式は

{\partial t}
 = \mu_0\boldsymbol{j}
}}
である。

この式に電磁場の定義式(M0)を代入すると、
{\partial t}
 = -\frac{\rho}{\varepsilon_0}
}}

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

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

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

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

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

ポアンカレの補題から、
3次元ベクトル空間上のベクトル場 \boldsymbol{X}(\boldsymbol{x}) に対して

さて、1つ目の拘束条件

に対して補題(P1)を適用すれば、

を満たすベクトルポテンシャル  が存在することが言える。
なお、条件式(M0-b)を満たすベクトル値関数は一つではないので、ベクトルポテンシャルは一意に定まらない。(M0-b)を満たす関数の中から任意に選んだ一つをベクトルポテンシャルとして定める。

次に2つ目の拘束条件
{\partial t} = \mathbf{0}
}}
にベクトルポテンシャルの満たすべき条件式(M0-a)を代入すると、
{\partial t}
 \right) = \mathbf{0}
}}
となり、補題(P2)を適用すると、
{\partial t}
}}
を満たすスカラーポテンシャル  が存在することが言える。

これを移項して
{\partial t}
}}
が得られる。

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

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

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

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

### 関数選択の自由度
前述のようにスカラー・ポテンシャル、ベクトル・ポテンシャルの選び方は一意ではない。
実際、条件式(M0)を満たす関数の組 (\phi,\boldsymbol{A}) に対して、任意のスカラー値関数 f(t,\boldsymbol{x}) により、

 
で (\phi',\boldsymbol{A}') を定義すると、これも条件式(M0)を満たす事を示す事が出来る。
逆に条件式 (M0) を満たす２つの組 (\phi,\boldsymbol{A})、(\phi',\boldsymbol{A}')に対して、関係式(G)を満たす関数 f(t,\boldsymbol{x}) と定数が存在する事も示せる。
したがって関係式(G)はスカラー・ポテンシャル、ベクトル・ポテンシャルの選び方の自由度を完全に特徴づけている。

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

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

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

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

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

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

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

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

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

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

よってある時間の関数  が存在して、

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

となる。ここで

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

とすれば  より、(1)、(2)は(G-a,b)に一致する。

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

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

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

* \nabla \cdot \boldsymbol{A} =0

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

* \nabla^2 \boldsymbol{A} = -\mu_0 \boldsymbol{j}

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

積分で表すとゲージの不定性を除いて以下のように書ける。
\mathrm{d}^3 x'

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

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

## 相対論的な記述

相対論的電磁ポテンシャルは次の4元ベクトルで表される。

これを用いると電磁場の定義式(M0)は

となる。この F_{\mu\nu} **[[電磁場テンソル]]**と呼ばれる。
Fの成分は、次のように電場と磁場の各軸成分と対応している。

電磁場テンソルにより、拘束条件(M1)は

となる。

同様に、電磁場の運動方程式(M2)および式(M2')は

となる。

## ラグランジュ形式

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

## ゲージ変換
なんらかのスカラー場  を定義し、その微分を、電磁ポテンシャルに付け加えてみる。

この変化によって電磁場は変化しない。
実際に電磁場の定義式に代入すると、

となり、元の電磁場に一致することがわかる。
これは計算の都合で任意のスカラー場微分を上式のように付け加えてよいということである。

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

スカラーポテンシャルとベクトルポテンシャルを分けて書けば

となる。

任意の電磁場についてスカラーポテンシャルを  とするゲージが存在する。一方でベクトルポテンシャルを  とするゲージが存在するのは特別な場合に限る。

### ローレンツゲージ
ゲージ変換によって以下の条件式を満たすような電磁ポテンシャルを作ることが可能である。

この条件式を**ローレンツ条件**という。ローレンツ条件は電磁ポテンシャル全体に対する連続の方程式の形をしており、ローレンツ変換に対して不変な形になっている。この条件式を満たす電磁ポテンシャルを用いてマクスウェルの方程式を書き換えると、以下の非斉次の波動方程式が得られる。

ここで

はダランベール演算子である。

スカラーポテンシャルとベクトルポテンシャルを分けて書けば、ローレンツ条件は

となり、スカラーポテンシャルの時間経過に伴う増加とベクトルポテンシャルの吸い込みが等しいという条件になることがわかる。マクスウェルの方程式は

となる。

### クーロンゲージ
* \nabla \cdot \boldsymbol{A}=0

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

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

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

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

波動方程式の解として

を考える。ただし、  である。

すると、

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

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

## 脚注

### 注釈

### 出典


## 参考文献
* 

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