#rst2hooktail_source
=============================================================
面積素に関して補足
=============================================================
面積分に出て来る微小面積要素のベクトル形 $d\bm{S}$ を *ベクトル面積素* と呼びます。実際に面積分を計算する場合、ベクトル面積素の扱いで注意すべき点に触れます。この記事には、微分形式、曲面の第一基本量など、少し発展的な話題も出てきますが、初めてそんな言葉を聞く人は無視して先に進むようにして下さい。自分に関係ありそうな部分だけを読んで頂ければ良いと思います。
デカルト座標系の場合
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
面積分の積分領域 $S$ が、デカルト座標系 $xyz$ で記述されている場合、ベクトル面積素は単純に次のような微小線素 $dx,dy,dz$ の積になります。
<tex>
d\bm{S} = (dydz,dzdx,dxdy) \tag{1}
</tex>
<tex>
\int \limits _{S} \bm{A} \cdot d\bm{S } = \int \limits _{S} (A_{1}dydz +
A_{2}dzdx + A_{3}dxdy) \tag{2}
</tex>
<tex>
\int \limits _{S} \bm{A} \times d\bm{S } =
\bm{e_{1}} \int \limits _{S} (A_{2}dxdy - A_{3}dzdx) +
\bm{e_{2}} \int \limits _{S} (A_{3}dydz - A_{1}dxdy) +
\bm{e_{3}} \int \limits _{S} (A_{1}dzdx - A_{2}dydz) \tag{3}
</tex>
一般に、曲面の方程式が陰関数 $F(x,y,z)=0$ の形で与えられる場合、曲面の単位法線ベクトルは勾配を使って次のように表現できます。
<tex>
\bm{n} = \frac{\nabla F}{|\nabla F|} \tag{4}
</tex>
また、 微分形式_ を知っている読者の人は、ベクトル面積素が次のように書けることも勉強されたことでしょう。この表現には、微小面積の大きさだけでなく、『曲面の向き（表・裏）』が含められています。
<tex>
d\bm{S} = dy \land dz \bm{e_{x}} + dz \land dx \bm{e_{y}}+ax \land dy \bm{e_{z}} \tag{5}
</tex>
曲面がパラメーター表示されている場合
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
曲面 $S$ が次のように二変数ベクトル関数によってパラメーター表示されている場合を考えます。
<tex>
S: \ \bm{r} = x(u,v)\bm{e_{x}}+ y(u,v)\bm{e_{y}} + z(u,v)\bm{e_{z}} \tag{6}
</tex>
このとき、 $d\bm{S}$ はスカラー形もしくはベクトル形で次のように表わされます。
<tex>
dS= \left| \frac{\partial \bm{r}}{\partial u} \times \frac{\partial \bm{r}}{\partial v} \right| dudv \tag{7-1}
</tex>
<tex>
d\bm{S} = \left( \frac{\partial \bm{r}}{\partial u} \times \frac{\partial \bm{r}}{\partial v} \right) dudv \tag{7-2}
</tex>
ここで、微小面積は $du$ と $dv$ の張る平行四辺形で近似されていることに注意して下さい。また、法線ベクトル $\bm{n}$ は $\bm{n}=\frac{\bm{r_{u}}\times \bm{r_{v}}}{|\bm{r_{u}}\times \bm{r_{v}}|}$ と表わせることを確認して下さい。（ただし $\bm{r_{u}}$ などは、 $\bm{r}$ の $u$ による偏微分という意味の略記とします。）もとの $d\bm{S}$ 成分が $x(u,v),y(u,v),z(u,v)$ の関数として表現されていた場合、ヤコビアンを用いて次のように表現されます。
<tex>
d\bm{S} = \frac{\partial (y,z)}{\partial (u,v)}\bm{e_{x}}+
\frac{\partial (z,x)}{\partial (u,v)}\bm{e_{y}}+
\frac{\partial (x,y)}{\partial (u,v)}\bm{e_{z}} \tag{8}
</tex>
さらに、少し発展的な話題になりますが、微分幾何を勉強したことがある人は、パラメーター表示された曲面の面積素を次のように表現できることを覚えているかも知れません。
<tex>
dS = \sqrt{EG - F^2 }dudv \tag{9}
</tex>
ここで、 $E,F,G$ は曲面の第一基本量と呼ばれる量で、式 $(6)$ で表現される曲面に対し、次のように定義される量です。
<tex>
E= \frac{\partial \bm{r}}{\partial u} \cdot \frac{\partial \bm{r}}{\partial u} \tag{10-1}
</tex>
<tex>
F= \frac{\partial \bm{r}}{\partial u} \cdot \frac{\partial \bm{r}}{\partial v} \tag{10-2}
</tex>
<tex>
G= \frac{\partial \bm{r}}{\partial v} \cdot \frac{\partial \bm{r}}{\partial v} \tag{10-3}
</tex>
第一基本量を使えば、曲線の弧長要素 $ds$ は次のように表現できます。
<tex>
ds^2 & = Edu^{2} + 2Fdudv + G dv^2 \\
& = (du \ dv)
\left(
\begin{array}{cc}
E & F \\
F & G \\
\end{array}
\right)
\left(
\begin{array}{c}
du \\
dv \\
\end{array}
\right) \tag{11}
</tex>
このように、面積分は一般に二変数の積分になりますから、急に色々と注意する点が出てきます。基本的に注意すべき点は、次の事柄です。
1. 表と裏を区別できる曲面なのか？
2. 法線ベクトルの向き（どちらを表と取るか）
3. 曲面全体の形（穴が空いているか等）
線積分には始点と終点があり、積分に『向き』がありました。（周回積分でも同様に、右回りか左回りかという『向き』がありました。）面積分で曲面の表裏が重要なのは、積分領域の表裏が、積分の『向き』に相当するものだからです。三番目の、曲面の形という問題は、 積分領域について補足_ で取り上げます。
.. _微分形式: http://www12.plala.or.jp/ksp/differentialforms/index.html
.. _積分領域について補足: http://www12.plala.or.jp/ksp/vectoranalysis/IntegralDomain/
@@author:Joh@@
@@accept: @@
@@accept: 2006-10-11@@
@@category: ベクトル解析@@
@@id: SurfaceIntegralApp@@
記事ソース/面積素に関して補足 の変更点
