Distribución de Los Números Primos - (Capıtulo 4)

Capı́tulo 4
Teorema del valor medio de Vino-

gradov y su aplicación a la función
ζ(s)
Since 1934 the analytic theory of numbers has been largely trasformed
by the work of Vinogradov. This work, which has led to remarkable new
results, is characterized by its supreme ingenuity and great power.
K. Roth and A. Davenport.1
§1. Introducción
En este capı́tulo presentamos el Teorema del Valor Medio de Vinogradov y abordaremos
una de sus profundas implicaciones en el estudio de la función zeta de Riemann; el orden de
la función ζ(s) en cierta región. Además, presentamos el mejor resultado hasta hoy conocido
sobre la región libre de ceros de la función ζ(s).
Sean P un entero suficientemente grande, y k, n enteros positivos. Dados los enteros
λ1 , · · · , λn se denota por Jk,n (P ; λ1 , · · · , λn ) al número de soluciones enteras del sistema de
ecuaciones
Copyright © 2014. Ediciones Díaz de Santos. All rights reserved.
⎧
⎪
⎪x1 + · · · + xk − xk+1 − · · · − x2k = λ1
⎪
⎪
⎨x2 + · · · + x2 − x2 − · · · − x2 = λ
1 k k+1 2k 2
(4.1)
⎪
⎪ · · · · · · · · · · · ·
⎪
⎪
⎩xn + · · · + xn − xn − · · · − xn = λ
1 k k+1 2k n
1
Fragmento del prefacio de [27].
Sanchez, Jorge, and Miguel Corona. Distribución de los números primos, Ediciones Díaz de Santos, 2014. ProQuest Ebook Central,
http://ebookcentral.proquest.com/lib/bibliofnisp/detail.action?docID=4795298.
Created from bibliofnisp on 2019-05-08 22:05:06.
4. Teorema del valor medio de Vinogradov y su aplicación a la función ζ(s) 54
donde 1 ≤ x1 , · · · , x2k ≤ P . El número Jk,n (P ; λ1 , · · · , λn ) se puede escribir en la siguiente

forma integral:
1 1 2k

Jk,n (P ; λ1 , · · · , λn ) = ··· exp 2πi(α1 x + · · · + αn xn ) exp 2πi(−α1 λ1 − · · · − αn λn ) d
0 0 x≤P
Si λ1 = · · · = λn = 0, entonces se denota Jk,n (P ) = Jk,n (P ; 0, · · · , 0) y además la

expresión integral
1 1 2k

Jk,n (P ) = ··· exp 2πi(α1 x + · · · + αn xn ) dα1 · · · dαn ,
0 0 x≤P
se considera como el valor medio de la función

2k

F (α1 , · · · , αn ) = exp 2πi(α1 x + · · · + αn xn ) ,
x≤P
donde 0 ≤ α1 , · · · , αn ≤ 1.
Se puede verificar fácilmente el siguiente Lema.
Lema 4.2. Son justas las siguientes relaciones:
a)
Jk,n (P ; λ1 , · · · , λn ) ≤ Jk,n (P ),
b)
Jk,n (P ; λ1 , · · · , λn ) = P 2k ,
λ1 ,··· ,λn
c)
|λ1 | < kP, |λ2 | < kP 2 , · · · , |λn | < kP n ,
d)
(2k)−n P 2k−(n
2 +n)/2
≤ Jk,n (P ),
e)
2k

exp 2πi(α1 x + · · · + αn xn ) = Jk,n (P ; λ1 , · · · , λn )exp 2πi(−α1 λ1 − · · · − αn
x≤P λ1 ,··· ,λn
f)
2k

exp 2πi(α1 xy + α2 x2 y 2 + · · · + αn xn y n )
x≤P y≤P

