stringtranslate.com

Constante de Euler

El área de la región azul converge a la constante de Euler.

La constante de Euler (a veces llamada constante de Euler-Mascheroni ) es una constante matemática , usualmente denotada por la letra griega minúscula gamma ( γ ), definida como la diferencia límite entre la serie armónica y el logaritmo natural , denotado aquí por log :

Aquí, ⌊·⌋ representa la función de piso .

El valor numérico de la constante de Euler, con 50 decimales, es: [1]

0,57721 56649 01532 86060 65120 90082 40243 10421 59335 93992 ...
Problema sin resolver en matemáticas :
¿Es irracional la constante de Euler? Si es así, ¿es trascendental?

Historia

La constante apareció por primera vez en un artículo de 1734 del matemático suizo Leonhard Euler , titulado De Progressionibus harmonicis observationes (Eneström Index 43). Euler utilizó las notaciones C y O para la constante. En 1790, el matemático italiano Lorenzo Mascheroni utilizó las notaciones A y a para la constante. La notación γ no aparece en ninguna parte de los escritos de Euler o Mascheroni, y fue elegida en un momento posterior, tal vez debido a la conexión de la constante con la función gamma . [2] Por ejemplo, el matemático alemán Carl Anton Bretschneider utilizó la notación γ en 1835, [3] y Augustus De Morgan la utilizó en un libro de texto publicado en partes desde 1836 hasta 1842. [4]

Apariciones

La constante de Euler aparece, entre otros lugares, en los siguientes (donde '*' significa que esta entrada contiene una ecuación explícita):

Propiedades

No se ha demostrado que el número γ sea algebraico o trascendental . De hecho, ni siquiera se sabe si γ es irracional . Utilizando un análisis de fracciones continuas , Papanikolaou demostró en 1997 que si γ es racional , su denominador debe ser mayor que 10 244663. [ 7] [8] La ubicuidad de γ revelada por la gran cantidad de ecuaciones a continuación hace que la irracionalidad de γ sea una importante cuestión abierta en matemáticas. [9]

Sin embargo, se han logrado algunos avances. Kurt Mahler demostró en 1968 que el número es trascendental (aquí, y son funciones de Bessel ). [10] [2] En 2009, Alexander Aptekarev demostró que al menos una de las constantes de Euler γ y la constante de Euler-Gompertz δ es irracional; [11] Tanguy Rivoal demostró en 2012 que al menos una de ellas es trascendental. [12] [2] En 2010, M. Ram Murty y N. Saradha demostraron que, como máximo, uno de los números de la forma

con q ≥ 2 y 1 ≤ a < q es algebraica; esta familia incluye el caso especial γ (2,4) = gamma/4 . [2] [13] En 2013, M. Ram Murty y A. Zaytseva encontraron una familia diferente que contiene γ , que se basa en sumas de recíprocos de números enteros no divisibles por una lista fija de primos, con la misma propiedad. [2] [14]

Relación con la función gamma

γ está relacionada con la función digamma Ψ , y por lo tanto con la derivada de la función gamma Γ , cuando ambas funciones se evalúan en 1. Por lo tanto:

Esto es igual a los límites:

Otros resultados límite son: [15]

Un límite relacionado con la función beta (expresado en términos de funciones gamma ) es

Relación con la función zeta

γ también puede expresarse como una suma infinita cuyos términos involucran la función zeta de Riemann evaluada en números enteros positivos:

La constante también puede expresarse en términos de la suma de los recíprocos de ceros no triviales de la función zeta: [16]

Otras series relacionadas con la función zeta incluyen:

El término de error en la última ecuación es una función de n que disminuye rápidamente . Como resultado, la fórmula es adecuada para el cálculo eficiente de la constante con alta precisión.

Otros límites interesantes que son iguales a la constante de Euler son el límite antisimétrico: [17]

y la siguiente fórmula, establecida en 1898 por de la Vallée-Poussin :

donde ⌈ ⌉ son los soportes del techo . Esta fórmula indica que al tomar cualquier entero positivo n y dividirlo por cada entero positivo k menor que n , la fracción promedio por la cual el cociente n / k se queda corto respecto del siguiente entero tiende a γ (en lugar de 0,5) a medida que n tiende a infinito.

