Una serie de cuadrados inversos.

Una serie de cuadrados inversos  es una serie infinita :

El problema de encontrar la suma de esta serie permaneció sin resolver durante mucho tiempo. Dado que la atención de los matemáticos europeos sobre este problema fue atraída por el profesor de matemáticas de Basilea Jacob Bernoulli (1689), en la historia a menudo se le llama el " problema de Basilea " (o " problema de Basilea "). El primero en encontrar la suma de la serie en 1735 fue Leonhard Euler de 28 años , resultó ser igual a

(Ver secuencia OEIS A013661 ).

Esta suma se da en muchos otros problemas de teoría de números .

La solución de este problema (y otros relacionados) no solo le dio fama mundial al joven Euler [1] , sino que también tuvo un impacto significativo en el desarrollo posterior del análisis , la teoría de números y, posteriormente , el análisis complejo . Una vez más (después del descubrimiento de la serie de Leibniz ) , el número fue más allá de la geometría y confirmó su universalidad. Finalmente, la serie del cuadrado inverso resultó ser el primer paso hacia la introducción de la función zeta de Riemann [2] . Euler mismo comenzó este camino, habiendo considerado una generalización de la serie del cuadrado inverso - una serie para una potencia par arbitraria s , y también derivando la identidad fundamental de Euler :

El producto del lado derecho se toma sobre todos los números primos .

Historia

Los historiadores descubrieron por primera vez el razonamiento sobre una serie de cuadrados inversos en la disertación del matemático italiano Pietro Mengoli ( Novae quadraturae arithmeticae seu de addedefractionum , 1644, publicada en 1650), pero entonces el problema no despertó el interés general. Mengoli determinó que la serie converge y encontró la suma de los primeros 10 términos [3] :

Más tarde, muchos matemáticos eminentes intentaron sin éxito encontrar la suma de la serie, incluidos Leibniz , Stirling , de Moivre , Christian Goldbach , los hermanos Jacob y Johann Bernoulli . También calcularon varios dígitos significativos de la suma de la serie. Goldbach demostró que la suma está contenida en el intervalo (41/25; 5/3), Stirling en el tratado Methodus Differentialis (1730) logró calcular un valor bastante exacto de la suma: 1.644934066, pero nadie pudo determinar con exactitud cuál es este valor. el valor fue puede estar relacionado [3] [4] [5] .

Jacob Bernoulli instó en sus Proposiciones aritméticas sobre series infinitas (1689): "Si alguien logra encontrar algo que hasta ahora no ha cedido a nuestros esfuerzos, y si nos lo comunica, entonces estaremos muy en deuda con él" [ 2 ] [6] . Pero durante la vida de Jacob Bernoulli, la solución no apareció.

Euler fue el primero en triunfar , casi medio siglo después de la conversión de Bernoulli. Lo más probable es que Johann Bernoulli, el hermano de Jacob, le haya contado a Euler sobre este problema. Euler informó del descubrimiento en la nota "Sobre sumas de series inversas" ( De summis serierum reciprocarum , 1735) [7] para la revista "Commentarii Academiae Scientiarum Imperialis Petropolitanae" de la Academia de Ciencias de San Petersburgo . Euler también informó del valor de la suma encontrada por él en una carta a su amigo Daniel Bernoulli , el hijo de Johann Bernoulli [8] :

Recientemente encontré, y bastante inesperadamente, una expresión elegante para la suma de una serie relacionada con la cuadratura de un círculo... A saber, la suma séxtuple de esta serie es igual al cuadrado del perímetro de un círculo cuyo diámetro es 1.

Daniel le dijo a su padre, quien expresó dudas sobre la validez de la expansión del seno de Euler en un producto infinito (ver más abajo ). Por ello, en 1748, Euler justificó el resultado de forma más rigurosa en su monografía Introducción al análisis de los infinitesimales ( Introductio in analysin infinitorum , Tomo I, Capítulo X) [9] .

Como señala John Derbyshire , la segunda aparición (después de la serie de Leibniz ) de un número en un contexto inesperado y completamente no geométrico causó una fuerte impresión en los matemáticos del siglo XVIII [10] .