≤ Jk,n (P ; λ1 , · · · , λn ) exp 2πi(−α1 λ1 x − α2 λ2 x2 − · · · − αn λn xn ).
λ1 ,··· ,λn x≤P
§2. Teorema del valor medio de Vinogradov
El teorema del valor medio de Vinogradov establece una estimación para Jk,n (P ) y se
trata de una poderosa herramienta que ha encontrado aplicaciones en el estudio de proble-
mas clásicos de la teorı́a de los números tales como el problema de Waring y propiedades
acerca de la función zeta de Riemann.2 El teorema del valor medio es por sı́ mismo un tema
de estudio tan profundo que describir todos los detalles nos obligarı́a a desviar la atención
de nuestro objetivo particular, por tal razón será presentado sin demostración. Sin embar-
go, en esta sección estudiaremos con detalle el resultado de Vinogradov para obtener una
estimación no trivial de la llamada suma zeta.
Teorema 4.3. (Valor medio de Vinogradov). Sean r ≥ 1 un entero, k ≥ n2 + nr y P ≥ P0 .

Entonces tiene lugar la estimación
Jk,n (P ) ≤ (4n)4kr P 2k−(n

2 +n)/2+δ
r
,
donde r
n2 + n 1
δr = 1− .
2 n
Definición 4.4. Las sumas de la forma

N 2M

it
S1 = n ; S2 = nit ,
n=1 n=M +1
son llamadas sumas zetas. Para la estimación de estas sumas se requieren los siguientes
lemas.
Lema 4.5. Sea α > 0 un número real. Sean k ∈ Z y P ≥ 1 enteros fijos. Entonces se tiene
1
e2πiαkx ≤ mı́n P, ,
||αk||
1≤x≤P
2
Puede consultarse [15].
donde ||x|| está definida en (1.5).
Demostración. Supongamos que αk no es un entero, entonces

P |e2πiαkP − 1| | sen παkP |
1
e2πiαkx = 2πiαk = ≤ .
|e − 1| | sen παk| | sen παk|
x=1
Por otra parte, sabemos que | sen πx| ≥ ||x||. De esta forma concluimos

P 1
e2πiαkx ≤ mı́n P, . 2
||αk||
x=1
Lema 4.6. (Dirichlet). Sean α > 0 y τ > 1 números reales fijos. Entonces existen enteros
primos relativos a, q con 1 ≤ q ≤ τ tales que
a θ
α = + , |θ| ≤ 1.
q qτ
Demostración. Sin perder generalidad podemos suponer que α < 1. De esta manera
consideremos al conjunto {αm}, para m = 0, · · · , [τ ] y dividamos al intervalo [0, 1] en
1
[τ ] + 1 secciones uniformes de longitud [τ ]+1 .
[τ ]
Supongamos que {αm} ≥ [τ ]+1 para algún m. Entonces
1 1
(4.7) |αm − ([αm] + 1)| ≤ < ,
[τ ] + 1 τ
en este caso llamemos q1 = m y a1 = [αm] + 1. Por el contrario, si los [τ ] + 1 números {αm},
están distribuidos en los intervalos
% %
1 [τ ] − 1 [τ ]
0, ,··· , , ,
[τ ] + 1 [τ ] + 1 [τ ] + 1
entonces existen enteros m1 y m2 con 0 ≤ m1 < m2 ≤ [τ ] que satisfacen
1 1
(4.8) |{m2 α} − {m1 α}| = |α(m2 − m1 ) − ([αm2 ] − [αm1 ])| ≤ < ,
[τ ] + 1 τ
en este caso llamemos q1 = (m2 − m1 ) y a1 = [αm2 ] − [αm1 ]. Notemos que en ambos casos
q1 ≤ τ . Ası́, dividiendo las desigualdades (4.7) y (4.8) por q1 y tomando la fracción reducida
a/q = a1 /q1 obtenemos
a θ
α− = , (a, q) = 1, q ≤ τ, |θ| ≤ 1. 2
q qτ
En particular, para cada α ∈ R existen enteros a y q con (a, q) = 1, q ≥ 1 tales que
a θ
α− = 2, |θ| ≤ 1.
q q
Lema 4.9. Sean α, β, números reales. Entonces es válida la siguiente estimación

