史特靈公式(英語:Stirling's formula)是一條用來取n階乘近似值數學公式。一般來說,當n很大的時候,n階乘的計算量十分大,所以史特靈公式十分好用,而且,即使在n很小的時候,史特靈公式的取值已經十分準確。這個公式以詹姆斯·史特靈英語James Stirling (mathematician)的名字命名,雖然亞伯拉罕·棣美弗早於史特靈提出了一個類似的公式,但結果較不精確。[1][2][3]

n增加時,(ln n!)與o (n ln nn)之比趨於1
階乘與史特靈公式
(藍色)、(橘色),數字越大會越趨近。但在負值則會因為出現虛數而無法使用

史特靈公式為:

這就是說,對於足夠大的整數n,這兩個數互為近似值。更加精確地:

歷史

編輯

這個公式是亞伯拉罕·棣莫弗首先發現的,形式為:

 ,其中c為常數。

斯特林英語James_Stirling_(mathematician)證明了公式中 ,約為2.506628274631。更加精確的形式是雅克·比內發現的。

推導

編輯

方法一

編輯

這個公式,以及誤差的估計,可以推導如下。首先不直接估計n!,而是考慮它的自然對數

 

即:

 

這個方程的右面是積分 的近似值(利用梯形法則),而它的誤差歐拉-麥克勞林公式給出:

 

其中Bk伯努利數Rm,n是歐拉-麥克勞林公式中的餘項。取極限,可得:

 

把這個極限記為y。由於歐拉-麥克勞林公式中的餘項Rm,n滿足:

 

其中用到了大O符號,與以上的方程結合,便得出對數形式的近似公式:

 

兩邊取指數,並選擇任何正整數m,便得到了一個含有未知數ey的公式。當m=1時,公式為:

 

將上述表達式代入沃利斯乘積公式,並令n趨於無窮,便可以得出ey )。因此,我們便得出斯特林公式:

 

這個公式也可以反覆使用分部積分法來得出,首項可以通過最速下降法得到。把以下的和

 

用積分近似代替,可以得出不含 的因子的斯特林公式(這個因子通常在實際應用中無關):

 

方法二

編輯

考慮如下近似關係:

 

以及階乘的積分形式(Γ函數):

 

其中被積函數取對數後求導結果可寫成:

 

因此被積函數只有在 附近才趨於平穩,現令  ,並改寫成如下形式:

 

於是有:

 

因此可以得到:

 

兩邊同時作指數函數運算,變成:

 

代入到階乘的積分表示形式,得到:

 

約等號後側得到的是高斯積分的形式,計算該積分得出斯特林公式:

 

收斂速率和誤差估計

編輯
 
y軸表示截斷的斯特林級數的相對誤差,x軸表示所使用的項數。

更加精確的近似公式為:

 

其中:

 

斯特林公式實際上是以下級數(現在稱為斯特林級數)的第一個近似值:

 

 時,截斷級數的誤差等於第一個省略掉的項。這是漸近展開式的一個例子。它不是一個收斂級數;對於任何特殊值n,級數的準確性只在取有限個項時達到最大,如果再取更多的項,則準確性將變得越來越差。

階乘的對數的漸近展開式也稱為斯特林級數:

 

在這種情況下,級數的誤差總是與第一個省略掉的項異號,且最多同大小。

伽瑪函數的斯特林公式

編輯

對於所有正整數,有:

 

然而,伽瑪函數與階乘不一樣,它對於所有複數都有定義。儘管如此,斯特林公式仍然適用。如果 ,那麼:

 

反覆使用分部積分法,可得以下漸近展開式:

 

其中Bn是第n個伯努利數。當 ,其中ε是正數時,這個公式對於絕對值足夠大的z是適用的,當使用了最初m個項時,誤差項為 。對應的近似值可以寫為:

 

斯特林公式的收斂形式

編輯

欲得出斯特林公式的一個收斂形式,我們必須計算:

 

一種方法是利用含有上升階乘冪的級數。如果 ,那麼:

 

其中:

 

從中可以得出斯特林級數的一個收斂形式:

 
 

它在 時收斂。

適用於計算器的形式

編輯

以下的近似值

 

 

可以通過把斯特林公式整理,並注意到它的冪級數與雙曲正弦函數的泰勒級數展開式的相似性來得出。當z的實數部分大於8時,這個近似值精確到小數點後8位。2002年,Robert H. Windschitl建議計算器用這個公式來計算伽瑪函數。

Gergő Nemes在2007年提出了一個近似公式,它的精確度與Windschitl的公式相等,但更加簡單:

 

 

參考文獻

編輯
  1. ^ Dutka, Jacques, The early history of the factorial function, Archive for History of Exact Sciences, 1991, 43 (3): 225–249, doi:10.1007/BF00389433 
  2. ^ Le Cam, L., The central limit theorem around 1935, Statistical Science, 1986, 1 (1): 78–96, JSTOR 2245503, MR 0833276, doi:10.1214/ss/1177013818 ; see p. 81, "The result, obtained using a formula originally proved by de Moivre but now called Stirling's formula, occurs in his 'Doctrine of Chances' of 1733."
  3. ^ Pearson, Karl, Historical note on the origin of the normal curve of errors, Biometrika, 1924, 16 (3/4): 402–404 [p. 403], JSTOR 2331714, doi:10.2307/2331714, I consider that the fact that Stirling showed that De Moivre's arithmetical constant was   does not entitle him to claim the theorem, [...]