ストークスの定理

出典: フリー百科事典『ウィキペディア（Wikipedia）』

ストークスの定理（Stokes' theorem）は、ベクトル解析の定理のひとつ。イギリスの物理学者ジョージ・ガブリエル・ストークスが導出した。ベクトル解析におけるグリーン・ガウス・ストークスの定理を、より一般的な向きづけられた多様体上に拡張したものも、同様にストークスの定理と呼ばれる。

[編集] ストークスの定理

ベクトル解析におけるストークスの定理は、ベクトル場の回転を曲面上で面積分したものが、元のベクトル場を曲面の境界で線積分したものに一致することを述べたものである；

$\int_S\boldsymbol{\mathit{\nabla\!\times\!A}}\cdot d\boldsymbol{\mathit{S}}= \int_S\boldsymbol{\mathit{\mbox{rot}A}}\cdot d\boldsymbol{\mathit{S}} =\int_C \boldsymbol{\mathit{A}}\!\cdot\!d\boldsymbol{\mathit{l}}$

ここで S は積分範囲の面、C はその境界の曲線である。ストークスの定理を用いることで、電磁気学ではマクスウェルの方程式からアンペールの法則などを導くことができる。

[編集] 微分形式による一般化

境界付き多様体上の微分形式に対するストークスの定理は次のように定式化される；

$\int_C d\omega = \int_{\partial C} \omega$ .

ここに、C は向きの付いたn次元多様体であり、ωはC 上の（少なくともC ¹級の）n-1次微分形式でコンパクトな台を持つものとする。∂ Cは C の境界を、dω は ω の外微分を表している。∂ C にはCの構造から誘導されるn-1 次元向きつき多様体の構造が入る。

この定理は「ある量(微分形式)の微分を特定の領域で積分した値は、境界で元の量を評価（積分）することによっても得られる」と解釈でき、微積分学の基本定理の自然な拡張になっている。実際、Cが区間[a,b]で f(x) がC上の微分可能な関数のとき、ω として 0-形式f(x)を考えれば ∂ C 上でのω の「積分」はf(b) - f(a)となり、一方C上での dω = f ′ (x) dxの積分は $\int_a^b f'(x) dx$ となって普通の意味での微積分学の基本定理が得られる。