Como control, Euler calculó manualmente la suma de la serie de 20 dígitos (aparentemente usando la fórmula de Euler-Maclaurin , ya que la serie del inverso del cuadrado converge con bastante lentitud). Luego comparó la suma con el valor utilizando el valor aproximado del número ya conocido en ese momento , y se aseguró de que ambos valores, dentro de la precisión de la cuenta, coincidieran. Posteriormente (1743) Euler publicó otras dos formas diferentes de sumar una serie de cuadrados inversos [11] .

Convergencia de series

Para verificar que la serie del inverso del cuadrado converge, basta probar que la siguiente serie converge [12] :

Esta serie mayoriza la serie del cuadrado inverso, porque cada término en ella (excepto el primero) es mayor que en la serie del cuadrado inverso. Se puede representar como una suma telescópica :

La suma parcial de esta serie es por lo tanto la serie converge, y su suma es igual a 2. Por tanto, por criterio de comparación , y la serie de cuadrados inversos converge a algún número en el intervalo (1, 2) [12] .

Para estimar la tasa de convergencia de sumas parciales, se puede usar la fórmula

La suma en el medio de la fórmula es la diferencia entre la serie y su suma parcial, es decir, el error absoluto de la suma parcial. De la fórmula se puede ver que la convergencia de la serie es bastante lenta: los primeros mil términos de la serie ( ) dan un error de orden , es decir, en el tercer lugar decimal. Para obtener 6 signos correctos, debe agregar un millón de miembros de la serie [13] .

En 1988, Roy D. North de Colorado Springs calculó la suma de un millón de términos de una serie de cuadrados inversos en una computadora y descubrió un patrón extraño: el sexto lugar decimal, como era de esperar, es erróneo, pero los siguientes 6 dígitos son correctos Luego, un carácter es incorrecto y, después, cinco dígitos vuelven a ser correctos:

Suma total de filas ( ) 1.64493 4 066848 2 26436 472415166646025189218949901…
Suma parcial de un millón de miembros 1.64493 3 066848 7 26436 305748499979391855885616544…
Error 0.00000099999950000016666666666666333333333333357…

Este error se puede representar como la suma

en el que los coeficientes en potencias de 10 son los números de Bernoulli [13] . La prueba de este hecho puede encontrarse en el artículo de 1989 de Borwein, Borwein y Dilcher [14] .

Primer método de Euler para encontrar la suma de una serie

A fines del siglo XVII, gracias al trabajo de Newton y otros matemáticos, se conoció la expansión en serie de la función seno :

Euler logró obtener otra expansión del seno, no en una suma, sino en un producto infinito [15] :

Igualando ambas expresiones y reduciendo por se puede obtener:

(una)

Dado que esta identidad se cumple para todo , los coeficientes de en ambas partes deben ser iguales:

Multiplicando ambos lados de la igualdad por finalmente podemos obtener [16] :

El método enunciado se basa en la expansión del seno en un producto infinito, sin embargo, Euler no dio una justificación adecuada a esta expansión, limitándose a referirse a que tanto la parte izquierda como la derecha, consideradas como polinomios , tienen la misma raíces: Johann y Daniil Bernoulli señalaron la incorrección de tal derivación, ya que solo se aplica a polinomios de grado finito, y no a series infinitas. En este sentido, Euler publicó varios métodos más de suma, justificados de manera más estricta y que conducen al mismo resultado [11] . Sin embargo, la expansión especificada resultó ser cierta y posteriormente se probó [17] .

Segundo método de Euler

En 1741, Euler tuvo en cuenta las críticas anteriores a su método original y publicó otro método de suma basado en la integración de series [18] . Para ello, consideramos una integral de la forma

Para calcular la integral, puedes usar la expansión del arcoseno en una serie en el intervalo :

Esta serie converge uniformemente y se puede integrar término a término:

La primera integral es , y la segunda después de la sustitución resulta ser igual a partir de aquí:

Esta suma contiene los cuadrados inversos de los números impares. La suma requerida de la serie de cuadrados inversos consta de dos partes, la primera de las cuales es igual y la segunda contiene los cuadrados inversos de los números pares:

Ahí es donde

Formas alternativas de encontrar la suma

Serie de Fourier

Uno de los métodos más simples para obtener esta suma es usar la expansión de la función en serie de Fourier . Para una función par, esta expansión tiene la forma [19]

Los coeficientes se calculan según fórmulas estándar:

Como resultado, la descomposición toma la forma [19]

Sustituyendo un valor en esta fórmula da el resultado

o

El resultado final se obtiene [19] dividiendo ambos lados por 4.

