スターリングの近似

スターリングの近似またはスターリングの公式は、階乗、あるいはその拡張の一つであるガンマ関数の漸近近似である。名称は数学者ジェイムズ・スターリングにちなむ。

1. 概要
-----

スターリングの近似は精度に応じていくつかの形がある。応用上よく使われる形の公式は、ランダウの記号を用いて、

である。//O//}} における次の項は log 2π}}//n//}} である。故に、次によい近似の漸近公式は

である。

//n//!}} の漸近近似よりもむしろ上下からの評価が必要なことがある。そのような評価として、任意の正の整数 //n//}} に対して

が成り立ち、従って任意の //n//}} に対して比 //n//!/}} は 1=sqrt と 1=[[自然対数の底 の間にある。

スターリングの近似は階乗の複素引数への拡張の一つであるガンマ関数 Γ}}に拡張することができ、

が成り立つAndrews et al.。!}}arg //z//   !}} → pi}}}} のときは収束が遅くなるため、応用上は相補公式などを用いて !}}arg //z//   !}} ≤ pi}}/2}} 程度に制限することが多い。

2. 導出
-----

2.1. 初等的な導出
-----------

スターリングの公式の厳密な証明にはオイラーの和公式、あるいは鞍点法といった複素解析の技法などを用いられることが多いが、初等的に導くことも可能である。まず階乗の対数を積分で近似する。logが凹関数であることから k-1<x<k  に対して

これを k-1 から k まで積分して

k=m+1,m+2,...,n に対して足し合わせると

ここで と定めると

m,n→∞のとき最左辺は1に収束するから、特に n=2m のとき

これとウォリスの公式の系 と比較すると、

を得る。

2.1.1. 精度の改善
------------

精度を改善するために an を評価する。

従って

2.2. オイラーの和公式による導出
------------------

オイラーの乗積表示によるガンマ関数の定義の対数をとり

にオイラーの和公式を適用すれば

となる。右辺の定数を集めて

とすれば

となり、この主要部をガンマ関数の相補公式に代入して とすれば

となるが

であるから

を得る。剰余項については

として

である。故に を得る。最初の数項を書き下せば

とやり、指数関数のテイラー展開により

となる。

2.3. 鞍点法による導出
-------------

スターリングの公式は鞍点法の好適例とされることが多いが、実際に複素平面全体で漸近近似が成立することを鞍点法によって示すのは困難であるから、ここでは を正の実数に限定する。ガンマ関数は の置換により

となるが、 が十分に大きければ の付近が支配的であるから

という近似が許され、ガウス積分により

を得る。 として、近似の誤差は

であり

であるから

を得る。これは

を示すに十分である。ただし、実際の誤差は であるが、それを鞍点法で示すのは困難である。

3. 収束の速度と誤差見積もり
---------------

より正確に記すと、次のようになる。

ここで

スターリングの公式は以下の級数の近似である。

としたとき、省かれた級数はその最初の項とそれ以降が相殺するように漸近していく。これは漸近展開の一例である。

以下のような階乗の対数の漸近展開も「スターリング級数」と呼ぶ。

この場合、誤差は打ち切った級数の初項と同じ符号で同程度の大きさであることが知られている。

4. ガンマ関数に対するスターリングの公式
---------------------

すべての正の整数に対して、

が成り立つ。ここで Γ はガンマ関数を表す。

しかしながら、パイ関数 は、階乗とは異なり、より広く、正でない整数を除いてすべての複素数に対して定義される。それにもかかわらず、スターリングの公式をなお適用することができる。Re   //z// > 0 であれば

が成り立つAndrews et al.。 部分積分を繰り返すことで次が得られる

ここで //Bn}}// は //n// 番目のベルヌーイ数である。公式はεを正数として |arg //z//| < − ε であるときに絶対値の十分大きい //z// に対して成り立つ。公式の右辺に現れる級数はスターリング級数と呼ばれるWhittaker。最初の //m// 項が使われるとき誤差項は である。対応する近似は

のように書ける。この漸近展開のより進んだ応用は Re //z// が定数の複素変数 //z// に対してである。例えば直線 1 + //it// 上でリーマン・ジーゲルテータ関数の Im //z// において適用されたスターリングの公式を見よ。

5. ビネーの公式
---------

スターリングの公式は収束しない級数を伴うので解析的に扱いづらいが、収束しない級数を収束する積分に換えたものとしてビネーの公式があるWhittaker。

ビネーの公式は、スターリングの級数を形式的に操作することによっても導かれるが、厳密には対数ガンマ関数の導関数にアベル・プラナの和公式を適用して得られる。

なら は右半平面において正則であるからプラナの和公式により

積分して

なら は有界であるから

である。 スターリングの公式と比較して積分定数を求め

真数に直して

を得る。なお、ビネーの公式を元にして部分積分を繰り返すとスターリングの級数が得られる。

6. 収束級数形式のスターリングの公式
-------------------

トーマス・ベイズの John Canton への書簡が1763年に王立協会により公表されている。それによると、スターリングの公式は収束級数ではないとされていた。

スターリングの公式の収束級数形式を得るには以下を評価する。

一つの方法として、階乗冪の逆数の収束級数を使う方法がある。 としたとき、次のようになる。

ここで

である。以上から次のようなスターリング級数が得られる。

これは、 のとき収束する。

7. 計算機向けの変形
-----------

ガンマ関数の計算機向けの近似として次の式がある。

これは、次と同等である。

これらはスターリングの公式を組み替えて、その結果生じる冪級数と双曲線正弦関数のテイラー展開の間の合致を観察することで得られる。この近似は //z// の実数部が 8 以上のとき、小数点以下 8 桁を超える精度を持つ。2002年、Robert H. Windschitl がリソースの制限された計算機でのそれなりの正確性を持った近似としてこれを示した。

Gergő Nemes は 2007年にほぼ同程度の結果を与える近似式を提案した。こちらはより単純である。

これは、次と同等である。

8. 歴史
-----

この公式は最初に次の形でアブラーム・ド・モアブルにより1730年に発見された。

スターリングの貢献は定数が であることを示したことである。より正確な形式はジャック・ビネが見出した。

スターリングの近似の「一次」バージョン は、マックス・プランクが1901年の黒体放射の論文で使用した。これは多量の光子や振動子についての黒体放射エネルギーの方程式にリンクしている。この近似は量子論でよく使われ、例えばピーター・デバイとルイ・ド・ブロイも使っている。アルベルト・アインシュタインとサティエンドラ・ボースは違う方式を採用した。非常に大きな //n// について確率分布をグラフに描画してみると、両者はほぼ平行になる。

9. 脚注
-----

10. 参考文献
--------

Paris, R. B., and Kaminsky, D., //Asymptotics and the Mellin-Barnes Integrals//, Cambridge University Press, 2001

11. 関連項目
--------

12. 外部リンク
---------

[1]
Elic W. Weisstein, [2] at MathWorld
[3] by Timothy Jones