Green・Gauss・Stokes の定理ていり

date2026-07-15document_iddoc_20772b8be8e12158fcca76f73a6d7b4fdescriptionGreen・Gauss・Stokes の定理を、局所的な微分量と境界上の積分量を結ぶ同一原理として整理し、適用条件と計算例も確認する。prerequisites線積分と保存場 / 面積分と流束type講義content_typelecturestatusactive

mathvector-calculusstokes-theoremlecture

1導入どうにゅう

この講義こうぎでは、Green・Gauss・Stokes の定理ていりを、領域内部りょういきないぶの微分量びぶんりょうと境界上きょうかいじょうの積分量せきぶんりょうを結むすぶ同一原理どういつげんりとして確認かくにんする。

2方針ほうしん

Green の定理ていりは平面領域へいめんりょういきの回転かいてんと境界線きょうかいせんの循環じゅんかんを結むすぶ。Gauss の発散定理はっさんていりは体積領域たいせきりょういきの発散はっさんと境界面きょうかいめんの流束りゅうそくを結むすぶ。Stokes の定理ていりは曲面上きょくめんじょうの curl と境界曲線きょうかいきょくせんの循環じゅんかんを結むすぶ。

3定理ていりを適用てきようする前まえの確認事項かくにんじこう

定理ていりの適用前てきようまえには、積分対象せきぶんたいしょう、向むき、および領域内部りょういきないぶにおける場ばの滑なめらかさを確認かくにんする必要ひつようがある。Green では平面領域へいめんりょういきと正向せいこうきの境界きょうかい、Gauss では閉曲面へいきょくめんと外向がいこうき法線ほうせん、Stokes では向むき付づけられた曲面きょくめんと右手則みぎてそくにより誘導ゆうどうされる境界曲線きょうかいきょくせんの向むきが前提ぜんていになる。

4代表式だいひょうしき

Green の定理ていりの一形いっけいは

\oint_{\partial D} P d x + Q d y = \iint_{D} (\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}) d A

$D$ は有限個ゆうげんこの区分的くぶんてき $C^{1}$ Jordan 曲線きょくせんを境界きょうかいに持もつ有界平面領域ゆうかいへいめんりょういき、 $P, Q$ は $\overline{D}$ の開近傍かいきんぼうで $C^{1}$ 級きゅうとする。 $\partial D$ は誘導ゆうどうされた正せいの向むき、すなわち外周がいしゅうは反時計回はんとけいまわり、穴あなの境界きょうかいは時計回とけいまわりに向むき付づける。左辺さへんは全境界成分ぜんきょうかいせいぶんの循環じゅんかんの和わ、右辺うへんは内部ないぶの回転密度かいてんみつどの総和そうわである。

Gauss の発散定理はっさんていりは

\iint_{\partial V} F \cdot n d S = ∭_{V} \nabla \cdot F d V

である。

$V$ は区分的くぶんてき $C^{1}$ 境界きょうかいを持もつ有界領域ゆうかいりょういき、 $F$ は $\overline{V}$ の開近傍かいきんぼうで $C^{1}$ 級きゅうとする。 $n$ は $V$ から外向そとむきの単位法線たんいほうせんであり、空洞くうどうの境界きょうかいでは空洞側くうどうがわを向むく。左辺さへんは全境界面成分ぜんきょうかいせいぶんを通とおる総流束そうりゅうそく、右辺うへんは内部ないぶの発散密度はっさんみつどの体積積分たいせきせきぶんである。

Stokes の定理ていりは、向むき付づけられた曲面きょくめん $S$ とその境界きょうかい $\partial S$ に対たいして

\oint_{\partial S} F \cdot d r = \iint_{S} (\nabla \times F) \cdot n d S

