$\int_{0}^{\infty} xe^{-\sqrt{x}} dx$ を計算します。ヒントとして、$x = t^2$ とおくことが与えられています。

解析学定積分ガンマ関数ベータ関数置換積分三角関数
2025/7/1
## (1) の問題

1. 問題の内容

0xexdx\int_{0}^{\infty} xe^{-\sqrt{x}} dx を計算します。ヒントとして、x=t2x = t^2 とおくことが与えられています。

2. 解き方の手順

与えられたヒントに従って、x=t2x = t^2 と置換します。すると、dx=2tdtdx = 2t dt となります。積分範囲も変化し、x:0x: 0 \to \inftyt:0t: 0 \to \infty に対応します。したがって、積分は次のように書き換えられます。
0t2et(2tdt)=20t3etdt\int_{0}^{\infty} t^2 e^{-t} (2t dt) = 2\int_{0}^{\infty} t^3 e^{-t} dt
ここで、ガンマ関数の定義 Γ(z)=0xz1exdx\Gamma(z) = \int_{0}^{\infty} x^{z-1} e^{-x} dx を用いると、
20t3etdt=2Γ(4)2\int_{0}^{\infty} t^3 e^{-t} dt = 2\Gamma(4) となります。
ガンマ関数の性質 Γ(z+1)=zΓ(z)\Gamma(z+1) = z\Gamma(z) を使うと、
Γ(4)=3Γ(3)=32Γ(2)=321Γ(1)=3!=6\Gamma(4) = 3\Gamma(3) = 3\cdot2\Gamma(2) = 3\cdot2\cdot1\Gamma(1) = 3! = 6 となります。
したがって、
2Γ(4)=26=122\Gamma(4) = 2 \cdot 6 = 12 となります。

3. 最終的な答え

0xexdx=12\int_{0}^{\infty} xe^{-\sqrt{x}} dx = 12
## (2) の問題

1. 問題の内容

0xn12exdx\int_{0}^{\infty} x^{n-\frac{1}{2}}e^{-x}dx を計算します。ヒントとしてガンマ関数の漸化式と Γ(1/2)=π\Gamma(1/2) = \sqrt{\pi} を使うことが与えられています。

2. 解き方の手順

与えられた積分はガンマ関数の定義そのものです。
Γ(z)=0xz1exdx\Gamma(z) = \int_{0}^{\infty} x^{z-1}e^{-x}dx
したがって、積分は Γ(n12+1)=Γ(n+12)\Gamma(n-\frac{1}{2} + 1) = \Gamma(n+\frac{1}{2}) に等しくなります。
Γ(n+12)\Gamma(n+\frac{1}{2}) を計算するために、ガンマ関数の漸化式 Γ(z+1)=zΓ(z)\Gamma(z+1) = z\Gamma(z) を繰り返し使います。
Γ(n+12)=(n12)Γ(n12)=(n12)(n32)Γ(n32)=\Gamma(n+\frac{1}{2}) = (n-\frac{1}{2})\Gamma(n-\frac{1}{2}) = (n-\frac{1}{2})(n-\frac{3}{2})\Gamma(n-\frac{3}{2}) = \cdots
これを繰り返していくと、Γ(1/2)\Gamma(1/2) が現れます。Γ(1/2)=π\Gamma(1/2) = \sqrt{\pi} は既知です。
Γ(n+12)=(n12)(n32)12Γ(12)=(2n1)!!2nπ\Gamma(n+\frac{1}{2}) = (n-\frac{1}{2})(n-\frac{3}{2})\cdots\frac{1}{2}\Gamma(\frac{1}{2}) = \frac{(2n-1)!!}{2^n}\sqrt{\pi}
ここで、(2n1)!! (2n-1)!! は二重階乗を表します。

3. 最終的な答え

0xn12exdx=Γ(n+12)=(2n1)!!2nπ\int_{0}^{\infty} x^{n-\frac{1}{2}}e^{-x}dx = \Gamma(n+\frac{1}{2}) = \frac{(2n-1)!!}{2^n}\sqrt{\pi}
## (3) の問題

1. 問題の内容

02x32xdx\int_{0}^{2} \frac{x^3}{\sqrt{2-x}} dx を計算します。ヒントとして、x=2tx = 2t とおくことでベータ関数に帰着させ、ベータ関数をガンマ関数で表す公式を使うことが与えられています。

