7.4 解答

7.4

1.

(a) H-simpleを用いると

$$\Omega = \{(x,y) : 0 \leq y \leq 1, 0 \leq x < y\}$$

となる．よって

$$I = \int_{y=0}^{1}\int_{x=0}^{y}\frac{1}{(y^2 - x^2)^{1/2}}dx dy$$

ここで， $f(x,y) = 1/(y^2 - x^2)^{1/2}$は$x = y$で定義されないので，

$$J = \int_{0}^{y} \frac{1}{(y^2 - x^2)^{1/2}}dx = \lim_{\varepsilon \to 0+}\int_{0}^{y-\varepsilon}\frac{1}{(y^2 - x^2)^{1/2}}dx$$

とおくと

$$J = \lim_{\varepsilon \to 0}\int_{0}^{y-\varepsilon}\frac{1}{(y^2 - x^2)^{1/2}}dx$$

$$= \lim_{\varepsilon \to 0}[\sin^{-1}{x}{y}]_{0}^{y - \varepsilon} = \frac{\pi}{2}$$

したがって，

$$I = \int_{0}^{1}\frac{\pi}{2}dy = \frac{\pi}{2}$$

(b) $\Omega = \{(x,y) : x \geq 0, y \geq 0\}$は有界でないので

$$\Omega_{n} = \{(x,y) : 0 \leq x \leq n, 0 \leq y \leq n\}$$

を考えると $\Omega = \lim_{n \to \infty}\Omega_{n}$より

$$I_{n} = \iint_{\Omega_{n}}e^{-(x+y)}dxdy = \int_{x=0}^{n}\int_{y=0}^{n}e^{-(x+y)}dy dx$$

$$= \int_{0}^{n}\left[-e^{-(x+y)}\right]_{0}^{n} dx$$

$$= \int_{0}^{n}(-e^{(x+n)} + e^{-x})dx = \left[e^{-(x+n)} + e^{-x}\right]_{0}^{n}$$

$$= e^{-2n} - e^{-n} - (e^{-n} - 1) = e^{-2n} - 2e^{-n} + 1$$

よって

$$I = \iint_{\Omega}e^{-(x+y)}dxdy = \lim_{n \to \infty}I_{n} = 1.$$

(c)

$\Omega = \{(x,y) : x \geq 0, y \geq 0, x^2 + y^2 \leq 1\}$は有界． $f(x,y) = \tan^{-1}{\frac{y}{x}}$は $\Omega - \{(0,0)\}$で有界．そこで，

$$\Omega_{n} = \{(x,y) : x \geq 0, y \geq 0, \frac{2}{n^2} \leq x^2 + y^2 \leq 1\}$$

を考えると $\Omega = \lim_{n \to \infty}\Omega_{n}$より

$$I_{n} = \iint_{\Omega_{n}}\tan^{-1}{(\frac{y}{x})}dxdy$$

極座標に変換すると

$$\Gamma = \{(x,y) : 0 \leq \theta \leq \frac{\pi}{2}, \frac{\sqrt{2}}{n} \leq r \leq 1\}$$

より

$$I_{n} = \iint_{\Gamma}\tan^{-1}{(\frac{r\sin{\theta}}{r\cos{\theta}})}\vert J\vert drd\theta$$

$$= \int_{0}^{\frac{\pi}{2}}\int_{\frac{\sqrt{2}}{n}}^{1}\tan^{-1}(\tan{\theta})r dr d\theta$$

$$= \int_{0}^{\frac{\pi}{2}}\int_{\frac{\sqrt{2}}{n}}^{1}\theta r dr d\theta$$

$$= \int_{0}^{\frac{\pi}{2}} \theta d\theta \int_{\frac{\sqrt{2}}{n}}^{1}r dr$$