と述のべられる。 $S$ は向むきを選択せんたくしたコンパクトな区分的くぶんてき $C^{1}$ 正則曲面せいそくきょくめんで、境界きょうかいも区分的くぶんてき $C^{1}$ とし、 $F$ は $S$ を含ふくむ開集合かいしゅうごうで $C^{1}$ 級きゅうとする。 $\partial S$ が複数ふくすうの成分せいぶんを持もつとき、左辺さへんは各成分かくせいぶんの線積分せんせきぶんの和わである。境界曲線きょうかいきょくせんは、選択せんたくした法線ほうせん $n$ に右手みぎての親指おやゆびを向むけたときに指ゆびが曲まがる方向ほうこうである。同値どうちに、境界きょうかいを進行しんこうする観察者かんさつしゃが頭部とうぶを $n$ の方向ほうこうへ向むけると、曲面きょくめんは左側ひだりがわに位置いちする。 $n$ を反転はんてんすると境界きょうかいの向むきも反転はんてんする。

5各定理かくていりの役割やくわり

Green の定理ていりは平面領域へいめんりょういきで、境界曲線きょうかいきょくせんに沿そう循環じゅんかんを内部ないぶの curl の積分せきぶんへ変換へんかんする。Gauss の定理ていりは閉曲面へいきょくめんを通過つうかする流束りゅうそくを内部ないぶの divergence の積分せきぶんへ変換へんかんする。Stokes の定理ていりは曲面きょくめんの境界きょうかいに沿そう循環じゅんかんを曲面上きょくめんじょうの curl の流束りゅうそくへ変換へんかんする。

定理ていり	境界側きょうかいがわ	内部側ないぶがわ
Green	平面境界へいめんきょうかいの循環じゅんかん	領域内りょういきないの回転密度かいてんみつど
Gauss	閉曲面へいきょくめんの流束りゅうそく	体積内たいせきないの発散密度はっさんみつど
Stokes	境界曲線きょうかいきょくせんの循環じゅんかん	曲面上きょくめんじょうの curl の法線成分ほうせんせいぶん

6なぜ同一原理どういつげんりと言いえるか

領域りょういきを小片しょうへんへ分割ぶんかつすると、内部ないぶで接せっする人工的じんこうてきな境界きょうかいの寄与きよは向むきが逆ぎゃくになるため相殺そうさいされる。最後さいごに残のこるのは、穴あなや空洞くうどうの境界きょうかいも含ふくむ領域全体りょういきぜんたいの境界きょうかいである。この相殺そうさいが、Green・Gauss・Stokes の背後はいごにある共通構造きょうつうこうぞうである。

7Green の計算例けいさんれい

$F = (- y / 2, x / 2)$ とし、 $D$ を単位円板たんいえんばんとする。Green の定理ていりにより、

\oint_{\partial D} F \cdot d r = \iint_{D} 1 d A = π

である。境界きょうかいを直接ちょくせつパラメータ表示ひょうじしても同おなじ値あたいを得える。この一致いっちが、境界積分きょうかいせきぶんと内部積分ないぶせきぶんの対応たいおうを示しめす。

直接計算ちょくせつけいさんでは、 $\partial D$ を $r (t) = (\cos t, \sin t)$ 、 $0 [PARSE ERROR: Undefined("Command(\"le\")")] t [PARSE ERROR: Undefined("Command(\"le\")")] 2 π$ と置おけば、

