See discussions, stats, and author profiles for this publication at: https://www.researchgate.

net/publication/327920727

El Teorema de los Números Primos/ Primer Number Theorem (prueba analítica y

elemental).

Thesis · December 2016

DOI: 10.13140/RG.2.2.15857.33121

CITATIONS READS
0 913

1 author:

Julio Trujillo
Universidad de Panamá
21 PUBLICATIONS   2 CITATIONS   

SEE PROFILE

Some of the authors of this publication are also working on these related projects:

Modelización de la predicción de riesgo de la dinámica de transmisión de la influenza en la provincia de Panamá View project

The basic properties of the Riemann zeta Function View project

All content following this page was uploaded by Julio Trujillo on 27 September 2018.

The user has requested enhancement of the downloaded file.

 UNIVERSIDAD DE PANAMÁ

Facultad de Ciencias Naturales, Exactas y Tecnología

Escuela de Matemática
Licenciatura en Matemática

El Teorema de los Números Primos

Trabajo de Grado presentado por

Julio Enrique Trujillo González
8-880-1605

Como requisito final para obtener

el título de Licenciado en Matemática

Área de Conocimiento: Teoría de Números

Director: Dr. Jaime Gutiérrez

Fecha de Presentación: 14 de diciembre de 2016

Agradecimientos

«La Matemática posee no sólo la verdad, sino la suprema belleza, una belleza fría y austera,
como la de una escultura.»
Bertrand Russell.
Primero quiero agradecer al mejor matemático, el creador de este universo a «Dios»,
por toda la fortaleza que me ha dado para culminar esta carrera y por darme sabiduría
que se encuentra encerrada en el «Libro».
Segundo, agradezco el apoyo de «Mamita» y «Papito», por apoyarme económicamente
y por la educación que me dieron.
Tercero, también doy gracias a todos los profesores que estuvieron involucrados en mí
formación, especialmente a mí director de tesis al Profesor Jaime Gutiérrez, además a
los profesores Daniel Vasquez y Eric Hidalgo que fueron los primeros que me «enseña-
ron» a hacer demostraciones, a los profesores que me dieron la base del Análisis Real y
Complejo, al profesor Rogelio Rosas y la Profesora Teresita de Ávila.
Por último agradezco a la Universidad de Panamá, por reunir a todos los profesores
que algún momento me dieron clases.

I
Índice general

Agradecimientos I

Resumen IV

1. Introducción Histórica 1
1.1. Grecia. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2. Fermat, Mersenne, Goldbach y Euler. . . . . . . . . . . . . . . . . . . . . . 2
1.3. Euler y la función zeta. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.4. Legendre y Gauss. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.5. Dirichlet y Chebyshev. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.6. Riemann. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.7. De conjetura a teorema. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.8. La demostración elemental, Erdös versus Selberg. . . . . . . . . . . . . . 9

2. Funciones Aritméticas y Producto de Dirichlet 11

2.1. Anillos de funciones aritméticas . . . . . . . . . . . . . . . . . . . . . . . . 19

3. Fórmulas Asintóticas y Teoremas Elementales 22

3.1. La notación «O» mayúscula. Igualdad asintótica de funciones. . . . . . . 22
3.2. Fórmula de sumación de Euler. . . . . . . . . . . . . . . . . . . . . . . . . 23
3.3. Fórmulas asintóticas elementales. . . . . . . . . . . . . . . . . . . . . . . . 24
3.4. Las funciones de Chebyshev ψ( x ) y ϑ ( x ) . . . . . . . . . . . . . . . . . . 26

4. Series de Dirichlet y Productos de Euler 31

4.1. Series de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
4.2. El producto de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
4.3. Propiedades analíticas de las series de Dirichlet. . . . . . . . . . . . . . . 34

5. Demostración Analítica del Teorema de los Números Primos 38

5.1. Lemas y teoremas auxiliares . . . . . . . . . . . . . . . . . . . . . . . . . . 38
5.2. La no anulación de ζ (s) en la recta s = 1 . . . . . . . . . . . . . . . . . . . 47

6. Prueba Elemental del Teorema de los Números Primos 52

6.1. El plan de la demostración . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
6.2. Fórmulas asintótica de Selberg . . . . . . . . . . . . . . . . . . . . . . . . 53

II
ÍNDICE GENERAL III

6.3. Un argumento de suavizado . . . . . . . . . . . . . . . . . . . . . . . . . . 60

6.4. Un punto de vista logarítmica . . . . . . . . . . . . . . . . . . . . . . . . . 64
6.5. Deducción del Teorema de los Números Primos . . . . . . . . . . . . . . 65

Conclusiones 69

Recomendaciones 70

Bibliografía 72
Resumen

En este trabajo de grado cubre la parte clásica de la Teoría Analítica de Números. Ade-
más, estudiamos la Función Zeta de Riemann. El problema principal vamos delimitarlo
en demostrar el Teorema de los Números primos, entendiendo que
En Teoría de Números, El Teorema de los Números Primos (TNP) describe la distri-
bución asintótica de los números primos. El teorema describe como los primos son
distribuidos a lo largo de los números naturales. Formalizando la idea intuitiva de que
los primos son menos comunes cuando uno se aleja del número uno.
Informalmente decimos que el TNP dice que si seleccionamos un entero natural alea-
torio en el intervalo desde el número uno a algún entero N, la probabilidad de que el
entero seleccionado sea primo es alrededor de log1 N , donde log N es el logaritmo natu-
ral.
El documento se divide en 6 partes:
El primer capítulo comienza con una introducción histórica, donde se escribe sobre los
contribuyentes con más renombre en la Teoría de Número.
El segundo capítulo el objetivo es hacer una «breve» revisión de los conceptos funda-
mentales sobre funciones aritméticas y producto de Dirichlet, otros de los objetivos de
este capítulo es hacer mención sobre el «Anillo de las funciones aritméticas».
El tercer capítulo se define y se presenta algunos resultados sobre la notación «O».
Además, algunas fórmulas asintóticas y también se define las funciones de Chebyshev,
que juega un papel importante en la demostración del Teorema de los Números Primos.
El cuarto capítulo se redacta de una forma de resumen, se omite muchas demostra-
ciones que se pueden encontrar en [2], se trata sobre las series de Dirichlet y se revisa
algunas propiedades de la Función Zeta de Riemann. Lo que se logra es obtener la
prolongación analítica de ζ (s) al otro lado de la recta σ = 1.
En los últimos capítulos 5 y 6, se deduce la demostración del Teorema de los Números
Primos, el capítulo 5 se logra utilizando técnicas analíticas , mientras que el capítulo 6
se usa propiedades elementales del cálculo, se puede encontrar más sobre esta prueba
en [19].

IV
Capítulo 1

Introducción Histórica

Comenzaremos intentando decir en pocas palabras,

¿Qué es la Teoría de Números?
La Teoría de Números es la rama de la Matemática que se encarga de estudiar las pro-
piedades de los números naturales N = {1, 2, 3, 4, 5, ...}.
Estos números constituyen, la primera creación matemática del hombre. Es natural pen-
sar esto, ya que es imposible imaginarse al ser humano sin la capacidad de contar, aun-
que sea, para saber si estaba en desventaja, etc.

Pensando en un problema actual «La Hipótesis de Riemann», demostrarla significaría

un cambio radical en el entendimiento de la realidad, ya que tiene muchas aplicaciones
o relaciones con hechos naturales, por ejemplo en la Mecánica Cuántica, la Teoría del
Caos, e incluso del futuro de la computación.

Este problema, sólo espera de que una mente privilegiada de un genio puede arrojar
luz sobre el halo de misterio que la envuelve. Muchos matemáticos lo han intentando,
todos han fracasado, o sólo han podido dar un pequeño paso hacia la demostración, de
lo mucho que hace falta.

Esto ha ocurrido desde 1859, cuando el alemán Bernard Riemann publicara en la aca-
demia de Berlín «Sobre la cifra de números primos menores que una cantidad dada».
En el año de 1900, el alemán David Hilbert pronunció una conferencia durante el con-
greso internacional de matemáticos en París, Francia. Hilbert enunció, los 23 problemas
de la Matemática sin resolver en aquel entonces, los que él creía los más importantes,
de ahí su frase genial «Debemos saber, y sabremos». Entre esos problemas se encontra-
ba «La Hipótesis de Riemann o El santo grial de la Matemática», que todo matemático
desearía demostrarla o por lo menos ver su demostración, antes de morir.

La Hipótesis de Riemann en sus entrañas se encuentra el secreto de los números pri-

mos, los cual son las esencia primordial de la Matemática. Como ya se dijo, tiene mu-

1
Introducción Histórica 2

chas aplicaciones en la banca y finanza, en la criptografía, en fin en todas las ciencias.

Es por ello, que el Instituto Matemático Clay de la Universidad de Cambridge en Mas-
sachusetts, enunció que premiaría con un millon de dólares a quien lograra demostrar
cualquier de los 7 problemas matemáticos abiertos del momento, como es de esperar
uno de ellos «la Hipótesis de Riemann».
De los griegos hasta...

1.1. Grecia.

En Matemática, nos referimos primos a

Definición 1.1 Un entero n > 1 se llama primo y si los únicos divisores positivos de n son 1 y
n. En caso contrario, entonces n se llama compuesto.
Como es de esperar, los primeros en quedar maravillados con los números primos fue-
ron los griegos, en la antigua Grecia. Fueron los que establecieron las bases matemáticas
sobre en que se trabaja desde aquel entonces.

Los pitagóricos con sus afán y su pensamiento filosófico, de que el universo se puede
comprender y estudiar con los números naturales, dándole un carácter místico. Ellos
notaron, que existían algunos números imposibles de reducir. Es tanto su estudio, que
los números primos que cumple con p = 4k + 1, con k ∈ N se llaman los números
primos pitagóricos.

Pero seguramente, había griegos ilusos que creían que podían escribir todos los núme-
ros primos y volverse famoso por tal proeza. Fue en los «Elementos de Euclides»(alrededor
del año 300 a.C) donde se encuentra la demostración ingeniosa sobre, que los números
primos son infinitos, utilizando el método de reducción al absurdo.

El nombre que se nombró a los números primo, «número primo»(πρωτo ςαριθµoς) o

primer número fue dado por el matemático de la Grecia Antigua, Nicómaco, porque
sólo puede determinarse colocando juntas un cierto número de unidades, y la unidad
es el comienzo del número. También de acuerdo con Jámblico, otro matemático de la
Grecia Antigua, porque no hay otro número menor que este, que sea colección de uni-
dades de una base para otros números que son múltiplos de este.

1.2. Fermat, Mersenne, Goldbach y Euler.

Con la desaparición del imperio romano, Europa quedó bajo unas tinieblas durante la
edad media.
Introducción Histórica 3

Durante el renacimiento, surge la importancia de estudiar el arte y las ciencias. Sin em-
bargo, la aritmética se encontró con un segundo plano, pero durante este periodo no
dejaron de surgir nuevas publicaciones sobre la aritmética.

Durante el siglo XVII el gran Pierre de Fermat (francés) destaca entre los demás en
cuanto a la aritmética se refiere, sin ser matemático, es más la Matemática para él era
un entretenimiento.

n
Fermat conjeturó que todos los números de la forma 22 + 1 eran primos, los cuales es-
tán ligados con la construcción de polígonos regulares mediante regla y compás. Pero
Euler y demostró que el número de Fermat 232 + 1 es compuesto y sus factorización es
641 · 6700417. Fermat demostró un teorema de aritmética, conocido como «El pequeño
teorema de Fermat».

Nuestro segundo gran personaje del siglo XVII, fue el monje francés de la Orden de
Mínimos: Marin Mersenne, donde hizo una habitación en el convento para tener en-
cuentros con matemáticos, como Fermat o Pascal, para discutir temas de Matemática.
Mersenne dedico su esfuerzo a investigar los números de la forma 2 p − 1. Es conocido
que si p no es primo entonces 2 p − 1 tampoco es primo. Ya para el 7 de junio de 1742,
Christian Goldbach, secretario de la Academia imperial de Ciencias de San Petersburgo
desde febrero de 1725, escribió una carta a Euler que exponía:

«No creo que sea totalmente inútil plantear aquellas proposiciones que son muy proba-
bles aunque falte una verdadera demostración, pues aun cuando se descubra que son
incorrectas, pueden conducir al descubrimiento de una nueva verdad».

Goldbach le comenta que no había encontrado una demostración para «todo núme-
ro natural mayor o igual que 6 se puede escribir como suma de tres número primos».
Euler le contesta el 20 de junio, que el enunciado era equivalente a que «todo número
natural mayor o igual que 3 es la suma de dos primos», es la conocida conjetura de
Goldbach.

Muchos matemáticos han intentado demostrarla, como matemáticos de la talla de: El

padre de la Teoría de Conjuntos, el alemán George Cantor, otros como Lev Schnirel-
mann, Godfrey H. Hardy, Ivan Vinagodrov y Chen Jingrun, dedicaron sus esfuerzos en
lograr demostrarla, obteniendo avances pero sin la demostración completa.
Introducción Histórica 4

1.3. Euler y la función zeta.

Hasta el siglo XVIII, nadie había podido encontrar algún patrón que siguiera los núme-
ros primos. Parecieran que aparecen en la sucesión de los números naturales sin ningún
patrón aparente.

Pero en 1737, el gran matemático y prolífico suizo Leonhard Euler(suizo) encuentra una
identidad capaz de relacionar los números naturales con los primos, que fue un paso
clave para la Teoría de Números, veremos cómo lo deduce:

Consideremos el número primo p, el cual satisface 0 < < 1, | 1p | < 1. así para x ∈ R,
1
p
1
con x > 1, se cumple que 0 < px < 1, y utilizando la serie geométrica, se tiene

∞
1 1
∑ p nx
=
1 − p1x
n =0

El número primo p es arbitrario, entonces obtenemos

∞ ∞ ∞
! ! ! ! ! !
1 1 1 1 1 1
∑ 2nx ∑ 3nx ∑ 5nx ... = 1 − 1 1 − 31x 1 − 51x
...
n =0 n =0 n =0 2x

Al efectuar el producto de las series del lado izquierdo, tenemos

∞ ∞ ∞
! ! !
1 1 1 1 1 1 1
∑ 2nx ∑ 3nx ∑ 5nx ... = 1 + 2x + 3x + 5x + ... + (2 · 3)x + ...
n =0 n =0 n =0

Los denominadores de los términos de la serie, del lado derecho, son los números natu-
rales. En virtud por el teorema fundamental de la aritmética, se pueden factorizar como
producto de primos siempre que sean mayor que 1.

Tenemos la siguiente serie:

∞
1 1 1 1 1
1+
2 x
+ x + x + ... +
3 5 (2 · 3) x
+ ... = ∑ jx , con 1 < x
j =1

Esta es la conocida función zeta, la cual se denota como ζ ( x ), es decir,

∞
1 1
∑ jx = ∏ 1
j =1 p, primo 1 − p x

El lado derecho de esta igualdad es uno de los llamados producto de Euler. Él utilizo
π2
esto para demostrar la infinitud de los números primos y además que ζ (2) = .
6
Introducción Histórica 5

1.4. Legendre y Gauss.

En realidad no sabemos cuándo un número escogido al azar va a ser primo, y la distri-

bución de números primos en la recta real es errática, pero la función π ( x ), crece con
regularidad y cuanto más grande es el valor x, más crece la regularidad.
Gracias a esto, Adrien Marie Legendre y Carl Friedrich Gauss conjeturaros que:
π ( x ) log x
lı́m =1
x →∞ x
En 1798, el francés Legendre realizó un intento de aproximación de la función π ( x ), la
cual aparece en su obra titulada "Essai sur la théorie des nombres, 1"
x
π (x) =
A log x + B
Para valores de x suficientemente grandes, luego en su segunda obra establece los va-
lores A = 1, B = −1, 08366.

Con edad sorprendente de con tan sólo 15 o 16 años, siendo un estudiante, Gauss estu-
dió la densidad de los números primos entre 1 y 3 000 000, y su distribución en interva-
los de longitud 1 000 y conjeturó la fórmula ya mencionada, luego conocida posterior-
mente como «El Teorema de los Números Primos», demostrada independientemente
por primera vez por Hadamard y de la Vallée Poussin en 1896.

Aunque las gráficas de π ( x ) y logx x son bastante parecidas, no se acerca lo suficiente pa-
ra explicar la regularidad de π ( x ) por lo que es lógico buscar mejores aproximaciones.
Por lo que Gauss encontró un patrón estudiando la tabla de valores de π ( x ).

Él observo que la frecuencia de primos cerca de un número x grande es casi exactamen-

te logx x , y por lo tanto la probabilidad de que un número grande x elegido al azar sea
primo parece ser proporcional a
1 1
≈
log10 x numero de digitos de x
Así pues, concluyo
π (x) = ∑ Prob (n primo ) + Error1
2≤ n ≤ x
Entonces
1
π (x) = ∑ + Error1
2≤n≤ x log n
O equivalente a π ( x ) = Li ( x ) + Error2 . Los errores Error1 y Error2 son muy parecidos,
de hecho  1 
 ∑ − Li ( x ) ≤ 2
 
2≤n≤ x log n
Introducción Histórica 6

Además, Gauss afirmo que las funciones π ( x ) y Li ( x ) están muy próximas, donde la
función Z x
dt
Li ( x ) =
2 log t

Se le denomina logaritmo integral.

1.5. Dirichlet y Chebyshev.

En 1837, el francés Johan Peter Gustav Lejeune Dirichlet generalizó el método de Euler
para demostrar que cualquier polinomio con a y b sin factores comunes, ax + b da infi-
nitos primos, donde x recorre los números naturales.

Pero aun así, no sabemos si existe un polinomio ax2 + bx + c, con a 6= 0 que de infinitos
valores primos, lo que hizo Dirichlet fue demostrar que un polinomio de dos variables,
si da infinitos valores primos.

