遅延ポテンシャルのソースを表示

[[電磁気学]]における'''遅延ポテンシャル'''（ちえんぽてんしゃる、{{lang-en-short|retarded potentials}}）は、真空における{{仮リンク|ポテンシャル形式のマックスウェル方程式|en|Maths_of_EM_field#Potential_field_approach}}の解の一つで、与えられた電荷分布と電流分布によって作られる電磁場を表す。

== 概要 ==
=== 概要 ===
遅延ポテンシャル<ref name=open>オッペンハイマー著, 小林稔訳「電気力学」[[吉岡書店]] , [[丸善]] (発売), 1963 年1月15日　第2刷[https://ci.nii.ac.jp/ncid/BN02912721]，J. Robert Oppenheimer, Shuichi Kusaka, Eldred Carlyle Nelson;"Lectures on Electrodynamics" Gordon & Breach Science Pub (June 1970)
特に第7章p33以降を参照のこと。</ref>
<ref name=kawamura>川村清 (著) ：「電磁気学 (岩波基礎物理シリーズ (3))」[[岩波書店]] (1994/5/12) [特にp151～]</ref>
<ref name=sunagawa>砂川 重信 (著) ;「理論電磁気学」[[紀伊國屋書店]]; 第3版 [特にP254,P280 付近を参照のこと] (1999/09) </ref>
<ref name=takeyama>竹山 説三 (著);「電磁気学現象理論」丸善出版; 3版 (1949) [特にP437付近を参照のこと]</ref>
<ref name=mizogu>溝口 正(著);「電磁気学」[[裳華房]] (2001/03)</ref>
<ref name=phi>ファインマン (著), 宮島 龍興 (翻訳) 「ファインマン物理学〈3〉電磁気学」[[岩波書店]] (1986/1/8)</ref>
<ref name=simizu>清水 忠雄(著) ;「電磁気学〈2〉遅延ポテンシャル・物質との相互作用・量子光学 (基礎物理学シリーズ) 」朝倉書店 (2009/12) <br>
遅延ポテンシャルP214、ジェフィメンコ方程式P222(但しジェフィメンコ方程式の名は出ていない。）</ref>
<ref name=nakamura>
中村 哲 (著),須藤 彰三 (著) ;「電磁気学 (現代物理学―基礎シリーズ)」
朝倉書店 (2010/01) <br>遅延ポテンシャルP193、ジェフィメンコ方程式P205</ref>
<ref name=kato>加藤 義夫(著) :「偏微分方程式 (サイエンスライブラリ現代数学への入門) 」[[サイエンス社]]  (2003/11) </ref>
<ref name="maguro">C.B. Parker; “McGraw Hill Encyclopaedia of Physics (2nd Edition)” 1994, ISBN 0-07-051400-3</ref><ref>Introduction to Electrodynamics (3rd Edition), D.J. Griffiths, Pearson Education, Dorling Kindersley, 2007, ISBN 81-7758-293-3</ref><ref name="IS">Electromagnetism (2nd Edition), I.S. Grant, W.R. Phillips, Manchester Physics, John Wiley & Sons, 2008, ISBN 9-780471-927129</ref><ref name="DJ">Introduction to Electrodynamics (3rd Edition), D.J. Griffiths, Pearson Education, Dorling Kindersley, 2007, ISBN 81-7758-293-3</ref>
<ref name=kasha>http://kashalpha.files.wordpress.com/2013/04/e98185e5bbb6e3839de38386e383b3e382b7e383a3e383ab.pdf</ref>
<ref name=akai>赤井久純 電磁気学Ⅰ講義ノート（[[大阪大学]] 物理学科 学部2年相当の講義の講義ノート）
[http://ann.phys.sci.osaka-u.ac.jp/akai/electromag1/2008electromag1EX/electromag1.pdf]</ref>
<ref name=kd>[[京都大学]]
光物性研究室　電磁気学4講義ノート [http://www.hikari.scphys.kyoto-u.ac.jp/jp/index.php?%E9%9B%BB%E7%A3%81%E6%B0%97%E5%AD%A64%202011%E8%AC%9B%E7%BE%A9%E3%83%8E%E3%83%BC%E3%83%88]　第一章[http://www.hikari.scphys.kyoto-u.ac.jp/jp/index.php?plugin=attach&refer=%E9%9B%BB%E7%A3%81%E6%B0%97%E5%AD%A64%202011%E8%AC%9B%E7%BE%A9%E3%83%8E%E3%83%BC%E3%83%88&openfile=1st_no9_separate.pdf]</ref>
<ref name=todai>[[東京大学]]『電磁気学第2』講義概要No.2【電磁波の発生】講義ノート
[http://www.g-munu.t.u-tokyo.ac.jp/mio/note/elemag/em_abs.pdf]</ref>
<ref name=akitako>http://akita-nct.jp/saka/lecturenote/2008/1s/text/radiation.pdf</ref>
<ref name=nif>http://hyropom.web.fc2.com/phys/electrod.pdf</ref>
<ref name=simane>http://maverick.riko.shimane-u.ac.jp/files/Electro/el-mag3-3/node7.html</ref>
<ref name=eman>EMANの物理学　 [http://homepage2.nifty.com/eman/electromag/retarded.html]</ref>
<ref>株式会社フォトン([[CAE]]のメーカー)の技術情報[ http://www.photon-cae.co.jp/technicalinfo/01/em12.html]</ref><ref name=kf>[http://kashalpha.files.wordpress.com/2013/04/e98185e5bbb6e3839de38386e383b3e382b7e383a3e383ab.pdf]</ref>は、真空における{{仮リンク|ポテンシャル形式のマックスウェル方程式|en|Maths_of_EM_field#Potential_field_approach}}（後述の式(1-2-4)）の解の一つで、以下の式(1-1-1)で与えられる。本節では、必要に応じたいくつかの数学的補足<ref name=Higuchi>樋口 禎一 (著) ,八高 隆雄 (著) ;
「フーリエ級数とラプラス変換の基礎・基本 (理工系数学の基礎・基本) 」牧野書店 (2000/05) </ref>
<ref name=fujimoto>
藤本 淳夫 (著) ベクトル解析 (現代数学レクチャーズ C- 1) 
[[培風館]] (1979/01) </ref>
<ref name=kita>北川 盈雄(著)；「アンペールの法則―電流と磁場の計算方法を学ぼう
 (物理学演習One Point) 」[[共立出版]] (1997/09) </ref>
<ref name="ほさか">保坂 淳 (著)；「ベクトル解析 ―電磁気学を題材にして― 
(フロー式 物理演習シリーズ 1) 」共立出版 (2013/1/24) </ref>
<ref name=abe>{{cite|和書|author=阿部 龍蔵|title=新・演習電磁気学 (新・演習物理学ライブラリ (3))|publisher=サイエンス社|year=2002|month=10|page=136}}（7章例題13）</ref>
<ref name=hashimoto>橋元 淳一郎;
「単位が取れる橋元流物理数学ノート (単位が取れるシリーズ)」
[[講談社]] (2006/5/11) （特にP157付近)</ref>
<ref name=toda>{{cite|和書|author=戸田 盛和|title=ベクトル解析 (理工系の数学入門コース 3)|publisher=岩波書店|date=1989/3/8}}</ref>
<ref name=toda2>{{cite|和書|author=戸田 盛和|author2=渡辺 慎介|title=ベクトル解析演習|publisher=岩波書店|date=1999/3/26}}</ref>
<ref name=yonago>[[米子高専]]音響振動工学の講義ノート[http://www.yonago-k.ac.jp/denki/lab/nitta/lecture/S2_onkyo/note/note05.pdf]、[http://www.yonago-k.ac.jp/denki/lab/nitta/lecture/]（教科書  鈴木昭次、西村正治、雉本信哉、御法川学「機械音響工学」コロナ社 参考書  安田仁彦「機械音響学」コロナ社　他 ）</ref>
<ref name=kyohen>共変微分による極座標系ラプラシアンの導出 (物理のかぎしっぽ)
[http://hooktail.maxwell.jp/bbslog/22376.html]</ref>をしながら、遅延ポテンシャルについて論じる。

:<math>
\boldsymbol{A}_{\mathrm{ret}}(\boldsymbol{r},t) =
\dfrac{\mu_0}{4\pi} \int \dfrac{\boldsymbol{i}(\boldsymbol{s},{t}_{\mathrm{ret}})}{|\boldsymbol{r}-\boldsymbol{s}|} \cdot\mathrm{d} \boldsymbol{s}
</math>　(1-1-1a)
:<math>
\varphi_{\mathrm{ret}}(\boldsymbol{r},t) =
 \dfrac{1}{4\pi \epsilon_0} \int \dfrac{\rho(\boldsymbol{s},{t}_{\mathrm{ret}})}{|\boldsymbol{r}-\boldsymbol{s}|} \mathrm{d} \boldsymbol{s}
</math>　(1-1-1b)

ここで、d''s'' は、微小体積要素を表す。また、t<sub>ret</sub>は、遅滞時間を表し、以下の式で与えられる。
:<math>t_{\mathrm{ret}}:= t - \frac{|\boldsymbol{r} - \boldsymbol{s}|}{c}</math>　(1-1-2)
電磁場は、光速<math>
c
</math>で伝播する。光速は有限な速度である。従って、過去に発生した原因（電流、電荷分布）と、それに起因して未来に起こる結果（電磁波の観測）との間には、時間遅れが生じる。遅滞時間は、この時間遅れを表現している。

===ジェフィメンコ方程式との関係===
遅延ポテンシャルに対して、
:<math>\boldsymbol{B}=\operatorname{rot}\boldsymbol{A}</math>(1-1-3a)
:<math>\boldsymbol{E}=-\frac{\partial \boldsymbol{A}}{\partial t}-\operatorname{grad}[\phi]</math>　(1-1-3b)

とすると、[[ジェフィメンコ方程式]]<ref name=kasha/><ref name=nakamura/><ref name=simizu/><ref name=DJ/> 即ち

:<math>\boldsymbol{B}(\boldsymbol{r}, t) 
= \frac{\mu_0}{4 \pi} 
{\int}_{\boldsymbol{s}\in\mathbb{R}^{3}} 
\left(
\frac{
\boldsymbol{i}(\boldsymbol{s}, {t}_{\mathrm{ret}})}{|\boldsymbol{r}-\boldsymbol{s}|^3} 
+ \frac{1}{|\boldsymbol{r}-\boldsymbol{s}|^2 c}\frac{\partial 
\boldsymbol{i}(\boldsymbol{s}, {t}_{\mathrm{ret}})}{\partial t} 
\right) \times (\boldsymbol{r}-\boldsymbol{s}) \mathrm{d}^3 \boldsymbol{s}</math>　(1-1-4a)

:<math>\boldsymbol{E}(\boldsymbol{r}, t) = 
\frac{1}{4 \pi \epsilon_0} 
{\int}_{\boldsymbol{s}\in\mathbb{R}^{3}}  
\left( 
\left( 
\left(
\frac{\rho(\boldsymbol{s}, {t}_{\mathrm{ret}})}{|\boldsymbol{r}-\boldsymbol{s}|^3} 
+ \frac{1}{|\boldsymbol{r}-\boldsymbol{s}|^2 c}
\frac{\partial \rho(\boldsymbol{s}, {t}_{\mathrm{ret}})}{\partial t}
\right)
(\boldsymbol{r}-\boldsymbol{s}) 
\right)
- \frac{1}{|\boldsymbol{r}-\boldsymbol{s}| c^2}\frac{\partial \boldsymbol{i}(\boldsymbol{s}, {t}_{\mathrm{ret}})}{\partial t} 
\right) 
\mathrm{d}^3 \boldsymbol{s}</math>　(1-1-4b)

が導出される。式(0-1-4a), (0-1-4b)は、共に、通常の意味のマックスウェル方程式(式(1-2-1),(1-2-2))の解になっている（詳細は、[[Wikipedia]]の項目[[ジェフィメンコ方程式]]を参照のこと）。ここで、<math>\mathbb{R}^{n}</math>(あるいは、HTML表記の'''R'''<sup>n</sup>は、n次元実[[数ベクトル空間]]を意味する。

=== 議論の出発点 ===
議論の出発点は、以下のマックスウェルの方程式
:[M1]　<math>\operatorname{div} \boldsymbol{B}=0</math> (1-2-1a)
:[M2]　<math>\operatorname{rot} \boldsymbol{E}+\frac{\partial\boldsymbol{B}}{\partial t}=0</math>　(1-2-1b)
:[M3]　<math>\operatorname{rot} \boldsymbol{H}-\frac{\partial\boldsymbol{D}}{\partial t}=\boldsymbol{i}</math>　(1-2-1c)
:[M4]　<math>\operatorname{div} \boldsymbol{D}=\rho</math>　(1-2-1d)

であり、真空中について検討しているため、以下の構造方程式が考え併せられる。

:[SE1]　<math> \boldsymbol{B} = {\mu_0} \boldsymbol{H} </math>　(1-2-2a)
:[SE2]　<math> \boldsymbol{D} = {\epsilon_0} \boldsymbol{E} </math>　(1-2-2b)

ここで、<math>
\boldsymbol{i}
</math>は、与えられた電流密度を表すベクトル場
ρは、電荷密度を表すスカラー場、<math>
\boldsymbol{B},\boldsymbol{E},\boldsymbol{H},\boldsymbol{D}
</math>は、
それぞれ、磁束密度、電場、磁場、電束密度を表すベクトル場であり、
<math>
\mu_0
</math>は、真空の透磁率、
<math>
\epsilon_0
</math>は、真空の誘電率である。

マックスウェルの方程式に対し、[[ローレンツゲージ]]
<ref name=ggr>守末 利弥;「数値電磁気学のためのゲージ理論」森北出版 (1996/04)</ref>
<ref name=suhara>栖原 敏明;「量子電子工学」オーム社　(1994/11)</ref>
:<math>\operatorname{div}A + \frac{1}{c}\frac{\partial\varphi}{\partial t}=0</math>　(1-2-3)

を課すことで、以下のポテンシャル形式のマックスウェル方程式が得られる。
:<math>\Box \boldsymbol{A}= - {\mu_0} \boldsymbol{i}</math>  (1-2-4a)
:<math>\Box \varphi = - \dfrac{\rho}{\epsilon_0}</math>　(1-2-4b)

上記のポテンシャル形式のマックスウェル方程式は、φ('''r''', ''t'' ) 、'''A'''('''r''', ''t'' )それぞれについて、独立に解くことが出来る。ここで、φ('''r''', ''t'' ) は[[電位]]、'''A'''('''r''', ''t'' ) は[[磁気ベクトルポテンシャル]]を意味し、（勝手に）与えられた[[電荷分布]]を&rho;('''r''', ''t'' ) 、（勝手に）与えられた[[電流密度]]を '''i'''('''r''', ''t'' )とする。さらに、 <math>\Box</math> は、 [[ダランベール演算子]]、即ち、

:<math>\Box =-\frac{1}{c^2}\frac{\partial^2}{\partial{t}^{2}}+ {\nabla}^{2}</math>　(1-2-5)

を表す<ref group="注釈" name="lap">ダランベール演算子中の∇<sup>2</sup>は、ラプラシアン、即ち、

:<math>{\nabla}^{2}
=\frac{{\partial}^{2}}{\partial {x}^{2}}+
\frac{{\partial}^{2}}{\partial {y}^{2}}+
\frac{{\partial}^{2}}{\partial {z}^{2}}
</math>

のことであり、∇<sup>2</sup>のことをΔとも書く。
(つまり、Δ=∇<sup>2</sup>である)</ref>。''c'' は[[光速]]を表す。

遅延ポテンシャル(1-1-3)は、上記の偏微分方程式を、以下の仮定の下で解いた厳密解である。

*[[電荷密度]]&rho;('''r''', ''t'' )と、 [[電流密度]]<math>
\boldsymbol{i}(\boldsymbol{r},t)
</math>とが、'''r''', ''t'' '''のみ'''の関数である（自分自身の作り出す電場や磁場の影響を受けない）。
*前記の電流密度と、電荷密度以外に、電場、磁場を生み出すものが存在しない。
*電荷密度、電流密度は、無限の過去では、0に収束する。
*電荷密度、電流密度は、無限遠では0に収束する。
*電荷密度、電流密度は、自由空間に配置されている（境界のない時空間を仮定している）。
*時空[[因果律]]が成り立つ。

1番目以外の仮定以外は物理学的にもっともらしい仮定だが、1番目の仮定は近似的である。即ち、仮に真空中であっても[[ベルシェ効果]]等の自己相互作用が無視できないケースでは、適用ができないことを意味し、さらに、物質が介在するような一般的な場合には、電流密度の存在が新たな電流密度（例えば、磁化電流や渦電流等）を発生させたり、電荷密度の存在が、あらたな電荷密度（分極電荷）を発生させるといった効果があり得るため、適用に注意を要する。この意味で、遅延ポテンシャルは数学的に厳密解であるのと同時に、物理学的には近似解としての性格を持つ。

== マックスウェルの方程式から遅延ポテンシャルを導出 ==
ポテンシャル形式のマックスウェルの方程式から、遅延ポテンシャルのうち、
特に磁気ベクトルポテンシャルについてを導出する。導出の戦略は下記の通りである。

*'''[[%E9%81%85%E5%BB%B6%E3%83%9D%E3%83%86%E3%83%B3%E3%82%B7%E3%83%A3%E3%83%AB#STEP1|STEP1]]:'''ポテンシャル形式のマックスウェル方程式のフーリエ変換
*'''[[%E9%81%85%E5%BB%B6%E3%83%9D%E3%83%86%E3%83%B3%E3%82%B7%E3%83%A3%E3%83%AB#STEP2|STEP2]]:'''グリーン関数が従う方程式を導出する。
*'''[[%E9%81%85%E5%BB%B6%E3%83%9D%E3%83%86%E3%83%B3%E3%82%B7%E3%83%A3%E3%83%AB#STEP3|STEP3]]:'''Step2で得られた方程式の空間成分に球面座標変換を施し、等方性（球称性）を考慮する。
*'''[[%E9%81%85%E5%BB%B6%E3%83%9D%E3%83%86%E3%83%B3%E3%82%B7%E3%83%A3%E3%83%AB#STEP4|STEP4]]:'''グリーン関数を求める。
*'''[[%E9%81%85%E5%BB%B6%E3%83%9D%E3%83%86%E3%83%B3%E3%82%B7%E3%83%A3%E3%83%AB#STEP5|STEP5]]:'''解のフーリエ逆変換2
*'''[[%E9%81%85%E5%BB%B6%E3%83%9D%E3%83%86%E3%83%B3%E3%82%B7%E3%83%A3%E3%83%AB#STEP6|STEP6]]:'''解のフーリエ逆変換2
*'''[[%E9%81%85%E5%BB%B6%E3%83%9D%E3%83%86%E3%83%B3%E3%82%B7%E3%83%A3%E3%83%AB#STEP7|STEP7]]:'''時空因果律に反する解を棄却する。

電位スカラーポテンシャルも同様に導出されるが、これについては、
上記戦略にて同様に導出される<ref name=tjj group="注釈">通常の教科書では、「電位スカラーポテンシャル」について導出し、「磁気ベクトルポテンシャル」については、「同様に」で済ます傾向がある。本当にまったく同様なのだが、敢えて、「磁気ベクトルポテンシャル」について詳細な導出過程を示すこととした。</ref>ので、省略する。

本節の議論は、オッペンハイマー<ref name=open/>（特に7章p33以降）川村<ref name=kawamura/>(p151～),砂川<ref name=sunagawa/>(特にP254付近)と概ね<ref name=tjj group="注釈"/>同等である。
従って、本筋の部分については、個々の補助定理や個々の結論にいちいち文献指示をつけない。
本記事は、現代工学との整合性に留意し、E-B対応、[[国際単位系]]で議論しているが、上記文献の中には別の立場に立っているものもある。しかし[[単位の換算]]程度の問題については、特段断わりをいれない。数学的な扱い等に特に留意を要する個所については重要性、難易度に応じ、文献指示、脚注、付録をつけることにする。

=== STEP1 ===
本節では、ポテンシャル形式のマックスウェル方程式の両辺の、'''A''', '''i'''それぞれの、時間成分に対し、
それぞれ、（一変数の意味で）[[フーリエ変換]]<ref name=FR group="注釈">フーリエ変換とは言っても、所詮は一変数tについてのフーリエ変換に過ぎない([[多変数のフーリエ変換]]ではないこと)に注意。詳細は、本記事の補足欄を参照のこと。</ref>を施す。本節の結論は、以下の補題1に集約される。

<div style="border: 1px solid; padding: 4px;">
'''補題 1''' ('''ポテンシャル形式のマックスウェル方程式のフーリエ変換''')<br>
4変数(t,x,y,z)を持つ'''R'''<sup>3</sup>値関数'''A''' (t,x,y,z), '''i''' (t,x,y,z)が、
ポテンシャル形式のマックスウェル方程式の磁場成分、即ち以下の式(2-1-1) の解とする。
:<math>\Box \boldsymbol{A}= - {\mu_0} \boldsymbol{i}</math>  　(2-1-1) 

このとき、4変数(x,y,z,ω)を持つ'''R'''<sup>3</sup>値関数
<math>\hat{\boldsymbol{A}}(x,y,z,\omega), \hat{\boldsymbol{i}}(x,y,z,\omega)</math>
を、それぞれ

:<math>\begin{align}& \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{align}</math>　　(2-1-2)

とすると、任意の実数ωに対し、以下の式(2-1-3)が成り立つ。

:<math>D\hat{\boldsymbol{A}}(\boldsymbol{r},\omega)
= -\mu_0\hat{\boldsymbol{i}}(\boldsymbol{r},\omega)</math>　 (2-1-3)

但し、Dは、以下の式(2-1-4)で定まる　x-y-z空間上の微分作用素である。
:<math>
D=\left\{\nabla^2 + \left (\frac{\omega^2}{c^2}\right )\right\}
</math>　 (2-1-4)
</div>

式(2-1-2)の<math>\hat{\boldsymbol{A}}(x,y,z,\omega), \hat{\boldsymbol{i}}(x,y,z,\omega)</math>
は、<math>{\boldsymbol{A}}(x,y,z,\omega), {\boldsymbol{i}}(x,y,z,\omega)</math>の時間成分に
一変数関数の意味でフーリエ変換を施して得られたものである。
<ref name=FR group="注釈"/>
<ref group="注釈">下記のフーリエ変換は、定義通りに計算しただけであり、'''A''' (t,x,y,z), '''i''' (t,x,y,z)が、ポテンシャル形式のマックスウェルの方程式の解であろうがなかろうが成り立つことに注意されたい。尚、本記事では、変換後の関数は、ω成分を最後に書ことにし、
<math>\hat{\boldsymbol{A}}(x,y,z,\omega), \hat{\boldsymbol{i}}(x,y,z,\omega)</math>
のように書く。</ref><ref group="注釈">ここで、('''r''',ω)=(x,y,z,ω)である。</ref>
従って、当然、<math>\hat{\boldsymbol{A}}(x,y,z,\omega), \hat{\boldsymbol{i}}(x,y,z,\omega)</math>それぞれに（一変数の意味でωについて）フーリエ逆変換を施すと、

:<math>\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 
</math>　(2-1-5a)
:<math>\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 </math>　(2-1-5b)

を得る。式(2-1-5)を、　式(2-1-1)に代入することで、(ダランベールシアンから）時間成分を消去することを考える
 

<blockquote>
まず、式(2-1-1) の左辺について検討する。
式(2-1-5a)の両辺に、式(2-1-1) の左辺、即ちダランベールシアン
:<math> \Box =-\frac{1}{c^2}\frac{\partial^2}{\partial t^2}+ \nabla^2</math>　　 (2-1-6)
を作用させると、

:<math>\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
</math>　　 (2-1-7)
を得る。実際、

<blockquote>
:<math>\begin{align} \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{align}</math> 　　(2-1-8)

である。
</blockquote>
一方、式(2-1-1)右辺を、　(2-1-5b) の電流密度”i”に作用させると、
:<math>-{\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</math>　 (2-1-9)

を得る。
</blockquote>
式(2-1-1),(2-1-7),(2-1-9) より、
:<math> \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 </math>　　(2-1-11)

が判る。以上から、[[ヘルムホルツ方程式]] 、即ち、式(2-1-3)が、任意の実数&omega;に対して成り立つことが判る。

=== STEP2 ===
一般にヘルムホルツ方程式は、式(2-2-1)
<ref name="nini" group="注釈">
本によっては、本記事の式(2-2-1)の替りに

:<math>D G (\boldsymbol{r},\omega)= {\delta}^3 (\boldsymbol{r})</math>　(2-2-1')
を用いていることがある。この場合には、当然、式(2-2-2)は、

:<math>\hat{\boldsymbol{A}}(\boldsymbol{r},\omega) = 
+{\mu}_{0}\int_{\boldsymbol{s}\in\mathbb{R}^{3}}
G(\boldsymbol{r}-\boldsymbol{s},\omega)
\cdot \hat{\boldsymbol{i}} (\boldsymbol{s},\omega) \ \mathrm{d}\boldsymbol{s}
</math>　　(2-2-2')
となるが、その後の計算でも符号の逆転が起こり、主要な個所としてはグリーン関数(2-4-4),(2-4-5)も符号がかわる。

:<math>{G}_{\mathrm{adv}}(x,y,z,\omega):=\frac{\exp(ikr)}{4\pi r}</math>　(2-4-4')
:<math>{G}_{\mathrm{ret}}(x,y,z,\omega):=\frac{\exp(-ikr)}{4\pi r}</math>　(2-4-5')

従って（同じ単位系でかかれた本であっても）本によってグリーン関数の符号が違ったりする。
しかし、最終的な結論においては、当然、どちらの流儀であっても同じ結論になる。</ref>
のようなインパルス応答を用いて解くことができる。
このことを示そう。インパルス応答を用いてヘルムホルツ方程式を解くことを、グリーン関数法といい、
以下の式（2-2-1）の、スカラー値関数の解G
<ref group="注釈">厳密にいうと、Gは、スカラー値関数ではなく、<math>L^2</math>空間の点というべきであろう。</ref>のことを、ヘルムホルツ方程式(2-1-3)のグリーン関数という。グリーン関数を用いた微分方程式の解法については、例えば[http://www.phys.chuo-u.ac.jp/labs/nakano/suurikaiseki/sec4(suuri).pdf]に詳しい。本節の主結果は以下の補題2に集約される。

<div style="border: 1px solid; padding: 4px;">
'''補題 2''' ('''グリーン関数法''')<br>
式 (2-1-3) のヘルムホルツ方程式の、インパルス応答、即ち
: <math>D G (\boldsymbol{r},\omega)= -{\delta}^3 (\boldsymbol{r})</math>　　(2-2-1)
式(2-2-1)のスカラー値関数解をGとしたとき、

:<math>\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}
</math>　　(2-2-2)
は、式 (2-1-3)のヘルムホルツ方程式の解である。
</div>

実際、(2-2-2)の両辺に<math>D</math>を作用させると、「積分と微分の交換可能性」と、「ライプニッツルール」より、

:<math>(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}
</math>　　(2-2-3)

である。ここで、
: '''r'''=(x,y,z)　　(2-2-4)
である。

まず、式(2-2-3)の第一項について検討する。
:DG('''r'''-'''s''',ω) = δ<sup>3</sup>('''r'''-'''s''')　　(2-2-5)

であり、さらに、デルタ関数とのコンボリューションの性質から、
:<math>\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)
</math>　　(2-2-6) 

である。次にの第一項について検討する。<math>\hat{\boldsymbol{i}} (t,\boldsymbol{s})</math>は、<math>\boldsymbol{r}</math>に依存していないので、

:<math> D[\hat{\boldsymbol{i}}(t,\boldsymbol{s})]=0</math>　　(2-2-7)

である。

以上から、式(2-2-2)の、<math>\hat{\boldsymbol{A}}</math>は、

:<math>D\hat{\boldsymbol{A}}(\boldsymbol{r},\omega)= -\mu_0\hat{\boldsymbol{i}}(\boldsymbol{r},\omega)
</math>　　(2-2-8) 

を充す。即ち、式 (2-1-3)のヘルムホルツ方程式を満たすことが判る。
 

=== STEP3 ===
本節では、前節のインパルス応答の式(式(2-2-1))に、球面座標変換を施し、さらに、空間の球対称性を考慮することで、式(2-2-1）を常微分方程式に帰着する。
本節では、ラプラシアンの球面座標変換は既知の事実としているため、実際に
やっていることは、本記事[[%E9%81%85%E5%BB%B6%E3%83%9D%E3%83%86%E3%83%B3%E3%82%B7%E3%83%A3%E3%83%AB#.E5.BE.AE.E5.88.86.E4.BD.9C.E7.94.A8.E7.B4.A0.E3.81.AE.E7.90.83.E9.9D.A2.E5.BA.A7.E6.A8.99.E5.A4.89.E6.8F.9B|微分作用素の球面座標変換]]の式(S3-2-1) の意味での”Φ関係”を適用したに過ぎないのだが
抽象的な座標変換では、途端に議論の道筋が見えにくくなることが多いため、本記事では、本過程を敢えて一つのステップに切り出すこととした。微分作用素の座標変換の例は例えば、
<ref name=fujimoto/>
<ref name=abe/>
<ref name=hashimoto/>
<ref name=toda/>
<ref name=toda2/>
<ref name=yonago/>
等の文献を参照のこと

本節の主結果は、以下の補題3に纏められる。
<div style="border: 1px solid; padding: 4px;">
'''補題 3''' ('''ヘルムホルツ方程式のインパルス応答の球面座標変換''')<br>
x-y-z空間上のスカラー値関数G(x,y,z)が、式(2-2-1)の球対称解である必要充分条件は、
G(x,y,z)が、以下の式(2-3-1)を充すことである。
:<math>
\frac{1}{r}\frac{\partial^{2} 
[r G(\Phi(r,\theta,\rho),\omega)]}{\partial r^{2}}
+k^{2}G(\Phi(r,\theta,\rho),\omega)
={\delta}^{3}(\boldsymbol{r})</math>　　(2-3-1)　

但し、kは、以下の式(2-3-2)で定まる定数とする。
: <math>k=\left (\frac{\omega}{c}\right )</math>　　(2-3-2)
</div>

[[ラプラシアン]]（<math>\Delta=\nabla^2</math>）に対し、[[球面座標]]変換を
施したものを、<math>({\Phi}^{*}\Delta)</math>と書くと、

:<math>
({\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}
</math>　　(2-3-3)

となる。従って、式(2-1-4)のDに対して球面座標変換を施したものを、Lと書くと、
:<math>
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 )
</math>　　(2-3-4) 

である。上記の微分作用素Lは、<math>
G(\Phi(r,\theta,\rho),\omega)</math>に対し、付録[[%E9%81%85%E5%BB%B6%E3%83%9D%E3%83%86%E3%83%B3%E3%82%B7%E3%83%A3%E3%83%AB#.E5.BE.AE.E5.88.86.E4.BD.9C.E7.94.A8.E7.B4.A0.E3.81.AE.E7.90.83.E9.9D.A2.E5.BA.A7.E6.A8.99.E5.A4.89.E6.8F.9B|微分作用素の球面座標変換]]の式(S3-2-1) の意味での<math>\Phi</math>
関係、即ち、
:<math>
L[G(\Phi(r,\theta,\rho),\omega)]=
(\Delta[G]) (\Phi(r,\theta,\rho),\omega)</math>　　(2-3-5) 
を充たすように作用するため、上記のヘルムホルツ方程式は、

:<math>
(\Delta[G])(\Phi(r,\theta,\rho),\omega)
+{k}^{2}G(\Phi(r,\theta,\rho),\omega)
={\delta}^{3}(\boldsymbol{r})</math>　　(2-3-6) 

と変形される。

'''一方、位置<math>\boldsymbol{s}</math>における電流素片の影響は[[球対称]]、すなわち試験電荷（試験電流）の位置<math>\boldsymbol{r}</math>と、電流素片との距離<math>|\boldsymbol{r}-\boldsymbol{s}|</math>のみに依存するため、Gの、&theta;方向、<math>\rho</math>方向の偏微分は、いずれも0であらねばならない。'''従って、

:<math>
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}
</math>　　(2-3-7) 

が成り立つ。

さらに、積の微分の公式を考慮すると<ref name=abe/>、
:<math>L[
G(\Phi(r,\theta,\rho),\omega)
]=
\frac{1}{r}\frac{\partial^{2} 
[
r\cdot G(\Phi(r,\theta,\rho),\omega)
]}{\partial r^{2}}
</math>　　(2-3-8) 


が得られる。ここで、”<math>\cdot</math>”は、スカラー倍を意味する。即ち、
<math> r\cdot G(\Phi(r,\theta,\rho),\omega)</math>は、
スカラーrによるベクトル'''A'''のスカラー倍を意味する。

従って、'''球対称性を考慮した場合'''、
:<math>
\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})</math>　　(2-3-9) 

が得られる。

===STEP4===
前節で導出した、式(2-3-3)の常微分方程式を解く。

<div style="border: 1px solid; padding: 4px;">
'''補題 4''' ('''球対称グリーン関数''')<br>
x-y-z空間上のスカラー値関数<math>G(x,y,z)</math>が、式(2-3-1)の解となる必要充分条件は、<math>G</math>が、以下の式(2-4-2)の形で表されることである。
:<math>G=aG_{\mathrm{adv}}+bG_{\mathrm{ret}}</math>　　(2-4-2)
但しa,bは、
:<math>a+b=1</math> 　　(2-4-3)
を充す実定数であり、G<sub>adv</sub>,G<sub>ret</sub>は、以下の式(2-4-4)、(2-4-5)<ref name=nini group="注釈"/>
で定まる関数である。
:<math>{G}_{\mathrm{adv}}(x,y,z,\omega):=\frac{\exp(ikr)}{-4\pi r}</math>　(2-4-4)
:<math>{G}_{\mathrm{ret}}(x,y,z,\omega):=\frac{\exp(-ikr)}{-4\pi r}</math>　(2-4-5)
また、kは、式(2-3-4)で与えられ、rは、式(2-4-6)に定めるとおりである。
:<math>r(x,y,z)=\sqrt{{x}^{2}+{y}^{2}+{z}^{2}}</math>　(2-4-6)
</div>
(1)常微分方程式の部<br>
まず、r≠0で式(2-3-1)を解く
:<math>u(r):=r G(\Phi(r,0,0),\omega)</math>　　(2-4-7)

と置き、(2-3-1)式に代入すると、r≠0において、

:<math>\frac{d^{2}u}{dr^{2}}(r)=-{k}^{2}u(r)</math> 　　(2-4-8)

が得られる。この常微分方程式は、変数分離型なので、定数（スカラー）a,bを用いて、

:<math>u(r)= a\frac{\exp(ikr)}{-4\pi}+ b\frac{\exp(-ikr)}{-4\pi}</math> 　　(2-4-9)

と表される。<math>u(r)</math>の定義より、
:<math>G(\Phi(r,0,0),\omega)=a\frac{\exp(ikr)}{-4\pi r}+b\frac{\exp(-ikr)}{-4\pi r}</math> 　　(2-4-10)

であるが、さらに、Gは、球対称性を持つため、θ,ρに依存せず、従って、任意のr,θ,ρ,ωに対して、
:<math>G(\Phi(r,\theta,\rho),\omega)
= a\frac{\exp(ikr)}{-4\pi r}+
b\frac{\exp(-ikr)}{ -4\pi r}
</math> 　　(2-4-11)
が、r≠0において、球対称性を考慮したヘルムホルツ方程式の解だと判る。

(2)グリン関数の部<br>
次に、式(2-4-11)が、r=0において、式(2-3-3)の解となるような条件が、式(2-4-3)で与えられることを示す。

まず、<math>G_{\mathrm{adv}}</math>について考える。
<blockquote>
G<sub>adv</sub>の両辺にラプラシアンを作用させることを考える。
:<math>\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] </math>
:<math>
=\frac{-ikx\exp(ikr)}{4\pi {r}^{2}}+
\exp(ikr)\frac{\partial}{\partial x} \left[\frac{-1}{4\pi r}\right]
</math> 　　(2-4-12)


従って、
:<math>
\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]
</math>
:<math>=
\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]
</math>
:<math>=
\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}}
</math> 　　(2-4-13)


同様に、
:<math>
\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}}
</math> 　　(2-4-14)

:<math>
\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}}
</math> 　　(2-4-15)


以上から、
:<math>
\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}]+</math>
:<math>
\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}}
</math>
:<math>
=-{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 }]
</math> 　　(2-4-16)
</blockquote>
以上から、
:<math>D[{G}_{\mathrm{adv}}]=\exp(ikr) \Delta [ \frac{-1}{4\pi r }]</math> 　　(2-4-17a)
同様に、
:<math>D[{G}_{\mathrm{ret}}]=\exp(-ikr) \Delta [ \frac{-1}{4\pi r }]</math> 　　(2-4-17b)
となる。

ここで、ティラックのデルタの体積積分（補足参照）より、
:<math>\Delta\left[\frac{-1}{4\pi r }\right]=\delta(r)</math>　　(2-4-18)

であり、さらに、
:<math> \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)
</math>　　(2-4-19a)
:<math>\exp(-ikr)\delta(r)=\delta(r)</math>　　(2-4-19b)

である。従って、式(2-4-2)の左辺にDを作用させると、
:<math>DG_{\mathrm{adv}}=\delta^3(\boldsymbol{r})</math> 　　(2-4-20a)
:<math>DG_{\mathrm{ret}}=\delta^3(\boldsymbol{r})</math>　　(2-4-20b)
:<math>D[G]=aD[G_{\mathrm{adv}}]+bD[G_{\mathrm{ret}}]=(a+b)\delta^3(\boldsymbol{r})</math>　(2-4-20c)

であることから、式(2-4-3)の係数条件が満たされれば、式(2-4-2)の<math>G</math>は、<math>r=0</math>においても、球対称性を考慮したヘルムホルツ方程式の解であることが判った。

充分性については、常微分方程式の解の一意性より自明であろう。

===STEP5===
<div style="border: 1px solid; padding: 4px;">
'''補題 5''' <br>
式(2-4-4),式(2-4-5)の  <math>{G}_{\mathrm{adv}},{G}_{\mathrm{ret}}</math>に対し、
<math>\hat{\boldsymbol{A}}_{\mathrm{adv}}</math>、<math>\hat{\boldsymbol{A}}_{\mathrm{ret}}</math>を、それぞれ式
式(2-5-1)、式(2-5-2)のように定める。
:<math>
\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}
</math>　　(2-5-1)
:<math>
\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}
</math>　　(2-5-2)

<math>\hat{\boldsymbol{A}}_{\mathrm{adv}}</math>、<math>\hat{\boldsymbol{A}}_{\mathrm{ret}}</math>を、それぞれ式
式(2-5-1)、式(2-5-2)のように定める。さらに、
:<math>\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
</math>　　(2-5-3)
:<math>\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
</math>　　(2-5-4)

このとき、以下の（1）,（2）が成り立つ。
*（1）<math>a+b=1</math>であれば、以下の式(2-5-5)は、式(2-1-3)のヘルムホルツ方程式の解である。
:::<math>\hat{\boldsymbol{A}}:=a\hat{\boldsymbol{A}}_{\mathrm{adv}}+b\hat{\boldsymbol{A}}_{\mathrm{ret}}</math>  (2-5-5)
*（2）<math>a+b=1</math>であれば、以下の式(2-5-6)は、式(2-1-1)の方程式の解である。
:::<math>{\boldsymbol{A}}:=a{\boldsymbol{A}}_{\mathrm{adv}}+b{\boldsymbol{A}}_{\mathrm{ret}}</math>  (2-5-6)
</div>

:<math>
\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}
</math>　　(2-5-7)

