stringtranslate.com

Teoría analítica de números

Función zeta de Riemann ζ ( s ) en el plano complejo . El color de un punto s codifica el valor de ζ ( s ): los colores cercanos al negro indican valores cercanos a cero, mientras que el tono codifica el argumento del valor .

En matemáticas , la teoría analítica de números es una rama de la teoría de números que utiliza métodos del análisis matemático para resolver problemas sobre los números enteros . [1] A menudo se dice que comenzó con la introducción de las L -funciones de Dirichlet por parte de Peter Gustav Lejeune Dirichlet en 1837 para dar la primera prueba del teorema de Dirichlet sobre progresiones aritméticas . [1] [2] Es bien conocida por sus resultados sobre números primos (que involucran el Teorema de los Números Primos y la función zeta de Riemann ) y la teoría de números aditivos (como la conjetura de Goldbach y el problema de Waring ).

Ramas de la teoría analítica de números

La teoría analítica de números se puede dividir en dos partes principales, divididas más por el tipo de problemas que intentan resolver que por diferencias fundamentales en la técnica. [3]

Historia

Precursores

Gran parte de la teoría analítica de números se inspiró en el teorema de los números primos . Sea π( x ) la función de conteo de primos que da el número de primos menores o iguales a x , para cualquier número real  x . Por ejemplo, π(10) = 4 porque hay cuatro números primos (2, 3, 5 y 7) menores o iguales a 10. El teorema de los números primos establece entonces que x / ln( x ) es una buena aproximación a π( x ), en el sentido de que el límite del cociente de las dos funciones π( x ) y x / ln( x ) cuando x tiende al infinito es 1:

conocida como ley asintótica de distribución de números primos.

