次の広義積分の値を求めます。 (1) $\int_{-1}^{1} \frac{1}{x} dx$ (2) $\int_{-1}^{1} \frac{1}{\sqrt{1-x^2}} dx$ (3) $\int_{-1}^{2} \frac{x^2 + 2x}{|x|} dx$ 次の広義積分の値を求めます。 (1) $\int_{1}^{\infty} \frac{1}{x^2} dx$ (2) $\int_{1}^{\infty} \frac{\log x}{x^2} dx$ (3) $\int_{0}^{\infty} \frac{1}{x^2 - 1} dx$

解析学広義積分積分ロピタルの定理
2025/7/22
はい、承知いたしました。画像にある広義積分の問題を解きます。

1. 問題の内容

次の広義積分の値を求めます。
(1) 111xdx\int_{-1}^{1} \frac{1}{x} dx
(2) 1111x2dx\int_{-1}^{1} \frac{1}{\sqrt{1-x^2}} dx
(3) 12x2+2xxdx\int_{-1}^{2} \frac{x^2 + 2x}{|x|} dx
次の広義積分の値を求めます。
(1) 11x2dx\int_{1}^{\infty} \frac{1}{x^2} dx
(2) 1logxx2dx\int_{1}^{\infty} \frac{\log x}{x^2} dx
(3) 01x21dx\int_{0}^{\infty} \frac{1}{x^2 - 1} dx

2. 解き方の手順

1. (1) $\int_{-1}^{1} \frac{1}{x} dx$

これは x=0x=0 で被積分関数が定義されないので広義積分です。
111xdx=101xdx+011xdx\int_{-1}^{1} \frac{1}{x} dx = \int_{-1}^{0} \frac{1}{x} dx + \int_{0}^{1} \frac{1}{x} dx
それぞれの積分は発散するため、この広義積分は発散します。積分はコーシーの主値の意味で定義されます。主値は
P.V.111xdx=limϵ0(1ϵ1xdx+ϵ11xdx)=limϵ0(logϵlog1(logϵlog1))=0P.V.\int_{-1}^{1} \frac{1}{x} dx = \lim_{\epsilon \to 0} (\int_{-1}^{-\epsilon} \frac{1}{x} dx + \int_{\epsilon}^{1} \frac{1}{x} dx) = \lim_{\epsilon \to 0} (\log|\epsilon| - \log|-1| - (\log|\epsilon| - \log|1|)) = 0
となります。

2. (2) $\int_{-1}^{1} \frac{1}{\sqrt{1-x^2}} dx$

これは x=±1x = \pm 1 で被積分関数が定義されないので広義積分です。
1111x2dx=[arcsinx]11=arcsin(1)arcsin(1)=π2(π2)=π\int_{-1}^{1} \frac{1}{\sqrt{1-x^2}} dx = [\arcsin x]_{-1}^{1} = \arcsin(1) - \arcsin(-1) = \frac{\pi}{2} - (-\frac{\pi}{2}) = \pi

3. (3) $\int_{-1}^{2} \frac{x^2 + 2x}{|x|} dx$

これは x=0x=0 で被積分関数が定義されないので広義積分です。
12x2+2xxdx=10x2+2xxdx+02x2+2xxdx=10(x2)dx+02(x+2)dx\int_{-1}^{2} \frac{x^2 + 2x}{|x|} dx = \int_{-1}^{0} \frac{x^2 + 2x}{-x} dx + \int_{0}^{2} \frac{x^2 + 2x}{x} dx = \int_{-1}^{0} (-x - 2) dx + \int_{0}^{2} (x + 2) dx
=[12x22x]10+[12x2+2x]02=(0(12+2))+(2+40)=(32)+6=92= [-\frac{1}{2}x^2 - 2x]_{-1}^{0} + [\frac{1}{2}x^2 + 2x]_{0}^{2} = (0 - (-\frac{1}{2} + 2)) + (2 + 4 - 0) = -(\frac{3}{2}) + 6 = \frac{9}{2}

