=================================================
ストークスの定理再考
=================================================
ここまでに、ベクトル解析で重要だった 平面のグリーンの定理_ と ガウスの発散定理_ が、どちらも微分形式を使えば次のように書けてしまうことを見ました。



<tex>
\int \limits _{\partial D} \omega = \int \limits _{D} d\omega	\tag{1}
</tex> 


式 $(1)$ はとても簡単な形ですし、背後にある何かしらの『美』を感じさせる式です。さて、ベクトル解析で重要な積分定理には、もう一つ ストークスの定理_ がありました。


.. admonition:: theorem 

	【ストークスの定理】閉曲線 $L$ を境界とする曲面 $S$ 上で、 $C^{1}$ 級ベクトル値関数 $\bm{F}=(F_{1}(x_{1},x_{2},x_{3}),F_{2}(x_{1},x_{2},x_{3}),F_{3}(x_{1},x_{2},x_{3}))$ が定義されています。ただし領域 $S$ は単連結とします。このとき $\int \int \limits _{S}( \nabla \times \bm{F} )\cdot d\bm{S} = \ointop \limits _{L} \bm{F} \cdot d\bm{l}$ が成り立ちます。


この記事では、まず、ストークスの定理を微分形式を使って定式化し直すことを考えます。もっとも、既に、平面のグリーンの定理とガウスの発散定理を微分形式で表現していますので、説明で共通する部分は少し省略します。


ストークスの定理再考
===============================================================
ストークスの定理で、 $\bm{F}=(P(x,y,z),Q(x,y,z),R(x,y,z))$ 、 $d\bm{S}=(dy\land  dz,dz \land dx , dx \land dy)$ 、 $d\bm{l}=(dx,dy,dz)$ と置き、 $S$ を $D$ 、 $L$ を $\partial D$ と置くと、ストークスの定理は次式のように表現されることになります。


<tex>
\int \limits _{D} 
\left( \frac{\partial R}{\partial y} - \frac{\partial Q}{\partial z} 
\right) dy \land dz 
+ 
\left( \frac{\partial P}{\partial z} - \frac{\partial R}{\partial x} 
\right) dz \land dy 
+
\left( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} 
\right) dx \land dy
= 
\int \limits _{\partial D} 
Pdx+Qdy+Rdz	\tag{2}
</tex>

これに対し、一次微分形式を $\omega = Pdx+Qdy +Rdz$ と定義すると、式 $(2)$ の右辺は $\int \limits _{\partial D} \omega$ と書けます。左辺を考えるために、 $\omega$ の外微分 $d\omega$ を考えます。


<tex>
d\omega &= d(Pdx+Qdy +Rdz) \\ 
&= dP \land dx + dQ \land dy + dR \land dz \\ 
&= \left( \frac{\partial P}{\partial x}dx 
+ \frac{\partial P}{\partial y}dy 
+\frac{\partial P}{\partial z}dz
\right) \land dx
+ \left( \frac{\partial Q}{\partial x}dx 
+ \frac{\partial Q}{\partial y}dy 
+\frac{\partial Q}{\partial z}dz
\right) \land dy 
+ \left( \frac{\partial R}{\partial x}dx 
+ \frac{\partial R}{\partial y}dy 
+\frac{\partial R}{\partial z}dz
\right) \land dz \\
& = 
\left(
 \frac{\partial R}{\partial y}  - 
\frac{\partial Q}{\partial z} \right) dy \land dz
+\left(
\frac{\partial P}{\partial z}    
-\frac{\partial R}{\partial x} \right) dz \land dx
+\left( 
\frac{\partial Q}{\partial x} - 
\frac{\partial P}{\partial y} \right) dx \land dy	\tag{3}
</tex>


式 $(2)$ と式 $(3)$ から、ストークスの定理も次式のように定式化することが出来ることが分かります。


<tex>
\int \limits _{D} d\omega = \int \limits _{\partial D} \omega \tag{4}
</tex>


結局、平面のグリーンの定理、ガウスの発散定理、そしてストークスの定理の三つともが、全て同一の形で書けることが分かりました。（これからは、式 $(4)$ を一つだけ覚えておけばいいですね♪）


