En este artículo se utiliza la notación matemática técnica para los logaritmos. Todas las instancias de log( x ) sin una base de subíndice deben interpretarse como un logaritmo natural , también escrito comúnmente como ln( x ) o log e ( x ) .
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):
Modelo de Fisher-Orr para la genética de la adaptación en biología evolutiva [6]
Teoría de superconductividad de Bardeen-Cooper-Schrieffer ( teoría BCS ), donde aparece como prefactor en la ecuación BCS sobre la temperatura crítica.
No se ha demostrado que el número γ sea algebraico o trascendental . De hecho, ni siquiera se sabe si γ es irracional . La ubicuidad de γ revelada por la gran cantidad de ecuaciones que se presentan a continuación y el hecho de que γ haya sido considerada la tercera constante matemática más importante después de π y e [9] [10] hace que la irracionalidad de γ sea una cuestión abierta de gran importancia en matemáticas. [11] [12] [13]
Problema sin resolver en matemáticas :
¿Es irracional la constante de Euler? Si es así, ¿es trascendental?
Sin embargo, se han logrado algunos avances. En 1959, Andrei Shidlovsky demostró que al menos una de las constantes de Euler γ y la constante de Gompertz δ es irracional; [14] [7] Tanguy Rivoal demostró en 2012 que al menos una de ellas es trascendental. [15] También se sabe que al menos una de γ y e γ es trascendental. [7] Kurt Mahler demostró en 1968 que el número es trascendental ( siendo y funciones de Bessel ). [16] [2] Se sabe que el grado de trascendencia del cuerpo es al menos dos. [2] En 2010, M. Ram Murty y N. Saradha demostraron que, como máximo, una de las constantes de Euler-Lehmer, ai, 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] [17] 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] [18]
Utilizando un análisis de fracciones continuas , Papanikolaou demostró en 1997 que si γ es racional , su denominador debe ser mayor que 10 244663. [19] [20] Si e γ es un número racional, entonces su denominador debe ser mayor que 10 15000. [2 ]
Se conjetura que la constante de Euler no es un período algebraico , [2] pero los valores de sus primeros 10 9 dígitos decimales parecen indicar que podría ser un número normal . [21]
Fórmulas e identidades
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:
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: [23]
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: [24]
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 . Desarrollando algunos de los términos en la función zeta de Hurwitz se obtiene:
γ 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 . [25] [26] [27] [28] Una de las primeras de ellas es una fórmula [29] [30] 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 [31] [32] de Ernesto Cesàro da los dos primeros términos de la serie, con un término de error):
La serie de números triangulares inversos también aparece en el estudio del problema de Basilea [34] [35] 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 , [36] 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 :
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) . [41] [42] Esto se debe a que
mientras
Aun así, existen otras expansiones de series 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: [22] [43]
En 1910, Vacca encontró la serie estrechamente relacionada [44] [45] [46] [47] [48] [22] [49]
La evidencia numérica sugiere que tanto la constante de Euler γ como la constante e γ se encuentran entre los números para los cuales la media geométrica de sus términos de fracción continua converge a la constante de Khinchin . De manera similar, cuando son los convergentes de sus respectivas fracciones continuas, en ambos casos el límite parece converger a la constante de Lévy . [63] Sin embargo, ninguno de estos límites ha sido probado. [64]
Generalizaciones
Constantes de Stieltjes
Las constantes generalizadas de Euler están dadas por
para 0 < α < 1 , con γ como el caso especial α = 1 . [65] Extendiendo para α > 1 se obtiene:
con de nuevo el límite:
Esto se puede generalizar aún más a
para alguna función decreciente arbitraria f . Ajuste
Una generalización bidimensional de la constante de Euler es la constante de Masser-Gramain . Se define como la siguiente diferencia límite: [66]
donde es el radio más pequeño de un disco en el plano complejo que contiene al menos números enteros gaussianos .
Se han establecido los siguientes límites: . [67]
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 .
Bretschneider, Carl Anton (1837) [1835]. "Theoriae logarithmi integralis lineamenta nova". Diario de Crelle (en latín). 17 : 257–285.
Havil, Julian (2003). Gamma: exploración de la constante de Euler . Princeton University Press. ISBN 978-0-691-09983-5.
Lagarias, Jeffrey C. (2013). "La constante de Euler: el trabajo de Euler y los desarrollos modernos". Boletín de la Sociedad Americana de Matemáticas . 50 (4): 556. arXiv : 1303.1856 . doi :10.1090/s0273-0979-2013-01423-x. S2CID 119612431.
^ Bretschneider 1837, " γ = c = 0,577215 664901 532860 618112 090082 3... " en la p. 260.
^ De Morgan, Augustus (1836–1842). El cálculo diferencial e integral . Londres: Baldwin y Craddoc. " γ " en la pág. 578.
^ 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. ISBN9780750303941.OCLC 36922834 .
^ 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.
^ abc Waldschmidt, Michel (2023). "Sobre la constante de Euler" (PDF) . Universidad de la Sorbona, Instituto de Matemáticas de Jussieu, París.
^ Robin, chico (1984). "Grandes valores de la función de algunos divisores e hipótesis de Riemann" (PDF) . Journal de mathématiques pures et appliquées . 63 : 187–213.
^ "Constante de Euler". num.math.uni-goettingen.de . Consultado el 19 de octubre de 2024 .
^ Finch, Steven R. (18 de agosto de 2003). Constantes matemáticas. Cambridge University Press. ISBN978-0-521-81805-6.
^ Waldschmidt, Michel (2023). "Algunos de los problemas abiertos más famosos en teoría de números" (PDF) .
^ de Weisstein, Eric W. "Constante de Euler-Mascheroni". mathworld.wolfram.com . Consultado el 19 de octubre de 2024 .
^ 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.
^ Aptekarev, AI (28 de febrero de 2009). "Sobre formas lineales que contienen la constante de Euler". arXiv : 0902.1768 [math.NT].
^ 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.
^ 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.
^ 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.
^ 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.
^ 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.
^ Papanikolaou, T. (1997). Entwurf und Entwicklung einer objektorientierten Bibliothek für algoritmische Zahlentheorie (Tesis) (en alemán). Universität des Saarlandes.
^ Weisstein, Eric W. "Dígitos constantes de Euler-Mascheroni". mathworld.wolfram.com . Consultado el 19 de octubre de 2024 .
^ abcd Krämer, Stefan (2005). Die Eulersche Konstante γ und verwandte Zahlen (en alemán). Universidad de Gotinga.
^ 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.
^ 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 .
^ 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.
^ 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 .
^ 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 .
^ Lodge, A. (1904). "Una expresión aproximada para el valor de 1 + 1/2 + 1/3 + ... + 1/r". Messenger of Mathematics . 30 : 103–107.
^ 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.
^ Mortici, Cristinel (2010). "Sobre la expansión de Stirling en potencias negativas de un número triangular". Math. Commun . 15 : 359–364.
^ 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.
^ 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.
^ Whittaker, E.; Watson, G. (2021) [1902]. Un curso de análisis moderno (5.ª ed.). págs. 271, 275. doi :10.1017/9781009004091. ISBN9781316518939.Consulte los ejemplos 12.21 y 12.50 para ejercicios sobre la derivación de la forma integral de la serie .
^ Lagarias 2013, pág. 13.
^ 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.
^ Edwards, HM (1974). Función zeta de Riemann . Matemáticas puras y aplicadas, vol. 58. Academic Press. págs. 67, 159.
^ ab Blagouchine, Iaroslav V. (1 de octubre de 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. ISSN 1572-9303.
^ 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.
^ 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 .
^ 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.
^ 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.
^ Havil 2003, págs. 75–8.
^ Blagouchine 2016.
^ 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 .
^ Glaisher, James Whitbread Lee (1910). "Sobre la serie del Dr. Vacca para γ ". Aplicación pura QJ. Matemáticas . 41 : 365–368.
^ Hardy, GH (1912). "Nota sobre la serie del Dr. Vacca para γ ". QJ Pure Appl. Math . 43 : 215–216.
^ 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.
^ Kluyver, JC (1927). "Sobre ciertas series del Sr. Hardy". QJ Pure Appl. Math . 50 : 185–192.
^ 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.
^ Pilehrood, Khodabakhsh Hessami; Pilehrood, Tatiana Hessami (4 de agosto de 2008), Serie de tipo Vacca para valores de la función constante de Euler generalizada y su derivada, doi :10.48550/arXiv.0808.0410 , consultado el 8 de octubre de 2024
^ 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.
^ 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.
^ ab Alabdulmohsin, Ibrahim M. (2018). Cálculo de sumabilidad. Una teoría integral de sumas finitas fraccionarias . Springer . Págs. 147-8. ISBN.9783319746487.
^ 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. ISBN978-3-030-73168-7. Sr. 4400952. S2CID 247271545.
^ Weisstein, Eric W. "Teorema de Mertens". mathworld.wolfram.com . Consultado el 8 de octubre de 2024 .
^ Sondow, Jonathan (2003). "Un producto infinito para e γ mediante fórmulas hipergeométricas para la constante de Euler, γ ". arXiv : math.CA/0306008 .
^ 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.
^ Weisstein, Eric W. "Aproximaciones constantes de Euler-Mascheroni". mathworld.wolfram.com . Consultado el 19 de octubre de 2024 .
^ Brent, Richard P. (1977). "Cálculo de la fracción regular continua para la constante de Euler". Matemáticas de la computación . 31 (139): 771–777. doi :10.2307/2006010. ISSN 0025-5718.
^ Weisstein, Eric W. "Fracción continua constante de Euler-Mascheroni". mathworld.wolfram.com . Consultado el 23 de septiembre de 2024 .
^ Havil 2003, págs. 117-18.
^ Weisstein, Eric W. "Constante de Masser-Gramain". mathworld.wolfram.com . Consultado el 19 de octubre de 2024 .
^ Melquiond, Guillaume; Nowak, W. Georg; Zimmermann, Paul. "Aproximación numérica de la constante de Masser-Gramain a cuatro dígitos decimales" (PDF) . Consultado el 3 de octubre de 2024 .
^ Yee, Alexander J. (7 de marzo de 2011). "Grandes cálculos". www.numberworld.org .
^ 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 .
^ "Constante de Euler-Mascheroni". Polymath Collector . 15 de febrero de 2020.
Lectura adicional
Borwein, Jonathan M.; David M. Bradley; Richard E. Crandall (2000). "Estrategias computacionales para la función zeta de Riemann". Revista de Matemática Computacional y Aplicada . 121 (1–2): 11. Bibcode :2000JCoAM.121..247B. doi : 10.1016/s0377-0427(00)00336-8 .Deriva γ como sumas sobre funciones zeta de Riemann.
Finch, Steven R. (2003). Constantes matemáticas . Enciclopedia de matemáticas y sus aplicaciones. Vol. 94. Cambridge: Cambridge University Press. ISBN 0-521-81805-2.
Gerst, I. (1969). "Algunas series para la constante de Euler". Amer. Math. Monthly . 76 (3): 237–275. doi :10.2307/2316370. JSTOR 2316370.
Glaisher, James Whitbread Lee (1872). "Sobre la historia de la constante de Euler". Messenger of Mathematics . 1 : 25–30. JFM 03.0130.01.
Gourdon, Xavier; Sebah, P. (2002). "Colección de fórmulas para la constante de Euler, γ".
Gourdon, Xavier; Sebah, P. (2004). "La constante de Euler: γ".
Karatsuba, EA (1991). "Evaluación rápida de funciones trascendentales". Probl. Inf. Transm . 27 (44): 339–360.
Karatsuba, EA (2000). "Sobre el cálculo de la constante de Euler γ ". Journal of Numerical Algorithms . 24 (1–2): 83–97. doi :10.1023/A:1019137125281. S2CID 21545868.
Lehmer, DH (1975). "Constantes de Euler para progresiones aritméticas" (PDF) . Acta Arith . 27 (1): 125–142. doi : 10.4064/aa-27-1-125-142 .
Lerch, M. (1897). "Expresiones nouvelles de la constante d'Euler". Sitzungsberichte der Königlich Böhmischen Gesellschaft der Wissenschaften . 42 : 5.
Mascheroni, Lorenzo (1790). Adnotationes ad calculum integralem Euleri, in quibus nonnulla problemata ab Eulero proposita resolvuntur . Galeati, Ticini.
Sondow, Jonathan (2002). "Un enfoque hipergeométrico, a través de formas lineales que involucran logaritmos, para los criterios de irracionalidad de la constante de Euler". Mathematica Slovaca . 59 : 307–314. arXiv : math.NT/0211075 . Bibcode :2002math.....11075S. doi :10.2478/s12175-009-0127-2. S2CID 16340929.con un apéndice de Sergey Zlobin