一般いっぱん Stokes 定理ていりとベクトル解析かいせき辞書じしょ

date2026-04-23description一般 Stokes 定理を、Green・Gauss・Stokes の定理を統一する境界積分と外微分の関係として整理する。prerequisites微分形式と外微分 / Green・Gauss・Stokesの定理type講義statusactive

mathdifferential-formsstokes-theoremlecture

導入どうにゅう

このページの核心かくしんは、Green・Gauss・Stokes の定理ていりを別々べつべつの公式こうしきとしてではなく、一般いっぱん Stokes 定理ていりの特別例とくべつれいとして統一とういつすることである。

代表式だいひょうしき

向むき付づけられた多様体たようたい $M$ とその境界きょうかい $\partial M$ 、微分形式びぶんけいしき $ω$ に対たいして

\int_{M} d ω = \int_{\partial M} ω

が一般いっぱん Stokes 定理ていりである。

特別例とくべつれい

一次元いちじげんでは、微積分学びせきぶんがくの基本定理きほんていり

\int_{a}^{b} f^{'} (x) d x = f (b) - f (a)

が一般いっぱん Stokes 定理ていりの特別例とくべつれいである。二に次元じげんでは Green の定理ていり、三さん次元じげんの曲面きょくめんでは Stokes の定理ていり、三さん次元じげんの領域りょういきでは Gauss の発散定理はっさんていりが現あらわれる。

ベクトル解析かいせき辞書じしょ

勾配こうばいは 0 形式けいしきの外微分がいびぶんに対応たいおうする。
平面へいめんの curl は 1 形式けいしきの外微分がいびぶんに対応たいおうする。
flux は 2 形式けいしきの積分せきぶんとして解釈かいしゃくできる。
Green・Gauss・Stokes は、領域りょういきと境界きょうかいの次元じげんを変かえた同一構造どういつこうぞうである。

ベクトル解析かいせき	微分形式びぶんけいしき
スカラー場ば $f$	0 形式けいしき $f$
gradient	$d f$
線積分せんせきぶん	1 形式けいしきの積分せきぶん
curl	$d$ と Hodge star の組合くみあわせ
flux	2 形式けいしきの積分せきぶん
divergence	$d$ と Hodge star の組合くみあわせ

変換例へんかんれい

平面へいめんの 1 形式けいしき $ω = P d x + Q d y$ では、

d ω = (Q_{x} - P_{y}) d x \land d y

である。これを領域りょういき $D$ で積分せきぶんし、境界きょうかい $\partial D$ で $ω$ を積分せきぶんすると Green の定理ていりになる。つまり Green の定理ていりは $\int_{D} d ω = \int_{\partial D} ω$ の二次元版にじげんばんである。

Gauss 定理ていりの形式けいしきによる記述きじゅつ

ベクトル場ば $F = (P, Q, R)$ の flux に対応たいおうする 2 形式けいしきを

η = P d y \land d z + Q d z \land d x + R d x \land d y

とする。このとき

d η = (P_{x} + Q_{y} + R_{z}) d x \land d y \land d z

である。したがって

\int_{V} d η = \int_{\partial V} η

は Gauss の発散定理はっさんていりそのものである。

Stokes 定理ていりの形式けいしきによる記述きじゅつ

3 次元じげんの 1 形式けいしき $α = P d x + Q d y + R d z$ に対たいし、 $d α$ は curl の flux に対応たいおうする 2 形式けいしきである。したがって

\int_{S} d α = \int_{\partial S} α

は曲面きょくめんを通とおる curl の流束りゅうそくと、境界曲線きょうかいきょくせんに沿そう循環じゅんかんの一致いっちを述のべる。

二次元にじげんと三次元さんじげんの図式ずしき

二次元にじげんでは、小領域しょうりょういきの境界線きょうかいせんが隣接領域りんせつりょういきどうしで逆向ぎゃくむきに現あらわれ、内部ないぶで相殺そうさいされる。三次元さんじげんでは、小体積しょうたいせきの内部面ないぶめんが互たがいに逆向ぎゃくむきの法線ほうせんを持もち、流束りゅうそくが相殺そうさいされる。残のこるのは外側そとがわの境界きょうかいだけである。

境界きょうかいの境界きょうかいが 0 であること

一般いっぱん Stokes 定理ていりの背後はいごには、内部境界ないぶきょうかいが互たがいに相殺そうさいされる構造こうぞうがある。この構造こうぞうは「境界きょうかいの境界きょうかいは 0」という幾何的事実きかがくてきじじつに対応たいおうする。外微分がいびぶんの $d^{2} = 0$ も、この構造こうぞうの解析的表現かいせきてきひょうげんである。

直感的ちょっかんてきな説明せつめい

内部ないぶで測はかった微小変化びしょうへんかを全体ぜんたいで足たし合あわせると、内部境界ないぶきょうかいの寄与きよは相殺そうさいされ、外側そとがわの境界きょうかいだけが残のこる。この相殺構造そうさいこうぞうを形式けいしきと外微分がいびぶんで表現ひょうげんしたものが一般いっぱん Stokes 定理ていりである。

どこまで成なり立たつか

この定理ていりには、向むき付づけ、滑なめらかさ、境界きょうかいの扱あつかいが必要ひつようである。特異点とくいてんや非滑ひなめらかな領域りょういきでは、仮定かていを再確認さいかくにんする必要ひつようがある。