Además, introdujo la ahora conocida «La función L de Dirichlet», la cual es la función

zeta modificada. Con Dirichlet comenzó la aplicación de los métodos infinitesimales a
la Teoría de Números y la distribución asintótica de los números primos.

La primera vez que aparece la demostración de la distribución asintótica de los nú-

meros, fue en 1850 en el trabajo del matemático ruso Pafnuty Lvóvich Chebyshev, en
dicho trabajo demostró que si se hace aproximación a la función π ( x ) del orden logxx N
con N un entero positivo muy grande previamente fijado, entonces la aproximación se-
ría Li ( x ). Y además se deduce si el límite de la conjetura de los números primos existe
debe ser igual a 1.

En 1852, Chebyshev publicó

π ( x ) log x 6B
B< <
x 5
Con la condición de que x suficientemente grande, donde

log 2 log 3 log 5 log 30

B= + + − .
2 3 5 30

Pero con este método fue incapaz de demostrar la conjetura. Lo que sí demostró fue
la conjetura de Bertrand, que establece que «Dado n ∈ N siempre existe al menos un
número primo entre n y 2n».
Introducción Histórica 7

1.6. Riemann.

En 1859, para entrar en la Academia de las Ciencias de Berlín, el alemán Bernhard Rie-
mann redactó sólo ocho páginas, pero en esas páginas se encontraba el camino para
llegar al Teorema de los Números Primos. La esencia de este documento es que Rie-
mann conecto la función π ( x ) con la función zeta de Euler.
∞
1
ζ (s) = ∑ ns
n =1

Pero el salto de gigante que hizo este señor, es que considera como una función de
variable compleja. La derivada logarítmica de la identidad de Euler en la versión nueva
es
∞
Λ(n) ζ 0 (s)
∑ ns = − ζ (s)
n =1
Donde Λ(n) es la función de Von Mangoldt, introducida por Chebyshev en su memoria
en 1850.

Por otro lado el Teorema de los Números Primos, aún conjetura cuando Riemann escri-
bió su proeza, es equivalente al enunciado

ψ( x ) = ∑ Λ(n) ∼ x
n≤ x

Riemann logro obtener información sobre la función ψ( x ), mediante las propiedades

de la función ζ (s), la cual es la función zeta de Riemann, sólo posee únicamente un po-
lo simple que se encuentra s = 1, y además se puede exponer de forma analítica a todo
el plano complejo. La localización de sus ceros en la franja crítica 0 ≤ Re(s) ≤ 1, está
conectada con la distribución de los números primos. Riemann conjeturo que todos los
ceros están sobre la recta Re(s) = 21 .

Con más precisión Riemann, consideró la posibilidad de describir con precisión el tér-
mino de error, considero no sólo los primos sino las potencias.

1 1 1 1 1 1 1 1
π ( x ) − Li ( x 2 ) − Li ( x 3 ) − Li ( x 5 ) + Li ( x 6 ) − ... = Li ( x )
2 3 5 6
O equivalente π ( x ) ≈ R( x ), con
∞
µ(n) 1
R( x ) = ∑ n
Li ( x n )
n =1

En su artículo de 1859, hizo más que dar una aproximación R( x ) a π ( x ) más precisa
que Li ( x ) de Gauss.
Introducción Histórica 8

consiguió una formula exacta para π ( x ), estudio el error R( x ) − π ( x ) y logró construir

una serie infinita de términos correctores C1 ( x ), C2 ( x ), .. de tal manera que las correc-
ciones
Rk ( x ) = R( x ) + C1 ( x ) + C2 ( x ) + ... + Ck ( x )
Verifican lı́mk→∞ Rk ( x ) = π ( x ), lo grandioso es que los términos Ck ( x ) se correspon-
den con un cerro pk = ak + ibk de la función ζ (s) en la franja crítica, concretamente
Ck ( x ) = − R( x pk ) − R( x p¯k ) y el tamaño de Ek ( x) viene dado por la parte real de ak de
pk , en el sentido que para valores grandes de x, Ck ( x ) ≤ x Re( pk ) .
 

Por lo que si el cero tiene la forma pk = 12 + ibk , el término Ck ( x ) tiene un tamaño raíz
cuadrada, esto implica que las correcciones
t t
Rt ( x ) = R( x ) + ∑ Ck ( x ) = R( x ) − ∑ ( R(x pk ) + R(x p¯k ))
k =1 k =1

Son aproximaciones de R( x ) de orden raíz cuadrada, y a su vez, R( x ). En consecuencia

Li ( x ) es una aproximación de orden raíz cuadrada a π ( x ).

Además de esto, Riemann Contribuyo en el desarrollo de la geometría, construyo nue-

vos modelos no euclídeos (La geometría elíptica) ahora se conoce como la geometría
riemannianas, donde es aplicable en el desarrollo de la Teoría de la Relatividad de Eins-
tein.

En la segunda mitad del siglo XIX se obtuvieron mejores aproximaciones a los límites
de Chebyshev, una de esta la realizo James Joseph Sylvester en el año 1892

π ( x ) log x
0, 956 < < 1, 045
x
Gracias a las conexiones entre la función π ( x ) y la ζ (s), la hipótesis está en el centro del
secreto de los números primos.

√
Helge Von Koch demostró en 1901 que π ( x ) = Li ( x ) + O( x log x ) si, y sólo si la
Hipótesis de Riemann se cumple.

1.7. De conjetura a teorema.

La sorpresa ocurrió antes de llegar el siglo XX, fue llevado a cabo por el francés Jac-
ques Salomon Hadamard y el belga Charles Jean Étienne Gustave Nicolas de la Vallée
Poussin, quienes fueron los que demostraron, de forma independiente, la conjetura de
Gauss, y desde entonces es conocida como «El Teorema de los Números Primos(1896)».
Introducción Histórica 9

Las estrategias utilizadas para la demostración, proviene de los resultados de Riemann.

Hadamard hizo uso de su teoría de funciones integrales aplicada a la función ζ (s), bási-
camente la demostración de Hadarmard y la Vallée Poussin, consistió en probar que la
función zeta de Riemann  no tiene √ cero  de la forma s = 1 + it. Vallée Poussin demostró
x − a log x
que π ( x ) = Li ( x ) + O log x e donde a es una constante.

Es incorrecto considerar que la demostración es una consecuencia necesaria de la Va-

riable Compleja, esta última se desarrolló más rápidamente gracias a la búsqueda de
una prueba del Teorema de los Números Primos.

Para aquel entonces parecía todavía difícil que métodos elementales pudieran reempla-
zar las herramientas analíticas que se había usado para demostrar el teorema.

1.8. La demostración elemental, Erdös versus Selberg.

Varios matemáticos pudieron simplificar la demostración analítica del Teorema de los

Números Primos, vale mencionar a Landau y Wiener, aunque estaba lejos de una de-
mostración elemental. El gran matemático G. G. Hardy se preguntaba: ¿ Si se podría
obtener una demostración elemental del Teorema de los Números Primos?

Tuvo que pasar 50 años de las demostraciones de Hadamard y de la Vallée Poussin, en

el año 1948, el húngaro Paul Erdös y el noruego Atle Selberg, enunciaron por separa-
do haber encontrado una demostración elemental del Teorema de los Números Primos.

Aunque existió un tipo de intercambio de información e ideas, según Erdös, el punto

inicial de la demostración elemental del Teorema de los Números Primos fue la fórmula
fundamental de Selberg, para la que encontró una ingeniosa demostración elemental

∑ log2 x + ∑ log p log q = 2x log x + O(x),

p≤ x pq

Donde p y q recorre sobre los primos. Esto por supuesto una consecuencia inmediata
del Teorema de los Números Primos.

Además, esta identidad de Selberg se deducía fácilmente del Teorema de los Números
Primos. Selberg había encontrado la demostración elemental de la identidad evitando
«El Teorema de los Números Primos», había la esperanza de ir en la otra dirección, Er-
dös fue en esta dirección y lo logro.
Introducción Histórica 10

Según Selberg, La demostración original se basó en el siguiente resultado de Erdös: pa-

ra todo δ > 0, existe un K (δ) > 0 tal que si x es suficientemente grande, entonces hay
K (δ) x
más de log x primos en el intervalo ( x, x + δx ).

La primera impresión que da a leer ambos artículos es que pensaban publicar el resul-
tado conjuntamente, no se sabe porque lo publicaron en distintas revista, al aparecer
tuvo que ver que Selberg consiguiera una demostración que prescindía del paso inter-
medio dado por Erdös.

Por desgracia esto condujo a una amarga disputa entre los dos matemáticos, que logro
distanciarlos para siempre.

Este hecho no empaña sus logros, Selberg es actualmente conocido por su introducción
de la Teoría Espectral en la Teoría de Números, culminando en su descubrimiento de
la fórmula que clasifica todas las funciones aritméticas zeta y además, había recibido
la medalla Fields, por su método de cribación. Por otro lado, Erdös recibió el premio
Cole, su trabajo formo parte de las bases de la Teoría de Grafos e Hipergrafos y mé-
todos probabilístico con aplicaciones en combinatoria y Teoría de Números Elemental.
Ambos recibieron el premio Wolf.
Capítulo 2

Funciones Aritméticas y Producto de

Dirichlet

En este capítulo abordaremos los principales conceptos y resultados sobre funciones

aritméticas y producto de Dirichlet, incluyendo las clásicas sumas de funciones aritmé-
ticas.
Además, se expone sobre el anillo de funciones aritméticas, y como se puede estudiar
estas funciones, ya sea por medios algebraicos, analíticos o topológico.
Como en todas las áreas de la Matemática, aparecen con frecuencia sucesiones de nú-
meros reales o complejos. La Teoría de Números, no se escapa de esto. Le damos un
nombre especial «funciones aritméticas».

Definición 2.1 Una función real(o compleja) definida sobre los números naturales se llama
una función aritmética o una función de Teoría de Números. Es decir, una función
f : N → R(C).

Empezaremos con dos funciones importantes en la Teoría de Números Elemental, que

están estrechamente relacionadas, ellas son la función de Möbius µ(n) y la función
indicatriz de Euler ϕ(n).

Definición 2.2 La función de Möbius se define por: Sea n ∈ N,



 1, si n=1



µ(n) = (−1)k , si n = p1 p2 ...pk (primos distintos)




0, en otro caso


Definición 2.3 La función parte entera inferior.

Para x ∈ R el símbolo b x c designa el mayor entero ≤ x.

11
Funciones Aritméticas y Productos de Dirichlet 12

Teorema 2.1 Sean x, y ∈ R, n ∈ N entonces

(1) Si x = k + y en donde k es un entero y 0 ≤ y < 1, entonces k = b x c.
(2) b x + nc = b x c + n.
−b x c, si x = b x c

(3) b− x c =
−b x c − 1, si x 6= b x c
Demostración.
(1) Ya que 0 ≤ y < 1, es claro que k ≤ x < k + 1. Entonces k es el mayor entero ≤ x, i.e.
k = b x c.

(2) Sea k = b x c, y = x − k, y z = x + n = (k + n) + y. Por (1) bzc = k + n, y entonces

b x + nc = bzc = k + n = b x c + n.

(3) Supongamos x = b x c,ya que b x c es un entero, entonces x y − x lo serán. Es fácil ver

b− x c = − x = −b x c.
Ahora supongamos x 6= b x c. Sea k = b x c y y = x − k, donde 0 < y < 1. Entonces
0 < 1 − y < 1, por (1) tenemos
b− x c = b−k − yc = b(−k − 1) + (1 − y)c = −k − 1 = −b x c − 1.
A veces también se considera la función { x } = x − b x c, esta función se llama parte
fraccionaria de x.
Teorema 2.2 Sea n ∈ N, tenemos
  
1 1, si n = 1
∑ µ(d) = n = 0, si n > 1
d|n

Demostración.
Para n = 1, la fórmula es cierta.
Supongamos que n > 1 y por el teorema fundamental de la aritmética tenemos que
α
n = p1α1 p2α2 ...pk k . En la suma los únicos términos no nulos son d = 1 y los divisores de n
que son productos de primos distintos.
Entonces tenemos que

∑ µ(d) = µ(1) + µ( p1 ) + ... + µ( pk ) + µ( p1 p2 ) + ... + µ( pk−1 pk ) + ... + µ( p1 p2...pk )

d|n

     
k k k
= 1+ (−1) + 2
(−1) + ... + (−1)k = (1 − 1)k = 0. 
1 2 k
Funciones Aritméticas y Productos de Dirichlet 13

La función indicatriz de Euler, proviene de la Teoría Elemental de Números. Primero

recordemos un enunciado de Fermat, que dice, Sea p un primo.
Entonces, para cualquier entero a no divisible por p, se tiene que a p−1 ≡ 1 (mod p).

Leonhard Euler, generalizó esto en el año 1750 a cualquier módulo n no necesariamen-

te primo. Euler tuvo que responder la siguiente pregunta: ¿ Existe un exponente e, que
dependa sólo del módulo n, tal que ae ≡ 1(mod n)?
Observemos que si ae ≡ 1(mod n), entonces ae − nt = 1, por lo que a y n son coprimos.
Esto nos sugiere que debemos considerar el conjunto

{ a : 1 ≤ a ≤ n y ( a, n) = 1}

Al cardinal de este conjunto se le denota ϕ(n).

Es decir ϕ(n), es el número de enteros positivos menores que n que son coprimos con
el; así lo denotaremos con
n
ϕ(n) = ∑ 01
k =1
Donde 0 denota que la suma se halla extendida sobre los k primos con n.
Teorema 2.3 Sea n ∈ N, entonces

∑ ϕ(n) = n
d|n

Como ya habíamos dicho la función de Möbius y la de euler están relacionadas, por la

siguiente formula:
Teorema 2.4 Sea n ∈ N, entonces
n
ϕ(n) = ∑ µ(d) d
d|n

Demostración.
El truco de la prueba es rescribir la suma que define a ϕ(n),
n n  
1
ϕ ( n ) = ∑ 01 = ∑
k =1 k =1
(n, k)

Por el teorema 2.2. Tenemos

n
ϕ(n) = ∑ ∑ µ(d)
k=1 d|(n,k)
Funciones Aritméticas y Productos de Dirichlet 14

Fijando un divisor d de n podemos sumar respecto a todos los valores 1 ≤ k ≤ n que

son múltiplos de d. Si escribimos k = dq entonces 1 ≤ k ≤ n si, y sólo si 1 ≤ q ≤ nd . Por
lo tanto ϕ(n) se puede escribir como
n n
d d
n
∑ ∑ µ(d) = ∑ µ(d) ∑ 1 = ∑ µ(d) d
d | n q =1 d|n q =1 d|n

El siguiente teorema se demuestra usando el teorema anterior, pero se puede probar

usando el hecho que la función de Euler es multiplicativa.
Por ahora sólo lo enunciaremos.
Teorema 2.5 Sea n ∈ N entonces tenemos que
 
1
ϕ(n) = n ∏ 1−
p|n
p

Las funciones como la que aparece en el teorema 2.4, son frecuentes en el estudio de la
Teoría de números y tienen la forma
n
∑ f (d) g d
d|n

Donde f y g son funciones de Teoría de Números.

Definición 2.4 Si f y g son funciones aritméticas definimos su producto de Dirichlet como la
función aritmética h definida por
n
h(n) = ∑ f (d) g
d|n
d

Notación: escribiremos ( f ∗ g)(n) en vez de h(n).

Un ejemplo de estas funciones se presenta en el teorema 2.3.

Ejemplo 2.1 ϕ = µ ∗ N, donde N es la función aritmética que toma un n ∈ N y le asigna la

imagen igual a n, es decir N (n) = n.

La multiplicación de Dirichlet es asociativa y conmutativa. Ahora vamos a introducir

la identidad para esta multiplicación, pero ya lo hemos hecho en el teorema 2.1.
Funciones Aritméticas y Productos de Dirichlet 15

La función elemento identidad, está definida por

  
1 1, si n = 1
I (n) = =
n 0, si n > 1

Tenemos que para toda f se tiene que f ∗ I = I ∗ f = f , como vemos, estamos enca-
minando para formar una estructura muy conocida en el Álgebra, un grupo Abeliano,
que es (S, ∗), donde S es el conjunto de funciones aritméticas. Pero nos hace falta un in-
verso multiplicativo, para esto necesitamos exigirle una propiedad a las funciones que
pertenecerán a este grupo.

Teorema 2.6 Una función aritmética f es invertible i.e. existe una función f −1 tal que f ∗
f −1 = I) si, y sólo si, f (1) 6= 0, en tal caso la inversa es única.
f −1 se obtiene por medio de las fórmulas recursivas
1
f −1 (1 ) =
f (1)

1 n
f −1 ( n ) = −
f (1) ∑ f
d
f −1 (d), n > 1.
d|n
d<n

Demostración.
Probaremos que cada f , la ecuación ( f ∗ f −1 )(n) = I (n) tiene una única solución. Para
n = 1, tenemos

( f ∗ f −1 )(1) = I (1) = 1

Por hipótesis tenemos que f (1) 6= 0 y además de lo anterior se deduce que

f (1 ) f −1 (1 ) = 1

obtenemos lo deseado.

Supongamos que los valores funcionales f −1 (k ) se han determinado de forma única

para todo k < n. Entonces tenemos que resolver

( f ∗ f −1 )(n) = I (n) = 0
Funciones Aritméticas y Productos de Dirichlet 16

El truco de la demostración es, rescribir esto como

n
∑ d f −1 ( d ) = 0
f
d|n

que es lo mismo que

n
f (1) f −1
(n) + ∑ f
d
f −1 ( d ) = 0
d|n
d<n

Siguiendo el supuesto que hemos determinado los valores de f −1 (d) para todo divisor
d < n, entonces existe un valor único determinado para f −1 (n) que es
1 n
f −1
(n) = −
f (1) ∑ f
d
f −1 ( d )
d|n
d<n

