3.9 解答

3.9

1.

広義積分を行なう前に次のような記号を理解する．

$$f(a +0) = \lim_{x \to a+}f(x), \ f(a-0) = \lim_{x \to a-}f(x)$$

(a) $\int_{0}^{1}\frac{dx}{\sqrt{1-x}}$の積分を行なう前に， $f(x) = \frac{1}{\sqrt{1-x}}$は$[0,1)$で連続であることに注意すると

$$\int_{0}^{1}\frac{dx}{\sqrt{1-x}} = \int_{0}^{1-}\frac{dx}{\sqrt{1-x}}$$

と表わせる．よって $t = \sqrt{1-x}$とおくと$t^2 = 1-x$より $2tdt = -dx$．また，

$$\begin{array}{l\vert lll} x&0 &\rightarrow & 1-0\\ \hline t&1 &\rightarrow & 0+ \end{array}$$

に注意すると

$$\int_{0}^{1-}\frac{dx}{\sqrt{1-x}} = \int_{1}^{0+}{\frac{-2tdt}{t}}$$

$$= \int_{1}^{0+}(-2)\ dt \ \ (t )$$

$$= -2t\mid_{1}^{0+} = -2(\lim_{t \to 0+}t - 1)= 2$$

(b) $\int_{0}^{1}\frac{1}{x}\ dx$の積分を行なう前に， $f(x) = \frac{1}{x}$は$(0,1]$で連続であることに注意すると

$$\int_{0}^{1}\frac{1}{x}\ dx = \int_{0+}^{1}\frac{1}{x}\ dx$$

と表わせる．よって

$$\int_{0+}^{1}\frac{1}{x}\ dx = \log\vert x\vert\mid_{0+}^{1} = \log{1} - \lim_{x \to 0+}\log\vert x\vert = \infty$$

(c) $\int_{0}^{1}\log{x}\ dx$の積分を行なう前に， $f(x) = \log{x}$は$(0,1]$で連続であることに注意すると

$$\int_{0}^{1}\log{x}\ dx = \int_{0+}^{1}\log{x}\ dx$$

と表わせる．ここで部分積分を用いると

$$\left(\begin{array}{ll} f(x) = \log{x} & g'(x) = 1\\ f'(x) = \frac{1}{x} & g(x) = x \end{array}\right)$$

よって

$$\int_{0+}^{1}\log{x}\ dx = x\log{x}\mid_{0+}^{1} - \int_{0+}^{1}dx$$

$$= (x\log{x} - x)\mid_{0+}^{1}$$

$$= \log{1} - 1 - \lim_{x \to 0+}(x\log{x} - x)$$

$$= -1 - \lim_{x \to 0+}\frac{\log{x}}{\frac{1}{x}}$$

$$= -1 - \lim_{x \to 0+}\frac{1/x}{-1/x^2} \ \ ( )$$

$$= -1 - \lim_{x \to 0+}(-x) = -1$$

2.

(a) $\int_{0}^{\infty}xe^{-x}\ dx$の積分を行なう前に， $f(x) = xe^{-x}$は $[0,\infty)$で連続であることに注意すると

$$\int_{0}^{\infty}xe^{-x}\ dx = \int_{0}^{\infty-}xe^{-x}\ dx$$

と表わせる．ここで部分積分を用いると

$$\int{udv} = uv - \int{vdu}$$

$$\left(\begin{array}{ll} u = x & dv = e^{-x}\\ du = dx & v = -e^{-x} \end{array}\right)$$

よって

$$\int_{0}^{\infty-}xe^{-x}\ dx = -xe^{-x}\mid_{0}^{\infty-} + \int_{0}^{\infty-}e^{-x}\ dx$$

$$= \lim_{x \to \infty-}(-xe^{-x} - e^{-x})\mid_{0}^{\infty-}$$

$$= \lim_{x \to \infty-}(\frac{-x}{e^{x}})$$

$$= \lim_{x \to \infty}\frac{-1}{e^{x}} = 0 \ ( )$$

(b) $\int_{2}^{\infty}\frac{1}{x(\log{x})^{\alpha}}\ dx$の積分を行なう前に， $f(x) = \frac{1}{x(\log{x})^{\alpha}}$は $[2, \infty)$で連続であることに注意すると

$$\int_{2}^{\infty}\frac{1}{x(\log{x})^{\alpha}}\ dx = \int_{2}^{\infty-}\frac{1}{x(\log{x})^{\alpha}}\ dx$$

と表わせる．ここで $t = \log{x}$とおくと $dt = \frac{1}{x}dx$．このとき積分範囲は

$$\begin{array}{l\vert lll} x&2&\rightarrow&\infty-\\ \hline t&\log{2}&\rightarrow&\infty- \end{array}$$

より

$$\int_{2}^{\infty-}\frac{1}{x(\log{x})^{\alpha}}\ dx = \int_{\log{2}}^{\infty-}\frac{1}{t^{-\alpha}}dt$$

