ケルビン・ストークスの定理

ケルビン・ストークスの定理（ケルビン・ストークスのていり、）
は、3次元ベクトル場の2次元曲面上での面積分に関する定理であり、本定理は、与えられたベクトル場の回転を面積分したものと、前記面積分の積分領域の境界での線積分とを関連付ける。
本定理は、一般化されたストークスの定理の特殊なケースの一つであり、3次元ベクトル場が、formula_1上の一次微分形式と見なした場合に対応する（この場合外微分dがrotに対応する）。
本定理は、回転定理ともいわれる。
主定理.
formula_2 が 区分的になめらかな平面曲線であり、かつ単純閉曲線（ジョルダン曲線）とする。即ち、formula_3 は以下の2つの性質をみたすものとする。
formula_10をformula_11の領域とし、formula_10は前記のformula_3 で縁どられているものとする。
formula_14を微分可能な3変数ベクトル値関数とする.
formula_15 をformula_16のformula_17による像集合とする.
formula_18 をformula_19で定まる空間曲線とする。
このとき、次のケルビン・ストークスの定理が成り立つ。ここで、formula_20(あるいは、HTML表記のRn)は、n次元実数ベクトル空間を意味する。
Theorem 1 ( Kelvin–Stoke’s theorem)
上記のformula_21およびformula_18を考える。また、formula_23をformula_1の微分可能なベクトル場とする。このとき
が成り立つ。ここで上式の左辺は「formula_26のformula_27に沿った線積分」を意味し、右辺はformula_28をformula_15で面積分したものを意味する。また、 formula_28はformula_31の回転を表すものとする。
主定理の証明.
証明の概略.
主定理の証明は、以下のステップで行われる。以下に紹介する証明は、厳密な証明であり、かつ直接的には微分形式の予備知識を必要としない証明である。本証明では、グリーンの定理（本定理の平面曲線版）は既知とし、空間曲線における数理現象を平面曲線の問題に帰着する過程に重きを置く。
(1)formula_32の定義：
formula_33を、formula_34 が” formula_23の
引き戻しとなるように定める。
formula_32は formula_37に値をとる関数で、2つのパラメータ "u" , "v" を持つ。
(2)以下の等式の証明：
formula_38<br>
(3)以下の等式の証明：
formula_39
(4)グリーンの定理への帰着：
最後に、本定理をグリーンの定理に帰着する。
証明の第一段階.
formula_40 を、以下のように定義する。但し、formula_41 は、それぞれ、formula_40の第一成分、第二成分である。
ここで、formula_44 はformula_1の標準的な内積を意味する。
証明の第二段階.
本節では以下の等式を示す。
上記の等式の証明は、主定理の左辺をグリーンの定理に帰着する過程に他ならない。
線積分の定義より、以下が成り立つ。
ここで、上式左辺の被積分関数はformula_48に値をとる "t" についての一変数関数であることに注意されたい。
合成関数の微分を考えると、
が成り立つ。ここで、 formula_50 はformula_51のヤコビ行列を意味する。
従って、以下が成り立つ。
従って、以下の等式を得る。
証明の第三段階.
本節では、以下の等式を示す。
上式は、主定理の右辺を、グリーンの定理に帰着する過程に他ならない。
まず、formula_55, formula_56を内積の微分を考慮して計算する。計算過程は以下に示すとおりである。
が分かる。さらに、合成関数の微分を考慮すると、以下の2つの式が得られる。
さらに、内積の多重線形性を考慮すると、
ここで、formula_60 はformula_61の転置行列を意味し、
formula_62はformula_63行列 "A" が定める二次形式、即ち
を意味する。
さらに、以下の事実を考慮し、
さらに、スカラー三重積を考慮すると、以下の等式を得る。
一方で、面積分の定義から
が成り立つ。さらにスカラー三重積を考慮すると、以下を得る．
従って、以下の等式が成り立つ。
証明の第四段階.
主定理の証明の最終段階である。
Second stepの結果と、Third stepの結果をグリーンの定理に代入すると、主定理が得られる。
保存力場への適用.
本節では 層状ベクトル場 （保存力場)に本定理を適用し、スカラーポテンシャルの一意性を基礎づける定理を導く。
一変数の規格化写像formula_70、以下のように定義する。これは、狭義単調増加関数である。
formula_71
区分的になめらかな曲線
c:[a,b]→R3, 
と、区分的に滑らかなベクトル場Fを考える。 
Fの定義域は、 formula_73 (cの値域)を包含するものとする。
このとき、以下の等式が成り立つ。
従って、定義域が[0,1]のcのみを考えても、一般性を失わないことが判る。
以降、そのように考える。
層状ベクトル場（保存力場）.
Definition 2-1 (層状ベクトル場). 
滑らかなベクトル場Fが 開集合 "U" ⊆ R3上で定義されているものとする。
"F"'が、さらに以下の性質を満たすとき、これを層状ベクトル場という。
層状ベクトル場は、力学では「保存力場」と呼ばれ。流体力学では、
「渦なしベクトル場」と呼ばれる。すなわち、上記の3用語はまったく同じ意味である。
ヘルムホルツの定理(流体力学).
本節では、ケルビンストークスの定理を、層状ベクトル場に適応することで、一つの定理を導き出す。この定理は、流体力学でヘルムホルツの定理この定理は、層状ベクトル場をよく特徴づけるが、ホモトピー論においても重要なものである。
Theorem 2-1 (Helmholtz's Theorem in Fluid Dynamics). 及び、 藤本を参照のこと<br>
"U" ⊆ R3 を開集合とし、 Fは、層状ベクトル場とする。 
さらに、区分的滑らかな曲線"c"0, "c"1 : [0, 1] → "U"
を考える。このとき2変数関数 "H" : [0, 1] × [0, 1] → "U" が、
であるとき、以下が成り立つ。
formula_75
大変紛らわしいことに、例えばLawrence では、Theorem 2-1の
"c"0 と "c"1のような関係にあるような2曲線の関係は単に「ホモトピック」と呼ばれている。また、Theorem 2-1のような "H" : [0, 1] × [0, 1] → "U" を、
"c"0 と "c"1”の間のホモトピーと称している。
保存力場を議論する文脈では、そのような本が多い。
しかしながら、「ホモトピック」、「ホモトピー」という用語は、通常は、別の意味（より弱い条件のものを指す）
で使われる。
従って、ホモトピー、ホモトピックという言葉が、Theorem 2-1の意味（[TLH3]を要請する）なのか、通常の意味なのかを区別する適切な言い方が、見当たらない。そこで、当座において区別を必要とする場合には、本記事に限った言い方として、Tube-like-Homotopy Tube-Homotopeという言い方を、Theorem 2-1の意味であることを強調するために用いることにする。
証明.
以降、 ⊕ は、jointを意味し、記号formula_76 は、backwards を意味するものとする。
"D" := [0, 1] × [0, 1]　とする。"D"への平面曲線（バウンダリ）を、以下のように定義する。
一方、仮定より, "c"1 と "c"2の間には、区分的に滑らかな、Tube-like-Homotopy"H" : "D" → "M"が存在するので、
と定義する。
"S" を "D" の "H"による像集合とすると、Theorem 1より、明らかに以下が成り立つ。
他方、F が層状ベクトル場との仮定から、
も明白である。
従って、
であるのだが、さらにHが Tubeler-Homotopy ([TLH3]をみたす)ので、
である。従って、
ことになる。
以上から、以下が判る。
これに、以下の事実を考え合わせることで、本定理の証明ができた。
単連結空間上の保存力場の性質.
上記の意味のヘルムホルツの定理は、以下の問題に指針を与える。
手始めに、以下の Lemma 2-2を考える。
Lemma 2-2. 
"U" ⊆ R3を開集合とし,
Fを、"U"上で定義された層状ベクトル場、
"c"0 : [0, 1] → "U"を区分的に滑らかなループ曲線
p ∈ "U"を固定点とする。 このとき、以下を充たすようなホモトピー(tube-like-homotopy) 
"H" : [0, 1] × [0, 1] → "U" が存在したとすると、
以下が成り立つ。
formula_90
Lemma 2-2は、Theorem 2-1の特殊な場合にすぎない。
Lemma 2-2の[SC0] to [SC3] は、非常に重要である。
任意のループと、任意の固定点との間に、区分的に滑らかなループ曲線
が取れる(即ち、[SC0] to [SC3]をみたすHがとれる) 
ような連結空間のことを、単連結空間という。正確な定義は以下の通り。
Definition 2-2 (単連結空間).
"M" ⊆ R"n"を、連結空間 とする。
"M" が単連結であるとは、
任意の連続なループ"c" : [0, 1] → "M"に対し、以下を充たすような
"H" : [0, 1] × [0, 1] → "M" が取れる。
なお、本によっては、単連結性の定義に、さらに、「[SC4]固定点pが、ループ上にある」という条件をさらに課している場合もあるがこの条件は、（基本群を使った考察をするうえで便利だが）あってもなくてもよい。すなわち、以下の命題が同値であることは容易に想到できよう。
さて、賢明な者は、[SC0]と[SC0’]の違いについて気付き、以下の2命題の間に、非常に大きなギャップがあることに気付くであろう。
しかし上記の2命題の間のギャップはとてつもなく大きく、これを埋めるには微分トポロジーに関する高度な知識が必要となる。しかし、事実として、ある程度素性の良い空間においては、この2つの命題は等価である。このギャップが気になるものは、例えば以下のリソースを参照するとよい。
Lemma 2-2と、上記の事実から、以下の定理が導出される。
Theorem 2-2. 
開集合"U" ⊆ R3は、単連結とする。定義域を"U"とする
層状ベクトル場Fと、区分的に滑らかな曲線
"c" : [0, 1] → "U" に対し、以下が成り立つ。
formula_90
この定理より、