stringtranslate.com

La aproximación de Stirling

Comparación de la aproximación de Stirling con el factorial

En matemáticas , la aproximación de Stirling (o fórmula de Stirling ) es una aproximación asintótica para factoriales . Es una buena aproximación que produce resultados precisos incluso para valores pequeños de . Lleva el nombre de James Stirling , aunque Abraham de Moivre afirmó por primera vez un resultado relacionado pero menos preciso . [1] [2] [3]

Una forma de expresar la aproximación implica el logaritmo del factorial:

notación O grandelímite inferior del peor de los casos para la clasificación por comparaciónlogaritmo binario
asintóticas

Derivación

En términos generales, la versión más simple de la fórmula de Stirling se puede obtener rápidamente aproximando la suma

integral

La fórmula completa, junto con estimaciones precisas de su error, se puede derivar de la siguiente manera. En lugar de aproximar , se considera su logaritmo natural , ya que es una función que varía lentamente :

El lado derecho de esta ecuación menos

regla del trapezoide

y el error en esta aproximación viene dado por la fórmula de Euler-Maclaurin :

donde es un número de Bernoulli y R m , n es el término restante de la fórmula de Euler-Maclaurin. Toma límites para encontrar eso.

Denota este límite como . Debido a que el resto R m , n en la fórmula de Euler-Maclaurin satisface

donde se usa la notación O grande , la combinación de las ecuaciones anteriores produce la fórmula de aproximación en su forma logarítmica:

Tomando la exponencial de ambos lados y eligiendo cualquier número entero positivo , se obtiene una fórmula que involucra una cantidad desconocida . Para m = 1 , la fórmula es

La cantidad se puede encontrar tomando el límite en ambos lados cuando tiende al infinito y usando el producto de Wallis , que muestra que . Por tanto, se obtiene la fórmula de Stirling:

Derivaciones alternativas

Una fórmula alternativa para usar la función gamma es

x = ny
el método de Laplace

Órdenes superiores

De hecho, también se pueden obtener correcciones adicionales utilizando el método de Laplace. Del resultado anterior sabemos que , por lo que "quitamos" este término dominante y luego realizamos un cambio de variables para obtener:

Así obtenemos la fórmula de Stirling en dos órdenes:

Versión analítica compleja

Una versión de análisis complejo de este método [4] consiste en considerar como un coeficiente de Taylor de la función exponencial , calculada mediante la fórmula integral de Cauchy como

Luego, esta integral de línea se puede aproximar utilizando el método del punto de silla con una elección adecuada del radio de contorno . Luego, la porción dominante de la integral cerca del punto de silla se aproxima mediante una integral real y el método de Laplace, mientras que la porción restante de la integral se puede acotar arriba para dar un término de error.

Velocidad de convergencia y estimaciones de error.

El error relativo en una serie de Stirling truncada frente a , de 0 a 5 términos. Los puntos en las curvas representan puntos donde la serie truncada coincide con Γ( n + 1) .

La fórmula de Stirling es de hecho la primera aproximación a la siguiente serie (ahora llamada serie de Stirling ): [5]

G. Nemes dio una fórmula explícita para los coeficientes de esta serie. [6] Se enumeran más términos en la Enciclopedia en línea de secuencias enteras como A001163 y A001164. El primer gráfico de esta sección muestra el error relativo frente a , de 1 a los 5 términos enumerados anteriormente. (Bender y Orszag [7] p. 218) da la fórmula asintótica para los coeficientes:

la prueba de razónradio de convergencia
El error relativo en una serie de Stirling truncada frente al número de términos utilizados

Como n → ∞ , el error en la serie truncada es asintóticamente igual al primer término omitido. Este es un ejemplo de expansión asintótica . No es una serie convergente ; para cualquier valor particular de hay un número limitado de términos de la serie que mejoran la precisión, después de lo cual la precisión empeora. Esto se muestra en el siguiente gráfico, que muestra el error relativo frente al número de términos de la serie, para un número mayor de términos. Más precisamente, sea S ( n , t ) la serie de Stirling en términos evaluados en  . Los gráficos muestran

