スターリングの近似

階乗あるいはその拡張の一つであるガンマ関数の漸近近似

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

log n! と n log nnn → ∞ のとき漸近する

概要

編集

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

 

である。O(log n) における次の項は (1/2)log 2πn である。故に、次によい近似の漸近公式英語版

 

である[1]。(ここで記号   は両辺の比が(n → ∞ のとき) 1 に収束することを意味する。)

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

 

が成り立ち[2]、従って任意の n に対して比 n!/(nn+1/2en)2π = 2.5066...e = 2.71828... の間にある。

スターリングの近似は階乗の複素引数への拡張の一つであるガンマ関数 Γ(z)(正の整数 n に対し Γ(n) = (n − 1)! が成り立つ;ボーア・モレルップの定理も参照)に拡張することができ、

 

が成り立つ(ただし ε > 0[3]|arg z | → π のときは収束が遅くなるため、応用上は相補公式などを用いて |arg z | ≤ π/2 程度に制限することが多い。

導出

編集

初等的な導出

編集

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

 

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

 

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

 
 

ここで   と定めると

 

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

 

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

 
 

を得る。

精度の改善

編集

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

 
 

従って

 

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

編集

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

 

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

 

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

 

とすれば

 

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

 
 
 
 

となるが

 

であるから

 

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

 

として

 

である。故に

 

を得る。最初の数項を書き下せば

 
 

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

 

となる。

鞍点法による導出

編集

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

 

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

 

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

 

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

 
 
 
 

であり

 

であるから

 

を得る。これは

 

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

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

編集

より正確に記すと、次のようになる[4]

 

ここで

 

スターリングの公式は以下の級数(スターリング級数)の近似(初項で打ち切ったもの)である。

 

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

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

 

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

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

編集

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

 

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

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

 

が成り立つ[5]。 部分積分を繰り返すことで次が得られる

 

ここで Bnn 番目のベルヌーイ数である。(無限和は収束しないので、この公式は漸近展開にすぎないことに注意する。)公式はεを正数として |arg z| < π − ε であるときに絶対値の十分大きい z に対して成り立つ。公式の右辺に現れる級数はスターリング級数と呼ばれる[6]。最初の m 項が使われるとき誤差項は   である。対応する近似は

 

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

ビネーの公式

編集

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

 

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

 

 
 

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

 

積分して

 
 

  なら  は有界であるから

 
 

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

 

真数に直して

 

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

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

編集

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

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

 

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

 

ここで

 

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

 

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

計算機向けの変形

編集

ガンマ関数の(関数電卓などの)計算機向けの近似として次の式がある。

 

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

 

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

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

 

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

 

歴史

編集

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

 

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

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

脚注

編集
  1. ^ 伏見康治確率論及統計論」第I章 数学的補助手段 3節 漸近展開 p.24 ISBN 9784874720127 http://ebsa.ism.ac.jp/ebooks/ebook/204
  2. ^ 有意に無意味な話: スターリングの公式(漸近近似)の導出”. 2020年8月9日閲覧。
  3. ^ Andrews et al. 1999, Corollary 1.4.3.
  4. ^ Robbins, H. (1955), “A remark on Stirling's formula”, Amer. Math. Monthly: 26–29, doi:10.2307/2308012, MR69328, Zbl 0068.05404 を見よ。Abramowitz & Stegun (1964, p. 257, 6.1.38)も参照。
  5. ^ Andrews et al. 1999, Theorem 1.6.3.
  6. ^ Whittaker & Watson 1996, p. 253.
  7. ^ Whittaker & Watson 1996, 12.32 Binet's second expression for   in terms of an infinite integral.
  8. ^ A letter from the late reverend Mr. Thomas Bayes, F. R. S. to John Canton, M. A. and F. R. S.
  9. ^ Toth, V. T. Programmable Calculators: Calculators and the Gamma Function. http://www.rskey.org/gamma.htm, modified 2006
  10. ^ a b Andrews et al. 1999, p. 18

参考文献

編集

関連項目

編集

外部リンク

編集