院試hub

グリーン・ガウス・ストークスの定理成り立つ条件・向きの決め方・計算例

グリーンの定理は平面の閉曲線に沿う線積分を内部の2重積分に、ガウスの発散定理は閉曲面を通る流束を内部の ∇⋅F\nabla\cdot\boldsymbol{F} の体積積分に、ストークスの定理は曲面の縁に沿う循環を曲面を通る ∇×F\nabla\times\boldsymbol{F} の流束に書き換える。どれも場が閉じた領域全体(境界を含む)で C1C^1 級であることと、境界の向きの約束が条件になる。領域の中に場の特異点があると等式は崩れる。

ベクトル解析 の第3単元(全3単元)。先に読む単元:勾配・発散・回転、線積分と面積分

院試数学 基礎完成シリーズ 微分積分編

基礎ノートと類題を答案の形で解いた問題集(2,480円)。収録章と見本ページを商品ページで確認できる。過去問の本文は収録していない。

微分積分編の内容を見る

グリーンの定理

定理・法則

グリーンの定理

条件

DD は平面の有界な閉領域で、境界 ∂D\partial D は有限個の区分的に滑らかな単純閉曲線からなる。∂D\partial D の向きは、進む向きの左側に DD が見える向き(外側の境界は反時計回り、穴の境界は時計回り)。P,QP, Q は DD を含む開集合で C1C^1 級。

主張

∮∂DP dx+Q dy=∬D(∂Q∂x−∂P∂y)dx dy\oint_{\partial D} P\, dx + Q\, dy = \iint_D \left( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right) dx\, dy

要点

DD が縦線集合・横線集合の場合に、∬D∂yP dx dy\iint_D \partial_y P\,dx\,dy を yy で先に積分して境界の線積分に直し、一般の領域は分割して貼り合わせる。共通の境界上の線積分は逆向きで打ち消し合う。

グリーンの定理から出る式

面積
∣D∣=∮∂Dx dy=−∮∂Dy dx=12∮∂D(x dy−y dx)|D| = \oint_{\partial D} x\, dy = -\oint_{\partial D} y\, dx = \frac{1}{2}\oint_{\partial D} (x\, dy - y\, dx)

Q=xQ = x、P=0P = 0 などとおくと ∂xQ−∂yP=1\partial_x Q - \partial_y P = 1。

ベクトル形
∮∂DF⋅dr=∬D(∇×F)⋅ez dx dy\oint_{\partial D} \boldsymbol{F}\cdot d\boldsymbol{r} = \iint_D (\nabla\times\boldsymbol{F})\cdot\boldsymbol{e}_z\, dx\, dy

F=(P,Q,0)\boldsymbol{F} = (P, Q, 0) とした平面のストークスの定理である。

計算例

グリーンの定理で線積分を計算する

単位円 CC を反時計回りに一周する ∮C(x2−y) dx+(x+y2) dy\oint_C (x^2 - y)\, dx + (x + y^2)\, dy を求めよ。

解答

P=x2−yP = x^2 - y、Q=x+y2Q = x + y^2 で ∂xQ−∂yP=1−(−1)=2\partial_x Q - \partial_y P = 1 - (-1) = 2。

∮CP dx+Q dy=∬x2+y2≤12 dx dy=2π\oint_C P\,dx + Q\,dy = \iint_{x^2+y^2\le 1} 2\, dx\, dy = 2\pi

検算

直接 x=cos⁡tx = \cos t、y=sin⁡ty = \sin t を代入すると、被積分関数は −cos⁡2tsin⁡t+sin⁡2t+cos⁡2t+sin⁡2tcos⁡t-\cos^2 t\sin t + \sin^2 t + \cos^2 t + \sin^2 t\cos t。t∈[0,2π]t \in [0, 2\pi] で積分すると cos⁡2tsin⁡t\cos^2 t\sin t と sin⁡2tcos⁡t\sin^2 t\cos t の項は 00 になり、残りは ∫02π1 dt=2π\int_0^{2\pi} 1\,dt = 2\pi。

