広義積分 (2) $\int_{0}^{\frac{\pi}{2}} \frac{1}{\sin x} dx$ (3) $\int_{0}^{\infty} \frac{1}{\sqrt{x^3+1}} dx$ がそれぞれ収束するかどうかを判定条件を用いて調べる。

解析学広義積分収束発散比較定理
2025/7/22

1. 問題の内容

広義積分
(2) 0π21sinxdx\int_{0}^{\frac{\pi}{2}} \frac{1}{\sin x} dx
(3) 01x3+1dx\int_{0}^{\infty} \frac{1}{\sqrt{x^3+1}} dx
がそれぞれ収束するかどうかを判定条件を用いて調べる。

2. 解き方の手順

(2) について
x=0x=0 の近くで sinxx\sin x \approx x なので、被積分関数は x=0x=0 で特異性を持つ。そこで、x=0x=0 の近傍での積分を考える。
limx0sinxx=1\lim_{x \to 0} \frac{\sin x}{x} = 1 なので、ある δ>0\delta > 0 が存在して、0<x<δ0 < x < \delta12<sinxx<32\frac{1}{2} < \frac{\sin x}{x} < \frac{3}{2} が成り立つ。
従って、23x<1sinx<2x\frac{2}{3x} < \frac{1}{\sin x} < \frac{2}{x} が成り立つ。
広義積分 0π21xdx=limϵ0ϵπ21xdx=limϵ0[logx]ϵπ2=limϵ0log(π2)log(ϵ)=\int_0^{\frac{\pi}{2}} \frac{1}{x} dx = \lim_{\epsilon \to 0} \int_\epsilon^{\frac{\pi}{2}} \frac{1}{x} dx = \lim_{\epsilon \to 0} [\log x]_{\epsilon}^{\frac{\pi}{2}} = \lim_{\epsilon \to 0} \log (\frac{\pi}{2}) - \log (\epsilon) = \infty となり、発散する。
比較定理より、0π21sinxdx\int_{0}^{\frac{\pi}{2}} \frac{1}{\sin x} dx も発散する。
(3) について
積分区間は [0,)[0, \infty) なので、xx \to \infty での挙動を調べる。
xx が大きいとき、x3+1x3=x32\sqrt{x^3 + 1} \approx \sqrt{x^3} = x^{\frac{3}{2}} となる。
そこで、広義積分 11x32dx=limR1Rx32dx=limR[2x12]1R=limR2R12(2)=2\int_1^{\infty} \frac{1}{x^{\frac{3}{2}}} dx = \lim_{R \to \infty} \int_1^{R} x^{-\frac{3}{2}} dx = \lim_{R \to \infty} [-2x^{-\frac{1}{2}}]_1^R = \lim_{R \to \infty} -2R^{-\frac{1}{2}} - (-2) = 2 となり、収束する。
従って、11x3+1dx\int_1^{\infty} \frac{1}{\sqrt{x^3+1}} dx も収束する。
また、011x3+1dx\int_0^{1} \frac{1}{\sqrt{x^3+1}} dx は被積分関数が有界なので、収束する。
以上より、01x3+1dx\int_{0}^{\infty} \frac{1}{\sqrt{x^3+1}} dx は収束する。

3. 最終的な答え

(2) 発散する
(3) 収束する

「解析学」の関連問題