$$= \left[\frac{\theta^2}{2}\right]_{0}^{\frac{\pi}{2}}\left[\frac{r^... ...\right]_{\frac{\sqrt{2}}{n}}^{1} = \frac{\pi^2}{8}(\frac{1}{2} - \frac{1}{n^2})$$

よって

$$I = \iint_{\Omega}\tan^{-1}{(\frac{y}{x})}dxdy = \lim_{n \to \infty}I_{n} = \frac{\pi^2}{16}.$$

(d) $\Omega = \{(x,y) : x \geq 1, y \geq 1\}$は有界でないので

$$\Omega_{n} = \{(x,y) : 1 \leq x \leq n, 1 \leq y \leq n\} (n \geq 1)$$

を考えると $\Omega = \lim_{n \to \infty}\Omega_{n}$より

$$I_{n} = \iint_{\Omega_{n}}\frac{1}{x^2 y^2}dxdy = \int_{x=1}^{n}\int_{y=1}^{n}\frac{1}{x^2 y^2}dy dx$$

$$= \int_{1}^{n}\left[-\frac{1}{x^2 y}\right]_{1}^{n} dx$$

$$= \int_{1}^{n}(\frac{1}{x^2} - \frac{1}{x^2 n})dx = \left[-\frac{1}{x} + \frac{1}{xn}\right]_{1}^{n}$$

$$= -\frac{1}{n} + \frac{1}{n^2} - (-1 + \frac{1}{n}) = 1 + \frac{1}{n^2}$$

よって

$$I = \iint_{\Omega}\frac{1}{x^2 y^2}dxdy = \lim_{n \to \infty}I_{n} = 1.$$

(e) $f(x,y) = \frac{1}{\sqrt{x - y^2}}$は曲線$x = y^2$上で定義されない．そこで， $x < y^2 + \frac{1}{n}$を除いた集合を $\Omega_{n}$とする．H-simpleを用いると

$$\Omega_{n} = \{(x,y) : -\sqrt{1 - \frac{1}{n}} \leq y \leq \sqrt{1 - \frac{1}{n}}, y^2 + \frac{1}{n} \leq x \leq 1\}$$

$\Omega = \lim_{n \to \infty}\Omega_{n}$より

$$I_{n} = \iint_{\Omega_{n}}\frac{1}{\sqrt{x - y^2}}dxdy = \int_{-\sqrt{1 -... ...sqrt{1 - \frac{1}{n}}}\int_{y^2 + \frac{1}{n}}^{1}\frac{1}{\sqrt{x - y^2}}dx dy$$

$$= \int_{-\sqrt{1 - \frac{1}{n}}}^{\sqrt{1 - \frac{1}{n}}}\left[2\sqrt{x - y^2}\right]_{y^2 + \frac{1}{n}}^{1} dy$$

$$= 2\int_{-\sqrt{1 - \frac{1}{n}}}^{\sqrt{1 - \frac{1}{n}}}(\sqrt{1 ... ... \frac{1}{2}(x\sqrt{a^2 - x^2} + a^2 \sin^{-1}{\frac{x}{a}}) \end{array}\right)$$

$$= 2(\frac{1}{2}) \left[\sqrt{1 - y^2} + \sin^{-1}{y} - \sqrt{\frac{1}{n}} y\right]_{-\sqrt{1 - \frac{1}{n}}}^{\sqrt{1 - \frac{1}{n}}}$$

$$= \sqrt{\frac{1}{n}} - \sqrt{\frac{1}{n}} + \sin^{-1}{(\sqrt{1 - \f... ...{1}{n}})} - \sqrt{\frac{1}{n}}(\sqrt{1 - \frac{1}{n}} + \sqrt{1 - \frac{1}{n}})$$

よって

$$I = \iint_{\Omega}\frac{1}{\sqrt{x - y^2}}dxdy = \lim_{n \to \infty}I_{n} = \frac{\pi}{2} - (-\frac{\pi}{2}) = \pi.$$

(f) $\Omega = \{(x,y) : -\infty < x, y < \infty\}$は$xy$平面全体を表わすので有界でない．そこで

$$\Omega_{n} = \{(x,y) : x^2 + y^2 \leq n^2\} (n \geq 1)$$

を考えると $\Omega = \lim_{n \to \infty}\Omega_{n}$．極座標変換をすると

$$\Gamma_{n} = \{(r,\theta) : 0 \leq \theta \leq 2\pi, 0 \leq r \leq n\}$$

より

$$I_{n} = \iint_{\Omega_{n}}\frac{1}{1 + (x^2 + y^2)^2}dxdy = \iint_{\Gamma_{n}}\frac{1}{1 + r^4}\vert J\vert dr d\theta$$

$$= \int_{0}^{2\pi}\int_{0}^{n}\frac{r}{1 + r^4}dr d\theta \left(\b... ...rac{1}{2}\tan^{-1}{t} + c\\ = \frac{1}{2}\tan^{-1}{r^2} + c \end{array}\right)$$

$$= \int_{0}^{2\pi} d\theta\left[\frac{1}{2}\tan^{-1}{r^2}\right]_{0}^{2\pi}$$

$$= 2\pi \cdot \frac{1}{2}(\tan^{-1}n^2 - \tan^{-1}{0}$$

よって

$$I = \iint_{\Omega}\frac{1}{1 + (x^2 + y^2)^2}dxdy = \lim_{n \to \infty}I_{n} = \pi \cdot \frac{\pi}{2} = \frac{\pi^2}{2}.$$

2.

$${t = x^{\frac{1}{2}}}$$ とおくと， $${2tdt = dx}$$．したがって，

$$\Gamma(\frac{1}{2}) = \int_{0}^{\infty} x^{-\frac{1}{2}}e^{-x} dx = 2\int_{0}^{\infty} e^{-t^2} dt$$

$${I = \int_{0}^{\infty} e^{-x^2} dx, I = \int_{0}^{\infty} e^{-y^2} dt}$$ とおくと，

$$I^2 = \iint_{0}^{\infty} e^{-(x^2 + y^2)} dx dy$$

ここで例題7.5を用いると， $${I^2 = \frac{\pi}{4}}$$ より $${\Gamma(\frac{1}{2}) = \sqrt{\pi}}$$