問題は以下の2つの等式を示すことです。 (1) $\int_{0}^{\infty} x^n e^{-px} dx = \frac{n!}{p^{n+1}} \quad (p > 0)$ (2) $\int_{0}^{1} x^p (\log x)^n dx = \frac{(-1)^n n!}{(p+1)^{n+1}} \quad (p > -1)$

解析学積分部分積分ガンマ関数
2025/7/30
以下に問題の解答を示します。

1. 問題の内容

問題は以下の2つの等式を示すことです。
(1) 0xnepxdx=n!pn+1(p>0)\int_{0}^{\infty} x^n e^{-px} dx = \frac{n!}{p^{n+1}} \quad (p > 0)
(2) 01xp(logx)ndx=(1)nn!(p+1)n+1(p>1)\int_{0}^{1} x^p (\log x)^n dx = \frac{(-1)^n n!}{(p+1)^{n+1}} \quad (p > -1)

2. 解き方の手順

(1) 0xnepxdx=n!pn+1\int_{0}^{\infty} x^n e^{-px} dx = \frac{n!}{p^{n+1}} を示す。
まず、部分積分を用いて、0xnepxdx\int_{0}^{\infty} x^n e^{-px} dx を計算します。
In=0xnepxdxI_n = \int_{0}^{\infty} x^n e^{-px} dx とおくと、
u=xnu = x^n, dv=epxdxdv = e^{-px} dx とおくと、
du=nxn1dxdu = nx^{n-1} dx, v=1pepxv = -\frac{1}{p}e^{-px}
In=[1pxnepx]0+np0xn1epxdxI_n = \left[-\frac{1}{p}x^n e^{-px}\right]_0^{\infty} + \frac{n}{p} \int_0^{\infty} x^{n-1} e^{-px} dx
limxxnepx=0\lim_{x \to \infty} x^n e^{-px} = 0 (∵ p>0p>0), よって、
In=np0xn1epxdx=npIn1I_n = \frac{n}{p} \int_0^{\infty} x^{n-1} e^{-px} dx = \frac{n}{p} I_{n-1}
これを繰り返すと、
In=npn1pn2p1p0epxdxI_n = \frac{n}{p} \cdot \frac{n-1}{p} \cdot \frac{n-2}{p} \cdots \frac{1}{p} \int_0^{\infty} e^{-px} dx
0epxdx=[1pepx]0=1p\int_0^{\infty} e^{-px} dx = \left[-\frac{1}{p} e^{-px}\right]_0^{\infty} = \frac{1}{p}
したがって、
In=n!pn1p=n!pn+1I_n = \frac{n!}{p^n} \cdot \frac{1}{p} = \frac{n!}{p^{n+1}}
(2) 01xp(logx)ndx=(1)nn!(p+1)n+1\int_{0}^{1} x^p (\log x)^n dx = \frac{(-1)^n n!}{(p+1)^{n+1}} を示す。
まず、x=etx = e^{-t} と変数変換します。dx=etdtdx = -e^{-t}dt
x:01x: 0 \to 1 のとき、t:0t: \infty \to 0
logx=t\log x = -t
01xp(logx)ndx=0ept(t)n(et)dt=(1)n0e(p+1)ttn(1)dt=(1)n0e(p+1)ttndt\int_{0}^{1} x^p (\log x)^n dx = \int_{\infty}^{0} e^{-pt} (-t)^n (-e^{-t}) dt = (-1)^n \int_{\infty}^{0} e^{-(p+1)t} t^n (-1) dt = (-1)^n \int_{0}^{\infty} e^{-(p+1)t} t^n dt
ここで、u=(p+1)tu = (p+1)t とおくと、t=up+1t = \frac{u}{p+1}, dt=dup+1dt = \frac{du}{p+1}
=(1)n0eu(up+1)n1p+1du=(1)n(p+1)n+10euundu=(1)n(p+1)n+1Γ(n+1)=(1)nn!(p+1)n+1= (-1)^n \int_0^{\infty} e^{-u} (\frac{u}{p+1})^n \frac{1}{p+1} du = \frac{(-1)^n}{(p+1)^{n+1}} \int_0^{\infty} e^{-u} u^n du = \frac{(-1)^n}{(p+1)^{n+1}} \Gamma(n+1) = \frac{(-1)^n n!}{(p+1)^{n+1}}

3. 最終的な答え

(1) 0xnepxdx=n!pn+1\int_{0}^{\infty} x^n e^{-px} dx = \frac{n!}{p^{n+1}}
(2) 01xp(logx)ndx=(1)nn!(p+1)n+1\int_{0}^{1} x^p (\log x)^n dx = \frac{(-1)^n n!}{(p+1)^{n+1}}

「解析学」の関連問題

* (1) $D < 0$ かつ $A > 0$ ならば、$ (\alpha, \beta) \neq (0, 0)$ のとき常に $a_2 > 0$ (極小値) * (2) $D <...

極値偏微分2変数関数判別式
2025/7/30

与えられた4つの関数について、$x$ が正の無限大 ($x \to \infty$) および負の無限大 ($x \to -\infty$) に近づくときの極限値を求める問題です。 関数は以下の通りです...

極限関数の極限無限大絶対値分数関数多項式関数
2025/7/30

(1) 関数 $F(x) = \int_1^x (x-t) \log t \, dt$ を $x$ について微分する。 (2) 等式 $f(x) = \frac{1}{x} + \int_1^3 tf...

微分積分定積分微分係数陰関数
2025/7/30

与えられた3つの極限を求める問題です。 (1) $\lim_{x \to -0} \frac{x}{|x|}$ (2) $\lim_{x \to 1+0} \frac{1}{x^2 - 1}$ (3)...

極限関数の極限片側極限
2025/7/30

点 $(-1, -3)$ から曲線 $y = x^2$ に引いた接線の方程式を求める問題です。

微分接線二次関数方程式
2025/7/30

以下の定積分を計算します。 $\int \frac{8x - 6}{2x^2 - 12x + 27} dx$

定積分積分計算置換積分部分分数分解平方完成三角関数の積分
2025/7/30

次の不定積分を計算してください。 $\int \frac{yx^2 - 5}{3y - 4} dx$

積分不定積分変数分離積分計算
2025/7/30

与えられた積分 $\int \frac{2}{y(y-2)} dy$ を計算します。

積分部分分数分解対数関数
2025/7/30

O(0, 0), P(cos θ, sin θ), Q(-1, 0) が与えられている。P, Q を通る直線と y 軸との交点を R(0, t) とする。以下の問いに答える。 (1) ∠RQO を θ...

三角関数微分積分媒介変数表示
2025/7/30

広義積分 $\int_{0}^{1} \frac{1}{x^{\alpha}} dx$ が、$\alpha < 1$ のとき $\frac{1}{1-\alpha}$ に収束し、$\alpha \ge...

広義積分積分収束発散極限
2025/7/30