ベクトル解析完全講座 第11回 面積分とガウスの発散定理

基礎

ベクトル解析完全講座

第11回 / 全12回

第1回へ

第 10 回では、ベクトル場を曲線に沿って足し合わせる 線積分

CFdr\int_C \mathbf{F}\cdot d\mathbf{r}

を見ました。

今回は、曲線ではなく に注目します。

ベクトル場が面をどれだけ通り抜けるか

を測る量を考えます。

これが 面積分 です。

さらに、その面積分と発散が深く結びついていることを表すのが ガウスの発散定理 です。

1. 今回学ぶこと

この記事では、次の内容を扱います。

  • 面積分
  • 法線方向成分
  • 流束
  • ガウスの発散定理

2. 直感的なイメージ

ベクトル場を流れ場だと思ってください。

空間の中に薄い膜のような面を置くと、その面を

  • 外へ突き抜ける流れ
  • 内へ入り込む流れ
  • 面に沿って横に流れるだけの流れ

があります。

このうち、面積分が見ているのは

面に垂直な向きにどれだけ流れが通過しているか

です。

面に沿って流れている成分は、面を通り抜けていないので寄与しません。

そして、もし閉じた面で空間の一部分を囲うと、その内部で湧き出した流れの総量と、表面から外へ出ていく流れの総量は一致しそうです。

この直感を正確に表したものが発散定理です。

3. 基本事項

3.1 面積分とは何か

曲面

SS

とベクトル場

F\mathbf{F}

に対して、面積分を

SFndS\iint_S \mathbf{F}\cdot \mathbf{n}\,dS

と書きます。

ここで

  • n\mathbf{n} は曲面の単位法線ベクトル
  • dSdS は微小な面積

です。

したがって

Fn\mathbf{F}\cdot \mathbf{n}

は、その点でベクトル場が法線方向にどれだけ成分を持つかを表します。

それに微小面積 dSdS を掛けて、面全体で足し合わせたものが面積分です。

3.2 なぜ内積が出てくるのか

線積分で内積が出てきたのは、進む向きの成分だけを取り出すためでした。

面積分でもまったく同じ考え方です。

今度は「進む向き」ではなく「面に垂直な向き」を見たいので、

Fn\mathbf{F}\cdot \mathbf{n}

という内積で、法線方向成分を取り出しています。

したがって、

  • ベクトル場が法線と同じ向きなら正
  • 逆向きなら負
  • 面に接する向きなら 0

になります。

3.3 流束という見方

面積分

SFndS\iint_S \mathbf{F}\cdot \mathbf{n}\,dS

流束 と呼ばれることが多いです。

これは、曲面を通り抜ける流れの総量という意味です。

たとえば流体の速度場なら、

  • 外向きに大きければ流束は正
  • 内向きに大きければ流束は負

と読めます。

つまり面積分は、ベクトル場の「面を横切る強さ」を測っているわけです。

3.4 パラメータ表示での計算

曲面 SS

r(u,v)=(x(u,v)y(u,v)z(u,v))((u,v)D)\mathbf{r}(u,v) = \begin{pmatrix} x(u,v)\\[0.35em] y(u,v)\\[0.35em] z(u,v) \end{pmatrix} \qquad ((u,v)\in D)

のようにパラメータ表示されているとします。

このとき、曲面の向きを持った微小面積は

ndS=(ru×rv)dudv\mathbf{n}\,dS = \left(\frac{\partial \mathbf{r}}{\partial u}\times\frac{\partial \mathbf{r}}{\partial v}\right)\,du\,dv

で表されます。

したがって面積分は

SFndS=DF(r(u,v))(ru×rv)dudv\iint_S \mathbf{F}\cdot \mathbf{n}\,dS = \iint_D \mathbf{F}(\mathbf{r}(u,v))\cdot \left(\frac{\partial \mathbf{r}}{\partial u}\times\frac{\partial \mathbf{r}}{\partial v}\right)\,du\,dv