Escribiendo la serie de Stirling en la forma

Los límites más precisos, debido a Robbins, [8] válidos para todos los números enteros positivos son

Fórmula de Stirling para la función gamma.

Para todos los números enteros positivos,

Γfunción gamma

Sin embargo, la función gamma, a diferencia del factorial, se define de manera más amplia para todos los números complejos distintos de los enteros no positivos; sin embargo, aún se puede aplicar la fórmula de Stirling. Si Re( z ) > 0 , entonces

La integración repetida por partes da

¿Dónde está el número de Bernoulli? (tenga en cuenta que el límite de la suma no es convergente, por lo que esta fórmula es solo una expansión asintótica ). La fórmula es válida para valores suficientemente grandes en valor absoluto, cuando | arg( z ) | < π − ε , donde ε es positivo, con un término de error de O ( z −2 N + 1 ) . La aproximación correspondiente ahora se puede escribir:

donde la expansión es idéntica a la de la serie de Stirling anterior para , excepto que se reemplaza con z − 1 . [9]

Otra aplicación de esta expansión asintótica es para el argumento complejo z con constante Re( z ) . Véase, por ejemplo, la fórmula de Stirling aplicada en Im( z ) = t de la función theta de Riemann-Siegel en la línea recta.1/4+ eso .

Límites de error

Para cualquier número entero positivo , se introduce la siguiente notación:

Entonces [10] [11]

Para obtener más información y otros límites de error, consulte los artículos citados.

Una versión convergente de la fórmula de Stirling.

Thomas Bayes demostró, en una carta a John Canton publicada por la Royal Society en 1763, que la fórmula de Stirling no daba una serie convergente . [12] Obtener una versión convergente de la fórmula de Stirling implica evaluar la fórmula de Binet :

Una forma de hacerlo es mediante una serie convergente de factoriales ascendentes invertidos . Si

s ( nk )números de Stirling del primer tipo
Re( x ) > 0[13]

Versiones adecuadas para calculadoras.

la aproximación

serie de potenciasen serie de Taylorseno hiperbólicaz[14]

Gergő Nemes propuso en 2007 una aproximación que proporciona el mismo número de dígitos exactos que la aproximación de Windschitl pero es mucho más simple: [15]

Una aproximación alternativa para la función gamma establecida por Srinivasa Ramanujan ( Ramanujan 1988 [ aclaración necesaria ] ) es

x ≥ 0ln n ! 1/1400 norte 3

La aproximación puede hacerse precisa dando límites superior e inferior emparejados; una de esas desigualdades es [16] [17] [18] [19]

Historia

La fórmula fue descubierta por primera vez por Abraham de Moivre [2] en la forma

De Moivre dio una expresión aproximada en números racionales para el logaritmo natural de la constante. El aporte de Stirling consistió en demostrar que la constante es precisamente . [3]

Ver también

