logo

ガンマ関数 📂関数

ガンマ関数

定義

次のように定義された関数 Γ:(0,∞)→R\Gamma : (0, \infty) \to \mathbb{R} をガンマ関数と言う。 Γ(x):=∫0∞tx−1e−tdt \Gamma (x) := \int_{0}^{\infty} t^{x-1} e^{-t} dt

説明

上の式において積分に焦点を置くと、オイラー積分とも呼ばれる。ガンマ関数は、純粋数学だけでなく物理学、統計学などでも非常に重要な関数として有名である。非常に多くの興味深い性質を持っているが、最も代表的なのは階乗を実数に対して一般化する概念である点である。

定理

階乗の一般化としてのガンマ関数

自然数 n∈Nn \in \mathbb{N} に対して Γ(n)=(n−1)!\Gamma (n) = (n-1)! が成り立つ。

証明

戦略：ガンマ関数が階乗の形で表されることだけを示せば、一般化に関しては十分である。

ガンマ関数の定義により Γ(n)=∫0∞tn−1e−tdt \Gamma (n) = \int_{0}^{\infty} t^{n-1} e^{-t} dt

Case 1. n=1n=1 Γ(1)=∫0∞e−tdt=1 \Gamma (1) = \int_{0}^{\infty} e^{-t} dt = 1 これは、0!=10! = 1 と同じ意味で受け取ることができる。

Case 2. n>1n>1

部分積分法により Γ(n)=∫0∞tn−1e−tdt=[−tn−1e−t]0∞−∫0∞−(n−1)tn−2e−tdt=(n−1)∫0∞tn−2e−tdt=(n−1)Γ(n−1) \begin{align*} \Gamma (n) =& \int_{0}^{\infty} t^{n-1} e^{-t} dt \\ =& \left[ -t^{n-1} e^{-t} \right] _{0} ^{\infty} - \int_{0}^{\infty} -(n-1)t^{n-2} e^{-t} dt \\ =& (n-1) \int_{0}^{\infty} t^{n-2} e^{-t} dt \\ =& (n-1) \Gamma (n-1) \end{align*}

両方のケースをまとめると Γ(n)=(n−1)⋅(n−2)⋯2⋅Γ(2)=(n−1)⋅(n−2)⋯2⋅1⋅Γ(1)=(n−1)! \begin{align*} \Gamma (n) =& (n-1) \cdot (n-2) \cdots 2\cdot\Gamma (2) \\ =& (n-1) \cdot (n-2) \cdots 2\cdot 1\cdot \Gamma (1) \\ =& (n-1)! \end{align*}

■

参考