計算例

楕円の面積

楕円 x2a2+y2b2≤1\dfrac{x^2}{a^2} + \dfrac{y^2}{b^2} \le 1 の面積をグリーンの定理で求めよ。

解答

境界を x=acos⁡tx = a\cos t、y=bsin⁡ty = b\sin t(反時計回り)と表す。x dy−y dx=(abcos⁡2t+absin⁡2t) dt=ab dtx\,dy - y\,dx = (ab\cos^2 t + ab\sin^2 t)\,dt = ab\,dt なので

∣D∣=12∫02πab dt=πab|D| = \frac{1}{2}\int_0^{2\pi} ab\, dt = \pi ab

検算

a=ba = b のとき円の面積 πa2\pi a^2 になる。時計回りにパラメータ表示すると −πab-\pi ab が出るので、向きを確かめる。

ガウスの発散定理

定理・法則

ガウスの発散定理

条件

VV は空間の有界な閉領域で、境界 ∂V\partial V は区分的に滑らかな閉曲面。n\boldsymbol{n} は ∂V\partial V の外向き単位法線。F\boldsymbol{F} は VV を含む開集合で C1C^1 級。

主張

∬∂VF⋅n dS=∭V∇⋅F dV\iint_{\partial V} \boldsymbol{F}\cdot\boldsymbol{n}\, dS = \iiint_V \nabla\cdot\boldsymbol{F}\, dV

要点

直方体では、xx 方向に向かい合う2面の流束の差が ∭∂xFx dV\iiint \partial_x F_x\,dV に等しいことを微積分の基本定理で示し、3方向を足す。一般の領域は細かく分けて貼り合わせる。

計算例

両辺を計算して一致を確かめる

F=(x3, y3, z3)\boldsymbol{F} = (x^3,\ y^3,\ z^3) について、原点中心・半径 aa の球面を外向きに通る流束を求めよ。

解答

∇⋅F=3(x2+y2+z2)=3r2\nabla\cdot\boldsymbol{F} = 3(x^2 + y^2 + z^2) = 3r^2。発散定理と球座標 dV=r2sin⁡θ dr dθ dϕdV = r^2\sin\theta\,dr\,d\theta\,d\phi から

∭V3r2 dV=3∫02π ⁣ ⁣∫0π ⁣ ⁣∫0ar4sin⁡θ dr dθ dϕ=3⋅a55⋅2⋅2π=12πa55\iiint_V 3r^2\, dV = 3\int_0^{2\pi}\!\!\int_0^{\pi}\!\!\int_0^a r^4\sin\theta\, dr\, d\theta\, d\phi = 3\cdot\frac{a^5}{5}\cdot 2\cdot 2\pi = \frac{12\pi a^5}{5}

検算

面積分の側で計算すると、球面上で F⋅n=(x4+y4+z4)/a\boldsymbol{F}\cdot\boldsymbol{n} = (x^4 + y^4 + z^4)/a。球面上の平均 ⟨x4⟩=a4/5\langle x^4 \rangle = a^4/5 を使うと 3a4/5a⋅4πa2=12πa55\frac{3a^4/5}{a}\cdot 4\pi a^2 = \frac{12\pi a^5}{5} で一致する。次元は [F][面積]=L3⋅L2=L5[\boldsymbol{F}][\text{面積}] = L^3 \cdot L^2 = L^5 で合う。

計算例

特異点があると成り立たない例

F=r/r3\boldsymbol{F} = \boldsymbol{r}/r^3 が原点中心・半径 aa の球面を外向きに通る流束を求め、発散定理と比べよ。

解答

球面上で F⋅n=ra3⋅ra=1a2\boldsymbol{F}\cdot\boldsymbol{n} = \dfrac{\boldsymbol{r}}{a^3}\cdot\dfrac{\boldsymbol{r}}{a} = \dfrac{1}{a^2} なので

