跳到主要内容

九州大学 工学府 機械系専攻 2015年度 数学 問4

Author​

祭音Myyura (refined with GPT 6 Astra)

Description​

関数 f(x)f(x) は、以下のように定義される。

f(x)=∫0∞e−ttx−1 dt.f(x)=\int_0^\infty e^{-t}t^{x-1}\,dt.

このとき、次の各問いに答えよ。(50点)

  1. f(1)f(1) を求めよ。
  2. f(x+1)=xf(x)f(x+1)=xf(x) を示せ。
  3. f(n+1)f(n+1) を求めよ。ただし nn は自然数とする。
  4. f(1/2)f(1/2) を求めよ。
  5. f(n+1/2)f(n+1/2) を求めよ。ただし nn は自然数とする。

题目描述​

由 Gamma 积分定义求 f(1)f(1),证明递推关系,再求正整数和半整数处的值。

Kai​

積分は x>0x>0 で収束する。この範囲で以下を計算する。

(1)​

f(1)=∫0∞e−tdt=1.\boxed{f(1)=\int_0^\infty e^{-t}dt=1}.

(2)​

x>0x>0 では端点項が消えるので、部分積分により

f(x+1)=[−e−ttx]0∞+x∫0∞e−ttx−1dt=xf(x).f(x+1)=\left[-e^{-t}t^x\right]_0^\infty+x\int_0^\infty e^{-t}t^{x-1}dt =\boxed{xf(x)}.

(3)​

f(n+1)=n(n−1)⋯1⋅f(1)=n!.\boxed{f(n+1)=n(n-1)\cdots1\cdot f(1)=n!}.

(4)​

t=u2t=u^2 と変換すると f(1/2)=2∫0∞e−u2duf(1/2)=2\int_0^\infty e^{-u^2}du。J=∫0∞e−u2duJ=\int_0^\infty e^{-u^2}du とおけば、極座標変換から

J2=∫0π/2∫0∞e−ρ2ρ dρ dθ=π4.J^2=\int_0^{\pi/2}\int_0^\infty e^{-\rho^2}\rho\,d\rho\,d\theta=\frac\pi4.

J>0J>0 より f(1/2)=π\boxed{f(1/2)=\sqrt\pi}。

(5)​

(2) を繰り返すと

f(n+12)=(2n−1)(2n−3)⋯12nπ=(2n)!4nn!π.\boxed{f\left(n+\frac12\right) =\frac{(2n-1)(2n-3)\cdots1}{2^n}\sqrt\pi =\frac{(2n)!}{4^nn!}\sqrt\pi}.