記事ソース/立体角とガウスの発散定理 のバックアップ(No.1)
記事ソース/立体角とガウスの発散定理 のバックアップ(No.1)
これはrst2hooktailの記事ソース保存・変換用です（詳細）．
===============================================
立体角とガウスの発散定理
===============================================
まず、表題の話題に入る前に、弧度法による角度（ラジアン）の意味を復習します。弧度法では、円弧と円の半径の比を角度と定義するのでした。
.. figure:: Joh-Radian01.gif
図１
この考え方は、円はどんな大きさの円であっても相似である（つまり、円という形には一種類しかない）という性質に基づいています。例えば、円の半径を $r$ とすると、円周の長さは $2\pi r$ となり、『円周/半径』という比は $r$ に関係なく常に $2\pi$ になることを読者のみなさんは御存知かと思います。
.. [*] 順序としては、円周を直径で割った値を $\pi$ と定義したのが先で、円周と半径を例として挙げたのは自己反復的かも知れません。考えて欲しいのは、円周の長さと円の直径（半径でも良い）が、円の大きさに関わらず一つの定数になるという事実です。
古代のエジプト人やギリシャ人は、こんなことをとっくに知っていて、 $\pi$ の正確な値を求めようと努力していました。 $\pi$ の歴史はとても面白いですが、今は脇道に逸れるので深入りしません。さて、図１のように円の二つの半径が挟む角 $\theta$ を考えるとき、その角が睨む円弧の長さ $l$ と角の間には比例関係がなりたつはずで、いっそのこと、角度そのものを、角が睨む円弧の長さとして定義することが出来そうです。この考え方が *弧度法* で、円の半径と同じ長さの円弧を睨むときの角を、 $1$ ラジアンと呼ぶことにします。
.. figure:: Joh-Radian02.gif
円弧は線分より長いので、 $1$ ラジアンは $60$ 度（正三角形の角）よりほんの少し小さい。
この定義、『半径＝円弧となる角を $1$ ラジアンとする』を使えば、全ての円の相似性から、円の大きさには関わりなく角度を定義できるわけです。これは、なかなか賢いアイデアです。一方、一周分の角度を $360$ に等分する方法は *六十進法* と呼ばれます。六十進法で $x^{o}$ である角度は、弧度法では次のようになります。
<tex>
\theta = \frac{\pi}{180}x \tag{1}
</tex>
.. [*] 六十進法の起源は非常に古く、誰が最初に使い始めたのか分かりません。恐らく古代バビロニアに起源を発すると言われています。古代バビロニアでは精緻な天文学が発達していましたが、計算には六十進法が使われていました。 $360$ は多くの約数を持つので、実際の計算では結構便利ですが、『なぜ $360$ なのか？』というと、特に $360$ でなければならない理由はありません。（一年の日数に近いというのは大きな理由だと思われます。）ここが、六十進法の弱いところです。時計が一時間 $60$ 分と決まっているのも、古い六十進法の名残です。フランス革命の際、何ごとも合理化しようとした革命派は、時計も一日 $10$ 時間、角度も一周 $100$ 度に改めようとしましたが、あまり定着しませんでした。ラジアンは、半径と円弧の比で決める角度ですから、六十進法のような単位の不合理さはありませんが、角度を表わすのに、常に $\pi$ という無理数を使わなければならないという点が気持ち悪いと言えば気持ち悪いですね。 $1 \ {\rm rad} = 57.17448..^{o}$ くらいになります。
立体角
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
平面上で、円弧を睨む扇形の中心角を、円弧の長さを使って定義しました。このアイデアを全く同様に三次元に拡張したのが *立体角* です。空間上、半径 $1$ の球を考え、球の中心を頂点とするような円錐を考えます。この円錐によって切り取られる球面の面積のことを立体角と定義します。
.. image:: Joh-SolidAngle01.gif
逆に、ある曲面をある点から見たときの立体角を求めることも出来ます。次図のように、点 $O$ から曲面 $S$ を眺めるとき、 $S$ と $O$ を結ぶ直線群によって、 $O$ を中心とする単位球面が切り取られる面積を $\Omega$ とするとき、 $O$ から見た $S$ の立体角は $\Omega$ であると言います。
.. image:: Joh-SolidAngle02.gif
ただし、ここで考える曲面 $S$ は表と裏を区別できる曲面だとし、点 $O$ が $S$ の裏側にあるとき $\Omega$ 、点 $O$ が $S$ の表側にあるとき $-\Omega$ として、立体角には $\pm$ の符号をつけることにします。
ガウスの発散定理と立体角
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
曲面 $S$ 上に、点 $M$ を中心とする微小面積 $\Delta S$ を取り、その法線ベクトルを $\bm{n}$ とします。ベクトル $\vec{OM}$ を $\bm{r}$ と置き、 $\bm{r}$ と $\bm{n}$ のなす角を $\theta$ とします。 $|\bm{r}|=r$ とします。
.. image:: Joh-GaussSolidAngle077.gif
このとき、 $\Delta S$ を十分小さい面積だとして、ほぼ平らと見なすと、近似的に $\Delta S$ の立体角 $\Delta \Omega$ は次のように表現できます。（なんでこうなるのか、上図を見て考えてみて下さい。）
<tex>
\Delta \Omega \sim \frac{\Delta S \cos \theta }{r^{2}} \tag{2}
</tex>
式 $(2)$ で $\Delta \rightarrow 0$ なる極限を取り、 $S$ と $\Omega$ の全微分 $dS,d\Omega$ を考えれば、式 $(2)$ は近似ではなく、微小量に関する等式になります。
<tex>
d \Omega &= \frac{d S \cos \theta }{r^{2}} \\
& = \frac{ (\bm{r}\cdot \bm{n})}{r^{3}}dS \tag{3}
</tex>
従って、曲面 $S$ 全体の立体角は式 $(3)$ を積分して得られます。
<tex>
\Omega = \int \int \limits _{S} \frac{d S (\bm{r}\cdot \bm{n})}{r^{3}}dS
\tag{4}
</tex>
閉曲面の立体角
===================================================================
次に、式 $(4)$ の積分領域 $S$ が、閉曲面である場合を考えてみましょう。後で、 $\nabla$ に関して、次の関係式を使います。
<tex>
\nabla \frac{1}{r} = -\frac{\bm{r}}{r^{3}} \tag{5}
</tex>
<tex>
\triangle \frac{1}{r} = 0 \tag{6}
</tex>
極座標系での $\nabla$ の公式はまだ勉強していませんが、 `ベクトルの公式２`_ を参考にして下さい。とりあえず、式 $(5)(6)$ は了承して先に進むことにします。まず、立体角の中心点 $O$ が閉曲面の外にある場合を考えます。このとき、式 $(4)$ の積分は次のように変形できます。二行目から三行目への式変形には ガウスの発散定理_ を使います。
<tex>
\Omega & = \int \int \limits _{S} \frac{d S (\bm{r}\cdot \bm{n})}{r^{3}}dS \\
&= \int \int \limits _{S} \nabla \frac{1}{r} \cdot \bm{n} dS \\
&= \int \int \int \limits _{V} \nabla^{2} \frac{1}{r} dV \\
&= 0 \tag{7}
</tex>
すなわち、 *閉曲面全体の立体角は、外部の点Oから測る場合、Oの場所に関わらず常に零になる* ということが分かりました。この結果は、次のように直観的に了解することも出来ます。
.. image:: Joh-SolidAngle04.gif
上図のように、一点 $O$ から閉曲面 $S$ の周囲にグルリ接線を引くとき、 $O$ の位置に関わらず、必ず $S$ によって囲まれる領域 $V$ をこれらの接線の接点によって、『手前側』と『向こう側』に二分できます。そして、手前側と向こう側では法線ベクトルが逆向きを向くわけですから（図の赤い矢印と青い矢印）、これらの和が零になるというも納得がいきませんか？
逆に、 $O$ が $V$ の内部にある場合は、少し工夫が必要です。次図のように、 $O$ を中心とする半径 $\varepsilon$ の球面 $S_{i}$ を考えましょう。 $S_{i}$ の内部の領域を $V'$ とします。
.. image:: Joh-SolidAngle05.gif
ここで $S$ と $S_{i}$ を境界とする領域（つまり $V$ から $V'$ を抜いた領域です）を考え、 $V''$ となづけます。（ $V'+V''=V$ です。） $O$ は、 $V''$ から見れば $V''$ の外にありますから、式 $(7)$ より、 $V''$ の立体角は $0$ になるはずです。
<tex>
\int \int \limits _{S_{i}} \frac{d S (\bm{r}\cdot \bm{n})}{r^{3}}dS + \int \int \limits _{S} \frac{d S (\bm{r}\cdot \bm{n})}{r^{3}}dS =0 \tag{8}
</tex>
一方、 $V''$ の $S_{i}$ 上での単位法線ベクトル $\bm{n}$ は、向きは $O$ に向かう向きですが $\bm{r}$ と逆向きです。（ $V''$ の表面から外に向かう方向を法線ベクトルの正と定めたからです。）この点に注意すると、 $S_{i}$ 表面では $ \bm{r} \cdot \bm{n} = -|\bm{r}|=- \varepsilon$ がなりたちます。これより、式 $(4)$ は次のようになります。
<tex>
\Omega & = \int \int \limits _{S} \frac{d S (\bm{r}\cdot \bm{n})}{r^{3}}dS \\
&= - \int \int \limits _{S'} \frac{d S (\bm{r}\cdot \bm{n})}{r^{3}}dS \\
&= - \int \int \limits _{S'} \frac{- \varepsilon }{r^{3}}dS \\
& = \frac{1}{\varepsilon^{2}} \int \int \limits _{S'} dS \\
& = \frac{1}{\varepsilon^{2}} 4 \pi \epsilon^2 \\
& = 4 \pi \tag{9}
</tex>
つまり、 *閉曲面Sの立体角Ωを内部から測った場合、曲面の形によらず、立体角は４πになる* ということが分かりました。これは大変重要な結果です。
【閉曲面の立体角】
<tex>
\Omega = \int \int \limits _{S} \frac{\bm{r} \cdot \bm{n}}{r^{3}}dS = \begin{cases}
0 \ \ \ (when \ the \ origin \ is \ outside \ S) &
\cr
4\pi \ \ \ (when \ the \ origin \ is \ inside \ S)
\end{cases}
</tex>
.. _`ベクトルの公式２`:
.. _`極座標系の△▽`:
.. _ガウスの発散定理:
@@author:Joh@@
@@accept: @@
@@category: ベクトル解析@@
@@id: GaussSolidAngle@@
