1 定義
ガンマ関数は、階乗を実数や複素数へ拡張するための標準的な特殊関数である。正の整数に対しては階乗と一致し、さらに積分表示や関数方程式を通じて、解析的に扱いやすい形で定義される。記号としては通常、Γ(z) が用いられる。
1.1 オイラー積分による定義
最も基本的な定義は、実部が正の複素数 z に対して \[ \Gamma(z)=\int_0^\infty t^{z-1}e^{-t}\,dt \] で与えられる。これはオイラー積分として知られ、ガンマ関数の出発点となる。積分の収束と解析的性質は、この形から直接に導かれる。
1.2 階乗との関係
正の整数 n に対して、ガンマ関数は \[ \Gamma(n)=(n-1)! \] を満たす。したがって、5! は Γ(6) に対応する。この性質により、ガンマ関数は階乗の自然な連続拡張とみなされる。ただし、整数以外への拡張では、単純な積の繰り返しではなく、解析関数としての構造が本質となる。
1.3 定義域と収束条件
オイラー積分は、まず実部が正である領域で収束する。t→0 では t^{z-1} の挙動が、t→∞ では e^{-t} の減衰が収束を左右する。特に実部が0以下の場合、積分表示そのものはそのままでは使えないが、後述する解析接続によって関数としての定義は拡張される。
2 基本性質
ガンマ関数は、再帰的な関係式と正規化条件によって特徴づけられる。加えて、対数凸性は、その一意性や不等式の導出に関わる重要な性質である。
2.1 再帰関係
ガンマ関数は \[ \Gamma(z+1)=z\Gamma(z) \] を満たす。これは階乗の漸化式 n! = n\cdot(n-1)! に対応する。積分表示から部分積分を行うと、この関係式が得られる。
2.2 正規化と一意性
\[ \Gamma(1)=1 \] という正規化を加えると、再帰関係と適切な正則性条件のもとで、ガンマ関数は事実上ただ一つに定まる。ワイエルシュトラスの理論や対数凸性を用いると、階乗の拡張としての自然さがより明確になる。
2.3 凸性と対数凸性
ガンマ関数は、正の実数上で対数凸である。これは Γ(x) 自体ではなく log Γ(x) が凸であることを意味する。対数凸性は補間や不等式に強い制約を与え、ガンマ関数が単なる形式的拡張ではないことを示す。
2.3.1 対数凸性の意味
対数凸性とは、任意の 0≤λ≤1 に対して \[ \Gamma(\lambda x+(1-\lambda)y)\le \Gamma(x)^\lambda \Gamma(y)^{1-\lambda} \] が成り立つ性質である。これは平均値に対する安定性を表し、解析的不等式の基礎にもなる。
2.3.2 ボワー・ミンコフスキー型の性質
ガンマ関数には、積分表現から導かれるボワー・ミンコフスキー型の不等式がある。これは、和に対する評価や積分の比較を通じて、凸性と結びついた評価を与える。応用上は、特殊関数の上界・下界の見積もりに使われる。
3 解析接続
オイラー積分で定義された領域を超えて、ガンマ関数は複素平面全体へ拡張できる。ただし、負の整数に極を持つため、全域で正則というわけではない。
3.1 複素平面への拡張
関数方程式 \[ \Gamma(z+1)=z\Gamma(z) \] を利用すると、実部が正でない領域にも値を順次延長できる。これにより、Γ(z) は複素平面上の広い範囲で定義される。解析接続後も、元の定義域ではオイラー積分と一致する。
3.2 極と留数
拡張されたガンマ関数は、非正の整数で単純極を持つ。これらの特異点は、関数の構造を理解するうえで重要であり、留数は多くの公式に現れる。
3.2.1 負の整数での極
Γ(z) は z=0,-1,-2,\dots に単純極を持つ。これは再帰関係を逆向きにたどると、分母に0が現れるためである。したがって、これらの点はガンマ関数の定義上の障害ではなく、解析接続に伴う特異点として現れる。
3.2.2 留数の計算
負の整数 -n における留数は \[ \operatorname{Res}(\Gamma,z=-n)=\frac{(-1)^n}{n!} \] で与えられる。符号が交互に変わることは、関数方程式の反復から導かれる特徴である。
3.3 関数方程式の保存
解析接続によっても、再帰関係は失われない。むしろ、複素平面上で広く成り立つ基本公式として保持される。この保存性により、局所的な積分定義と大域的な複素解析が一つの体系に統合される。
4 重要な公式
ガンマ関数には、他の特殊関数との関係や漸近挙動を表す重要な公式が複数ある。これらは解析学のみならず、計算や近似にも不可欠である。
4.1 オイラーの反射公式
反射公式は \[ \Gamma(z)\Gamma(1-z)=\frac{\pi}{\sin(\pi z)} \] で表される。これは正と負の領域を結び、ガンマ関数の値を互いに補完的に関連づける。特に、整数近傍の特異性や対称性の理解に役立つ。
4.2 レジャンドルの重複公式
重複公式は、Γ(z) と Γ(z+1/2) の積を Γ(2z) と結びつける関係である。これにより、半整数を含む値や倍角的な構造が整理される。計算上も、有理数や半整数の値を簡約する際に有用である。
4.3 乗法公式
乗法公式は、整数 m に対して Γ(mz) を、Γ(z), Γ(z+1/m), …, Γ(z+(m-1)/m) の積で表す。これは重複公式の一般化にあたり、周期的な引数変換を含む。複素解析や特殊値の計算において、対称性を明示する役割を持つ。
4.4 スターリングの近似式
大きな変数に対しては、スターリングの近似式 \[ \Gamma(z)\sim \sqrt{2\pi}\,z^{z-\frac12}e^{-z} \] が基本となる。階乗の成長率を定量化する標準的な式として広く使われる。
4.4.1 漸近展開
より精密には、スターリングの式にはべき級数型の漸近展開が付随する。これにより、高次の補正項を加えた近似が可能になる。実用上は、少数項でもかなり良い精度が得られる。
4.4.2 誤差評価
漸近公式の利用には誤差の見積もりが重要である。ガンマ関数の場合、誤差項は引数の大きさや偏角に依存する。評価を与えることで、数値計算や解析的推定の信頼性が高まる。
5 関連関数
ガンマ関数は、他の特殊関数の中心に位置する。特にベータ関数、ディガンマ関数、ポリガンマ関数は、ガンマ関数から自然に定義され、相互に密接な関係を持つ。
5.1 ベータ関数
ベータ関数 B(x,y) は、二つの変数をもつ特殊関数で、ガンマ関数と強く結びついている。積分表示と積の公式の両面から、ガンマ関数の兄弟関数のように扱われる。
5.1.1 積分表示との関係
ベータ関数は \[ B(x,y)=\int_0^1 t^{x-1}(1-t)^{y-1}\,dt \] で定義される。この積分を変数変換すると、ガンマ関数の積分と結びつく。したがって、両者は同じ解析的枠組みの中で理解できる。
5.1.2 ガンマ関数による表示
\[ B(x,y)=\frac{\Gamma(x)\Gamma(y)}{\Gamma(x+y)} \] が基本公式である。右辺は、個別の積分を一つの比へまとめる形であり、組合せ的・解析的な応用に広く現れる。
5.2 ディガンマ関数
ディガンマ関数 ψ(z) は、ガンマ関数の対数微分として定義される。ガンマ関数の変化率を記述する関数であり、和や級数の評価にしばしば現れる。
5.2.1 導関数としての定義
\[ \psi(z)=\frac{d}{dz}\log\Gamma(z)=\frac{\Gamma'(z)}{\Gamma(z)} \] である。ガンマ関数そのものよりも扱いやすい場合があり、極や特殊値の解析に役立つ。
5.2.2 調和数との関係
正の整数 n に対して、ディガンマ関数は調和数 H_n と結びつく。具体的には、ψ(n+1) が H_n にオイラー定数を加減した形で表される。この関係は、離散的な和と連続的な解析の橋渡しをする。
5.3 ポリガンマ関数
ポリガンマ関数は、ディガンマ関数の高階導関数として定義される関数族である。次数を上げることで、より細かな変化や級数展開の係数を記述できる。解析接続や特殊値の研究にも用いられる。
6 特殊値
ガンマ関数は、特定の点で閉じた形の値を持つことがある。整数、半整数、有理数での値は、計算や公式の具体化において重要である。
6.1 正の整数での値
正の整数 n では \[ \Gamma(n)=(n-1)! \] となる。したがって、整数点での値は階乗の並びそのものに一致する。これはガンマ関数の最も基本的な特殊値である。
6.2 半整数での値
\[ \Gamma\left(\frac12\right)=\sqrt{\pi} \] が代表例であり、そこから再帰関係により半整数全体の値が求められる。たとえば、Γ(3/2)=\frac12\sqrt{\pi} である。半整数値は、正規分布や球対称積分にも現れる。
6.3 有理数での値
一般の有理数に対しては、ガンマ関数の値が代数的に単純になるとは限らないが、反射公式や乗法公式によって相互に関係づけられる。特定の有理点では、π や根号を含む形で表されることがあり、数論的性質が注目される。
7 漸近的性質
ガンマ関数は、引数が大きくなると急速に増大する。その成長は複素平面上の位置にも依存し、積表示や漸近展開によって詳しく記述される。
7.1 大きな実数での挙動
大きな実数 x に対して、Γ(x) はスターリング型の式に従って増加する。階乗と同様に、指数関数よりも速く成長し、べき乗と指数減衰が組み合わさった形で近似される。この性質は、組合せ論や確率の正規化係数に影響する。
7.2 複素数に対する成長
複素引数では、実部だけでなく偏角も成長に関わる。特定の扇形領域では漸近評価が安定に行えるが、極の近傍では急激な変動が生じる。複素解析では、成長度の制御が等角写像や積分変形の基礎となる。
7.3 ウェイエルシュトラス積表示
ガンマ関数には無限積による表示があり、ウェイエルシュトラス積として知られる。これは零点を持たないことや極の構造を明示するのに有効である。積表示は、関数の全体像を解析的に捉えるための重要な手段である。
8 応用
ガンマ関数は純粋数学にとどまらず、確率論、物理学、数論、解析学に広く現れる。特に、連続分布の正規化や特殊積分の評価において、標準的な道具となっている。
8.1 確率分布への応用
確率論では、ガンマ関数は密度関数の正規化定数やモーメント計算に登場する。連続分布の形を調整する際に、自然なスケール因子を与える役割を持つ。
8.1.1 ベータ分布
ベータ分布の規格化定数はベータ関数で表され、そこにガンマ関数が現れる。区間 [0,1] 上の確率変数のモデリングに用いられ、柔軟な形状をもつ分布として知られる。
8.1.2 ガンマ分布
ガンマ分布はその名の通り、ガンマ関数と直接結びつく分布である。待ち時間や正の連続量のモデル化に使われ、密度の正規化に Γ が現れる。形状母数と尺度母数の組み合わせにより、広い変化を表現できる。
8.2 物理学での応用
物理学では、ガンマ関数は統計力学、量子論、場の理論などの計算に現れる。特に、次元正則化や特殊積分の評価で役立つ。球面座標の積分や熱力学的な係数の計算でも頻出する。
8.3 数論・解析学での応用
数論では、ガンマ関数はゼータ関数やL関数の関数等式に付随して登場する。解析学では、積分変換、特殊微分方程式、漸近解析の基本道具として扱われる。これらの領域では、ガンマ関数が離散的対象と連続的対象を接続する役割を担う。