∬SF⋅n dS=1a2⋅4πa2=4π\iint_S \boldsymbol{F}\cdot\boldsymbol{n}\, dS = \frac{1}{a^2}\cdot 4\pi a^2 = 4\pi

一方、r≠0r \neq 0 では ∇⋅F=0\nabla\cdot\boldsymbol{F} = 0 である。F\boldsymbol{F} は原点で定義されず、C1C^1 級の条件を満たさないので発散定理は使えない。原点を含まない領域(たとえば a≤r≤ba \le r \le b の球殻)では発散定理が成り立ち、内外の球面の流束はどちらも 4π4\pi で差が 00 になる。

検算

値は aa によらない。これは点電荷のつくる電場のガウスの法則と同じ形で、原点を囲む任意の閉曲面で流束が 4π4\pi になる。

ストークスの定理

定理・法則

ストークスの定理

条件

SS は向きのついた区分的に滑らかな曲面で、縁 ∂S\partial S は区分的に滑らかな閉曲線。∂S\partial S の向きは、単位法線 n\boldsymbol{n} の側に頭を置いて縁を進むと SS が左に見える向き(右ねじの規則)。F\boldsymbol{F} は SS を含む開集合で C1C^1 級。

主張

∮∂SF⋅dr=∬S(∇×F)⋅n dS\oint_{\partial S} \boldsymbol{F}\cdot d\boldsymbol{r} = \iint_S (\nabla\times\boldsymbol{F})\cdot\boldsymbol{n}\, dS

要点

曲面をパラメータ表示してパラメータ平面のグリーンの定理に帰着させる。同じ縁をもつ2つの曲面では右辺が等しくなるので、計算しやすい曲面(平面の円板など)に取り替えられる。メビウスの帯のように向きを決められない曲面では成り立たない。

計算例

半球面での確認

F=(z, x, y)\boldsymbol{F} = (z,\ x,\ y) と、上半球面 S:x2+y2+z2=1, z≥0S: x^2 + y^2 + z^2 = 1,\ z \ge 0(法線は外向き)について、ストークスの定理の両辺を計算せよ。

解答

∇×F=(∂yy−∂zx, ∂zz−∂xy, ∂xx−∂yz)=(1,1,1)\nabla\times\boldsymbol{F} = (\partial_y y - \partial_z x,\ \partial_z z - \partial_x y,\ \partial_x x - \partial_y z) = (1, 1, 1)。

縁は xyxy 平面の単位円で、外向き法線(上向き)に対して反時計回り。r(t)=(cos⁡t,sin⁡t,0)\boldsymbol{r}(t) = (\cos t, \sin t, 0) とおくと F=(0,cos⁡t,sin⁡t)\boldsymbol{F} = (0, \cos t, \sin t)、r′=(−sin⁡t,cos⁡t,0)\boldsymbol{r}' = (-\sin t, \cos t, 0) で

∮∂SF⋅dr=∫02πcos⁡2t dt=π\oint_{\partial S}\boldsymbol{F}\cdot d\boldsymbol{r} = \int_0^{2\pi}\cos^2 t\, dt = \pi

右辺は球面の外向き法線 n=(x,y,z)\boldsymbol{n} = (x, y, z) を使って ∬S(x+y+z) dS\iint_S (x + y + z)\,dS。xx、yy の項は対称性で 00、∬Sz dS=∫02π ⁣∫0π/2cos⁡θsin⁡θ dθ dϕ=π\iint_S z\,dS = \int_0^{2\pi}\!\int_0^{\pi/2}\cos\theta\sin\theta\,d\theta\,d\phi = \pi。両辺とも π\pi。

検算

同じ縁をもつ円板 x2+y2≤1x^2 + y^2 \le 1、z=0z = 0(法線 ez\boldsymbol{e}_z)に取り替えると、(1,1,1)⋅ez=1(1,1,1)\cdot\boldsymbol{e}_z = 1 を面積 π\pi の円板で積分して π\pi。