F (r (t)) = (- \frac{\sin t}{2}, \frac{\cos t}{2}), r^{'} (t) = (- \sin t, \cos t)

だから

F (r (t)) \cdot r^{'} (t) = \frac{1}{2}

となり、

\oint_{\partial D} F \cdot d r = \int_{0}^{2 π} \frac{1}{2} d t = π

を得える。Green の定理ていりは、この直接計算ちょくせつけいさんを内部積分ないぶせきぶんへ変換へんかんし、境界積分きょうかいせきぶんと内部積分ないぶせきぶんの構造的関係こうぞうてきかんけいを明確めいかくにする。

8Gauss の計算例けいさんれい

$F = (x, y, z)$ とし、 $V$ を原点げんてんを中心ちゅうしんとする半径はんけい $R > 0$ の球きゅうとする。 $\nabla \cdot F = 3$ なので、

∭_{V} \nabla \cdot F d V = 3 \cdot \frac{4 π R^{3}}{3} = 4 π R^{3}

である。一方いっぽう、境界球面きょうかいきゅうめんでは $F \cdot n = R$ であり、面積めんせきは $4 π R^{2}$ なので流束りゅうそくも $4 π R^{3}$ である。

この例れいは、発散はっさんが各点かくてんで一定値いっていち 3 を取とる場ばの総流束そうりゅうそくが、体積たいせきに比例ひれいして増加ぞうかすることを示しめしている。Gauss の定理ていりは、表面ひょうめんの直接積分ちょくせつせきぶんより内部ないぶの divergence のほうが簡単かんたんな場合ばあいに特とくに有効ゆうこうである。

9Stokes の計算例けいさんれい

$F = (- y / 2, x / 2, 0)$ とし、 $S$ を $x y$ 平面上へいめんじょうの単位円板たんいえんばん、法線ほうせんを上向うわむきとする。 $\nabla \times F = (0, 0, 1)$ なので、

\iint_{S} (\nabla \times F) \cdot n d S = π

である。境界きょうかいは反時計回はんとけいまわりの単位円たんいえんであり、線積分せんせきぶんも $π$ になる。Green の定理ていりは、この平面へいめん Stokes 定理ていりの形かたちとして解釈かいしゃくできる。

10直接計算ちょくせつけいさんと定理利用ていりりようの使つかい分わけ

境界きょうかいが単純たんじゅんで、場ばの表示ひょうじも簡単かんたんなら直接計算ちょくせつけいさんで十分じゅうぶんである。一方いっぽう、境界きょうかいが複雑ふくざつで内部量ないぶりょうのほうが簡単かんたんなら、Green・Gauss・Stokes により計算けいさんが容易よういな積分表示せきぶんひょうじへ変換へんかんすることが有効ゆうこうである。

11微分形式びぶんけいしきへの接続せつぞく

これら三みっつの定理ていりは、次元じげんや積分対象せきぶんたいしょうが異ことなるだけで、内部ないぶの微分びぶんと境界きょうかいの積分せきぶんを結むすぶ同一構造どういつこうぞうを持もつ。この構造こうぞうは微分形式びぶんけいしきにより一般化いっぱんかされる。

data/lecture/math/exterior-algebra/general-stokes-theorem-and-vector-calculus-dictionary.lecture.n.md

12Laplacian への接続せつぞく

$u$ を $\overline{V}$ の開近傍かいきんぼうで $C^{2}$ とし、 $F = \nabla u$ を Gauss の発散定理はっさんていりへ代入だいにゅうすると、

\iint_{\partial V} \nabla u \cdot n d S = ∭_{V} Δ u d V

となる。左辺さへんは $\partial u / \partial n = \nabla u \cdot n$ の境界面上きょうかいめんじょうの面積分めんせきせきぶん、すなわち勾配こうばいの外向そとむき流束りゅうそくであり、内部ないぶの Laplacian と結むすばれる。次講義じこうぎでは $Δ u = \nabla \cdot \nabla u$ の意味いみと物理的応用ぶつりてきおうようを扱あつかう。

data/lecture/math/vector-calculus/laplacian-and-physical-applications.lecture.n.md

13特異点とくいてんがある場合ばあい

領域りょういきの向むき、境界きょうかい、滑なめらかさを確認かくにんする。特異点とくいてんが領域内部りょういきないぶにある場合ばあいは、その点てんを除外じょがいした領域りょういきで再構成さいこうせいする必要ひつようがある。たとえば

F (x, y) = (- \frac{y}{x^{2} + y^{2}}, \frac{x}{x^{2} + y^{2}})

は原点げんてんで定義ていぎされないため、原点げんてんを含ふくむ円板えんばんへ Green の定理ていりをそのまま適用てきようしてはならない。

原点げんてんの周囲しゅういの小円板しょうえんばんを除のぞいて環状領域かんじょうりょういきへ Green の定理ていりを適用てきようすると、外周がいしゅうは反時計回はんとけいまわり、内周ないしゅうは時計回とけいまわりに向むき付づけられる。この場ばでは領域内りょういきないの curl は 0 だが、外周がいしゅうの循環じゅんかん $2 π$ と内周ないしゅうの循環じゅんかん $- 2 π$ が相殺そうさいする。特異点とくいてんを除外じょがいするときは、新あらたに生しょうじる内側境界うちがわきょうかいの寄与きよを捨すててはならない。