これから示すこと
=================================================================
平面のグリーンの定理、ガウスの発散定理、ストークスの定理の三定理をどれも式 $(4)$ の形に帰着させてみましたが、議論のスタートポイントは、それぞれ個別に行った古典的な証明を基にしていました。つまり、私達は、定理を個別に式 $(4)$ の形に変形させられることを『見てみた』だけで、『一般に、全ての次数の微分形式 $\omega$ に対して式 $(4)$ は言えるのか？』という、十分条件を証明したわけではありません。


でも、読者の多くの方は、既に、『式 $(4)$ は普遍的な定理なんじゃないか？』と薄々予想していることと思いますo(^ ^)o。この後、このことを確認する作業に入りますが、まず 微分形式の引き戻し_ という概念を勉強し、それから、 面積素と微分形式_ で考えたような、積分の向きと微分形式の関係をもう少し整理します。（積分の向きと微分形式の関係がまだ曖昧ですし、私達は微分形式の積分というものをちゃんと定義していません。私達は、いま微分形式を主に三次元ユークリッド空間の枠組みで考えています。まず、この枠組みの中で、 ストークスの定理再々考_ の記事で、ストークスの定理とグリーンの定理が同じ定理であることを微分形式を使って示します。一般の次数に定理を拡大するためには、多様体という概念を勉強する必要があり、証明はもう少し後になります。





ストークス
================================================================
ストークスの定理や、流体力学のナヴィア・ストークス方程式にその名をとどめるストークス( $\text{Georege Gabriel Stokes (1819-1903)}$ )は、アイルランド北西部の海辺の町、 スクリーン_ に生まれました。ストークスの父は牧師で、母も牧師の娘であり、ストークスの三人の兄弟も全員牧師になっています。非常に宗教的な家庭環境に生まれたようです。しかし、ストークスの父も非常に高い教育を受けた人で、父親や信者の人から、学校に行く前からラテン語をはじめとする教育を受けたようです。その後、ストークスはイングランドのブリストルで教育を受けますが、数学の才能を認められ、ケンブリッジ大学へ進みます。


.. figure:: Joh-Stokes02.png

	終生、敬虔なキリスト教徒だったストークス。質素で慎ましい生活を送った。


ケンブリッジ大学ではホプキンス $(\text{William Hopkins (1793-1866)})$ の数学観に強い影響を受け、物理数学の方面に興味が向きます。ストークスの研究は、流体力学、光学に多く、特にナヴィア・ストークス方程式は、粘性流体の基礎方程式として、流体力学で最も重要な方程式となっています。


.. [*] ナヴィア・ストークス方程式は、ストークスより前にナヴィア( $\text{Claude Louis Marie Heinri Navier (1785-1836)}$ )、ポアソン $(\text{Sim}&'e \text{on Denis Poisson (1781-1840)})$ 等によって研究されていました。ナヴィア・ストークス方程式に解析的な厳密解があるかどうかは、未だに数学的には証明されておらず、大きな未解決問題になっています。（もっとも、流体力学者は、数値計算によって解をじゃかじゃか求めています。） 


奇妙なことに、ストークスは $1857$ 年の結婚に前後して、数学や理論物理への興味を失い、実験に没頭するようになります。実験内容は物理にとどまらず、化学や植物学にまで及んだようですが、こちらの方面ではあまり大きな貢献は無いようです。ずっと数学だけやっていてくれたら、と惜しまれます。




.. _スクリーン: http://en.wikipedia.org/wiki/Skreen
.. _ガウスの発散定理: http://www12.plala.or.jp/ksp/vectoranalysis/GaussDivTheorem/
.. _外微分: http://www12.plala.or.jp/ksp/differentialforms/ExteriorDiff/
.. _平面のグリーンの定理再考: http://www12.plala.or.jp/ksp/differentialforms/DiffFormsGreensTheorem/
.. _平面のグリーンの定理: http://www12.plala.or.jp/ksp/vectoranalysis/GreensTheorem/
.. _微分形式の引き戻し: http://www12.plala.or.jp/ksp/differentialforms/DiffFormsPullback1/
.. _ストークスの定理: http://www12.plala.or.jp/ksp/vectoranalysis/StokesTheorem/
.. _面積素と微分形式: http://www12.plala.or.jp/ksp/differentialforms/DiffFormsArea/
.. _ストークスの定理再々考: http://www12.plala.or.jp/ksp/differentialforms/DiffFormsStokesTheorem/


@@author:Joh@@
@@accept: 2006-11-13@@
@@category: 微分形式@@
@@id: DiffFormsStokesTheorem@@