に、STEP4の式(2-4-2)で得られた<math>G</math>を代入し、一般解を求めることを考える。

式(2-5-7)に、式(2-4-2)で得られた<math>G</math>を代入すると、
:<math>
\hat{\boldsymbol{A}}(\boldsymbol{r},\omega) </math>
:<math>
=-\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}
</math>　　(2-5-8)

:<math> 
=-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}
</math>　　(2-5-9)

となる。従って、式(2-5-1)、式(2-5-2)のように
<math>\hat{\boldsymbol{A}}_{\mathrm{adv}},\hat{\boldsymbol{A}}_{\mathrm{ret}}</math>を定めると、
:<math>
\hat{\boldsymbol{A}}(\boldsymbol{s},\omega) 
=
a\hat{\boldsymbol{A}}_{\mathrm{adv}}(\boldsymbol{s},\omega) 
+
b\hat{\boldsymbol{A}}_{\mathrm{ret}}(\boldsymbol{s},\omega) 
</math> (2-5-10）

が判る。即ち、式(2-5-5)が示された。

また、式(2-5-3),式(2-5-4)の定義式の意味する
ところは、<math>{\boldsymbol{A}}_{\mathrm{adv}},{\boldsymbol{A}}_{\mathrm{ret}}</math>は、
<math>\hat{\boldsymbol{A}}_{\mathrm{adv}},\hat{\boldsymbol{A}}_{\mathrm{ret}}</math>
にフーリエ逆変換を施し、時間域に戻したものという意味であるため、
STEP1の式(2-1-3)の逆を辿れば、式(2-5-6)を得る。

===STEP6===
<div style="border: 1px solid; padding: 4px;">
'''補題 6''' <br>
式(2-5-1)、式(2-5-2)の<math>{\boldsymbol{A}}_{\mathrm{adv}}</math>,<math>{\boldsymbol{A}}_{\mathrm{ret}}</math>は、
それぞれ、以下を充す。
: <math>\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}</math> 　(2-6-1)
: <math>\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}</math> 　(2-6-2)