1 M
mı́n P, ≤ 5 + 1 (P + q log q),
αk + β q
N <k≤N +M
donde
a θ
α = + 2, (a, q) = 1, |θ| ≤ 1.
q q
Demostración. Supongamos que 0 < α < 1. Escribiendo k = qt + r con 1 ≤ t ≤ M/q + 1

y 1 ≤ r ≤ q tenemos
M
+1
1
q

q 1
mı́n P, ≤ mı́n P,
||αk + β|| ||α(qt + r + N ) + β||
N <k≤N +M t=1 r=1

q
M 1
≤ +1 máx mı́n P,
q 1≤t≤M/q+1 ||α(qt + r + N ) + β||
r=1

q
M 1
(4.10) ≤ +1 mı́n P, .
q ||αr + β1 ||
r=1
Por otra parte, escribiendo β1 = ([qβ1 ] + {qβ1 })/q tenemos
ar + [qβ1 ] θr + q{qβ1 }
αr + β1 = + .
q2
Puesto que (a, q) = 1, la expresión y = ar + [qβ1 ] recorre el sistema de residuos módulo q a

la vez que r. También es posible escribir θr + q{qβ1 } en términos de y, pues a pertenece al
sistema reducido de residuos módulo q, es decir,
θr + q{qβ1 } = θa−1 (y − [qβ1 ]) + q{qβ1 } = θ (y), |θ (y)| < 2q.
De esta forma se tiene

q θ (y)
1 1
mı́n P, = mı́n P, , |θ | = < 2.
||αr + β1 || || y+θ
q ||
q
r=1 |y|≤q/2
Si 2 < |y| ≤ q/2, entonces

|y| − 2 |y| + θ 1 θ
0 < < ≤ + < 1,
q q 2 q
pues θ /q < 1/2. Por lo tanto, (|y| + θ )/q = (y + θ )/q y ası́
& &
|y| − 2 & y + θ &
0 < < && &.
q q &
Luego
1 1 1
mı́n P, ≤ mı́n P, +
|y|≤q/2
|| y+θ
q || |y|≤2
|| y+θ
q || 2<|y|≤q/2
|| y+θ
q ||
1
≤ 5P + 2q ≤ 5P + 4q log q
y−2
2<y≤q/2
≤ 5(P + q log q).
Finalmente, de (4.10) se tiene

1 M
mı́n P, ≤ 5 + 1 (P + q log q). 2
||αk + β|| q
N <k≤N +M
Teorema 4.11. Existe una constante absoluta c0 > 0 tal que para 2 ≤ N ≤ t, tiene lugar
la estimación
log3 N
S1 N exp −c0 .
log2 t
Demostración. Notemos que

[log N ]+1

S1 |S2 (k)|, donde S2 (k) = nit .
k=0 2k <n≤2k+1
Entonces
S1 S2 (k) log N,
para algún 0 ≤ k ≤ [log N ] + 1. Por tal razón es suficiente estimar a la suma zeta del tipo
S2 . Efectivamente, sean N0 ≤ M ≤ N y x, y enteros tales que
1 ≤ x ≤ a, 1 ≤ y ≤ a, a = [M 2/5 ].
Definimos
2M
2M
+xy
S = exp {it log(n + xy)} = nit .
n=M +1 n=M +xy+1
Entonces
S2 = S + 2θa2 , |θ| ≤ 1.
Luego
2M

2
a S2 = exp {it log(1 + xy/n) + it log n} + 2θa4 .
n=M +1 x≤a y≤a
Por lo tanto

S2 M a−2 máx |T (n)| + a2 , donde T (n) = exp {it log(1 + xy/n)}.
M +1≤n≤2M
x≤a y≤a
Tomamos la expansión en serie de Taylor de log(1 + xy/n) para 0 < xy/n < 1 y usamos
la desigualdad |eiu − 1| = 2| sen u/2| ≤ u para obtener
exp {it log(1 + xy/n)} = exp {itFr (x, y)} + tθ1 (a2 n−1 )r+1 , |θ1 | ≤ 1;
donde

