ケルビン・ストークスの定理
ケルビン・ストークスの定理(ケルビン・ストークスのていり、英: Kelvin–Stokes' theorem) [1][2][3][4][5][6][7][8] は、3次元ベクトル場の2次元曲面上での面積分に関する定理であり、本定理は、与えられたベクトル場の回転を面積分したものと、前記面積分の積分領域の境界での線積分とを関連付ける。
本定理は、一般化されたストークスの定理の特殊なケースの一つであり、3次元ベクトル場が、上の一次微分形式と見なした場合に対応する(この場合外微分dがrotに対応する)。
本定理は、回転定理ともいわれる。
主定理編集
が 区分的になめらかな平面曲線であり、かつ単純閉曲線(ジョルダン曲線)とする。即ち、 は以下の2つの性質をみたすものとする。
- と が 開区間の点であるとき、もし が成り立てば、必ず である。
- である。
を の領域とし、 は前記の で縁どられているものとする[note 1]。
を微分可能な3変数ベクトル値関数とする.
を の による像集合とする.
を で定まる空間曲線とする[note 2]。
このとき、次のケルビン・ストークスの定理が成り立つ。ここで、 (あるいは、HTML表記のRn)は、n次元実数ベクトル空間を意味する。
主定理の証明編集
証明の概略編集
主定理の証明は、以下のステップで行われる[2][3][note 3]。以下に紹介する証明は、厳密な証明であり、かつ直接的には微分形式の予備知識を必要としない証明である。本証明では、グリーンの定理(本定理の平面曲線版)は既知とし、空間曲線における数理現象を平面曲線の問題に帰着する過程に重きを置く。
(1) の定義:
を、 が” の 引き戻しとなるように定める。 は に値をとる関数で、2つのパラメータ u , v を持つ。
(2)以下の等式の証明:
(3)以下の等式の証明:
(4)グリーンの定理への帰着:
最後に、本定理をグリーンの定理に帰着する。
証明の第一段階編集
を、以下のように定義する。但し、 は、それぞれ、 の第一成分、第二成分である。
ここで、 は の標準的な内積を意味する。
証明の第二段階編集
本節では以下の等式を示す。
上記の等式の証明は、主定理の左辺をグリーンの定理に帰着する過程に他ならない。
線積分の定義より、以下が成り立つ。
ここで、上式左辺の被積分関数は に値をとる t についての一変数関数であることに注意されたい。
合成関数の微分を考えると、
が成り立つ。ここで、 は のヤコビ行列を意味する。
従って、以下が成り立つ。
従って、以下の等式を得る。
証明の第三段階編集
本節では、以下の等式を示す。
上式は、主定理の右辺を、グリーンの定理に帰着する過程に他ならない。
まず、 , を内積の微分を考慮して計算する。計算過程は以下に示すとおりである。
従って、
が分かる。さらに、合成関数の微分を考慮すると、以下の2つの式が得られる。
さらに、内積の多重線形性を考慮すると[note 4]、
ここで、 は の転置行列を意味し、 は 行列 A が定める二次形式、即ち
を意味する。
さらに、以下の事実を考慮し、 [note 5]
さらに、スカラー三重積を考慮すると、以下の等式を得る。
一方で、面積分の定義から
が成り立つ。さらにスカラー三重積を考慮すると、以下を得る.
従って、以下の等式が成り立つ。
証明の第四段階編集
主定理の証明の最終段階である。
Second stepの結果と、Third stepの結果をグリーンの定理に代入すると、主定理が得られる。
保存力場への適用編集
本節では 層状ベクトル場 (保存力場)に本定理を適用し、スカラーポテンシャルの一意性を基礎づける定理を導く。 一変数の規格化写像 、以下のように定義する。これは、狭義単調増加関数である。
区分的になめらかな曲線 c:[a,b]→R3, と、区分的に滑らかなベクトル場Fを考える。 Fの定義域は、 (cの値域)を包含するものとする。
このとき、以下の等式が成り立つ。
従って、定義域が[0,1]のcのみを考えても、一般性を失わないことが判る。 以降、そのように考える。
層状ベクトル場(保存力場)編集
Definition 2-1 (層状ベクトル場). 滑らかなベクトル場Fが 開集合 U ⊆ R3上で定義されているものとする。 F'が、さらに以下の性質を満たすとき、これを層状ベクトル場という。
- ∇ × F = 0.
層状ベクトル場は、力学では「保存力場」と呼ばれ。流体力学では、 「渦なしベクトル場」と呼ばれる。すなわち、上記の3用語はまったく同じ意味である。
ヘルムホルツの定理(流体力学)編集
本節では、ケルビンストークスの定理を、層状ベクトル場に適応することで、一つの定理を導き出す。この定理は、流体力学でヘルムホルツの定理[note 6]この定理は、層状ベクトル場をよく特徴づけるが、ホモトピー論においても重要なものである[6]。
Theorem 2-1 (Helmholtz's Theorem in Fluid Dynamics).[6] 及び、 藤本[8]を参照のこと
U ⊆ R3 を開集合とし、 Fは、層状ベクトル場とする。
さらに、区分的滑らかな曲線c0, c1 : [0, 1] → U
を考える。このとき2変数関数 H : [0, 1] × [0, 1] → U が、
- [TLH0] H 区分的になめらか
- [TLH1] H(t, 0) = c0(t) for all t ∈ [0, 1],
- [TLH2] H(t, 1) = c1(t) for all t ∈ [0, 1],
- [TLH3] H(0, s) = H(1, s) for all s ∈ [0, 1].
であるとき、以下が成り立つ。
大変紛らわしいことに、例えばLawrence[6] では、Theorem 2-1の c0 と c1のような関係にあるような2曲線の関係は単に「ホモトピック」と呼ばれている。また、Theorem 2-1のような H : [0, 1] × [0, 1] → U を、 c0 と c1”の間のホモトピーと称している。 保存力場を議論する文脈では、そのような本が多い。
しかしながら、「ホモトピック」、「ホモトピー」という用語は、通常は、別の意味(より弱い条件のものを指す) で使われる。[note 7]
従って、ホモトピー、ホモトピックという言葉が、Theorem 2-1の意味([TLH3]を要請する)なのか、通常の意味なのかを区別する適切な言い方が、見当たらない。そこで、当座において区別を必要とする場合には、本記事に限った言い方として、Tube-like-Homotopy Tube-Homotopeという言い方を、Theorem 2-1の意味であることを強調するために用いることにする。[note 8]
証明編集
以降、 ⊕ は、jointを意味し、記号 は、backwards を意味するものとする。 [note 9][note 10]
D := [0, 1] × [0, 1] とする。Dへの平面曲線(バウンダリ)を、以下のように定義する。
一方、仮定より, c1 と c2の間には、区分的に滑らかな、Tube-like-Homotopy[note 8]H : D → Mが存在するので、
と定義する。
S を D の Hによる像集合とすると、Theorem 1より、明らかに以下が成り立つ。
他方、F が層状ベクトル場との仮定から、
も明白である。
従って、
であるのだが、さらにHが Tubeler-Homotopy ([TLH3]をみたす)ので、
である。従って、
- と が互いに相殺しあう[note 10]
ことになる。
以上から、以下が判る。
これに、以下の事実を考え合わせることで、本定理の証明ができた。
単連結空間上の保存力場の性質編集
上記の意味のヘルムホルツの定理は、以下の問題に指針を与える。
- 何故、(単連結空間では)保存力場に逆らった物体の移動に伴う仕事は、経路に依存しないのか?
手始めに、以下の Lemma 2-2を考える。
Lemma 2-2.[6][5]U ⊆ R3を開集合とし, Fを、U上で定義された層状ベクトル場、 c0 : [0, 1] → Uを区分的に滑らかなループ曲線 p ∈ Uを固定点とする。 このとき、以下を充たすようなホモトピー(tube-like-homotopy) H : [0, 1] × [0, 1] → U が存在したとすると、
- [SC0] H は区分的滑らか,
- [SC1] H(t, 0) = c0(t) for all t ∈ [0, 1],
- [SC2] H(t, 1) = p for all t ∈ [0, 1],
- [SC3] H(0, s) = H(1, s) = p for all s ∈ [0, 1].
以下が成り立つ。
Lemma 2-2は、Theorem 2-1の特殊な場合にすぎない。 Lemma 2-2の[SC0] to [SC3] は、非常に重要である。 任意のループと、任意の固定点との間に、区分的に滑らかなループ曲線 が取れる(即ち、[SC0] to [SC3]をみたすHがとれる) ような連結空間のことを、単連結空間という。正確な定義は以下の通り。
Definition 2-2 (単連結空間). [6][5]M ⊆ Rnを、連結空間 とする。 M が単連結であるとは、 任意の連続なループc : [0, 1] → Mに対し、以下を充たすような H : [0, 1] × [0, 1] → M が取れる。
- [SC0'] H は”連続”写像である。
- [SC1] H(t, 0) = c(t) for all t ∈ [0, 1],
- [SC2] H(t, 1) = p for all t ∈ [0, 1],
- [SC3] H(0, s) = H(1, s) = p for all s ∈ [0, 1].
なお、本によっては、単連結性の定義に、さらに、「[SC4]固定点pが、ループ上にある」という条件をさらに課している場合もあるがこの条件は、(基本群を使った考察をするうえで便利だが)あってもなくてもよい。すなわち、以下の命題が同値であることは容易に想到できよう。
- Uが[SC1]-[SC3]のすべてを充たす。
- Uが[SC1]-[SC4] のすべてを充たす。
さて、賢明な者は、[SC0]と[SC0’]の違いについて気付き、以下の2命題の間に、非常に大きなギャップがあることに気付くであろう。
- 任意の連続なループと、任意の1点の間に連続なホモトピー(tube-like-homotopy)が存在する。
- 任意の区分的滑らかなループと、任意の1点の間に区分的滑らかなホモトピー(tube-like-homotopy)が存在する。
しかし上記の2命題の間のギャップはとてつもなく大きく、これを埋めるには微分トポロジーに関する高度な知識が必要となる。しかし、事実として、ある程度素性の良い空間においては、この2つの命題は等価である。このギャップが気になるものは、例えば以下のリソースを参照するとよい。
- Whitney Approximation Theorem ([5] page 136あるいは、[9]) (及び、その適用法[5] page 421).
- より一般的な問題としては、ポントリャーギン[10] (see Theorems 7 and 8)を参照のこと。
Lemma 2-2と、上記の事実から、以下の定理が導出される。
この定理より、
- 単連結空間では保存力場に逆らった物体の移動に伴う仕事は、経路に依存しないことが保障される。
脚注編集
- ^ ジョルダンの閉曲線定理によると、ジョルダン曲線は を2つの連結な領域に分割する。一つ目(Bounded area)は、コンパクト集合 で、もう一つはコンパクトではない。
- ^ は、閉曲線なので、 もまた、閉曲線である。しかし、 は必ずしも単純閉曲線とは限らない。
- ^ 微分形式を知る者は、以下の事実を想到するであろう。即ち、 に、以下の2通りの同一視を施した場合、
- ,
- ^ 一般に、 がm 次元ベクトル、 がn 次元ベクトルで、Aがm ×n 行列であるとき、以下が成り立つ。
- ^
等式
- (★0)
- (★1)
- (★2)
- (★3)
- ^ 一般的にヘルムホルツの定理と言われている定理(電磁気学などでよく使われる)とは別物である。
- ^
Definition (普通の意味でのHomotopy and Homotope). Z と W を位相空間とし、 f0, f1 : Z → W とする。このとき、
(1) 連続写像 H : Z × [0, 1] → W が、 f0と f1" の間のホモトピーであるとは、以下が成り立つことを意味する。
- [H1] H(t, 0) = f0(t) for all t ∈ Z,
- [H2] H(t, 1) = f1(t) for all t ∈ Z.
(2) f0 と f1"の間にホモトピーが存在する(構築できる)とき、 f0と f1" はホモトピックであるという。
(3) f0 と f1 が ホモトピックで 、 H がこれらの間のホモトピーであるとしたとき、特に、f0, f1, Hのすべてが区分的滑らかであるとき、「Hは、f0, f1の間の区分的滑らかなホモトピー」という。
- ^ a b
本文でも述べたように、例えば、
"Differentiable Manifolds (Modern Birkhauser Classics)" Birkhaeuser Boston (2008/1/11)[2]
等では、ホモトピーやホモトピックという用語を、本文 Theorem 2-1の意味で使っている。
このような用語の使い方は、保存力を議論するうえでは便利なのだが、通常の使い方とは異なる。
従って、本記事内での曖昧さ回避のための用語の定義を以下のように行う。
Definition (Tube-like-Homotopy and Tube-Homotope). c0, c1が、以下を充たすとする。
- [A] M は 可微分多様体,
- [B] c0 : [0, 1] → M と c1 : [0, 1] → M の定義域が、共に[0,1]閉区間
- [C] c0, と c1は、連続曲線。
このとき、
(1) Tube-Like-Homotopy:
ホモトピー"H" : [0, 1] × [0, 1] → M が"Tube-Like"とは、以下が成り立つことを意味する。- [TLH0] H is continues
- [TLH1] H(t, 0) = c0(t)
- [TLH2] H(t, 1) = c1(t)
- [TLH3] H(0, s) = H(1, s) for all s ∈ [0, 1]
(2) Tube Homotope:
c0, and c1 が "Tube Homotope" とは、c0 とc1の間に、Tube-like-Homotopy が存在することを意味する。(3) Tube like and piecewise smooth homotopy:
これらが、区分的になめらかな場合には、Tube like and piecewise smooth homotopy “Piecewise smooth Tube Homotope” 等と称する。 - ^ a b 曲線
α: [a1, b1] → M ,
β: [a2, b2, ] → M,
が、α(b1) = β(a2) であるとき、
新たな曲線 α ⊕ β が、以下の性質を充たすように構成できる。
- 任意の区分的に滑らかなベクトル場F (但し、Fの定義域は、α ⊕ βの値域を包含する)に対し、以下が成り立つ
Definition (Joint of paths). M を位相空間とし、二つの曲線 α: [a1, b1] → M , β: [a2, b2] → M, を考える。α, βが以下を充たすとき、
- α(b1) = β(a2)
新たな曲線が、以下のように定義される。これをαとβのjointという。 α ⊕ β : [a1, b1+(b2-a2)] → M
- 任意の区分的に滑らかなベクトル場F (但し、Fの定義域は、α ⊕ βの値域を包含する)に対し、以下が成り立つ
- ^ a b
Mへの曲線
α: [a1, b1] → M ,
に対し、新たな曲線 α を、以下の性質を充たすように構成できる。
- 区分的滑らかなベクトル場 F (但しFの定義域がαの値域を包含するものとする)に対し
Definition (Backward of curve). M を位相空間としたとき、 α: [a1, b1] → M に対し、 α : [a1, b1] → M を以下のように定義する。
これをαの“Backwards”という。
無論、さらに、 α: [a1, b1] → M β: [a2, b2] → M が、 α(b1)=β(b2) (即ち、 α(b1)= β(a2)をみたすとき、 を、以下のように定義することができる。
- 区分的滑らかなベクトル場 F (但しFの定義域がαの値域を包含するものとする)に対し
参考文献編集
- ^ a b James Stewart;"Essential Calculus: Early Transcendentals" Cole Pub Co (2010)[3]
- ^ a b c 本記事におけるこの定理の証明は、 Prof. Robert Scheichl (University of Bath, U.K)の講義ノートによる証明に準拠している。 [4], 特に、[5]を参照のこと。
- ^ a b c 本証明は、以下の記事の証明と同等である。[6]
- ^ http://mathworld.wolfram.com/CurlTheorem.html
- ^ a b c d e f John M. Lee;"Introduction to Smooth Manifolds (Graduate Texts in Mathematics, 218) " Springer (2002/9/23) [7] [8]
- ^ a b c d e f g Lawrence Conlon;"Differentiable Manifolds (Modern Birkhauser Classics) " Birkhaeuser Boston (2008/1/11) [9]
- ^ 有馬 哲 (著) ,浅枝 陽 (著);「ベクトル場と電磁場―電磁気学と相対論のためのベクトル解析」東京図書 (1987/05)
- ^ a b 藤本淳夫(著);「ベクトル解析現代数学レクチャーズ C- 1」培風館 (1979)
- ^ http://www.rac.es/ficheros/doc/00128.pdf
- ^ L. S. Pontryagin, Smooth manifolds and their applications in homotopy theory, American Mathematical Society Translations, Ser. 2, Vol. 11, American Mathematical Society, Providence, R.I., 1959, pp. 1–114. MR 0115178 (22 #5980 [10])[11]