但し、
:<math>{t}_{\mathrm{adv}}=t+\frac{|r-s|}{c}</math>　(2-6-3)
:<math>{t}_{\mathrm{ret}}=t-\frac{|r-s|}{c}</math>　(2-6-4)
を意味する。
</div>

式(2-6-2)を示す。式(2-5-2)の<math>G_{\mathrm{ret}}</math>に、式(2-4-5)を代入すると、
:<math>
\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}
</math>　　(2-6-5)

式(2-6-5)の、<math>\hat{\boldsymbol{A}}_{\mathrm{ret}}</math>にフーリエ逆変換をすると、

:<math>
{\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
</math>　　(2-6-6a)
:<math>
=\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}
</math>　　(2-6-6b)
:<math>
=\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}
</math>　　(2-6-6c)
:<math>
=\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}
</math>　　　(2-6-6d)
:<math>=\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}</math>　　　(2-6-6e)

を得る。ここで、(2-6-6a) から(2-6-6b)の式変形では、<math>\omega</math>に依存しない項を”<math>\int \ d\omega</math>”の外に括りだしている。 
(2-6-6b) から　(2-6-6c)の式変形では、 式(2-3-4)、即ち <math>k=\omega/c</math>を考慮した。
また、　(2-6-6d)から、 (2-6-6e)の式変形は、(2-1-5b) に、t<sub>ret</sub>を代入したものである。