Referencias

  1. ^ Dutka, Jacques (1991), "La historia temprana de la función factorial", Archivo de Historia de las Ciencias Exactas , 43 (3): 225–249, doi :10.1007/BF00389433, S2CID  122237769
  2. ^ ab Le Cam, L. (1986), "El teorema del límite central alrededor de 1935", Statistical Science , 1 (1): 78–96, doi : 10.1214/ss/1177013818 , JSTOR  2245503, MR  0833276; ver pág. 81, "El resultado, obtenido utilizando una fórmula originalmente probada por De Moivre pero ahora llamada fórmula de Stirling, aparece en su 'Doctrina de las posibilidades' de 1733".
  3. ^ ab Pearson, Karl (1924), "Nota histórica sobre el origen de la curva normal de errores", Biometrika , 16 (3/4): 402–404 [p. 403], doi :10.2307/2331714, JSTOR  2331714, considero que el hecho de que Stirling haya demostrado que la constante aritmética de De Moivre era no le da derecho a reclamar el teorema, [...]
  4. ^ Flajolet, Philippe; Sedgewick, Robert (2009), Combinatoria analítica , Cambridge, Reino Unido: Cambridge University Press, p. 555, doi :10.1017/CBO9780511801655, ISBN 978-0-521-89806-5, SEÑOR  2483235, S2CID  27509971
  5. ^ Olver, FWJ; Olde Daalhuis, AB; Lozier, DW; Schneider, BI; Boisvert, RF; Clark, CW; Miller, BR & Saunders, BV, "5.11 Propiedades de la función gamma: expansiones asintóticas", Biblioteca digital de funciones matemáticas del NIST , versión 1.0.13 del 16 de septiembre de 2016
  6. ^ Nemes, Gergő (2010), "Sobre los coeficientes de la expansión asintótica de ", Journal of Integer Sequences , 13 (6): 5
  7. ^ Bender, Carl M.; Orszag, Steven A. (2009). Métodos matemáticos avanzados para científicos e ingenieros. 1: Métodos asintóticos y teoría de la perturbación (Nachdr. ed.). Nueva York, Nueva York: Springer. ISBN 978-0-387-98931-0.
  8. ^ Robbins, Herbert (1955), "Un comentario sobre la fórmula de Stirling", The American Mathematical Monthly , 62 (1): 26–29, doi :10.2307/2308012, JSTOR  2308012
  9. ^ Spiegel, MR (1999), Manual matemático de fórmulas y tablas , McGraw-Hill, p. 148
  10. ^ Schäfke, FW; Sattler, A. (1990), "Restgliedabschätzungen für die Stirlingsche Reihe", Note di Matematica , 10 (suplemento 2): 453–470, SEÑOR  1221957
  11. ^ G. Nemes, Límites de error y mejoras exponenciales para las expansiones asintóticas de la función gamma y su recíproco, Proc. Roy. Soc. Secta de Edimburgo. A 145 (2015), 571–596.
  12. ^ Bayes, Thomas (24 de noviembre de 1763), "Una carta del difunto Reverendo Sr. Thomas Bayes, FRS a John Canton, MA y FRS" (PDF) , Philosophical Transactions of the Royal Society of London, Serie I , 53 : 269 , Bibcode :1763RSPT...53..269B, archivado (PDF) desde el original el 28 de enero de 2012 , consultado el 1 de marzo de 2012
  13. ^ Artín, Emil (2015). La función gamma . Dover. pag. 24.
  14. Toth, Calculadoras programables VT: Calculadoras y la función gamma (2006) Archivado el 31 de diciembre de 2005 en Wayback Machine .
  15. ^ Nemes, Gergő (2010), "Nueva expansión asintótica para la función Gamma", Archiv der Mathematik , 95 (2): 161–169, doi :10.1007/s00013-010-0146-9, S2CID  121820640
  16. ^ Karatsuba, Ekatherina A. (2001), "Sobre la representación asintótica de la función gamma de Euler por Ramanujan", Journal of Computational and Applied Mathematics , 135 (2): 225–240, Bibcode :2001JCoAM.135..225K, doi : 10.1016/S0377-0427(00)00586-0 , SEÑOR  1850542
  17. ^ Mortici, Cristinel (2011), "Estimación de Ramanujan para la función gamma mediante argumentos de monotonicidad", Ramanujan J. , 25 (2): 149–154, doi :10.1007/s11139-010-9265-y, S2CID  119530041
  18. ^ Mortici, Cristinel (2011), "Fórmulas asintóticas mejoradas para la función gamma", Comput. Matemáticas. Aplica. , 61 (11): 3364–3369, doi :10.1016/j.camwa.2011.04.036.
  19. ^ Mortici, Cristinel (2011), "Sobre la fórmula del argumento grande de Ramanujan para la función gamma", Ramanujan J. , 26 (2): 185–192, doi :10.1007/s11139-010-9281-y, S2CID  120371952.

Otras lecturas

enlaces externos