========================================
ヘルムホルツの定理
========================================
ベクトル場には、スカラーポテンシャルとベクトルポテンシャルという二種類の（本質的に異なる）ポテンシャル関数があるということでしたが、『どんなベクトル場も、スカラーポテンシャル場とベクトルポテンシャル場の和として表わせる』というのが *ヘルムホルツの定理* と呼ばれる定理です。この定理は、電磁気学で大活躍しますので、しっかり覚えておいて下さい。ときには *ベクトル解析の基本定理* とも呼ばれる大事なものです。


.. admonition:: theorem 

	【ヘルムホルツの定理】連続なベクトル場 $\bm{A}$ を考えます。無限遠で $|\bm{A}|$ が $\frac{1}{r}$ より遅くはなく $0$ に収束し、 $|\nabla \cdot \bm{A}|$ と $|\nabla \times \bm{A}|$ が無限遠で $\frac{1}{r^{2}}$ より遅くはなく $0$ に収束する場合、 $\bm{A}$ はスカラーポテンシャル場とベクトルポテンシャル場の和の形に(定数と定ベクトルを除いて)一意的に表現することが出来ます。

<tex>
\bm{A} =  \nabla \phi + \nabla \times \bm{X}	\tag{1}
</tex>



スカラーポテンシャルにマイナスをつけて $\bm{A} =  - \nabla \phi + \nabla \times \bm{X}$ と書く人もいると思います。その方が物理的な応用には便利でしょう。しかし、数学的に、この符号には本質的な違いはありません。（詳しくは スカラーポテンシャル_ を参照ください。）証明はやや面倒なので後回しにし、次のように、天下り的に定理が満たされていることをとりあえずは確認しておいて下さい。


いきなりですが、 $\phi$ と $\bm{X}$ を次のようにおきます。


<tex>
\phi = -\frac{1}{4\pi} \int \limits _{V} \frac{\nabla \cdot \bm{A}}{r}dV	\tag{2}
</tex>



<tex>
\bm{X} = \frac{1}{4\pi} \int \limits _{V} \frac{\nabla \times \bm{A}}{r}dV	\tag{3}
</tex>


これを式 $(1)$ に代入すれば定理が満たされることが示されます。つまり、式 $(2)(3)$ の $\phi$ と $\bm{X}$ が $\bm{A}$ のスカラーポテンシャルとベクトルポテンシャルになります。ただし、式 $(2)(3)$ の $\nabla$ は極座標表示にしなければなりませんので、極座標における $\nabla$ を知らない人は、 `ベクトルの公式２`_ を参照して下さい。


.. [*] ここで示したのは、少なくとも一つはスカラーポテンシャルやベクトルポテンシャルが存在する、という十分条件だけです。必要条件については、次のセクションで証明します。証明が面倒な人も、とりあえずこの結果だけは覚えておくようにして下さい。


