Fórmula de Stirling

De testwiki
Salta a la navegació Salta a la cerca
Comparació de l'aproximació de Stirling amb el factorial

En matemàtiques, lPlantilla:'aproximació de Stirling (o fórmula de Stirling) és una aproximació pels factorials, que dona un equivalent del factorial d'un enter natural n quan n tendeix a l'infinit:

limn+n!2πn(n/e)n=1

que també s'escriu sovint així:

n!2πn(ne)n

on e representa el nombre e.

És una aproximació de bona qualitat, donant lloc a resultats precisos fins i tot per a valors petits de n. Porta el nom de James Stirling, tot i que es va afirmar per primera vegada per Abraham de Moivre.Plantilla:SfnPlantilla:SfnPlantilla:Sfn

La fórmula que es fa servir normalment en aplicacions és

lnn!=nlnnn+O(lnn), o
lnn!nlnnn

o, per exemple, en el pitjor dels casos del límit inferior per ordenació per comparació (pel canvi de la base del logaritme),

log2n!=nlog2n(log2e)n+O(log2n)

(en notació O Gran). El següent terme en Plantilla:Math és Plantilla:Math; per tant, una variant més precisa de la fórmula és

n!2πn(ne)n,

on el signe ~ vol dir que les dues quantitats són asimptòtiques, és a dir, la seva relació tendeix a 1 quan n tendeix a infinit.

També és possible donar una versió de la fórmula de Stirling amb els límits vàlids per a tots els enters positius n, en lloc de l'asimptòtica, que és

2π nn+12enn!e nn+12en

per a tots els nombres enters positius Plantilla:Math. Així, la relació de n!nn+12en és sempre entre 2π=2.5066 i e=2.71828.

Història

La fórmula va ser descoberta per primera vegada per Abraham de MoivrePlantilla:Sfn en la forma

n!Cnn+12en

on C és una constant real (diferent de zero).

De Moivre va donar una expressió per a la constant en termes del seu logaritme natural. La contribució de Stirling consisteix en mostrar que la constant és 2πn i proporcionar un desenvolupament limitat de lnn!.Plantilla:Sfn

Demostració

La determinació de la constant no és immediata, però és fàcil de mostrar el resultat de De Moivre. La demostració clàssica de la fórmula asimptòtica es dona en l'article sobre les integrals de Wallis.

  • Posant
    un=nn+12enn!,
és suficient per mostrar que la seqüència de Plantilla:Math convergeix, i que el seu límit no és zero. O Plantilla:Math, estant en termes estrictament positius per Plantilla:Math, es pot definir:
vn=ln(un+1un)=ln((n+1)n+12e1nn+12)=(n+12)ln(1+1n)1,
de manera que en utilitzar el desenvolupament limitat de Plantilla:Math en 0 a l'ordre 3, s'obté:
vn=(n+12)[1n12n2+13n3+o(1n3)]1=112n+13n2+o(1n2)+12n14n2+o(1n2)1=112n2+o(1n2).
on es dedueix que la sèrie Plantilla:Math convergeix, per tant, escrivint Plantilla:Math en forma de sèrie telescòpica: Plantilla:Math = Plantilla:Math, ens trobem que el següent Plantilla:Math convergeix a un límit que observem L, de manera que el resultat Plantilla:Math també, i cap al límit diferent de zero, exp(L), que volíem demostrar.
  • Per introduir el factor de Moivre, una altra manera de presentar és la següent: la fórmula d'Euler-Maclaurin aplicada a la funció ln entre 1 i Plantilla:Math
    ln(n!)=k=1nlnk=1nln(x)dx+12(ln1+lnn)+O(1)=nln(n)n+12ln(n)+O(1).
    on llavors prenem l'exponencial i això dona la idea del càlcul anterior.
  • Fins i tot es pot introduir el factor 2π pel mètode del descens ràpid. Aquest mètode és bastant potent i aplicant-la s'entén l'aparició de 2π i es pot trobar immediatament el resultat de Stirling.

Expansió asimptòtica

Assumint el coeficient C=2π ja conegut, la fórmula d'Euler-Maclaurin dona l'expansió asimptòtica de ln (n!) prop d'infinit per l'ordre Plantilla:Math :

ln(n!)=nln(n)n+12ln(2πn)+k=1K(1)k+1Bk+1k(k+1)nk+𝒪(1nK+1) ,

on Bi són els nombres de Bernoulli. Recordeu que la suma anterior no tendeixen a un límit finit quan K tendeix a infinit.

