問1.4:$I_n = \int_0^1 (\log x)^n dx$とする。 (1) 次の極限を求める。 (i) $\lim_{x \to +0} x \log x$, (ii) $\lim_{x \to +0} x (\log x)^2$, (iii) $\lim_{x \to +0} x (\log x)^n$. (iii)は極限を予想して数学的帰納法で示す。 (2) $I_{n+1} = -(n+1) I_n$を示す。 (3) $I_0, I_1, I_2$を求める。必要なら(2)の結果を用いる。 (4) $I_n$を求める。数学的帰納法は省略してよい。 問1.5:次の微分を$f$を用いて表す。 (1) $\frac{d}{dx} \int_0^{x^2} f(t) dt$ (2) $\frac{d}{dx} \int_x^{x+1} f(t) dt$ 問1.6:次の広義積分が収束するか判定する。 (1) $\int_0^1 \log x dx$ (2) $\int_0^{\pi/2} \frac{dx}{\sqrt{\sin x}}$ (3) $\int_0^\infty \frac{dx}{\sqrt[3]{x^3 + 1}}$

解析学積分極限部分積分広義積分置換積分数学的帰納法
2025/7/19

1. 問題の内容

問1.4:In=01(logx)ndxI_n = \int_0^1 (\log x)^n dxとする。
(1) 次の極限を求める。 (i) limx+0xlogx\lim_{x \to +0} x \log x, (ii) limx+0x(logx)2\lim_{x \to +0} x (\log x)^2, (iii) limx+0x(logx)n\lim_{x \to +0} x (\log x)^n. (iii)は極限を予想して数学的帰納法で示す。
(2) In+1=(n+1)InI_{n+1} = -(n+1) I_nを示す。
(3) I0,I1,I2I_0, I_1, I_2を求める。必要なら(2)の結果を用いる。
(4) InI_nを求める。数学的帰納法は省略してよい。
問1.5:次の微分をffを用いて表す。
(1) ddx0x2f(t)dt\frac{d}{dx} \int_0^{x^2} f(t) dt
(2) ddxxx+1f(t)dt\frac{d}{dx} \int_x^{x+1} f(t) dt
問1.6:次の広義積分が収束するか判定する。
(1) 01logxdx\int_0^1 \log x dx
(2) 0π/2dxsinx\int_0^{\pi/2} \frac{dx}{\sqrt{\sin x}}
(3) 0dxx3+13\int_0^\infty \frac{dx}{\sqrt[3]{x^3 + 1}}

2. 解き方の手順