2. 解き方の手順

与えられたヒントに従い、x=2tx = 2t と置換すると、dx=2dtdx = 2dt となり、積分範囲は x:02x: 0 \to 2 から t:01t: 0 \to 1 に変わります。置換すると、積分は次のようになります。
01(2t)322t(2dt)=018t32(1t)(2dt)=16201t31tdt=8201t3(1t)1/2dt\int_{0}^{1} \frac{(2t)^3}{\sqrt{2-2t}} (2dt) = \int_{0}^{1} \frac{8t^3}{\sqrt{2(1-t)}} (2dt) = \frac{16}{\sqrt{2}} \int_{0}^{1} \frac{t^3}{\sqrt{1-t}} dt = 8\sqrt{2} \int_{0}^{1} t^3 (1-t)^{-1/2} dt
ここで、ベータ関数の定義 B(m,n)=01xm1(1x)n1dxB(m,n) = \int_{0}^{1} x^{m-1}(1-x)^{n-1} dx を用いると、
01t3(1t)1/2dt=B(4,12)\int_{0}^{1} t^3 (1-t)^{-1/2} dt = B(4, \frac{1}{2}) となります。
ベータ関数とガンマ関数の関係 B(m,n)=Γ(m)Γ(n)Γ(m+n)B(m,n) = \frac{\Gamma(m)\Gamma(n)}{\Gamma(m+n)} を使うと、
B(4,12)=Γ(4)Γ(12)Γ(4+12)=Γ(4)Γ(12)Γ(92)B(4, \frac{1}{2}) = \frac{\Gamma(4)\Gamma(\frac{1}{2})}{\Gamma(4+\frac{1}{2})} = \frac{\Gamma(4)\Gamma(\frac{1}{2})}{\Gamma(\frac{9}{2})}
Γ(4)=3!=6\Gamma(4) = 3! = 6Γ(1/2)=π \Gamma(1/2) = \sqrt{\pi} であり、
Γ(92)=72Γ(72)=7252Γ(52)=725232Γ(32)=72523212Γ(12)=10516π\Gamma(\frac{9}{2}) = \frac{7}{2}\Gamma(\frac{7}{2}) = \frac{7}{2}\cdot\frac{5}{2}\Gamma(\frac{5}{2}) = \frac{7}{2}\cdot\frac{5}{2}\cdot\frac{3}{2}\Gamma(\frac{3}{2}) = \frac{7}{2}\cdot\frac{5}{2}\cdot\frac{3}{2}\cdot\frac{1}{2}\Gamma(\frac{1}{2}) = \frac{105}{16}\sqrt{\pi}
したがって、
B(4,12)=6π10516π=610516=616105=3235B(4, \frac{1}{2}) = \frac{6\sqrt{\pi}}{\frac{105}{16}\sqrt{\pi}} = \frac{6}{\frac{105}{16}} = \frac{6\cdot16}{105} = \frac{32}{35}
02x32xdx=823235=256235\int_{0}^{2} \frac{x^3}{\sqrt{2-x}} dx = 8\sqrt{2} \cdot \frac{32}{35} = \frac{256\sqrt{2}}{35}

3. 最終的な答え

02x32xdx=256235\int_{0}^{2} \frac{x^3}{\sqrt{2-x}} dx = \frac{256\sqrt{2}}{35}
## (4) の問題

1. 問題の内容

0π2sin4θcos2θdθ\int_{0}^{\frac{\pi}{2}} \sin^4\theta \cos^2\theta d\theta を計算します。ヒントとして、三角関数の積分をベータ関数で表す公式を使い、ベータ関数をガンマ関数で表す公式を使うことが与えられています。

2. 解き方の手順

