Pagina 1

EL TEOREMA DE VINOGRADOV
SOBRE
LA CONJETURA DE GOLDBACH
1. Introduccion.
La conjetura de que todo entero impar mayor o igual que 9 es la
suma de tres n umeros primos se conoce como la conjetura ternaria de
Goldbach o la conjetura debil de Goldbach. En 1937, I.M. Vinogradov
probo que todo n umero entero impar sucientemente grande se puede
representar como la suma de tres n umeros primos. En el 2002 Ming-
Chit Liu y Tianze Wang probaron que un entero impar mayor que
10
1347
es suma de tres primos. Por otro lado, J. Richstein ha vericado
que la conjetura ternaria de Goldbach se cumple para todo n umero
entero impar mayor que 4 10
14
.
2. Los Arcos Mayores y Menores.
Sea R y sea N un n umero natural. Sea
F() =

pN
e(p) log p en donde e(x) := e
2ix
.
Se cumple entonces que
R(N) :=
1
_
0
F
3
() e(N) d =

p
1
+p
2
+p
3
=N
log p
1
log p
2
log p
3
.
Queremos probar que
R(N) > 0
P agina 2
se cumple para todo N sucientemente grande. Para este n, se divide
la integral que dene a R(N) en dos partes
R(N) =
_
_
M
+
_
m
_
F
3
() e(N) d
en donde M es el as llamado conjunto de arcos mayores y m el conjunto
de arcos menores, que denimos a continuacion. Sea B > 0 y sea
Q = log
B
N.
Sea 1 q Q y sea 0 a q tal que (a, q) = 1. Sea
M(q, a) =
_
[0, 1] :

a
q

Q
N
_
.
Lema 1. Los arcos mayores M(q, a) son disjuntos dos a dos siempre
que N sea sucientemente grande.
Demostracion. Supongamos que
M(q, a) M(q

, a

) y que
a
q
,=
a