Ya que f (1) 6= 0. Esto nos da la existencia y unicidad por inducción. Ahora, suponga-
mos que existe una f −1 tal que f ∗ f −1 = I. Entonces f ∗ f −1 (1) = f (1) f −1 (1) = I (1) =
1, de modo que f (1) 6= 0 

Y además de lo anterior les pedimos a estas funciones que si ( f ∗ g)(1) = f (1) g(1).
Luego si f (1) 6= 0 6= g(1), entonces ( f ∗ g)(1) 6= 0, es decir es invertible. Ahora, ( F, ∗)
es un grupo abeliano.

Se prueba que ( f ∗ g)−1 = f −1 ∗ g−1 , si f (1) 6= 0 6= g(1).

La función unidad u se define como u(n) = 1, ∀n ∈ N. Obtenemos que µ ∗ u = I,

entonces µ = u−1 y u = µ−1 .

Con la anterior función definida y otras propiedades, tenemos el siguiente teorema

Teorema 2.7 La fórmula de inversión de Möbius. La ecuación

f (n) = ∑ g(d)
d|n

si, y sólo si n

g(n) = ∑ f (d)µ
d
d|n

La función de Mangoldt Λ(n). Es una función importante en Teoría de Números, está

estrechamente relaciona con la primera demostración del Teorema de los Números Pri-
mos.
Funciones Aritméticas y Productos de Dirichlet 17


 log p, si n = pk para cierto primo p y k ≥ 1
Λ(n) =
0, en otro caso


Teorema 2.8 Si n ∈ N entonces tenemos

log n = ∑ Λ(d)
d|n

Demostración.
Para n = 1, es cierto. Supongamos que n > 1 y podemos escribir a n como
r
∏ pk k
α
n=
k =1

Aplicando logaritmo tenemos

r
log n = ∑ αk log pk
k =1

Considerando la suma de Λ(d), con d|n. Los únicos términos no nulos son de la forma
α
pk k ,

r αk r αk r
∑ Λ(d) = ∑ ∑ Λ( pm
k ) = ∑ ∑ log pk = ∑ αk log pk = log n.
d|n k =1 m =1 k =1 m =1 k =1

Utilizando la fórmula de inversión de Möbius, obtenemos

n
Λ(n) = ∑ µ(d) log = − ∑ µ(d) log d
d|n
d d|n

Vamos a considerar un subgrupo de (S, ∗), que es el subgrupo de las funciones multi-
plicativas.

Definición 2.5 Una función aritmética f es multiplicativa si f no es idénticamente nula y si

f (mn) = f (m) f (n), (m, n) = 1.

Se llama función completamente multiplicativa si se verifica

f (mn) = f (m) f (n), ∀n, m ∈ N.
Funciones Aritméticas y Productos de Dirichlet 18

j k
1
Ejemplo 2.2 función identidad I (n) = n es completamente multiplicativa.

Ejemplo 2.3 La función de Euler ϕ(n) es multiplicativa, pero no es completamente multiplica-

tiva, ya que ϕ(4) = 2, mientras que ϕ(2) ϕ(2) = 1.
Algunas consecuencias inmediatas son:
1. Si f es multiplicativa, entonces f (1) = 1.
Y ahora, si dada f con f (1) = 1, entonces
α α
2. f es multiplicativa si, y sólo si, f ( p1α1 ...pk k ) = f ( p1α1 )... f ( pk k ).

3. Si f es multiplicativa, entonces f es completamente multiplicativa si, y sólo si,

f ( pα ) = f ( p)α .
La función de Liouville λ(n) es una función completamente multiplicativa, ya que es
aditiva, es importante en la Teoría de Números.

La definimos 
1 , si n = 1
λ(n) =
(−1)α1+...+αk , si n = p1α1 ...pαk k

El siguiente teorema es la suma de λ extendida a los divisores de n.

Teorema 2.9 Para cada n ∈ N tenemos


1, si n es un cuadrado
∑ λ(d) = 0, en otro caso
d|n

Demostración.
Sea g(n) = ∑ λ(d). Entonces g es multiplicativa, luego para determinar g(n) única-
d|n
mente necesitamos calcular g( pα ) para potencias de primos. Tenemos

g( pα ) = ∑ λ(d) = 1 + λ( p) + λ( p2 ) + ... + λ( pα )
d| pα

0, si α es impar
= 1 − 1 + 1 − ... + (−1) = α
1, si α es par

r r
∏ pk k , tenemos g(n) = ∏ g( pk k ). Si un exponente αk es impar, en-
α α
Por lo que, si n =
k =1 k =1
α
tonces g( pk k )
= 0, luego g(n) = 0.
α
Si todos los exponentes αk son pares, entonces g( pk k ) = 1, ∀k y g(n) = 1. Esto prueba
que g(n) = 1 si es n un cuadrado, y g(n) = 0 n otro caso.
Funciones Aritméticas y Productos de Dirichlet 19

2.1. Anillos de funciones aritméticas

Consideramos F un cuerpo arbitrario(en particular cuando F = C) y N el conjunto de

los naturales. De manera análoga a la definición 2.4 se define la función aritmética f
entendiendo como una función de N a F, es decir f (n) ∈ F, ∀n ∈ N.

Si f , g son dos funciones aritméticas, la suma h = f + g esta definida por

h(n) = f (n) + g(n), con n ∈ N

Hay dos productos de interés, el producto «ordinario» definido por

h(n) = f (n) g(n), con n ∈ N

y el otro es el producto de Dirichlet definido por

h(n) = ∑ f (d) g(s), con n ∈ N

ds=n

donde la suma esta extendida sobre la factorización de ds = n o de manera equivalente

considerando que si ds = n entonces d|n y obtenemos la definición 2.3.

Denotaremos al producto ordinario por f • g y el producto de Dirichlet por f ∗ g, como

ya se había escrito.

Sea S el conjunto de las funciones aritméticas definida anteriormente. Es fácil probar

que Ω = (S, +, •) es un anillo conmutativo.
La identidad de Ω esta definida por i (n) = 1, ∀n ∈ N.

El anillo Ω no es un dominio de integridad, sin embargo no tiene elementos nilpotentes

triviales en Ω.

En el otro sistema Dir = (S, +, ∗) es un dominio de integridad, como sabemos la iden-

tidad de Dir es I (n).
La función f tiene una inversa (relativo ∗) si y sólo si f (1) 6= 0, ya dicho esto anterior-
mente.

El conjunto que satisface lo anterior constituye un grupo abeliano y lo habíamos deno-

tado (S, ∗).
Funciones Aritméticas y Productos de Dirichlet 20

Ahora si α ∈ F definimos la función α f por

(α f )(n) = α f (n), ∀n ∈ N
y acaba de ocurrir algo sorprendente el conjunto S es un espacio vectorial sobre F de
dimensión infinita(o una F − álgebra). Además,

α( f • g) = (α f ) • g = f • (αg),

α( f ∗ g) = (α f ) ∗ g = f ∗ (αg).

Algo curioso, es en vez de N consideremos un semigrupo J que no tenga unidades(invertibles)

excepto la identidad, tenga un subconjunto infinito contable de primos, y cual tenga la
propiedad de factorización única.
El resultado es que los sistemas Ω y Dir no son esencialmente distintos.

Ahora, tenemos que adelantarnos unos capítulos para cerrar con broche de oro, con un
hermoso teorema.
Primero:La serie
∞
f (n)
f (s) = ∑
n =1
ns
donde f es una función aritmética, diremos que es una serie de Dirichlet. Omitiremos
todo sobre la convergencia y divergencia, hasta el capítulo que va a tratar de esto.
Segundo: Vamos a definir operaciones entre estas series
∞ ∞
f (n) g(n)
Sean f (s) = ∑ s
y g ( s ) = ∑ dos series y α ∈ F, definimos:
n =1
n n =1
ns

∞ ∞ ∞
f (n) g(n) f (n) + g(n)
∑ n s
+∑
n s
= ∑
ns
n =1 n =1 n =1

∞ ∞ ∞
! !
f (n) g(n) h(n)
∑ ns ∑ ns
= ∑ ns
n =1 n =1 n =1

Donde n
h(n) = ∑ f (d) g
d
d|n

, es claro que h = f ∗ g, que es la convolución de Dirichlet.

Funciones Aritméticas y Productos de Dirichlet 21

∞ ∞
f (n) α f (n)
α ∑ n s
= ∑
ns
n =1 n =1

Con lo anterior se puede verificar fácilmente que el conjunto de las series de Dirichlet
con las operaciones anteriores que acabos de definir conforma una F − álgebra y lo
denotaremos por DIR. Y para terminar el siguiente teorema.

Teorema 2.10 El álgebra de las funciones aritméticas y el álgebra de las series de Dirichlet son
isomorfas, es decir Dir ' DIR.
Demostración.
Considerando la siguiente función:

F : Dir −→ DIR
∞
f (n)
f 7−→ f (s) = ∑ ns
n =1

Es claro, que los coeficientes f (n) de una de estas series define una función aritmética
f ∈ Dir, y, recíprocamente, una función aritmética f define una serie de Dirichlet. Ade-
más, tenemos que F es inyectiva(¿Por qué? por la unicidad de las series, se verá luego
en uno de los capítulos), teniéndose así que F es una biyección.

Es claro que: F ( f + g) = F ( f ) + F ( g) y F (α f ) = αF ( f ). Por lo tanto para demostrar

que F es un isomorfismo de álgebras basta ver que respeta el producto. En efecto, esto
resulta de
∞
( f ∗ g)(n)
F ( f ∗ g) = ∑ ns
= F ( f ) F ( g)
n =1
esto último por la definición del producto de las series aritméticas, que habíamos en-
contrado una relación con la convolución de Dirichlet.
Luego F es un isomorfismo de álgebras.

En fin, para el estudio de Dir, podemos definir una norma k.k de una función f que
pertenece a Dir. De esto permite conseguir de la estructura topológica resultados y re-
presentarlos en términos algebraico y, recíprocamente, expresar situaciones algebraicas
en términos topológicos.
Capítulo 3

Fórmulas Asintóticas y Teoremas

Elementales

El objetivo de este capítulo, es estudiar y presentar algunas formulas asintóticas, los

cuales se obtiene gracias a la fórmula de sumación de Euler. Se presenta las funciones de
Chebyshev, las cuales son importantes en la demostración del Teorema de los Números
Primos.

3.1. La notación «O» mayúscula. Igualdad asintótica de

funciones.

Definición 3.1 Sea g, f : [ a, ∞) → R, donde g( x ) > 0, ∀ x ≥ a, escribiremos

f ( x ) = O ( g( x ))
f (x)
Para indicar que el cociente g( x )
se halla acotado para x ≥ a; esto significa, ∃ M > 0 tal que

| f ( x )| ≤ Mg( x ), ∀ x ≥ a.
Lema 3.1 Sea E ⊂ R, sean f 1 , g1 , f 2 , g2 : E → R funciones y k ∈ R. Entonces los siguientes
enunciados son ciertos
(1) Si f 1 = O( g1 ) y g1 = O( g2 ), entonces f 1 = O( g2 )
(2) Si f 1 = O( g1 ) y f 2 = O( g2 ), entonces f 1 f 2 = O( g1 g2 )
(3) f 2O( g1 ) = O( f 2 g1 )
(4) Si f 1 = O( g1 ) y f 2 = O( g2 ), entonces f 1 + f 2 = O(| g1 | + | g2 |)
(5) Si k 6= 0, entonces O( g1 ) = O(kg1 )
(6) Si f 1 = O( g1 ), entonces k f 1 = O( g1 )

22
Fórmulas Asintóticas y Teoremas Elementales 23

(7) Sean f 1 , g1 son continuas en E =R [ a, ∞) excepto Ren un conjunto de medida cero, si

