3.20 線積分と多重積分

注意 3.92 (周回積分)   積分路 $C$ が一周しているとき， 線積分 $${\int_{C}\vec{f}(\vec{x})\cdot\,d\vec{x}}$$ を

$$\oint_{C}\vec{f}(\vec{x})\cdot\,d\vec{x}$$

と表記することがある． これを周回積分とも呼ぶ．

定義 3.93 (領域の境界)   領域 $D$の境界を $\partial D$ と表記する． このとき内部が進行方向の左手になるように向きを定める． （注意）ここで $\partial$ は偏微分の記号とは全く関係ない． 単に記号の形が「ぐるっとまわる」の見えるため．

定理 3.94 (グリーンの定理)   領域 $D$ 内で関数 $\vec{f}(\vec{x})$ が連続なとき，

$$\oint_{\partial D}\vec{f}(\vec{x})\cdot\,d\vec{x}= \oint_{\partia... ...rac{\partial g(x,y)}{\partial x}- \frac{\partial f(x,y)}{\partial y}\right)dxdy$$

が成り立つ．

（証明）     $D$ が $x$ に関して単純な領域

$$\partial D=C_1+C_2+C_3+C_4,$$

$$C_1=\left\{\left.\,{(x,y)}\,\,\right\vert\,\,{x=t,\,y=\varphi_1(t),\,t:a\to b}\,\right\},$$

$$C_1=\left\{\left.\,{(x,y)}\,\,\right\vert\,\,{x=b,\,y=t\varphi_2(b)+(1-t)\varphi_1(b),\,t:0\to 1}\,\right\},$$

$$C_3=\left\{\left.\,{(x,y)}\,\,\right\vert\,\,{x=t,\,y=\varphi_2(t),\,t:b\to a}\,\right\},$$

$$C_4=\left\{\left.\,{(x,y)}\,\,\right\vert\,\,{x=a,\,y=t\varphi_2(a)+(1-t)\varphi_1(a),\,t:1\to0}\,\right\}$$

であるとき，

$$\oint_{\partial D}f(x,y)\,dx= \int_{C_1}f(x,y)\,dx+ \int_{C_2}f(x,y)\,dx+ \int_{C_3}f(x,y)\,dx+ \int_{C_4}f(x,y)\,dx$$

$$= \int_{a}^{b}f(t,\varphi_1(t))dt+0+ \int_{b}^{a}f(t,\varphi_2(t))dt+0$$

$$= - \int_{a}^{b}(f(t,\varphi_2(t))-f(t,\varphi_1(t)))dt = - \int_{a}^{b}(f(x,\varphi_2(x))-f(x,\varphi_1(x)))dx$$

$$= - \int_{a}^{b}dx\left[\vrule height1.5em width0em depth0.1em\,{... ...}^{b}dx \int_{\varphi_1(x)}^{\varphi_2(x)} \frac{\partial f(x,y)}{\partial y}dy$$

$$= - \int_{a}^{b}\int_{\varphi_1(x)}^{\varphi_2(x)} \frac{\partial f(x,y)}{\partial y}dxdy = - \iint_{D}\frac{\partial f(x,y)}{\partial y}dxdy$$

が成り立つ． 任意に与えられた領域を $x$ に関して単純な領域として分割し， 積分を求める．このとき重なり合う境界は向きが異なるので， 積分値は符号が反転し相殺しあう． よって，任意の領域に対しても上式が成立する． 同様にして $D$ が $y$ に関して単純な領域であるとすると

$$\oint_{\partial D}g(x,y)\,dy= \iint_{D}\frac{\partial g(x,y)}{\partial x}dxdy$$

が成り立つ．これらを合わせてグリーンの定理を得る．

注意 3.95 (グリーンの定理)   グリーンの定理は線積分と多重積分の移り合いを表す．

例 3.96 (グリーンの定理の使用例)   $C$ を半径 $a$ の円上を 1 周する有向曲線

$$C=\left\{\left.\,{(x,y)}\,\,\right\vert\,\,{x=a\cos t,\,\, y=a\sin t,\,\, t:0\to2\pi}\,\right\}$$

とする． このとき $C$ の内部の領域は

$$D=\left\{\left.\,{(x,y)}\,\,\right\vert\,\,{x^2+y^2\leq a^2}\,\right\}$$

である． 領域 $D$ において関数 $f(x,y)=y$, $g(x,y)=-x$ は連続であるから， 線積分

$$I=\oint_Cy\,dx-x\,dy$$

はグリーンの定理が適用でき，

$$I = \iint_{D}(g_x-f_y)dxdy= \iint_{D}(-1-1)dxdy= -2\iint_{D}dxdy= -2\int_{0}^{a}r\,dr\int_{0}^{2\pi}d\theta= -2\pi a^2$$

と計算される．

例 3.97 (グリーンの定理が使用不可な例)   線積分

$$I=\oint_{C}\frac{-y}{x^2+y^2}dx+\frac{x}{x^2+y^2}dy, \quad C=\lef... ....\,{(x,y)}\,\,\right\vert\,\,{x=\cos t,\,\, y=\sin t,\,\, t:0\to2\pi}\,\right\}$$

を考える． $C$ は単位円上を 1 周する有向曲線であり， $C$ の内部の領域は

$$D=\left\{\left.\,{(x,y)}\,\,\right\vert\,\,{x^2+y^2\leq 1}\,\right\}$$

である． 関数

$$f(x,y)=\frac{-y}{x^2+y^2}, \quad g(x,y)=\frac{x}{x^2+y^2}$$

は原点で連続ではないので， 領域 $D$ のすべての点において 関数 $f$, $g$ は連続ではないからグリーンの定理は適用できない．

誤りではあるが， グリーンの定理を適用して計算すると，

$$f_y=\frac{-x^2+y^2}{(x^2+y^2)^2}, \qquad g_x=\frac{-x^2+y^2}{(x^2+y^2)^2}, \qquad g_x-f_y=0$$

より，

$$I =\oint_{C}\frac{-y}{x^2+y^2}dx+\frac{x}{x^2+y^2}dy= \iint_{D}(g_x-f_y)dxdy= \iint_{D}0\,dxdy=0$$

となる． 正しくは，

$$I =\oint_{C}\frac{-y}{x^2+y^2}dx+\frac{x}{x^2+y^2}dy= \int_0^{2\pi}... ...sin t}{\cos^2t+\sin^2t}(-\sin t)+ \frac{\cos t}{\cos^2t+\sin^2t}\cos t\right)dt$$

$$= \int_0^{2\pi}dt=2\pi$$

と得られる．

Kondo Koichi
平成19年1月23日