となります。

この

ndS=(ru×rv)dudv\mathbf{n}\,dS = \left(\frac{\partial \mathbf{r}}{\partial u}\times\frac{\partial \mathbf{r}}{\partial v}\right)\,du\,dv

の形がなぜ自然に出るのかは、次の記事で補足しています。

寄り道

実際の計算手順は

  1. 曲面をパラメータ表示する
  2. ru,rv\mathbf{r}_u,\mathbf{r}_v を求める
  3. 外積 ru×rv\mathbf{r}_u\times\mathbf{r}_v を作る
  4. ベクトル場を代入して内積をとる
  5. 最後に 2 変数積分する

です。

たとえば、xyxy 平面上の単位正方形

0x1,0y1,z=00\le x\le 1,\qquad 0\le y\le 1,\qquad z=0

を上向きに向けた面 SS とし、

F(x,y,z)=(002)\mathbf{F}(x,y,z)= \begin{pmatrix} 0\\[0.35em] 0\\[0.35em] 2 \end{pmatrix}

を考えます。

このとき

r(u,v)=(uv0)(0u,v1)\mathbf{r}(u,v)= \begin{pmatrix} u\\[0.35em] v\\[0.35em] 0 \end{pmatrix} \qquad (0\le u,v\le 1)

とおけるので、

ru=(100),rv=(010)\mathbf{r}_u= \begin{pmatrix} 1\\[0.35em] 0\\[0.35em] 0 \end{pmatrix}, \qquad \mathbf{r}_v= \begin{pmatrix} 0\\[0.35em] 1\\[0.35em] 0 \end{pmatrix}

です。

したがって

ru×rv=(001)\mathbf{r}_u\times\mathbf{r}_v= \begin{pmatrix} 0\\[0.35em] 0\\[0.35em] 1 \end{pmatrix}

となり、

F(r(u,v))(ru×rv)=(002)(001)=2\mathbf{F}(\mathbf{r}(u,v))\cdot (\mathbf{r}_u\times\mathbf{r}_v) = \begin{pmatrix} 0\\[0.35em] 0\\[0.35em] 2 \end{pmatrix} \cdot \begin{pmatrix} 0\\[0.35em] 0\\[0.35em] 1 \end{pmatrix} =2

です。

よって

SFndS=01012dudv=2\iint_S \mathbf{F}\cdot \mathbf{n}\,dS = \int_0^1\int_0^1 2\,du\,dv =2

となります。

つまり、上向きに一定の強さ 2 で流れている場が、面積 1 の正方形を通り抜けるので、流束は 2 になります。

3.5 閉曲面と外向き法線

発散定理を使うときは、曲面が 閉曲面 であることが重要です。

閉曲面とは、球面や立方体の表面のように、中身を完全に囲っている面です。

このとき法線ベクトルは普通、

内部から外へ向かう向き

を正としてとります。

これを 外向き法線 といいます。

どちら向きを正にとるかで面積分の符号が変わるので、向きは本質的です。

3.6 ガウスの発散定理

閉曲面 SS が立体 VV の境界

S=VS=\partial V

になっているとき、

VdivFdV=SFndS\iiint_V \operatorname{div}\mathbf{F}\,dV = \iint_S \mathbf{F}\cdot \mathbf{n}\,dS

が成り立ちます。

これが ガウスの発散定理 です。

左辺は、立体の内部での発散を体積全体で足し合わせたものです。

つまり

内部でどれだけ流れが湧き出しているかの総量

を表します。

右辺は、その立体を囲む表面を通って外へ出ていく流れの総量です。

つまり発散定理は、

中で生まれた流れの総量 = 表面から外へ出ていく総量

と言っているわけです。

寄り道

3.7 発散定理の具体例

ベクトル場

F(x,y,z)=(xyz)\mathbf{F}(x,y,z)= \begin{pmatrix} x\\[0.35em] y\\[0.35em] z \end{pmatrix}