r
Fr (x, y) = (−1)k−1 k −1 (xyn−1 )k .
k=1
Escogemos
' log t (
(4.12) r = 5.01 .
log M
Con tal elección de r se tiene

1 log t
M t(a2 n−1 )r+1 ≤ M tM −(r+1)/5 ≤ (M t) exp − log M 5.01 = M t−1/500 .
5 log M
Por lo tanto
S2 M a−2 máx U (n) + M 4/5 + M t−1/500 ,
M +1≤n≤2M
donde

t
U (n) = exp 2πi(α1 xy + · · · + αr xr y r ), para αj = (−1)j−1 , j = 1, · · · , r.
2πjnj
x≤a y≤a
De la desigualdad de Hölder se obtiene

r r−1
(4.13) uk vk ≤ uk uk (vk )r ,
1≤k≤n 1≤k≤n 1≤k≤n
para uk , vk ≥ 0 y r ∈ N. Elevando a la potencia 2k a U (n), aplicando (4.13) y después el

Lema 4.2, obtenemos
2k

U 2k (n) ≤ a2k−1 exp 2πi{α1 xy + · · · + αr xr y r }
x≤a y≤a

2k−1
≤ a Jk,r (λ1 , · · · , λr ) exp 2πi{α1 λ1 x + · · · + αr λr xr }.
λ1 ,··· ,λr x≤a
Nuevamente aplicando (4.13) y después el Lema 4.2 tenemos que

2k−1
U 4k (n) ≤ a4k −2k
2 2
Jk,r (λ1 , · · · , λr ) ×
λ1 ,··· ,λr
2k

× Jk,r (λ1 , · · · , λr ) exp 2πi{α1 λ1 x + · · · + αr λr xr }
λ1 ,··· ,λr x≤a
2k

8k2 −4k
≤ Jr,k (a)a exp 2πi{α1 λ1 x + · · · + αr λr xr } .
λ1 ,··· ,λr x≤a
Por los Lemas 4.2 y 4.5 tenemos que

2k

exp 2πi{α1 λ1 x + · · · + αr λr xr }
λ1 ,··· ,λr x≤a

= Jk,r (μ1 , · · · , μr )exp 2πi{−α1 λ1 μ1 − · · · − αr λr μr }
λ1 ,··· ,λr
μ1 ,··· ,μr

≤ Jk,r (a) exp 2πi{α1 λ1 μ1 } · · · exp 2πi{αr λr μr }
μ1 ,··· ,μr λ1 λr

−1
≤ Jk,r (a) mı́n(2A1 , ||α1 μ1 || ) · · · mı́n(2Ar , ||αr μr ||−1 )
μ1 ,··· ,μr
r
≤ Jk,r (a) mı́n(2Am , ||αm μm ||−1 ),
m=1 |μm |<Am
donde Am = 2kam para m = 1, · · · , r. Sea m de tal manera que