0π2sinmθcosnθdθ=12B(m+12,n+12)\int_{0}^{\frac{\pi}{2}} \sin^m\theta \cos^n\theta d\theta = \frac{1}{2}B(\frac{m+1}{2}, \frac{n+1}{2}) という公式を使うと、
0π2sin4θcos2θdθ=12B(4+12,2+12)=12B(52,32)\int_{0}^{\frac{\pi}{2}} \sin^4\theta \cos^2\theta d\theta = \frac{1}{2}B(\frac{4+1}{2}, \frac{2+1}{2}) = \frac{1}{2}B(\frac{5}{2}, \frac{3}{2})
ベータ関数をガンマ関数で表す公式 B(m,n)=Γ(m)Γ(n)Γ(m+n)B(m,n) = \frac{\Gamma(m)\Gamma(n)}{\Gamma(m+n)} を使うと、
12B(52,32)=12Γ(52)Γ(32)Γ(52+32)=12Γ(52)Γ(32)Γ(4)\frac{1}{2}B(\frac{5}{2}, \frac{3}{2}) = \frac{1}{2}\frac{\Gamma(\frac{5}{2})\Gamma(\frac{3}{2})}{\Gamma(\frac{5}{2}+\frac{3}{2})} = \frac{1}{2}\frac{\Gamma(\frac{5}{2})\Gamma(\frac{3}{2})}{\Gamma(4)}
Γ(4)=3!=6\Gamma(4) = 3! = 6 であり、
Γ(52)=32Γ(32)\Gamma(\frac{5}{2}) = \frac{3}{2}\Gamma(\frac{3}{2})Γ(32)=12Γ(12)=12π \Gamma(\frac{3}{2}) = \frac{1}{2}\Gamma(\frac{1}{2}) = \frac{1}{2}\sqrt{\pi} なので、
Γ(52)=3212π=34π\Gamma(\frac{5}{2}) = \frac{3}{2} \cdot \frac{1}{2}\sqrt{\pi} = \frac{3}{4}\sqrt{\pi}
したがって、
12Γ(52)Γ(32)Γ(4)=1234π12π6=1238π6=3π96=π32\frac{1}{2}\frac{\Gamma(\frac{5}{2})\Gamma(\frac{3}{2})}{\Gamma(4)} = \frac{1}{2}\frac{\frac{3}{4}\sqrt{\pi}\cdot\frac{1}{2}\sqrt{\pi}}{6} = \frac{1}{2} \frac{\frac{3}{8}\pi}{6} = \frac{3\pi}{96} = \frac{\pi}{32}

3. 最終的な答え

0π2sin4θcos2θdθ=π32\int_{0}^{\frac{\pi}{2}} \sin^4\theta \cos^2\theta d\theta = \frac{\pi}{32}

「解析学」の関連問題

媒介変数表示された曲線 $x = \cos\theta (1 + \cos\theta)$, $y = \sin\theta (1 - \cos\theta)$ ($0 \le \theta \le ...

積分媒介変数表示定積分
2025/7/1

与えられた4つの関数について、それぞれの導関数を求める問題です。

微分導関数合成関数積の微分対数関数三角関数
2025/7/1

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

微分接線法線導関数
2025/7/1

$x \in (-1, 1)$ で定義された関数 $f_1(x) = \sqrt{1 - x^2}$ について、以下の導関数を求める問題です。 (a) $f_1'(x)$ (b) $f_1''(x)$...

導関数微分合成関数の微分法商の微分法
2025/7/1

与えられた12個の頂点を持つ多角形の内部および周を領域Dとするとき、二重積分 $\iint_D y^2 dxdy$ を計算する。ただし、$\alpha$ は正の実数である。

二重積分多角形積分領域対称性
2025/7/1

$\cos x$ の有限マクローリン展開が以下の式で表せることを示す問題です。 $1 - \frac{1}{2}x^2 + \frac{1}{4!}x^4 + \dots + \frac{(-1)^n...

マクローリン展開テイラー展開剰余項微分三角関数
2025/7/1

問題1:$\cos x$ の有限マクローリン展開が次の式で表せることを示す問題です。 $1 - \frac{1}{2}x^2 + \frac{1}{4!}x^4 - \dots + \frac{(-1...

マクローリン展開テイラー展開級数展開指数関数三角関数対数関数
2025/7/1

与えられた4つの関数を微分する問題です。 (1) $y = \sin{x}$ (2) $y = \sin{3x}$ (3) $y = \cos{4x}$ (4) $y = 2\sin{(5x - 7)...

微分三角関数合成関数
2025/7/1

## 1. 問題の内容

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

与えられた関数 $ f(x, y) = \begin{cases} |x|^\alpha |y|^\beta & (x, y) \neq (0, 0) \\ 0 & (x, y) = (0, 0) \...

多変数関数方向微分全微分可能性極限
2025/7/1