3つの定理の対応と使い分け

3つの定理は、領域の内部での微分(∇⋅\nabla\cdot や ∇×\nabla\times)の積分が、境界での値の積分に等しいという同じ形をしている。1次元の ∫abf′(x) dx=f(b)−f(a)\int_a^b f'(x)\,dx = f(b) - f(a) を高い次元に広げたものとみなせる。

グリーン(平面)
∮∂D(P dx+Q dy)=∬D(Qx−Py) dx dy\oint_{\partial D} (P\,dx + Q\,dy) = \iint_D (Q_x - P_y)\, dx\, dy

境界は DD を左に見る向き。

ガウス(空間の領域)
∬∂VF⋅n dS=∭V∇⋅F dV\iint_{\partial V} \boldsymbol{F}\cdot\boldsymbol{n}\, dS = \iiint_V \nabla\cdot\boldsymbol{F}\, dV

n\boldsymbol{n} は外向き。

ストークス(空間の曲面)
∮∂SF⋅dr=∬S(∇×F)⋅n dS\oint_{\partial S} \boldsymbol{F}\cdot d\boldsymbol{r} = \iint_S (\nabla\times\boldsymbol{F})\cdot\boldsymbol{n}\, dS

n\boldsymbol{n} と縁の向きは右ねじの関係。

グリーンの第1恒等式
∭V(f∇2g+∇f⋅∇g) dV=∬∂Vf∂g∂n dS\iiint_V (f\nabla^2 g + \nabla f\cdot\nabla g)\, dV = \iint_{\partial V} f \frac{\partial g}{\partial n}\, dS

発散定理を F=f∇g\boldsymbol{F} = f\nabla g に使う。f,gf, g は C2C^2 級。∂g/∂n=∇g⋅n\partial g/\partial n = \nabla g\cdot\boldsymbol{n}。

閉曲面の流束で被積分関数が複雑なら、発散が簡単かを先に見る。曲面が閉じていなければ、平面の蓋を足して閉曲面にし、蓋の流束を引く。循環を求める問題では、回転が簡単ならストークスの定理で縁を張る平らな面に取り替える。電磁気では、これらの定理でガウスの法則やマクスウェル方程式の積分形と微分形を行き来する。

答案でよくある誤り

  1. 1

    場の特異点を含む領域で定理を使う。r/r3\boldsymbol{r}/r^3 の原点や、平面の渦の場 (−y,x)/(x2+y2)(-y, x)/(x^2 + y^2) の原点を含む領域では等式が崩れる。特異点を小さな球や円で囲んで除き、その境界の寄与を別に計算する。

  2. 2

    開いた曲面に発散定理を使う。発散定理は閉曲面にだけ使える。開いた曲面なら蓋を足して閉じ、蓋の流束を差し引く。

  3. 3

    ストークスの定理で縁の向きと法線の向きを独立に決める。法線を上向きにしたら、上から見て縁は反時計回りにとる。

  4. 4

    穴のある領域のグリーンの定理で、内側の境界も反時計回りにとる。内側の境界は時計回り(領域を左に見る向き)で、外側の線積分から内側の反時計回りの線積分を引く形になる。

  5. 5

    発散定理の右辺で ∇⋅F\nabla\cdot\boldsymbol{F} の代わりに ∣F∣|\boldsymbol{F}| や F⋅n\boldsymbol{F}\cdot\boldsymbol{n} を体積積分する。体積側では発散(スカラー)を積分し、面側でだけ法線成分を使う。

ベクトル解析の前後の単元

このページの本文を数式のLaTeXのまま読むには Markdown版。最終更新 2026-11-16。誤りに気づいたら 運営者 へ連絡してほしい。

院試数学 基礎完成シリーズ 微分積分編

基礎ノートと類題を答案の形で解いた問題集(2,480円)。収録章と見本ページを商品ページで確認できる。過去問の本文は収録していない。

微分積分編の内容を見る