一般化されたストークスの定理またはストークス-カルタンの定理とは、ベクトル解析や微分幾何学における多様体上の微分形式の積分についての定理であり、ベクトル解析におけるいくつかの定理の単純化および一般化である。これは微分積分学の基本定理を一般化したものであり、コンパクトな台を持つ微分形式の多様体の境界上での積分を、多様体全体にわたるその微分形式の外微分の積分に関連付ける。
一般化されたストークスの定理によると、 次元の向き付け可能な多様体 の境界 上の 次の微分形式 の積分は、 全体にわたるその外微分 の積分に等しい。すなわち
が成り立つ。
シンボリックに、この積分を積分領域と微分形式の内積 のように考えると、
と書ける後述の汎関数を意味する。。すなわち一般化されたストークスの定理は、領域の境界を取り出す演算子 が外微分 の随伴作用素になっていることを主張しているということもできる。
ヴィト・ヴォルテラ、、アンリ・ポアンカレによるベクトル解析の定理の一般化に関する初期の研究に続き、一般化されたストークスの定理の現代的な定式化は1945年にエリ・カルタンによってなされた。
ストークスの定理のこの現代的な形式は、ケルビン卿が1850年7月2日付けの手紙でジョージ・ストークスに伝えた古典的な結果の一般化である以下を参照:
The letter from Thomson to Stokes appears in: Neither Thomson nor Stokes published a proof of the theorem. The first published proof appeared in 1861 in: Hankel doesn't mention the author of the theorem. In a footnote, Larmor mentions earlier researchers who had integrated, over a surface, the curl of a vector field. See: Spivak (1965), p. vii, Preface.。ストークスはこの定理を1854年のスミス賞試験の質問として設定し、その結果、彼の名前が付けられた。最初に出版されたのは1861年にヘルマン・ハンケルによってである以下を参照： The 1854 Smith's Prize Examination is available online at: Clerk Maxwell Foundation. Maxwell took this examination and tied for first place with Edward John Routh. See: See also Smith's prize or the Clerk Maxwell Foundation. In a footnote on page 27, Maxwell mentions that Stokes used the theorem as question 8 in the Smith's Prize Examination of 1854. This footnote appears to have been the cause of the theorem's being known as "Stokes' theorem".。この古典的なケースは、3次元ユークリッド空間における曲面上のベクトル場 の回転の面積分（つまりcurl の流束）を、曲面の境界上のベクトル場の線積分（周回積分）に関連付けている。
ベクトル解析における発散定理やグリーンの定理のような微分積分学の基本定理の古典的な一般化は、微分形式（古典的な定理ごとに異なる）を標準的な方法でベクトル場とみなした場合の、上記の一般的な定理の特殊なケースである。
導入 微分積分学の第二基本定理によると、区間 にわたる関数 の積分は、 の不定積分 を見つけることによって次式で計算できる。
一般化されたストークスの定理は、次の意味でこの定理を一般化したものである。 を選択すると になる。微分形式の用語では、これは が0形式（つまり関数） の外微分である、つまり であることを意味する。一般化されたストークスの定理では は0形式だけでなく、より高い次数の微分形式 に適用される。 閉区間 は境界を持つ1次元多様体の簡単な例である。その境界は2つの点 と の集合である。区間にわたる の積分はより高次元の多様体上の積分の形式に一般化することができる。ただし2つの技術的条件が必要である：多様体は向き付け可能であることと、形式はコンパクトな台を持ち積分が明確に定義されること。 2つの点 と は閉区間の境界を成す。一般化されたストークスの定理は、境界を持つ向き付けられた多様体 に適用される。 の境界 はそれ自身も多様体であり、 から自然な向きが誘導される。たとえば、区間の自然な向きは2つの境界点の向きを与える。 直感的には、 と は区間の反対側の両端にあるため、 は とは反対の方向が誘導される。したがって、2つの境界点 で を「積分」すると、差 となる。
さらに簡単に言えば、点を曲線の境界と、つまり1次元多様体の0次元境界と見なすことができる。したがって、0次元境界 での不定積分 を考慮することにより1次元多様体 上の積分の値 () を求めることができるのと同じように、いくつかの注意事項のもとで微分積分学の基本定理を一般化でき、 次元多様体 の 次元境界 での不定積分 を考慮することで 上の積分 の値を与えることができる。
したがって、基本的な定理は次のように読み替えることができる：
境界のある滑らかな多様体に対しての定式化 を向き付けられた滑らかな境界を持つ 次元多様体、 を 上のコンパクトな台を持つ滑らかな 形式とする。 まず、 が単一の向き付けられた座標チャート の領域でコンパクトな台を持つと仮定する。 この場合、 上の の積分を、から へのを介して
と定義する。
より一般的に 上の の積分を定義する。 を（一貫して方向付けられた）座標チャートの被覆 に関連付けられた1の分割とし、積分を
で定義する。ここで総和の各項は上述のように に引き戻すことによって評価される。この量は明確に定義されている。つまり座標チャートの選択や1の分割には依存しない。
一般化されたストークスの定理は次のようになる。
包含写像による微分形式の引き戻しは単純にその領域への制限： であるため、通常 は と省略される。ここで は外微分であり、多様体の構造のみを使用して定義される。 次元多様体 が境界を持たないことを強調するために右辺は と書かれることもある数学者にとってこの事実は既知であるため、周回積分の円の記号は冗長とされしばしば省略される。しかし、熱力学ではがよく現れる（ここで全微分を外微分と混同しないこと）に注意する。積分経路 は高次元多様体上の1次元の閉曲線である。つまり、熱力学での応用では、 はサンプルの温度 、体積 、および電気分極 の関数であり、
であり、円の記号は必要である。たとえば 「積分」仮定の異なる「微分」結果を考慮する場合 （この事実はストークスの定理を含意する。これは、与えられた滑らかな 次元多様体 に対して定理を2回適用すると、任意の 形式 に対して となり、これは を意味するからである）。応用において、右辺は積分法則を定式化するためによく使用され、左辺は等価な微分法則の定式化につながる。
この定理は、 がより大きな多様体（多くの場合 ）に埋め込まれた、向き付けられた部分多様体の上で が定義されている状況でよく使用される。
トポロジーの準備; 鎖を介した積分 を滑らかな多様体とする。 の（滑らかな）特異 -単体は、 の標準単体から への滑らかな写像で定義される。 の特異 の群 は、 の特異な 単体の集合上の自由アーベル群として定義される。これらの群は、境界写像 とともに鎖複体を定義する。対応するホモロジー（またはコホモロジー）群は、通常の特異ホモロジー群 （または特異コホモロジー群 ）と同型であり、 の滑らかな単体ではなく連続な単体を使用して定義される。
一方、外微分 を接続写像として持つ微分形式は、ド・ラームコホモロジー群 を定義する余鎖複体を形成する。
微分 形式は、 に引き戻すことにより、自然な方法で 単体上で積分できる。 線形性を使って拡張すると、鎖をまたいで積分できる。これにより、 形式の空間から特異な余鎖の 番目の群 、上の線形汎関数への線形写像が得られる。 言い換えれば、 形式 は 鎖上で
で汎関数を定義する。一般化されたストークスの定理によれば、これはド・ラームコホモロジーから実係数の特異ホモロジーへの鎖写像である。外微分 は微分形式の の双対のように振る舞う。これにより、ド・ラームコホモロジーから特異ホモロジーへの準同型が得られる。 微分形式のレベルでは、これは
閉形式、つまり は境界にわたる積分、つまり多様体にわたる 、でゼロとなる 完全形式、つまり は、サイクル全体にわたる積分、つまり境界の合計が空集合になる場合：、でゼロとなる を意味する。
ド・ラームの定理は、この準同型が実際には同型であることを示している。したがって、上記の1と2の逆が成り立つ。言い換えると、 が 番目のホモロジー群を生成するサイクルである場合、対応する実数 に対して閉形式 が存在し
となる。この形式は一意で完全形式である。 滑らかな多様体上の一般化されたストークスの定理は、滑らかな多様体の鎖上のストークスの定理から導き出すことができ、その逆も可能である。正式に述べると、後者は次のように述べている。
根本原理
位相幾何学的な議論を単純化するために、 次元の例を検討することによって根本的な原理を調べてみる。本質的な考え方は左の図で理解できる。この図は、多様体の向き付けられたタイリングで、内部経路が反対向きに横切っていることを示している。したがって、経路積分へのそれらの寄与はペアの経路ごとに互いに打ち消し合い、結果として境界からの寄与のみが残る。したがって、十分に細かいタイリング（また単体でも同様）に対するストークスの定理を証明するだけで十分である。これは通常は難しいことではない。
古典的なベクトル解析の例 を区分的に滑らかなジョルダン曲線とする。ジョルダン曲線定理によれば、 は を2つの部分、つまりコンパクトな部分と非コンパクトな部分に分割する。 を で囲まれたコンパクトな部分とし、 を滑らかな関数、 とする。 を で定義される空間曲線とはどちらも閉曲線だが、は必ずしもジョルダン曲線とは限らない。とし、 を の滑らかなベクトル場とすると、次が成り立つ：This proof is based on the Lecture Notes given by Prof. Robert Scheichl (University of Bath, U.K) , please refer the
この古典的なステートメントは一般的な定式化に対して、1形式をベクトル場と、2形式をその回転とみなした場合の特殊なケースである。
ラフな集合への一般化
上記の定式化は が境界をもつ滑らかな多様体である場合であり、多くの応用では十分ではない。たとえば、右図のように積分領域が2つの 座標と2つの関数のグラフの間の平面領域として定義されている場合、領域に角があることがある。このような場合、角の点は が境界をもつ滑らかな多様体ではないことを意味し、上記のストークスの定理は適用できない。にもかかわらず、ストークスの定理の結論がまだ真であることを確認することは可能である。これは、 とその境界が小さな点の集合（測度0の集合）を除けば適切にふるまうためである。
ラフさを考慮したストークスの定理のバージョンは、ホイットニーによって示されたWhitney, Geometric Integration Theory, III.14.。 が の連結で有界な開集合であると仮定する。 が次の特性を満たすとき、 を標準ドメインと呼ぶ： の部分集合 で、の位相で開集合であり、における補集合はがゼロであるものが存在する；そして のすべての点が一般化された法線ベクトルを持つ。これは、ベクトル が最初の基底ベクトルになるように座標系を選択すると の開近傍で滑らかな関数 が存在し、 がグラフ であり が領域 であるようなベクトル である。ホイットニーは、標準ドメインの境界はゼロハウスドルフ -測度の集合と滑らかな -多様体の有限和または可算和集合であり、それぞれが片側のみで領域と接すると述べている。次に彼は、 が の標準ドメインである場合、 は 形式であり、連続的で、 で有界であり、 で滑らかで、 で積分可能であり、 が で積分可能であるならば、そのときストークスの定理
が成り立つことを証明した。
ラフな集合の測度論的性質の研究はにつながる。ストークスの定理のさらに一般的なバージョンがフェデラーとハリソンによって証明されている。
特別な場合 微分形式を使用したストークスの定理の一般的な形式は、特定の座標系に依存せずに定式化できるという特徴を持つ。従来のベクトル解析を用いたバージョンは、デカルト座標などを用いて微分幾何学の機構なしで定式化されるため歴史的にも古く、科学や工学の分野で広く用いられている。一方で、従来の形式を球座標や円筒座標などの他の座標系で表現しようとすると、公式の形が複雑になることがある。名称の適用方法や二重の定式化の使用にも混乱が生じる可能性がある。
古典的な（ベクトル解析の）場合
これは、2次元の曲面とその1次元の境界に関する特別な場合である（ベクトル場に関するステートメントとして、微分形式がホッジ双対によって対応付けられている）。この特殊ケースは多くの大学のベクトル解析入門コースで単に「ストークスの定理」と呼ばれることが多く、物理学や工学で使用されている。回転定理とも呼ばれる。
古典的なストークスの定理は、3次元ユークリッド空間の曲面 上のベクトル場の回転の面積分を、その境界上のベクトル場の線積分に関連付ける。これは一般化されたストークスの定理の特殊なケース であり、3次元ユークリッド空間の計量を使用してベクトル場は1形式とみなされる。線積分の経路曲線 は正の方向を向いている必要がある。つまり曲面の法線ベクトル がこの記事の読者の方を向いている場合 は反時計回りを指す。
この定理の帰結の1つとして、回転がゼロのベクトル場に沿った曲線は閉曲線にすることができないことが言える。定理の公式は次のように書き直すことができる。
グリーンの定理 グリーンの定理は、上で引用した公式において積分領域を 平面上の領域とし、 成分を一定（すなわち ）、さらに と置くことで、第1項および第2項が消去され、第3項の積分のみが残ることにより直ちに示される。
電磁気学における応用 マクスウェル方程式の4本の式のうち2本は3次元ベクトル場の回転を含み、それらの微分形から積分形への変換は、ストークスの定理の特別な3次元（ベクトル解析）の場合を用いて電場や磁場の回転の面積分を閉曲線の線積分に関連付けることによって導出される。境界が移動するケースを回避するように注意する必要があり、時間偏微分はそのようなケースを除外するためにある。移動する境界が含まれる場合、積分と微分の交換により、以下の結果に含まれない境界運動に関連する項が導入される（積分記号の下の微分を参照）。 名称 微分形 積分形 (3次元ストークスの定理と相対論的不変性を使用して、) マクスウェル・ファラデーの式 ファラデーの電磁誘導の法則 ( は静止している必要はない) アンペールの法則 (マクスウェルによる拡張) ( は静止している必要はない)
発散定理 同様に、発散定理
はベクトル場をユークリッド体積形式で縮約することによって得られる 形式とみなす場合の特殊ケースである。これの応用は の場合である。ここで は任意の定数ベクトル。積の発散を実行すると、
が得られる。これは任意の について成り立つため、
が成り立つ。
脚注
出典
参考文献
関連項目
:en:Chandrasekhar–Wentzel lemma ストークスの定理 ケルビン・ストークスの定理 発散定理 グリーンの定理 微分積分学の基本定理
外部リンク
Proof of the Divergence Theorem and Stokes' Theorem Calculus 3 – Stokes Theorem from lamar.edu – an expository explanation