Si, en lugar de sustituir , obtienes una suma alterna:

Otra forma de resolver el problema a través del análisis de Fourier es usar la igualdad de Parseval para la función

Método de descomposición de la cotangente hiperbólica

Este método te permite encontrar las sumas de todas las series de potencias pares inversas:

Se basa en dos fórmulas de expansión para la cotangente hiperbólica . El primero [20] es válido para :

La segunda fórmula [21] relaciona la cotangente hiperbólica con los números de Bernoulli :

Igualar los coeficientes a las mismas potencias da una fórmula para conectar las sumas de la serie con los números de Bernoulli:

En particular, el resultado inicial se obtiene al considerar tener en cuenta

Otros enfoques

En el artículo de K. P. Kokhas [16] , se dan varias formas diferentes de sumar una serie: mediante integrales , residuos complejos , función gamma , expansión del arcoseno o cotangente , elevando al cuadrado la serie de Leibniz . En el artículo de Chapman [22] se presenta otra colección de métodos de suma .

Una interesante representación físico-geométrica de la suma de una serie de cuadrados inversos se presenta en un artículo de Johan Westlund [23] y en una videoconferencia en el canal de YouTube 3Blue1Brown [24] .

Variaciones y generalizaciones

Basándose en la fórmula ( 1 ), Euler calculó las sumas no solo para una serie de cuadrados inversos, sino también para series de otras potencias pares, hasta la 26, por ejemplo [2] :

etc. Euler también descubrió que las sumas de tales series están relacionadas con los números de Bernoulli de la siguiente manera [9] :

Euler también resumió una modificación de una serie de cuadrados inversos que contenían (en denominadores) cuadrados u otras potencias pares de números impares [25] ; las sumas de las series resultaron estar también relacionadas con el número

Para series de potencias impares, aún no se conoce la expresión teórica de sus sumas. Sólo se ha demostrado que la suma de una serie de cubos inversos ( constante de Aperi ) es un número irracional [2] .

Si consideramos el exponente en la serie general de potencias inversas como una variable (no necesariamente un número entero), entonces obtenemos la función zeta de Riemann , que juega un papel muy importante en el análisis y la teoría de números:

Entonces la suma de la serie del cuadrado inverso es

Los primeros estudios de las propiedades de la función zeta fueron realizados por Euler. En 1748 publicó la monografía "Introducción al análisis de los infinitesimales", donde demostró la " identidad de Euler " [26] :

donde el producto se toma sobre todos los números primos Esta igualdad jugó un papel importante en el desarrollo de la teoría analítica de números , se basó en los estudios de Chebyshev y Riemann sobre la distribución de números primos en la serie natural. En 1859 apareció el profundo trabajo de Riemann que extendía la definición de la función zeta al dominio complejo . Riemann consideró en detalle la conexión de la función zeta con la distribución de números primos [26] .

En 1768, Euler propuso otra generalización de la serie del cuadrado inverso, el dilogaritmo de Euler [27] :

Algunas aplicaciones

La suma de una serie de cuadrados inversos, también aparece en muchos problemas de teoría de números.

La suma de divisores de un número natural crece en promedio [28] como una función lineal .

La probabilidad de que dos números naturales elegidos al azar en el intervalo de 1 resulten ser coprimos tiende a En otras palabras, la densidad promedio de números coprimos en la serie numérica [29] es igual a

Sea el número de números naturales libres de cuadrados en el rango de 1 a Satisface la fórmula aproximada [30] [31] [32]

Función de Euler acumulativa

donde  es la función de Euler , tiene las siguientes asintóticas [33] :