Adrien-Marie Legendre conjeturó en 1797 o 1798 que π( a ) se aproxima mediante la función a /( A ln( a ) +  B ), donde A y B son constantes no especificadas. En la segunda edición de su libro sobre teoría de números (1808) formuló una conjetura más precisa, con A  = 1 y B  ≈ −1,08366. Carl Friedrich Gauss consideró la misma cuestión: "Im Jahr 1792 oder 1793" ("en el año 1792 o 1793"), según sus propios recuerdos casi sesenta años después en una carta a Encke (1849), escribió en su tabla de logaritmos (tenía entonces 15 o 16 años) la breve nota "Primzahlen unter " ("números primos bajo '). Pero Gauss nunca publicó esta conjetura. En 1838, Peter Gustav Lejeune Dirichlet ideó su propia función de aproximación, la integral logarítmica li( x ) (bajo la forma ligeramente diferente de una serie, que comunicó a Gauss). Tanto la fórmula de Legendre como la de Dirichlet implican la misma equivalencia asintótica conjeturada de π( x ) y x  / ln( x ) indicada anteriormente, aunque resultó que la aproximación de Dirichlet es considerablemente mejor si se consideran las diferencias en lugar de los cocientes.

Dirichlet

A Johann Peter Gustav Lejeune Dirichlet se le atribuye la creación de la teoría analítica de números, [6] un campo en el que encontró varios resultados profundos y al probarlos introdujo algunas herramientas fundamentales, muchas de las cuales luego recibieron su nombre. En 1837 publicó el teorema de Dirichlet sobre progresiones aritméticas , utilizando conceptos de análisis matemático para abordar un problema algebraico y creando así la rama de la teoría analítica de números . Al probar el teorema, introdujo los caracteres de Dirichlet y las funciones L. [6] [7] En 1841 generalizó su teorema de progresiones aritméticas de números enteros al anillo de números enteros gaussianos . [8]

Chebyshev

En dos artículos de 1848 y 1850, el matemático ruso Pafnuty L'vovich Chebyshev intentó demostrar la ley asintótica de distribución de números primos. Su trabajo es notable por el uso de la función zeta ζ( s ) (para valores reales del argumento "s", al igual que los trabajos de Leonhard Euler , ya en 1737) anterior a las célebres memorias de Riemann de 1859, y tuvo éxito en demostrar una forma ligeramente más débil de la ley asintótica, a saber, que si el límite de π( x )/( x /ln( x )) cuando x tiende a infinito existe, entonces es necesariamente igual a uno. [9] Fue capaz de demostrar incondicionalmente que esta relación está acotada por encima y por debajo por dos constantes dadas explícitamente cercanas a 1 para todo x . [10] Aunque el artículo de Chebyshev no demostró el teorema de los números primos, sus estimaciones para π( x ) fueron lo suficientemente fuertes como para permitirle demostrar el postulado de Bertrand de que existe un número primo entre n y 2 n para cualquier entero n  ≥ 2.

Riemann

" …es ist sehr wahrscheinlich, dass alle Wurzeln reell sind. Hiervon wäre allerdings ein strenger Beweis zu wünschen; ich habe indess die Aufsuchung desselben nach einigen flüchtigen vergeblichen Versuchen vorläufig bei Seite gelassen, da er für den nächsten Zweck meiner Untersuchung ent behrlich schien " .

"... es muy probable que todas las raíces sean reales. Por supuesto, uno desearía aquí una prueba rigurosa; por el momento, después de algunos intentos vanos y fugaces, he dejado de lado provisionalmente la búsqueda de esto, ya que parece prescindible para el próximo objetivo de mi investigación."

Declaración de Riemann sobre la hipótesis de Riemann, de su artículo de 1859. [11] (Estaba discutiendo una versión de la función zeta, modificada de modo que sus raíces sean reales en lugar de estar en la línea crítica. Véase Función Xi de Riemann).

Bernhard Riemann realizó algunas contribuciones famosas a la teoría analítica de números moderna. En un único artículo breve (el único que publicó sobre el tema de la teoría de números), investigó la función zeta de Riemann y estableció su importancia para comprender la distribución de los números primos . Formuló una serie de conjeturas sobre las propiedades de la función zeta , una de las cuales es la conocida hipótesis de Riemann .

Hadamard y de la Vallée-Poussin

Extendiendo las ideas de Riemann, dos demostraciones del teorema de los números primos fueron obtenidas independientemente por Jacques Hadamard y Charles Jean de la Vallée-Poussin y aparecieron en el mismo año (1896). Ambas demostraciones utilizaron métodos del análisis complejo, estableciendo como paso principal de la demostración que la función zeta de Riemann ζ( s ) es distinta de cero para todos los valores complejos de la variable s que tienen la forma s  = 1 +  it con t  > 0. [12]

Tiempos modernos

El mayor cambio técnico después de 1950 ha sido el desarrollo de los métodos de criba [13] , particularmente en problemas multiplicativos. Estos son de naturaleza combinatoria y bastante variados. La rama extremal de la teoría combinatoria, a su vez, ha sido muy influenciada por el valor que se le da en la teoría analítica de números a los límites cuantitativos superiores e inferiores. Otro desarrollo reciente es la teoría probabilística de números [14] , que utiliza métodos de la teoría de la probabilidad para estimar la distribución de funciones teóricas de números, como cuántos divisores primos tiene un número.

En concreto, los avances de Yitang Zhang , James Maynard , Terence Tao y Ben Green han utilizado el método Goldston - Pintz - Yıldırım , que originalmente emplearon para demostrar que [15] [16] [17] [18] [19] [20]

Los avances en la teoría analítica de números son a menudo mejoras de técnicas anteriores que reducen los términos de error y amplían su aplicabilidad. Por ejemplo, el método del círculo de Hardy y Littlewood se concibió para su aplicación en series de potencias cercanas al círculo unitario en el plano complejo ; ahora se piensa en términos de sumas exponenciales finitas (es decir, en el círculo unitario, pero con la serie de potencias truncada). Las necesidades de la aproximación diofántica son para funciones auxiliares que no son funciones generadoras (sus coeficientes se construyen mediante el uso de un principio de casillero ) e involucran varias variables complejas . Los campos de la aproximación diofántica y la teoría de la trascendencia se han expandido, hasta el punto de que las técnicas se han aplicado a la conjetura de Mordell .

Problemas y resultados

Los teoremas y resultados de la teoría analítica de números no suelen ser resultados estructurales exactos sobre los números enteros, para los cuales las herramientas algebraicas y geométricas son más apropiadas. En cambio, brindan límites y estimaciones aproximadas para diversas funciones teóricas de números, como lo ilustran los siguientes ejemplos.

Teoría de números multiplicativos

Euclides demostró que hay infinitos números primos. Una cuestión importante es determinar la distribución asintótica de los números primos; es decir, una descripción aproximada de cuántos primos son menores que un número dado. Gauss , entre otros, después de calcular una gran lista de primos, conjeturó que el número de primos menores o iguales a un número grande N es cercano al valor de la integral

En 1859, Bernhard Riemann utilizó el análisis complejo y una función meromórfica especial , conocida hoy como función zeta de Riemann, para derivar una expresión analítica para el número de primos menores o iguales a un número real  x . Sorprendentemente, el término principal de la fórmula de Riemann era exactamente la integral anterior, lo que le otorgaba un peso sustancial a la conjetura de Gauss. Riemann descubrió que los términos de error en esta expresión, y por lo tanto la manera en que se distribuyen los primos, están estrechamente relacionados con los ceros complejos de la función zeta. Utilizando las ideas de Riemann y obteniendo más información sobre los ceros de la función zeta, Jacques Hadamard y Charles Jean de la Vallée-Poussin lograron completar la prueba de la conjetura de Gauss. En particular, demostraron que si

entonces

Este notable resultado es lo que ahora se conoce como el teorema de los números primos . Es un resultado central en la teoría analítica de números. En términos generales, establece que, dado un número grande N , el número de primos menores o iguales a N es aproximadamente N /log( N ).

De manera más general, se puede plantear la misma pregunta sobre el número de primos en cualquier progresión aritmética a+nq para cualquier entero n . En una de las primeras aplicaciones de técnicas analíticas a la teoría de números, Dirichlet demostró que cualquier progresión aritmética con a y q coprimos contiene infinitos primos. El teorema de los números primos se puede generalizar a este problema;

entonces se da como la función totiente y si a y q son coprimos,

También hay muchas conjeturas profundas y de amplio alcance en la teoría de números cuyas demostraciones parecen demasiado difíciles para las técnicas actuales, como la conjetura de los primos gemelos que pregunta si hay infinitos primos p tales que p  + 2 es primo. Sobre la suposición de la conjetura de Elliott-Halberstam se ha demostrado recientemente que hay infinitos primos p tales que p  +  k es primo para algún par positivo k como máximo 12. También se ha demostrado incondicionalmente (es decir, sin depender de conjeturas no demostradas) que hay infinitos primos p tales que p  +  k es primo para algún par positivo k como máximo 246.

Teoría de números aditivos

Uno de los problemas más importantes en la teoría de números aditivos es el problema de Waring , que pregunta si es posible, para cualquier k  ≥ 2, escribir cualquier entero positivo como la suma de un número acotado de potencias k .

El caso de los cuadrados, k  = 2, fue respondido por Lagrange en 1770, quien demostró que todo entero positivo es la suma de cuatro cuadrados como máximo. El caso general fue demostrado por Hilbert en 1909, utilizando técnicas algebraicas que no proporcionaban límites explícitos. Un avance importante fue la aplicación de herramientas analíticas al problema por parte de Hardy y Littlewood . Estas técnicas se conocen como el método del círculo y proporcionan límites superiores explícitos para la función G ( k ), el número más pequeño de potencias k necesarias, como el límite de Vinogradov .

Problemas diofánticos

Los problemas diofánticos se ocupan de soluciones enteras de ecuaciones polinómicas: se puede estudiar la distribución de soluciones, es decir, contar las soluciones según alguna medida de "tamaño" o altura .

Un ejemplo importante es el problema del círculo de Gauss , que pide puntos enteros ( x  y ) que satisfagan

En términos geométricos, dado un círculo centrado en el origen en el plano con radio r , el problema pregunta cuántos puntos de red enteros se encuentran sobre o dentro del círculo. No es difícil demostrar que la respuesta es , mientras que . Nuevamente, la parte difícil y un gran logro de la teoría analítica de números es obtener límites superiores específicos para el término de error  E ( r ).

Gauss demostró que . En general, sería posible un término de error  O ( r ) con el círculo unitario (o, más propiamente, el disco unitario cerrado) reemplazado por los dilatados de cualquier región plana acotada con un borde liso por partes. Además, reemplazando el círculo unitario por el cuadrado unitario, el término de error para el problema general puede ser tan grande como una función lineal de r . Por lo tanto, obtener un límite de error de la forma para algunos en el caso del círculo es una mejora significativa. El primero en lograr esto fue Sierpiński en 1906, quien demostró . En 1915, Hardy y Landau demostraron cada uno que uno no tiene . Desde entonces, el objetivo ha sido demostrar que para cada fijo existe un número real tal que .

En 2000, Huxley demostró [21] que , que es el mejor resultado publicado.

Métodos de la teoría analítica de números

Serie de Dirichlet

Una de las herramientas más útiles en la teoría de números multiplicativos son las series de Dirichlet , que son funciones de una variable compleja definidas por una serie infinita de la forma

Dependiendo de la elección de los coeficientes , esta serie puede converger en todas partes, en ninguna parte o en algún semiplano. En muchos casos, incluso cuando la serie no converge en todas partes, la función holomorfa que define puede continuar analíticamente hasta convertirse en una función meromórfica en todo el plano complejo. La utilidad de funciones como esta en problemas multiplicativos se puede ver en la identidad formal

Por lo tanto, los coeficientes del producto de dos series de Dirichlet son las convoluciones multiplicativas de los coeficientes originales. Además, se pueden utilizar técnicas como la suma parcial y los teoremas de Tauber para obtener información sobre los coeficientes a partir de información analítica sobre la serie de Dirichlet. Por lo tanto, un método común para estimar una función multiplicativa es expresarla como una serie de Dirichlet (o un producto de series de Dirichlet más simples utilizando identidades de convolución), examinar esta serie como una función compleja y luego convertir esta información analítica nuevamente en información sobre la función original.

Función zeta de Riemann

Euler demostró que el teorema fundamental de la aritmética implica (al menos formalmente) el producto de Euler .

donde se toma el producto de todos los números primos p .

La prueba de Euler de la infinitud de los números primos hace uso de la divergencia del término del lado izquierdo para s = 1 (la llamada serie armónica ), un resultado puramente analítico. Euler también fue el primero en utilizar argumentos analíticos con el propósito de estudiar las propiedades de los números enteros, específicamente mediante la construcción de series de potencias generadoras . Este fue el comienzo de la teoría analítica de números. [20]

Más tarde, Riemann consideró esta función para valores complejos de s y demostró que esta función puede extenderse a una función meromórfica en todo el plano con un polo simple en s  = 1. Esta función ahora se conoce como la función Zeta de Riemann y se denota por ζ ( s ). Existe una gran cantidad de literatura sobre esta función y la función es un caso especial de las funciones L de Dirichlet más generales .

Los teóricos analíticos de números suelen estar interesados ​​en el error de aproximaciones como el teorema de los números primos. En este caso, el error es menor que x /log  x . La fórmula de Riemann para π( x ) muestra que el término de error en esta aproximación se puede expresar en términos de los ceros de la función zeta. En su artículo de 1859 , Riemann conjeturó que todos los ceros "no triviales" de ζ se encuentran en la línea, pero nunca proporcionó una prueba de esta afirmación. Esta famosa y antigua conjetura se conoce como la Hipótesis de Riemann y tiene muchas implicaciones profundas en la teoría de números; de hecho, muchos teoremas importantes se han demostrado bajo el supuesto de que la hipótesis es verdadera. Por ejemplo, bajo el supuesto de la Hipótesis de Riemann, el término de error en el teorema de los números primos es .

A principios del siglo XX, GH Hardy y Littlewood demostraron muchos resultados sobre la función zeta en un intento de demostrar la hipótesis de Riemann. De hecho, en 1914, Hardy demostró que había infinitos ceros de la función zeta en la línea crítica.

Esto condujo a varios teoremas que describen la densidad de los ceros en la línea crítica.

Véase también

Notas

  1. ^Ab Apostol 1976, pág. 7.
  2. ^ Davenport 2000, pág. 1.
  3. ^ Hildebrand, AJ (2005). "Introducción a la teoría analítica de números. Apuntes de clase de Matemáticas 531, otoño de 2005" (PDF) .
  4. ^ Davenport, Harold (2013). Teoría de números multiplicativos. Textos de posgrado en matemáticas. Vol. 74. Springer-Verlag. p. 1. doi :10.1007/978-1-4757-5927-3. ISBN 978-1-4757-5929-7.
  5. ^ Nathason, Melvyn B. (2013). Teoría de números aditivos, las bases clásicas. Springer-Verlag. pag. vii-viii. ISBN 978-0-387-94656-6.
  6. ^ ab Gowers, Timothy ; June Barrow-Green ; Imre Leader (2008). El compañero de Princeton para las matemáticas. Princeton University Press. págs. 764–765. ISBN 978-0-691-11880-2.
  7. ^ Kanemitsu, Shigeru; Chaohua Jia (2002). Métodos de teoría de números: tendencias futuras . Springer. pp. 271–274. ISBN 978-1-4020-1080-4.
  8. ^ Elstrodt, Jürgen (2007). "La vida y obra de Gustav Lejeune Dirichlet (1805–1859)" (PDF) . Clay Mathematics Proceedings . Archivado desde el original (PDF) el 2008-03-07 . Consultado el 2007-12-25 .
  9. ^ N. Costa Pereira (agosto-septiembre de 1985). "Una breve demostración del teorema de Chebyshev". American Mathematical Monthly . 92 (7): 494–495. doi :10.2307/2322510. JSTOR  2322510.
  10. ^ M. Nair (febrero de 1982). "Sobre desigualdades de tipo Chebyshev para números primos". American Mathematical Monthly . 89 (2): 126–129. doi :10.2307/2320934. JSTOR  2320934.
  11. ^ Riemann, Bernhard (1859), "Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse", Monatsberichte der Berliner Akademie. En Gesammelte Werke , Teubner, Leipzig (1892), reimpreso por Dover, Nueva York (1953). Manuscrito original archivado el 23 de mayo de 2013 en Wayback Machine (con traducción al inglés). Reimpreso en (Borwein et al. 2008) y (Edwards 1974)
  12. ^ Ingham, AE (1990). La distribución de los números primos . Cambridge University Press. pp. 2–5. ISBN 0-521-39789-8.
  13. ^ Tenenbaum 1995, pág. 56.
  14. ^ Tenenbaum 1995, pág. 267.
  15. ^ Green, Ben (22 de febrero de 2014). "Brechas acotadas entre números primos". arXiv : 1402.4849 [math.NT].
  16. ^ Maynard, James (2019). "Números primos con dígitos restringidos". Inventiones Mathematicae . 217 (1): 127–218. arXiv : 1604.01041 . doi :10.1007/s00222-019-00865-6.
  17. ^ Green, Ben; Tao, Terence (2008). "Los primos contienen progresiones aritméticas arbitrariamente largas". Anales de Matemáticas . 2.ª serie. 167 (2): 481–547. arXiv : math/0404188 . doi :10.4007/annals.2008.167.481.
  18. ^ "Bounded gaps between primes - Polymath Wiki". asone.ai . Archivado desde el original el 2020-12-08 . Consultado el 2022-07-14 .
  19. ^ Terence Tao - Grandes y pequeñas brechas en los números primos [2015] , consultado el 14 de julio de 2022
  20. ^ de Iwaniec y Kowalski: Teoría analítica de números, AMS Colloquium Pub. Vol. 53, 2004
  21. ^ MN Huxley, Puntos enteros, sumas exponenciales y la función zeta de Riemann , Teoría de números para el milenio, II (Urbana, IL, 2000) pp.275–290, AK Peters, Natick, MA, 2002, MR 1956254.

Referencias

Lectura adicional

En aspectos especializados se han hecho especialmente conocidos los siguientes libros:

Ciertos temas aún no han alcanzado la profundidad necesaria para ser tratados en forma de libro. Algunos ejemplos son (i) la conjetura de correlación de pares de Montgomery y el trabajo que se inició a partir de ella, (ii) los nuevos resultados de Goldston, Pintz y Yilidrim sobre las pequeñas brechas entre los números primos y (iii) el teorema de Green-Tao que muestra que existen progresiones aritméticas de números primos arbitrariamente largas.