x x
f 1 (t) = O( g1 (t)), t ≥ a, entonces a f 1 (t)dt = O( a g1 (t)dt, ∀ x ≥ a.
En lo que sigue la notación , significa:
Sean f , g : E ⊂ R → R
f  g ⇔ f ∈ O( g)
Definición 3.2 Diremos que f es asintótica a g cuando x → ∞, y lo denotamos

f ( x ) ∼ g( x ), x → ∞.
Si
f (x)
lı́m =1
x →∞ g( x )

3.2. Fórmula de sumación de Euler.

Este es un resultado de las integrales de Riemann-Stieltjes, que relaciona la integral de

una función en un intervalo [y, x ] con la suma de los valores de la función en los puntos
enteros de [y, x ]. Por cierto estas fórmulas fueron descubiertas por Leonhard Euler y
Colin Maclaurin en 1735.
Teorema 3.1 Fórmula de Sumación de Euler. Si f posee derivada continua f 0 en el intervalo
[y, x ], en donde 0 < y < x, entonces
Z x Z x
∑ f (n) =
y
f (t)dt +
y
{t} f 0 (t)dt − f ( x ){ x } + f (y){y}
y<n≤ x

Demostración. Sea m = byc, k = b x c. Para enteros n y n − 1 de [y, x ] tenemos

Z n Z n
0
btc f (t)dt = (n − 1) f 0 (t)dt = (n − 1){ f (n) − f (n − 1)}
n −1 n −1

= {n f (n) − (n − 1) f (n − 1)} − f (n)

Si sumamos desde n = m + 1 hasta n = k obtenemos

Z k k

m
0
btc f (t)dt = ∑ {n f (n) − (n − 1) f (n − 1)} − ∑ f (n)
n = m +1 y<n≤ x

= k f (k) − m f (m) − ∑ f ( n ),
y<n≤ x

Por lo tanto Z k
∑ f (n) = −
m
btc f 0 (t)dt + k f (k) − m f (m)
y<n≤ x
Fórmulas Asintóticas y Teoremas Elementales 24

Z x
=− btc f 0 (t)dt + k f ( x ) − m f (y)(∗)
y
Y además, tenemos que
Z x Z x
g(t)dt = xg( x ) − yg(y) − tg0 (t)dt(∗∗)
y y

Combinando los resultados de (∗) y (∗∗), obtenemos el resultado deseado.

3.3. Fórmulas asintóticas elementales.

El siguiente teorema es consecuencia de la sumación de Euler. En lo que sigue, γ es la

constante de Euler-Mascheroni(constante de Euler) y se define como.
" # Z 
n ∞

1 1 1
γ = lı́m ∑ − log n = − dx
n→∞ k 1 bxc x
k =1

ζ (s) designa la función de Riemann que se define por

∞
1
ζ (s) = ∑ ns
, si s > 1,
n =1

y por la ecuación
!
1 x 1− s
ζ (s) = lı́m
x →∞
∑ s
−
1−s
, si 0 < s < 1.
n≤ x n

Teorema 3.2 Si x ≥ 1 tenemos:

 
1 1
(1) ∑ = log x + γ + O .
n≤ x n x

1 x 1− s
∑ ns 1 − s + ζ (s) + O x−s , si s > 0, s 6= 1.


(2) =
n≤ x

1  
(3) ∑ s = O x 1− s
, si s > 1.
n> x n

x α +1
(4) ∑ nα =
α+1
+ O ( x α ) , si α ≥ 0.
n≤ x

Demostración. Para la parte (1) consideramos la función f (t) = t−1 en la fórmula de la

sumación de Euler y obtenemos
Z x Z x
1 dt {t} {x}
∑n= 1 t
−
1 t2
dt + 1 −
x
n≤ x
Fórmulas Asintóticas y Teoremas Elementales 25

Z x
{t}
 
1
= log x − 2
dt + 1 + O
1 t x
Z ∞ Z ∞
{t} {t}
 
1
= log x + 1 − dt + dt + O
1 t2 x t 2 x
R∞ R∞
La integral impropia 1 {t}t−2 dt existe puesto está dominada por 1 t−2 dt y además,
Z ∞ Z ∞
{t} 1 1
0≤ dt ≤ dt =
x t2 x t 2 x
Luego
Z ∞
{t}
 
1 1
∑ n = log x + 1 − 1 t2 dt + O x .
n≤ x
R∞
Esto demuestra (1) con γ = 1 − 1 {t}t−2 dt, ya que
! Z ∞
1 {t}
lı́m ∑ − log x = 1 − dt.
x →∞
n≤ x n 1 t2

Para (2) consideramos la función f (t) = t−s , s > 0, s 6= 1 y utilizando el mismo

argumento anterior que expusimos,entonces nos proporciona
Z x Z x
1 dt {t} {x}
∑ ns = 1 ts
−s
1 t s +1
dt + 1 −
xs
n≤ x

x 1− s 1 ∞ {t} Z
= − +1−s s + 1
dt + O( x −s ).
1−s 1−s x t
R∞
Esto demuestra a (2) con ζ (s) = 1 − 1−s − s x {t}t−s−1 dt. Si s < 1 y x → ∞ y los tér-
1

minos x1−s y x −s ambos tienden a 0. Ahora, si 0 < s < 1, x −s → 0, también obtenemos

lo deseado. Para (3) utilizamos (2) con s > 1

1 1 x 1− s
∑ s
= ζ ( s ) − ∑ s
=
s−1
+ O ( x − s ) = O ( x 1− s )
n> x n n≤ x n

ya que x −s ≤ x1−s . Para (4) utilizamos otra vez la sumación de Euler con f (t) = tα y
obtenemos Z x Z x
∑ n = t dt + α tα−1 {t}dt + 1 − { x}xα
α
1
α
1
n≤ x

x α +1
 Z x 
1 α −1
= − +O α t dt + O( x α )
α+1 α+1 1

x α +1
= + O ( x α ).
α+1

Fórmulas Asintóticas y Teoremas Elementales 26

3.4. Las funciones de Chebyshev ψ( x ) y ϑ ( x )

La función ψ( x ) está estrechamente relacionada con la función de Mangoldt Λ(n), ya

que la función es introducida por Chebyshev en 1848 y se define como las sumas par-
ciales de la Λ(n).
Definición 3.3 Para x > 0 definimos la función ψ de Chebyshev por la fórmula

ψ( x ) = ∑ Λ(n)
n≤ x

Tenemos, una fórmula asintótica que nos dice(esto proviene del hecho que
ψ( x ) ∼ x, x → ∞, esto es equivalente al Teorema de los Números Primos):
ψ( x )
lı́m =1
x →∞ x

Recordemos la definción de Λ(n), está es igual a 0 excepto si n es una potencia de primo

podemos escribir la definición de ψ( x ) como:
∞ ∞
ψ( x ) = ∑ Λ(n) = ∑ ∑ Λ( pm ) = ∑ ∑ log p.
n≤ x m =1 p m =1 p≤ x1/m
pm ≤ x

La suma con respecto con respecto a m es finita. La suma extendida a p es vacía si

x1/m < 2, es decir,
1
log x < log 2 ⇒ m > log2 x
m
Por lo que tenemos
ψ( x ) = ∑ ∑ log p.
m≤log2 x p≤ x1/m

Introduciremos otra función de Chebyshev,

Definición 3.4 Si x > 0 definimos la función ϑ de Chebyshev por la ecuación

ϑ( x) = ∑ log p
p≤ x

Donde p recorre todos los números primos ≤ x.

Por lo que la función ψ( x ) se puede escribir como:

ψ( x ) = ∑ ϑ ( x1/m )
m≤log2 x

Teorema 3.3 Para x > 0 tenemos

ψ( x ) ϑ( x ) log2 x
0≤ − ≤ √
x x 2 x log 2
Fórmulas Asintóticas y Teoremas Elementales 27

Es claro que el teorema implica que

 
ψ( x ) ϑ( x )
lı́m − = 0.
x →∞ x x
Demostración. Tenemos lo siguiente,

0 ≤ ψ( x ) − ϑ( x ) = ∑ ϑ ( x1/m )
2≤m≤log2 x

De la definición de ϑ ( x ) obtenemos la siguiente desigualdad

ϑ( x) ≤ ∑ log x ≤ x log x
p≤ x

Luego
√ √
0 ≤ ψ( x ) − ϑ( x ) ≤ ∑ ( x1/m ) log( x1/m ) ≤ (log2 x ) x log x
2≤m≤log2 x
√
x (log2 x )
=
2 log 2
Dividimos entre x y obtenemos el resultado. 

Las funciones ϑ ( x ) y π ( x ) están relacionadas, ambas son funciones escalonadas con

salto en los números primos; π ( x ) tiene salto 1 en cada primo p, mientras que ϑ ( x ) en
los log p en p. Obtenemos un resultado para las sumas que contiene funciones escalo-
nadas se pueden expresar como integrales, este resultado se conoce como «Identidad
de Abel».
Teorema 3.4 Identidad de Abel. Para toda función aritmética a(n), sea

A( x ) = ∑ a ( n ),
n≤ x

En donde A( x ) = 0 si x < 1. Suponemos que f posee derivada continua en el intervalo [y, x ],

en donde 0 < y < x. Entonces tenemos
Z x
∑ a(n) f (n) = A( x ) f ( x ) − A(y) f (y) −
y
A(t) f 0 (t)dt.
y<n≤ x

Demostración. Sea k = b x c y m = byc, por lo que A( x ) = A(k ) y A(y) = A(m).

Entonces
k
∑ a(n) f (n) = ∑ a(n) f (n)
y<n≤ x n = m +1
k
= ∑ { A(n) − A(n − 1)} f (n)
n = m +1
Fórmulas Asintóticas y Teoremas Elementales 28

k k −1
= ∑ A(n) f (n) − ∑ A ( n ) f ( n + 1)
n = m +1 n=m

k −1
= ∑ A(n){ f (n) − f (n + 1)} + A(k ) f (k) − A(m) f (m + 1)
n = m +1
k −1 Z n +1
=− ∑ A(n)
n
f 0 (t)dt + A(k ) f (k ) − A(m) f (m + 1)
n = m +1
k −1 Z n +1
=− ∑ A(t) f 0 (t)dt + A(k) f (k) − A(m) f (m + 1)
n = m +1 n
Z k Z x Z m +1
0 0
=− A(t) f (t)dt + A( x ) f ( x ) − A(t) f (t)dt − A(y) f (y) − A(t) f 0 (t)dt
m +1 k y
Z x
= A( x ) f ( x ) − A(y) f (y) − A(t) f 0 (t)dt.
y

Es claro que «La identidad de Abel» implica «La sumación de Euler», haciendo a(n) =
1, ∀n ∈ N y además obtenemos que A( x ) = b x c, teniendo en cuenta la integración por
parte para utilizar para calcular la última integral que aparece en la identidad.
Teorema 3.5 Para x ≥ 2 tenemos
Z x
π (t)
ϑ ( x ) = π ( x ) log x − dt
2 t
y
Z x
ϑ( x) ϑ (t)
π (x) = + dt
log x 2 t log2 t

Demostración. P(n) es la función característica de los primos; es decir


1, si n es primo
P(n) =
0, en otro caso

Entonces tenemos:
π (x) = ∑1= ∑ P(n)
p≤ x 1< n ≤ x
y
ϑ( x) = ∑ log p = ∑ P(n) log n
p≤ x 1< n ≤ x

Si tomamos f ( x ) = log x y usamos la Identidad de Abel con y = 1, obtenemos

Z x
π (t)
ϑ( x) = ∑ P(n) log n = π ( x ) log x − π (1) log(1) −
1 t
dt
1< n ≤ x
Fórmulas Asintóticas y Teoremas Elementales 29

Lo que prueba la primera afirmación, ya que π (t) = 0, t < 2. Ahora, sea b(n) =
P(n) log n y escribimos
1
π ( x ) = ∑ b(n)
3/2<n≤ x
log n
Si hacemos f ( x ) = 1/ log x y usamos la Identidad de Abel con y = 3/2 obtenemos

ϑ ( 23 )
Z x
ϑ( x) ϑ (t)
π (x) = − + dt
log x log 32 3
2 t log2 t
Esto prueba la segunda afirmación, ya que ϑ (t) = 0, t < 2.
Y ahora, sólo nos queda presentar las equivalencias del Teorema de los Números Pri-
mos.
Teorema 3.6 Las siguientes afirmaciones son lógicamente equivalentes:
(1)
π ( x ) log x
lı́m =1
x →∞ x
(2)
ϑ( x)
lı́m =1
x →∞ x
(3)
ψ( x )
lı́m =1
x →∞ x

Demostración. Del teorema 3.5. Obtenemos,

Z x
ϑ( x) π ( x ) log x 1 π (t)
= − dt
x x x 2 t
y
Z x
π ( x ) log x ϑ ( x ) log x ϑ( x)
= + dt
x x x 2 t log2 t
Para probar que (1) ⇒ (2) debemos demostrar que
1 x π (t)
Z
lı́m dt = 0
x →∞ x 2 t
 
π (t)
Pero de (1) tenemos que t = O log1 t , 2 ≤ t,
Z x  Z x 
1 π (t) 1 1
dt = O dt
x 2 t x 2 log t
Ahora,
Z x Z √x Z x √ √ √ √
1 1 1 x−2 x− x x x− x
dt = dt + √ dt ≤ + √ ≤ + √
2 log t 2 log t x log t log 2 log x log 2 log x
Fórmulas Asintóticas y Teoremas Elementales 30

Luego tenemos que Z x

1 1
dt → 0, x → ∞
x 2 log t
Entonces es claro que (1) ⇒ (2)
Para probar que (2) ⇒ (1) debemos demostrar que
Z x
log x ϑ (t)
lı́m dt = 0
x →∞ x 2 t log2 t

Pero de (2) tenemos que ϑ (t) = O(t)

Z x Z x
!
log x ϑ (t) log x 1
dt = O dt
x 2 t log2 t x 2 log2 t

Ahora bien
Z x Z √x Z x √ √
1 1 1 x x x−
dt = dt + √ dt ≤ + 2√
2 log2 t 2 log2 t x
2
log t 2
log 2 log x

Luego tenemos que

Z x
log x 1
dt → 0, x → ∞
x 2 log2 t
Esto prueba que (1) ⇔ (2) y gracias al teorema 3.3. tenemos que (2) ⇔ (3), es decir
hemos demostrado que las tres afirmaciones son lógicamente equivalentes.
Capítulo 4

Series de Dirichlet y Productos de Euler

En este capítulo se presentan y se demuestra algunos resultados de las propiedades

generales de las series de Dirichlet y también se va abordar otras propiedades de la
función zeta de Riemann.
El propósito principal es de obtener la prolongación analítica de ζ (s) al otro lado de la
recta σ = 1.

4.1. Series de Dirichlet

Las series de la forma

∞
f (n)
∑ ns
n =1

en donde f (n) es una función aritmética. Esta serie recibe el nombre de series de Diri-
chlet de coeficientes f (n), estas series representa una de las herramientas más útiles de
la Teoría Analítica de Números.
Notación: Seguiremos la notación clásica de Riemann, sea s ∈ C y escribimos

s = σ + it,

con σ, t ∈ R. Recordando un poco el curso introductorio de Variable Compleja, tenemos

lo siguiente ns = es log n = e(σ+it) log n = nσ eit log n . Por lo que |ns | = nσ , es claro.
El conjunto {s ∈ C : σ > a, a ∈ R} se llama semiplano. En este capítulo enunciaremos
sin demostración, que para cada serie de Dirichlet, existe un semiplano de convergen-
cia.
Si σ ≥ a ⇒ |ns | = nσ ≥ n a , por lo tanto tenemos que
 
 f (n)  | f (n)|
 ns  ≤ n a .
 

31
Series de Dirichlet y Productos de Euler 32

Si la serie de Dirichlet ∑ f (n)n−s converge absolutamente para s = a + it, entonces por

el criterio de comparación, también converge absolutamente ∀s ∈ C, con σ ≥ a.
Teorema 4.1 Supongamos que la serie ∑ | f (n)n−s | ni converge para todo s ni diverge pa-
ra todo s. Entonces existe σa ∈ R, llamado abscisa de convergencia absoluta, tal que la serie
∑ f (n)n−s converge absolutamente si σ > σa pero, en cambio, no converge absolutamente, si
σ < σa .
Demostración. Sea D = {σ ∈ R : ∑ | f (n)n−s |diverge}, este conjunto es 6= ∅ puesto
que esta serie no converge para todo s, y está acotado superiormente ya que la serie
no diverge para todo s. Por lo tanto σa = sup D, si σ < σa ⇒ σ ∈ D de otro modo si
σa < σ ⇒ σ 6∈ D. 

Ejemplo 4.1 La función zeta de Riemann es una serie de Dirichlet, ∑∞ n =1 n

−s converge absolu-

tamente para σ > 1. Cuando s = 1 esta serie diverge, por lo tanto σa = 1.

Supongamos que ∑ f (n)n−s converge absolutamente para σ > σa y definamos la si-
guiente función
∞
f (n)
F (s) = ∑ , con σ > σa (4.1)
n =1
ns
Lema 4.1 Si N ≥ 1 y σa < c ≤ σ entonces
 ∞ f (n)  ∞
 
| f (n)|
∑ s  ≤ N −(σ−c) ∑
 
N n  N
nc

Teorema 4.2 Si F (s) está definida por (4.1), entonces

lı́m F (σ + it) = f (1)

σ→∞

Uniformemente para t ∈ R.
Ejemplo 4.2 ζ (σ + it) → 1,cuando σ → ∞.
Teorema 4.3 Dadas dos series de Dirichlet
∞
f (n)
F (s) = ∑ ns
n =1

y
∞
g(n)
G (s) = ∑ ns
n =1

Ambas absolutamente convergentes para σ > σa . Si F (s) = G (s) para cada s de una sucesión
infinita {sk }k∈N tal que σk → ∞ cuando k → ∞, entonces f (n) = g(n) para cada n.
Demostración. Sea h(n) = f (n) − g(n) y sea H (s) = F (s) − G (s), entonces H (sk ) = 0.
Para probar que h(n) = 0 para todo n, supongamos que h(n) 6= 0 para un cierto n y
Series de Dirichlet y Productos de Euler 33

obtenemos una contradicción. Sea N el menor entero tal que h(n) 6= 0. Entonces
∞ ∞
h(n) h( N ) h(n)
H (s) = ∑ ns
=
Ns
+ ∑ ns
n= N n = N +1

Luego
∞
h(n)
h( N ) = N s H (s) − N s ∑ ns
n = N +1

Si hacemos s = sk tenemos H (sk ) = 0 luego

∞
h(n)
h ( N ) = − N sk ∑ n sk
.
n = N +1

Elegimos k tal que σk > c > σ. Entonces por el Lema 4.1 implica
∞ σk
|h(n)|

N
|h( N )| ≤ N ( N + 1)
σk −(σk −c)
∑ nc = N + 1 A
n = N +1

σk
Donde A no depende de k. Si hacemos que k → ∞ ⇒ N
N +1 → 0, luego h( N ) = 0,
que es una contradicción. 

EL teorema tiene una consecuencia importante, de la existencia de un semiplano donde

la serie de Dirichlet no puede anularse.
Teorema 4.4 Sea F (s) = ∑ f (n)n−s y supongamos que F (s) 6= 0 para cierto s con σ < σa .
Entonces existe un semiplano σ > c ≥ σa en el que F (s) nunca es cero.

4.2. El producto de Euler

El producto de Euler, surge del caso especial de la función zeta de Riemann, cuya re-
presentación en forma de producto, fue demostrada por Leonhard Euler, en 1737.
Teorema 4.5 Sea f una función aritmética multiplicativa tal que la serie ∑ f (n) es absoluta-
mente convergente. Entonces la suma de la serie se puede expresar como un producto infinito
convergente
∞
∑ f (n) = ∏{1 + f ( p) + f ( p2 ) + ...}
n =1 p

Extendido al conjunto de todos los números primos. Si f es completamente multiplicativa, el

producto se simplifica y se tiene la siguiente expresión
∞
1
∑ f (n) = ∏ 1 − f ( p)
n =1 p
Series de Dirichlet y Productos de Euler 34

Teorema 4.6 Suponemos que ∑ f (n)n−s converge absolutamente para σ > σa .

Si f es multiplicativa tenemos
∞
f (n) f ( p) f ( p2 )
∑ ns
= ∏ {1 + ps
+
p2s
+ ...}, si σ > σa .
n =1 p

Y si f es completamente multiplicativa tenemos

∞
f (n) 1
∑ ns
= ∏ 1 − f ( p) p−s , si σ > σa .
n =1 p

Ejemplo 4.3 Tomando f (n) = 1 y f (n) = µ(n), obtenemos los siguientes productos de Euler:
∞
1 1
ζ (s) = ∑ ns
= ∏ 1 − p−s
n =1 p

∞
1 µ(n)
= ∑ = ∏ (1 − p − s )
ζ (s) n =1
ns p

Si σ > 1.

4.3. Propiedades analíticas de las series de Dirichlet.

Lema 4.2 Sea s0 = σ0 + it0 y supongamos que la serie de Dirichlet ∑ f (n)n−s0 tiene sumas
parciales acotadas, o sea  
 
 ∑ f (n)n−s0  ≤ M, ∀ x ≥ 1.
 
n≤ x 
Entonces, para cada s con con σ > σ0 , tenemos
 
| s − s0 |
   
 ∑ f (n)n  ≤ 2Ma
−s  σ0 −σ
1+

 a<n≤b  σ − σ0

El Lema 4.2 se utiliza para demostrar la existencia del semiplano de convergencia.

Teorema 4.7 si la serie ∑ f (n)n−s converge para s = σ0 + it0 , entonces también converge
para todo s con σ > σ0 . Si diverge para s = σ0 + it0 , diverge también para todo s con σ < σ0 .
Teorema 4.8 Si la serie ∑ f (n)n−s no converge para todo s o no diverge para todo s, enton-
ces existe σc ∈ R, llamado abscisa de convergencia, tal que la serie converge para todo s del
semiplano σ > σc y diverge para todo s del semiplano σ < σc .
Si tenemos que σc < σa existe un intervalo infinito σc < σ < σa en la que la serie
converge condicionalmente, dicho intervalo su amplitud no sobrepasa a 1.
Series de Dirichlet y Productos de Euler 35

Teorema 4.9 Para toda serie de Dirichlet con σc finito tenemos 0 ≤ σa − σc ≤ 1.

Lema 4.3 Sea { f n } una sucesión de funciones analíticas en un conjunto abierto S del plano
complejo, y supongamos que { f n } converge uniformemente en cada subconjunto compacto de S
hacia una función límite f . Entonces f es una función analítica en S y la sucesión de derivadas
{ f n0 } converge uniformemente en cada subconjunto compacto de S hacia la derivada f 0 .
Queremos estudiar la analiticidad, pero es necesario algunos resultados con referencia
a su convergencia uniforme.
Teorema 4.10 Una serie de Dirichlet ∑ f (n)n−s converge uniformemente en cada subconjunto
compacto perteneciente al interior del semiplano de convergencia σ > σc .
Este teorema junto con el Lema 4.3 (Teorema de convergencia de Weierstrass de variable
compleja), implica que una serie de Dirichlet es analítica en su dominio, y se puede
calcular mediante la derivación término a término.
Teorema 4.11 La función suma F (s) = ∑ f (n)n−s de una serie de Dirichlet es analítica en su
semiplano de convergencia σ > σc , y su derivada F 0 (s) se halla representada en dicho semiplano
por la serie de Dirichlet
∞
f (n) log n
F 0 (s) = − ∑ ,
n =1
ns

Se obtiene derivando a término a término. Además, tiene la misma abscisa de conver-

gencia y la misma abscisa de convergencia absoluta que la serie F (s). Enunciaremos el
Lema de Landau,
Lema 4.4 (Landau) Si f (n) ≥ 0, ∀n ∈ N y si la serie de Dirichlet F (s) = ∑ f (n)n−s tiene
abscisa de convergencia σc finita, entonces F (s) no puede ser extendida analíticamente alrededor
de s = σc . En particular cualquier continuación meromorfa de F (s) en s = σc debe tener un
polo en s = σc .
Ejemplo 4.4 La función zeta de Riemann ζ (s) se extiende primero a σ > 0, y luego a todo C
por medio de una ecuación funcional, a una función meromorfa. Ésta tiene exactamente un polo
de orden 1 precisamente en s = σc = 1, con residuo 1.
∞
log n
Ejemplo 4.5 Derivada de ζ (s), para σ > 1 obtenemos ζ 0 (s) = − ∑ n s
.
n =1
∞
logk n
Podemos obtener la k-ésima derivada de ζ (s) por: ζ k (s) = (−1)k ∑ ns , para σ > σc .
n =1

Introduciremos una función clave para estudiar la función zeta de Riemann, es la fun-
ción gamma Γ, de ella se obtendrá la representación integral de la función zeta de Rie-
mann y además prolongar la función, de tal forma que la función ζ será analítica para
s salvo en un polo simple s = 1 con residuo 1.
Definición 4.1 La función Gamma se define:
Z ∞
Γ(s) = x s−1 e− x dx, con σ > 0.
0
Series de Dirichlet y Productos de Euler 36

Se puede prolongar esta función en el otro lado de la recta σ = 0, y además es analítica en todo
el plano complejo excepto en los polos simples s = 0, −1, −2, −3, ...
Enunciaremos algunos resultados que se obtiene al estudiar la función zeta de Hurwitz.
Definición 4.2 La función zeta de Hurwitz ζ (s, a) con σ > 1 se define por
∞
1
ζ (s, a) = ∑ s
n =0 ( n + a )

Cuando a = 1 obtenemos la función zeta de Riemann, es decir ζ (s, 1) = ζ (s).

Corolario 4.1 La serie que define ζ (s) converge absolutamente para σ > 1. La convergencia
es uniforme en cada semiplano σ ≥ 1 + δ, con δ > 0, luego ζ (s) es función analítica de s en el
semiplano σ > 1.
Demostración. Se sigue de las siguientes desigualdades
∞   ∞ ∞
1  1 1
∑  n s  ∑ n σ ∑ n 1+ δ 
 = ≤
n =1 n =1 n =1

Corolario 4.2 Para σ > 1 tenemos la representación integral para la función zeta de
Riemann Z ∞ s −1 − x
x e
Γ(s)ζ (s) = dx
0 1 − e− x
Para extender la función zeta de Riemann al otro lado de la recta σ = 1, tendríamos
que deducir otra representación, en términos de una integral de contorno. Donde el
contorno C = C1 + C2 + C3 , donde C2 es una circunferencia de radio c < 2π, orientada
positivamente, con centro en el origen y mientras que C1 y C3 son los lados superior e
inferior de un corte del plano complejo a lo largo del eje real negativo.

Figura 4.1: Contorno

Corolario 4.3 La función definida por la integral de contorno

1 z s −1 e z
Z
I (s) = dz
2πi C 1 − ez
Es una función entera de s. Además,
ζ (s) = Γ(1 − s) I (s), si σ > 1.
Series de Dirichlet y Productos de Euler 37

Con esta última expresión podemos hacer la prolongación de la función zeta de Rie-
mann, de la siguiente manera.
Definición 4.3 Si σ ≤ 1 definimos ζ (s) por medio de la ecuación

ζ ( s ) = Γ (1 − s ) I ( s )

Teorema 4.12 La función zeta de Riemann ζ (s) es analítica para todo s salvo en un polo simple
en s = 1 con residuo 1.
Demostración. Puesto que I (s) es una función entera las únicas singularidades posibles
de la función zeta de Riemann, vendrán heredada de la función Gamma, los polos de
Γ(1 − s), los polos de ellas son s = 1, 2, 3, 4, ... Pero por el Corolario 4.1 prueba que ζ (s)
es analítica en s = 2, 3, ..., luego el único posible polo es en s = 1.
Veremos que s = 1 es un polo simple. Si s es un entero, el integrando de la integral de
contorno de I (s) se simplifica, ya que, C1 = −C3 , sólo nos queda

z n −1 e z
  n−1 z 
1 z e
Z
I (n) = z
dz = Res z = 0,
2πi C2 1−e 1 − ez

En particular cuando s = 1 tenemos

 z 
zez

e
I (1) = Res z = 0, = lı́m = −1
1 − ez z →0 1 − e z

Para calcular el residuo de la función ζ (s) en s = 1 calculamos el límite

lı́m(s − 1)ζ (s) = − lı́m(1 − s)Γ(1 − s) I (s)

s →1 s →1

= − I (1) lı́m Γ(2 − s) = Γ(1) = 1.

s →1

Donde usamos la propiedad de la función Gamma Γ(s + 1) = sΓ(s).

Capítulo 5

Demostración Analítica del Teorema de

los Números Primos

El objetivo de este capítulo, es demostrar el Teorema de los Números Primos, haciendo

uso de herramientas analíticas que están basadas en las propiedades de la función zeta
de Riemann. Debido al teorema 3.6 que el Teorema de los Números primos es equiva-
lente a la afirmación
ψ( x ) ∼ x, cuando x → ∞
en donde ψ( x ) es la función de Chebyshev, ψ( x ) = ∑n≤ x Λ(n).

5.1. Lemas y teoremas auxiliares

Definición 5.1 Para toda función aritmética a(n), sea

A : [0, ∞) → C
∑n≤ x a(n), si x ≥ 1

x → A( x ) =
0, si x < 1
Lema 5.1 Sea a(n) una función aritmética y A( x ), entonces
Z x
∑ ( x − n) a(n) = 1
A(t)dt
n≤ x

Demostración. Utilizaremos la identidad de Abel

Z x
∑ a(n) f (n) = A( x ) f ( x ) − A(y) f (y) −
y
A(t) f 0 (t)dt
y<n≤ x

Tomando f (t) = t es claro que tiene derivada continua en [1, x ].

Z x
∑ a(n) f (n) = ∑ a ( n ) n = A ( x ) x − A (1) −
1
A(t)dt
1< n ≤ x 1< n ≤ x

38
Demostración Analítica del Teorema de los Números Primos 39

Por lo que Z x
∑ a(n)n = A( x ) x − 1
A(t)dt,
n≤ x
Z x
∑ a(n) x − ∑ a(n)n =
1
A(t)dt
n≤ x n≤ x
Z x
∑ ( x − n) a(n) = 1
A(t)dt 
n≤ x
Z x
Lema 5.2 Sea A( x ) y A1 ( x ) = A(t)dt. Además, suponemos que
1
a(n) ≥ 0, ∀n. Si tenemos la fórmula asintótica A1 ( x ) ∼ Lx c , x → ∞ para un c > 0 y L > 0,
entonces también tenemos A( x ) ∼ cLx c−1 , x → ∞.
Demostración. Como a(n) ≥ 0, entonces la función A( x ) es creciente y como sabemos
βx ≥ x, con β ≥ 1, pero tomando la desigualdad estricta, consideramos la siguiente
diferencia A1 ( βx ) − A1 ( x ). Tenemos
Z βx
A1 ( βx ) − A1 ( x ) = A(t)dt
x
Z βx
A1 ( βx ) − A1 ( x ) = A(t)dt ≥ A( x )( βx − x ) = x ( β − 1) A( x )
x
Entonces
1
xA( x ) ≤ { A1 ( βx ) − A1 ( x )}
β−1
Dividimos entre x c , ambos lado de la desigualdad

A( x ) 1 A1 ( βx ) βc A (x)
c − 1
≤ { c
− 1c }
x β−1 ( βx ) x
tomando β fijo, y x → ∞. Entonces

A( x ) 1 c βc − 1
lı́m sup ≤ { Lβ − L } = L
x →∞ x c −1 β−1 β−1

Ahora, haciendo β → 1+ , entonces

A( x )
lı́m sup ≤ cL.
x →∞ x c −1
Tomando 0 < β < 1, consideramos A1 ( x ) − A1 ( βx )
Z x
A1 ( x ) − A1 ( βx ) = A(t)dt ≤ A( x )( x − βx ) = x (1 − β) A( x )
βx

1
xA( x ) ≥ { A1 ( x ) − A1 ( βx )}
1−β
Demostración Analítica del Teorema de los Números Primos 40

fijando β y x → ∞

A( x ) 1 c 1 − βc
lı́m ı́nf ≥ ( L − Lβ ) = L
x →∞ x c −1 1−β 1−β

y Ahora, β → 1− , entonces
A( x )
lı́m ı́nf ≥ Lc
x →∞ x c −1
A( x )
Por lo que, tenemos c − 1
→ cL, x → ∞ o lo mismo que A( x ) ∼ cLx c−1 
x
El lema anterior tiene una analogía, ya conocida, hablamos de la regla de L’Hopital.
Lema 5.3 Si c > 0 y u > 0, entonces para cada entero k ≥ 1 tenemos
Z c+∞i
(
1 u−z 1
k! (1 − u)k , si 0 < u ≤ 1
dz =
2πi c−∞i z(z + 1)...(z + k) 0, si u > 1

Y además, la integral es absolutamente convergente.

Demostración. Retomando la identidad de la función Gamma Γ(z + 1) = zΓ(z).

Γ(z) Γ(z) Γ(z)

= = ... =
z(z + 1)...(z + k)Γ(z) (z + 1)...(z + k)Γ(z + 1) Γ ( z + k + 1)

Por lo que
1 u−z 1 u−z Γ (z )
Z Z
dz = dz
2πi C ( R) z(z + 1)...(z + k ) 2πi C ( R) Γ ( z + k + 1)
donde C ( R) es el contorno dibujado en la figura 5.1 (a)Si 0 < u ≤ 1, (b) Si u > 1.
El radio R del círculo es mayor que 2k + c, es decir, R > 2k + c, entonces los polos
z = 0, −1, ..., −k se hallan en el interior del círculo.
El integrando a lo largo de cada uno de los arcos circulares tiende a 0 cuando R → ∞.
Sea z = x + iy tal que |z| = R, entonces el integrando se halla dominado

| u−z | u− x u−c
= ≤
|z(z + 1)...(z + k)| |z||z + 1|...|z + k| R|z + 1|...|z + k |

, esto último u− x ≤ u−c , se sigue de u− x ≤ u−c se sigue del hecho de que u− x es una
función creciente de x si 0 < u ≤ 1 y decreciente si u > 1. Ahora, si 1 ≤ n ≤ k, tenemos

|z + n| ≥ |z| − n = R − n ≥ R − k ≥ R/2

esto se sigue de 2k < R.

| u−z | u−c u−c

≤ ≤
k
|z(z + 1)...(z + k)| R|z + 1|...|z + k | R R2
Demostración Analítica del Teorema de los Números Primos 41

Figura 5.1: Contorno

entonces por el lema de estimación o conocido como desigualdad M-L

−z −c
Z 
 u  ≤ 2πRu
= O( R−k )

 dz
 z(z + 1)...(z + k )  k
R R2
y está tiende al 0 cuando R → ∞ ya que k ≥ 1.
Si u > 1, el integrando es analítico en el interior de C ( R),
−z
luego C( R) z(z+1u)...(z+k) dz = 0. Si ahora R → ∞ el lema queda establecido para este
R
caso.
Si 0 < u ≤ 1, calculamos la integral a lo largo de C ( R) por el teorema del residuo de
Cauchy. Los polos son n = 0, −1, ..., −k, luego

u−z Γ (z ) k
u−z Γ (z )
 
1
Z
dz = ∑ Res z = −n,
2πi C ( R) Γ ( z + k + 1) n =0 Γ ( z + k + 1)

k k
un un (−1)n
= ∑ Res(z = −n, Γ(z)) = ∑
n =0 Γ ( k + 1 − n ) n=0 ( k − n ) !n!

1 k (1 − u ) k
 
k
k! n∑
n
= (− u ) =
=0 n k!
Si R → ∞ obtenemos el lema.
Tomando
Rx 0 ≤ a(n) = Λ(n) tenemos A( x ) = ∑n≤ x a(n) = ψ( x ), definimos a A1 ( x ) =
1 A ( t ) dt = ψ1 ( x ), aplicando los lemas 5.1 y 5.2 obtenemos

ψ1 ( x ) = ∑ ( x − n)Λ(n)
n≤ x
Demostración Analítica del Teorema de los Números Primos 42

ψ1 ( x )
Demostraremos un teorema que nos da una representación de x2
como una integral
de contorno.
Lema 5.4 Sea{ f n } una
R sucesión de funciones de L( I )(funciones∞integrables de Lebesgue en I)
∞
tal que la serie ∑n=1 I | f n | es convergente. R ∑n=1 f n converge casi en todo I
Entonces la serie
hacia una función f de L( I ) y se tiene I ∑∞ ∞
∑ n =1 I f n .
R
f
n =1 n =
Teorema 5.1 Si c > 1 y x ≥ 1 tenemos
Z c+∞i
x s −1 ζ 0 (s)
 
ψ1 ( x ) 1
2
= − ds
x 2πi c−∞i s ( s + 1) ζ (s)

ψ (x)
Demostración. De lo anterior expuesto tenemos que 1x = ∑n≤x (1 − nx )Λ(n). Apli-
cando el lema 5.3, con k = 1 y u = nx . Si n ≤ x tenemos:
Z c+∞i
n 1 ( x/n)s
1− = ds
x 2πi c−∞i s ( s + 1)

Primero multiplicamos la expresión anterior por Λ(n) y sumamos para n ≤ x y obte-

nemos Z c+∞i
ψ1 ( x ) 1 Λ(n)( x/n)s
2πi n∑
= ds
x ≤ x c−∞i s ( s + 1)
podemos extender la suma, ya que la integral se anula para n > x. Entonces podemos
ψ (x)
expresar 1x , como:

1 ∞
Z c+∞i
ψ1 ( x ) Λ(n)( x/n)s
2πi n∑
= f n (s)ds, donde f n (s) =
x =1 c−∞i s ( s + 1)

Vamos a demostrar que podemos intercambiar la suma y la integral usando el lema

5.4,por lo que
N Z c+∞i Z c+∞i ∞
Λ(n)( x/n)c N
Λ(n) xc Λ(n)
∑ |s||s + 1|
ds = ∑
nc |s||s + 1|
ds ≤ A ∑
nc
n=1 c−∞i n =1 c−∞i n =1

Λ(n)
con A una constante y la serie ∑∞
n =1 nc converge, ya que c > 1. Entonces obtenemos:

1 ∞ ∞
Z c+∞i Z c+∞i
ψ1 ( x ) 1 xs Λ(n)
2πi n∑ ∑
= f n (s)ds = ds
x =1 c−∞i 2πi c−∞i s ( s + 1 ) n =1 n s
Z c+∞i
xs ζ 0 (s)
 
1
= − ds
2πi c−∞i s ( s + 1) ζ (s)
Luego dividimos entre x y obtenemos lo que queríamos demostrar.
Demostración Analítica del Teorema de los Números Primos 43

Teorema 5.2 Si c > 1 y x ≥ 1 tenemos

 2 Z c+∞i
ψ1 ( x ) 1 1 1
− 1− = x s−1 h(s)ds
x2 2 x 2πi c−∞i

donde
ζ 0 (s)
 
1 1
h(s) = − −
s ( s + 1) ζ (s) s−1

Demostración. Utilizamos el lema 5.3, con k = 2 para obtener

2 Z c+∞i
xs

1 1 1
1− = ds, donde c > 0
2 x 2πi c−∞i s(s + 1)(s + 2)

Al sustituir s por s − 1 en la integral, tenemos que hacer c > 1 y este resultado lo

restamos del obtenido en el teorema 5.1, es decir
2 Z c+∞i Z c+∞i
ζ 0 (s)
x s −1 x s −1
  
ψ1 ( x ) 1 1 1 1
− 1− = − ds − ds
x2 2 x 2πi
c−∞i s ( s + 1)
ζ (s) 2πi c−∞i (s − 1)s(s + 1)
Z c+∞i
x s −1
 0 
1 ζ (s) 1
= − − ds
2πi c−∞i s(s + 1) ζ (s) s−1
 0 
1 ζ (s) 1
y tomando h(s) = − − , obtenemos el teorema.
s ( s + 1) ζ (s) s−1
Haciendo s = c + it(parametrización del arco de integración), obtenemos x s−1 = x c−1 xit =
x c−1 eit log x y la ecuación anterior queda como:
Z c+∞i
x c −1
 
ψ1 ( x ) 1 1
− 1− = h(c + it)eit log x dt
x2 2 x 2π c−∞i

Sólo tenemos que probar que

Z c+∞i
x c −1
h(c + it)eit log x dt → 0, cuando x → ∞
2π c−∞i

Además, tenemos que probar que podemos hacer c = 1, en la expresión anterior, por lo
que debemos ver el comportamiento de ζ (s) en las proximidades de la recta σ = 1.
Para esto necesitamos una representación de ζ (s):
Lema 5.5 Para todo entero N ≥ 0 y σ > 0 tenemos
Z ∞
N
1 N 1− s {x}
ζ (s) = ∑ ns s − 1 − s
+
N x s +1
dx
n =0
Demostración Analítica del Teorema de los Números Primos 44

Demostración. Aplicando la fórmula de sumación de Euler con f (t) = t−s y con x, y ∈

N, obtenemos Z y Z x
1 dt {t}
∑ ns = x ts − s y ts+1 dt
y<n≤ x

Haciendo y = N y x → ∞, siempre que σ > 1, obtenemos

∞ Z ∞ Z ∞
1 dt {t}
∑ ns = N ts
−s
N t s +1
dt
n = N +1

Sumando ∑nN=1 n−s en ambos lado de la igualdad, obtenemos:

Z ∞
N
1 N 1− s {t}
ζ (s) = ∑ s + −s dt
n =1
n s−1 N t s +1
R∞
Si σ ≥ δ > 0 la integral se halla dominada por N t−δ−1 dt por lo que es uniformemente
convergente para σ ≥ δ y por lo tanto representa una función analítica en el semiplano
σ > 0.
Derivamos la relación anterior para obtener ζ 0 (s), es decir,
Z ∞ Z ∞
N
log n {x} {x} N 1−s log N N 1− s
ζ 0 (s) = − ∑ ns + s N x s +1
dx −
N x s +1
dx −
s−1
−
( s − 1)2
n =1

Teorema 5.3 Para cada A > 0, existe una constante M(dependiente de A) tal que
|ζ (s)| ≤ M log t y |ζ 0 (s)| ≤ M log2 t, ∀s, con σ ≥ 1/2 que además verifica
A
σ > 1− , t≥e
log t

Demostración.Si σ ≥ 2, tenemos que |ζ (s)| ≤ ζ (2) y |ζ 0 (s)| ≤ |ζ 0 (2)|, las desigualdades

propuesta se verifican. Por lo que podemos suponer σ < 2 y t ≥ e. Entonces tenemos
|z| ≤ σ + t ≤ 2 + t < 2t y |z − 1| ≥ t. Luego |s−1 1| ≤ 1t , acotamos |ζ (s)| utilizando lo
obtenido del lema 5.5
Z ∞
N
1 N 1− σ 1
|ζ (s)| ≤ ∑ nσ +
t
+ 2t
N x σ +1
dx
n =1

Tomando N dependiente de t, de la forma N = btc. Entonces N ≤ t < N + y log n ≤

log t si n ≤ N. Por hipótesis σ > 1 − A(log t)−1 ⇒ A(log t)−1 > 1 − σ, por lo que

n 1− σ
 
1 1 1 1 1
= = e(1−σ) log n < e A log n/ log t ≤ e A = O
n σ n n n n n

Por lo que:
Demostración Analítica del Teorema de los Números Primos 45

!
N N
1 1
(1) ∑ σ = O ∑n = O(log N ) = O(log t)
n =1
n n =1

N
(2) = O (1)
tN σ
Z ∞  Z ∞   
1 1 t
(3) 2t dx = O t dx = O = O (1)
N x σ +1 N x σ +1 σN σ
Por (1), (2) y (3) tenemos que

|ζ (s)| ≤ O(log t) + O(1) + O(1) = O(log t)

De manera análoga, utilizamos lema 5.5, tenemos

Z ∞ Z ∞
N
log n log x dx N 1−σ log N N 1− σ
|ζ (s)| ≤ ∑
0
+ 2t σ +1
dx + + + 2
n =1
nσ N x N x σ +1 t t

Tenemos lo siguiente:
∞ N
log n 1
(4) ∑ s
≤ log N ∑ s  log2 N ≤ log2 t
n =1
n n =1
n
Por lo que tenemos que
N
log n
∑ n s
= O(log2 t)
n =1
Z ∞  
dx 1
(5) =O = O (1)
N x σ +1 Nσ
Z ∞  
log x t log N
(6) 2t =O = O(log t)
N x σ +1 σN σ
(7) Es claro que N 1−σ (log N )t−1 = O(1) y N 1−σ t−2 = O(1)
Por (4), (5), (6) y (7) tenemos que

|ζ 0 (s)| ≤ O(log2 t) + O(log t) + O(1) + O(1) + O(1) = O(log2 t)

∞
1
Lema 5.6 Sea F (s) = ζ (s) = ∑ns
absolutamente convergente para σ > σ0 si F (s) 6= 0,
n =1
∞
Λ (n )n−s
para σ > σ0 ≥ σa , entonces para σ > σ0 , tenemos F (s) = eG(s) , con G (s) = ∑
n =1
log n

Demostración. Como F (s) 6= 0, entonces podemos escribir F (s) = eG(s) , donde G (s) es
una función analítica, para σ > σa . Derivamos la representación obtenida para F (s) y
obtenemos
F 0 ( s ) = e G (s) G 0 ( s ) = F ( s ) G 0 ( s )
Demostración Analítica del Teorema de los Números Primos 46

F 0 (s)
 
0 1
entonces G (s) = = ( F 0 (s))
F (s) F (s)
∞ ∞
log n 1 1 µ(n)
donde F (s) = ζ (s) = − ∑
0 0
s
, y = = ∑
n =1
n F (s) ζ (s) n =1
ns
La multiplicación de series de Dirichlet se define por:
Sea L(s) = ∑∞ −s ∞
n =1 l ( n ) n , M ( s ) = ∑ n =1 m ( n ) n
−s entonces

L(s) M (s) = ∑∞ −s
n=1 h ( n ) n , h ( n ) = ∑d|n l ( d ) m ( n/d ).
 
0 1
Por lo que G (s) = ( F 0 (s)) nos queda:
F (s)
∞ ∞ ∞
! !
µ ( n ) log n h(n)
G 0 (s) = − ∑ s ∑ s
= − ∑
n =1
n n =1
n n =1
ns

Donde
h(n) = ∑ µ(d) log(n/d) = Λ(n)
d|n
∞ ∞
Λ(n) Λ (n )n−s
entonces G 0 (s) = − ∑ ns , luego integramos G ( s ) = ∑ + c0
n =1 n=2 log n

Si hacemos lı́mσ→∞ G (σ + it) = c0 , por lo que 1 = lı́mσ→∞ F (σ + it) = ec0 ⇒ 1 = ec0 es

claro que c0 = 0, esto prueba el resultado buscado.
Teorema 5.4 Si σ > 1 tenemos ζ 3 (σ)|ζ (σ + it)|4 |ζ (σ + 2it)| ≥ 1.
Demostración. Utilizamos la identidad que demostramos en el lema 5.6.
Sea ζ (s) = eG(s) , donde
∞ ∞
λ (n )n−s 1
G (s) = ∑ = ∑∑
n=2 log n p m =1
mpms

Si σ > 1, podemos escribir a

∞ ∞
! !
1 e−imt log p
ζ (s) = exp ∑ ∑ ms
= exp ∑ ∑ mσ
p m=1 mp p m=1 mp

obtenemos
∞
!
cos(mt log p)
|ζ 0 (s)| = exp ∑ ∑
p m =1 mpmσ
Aplicando la fórmula anterior con s = σ, s = σ + it y s = σ + 2it y obtenemos
∞
!
3 + 4 cos(mt log p) + cos(2mt log p)
ζ 3 (σ )|ζ (σ + it)|4 |ζ (σ + 2it)| = exp ∑ ∑
p m =1 mpmσ
Demostración Analítica del Teorema de los Números Primos 47

y como

3 + 4 cos θ + cos 2θ = 3 + 4 cos θ + 2 cos2 θ − 1

= 2(1 + 2 cos θ + cos2 θ ) = 2(1 + cos θ )2 ≥ 0

Por lo que ζ 3 (σ)|ζ (σ + it)|4 |ζ (σ + 2it)| ≥ 1. 

5.2. La no anulación de ζ (s) en la recta s = 1

Teorema 5.5 Tenemos ζ (1 + it) 6= 0 para cada t real.

Demostración. Cuando t = 0, la función zeta tiene un polo en s = 1. Por lo que sólo
debemos considerar t 6= 0, del teorema 5.4 obtenemos
 4
3  ζ ( σ + it )  1
 
{(σ − 1)ζ (σ)}  |ζ (σ + 2it)| ≥ (5.1)
σ−1  σ−1
Esto es válido σ > 1. Ahora hacemos que σ → 1+ , el primer factor tiende a 1, ya que
ζ (s) tiene residuo 1 en el polo s = 1. El tercer factor tiende a |ζ (1 + 2it)|. Si ζ (1 + it) = 0,
el segundo factor podríamos escribirlo
 ζ (σ + it) − ζ (1 + it) 4
 
  → |ζ 0 (1 + it)|4 , cuando σ → 1+
 σ−1 

Entonces, si para algún t 6= 0 y tuviéramos ζ (1 + it) = 0, el primer miembro de la

expresión (5.1) se aproximaría al límite |ζ 0 (1 + it)|4 |ζ (1 + 2it)| cuando σ → 1+ , es decir
que este miembro es < ∞. Pero el segundo miembro tiende a ∞ cuando σ → 1+ y esto
no es posible.
Teorema 5.6 Existe una constante M > 0 tal que
   0 
 < M log7 t, y  ζ (s)  < M log9 t
 1   

 ζ (s)   ζ (s) 

Si σ ≥ 1 y t ≥ e.
 
 1 
Demostración. Para σ ≥ 2 tenemos  , pero µ(n) = (−1)k si n = pα pα ...pα y
ζ (s)  1 2 k

 1 
 ∞
µ(1) = 1, en los demás casos es igual a cero. Por lo que   ≤ ∑ 1 ≤ ζ (2) y para
ζ ( s )  n =1 n 2
 0   ∞  
∞
 = − ∑ Λ(n)  ≤ ∑ Λ(n) , luego las desigualdades se cumplen.
 ζ (s)   

 ζ (s)  
n =1
n s  n =1 n 2
Suponemos, entonces, para 1 ≤ σ ≤ 2 y que t ≥ e. Trayéndonos la desigualdad del
teorema 5.4, tenemos
ζ 3 (σ)|ζ (σ + it)|4 |ζ (σ + 2it)| ≥ 1
Demostración Analítica del Teorema de los Números Primos 48

entonces
1
| ≤ ζ 3/4 (σ)|ζ (σ + 2it)|1/4
|ζ (σ + it)
Ahora, (σ − 1)ζ (σ ) está acotada en 1 ≤ σ ≤ 2, es decir, (σ − 1)ζ (σ ) ≤ M, entonces
ζ (σ ) ≤ σM
−1 , 1 < σ ≤ 2. Por el teorema 5.3 tenemos que | ζ ( σ + 2it )| ≤ M log t, luego
para 1 ≤ σ ≤ 2, tenemos

1 M3/4 K1/4 log1/4 t A log1/4 t

≤ =
|ζ (σ + it)| (σ − 1)3/4 (σ − 1)3/4
donde A es una constante absoluta. Para alguna constante B > 0 tenemos

B(σ − 1)3/4
|ζ (σ + it)| > , si 1 < σ ≤ 2, y t ≥ e. (5.2)
log1/4 t

También se verifica para σ = 1. Tomemos un 1 < α < 2, si 1 < σ ≤ α, t ≥ e podemos

considerar
Z α
|ζ (σ + it) − ζ (α + it)| ≤ |ζ 0 (u + it)|du ≤ (α − σ) M log2 t
σ

≤ (α − 1) M log2 t
Por otro lado tenemos

|ζ (σ + it)| ≥ |ζ (α + it)| − |ζ (σ + it) − ζ (α + it)|

2 B(α − 1)3/4
≥ |ζ (α + it)| − (α − 1) M log t ≥ 1/4
− (α − 1) M log2 t
log t
Esto se verifica para 1 ≤ σ ≤ α y por (5.2) también α ≤ σ ≤ 2, puesto que (σ − 1)3/4 ≥
(α − 1)3/4 .
En resumen, si 1 ≤ σ ≤ 2 y t ≥ e tenemos

B(α − 1)3/4
|ζ (σ + it)| ≥ 1/4
− (α − 1) M log2 t, ∀α, 1 < α < 2.
log t

Hacemos α que dependa de t y lo elegimos de tal forma que el primer termino de la

derecha sea el doble del segundo, es decir

B(α − 1)3/4
1/4
= 2(α − 1) M log2 t
log t
entonces  4
1/4 B 1 B 1
( α − 1) = ⇒ α = 1+
2M log9/4 t 2M log9 t
Demostración Analítica del Teorema de los Números Primos 49

es claro que 1 < α y α < 2 si t ≥ t0 para cierto t0 . Así pues, si t ≥ t0 y 1 ≥ σ < 2

tenemos
" 4 #
B 1 C
|ζ (σ + it)| ≥ (α − 1) M log2 t = 9
M log2 t =
2M log t log7 t
Tal vez se verifica, con una C diferente si e ≤ t ≤ t0 . Por lo que
 
 1  7
 ζ (σ + it)  < M log t
 

donde 0 < M es una constante que podemos escoger tal que verifique la desigualdad
 ζ 0 (σ + it) 

estricta. Para  , tenemos que apoyarnos en el teorema 5.3 para
ζ (σ + it) 
 0 
 ζ (σ + it)  9
 ζ (σ + it)  < M log t
 

con una M > 0, escogida.

Lema 5.7 Si f (s) tiene un polo de orden k en s = α, entonces el cociente f 0 (s)/ f (s) tiene un
polo de primer orden en s = α con residuo −k.
Demostración. Usaremos el recurso: Una función analítica en un disco perforado 0 <
|s − α| < R tiene un polo de orden k en s = α si y sólo si f se puede escribir como
f (s) = g(s)/(s − α)k , donde g es analítica en s = α y g(α) 6= 0.
Entonces, ∀s de un cierto entorno de α, tenemos
g0 (s) g0 (s)
 
0 g(s) g(s) k
f (s) = − k = −
(s − α)k ( s − α ) k +1 (s − α)k g(s) s−α
Por lo tanto
f 0 (s) g0 (s) k
= −
f (s) g(s) s−α
0
como g (s)/g(s) es analítica en s = α, entonces esto demuestra el lema.
Teorema 5.7 La función
ζ 0 (s) 1
F (s) = − −
ζ (s) s−1
es analítica en s = 1.
Demostración. Por el lema 5.7, −ζ 0 (s)/ζ (s) tiene un polo de primer orden en 1 con
residuo 1, así como 1/(s − 1). Luego la diferencia es analítica en s = 1. Es claro ya que,
ζ 0 (s) 1
− = + g(s)
ζ (s) s−1
con g(s) analítica en s = 1, entonces
ζ 0 (s) 1
− − = g ( s ).
ζ (s) s−1

Demostración Analítica del Teorema de los Números Primos 50

Teorema 5.8 Para x ≥ 1 tenemos

1 2
  Z ∞
ψ1 ( x ) 1 1
− 1− = h(1 + it)eit log x dt
x2 2 x 2π −∞
R∞
en donde la integral −∞ |h(1 + it)|dt converge. Por consiguiente, por el lema de Riemann-
x2
Lebesgue, tenemos ψ1 ( x ) ∼ 2 y por lo tanto ψ( x ) ∼ x, cuando x → ∞.
Demostración. En el teorema 5.2 hemos demostrado que, si c > 1 y x ≥ 1, tenemos
 2 Z c+∞i
ψ1 ( x ) 1 1 1
− 1− = x s−1 h(s)ds
x2 2 x 2πi c−∞i

donde
ζ 0 (s)
 
1 1
h(s) = − −
s ( s + 1) ζ (s) s−1
Lo primero es demostrar que podemos trasladar el camino de integración a la recta
σ = 1. Para ello aplicamos el teorema de Cauchy al rectángulo R. La integral de x s−1 h(s)
a lo largo de R es 0 puesto que el integrando es analítico en el interior y sobre R.

Figura 5.2: Contorno

Ahora demostraremos que las integrales a lo largo de los segmentos horizontales tien-
den a 0 cuando T → ∞. Ya que el integrando tiene el mismo valor absoluto en puntos
conjugados, bastará considerar únicamente el segmento superior, t = T. En este seg-
mento tenemos las acotaciones
 
 1  1
 s ( s + 1)  ≤ T 2
 

y  
 1  1 1
 s(s + 1)(s − 1)  ≤ T 3 ≤ T 2
 
Demostración Analítica del Teorema de los Números Primos 51

Además, existe una constante M tal que |ζ 0 (s)/ζ (s)| ≤ M log9 t

si σ ≥ 1 y t ≥ e.Luego, si T ≥ e, tenemos

M log9 T
|h(s)| ≤
T2
O sea que
Z c  Z c 9 9
s − 1 c−1 M log T c−1 log T
 
 x h(s)ds ≤ x dσ = Mx ( c − 1)
 1  1 T2 T2

Por consiguiente las integrales a lo largo de los segmentos horizontales tienden a 0

cuando T → ∞, y por ello tenemos
Z c+∞i Z 1+∞i
s −1
x h(s)ds = x s−1 h(s)ds.
c−∞i 1−∞i

Sobre la recta σ = 1 escribimos s = 1 + it y obtenemos

Z 1+∞i Z ∞
1 1
x s−1 h(s)ds = h(1 + it)eit log x dt
2πi 1−∞i 2π −∞

Ahora observamos que

Z ∞ Z e Z ∞ Z −e
|h(1 + it)|dt = + +
−∞ −e e −∞

En la integral de e a ∞ tenemos

M log9 t
|h(1 + it)| ≤
t2
R∞ R −e
luego e |h(1 + it)|dt converge. De manera análoga, para −∞ |h(1 + it)|dt converge,
R∞
luego −∞ |h(1 + it)|dt converge. Podemos aplicar el teorema de Riemann-Lebesgue
2
para obtener ψ1 ( x ) ∼ x2 . Esto último implica que ψ( x ) ∼ x cuando x → ∞, lo que
finaliza la demostración.
Capítulo 6

Prueba Elemental del Teorema de los

Números Primos

En este capítulo se demuestra y se discute algunos teoremas necesarios para la demos-

tración elemental del teorema de los números primos(TNP). Y además, se expone una
demostración «elemental» del TNP, haciendo uso sólo del Cálculo.

6.1. El plan de la demostración

El punto de partida de las demostraciones elementales mencionadas en este capítulo,

es la fórmula asintótica de Selberg, que establece que
x
ψ( x ) log x + ∑ Λ(n)ψ = 2x log x + O( x ) (6.1)
n≤ x n

De esta fórmula relativamente simple se utiliza para deducir el teorema de los números
primos. Lo primero que debemos hacer es expresar la fórmula (6.1), de una manera más
conveniente que contiene V (ρ) = e−ρ ψ(eρ ) − 1.
La fórmula (6.1) tiene una consecuencia, una desigualdad integral de la forma.
Z ξZ τ
2
ξ |V (ξ )| ≤ 2 |V (η )|dτdη + O(ξ )
0 0

Al estudiar esto vemos que el teorema de los números primos es equivalente demostrar
que V (ρ) → 0, cuando p → ∞.
Si tomamos S = lı́m sup |V (ξ )|, entonces el TNP es equivalente demostrar que S = 0,
ξ →∞
esto se puede demostrar suponiendo que S > 0 y llegar a una contradicción. De la
definición de S tenemos
|V (ξ )| ≤ S + g(ξ ) (6.2)

52
Prueba Elemental del Teorema de los Números Primos 53

, en donde g(ξ ) → 0, cuando ξ → ∞. Si S > 0, de (6.1) y (6.2) obtenemos

|V (ξ )| ≤ S0 + h(ξ ) (6.3)
en donde 0 < S0 < S, h(ξ ) → 0, cuando ξ → ∞. Si en (6.3) hacemos que ξ → ∞
obtenemos S ≤ S0 , y esta es una contradicción.

6.2. Fórmulas asintótica de Selberg

La siguiente prueba es del trabajo de Tatuzawa e Iseki de 1951.

x
Teorema 6.1 Sea F : (0, ∞) → R(C) y G ( x ) = log x ∑ F .
n
x n≤
x
x
Entonces F ( x ) log x + ∑ F Λ(n) = ∑ µ(d) G .
n≤ x n d≤ x
d

Prueba. Podemos escribir F ( x ) log x como,

   
1 x x x x
F ( x ) log x = ∑ F log = ∑ F log ∑ µ(d) (6.4)
n≤ x n n n n≤ x n n d|n

y luego utilizando la siguiente identidad

n
Λ(n) = ∑ µ(d) d
d|n
para x x n
∑F n
Λ(n) = ∑F n ∑ µ(d) log d (6.5)
n≤ x n≤ x d|n
Sumando (6.4) y (6.5), tenemos
x x n x no
F ( x ) log x + ∑ F Λ(n) = ∑ F
n ∑
µ ( d ) log + log
n≤ x n n≤ x d|n
n d
x x
= ∑ F
n d|n ∑ µ(d) log d
n≤ x
x x
= ∑ ∑F µ(d) log
n≤ x d|n n d
Haciendo n = qd obtenemos
x  
x x x
∑ ∑ F n µ(d) log d = ∑ µ(d) log d ∑x F qd
n≤ x d|n d≤ x q≤ d

identificando x como x/d en la función G, por lo que

 
x x x
∑ µ ( d ) log
d ∑x qd
F = ∑ µ ( d ) G
d
.
d≤ x q≤ d
d≤ x
Prueba Elemental del Teorema de los Números Primos 54

Lema 6.1 ∀ x ≥ 1 tenemos

x
∑ ψ
n
= x log x − x + O(log x )
n≤ x

Lema 6.2 ∀ x ≥ 1 tenemos

Λ(n)
∑ n
= log x + O(1)
n≤ x

Teorema 6.2 (Fórmula asintótica de Selberg) Para x > 0 tenemos

x
ψ( x ) log x + ∑ Λ(n)ψ = 2x log x + O( x )
n≤ x n

Prueba. Aplicaremos el teorema 6.1 a la función F1 ( x ) = ψ( x ) y también a F2 ( x ) =

x − γ − 1, donde γ es la constante de Euler. Utilizando a F1 tenemos
x x
G1 ( x ) = log x ∑ F1 = log x ∑ ψ
n≤ x n n≤ x n

Por el lema 6.1, tenemos

G1 ( x ) = log x ( x log x − x + O(log x )) = x log2 x − x log x + O(log2 x )

Con respecto a F2 , tenemos

x x 
G2 ( x ) = log x ∑ F2
n
= log x ∑ n
−γ−1
n≤ x n≤ x

1
= x log x ∑ n
− log x (γ + 1) ∑ 1
n≤ x n≤ x
Por el teorema 3.2 (1) y (4), obtenemos
 
1
G2 ( x ) = x log x (log x + γ + O − (γ + 1) log x ( x + O(1))
x

= x log2 x − x log x + O(log x )

Comparando G1 ( x ) y G2 ( x ), tenemos√que G1 ( x ) − G2 ( x ) = O(log2 x ). Usaremos la
estimación débil G1 ( x ) − G2 ( x ) = O( x ). Aplicamos el teorema 6.1 a las funciones F1
y F2 y restamos las dos relaciones obtenidas, es decir,
r ! !
n x  x o x √ 1
∑ µ(d) G1 d − G2 d = O ∑ d = O x ∑ √d = O(x),
d≤ x n≤ x n≤ x

por el teorema 3.2 (2). Ahora, sea la diferencia

( )
x x
F1 ( x ) log x + ∑ F1 Λ(n) − F2 ( x ) log x + ∑ F2 Λ(n)
n≤ x n n≤ x n
Prueba Elemental del Teorema de los Números Primos 55

x
= (ψ( x ) − x + γ + 1) log x + ∑ ( ψ ( x ) − n + γ + 1) Λ ( n ) = O ( x )
n≤ x

Ordenando término y utilizando el lema 6.2, resulta

x x 
ψ( x ) log x + ∑ ψ Λ(n) = ( x − γ − 1) log x + ∑ − γ − 1 Λ(n) + O( x )
n≤ x n n≤ x n

= 2x log x + O( x ).
Teorema 6.3 Son lógicamente equivalente las siguientes afirmaciones:
 
x
(1) ϑ ( x ) log x + ∑ ϑ log p = 2x log x + O( x )
p≤ x p
x
(2) ψ( x ) log x + ∑ ψ Λ(n) = 2x log x + O( x )
n≤ x n

(3) ∑ Λ(n) log n + ∑ Λ(m)Λ(n) = 2x log x + O( x )

n≤ x m,n
mn≤ x

(4) ψ( x ) log x + ∑
m,n
Λ(m)Λ(n) = 2x log x + O( x )
mn≤ x

con x > 0.
Aquí (1) es la original fórmula asintótica de Selberg, vamos a establecer (3) y usar (2) y
(4) para deducir el TNP. Vamos a mostrar que (1) ⇔ (4), mostraremos que cada uno
de los términos
ϑ ( x ) log x, ψ( x ) log x, ∑ Λ(n) log n (6.6)
n≤ x

difieren entre si por O( x ) cuando x suficientemente grande, y además

 
x x
∑ p ϑ log p, ∑ n Λ ( n ), ∑
ψ Λ(m)Λ(n) (6.7)
p≤ x n≤ x m,n
mn≤ x

difieren entre si por O( x ) cuando x suficientemente grande. Mostraremos que los pri-
meros términos en (6.6) difiere por O( x ), en el teorema 3.3, tenemos
√
x (log2 x )
0 ≤ ψ( x ) − ϑ( x ) ≤
2 log 2

por lo que 0 ≤ ψ( x ) log x − ϑ ( x ) log x = O( x ) Mostraremos que los dos últimos térmi-
nos de (6.6) difieren por O( x ), vamos a considerar la identidad de Abel (teorema 3.4)
con a(n) = Λ(n) y f ( x ) = log x. Entonces
Z x
ψ(t)
∑ Λ(n) log n = ψ(t) log t − 1 t
dt.
n≤ x
Prueba Elemental del Teorema de los Números Primos 56

ψ(t)
Donde ψ(t) = O(t), por lo que t = O (1).
Z x Z x 
ψ(t)
dt = O dt = O( x )
1 t 1

por lo que
∑ Λ(n) log n − ψ(x) log x = O(x).
n≤ x

De los últimos dos términos de (6.7), se sabe que:

x
∑ n Λ(n) = ∑ ∑x Λ(m)Λ(n) =
ψ ∑ Λ(m)Λ(n)
n≤ x n≤ x m≤ n
m,n
mn≤ x

Vamos a mostrar que los primeros términos en (6.7) difieren entre si por O( x ), notemos
que:  
x x
0≤ ∑ ψ Λ(n) − ∑ ϑ log p
n≤ x n p≤ x p
n x  x o x x
= ∑ ψ −ϑ Λ(n) + ∑ ϑ Λ(n) − ∑ ϑ Λ( p)
n≤ x n n n≤ x n p≤ x n

Considerando la función característica de primos


1, si n es primo
P(n) =
0, en caso contrario

no están difícil ver que

x x
∑ϑ n
Λ(n) = ∑ψ n
P(n)Λ(n)
n≤ x n≤ x

y es trivial que  
x x
∑ p ϑ Λ ( p ) = ∑ n P ( n ) Λ ( n ).
ϑ
p≤ x n≤ x

Entonces
x x
n x  x o
0≤ ∑ ψ Λ(n) − ∑ ϑ log p = ∑ ψ −ϑ (Λ(n) + P(n)Λ(n))
n≤ x n p≤ x n n≤ x n n
 x  x 
≤2 ∑ ψ
n
− ϑ
n
Λ(n) = O( x )
n≤ x

Para x > 1, escribimos

x
T (x) = ∑ ∑ µ(m) log2 m
n≤ x m|n
Prueba Elemental del Teorema de los Números Primos 57

Teorema 6.4 Con x suficientemente grande, tenemos

T (x) = ∑ Λ(n) log n + ∑ Λ(m)Λ(n) + O( x )

n≤ x m,n
mn≤ x

Prueba.(Bosquejo) Notemos que si n = 1,entonces

x
∑ µ(m) log2 m = log2 x
m |1

Para n > 1, tenemos

x
∑ µ(m) log2 m = ∑ µ(m)(log2 m − 2 log x log m + log2 x)
m|n m|n

= ∑ µ(m) log2 m − 2 log x ∑ log m (6.8)

m|n m|n

Además tenemos que

∑ µ(m) log m = −Λ(n) (6.9)
m|n

Por otro lado, vemos que

n
∑ Λ(h)Λ(k) = ∑ Λ(h)Λ h
= − ∑ Λ(h) ∑ µ(m) log m
h,k h|n h|n m| nh
hk=n

= − ∑ µ(m) log m log n + ∑ µ(m) log2 (m) = Λ(n) log n + ∑ µ(m) log2 m (6.10)
m|n m|n m|n

Aplicando (6.8), (6.10) y (6.9) a la función T , se demuestra que

 

T ( x ) −  ∑ Λ(n) log n + ∑ Λ ( m ) Λ ( n )  = O ( x )
 
n≤ x m,n
mn≤ x

Teorema 6.5 Sea k > 0 un exponente fijo, Cuando x suficientemente grande, tenemos
x
∑ logk n = Ok (x)
n≤ x

Prueba. La función log u es creciente para u > 1. Se sigue que para todo entero n ≥ 2,
tenemos Z n
k x x
log ≤ logk dt
n n −1 t
y además Z x
k x x
∑ log n ≤ 1 logk t dt
2≤ n ≤ x
Prueba Elemental del Teorema de los Números Primos 58

x 2
tomando u = xt , entonces du = − tx2 dt ⇒ xdu = − por lo que − xdu


t dt, u2
= dt,
tenemos entonces
Z ∞
logk u logk u logk u
Z x Z 1 Z x
x x
∑ log n ≤
k
1
k
log dt = − x
t x u2
du = x
1 u2
du < x
1 u2
du
2≤ n ≤ x

la integral es convergente, porque esta dominada por u2 .

Teorema 6.6 Con x suficientemente grande, tenemos

L ( x ) = 2x log x + O( x )

Prueba. Para x > 1, escribimos

µ(m) x
L (x) = ∑ log2
m≤ x m m

La suma de T , no depende de n, entonces podemos hacer un cambio del orden de la

suma, tenemos entonces
jxk x
T (x) = ∑ µ(m) log2
m≤ x m m

ya que
x x jxk x
∑ ∑ µ(m) log2 m
= ∑ µ(m) log2
m ∑1= ∑ m
µ(m) log2
m
n≤ x m|n m≤ x n≤ x m≤ x
m|n

Veamos la diferencia entre

nj x k xo x
T ( x ) − xL ( x ) = ∑ m
−
m
µ(m) log2
m
m≤ x
 
 nj x k x o x  x
∑ − µ(m) log2  ≤ ∑ log2
 
m≤ x m m m  m≤ x m
Por el teorema 6.5, tenemos que
x
∑ log2
m
= O( x )
m≤ x

en conclusión
T ( x ) = xL ( x ) + O( x )
cuando x suficientemente grande. Tenemos

L ( x ) = 2 log x + O(1)
Prueba Elemental del Teorema de los Números Primos 59

x
tomando x igual a m en el teorema 3.2(1), tenemos
 
µ(m) x 1  m 

L (x) = ∑ log  ∑ − γ + O
m≤ x m m h≤ x h x
m

µ(m) x µ(m) x
= ∑ ∑x mh
log − γ ∑
m
log + O(1)
m≤ x h≤ m m≤ x m m

Por otro lado tenemos que,

µ(m) x 1 x 1 1
∑ ∑x mh
log = ∑ ∑ µ(m) log = ∑ ∑ µ(m) log x − ∑ ∑ µ(m) log m
m
m≤ x h≤ m n≤ x n m|n m n≤ x n m|n n≤ x n m|n
(6.11)
por el lema 6.2, tenemos que (6.11) es igual

Λ(n)
log x + ∑ n
= 2 log x + O(1) (6.12)
n≤ x

Por otro lado tenemos que

 
µ(m) x µ(m)  1 m
∑ m
log = ∑
m m ∑ x h
−γ+O
x

m≤ x m≤ x h≤ m

1 µ(m)
= ∑ ∑ µ(m) − γ ∑ + O (1) = O (1) (6.13)
n≤ x n m|n m≤ x m
   
 µ(m)   µ(m) 
ya que  ∑ ≤ 2 (Aunque en realidad  ∑  ≤ 1) Esto último proviene de:
 
m≤ x m  m≤ x m 


Como ∑ µ(m) = 1, si n = 1, entonces

m|n
jxk x n x o
1= ∑ ∑ µ(m) = ∑ m
µ(m) = ∑ m
−
m
µ(m)
n≤ x m|n m≤ x m≤ x

µ(m) nxo
=x ∑ m − ∑ m µ(m)
m≤ x m≤ x
 
 nxo  nxo
Vemos que  ∑ µ(m) ≤ ∑ ≤ ∑ 1 = b x c ≤ x por lo que
 
m≤ x m  m≤ x m m≤ x
   
 µ ( m )   nxo 
x ∑
m≤ x m  m∑
≤ ( m ) +1 ≤ x+1
   
µ
m
 
≤x

Prueba Elemental del Teorema de los Números Primos 60

entonces  
 µ ( m )  1
∑  ≤ 1+
 
m≤ x m  x
y como x ≥ 1, entonces obtenemos
 
 µ ( m ) 
∑ ≤2
 
m≤ x m 

De (6.12) y (6.13), podemos concluir que

L ( x ) = 2 log x + O(1)

como se quería y en conclusión

T ( x ) = 2x log x + O( x )

6.3. Un argumento de suavizado

Para todo x > 0, sea R( x ) = ψ( x ) − x y F ( x ) = ψ( x ) + x. Como vemos F es una función

creciente, con x suficientemente grande, tenemos que F ( x ) = O( x ).
Supongamos que x 0 > x 00 > 0, notemos que ψ( x ) es una función creciente, tenemos
entonces:

|| R( x 0 )| − | R( x 00 )|| ≤ | R( x 0 ) − R( x 00 )| = |ψ( x 0 ) − ψ( x 00 ) − x 0 + x 00 |

= |(ψ( x 0 ) − ψ( x 00 )) − ( x 0 − x 00 )| ≤ | psi ( x 0 ) − ψ( x 00 )| + | x 0 − x 00 |
= ψ( x 0 ) − ψ( x 00 ) + x 0 − x 00 = F ( x 0 ) − F ( x 00 )
Nuestro objetivo es demostrar que R( x ) = O( x ), usando las desigualdades de Selberg.
Probemos lo siguiente,
x x Λ(n) x
∑ R
n
Λ(n) = ∑ ψ
n
Λ(n) − x ∑ n = ∑ n Λ(n) − x(log x + O(1))
ψ
n≤ x n≤ x n≤ x n≤ x

x
= ∑ψ n
Λ(n) − x log x + O( x )
n≤ x

Por el teorema 3 (2), tenemos que

x
∑ n Λ(n) = −ψ(x) log x + 2x log x + O(x) − log x + O(x)
R
n≤ x

= −ψ( x ) log x + x log x + O( x )

Prueba Elemental del Teorema de los Números Primos 61

En conclusión tenemos que

x
(ψ( x ) − x ) log x + ∑ R
n
Λ(n) = O( x )
n≤ x

es lo mismo que x

R( x ) log x + ∑R n
Λ(n) = O( x )
n≤ x
x
Para x ≤ n, haciendo un cambio lo obtenido anteriormente haciendo x igual n
x x  x  x
R log + ∑ R Λ(m) = O
n n m≤ x mn n

Combinando estos dos resultados anteriores

! !
x xx  x 
R( x ) log x + ∑ R Λ(n) log x − ∑ Λ(n) R log + ∑ R Λ(m)
n≤ x n n≤ x n n m≤ x mn
x  x 
2
= R( x ) log x + ∑R n
Λ(n) log x − ∑ ∑ R
mn
Λ(m)Λ(n)
n≤ x n≤ x m≤ nx
!
Λ(n)
= O( x log x ) + O x∑ = O( x log x )
x ≤n n

Esto último obtenido, lo usaremos, pero primero necesitamos dos resultados

x x x x
∑ n R Λ ( n ) log x − ∑ Λ ( n ) R
n
log
n
= ∑ Λ ( n ) R
n
log n
n≤ x n≤ x n≤ x

es claro
 x   x  x
∑ ∑ R
mn
Λ(m)Λ(n) = ∑ R
mh
Λ(m)Λ(h) = ∑ R
n ∑ Λ(m)Λ(h)
n≤ x m≤ nx m,h n≤ x m,h
mh≤ x mh=n

y ahora vemos que

x x
R( x ) log2 x = ∑ R
n ∑ Λ(m)Λ(h) − ∑ R
n
Λ(n) log n + O( x log x )
n≤ x m,h n≤ x
mh=n

Escribamos
cn = Λ(n) log n + ∑ Λ(m)Λ(h) (6.14)
m,h
mh=n
entonces tenemos que
  x 
| R( x )| log2 x ≤ ∑ n  R n  + O(x log x)
c
 
n≤ x
Prueba Elemental del Teorema de los Números Primos 62

Si tomamos
∑ cn = ∑ Λ(n) log n + ∑ ∑ Λ(m)Λ(h)
n≤ x n≤ x n≤ x m,h
mh=n

= ∑ Λ(n) log n + ∑ Λ(m)Λ(n)

n≤ x m,n
mn≤ x

Por la desigualdad de Selberg, siempre que x suficientemente grande

∑ cn = 2x log x + O(x)
n≤ x

Vamos a proceder desde este punto, vamos a necesitar el resultado de suavizamiento.

Pero antes de eso un lema, ya conocido
Lema 6.3 Si { an } y {bn } son dos sucesiones de números complejos,
sea An = ∑nj=1 a j , A0 = 0. Entonces se tiene la identidad

n n −1
∑ a k bk = A n bn + ∑ A k ( bk − bk + 1 )
k =1 k =1

Teorema 6.7 ∀n ∈ N, sea cn definido en (6.14). Con x suficientemente grande tenemos

  x  Z x   
x 
∑ cn  R n  = 2 1  R t  log tdt + O(x log x)
  
n≤ x

Z n
Prueba. Definiendo a(1) = c1 , a(n) = cn − 2 log tdt, n = 2, 3, 4, ... y considerando:
n −1
  x 
f (n) =  R
 
n


, entonces tenemos
Z bxc
A( x ) = ∑ a(n) = ∑ cn − 2
1
log tdt
n≤ x n≤ x

Z bxc
= 2x log x + O( x ) − 2 log tdt
1
Aseguramos que A( x ) = O( x ), veamos porque
bxc
 Z 
A( x ) = ∑ a(n) = ∑ cn − 2 t log t|1 −
bxc
dt
n≤ x n≤ x 1

= 2x log x + O( x ) − 2 (b x c logb x c − b x c + 1)
≤ 2x log x + O( x ) − 2x log x + 2x − 2 = O( x )
Prueba Elemental del Teorema de los Números Primos 63

Retomando la acotación de la diferencia de R( x 0 ) y R( x 00 ) y aplicando el lema 6.3 tene-

mos que
  x    x  Z n
∑ n n 
c R − 2 ∑  R n  n−1 log tdt
   
n≤ x 2≤ n ≤ x
       
x   x x
= ∑ A(n)  R

 − R  + A( x ) R

n ≤ x −1
n n+1  bxc
    !
x x
=O ∑ n F n −F n+1 + O( x )
n ≤ x −1

Vemos que
      
x x x x
∑ n F n − F n + 1 = ∑ F n − bxc F bxc
n ≤ x −1 n≤ x
x x
ya que ∑F n
definiendo a ak = 1 y bk = F
k
y aplicando el lema 6.3, tenemos
n≤ x

x     
x x
∑F n
= A x bx + ∑ n F
n
−F
n+1
n≤ x n ≤ x −1
      
x x x
= bxc F + ∑ n F −F
bxc n ≤ x −1
n n+1
regresando a
x    
x x x
∑F n
− bxc F
bxc
= ∑O n
− b x cO
bxc
n≤ x n≤ x
!   
x x
=O ∑n − O bxc
bxc
n≤ x

= O( x log x ) + O( x ) = O( x log x )
y entonces
  x    x  Z n
∑ cn  R n  − 2 ∑  R n  n−1 log tdt = O(x log x) (6.15)
   
n≤ x 2≤ n ≤ x

Por otro lado, ∀n que satisfaga 2 ≤ n ≤ x en visto que F ( x ) = O( x ) y la monotonía de

F, tenemos
   Z n Z n     Z n      
 x x  x   x 
 R log tdt − R log tdt ≤  R  − R  log tdt
   
n t n t
  
n −1 n −1 n −1
 
Z n        x  Z n
x  x  x
≤ F −F log tdt ≤ F −F log tdt
n −1 t n n−1 n n −1
Prueba Elemental del Teorema de los Números Primos 64


    x 
x
= O ( n − 1) F −F
n−1 n
y además  
   x  Z n Z x   
x 
 ∑  R log tdt − R log tdt (6.16)
     
n t
   
2≤ n ≤ x n −1 1 
   Z n Z n     Z x   
x x x 
≤ ∑  R
 
log tdt − R  log tdt + R  log tdt
   
n t t

2≤ n ≤ x n − 1 n − 1 b x c
   !
x  x 
=O ∑ n F n−1 −F n + O(log x ) = O( x log x )
2≤ n ≤ x

De (6.15) y (6.16) se obtiene el resultado deseado.

6.4. Un punto de vista logarítmica

Vamos a estudiar el problema de la escala logarítmica. ∀ρ ≥ 0, con ρ ∈ R, definimos

V (ρ ) = e−ρ R (eρ ) = e−ρ ψ (eρ ) − 1

Primero presentaremos un lema importante del análisis

Lema 6.4 (Teorema de Tonelli)Sean ( X, A , µ) y (Y, B, ν) dos espacios de medida σ-finito y
F : X × Y → [0, ∞] medible. Entonces
Z Z
h( x ) = Fx dν, g(y) = Fy dµ,
Y X

son medibles y Z Z Z
hdµ = Fd(µ × ν) = gdν
X X ×Y Y
o bien
Z Z Z Z Z
F ( x, y)ν(dy)µ(dx ) = F ( x, y)µ × ν(dx, dy) = F ( x, y)µ(dx )ν(dy)
X Y X ×Y Y X

Escribimos x = eξ , con la sustitución x/t = eη , tenemos

Z x x  Z ξ
R log tdt = x |V (η )|(ξ − η )dη
 
t

1 0
Z ξZ ξ Z ξ Z τ 
=x |V (η )|dτdη = x |V (η )|dη dτ
0 η 0 0
Prueba Elemental del Teorema de los Números Primos 65

esto es posible, ya que el integrando es no negativo y por el lema 6.4 el valor de

la integral es independiente del orden. Además, considerando la región de integra-
ción; es el conjunto de puntos (τ, η ) que comprende el dominio de integración para
Z ξZ ξ
|V (η )|dτdη es
0 η

{(τ, η ) : 0 ≤ η ≤ ξ, η ≤ τ ≤ ξ } = {(τ, η ) : 0 ≤ η, τ ≤ ξ }
= {(τ, η ) : 0 ≤ τ ≤ ξ, 0 ≤ η ≤ τ } lo cual corresponde exactamente al dominio de la
Z ξZ τ
doble integral |V (η )|dηdτ. Entonces tenemos que
0 0
Z ξ Z τ 
2
ξ |V (ξ )| ≤ 2 |V (η )|dη dτ + O(ξ ) (6.17)
0 0

Es claro que |V (ρ)| es acotada cuando ρ → ∞. Entonces,

1
Z ξ
α = lı́m sup |V (ξ )| y β = lı́m sup |V (η )|dη
ξ →∞ ξ →∞ ξ 0

están bien definidas. Nota: |V (ξ )| ≤ α + O(1) cuando ξ → ∞ la desigualdad no fun-

ciona si α es reemplazado por un número pequeño.
Por otro lado, cuando ξ → ∞, tenemos
Z ξ
|V (η )|dη ≤ βξ + O(ξ )
0

y entonces se sigue de (6.17) que

Z ξ
ξ 2 |V (ξ )| ≤ 2 ( βτ + O(τ ))dτ + O(ξ ) = βξ 2 + O(ξ 2 )
0

y entonces |V (ξ )| ≤ β + O(1), entonces α ≤ β.

6.5. Deducción del Teorema de los Números Primos

El Teorema de los Números Primos es equivalente probar que V (ξ ) → 0, cuando ξ →

∞, en otras palabras, que α = 0. Vamos a asumir lo contrario que α > 0, y deduciremos
una contradicción que β < α. Vamos a necesitar unos resultados,
Teorema 6.8 Existe constantes positivas C1 y C2 tales que se obtiene
(1) Para todo ξ 1 , , ξ 2 > 0 y satisfaciendo ξ 1 < ξ 2 , tenemos que
Z ξ 
 2 

 V ( η ) dη  < C1

ξ1
Prueba Elemental del Teorema de los Números Primos 66

(2) Suponga que V (η0 ) = 0 para algún η0 > 0. Entonces

Z η0 + α
3 α
|V (η )dη | ≤ α2 + C2
η0 4 η0

Prueba. Vamos a probar (1), usaremos la identidad de Abel con a(n) = Λ(n) y f ( x ) = 1
x
obteniendo
Λ(n)
Z x
ψ( x ) ψ(t)
∑ n = x + 1 t2 dt
n≤ x

y siguiendo el lema 6.2 y que ψ( x ) = O( x ) tenemos

Z x
ψ(t)
dt = log x + O(1)
1 t2
Escribiendo t = eη y x = eξ , tenemos
Z x Z x 
R(t) ψ(t) 1
Z ξ
V (η )dη = dt = − dt = O(1)
0 1 t2 1 t2 t
lo cual es equivalente decir que se cumple (1). Vamos a probar (2), comenzando con la
desigualdad (4) del teorema 6.3. Si 1 ≤ x0 < x, entonces tenemos

ψ( x0 ) log x0 + ∑
m,n
Λ(m)Λ(n) = 2x0 log x0 + O( x0 ) (6.18)
mn≤ x0

Sustrayendo (6.18) de (4) del teorema 6.3 y notando que la suma

∑
m,n
Λ(m)Λ(n)
x0 <mn≤ x

es no negativa y que la función ψ( x ) es creciente, tenemos

0 ≤ ψ( x ) log x − ψ( x0 ) log x0 ≤ 2( x log x − x0 log x ) + O( x )

y entonces
| R( x ) log x − R( x0 ) log x0 | ≤ x log x − x0 log x + O( x ) (6.19)
Supongamos que V (η0 ) = 0 y η0 ≤ η ≤ η0 + α. Entonces escribimos x = eη y x 0 = e η0 ,
tenemos que R( x0 ) = 0 y siguiendo de (6.19) que

| e η V ( η ) η | ≤ e η η − e η0 η 0 + O ( e η )
Por el teorema del valor medio para derivada se tiene que

eη η − eη0 η0 = (η − η0 )eη̂ (1 + η̂ )

Para algún η̂ satisfaciendo η0 < η̂ < η, y entonces

   
eη̂ (1 + η̂ ) 1 3 1
|V (η )| ≤ (η − η0 ) +O ≤ ( η − η0 ) + O
e η
η η0 2 η0
Prueba Elemental del Teorema de los Números Primos 67

el resultado (2) se deduce.

Supongamos ahora que α > 0. Escogemos un adecuado δ > α, vamos a fijarlo más
adelante, vamos a estudiar el comportamiento de la función V (η ) en un intervalo
[τ, τ + δ]. Notemos que V (η ) es estrictamente decreciente en os puntos de continui-
dad, con un salto positivo en los puntos de discontinuidad. Considerando el intervalo
abierto (τ, τ + δ − α). Es suficiente considerar que existe η0 ∈ (τ, τ + δ − α), tal que
V (η0 ) = 0 o V (η ) cambia de signo al menos una vez en (τ, τ + δ − α).
El primer caso, escribimos

[τ, τ + δ] = [τ, η0 ] ∪ [η0 , η0 + α] ∪ [η0 + α, τ + δ]

Entonces
Z τ +δ
3 α
|V (η )|dη ≤ (η0 − τ )(α + O(1)) + α2 + C2 + (τ + δ − η0 − α)(α + O(1))
τ 4 τ
     
3 2 α α C2 1
= (δ − α)(α + O(1)) + α + C2 = α 1 − − + O (1) δ
4 τ 4 τ δ
Existe una constante positiva C3 = C3 (α), que depende de α, tal que
Z τ +δ  α
|V (η )|dη ≤ α 1 − δ
τ 8δ
donde τ ≥ C3 .
En el segundo caso, si V (η ) cambia de signo en η1 ∈ (τ, τ + δ − α), escribimos

[τ, τ + δ − α] = [τ, η1 ] ∪ [η1 , τ + δ − α]

Entonces
Z τ +δ−α Z η
 1
  Z τ +δ−α
 


|V (η )|dη = 
 V (η )dη  + 
  V (η )dη  < 2C1
τ τ η 1

Si V (η ) no cambia de signo en (τ, τ + δ − α), entonces

Z τ +δ−α  Z τ +δ−α



|V (η )|dη = 
 V (η )dη  < C1
τ τ

En cualquier caso, tenemos

Z τ +δ−α
|V (η )|dη < 2C1
τ

y entonces, escribimos [τ, τ + δ] = [τ, τ + δ − α] ∪ [τ + δ − α, τ + δ], tenemos que

2C1 + α2
Z τ +δ  
|V (η )|dη < 2C1 + (α + O(1))α = + O(1) δ.
τ δ
Prueba Elemental del Teorema de los Números Primos 68

Existe una constante positiva C4 = C4 (α), que depende de α, tal que

3C1 + α2
Z τ +δ
|V (η )|dη ≤ δ
τ δ
, donde τ ≥ C4 . Ahora sea
24C1 + 9α2
δ= >α
8α
entonces
3C1 + α2  α
= α 1−
δ 8δ
Para un número real suficientemente grande ξ, sea los enteros K0 y K satisfaciendo las
desigualdades (K0 − 1) < máx{C3 , C4 } ≤ K0 δ y Kδ ≤ ξ < (K + 1)δ. Entonces
Z ξ Z K0 δ K Z ( k +1) δ

0
|V (η )|dη ≤
0
|V (η )|dη + ∑ kδ
|V (η )|dη
k = K0

 α  α
≤ Kα 1 − δ + O (1) = α 1 − ξ + O(ξ )
8δ 8δ
Tenemos que  α
β ≤ α 1− <α
8δ
llegando a una contradicción, así hemos probado el Teorema de los Números Primos.
Conclusiones

1) En el paso del tiempo muchas personas se han interesado en los números pri-
mos que presumen de una simpleza, han logrado que «Matemáticos» construyan
conocimientos demostrables y aplicables en el desarrollo de la civilización.
2) El Teorema de los Números Primos guarda mucha relación con fórmulas asintó-
ticas, y además con la hipótesis de Riemann.

69
Recomendaciones

1) Para los lectores e interesados en el área de la Teoría de Números, se le recomien-