問1.4
(1) (i) limx+0xlogx\lim_{x \to +0} x \log x:
x=etx = e^{-t}と置換すると、x+0x \to +0のときtt \to \infty
limx+0xlogx=limtet(t)=limttet=0\lim_{x \to +0} x \log x = \lim_{t \to \infty} e^{-t} (-t) = -\lim_{t \to \infty} \frac{t}{e^t} = 0 (ロピタルの定理)
(ii) limx+0x(logx)2\lim_{x \to +0} x (\log x)^2:
x=etx = e^{-t}と置換すると、x+0x \to +0のときtt \to \infty
limx+0x(logx)2=limtet(t)2=limtt2et=0\lim_{x \to +0} x (\log x)^2 = \lim_{t \to \infty} e^{-t} (-t)^2 = \lim_{t \to \infty} \frac{t^2}{e^t} = 0 (ロピタルの定理を2回適用)
(iii) limx+0x(logx)n=0\lim_{x \to +0} x (\log x)^n = 0と予想する。
x=etx = e^{-t}と置換すると、x+0x \to +0のときtt \to \infty
limx+0x(logx)n=limtet(t)n=(1)nlimttnet\lim_{x \to +0} x (\log x)^n = \lim_{t \to \infty} e^{-t} (-t)^n = (-1)^n \lim_{t \to \infty} \frac{t^n}{e^t}
f(n)=limttnetf(n) = \lim_{t \to \infty} \frac{t^n}{e^t}とおくと、f(1)=0f(1)=0である。
f(n+1)=limttn+1et=limt(n+1)tnet=(n+1)f(n)f(n+1) = \lim_{t \to \infty} \frac{t^{n+1}}{e^t} = \lim_{t \to \infty} \frac{(n+1)t^n}{e^t} = (n+1) f(n)
f(n)f(n)は常に0に収束すると考えられる。(ロピタルの定理をn回適用)したがって、limx+0x(logx)n=0\lim_{x \to +0} x (\log x)^n = 0
(2) In+1=01(logx)n+1dxI_{n+1} = \int_0^1 (\log x)^{n+1} dx
部分積分を行う。
u=(logx)n+1u = (\log x)^{n+1}, dv=dxdv = dxとすると、du=(n+1)(logx)n1xdxdu = (n+1)(\log x)^n \frac{1}{x} dx, v=xv = x
In+1=[x(logx)n+1]0101x(n+1)(logx)n1xdxI_{n+1} = [x (\log x)^{n+1}]_0^1 - \int_0^1 x (n+1) (\log x)^n \frac{1}{x} dx
=[x(logx)n+1]01(n+1)01(logx)ndx= [x (\log x)^{n+1}]_0^1 - (n+1) \int_0^1 (\log x)^n dx
ここで、x1x \to 1のとき、x(logx)n+110=0x (\log x)^{n+1} \to 1 \cdot 0 = 0
x+0x \to +0のとき、x(logx)n+10x (\log x)^{n+1} \to 0 ((1)より)
よって、In+1=0(n+1)In=(n+1)InI_{n+1} = 0 - (n+1) I_n = -(n+1) I_n
(3)
I0=01(logx)0dx=011dx=[x]01=1I_0 = \int_0^1 (\log x)^0 dx = \int_0^1 1 dx = [x]_0^1 = 1
I1=01logxdxI_1 = \int_0^1 \log x dx
部分積分を行う。u=logxu = \log x, dv=dxdv = dxとすると、du=1xdxdu = \frac{1}{x} dx, v=xv = x
I1=[xlogx]0101x1xdx=[xlogx]01011dx=0[x]01=1I_1 = [x \log x]_0^1 - \int_0^1 x \frac{1}{x} dx = [x \log x]_0^1 - \int_0^1 1 dx = 0 - [x]_0^1 = -1
I2=(2+11)I1=2I1=2(1)=2I1=2I1=(2)(I1)=(2)(1)=2=(1)22!I_2 = -(2+1-1)I_1 = -2I_1 = -2(-1) = 2I_1 = -2 I_1 = -(2)(I_1)=-(2)(-1) = 2 = (-1)^2 * 2!
I2=(2)I1=(2)(1)=2I_2 = -(2) I_1 = -(2) (-1) = 2
(4) InI_nを求める。
(2)より、In+1=(n+1)InI_{n+1} = -(n+1) I_n
I0=1I_0 = 1
I1=1I0=1I_1 = -1 I_0 = -1
I2=2I1=(2)(1)=2=2!I_2 = -2 I_1 = (-2)(-1) = 2 = 2!
I3=3I2=3(2)=6=3!I_3 = -3 I_2 = -3 (2) = -6 = -3!
In=(1)nn!I_n = (-1)^n n!
問1.5
(1) ddx0x2f(t)dt\frac{d}{dx} \int_0^{x^2} f(t) dt
合成関数の微分より、
ddx0x2f(t)dt=f(x2)ddxx2=f(x2)2x=2xf(x2)\frac{d}{dx} \int_0^{x^2} f(t) dt = f(x^2) \cdot \frac{d}{dx} x^2 = f(x^2) \cdot 2x = 2x f(x^2)
(2) ddxxx+1f(t)dt\frac{d}{dx} \int_x^{x+1} f(t) dt
ddxxx+1f(t)dt=ddx(0x+1f(t)dt0xf(t)dt)\frac{d}{dx} \int_x^{x+1} f(t) dt = \frac{d}{dx} \left( \int_0^{x+1} f(t) dt - \int_0^x f(t) dt \right)
=f(x+1)1f(x)1=f(x+1)f(x)= f(x+1) \cdot 1 - f(x) \cdot 1 = f(x+1) - f(x)
問1.6
(1) 01logxdx\int_0^1 \log x dx
I1=01logxdx=1I_1 = \int_0^1 \log x dx = -1 (問1.4より)
したがって、収束する。
(2) 0π/2dxsinx\int_0^{\pi/2} \frac{dx}{\sqrt{\sin x}}
x+0x \to +0のとき、sinxx\sin x \approx x
0π/2dxsinx0π/2dxx=[2x]0π/2=2π2=2π\int_0^{\pi/2} \frac{dx}{\sqrt{\sin x}} \approx \int_0^{\pi/2} \frac{dx}{\sqrt{x}} = [2 \sqrt{x}]_0^{\pi/2} = 2 \sqrt{\frac{\pi}{2}} = \sqrt{2\pi}
0π/2dxsinx\int_0^{\pi/2} \frac{dx}{\sqrt{\sin x}} は収束する。
(3) 0dxx3+13\int_0^\infty \frac{dx}{\sqrt[3]{x^3 + 1}}
xx \to \inftyのとき、x3+13x33=x\sqrt[3]{x^3 + 1} \approx \sqrt[3]{x^3} = x
0dxx3+130dxx\int_0^\infty \frac{dx}{\sqrt[3]{x^3 + 1}} \approx \int_0^\infty \frac{dx}{x}
1dxx=[logx]1=\int_1^\infty \frac{dx}{x} = [\log x]_1^\infty = \infty
したがって発散する。
1x3+13>1(x+1)33=1x+1\frac{1}{\sqrt[3]{x^3 + 1}} > \frac{1}{\sqrt[3]{(x+1)^3}} = \frac{1}{x+1}
0dxx+1=[log(x+1)]0=\int_0^\infty \frac{dx}{x+1} = [\log (x+1)]_0^\infty = \infty
したがって発散する。