La expresión de la serie zeta racional está estrechamente relacionada con esto . Al tomar por separado los primeros términos de la serie anterior, se obtiene una estimación del límite de la serie clásica:

donde ζ ( s , k ) es la función zeta de Hurwitz . La suma en esta ecuación involucra los números armónicos , H n . Al desarrollar algunos de los términos en la función zeta de Hurwitz se obtiene:

donde 0 < ε < 1/252 número 6 .

γ también se puede expresar de la siguiente manera, donde A es la constante de Glaisher-Kinkelin :

γ también se puede expresar de la siguiente manera, lo que se puede demostrar expresando la función zeta como una serie de Laurent :

Relación con los números triangulares

Se han derivado numerosas formulaciones que expresan en términos de sumas y logaritmos de números triangulares . [18] [19] [20] [21] Una de las primeras de ellas es una fórmula [22] [23] para el ésimo número armónico atribuido a Srinivasa Ramanujan donde se relaciona con en una serie que considera las potencias de (una prueba anterior, menos generalizable [24] [25] de Ernesto Cesàro da los dos primeros términos de la serie, con un término de error):

De la aproximación de Stirling [18] [26] se desprende una serie similar:

La serie de números triangulares inversos también aparece en el estudio del problema de Basilea [27] [28] planteado por Pietro Mengoli . Mengoli demostró que , un resultado que Jacob Bernoulli utilizó más tarde para estimar el valor de , ubicándolo entre y . Esta identidad aparece en una fórmula utilizada por Bernhard Riemann para calcular raíces de la función zeta , [29] donde se expresa en términos de la suma de raíces más la diferencia entre la expansión de Boya y la serie de fracciones unitarias exactas :

Integrales

γ es igual al valor de un número de integrales definidas :

donde H x es el número armónico fraccionario , y es la parte fraccionaria de .

La tercera fórmula de la lista integral se puede demostrar de la siguiente manera:

La integral en la segunda línea de la ecuación representa el valor de la función de Debye de +∞ , que es m !  ζ ( m + 1) .

Las integrales definidas en las que aparece γ incluyen:

Se puede expresar γ utilizando un caso especial de la fórmula de Hadjicostas como una integral doble [9] [30] con series equivalentes:

Una comparación interesante de Sondow [30] es la serie doble integral y alternada

Se muestra que el registro4/π puede considerarse como una "constante de Euler alterna".

Las dos constantes también están relacionadas por el par de series [31]

donde N 1 ( n ) y N 0 ( n ) son el número de 1 y 0, respectivamente, en la expansión de base 2 de n .

También tenemos la integral de Catalan de 1875 [32]

Expansiones de la serie

En general,

para cualquier α > − n . Sin embargo, la tasa de convergencia de esta expansión depende significativamente de α . En particular, γ n (1/2) exhibe una convergencia mucho más rápida que la expansión convencional γ n (0) . [33] [34] Esto se debe a que

mientras

Aun así, existen otras expansiones en serie que convergen más rápidamente que ésta; algunas de ellas se analizan a continuación.

Euler demostró que la siguiente serie infinita tiende a γ :

La serie para γ es equivalente a una serie que Nielsen encontró en 1897: [15] [35]

En 1910, Vacca encontró la serie estrechamente relacionada [36] [37] [38] [39] [40] [15] [41]

donde log 2 es el logaritmo en base 2 y   es la función piso .

En 1926 fundó una segunda serie:

De la expansión de Malmsten - Kummer para el logaritmo de la función gamma [42] obtenemos:

Ramanujan, en su cuaderno perdido, dio una serie que se aproxima a γ [43] :

Una importante expansión de la constante de Euler se debe a Fontana y Mascheroni

donde G n son los coeficientes de Gregory . [15] [41] [44] Esta serie es el caso especial k = 1 de las expansiones

convergente para k = 1, 2, ...

Una serie similar con los números de Cauchy del segundo tipo C n es [41] [45]

Blagouchine (2018) encontró una generalización interesante de la serie Fontana-Mascheroni

donde ψ n ( a ) son los polinomios de Bernoulli de segundo tipo , que están definidos por la función generadora