4. (1) $\int_{1}^{\infty} \frac{1}{x^2} dx$

11x2dx=limt1t1x2dx=limt[1x]1t=limt(1t+1)=1\int_{1}^{\infty} \frac{1}{x^2} dx = \lim_{t \to \infty} \int_{1}^{t} \frac{1}{x^2} dx = \lim_{t \to \infty} [-\frac{1}{x}]_{1}^{t} = \lim_{t \to \infty} (-\frac{1}{t} + 1) = 1

5. (2) $\int_{1}^{\infty} \frac{\log x}{x^2} dx$

部分積分を用いて計算します。
u=logxu = \log x, dv=1x2dxdv = \frac{1}{x^2} dx とすると、du=1xdxdu = \frac{1}{x} dx, v=1xv = -\frac{1}{x} となります。
1logxx2dx=limt[logxx]1t+11x2dx=limt[logtt+log11]+1=limtlogtt+0+1=0+1=1\int_{1}^{\infty} \frac{\log x}{x^2} dx = \lim_{t \to \infty} [-\frac{\log x}{x}]_{1}^{t} + \int_{1}^{\infty} \frac{1}{x^2} dx = \lim_{t \to \infty} [-\frac{\log t}{t} + \frac{\log 1}{1}] + 1 = \lim_{t \to \infty} -\frac{\log t}{t} + 0 + 1 = 0 + 1 = 1
ここで、ロピタルの定理を用いて、limtlogtt=limt1/t1=0\lim_{t \to \infty} \frac{\log t}{t} = \lim_{t \to \infty} \frac{1/t}{1} = 0

6. (3) $\int_{0}^{\infty} \frac{1}{x^2 - 1} dx$

これは x=1x=1 で被積分関数が定義されないので広義積分です。
01x21dx=011x21dx+11x21dx\int_{0}^{\infty} \frac{1}{x^2 - 1} dx = \int_{0}^{1} \frac{1}{x^2 - 1} dx + \int_{1}^{\infty} \frac{1}{x^2 - 1} dx
1x21=12(1x11x+1)\frac{1}{x^2 - 1} = \frac{1}{2} (\frac{1}{x-1} - \frac{1}{x+1})
1x21dx=12logx1x+1\int \frac{1}{x^2 - 1} dx = \frac{1}{2} \log|\frac{x-1}{x+1}|
011x21dx=limt1[12logx1x+1]0t=limt112(logt1t+1log1)=\int_{0}^{1} \frac{1}{x^2 - 1} dx = \lim_{t \to 1^-} [\frac{1}{2} \log|\frac{x-1}{x+1}|]_{0}^{t} = \lim_{t \to 1^-} \frac{1}{2} (\log|\frac{t-1}{t+1}| - \log|-1|) = -\infty
11x21dx=limt[12logx1x+1]1t=limt12(logt1t+1log0)=12(0())=+\int_{1}^{\infty} \frac{1}{x^2 - 1} dx = \lim_{t \to \infty} [\frac{1}{2} \log|\frac{x-1}{x+1}|]_{1}^{t} = \lim_{t \to \infty} \frac{1}{2} (\log|\frac{t-1}{t+1}| - \log|0|) = \frac{1}{2}(0 - (-\infty)) = +\infty
積分はコーシーの主値の意味で定義されます。主値は
P.V.01x21dx=limϵ0(01ϵ1x21dx+1+ϵA1x21dx)P.V.\int_{0}^{\infty} \frac{1}{x^2 - 1} dx = \lim_{\epsilon \to 0} (\int_{0}^{1-\epsilon} \frac{1}{x^2-1} dx + \int_{1+\epsilon}^{A} \frac{1}{x^2-1} dx)
=limϵ0,A12[lnx1x+1]01ϵ+12[lnx1x+1]1+ϵA= \lim_{\epsilon \to 0, A \to \infty} \frac{1}{2} [\ln|\frac{x-1}{x+1}|]_{0}^{1-\epsilon} + \frac{1}{2} [\ln|\frac{x-1}{x+1}|]_{1+\epsilon}^{A}
=limϵ0,A12(lnϵ2ϵln1)+12(lnA1A+1lnϵ2+ϵ)= \lim_{\epsilon \to 0, A \to \infty} \frac{1}{2} (\ln|\frac{-\epsilon}{2-\epsilon}| - \ln|1|) + \frac{1}{2} (\ln|\frac{A-1}{A+1}| - \ln|\frac{\epsilon}{2+\epsilon}|)
=limϵ0,A12(lnϵ2ϵ+lnA1A+1lnϵ2+ϵ)= \lim_{\epsilon \to 0, A \to \infty} \frac{1}{2} (\ln|\frac{-\epsilon}{2-\epsilon}| + \ln|\frac{A-1}{A+1}| - \ln|\frac{\epsilon}{2+\epsilon}|)
=limϵ0,A12(ln2+ϵ2ϵ+lnA1A+1)= \lim_{\epsilon \to 0, A \to \infty} \frac{1}{2} (\ln|\frac{2+\epsilon}{2-\epsilon}| + \ln|\frac{A-1}{A+1}|)
=12(ln1+ln1)=0= \frac{1}{2} (\ln|1| + \ln|1|) = 0

