ポテンシャル形式のマックスウェルの方程式から、遅延ポテンシャルのうち、 特に磁気ベクトルポテンシャルについてを導出する。導出の戦略は下記の通りである。
STEP1 : ポテンシャル形式のマックスウェル方程式のフーリエ変換 STEP2 : グリーン関数が従う方程式を導出する。 STEP3 : Step2で得られた方程式の空間成分に球面座標変換を施し、等方性(球称性)を考慮する。 STEP4 : グリーン関数を求める。 STEP5 : 解のフーリエ逆変換2 STEP6 : 解のフーリエ逆変換2 STEP7 : 時空因果律に反する解を棄却する。電位スカラーポテンシャルも同様に導出されるが、これについては、 上記戦略にて同様に導出される[注釈 2] ので、省略する。
本節の議論は、オッペンハイマー[1] (特に7章p33以降)川村[2] (p151~),砂川[3] (特にP254付近)と概ね[注釈 2] 同等である。 従って、本筋の部分については、個々の補助定理や個々の結論にいちいち文献指示をつけない。 本記事は、現代工学との整合性に留意し、E-B対応、国際単位系 で議論しているが、上記文献の中には別の立場に立っているものもある。しかし単位の換算 程度の問題については、特段断わりをいれない。数学的な扱い等に特に留意を要する個所については重要性、難易度に応じ、文献指示、脚注、付録をつけることにする。
STEP1 本節では、ポテンシャル形式のマックスウェル方程式の両辺の、A , i それぞれの、時間成分に対し、 それぞれ、(一変数の意味で)フーリエ変換 [注釈 3] を施す。本節の結論は、以下の補題1に集約される。
補題 1 (ポテンシャル形式のマックスウェル方程式のフーリエ変換 ) 4変数(t,x,y,z)を持つR 3 値関数A (t,x,y,z), i (t,x,y,z)が、 ポテンシャル形式のマックスウェル方程式の磁場成分、即ち以下の式(2-1-1) の解とする。
◻ A = − μ 0 i {\displaystyle \Box {\boldsymbol {A}}=-{\mu _{0}}{\boldsymbol {i}}} (2-1-1)このとき、4変数(x,y,z,ω)を持つR 3 値関数 A ^ ( x , y , z , ω ) , i ^ ( x , y , z , ω ) {\displaystyle {\hat {\boldsymbol {A}}}(x,y,z,\omega ),{\hat {\boldsymbol {i}}}(x,y,z,\omega )} を、それぞれ
A ^ ( r , ω ) = 1 2 π ∫ t = − ∞ t = ∞ A ( t , r ) exp ( − i ω t ) d t i ^ ( r , ω ) = 1 2 π ∫ t = − ∞ t = ∞ i ( t , r ) exp ( − i ω t ) d t {\displaystyle {\begin{aligned}&{\hat {\boldsymbol {A}}}({\boldsymbol {r}},\omega )={\frac {1}{\sqrt {2\pi }}}\int _{t=-\infty }^{t=\infty }{\boldsymbol {A}}(t,{\boldsymbol {r}})\exp(-\mathrm {i} \omega t)\ \mathrm {d} t\\&{\hat {\boldsymbol {i}}}({\boldsymbol {r}},\omega )={\frac {1}{\sqrt {2\pi }}}\int _{t=-\infty }^{t=\infty }{\boldsymbol {i}}(t,{\boldsymbol {r}})\exp(-\mathrm {i} \omega t)\ \mathrm {d} t\end{aligned}}} (2-1-2)とすると、任意の実数ωに対し、以下の式(2-1-3)が成り立つ。
D A ^ ( r , ω ) = − μ 0 i ^ ( r , ω ) {\displaystyle D{\hat {\boldsymbol {A}}}({\boldsymbol {r}},\omega )=-\mu _{0}{\hat {\boldsymbol {i}}}({\boldsymbol {r}},\omega )} (2-1-3)但し、Dは、以下の式(2-1-4)で定まる x-y-z空間上の微分作用素である。
D = { ∇ 2 + ( ω 2 c 2 ) } {\displaystyle D=\left\{\nabla ^{2}+\left({\frac {\omega ^{2}}{c^{2}}}\right)\right\}} (2-1-4) 式(2-1-2)の A ^ ( x , y , z , ω ) , i ^ ( x , y , z , ω ) {\displaystyle {\hat {\boldsymbol {A}}}(x,y,z,\omega ),{\hat {\boldsymbol {i}}}(x,y,z,\omega )} は、 A ( x , y , z , ω ) , i ( x , y , z , ω ) {\displaystyle {\boldsymbol {A}}(x,y,z,\omega ),{\boldsymbol {i}}(x,y,z,\omega )} の時間成分に 一変数関数の意味でフーリエ変換を施して得られたものである。 [注釈 3] [注釈 4] [注釈 5] 従って、当然、 A ^ ( x , y , z , ω ) , i ^ ( x , y , z , ω ) {\displaystyle {\hat {\boldsymbol {A}}}(x,y,z,\omega ),{\hat {\boldsymbol {i}}}(x,y,z,\omega )} それぞれに(一変数の意味でωについて)フーリエ逆変換を施すと、
A ( t , r ) = 1 2 π ∫ ω = − ∞ ω = ∞ A ^ ( r , ω ) exp ( i ω t ) d ω {\displaystyle {\boldsymbol {A}}(t,{\boldsymbol {r}})={\frac {1}{\sqrt {2\pi }}}\int _{\omega =-\infty }^{\omega =\infty }{\hat {\boldsymbol {A}}}({\boldsymbol {r}},\omega )\exp(\mathrm {i} \omega t)\ \mathrm {d} \omega } (2-1-5a) i ( t , r ) = 1 2 π ∫ ω = − ∞ ω = ∞ i ^ ( r , ω ) exp ( i ω t ) d ω {\displaystyle {\boldsymbol {i}}(t,{\boldsymbol {r}})={\frac {1}{\sqrt {2\pi }}}\int _{\omega =-\infty }^{\omega =\infty }{\hat {\boldsymbol {i}}}({\boldsymbol {r}},\omega )\exp(\mathrm {i} \omega t)\ \mathrm {d} \omega } (2-1-5b)を得る。式(2-1-5)を、 式(2-1-1)に代入することで、(ダランベールシアンから)時間成分を消去することを考える
まず、式(2-1-1) の左辺について検討する。 式(2-1-5a)の両辺に、式(2-1-1) の左辺、即ちダランベールシアン
◻ = − 1 c 2 ∂ 2 ∂ t 2 + ∇ 2 {\displaystyle \Box =-{\frac {1}{c^{2}}}{\frac {\partial ^{2}}{\partial t^{2}}}+\nabla ^{2}} (2-1-6)を作用させると、
◻ A = 1 2 π ∫ − ∞ ∞ { ( ω 2 c 2 ) A ^ ( r , ω ) exp ( i ω t ) + ∇ 2 A ^ ( r , ω ) exp ( i ω t ) } d ω {\displaystyle \Box {\boldsymbol {A}}={\frac {1}{\sqrt {2\pi }}}\int _{-\infty }^{\infty }\left\{\left({\frac {\omega ^{2}}{c^{2}}}\right){\hat {\boldsymbol {A}}}({\boldsymbol {r}},\omega )\exp(\mathrm {i} \omega t)+\nabla ^{2}{\hat {\boldsymbol {A}}}({\boldsymbol {r}},\omega )\exp(\mathrm {i} \omega t)\right\}\mathrm {d} \omega } (2-1-7)を得る。実際、
◻ A = 1 2 π ∫ − ∞ ∞ − 1 c 2 ∂ 2 ∂ t 2 A ^ ( r , ω ) exp ( i ω t ) d ω + 1 2 π ∫ − ∞ ∞ ∇ 2 A ^ ( r , ω ) exp ( i ω t ) d ω = 1 2 π ∫ − ∞ ∞ ( ω 2 c 2 ) A ^ ( r , ω ) exp ( i ω t ) d ω + 1 2 π ∫ − ∞ ∞ ∇ 2 A ^ ( r , ω ) exp ( i ω t ) d ω = 1 2 π ∫ − ∞ ∞ { ( ω 2 c 2 ) A ^ ( r , ω ) exp ( i ω t ) + ∇ 2 A ^ ( r , ω ) exp ( i ω t ) } d ω {\displaystyle {\begin{aligned}\Box {\boldsymbol {A}}&={\frac {1}{\sqrt {2\pi }}}\int _{-\infty }^{\infty }-{\frac {1}{c^{2}}}{\frac {\partial ^{2}}{\partial {t}^{2}}}{\hat {\boldsymbol {A}}}({\boldsymbol {r}},\omega )\exp(\mathrm {i} \omega t)\ \mathrm {d} \omega +{\frac {1}{\sqrt {2\pi }}}\int _{-\infty }^{\infty }\nabla ^{2}{\hat {\boldsymbol {A}}}({\boldsymbol {r}},\omega )\exp(\mathrm {i} \omega t)\ \mathrm {d} \omega \\&={\frac {1}{\sqrt {2\pi }}}\int _{-\infty }^{\infty }\left({\frac {\omega ^{2}}{c^{2}}}\right){\hat {\boldsymbol {A}}}({\boldsymbol {r}},\omega )\exp(\mathrm {i} \omega t)\ \mathrm {d} \omega +{\frac {1}{\sqrt {2\pi }}}\int _{-\infty }^{\infty }\nabla ^{2}{\hat {\boldsymbol {A}}}({\boldsymbol {r}},\omega )\exp(\mathrm {i} \omega t)\ \mathrm {d} \omega \\&={\frac {1}{\sqrt {2\pi }}}\int _{-\infty }^{\infty }\left\{\left({\frac {\omega ^{2}}{c^{2}}}\right){\hat {\boldsymbol {A}}}({\boldsymbol {r}},\omega )\exp(\mathrm {i} \omega t)+\nabla ^{2}{\hat {\boldsymbol {A}}}({\boldsymbol {r}},\omega )\exp(\mathrm {i} \omega t)\right\}\mathrm {d} \omega \end{aligned}}} (2-1-8)である。
一方、式(2-1-1)右辺を、 (2-1-5b) の電流密度”i”に作用させると、
− μ 0 i ( r , ω ) = − μ 0 2 π ∫ − ∞ ∞ i ^ ( r , ω ) exp ( i ω t ) d ω {\displaystyle -{\mu }_{0}{\boldsymbol {i}}({\boldsymbol {r}},\omega )=-{\frac {{\mu }_{0}}{\sqrt {2\pi }}}\int _{-\infty }^{\infty }{\hat {\boldsymbol {i}}}({\boldsymbol {r}},\omega )\exp(\mathrm {i} \omega t)\ \mathrm {d} \omega } (2-1-9)を得る。
式(2-1-1),(2-1-7),(2-1-9) より、
∫ − ∞ ∞ { ( ω 2 c 2 ) A ^ ( r , ω ) exp ( i ω t ) + ∇ 2 A ^ ( r , ω ) exp ( i ω t ) } d ω = − μ 0 ∫ − ∞ ∞ i ^ ( r , ω ) exp ( i ω t ) d ω {\displaystyle \int _{-\infty }^{\infty }\left\{\left({\frac {\omega ^{2}}{c^{2}}}\right){\hat {\boldsymbol {A}}}({\boldsymbol {r}},\omega )\exp(\mathrm {i} \omega t)+\nabla ^{2}{\hat {\boldsymbol {A}}}({\boldsymbol {r}},\omega )\exp(\mathrm {i} \omega t)\right\}\mathrm {d} \omega =-\mu _{0}\int _{-\infty }^{\infty }{\hat {\boldsymbol {i}}}({\boldsymbol {r}},\omega )\exp(\mathrm {i} \omega t)\ \mathrm {d} \omega } (2-1-11)が判る。以上から、ヘルムホルツ方程式 、即ち、式(2-1-3)が、任意の実数ωに対して成り立つことが判る。
STEP2 一般にヘルムホルツ方程式は、式(2-2-1) [注釈 6] のようなインパルス応答を用いて解くことができる。 このことを示そう。インパルス応答を用いてヘルムホルツ方程式を解くことを、グリーン関数法といい、 以下の式(2-2-1)の、スカラー値関数の解G [注釈 7] のことを、ヘルムホルツ方程式(2-1-3)のグリーン関数という。グリーン関数を用いた微分方程式の解法については、例えば[11] に詳しい。本節の主結果は以下の補題2に集約される。
補題 2 (グリーン関数法 ) 式 (2-1-3) のヘルムホルツ方程式の、インパルス応答、即ち
D G ( r , ω ) = − δ 3 ( r ) {\displaystyle DG({\boldsymbol {r}},\omega )=-{\delta }^{3}({\boldsymbol {r}})} (2-2-1)式(2-2-1)のスカラー値関数解をGとしたとき、
A ^ ( r , ω ) = − μ 0 ∫ s ∈ R 3 G ( r − s , ω ) i ^ ( s , ω ) ⋅ d s {\displaystyle {\hat {\boldsymbol {A}}}({\boldsymbol {r}},\omega )=-{\mu }_{0}\int _{{\boldsymbol {s}}\in \mathbb {R} ^{3}}G({\boldsymbol {r}}-{\boldsymbol {s}},\omega ){\hat {\boldsymbol {i}}}({\boldsymbol {s}},\omega )\cdot \mathrm {d} {\boldsymbol {s}}} (2-2-2)は、式 (2-1-3)のヘルムホルツ方程式の解である。
実際、(2-2-2)の両辺に D {\displaystyle D} を作用させると、「積分と微分の交換可能性」と、「ライプニッツルール」より、
( D [ A ^ ] ) ( r , ω ) = − μ 0 ∫ s ∈ R 3 ( D [ G ( r − s , ω ) ] i ^ ( s , ω ) + G ( r − s , ω ) D [ i ^ ( s , ω ) ] ) ⋅ d s {\displaystyle (D[{\hat {\boldsymbol {A}}}])({\boldsymbol {r}},\omega )=-{\mu }_{0}\int _{{\boldsymbol {s}}\in \mathbb {R} ^{3}}\left(D[G({\boldsymbol {r}}-{\boldsymbol {s}},\omega )]{\hat {\boldsymbol {i}}}({\boldsymbol {s}},\omega )\ +G({\boldsymbol {r}}-{\boldsymbol {s}},\omega )D[{\hat {\boldsymbol {i}}}({\boldsymbol {s}},\omega )]\right)\cdot \mathrm {d} {\boldsymbol {s}}} (2-2-3)である。ここで、
r =(x,y,z) (2-2-4)である。
まず、式(2-2-3)の第一項について検討する。
DG(r -s ,ω) = δ3 (r -s ) (2-2-5) であり、さらに、デルタ関数とのコンボリューションの性質から、
∫ s ∈ R 3 D [ G ( r − s , ω ) ] i ^ ( s , ω ) ⋅ d s = i ^ ( r , ω ) {\displaystyle \int _{{\boldsymbol {s}}\in \mathbb {R} ^{3}}D[G({\boldsymbol {r}}-{\boldsymbol {s}},\omega )]{\hat {\boldsymbol {i}}}({\boldsymbol {s}},\omega )\cdot \mathrm {d} {\boldsymbol {s}}={\hat {\boldsymbol {i}}}({\boldsymbol {r}},\omega )} (2-2-6)である。次にの第一項について検討する。 i ^ ( t , s ) {\displaystyle {\hat {\boldsymbol {i}}}(t,{\boldsymbol {s}})} は、 r {\displaystyle {\boldsymbol {r}}} に依存していないので、
D [ i ^ ( t , s ) ] = 0 {\displaystyle D[{\hat {\boldsymbol {i}}}(t,{\boldsymbol {s}})]=0} (2-2-7)である。
以上から、式(2-2-2)の、 A ^ {\displaystyle {\hat {\boldsymbol {A}}}} は、
D A ^ ( r , ω ) = − μ 0 i ^ ( r , ω ) {\displaystyle D{\hat {\boldsymbol {A}}}({\boldsymbol {r}},\omega )=-\mu _{0}{\hat {\boldsymbol {i}}}({\boldsymbol {r}},\omega )} (2-2-8)を充す。即ち、式 (2-1-3)のヘルムホルツ方程式を満たすことが判る。
STEP3 本節では、前節のインパルス応答の式(式(2-2-1))に、球面座標変換を施し、さらに、空間の球対称性を考慮することで、式(2-2-1)を常微分方程式に帰着する。 本節では、ラプラシアンの球面座標変換は既知の事実としているため、実際に やっていることは、本記事微分作用素の球面座標変換 の式(S3-2-1) の意味での”Φ関係”を適用したに過ぎないのだが 抽象的な座標変換では、途端に議論の道筋が見えにくくなることが多いため、本記事では、本過程を敢えて一つのステップに切り出すこととした。微分作用素の座標変換の例は例えば、 [25] [28] [29] [30] [31] [32] 等の文献を参照のこと
本節の主結果は、以下の補題3に纏められる。
補題 3 (ヘルムホルツ方程式のインパルス応答の球面座標変換 ) x-y-z空間上のスカラー値関数G(x,y,z)が、式(2-2-1)の球対称解である必要充分条件は、 G(x,y,z)が、以下の式(2-3-1)を充すことである。
1 r ∂ 2 [ r G ( Φ ( r , θ , ρ ) , ω ) ] ∂ r 2 + k 2 G ( Φ ( r , θ , ρ ) , ω ) = δ 3 ( r ) {\displaystyle {\frac {1}{r}}{\frac {\partial ^{2}[rG(\Phi (r,\theta ,\rho ),\omega )]}{\partial r^{2}}}+k^{2}G(\Phi (r,\theta ,\rho ),\omega )={\delta }^{3}({\boldsymbol {r}})} (2-3-1) 但し、kは、以下の式(2-3-2)で定まる定数とする。
k = ( ω c ) {\displaystyle k=\left({\frac {\omega }{c}}\right)} (2-3-2) ラプラシアン ( Δ = ∇ 2 {\displaystyle \Delta =\nabla ^{2}} )に対し、球面座標 変換を 施したものを、 ( Φ ∗ Δ ) {\displaystyle ({\Phi }^{*}\Delta )} と書くと、
( Φ ∗ Δ ) = ∂ 2 ∂ r 2 + 2 r ∂ ∂ r + 1 r 2 ∂ 2 ∂ θ 2 + 1 r 2 cot θ ∂ ∂ θ + 1 r 2 sin 2 θ ∂ 2 ∂ ρ 2 {\displaystyle ({\Phi }^{*}\Delta )={\frac {\partial ^{2}}{\partial r^{2}}}+{\frac {2}{r}}{\frac {\partial }{\partial r}}+{\frac {1}{r^{2}}}{\frac {\partial ^{2}}{\partial \theta ^{2}}}+{\frac {1}{r^{2}}}\operatorname {cot} \theta {\frac {\partial }{\partial \theta }}+{\frac {1}{r^{2}\sin ^{2}{\theta }}}{\frac {\partial ^{2}}{\partial \rho ^{2}}}} (2-3-3)となる。従って、式(2-1-4)のDに対して球面座標変換を施したものを、Lと書くと、
L = ( Φ ∗ Δ ) + ( ω 2 c 2 ) = ∂ 2 ∂ r 2 + 2 r ∂ ∂ r + 1 r 2 ∂ 2 ∂ θ 2 + 1 r 2 cot θ ∂ ∂ θ + 1 r 2 sin 2 θ ∂ 2 ∂ ρ 2 + ( ω 2 c 2 ) {\displaystyle L=({\Phi }^{*}\Delta )+\left({\frac {\omega ^{2}}{c^{2}}}\right)={\frac {\partial ^{2}}{\partial r^{2}}}+{\frac {2}{r}}{\frac {\partial }{\partial r}}+{\frac {1}{r^{2}}}{\frac {\partial ^{2}}{\partial \theta ^{2}}}+{\frac {1}{r^{2}}}\operatorname {cot} \theta {\frac {\partial }{\partial \theta }}+{\frac {1}{r^{2}\sin ^{2}{\theta }}}{\frac {\partial ^{2}}{\partial \rho ^{2}}}+\left({\frac {\omega ^{2}}{c^{2}}}\right)} (2-3-4)である。上記の微分作用素Lは、 G ( Φ ( r , θ , ρ ) , ω ) {\displaystyle G(\Phi (r,\theta ,\rho ),\omega )} に対し、付録微分作用素の球面座標変換 の式(S3-2-1) の意味での Φ {\displaystyle \Phi } 関係、即ち、
L [ G ( Φ ( r , θ , ρ ) , ω ) ] = ( Δ [ G ] ) ( Φ ( r , θ , ρ ) , ω ) {\displaystyle L[G(\Phi (r,\theta ,\rho ),\omega )]=(\Delta [G])(\Phi (r,\theta ,\rho ),\omega )} (2-3-5)を充たすように作用するため、上記のヘルムホルツ方程式は、
( Δ [ G ] ) ( Φ ( r , θ , ρ ) , ω ) + k 2 G ( Φ ( r , θ , ρ ) , ω ) = δ 3 ( r ) {\displaystyle (\Delta [G])(\Phi (r,\theta ,\rho ),\omega )+{k}^{2}G(\Phi (r,\theta ,\rho ),\omega )={\delta }^{3}({\boldsymbol {r}})} (2-3-6)と変形される。
一方、位置 s {\displaystyle {\boldsymbol {s}}} における電流素片の影響は球対称 、すなわち試験電荷(試験電流)の位置 r {\displaystyle {\boldsymbol {r}}} と、電流素片との距離 | r − s | {\displaystyle |{\boldsymbol {r}}-{\boldsymbol {s}}|} のみに依存するため、Gの、θ方向、 ρ {\displaystyle \rho } 方向の偏微分は、いずれも0であらねばならない。 従って、
L [ G ( Φ ( r , θ , ρ ) , ω ) ] = ∂ 2 [ G ( Φ ( r , θ , ρ ) , ω ) ] ∂ r 2 + 2 r ∂ [ G ( Φ ( r , θ , ρ ) , ω ) ] ∂ r {\displaystyle L[G(\Phi (r,\theta ,\rho ),\omega )]={\frac {\partial ^{2}[G(\Phi (r,\theta ,\rho ),\omega )]}{\partial r^{2}}}+{\frac {2}{r}}{\frac {\partial [G(\Phi (r,\theta ,\rho ),\omega )]}{\partial r}}} (2-3-7)が成り立つ。
さらに、積の微分の公式を考慮すると[28] 、
L [ G ( Φ ( r , θ , ρ ) , ω ) ] = 1 r ∂ 2 [ r ⋅ G ( Φ ( r , θ , ρ ) , ω ) ] ∂ r 2 {\displaystyle L[G(\Phi (r,\theta ,\rho ),\omega )]={\frac {1}{r}}{\frac {\partial ^{2}[r\cdot G(\Phi (r,\theta ,\rho ),\omega )]}{\partial r^{2}}}} (2-3-8) が得られる。ここで、” ⋅ {\displaystyle \cdot } ”は、スカラー倍を意味する。即ち、 r ⋅ G ( Φ ( r , θ , ρ ) , ω ) {\displaystyle r\cdot G(\Phi (r,\theta ,\rho ),\omega )} は、 スカラーrによるベクトルA のスカラー倍を意味する。
従って、球対称性を考慮した場合 、
1 r ∂ 2 [ r ⋅ ( G ( Φ ( r , θ , ρ ) , ω ) ) ] ∂ r 2 + k 2 ⋅ G ( Φ ( r , θ , ρ ) , ω ) = δ 3 ( r ) {\displaystyle {\frac {1}{r}}{\frac {\partial ^{2}[r\cdot (G(\Phi (r,\theta ,\rho ),\omega ))]}{\partial r^{2}}}+{k}^{2}\cdot G(\Phi (r,\theta ,\rho ),\omega )={\delta }^{3}({\boldsymbol {r}})} (2-3-9)が得られる。
STEP4 前節で導出した、式(2-3-3)の常微分方程式を解く。
補題 4 (球対称グリーン関数 ) x-y-z空間上のスカラー値関数 G ( x , y , z ) {\displaystyle G(x,y,z)} が、式(2-3-1)の解となる必要充分条件は、 G {\displaystyle G} が、以下の式(2-4-2)の形で表されることである。
G = a G a d v + b G r e t {\displaystyle G=aG_{\mathrm {adv} }+bG_{\mathrm {ret} }} (2-4-2)但しa,bは、
a + b = 1 {\displaystyle a+b=1} (2-4-3)を充す実定数であり、Gadv ,Gret は、以下の式(2-4-4)、(2-4-5)[注釈 6] で定まる関数である。
G a d v ( x , y , z , ω ) := exp ( i k r ) − 4 π r {\displaystyle {G}_{\mathrm {adv} }(x,y,z,\omega ):={\frac {\exp(ikr)}{-4\pi r}}} (2-4-4) G r e t ( x , y , z , ω ) := exp ( − i k r ) − 4 π r {\displaystyle {G}_{\mathrm {ret} }(x,y,z,\omega ):={\frac {\exp(-ikr)}{-4\pi r}}} (2-4-5)また、kは、式(2-3-4)で与えられ、rは、式(2-4-6)に定めるとおりである。
r ( x , y , z ) = x 2 + y 2 + z 2 {\displaystyle r(x,y,z)={\sqrt {{x}^{2}+{y}^{2}+{z}^{2}}}} (2-4-6) (1)常微分方程式の部 まず、r≠0で式(2-3-1)を解く
u ( r ) := r G ( Φ ( r , 0 , 0 ) , ω ) {\displaystyle u(r):=rG(\Phi (r,0,0),\omega )} (2-4-7)と置き、(2-3-1)式に代入すると、r≠0において、
d 2 u d r 2 ( r ) = − k 2 u ( r ) {\displaystyle {\frac {d^{2}u}{dr^{2}}}(r)=-{k}^{2}u(r)} (2-4-8)が得られる。この常微分方程式は、変数分離型なので、定数(スカラー)a,bを用いて、
u ( r ) = a exp ( i k r ) − 4 π + b exp ( − i k r ) − 4 π {\displaystyle u(r)=a{\frac {\exp(ikr)}{-4\pi }}+b{\frac {\exp(-ikr)}{-4\pi }}} (2-4-9)と表される。 u ( r ) {\displaystyle u(r)} の定義より、
G ( Φ ( r , 0 , 0 ) , ω ) = a exp ( i k r ) − 4 π r + b exp ( − i k r ) − 4 π r {\displaystyle G(\Phi (r,0,0),\omega )=a{\frac {\exp(ikr)}{-4\pi r}}+b{\frac {\exp(-ikr)}{-4\pi r}}} (2-4-10)であるが、さらに、Gは、球対称性を持つため、θ,ρに依存せず、従って、任意のr,θ,ρ,ωに対して、
G ( Φ ( r , θ , ρ ) , ω ) = a exp ( i k r ) − 4 π r + b exp ( − i k r ) − 4 π r {\displaystyle G(\Phi (r,\theta ,\rho ),\omega )=a{\frac {\exp(ikr)}{-4\pi r}}+b{\frac {\exp(-ikr)}{-4\pi r}}} (2-4-11)が、r≠0において、球対称性を考慮したヘルムホルツ方程式の解だと判る。
(2)グリン関数の部 次に、式(2-4-11)が、r=0において、式(2-3-3)の解となるような条件が、式(2-4-3)で与えられることを示す。
まず、 G a d v {\displaystyle G_{\mathrm {adv} }} について考える。
Gadv の両辺にラプラシアンを作用させることを考える。
∂ [ G a d v ] ∂ x = − 1 4 π r ( ∂ [ exp ( i k r ) ] ∂ x ) + exp ( i k r ) ∂ ∂ x [ − 1 4 π r ] {\displaystyle {\frac {\partial [{G}_{\mathrm {adv} }]}{\partial x}}={\frac {-1}{4\pi r}}\left({\frac {\partial [\exp(ikr)]}{\partial x}}\right)+\exp(ikr){\frac {\partial }{\partial x}}\left[{\frac {-1}{4\pi r}}\right]} = − i k x exp ( i k r ) 4 π r 2 + exp ( i k r ) ∂ ∂ x [ − 1 4 π r ] {\displaystyle ={\frac {-ikx\exp(ikr)}{4\pi {r}^{2}}}+\exp(ikr){\frac {\partial }{\partial x}}\left[{\frac {-1}{4\pi r}}\right]} (2-4-12) 従って、
∂ 2 G a d v ∂ 2 x = ∂ ∂ x [ − i k x exp ( i k r ) 4 π r 2 ] + ∂ ∂ x [ exp ( i k r ) ∂ ∂ x [ 1 − 4 π r ] ] {\displaystyle {\frac {{\partial }^{2}{G}_{\mathrm {adv} }}{{\partial }^{2}x}}={\frac {\partial }{\partial x}}\left[{\frac {-ikx\exp(ikr)}{4\pi {r}^{2}}}\right]+{\frac {\partial }{\partial x}}\left[\exp(ikr){\frac {\partial }{\partial x}}\left[{\frac {1}{-4\pi r}}\right]\right]} = − i 2 k 2 x 2 exp ( i k r ) 4 π r 3 + i k exp ( i k r ) 4 π r 2 + − i k x 2 exp ( i k r ) − 4 π r 3 + 2 i k x 2 exp ( i k r ) − 4 π r 4 + exp ( i k r ) ∂ 2 ∂ x 2 [ − 1 4 π r ] {\displaystyle ={\frac {-{i}^{2}{k}^{2}{x}^{2}\exp(ikr)}{4\pi {r}^{3}}}+{\frac {ik\exp(ikr)}{4\pi {r}^{2}}}+{\frac {-ik{x}^{2}\exp(ikr)}{-4\pi {r}^{3}}}+{\frac {2ik{x}^{2}\exp(ikr)}{-4\pi {r}^{4}}}+\exp(ikr){\frac {{\partial }^{2}}{\partial {x}^{2}}}\left[{\frac {-1}{4\pi r}}\right]} = k 2 x 2 exp ( i k r ) 4 π r 3 + exp ( i k r ) ∂ 2 ∂ x 2 [ 1 4 π r ] − i k exp ( i k r ) 4 π r 2 + 3 i k x 2 exp ( i k r ) 4 π r 3 {\displaystyle ={\frac {{k}^{2}{x}^{2}\exp(ikr)}{4\pi {r}^{3}}}+\exp(ikr){\frac {{\partial }^{2}}{\partial {x}^{2}}}\left[{\frac {1}{4\pi r}}\right]-{\frac {ik\exp(ikr)}{4\pi {r}^{2}}}+{\frac {3ik{x}^{2}\exp(ikr)}{4\pi {r}^{3}}}} (2-4-13) 同様に、
∂ 2 G a d v ∂ 2 y = k 2 y 2 exp ( i k r ) 4 π r 3 + exp ( i k r ) ∂ 2 ∂ y 2 [ − 1 4 π r ] − i k exp ( i k r ) 4 π r 2 + 3 i k y 2 exp ( i k r ) 4 π r 3 {\displaystyle {\frac {{\partial }^{2}{G}_{\mathrm {adv} }}{{\partial }^{2}y}}={\frac {{k}^{2}{y}^{2}\exp(ikr)}{4\pi {r}^{3}}}+\exp(ikr){\frac {{\partial }^{2}}{\partial {y}^{2}}}\left[{\frac {-1}{4\pi r}}\right]-{\frac {ik\exp(ikr)}{4\pi {r}^{2}}}+{\frac {3ik{y}^{2}\exp(ikr)}{4\pi {r}^{3}}}} (2-4-14) ∂ 2 G a d v ∂ 2 z = k 2 z 2 exp ( i k r ) 4 π r 3 + exp ( i k r ) ∂ 2 ∂ z 2 [ − 1 4 π r ] − i k exp ( i k r ) 4 π r 2 + 3 i k z 2 exp ( i k r ) 4 π r 3 {\displaystyle {\frac {{\partial }^{2}{G}_{\mathrm {adv} }}{{\partial }^{2}z}}={\frac {{k}^{2}{z}^{2}\exp(ikr)}{4\pi {r}^{3}}}+\exp(ikr){\frac {{\partial }^{2}}{\partial {z}^{2}}}\left[{\frac {-1}{4\pi r}}\right]-{\frac {ik\exp(ikr)}{4\pi {r}^{2}}}+{\frac {3ik{z}^{2}\exp(ikr)}{4\pi {r}^{3}}}} (2-4-15) 以上から、
Δ [ G a d v ] = k 2 exp ( i k r ) ( x 2 + y 2 + z 2 ) 4 π r 3 + 1 4 π exp ( i k r ) Δ [ 1 r ] + {\displaystyle \Delta [{G}_{\mathrm {adv} }]={k}^{2}\exp(ikr){\frac {({x}^{2}+{y}^{2}+{z}^{2})}{4\pi {r}^{3}}}+{\frac {1}{4\pi }}\exp(ikr)\Delta [{\frac {1}{r}}]+} − 1 4 π 3 i k exp ( i k r ) 1 r 2 + 3 i k exp ( i k r ) x 2 + y 2 + z 2 r 3 r 3 {\displaystyle {\frac {-1}{4\pi }}3ik\exp(ikr){\frac {1}{{r}^{2}}}+3ik\exp(ikr){\frac {{x}^{2}+{y}^{2}+{z}^{2}}{{r}^{3}}}{{r}^{3}}} = − k 2 exp ( i k r ) − 1 4 π r + exp ( i k r ) Δ [ − 1 4 π r ] = − k 2 G a d v + Δ [ − 1 4 π r ] {\displaystyle =-{k}^{2}\exp(ikr){\frac {-1}{4\pi r}}+\exp(ikr)\Delta [{\frac {-1}{4\pi r}}]=-{k}^{2}{G}_{\mathrm {adv} }+\Delta [{\frac {-1}{4\pi r}}]} (2-4-16) 以上から、
D [ G a d v ] = exp ( i k r ) Δ [ − 1 4 π r ] {\displaystyle D[{G}_{\mathrm {adv} }]=\exp(ikr)\Delta [{\frac {-1}{4\pi r}}]} (2-4-17a)同様に、
D [ G r e t ] = exp ( − i k r ) Δ [ − 1 4 π r ] {\displaystyle D[{G}_{\mathrm {ret} }]=\exp(-ikr)\Delta [{\frac {-1}{4\pi r}}]} (2-4-17b)となる。
ここで、ティラックのデルタの体積積分(補足参照)より、
Δ [ − 1 4 π r ] = δ ( r ) {\displaystyle \Delta \left[{\frac {-1}{4\pi r}}\right]=\delta (r)} (2-4-18)であり、さらに、
exp ( i k r ) δ ( r ) = { 0 exp ( i k r ) if r ≠ 0 ∞ exp ( i k 0 ) if r = 0. = { 0 if r ≠ 0 ∞ if r = 0. = δ ( r ) {\displaystyle \exp(ikr)\delta (r)={\begin{cases}0\exp(ikr)&{\text{if }}r\neq 0\\\infty \exp(ik0)&{\text{if }}r=0.\end{cases}}={\begin{cases}0&{\text{if }}r\neq 0\\\infty &{\text{if }}r=0.\end{cases}}=\delta (r)} (2-4-19a) exp ( − i k r ) δ ( r ) = δ ( r ) {\displaystyle \exp(-ikr)\delta (r)=\delta (r)} (2-4-19b)である。従って、式(2-4-2)の左辺にDを作用させると、
D G a d v = δ 3 ( r ) {\displaystyle DG_{\mathrm {adv} }=\delta ^{3}({\boldsymbol {r}})} (2-4-20a) D G r e t = δ 3 ( r ) {\displaystyle DG_{\mathrm {ret} }=\delta ^{3}({\boldsymbol {r}})} (2-4-20b) D [ G ] = a D [ G a d v ] + b D [ G r e t ] = ( a + b ) δ 3 ( r ) {\displaystyle D[G]=aD[G_{\mathrm {adv} }]+bD[G_{\mathrm {ret} }]=(a+b)\delta ^{3}({\boldsymbol {r}})} (2-4-20c)であることから、式(2-4-3)の係数条件が満たされれば、式(2-4-2)の G {\displaystyle G} は、 r = 0 {\displaystyle r=0} においても、球対称性を考慮したヘルムホルツ方程式の解であることが判った。
充分性については、常微分方程式の解の一意性より自明であろう。
STEP5 補題 5 式(2-4-4),式(2-4-5)の G a d v , G r e t {\displaystyle {G}_{\mathrm {adv} },{G}_{\mathrm {ret} }} に対し、 A ^ a d v {\displaystyle {\hat {\boldsymbol {A}}}_{\mathrm {adv} }} 、 A ^ r e t {\displaystyle {\hat {\boldsymbol {A}}}_{\mathrm {ret} }} を、それぞれ式 式(2-5-1)、式(2-5-2)のように定める。
A ^ a d v ( s , ω ) := − μ 0 ∫ s ∈ R 3 G a d v ( r − s ) i ^ ( s , ω ) ⋅ d s {\displaystyle {\hat {\boldsymbol {A}}}_{\mathrm {adv} }({\boldsymbol {s}},\omega ):=-\mu _{0}\int _{{\boldsymbol {s}}\in \mathbb {R} ^{3}}{G}_{\mathrm {adv} }({\boldsymbol {r}}-{\boldsymbol {s}}){\hat {\boldsymbol {i}}}({\boldsymbol {s}},\omega )\cdot \mathrm {d} {\boldsymbol {s}}} (2-5-1) A ^ r e t ( s , ω ) := − μ 0 ∫ s ∈ R 3 G r e t ( r − s ) i ^ ( s , ω ) ⋅ d s {\displaystyle {\hat {\boldsymbol {A}}}_{\mathrm {ret} }({\boldsymbol {s}},\omega ):=-\mu _{0}\int _{{\boldsymbol {s}}\in \mathbb {R} ^{3}}{G}_{\mathrm {ret} }({\boldsymbol {r}}-{\boldsymbol {s}}){\hat {\boldsymbol {i}}}({\boldsymbol {s}},\omega )\cdot \mathrm {d} {\boldsymbol {s}}} (2-5-2) A ^ a d v {\displaystyle {\hat {\boldsymbol {A}}}_{\mathrm {adv} }} 、 A ^ r e t {\displaystyle {\hat {\boldsymbol {A}}}_{\mathrm {ret} }} を、それぞれ式 式(2-5-1)、式(2-5-2)のように定める。さらに、
A a d v ( t , r ) := 1 2 π ∫ ω = − ∞ ω = ∞ A ^ a d v ( r , ω ) exp ( i ω t ) d ω {\displaystyle {\boldsymbol {A}}_{\mathrm {adv} }(t,{\boldsymbol {r}}):={\frac {1}{\sqrt {2\pi }}}\int _{\omega =-\infty }^{\omega =\infty }{\hat {\boldsymbol {A}}}_{\mathrm {adv} }({\boldsymbol {r}},\omega )\exp(\mathrm {i} \omega t)\ \mathrm {d} \omega } (2-5-3) A r e t ( t , r ) := 1 2 π ∫ ω = − ∞ ω = ∞ A ^ r e t ( r , ω ) exp ( i ω t ) d ω {\displaystyle {\boldsymbol {A}}_{\mathrm {ret} }(t,{\boldsymbol {r}}):={\frac {1}{\sqrt {2\pi }}}\int _{\omega =-\infty }^{\omega =\infty }{\hat {\boldsymbol {A}}}_{\mathrm {ret} }({\boldsymbol {r}},\omega )\exp(\mathrm {i} \omega t)\ \mathrm {d} \omega } (2-5-4)このとき、以下の(1),(2)が成り立つ。
(1) a + b = 1 {\displaystyle a+b=1} であれば、以下の式(2-5-5)は、式(2-1-3)のヘルムホルツ方程式の解である。 A ^ := a A ^ a d v + b A ^ r e t {\displaystyle {\hat {\boldsymbol {A}}}:=a{\hat {\boldsymbol {A}}}_{\mathrm {adv} }+b{\hat {\boldsymbol {A}}}_{\mathrm {ret} }} (2-5-5)(2) a + b = 1 {\displaystyle a+b=1} であれば、以下の式(2-5-6)は、式(2-1-1)の方程式の解である。 A := a A a d v + b A r e t {\displaystyle {\boldsymbol {A}}:=a{\boldsymbol {A}}_{\mathrm {adv} }+b{\boldsymbol {A}}_{\mathrm {ret} }} (2-5-6) A ^ ( r , ω ) = − μ 0 ∫ s ∈ R 3 G ( r − s ) i ^ ( s , ω ) ⋅ d s {\displaystyle {\hat {\boldsymbol {A}}}({\boldsymbol {r}},\omega )=-\mu _{0}\int _{{\boldsymbol {s}}\in \mathbb {R} ^{3}}G({\boldsymbol {r}}-{\boldsymbol {s}}){\hat {\boldsymbol {i}}}({\boldsymbol {s}},\omega )\cdot \mathrm {d} {\boldsymbol {s}}} (2-5-7)に、STEP4の式(2-4-2)で得られた G {\displaystyle G} を代入し、一般解を求めることを考える。
式(2-5-7)に、式(2-4-2)で得られた G {\displaystyle G} を代入すると、
A ^ ( r , ω ) {\displaystyle {\hat {\boldsymbol {A}}}({\boldsymbol {r}},\omega )} = − μ 0 ∫ s ∈ R 3 ( a G a d v ( r − s ) i ^ ( s , ω ) + b G r e t ( r − s ) i ^ ( s , ω ) ) ⋅ d s {\displaystyle =-\mu _{0}\int _{{\boldsymbol {s}}\in \mathbb {R} ^{3}}\left(a{G}_{\mathrm {adv} }({\boldsymbol {r}}-{\boldsymbol {s}}){\hat {\boldsymbol {i}}}({\boldsymbol {s}},\omega )+b{G}_{\mathrm {ret} }({\boldsymbol {r}}-{\boldsymbol {s}}){\hat {\boldsymbol {i}}}({\boldsymbol {s}},\omega )\right)\cdot \mathrm {d} {\boldsymbol {s}}} (2-5-8) = − a μ 0 ∫ s ∈ R 3 G a d v ( r − s ) i ^ ( s , ω ) ⋅ d s + b μ 0 ∫ s ∈ R 3 G r e t ( r − s ) i ^ ( s , ω ) ⋅ d s {\displaystyle =-a\mu _{0}\int _{{\boldsymbol {s}}\in \mathbb {R} ^{3}}{G}_{\mathrm {adv} }({\boldsymbol {r}}-{\boldsymbol {s}}){\hat {\boldsymbol {i}}}({\boldsymbol {s}},\omega )\cdot \mathrm {d} {\boldsymbol {s}}+b\mu _{0}\int _{{\boldsymbol {s}}\in \mathbb {R} ^{3}}{G}_{\mathrm {ret} }({\boldsymbol {r}}-{\boldsymbol {s}}){\hat {\boldsymbol {i}}}({\boldsymbol {s}},\omega )\cdot \mathrm {d} {\boldsymbol {s}}} (2-5-9)となる。従って、式(2-5-1)、式(2-5-2)のように A ^ a d v , A ^ r e t {\displaystyle {\hat {\boldsymbol {A}}}_{\mathrm {adv} },{\hat {\boldsymbol {A}}}_{\mathrm {ret} }} を定めると、
A ^ ( s , ω ) = a A ^ a d v ( s , ω ) + b A ^ r e t ( s , ω ) {\displaystyle {\hat {\boldsymbol {A}}}({\boldsymbol {s}},\omega )=a{\hat {\boldsymbol {A}}}_{\mathrm {adv} }({\boldsymbol {s}},\omega )+b{\hat {\boldsymbol {A}}}_{\mathrm {ret} }({\boldsymbol {s}},\omega )} (2-5-10)が判る。即ち、式(2-5-5)が示された。
また、式(2-5-3),式(2-5-4)の定義式の意味する ところは、 A a d v , A r e t {\displaystyle {\boldsymbol {A}}_{\mathrm {adv} },{\boldsymbol {A}}_{\mathrm {ret} }} は、 A ^ a d v , A ^ r e t {\displaystyle {\hat {\boldsymbol {A}}}_{\mathrm {adv} },{\hat {\boldsymbol {A}}}_{\mathrm {ret} }} にフーリエ逆変換を施し、時間域に戻したものという意味であるため、 STEP1の式(2-1-3)の逆を辿れば、式(2-5-6)を得る。
STEP6 補題 6 式(2-5-1)、式(2-5-2)の A a d v {\displaystyle {\boldsymbol {A}}_{\mathrm {adv} }} , A r e t {\displaystyle {\boldsymbol {A}}_{\mathrm {ret} }} は、 それぞれ、以下を充す。
A a d v ( r , t ) = μ 0 4 π ∫ s ∈ R 3 i ( s , t a d v ) | r − s | ⋅ d s {\displaystyle {\boldsymbol {A}}_{\mathrm {adv} }({\boldsymbol {r}},t)={\dfrac {\mu _{0}}{4\pi }}\int _{{\boldsymbol {s}}\in \mathbb {R} ^{3}}{\dfrac {{\boldsymbol {i}}({\boldsymbol {s}},{t}_{\mathrm {adv} })}{|{\boldsymbol {r}}-{\boldsymbol {s}}|}}\cdot \mathrm {d} {\boldsymbol {s}}} (2-6-1) A r e t ( r , t ) = μ 0 4 π ∫ s ∈ R 3 i ( s , t r e t ) | r − s | ⋅ d s {\displaystyle {\boldsymbol {A}}_{\mathrm {ret} }({\boldsymbol {r}},t)={\dfrac {\mu _{0}}{4\pi }}\int _{{\boldsymbol {s}}\in \mathbb {R} ^{3}}{\dfrac {{\boldsymbol {i}}({\boldsymbol {s}},{t}_{\mathrm {ret} })}{|{\boldsymbol {r}}-{\boldsymbol {s}}|}}\cdot \mathrm {d} {\boldsymbol {s}}} (2-6-2)但し、
t a d v = t + | r − s | c {\displaystyle {t}_{\mathrm {adv} }=t+{\frac {|r-s|}{c}}} (2-6-3) t r e t = t − | r − s | c {\displaystyle {t}_{\mathrm {ret} }=t-{\frac {|r-s|}{c}}} (2-6-4)を意味する。
式(2-6-2)を示す。式(2-5-2)の G r e t {\displaystyle G_{\mathrm {ret} }} に、式(2-4-5)を代入すると、
A ^ r e t ( s , ω ) = − μ 0 ∫ s ∈ R 3 − exp ( − i k | r − s | ) i ^ ( s , ω ) 4 π | r − s | ⋅ d s {\displaystyle {\hat {\boldsymbol {A}}}_{\mathrm {ret} }({\boldsymbol {s}},\omega )=-{\mu }_{0}\int _{{\boldsymbol {s}}\in \mathbb {R} ^{3}}{\frac {-\exp(-ik|{\boldsymbol {r}}-{\boldsymbol {s}}|){\hat {\boldsymbol {i}}}({\boldsymbol {s}},\omega )}{4\pi |{\boldsymbol {{\boldsymbol {r}}-{\boldsymbol {s}}}}|}}\cdot \mathrm {d} {\boldsymbol {s}}} (2-6-5)式(2-6-5)の、 A ^ r e t {\displaystyle {\hat {\boldsymbol {A}}}_{\mathrm {ret} }} にフーリエ逆変換をすると、
A r e t ( t , r ) = μ 0 2 π ∫ ω = − ∞ ω = ∞ ( ∫ s ∈ R 3 exp ( − i k | r − s | ) i ^ ( s , ω ) 4 π | r − s | ⋅ d s ) exp ( i ω t ) d ω {\displaystyle {\boldsymbol {A}}_{\mathrm {ret} }({\boldsymbol {t,{\boldsymbol {r}}}})={\frac {{\mu }_{0}}{\sqrt {2\pi }}}\int _{\omega =-\infty }^{\omega =\infty }\left(\int _{{\boldsymbol {s}}\in \mathbb {R} ^{3}}{\frac {\exp(-ik|{\boldsymbol {r}}-{\boldsymbol {s}}|){\hat {\boldsymbol {i}}}({\boldsymbol {s}},\omega )}{4\pi |{\boldsymbol {{\boldsymbol {r}}-{\boldsymbol {s}}}}|}}\cdot \mathrm {d} {\boldsymbol {s}}\right)\exp(i\omega t)\ d\omega } (2-6-6a) = μ 0 4 π ∫ s ∈ R 3 1 | r − s | ( 1 2 π ∫ ω = − ∞ ω = ∞ exp ( i ( ω t − k | r − s | ) ) i ^ ( s , ω ) d ω ) ⋅ d s {\displaystyle ={\frac {{\mu }_{0}}{4\pi }}\int _{{\boldsymbol {s}}\in \mathbb {R} ^{3}}{\frac {1}{|{\boldsymbol {{\boldsymbol {r}}-{\boldsymbol {s}}}}|}}\left({\frac {1}{\sqrt {2\pi }}}\int _{\omega =-\infty }^{\omega =\infty }\exp(i(\omega t-k|{\boldsymbol {r}}-{\boldsymbol {s}}|)){\hat {\boldsymbol {i}}}({\boldsymbol {s}},\omega )\ d\omega \right)\cdot \mathrm {d} {\boldsymbol {s}}} (2-6-6b) = μ 0 4 π ∫ s ∈ R 3 1 | r − s | ( 1 2 π ∫ ω = − ∞ ω = ∞ exp ( i ω ( t − | r − s | c ) ) i ^ ( s , ω ) d ω ) ⋅ d s {\displaystyle ={\frac {{\mu }_{0}}{4\pi }}\int _{{\boldsymbol {s}}\in \mathbb {R} ^{3}}{\frac {1}{|{\boldsymbol {{\boldsymbol {r}}-{\boldsymbol {s}}}}|}}\left({\frac {1}{\sqrt {2\pi }}}\int _{\omega =-\infty }^{\omega =\infty }\exp(i\omega \left(t-{\frac {|{\boldsymbol {r}}-{\boldsymbol {s}}|}{c}}\right)){\hat {\boldsymbol {i}}}({\boldsymbol {s}},\omega )\ d\omega \right)\cdot \mathrm {d} {\boldsymbol {s}}} (2-6-6c) = μ 0 4 π ∫ s ∈ R 3 1 | r − s | ( 1 2 π ∫ ω = − ∞ ω = ∞ exp ( i ω t r e t ) i ^ ( s , ω ) d ω ) ⋅ d s {\displaystyle ={\frac {{\mu }_{0}}{4\pi }}\int _{{\boldsymbol {s}}\in \mathbb {R} ^{3}}{\frac {1}{|{\boldsymbol {{\boldsymbol {r}}-{\boldsymbol {s}}}}|}}\left({\frac {1}{\sqrt {2\pi }}}\int _{\omega =-\infty }^{\omega =\infty }\exp(i\omega t_{\mathrm {ret} }){\hat {\boldsymbol {i}}}({\boldsymbol {s}},\omega )\ d\omega \right)\cdot \mathrm {d} {\boldsymbol {s}}} (2-6-6d) = μ 0 4 π ∫ s ∈ R 3 i ( s , t r e t ) | r − s | ⋅ d s {\displaystyle ={\dfrac {\mu _{0}}{4\pi }}{\int }_{{\boldsymbol {s}}\in \mathbb {R} ^{3}}{\dfrac {{\boldsymbol {i}}({\boldsymbol {s}},{t}_{\mathrm {ret} })}{|{\boldsymbol {r}}-{\boldsymbol {s}}|}}\cdot \mathrm {d} {\boldsymbol {s}}} (2-6-6e)を得る。ここで、(2-6-6a) から(2-6-6b)の式変形では、 ω {\displaystyle \omega } に依存しない項を” ∫ d ω {\displaystyle \int \ d\omega } ”の外に括りだしている。 (2-6-6b) から (2-6-6c)の式変形では、 式(2-3-4)、即ち k = ω / c {\displaystyle k=\omega /c} を考慮した。 また、 (2-6-6d)から、 (2-6-6e)の式変形は、(2-1-5b) に、tret を代入したものである。
STEP7 STEP6で得られた一般解から、ふるまいの悪い解を棄却する。 式(2-6-1) の先進ポテンシャル A ^ a d v {\displaystyle {\hat {\boldsymbol {A}}}_{\mathrm {adv} }} の物理学的意味を解釈すると、 位置 s {\displaystyle {\boldsymbol {s}}} の電流素片
i ( s , t a d v ) d s {\displaystyle {{\boldsymbol {i}}({\boldsymbol {s}},{t}_{\mathrm {adv} })}\mathrm {d} {\boldsymbol {s}}} (2-7-1)が、位置 r {\displaystyle {\boldsymbol {r}}} に作り出す ベクトルポテンシャルが、
i ( s , t a d v ) | r − s | ⋅ d s {\displaystyle {\dfrac {{\boldsymbol {i}}({\boldsymbol {s}},{t}_{\mathrm {adv} })}{|{\boldsymbol {r}}-{\boldsymbol {s}}|}}\cdot \mathrm {d} {\boldsymbol {s}}} (2-7-2)であり、これを全 s {\displaystyle {\boldsymbol {s}}} にわたって積分したものが、位置で r {\displaystyle {\boldsymbol {r}}} におけるベクトルポテンシャルで あると解されよう。
同様に、式(2-6-2)の遅延ポテンシャル A ^ r e t {\displaystyle {\hat {\boldsymbol {A}}}_{\mathrm {ret} }}
i ( s , t r e t ) ⋅ d s {\displaystyle {{\boldsymbol {i}}({\boldsymbol {s}},{t}_{\mathrm {ret} })}\cdot \mathrm {d} {\boldsymbol {s}}} (2-7-3)が、位置r に作り出す ベクトルポテンシャルが、
i ( s , t r e t ) | r − s | ⋅ d s {\displaystyle {\dfrac {{\boldsymbol {i}}({\boldsymbol {s}},{t}_{\mathrm {ret} })}{|{\boldsymbol {r}}-{\boldsymbol {s}}|}}\cdot \mathrm {d} {\boldsymbol {s}}} (2-7-4)であり、これを全s にわたって積分したものが、位置でr におけるベクトルポテンシャルで あると解されよう。
式(2-7-2),式(2-7-4)いずれの場合にも電流素片の影響が、電流素片の置かれた場所s と、位置(観測点s との間の距離に逆比例して球対称に広がっていることが判り、非常にもっともらしい。
遅延ポテンシャルにおいては式(2-7-4)のように、観測点の、時刻tにおけるベクトルポテンシャルに 影響を与える電流素片が、観測点の時刻よりも前の時刻のものであるしかも、影響が光速で伝播するとしたときに非常につじつまの合う時間遅れが生じていてさらにもっともらしい。
一方で、式(2-7-2)では、観測点の、時刻tにおけるベクトルポテンシャルに 影響を与える電流素片が、観測点の時刻よりも後(未来)の時刻のものである ことになり、非常に振る舞いが悪い。
大げさに言えば、先進ポテンシャルの影響があるとすると、 観測点r の観測者は、 未来の情報を観測(予測ではなく)出来るということを意味する。 このようなことは、非現実的で、時空因果律の観点からも おかしい。したがって、先進ポテンシャルは棄却すべきである。
以上から、式(2-6-2) のA ret のみが生き残るべきであると結論される。
一変数フーリエ変換の一般論 一変数フーリエ変換[24] の定義には、(係数のつけ方によって)諸派あるが、以下の式で定義する流儀が恐らく最もスタンダードであろう。変数tについての一変数スカラー値の関数f(t)に対し、
f ^ ( ω ) = 1 2 π ∫ t = − ∞ t = ∞ f ( t ) exp ( − i ω t ) d t {\displaystyle {\hat {f}}(\omega )={\frac {1}{\sqrt {2\pi }}}{\int }_{t=-\infty }^{t=\infty }\ f(t)\exp {(-i\omega t)}\ dt} (S1-1)を、fのフーリエ変換と言う。
この時、
f ( u ) = 1 2 π ∫ ω = − ∞ ω = ∞ f ^ ( ω ) exp ( i ω u ) d ω {\displaystyle f(u)={\frac {1}{\sqrt {2\pi }}}{\int }_{\omega =-\infty }^{\omega =\infty }\ {\hat {f}}(\omega )\exp {(i\omega u)}\ d\omega } (S1-2)が成り立つ。これを、フーリエ逆変換という。(尚、厳密に言えば上式はの=は「等しい」という意味ではなく、「至る所等しい」ことを意味する。)
ベクトル場の代数演算と微分作用素 ベクトル解析[25] の公式のうち、特に、ベクトル場に代数演算を施したものに、微分作用素を作用させた場合に成り立つ公式について、本記事で用い、かつ、あまり本に載っていないものについて、簡潔にまとめる。例えば、藤本[25] P64付近を参照のこと。
(1) <F|∇>について 以下の記述は、例えば、を参照のこと。 F = ( f 1 , f 2 , f 3 ) {\displaystyle F=(f_{1},f_{2},f_{3})} をベクトル場とする。このとき、
⟨ F | ∇ ⟩ := f 1 ∂ ∂ x 1 + f 2 ∂ ∂ x 2 + f 3 ∂ ∂ x 3 {\displaystyle \left\langle \ {\boldsymbol {F}}\ |\ \nabla \ \right\rangle :={f}_{1}{\partial \over \partial {x}_{1}}+{f}_{2}{\partial \over \partial {x}_{2}}+{f}_{3}{\partial \over \partial {x}_{3}}} (S2-1-1)と定義する。ここで、∇は、
∇ := x ^ ∂ ∂ x + y ^ ∂ ∂ y + z ^ ∂ ∂ z {\displaystyle \nabla :={\boldsymbol {\hat {x}}}{\partial \over \partial x}+{\boldsymbol {\hat {y}}}{\partial \over \partial y}+{\boldsymbol {\hat {z}}}{\partial \over \partial z}} (S2-1-3)を意味する。<F|∇>のことを、”F・∇”と書くこともある。
Gを、ベクトル場としたとき、<F|∇>をGに作用させると、
⟨ F | ∇ ⟩ G = f 1 ∂ g 1 ∂ x 1 + f 2 ∂ g 2 ∂ x 2 + f 3 ∂ g 3 ∂ x 3 = ( J [ G ] ) ⋅ F {\displaystyle \left\langle \ {\boldsymbol {F}}\ |\ \nabla \ \right\rangle {\boldsymbol {G}}={f}_{1}{\partial {g}_{1} \over \partial {x}_{1}}+{f}_{2}{\partial {g}_{2} \over \partial {x}_{2}}+{f}_{3}{\partial {g}_{3} \over \partial {x}_{3}}=(J[{\boldsymbol {G}}])\cdot {\boldsymbol {F}}} (S2-1-4)が成り立つ。ここで、J[G ]は、Gのヤコビ行列 (ヤコビアンではない)を意味する。
(2)rot とスカラー倍、ベクトル積 F,Gを、ベクトル場、fを、スカラー値関数とする。このとき、以下が成り立つ。
rot [ f F ] = grad [ f ] × F + f ⋅ rot [ F ] {\displaystyle \operatorname {rot} [f{\boldsymbol {F}}]=\operatorname {grad} [f]\times {\boldsymbol {F}}+f\cdot \operatorname {rot} [{\boldsymbol {F}}]} (S2-2-1) rot [ F × G ] = ⟨ G | ∇ ⟩ F − ⟨ F | ∇ ⟩ G + F div [ G ] − G div [ F ] {\displaystyle \operatorname {rot} [{\boldsymbol {F}}\times {\boldsymbol {G}}]=\left\langle \ {\boldsymbol {G}}\ |\ \nabla \ \right\rangle {\boldsymbol {F}}-\left\langle \ {\boldsymbol {F}}\ |\ \nabla \ \right\rangle {\boldsymbol {G}}+{\boldsymbol {F}}\operatorname {div} [{\boldsymbol {G}}]-{\boldsymbol {G}}\operatorname {div} [{\boldsymbol {F}}]} (S2-2-2)(3)div とスカラー倍、ベクトル積 F,Gを、ベクトル場、fを、スカラー値関数とする。このとき、
div [ f F ] = ⟨ F | grad [ f ] ⟩ + f div [ F ] {\displaystyle \operatorname {div} \left[f{\boldsymbol {F}}\right]=\left\langle {\boldsymbol {F}}|\operatorname {grad} [f]\right\rangle +f\operatorname {div} [{\boldsymbol {F}}]} (S2-3-1)
ラプラシアンについて ラプラシアン
Δ = ∇ 2 = ∂ 2 ∂ x 2 + ∂ 2 ∂ y 2 + ∂ 2 ∂ z 2 {\displaystyle \Delta ={\nabla }^{2}={\frac {{\partial }^{2}}{\partial {x}^{2}}}+{\frac {{\partial }^{2}}{\partial {y}^{2}}}+{\frac {{\partial }^{2}}{\partial {z}^{2}}}} (S2-4-1)は、スカラー作用素なので、スカラー場に作用できるが、 ベクトル場の各成分関数に対して作用すると考えることにより、 ベクトル場にも作用できる。
ラプラシアンが、スカラー場fに作用する際には、以下の等式が成立する
Δ [ f ] = div [ grad [ f ] ] {\displaystyle \Delta [f]=\operatorname {div} [\operatorname {grad} [f]]} (S2-4-2)ラプラシアンが、ベクトル場Xに作用する際には、以下の等式が成立する。
Δ [ X ] = grad [ div [ X ] ] − rot [ rot [ X ] ] {\displaystyle \Delta [X]=\operatorname {grad} [\operatorname {div} [X]]-\operatorname {rot} [\operatorname {rot} [X]]} (S2-4-3)上式の詳細な導出過程は、例えば、 [12] を参照のこと。
球面座標変換について 微分作用素の座標変換の使用例は例えば、 [25] ,[28] [30] [31] [32] 等の文献を参照のこと。
球面座標変換の概要 球面座標変換とは,以下の(S3-1-1)で定まる
( x y z ) = Φ ( r , θ , ρ ) = ( r sin θ cos ρ r sin θ sin ρ r cos θ ) {\displaystyle {\begin{pmatrix}x\\y\\z\end{pmatrix}}=\Phi (r,\theta ,\rho )={\begin{pmatrix}r\sin \theta \cos \rho \\r\sin \theta \sin \rho \\r\cos \theta \end{pmatrix}}} (S3-1-2)r-θ-ρ空間内に定義域を持ち、x-y-z空間に値を取る、多変数ベクトル値関数のことである。
球面座標変換の(像空間 )について考える。Iをr -θ-ρ空間内の、
I = [ 0 , r ] × [ 0 , 2 π ] × [ 0 , 2 π ] {\displaystyle I=[0,r]\times [0,2\pi ]\times [0,2\pi ]} (S3-1-4)で定まる(中身の詰まった)直方体としたとき、前記のΦは、は、r-θ-ρ空間内の直方体Iを、 x-y-z空間内の半径rの(中身の詰まった)球
Ball ( r ) {\displaystyle {\text{Ball}}(r)} (S3-1-4)に移す変換である。ここで、[0,r]等はみな閉区間を表し、×は、ここでは直積 を表すものとする。
微分作用素の球面座標変換 「x-y-z空間上の微分作用素Dに対しΦによる座標変換を施したもの」をLとしたとき、 Lは、r-θ-ρ空間上の微分作用素で、任意のhに対し 以下の式(2-3-2)の関係が満たされる(逆に言えばそうなるようなLを求めることが微分作用素の座標変換である)。
L [ h ∘ Φ ] = ( D [ h ] ) ∘ Φ {\displaystyle L[h\circ \Phi ]=(D[h])\circ \Phi } (S3-2-1)但し、式S(3-2-1)のhは、「作用されるもの」(x-y-z空間上の関数、ベクトル場等)で、 ∘ {\displaystyle \circ } は、合成を表す。以下、本節では、便宜のため式S(3-2-1)のような関係にある LとDのことを、「LとDの間にはΦ関係がある」 と言うことにする。
x-y-z空間上の微分作用素Dと、r-θ-ρ空間上の微分作用素Lとの間に式(S3-2-1)の意味でΦ関係があったとする。
このとき、例えば、hが、x-y-z空間上で定義されたスカラー値関数(スカラー場)としたとき、 Lは、x-y-z空間上で定義されたスカラー場h=h(x,y,z)に対しては、 直接的に作用することはできない。しかし、前記hとΦとの合成関数は、「r-θ-ρ上で定義されたスカラー場」であるため、Lは、 h ∘ Φ {\displaystyle h\circ \Phi } には、作用できる。このとき、式(2-3-2)の左辺と右辺の意味は、それぞれ、
左辺「Lを、 h ∘ Φ {\displaystyle h\circ \Phi } に作用させたもの」 右辺「『Dをhに作用させることによって得られたD[h]』と、Φを合成したもの」 という意味である。
同様に、例えば、Xが、x-y-z空間上で定義されたベクトル場であったとするとき、x-y-z空間上の微分作用素Dと、r-θ-ρ空間上の微分作用素Lとの間に式(2-3-2)の意味でΦ関係があったとする。即ち、
L [ X ∘ Φ ] = ( Δ [ X ] ) ∘ Φ {\displaystyle L[{\boldsymbol {X}}\circ \Phi ]=(\Delta [{\boldsymbol {X}}])\circ \Phi } 式(S3-2-1’)が成り立ったとする。このとき、Lは、x-y-z空間上で定義されたベクトル場X =X (x,y,z)に対しては、直接的に作用することはできない。
しかし、前記X とΦとの合成関数は、「r-θ-ρ上で定義されたベクトル場」であるため、Lは、 X には、作用できる。 このとき、式(2-3-2’)の左辺と右辺の意味は、それぞれ、
左辺:Lを、 X ∘ Φ {\displaystyle {\boldsymbol {X}}\circ \Phi } に作用させたもの 右辺:『DをXに作用させることによって得られたD[X]』と、Φを合成したもの という意味である。
分数関数の微分 首記の件について解説する。必要に応じ、例えば北川[26] p27,P39付近を参照のこと。
分数関数の微分(1) 分数関数の偏微分と勾配ベクトル場について解説する。{"@context":"http:\/\/schema.org","@type":"Article","dateCreated":"2023-06-01T06:57:14+00:00","datePublished":"2023-06-01T06:57:14+00:00","dateModified":"2023-06-01T06:57:14+00:00","headline":"遅延ポテンシャル","name":"遅延ポテンシャル","keywords":[],"url":"https:\/\/www.wiki2.ja-jp.nina.az\/遅延ポテンシャル.html","description":"遅延ポテンシャル 電磁気学における ちえんぽてんしゃる 英 retarded potentials は 真空におけるポテンシャル形式のマックスウェル方程式 英語版 の解の一つで 与えられた電荷分布と電流分布によって作られる電磁場を表す 目次 1 概要 1 1 概要 1 2 ジェフィメンコ方程式との関係 1 3 議論の出発点 2 マックスウェルの方程式からを導出 2 1 STEP1 2 2 STEP2 2 3 STEP3 2 4 STEP4 2 5 STEP5 2 6 STEP6 2 7 STEP7 3 数学的補足 3 1 一変数フーリエ変換の一般論 3 2 ベクトル場の代数演算と微分作用素 3 2 1 1 lt F gt について ","copyrightYear":"2023","articleSection":"ウィキペディア","articleBody":"電磁気学における遅延ポテンシャル ちえんぽてんしゃる 英 retarded potentials は 真空におけるポテンシャル形式のマックスウェル方程式 英語版 の解の一つで 与えられた電荷分布と電流分布によって作られる電磁場を表す 目次 1 概要 1 1 概要 1 2 ジェフィメンコ方程式との関係 1 3 議論の出発点 2 マックスウェルの方程式から遅延ポテンシャルを導出 2 1 STEP1 2","publisher":{ "@id":"#Publisher", "@type":"Organization", "name":"www.wiki2.ja-jp.nina.az", "logo":{ "@type":"ImageObject", "url":"https:\/\/www.wiki2.ja-jp.nina.az\/assets\/logo.svg" },"sameAs":[]}, "sourceOrganization":{"@id":"#Publisher"}, "copyrightHolder":{"@id":"#Publisher"}, "mainEntityOfPage":{"@type":"WebPage","@id":"https:\/\/www.wiki2.ja-jp.nina.az\/遅延ポテンシャル.html","breadcrumb":{"@id":"#Breadcrumb"}}, "author":{"@type":"Person","name":"www.wiki2.ja-jp.nina.az","url":"https:\/\/www.wiki2.ja-jp.nina.az"}, "image":{"@type":"ImageObject","url":"https:\/\/www.wiki2.ja-jp.nina.az\/assets\/images\/wiki\/34.jpg","width":1000,"height":800}}