$$= \left\{\begin{array}{ll} \frac{t^{-\alpha + 1}}{1 - \alpha} \mid_... ...\\ \log{\vert t\vert}\mid_{\log{2}}^{\infty-}, & \alpha = 1 \end{array}\right.$$

ここで

$$\lim_{x \to \infty-}{\frac{t^{-\alpha + 1}}{1 - \alpha}} = \left\{\begin{array}{ll} 0, & \alpha > 1\\ \infty, & \alpha < 1 \end{array}\right.$$

に注意すると

$$\int_{2}^{\infty-}\frac{1}{x(\log{x})^{\alpha}}\ dx = \left\{\begin{array}{ll} 0, & \alpha > 1\\ \infty, & \alpha \leq 1 \end{array}\right.$$

となる．

(c) $\int_{2}^{\infty}\frac{1}{x^{\alpha}\log{x}}\ dx$の積分を行なう前に， $f(x) = \frac{1}{x^{\alpha}\log{x}}$は $[2, \infty)$で連続であることに注意すると

$$\int_{2}^{\infty}\frac{1}{x^{\alpha}\log{x}}\ dx = \int_{2}^{\infty-}\frac{1}{x^{\alpha}\log{x}}\ dx$$

と表わせる．次に，

$$x^{\alpha}f(x) = \frac{1}{\log{x}} \leq \frac{1}{\log{2}}$$

より

$$\int_{2}^{\infty-}f(x)\ dx \leq \frac{1}{\log{2}}\int_{2}^{\infty-}\frac{1}{x^{\alpha}}\ dx$$

ここで $\int_{2}^{\infty-}\frac{1}{x^{\alpha}}\ dx$は $\alpha > 1$で収束． 次に， $\alpha = 1$のとき， $t = \log{x}$とおくと $dt = \frac{1}{x}dx$．また，

$$\begin{array}{l\vert lll} x&2&\rightarrow&\infty-\\ \hline t&\log{2}&\rightarrow&\infty- \end{array}$$

に注意すると

$$\int_{2}^{\infty}\frac{1}{x\log{x}}\ dx = \int_{\log{2}}^{\infty-}\frac{dt}{t}$$

$$= \log\vert t\vert\mid_{\log{2}}^{\infty-} = \infty$$

最後に $\alpha < 1$で $2 < x < \infty$のとき $\frac{1}{x^{\alpha}} > \frac{1}{x}$より

$$\int_{2}^{\infty}\frac{1}{x^{\alpha}\log{x}}\ dx > \int_{2}^{\infty}\frac{1}{x\log{x}}\ dx$$

したがって， $\int_{2}^{\infty}\frac{1}{x^{\alpha}\log{x}}\ dx$は発散．

3.

(a) この問題は収束，発散について調べろという問題であり，何に収束するかという問題ではない．まず，$\cos{x}$のテーラー展開を思いだすと

$$\cos{x} = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \cdots +$$

であるから次の不等式が成り立つ．

$$\cos{x} \leq 1 - \frac{x^{2}}{2}$$

これより

$$\frac{1}{\sqrt{\cos{x}}} < \frac{1}{\sqrt{1 - \frac{x^2}{2}}}$$

が成り立ち， $\frac{1}{\sqrt{\cos{x}}}$は上からの押さえることができた．ここで，

$$\int_{0}^{\frac{\pi}{2}}\frac{1}{\sqrt{1 - \frac{x^2}{2}}}\ dx < \infty$$

を示せば，求める積分は収束することがいえる．

$$\int_{0}^{\frac{\pi}{2}}\frac{1}{\sqrt{1 - \frac{x^2}{2}}}\ dx = \sqrt{2}\int_{0}^{\frac{\pi}{2}}\frac{1}{\sqrt{2 - x^2}}\ dx$$

$$= \sqrt{2}\sin{(\frac{x}{2})}\mid_{0}^{\frac{\pi}{2}} = \sqrt{2}\sin^{-1}{(\frac{\pi}{2\sqrt{2}})} < \infty$$

(b) $f(x)$は$(0,1]$で連続． $t = \sqrt{x}$とおくと$t^2 = x$より$2t dt = dx$．また，

$$\begin{array}{l\vert lll} x&0+&\rightarrow&1\\ \hline t&0+&\rightarrow&1 \end{array}$$

より

$$\int_{0+}^{1}\frac{\log{x}}{\sqrt{x}}\ dx = \int_{0+}^{1}\frac{\log{t^2}}{t}(2tdt) = 4\int_{0+}^{1}\log{t}\ dt$$

$$= 4[t\log{t} - t\mid_{0+}^{1} = 4[\log{1} - 1 - \lim_{t \to 0+}(t\log{t} - t)]$$

$$= 4[-1 - \lim_{t \to 0+}(\frac{\log{t} -1}{\frac{1}{t}})]$$

$$= 4[-1 - \lim_{t \to 0+}\frac{1/t}{-1/t^2} ] = -4$$

4. $k^2 = 0$のとき， $agm(1,1) = 1$. また， $K(1) = \int_{0}^{1}\frac{dx}{\sqrt{1-x^2}} = [\sin^{-1}{x}]_{0}^{1} = \frac{\pi}{2}$.