.
Entonces 1 [aq

q[ y por lo tanto
1
Q
2

1
qq

=
[aq

q[
qq

a
q

a

a
q

2Q
N
.
Por lo tanto
N 2Q
3
= 2
_
log N
_
3B
,
lo cual es imposible siempre que n sea sucientemente grande.
Pagina 3
Denicion 2. El conjunto de arcos mayores es
M =
Q
_
q=1
q
_
a=0
(a,q)=1
M(q, a) [0, 1].
El conjunto de arcos menores es
m = [0, 1] M.
Ejercicio 3. Demuestre que la medida de Lebesgue del conjunto M
de arcos mayores tiende a cero cuando N .
3. La Integral Sobre los Arcos Mayores.
A continuacion estudiamos la integral que dene a R(N) sobre
el conjunto M de arcos mayores. Sera necesario informacion sobre la
distribucion de los n umeros primos en las progresiones aritmeticas.
Teorema 4. (Siegel-Walsz). Sea q 1 y (a, q) = 1. Sea C > 0.
Entonces
(x; q, a) :=

px
pa (q)
log p =
x
(q)
+O
_
x
log
C
x
_
para x 2 y q (log x)
B
. En particular, la constante implicada
depende solo de C.
Teorema 5. La suma de Ramanujan
c
q
(N) :=
q

a=1
(a,q)=1
e
_
N
q
a
_
P agina 4
es una funcion multiplicativa de q, esto es,
(q, q

) = 1 implica c
qq
(N) = c
q
(N)c
q
(N).
Teorema 6. Para las sumas de Ramanujan se cumple que
c
q
(N) =

d|(q,N)

_
q
d
_
d
en donde es la funcion de Mobius. En particular
(q, N) = 1 implica c
q
(N) = (q).
Lema 7. Sea
F
x
() =

px
e(p) log p.
Sean B y C n umeros reales positivos. Si 1 q Q = log
B
N y
(a, q) = 1, entonces
F
x
_
a
q
_
=
(q)
(q)
x +O
_
QN
log
C
N
_
para cada 1 x N. La constante implicada depende solo de B y C.
Demostracion. Sea p r modulo q. Entonces p[q si y solo si (r, q) >
1. Por lo tanto
q

r=1
(r,q)>1

px
pr (q)
e
_
p
q
a
_
log p =

px
p|q
e
_
p
q
a
_
log p

p|q
log p log q.
Pagina 5
Por lo tanto F
x
_
a
q
_
es igual a
q

r=1

px
pr (q)
e
_
p
q
a
_
log p =
q

r=1
(r,q)=1

px
pr (q)
e
_
p
q
a
_
log p +O(log q).
Si p r modulo q, entonces e(pa/q) = e(ra/q) y para F
x
_
a/q
_
se
obtiene
q

r=1
(r,q)=1
e
_
r
q
a
_

px
pr (q)
log p+O(log Q) =
q

r=1
(r,q)=1
e
_
r
q
a
_
(x; q, r)+O(log Q).
Puesto que c
q
(a) = (q) siempre que (a, q) = 1 vemos entonces que
F
x
_
a/q
_
es igual a
q

r=1
(r,q)=1
e
_
r
q
a
_
_
x
(q)
+O
_
x
log
C
x
_
_
+O(log Q) =
(q)
(q)
+O
_
QN
log
C
N
_
.
Lema 8. Sea
u() =
N

m=1
e(m).
Entonces
J(N) :=
+1/2
_
1/2
u
3
()e(N) d =
N
2
2
+O(N).
Demostracion. Es claro que J(N) es el n umero de representaciones
de N como la suma de tres n umeros naturales. Por lo tanto
J(N) =
1
2
(N 1)(N 2).
P agina 6
Lema 9. Sean B y C dos n umeros reales positivos tales que C > 2B.
Si
(10) M(q, a) y =
a
q
,
entonces
F() =
(q)
(q)
u() +O
_
Q
2
N
log
C
N
_
,
F
3
() =
(q)

3
(q)
u
3
() +O
_
Q
2
N
3
log
C
N
_
en donde las constantes implicadas dependen solo de B y C.
Demostracion. Si es como en (10), entonces [[ Q/N. Sea
(m) =
_
log p si m = p y p es primo
0 en otro caso.
Entonces tenemos
F()
(q)
(q)
u() =

pN
e(p) log p
(q)
(q)
N

m=1
e(m)
=
N

m=1
(m)e(m)
(q)
(q)
N

m=1
e(m)
=
N

m=1
(m)e
_
m
q
a +m
_

m=1
(q)
(q)
e(m)
=
N

m=1
_
(m)e
_
m
q
a
_

(q)
(q)
_
e(m).
Pagina 7
Si 1 x N, entonces
A(x) : =

mx
_
(m)e
_
m
q
a
_

(q)
(q)
_
=

mx
(m)e
_
m
q
a
_

(q)
(q)
x +O
_
1
(q)
_
= F
x
_
a
q
_

(q)
(q)
x +O(1)

QN
log
C
N
.
Por lo tanto
F()
(q)
(q)
u() =
N
_
1

e(x) dA(x)
= A(N)e(N) 2i
N
_
1
A(x)e(x) dx
[A(N)[ +[[N max
_
[A(x)[ : 1 x N
_

Q
2
N
log
C
N
.
Es claro que [u()[ N. Puesto que C > 2B, entonces
Q
2
N
log
C
N
=
N
_
log N
_
C2B
< N.
La estimacion para F
3
() se sigue ahora facilmente.
Denicion 11. La serie innita
G(N) =

q=1
(q)

3
(q)
c
q
(N)
P agina 8
se llama la serie singular para el problema de Goldbach.
Teorema 12. Para la serie singular, se cumple que
G(N) =

p|N
_
1 +
1
_
p 1
_
3
_

p|N
_
1
1
_
p 1
_
2
_
.
Por lo tanto, existen dos constantes positivas c
1
y c
2
tales que
c
1
< G(N) < c
2
para cada N N impar. Por ultimo, para Q = log
B
N y cada > 0,
G(N, Q) :=

qQ
(q)

3
(q)
c
q
(N) = G(N) +O
_
1
Q
1
_
en donde la constante implicada depende solo de .
Demostracion. Es claro que c
q
(N) (q). Puesto que q
1
< (q)
para cada > 0 y q sucientemente grande, entonces
(q)

3
(q)
c
q
(N)
1

2
(q)

1
q
2
.
Por lo tanto, la serie singular converge absoluta y uniformemente en
N. Ademas
G(N) G(N, Q)

q>Q
1
q
2

1
Q
1
.
Es facil ver que
c
p
(N) =
_
p 1 si p[N,
1 si p ,[N.
Pagina 9
Puesto que c
q
(N) multiplicativa en q, entonces
(q)

3
(q)
c
q
(N)
tambien es una funcion multiplicativa en q. Por lo tanto
G(N) =

p
_
1 +

j=1
(p
j
)

3
(p
j
)
c
p
j
(N)
_
=

p
_
1
c
p
(N)

3
(p)
_
=

p|N
_
1 +
1
_
p 1
_
3
_

p|N
_
1
1
_
p 1
_
2
_
.
Ejercicio 13. Pruebe que se puede tomar c
1
= 1 en el teorema ante-
rior.
Teorema 14. Para cualesquiera n umeros reales positivos B, C y
tales que C > 5B, se cumple que
_
M
F
3
()e(N) d
= G(N)
N
2
2
+O
_
N
2
_
log N
_
(1)B
_
+O
_
N
2
_
log N
_
C5B
_
en donde las constantes implicadas dependen solo de B, C y .
Lema 15. Para cada n umero real y enteros A < B, se cumple que
B

n=A+1
e(n) min
_
[B A[ ,
1
| |
_
P agina 10
en donde | |= min
_
[ m[ : m Z
_
.
Demostracion. Puesto que [e(n)[ = 1 para cada entero n, entonces

n=A+1
e(n)

n=A+1
1 = B A.
Si , Z, entonces | |> 0 y e() ,= 1. Puesto que se trata de una
suma geometrica, entonces

n=A+1
e(n)

e
_
(B A)
_
1
e() 1

2
[e(/2) e(/2)[
=
1
sen
=
1
sen( | |)

1
2 | |
.
Demostracion del Teorema 14. La longitud del arco mayor M(q, a)
es Q/N si q = 1 y es 2Q/N si q 2. Por lo tanto
_
M
_
F
3
()
(q)

3
(q)
u
3
_

a
q
_
_
e(N) d
=

qQ
q

a=0
(a,q)=1
_
M(q,a)
_
F
3
()
(q)

3
(q)
u
3
_

a
q
_
_
e(N) d

qQ
q

a=0
(a,q)=1
_
M(q,a)
Q
2
N
3
log
C
N
d

qQ
q

a=0
(a,q)=1
Q
3
N
2
log
C
N

Q
5
N
2
log
C
N

N
2
_
log N
_
C5B
.
Pagina 11
Si = a/q + M(q, a), entonces [[ Q/N y por lo tanto

qQ
q

a=0
(a,q)=1
(q)

3
(q)
_
M(q,a)
u
3
_

a
q
_
e(N) d
=

qQ
q

a=1
(a,q)=1
(q)

3
(q)
a
q
+
Q
N
_
a
q

Q
N
u
3
_

a
q
_
e(N) d
=

qQ
(q)

3
(q)
q

a=1
(a,q)=1
e
_

N
q
a
_
+Q/N
_
Q/N
u
3
()e(N) d
=

qQ
(q)

3
(q)
c
q
(N)
+Q/N
_
Q/N
u
3
()e(N) d
= G(N, Q)
+Q/N
_
Q/N
u
3
()e(N) d.
Por el Lema 15, si [[ 1/2, entonces
u()
1
| |
.
Por lo tanto
_
Q
N
||
1
2
u
3
()e(N) d
1/2
_
Q/N
d

3

N
2
Q
2
.
Por el Lema 8, obtenemos
+Q/N
_
Q/N
u
3
()e(N) d =
+1/2
_
1/2
u
3
()e(N) d +O
_
N
2
Q
2
_
P agina 12
=
N
2
2
+O(N) +O(
N
2
Q
2
_
=
N
2
2
+O(
N
2
Q
2
_
.
Puesto que
G(N, Q) = G(N) +O
_
1
Q
1
_
,
entonces
_
M
F
3
()e(N) d
= G(N, Q)
+Q/N
_
Q/N
u
3
()e(N) d +O
_
N
2
_
log N
_
C5B
_
= G(N)
N
2
2
+O
_
N
2
Q
1
_
+O
_
N
2
_
log N
_
C5B
_
= G(N)
N
2
2
+O
_
N
2
_
log N
_
(1)B
_
+O
_
N
2
_
log N
_
C5B
_
.
4. Formula Asintotica.
Para la estimacion de la integral que dene a R(N), tomada sobre
el conjunto de los arcos menores, sera necesario los siguientes resulta-
dos.
Teorema 16. (L. Dirichlet). Sean y Q dos n umeros reales, Q 1.
Existen enteros a y q tales que
1 q Q, (a, q) = 1
Pagina 13
y ademas

a
q

1
qQ
.
Teorema 17. (I.M. Vinogradov). Sean a, q enteros primos rela-
tivos, tales que 1 a q N. Sea tal que

a
q

1
q
2
.
Entonces se cumple que
F()
_
N
q
1
2
+N
4
5
+N
1
2
q
1
2
_
log
4
N.
La prueba de este teorema la posponemos hasta la seccion 5.
Teorema 18. Sea B > 0. Para la integral sobre los arcos menores, se
cumple que
_
m
F
3
()e(N) d
N
2
_
log N
_B
2
5
en donde la constante implicada depende solo de B.
Demostracion. Por el Teorema de Dirichlet existen enteros a, q,
primos relativos, con 1 q N/Q y tales que

a
q

Q
qN
min
_
Q
N
,
1
q
2
_
.
Si q Q, entonces M(q, a) M. Puesto que esto ultimo es falso,
entonces
Q < q
N
Q
.
P agina 14
Por el Teorema 17,
F()
_
N
q
1
2
+N
4
5
+N
1
2
q
1
2
_
log
4
N

_
N
_
log N
_B
2
+N
4
5
+
N
_
log N
_B
2
_
log
4
N

N
_
log N
_B
2
4
.
Puesto que (N) =

pN
log p N, entonces
1
_
0
[F()[
2
d =

pN
log
2
p log N

pN
log p N log N.
Por lo tanto,
_
m
[F()[
3
d sup
m
[F()[
_
m
[F()[
2
d

N
_
log N
_B
2
4

_
m
[F()[
2
d

N
2
_
log N
_B
2
5
.
Podemos ahora enunciar el principal resultado de este captulo.
Teorema 19. (I.M. Vinogradov). Sea G(N) la serie singular de la
Denicion 11. Sea A > 0. Sea N N un n umero impar. Entonces,
R(N) = G(N)
N
2
2
+O
_
N
2
log
A
N
_
Pagina 15
en donde la constante implicada depende solo de A.
Demostracion. Por los Teoremas 14 y 18,
R(N) G(N)
N
2
2

N
2
_
log N
_
(1)B
+
N
2
_
log N
_
C5B
+
N
2
_
log N
_B
2
5
en donde la constante implicada depende solo de B, C y . El Teorema
se sigue al elegir
=
1
2
, B = 2A+ 10 y C = A+ 5B.
5. Los Arcos Menores.
Solo resta probar el Teorema 17. La prueba se desarrolla en una
serie de lemas.
Lema 20. (R.C. Vaughan). Para u 1, sea
M
u
(k) =

d|k
du
(d).
Sea (k, ) una funcion aritmetica de dos variables. Entonces

u<N
(1, ) +

u<kN

u<
N
k
M
u
(k)(k, )
=

du

u<
N
d

m
N
d
(d)(dm, ).
P agina 16
Demostracion. Vamos a evaluar la suma
S :=
N

k=1

u<
N
k
M
u
(k)(k, )
en dos formas distintas. Puesto que 1 = e, entonces
M
u
(k) =
_
1 si k = 1,
0 si 1 < k u.
Por lo tanto,
S =

u<N
(1, ) +

u<kN

u<
N
k
M
u
(k)(k, ).
Por otro lado, cambiando el orden de las sumas, y poniendo k = dm,
se obtiene
S =
N

k=1

u<
N
k

d|k
du
(d)(k, ) =

du
N

k=1
d|k

u<
N
k
(d)(k, )
=

du

m
N
d

u<
N
dm
(d)(k, ) =

du

u<
N
d

m
N
d
(d)(k, ).
Lema 21. Sea la funcion de von Mangoldt. Para cada n umero real
, se cumple que
F() = S
1
S
2
S
3
+O
_
N
1
2
_
Pagina 17
en donde
S
1
=

dN
2
5

N
d

m
N
d
(d)()e
_
dm
_
S
2
=

dN
2
5

N
2
5

m
N
d
(d)()e
_
dm
_
S
3
=

k>N
2
5

N
2
5 <
N
k
M
N
2
5
(k)()e
_
k
_
.
Demostracion. Vamos a aplicar la identidad de Vaughan con
u = N
2
5
y (k, ) = () e
_
k
_
.
El primer termino en la identidad de Vaughan es

u<N
(1, ) =

N
2
5 <N
() e
_

_
=
N

=1
()e()

N
2
5
()e()
=

pN
e() log p +

p
k
N
k2
e
_
p
k
_
log p +O
_
N
2
5
log N
_
= F() +O
_

p
k
N
k2
log p
_
+O
_
N
1
2
_
P agina 18
= F() +O
_

p
2
N
_
log N
log p
_
log p
_
+O
_
N
1
2
_
= F() +O
_

_
N
1
2
_
log N
_
+O
_
N
1
2
_
= F() +O
_
N
1
2
_
.
El segundo termino en la identidad de Vaughan es

k>N
2
5

N
2
5 <
N
k
M
N
2
5
(k) () e
_
k
_
= S
3
.
El tercer termino en la identidad de Vaughan es

d<N
2
5

N
2
5 <
N
d

m
N
d
(d)() e
_
d m
_
=

d<N
2
5

N
d

m
N
d
(d)() e
_
d m
_

d<N
2
5

N
2
5

m
N
d
(d)() e
_
d m
_
= S
1
S
2
.
Ejercicio. Pruebe que
| + | | | + | |
se cumple para cualesquiera n umeros reales y .
Pagina 19
Lema 23. Sea un n umero real. Sean q y a enteros primos relativos,
tales que q 1. Suponga que

a
q

1
q
2
.
Entonces

1r
q
2
1
| r |
q log q.
Demostracion. El lema se cumple cuando q = 0, ya que la suma en
cuestion es igual a cero. Supongamos que q 0. Para cada entero r,
existen enteros s(r) [0, q/2] y m(r) tales que
s(r)
q
=|
ar
q
| =
_
ar
q
m(r)
_
.
Puesto que (a, q) = 1, entonces s(r) = 0 si y solo si r 0 mod q. Por
lo tanto s(r) [1, q/2] siempre que r [1, q/2]. Sea

a
q
=

q
2
en donde [[ 1.
Entonces
r =
ar
q
+
r
q
2
=
ar
q
+

2q
en donde [

[ = [2r/q[ 1. Por lo tanto

| r | = |
ar
q
+

2q
| = | m(r)
s(r)
q
+

2q
|
= |
s(r)
q

2q
| |
s(r)
q
| |

2q
|
s(r)
q

1
2q
.
P agina 20
Sea 1 r
1
r
2
q/2. Mostraremos que s(r
1
) = s(r
2
) si y solo si
r
1
= r
2
. Supongamos que
|
ar
1
q
| = |
ar
2
q
| .
Entonces,

_
ar
1
q
m(r
1
)
_
=
_
ar
2
q
m(r
2
)
_
y por lo tanto ar
1
ar
2
mod q. Puesto que (a, q) = 1 entonces
r
1
r
2
mod q. Puesto que 1 r
1
r
2
q/2 entonces r
1
= r
2
. Se
sigue entonces que
_
|
ar
q
| : 1 r
q
2
_
=
_
s(r)
q
: 1 r
q
2
_
=
_
s
q
: 1 s
q
2
_
.
Por lo tanto,

1r
q
2
1
| r |

1r
q
2
_
s(r)
q

1
2q
_
1
=

1s
q
2
_
s
q

1
2q
_
1
= 2q

1s
q
2
1
2s 1
= 2q

1s
q
2
1
s
q log q.
Lema 24. Sea un n umero real. Suponga que

a
q

1
q
2
en donde q 1 y (a, q) = 1. Para cualesquiera n umero real no negativo
V y entero no negativo h, se cumple que
q

r=1
min
_
V ,
1
| (hq +r) |
_
V +q log q.
Pagina 21
Demostracion. Sea
=
a
q
+

q
2
con [[ 1.
Entonces

_
hq +r
_
= ah +
ar
q
+
h
q
+
r
q
2
= ah +
ar
q
+
[h] +h
q
+
r
q
2
= ah +
ar + [h] +(r)
q
en donde
1 (r) = h +
r
q
2.
Para cada r [1, q], existe un unico r

N tal que
(hq +r) =
ar + [h] +(r)
q
r

.
Sea t tal que
0 t 1
1
q
.
Si
t (hq +r) t +
1
q
,
entonces
qt ar qr

+ [h] +(r) qt + 1.
Esto implica que
ar qr

qt [h] + 1 (r) qt [h] + 2

y tambien que
ar qr

qt [h] (r) > qt [h] 2.

P agina 22
Por lo tanto, ar qr

yace en el intervalo
J :=
_
qt [h] 2 , qt [h] + 2

.
Este intervalo de longitud cuatro, contiene exactamente cuatro enteros
distintos. Si 1 r
1
r
2
q y ademas
ar
1
qr

1
= ar
2
qr

2
,
entonces, ar
1
ar
2
modulo q. Puesto que (a, q) = 1, entonces
r
1
r
2
(mod q) y tambien r
1
= r
2
.
Por lo tanto, para cada t [0, (q 1)/q], hay a lo mas cuatro enteros
r [1, q] tales que
_
(hq +r)
_

_
t , t +
1
q

.
Notese que | (hq +r) | [t , t + (1/q)] si y solo si
_
(hq +r)
_
o bien 1
_
(hq +r)
_
yacen en
_
t , t +
1
q

.
La segunda pertenecia, es equivalente a
_
(hq +r)
_

_
t

, t

+
1
q

.
en donde
0 t

= 1
1
q
t 1
1
q
.
Por lo tanto, para cada t [0, (q 1)/q], existen a lo mas ocho enteros
r [1, q] tales que
| (hq +r) |
_
t , t +
1
q

.
Pagina 23
Para cada s N
_
0
_
, sea J(s) = [s/q , (s + 1)/q]. Entonces
| (hq +r) | J(s)
se cumple para a lo mas ocho enteros r [1, q]. Si | (hq + r) |
J(0) = [0, 1/q], entonces aplicamos la desigualdad
min
_
V ,
1
| (hq +r) |
_
V.
Si | (hq +r) | J(s) para alg un s 1, entonces usamos
min
_
V ,
1
| (hq +r) |
_

1
| (hq +r) |

q
s
.
Lema 25. Sea un n umero real. Suponga que

a
q

1
q
2
en donde q 1 y (a, q) = 1. Para cada n umero real U 1 y entero
positivo n, se cumple que

1kU
min
_
n
k
,
1
| k |
_

_
n
q
+U +q
_
log 2qU.
Demostracion. Sea k = hq + r con 1 r q y 0 h < U/q.
Entonces
S :=

1kU
min
_
n
k
,
1
| k |
_

0h<
U
q

1rq
min
_
n
hq +r
,
1
| (hq +r) |
_
.
P agina 24
Si h = 0 y 1 r q/2, entonces, por el Lema 23,

1r
q
2
min
_
n
r
,
1
| r |
_

1r
q
2
1
| r |
q log q.
Para los terminos que restan, se cumple que
1
hq +r
<
2
(h + 1)q
.
En efecto, o bien h 1 y por lo tanto
hq +r > hq
(h + 1)q
2
,
o bien, h = 0,
q
2
< r q y por lo tanto
hq +r = r >
q
2
=
(h + 1)q
2
.
Entonces tenemos que
S q log q +

0h<
U
q

1rq
min
_
n
(h + 1)q
,
1
| (hq +r) |
_
.
Notese que
U
q
+ 1 U +q 2 max
_
q, U
_
2qU.
Podemos estimar la suma interior por el Lema 24 con V = n/(h+1)q,
para obtener
S q log q +

0h<
U
q
_
n
(h + 1)q
+q log q
_
Pagina 25
q log q +
n
q

0h<
U
q
1
n + 1
+
_
U
q
+ 1
_
q log q
q log q +
n
q
log
_
U
q
+ 1
_
+U log q +q log q

_
n
q
+U +q
_
log 2qU.
Lema 26. Suponga que

a
q

1
q
2
en donde 1 q N y (a, q) = 1. Se cumple que
S
1

_
N
q
+N
2
5
+q
_
log
2
N.
Demostracion. Sea u = N
2
5
. Puesto que 1 = log, entonces
S
1
=

du

N
d

m
N
d
(d)()e(dm)
=

du

r
N
d
(d)e(dr)

|r
() =

du
(d)

r
N
d
e(dr) log r

du

r
N
d
e(dr) log r

.
P agina 26
Estimamos ahora la suma interior

r
N
d
e(dr) log r =

r
N
d
e(dr)
r
_
1
dx
x
=
[
N
d
]

r=2
e(dr)
r

j=2
j
_
j1
dx
x
=
[
N
d
]

j=2
[
N
d
]

r=j
j
_
j1
e(dr)
dx
x
=
[
N
d
]

j=2
j
_
j1
_
[
N
d
]

r=j
e(dr)
_
dx
x
.
Por el Lema 15, se cumple que
[
N
d
]

r=j
e(dr) min
_
N
d
,
1
| d |
_
.
Por lo tanto,

r
N
d
e(dr) log r min
_
N
d
,
1
| d |
_
log N.
Por el Lema 25, tenemos
log N

du
min
_
N
d
,
1
| d |
_

_
N
q
+N
2
5
+q
_
log
2
N.
Lema 27. Suponga que

a
q

1
q
2
en donde 1 q N y (a, q) = 1. Se cumple que
S
2

_
N
q
+N
4
5
+q
_
log
2
N.
Pagina 27
Demostracion. Si d N
2
5
y N
2
5
, entonces d N
4
5
. Poniendo
k = d, se obtiene
S
2
=

dN
2
5

N
2
5

m
N
d
(d)()e
_
dm
_
=

kN
4
5

m
N
k
e(km)

d,N
2
5
k=d
(d)().
Notese primero que

d,N
2
5
k=d
()

|k
() = log k log N.
Por el Lema 25, se obtiene que
S
2

kN
4
5
min
_
N
k
,
1
| k |
_

d,N
2
5
k=d
()
_
N
q
+N
4
5
+q
_
log
2
N.
Esto termina la demostracion del lema.
Ejercicio 28. Sea d = 1 1. Usar el hecho de que d(mn) d(m)d(n)
para probar que

nx
d
2
(n) xlog
3
x.
Lema 29. Suponga que

a
q

1
q
2
P agina 28
en donde 1 q N y (a, q) = 1. Se cumple que
S
3

_
N
q
1
2
+N
4
5
+N
1
2
q
1
2
_
log
4
N.
Demostracion. Sean
u = N
2
5
y h =
_
log N
5 log 2
_
+ 1.
Entonces N
1
5
< 2
h
2N
1
5
y tambien h log N. Si j h, entonces
2
j
u 2N
3
5
N. Si N
2
5
< N/k, entonces
k
N

< N
3
5
= N
1
5
u < 2
h
u.
Por lo tanto
S
3
=

k>N
2
5

N
2
5 <
N
k
M
u
(k)()e
_
k
_
=
h

j=1

2
j1
u<k2
j
u
M
u
(k)

u<
N
k
()e
_
k
_
=
h

j=1
S
3,j
en donde
S
3,j
=

2
j1
u<k2
j
u
M
u
(k)

u<
N
k
()e
_
k
_
.
Por la desigualdad de Cauchy-Schwarz, obtenemos
(30)
[S
3,j
[
2

2
j1
u<k2
j
u
[M
u
(k)[
2

2
j1
u<k2
j
u

u<
N
k
()e
_
k
_

2
.
Pagina 29
Para estimar la primera suma en el lado derecho de (30), notese que

M
u
(k)

d|k
du
(d)

d|k
du
1 d(k).
Por el Ejercicio 28,

2
j1
u<k2
j
u
[M
u
(k)[
2

2
j1
u<k2
j
u
d
2
(k) 2
j
ulog
3
N
ya que 2
j
u N.
Para estimar la segunda suma en (30), notese que

2
j1
u<k2
j
u

u<
N
k
()e
_
k
_

2
=

2
j1
u<k2
j
u

u<
N
k

u<m
N
k
()(m)e
_
k( m)
_
=

mA
()(m)

kI(,m)
e
_
k( m)
_
en donde / = N (u, N2
1j
u
1
),
I(, m) = N
_
2
j1
u, min
_
2
j
u,
N

,
N
m
_
_
.
Puesto que Card I(, m) 2
j1
u, entonces

kI(,m)
e
_
k( m)
_
min
_
2
j1
u,
1
| ( m) |
_
.
P agina 30
Por lo tanto

2
j1
u<k2
j
u

u<
N
k
()e
_
k
_

mA
()(m) min
_
2
j1
u,
1
| ( m) |
_
log
2
N

mA
min
_
2
j1
u,
1
| ( m) |
_
.
Sea s = m con , m /. Entonces [s[ < N/2
j1
u y el n umero
de estas representaciones de s no excede a N/2
j1
u. Por el Lema 25,
tenemos que

2
j1
u<k2
j
u

u<
N
k
()e
_
k
_

2
log
2
N
N
2
j1
u

1s
2N
2
j
u
min
_
2
j1
u,
1
| s |
_
log
2
N
N
2
j1
u

1s
2N
2
j
u
min
_
N
s
,
1
| s |
_

N
2
j1
u
_
N
q
+
N
2
j1
u
+q
_
log
3
N.
Por lo tanto
[S
3,j
[
2
2
j
ulog
3
N
N
2
j1
u
_
N
q
+
N
2
j1
u
+q
_
log
3
N
N
2
log
6
N
_
1
q
+
1
u
+
q
N
_
.
Pagina 31
Por lo tanto
[S
3,j
[ N log
3
N
_
1
q
1
2
+
1
N
1
5
+
q
1
2
N
1
2
_
.
Puesto que h log N, entonces
S
3
=
h

j=1
S
3,j

_
N
q
1
2
+N
4
5
+N
1
2
q
1
2
_
log
4
N.