を考え、SS を単位球面、VV をその内部とします。

このとき

divF=xx+yy+zz=3\operatorname{div}\mathbf{F} = \frac{\partial x}{\partial x} + \frac{\partial y}{\partial y} + \frac{\partial z}{\partial z} =3

です。

したがって

VdivFdV=V3dV=3Vol(V)\iiint_V \operatorname{div}\mathbf{F}\,dV = \iiint_V 3\,dV = 3\operatorname{Vol}(V)

です。

単位球の体積は

Vol(V)=4π3\operatorname{Vol}(V)=\frac{4\pi}{3}

なので、

VdivFdV=4π\iiint_V \operatorname{div}\mathbf{F}\,dV =4\pi

となります。

発散定理より、これはそのまま球面を通る外向き流束

SFndS\iint_S \mathbf{F}\cdot \mathbf{n}\,dS

の値でもあります。

実際、単位球面では外向き単位法線ベクトルは

n=(xyz)\mathbf{n}= \begin{pmatrix} x\\[0.35em] y\\[0.35em] z \end{pmatrix}

です。

また球面上では

F=(xyz)\mathbf{F}= \begin{pmatrix} x\\[0.35em] y\\[0.35em] z \end{pmatrix}

なので

Fn=x2+y2+z2=1\mathbf{F}\cdot\mathbf{n} = x^2+y^2+z^2 =1

となります。

したがって

SFndS=S1dS=4π\iint_S \mathbf{F}\cdot \mathbf{n}\,dS = \iint_S 1\,dS =4\pi

です。

このように、体積積分を計算しても面積分を計算しても同じ値 4π4\pi になります。

4. 例題

例題 1

ベクトル場

F(x,y,z)=(003)\mathbf{F}(x,y,z)= \begin{pmatrix} 0\\[0.35em] 0\\[0.35em] 3 \end{pmatrix}

に対して、xyxy 平面上の単位正方形

0x1,0y1,z=00\le x\le 1,\quad 0\le y\le 1,\quad z=0

を上向きに向けた面 SS を通る流束を求めよ。

解答

法線ベクトルは

n=(001)\mathbf{n}= \begin{pmatrix} 0\\[0.35em] 0\\[0.35em] 1 \end{pmatrix}

です。

したがって

Fn=3\mathbf{F}\cdot\mathbf{n}=3

なので、

SFndS=01013dxdy=3\iint_S \mathbf{F}\cdot\mathbf{n}\,dS = \int_0^1\int_0^1 3\,dx\,dy =3

です。

例題 2

ベクトル場

F(x,y,z)=(xyz)\mathbf{F}(x,y,z)= \begin{pmatrix} x\\[0.35em] y\\[0.35em] z \end{pmatrix}

に対して、単位球面を通る外向き流束を求めよ。

解答

発散は

divF=3\operatorname{div}\mathbf{F}=3

です。

単位球の体積は

4π3\frac{4\pi}{3}

なので、まず体積側は

V3dV=34π3=4π\iiint_V 3\,dV = 3\cdot\frac{4\pi}{3} =4\pi

です。

一方、単位球面では外向き単位法線ベクトルが

n=(xyz)\mathbf{n}= \begin{pmatrix} x\\[0.35em] y\\[0.35em] z \end{pmatrix}

であり、球面上では

F=(xyz)\mathbf{F}= \begin{pmatrix} x\\[0.35em] y\\[0.35em] z \end{pmatrix}

なので

Fn=1\mathbf{F}\cdot\mathbf{n}=1

です。

したがって面積側は

SFndS=S1dS=4π\iint_S \mathbf{F}\cdot\mathbf{n}\,dS = \iint_S 1\,dS =4\pi

となり、両辺が一致します。

例題 3

ベクトル場