===STEP7===
STEP6で得られた一般解から、ふるまいの悪い解を棄却する。
式(2-6-1) の先進ポテンシャル<math>\hat{\boldsymbol{A}}_{\mathrm{adv}}</math>
の物理学的意味を解釈すると、
位置<math>\boldsymbol{s}</math>の電流素片

:<math>
{\boldsymbol{i}(\boldsymbol{s},{t}_{\mathrm{adv}})} \mathrm{d} \boldsymbol{s}
</math>　(2-7-1)

が、位置<math>\boldsymbol{r}</math>に作り出す
ベクトルポテンシャルが、

:<math>
\dfrac{\boldsymbol{i}(\boldsymbol{s},{t}_{\mathrm{adv}})}
{|\boldsymbol{r}-\boldsymbol{s}|}\cdot \mathrm{d} \boldsymbol{s}
</math>　(2-7-2)

であり、これを全<math>\boldsymbol{s}</math>にわたって積分したものが、位置で<math>\boldsymbol{r}</math>におけるベクトルポテンシャルで
あると解されよう。

同様に、式(2-6-2)の遅延ポテンシャル<math>\hat{\boldsymbol{A}}_{\mathrm{ret}}</math>

:<math>
{\boldsymbol{i}(\boldsymbol{s},{t}_{\mathrm{ret}})} \cdot\mathrm{d} \boldsymbol{s}
</math>　(2-7-3)

