数列 $\{I_n\}$ が $I_0 = \int_0^1 e^{-x} dx$ および $I_n = \int_0^1 x^n e^{-x} dx$ ($n = 1, 2, 3, \dots$)で定義されるとき、以下の問いに答える。 (1) $I_0$ を求めよ。 (2) $I_1$ を求めよ。 (3) $n \geq 2$ のとき、$I_n - nI_{n-1}$ を $n$ の式で表せ。 (4) $\lim_{n \to \infty} I_n$ を求めよ。 (5) $S_n = \sum_{k=0}^n \frac{1}{k!}$ とするとき、$\lim_{n \to \infty} S_n$ を求めよ。

解析学積分部分積分極限数列指数関数
2025/5/7

1. 問題の内容

数列 {In}\{I_n\}I0=01exdxI_0 = \int_0^1 e^{-x} dx および In=01xnexdxI_n = \int_0^1 x^n e^{-x} dxn=1,2,3,n = 1, 2, 3, \dots)で定義されるとき、以下の問いに答える。
(1) I0I_0 を求めよ。
(2) I1I_1 を求めよ。
(3) n2n \geq 2 のとき、InnIn1I_n - nI_{n-1}nn の式で表せ。
(4) limnIn\lim_{n \to \infty} I_n を求めよ。
(5) Sn=k=0n1k!S_n = \sum_{k=0}^n \frac{1}{k!} とするとき、limnSn\lim_{n \to \infty} S_n を求めよ。

2. 解き方の手順

(1) I0I_0 を求める。
I0=01exdx=[ex]01=e1(e0)=11eI_0 = \int_0^1 e^{-x} dx = [-e^{-x}]_0^1 = -e^{-1} - (-e^0) = 1 - \frac{1}{e}
(2) I1I_1 を求める。
I1=01xexdxI_1 = \int_0^1 x e^{-x} dx
部分積分を行う。u=x,dv=exdxu = x, dv = e^{-x} dx とすると、du=dx,v=exdu = dx, v = -e^{-x} となる。
I1=[xex]0101(ex)dx=e1+01exdx=1e+[ex]01=1ee1+1=12eI_1 = [-xe^{-x}]_0^1 - \int_0^1 (-e^{-x}) dx = -e^{-1} + \int_0^1 e^{-x} dx = -\frac{1}{e} + [-e^{-x}]_0^1 = -\frac{1}{e} - e^{-1} + 1 = 1 - \frac{2}{e}
(3) InnIn1I_n - nI_{n-1}nn の式で表す。
In=01xnexdxI_n = \int_0^1 x^n e^{-x} dx を部分積分する。u=xn,dv=exdxu = x^n, dv = e^{-x} dx とすると、du=nxn1dx,v=exdu = nx^{n-1} dx, v = -e^{-x} となる。
In=[xnex]0101(ex)nxn1dx=e10+n01xn1exdx=1e+nIn1I_n = [-x^n e^{-x}]_0^1 - \int_0^1 (-e^{-x}) nx^{n-1} dx = -e^{-1} - 0 + n \int_0^1 x^{n-1} e^{-x} dx = -\frac{1}{e} + nI_{n-1}
したがって、InnIn1=1eI_n - nI_{n-1} = -\frac{1}{e}
(4) limnIn\lim_{n \to \infty} I_n を求める。
In=01xnexdxI_n = \int_0^1 x^n e^{-x} dx. 0x10 \le x \le 1 において、xnx^nnn \to \inftyx<1x < 1 ならば 0 に収束し、x=1x = 1 ならば 1 になる。また、0ex10 \le e^{-x} \le 1 である。
0xnexxn0 \le x^n e^{-x} \le x^n. 01xndx=1n+1\int_0^1 x^n dx = \frac{1}{n+1}. よって、limn01xnexdx=0\lim_{n \to \infty} \int_0^1 x^n e^{-x} dx = 0.
したがって、limnIn=0\lim_{n \to \infty} I_n = 0
(5) limnSn\lim_{n \to \infty} S_n を求める。
Sn=k=0n1k!S_n = \sum_{k=0}^n \frac{1}{k!}ex=k=0xkk!e^x = \sum_{k=0}^{\infty} \frac{x^k}{k!} において x=1x=1 としたものなので、
limnSn=k=01k!=e\lim_{n \to \infty} S_n = \sum_{k=0}^{\infty} \frac{1}{k!} = e

3. 最終的な答え

(1) I0=11eI_0 = 1 - \frac{1}{e}
(2) I1=12eI_1 = 1 - \frac{2}{e}
(3) InnIn1=1eI_n - nI_{n-1} = -\frac{1}{e}
(4) limnIn=0\lim_{n \to \infty} I_n = 0
(5) limnSn=e\lim_{n \to \infty} S_n = e

「解析学」の関連問題

$0 \le x \le 2\pi$ において、関数 $f(x) = \sqrt{2}\sin x - \sqrt{2}\cos x + 1 - 2\sin x \cos x$ を考える。 (1) $...

三角関数関数の最大最小置換積分
2025/5/7

すべての正の実数 $x$ に対して $\sqrt{x} + 2 \le k\sqrt{x+1}$ が成り立つような実数 $k$ の最小値を求めよ。

不等式最大値導関数微分
2025/5/7

すべての正の実数 $x$ に対して、不等式 $\sqrt{x+2} \le k\sqrt{x+1}$ が成り立つような実数 $k$ の最小値を求めよ。

不等式関数の最大最小極限
2025/5/7

すべての正の実数 $x$ に対して不等式 $\sqrt{x} + 2 \leq k\sqrt{x+1}$ が成り立つような実数 $k$ の最小値を求めよ。

不等式微分最大値関数の増減
2025/5/7

$\sin{\frac{\pi}{12}}$ と $\cos{\frac{\pi}{8}}$ の値を求めよ。

三角関数加法定理半角の公式角度
2025/5/7

$n$ は3以上の自然数とする。$I_n = \int_0^{\frac{\pi}{4}} \tan^n x \, dx$ について、以下の問いに答えよ。 (1) $I_3$ と $I_4$ を求めよ...

積分三角関数定積分漸化式
2025/5/7

関数 $f(x) = \int_{0}^{x} (1 + \cos t) \sin t dt$ ($0 < x < 4\pi$) の極値を求めよ。

積分極値三角関数微分最大値最小値
2025/5/7

3次関数 $f(x) = x^3 + ax^2 + bx + 3$ について、以下の問いに答える。 (1) $f(x)$ が極値を持つための $a, b$ の条件を求める。 (2) (1)のとき、$x...

微分3次関数極値解と係数の関係
2025/5/7

3次関数 $f(x) = x^3 + ax^2 + bx + 3$ について、以下の問いに答える問題です。 (1) $f(x)$ が極値を持つための $a, b$ が満たすべき条件を求めます。 (2)...

3次関数極値導関数判別式微分
2025/5/7

与えられた3次関数 $f(x) = x^3 + ax^2 + bx + 3$ について、以下の問題を解きます。 (1) $f(x)$ が極値を持つための $a, b$ の満たす条件を求めます。 (2)...

微分極値3次関数判別式解と係数の関係
2025/5/7