3. 最終的な答え

問1.4
(1) (i) 0, (ii) 0, (iii) 0
(2) In+1=(n+1)InI_{n+1} = -(n+1) I_n
(3) I0=1I_0 = 1, I1=1I_1 = -1, I2=2I_2 = 2
(4) In=(1)nn!I_n = (-1)^n n!
問1.5
(1) 2xf(x2)2x f(x^2)
(2) f(x+1)f(x)f(x+1) - f(x)
問1.6
(1) 収束する
(2) 収束する
(3) 発散する

「解析学」の関連問題

次の不定積分を計算します。 a) $\int \frac{\cos x}{1 + \sin x} dx$ b) $\int \frac{1}{1 + \cos x} dx$

積分不定積分置換積分三角関数
2025/7/19

与えられた3つの不定積分を計算する。 a) $\int \frac{x^3}{x^2 - 1} dx$ b) $\int \frac{1}{x(x+1)^2} dx$ c) $\int \frac{x...

積分不定積分部分分数分解
2025/7/19

(1) 区間 $[-1, 1]$ で定義された複素関数 $f(t) = (3 + j2)t$ のノルムを求める。ここで $j$ は虚数単位を表す。 (2) 区間 $[-\pi, \pi]$ で定義され...

複素関数ノルム内積積分フーリエ解析
2025/7/19

以下の3つの不定積分を計算します。 a) $\int \frac{x^3}{x^2 - 1} dx$ b) $\int \frac{1}{x(x+1)^2} dx$ c) $\int \frac{x}...

不定積分部分分数分解
2025/7/19

曲線 $y = x^2 - 3x + 2$ 上の点 $(0, 2)$ における接線と法線の方程式を求める問題です。

微分接線法線関数の微分
2025/7/19

次の不定積分を計算します。 $\int \frac{x}{(1+x)\sqrt{x^2 - x + 1}} dx$

不定積分置換積分積分
2025/7/19

与えられた定積分の値を求めます。 $$\int_{0}^{1} \frac{1}{\sqrt{x} + \sqrt{x+1}} dx$$

定積分積分有理化積分計算
2025/7/19

この問題は、フーリエ級数展開に関する3つの小問から構成されています。 * 5-1: 角周波数 $\omega_0$ の周期関数 $f(t)$ が与えられています。$f(t)$ を $\cos(k\...

フーリエ級数フーリエ変換周期関数積分三角関数
2025/7/19

## 問題の概要

積分極限部分積分漸化式ロピタルの定理
2025/7/19

微分方程式 $3y' - 4y = -3y^4e^{-4x}$ の一般解を求め、初期条件 $x=0$ のとき $y=1$ を満たす解を、選択肢の中から選び出す問題です。

微分方程式一般解初期条件線形微分方程式
2025/7/19