が、位置'''r'''に作り出す
ベクトルポテンシャルが、

:<math>
\dfrac{\boldsymbol{i}(\boldsymbol{s},{t}_{\mathrm{ret}})}
{|\boldsymbol{r}-\boldsymbol{s}|}\cdot \mathrm{d} \boldsymbol{s}
</math>　(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'''<sub>ret</sub>のみが生き残るべきであると結論される。

==数学的補足==
===一変数フーリエ変換の一般論===
一変数フーリエ変換<ref name=Higuchi/>の定義には、（係数のつけ方によって）諸派あるが、以下の式で定義する流儀が恐らく最もスタンダードであろう。変数tについての一変数スカラー値の関数f(t)に対し、
:<math>\hat{f}(\omega)=\frac{1}{\sqrt{2\pi}}{\int}_{t=-\infty}^{t=\infty}\ f(t)\exp{(-i\omega t)} \ dt</math>　(S1-1)
を、fのフーリエ変換と言う。

この時、
:<math>f(u)=\frac{1}{\sqrt{2\pi}}{\int}_{\omega=-\infty}^{\omega=\infty}\ \hat{f}(\omega)\exp{(i\omega u)} \ d\omega</math> 　(S1-2)
が成り立つ。これを、フーリエ逆変換という。（尚、厳密に言えば上式はの＝は「等しい」という意味ではなく、「至る所等しい」ことを意味する。）

===ベクトル場の代数演算と微分作用素===
ベクトル解析<ref name=fujimoto/>の公式のうち、特に、ベクトル場に代数演算を施したものに、微分作用素を作用させた場合に成り立つ公式について、本記事で用い、かつ、あまり本に載っていないものについて、簡潔にまとめる。例えば、藤本<ref name=fujimoto/>P64付近を参照のこと。

====(1) <F|∇>について====
以下の記述は、例えば、を参照のこと。
<math>F=(f_1,f_2,f_3)</math>をベクトル場とする。このとき、
:<math>
\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}} 
</math> 　(S2-1-1)
と定義する。ここで、∇は、
:<math>\nabla := \boldsymbol{\hat{x}} {\partial \over \partial x}  + \boldsymbol{\hat{y}} {\partial \over \partial y} + \boldsymbol{\hat{z}} {\partial \over \partial z}</math> 　(S2-1-3)
を意味する。<F|∇>のことを、”F・∇”と書くこともある。

Gを、ベクトル場としたとき、<F|∇>をGに作用させると、
:<math>\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}
</math> 　(S2-1-4)

が成り立つ。ここで、J['''G''']は、Gの[[ヤコビ行列]]（ヤコビアンではない）を意味する。

====(2)rot とスカラー倍、ベクトル積====
F,Gを、ベクトル場、fを、スカラー値関数とする。このとき、以下が成り立つ。
:<math>\operatorname{rot}[f\boldsymbol{F}]=\operatorname{grad}[f]\times\boldsymbol{F}+f\cdot \operatorname{rot}[\boldsymbol{F}]</math> 　(S2-2-1)

:<math>
\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}]
</math> 　(S2-2-2)

====(3)div とスカラー倍、ベクトル積====
F,Gを、ベクトル場、fを、スカラー値関数とする。このとき、
:<math>
\operatorname{div}
\left[
f\boldsymbol{F}
\right]
=\left\langle 
\boldsymbol{F}|\operatorname{grad}[f]
\right\rangle+
f\operatorname{div}[\boldsymbol{F}]
</math> 　(S2-3-1)
 

====ラプラシアンについて====
ラプラシアン
:<math>\Delta={\nabla}^{2}
=\frac{{\partial}^{2}}{\partial {x}^{2}}+
\frac{{\partial}^{2}}{\partial {y}^{2}}+
\frac{{\partial}^{2}}{\partial {z}^{2}}
</math>(S2-4-1)

は、スカラー作用素なので、スカラー場に作用できるが、
ベクトル場の各成分関数に対して作用すると考えることにより、
ベクトル場にも作用できる。

ラプラシアンが、スカラー場fに作用する際には、以下の等式が成立する
:<math>\Delta[f]=\operatorname{div}[\operatorname{grad}[f]]</math>(S2-4-2)

ラプラシアンが、ベクトル場Xに作用する際には、以下の等式が成立する。
:<math>\Delta[X]=\operatorname{grad}[\operatorname{div}[X]]-\operatorname{rot}[\operatorname{rot}[X]]</math>(S2-4-3)

上式の詳細な導出過程は、例えば、
[http://www.treeman9621.com/ChimeraMeam2/CMT03/VectorAnalysis.html]
を参照のこと。

===球面座標変換について===
微分作用素の座標変換の使用例は例えば、
<ref name=fujimoto/>,<ref name=abe/><ref name=toda/><ref name=toda2/><ref name=yonago/>等の文献を参照のこと。
====球面座標変換の概要====
球面座標変換とは，以下の(S3-1-1)で定まる
:<math>\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}
</math>　　(S3-1-2)

r-θ-ρ空間内に定義域を持ち、x-y-z空間に値を取る、多変数ベクトル値関数のことである。

球面座標変換の[[像空間]]について考える。Iをr -θ-ρ空間内の、
:<math>I=[0,r]\times[0,2\pi]\times[0,2\pi]</math>　　(S3-1-4)
で定まる（中身の詰まった）直方体としたとき、前記のΦは、は、r-θ-ρ空間内の直方体Iを、
x-y-z空間内の半径rの（中身の詰まった）球
:<math>\text{Ball}(r)</math>　　(S3-1-4)
に移す変換である。ここで、[0,r]等はみな閉区間を表し、×は、ここでは[[直積]]を表すものとする。

====微分作用素の球面座標変換====
「x-y-z空間上の微分作用素Ｄに対しΦによる座標変換を施したもの」をLとしたとき、
Lは、r-θ-ρ空間上の微分作用素で、'''任意のhに対し'''以下の式(2-3-2)の関係が満たされる（逆に言えばそうなるようなLを求めることが微分作用素の座標変換である）。

:<math>L[h\circ\Phi]=(D[h])\circ\Phi</math>　　(S3-2-1)

但し、式S(3-2-1)のhは、「作用されるもの」（x-y-z空間上の関数、ベクトル場等）で、
<math>\circ</math>は、合成を表す。以下、本節では、便宜のため式S(3-2-1)のような関係にある
LとＤのことを、'''「LとＤの間にはΦ関係がある」'''と言うことにする。

x-y-z空間上の微分作用素Ｄと、r-θ-ρ空間上の微分作用素Lとの間に式(S3-2-1)の意味でΦ関係があったとする。

このとき、例えば、hが、x-y-z空間上で定義されたスカラー値関数（スカラー場）としたとき、
Lは、x-y-z空間上で定義されたスカラー場h=h(x,y,z)に対しては、
直接的に作用することはできない。しかし、前記hとΦとの合成関数は、「r-θ-ρ上で定義されたスカラー場」であるため、Lは、<math>h\circ\Phi </math>には、作用できる。このとき、式(2-3-2)の左辺と右辺の意味は、それぞれ、
:左辺「Lを、<math>h\circ\Phi </math>に作用させたもの」
:右辺「『Ｄをhに作用させることによって得られたＤ[h]』と、Φを合成したもの」
という意味である。

同様に、例えば、Xが、x-y-z空間上で定義されたベクトル場であったとするとき、x-y-z空間上の微分作用素Ｄと、r-θ-ρ空間上の微分作用素Lとの間に式(2-3-2)の意味でΦ関係があったとする。即ち、

:<math>L[\boldsymbol{X}\circ\Phi]=(\Delta[\boldsymbol{X}])\circ\Phi</math>　　式(S3-2-1’)

が成り立ったとする。このとき、Lは、x-y-z空間上で定義されたベクトル場'''X'''='''X''' (x,y,z)に対しては、直接的に作用することはできない。

しかし、前記'''X'''とΦとの合成関数は、「r-θ-ρ上で定義されたベクトル場」であるため、Lは、
'''X'''には、作用できる。
このとき、式(2-3-2’)の左辺と右辺の意味は、それぞれ、
:左辺：Lを、<math>\boldsymbol{X}\circ\Phi </math>に作用させたもの
:右辺：『ＤをＸに作用させることによって得られたＤ[Ｘ]』と、Φを合成したもの
という意味である。

===分数関数の微分===
首記の件について解説する。必要に応じ、例えば北川<ref name=kita/>p27,P39付近を参照のこと。

====分数関数の微分(1)====
分数関数の偏微分と勾配ベクトル場について解説する。<math>\mathbb{R}^{3}</math>上の点
<math>\mathfrak{R}=(x,y,z)</math>
<math>\boldsymbol{r}=({x}_{\boldsymbol{r}},{y}_{\boldsymbol{r}},{z}_{\boldsymbol{r}})</math>,
<math>\boldsymbol{s}=({x}_{\boldsymbol{s}},{y}_{\boldsymbol{s}},{z}_{\boldsymbol{s}})</math>
を考える。

<math>|{\mathfrak{R}}|\neq 0</math>において、
:<math>
\frac{\partial }{\partial x}
\left[\frac{1}{|\mathfrak{R}|}\right]
=\frac{\partial }{\partial {x}}
\left[
{
({x}^{2}+{y}^{2}+{z}^{2})
}^{-1/2}
\right]
=\frac{-1}{2}(2{x})
{
({x}^{2}+{y}^{2}+{z}^{2})
}^{-3/2}
=\frac{-x
}{{|\mathfrak{R}|}^{3}}
</math>　(S4-1-1a)

が成り立つ。同様に、
:<math>
\frac{\partial }{\partial y}
\left[\frac{1}{|\mathfrak{R}|}\right]
=\frac{-y}{{|\mathfrak{R}|}^{3}}
</math>　(S4-1-1b)
:<math>
\frac{\partial }{\partial z}
\left[\frac{1}{|\mathfrak{R}|}\right]
=\frac{-z}{{|\mathfrak{R}|}^{3}}
</math>　(S4-1-1c)
:<math>
\operatorname{grad}
\left[\frac{1}{|\mathfrak{R}|}\right]
=\frac{-\mathfrak{R}}{{|\mathfrak{R}|}^{3}}
</math>　(S4-1-1d)

である。従って、式(S4-1-1)それぞれに、
<math>{\mathfrak{R}}=\boldsymbol{r}-\boldsymbol{s}</math>を代入すると
<math>|\boldsymbol{r}-\boldsymbol{s}|\neq 0</math>において、

:<math>
\frac{\partial }{\partial {x}_{\boldsymbol{r}}}
\left[\frac{1}{|\boldsymbol{r}-\boldsymbol{s}|}\right]
=\frac{
-({x}_{\boldsymbol{r}}-{x}_{\boldsymbol{s}})
}{{|\boldsymbol{r}-\boldsymbol{s}|}^{3}}
</math>　(S4-1-2a)
:<math>
\frac{\partial }{\partial {y}_{\boldsymbol{r}}}
\left[\frac{1}{|\boldsymbol{r}-\boldsymbol{s}|}\right]
=\frac{
-({y}_{\boldsymbol{r}}-{y}_{\boldsymbol{s}})
}{{|\boldsymbol{r}-\boldsymbol{s}|}^{3}}
</math>　(S4-1-2b)
:<math>
\frac{\partial }{\partial {z}_{\boldsymbol{r}}}
\left[\frac{1}{|\boldsymbol{r}-\boldsymbol{s}|}\right]
=\frac{
-({z}_{\boldsymbol{r}}-{z}_{\boldsymbol{s}})
}{{|\boldsymbol{r}-\boldsymbol{s}|}^{3}}
</math>　(S4-1-2c)
:<math>
\operatorname{grad}_{\boldsymbol{r}}\left[\frac{1}{|\boldsymbol{r}-\boldsymbol{s}|}\right]
=\frac{
-(\boldsymbol{r}-\boldsymbol{s})
}{{|\boldsymbol{r}-\boldsymbol{s}|}^{3}}
</math>　(S4-1-2d)

が得られる。同様に、式(S4-1-1)それぞれに、
<math>{\mathfrak{R}}=\boldsymbol{s}-\boldsymbol{r}</math>を代入すると
<math>|\boldsymbol{r}-\boldsymbol{s}|\neq 0</math>において、

:<math>
\frac{\partial }{\partial {x}_{\boldsymbol{s}}}
\left[\frac{1}{|\boldsymbol{r}-\boldsymbol{s}|}\right]
=\frac{
({x}_{\boldsymbol{r}}-{x}_{\boldsymbol{s}})
}{{|\boldsymbol{r}-\boldsymbol{s}|}^{3}}
</math>　(S4-1-3a)
:<math>
\frac{\partial }{\partial {y}_{\boldsymbol{s}}}
\left[\frac{1}{|\boldsymbol{r}-\boldsymbol{s}|}\right]
=\frac{
({y}_{\boldsymbol{r}}-{y}_{\boldsymbol{s}})
}{{|\boldsymbol{r}-\boldsymbol{s}|}^{3}}
</math>　(S4-1-3b)
:<math>
\frac{\partial }{\partial {z}_{\boldsymbol{s}}}
\left[\frac{1}{|\boldsymbol{r}-\boldsymbol{s}|}\right]
=\frac{
({z}_{\boldsymbol{r}}-{z}_{\boldsymbol{s}})
}{{|\boldsymbol{r}-\boldsymbol{s}|}^{3}}
</math>　(S4-1-3c)
:<math>
\operatorname{grad}_{\boldsymbol{s}}\left[\frac{1}{|\boldsymbol{r}-\boldsymbol{s}|}\right]
=\frac{(\boldsymbol{r}-\boldsymbol{s})}{{|\boldsymbol{r}-\boldsymbol{s}|}^{3}}
</math>　(S4-1-3d)

も判る（(S4-1-2) と符号が逆転していることに注意）。

====分数関数の微分(2)====
<math>\mathbb{R}^{3}</math>上の点
<math>\mathfrak{R}=(x,y,z)</math>
<math>\boldsymbol{r}=({x}_{\boldsymbol{r}},{y}_{\boldsymbol{r}},{z}_{\boldsymbol{r}})</math>,
<math>\boldsymbol{s}=({x}_{\boldsymbol{s}},{y}_{\boldsymbol{s}},{z}_{\boldsymbol{s}})</math>
を考える。

<math>|{\mathfrak{R}}|\neq 0</math>において、
:<math>
\frac{\partial}{\partial {x}_{\boldsymbol{r}}}
\left[\frac{1}{
{|\mathfrak{R}|}^{2}
}\right]
=\frac{\partial}{\partial {x}}
\left[
{
({x}^{2}+{y}^{2}+{z}^{2})^{-1}
}
\right]
</math>
:<math>
=(-2{x})
{
({x}^{2}+{y}^{2}+{z}^{2})
}^{-2}
=\frac{-2({x})}{
{|\mathfrak{R}^{2}|}^{4}
}</math>　(S4-2-1a)

が成り立つ。同様に、
:<math>
\frac{\partial }{\partial y}
\left[\frac{1}{|\mathfrak{R}|^{2}}\right]
=\frac{-2y}{{|\mathfrak{R}|}^{4}}
</math>　(S4-2-1b)
:<math>
\frac{\partial }{\partial z}
\left[\frac{1}{|\mathfrak{R}^{2}|}\right]
=\frac{-2z}{{|\mathfrak{R}|}^{4}}
</math>　(S4-2-1c)

:<math>
\operatorname{grad}\left[
\frac{1}{|\mathfrak{R}|}
\right]
=\frac{-2\mathfrak{R}}
{{|\mathfrak{R}|}^{4}}
</math>　(S4-2-1d)

である。従って、式(S4-1-1)それぞれに、
<math>{\mathfrak{R}}=\boldsymbol{r}-\boldsymbol{s}</math>を代入すると
<math>|\boldsymbol{r}-\boldsymbol{s}|\neq 0</math>において、


:<math>
\operatorname{grad}_{\boldsymbol{r}}\left[\frac{1}{|\boldsymbol{r}-\boldsymbol{s}|}\right]
=\frac{
-2(\boldsymbol{r}-\boldsymbol{s})
}{{|\boldsymbol{r}-\boldsymbol{s}|}^{4}}
</math>　(S4-2-2)

が得られる。同様に、式(S4-1-1)それぞれに、
<math>{\mathfrak{R}}=\boldsymbol{s}-\boldsymbol{r}</math>を代入すると
<math>|\boldsymbol{r}-\boldsymbol{s}|\neq 0</math>において、

:<math>
\operatorname{grad}_{\boldsymbol{s}}\left[\frac{1}{|\boldsymbol{r}-\boldsymbol{s}|}\right]
=\frac{2(\boldsymbol{r}-\boldsymbol{s})}{{|\boldsymbol{r}-\boldsymbol{s}|}^{4}}
</math>　(S4-2-3)

も判る（(S4-2-2) と符号が逆転していることに注意）。

====分数関数の微分(3)====
本節では、特に本編の式(2-4-18) 即ち、以下の式(S4-3-1)を得るために必要な式変形を解説する。ここでは、<math>|{\mathfrak{R}}|\neq 0</math>での挙動についてのみ扱う。<math>|{\mathfrak{R}}|= 0</math>での挙動を含めた議論は、後述の式(S5-2-5)にて扱う。

:<math>\Delta\left[\frac{-1}{4\pi |\mathfrak{R}|}\right]=\delta(|\mathfrak{R}|)</math>　(S4-3-1)　

<math>\mathbb{R}^{3}</math>上の点<math>\mathfrak{R}=(x,y,z)</math>を考える。

式(S2-4-2)(以下の式(S4-3-2)）及び、式(S4-1-1d) (以下の式(S4-3-3)）を考え合わせると、
:<math>\Delta=\nabla\cdot\nabla=\text{div}\,\text{grad}</math>　(S4-3-2)　
:<math>\operatorname{grad}\left[\frac{1}{|\mathfrak{R}|}\right]=\frac{-\mathfrak{R}}{{|\mathfrak{R}|}^{3}}</math>  (S4-3-3)

: <math>\Delta\left[\frac{-1}{|\mathfrak{R}|}\right]=
\operatorname{div} \left[\frac{-\mathfrak{R}}{{|\mathfrak{R}|}^{3}}\right]
=\frac{\partial }{\partial {x}}\left[\frac{x}{|\mathfrak{R}|}\right]
+\frac{\partial }{\partial {y}}\left[\frac{y}{|\mathfrak{R}|}\right]
+\frac{\partial }{\partial {z}}\left[\frac{z}{|\mathfrak{R}|}\right]
</math>　(S4-3-4)
が判る。式(S4-3-4)の右辺をさらに計算することを考える。

<math>|{\mathfrak{R}}|\neq 0</math>において、積の微分及び、後述の式(S4-3-6)を考えると、

:<math>
\frac{\partial }{\partial {x}}
\left[\frac{x}{|\mathfrak{R}|^{3}}\right]
=\frac{1}{|\mathfrak{R}|^{3}}+x\frac{\partial }{\partial {x}}
\left[\frac{1}{|\mathfrak{R}|^{3}}\right]</math><math>
=\frac{1}{|\mathfrak{R}|^{3}}-
\frac{3{x}^{2}}{{|\mathfrak{R}|^{5}}}</math> (S4-3-5a)

:何となれば、
::<math>
\frac{\partial }{\partial {x}}
\left[\frac{1}{|\mathfrak{R}|^{3}}\right]
=\frac{\partial }{\partial {x}}
\left[ ({x}^{2}+{y}^{2}+{z}^{2})^{-3/2}\right]
=2x*(-3/2)* ({x}^{2}+{y}^{2}+{z}^{2})^{-5/2}
=\frac{-3x}{|\mathfrak{R}|^{5}}
</math> (S4-3-6)

同様に、
:<math>\frac{\partial }{\partial {y}}
\left[\frac{y}{|\mathfrak{R}|^{3}}\right]
=\frac{1}{|\mathfrak{R}|^{3}}-
\frac{3{y}^{2}}{{|\mathfrak{R}|^{5}}}</math>　　(S4-3-5b)
:<math>
\frac{\partial }{\partial {z}}
\left[
\frac{z}{|\mathfrak{R}|^{3}}
\right]
=\frac{1}{|\mathfrak{R}|^{3}}-
\frac{3{z}^{2}}{{|\mathfrak{R}|}^{5}}</math>　　(S4-3-5c)

式(S4-3-5a),(S4-3-5b),(S4-3-5c)を足し合わせると、<math>|{\mathfrak{R}}|\neq 0</math>において、
:<math>\operatorname{div}_{\boldsymbol{r}}\left[\frac{\boldsymbol{r}}{{|\boldsymbol{r}|}^{3}}\right]=
\frac{3}{|\mathfrak{R}|^{3}}-\frac{3{|\boldsymbol{r}|}^{2}}{{|\mathfrak{R}|}^{5}}=0</math>　 (S4-3-6)
が得られた。

===超関数の取り扱い===
====ディラックのデルタと、重積分====
一般のn変数関数（関数はベクトル値関数であってよい)fの定義域をΩとしたとき、

:<math>f(\boldsymbol{r})={\int}_{\boldsymbol{s}\in \Omega} f(\boldsymbol{s}){\delta}^{n}(\boldsymbol{r}-\boldsymbol{s})\ {d}^{n}s\ =f*{\delta}^{n}</math> 　(S5-1-1)

であることが知られている。ここで、上式の"*"は、[[合成積]]([[乗算]]ではない)である。また、δ<sup>n</sup>は、n変数の[[δ関数]]である。詳細は、川村<ref name=kawamura/>P46の式(2.53)を参照のこと。厳密な議論は、例えば、加藤<ref name=kato/>P137付近を参照のこと。

====発散微分とディラックのデルタ====
首記の件について述べる。必要に応じ、例えば、川村<ref name=kawamura/>P51 式(2.69)を参照のこと。

式(S4-3-6)より、 '''原点(r=0)を除いて'''、
::<math>\operatorname{div}_{\boldsymbol{r}}\left[\frac{\boldsymbol{r}}{{|\boldsymbol{r}|}^{3}}\right]=\frac{3}{|\boldsymbol{r}|^{3}}-\frac{3{|\boldsymbol{r}|}^{2}}{{|\boldsymbol{r}|}^{5}}=0</math> 　(S5-2-1)
:である。従って、<math>\operatorname{div}_{\boldsymbol{r}}</math>の体積積分は、原点を含む領域である限り、任意の領域で積分しても同じ値である。従って、
積分が簡単となりそうな、「原点(r=0)を中心とする、半径1の球'''体'''」
'''Ball(1)'''上での体積積分を考える。ここで、<math>{S}^{2}(1)</math>は、半径1の球'''面'''

球体'''Ball(1)'''に対し、[[ガウスの発散定理]]を用いると、
:::<math>{\int}_{\boldsymbol{r}\in Ball(1)} \operatorname{div}_{\boldsymbol{r}}\left[\frac{\boldsymbol{r}}{{|\boldsymbol{r}|}^{3}}\right]\ d^{3}r 
={\int}_{\boldsymbol{r}\in {S}^{2}(1)} 
\frac{\boldsymbol{r}}{
{|\boldsymbol{r}|}^{3}
}\ d({S}^{2}(1))
=4\pi</math> 　(S5-2-2)
:となる。

一方で、δ<sup>3</sup>、即ち3変数の[[δ関数]]に対し、以下が成り立つ。
:::<math>{\int}_{\boldsymbol{r}\in Ball(1)} {\delta}^{3}(\boldsymbol{r})\ d^{3}r 
=1</math>　(S5-2-3)

従って、式(S5-2-2)、(S5-2-3)より、
::<math>\operatorname{div}_{\boldsymbol{r}}\left[\frac{\boldsymbol{r}}{{|\boldsymbol{r}|}^{3}}\right]=
4\pi\delta(\boldsymbol{r})</math> 　(S5-2-4)
であることが判る。以上の議論を平行移動させると、
:<math>\operatorname{div}_{\boldsymbol{r}}\left[\frac{\boldsymbol{r}-\boldsymbol{s}}{{|\boldsymbol{r}-\boldsymbol{s}|}^{3}}\right]=4\pi\delta(\boldsymbol{r}-\boldsymbol{s})</math> 　(S5-2-5)
であることが判る。

==参考文献・脚注等==
=== 脚注===
<references group ="注釈" />
=== 参考文献 ===
<references/>
=== 関連項目 ===
*[[ベクトルポテンシャル]]
*[[スカラーポテンシャル]]
*[[ジェフィメンコ方程式]]
*[[グリーン関数]]

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