Sabent que, a banda de B1 (que no està involucrat en la fórmula), tots els nombres de Bernoulli de rang imparell són iguals a zero, podem reescriure l'expansió (en ordre 2K):

ln(n!)=nln(n)n+12ln(2πn)+k=1KB2k2k(2k1)n2k1+𝒪(1n2K+1) .

Es defineix la funció Plantilla:Math de Binet per fer tendir formalment K fins a l'infinit:

μ(n)ln(n!)nln(n)+n12ln(2πn)

i això dona

n!=2πn(ne)neμ(n) .

Mitjançant el càlcul dels primers termes de eμ(n) través de la fórmula exponencial (que involucra als polinomis de Bell), tenim el desenvolupament asimptòtic de n! a prop de l'infinit:

n!=2πn(ne)n[1+112n+1288n213951840n35712488320n4+163879209018880n5+𝒪(1n6)] ,

És també l'expansió asimptòtica de la funció gamma.

Versió contínua

La fórmula anterior és una conseqüència, per al cas particular d'un argument sencer, la fórmula asimptòtica de Stirling per a la funció Γ d'Euler :

Γ(z)zz12ez2π,|arg(z)|<π.

Derivació

La fórmula, juntament amb les estimacions precises del seu error, es pot derivar de la següent manera. En lloc d'aproximar a n!, es té en compte el seu logaritme natural, que és una funció que varia lentament:

lnn!=ln1+ln2++lnn.

El costat dret d'aquesta equació menys

12(ln1+lnn)=12lnn,

és l'aproximació pel mètode trapezial de la integral

lnn!12lnn1nlnxdx=nlnnn+1,

i l'error en aquesta aproximació està donada per la fórmula d'Euler-Maclaurin:

lnn!12lnn=12ln1+ln2+ln3++ln(n1)+12lnn=nlnnn+1+k=2m(1)kBkk(k1)(1nk11)+Rm,n,

on Plantilla:Math és un nombre de Bernoulli i Plantilla:Math és el terme del residu en la fórmula d'Euler-Maclaurin. S'utilitzen límits per trobar que

limn(lnn!nlnn+n12lnn)=1k=2m(1)kBkk(k1)+limnRm,n.

Denotar aquest límit com y. A causa que el residu Plantilla:Math en la fórmula Euler-Maclaurin satisfà

Rm,n=limnRm,n+O(1nm),

on utilitzem la notació O Gran, combinant les equacions anteriors s'obté la fórmula d'aproximació en la seva forma logarítmica:

lnn!=nln(ne)+12lnn+y+k=2m(1)kBkk(k1)nk1+O(1nm).

Prenent l'exponencial de tots dos costats, i triant qualsevol nombre enter positiu m, obtenim una fórmula que involucra una quantitat desconeguda Plantilla:Math. Per a m=1, la fórmula és

n!=eyn(ne)n(1+O(1n)).

La quantitat Plantilla:Math es pot trobar prenent el límit en ambdós costats quan n tendeix a infinit i usant el producte de Wallis, el que demostra que Plantilla:Math = 2π. Per tant, obtenim la fórmula de Stirling:

n!=2πn(ne)n(1+O(1n)).

La fórmula també pot obtenir-se per repetides integracions per parts, i el terme principal es pot trobar a través del mètode de Laplace.

La fórmula de Stirling, sense el factor 2πn, que sovint és irrellevant en les aplicacions, es pot obtenir de forma ràpida mitjançant l'aproximació de la suma

lnn!=j=1nlnj

amb una integral:

j=1nlnj1nlnxdx=nlnnn+1.

Una derivació alternativa

Una fórmula alternativa per Plantilla:Math usant la funció gamma es

n!=0xnexdx.

(apareix per repetides integracions per parts). Reescrivint i canviant les variables Plantilla:Math s'obté

n!=0enlnxxdx=enlnnn0en(lnyy)dy.

Aplicant el mètode de Laplace tenim:

0en(lnyy)dy2πnen

que recupera la fórmula de la Stirling,

n!enlnnn2πnen=2πn(ne)n.

Fent correccions addicionals també es poden obtenir utilitzant el mètode de Laplace. Per exemple, la comparació d'expansió de segon ordre usant el mètode de Laplace

0en(lnyy)dy2πnen(1+112n)

i dona la fórmula de Stirling de dos ordres,

n!enlnnn2πnen(1+112n)=2πn(ne)n(1+112n).

Velocitat de convergència i estimacions d'error

(gràfic 1)
Error relatiu en una sèrie de Striling truncada respecte Plantilla:Math, per 0 a 5 termes. Les torçades en les corbes representen els punts on la sèrie truncada coincideix amb Plantilla:Math