3. 最終的な答え

1. (1) 発散 (主値は 0)

2. (2) $\pi$

3. (3) $\frac{9}{2}$

4. (1) $1$

5. (2) $1$

6. (3) 発散 (主値は 0)

「解析学」の関連問題

関数 $F(x) = \int_{\frac{\pi}{4}}^{x} (x-t) \sin t dt$ を微分せよ。

積分微分微積分学の基本定理
2025/7/23

実数全体 $\mathbb{R}$ 上の関数 $f(x)$ が、任意の $x, y \in \mathbb{R}$ に対して $f(x+y) = f(x) + f(y)$ を満たす。$x=a$ ($a...

関数連続性微分可能性コーシーの関数方程式
2025/7/23

$0 \le x \le 2\pi$ において、2つの曲線 $y = \sin x$ と $y = \cos x$ で囲まれた部分の面積 $S$ を求める。

積分三角関数面積
2025/7/23

積分方程式 $\int_a^x tf(t) dt = -\frac{1}{x} + 1$ を満たす定数 $a$ の値を求める問題です。ただし、$x > 0$ とします。

積分方程式微分積分学の基本定理積分微分
2025/7/23

定積分を含む等式 $\int_{a}^{x} tf(t) dt = \frac{1}{x} + 1$ を満たす定数 $a$ の値を求める問題です。ただし、$x > 0$ とします。

定積分微分積分学の基本定理積分微分
2025/7/23

関数 $F(x) = \int_{\frac{\pi}{3}}^{x} (x - 3t)\cos t \, dt$ を微分せよ。

微分積分積分の微分定積分関数の微分
2025/7/23

$ \frac{\pi}{2} \le x \le \pi $ において、2つの曲線 $y = \sin 2x$ と $y = \cos x$ で囲まれた部分の面積 $S$ を求める。

積分面積三角関数定積分
2025/7/23

定積分 $\int_a^x t^2 f(t) dt = e^x - 3$ を満たす定数 $a$ の値を求めよ。ただし、$x > 0$ とする。

定積分微分積分指数関数対数関数
2025/7/23

与えられた三角関数の式を、$r\sin(\theta + \alpha)$ の形に変形する問題です。ただし、$r > 0$、$-\pi < \alpha \le \pi$ とします。 具体的には、以下...

三角関数三角関数の合成三角関数の変形
2025/7/23

関数 $f(t)$ に対して、$\int_{a}^{x} t^{2} f(t) dt = e^{x} - 3$ という等式が与えられている。この等式を満たす定数 $a$ の値を求める問題。ただし、$x...

積分微分定積分積分方程式指数関数対数関数
2025/7/23