stringtranslate.com

constante de euler

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

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

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

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 no resuelto 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 observes (Índice de Eneström 43). Euler usó 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 ni de Mascheroni, y fue elegida más tarde, 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 usó la notación γ en 1835, [3] y Augustus De Morgan la usó en un libro de texto publicado en partes desde 1836 hasta 1842. [4]

Apariciones

La constante de Euler aparece, entre otros lugares, a continuación (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 fracción continua , 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 siguientes 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 la constante γ de Euler y la constante δ de Euler-Gompertz es irracional; [11] Tanguy Rivoal demostró en 2012 que al menos uno de ellos 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 algebraico; esta familia incluye el caso especial γ (2,4) =γ/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 números primos, con la misma propiedad. [2] [14]

Relación con la función gamma

γ está relacionado 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. Así:

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 se puede expresar como una suma infinita cuyos términos involucran la función zeta de Riemann evaluada en números enteros positivos:

ceros no triviales[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 decrece rápidamente . Como resultado, la fórmula es muy adecuada para el cálculo eficiente de la constante con alta precisión.

Otros límites interesantes que igualan 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 soportes de 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 no llega al siguiente entero tiende a γ (en lugar de 0,5) como n tiende a infinidad.

Estrechamente relacionada con esto está la expresión de la serie racional zeta . 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 . Ampliando algunos de los términos de la función zeta de Hurwitz se obtiene:

0 < ε <1/252 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 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 es una fórmula [22] [23] para el número armónico ésimo atribuido a Srinivasa Ramanujan donde se relaciona en una serie que considera los poderes de (un 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 sigue 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 , 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 :

H xnúmero armónico fraccionarioparte fraccionaria

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 !  ζ ( metro + 1 ) .

Las integrales definidas en las que aparece γ incluyen:

Se puede expresar γ usando 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 doble serie integral y alterna

Muestra ese registro4/πpuede considerarse como una "constante de Euler alternante".

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 unos y ceros, respectivamente, en la expansión de base 2 de n .

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

Expansiones de 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 de series que convergen más rápidamente que ésta; Algunos de éstos se discuten a continuación.

Euler demostró que la siguiente serie infinita se aproxima 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 suelo .

En 1926 encontró una segunda serie:

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

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

G ncoeficientes de Gregory[15] [41] [43]k = 1

convergente para k = 1, 2, ...

Una serie similar con los números de Cauchy de segunda clase C n es [41] [44]

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

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

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

y

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

Una serie relacionada con el algoritmo de Akiyama-Tanigawa es

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

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 en forma cerrada para las sumas de errores de estas aproximaciones. [44] Demostró que (Teorema A.1):

Exponencial

La constante e γ es importante en la teoría de números. Algunos autores denotan esta cantidad simplemente como γ . e γ es igual al siguiente límite , donde p n es el enésimo número primo :

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

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

Otros productos infinitos relacionados con e γ incluyen:

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

Además,

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

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

También sostiene que [50]

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, ...], [51] que no tiene aparente patrón. Se sabe que la fracción continua tiene al menos 475.006 términos, [7] y tiene infinitos términos si y sólo 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 . [52] Esto puede generalizarse aún más a

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

da lugar a las constantes de Stieltjes , y

da

donde nuevamente el limite

aparece.

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

Las constantes de Euler-Lehmer vienen dadas por la suma de inversas de 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 inicialmente calculó 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 a 22 y 31 a 32; a partir del dígito 20, calculó... 181 12090082 39 cuando el valor correcto es... 065 12090082 40 .

Referencias

Notas a pie de página

  1. ^ ab Sloane, Nueva Jersey (ed.). "Secuencia A001620 (Expansión decimal de la constante de Euler (o constante de Euler-Mascheroni), gamma)". La enciclopedia en línea de secuencias enteras . 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, Augusto (1836-1842). El cálculo diferencial e integral . Londres: Baldwin y Craddoc. " γ " en la pág. 578.
  5. ^ Cuevas, 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 de 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 multiprecisión de series de números racionales". En Buhler, Joe P. (ed.). Teoría algorítmica de números . Apuntes de conferencias sobre informática. vol. 1423. Saltador. 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 de irracionalidad de la constante de Euler". Actas de la Sociedad Matemática Estadounidense . 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. Código Bib : 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 [matemáticas.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". Revista de matemáticas de Michigan . 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". El Mensual Matemático Estadounidense . 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. ^ Lobo, Marek (2019). "6+infinitas nuevas expresiones para la constante de Euler-Mascheroni". arXiv : 1904.09855 [matemáticas.NT]. La suma anterior es real y convergente cuando los ceros y el conjugado complejo se emparejan y se suman de acuerdo con los valores absolutos crecientes de las partes imaginarias de .Consulte la fórmula 11 en la página 3. Tenga en cuenta 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 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 : 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". El Mensual Matemático Estadounidense . 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. ^ Logia, A. (1904). "Una expresión aproximada para el valor de 1 + 1/2 + 1/3 + ... + 1/r". Mensajero de las Matemáticas . 30 : 103-107.
  22. ^ Villarino, Mark B. (2007). "Expansión del número armónico de Ramanujan en potencias negativas de un número triangular". arXiv : 0707.3950 [matemáticas.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.Consulte la 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". Matemáticas. Comunitario . 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 las series infinitas (PDF) (3ª ed.). Reino Unido: Sociedad Matemática Estadounidense. pag. 460.Ver ejercicio 18.
  26. ^ Whittaker, E.; Watson, G. (2021) [1902]. Un curso de análisis moderno (5ª ed.). pag. 271, 275. doi :10.1017/9781009004091. ISBN 9781316518939.Véanse los ejemplos 12.21 y 12.50 para ejercicios sobre la derivación de la forma integral de la serie .
  27. ^ Lagarias 2013, pag. 13.
  28. ^ Nelsen, RB (1991). "Prueba sin palabras: suma de recíprocos de números triangulares". Revista Matemáticas . 64 (3): 167.
  29. ^ Edwards, HM (1974). Función Zeta de Riemann . Matemática pura y aplicada, vol. 58. Prensa académica. 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". Mensual Matemático Estadounidense . 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 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, q -logaritmos y fórmulas de Ramanujan y Gosper". El diario Ramanujan . 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 con la constante de Euler". El Mensual Matemático Estadounidense . 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 Estadounidense . 16 : 368–369. doi : 10.1090/S0002-9904-1910-01919-4 .
  37. ^ Glaisher, James Whitbread Lee (1910). "Sobre la serie del Dr. Vacca para γ ". Aplicación pura QJ. Matemáticas . 41 : 365–368.
  38. ^ Resistente, GH (1912). "Nota sobre la serie del Dr. Vacca para γ ". Aplicación pura QJ. Matemáticas . 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". Aplicación pura QJ. Matemáticas . 50 : 185-192.
  41. ^ abc Blagouchine, Iaroslav V. (2016). "Expansiones de las constantes de Euler generalizadas en la serie de polinomios en π −2 y en la serie envolvente formal con coeficientes racionales únicamente". J. Teoría de números . 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". El diario Ramanujan . 35 (1): 21-110. doi :10.1007/s11139-013-9528-5. S2CID  120943474.
  43. ^ abc Blagouchine, Iaroslav V. (2018). "Tres notas sobre las representaciones de Ser y Hasse para las funciones zeta". ENTEROS: Revista electrónica de teoría combinatoria de números . 18A (#A3): 1–45. arXiv : 1606.02044 . Código Bib : 2016arXiv160602044B.
  44. ^ ab Alabdulmohsin, Ibrahim M. (2018). Cálculo de sumabilidad. Una teoría integral de sumas finitas fraccionarias . Saltador . págs. 147–8. ISBN 9783319746487.
  45. ^ Sloane, Nueva Jersey (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 enteras . Fundación OEIS.
  46. ^ Sloane, Nueva Jersey (ed.). "Secuencia A302121 (Denominadores de una serie que convergen a la constante de Euler)". La enciclopedia en línea de secuencias enteras . Fundación OEIS.
  47. ^ Ramaré, Olivier (2022). Excursiones en teoría de números multiplicativos. Textos avanzados de Birkhäuser: libros de texto de Basilea. Basilea: Birkhäuser/Springer. pag. 131. doi :10.1007/978-3-030-73169-4. ISBN 978-3-030-73168-7. SEÑOR  4400952. S2CID  247271545.
  48. ^ Sloane, Nueva Jersey (ed.). "Secuencia A073004 (Expansión decimal de exp (gamma))". La enciclopedia en línea de secuencias enteras . Fundación OEIS.
  49. ^ Sondow, Jonathan (2003). "Un producto infinito para e γ mediante fórmulas hipergeométricas para la constante de Euler, γ ". arXiv : math.CA/0306008 .
  50. ^ Choi, Junesang; Srivastava, HM (1 de septiembre de 2010). "Representaciones integrales de la constante γ de Euler-Mascheroni ". Transformadas Integrales y Funciones Especiales . 21 (9): 675–690. doi :10.1080/10652461003593294. ISSN  1065-2469. S2CID  123698377.
  51. ^ Sloane, Nueva Jersey (ed.). "Secuencia A002852 (Fracción continua de la constante de Euler)". La enciclopedia en línea de secuencias enteras . Fundación OEIS.
  52. ^ Havil 2003, págs. 117-18.
  53. ^ Knuth, Donald E. (julio de 1962). "Constante de Euler hasta 1271 lugares". Matemáticas de la Computación . 16 (79). Sociedad Estadounidense de Matemáticas : 275–281. doi :10.2307/2004048. JSTOR  2004048.
  54. ^ Sí, Alexander J. (7 de marzo de 2011). "Grandes cálculos". www.numberworld.org .
  55. ^ abcdefgh Yee, Alexander J. "Récords establecidos por y-cruncher". www.numberworld.org . Consultado el 30 de abril de 2018 .
    Yee, Alexander J. "y-cruncher: un programa Pi de subprocesos múltiples". www.numberworld.org .
  56. ^ "Constante de Euler-Mascheroni". Coleccionista de polímatas . 15 de febrero de 2020.

Otras lecturas

enlaces externos