Notas

  1. Stewart, Ian . Los increíbles números del profesor Stewart = los increíbles números del profesor Stewart. - M. : Alpina no ficción, 2016. - S. 222-223. — 422 págs. - ISBN 978-5-91671-530-9 .
  2. 1 2 3 4 Derbyshire, 2010 , pág. 90-92, 103-109.
  3. 1 2 Sofo, Antonio. El problema de Basilea con una extensión . Consultado: 3 de agosto de 2020.
  4. Biografía de Leonhard Euler (enlace inaccesible) . Consultado el 16 de abril de 2016. Archivado desde el original el 17 de marzo de 2008. 
  5. Euler et le problemème de Bale . Consultado el 5 de agosto de 2020. Archivado desde el original el 23 de enero de 2021.
  6. Poya D. Matemáticas y razonamiento plausible. - Ed. 2º, corregido. - M. : Nauka, 1975. - S. 40.
  7. Leonard Euler. Desummis serierum reciprocarum . Fecha de acceso: 17 de abril de 2016.
  8. Navarro, Joaquín. Hasta el límite de números . Consultado el 10 de agosto de 2016. Archivado desde el original el 15 de septiembre de 2016.
  9. 1 2 Historia de las Matemáticas, Volumen III, 1972 , p. 337.
  10. Derbyshire, 2010 , pág. 92.
  11. 1 2 Vileitner G. Historia de las matemáticas desde Descartes hasta mediados del siglo XIX. - M. : GIFML, 1960. - S. 143-144. — 468 págs.
  12. 1 2 Vorobyov N. N. Teoría de las series . - 4ª ed. - M. : Nauka, 1979. - S.  52 . — 408 pág. - (Capítulos seleccionados de matemáticas superiores para ingenieros y estudiantes de instituciones de educación superior).
  13. 1 2 Aigner, Ziegler, 2006 , pág. 49.
  14. Borwein, Borwein, Dilcher, 1989
  15. Antonio Durán, 2014 , p. 109-114.
  16. 1 2 Kokhas KP, 2004 .
  17. Fikhtengolts G. M., 1966 , p. 374-376.
  18. Fikhtengolts G. M., 1966 , p. 671.
  19. 1 2 3 Fikhtengolts G. M. Curso de cálculo diferencial e integral. - Ed. 3er. - M. : Nauka, 1963. - T. III. - S. 443, 451. - 656 pág.
  20. Fikhtengolts G. M., 1966 , p. 484.
  21. Fikhtengolts G. M., 1966 , p. 495-496.
  22. Robin Chapman .
  23. Wästlund, Johan. Suma de cuadrados inversos por geometría euclidiana . Consultado el 6 de agosto de 2020. Archivado desde el original el 24 de febrero de 2020.
  24. ¿Por qué está pi aquí? ¿Y por qué es cuadrado? Una respuesta geométrica al problema de Basilea en YouTube
  25. Zhukov A. V. El ubicuo número "pi". - 2ª ed. - M. : Editorial LKI, 2007. - S. 145. - 216 p. - ISBN 978-5-382-00174-6 .
  26. 1 2 Otradnykh F.P. Matemáticas del siglo XVIII y académico Leonhard Euler. - M. : Ciencia soviética, 1954. - S. 33. - 39 p.
  27. Leonhard Euler , Institutiones calculi integrals
  28. Arnold V. I. Dinámica, estadística y geometría proyectiva de los campos de Galois. - M. : MTSNMO, 2005. - S. 70. - 72 p.
  29. Cohen E. Funciones aritméticas asociadas con conjuntos arbitrarios de números enteros   // Acta Arithmetica . - 1959. - Vol. 5 . - Pág. 407-415 . Archivado el 2 de mayo de 2019. (Consulte también la nota del artículo: Errata Archivado el 14 de agosto de 2020 en Wayback Machine . La nota se refiere al "Corolario 3.3" en la página 413).
  30. Jia C.-H. La distribución de números sin cuadrados  (inglés)  // Ciencia en China. Serie A - Matemáticas, Física, Astronomía y Ciencias Tecnológicas. - 1993. - vol. 36 , edición. 2 . - pág. 154-169 . doi : 10.1360 /ya1993-36-2-154 . Acceso abierto
  31. Pappalardi F. Una encuesta sobre k -freeness // Teoría de números. Actas de la Conferencia en Teoría Analítica de Números en Honor al Prof. Subbarao  (inglés) / vol. Eds.: SD Adhikari, R. Balasubramanian, K. Srinivas. - Mysore: Sociedad Matemática de Ramanujan, 2002. - P. 77-88. — 161 pág. - (Serie de Apuntes de Conferencia: Número 1). — ISBN 9788190254510 .
  32. Sinha K. Órdenes promedio de ciertas funciones aritméticas  //  Revista de la Sociedad Matemática Ramanujan. - 2006. - vol. 21 , edición. 3 . - pág. 267-277 . Archivado desde el original el 14 de febrero de 2012.
  33. Weisstein, Eric W. Totient Summatory Function  (inglés) en el sitio web de Wolfram MathWorld .

Literatura

Enlaces