Para cualquier racional a, esta serie contiene solo términos racionales. Por ejemplo, en a = 1 , se convierte en [46] [47]

Otras series con los mismos polinomios incluyen estos ejemplos:

y

donde Γ( a ) es la función gamma . [44]

Una serie relacionada con el algoritmo Akiyama-Tanigawa es

donde G n (2) son los coeficientes de Gregory de segundo orden. [44]

Como una serie de números primos :

Expansiones asintóticas

γ es igual a las siguientes fórmulas asintóticas (donde H n es el n- ésimo número armónico ):

La tercera fórmula también se llama expansión de Ramanujan.

Alabdulmohsin derivó expresiones de forma cerrada para las sumas de errores de estas aproximaciones. [45] Demostró que (Teorema A.1):

Exponencial

La constante e γ es importante en la teoría de números. Es igual al siguiente límite , donde p n es el n- ésimo número primo :

Esto reafirma el tercero de los teoremas de Mertens . [48] El valor numérico de e γ es: [49]

1.78107 24179 90197 98523 65041 03107 17954 91696 45214 30343 ... .

Otros productos infinitos relacionados con e γ incluyen:

Estos productos son resultado de la función G de Barnes .

Además,

donde el factor n -ésimo es la raíz ( n + 1) -ésima de

Este producto infinito, descubierto por primera vez por Ser en 1926, fue redescubierto por Sondow utilizando funciones hipergeométricas . [50]

También sostiene que [51]

Fracción continua

La expansión fraccionaria continua de γ comienza [0; 1, 1, 2, 1, 2, 1, 4, 3, 13, 5, 1, 1, 8, 1, 2, 4, 1, 1, 40, ...], [52] que no tiene un patrón aparente . Se sabe que la fracción continua tiene al menos 475.006 términos, [7] y tiene infinitos términos si y solo si γ es irracional.

Generalizaciones

abm( x ) = γ x

Las constantes generalizadas de Euler están dadas por

para 0 < α < 1 , con γ como el caso especial α = 1 . [53] Esto se puede generalizar aún más a

para una función decreciente arbitraria f . Por ejemplo,

da lugar a las constantes de Stieltjes , y

da

donde nuevamente el límite

aparece.

Una generalización límite bidimensional es la constante de Masser-Gramain.

Las constantes de Euler-Lehmer se dan mediante la suma de las inversas de los números en una clase de módulo común: [13]

Las propiedades básicas son

y si el máximo común divisor mcd( a , q ) = d entonces

Dígitos publicados

Euler calculó inicialmente el valor de la constante con 6 decimales. En 1781, lo calculó con 16 decimales. Mascheroni intentó calcular la constante con 32 decimales, pero cometió errores en los decimales 20.º, 22.º y 31.º y 32.º; a partir del dígito 20, calculó... 181 12090082 39 cuando el valor correcto es... 065 12090082 40 .

Referencias