' 2 log t ( ' 5 log t (
1 + ≤ m ≤ .
log M log M
Por el Lema 4.9, se tiene
2A
mı́n(2Am , ||αm μm ||−1 ) ≤ 5
m
+ 1 (2Am + qm log qm )
qm
|μm |<Am
1 1 qm
≤ 5(2Am )2 log qm + + ,
qm Am 4A2m
donde
(−1)m−1 t am θm
αm = m
= + 2 , |θm | ≤ 1,
2πmn qm qm
am = (−1)m−1 , qm = [2πmnm t−1 ] > 1.
Tenemos que log qm ≤ m log(2M ) ≤ 2m log M . Para k r2 , t ≥ t0 y m ≥ 2 log t/ log M , se

tiene
qm ≥ mnm t−1 ≥ mM m t−1 ≥ 8kam = 4Am .
Entonces
1 1 qm qm 2πm2m M m
+ + ≤ ≤ ≤ m22m+1 M m/5 t−1 .
qm Am 4A2m A2m 4ta2m
Lo cual implica que

r
mı́n(2Am , ||αm μm ||−1 )
m=1 |μm |<Am

r
≤ (2Am )2 (m2 22m+5 M m/5 t−1 log M )
m=1 1+[2 log t/ log M ]≤m≤[5 log t/ log M ]
2r 8r 2 r 2 +r
≤ W (4k) 2 a logr M,
donde
W = M m/5 t−1 .
1+[2 log t/ log M ]≤m≤[5 log t/ log M ]
Para números enteros a, b tales que b > a ≥ 1, se tiene

1
n = (b − a)(b + a + 1).
2
a+1≤n≤b
Por lo tanto escribiendo Y = log t/ log M , obtenemos
log M
log W = {([5Y ] − [2Y ])([5Y ] + [2Y ] + 1) − 10Y ([5Y ] − [2Y ])}
10
log M log M
≤ ([5Y ] − [2Y ])(1 − 3Y ) ≤ − (3Y − 1)2 ,
10 10
aquı́ usamos el hecho de que [x] − [y] ≥ x − y − 1. Ahora observe que podemos suponer que
Y = log t/ log M ≥ 10, esto es, podemos restringirnos al rango
exp {log2/3 t} ≤ M ≤ t1/10 .
La condición Y ≥ 10 nos da
log M 29 2 841 log2 t

log W ≤ − Y = − .
10 10 1000 log M
Luego

r 841 log2 t r
mı́n(2Am , ||αm μm ||−1 ) ≤ (4k)2r 28r ar
2 2 +r
exp − log M,
1000 log M
m=1 |μm |<Am
y
841 log2 t r
U 4k (n) ≤ Jk,r
2
(a)(4k)2r 28r a8k
2 2 2 −4k+r 2 +r
exp − log M.
1000 log M
Aplicamos la estimación de Jk,r (a) del Teorema 4.3 con k = (R + 1)r2 , siendo R un entero
explı́cito que más adelante determinaremos, de esta forma obtenemos
−2
2 −2 −1 Rr −2 841 log2 t
U (n) ≤ ((4k)2r 28r (4r)8krR )(2k) a(r +r)(2k) (1−r ) a2 (log M )r(2k) exp {−
2
4000k 2 log M
El primer factor, entre llaves, en la parte derecha de la desigualdad, sólo depende de r. Por
otra parte, para cualquier ε > 0 y M > M0 (ε) se tiene
ε log2 t
−2
(log M )r(2k) < exp 2
.
4000k log M
La condición M ≤ t1/10 implica por (4.12) que r ≥ 50, luego r2 + r ≤ (51/50)r2 . Además,
usando el hecho (1 − r−1 )rR ≤ e−R , tenemos
2 +r)(2k)−2 (1−r −1 )Rr 2 51 51e−R log M

a(r ≤ exp (log M ) r2 e−R (2k)−2 = exp .
5 50 500(R + 1)2 r2
Por lo tanto
51e−R ε − 841 log M
U (n) a2 exp + .
500 100.401 r2 (R + 1)2
Ahora, escogemos a R ≥ 0 un entero tal que minimice a
51e−R 841
f (R) = − (R + 1)−2 .
500 100.401
Un cálculo muestra que el valor óptimo es R = 4, el cual proporciona f (R) = −1/3841.2987 · · · .
Por lo tanto, para ε suficientemente pequeño obtenemos
log M log3 M
U (n) a2 exp − } ≤ a2
exp {− .
3842r2 96.500 log2 t
Finalmente se tiene
log3 M
S2 M exp −c1 . 2
log2 t
Teorema 4.14. Existe una constante absoluta c1 > 0 tal que para σ ≥ 1 − c1
se tiene
log2/3 |t|
ζ(σ + it) = O(log2/3 |t|), para |t| ≥ 2.
Demostración. Podemos suponer que σ ≤ 2. Sean c1 = c0 /2, donde c0 es la constante del

Teorema 4.11, N = [elog |t| ] y x = |t|. Por el Lema 2.8 se tiene
2/3
1 1
ζ(s) = + + O(1).
ns ns
n≤N N <n≤x
Valoricemos la primera suma
1 1 N N 1−σ
du u
s ≤ σ
≤ 1+ σ
= 1+ du
n n u u
n≤N n≤N 1 1
N
−2/3
|t| du
≤ 1+ N c1 log = O(log N ) = O(log2/3 |t|).
u
1
Para la valorización de la segunda suma apliquemos la fórmula de sumación de Abel y el

Teorema 4.13
x
1
≤ σ |C(u)|u−(1+σ) du + |C(x)|x−σ
ns
N <n≤x N
x log3 u
= O u−σ exp −c0 2 du + O(|t|1−(σ+c0 ) )
log |t|
N
x
log
v3
= O exp v(1 − σ) − c0 dv + O(1)
log2 |t|
log N

log x
v3
= O exp −c0 /2 dv + O(1) = O(log2/3 |t|).
log2 |t|
log N
Se concluye la demostración. 2
§3. Región libre de ceros de la función zeta de Riemann dada por Vinogradov
Establecer una región libre de ceros en la franja crı́tica es de importancia fundamental

en la teorı́a de la función zeta. Una aplicación inmediata se da en la estimación del término
de error en el teorema de los números primos. El siguiente teorema presenta el resultado
sobre la región libre de ceros obtenido por Vinogradov, resultado que permanece sin mejorar
desde 1942.
Teorema 4.15 (Vinogradov). Existe una constante absoluta c > 0 tal que ζ(s) = 0 en la
región
c
σ ≥ 1 − 2/3
.
log (|t| + 2) log log(|t| + 2)
Demostración. Mostremos que si ρ = β + iγ es tal que ζ(ρ) = 0, entonces existe una

constante absoluta c0 > 0 tal que

c0
β ≤ 1 − .
log2/3 (2γ + 2) log log(2γ + 2)
Supongamos que
d
β = 1 − 2/3
.
log (2γ + 2) log log(2γ + 2)
Vamos a mostrar que d ≥ c0 > 0. Si d > 1 el resultado es trivial. Entonces podemos suponer
1
d ≤ 1. Sea γ ≥ γ0 > 0 tal que log log(2γ+2) c1
< 10 , donde c1 es la constante del Teorema 4.14.
Entonces
d c1
(4.16) < .
log log(2γ + 2) 10
Sea
4d
s0 = 1 + 2/3
+ iγ = β0 + iγ.
log (2γ + 2) log log(2γ + 2)
c1
Del punto s0 tracemos un cı́rculo de radio r, donde r = . Luego el punto ρ
log2/3 (2γ+2)
estará dentro del cı́rculo con centro en s0 y radio r/2, ya que de (4.16) se obtiene
c1 5d
2/3
≥ 2/3
= |ρ − s0 |.
2 log
(2γ + 2) log (2γ + 2) log log(2γ + 2)

ζ(s)
Ahora, estimemos ζ(s 0)
en el cı́rculo |s − s0 | ≤ r. Por el Teorema 4.14, en el cı́rculo
|s − s0 | ≤ r se tiene que ζ(s) log2/3 (t + 2). Por otro lado
∞
∞
∞
1 μ(n) 1 1
≤ s0 ≤ ≤ 1+ du
|ζ(s0 )| n n β0 u β0
n=1 n=1 1
2/3
log (2γ + 2) log log(2γ + 2)
= 1+ .
4d
Entonces tenemos que

ζ(s) 4/3 2
≤ log (2γ + 2) log log(2γ + 2) ≤ c2 log (2γ + 2) =: M.
ζ(s0 ) d d
De manera análoga obtenemos una estimación en el cı́rculo |s−s1 | ≤ r, donde s1 = β0 +2iγ.

Dado que ζ(s) = 0 en las regiones
r
|s − s0 | ≤ e(s − s0 ) ≥ 0;
,
2
r
|s − s1 | ≤ , e(s − s1 ) ≥ 0,
2
y además en la región |s−s0 | ≤ 2r , e(s−s0 ) ≤ 0, se tiene que ζ(ρ) = 0. Entonces, aplicando
el Corolario 1.37 con F (s) = ζ(s) tenemos
ζ (s0 ) 4 1
e ≥ − log M e
ζ(s0 ) r s0 − ρ
4 log2/3 (2γ + 2) log log(2γ + 2)

(4.17) = − log2/3 (2γ + 2) log M + ,
c1 5d
y además
ζ (s1 ) 4 4
(4.18) e ≥ − log M = − log2/3 (2γ + 2) log M.
ζ(s1 ) r c1
Por el Corolario 2.22, para 1 < β0 ≤ 2, se tiene
ζ (β0 ) 1
(4.19) − < + c3 .
ζ(β0 ) β0 − 1
Por otro lado, siempre se cumple

ζ (β0 ) ζ (s0 ) ζ (s1 )
3 − + 4 −e + −e ≥ 0.
ζ(β0 ) ζ(s0 ) ζ(s1 )
Sustituyendo las estimaciones (4.17), (4.18) y (4.19) en la última desigualdad y simplifican-

do, obtenemos
1 40 20
− log log(2γ + 2) + log log(2γ + 2) − log d + c4 ≥ 0,
20d c1 c1
o bien
20
log log(2γ + 2) + d log d
c1
d ≥ .
40
log log(2γ + 2) + c4
c1
Dado que d log d → 0 si d → 0, entonces de la última desigualdad vemos que d ≥ c0 > 0. El
Teorema está demostrado. 2
En el siguiente corolario damos fórmulas asintónticas para la función de Chebyshev y la

función π(x).
Corolario 4.20. Para ε > 0 y x ≥ x0 (ε) > 0, se cumplen las fórmulas asintóticas
ψ(x) = x + O(xe−c1 (log x)

3/5−ε
);
x
du
+ O(xe−c2 (log x)
3/5−ε
π(x) = ),
log u
2
donde c1 = c1 (ε) > 0 y c2 = c2 (ε) > 0.
3
−3/5
Demostración. Elı́jase a T de tal manera que T = elog 5 x(log log x) . Por el Teorema 2.45
y el Teorema 4.15, se tiene
1 x log2 x
|ψ(x) − x| ≤ xβ + O
|ρ| T
|m ρ|≤T
2 1 x log2 x
≤ x1−c/(log 3 T log log T ) + O .
|γ| T
|γ|≤T
Dado que se cumple

1 log k
≤ ≤ log2 x,
|γ| k
|γ|≤T k≤T
entonces tenemos
ψ(x) − x = O(xe−c1 log

3/5−ε
x
), si ε > 0, x ≥ x0 (ε) > 0.
Por otro lado

Λ(n) Λ(n) √
= 1 + ≤ π(x) + 1 = π(x) + O( x log x).
log n log n √
n≤x p≤x k
n=p ≤x n=p≤ x
k≥2 2≤k≤log x
Por la fórmula de sumación de Abel, deducimos

x 1 ψ(x) √
π(x) = − ψ(u) du + + O( x log x)
log u log x
2
⎛ ⎞
x x
1 1
du + O ⎝ ue−c1 log du⎠
3/5−ε
= − u u
log u log u
2 2
x
+ O(xe−c1 log
3/5−ε
x
+ ).
log x
Dado que
√
x 1 x −c1 log3/5−ε u x −c1 log3/5−ε u
e e
ue−c1 log
3/5−ε
u
du = 2 du + du
log u log u √ log2 u
2 2 x
xe x
c
− √1 log 3/5−ε
√ 2
= O( x) + O 2√ ,
log x
entonces obtenemos
x
du
+ O(xe−c1 log
3/5−ε
π(x) = x
). 2
log u
2

Distribución de Los Números Primos - (Capıtulo 4)

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Distribución de Los Números Primos - (Capıtulo 4)

Cargado por

Copyright:

Formatos disponibles

Capı́tulo 4

Teorema del valor medio de Vino-

K. Roth and A. Davenport.1

donde 1 ≤ x1 , · · · , x2k ≤ P . El número Jk,n (P ; λ1 , · · · , λn ) se puede escribir en la siguiente

Si λ1 = · · · = λn = 0, entonces se denota Jk,n (P ) = Jk,n (P ; 0, · · · , 0) y además la

se considera como el valor medio de la función

Se puede veriﬁcar fácilmente el siguiente Lema.

Lema 4.2. Son justas las siguientes relaciones:

§2. Teorema del valor medio de Vinogradov

Teorema 4.3. (Valor medio de Vinogradov). Sean r ≥ 1 un entero, k ≥ n2 + nr y P ≥ P0 .

Jk,n (P ) ≤ (4n)4kr P 2k−(n

Deﬁnición 4.4. Las sumas de la forma

donde ||x|| está deﬁnida en (1.5).

Demostración. Supongamos que αk no es un entero, entonces

En particular, para cada α ∈ R existen enteros a y q con (a, q) = 1, q ≥ 1 tales que

Lema 4.9. Sean α, β, números reales. Entonces es válida la siguiente estimación

Demostración. Supongamos que 0 < α < 1. Escribiendo k = qt + r con 1 ≤ t ≤ M/q + 1

Por otra parte, escribiendo β1 = ([qβ1 ] + {qβ1 })/q tenemos

Puesto que (a, q) = 1, la expresión y = ar + [qβ1 ] recorre el sistema de residuos módulo q a

θr + q{qβ1 } = θa−1 (y − [qβ1 ]) + q{qβ1 } = θ (y), |θ (y)| < 2q.

De esta forma se tiene

Si 2 < |y| ≤ q/2, entonces

Finalmente, de (4.10) se tiene

Demostración. Notemos que

Con tal elección de r se tiene

De la desigualdad de Hölder se obtiene

para uk , vk ≥ 0 y r ∈ N. Elevando a la potencia 2k a U (n), aplicando (4.13) y después el

Nuevamente aplicando (4.13) y después el Lema 4.2 tenemos que

Por los Lemas 4.2 y 4.5 tenemos que

donde Am = 2kam para m = 1, · · · , r. Sea m de tal manera que

Tenemos que log qm ≤ m log(2M ) ≤ 2m log M . Para k r2 , t ≥ t0 y m ≥ 2 log t/ log M , se

Para números enteros a, b tales que b > a ≥ 1, se tiene

Por lo tanto escribiendo Y = log t/ log M , obtenemos

exp {log2/3 t} ≤ M ≤ t1/10 .

log M  29 2 841 log2 t

2 +r)(2k)−2 (1−r −1 )Rr 2 51   51e−R log M 

ζ(σ + it) = O(log2/3 |t|), para |t| ≥ 2.

Demostración. Podemos suponer que σ ≤ 2. Sean c1 = c0 /2, donde c0 es la constante del

Valoricemos la primera suma

Para la valorización de la segunda suma apliquemos la fórmula de sumación de Abel y el

Establecer una región libre de ceros en la franja crı́tica es de importancia fundamental

Demostración. Mostremos que si ρ = β + iγ es tal que ζ(ρ) = 0, entonces existe una

constante absoluta c0 > 0 tal que

De manera análoga obtenemos una estimación en el cı́rculo |s−s1 | ≤ r, donde s1 = β0 +2iγ.

4 log2/3 (2γ + 2) log log(2γ + 2)

Sustituyendo las estimaciones (4.17), (4.18) y (4.19) en la última desigualdad y simpliﬁcan-

En el siguiente corolario damos fórmulas asintónticas para la función de Chebyshev y la

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

donde c1 = c1 (ε) > 0 y c2 = c2 (ε) > 0.

Dado que se cumple

ψ(x) − x = O(xe−c1 log

Por otro lado

Por la fórmula de sumación de Abel, deducimos

También podría gustarte

log M 29 2 841 log2 t

2 +r)(2k)−2 (1−r −1 )Rr 2 51 51e−R log M