.. [*] 定理の中で、『(定数と定ベクトルを除いて)一意的に』と書いたのは、ベクトルポテンシャルに対し、任意の関数 $\psi$ を使って $\bm{X}=\bm{X'}+\nabla \psi$ としても ${\rm rotgrad}\phi =0$ より結果は変わりませんし、スカラーポテンシャルに $\phi + c$ のように定数を足しても結果は変わらないという意味です。


.. [*] 定理の中に、『無限遠で収束云々・・・』という条件が述べられています。これは定理の成立に必要な条件なのですが、例えば電場、磁場などのベクトル場に対してヘルムホルツの定理を使おうという場合、物理的直観として、たとえこれらの場の数学的表現を知らなくても、これらの場が無限遠で十分な大きさを持つとは到底考えられません。（例えば、私達は何光年も先の星にある磁石の影響など、まったく気にせず暮らしています。）ですから、何だかややこしいことを言っているように思うかも知れませんが、実際に物理学的な状況に定理を適用する場合に、そんなに厳しい条件ではありません。



証明
===========================================================================
まず、 `rotgrad=0,divrot=0`_ の関係式を使うと、命題は、次の二式を満たすスカラーポテンシャル $\phi$ とベクトルポテンシャル $\bm{X}$ の存在を示すことに置き換えられます。


<tex>
\nabla \cdot \bm{A} = \triangle \phi 	\tag{4}
</tex>

<tex>
\nabla \times \bm{A} = \nabla \times (\nabla \times \bm{X}) \tag{5}
</tex>

ここで、ベクトルポテンシャルには ${\rm rotgrad=0}$ の関係より、スカラー関数の勾配に相当する差が許されます。実際、 $\bm{X'}=\bm{X} + \nabla f$ と置いても、 $\nabla \times \bm{X'} = \nabla \times \bm{X}$ は満たされることが確認できます。このスカラー関数 $f$ は任意ですので、 $\nabla \cdot (\nabla f)= - \nabla \cdot \bm{X}$ を満たす $f$ を選ぶことも可能です。言い換えれば、 $\bm{X}$ に対して、次の条件式を新たに付け加えても、定理の一般性を失いません。

<tex>
\nabla \cdot \bm{X} = 0		\tag{6}
</tex>

このような条件を付けることで、式 $(5)$ は更に次のように変形できます。

<tex>
\nabla \times \bm{A} &= \nabla \times (\nabla \times \bm{X}) \\
&= -\triangle \bm{X} 	\tag{7}
</tex>

ただし、一般に成り立つ関係式 $\nabla \times (\nabla \times \bm{X})= \nabla (\nabla \cdot \bm{X})- \triangle \bm{X}$ と式 $(6)$ を用いて変形しました。証明の十分条件は、式 $(2)(3)$ を式 $(1)$ に代入することで既に示されていますので、以下では式 $(4)$ を満たすスカラーポテンシャルと、と式 $(7)$ を満たすベクトルポテンシャルが存在することを個別に示すだけとします。


.. admonition:: proof 

	【式 $(2)$ を満たすポテンシャルの存在】式 $(2)$ を満たす $\phi$ を求めるには、 グリーンの定理_ の系として導いた公式 $\phi (M) = -\frac{1}{4\pi} \int \int \int \limits _{V} \frac{1}{r}\triangle \phi dV -\frac{1}{4\pi}\int \int \int \limits _{S} \left[ \phi \frac{\partial }{\partial n} \left( \frac{1}{r} \right ) - \frac{1}{r}  \frac{\partial \phi}{\partial n} \right] dS $ を使います。この公式で $V$ は全空間を意味し、 $\phi$ は無限遠で $\frac{1}{r}$ よりも早く $0$ に収束するとします。このとき、 $\frac{\partial \phi}{\partial n}$ も $\frac{1}{r}$ よりも早く $0$ に収束し、『全空間の表面 $S$ 』とは無限遠のことですから（この言い方は少し数学的にいい加減ですがここでは深入りしません）、第二項の面積分は $\rightarrow 0 \ (r \rightarrow \infty)$ となります。よって、このようなスカラー関数 $\phi$ は $\phi (M) = -\frac{1}{4\pi} \int \int \int \limits _{V} \frac{1}{r}\triangle \phi dV$ を満たすと言えます。この $\phi$ は確かに式 $(1)$ を満たし、スカラーポテンシャルになっています。（ $\triangle \phi = \nabla \cdot \bm{A}$ を使えば、式 $(2)$ と同じです。）■



.. admonition:: proof 

	【式 $(5)$ を満たすポテンシャルの存在】スカラーポテンシャルの証明と同様に、 グリーンの定理_ の系として導いた公式 $\bm{X} (M) = -\frac{1}{4\pi} \int \int \int  \limits _{V} \frac{1}{r}\triangle \bm{X} dV -\frac{1}{4\pi}\int \int  \limits _{S} \left[ \bm{X} \frac{\partial }{\partial n} \left( \frac{1}{r} \right ) - \frac{1}{r} (\bm{n} \cdot \nabla ) \bm{X}  \right] dS$ を使います。 $|\bm{X}|$ が無限遠で $\frac{1}{r}$ よりも早く $0$ に収束すると仮定すると、この第二項は、先ほどと同じ理由で落ちるので、 $\bm{X} (M) = -\frac{1}{4\pi} \int \int \int  \limits _{V} \frac{1}{r}\triangle \bm{X} dV$ を得ます。これは確かに式 $(1)$ を満たし、ベクトルポテンシャルになっています。（式 $(7)$ を使って $\triangle \bm{X}=- \nabla \times \bm{A}$ とすれば、式 $(3)$ と同じです。）■





ヘルムホルツ
=============================================================================
ヘルムホルツ( $\text{Hermann Ludwig Ferdinand von Helmholtz (1821-1894)}$ )は、ベルリン近郊の都市ポツダムで生まれました。ヘルムホルツの父はギムナジウムの先生でしたが、一家の経済状態は苦しく、大学進学には奨学金が必要でした。当時、プロイセン政府から、卒業後 $10$ 年間プロイセン陸軍に軍医として勤務することを条件に医学部への奨学金制度があり、ヘルムホルツは奨学金のために、興味のあった物理ではなく、医学部へ進学しました。大学で物理や数学を勉強した形跡がないため、恐らく独学していたと思われますが、卒業後まもなく、生理学にエネルギー保存の法則を適用し、『筋肉の運動で熱が出ること』などを物理的に説明する論文を発表しました。当時、生理学に物理学的視点を持ち込むことは大変に新鮮でインパクトも大きく、これがきっかけで、プロシア陸軍を辞めて大学に戻ることが許されます。その後も、大学では生理学と解剖学を教えつつ、独自の検眼装置を発明したり、色彩や眼球の光学理論を進歩させるなど、独自の視点で研究を続けました。


.. figure:: Joh-Helmholtz01.png 

	ヘルムホルツは音楽と絵画と哲学を愛した。


また、流体力学や音響学の研究も重要ですが、ヘルムホルツのこの頃の研究は、何か生理学と関係がある（例えば音響学は聴覚）という点も興味深いです。音楽の理論的研究は、音楽愛好家でもあったヘルムホルツの趣味も関係していたことでしょう。 $1866$ 年、ベルリンの大学で念願の物理学のポストを手にし、ようやく生理学を離れて大好きな物理と数学に打ち込めるようになりました。その後のヘルムホルツは、電磁気学、熱力学などを幅広く研究しました。ヘルムホルツは幅広い教養を持ち、また、『世界は究極的に単純で美しい物理法則によって記述できるはずだ』という信念を持っていました。こうしたパラダイムは、 $20$ 世紀に入ると量子力学の登場によって崩れます。（量子力学も美しい理論ですが、不確定性という概念が入ってきます。）この意味で、ヘルムホルツは典型的な $19$ 世紀の知識人でした。



.. _スカラーポテンシャル: http://www12.plala.or.jp/ksp/vectoranalysis/ScalarPotential/
.. _`ベクトルの公式２`: http://www12.plala.or.jp/ksp/vectoranalysis/VectorFormulae2/
.. _`rotgrad=0,divrot=0`: http://www12.plala.or.jp/ksp/vectoranalysis/ddw=0/
.. _グリーンの定理: http://www12.plala.or.jp/ksp/vectoranalysis/GreensSecondTheorem/


@@author:Joh@@
@@accept: 2006-10-11@@
@@category: ベクトル解析@@
@@id: HelmholtzTheorem@@