Notas al pie

  1. ^ ab Sloane, N. J. A. (ed.). "Secuencia A001620 (Expansión decimal de la constante de Euler (o la constante de Euler-Mascheroni), gamma)". La enciclopedia en línea de secuencias de números enteros . Fundación OEIS.
  2. ^ abcde Lagarias 2013.
  3. ^ Bretschneider 1837, " γ = c = 0,577215 664901 532860 618112 090082 3... " en la p. 260.
  4. ^ De Morgan, Augustus (1836–1842). El cálculo diferencial e integral . Londres: Baldwin y Craddoc. " γ " en la pág. 578.
  5. ^ Caves, Carlton M. ; Fuchs, Christopher A. (1996). "Información cuántica: ¿Cuánta información hay en un vector de estado?". El dilema de Einstein, Podolsky y Rosen – 60 años después . Sociedad Física de Israel. arXiv : quant-ph/9601025 . Código Bibliográfico :1996quant.ph..1025C. ISBN 9780750303941.OCLC 36922834  .
  6. ^ Connallon, Tim; Hodgins, Kathryn A. (octubre de 2021). "Allen Orr y la genética de la adaptación". Evolución . 75 (11): 2624–2640. doi :10.1111/evo.14372. PMID  34606622. S2CID  238357410.
  7. ^ ab Haible, Bruno; Papanikolaou, Thomas (1998). "Evaluación rápida de series de números racionales mediante multiprecisión". En Buhler, Joe P. (ed.). Teoría algorítmica de números . Apuntes de clase en informática. Vol. 1423. Springer. págs. 338–350. doi :10.1007/bfb0054873. ISBN. 9783540691136.
  8. ^ Papanikolaou, T. (1997). Entwurf und Entwicklung einer objektorientierten Bibliothek für algoritmische Zahlentheorie (Tesis) (en alemán). Universität des Saarlandes.
  9. ^ ab Véase también Sondow, Jonathan (2003). "Criterios para la irracionalidad de la constante de Euler". Actas de la American Mathematical Society . 131 (11): 3335–3344. arXiv : math.NT/0209070 . doi :10.1090/S0002-9939-03-07081-3. S2CID  91176597.
  10. ^ Mahler, Kurt; Mordell, Louis Joel (4 de junio de 1968). "Aplicaciones de un teorema de AB Shidlovski". Actas de la Royal Society de Londres. Serie A. Ciencias matemáticas y físicas . 305 (1481): 149–173. Bibcode :1968RSPSA.305..149M. doi :10.1098/rspa.1968.0111. S2CID  123486171.
  11. ^ Aptekarev, AI (28 de febrero de 2009). "Sobre formas lineales que contienen la constante de Euler". arXiv : 0902.1768 [math.NT].
  12. ^ Rivoal, Tanguy (2012). "Sobre la naturaleza aritmética de los valores de la función gamma, la constante de Euler y la constante de Gompertz". Michigan Mathematical Journal . 61 (2): 239–254. doi : 10.1307/mmj/1339011525 . ISSN  0026-2285.
  13. ^ ab Ram Murty, M.; Saradha, N. (2010). "Constantes de Euler-Lehmer y una conjetura de Erdos". Revista de teoría de números . 130 (12): 2671–2681. doi : 10.1016/j.jnt.2010.07.004 . ISSN  0022-314X.
  14. ^ Murty, M. Ram; Zaytseva, Anastasia (2013). "Trascendencia de las constantes de Euler generalizadas". The American Mathematical Monthly . 120 (1): 48–54. doi :10.4169/amer.math.monthly.120.01.048. ISSN  0002-9890. JSTOR  10.4169/amer.math.monthly.120.01.048. S2CID  20495981.
  15. ^ abcd Krämer, Stefan (2005). Die Eulersche Konstante γ und verwandte Zahlen (en alemán). Universidad de Gotinga.
  16. ^ Wolf, Marek (2019). "6+infinito: nuevas expresiones para la constante de Euler-Mascheroni". arXiv : 1904.09855 [math.NT]. La suma anterior es real y convergente cuando los ceros y el conjugado complejo se emparejan y se suman de acuerdo con valores absolutos crecientes de las partes imaginarias de .Véase la fórmula 11 en la página 3. Nótese el error tipográfico en el numerador de la suma de Wolf sobre ceros, que debería ser 2 en lugar de 1.
  17. ^ Sondow, Jonathan (1998). "Una fórmula antisimétrica para la constante de Euler". Revista de Matemáticas . 71 (3): 219–220. doi :10.1080/0025570X.1998.11996638. Archivado desde el original el 4 de junio de 2011 . Consultado el 29 de mayo de 2006 .
  18. ^ ab Boya, LJ (2008). "Otra relación entre π, e, γ y ζ(n)". Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas . 102 (2): 199–202. doi :10.1007/BF03191819. γ/2 en (10) refleja el residual (parte finita) de ζ(1)/2, por supuesto.Ver fórmulas 1 y 10.
  19. ^ Sondow, Jonathan (2005). "Integrales dobles para la constante de Euler y 4 π {\displaystyle \textstyle {\frac {4}{\pi }}} y un análogo de la fórmula de Hadjicostas". The American Mathematical Monthly . 112 (1): 61–65. doi :10.2307/30037385. JSTOR  30037385 . Consultado el 27 de abril de 2024 .
  20. ^ Chen, Chao-Ping (2018). «Fórmula de Ramanujan para el número armónico». Matemáticas Aplicadas y Computación . 317 : 121–128. doi :10.1016/j.amc.2017.08.053. ISSN  0096-3003 . Consultado el 27 de abril de 2024 .
  21. ^ Lodge, A. (1904). "Una expresión aproximada para el valor de 1 + 1/2 + 1/3 + ... + 1/r". Messenger of Mathematics . 30 : 103–107.
  22. ^ Villarino, Mark B. (2007). "Expansión armónica de números de Ramanujan en potencias negativas de un número triangular". arXiv : 0707.3950 [math.CA]. También sería interesante desarrollar una expansión para n! en potencias de m, una nueva expansión de Stirling , por así decirlo.Ver fórmula 1.8 en la página 3.
  23. ^ Mortici, Cristinel (2010). "Sobre la expansión de Stirling en potencias negativas de un número triangular". Math. Commun . 15 : 359–364.
  24. ^ Cesàro, E. (1885). "Sur la série harmonique". Nouvelles annales de mathématiques: Journal des candidats aux écoles polytechnique et normale (en francés). 4 . Carilian-Goeury y Vor Dalmont: 295–296.
  25. ^ Bromwich, Thomas John I'Anson (2005) [1908]. Introducción a la teoría de series infinitas (PDF) (3.ª ed.). Reino Unido: American Mathematical Society. pág. 460.Ver ejercicio 18.
  26. ^ Whittaker, E.; Watson, G. (2021) [1902]. Un curso de análisis moderno (5.ª ed.). pág. 271, 275. doi :10.1017/9781009004091. ISBN 9781316518939.Consulte los ejemplos 12.21 y 12.50 para ejercicios sobre la derivación de la forma integral de la serie .
  27. ^ Lagarias 2013, pág. 13.
  28. ^ Nelsen, RB (1991). "Demostración sin palabras: suma de recíprocos de números triangulares". Revista de Matemáticas . 64 (3): 167. doi :10.1080/0025570X.1991.11977600.
  29. ^ Edwards, HM (1974). Función zeta de Riemann . Matemáticas puras y aplicadas, vol. 58. Academic Press. págs. 67, 159.
  30. ^ ab Sondow, Jonathan (2005). "Integrales dobles para la constante de Euler y un análogo de la fórmula de Hadjicostas". American Mathematical Monthly . 112 (1): 61–65. arXiv : math.CA/0211148 . doi :10.2307/30037385. JSTOR  30037385.
  31. ^ Sondow, Jonathan (1 de agosto de 2005a). Nueva serie racional de tipo Vacca para la constante de Euler y su análogo "alterno" . arXiv : math.NT/0508042 .
  32. ^ Sondow, Jonathan; Zudilin, Wadim (2006). "Constante de Euler, logaritmos q y fórmulas de Ramanujan y Gosper". The Ramanujan Journal . 12 (2): 225–244. arXiv : math.NT/0304021 . doi :10.1007/s11139-006-0075-1. S2CID  1368088.
  33. ^ DeTemple, Duane W. (mayo de 1993). "Una convergencia más rápida hacia la constante de Euler". The American Mathematical Monthly . 100 (5): 468–470. doi :10.2307/2324300. ISSN  0002-9890. JSTOR  2324300.
  34. ^ Havil 2003, págs. 75–8.
  35. ^ Blagouchine 2016.
  36. ^ Vacca, G. (1910). "Una nueva expresión analítica para el número π y algunas consideraciones históricas". Boletín de la Sociedad Matemática Americana . 16 : 368–369. doi : 10.1090/S0002-9904-1910-01919-4 .
  37. ^ Glaisher, James Whitbread Lee (1910). "Sobre la serie del Dr. Vacca para γ ". QJ Pure Appl. Math . 41 : 365–368.
  38. ^ Hardy, GH (1912). "Nota sobre la serie del Dr. Vacca para γ ". QJ Pure Appl. Math . 43 : 215–216.
  39. ^ Vacca, G. (1926). "Nueva serie para la costante di Eulero, C = 0,577...". Rediconti, Accademia Nazionale dei Lincei, Roma, Classe di Scienze Fisiche". Matematiche e Naturali (en italiano). 6 (3): 19-20.
  40. ^ Kluyver, JC (1927). "Sobre ciertas series del Sr. Hardy". QJ Pure Appl. Math . 50 : 185–192.
  41. ^ abc Blagouchine, Iaroslav V. (2016). "Expansiones de las constantes de Euler generalizadas en las series de polinomios en π −2 y en las series envolventes formales con coeficientes racionales únicamente". J. Number Theory . 158 : 365–396. arXiv : 1501.00740 . doi :10.1016/j.jnt.2015.06.012.
  42. ^ Blagouchine, Iaroslav V. (2014). "Redescubrimiento de las integrales de Malmsten, su evaluación mediante métodos de integración de contornos y algunos resultados relacionados". The Ramanujan Journal . 35 (1): 21–110. doi :10.1007/s11139-013-9528-5. S2CID  120943474.
  43. ^ Berndt, Bruce C. (enero de 2008). "Un fragmento sobre la constante de Euler en el cuaderno perdido de Ramanujan". South East Asian J. Math. & Math. Sc . 6 (2): 17–22.
  44. ^ abc Blagouchine, Iaroslav V. (2018). "Tres notas sobre las representaciones de Ser y Hasse para las funciones zeta". INTEGERS: The Electronic Journal of Combinatorial Number Theory . 18A (#A3): 1–45. arXiv : 1606.02044 . Código Bibliográfico :2016arXiv160602044B.
  45. ^ ab Alabdulmohsin, Ibrahim M. (2018). Cálculo de sumabilidad. Una teoría integral de sumas finitas fraccionarias . Springer . Págs. 147-8. ISBN . 9783319746487.
  46. ^ Sloane, N. J. A. (ed.). "Secuencia A302120 (Valor absoluto de los numeradores de una serie que converge a la constante de Euler)". La enciclopedia en línea de secuencias de números enteros . Fundación OEIS.
  47. ^ Sloane, N. J. A. (ed.). "Secuencia A302121 (Denominadores de una serie que convergen a la constante de Euler)". La enciclopedia en línea de secuencias de números enteros . Fundación OEIS.
  48. ^ Ramaré, Olivier (2022). Excursiones en la teoría de números multiplicativos. Birkhäuser Advanced Texts: Basel Textbooks. Basilea: Birkhäuser/Springer. pág. 131. doi :10.1007/978-3-030-73169-4. ISBN 978-3-030-73168-7. Sr.  4400952. S2CID  247271545.
  49. ^ Sloane, N. J. A. (ed.). "Secuencia A073004 (Expansión decimal de exp(gamma))". La enciclopedia en línea de secuencias de números enteros . Fundación OEIS.
  50. ^ Sondow, Jonathan (2003). "Un producto infinito para e γ mediante fórmulas hipergeométricas para la constante de Euler, γ ". arXiv : math.CA/0306008 .
  51. ^ Choi, Junesang; Srivastava, HM (1 de septiembre de 2010). "Representaciones integrales para la constante γ de Euler–Mascheroni ". Transformadas integrales y funciones especiales . 21 (9): 675–690. doi :10.1080/10652461003593294. ISSN  1065-2469. S2CID  123698377.
  52. ^ Sloane, N. J. A. (ed.). "Secuencia A002852 (Fracción continua para la constante de Euler)". La enciclopedia en línea de secuencias de números enteros . Fundación OEIS.
  53. ^ Havil 2003, págs. 117-18.
  54. ^ Knuth, Donald E. (julio de 1962). "Constante de Euler hasta 1271 lugares". Matemáticas de la computación . 16 (79). American Mathematical Society : 275–281. doi :10.2307/2004048. JSTOR  2004048.
  55. ^ Yee, Alexander J. (7 de marzo de 2011). "Grandes cálculos". www.numberworld.org .
  56. ^ abcdefgh Yee, Alexander J. "Records Set by y-cruncher". www.numberworld.org . Consultado el 30 de abril de 2018 .
    Yee, Alexander J. "y-cruncher - Un programa Pi multiproceso". www.numberworld.org .
  57. ^ "Constante de Euler-Mascheroni". Polymath Collector . 15 de febrero de 2020.

Lectura adicional

Enlaces externos