Formulate of Stirling

See also: Stirling

The formula of Stirling , of the name of the Mathematician James Stirling, gives a equivalent Factorielle to the Voisinage of the real Infini (when N tends towards the infinite one):

\ lim_ {N \ to + \ infty} {N \! \ over \ sqrt {2 \ pi N} \; \ left (\ frac {N} {E} \ right) ^ {N}} = 1
that one often finds written as follows:
n \! \ sim \ sqrt {2 \ pi N} \, \ left ({N \ over E} \ right) ^n

Continuous version

The preceding formula is a particular case, for a whole argument, asymptotic formula of Stirling for the function Γ of Euler.

History

The formula was initially discovered by Abraham de Moivre in the form

n \! \ sim C \; n^ {n+1/2} \, \ mathrm {E} ^ {- N} ,

where C is a real constant (nonnull).

The contribution of Stirling was to give a development of \ ln (N!) with any order and to allot the value C = \ sqrt {2 \ pi} to the constant. The traditional demonstration of this is given in the article Intégrales of Wallis.

Foot-note

One can improve quality of the approximation of Stirling by using the development of function Γ; one finds:

n \! = \ sqrt {2 \ pi N} \, \ left ({N \ over E} \ right) ^n \ left + \ frac {1} {12 \ N} + \ frac {1} {288 \ n^2} - \ frac {139} {51 \ 840 \ n^3} - \ frac {571} {2 \ 488 \ 320 \ n^4} + \ frac {163 \ 879} {209 \ 018 \ 880 \ n^5} + \ mathcal {O} \ left (\ frac {1} {n^5} \ right) \ right

The formula of Euler-MacLaurin makes it possible to lead to the result the order which one wants.

(Sloane' S.A. 001163 and A001164).

Numerical calculations

Random links:Chasseral | -1897 | Charlotte Sohy | Municipalities of Lithuania | Theory of paleolithic continuity