La fórmula de Stirling és de fet la primera aproximació a la següent sèrie (que s'anomena sèrie de Stirling):

n!2πn(ne)n(1+112n+1288n213951840n35712488320n4+).

Una fórmula explícita per als coeficients d'aquesta sèrie va ser donada per G. Nemes.Plantilla:Sfn El primer gràfic en aquesta secció (gràfic 1) es mostra l'error relatiu respecte n, per 1 a 5 termes esmentats anteriorment.

(gràfic 2)
Error relatiu en una sèrie de Stirling truncada respecte el nombre de termes utilitzats

Com n → ∞, l'error en la sèrie truncada és asimptòticament igual al primer terme omès. Aquest és un exemple d'una expansió asimptòtica. No és una sèrie convergent; per a qualsevol valor particular de n només hi ha molts termes de la sèrie que milloren la precisió, després de la qual cosa la exactitud en realitat empitjora. Això es mostra en el gràfic que mostra l'error relatiu (gràfic 2), enfront del nombre de termes de la sèrie, per a un major nombre de termes. De manera més precisa, sigui S(n, t) la sèrie de Stirling en t avaluats en n termes.

Els gràfics mostren

|ln(S(n,t)n!)|,

que, en ser petita, és essencialment l'error relatiu.

Escrivint sèrie de Stirling en la forma

lnn!nlnnn+12ln(2πn)+112n1360n3+11260n511680n7+,

se sap que l'error en el truncament de la sèrie és sempre del mateix signe i com a màxim la mateixa magnitud que el primer terme omès.

Límits més precisos, a causa de Robbins,Plantilla:Sfn vàlid per a tots els enters positius n són

2π nn+12ene112n+1<n!<2π nn+12ene112n.

La fórmula de Stirling per a la funció gamma

Per a tots els enters positius,

n!=Γ(n+1),

on Γ denota la funció gamma.

No obstant això, la funció gamma, a diferència del factorial, es defineix de manera més àmplia per a tots els nombres complexos diferents dels nombres enters no positius; però, la fórmula de Stirling encara es pot aplicar. Si Re (z)> 0 llavors

lnΓ(z)=zlnzz+12ln2πz+02arctan(tz)e2πt1dt.

repetint la integració per parts dona

lnΓ(z)zlnzz+12ln2πz+n=1B2n2n(2n1)z2n1

que Plantilla:Math és l'enèsim nombre de Bernoulli (s'ha de tenir en compte que la suma infinita no és convergent, pel que aquesta fórmula és simplement una expansió asimptòtica). La fórmula és vàlida per Plantilla:Math prou gran en valor absolut quan | arg(z) | < π − ε, on Plantilla:Math és positiu, amb un terme d'error de Plantilla:Math quan s'utilitzen els primers Plantilla:Math termes. L'aproximació corresponent es pot escriure:

Γ(z)=2πz(ze)z(1+O(1z)).

Una altra aplicació d'aquesta expansió asimptòtica és per l'argument complex Plantilla:Math amb Plantilla:Math constant. Vegeu, per exemple, la fórmula de Stirling aplicada a Plantilla:Math de la funció zeta de Riemann-Siegel en la línia recta Plantilla:Math

Límits d'error

Per a qualsevol enter positiu N, introduïm la següent notació:

lnΓ(z)=zlnzz+12ln2πz+n=1N1B2n2n(2n1)z2n1+RN(z)

i

Γ(z)=2πz(ze)z(n=0N1anzn+R~N(z)).

LlavorsPlantilla:Sfn