F(x,y,z)=(yx0)\mathbf{F}(x,y,z)= \begin{pmatrix} -y\\[0.35em] x\\[0.35em] 0 \end{pmatrix}

に対して、任意の閉曲面を通る外向き流束を求めよ。

解答

発散は

divF=(y)x+xy+0z=0\operatorname{div}\mathbf{F} = \frac{\partial (-y)}{\partial x} + \frac{\partial x}{\partial y} + \frac{\partial 0}{\partial z} =0

です。

したがって体積側は

V0dV=0\iiint_V 0\,dV =0

です。

また面積側も 0 になります。

実際、このベクトル場

F(x,y,z)=(yx0)\mathbf{F}(x,y,z)= \begin{pmatrix} -y\\[0.35em] x\\[0.35em] 0 \end{pmatrix}

は原点のまわりを回る場で、外向きにも内向きにも湧き出していません。

したがって任意の閉曲面を通って外へ出る正味の流れは 0 です。

つまりこの例でも、体積側と面積側はともに 0 で一致します。

5. 練習問題

練習問題 1

ベクトル場

F(x,y,z)=(005)\mathbf{F}(x,y,z)= \begin{pmatrix} 0\\[0.35em] 0\\[0.35em] 5 \end{pmatrix}

に対して、xyxy 平面上の面積 2 の領域を上向きに向けたときの流束を求めてください。

解答を見る

法線方向成分は常に 5 です。

したがって流束は

5×2=105\times 2=10

です。

練習問題 2

ベクトル場

F(x,y,z)=(x00)\mathbf{F}(x,y,z)= \begin{pmatrix} x\\[0.35em] 0\\[0.35em] 0 \end{pmatrix}

の発散を求めてください。

解答を見る divF=xx+0y+0z=1\operatorname{div}\mathbf{F} = \frac{\partial x}{\partial x} + \frac{\partial 0}{\partial y} + \frac{\partial 0}{\partial z} =1

です。

練習問題 3

ベクトル場

F(x,y,z)=(xyz)\mathbf{F}(x,y,z)= \begin{pmatrix} x\\[0.35em] y\\[0.35em] z \end{pmatrix}

に対して、半径 2 の球の内部で

VdivFdV\iiint_V \operatorname{div}\mathbf{F}\,dV

を求めてください。

解答を見る

発散は 3 です。

半径 2 の球の体積は

43π(23)=32π3\frac{4}{3}\pi (2^3)=\frac{32\pi}{3}

なので

VdivFdV=332π3=32π\iiint_V \operatorname{div}\mathbf{F}\,dV = 3\cdot \frac{32\pi}{3} =32\pi

です。

練習問題 4

発散定理が、どのような意味で「内部」と「表面」を結びつけているのかを言葉で説明してください。

解答を見る

発散定理は、立体の内部でどれだけ流れが湧き出しているかを全部足した量が、その立体を囲む表面から外へ出ていく流れの総量に等しいことを表しています。

つまり局所的な発散の情報を、境界全体を通る流束に結びつけています。

6. まとめ

今回は、ベクトル場が面をどれだけ通り抜けるかを表す 面積分 と、その総量を内部の発散と結びつける ガウスの発散定理 を見ました。

重要だったのは、

  • 面積分 SFndS\iint_S \mathbf{F}\cdot\mathbf{n}\,dS は法線方向成分の総和である
  • 面に沿う成分ではなく、面を突き抜ける成分だけが効く
  • パラメータ表示では ru×rv\mathbf{r}_u\times\mathbf{r}_v を使って計算できる
  • 閉曲面では外向き法線をとる
  • 発散定理は「内部の発散の総量 = 表面から出る流束」を表す

という点です。

第 10 回では曲線に沿って量を足し合わせる線積分を見ましたが、今回はそれを面に対して行う面積分を見ました。

次回は、面の上の回転と、その境界曲線に沿う線積分を結びつける ストークスの定理 に進みます。

ひろ アイコン ひろ