電磁ポテンシャル
電磁ポテンシャル(でんじポテンシャル)とは、電磁場のポテンシャル概念で、スカラーポテンシャルとベクトルポテンシャルの総称である。
以下断りがない限り、古典電磁気学のケースを想定して説明する。
Contents
概要
マクスウェルの方程式において、電場の強度 [math]\boldsymbol{E}(t,\boldsymbol{x})[/math]、磁束密度 [math]\boldsymbol{B}(t,\boldsymbol{x})[/math] の拘束条件は
(M1-a) : [math]\nabla\cdot \boldsymbol{B} = 0[/math]
(M1-b) : [math]\nabla\times \boldsymbol{E} +\frac{\partial\boldsymbol{B}}{\partial t} = \mathbf{0}[/math]
と書かれる。 時空上のスカラー値関数 [math]\phi(t,\boldsymbol{x})[/math] とベクトル値関数 [math]\boldsymbol{A}(t,\boldsymbol{x})[/math] を
(M0-a) : [math]\boldsymbol{E} = -\nabla\phi -\frac{\partial\boldsymbol{A}}{\partial t}[/math]
(M0-b) : [math]\boldsymbol{B} = \nabla\times \boldsymbol{A}[/math]
を満たすように選ぶと拘束条件 (M1) はベクトル解析の恒等式により自動的に満たされる。この関数 [math]\phi,\boldsymbol{A}[/math] の組が電磁ポテンシャルである。スカラー値関数 [math]\phi[/math] はスカラーポテンシャル、ベクトル値関数 [math]\boldsymbol{A}[/math] はベクトルポテンシャルと呼ばれる。
電場の強度と磁束密度からスカラーポテンシャル、ベクトルポテンシャルを導入したが、逆にスカラーポテンシャル、ベクトルポテンシャルありきで始めると、上の式(M0)を電場の強度と磁束密度の「定義式」とみなす事もできる。
電磁場は電磁ポテンシャルの一階の微分方程式で定義される為、電磁ポテンシャルには不定性が生じる。この不定性によりポテンシャルを変化させる操作はゲージ変換と呼ばれる。
電磁場をラグランジュ形式で記述する時、ラグランジアンは電磁場ではなく電磁ポテンシャルを用いてかかれるため、電磁ポテンシャルはより基本的な概念として扱われる。
古典電磁気学では、観測にかかる本質的な物理量は電場や磁場であって、ベクトルポテンシャルやスカラーポテンシャルは便宜的に導入された道具に過ぎないとも考えられている。またゲージ変換も理論の不定性を増すだけの余分な性質のようにも思われている。しかし量子力学などの立場からは、電場や磁場よりも電磁ポテンシャルの方が本質的な物理量である。その最も著しい表れ方がアハラノフ=ボーム効果である。またゲージ変換は、荷電粒子と電磁場との相互作用の形を一意的に決定しているために便利である。[1]
スカラーポテンシャルとベクトルポテンシャルはローレンツ変換の下で
[math]A^\mu(x) = ( \phi(t,\boldsymbol{x})/c, \boldsymbol{A}(t,\boldsymbol{x}))[/math]
として4元ベクトル的に変換する。ここで c は光速で次元を揃える為の換算係数である。 特に4元ベクトルとしての電磁ポテンシャルは4元ポテンシャルと呼ばれ、相対性理論においては、この4元ポテンシャルで記述される。
ゲージ変換から場の量子論へと発展され、ゲージ理論となった。ゲージ理論としてみると、電磁ポテンシャルは U(1) ゲージ対称性に対するゲージ場である。
真空中における電磁場の電磁ポテンシャルによる記述
真空中でのマクスウェルの方程式のうち、電荷によって生じる電磁場の式は
(M2-a) : [math]\nabla\cdot \boldsymbol{E} = \frac{\rho}{\epsilon_0}[/math]
(M2-b) : [math]\nabla\times \boldsymbol{B} -\frac{1}{c^2}\frac{\partial\boldsymbol{E}}{\partial t} = \mu_0\boldsymbol{j}[/math]
である。
この式に電磁場の定義式(M0)を代入すると、
(M2'-a) : [math]\nabla^2 \phi +\nabla\cdot \frac{\partial\boldsymbol{A}}{\partial t} = -\frac{\rho}{\epsilon_0}[/math]
(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)を電磁場の拘束条件とするようになった。
ポテンシャルの概念
電磁ポテンシャルの概念を説明する為に、まずその関連概念である電位の概念を振り返る。
電位(静電ポテンシャルとも称す)とは、電場に対するポテンシャル概念で、 電場を[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)のみによって一意に決まる事を要請しており、値が積分経路に依存してしまうのでは電位の定義を満たしていない。また電位は電場に対するポテンシャル概念であり、磁場に対するポテンシャル概念ではない。
電磁ポテンシャルは、静磁場とは限らない場合にも定義できるポテンシャル概念である「スカラー・ポテンシャル」と「ベクトル・ポテンシャル」の総称である[2]。
スカラー・ポテンシャルは電場に対するポテンシャル概念で、電位の定義において、磁場から誘導される電場の影響を補正する事で得られる。
スカラー・ポテンシャルは電位と同様、空間上の各点(x,y,z)(と時刻t)に1成分の実数を対応させる関数(ないしその関数値)であり、電位と同じくφ(x,y,z)で表す。一方ベクトル・ポテンシャルは磁場に対するポテンシャル概念で、空間上の各点(x,y,z)(と時刻t)に3成分の実数 [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] に対して
(P1) : [math]\nabla\cdot \boldsymbol{X} = 0[/math] を満たすとき、3次元ベクトル空間上のベクトル値関数 [math]\boldsymbol{A}(\boldsymbol{x})[/math] が存在して、[math]\boldsymbol{X} =\nabla\times \boldsymbol{A}[/math] が成り立つ。
(P2) : [math]\nabla\times \boldsymbol{X} = \mathbf{0}[/math] を満たすとき、3次元ベクトル空間上のスカラー値関数 [math]\phi(\boldsymbol{x})[/math] が存在して、[math]\boldsymbol{X} =-\nabla\phi[/math] が成り立つ。
さて、1つ目の拘束条件
(M1-a) : [math]\nabla\cdot \boldsymbol{B} = 0[/math]
に対して補題(P1)を適用すれば、
(M0-b) : [math]\boldsymbol{B} =\nabla\times\boldsymbol{A}[/math]
を満たすベクトルポテンシャル [math]\boldsymbol{A}[/math] が存在することが言える[3]。 なお、条件式(M0-b)を満たすベクトル値関数は一つではないので、ベクトルポテンシャルは一意に定まらない。(M0-b)を満たす関数の中から任意に選んだ一つをベクトルポテンシャルとして定める。
次に2つ目の拘束条件
(M1-b) : [math]\nabla\times \boldsymbol{E} +\frac{\partial\boldsymbol{B}}{\partial t} = \mathbf{0}[/math]
にベクトルポテンシャルの満たすべき条件式(M0-a)を代入すると、
[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)を適用すると、
[math]-\nabla\phi = \boldsymbol{E} +\frac{\partial\boldsymbol{A}}{\partial t}[/math]
を満たすスカラーポテンシャル [math]\phi[/math] が存在することが言える。
これを移項して
(M0-a) : [math]\boldsymbol{E} = -\nabla\phi -\frac{\partial\boldsymbol{A}}{\partial t}[/math]
が得られる。
スカラー値関数 φ には定数分の自由度があり、一意に定まらない。そこで(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 [/math] +定数
が成り立つ事が言える。ここでC は基点と(x,y,z)とを結ぶ任意の経路である。右辺の値は経路C に依存しない事が言える(電位の項目も参照)。
関数選択の自由度
前述のようにスカラー・ポテンシャル、ベクトル・ポテンシャルの選び方は一意ではない。 実際、条件式(M0)を満たす関数の組 [math](\phi,\boldsymbol{A})[/math] に対して、任意のスカラー値関数 [math]f(t,\boldsymbol{x})[/math] により、
(G-a) : [math]\phi'=\phi-\frac{\partial f}{\partial t}[/math]
(G-b) : [math]\boldsymbol{A}'=\boldsymbol{A} +\nabla f[/math]
で [math](\phi',\boldsymbol{A}')[/math] を定義すると、これも条件式(M0)を満たす事を示す事が出来る。 逆に条件式 (M0) を満たす2つの組 [math](\phi,\boldsymbol{A})[/math]、[math](\phi',\boldsymbol{A}')[/math]に対して、関係式(G)を満たす関数 [math]f(t,\boldsymbol{x}) [/math] と定数Cが存在する事も示せる。 したがって関係式(G)はスカラー・ポテンシャル、ベクトル・ポテンシャルの選び方の自由度を完全に特徴づけている。
以上のようにスカラー・ポテンシャル、ベクトル・ポテンシャルは一意ではないので、さらに条件(ゲージ固定条件)を課す事で一意に定める事がある。
詳細については後述する。
証明
上述した自由度の特徴づけを証明する。
前半は簡単な計算から従うので、後半のみを示す。ポテンシャルの満たすべき条件式(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 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]
となり、スカラーポテンシャル、ベクトルポテンシャル共にポアソン方程式の形になる。
積分で表すとゲージの不定性を除いて以下のように書ける。
[math]\phi(\boldsymbol{x})=\frac{1}{4 \pi \varepsilon_0}\int \frac{\rho(\boldsymbol{x}')}{|\boldsymbol{x} - \boldsymbol{x}'|}d^3 x'[/math]
[math]\boldsymbol{A}(\boldsymbol{x})=\frac{\mu_0}{4 \pi}\int \frac{\boldsymbol{j}(\boldsymbol{x}')}{|\boldsymbol{x} - \boldsymbol{x}'|}d^3 x'[/math]
ただし、積分領域としては電荷密度、電流密度が存在する範囲全てである。
この方法を用いてポテンシャルを求める場合には、電荷・電流密度の全領域における分布を知る必要がある(境界条件など、他の条件がある場合にはこの限りではない)。
相対論的な記述
相対論的には4元ベクトル
[math]A^\mu = ( \phi/c, \boldsymbol{A} ),~ A_\mu = \eta_{\mu\nu} A^\nu = ( -\phi/c, \boldsymbol{A} )[/math]
となる。これを用いれば電磁場の定義式(M0)は
[math]F_{\mu\nu} = \partial_\mu A_\nu -\partial_\nu A_\mu[/math]
となる。左辺に現れた電磁場テンソル [math]F_{\mu\nu}[/math] の各成分は
[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)は
[math]\partial_\rho F_{\mu\nu} +\partial_\mu F_{\nu\rho} +\partial_\nu F_{\rho\mu} =0[/math]
となる。 電磁場の運動方程式(M2)、或いは式(M2')は
[math]\partial_\nu F^{\nu\mu} = -\mu_0 j^\mu[/math]
[math]\partial_\nu \partial^\nu A^\mu -\partial^\mu(\partial_\nu A^\nu) = -\mu_0 j^\mu[/math]
である。
ラグランジュ形式
電磁場をラグランジュ形式により記述するときの力学変数は、電磁場テンソルではなく電磁ポテンシャルである。 電磁場が物質 X と相互作用する系の作用積分は、物質の運動項 SX、電磁場の運動項 SA 及び物質と電磁場との相互作用項 Sint の和
[math]S[X,A] = S_X[X] +S_A[A] +S_\text{int}[X,A][/math]
の形で書かれる。したがって、電磁場 A に関する運動方程式は
[math]\frac{\delta S[X,A]}{\delta A_\mu(x)} =\frac{\delta S_A[A]}{\delta A_\mu(x)} +\frac{\delta S_\text{int}[X,A]}{\delta A_\mu(x)} =0[/math]
で与えられる。
自由空間における電磁場の運動項は
[math]S_A[A] = -\frac{1}{4Z_0} \int F^{\mu\nu}F_{\mu\nu}(x) \sqrt{-g}\, d^4x[/math]
である。ここで √-g はヤコビ行列式である。これを汎関数微分すれば
[math]\frac{\delta S_A[A]}{\delta A_\mu(x)} =\frac{1}{Z_0} \partial_\nu (F^{\nu\mu}(x) \sqrt{-g}) =\frac{1}{Z_0} D_\nu F^{\nu\mu}(x) \sqrt{-g}[/math]
となる。
一方、相互作用項は一般に4元電流密度 j により
[math]S_\text{int}[X,A] =\frac{1}{c}\int j^\mu A_\mu(x) \sqrt{-g}\, d^4x[/math]
の形で書かれるので、汎関数微分は
[math]\frac{\delta S_\text{int}[X,A]}{\delta A_\mu(x)} =\frac{1}{c} j^\mu(x) \sqrt{-g}[/math]
で与えられる。
従ってマクスウェルの方程式
[math]D_\nu F^{\nu\mu}(x) = -\frac{Z_0}{c} j^\mu(x)[/math]
が得られる。
ゲージ変換
任意のスカラー場 [math]u(x)[/math] に対し、変換
[math]A_\mu(x) \mapsto A'_\mu(x) =A_\mu(x) -\partial_\mu u(x)[/math]
に対して電磁場は変化しない。
実際に定義式(M0)に代入すると、
[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]
となり、元の電磁場に一致する。
電磁場を不変に保つこの変換をゲージ変換と言う。
スカラーポテンシャルとベクトルポテンシャルを分けて書けば
[math]\phi \mapsto \phi ' = \phi +\frac{\partial u}{\partial t}[/math]
[math]\boldsymbol{A} \mapsto \boldsymbol{A}' = \boldsymbol{A} -\nabla u[/math]
となる。
スカラーポテンシャルは常にゲージ変換によって φ = 0 とすることが可能である。しかしベクトルポテンシャルは一般には A = 0 とすることは不可能である。
ローレンスゲージ
ゲージ変換によって以下の条件式を満たすような電磁ポテンシャルを作ることが可能である。
[math]\partial_\mu A^\mu =0[/math]
この条件式をローレンス条件という。ローレンス条件は連続の方程式の形をしており、ローレンス変換に対して不変な形になっている。この条件式を満たす電磁ポテンシャルを用いてマクスウェルの方程式を書き換えると、以下の非斉次の波動方程式が得られる。
[math]\partial_\nu \partial^\nu A^\mu =\square A^\mu = -\mu_0 j^\mu[/math]
ここで
[math]\partial_\nu\partial^\nu =\square = -\frac{1}{c^2}\frac{\partial^2}{\partial t^2} +\nabla^2[/math]
はダランベール演算子である。
スカラーポテンシャルとベクトルポテンシャルを分けて書けば、ローレンス条件は
[math]\frac{1}{c^2}\frac{\partial\phi}{\partial t} +\nabla\cdot\boldsymbol{A} = 0 [/math]
となり、マクスウェルの方程式は
[math]\square\phi = -\frac{\rho}{\epsilon_0}[/math]
[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]
である。
波動方程式の解として
[math]\boldsymbol{A} (\boldsymbol{x},t) = \boldsymbol{e} A \exp[i(\boldsymbol{k}\cdot\boldsymbol{x}-\omega t)][/math]
を考える。ただし、 c2k2 = ω2 である。
すると、
[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]
である。電場の方向はベクトルポテンシャルと平行なので、やはり波の進行方向と直交している。磁場の方向は電場の方向と波の進行方向の両方に直交している。
電磁波は電場と磁場が互いに直交して進む横波である。
脚注
- ↑ 光物性の基礎と応用
- ↑ 「スカラーポテンシャル」、「ベクトルポテンシャル」という言葉はそれぞれスカラー、ベクトルを用いて表せるポテンシャル概念一般を表す場合もある。本項目では特に断りがない限り、これらの言葉は電磁ポテンシャルのものを表すものとする。
- ↑ 条件式(M0-b)には ∇ が登場するので、A は空間方向には可微分であるが、時間方向については何も言っていないので、原理的には時間方向には不連続になるように選ぶ事も可能である。しかし後述するスカラーポテンシャルを導入するとき、時間方向の可微分性を必要とする。以下、空間方向・時間方向双方に対して無限回可微分な A を選んだものとして議論を進める。
参考文献
- 光物性研究会組織委員会 『光物性の基礎と応用』 オプトロニクス社、2006年。ISBN 4902312166。