前に戻る　トップへ戻る

問題5.3.6

平面の領域$D$の境界上に原点が存在しなければ、次が成り立つことを示せ。$${\displaystyle {\int }_{\partial D}{\displaystyle \frac{-ydx+xdy}{x^2+y^2}}=\{\begin{array}{ll}2\pi & ((0,0)\in D)\\ 0& ((0,0)\notin D)\end{array}}$$

 

《ポイント》

問題5.3.4で証明した事実を利用します。教科書の中でも少し触れられていますが、グリーンの定理は領域内に不連続な点（特異点）が存在すると適用できないので、領域$D$の内部に原点が存在する場合は、原点を含む領域と含まない領域に分割する必要があります。

 

---

 

《解答例》

$(0,0)\notin D$ のとき $P(x,y)={\displaystyle \frac{-y}{x^2+y^2}}$、$Q(x,y)={\displaystyle \frac{x}{x^2+y^2}}$ は領域$D$において$C^1$級で$$P_y(x,y)=Q_x(x,y)(={\displaystyle \frac{-x^2+y^2}{(x^2+y^2{)}^2}})$$を満たす。よって、$$\begin{array}{rl}{\displaystyle {\int }_{\partial D}{\displaystyle \frac{-ydx+xdy}{x^2+y^2}}}& ={\int }_{\partial D}P(x,y)dx+Q(x,y)dy\\ & ={\iint }_D(Q_x(x,y)-P_y(x,y))dxdy\\ & =0\end{array}$$となる。

 

$(0,0)\in D$ のとき、領域$D$を、原点を含む半径$r$の円$C(\in D)$と、領域$D$から領域$C$を除いた領域$E$に分ける。このとき、$${\displaystyle {\int }_{\partial D}{\displaystyle \frac{-ydx+xdy}{x^2+y^2}}={\int }_E{\displaystyle \frac{-ydx+xdy}{x^2+y^2}}+{\int }_C{\displaystyle \frac{-ydx+xdy}{x^2+y^2}}}$$となる。領域$E$は原点を含まないので、${\displaystyle {\int }_E{\displaystyle \frac{-ydx+xdy}{x^2+y^2}}}$は前半の議論により$0$となる。したがって$${\displaystyle {\int }_{\partial D}{\displaystyle \frac{-ydx+xdy}{x^2+y^2}}={\int }_C{\displaystyle \frac{-ydx+xdy}{x^2+y^2}}}$$となる。

ここで $\theta$（$\theta :0\to 2\pi$）をパラメータとして $x=r\cos \theta$、$y=r\sin \theta$ と置くと、$dx=-r\sin \theta d\theta$、$dy=r\cos \theta d\theta$ となるから、$$\begin{array}{rl}& {\displaystyle {\int }_C{\displaystyle \frac{-ydx+xdy}{x^2+y^2}}}\\ & ={\int }_0^{2\pi }{\displaystyle \frac{-r\sin \theta \cdot (-r\sin \theta )+r\cos \theta \cdot r\cos \theta }{r^2}}d\theta \\ & ={\int }_0^{2\pi }({\sin }^2\theta +{\cos }^2\theta )d\theta \\ & ={\int }_0^{2\pi }d\theta \\ & =2\pi \end{array}$$と求められる。

以上により、関係式$${\displaystyle {\int }_{\partial D}{\displaystyle \frac{-ydx+xdy}{x^2+y^2}}=\{\begin{array}{ll}2\pi & ((0,0)\in D)\\ 0& ((0,0)\notin D)\end{array}}$$が成り立つことが示された。

□

※領域$D$を分割する際、原点を含む領域は必ずしも円である必要はないのですが、その後の計算のしやすさを考えると円で分割するのが最も適切な方法だと言えます。

 

---

 

復習例題は設定していません。

 

---

前に戻る　トップへ戻る