da que lean la referencia bibliográfica [2]. Pero antes se le recomienda hacer un
estudio detallado de las nociones de Análisis Complejo que aparecen en [4].
2) A los lectores y estudiantes de la licenciatura de Matemática, les animo a que
investigue en el área de Teoría de Números, Álgebra, Análisis y Topología, ya
que pienso que son las áreas más importantes y fundamentales, y además serán
el puente para descubrir la verdad.

70
Bibliografía

[1] T. M. Apostol, Análisis Matemático, Ed. Reverté, Barcelona, 2009.

[2] T. M. Apostol, Introducción a la teoría analítica de números, Ed. Reverté, Barcelo-
na, 2014.
[3] F. Zaldívar, Introducción a la Teoría de Números, Ed.Fondo de Cultura Económica,
México, 2012.
[4] D. G. Zill, P. D. Shanahan, Introducción al Análisis Complejo con Aplicaciones, Ed.
Cengage Learning, México, 2011.
[5] R. Larson, R. Hostetler, B. H. Edwards, Cálculo Esencial, Ed. Cengage Learning,
México, 2010.
[6] O. Ore, Number Theory and Its History, Ed. McGraw- Hill, The United States of
America, 1948.
[7] B. Fine, G. Rosenberger, Number Theory «An Introduction via The Distribution of
Primes», Ed. Birkhäuser(adquirida por Springer), New York, 2007.
[8] J. Stopple, A Primer of Analytic Number Theory «From Pythagoras to Riemann»,
Ed. Cambridge, New York, 2003.
[9] O. F. Casas, Sobre las Propiedades Analíticas del Anillo de Polinomio Fq [ x ], Lec-
turas Matemáticas(Sociedad Colombiana de Matemáticas), Vol. 22(2001) 11-33.
[10] J. Snellman, The Ring of Arithmetical Functions with Unitary Convolution «Divi-
sorial and Topological Properties», Archivum Mathematicum, Tom. 40(2004) 161-
179.
[11] E. D. Cashwell, C. J. Everett, The Ring of Number Theoretic Functions, Pacific J.
Math, Vol 9, No. 4(1959) 975-985.
[12] L. Carlitz,Rings of Arithmetic Functions, Pacific J. Math, Vol. 14, No. 4(1964) 1165-
1171.
[13] J. Elliott, Ring Structures on Groups of Arithmetic Functions, Jounal of Number
Theory(Elsevier), No. 128(2008) 709-730.
[14] A. Selberg, An Elmentary Proof of The Prime Number Theorem, Annals of Math,
Vol.50, No. 2(1949) 305-313.

71
 Prueba Elemental del Teorema de los Números Primos 72

[15] D. J. Newman, Simple Analytic Proof of The Prime Number Theorem, The Ameri-
can mathematical Monthly, Vol. 87, No. 9(1980) 693-696.
[16] P. Erdös, On a New Method in Elementary Number theory which Leads to An
Elementary Proof of The Prime Number Theorem, National Academy of Sciences,
Vol. 35, No. 7(1949) 374-384.
[17] N. Levinson, A Motivated Account of An Elementary Proof of The Prime Number
Theorem, The American Mathematical Monthly, Vol. 76(1969) 225-245.
[18] T. Tatuzawa, K. Iseki, On Selberg’s Elementary Proof of The Prime Number Theo-
rem, Proc. Japan Acad., Vol. 27, No. 7(1951) 340-342.
[19] W. Chen , Chapter 7 «Elementary Proof of The Prime Number Theorem», Notas
de curso 1981-1990 en Imperial College, University of London, el capítulo 7 fue
agregado en el 2013.

View publication stats