|RN(z)||B2N|2N(2N1)|z|2N1{1 si |argz|π4,|csc(argz)| si π4<|argz|<π2,sec2N(argz2) si |argz|<π,

iPlantilla:Sfn

|R~N(z)|(|aN||z|N+|aN+1||z|N+1){1 si |argz|π4,|csc(argz)| si π4<|argz|<π2.

Per a més informació i altres límits d'error, vegeu els documents citats.

Una versió convergent de la fórmula de Stirling

Thomas Bayes va mostrar, en una carta a John Canton publicada per la Royal Society en 1763, que la fórmula de Stirling no donava una sèrie convergent.[1] L'obtenció d'una versió convergent de la fórmula de Stirling implica l'avaluació de la fórmula de Raabe:

02arctan(tx)e2πt1dt=lnΓ(x)xlnx+x12ln2πx.

Una manera de fer-ho és per mitjà d'una sèrie convergent d'exponencials creixents invertits. Si

zn¯=z(z+1)(z+n1)

llavors

02arctan(tx)e2πt1dt=n=1cn(x+1)n¯

on

cn=1n01xn¯(x12)dx=12nk=1nk|s(n,k)|(k+1)(k+2)

on Plantilla:Math denota els nombres de Stirling de primera classe. A partir d'aquest s'obté una versió de la sèrie de Stirling

lnΓ(x)=xlnxx+12ln2πx+112(x+1)+112(x+1)(x+2)++59360(x+1)(x+2)(x+3)+2960(x+1)(x+2)(x+3)(x+4)+

que convergeix quan Plantilla:Math.

Càlculs numèrics

Precisió de la fórmula de Stirling

Per jutjar la seva precisió, podem fer els primers valors de la taula de n :

n n ! 2πn(ne)n 2πn(ne)n(1+112 n)
1 1 0,92 0,999
2 2 1,92 1,999
3 6 5,84 5,998
4 24 23,51 23,996
5 120 118,02 119,99
6 720 710,08 719,94
7 5 040 4 980,4 5 039,7
8 40 320 39 902,4 40 318,1
9 362 880 359 536,9 362 866,0
10 3 628 800 3 598 696 3 628 685
15 1 307 674 368 000 1,300 431 × 1012 1,307 665 × 1012
20 2 432 902 008 176 640 000 2,422 787 × 1018 2,432 882 × 1018
25 15 511 210 043 330 985 984 000 000 1,545 959 × 1025 1,551 113 × 1025
30 265 252 859 812 191 058 636 308 480 000 000 2,645 171 × 10³² 2,652 519 × 10³²
40 815 915 283 247 897 734 345 611 269 596 115 894 272 000 000 000 8,142 173 × 1047 8,159 136 × 1047

En n, si reemplacem n per n + Plantilla:Frac, els càlculs es milloren de manera significativa per a valors petits de n (aproximació de Gosper); també es pot triar un marc;[2] finalment, es pot prendre la Plantilla:OEIS.

Aproximació logarítmica

Comparació de les aproximacions logarítmiques de la fórmula de Stirling

Com a part de la termodinàmica estadística (distribució de Boltzmann), és convenient considerar el logaritme natural d'un factor en fer l'aproximació de Stirling.Plantilla:Sfn

L'aproximació consisteix en assimilar la suma a una integral quan n és prou gran.[3]

ln(n!)=i=1nln(i)1nln(x)dx=[xln(x)x]1n=nln(n)n+1.

Finalment obtenim la següent aproximació:

ln(n!)nln(n)n,

per la qual, l'error relatiu és menor de l' 1% quan n> 100. Aquesta aproximació es considera vàlida (l'error és insignificant) com a part de la distribució de Boltzmann donats els grans valors de n utilitzats (que representen configuracions microscòpiques un estat macroscòpic).

Una aproximació més exacta de ln (n!) va ser donada per Srinivasa Ramanujan.Plantilla:SfnPlantilla:Sfn

ln(n!)=nln(n)n+ln(8n3+4n2+n+1/30+o(1))6+ln(π)2.

Versions per a calculadores

L'aproximació:

Γ(z)2πz(zezsinh1z+1810z6)z,

o de manera equivalent,

2lnΓ(z)ln(2π)lnz+z(2lnz+ln(zsinh1z+1810z6)2),

es pot obtenir per la reordenació de la fórmula desenvolupada de Stirling i s'observa una coincidència entre la sèrie de potències resultant i el desenvolupament en sèrie de Taylor de la funció sinus hiperbòlic. Aquesta aproximació és bona per a més de 8 dígits decimals per Plantilla:Math amb una part real més gran que 8. Robert H. Windschitl la va suggerir en 2002 per al càlcul de la funció gamma amb força exactitud en les calculadores amb programa limitat o registre de memòria.[4]

Gergo Nemes va proposar en 2007 una aproximació que dona el mateix nombre de dígits exactes com l'aproximació de Windschitl, però és molt més simple:Plantilla:Sfn

Γ(z)2πz(1e(z+112z110z))z,

o de manera equivalent,

lnΓ(z)12[ln(2π)lnz]+z[ln(z+112z110z)1].

Referències

Plantilla:Referències

Bibliografia

Plantilla:Div col

Plantilla:Div col end

Vegeu també

Enllaços externs

Plantilla:Commonscat

Plantilla:Autoritat

  1. Plantilla:Ref-web
  2. Plantilla:MathWorld
  3. Jannès, Chimie Physique : Distribution de Boltzmann, HELdB IMC, Bruxelles, 2010
  4. Toth, V. T. Programmable Calculators: Calculators and the Gamma Function (2006)