Prerequisite
統計力学ではしばしば という因子が現れる.
は非常に大きい数なので,そのような大きい数の階乗はさらに大きな数となる.
階乗はそのままの形ではあつかいにくいので,以下で紹介するStirlingの公式を用いて指数函数の形に近似的に書き換えることが多い.
たとえば階乗の扱いにくい点は が非常に大きいからといって を で近似することはできないことである.
実際この2つの量の比は であるから非常に大きい.
このような場合にもStirlingの式が有効となる.
では実際に導出する.階乗はガンマ函数を用いて,
と表すことができる.
これを少し書き換えて,
としよう.
ここで である.
は で で最大値を持つので とおいてTaylor展開すれば,
そこで を変数変換と思って展開の式を代入すると,
さらに変数変換 を行えば
を仮定しており,被積分函数は負の側で指数函数的に減衰しているので としてもその影響は小さい.
また 以降の項は の因子により抑えられるので無視できる.
以上の近似によって積分は単なるGauss積分になり を返す.
したがって のとき漸近的に,
Stirlingの公式
が成立する.
この近似式をStirlingの公式という.
具体的な値を列挙しておくと,Stirlingの公式は が小さくてもそれなりに精度が良いことがわかる:
Stirlingの公式の補正項を一般に導出してみよう.
そのために上の近似をもう一度眺めてみると結局のことろ積分について,
という近似をしている.
ただし .
他方で変数変換
を考えると,
と変形される.
Jacobian, がStirlingの公式に対する補正項を与えると期待される.
たとえばjacobianを の冪で展開して奇数次は落ち,偶数次 ならばGauss積分の公式により のオーダーの補正項を与える( はStirlingの公式そのもの).
ではJacobianを求めるために再び変数変換 をすると
さらに から への変数変換の式は
となる.
この両辺を で微分すると
すなわち
という関係が導かれる.
を について冪展開して各係数を
とおく.
ただし のとき なので である.
これを と の関係式に代入すれば
2行目から3行目へは を固定して を動かす和に取り替えて の冪ごとの和にした.
の各冪の係数を比較すれば系数 が逐次求められる.
については だが はStirlingの公式を与えるように符号を選んで .
については
の関係式から求める.
たとえば からは
となるから と求まる.
以上から
奇数次は であり,偶数次ではGauss積分の公式
を適用すれば,
を得る.
を絶対値の大きい複素数 へ拡張することでガンマ函数の漸近展開 (asymptotic expansion) を得ることができる.
すなわち上の結果からガンマ函数の漸近展開は2次までで
と与えられる.
ただし は複素平面全体から負の整数 を取り除いた集合に値をとる.
また に注意せよ.