Introduçao A Métodos de Crivo em Teoria Dos Números - Júlio Andrade

Introduo aos Mtodos de
Crivos em Teoria dos Nmeros

Publicaes Matemticas

Introduo aos Mtodos de
Crivos em Teoria dos Nmeros

Jlio Andrade
Brown University
University of Bristol

29
o
Colquio Brasileiro de Matemtica

Copyright 2013 by Jlio Andrade

Impresso no Brasil / Printed in Brazil

Capa: Noni Geiger / Srgio R. Vaz

29
o
Colquio Brasileiro de Matemtica

Anlise em Fractais Milton Jara
Asymptotic Models for Surface and Internal Waves Jean-Claude Saut
Bilhares: Aspectos Fsicos e Matemticos Alberto Saa e Renato de S
Teles
Controle timo: Uma Introduo na Forma de Problemas e Solues Alex
L. de Castro
Eigenvalues on Riemannian Manifolds Changyu Xia
Equaes Algbricas e a Teoria de Galois Rodrigo Gondim, Maria Eulalia
de Moraes Melo e Francesco Russo
Ergodic Optimization, Zero Temperature Limits and the Max-Plus Algebra
Alexandre Baraviera, Renaud Leplaideur e Artur Lopes
Expansive Measures Carlos A. Morales e Vctor F. Sirvent
Funes de Operador e o Estudo do Espectro Augusto Armando de Castro
Jnior
Introduo Geometria Finsler Umberto L. Hryniewicz e Pedro A. S.
Salomo
Introduo aos Mtodos de Crivos em Teoria dos Nmeros Jlio
Andrade
Otimizao de Mdias sobre Grafos Orientados Eduardo Garibaldi e Joo
Tiago Assuno Gomes

ISBN: 978-85-244-0359-0
Distribuio: IMPA
Estrada Dona Castorina, 110
22460-320 Rio de Janeiro, RJ
E-mail: ddic@impa.br
http://www.impa.br

i
i
templatetexto 2013/5/17 21:14 page 3 #3
i
i
i
i
i
i
Conte udo
Prefacio i
1 Funcoes Aritmeticas e Algumas Notacoes Basicas da
Teoria Analtica dos N umeros 3
1.1 A notacao de BachmannLandau . . . . . . . . . . . . 3
1.2 A Funcao de Mobius . . . . . . . . . . . . . . . . . . . 5
1.3 A Tecnica de Soma Parcial. . . . . . . . . . . . . . . . 7
1.4 O Teorema de Tchebychef . . . . . . . . . . . . . . . . 8
1.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . 12
2 Alguns Crivos Elementares 14
2.1 Generalidades . . . . . . . . . . . . . . . . . . . . . . . 14
2.2 O Crivo de Gallagher ou o Maior Crivo . . . . . . . . 16
2.3 O Crivo para Quadrados Perfeitos . . . . . . . . . . . 21
2.4 O Crivo usando series de Dirichlet . . . . . . . . . . . 26
2.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . 29
3 Um Teorema de Hardy e Ramanujam: O Metodo da
Ordem Normal 31
3.1 Um Teorema de Hardy e Ramanujan . . . . . . . . . . 31
3.2 O n umero normal de divisores primos de um polinomio 35
3.3 Estimativas sobre N umeros Primos . . . . . . . . . . . 38
3.4 Aplicacao do metodo para outras sequencias . . . . . . 40
3.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . 42
3
i
i
i
i
i
i
i
i
4 CONTE
UDO
4 O Crivo de Turan 43
4.1 A Desigualdade Basica . . . . . . . . . . . . . . . . . . 43
4.2 Contando polinomios irredutveis em F
p
[x] . . . . . . . 46
4.3 Contando polinomios irredutveis em Z[x] . . . . . . . 48
4.4 Valores quadrados de polinomios . . . . . . . . . . . . 50
4.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . 52
5 O Crivo de Eratostenes 54
5.1 O crivo de Eratostenes . . . . . . . . . . . . . . . . . . 54
5.2 Teorema de Merten . . . . . . . . . . . . . . . . . . . . 56
5.3 O truque Rankin . . . . . . . . . . . . . . . . . . . . . 59
5.4 O Crivo de Eratostenes . . . . . . . . . . . . . . . . . 61
5.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . 66
6 O Crivo de Brun 68
6.1 O Crivo Puro de Brun . . . . . . . . . . . . . . . . . . 68
6.2 O Principal Teorema de Brun . . . . . . . . . . . . . . 77
6.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . 93
7 O Crivo de Selberg 94
7.1 O Teorema de Chebyche Revisitado . . . . . . . . . . 94
7.2 O Crivo de Selberg . . . . . . . . . . . . . . . . . . . . 100
7.3 O Teorema de BrunTitchmarsh e algumas aplicacoes 107
7.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . 114
8 O Grande Crivo 115
8.1 A desigualdade do grande crivo . . . . . . . . . . . . . 116
8.2 O grande crivo . . . . . . . . . . . . . . . . . . . . . . 120
8.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . 125
9 O Teorema de BombieriVinogradov 126
9.1 Um Teorema Geral . . . . . . . . . . . . . . . . . . . . 127
9.2 O teorema de BombieriVinogradov . . . . . . . . . . 140
9.3 O Problema do Divisor de Titchmarsh . . . . . . . . . 147
9.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . 150
Bibliograa 151
i
i
templatetexto 2013/5/17 21:14 page i #7
i
i
i
i
i
i
Prefacio
A Teoria de Crivos e um conjunto de tecnicas gerais em teoria
dos n umeros, dedicada a contar, ou de forma mais realista, a estimar
o tamanho dos conjuntos de n umeros inteiros que passarao por um
crivo. O exemplo primordial de um conjunto que passou por um
crivo e o conjunto de n umeros primos, ate um certo limite prescrito
X. Do mesmo modo, o exemplo primordial de um crivo e o crivo de
Eratostenes, ou em mais geral o crivo de Legendre. O ataque direto
crivando n umeros primos usando esses metodos muito rapidamente
chega a obstaculos aparentemente insuperaveis.
Uma abordagem bem sucedida e aproximar um conjunto especco
de n umeros que foi crivado (por exemplo, o conjunto de n umeros pri-
mos) por outro conjunto mais simples (por exemplo, o conjunto dos
n umeros quaseprimos), que e normalmente um pouco maior do que
o conjunto original, e e mais facil de analisar. Crivos mais sosti-
cados tambem nao trabalham diretamente apenas com os conjuntos,
por si so, mas tambem de acordo com as funcoes peso que sao cuida-
dosamente escolhidas sobre esses conjuntos. Alem disso, em algumas
aplicacoes modernas, os crivos nao sao utilizados para estimar o ta-
manho de um conjunto especco, mas para produzir uma funcao que
e grande no conjunto e pequena fora dele, sendo assim mais facil de
analisar do que a funcao caracterstica do conjunto.
Crivos modernos incluem o crivo de Brun, o crivo de Selberg, o
grande crivo e alguns outros que veremos nestas notas de aula. Um
dos propositos originais da teoria de crivos era tentar provar famosas
e difceis conjecturas da teoria dos n umeros, como a conjectura dos
primos gemeos. Enquanto os grandes objetivos iniciais da teoria dos
crivos ainda estao em grande parte inacabados, os crivos tambem
i
i
i
templatetexto 2013/5/17 21:14 page ii #8
i
i
i
i
i
i
ii PREF
ACIO
conseguiram alguns sucessos parciais, especialmente em combinacao
com outras ferramentas da teoria dos n umeros.
As tecnicas da teoria da crivos podem ser muito poderosas, mas
elas parecem ser limitadas por um obstaculo conhecido como o pro-
blema de paridade, que a grosso modo arma que os metodos de teo-
ria de crivos tem extrema diculdade em distinguir entre os n umeros
com um n umero mpar de fatores primos e n umeros com um n umero
par de fatores primos. Este problema de paridade ainda nao e muito
bem compreendido.
Comparado com outros metodos na teoria dos n umeros, a teoria
dos crivos e relativamente elementar, no sentido de que tais metodos
nao necessitam necessariamente de conceitos sosticados da teoria
algebrica dos n umeros ou da teoria analtica dos n umeros. No en-
tanto, os crivos mais avancados ainda podem car muito complicados
e delicados (especialmente quando combinado com outras profundas
tecnicas em teoria dos n umeros).
Esta notas de aulas
foram especialmente escritas para o 29

o
Coloquio Brasileiro de Matematica, para alunos de gradua cao e de
posgradua cao no Brasil que irao frequentar as aulas de Teoria de
Crivos. Porem e com tristeza que, apesar da grande importancia da
Teoria dos N umeros para a matematica moderna, ainda muito pouco
em termos de pesquisa e ensino nesta particular area da matematica
sao realizados no Brasil e os alunos brasileiros interessados em Teoria
dos N umeros ainda carecem de material e pesquisadores especialistas
em Teoria dos N umeros. Estas notas de aulas escritas em portugues
tem como um de seus objetivo aumentar o pequeno e restrito acervo
em Teoria dos N umeros em lngua portuguesa para alunos de univer-
sidades brasileiras.
Estas notas de aulas sao fortemente baseadas nas excelentes e modernas mo-
nograas [6, 9, 11] escritas sobre teoria dos crivos por especialistas no assunto.
Estas notas tambem fazem parte de um livro [1], ainda em progresso, que em breve
devera ser publicado aqui no Brasil. Comentarios e sugest oes s ao bem-vindos em:
j.c.andrade.math@gmail.com
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
Captulo 1
Funcoes Aritmeticas e
Algumas Notac oes
Basicas da Teoria
Analtica dos N umeros
1.1 A notacao de BachmannLandau
Denicao 1.1.1 (notacao grande O). Seja D um subconjunto dos
n umeros complexos C, e f : D C uma funcao que assume valores
complexos denida em D. Escrevemos
f(x) = O(g(x))
se g : D R
+
e se existe uma constante positiva A tal que
[f(x)[ Ag(x)
para todo x D.
Iremos, com alguma frequencia, no decorrer destas notas usar D
para denotar o conjunto dos n umeros naturais ou D = R
+
. Uma
notacao alternativa para f(x) = O(g(x)) e
3
i
i
i
i
i
i
i
i
4[CAP. 1: FUNC
OES ARITM
ETICAS E ALGUMAS NOTAC
OES B
ASICAS DA TEORIA ANAL
ITICA DOS N
UMEROS
f(x) g(x) ou g(x) f(x).
Denicao 1.1.2 (Ordem de Magnitude). Se f(x) g(x) e g(x)
f(x), entao escrevemos
f(x) g(x).
Denicao 1.1.3 (notacao pequeno o). Se D e ilimitado, escrevemos
f(x) = o(g(x))
se
lim
x
xD
f(x)
g(x)
= 0.
E claro que se f(x) = o(g(x)), entao f(x) = O(g(x)).

Denicao 1.1.4. Dizemos que f(x) e assintotica à funcao g(x) e
escrevemos
f(x) g(x)
se
lim
x
xD
f(x)
g(x)
= 1.
Quando escrevemos f(x) = O(x
), isto signica que para todo

> 0 existe C
> 0 dependendo somente de tal que [f(x)[

C
para todo x D. No decorrer destas notas de aula, p, q, l

irao denotar n umeros primos, n, d, k inteiros positivos, x, y, z n umeros
reais positivos. Quaisquer desvios nestes padroes estarao evidentes no
contexto em que eles aparecerem. Tambem iremos denotar, algumas
vezes, mdc(n, d) como (n, d) e mmc(n, d) como [n, d].
i
i
i
i
i
i
i
i
[SEC. 1.2: A FUNC
AO DE M
OBIUS 5
1.2 A Funcao de M obius
Denicao 1.2.1. A funcao de Mobius e denida da seguinte ma-
neira:
(1) = 1;
Se n > 1, escrevemos n = p
a
1
1
p
a
k
k
. Entao
(n) = (1)
k
se a
1
= a
2
= = a
k
= 1,
(n) = 0 caso contrario.
Agora temos um lema basico:
Lema 1.2.2 (Propriedade Fundamental da funcao de Mobius).
d|n
(d) =
_
1 se n = 1,
0 caso contr ario.
Demonstracao. Se n = 1, entao a formula e facilmente vericada.
Se n > 1, denotemos por n = p
a
1
1
p
a
r
r
a fatoracao unica de n em
potencias de primos distintos. Agora, seja N = p
1
p
r
(chamado de
radical de n) e como (d) = 0 a menos que d seja livre de quadrados,
nos temos
d|n
(d) =
d|N
(d).
A ultima soma contem 2
r
somandos, cada um correspondendo a um
subconjunto de p
1
, . . . , p
r
, uma vez que os divisores de N estao
em correspondecia umaum com tais subconjuntos. O n umero de
subconjuntos com k elementos e
_
r
k
_
,
e para cada divisor d, determinado por tal subconjunto, nos temos
(d) = (1)
k
. Assim
i
i
i
i
i
i
i
i
6[CAP. 1: FUNC
OES ARITM
OES B
ITICA DOS N
UMEROS
d|N
(d) =
r
k=0
_
r
k
_
(1)
k
= (1 1)
r
= 0.
Isto completa a demonstracao.
O Lema 1.2.2 e fundamental por varias razoes. Primeiro, porque,
em um instante, ele nos permitira derivar uma formula de inversao
que e util em questoes envolvendo combinatoria. E em segundo, ele
e a base do crivo de Eratostenes e do crivo de Brun que iremos ver
nos captulos seguintes.
Teorema 1.2.3 (A formula de inversao de Mobius). Sejam f e g duas
funcoes a valores complexos e ambas denidas nos n umeros naturais.
Se
f(n) =
d|n
g(d),
entao
g(n) =
d|n
(d)f(n/d),
e reciprocamente.
Demonstracao. Temos que,
d|n
(d)f(n/d) =
d|n
(d)
e|
n
d
g(e)
=
des=n
(d)g(e)
=
e|n
g(e)
d|
n
e
(d)
= g(n),
uma vez que a soma interna na penultima linha e zero a menos que
n/e = 1. Para estabelecermos a recproca usamos as mesmas ideias
apresentadas acima e tal exerccio e deixado para o leitor.
i
i
i
i
i
i
i
i
[SEC. 1.3: A T
ECNICA DE SOMA PARCIAL. 7

Teorema 1.2.4 (A formula dual de inversao de Mobius). Seja T um
conjunto fechado de divisores de n umeros naturais (isto e, se d T e
d
[ d, entao d
T). Sejam f e g duas funcoes que assumem valores

complexos ambas denidas nos n umeros naturais. Se
f(n) =
n|d
dD
g(d),
entao
g(n) =
n|d
dD
_
d
n
_
f(d),
e reciprocamente (assumindo que todas as series convergem absoluta-
mente).
Demonstracao. Exerccio.
1.3 A Tecnica de Soma Parcial.
Teorema 1.3.1. Seja c
1
, c
2
, . . . uma sequencia de n umeros complexos
e dena
S(x) :=
nx
c
n
.
Seja n
0
um inteiro positivo e xado. Se c
j
= 0 para j < n
0
e seja
f : [n
0
, ) C uma funcao com derivadas contnuas em [n
0
, ),
entao se x e um inteiro tal que x > n
0
nos temos que
nx
c
n
f(n) = S(x)f(x)
_
x
n
0
S(t)f
(t)dt.
i
i
i
i
i
i
i
i
8[CAP. 1: FUNC
OES ARITM
OES B
ITICA DOS N
UMEROS
Demonstracao.
nx
S(n) S(n 1)f(n) =
nx
S(n)f(n)
nx1
S(n)f(n + 1)
= S(x)f(x)
nx1
S(n)
_
n+1
n
f
(t)dt
= S(x)f(x)
_
x
n
0
S(t)f
(t)dt,
pois S(t) e uma funcao escada que e constante em intervalos da forma
[n, n + 1).
Proposicao 1.3.2.
nx
log n = xlog x x +O(log x).
Demonstracao. Usamos o teorema acima com c
n
= 1 e f(t) = log t e
deduzimos que
nx
log n = [x] log x
_
x
1
1
x
[t]
t
dt,
onde a notacao [x] indica o maior inteiro menor ou igual a x. E
usando que [x] = x +O(1) conclumos a proposi cao.
Proposicao 1.3.3.
nx
1
n
= log x +O(1).
1.4 O Teorema de Tchebychef
Uma notacao padrao em teoria dos n umeros e que p (e algumas vezes
q ou l) denotam n umeros primos, e somas ou produtos da forma
i
i
i
i
i
i
i
i
[SEC. 1.4: O TEOREMA DE TCHEBYCHEF 9
px
,
p
,
px
,
p
indicam que as somas e os produtos sao tomados sobre os n umeros
primos.
Denotemos por (x) o n umero de primos ate x. Claramente,
(x) = O(x). Em 1850, Tchebychef demonstrou, utilizando um
metodo elementar, que
(x) = O
_
x
log x
_
. (1.4.1)
De fato, se denirmos
(x) :=
px
log p,
entao Tchebychef provou:
Teorema 1.4.1 (Teorema de Tchebychef). Existem constantes po-
sitivas A e B tais que
Ax < (x) < Bx.
Atraves do uso da tecnica de soma parcial, este teorema nos da o
resultado de (1.4.1).
Podemos deduzir do Teorema 1.4.1 que sempre existe um n umero
primo entre x e Bx/A, uma vez que
_
Bx
A
_
> A
_
Bx
A
_
= Bx > (x).
Obtendo constantes A e B tal que B/A 2, Tchebychef foi capaz de
deduzir o seguinte teorema:
Teorema 1.4.2 (postualdo de Bertrand). Sempre existe um n umero
primo entre n e 2n, para n 1.
O teorema de Tchebychef representou o primeiro progresso subs-
tancial na epoca para uma possvel solu cao para a famosa conjectura
i
i
i
i
i
i
i
i
10[CAP. 1: FUNC
OES ARITM
OES B
ITICA DOS N
UMEROS
de Gauss sobre o comportamento assintotico de (x). Com base em
extensos dados numericos e de heursticas, Gauss previu que
(x)
x
log x
(1.4.2)
quando x . Isto foi provado independentemente por Hadamard
e de la Vallee Poussin em 1895 e e conhecido como o teorema dos
n umeros primos.
Demonstracao de Tchebyshev do Teorema 1.4.1. O ponto chave da
demonstracao e notar que
n<p2n
p [
_
2n
n
_
.
Uma vez que
_
2n
n
_
2
2n
,
nos obtemos, depois de tomar logaritmos,
(2n) (n) 2nlog 2.
Escrevendo sucessivamente obtemos,
(n)
_
n
2
_
nlog 2
_
n
2
_
_
n
4
_

n
2
log 2,

e somando as desigualdades, obtemos
(2n) 4nlog 2.
Em outras palavras,
(x) = O(x).
Logo
i
i
i
i
i
i
i
i
[SEC. 1.4: O TEOREMA DE TCHEBYCHEF 11
x (x)
x<px
log p
1
2
(log x)((x) (
x))
1
2
(log x)(x) +O(
xlog x),
e assim (x) = O(x/ log x).
Usando o mesmo crculo de ideias iremos provar mais um resultado
devido a Tchebychef.
Teorema 1.4.3.
pn
log p
p
= log n +O(1).
Demonstracao. Vamos estudar a fatoracao em primos de n!. Escre-
vemos
n! =
pn
p
e
p
,
uma vez que apenas primos p n podem dividir n!. O n umero de
m ultiplos de p que sao n e [n/p]. O n umero de m ultiplos de p
2
que
sao n e
_
n/p
2
e assim por diante. Logo podemos ver que

e
p
=
_
n
p
_
+
_
n
p
2
_
+ ,
onde, de fato, a soma e nita uma vez que para alguma potencia p
a
de p nos iremos ter n < p
a
e assim [n/p
a
] = 0. Portanto deduzimos
que
log n! =
pn
__
n
p
_
+
_
n
p
2
_
+
_
log p.
E uma vez que
log n! =
kn
log k = nlog n n +O(log n)
i
i
i
i
i
i
i
i
12[CAP. 1: FUNC
OES ARITM
OES B
ITICA DOS N
UMEROS
e
pn
__
n
p
2
_
+
_
n
p
3
_
+
_
log p n
p
log p
p(p 1)
n,
nos temos que
pn
__
n
p
__
log p = nlog n +O(n).
Teorema 1.4.4.
pn
1
p
= log log n +O(1).
Demonstracao. Colocando c
n
:= (log p)/p quando n = p e zero caso
contrario, nos aplicamos soma parcial com f(t) := (log t)
1
para
deduzir do Teorema 1.4.3 o resultado desejado.
1.5 Exerccios
1. Se d(n) denota o n umero de divisores de n, mostre que d(n) =
O(
n).
2. Para todo > 0, existe uma constante C() tal que d(n)
C()n
.
3. Mostre que para todo > 0
d(n) < 2
(1+) log n/ log log n
para todo n sucientemente grande.
i
i
i
i
i
i
i
i
[SEC. 1.5: EXERC
ICIOS 13
4. Mostre que
nx
d(n) = xlog x +O(x).
5. Seja (n) denida como sendo a quantidade de n umeros inteiros
1 k n tal que (n, k) = 1. Prove que
nx
(n)
n
=
6
2
x +O(log x).
6. Prove que
d|n
(d) = log n.
Deduza que
(n) =
d|n
(d) log d.
Onde
(n) :=
_
log p se n = p
a
,
0 caso contrario.
(n) e chamada de funcao de von Mangoldt.
i
i
i
i
i
i
i
i
Captulo 2
Alguns Crivos
Elementares
2.1 Generalidades
Seja / um conjunto nito de objetos e T um conjunto indexado de
n umeros primos tal que para cada p T nos temos associado um sub-
conjunto /
p
de /. O problema de crivo e estimar, superiormente
e inferiormente, o tamanho do conjunto
o(/, T) := /
pP
/
p
.
Esta e a formula cao do problema no contexto mais geral possvel.
E claro, a resposta explcita e dada pelo familiar princpio da com-

binatoria de inclusaoexclusao. Mais precisamente, para cada sub-
conjunto I de T, denotamos por
/
I
:=
pI
/
p
.
Entao o principio de inclusaoexclusao nos fornece
#o(/, T) =
IP
(1)
#I
#/
I
,
14
i
i
i
i
i
i
i
i
[SEC. 2.1: GENERALIDADES 15
onde para o conjunto vazio nos interpretamos /
como sendo o
proprio conjunto /. Esta formula e a base para muitas questoes em
teoria de probabilidades.
Em teoria dos n umeros nos frequentemente tomamos / para ser
um conjunto nito de inteiros positivos e /
p
como sendo o subcon-
junto de / consistindo de elementos que estao em certas classes de
congruencia modulo p. Por exemplo, se / e o conjunto dos n umeros
naturais x e /
p
e o conjunto dos n umeros em / divisveis por p,
entao o tamanho de o(/, T) ira ser o n umero de inteiros positivos
n x que sao coprimos com todos os elementos de T.
Nos podemos tambem reverter esta perspectiva. Ou seja, pode-
mos pensar de o = o(/, T) como sendo um conjunto dado, cujo
tamanho nos queremos estimar. Procuramos fazer isso olhando a sua
imagem modulo primos p T para algum conjunto de primos T.
Este sera o ponto de vista para o grande crivo (Captulo 8).
Podemos ate mesmo aumentar esta perspectiva reversa da se-
guinte maneira: Seja B um conjunto nito de inteiros positivos e
seja T um conjunto de potencias de primos. Nos entao podemos pro-
curar estimar o tamanho do proprio conjunto B. Este tratamento
sera discutido abaixo e e o Crivo de Gallagher.
Em algumas circunstancias fortuitas, nos podemos ter uma famlia
T de funcoes a valores complexos
f : B C
tal que
fF
f(n) =
_
1 se n B,
0 caso contrario.
Entao
#B =
fF
_
nB
f(n)
_
(2.1.1)
e a soma interna pode ser investigada por outras tecnicas, tais como
metodos analticos. Iremos ilustrar esta ideia na secao sobre crivos
usando series de Dirichlet.
i
i
i
i
i
i
i
i
16 [CAP. 2: ALGUNS CRIVOS ELEMENTARES
Muitas vezes, e o caso que uma relacao precisa como (2.1.1) nao
existe e nos so podemos ter uma aproxima cao para ela. Por exemplo,
fF
f(n) =
_
1 +o(1) se n B
o(1) caso contrario,
(2.1.2)
quando #T . Tal famlia de funcoes pode entao ser usada, com
grande efeito, para estimativas para #B.
Ate mesmo o conhecimento de
fF
f(n) 1 se n B
e suciente para nos fornecer boas cotas superiores para #B. De fato,
nos podemos considerar
#B
nB
fF
f(n)
2
e expandir o quadrado. Depois de inverter as somas, nos deparamos
nB
f(n)

f
(n)
para f, f
T.
Nos iremos ilustrar algumas destas ideias, primeiro com o crivo de
Gallagher [10] e entao com o crivo para quadrados perfeitos [12]. E
na ultima se cao iremos discutir tecnicas analticas para investigarmos
crivos usando series de Dirichlet.
2.2 O Crivo de Gallagher ou o Maior Crivo
Seja B um conjunto (naovazio) nito de n umeros inteiros e T um
conjunto de potencias de primos. Suponha que para cada t T nos
temos
#B (mod t) u(t)
para alguma u(t). Assim B representa no maximo u(t) classes de
resduo modulo t.
i
i
i
i
i
i
i
i
[SEC. 2.2: O CRIVO DE GALLAGHER OU O MAIOR CRIVO 17
Teorema 2.2.1 (Maior Crivo de Gallagher). Nos mantemos a notacao
acima e seja
X := max
bB
[b[.
Se
tT
(t)
u(t)
log(2X) > 0,
entao
#B
tT
(t) log(2X)
tT
(t)
u(t)
log(2X)
,
onde () e funcao de von Mangoldt.
Demonstracao. Seja t T e para cada classe de resduos r(mod t)
denimos
Z(B; t, r) := #b B : b r(mod t).
Entao
#B =
r( mod t)
Z(B; r, t).
Usando a desigualdade de CauchySchwarz, temos que
u(t)
1/2
_
_

r( mod t)
Z(B; r, t)
2
_
_
1/2
.
Logo
(#B)
2
u(t)

r( mod t)
b,b
B
b,b
r( mod t)
1
#B +
b,b
B
b=b
t|bb
1.
i
i
i
i
i
i
i
i
Nos multiplicamos esta desigualdade por (t) e somamos sobre t T .
Usando
t|n
(t) = log n,
nos obtemos
tT
(#B)
2
u(t)
(t) (#B)
tT
(t) + (log 2X)((#B)
2
#B).
Cancelando #B e reorganizando, nos estabelecemos a desigualdade
desejada.
Este crivo deve ser comparado com o Grande Crivo discutido no
Captulo 8. A vantagem aqui e que nos podemos crivar (ou peneirar)
classes de resduo modulo potencias de primos, onde no grande crivo
somente classes de resduo modulo primos sao considerados. Isto
explica, ate certo ponto, o nome o maior crivo.
Seguindo Gallagher, nos aplicamos o maior crivo para provar:
Teorema 2.2.2. Sejam a, b inteiros tendo a propriedade que para
qualquer potencia de primo t existe um inteiro
t
tal que
b a
t
(mod t).
Entao existe um inteiro tal que
b = a
.
Antes de procedermos com a demonstra cao deste teorema, va-
mos revisar algumas propriedades basicas de polinomios ciclotomicos.
Lembre-se que para um inteiro positivo d, o desimo polinomio ci-
clotomico
d
(x) e o polinomio minimal sobre Q da d-esima raiz pri-
mitiva da unidade. Assim ele tem grau (d), onde () e a funcao
de Euler. Agora seja n um inteiro positivo arbitrario. Como as n-
esimas razes da unidade podem ser particionadas de acordo com a
sua ordem, nos temos a formula
i
i
i
i
i
i
i
i
[SEC. 2.2: O CRIVO DE GALLAGHER OU O MAIOR CRIVO 19
x
n
1 =
d|n
d
(x).
Finalmente, para um inteiro a tal que (a, n) = 1 denimos f
a
(n) a
ser a ordem de a modulo n. Pelo Exerccio 1 nos temos que f
a
(n) = d
se e somente se n [
d
(a).
Demonstracao do Teorema 2.2.2. Sejam a, b como no enunciado do
teorema. Nos observamos que para provar o resultado nos podemos
supor que a, b sao positivos e a 3 (Exerccio 2). Sejam
B := n x : n = a
i
b
j
para algum i, j
e
T := t : t potencia de primo, f
a
(t) y,
onde y = y(x) e algum parametro a ser escolhido mais tarde. Pelo
Exerccio 1, T e um conjunto nito.
Nos mantemos a nota cao do Teorema 2.2.1. Se para cada potencia
de primo t nos temos que b e uma potencia de a modulo t, entao
u(t) f
a
(t).
Assim Teorema 2.2.1 implica que
#B
tT
(t) log(2x)
tT
(t)
f
a
(t)
log(2x)
, (2.2.1)
desde que o denominador seja positivo.
Nos temos
tT
(t) =
dy
f
a
(t)=d
(t)
=
dy
t|
d
(a)
(t)
=
dy
log
d
(a),
i
i
i
i
i
i
i
i
pelo Exerccio 1. Claramente,
(a 1)
(d)
[
d
(a)[ (a + 1)
(d)
,
e assim
tT
(t) =
dy
log [
d
(a)[
dy
(d) y
2
.
Nos tambem notamos que isto implica
tT
(t)
f
a
(t)

1
y
tT
(t) y.
Agora escolhemos
y := 100 log(2x).
De (2.2.1) deduzimos que
#B log x. (2.2.2)
Para este m, observemos que se todas as potencias de a e b forem
distintas, entao o conjunto B tem cardinalidade
(log x)
2
(veja Exerccio 3). Isto contradiz (2.2.2), e assim conclumos que para
algum i
0
, j
0
nos temos
a
i
0
= b
j
0
.
Nos podemos ate mesmo supor que (i
0
, j
0
) = 1, pois caso contrario
nos podemos tomar a (i
0
, j
0
)esima raiz de ambos os lados da igual-
dade acima.
Denotemos
n =
p
p
p
(n)
para a fatoracao unica de um inteiro n em potencias de primos. Nos
deduzimos que
i
i
i
i
i
i
i
i
[SEC. 2.3: O CRIVO PARA QUADRADOS PERFEITOS 21
i
0
p
(a) = j
0
p
(b)
para todos os primos p. Como (i
0
, j
0
) = 1, isto signica que i
0
[
p
(b)
e j
0
[
p
(a) para todos os primos p. Isto implica que a e uma j
0
-esima
potencia e b e uma i
0
esima potencia de algum inteiro c. As hipoteses
agora implicam que para qualquer primo q existe um
q
tal que
c
j
0
q
c
i
0
(mod q),
que e equivalente a f
c
(q) [ (j
0
q
i
0
) se (q, c) = 1.
Agora tomamos um divisor primo q de
j
0
t
(c) para todo t. Pelo
Exerccio 1 nos deduzimos que f
c
(q) 0(mod j
0
). Assim j
0
[ i
0
, e
portanto b e uma potencia de a, como desejado.
2.3 O Crivo para Quadrados Perfeitos
O crivo para quadrados perfeitos tem a sua origem com o trabalho
de HeathBrown [12] e e usado para estimar o n umero de quadrados
perfeitos em um dado conjunto de n umeros inteiros. O crivo se baseia
no uso de uma famlia de smbolos de resduos quadraticos para crivar
os quadrados perfeitos. Consequentemente, ele tambem e adequado
para o estudo de sequencias que sao uniformemente distribudas em
progressoes aritmeticas.
Teorema 2.3.1 (O Crivo para Quadrados). Seja / um conjunto
nito de inteiros positivos nao-nulos e T um conjunto de primos
mpares. Denimos
S(/) := # / : e um quadrado.
Entao
S(/)
#/
#T
+ max
q
1
=q
2
q
1
,q
2
P
aA
_

q
1
q
2
_
+E
onde
_

q
1
q
2
_
denota o smbolo de Jacobi e
i
i
i
i
i
i
i
i
E := O
_
1
#T
P
() +
1
(#T)
2
P
()
2
_
,
P
() :=
pP
p|
1.
Observacao 2.3.2. Na pratica, a contribuicao de E e insignicante
e esperamos que as maiores contribuicoes para a estimativa venham
dos dois primeiros termos.
Demonstracao. Comecamos por observar que se / e um qua-
drado, entao
qP
_
q
_
= #T
P
().
Assim
S(/)
A
1
(#T)
2
_
_
qP
_
q
_
+
P
()
_
_
2
. (2.3.1)
Apos elevarmos ao quadrado e invertermos as somas, nos obtemos
que o lado direito da desigualdade (2.3.1) e
A
1
(#T)
2
_
_

q
1
,q
2
P
_
q
1
__
q
2
_
+ 2
P
()
qP
_
q
_
+
P
()
2
_
_
.
A primeira soma e
q
1
,q
2
P
1
(#T)
2
A
_
q
1
__
q
2
_

#/
#T
+
q
1
,q
2
P
q
1
=q
2
1
(#T)
2
A
_

q
1
q
2
_
#/
#T
max
q
1
,q
2
P
q
1
=q
2
A
_

q
1
q
2
_
.
i
i
i
i
i
i
i
i
E facil de ver que a contribuicao para (2.3.1) das ultimas somas e

E
2
#T
P
() +
1
(#T)
2
P
()
2
.
Corolario 2.3.3. Seja / um conjunto de n umeros inteiros naonulos
e T um conjunto de n umeros primos que sao coprimos com os ele-
mentos de /. Entao
o(/) = # / : e um quadrado
#/
#T
+ max
q
q
,q
2
P
q
1
=q
2
A
_

q
1
q
2
_
.
Nos iremos aplicar o crivo para quadrados para contar o n umero
de pontos inteiros em uma curva hiper-elptica
y
2
= f(x),
onde f(x) Z[x] e um polinomio de grau d, com discriminante nao
nulo, e o qual nao e o quadrado perfeito de um polinomio com co-
ecientes inteiros. Um famoso teorema de Siegel [20] nos diz que o
n umero de pontos inteiros de tal curva e nito. Recentemente, es-
timativas efetivas deste n umero foram dadas por diferentes autores
(veja [13]). Entretanto, estas estimativas envolvem o conhecimento
do grau de Mordell-Weil do Jacobiano da curva hiperelptica. Nosso
tratamento e elementar e pode ser adaptado para estudar o quao fre-
quentemente um polinomio f(x
1
, . . . , x
n
) representa um quadrado.
Como ira ser visto abaixo, a generalizacao ira requerer o profundo
trabalho de Deligne (veja [19]).
Dado f(x) Z[x] e k N, e tambem seja k > 2,
S
f
(k) :=
a( mod k)
_
f(a)
k
_
,
onde (/k) e o smbolo de Jacobi.
i
i
i
i
i
i
i
i
Lema 2.3.4. Sejam q
1
, q
2
n umeros primos distintos e seja f Z[x].
Entao
S
f
(q
1
q
2
) = S
f
1
(q
1
)S
f
2
(q
2
),
onde f
1
(x) := f(q
2
x), f
2
(x) := f(q
1
x).
Demonstracao. As classes de resduos modulo q
1
q
2
podem ser escritas
como
q
1
a
2
+q
2
a
1
,
com 0 a
2
q
2
1, 0 a
1
q
1
1 (veja Exerccio 4). Portanto
S
f
(q
1
q
2
) =
q
1
1
a
2
=0
q
2
1
a
1
=0
_
f(q
1
a
2
+q
2
a
1
)
q
1
q
2
_
=
q
1
1
a
2
=0
q
2
1
a
1
=0
_
f(q
1
a
2
+q
2
a
1
)
q
1
__
f(q
1
a
2
+q
2
a
1
)
q
2
_
=
q
1
1
a
2
=0
q
2
1
a
1
=0
_
f(q
2
a
1
)
q
1
__
f(q
1
a
2
)
q
2
_
.
E assim o resultado segue.
Agora seja H um n umero real positivo e consideremos o conjunto
/ := f(n) : [n[ H.
Usando o crivo para quadrados, o n umero de quadrados em / e,
para qualquer conjunto de n umeros primos T os quais nao dividem
o discriminante de f,
2H + 1
#T
+ max
q
1
,q
2
P
q
1
=q
2
|n|H
_
f(n)
q
1
q
2
_
+E,
onde
E := O
_
H log H
#T
+
H(log H)
2
(#T)
2
_
i
i
i
i
i
i
i
i
e onde usamos a estimativa elementar
P
() = O(log ).
Sejam q
1
, q
2
dois primos distintos de T. Nos temos
|n|H
_
f(n)
q
1
q
2
_
=
a( mod q
1
q
2
)
_
f(a)
q
1
q
2
_

|n|H
na( mod q
1
q
2
)
1.
A soma interna e
2H
q
1
q
2
+O(1),
e assim obtemos
|n|H
_
f(n)
q
1
q
2
_
=
2H
q
1
q
2
a( mod q
1
q
2
)
_
f(a)
q
1
q
2
_
+O(q
1
q
2
).
Pelo lema, a soma do lado direito e o produto S
f
1
(q
1
)S
f
2
(q
2
) para
apropriados polinomios f
1
, f
2
.
Nos invocamos um celebre resultado de Weil (veja [15, p. 99]),
que diz que para qualquer g(x) Z[x] com discriminante naonulo
e o qual nao e quadrado perfeito de um polinomio com coecientes
inteiros, e para qualquer primo p nao dividindo o discriminante de g.
a( mod p)
_
g(a)
p
_
(degg 1)
p.
Usando isto na estimativa acima nos obtemos
|n|H
_
f(n)
q
1
q
2
_
= O
_
H
q
1
q
2
+q
1
q
2
_
.
Vamos escolher o conjunto T consistindo dos primos que nao di-
videm o discriminante de f e estao no intervalo [z, 2z] para algum
z = z(H) > 0 a ser escolhido em breve. Assim temos a estimativa
nal,
S(/)
H log z
z
+
H
z
+z
2
+
H(log H)(log z)
z
+
H(log H)
2
(log z)
2
z
2
.
i
i
i
i
i
i
i
i
Escolhendo
z := H
1/3
(log H)
2/3
provamos o seguinte teorema:
Teorema 2.3.5. Seja f um polinomio com discriminante naonulo
e coecientes inteiros, o qual nao e um quadrado perfeito de um po-
linomio com coecientes inteiros. Seja H > 0. Entao o n umero de
quadrados no conjunto
f(n) : [n[ H
e O(H
2/3
(log H)
4/3
), com a constante aparecendo na estimativa para
O dependendo somente do grau de f e dos coecientes de f.
2.4 O Crivo usando series de Dirichlet
Algumas vezes, a sequencia de n umeros que queremos crivar exibe
uma estrutura multiplicativa e as condi coes de crivo tambem exibem
tal propriedade. Em tais casos, metodos analticos usando series de
Dirichlet sao bastante poderosos e diretos. Em algumas instancias,
a tecnica pode ate mesmo nos fornecer formulas assintoticas para o
problema de crivos. Nos iremos ilustrar esta ideia abaixo, para mais
detalhes consulte [18].
Seja T um conjunto de primos e T o complemento no conjunto
de todos os primos. Suponha que queremos contar a quantidade de
n umeros naturais n x que nao sao divisveis por nenhum dos primos
em T. Se denirmos a serie de Dirichlet
F(s) =
n1
a
n
n
s
:=
pP
_
1
1
p
s
_
1
,
nos vemos que a
n
= 1 se n nao for divisvel para todo p T e a
n
= 0
caso contrario. Assim nos queremos estudar
nx
a
n
.
Pela formula de Perron (veja [2, pg. 245246]), temos que
i
i
i
i
i
i
i
i
[SEC. 2.4: O CRIVO USANDO S
ERIES DE DIRICHLET 27
nx
a
n
=
1
2i
_
2+i
2i
F(s)
x
s
s
ds.
O teorema abaixo e util neste contexto.
Teorema 2.4.1 (Teorema Tauberiano). Seja F(s) =
n1
a
n
/n
s
uma serie de Dirichlet com coecientes naonegativos convergindo
para Re(s) > 1. Suponha que F(s) se estende analiticamente em
todos os pontos em Re(s) = 1 exceto em s = 1, e que em s = 1 nos
podemos escrever
F(s) =
H(s)
(s 1)
1
para algum R e alguma H(s) holomorca na regiao Re(s) 1 e
naonula l a. Ent ao
nx
a
n

cx
(log x)
com
c :=
H(1)
(1 )
,
onde e a usual funcao gama.
Nos nao iremos provar este teorema aqui. Vamos agora ilustrar
estas tecnicas em um exemplo mais concreto. Consideremos o pro-
blema de contar o n umero de n umeros naturais n x que podem ser
escritos como a soma de dois quadrados.

E bem conhecido (veja [14,
p. 279]) que n pode ser escrito como uma soma de dois quadrados se
e somente se para todo primo p 3(mod4) dividindo n, a potencia
de p aparecendo na fatora cao unica de n e par. Assim, a
n
= 1 sempre
que n puder ser escrito como uma soma de dois quadrados e e 0 caso
contrario, nos entao vemos que
i
i
i
i
i
i
i
i
F(s) :=
n1
a
n
n
s
=
_
1
1
2
s
_
1
p1( mod 4)
_
1
1
p
s
_
1
p3( mod 4)
_
1
1
p
2s
_
1
.
Agora nos precisamos invocar algumas propriedades basicas da
fun cao zeta de Riemann (s) e de funcoes L de Dirichlet L(s,
4
)
associado com o caractere quadratico
4
, denidas por
(s) :=
n1
1
n
s
, L(s,
4
) :=
n1
4
(n)
n
s
para s C com Re(s) > 1. Aqui,
4
(n) e 0 se n e par e (1)
(n1)/2
se n mpar. Nos indicamos o leitor para [2] para outras propriedades
destas funcoes. Usando o produto de Euler de (s) e L(s,
4
) nos
escrevemos
F(s) = [(s)L(s,
4
)]
1/2
H
1
(s),
onde H
1
(s) e analtica e diferente de zero para Re(s) > 1/2. Como
L(s,
4
) se estende para uma fun cao inteira e e naonula para Re(s)
1, nos temos
F(s) = (s)
1/2
H
2
(s)
para alguma funcao H
2
(s) holomorca e naonula em Re(s) 1.
Assim, usando o fato que a funcao zeta de Riemann tem um polo
simples em s = 1 e que e analtica e naonula para Re(s) = 1, s ,= 1
(veja [2]), nos deduzimos que
F(s) =
H(s)
(s 1)
1/2
,
com H(s) holomorca e naonula na regiao Re(s) 1. Pelo teorema
Tauberiano citado acima nos obtemos:
Teorema 2.4.2. O n umero de n x que podem ser escritos como a
soma de dois quadrados e
i
i
i
i
i
i
i
i
[SEC. 2.5: EXERC
ICIOS 29
cx
log x
para algum c > 0, quando x .
2.5 Exerccios
1. Se t e uma potencia de um primo coprimo com k, mostre que
t [
k
(a) se e somente se a(mod t) tem ordem k.
2. Sejam a, b inteiros. Dizemos que a e b estao relacionados se,
para toda potencia de primos t,
b a
t
(mod t)
para algum inteiro positivo
t
. Mostre que se a e b estao rela-
cionados, entao a
2
esta relacionado com b
2
. Tambem, mostre
que se [a[ 2 e [b[ 2 com a e b relacionados, entao [a[ = [b[.
3. Se a e b sao n umeros naturais 2 com a
i
: i 1 b
j
: j
1 = , mostre que o n umero a
i
b
j
x e
(log x)
2
.
4. Sejam t
1
, t
2
inteiros positivos coprimos e t := t
1
t
2
. Mostre que
todas as classes de resduo modulo t podem ser representadas
como
t
1
a
2
+t
2
a
q
para algum 0 a
2
t
2
1, 0 a
1
t
1
1. Tambem, mostre
que as classes de resduo primas entre si modulo t podem ser
representadas como acima com (a
2
, t
2
) = (a
1
, t
1
) = 1.
i
i
i
i
i
i
i
i
5. Um n umero n e chamado quadrado completo se se para todo
primo p [ n entao p
2
[ n. Mostre que a quantidade de n umeros
que sao quadrados completos x e
c
1
x
para algum c
1
> 0, quando x .
i
i
i
i
i
i
i
i
Captulo 3
Um Teorema de Hardy
e Ramanujam: O
Metodo da Ordem
Normal
O metodo da ordem normal tem a sua origem em um artigo de 1916
por G.H. Hardy e S. Ramanujan. Um tratamento mais simples e
transparente deste trabalho foi dado por Paul Turan em 1934. Fi-
nalmente o metodo de Turan foi amplicado por P. Erdos e Mark
Kac para criar o que e hoje chamado de teoria probabilstica dos
n umeros. Neste captulo estudamos como o metodo de Turan pode
ser usado para estudar a distribuicao da quantidade de fatores primos
de diferentes sequencias de n umeros.
3.1 Um Teorema de Hardy e Ramanujan
Em 1916 Hardy e Ramanujan provaram que quase todos os n umeros
n sao compostos de log log n fatores primos. Para ser mais preciso eles
mostraram que o n umero de n x que nao satisfazem a desigualdade
31
i
i
i
i
i
i
i
i
32[CAP. 3: UM TEOREMA DE HARDY E RAMANUJAM: O M
ETODO DA ORDEM NORMAL

(1 ) log log n < (n) < (1 +) log log n
e o(x) para todo > 0 onde (n) denota o n umero dos distintos
divisores primos de n. Nos apresentamos a demonstra cao de Turan
de tal fato.
Teorema 3.1.1. Nos temos que
nx
(n) = xlog log x +O(x)
e
nx
2
(n) = x(log log x)
2
+O(xlog log x).
Demonstracao. Observemos que pelo Teorema 1.4.4
nx
(n) =
px
_
x
p
_
= x
px
1
p
+O(x)
= xlog log x +O(x).
Tambem,
i
i
i
i
i
i
i
i
[SEC. 3.1: UM TEOREMA DE HARDY E RAMANUJAN 33
nx
(n)
2
=
nx
p|n
q|n
1
=
p,qx
nx
p|n,q|n
1
=
p,qx
p=q
_
x
pq
_
+
px
_
x
p
_
=
pqx
_
x
pq
_
+O(xlog log x)
= x
pqx
1
pq
+O(xlog log x).
Agora,
_
_

p
x
1
p
_
_
2
pqx
1
pq

_
_
px
1
p
_
_
2
.
Uma vez que
x
1
p
= log log
x +O(1) = log log x +O(1),

nos obtemos que
nx
2
(n) = x(log log x)
2
+O(xlog log x).
Teorema 3.1.2 (Turan).
nx
((n) log log x)
2
= O(xlog log x).
i
i
i
i
i
i
i
i

Demonstracao. Consideremos a variancia
nx
((n) log log x)
2
=
nx
2
(n) 2(log log x)
nx
(n) + (log log x)
2
nx
1,
e e facil de ver que isto e O(xlog log x) pelo o que provamos acima.
Corolario 3.1.3. Seja > 0. O n umero de n x que nao satisfazem
a desigualdade
[(n) log log x[ < (log log x)
1
2
+
e o(x).
Relacionado aos resultados acima existe um celebre teorema de
Erdos e Kac (veja [8]), que diz que, se para ,
S(x; , ) := #
_
n x :
(n) log log n
log log n

_
,
entao
lim
x
S(x; , )
x
=
1
2
_

e
t
2
/2
dt.
A integral e a familiar integral de probabilidade associadada com a
distribui cao normal. Assim, o teorema de ErdosKac diz que a fun cao
(n) log log n
log log n
e normalmente distribuda num certo sentido probabilstico. Reco-
mendamos o leitor a consultar [8] para mais detalhes.
Nos dizemos que uma fun cao f(n) possui ordem normal F(n)
se, para todo > 0, a desigualdade
i
i
i
i
i
i
i
i
[SEC. 3.2: O N
UMERO NORMAL DE DIVISORES PRIMOS DE UM POLIN
OMIO 35
(1 )F(n) < f(n) < (1 +)F(n)
e satisfeita para quase todos os valores de n. Isto e, o n umero de
n x que nao satisfazem a desigualdade e o(x).
3.2 O n umero normal de divisores primos
de um polinomio
Seja f(x) um polinomio irredutvel com coecientes inteiros. Nos
iremos considerar aqui o problema de determinar a ordem normal de
(f(n)).
Primeiro, nos observamos que se
y
(n) denota o n umero de primos
dividindo n que sao y e se y = x
para algum 0 < < 1/2, entao

para n x nos temos
(n) =
y
(n) + ((n)
y
(n)) =
y
(n) +O(1),
uma vez que o n umero de divisores primos de n maior do que y e
O(1). Nos podemos portanto escrever
nx
(f(n)) =
nx
y
(f(n)) +O(x). (3.2.1)
Denotemos por
f
(p) o n umero de solucoes modulo p da con-
gruencia f(x) 0(mod p). Entao
nx
y
(f(n)) =
nx
p|f(n)
py
1, (3.2.2)
e assim, depois de invertemos as somas, nos devemos contar, para p
xo, o n umero de inteiros n x que pertencem a
f
(p) classes de
reduo modulo p. Nos obtemos
nx
(f(n)) =
py
_
x
f
(p)
p
+O(
f
(p))
_
+O(x), (3.2.3)
i
i
i
i
i
i
i
i

e uma vez que
f
(p) (f), onde (f) denota o grau de f, nos vemos
que o termo do erro vindo da soma acima e O(y).
Iremos invocar agora a teoria algebrica dos n umeros. Seja K =
Q(), onde e uma solucao de f(x) = 0. O anel dos inteiros O
K
de
K e um domnio de Dedekind.

E um classico teorema de Dedekind
que para todo primo p, exceto um n umero nito,
f
(p) e o n umero
de ideais primos p de O
K
tal que a norma N
K/Q
(p) = p. Se
K
(x)
denota o n umero de ideais primos cuja norma e x, entao o analogo
do teorema dos n umeros primos para corpos numericos diz que
K
(x)
x
log x
quando x . De fato, para alguma constante c > 0,
K
(x) = li(x) +O(xe
c
log x
),
onde
li(x) :=
_
x
2
dt
log t
e a famosa integral logartmica. Uma vez que a norma de qualquer
ideal primo e uma potencia de primo e o n umero de ideais primos cuja
norma nao e um primo nao pode exceder O(x
log x), nos deduzimos:

Teorema 3.2.1 (O Teorema de Ideais Primos).
px
f
(p) = lix +O(xe
c
log x
),
para algum c > 0.
Corolario 3.2.2.
px
f
(p)
p
= log log x +O(1).
Nos podemos agora completar a nossa analise da ordem normal
de (f(n)). Pela nossa discussao anterior e o corolario acima,
i
i
i
i
i
i
i
i
[SEC. 3.2: O N
UMERO NORMAL DE DIVISORES PRIMOS DE UM POLIN
OMIO 37
nx
(f(n)) = xlog log x +O(x).
Tambem,
nx
2
(n)(f(n)) =
nx
2
y
(f(n)) +O
_
_
nx
y
(f(n))
_
_
=
nx
2
y
(f(n)) +O(xlog log x). (3.2.4)
Encontramos pelo Teorema Chines do resto que
nx
2
y
(f(n)) =
p,qy
p=q
_
x
f
(p)
f
(q)
pq
+O(1)
_
+O(xlog log x),
onde o ultimo termo do erro e obtido dos termos quando p = q. Uma
vez que
f
(p)
p
2
= O(1),
nos temos que
p,qy
p=q
f
(p)
f
(q)
pq
=
_
_
py
f
(p)
p
_
_
2
+O(1).
Assim
nx
2
y
(f(n)) = x(log log x)
2
+O(y
2
) +O(xlog log x).
Lembramos que y = x
com 0 < < 1/2, e assim o termo do erro

O(y
2
) e dominado por O(xlog log x). Isto prova:
i
i
i
i
i
i
i
i

Teorema 3.2.3.
nx
((f(n)) log log x)
2
= O(xlog log x).
E agora um exerccio elementar deduzir que a ordem normal de

(f(n)) e log log n.
O Teorema 3.2.3 da uma estimativa de
x
log log x
para o n umero de n x tal que f(n) e um n umero primo. Uma
classica conjectura de Buniakowski formulada em 1854 diz que
qualquer polinomio irredutvel f(x) Z[x], tal que f(Z
+
) nao possui
divisor comum maior do que 1, representa primos innitas vezes.
Os unicos casos conhecidos desta conjectura e o celebre teorema de
Dirichlet sobre a distribui cao de primos em progressoes aritmeticas,
o qual estabelece o caso linear. Veremos mais tarde (Captulo 6)
que tecnicas de crivos podem ser aplicadas para lancar algumas luzes
sobre esta conjectura. Em alguns casos, os metodos chegam proximo
de estabelecer a conjectura.
3.3 Estimativas sobre N umeros Primos
Nos podemos investigar de uma maneira similar (p 1) quando p
varia sobre os primos. Mais precisamente, seja k um n umero natural
e dena para (a, k) = 1 a quantidade
(x; k, a) := #p x : p a(modk).
Entao e facil de ver que
px
(p 1) =
lx
(x; l, 1),
onde l denota um n umero primo racional. Como antes, e conveniente
observar que, aplicando o teorema de Chebyche
px
(p 1) =
y
(p1)
+O
_
x
log x
_
,
i
i
i
i
i
i
i
i
[SEC. 3.3: ESTIMATIVAS SOBRE N
UMEROS PRIMOS 39
e assim obtemos somas da forma
ly
(x; l, 1)
para investigar com y = x
para algum > 0.

Um teorema classico de Bombieri e Vinogradov diz que, para todo
A > 0, existe um B = B(A) > 0 tal que
kx
1/2
log
B
x
max
yx
max
(a,k)=1
(y; k, a)
li(y)
(k)
x
log
A
x
.
Este teorema sera provado no Captulo 9 e e um dos pontos altos
deste curso. De fato, a maior parte do desenvolvimento do metodo
do grande crivo (a ser discutido no Captulo 8) culminou com esta
demonstracao. Nos invocamos este teorema para deduzir
ly
(x; l, 1) =
ly
li(x)
l 1
+O
_
x
log
A
x
_
,
se < 1/2. Uma vez que
ly
1
l 1
=
ly
1
l
+O(1),
nos conclumos que
px
(p 1) = (x) log log x +O
_
x
log x
_
.
De uma maneira similar deduzimos que (veja Exerccio 1)
px
2
(p 1) = (x)(log log x)
2
+O((x) log log x).
Este argumento estabelece o seguinte teorema:
Teorema 3.3.1 (Teorema de Erdos).
px
((p 1) log log p)
2
= O
_
xlog log x
log x
_
.
i
i
i
i
i
i
i
i

Uma investigacao similar pode ser feita para estudar (pa) para
qualquer inteiro a. O caso a = 2 esta relacionado com a conhecida
conjectura dos primos gemeos. Para ser preciso, um primo p e
chamado primo gemeo se p +2 tambem e um primo.

E conjecturado
que existem innitos primos gemeos. Um interessante corolario do
analogo do Teorema 3.3.1 para (p + 2) e que o n umero de primos
p x tal que p + 2 tambem e primo e
O
_
(x)
log log x
_
.
3.4 Aplicacao do metodo para outras sequencias
O metodo da ordem normal pode ser formalizado da seguinte ma-
neira.
Seja / = (a
n
) uma sequencia nita de n umeros naturais. Seja
/
1
:= / e para cada d livre de quadrados, dena
/
d
:= a
n
: a
n
0(mod d).
Para cada d livre de quadrados, nos escrevemos
#/
d
=
(d)
d
X +R
d
,
ou
#/
d
=
d
X +R
d
,
onde nos pensamos X como sendo uma aproxima cao para a cardi-
nalidade de / e R
1
como o erro em tal aproximacao. A funcao
d
= (d)/d e para ser pensado como a proporcao dos elementos de
/ pertencendo a /
d
. Em particular, para primos p e q nos escrevemos
#/
p
=
(p)
p
X +R
p
e
#/
pq
=
(pq)
pq
X +R
pq
.
Agora suponha que
i
i
i
i
i
i
i
i
[SEC. 3.4: APLICAC
AO DO M
ETODO PARA OUTRAS SEQU
ENCIAS 41
a
n
= O(n
C
)
para alguma constante positiva C. Como antes, nos podemos mostrar
que
nx
(a
n
) =
nx
y
(a
n
) +O(x)
para algum y = x
e > 0. Entao obtemos
nx
(a
n
) =
py
(p)
p
X +
py
R
p
+O(x)
e vemos que, para procedermos adiante, iremos precisar do compor-
tamento assintotico de
py
(p)
p
e uma estimativa para a soma dos termos do erro
py
R
p
.
Similarmente, o estudo de
nx
2
(a
n
)
levaria a encontrar uma estimativa para a soma
p,qy
R
pq
.
Iremos desenvolver um crivo geral deste metodo no proximo captulo.
No exemplo da Secao 3.1, a
n
= n, X = x e (p) = 1. Voce pode
determinar a
n
, X e (p) para o exemplo da Se cao 3.2?(Exerccio)
i
i
i
i
i
i
i
i

3.5 Exerccios
1. Usando o teorema de BombieriVinogradov prove que
px
2
(p 1) = (x)(log log x)
2
+O((x) log log x).
2. Prove que
nx
((n) log log n)
2
= O(xlog log x).
3. Usando Teorema 3.2.1 prove que existe uma constante positiva
c tal que
px
f
(p)
p
= log log x +c +O
_
1
log x
_
.
i
i
i
i
i
i
i
i
Captulo 4
O Crivo de Turan
Em 1934, Paul Turan (19101976) deu uma demonstracao extrema-
mente simples do classico teorema de Hardy e Ramanujan sobre o
n umero normal de fatores primos de um dado n umero natural. Para
isto, Paul Turan desenvolveu um crivo basico que e agora chamado
de o Crivo de Turan. Neste captulo iremos estudar o Crivo de Turan
e ver como ele pode ser usado para tratar outras questoes sobre cri-
vos. Por exemplo, o crivo de Turan e mais elementar do que o crivo
de Eratostenes e em alguns casos nos fornece resultados comparaveis
com o anterior.
4.1 A Desigualdade Basica
Seja / um conjunto nito arbitrario e T um conjunto de n umeros
primos. Para cada primo p T nos iremos assumir um dado conjunto
/
p
/. Seja /
1
:= / e para todo n umero livre de quadrados d
composto de primos de T nos denimos
/
d
:=
p|d
/
p
.
Fixemos um n umero real positivo z e denimos
P(z) :=
pP
p<z
p.
43
i
i
i
i
i
i
i
i
44 [CAP. 4: O CRIVO DE TUR
AN
Iremos estar interessado em estimar
S(/, T, z) := #(/
p|P(z)
/
p
).
Seguindo o metodo ilustrado na Se cao 3.4, nos escrevemos para
cada primo p T,
#/
p
=
p
X +R
p
(4.1.1)
e para primos distintos p, q T,
#/
pq
=
p
q
X +R
p,q
, (4.1.2)
onde
X := #/,
0
p
< 1.
Por conveniencia, interpretaremos R
p,q
como sendo R
p
. Heuristica-
mente nos podemos pensar de
p
como a proporcao de elementos de /
que pertencem a /
p
, e de R
p
como o termo do erro nesta estimativa.
A mesma interpretacao pode ser dada para
p
q
e R
p,q
.
Teorema 4.1.1 (O Crivo de Turan). Nos mantemos a notacao an-
terior. Seja
U(z) :=
p|P(z)
p
.
Entao
S(/, T, z)
X
U(z)
+
2
U(z)
p|P(z)
[R
p
[ +
1
U(z)
2
p,q|P(z)
[R
p,q
[.
Demonstracao. Para cada elemento a /, denotemos por N(a) o
n umero de primos p [ P(z) tal que a /
p
. Entao
S(/, T, z) = #a / : N(a) = 0
1
U(z)
2
aA
(N(a) U(z))
2
.
i
i
i
i
i
i
i
i
[SEC. 4.1: A DESIGUALDADE B
ASICA 45
Assim o objetivo e derivar um limite superior para
aA
(N(a) U(z))
2
,
uma expressao que e reminiscente do metodo da ordem normal. Ele-
vando ao quadrado o somando e expandindo temos
aA
N(a)
2
2U(z)
aA
N(a) +XU(z)
2
.
Para a primeira soma temos
aA
N(a)
2
=
aA
_
_
_
_
p|P(z)
aA
p
1
_
_
_
_
2
=
p,q|P(z)
#/
p
/
q
=
p,q|P(z)
p=q
#/
pq
+
p|P(z)
#/
p
= X
p,q|P(z)
p=q
q
+X
p|P(z)
p
+
p,q|P(z)
R
p,q
= X
_
_

p|P(z)
p
_
_
2
X
p|P(z)
2
p
+X
p|P(z)
p
+
p,q|P(z)
R
p,q
,
e, similarmente,
aA
N(a) = X
p|P(z)
p
+
p|P(z)
R
p
.
Aqui nos usamos as equacoes (4.1.1) e (4.1.2). Portanto
i
i
i
i
i
i
i
i
AN
aA
(N(a)U(z))
2
= X
p|P(z)
p
(1
p
)+
p,q|P(z)
R
p,q
2U(z)
p|P(z)
R
p
.
Uma vez que (1
p
) 1, nos imediatamante deduzimos a cota
superior enunciada no teorema.
4.2 Contando polin omios irredutveis em
F
p
[x]
Denotemos por F
p
o corpo nito com p elementos. Fixemos um
n umero natural n > 1 e seja N
n
o n umero de polinomios monicos
irredutveis em F
p
[x] de grau n. Iremos obter uma formula exata
para N
n
.
Considere a serie de potencias
f
T
(f)
,
onde a soma e sobre todos os polinomios monicos f F
p
[x]. Uma
vez que o n umero total de polinomios monicos em F
p
[x] de grau n e
p
n
, nos temos que a serie de potencias acima e
n=0
p
n
T
n
=
1
1 pT
.
Por outro lado, F
p
[x] e um domnio Euclidiano e assim ele possui
fatora cao unica. E assim podemos escrever como um produto de
Euler a expressao para a serie de potencia acima
v
(1 T
(v)
)
1
=
n=1
(1 T
n
)
N
n
,
onde v percorre sobre polinomios monicos irredutveis em F
p
[x]. Por-
tanto obtemos
(1 pT)
1
=
d=1
(1 T
d
)
N
d
. (4.2.1)
i
i
i
i
i
i
i
i
[SEC. 4.2: CONTANDO POLIN
OMIOS IRREDUT
IVEIS EM F
P
[X] 47
Usando que
log(1 pT) =
n=1
p
n
T
n
n
e tomando logaritmos em (4.2.1) nos obtemos
n=1
p
n
T
n
n
= log(1 pT) =
d=1
N
d
log(1 T
d
)
=
d=1
e=1
dN
d
T
de
de
=
n=1
T
n
n
_
de=n
dN
d
_
.
Isto prova:
Teorema 4.2.1. Denotemos por N
d
o n umero de polinomios monicos
irredutveis em F
p
[x] de grau d. Entao
d|n
dN
d
= p
n
.
Observe que uma consequencia imediata e que
N
n

p
n
n
,
o qual pode ser visto como o analogo para corpos de funcoes da cota
superior de Chebyche (1.4.1) para (x). De fato, e facil deduzir que
(veja Exerccio 1)
N
n

p
n
n
,
ou mais precisamente,
N
n
=
p
n
n
+O(p
n/2
d(n)),
onde d(n) denota o n umero de divisores de n. E podemos ver este
resultado como o analogo do teorema dos n umeros primos (1.4.2)
para F
p
[x].
i
i
i
i
i
i
i
i
AN
Teorema 4.2.2. Usando a mesma notacao anterior. Temos que
N
n
=
1
n
d|n
(d)p
n/d
.
4.3 Contando polin omios irredutveis em
Z[x]
Fixemos n umeros naturais H e n > 1. Iremos aplicar o crivo de
Turan para contar o n umero de polinomios irredutveis
x
n
+a
n1
x
n1
+ +a
1
x +a
0
com 0 a
i
H, a
i
Z. Iremos provar que este n umero e
H
n
+O(H
n1/3
log
2/3
H).
Assim, um polinomio aleatorio com coecientes inteiros e irredutvel,
com probabilidade 1.
Notemos que se um polinomio e redutvel em Z[x], entao ele e
redutvel modulo p para algum primo p. Nossa estrategia sera obter
uma estimativa para o n umero de polinomios redutveis.
Seja
/ := (a
n1
, a
n2
, . . . , a
1
, a
0
) Z
n
: 0 a
i
< H.
Iremos pensar das n uplas (a
n1
, a
n2
, . . . , a
1
, a
0
) como correspon-
dendo ao polinomio monico
x
n
+a
n1
x
n1
+ +a
1
x +a
0
.
Nos queremos contar o n umero de uplas de / que correspondem a
polinomios irredutveis em Z[x]. Assim, denotemos por T o conjunto
de todos os primos e para cada primo p, denotemos por /
p
o sub-
conjunto de uplas correspondendo a polinomios irredutveis modulo
p. Seja z = z(H) um n umero real positivo a ser escolhido mais tarde.
i
i
i
i
i
i
i
i
[SEC. 4.3: CONTANDO POLIN
OMIOS IRREDUT
IVEIS EM Z[X] 49
Entao S(/, T, z) representa uma cota superior para o n umero de po-
linomios redutveis em Z[x], pois se um polinomio pertence a /
p
para
algum primo p, entao ele e irredutvel.
Observemos que / tem H
n
elementos. Se especicarmos um po-
linomio monico g(x) F
p
[x], entao o n umero de elementos de / que,
reduzidos modulo p, sao congruenntes a g(x)(mod p), e
_
H
p
+O(1)
_
n
.
Iremos escolher z satisfazendo z
2
< H assim, para primos p < z,
a expressao acima pode ser escrita como
H
n
p
n
+O
_
H
n1
p
n1
_
.
De nossa discussao anterior, o n umero de polinomios monicos ir-
redutveis de grau n e
N
n
=
p
n
n
+O(p
n/2
),
onde a constante implcita depende de n. Assim o n umero total de
polinomios em / correspondendo a polinomios irredutveis em F
p
[x]
e
_
H
n
p
n
+O
_
H
n1
p
n1
___
p
n
n
+O(p
n/2
)
_
=
H
n
n
+O
_
H
n
p
n/2
_
+O(H
n1
p).
Isto implica que
#/
p
=
1
n
H
n
+O(H
n1
p) +O(H
n
/p
n/2
)
e, similarmente, para p ,= q
#/
p
/
q
=
1
n
2
H
n
+O(H
n1
pq) +O(H
n
/p
n/2
) +O(H
n
/q
n/2
).
i
i
i
i
i
i
i
i
AN
Podemos agora aplicar o Teorema 4.1.1 com
p
= 1/n e
R
p,q
= O(H
n1
pq) +O(H
n
/p
n/2
) +O(H
n
/q
n/2
).
Usando a cota de Chebyche nos deduzimos:
Teorema 4.3.1. Para / como acima, n 3 e z
2
< H, temos
S(/, T, z)
H
n
log z
z
+H
n1
z
2
.
Escolhendo
z := H
1/3
(log H)
1/3
obtemos:
Teorema 4.3.2. Seja n 3. O n umero de polinomios redutveis
x
n
+a
n1
x
n1
+ +a
1
x +a
0
, 0 a
i
H, a
i
Z,
e O(H
n1/3
(log H)
2/3
).
4.4 Valores quadrados de polinomios
Seja f(x) Z[x] um polinomio com discriminante disc(f) naonulo
e o qual nao e o quadrado de outro polinomio em Z[x]. Seja H > 0.
Nos iremos agora considerar a questao de estimar
#[n[ H : f(n) e um quadrado perfeito.
Esta questao foi discutida no Captulo 2 no contexto do crivo para
quadrados. Iremos agora aplicar o crivo de Turan. Como notado
anteriormente, o teorema de Siegel sobre pontos inteiros em curvas
hiperelpticas nos fornece uma cota universal (dependendo de f). A
novidade aqui e que, por um lado, nos nao iremos usar o profundo
trabalho de Siegel. Por outro lado, o metodo ira ter uma ampla
aplicabilidade, tal como o caso de polinomios de varias variaveis.
Seja
i
i
i
i
i
i
i
i
[SEC. 4.4: VALORES QUADRADOS DE POLIN
OMIOS 51
/ := n : [n[ H
e para cada primo p disc(f), denotemos
/
p
:= [n[ H : f(n)(mod p) nao e um quadrado.
Por um resultado de Weil citado no Captulo 2,
a( mod p)
_
f(a)
p
_
((f) 1)
p,
e assim temos que o n umero de n(mod p) tal que
y
2
f(n)(mod p)
para algum inteiro y e p/2 + O(
p). Logo, o n umero de n(mod p)

tal que f(n) nao e um quadrado modulo p e p/2 +O(
p). Assim
#/
p
=
_
2H
p
+O(1)
_
_
p
2
+O(
p)
_
= H +O
_
H
p
+p
_
.
Similarmente, para primos distintos p, q disc(f),
#/
pq
=
_
2H
pq
+O(1)
_
_
pq
4
+O(
pq +p
q)
_
=
H
2
+O
_
pq +
H
p
+
H
q
_
.
Como #/ = 2H +O(1), vemos que, usando a nota cao da Se cao 4.1,
p
= 1/2, os axiomas do crivo de Turan sao satisfeitos com
R
p
= O
_
H
p
+p
_
e
i
i
i
i
i
i
i
i
AN
R
pq
= O
_
H
p
+
H
q
+pq
_
.
Aplicando Teorema 4.1.1, obtemos
#[n[ H : f(n) e um quadrado
H log z
z
+
H
z
+z +
1
z
2
(Hz
3/2
+z
4
(log z)
2
).
Escolhendo z :=
H
2/5
(log H)
4/5
, temos
#[n[ H : f(n) e um quadrado = O(H
4/5
(log H)
2/5
),
que e inferior à estimativa obtida pelo crivo para quadrados. Entre-
tanto, se considerarmos o problema analogo para o qual f(n) e um
cubo ou uma potencia mpar maior, o crivo para quadrados nao pode
ser utilizado, porem uma estimativa similar pode ser deduzida pela
tecnica acima.
4.5 Exerccios
1. Com N
n
como denido neste captulo, mostre que
N
n
=
p
n
n
+O(p
n/2
d(n)).
2. Seja / o conjunto dos n umeros naturais n x e T o conjunto
dos n umeros primos p < z. Mostre que
(x)
x
log log x
.
i
i
i
i
i
i
i
i
[SEC. 4.5: EXERC
ICIOS 53
3. Sejam / e T como na Se cao 4.1. Para cada a /, denotemos
por w(a) um n umero real naonegativo (chamado de peso) e
denotemos por
X :=
aA
w(a).
Suponha que, para p T,
aA
p
w(a) =
p
X +R
p
e, para primos distintos p, q T,
aA
pq
w(a) =
p
q
X +R
p,q
.
Seja N(a) o n umero de p T para o qual a /
p
e
U(z) :=
p|P(z)
p
.
Prove que
aA
w(a)(N(a) U(z))
2
= X
p|P(z)
p
(1
p
) +
p,q|P(z)
R
p,q
2U(z)
p|P(z)
R
p
.
i
i
i
i
i
i
i
i
Captulo 5
O Crivo de Erat ostenes
Neste captulo iremos descrever o famoso crivo de Eratostenes da
mesma forma que foi apresentada por A. M. Legendre (17521833)
em 1808 na segunda edicao de seu livro Theorie des Nombres. Nos
iremos tratar este assunto sob uma perspectiva moderna e vamos
mostrar tambem que, quando combinamos o crivo de Eratostenes com
o truque de Rankin, o crivo de Eratostenes se torna tao poderoso
quanto o crivo de Brun, sendo este ultimo mais complicado de derivar.
5.1 O crivo de Erat ostenes
Nos iremos usar a propriedade fundamental da funcao de Mobius,
dada no Lema 1.2.2, para estudar o n umero
(x, z) := #n x : n nao e divisvel por nenhum primo < z,
onde x, z sao n umeros reais positivos. Isto sera usado como um exem-
plo motivador que ira nos levar mais adiante a um desenvolvimento
formal do crivo de Eratostenes.
Se denotarmos
P
z
:=
p<z
p,
54
i
i
i
i
i
i
i
i
[SEC. 5.1: O CRIVO DE ERAT
OSTENES 55
entao
(x, z) =
nx
d|(n,P
z
)
(d) =
d|P
z
(d)
_
x
d
_
= x
d|P
z
(d)
d
+O(2
z
) = x
p<z
_
1
1
p
_
+O(2
z
).
Podemos usar (x, z) para deduzirmos uma estimativa para (x) da
seguinte maneira:
(x) = ((x) (z)) +(z)
(x, z) +(z)
(x, z) +z. (5.1.1)
Mais ainda, a desigualdade 1 x e
x
, valida para x positivo,
implica que
p<z
_
1
1
p
_
exp
_
p<z
1
p
_
.
No Captulo 1 nos estabelecemos que
p<z
1
p
log log z +O(1).
Assim obtemos uma cota superior para
p<z
_
1
1
p
_
e consequentemente para (x, z). Escolhendo agora
z := c log x
para alguma constante positiva c e usando (5.1.1), nos provamos
Proposicao 5.1.1.
(x)
x
log log x
.
i
i
i
i
i
i
i
i
56 [CAP. 5: O CRIVO DE ERAT
OSTENES
5.2 Teorema de Merten
Iremos derivar uma formula assintotica para
V (z) :=
p<z
_
1
1
p
_
,
e para isso iremos usar que a fun cao zeta de Riemann (s) se estende
como uma funcao analtica para R(s) > 0 exceto por um polo simples
em s = 1 com resduo 1. Nosso principal resultado nesta se cao e
Teorema 5.2.1.
V (z) =
p<z
_
1
1
p
_
=
e
log z
_
1 +O
_
1
log z
__
quando z .
Demonstracao. Temos que
log V (z) =
p<z
1
p
+
k2p<z
1
kp
k
,
e uma vez que
k2p<z
1
kp
k

p<z
k2
1
p
k
=
p<z
1
p(p 1)
,
nos podemos escrever
k2p<z
1
kp
k
= c
0
+O
_
1
z
_
para alguma constante positiva c
0
. Assim deduzimos que
log V (z) =
p<z
1
p
+c
0
+O
_
1
z
_
,
onde, de fato,
c
o
=
p
log
_
1
1
p
_
+
1
p
.
i
i
i
i
i
i
i
i
[SEC. 5.2: TEOREMA DE MERTEN 57
Lembremos que pelo Teorema 1.4.3 do Captulo 1 nos temos
R(z) :=
p<z
log p
p
= log z +O(1),
e assim por somas parciais temos que
p<z
1
p
=
R(z)
log z
+
_
z
2
R(t)dt
t log
2
t
= log log z +c
1
+O
_
1
log z
_
para algum c
1
> 0. Assim
log V (z) = log log z +c
0
+c
1
+O
_
1
log z
_
,
e assim
p<z
_
1
1
p
_
=
e
(c
0
+c
1
)
log z
_
1 +O
_
1
log z
__
quando z . Falta mostramos que c
0
+c
1
= , onde e a famosa
constante de Euler.
Para > 0 consideremos
(1 +) =
n=1
1
n
1+
=
p
_
1
1
p
1+
_
1
.
Assim
f() : = log (1 +)
p
1
p
1+
=
p
_
log
_
1
1
p
1+
_
+
1
p
1+
_
,
e portanto
i
i
i
i
i
i
i
i
OSTENES
c
0
= lim
0
f().
Pelo Exerccio 1 nos temos que, para > 0,
log (1 +) = log
1
+O()
= log(1 e
) +O()
=
n=1
e
n
n
1
+O().
Colocando
H(t) :=
nt
1
n
e
P(t) :=
pt
1
p
,
obtemos por somas parciais que
p
1
p
1+
_

1
P(u)
u
1+
du =
_

0
P(e
t
)e
t
dt.
Similarmente,
log (1 +) =
_

0
e
t
H(t)dt +O().
Logo
f() =
_

0
e
t
(H(t) P(e
t
))dt +O().
Uma vez que
H(t) = log t + +O
_
1
t
_
e
i
i
i
i
i
i
i
i
[SEC. 5.3: O TRUQUE RANKIN 59
P(e
t
) = log t +c
1
+O
_
1
t
_
,
nos deduzimos que
f() =
_

0
e
t
_
c
1
+O
_
1
t + 1
__
dt +O()
= c
1
+O().
Tomando 0 temos
f(0) = c
0
= c
1
.
E isto conclui a demonstracao.
5.3 O truque Rankin
Consideremos a seguinte funcao
(x, z) := #n x : se p [ n, entao p < z.
Atraves do crivo de Eratostenes discutido na Secao 5.1 e uma analise
mais na temos que
(x, z) =
d|P
z
dx
(d)
_
x
d
_
= x
d|P
z
dx
(d)
d
+O((x, z)). (5.3.1)
Nos iremos usar agora um truque devido a Rankin para estimar
(x, z). Para todo > 0, temos que
(x, z) =
nx
p|np<z
1
nx
p|np<z
_
x
n
_
p<z
_
1
1
p
_
1
.
Observemos que
i
i
i
i
i
i
i
i
OSTENES
p<z
_
1
1
p
_
1
p<z
_
1 +
1
p
__
1
1
p
2
_
1
p<z
_
1 +
1
p
_
,
uma vez que o produto
p
_
1
1
p
2
_
1
e convergente para > 1/2. Portanto
(x, z) x
p<z
_
1 +
1
p
_
.
Usando que 1 +x e
x
obtemos
(x, z) exp
_
log x +
p<z
1
p
_
.
Agora escolhedo := 1 com 0 quando z , escrevendo
p
= p
1
p
= p
1
e
log p
e usando a desigualdade e
x
1 +xe
x
nos deduzimos que
p<z
1
p
p<z
1
p
(1 + ( log p)z
),
uma vez que p < z. Assim, escolhendo
:=
1
log z
temos:
Teorema 5.3.1.
(x, z) x(log z) exp
_
log x
log z
_
quando x .
i
i
i
i
i
i
i
i
OSTENES 61
Teorema 5.3.2.
d|P
z
dx
(d)
d
=
p<z
_
1
1
p
_
+O
_
(log z)
2
exp
_
log x
log z
__
.
Demonstracao. Exerccio. Use Exerccio 2 e o teorema acima.
Teorema 5.3.3.
(x, z) = x
p<z
_
1
1
p
_
+O
_
x(log z)
2
exp
_
log x
log z
__
quando x, z .
Demonstracao. Imediata a partir de (5.3.1).
Corolario 5.3.4.
(x)
x
log x
(log log x).
5.4 O Crivo de Erat ostenes
Seja / um conjunto qualquer de n umeros naturais x e T um con-
junto de primos. Para cada primo p T denotemos por (p) o
n umero de classes de resduo (distintas) modulo p. Denotemos por
/
p
o conjunto de elementos de / pertencendo, no mnimo, a uma
destas classes de resduo modulo p e seja /
1
:= / e para qualquer
n umero d livre de quadrados e composto de primos em T denimos
/
d
:=
p|d
/
p
e
(d) :=
p|d
(p).
Seja z um n umero real positivo e
i
i
i
i
i
i
i
i
OSTENES
P(z) :=
pPp<z
p.
Como de costume, denotamos S(/, T, z) o n umero de elementos
de
A
p|P(z)
/
p
.
Suponhamos tambem que exista X tal que
#/
d
=
(d)
d
X +R
d
(5.4.1)
para algum R
d
.
Teorema 5.4.1 (O Crivo de Eratostenes). Com a notacao acima,
suponha que as seguintes condicoes sejam satisfeitas:
1. [R
d
[ = O((d));
2. para algum 0,
p|P
z
(p) log p
p
log z +O(1);
3. para algum n umero real positivo y, #/
d
= 0 para todo d > y.
Entao
S(/, T, z) = XW(z) +O
__
X +
y
log z
_
(log z)
+1
exp
_
log y
log z
__
,
onde
W(z) :=
pP
p<z
_
1
(p)
p
_
.
Para provar este teorema iremos precisar dos seguintes lemas.
i
i
i
i
i
i
i
i
OSTENES 63
Lema 5.4.2. Com as hipoteses do Teorema 5.4.1, denotemos
F(t, z) :=
dt
d|P
z
(d).
Entao
F(t, z) = O
_
t(log z)
exp
_
log t
log z
__
.
Demonstracao. Nos usamos o truque de Rankin. Para todo > 0,
F(t, z)
d|P
z
(d)
_
t
d
_
.
Uma vez que e multiplicativa, nos deduzimos que
F(t, z) exp
_
_
log t +
p|P
z
(p)
p
_
_
usando a desigualdade 1 + x e
x
. Colocando := 1 e usando a
desigualdade e
x
1 +xe
x
, nos obtemos
F(t, z) t exp
_
_
log t +
p|P
z
(p)
p
+z
p|P
z
(p) log p
p
_
_
.
Pela segunda hipotese do Teorema 5.4.1 e por somas parciais temos
que
p|P
z
(p)
p
log log z +O(1).
Assim
F(t, z) t exp( log t +log log z +(log z)z
).
Escolhendo := 1/ log z nos fornece o resultado desejado.
i
i
i
i
i
i
i
i
OSTENES
Lema 5.4.3. Com as hipoteses do Teorema 5.4.1,
d|P
z
d>y
(d)
d
= O
_
(log z)
+1
exp
_
log y
log z
__
.
Demonstracao. Atraves de somas parciais, nos temos que
d|P
z
d>y
(d)
d

_

y
F(t, z)
t
2
dt.
O resultado segue do Lema anterior.
Demonstracao do Teorema 5.4.1. Pelo princpio de inclusaoexclusao
e a primeira e terceira hipoteses
S(/, T, z) =
d|P
z
dy
(d)#/
d
=
d|P
z
dy
(d)
X(d)
d
+O(F(y, z)). (5.4.2)
Entao pelo Lema 5.4.2 e 5.4.3 nos obtemos que
S(/, T, z) = XW(z) +O
__
X +
y
log z
_
(log z)
+1
exp
_
log y
log z
__
.
Um n umero primo p tal que p+2 tambem e um primo e chamado
de primo gemeo e a famosa conjectura dos primos gemeos,
ainda sem solucao, diz que existem innitos primos gemeos. Esta
conjectura e uma das principais motiva coes de pesquisa em teoria
dos crivos. De fato, o nascimento da teoria moderna dos crivos tem
seu incio com o artigo de Viggo Brun (veja [11]), onde ele provou
que
i
i
i
i
i
i
i
i
OSTENES 65
p
p+2 primo
1
p
< .
Antes do trabalho de Brun, ninguem sabia como atacar tal questao.
Brun deduziu seu resultado a partir de uma estimativa que ele ob-
teve atraves de um sosticado metodo de crivo, chamado agora de
Crivo de Brun, que iremos discutir no proximo captulo. O principal
interesse teorico para nos no momento e que a cota superior de Brun
pode ser derivada do crivo de Eratostenes. A cota superior derivada
abaixa nao e a melhor possvel, mas e suciente para deduzirmos a
convergencia da soma acima.
Teorema 5.4.4. O n umero de primos p x tal que p +2 tambem e
primo e
x(log log x)
2
log
2
x
.
Demonstracao. Seja / o conjunto de n umeros naturais n x e T o
conjunto de todos os primos. Seja z = z(x) um n umero real positivo
a ser escolhido em breve. Para cada primo p < z nos distinguimos
as classes de resduo 0 e 2 modulo p. Uma vez que /
p
e vazio para
p > x + 2, nos aplicamos o Teorema 5.4.1 com = 2 para deduzir
que
S(/, T, z) = xW(z) = O
_
x(log z)
3
exp
_
log x
log z
__
,
onde
W(z) :=
p<z
_
1
2
p
_
.
Agora
W(z) =
p<z
_
1
2
p
_
exp
_
p<z
2
p
_
(log z)
2
.
i
i
i
i
i
i
i
i
OSTENES
Escolhemos z tal que
log z = log x/Alog log x
para alguma constante positiva A grande e deduzimos que
S(/, T, z)
x(log log x)
2
log
2
x
.
Claramente, o n umero de primos gemeos nao pode exceder
(z) +S(/, T, z) z +S(/, T, z),
com z como acima. O resultado agora e imediato.
Corolario 5.4.5 (Teorema de Brun). A soma
p
p+2 primo
1
p
e convergente.
5.5 Exerccios
1. Usando soma parcial, mostre que
(1 +) =
1
+O()
para > 0.
2. Seja C(x) =
nx
c
n
e f(t) uma funcao diferenciavel com de-
rivadas contnuas. Suponha que
lim
Y
C(Y )f(Y ) = 0
e
_

1
C(t)f
(t)dt < .
i
i
i
i
i
i
i
i
[SEC. 5.5: EXERC
ICIOS 67
Prove que
n>x
c
n
f(n) = C(x)f(x)
_

x
C(t)f
(t)dt.
3. Mostre que
d
2
|n
(d) =
_
1 se n e livre de quadrados,
0 caso contrario.
Se Q(x) denota o n umero de n umeros livre de quadrados x,
deduza que
Q(x) =
6
2
x +O(
x).
i
i
i
i
i
i
i
i
Captulo 6
O Crivo de Brun
Viggo Brun (18851978) introduziu o crivo que agora leva o seu nome
em 1915 no artigo [5]. Neste trabalho, Brun provou que existem
innitos n umeros inteiros n tal que n e n + 2 possuem no maximo
nove fatores primos. Ele tambem mostrou que se k um n umero par
e sucientemente grande entao ele e a soma de de dois inteiros, cada
tendo no maximo nove fatores primos. Isto representa um tremendo
avan co em direcao à conjectura dos primos gemeos e para a conjectura
de Goldbach. Como consequencia do seu trabalho, ele deduziu que a
soma dos recprocos da sequencia de primos gemeos converge.
Como notado anteriormente, alguns dos resultados de Brun po-
dem ser derivados do crivo de Eratostenes e do truque de Rankin.
Entretanto, o metodo do crivo de Brun nao pode ser deduzido dos
metodos elementares do captulo anterior. Assim o estudo do Crivo
de Brun e uma essencial ferramenta na teoria dos crivos e nao pode
ser ignorado.
6.1 O Crivo Puro de Brun
Comecamos com a simples observa cao de que para todos inteiros
positivos e r tal que 0 r 1,
68
i
i
i
i
i
i
i
i
[SEC. 6.1: O CRIVO PURO DE BRUN 69
kr
(1)
k
(/k) = (1)
r
_
1
r
_
.
Esta identidade e obtida quando comparamos os coecientes de x
r
em ambos os lados de
(1 x)
1
(1 x)
= (1 x)
1
.
Seja n um inteiro positivo e N o radical de n (isto e, o produto dos
divisores primos de n contados com multiplicidade 1). Nos usamos
a formula acima com = (n) para deduzir que, para todo 0
r(n) 1,
d|n
(d)r
(d) =
d|N
(d)r
(d) =
kr
(1)
k
_
(n)
r
_
= (1)
r
_
(n) 1
r
_
.
(6.1.1)
Vamos denir a funcao truncada de Mobius de d por
r
(d) :=
_
(d) se (d) r,
0 se (d) > r,
e denotemos
r
(n) :=
d|n
r
(d).
Entao (6.1.1) pode ser reescrita como
r
(n) = (1)
r
_
(n) 1
r
_
, (6.1.2)
que e uma formula que pode ser vista como uma generalizacao da
propriedade fundamental da fun cao de Mobius.
De (6.1.2) n os deduzimos que
r
(n) 0 se r e par e
r
(n) 0
se r e mpar. Isto implica que para todos inteiros positivos n e r nos
temos
2r+1
(n)
d|n
(d)
2r
(n). (6.1.3)
i
i
i
i
i
i
i
i
70 [CAP. 6: O CRIVO DE BRUN
Tambem vemos que
2r+1
(n) =
d|n
(d)2r
(d) +
d|n
(d)=2r+1
(d)
=
2r
(n) +O
_
_
_
_
d|n
(d)=2r+1
[(d)[
_
_
_
_
.
Combinando as duas formulas nos temos que para quaisquer inteiros
positivos n e r,
d|n
(d) =
r
(n) +O
_
_
_
_
d|n
(d)=2r+1
[(d)[
_
_
_
_
. (6.1.4)
O ponto de partida do Crivo de Brun e usar
r
(n), via (6.1.4),
no crivo de Eratostenes para reduzir o tamanho dos termos do erro.
Para elucidar a ideia de Brun iremos aplicar suas ideias para obter
um limitante superior para (x, z), o n umero de inteiros x que sao
livres de fatores primos < z. Como de costume, denotemos
P
z
:=
p<z
p.
Entao por (6.1.3) nos obtemos que, para r um n umero par,
(x, z)
nx
d|(n,P
z
)
r
(d)
=
d|P
z
r
(d)
_
x
d
_
= x
d|P
z
r
(d)
d
+O(z
r
),
uma vez que
r
(d) = 0 a menos que (d) r.
i
i
i
i
i
i
i
i
Agora nos mudamos a nossa atencao para
d|P
z
r
(d)
d
.
Por inversao de Mobius,
r
(d) =
|d
_
d
r
(),
e assim
d|P
z
r
(d)
d
=
d|P
z
1
d
|d
_
d
r
()
=
|P
z
r
()
d|
P
z
(d)
d
= W(z)
|P
z
r
()
()
,
onde
W(z) :=
p<z
_
1
1
p
_
e denota a fun cao de Euler. Em outras palavras,
d|P
z
r
(d)
d
= W(z) +W(z)
|P
z
>1
r
()
()
. (6.1.7)
Nosso objetivo agora e estimar
|P
z
>1
r
()
()
.
Primeiramente observamos que, de (6.1.2),
i
i
i
i
i
i
i
i
r
()
_
() 1
r
_
,
e assim a soma considerada e limitada por
|P
z
>1
_
() 1
r
_
1
()

r+1m(z)
_
m1
r
_

|P
z
>1
()=m
1
()
r+1m(z)
_
m1
r
_
_
p<z
1
p 1
_
m
1
m!
1
r!
mr+1
1
(mr)!
(log log z +c
1
)
m
=
(log log z +c
1
)
r
r!
mr+1
1
(mr)!
(log log z +c
1
)
mr
(log log z +c
1
)
r
r!
exp(log log z +c
1
).
Acima nos utilizamos a estimativa elementar
p<z
1
p
< log log z +c
1
para alguma constante positiva c
1
. Assim
|P
z
>1
r
()
()

(log log z +c
1
)
r!
exp(log log z +c
1
). (6.1.8)
Nos agora utilizamos a estimativa bem conhecida
1
r!

_
e
r
_
r
para obter de (6.1.8) que
i
i
i
i
i
i
i
i
|P
z
>1
r
()
()
c
2
exp(r r log r +r log ) log z, (6.1.9)
onde
:= log log z +c
1
e c
2
e uma constante positiva.
Combinando (6.1.5), (6.1.7) e (6.1.9) nos obtemos que
(x, z) xW(z)
+xW(z)O(exp(r r log r +r log ) log z) +O(z
r
). (6.1.10)
O nosso objetivo agora e fazer com que o termo r log r domine e
assim nos permitindo obter um termo de erro pequeno da equacao
(6.1.10). Nos escolhemos r a ser o inteiro par mais proximo a
log log z
para algum = (x, z) a ser especicado em breve. Com esta escolha
de r, o termo do erro em (6.1.10) e igual a
xexp((log )(log log z)) +z
log log z
,
verique. Igualando os dois termos acima nos percebemos que a
escolha otima para e
:=
log x
(log z)(log log z)
para algum < 1.
Em particular, para z satisfazendo
log z = O((log x)
1
)
para qualquer 0 < < 1, nos obtemos
(x, z) xW(z) +O(xexp((log x)
)).
Isto nos leva a estimativa
i
i
i
i
i
i
i
i
(x) = O
_
x
(log x)
1
_
.
Uma consideracao mais na e delicada nos mostra que
log z =
log x
log log x
e portanto que
(x) = O
_
xlog log x
log x
_
,
um resultado que nos ja tnhamos pelo crivo de Eratostenes.
Estamos agora em posi cào de formalizar o puro crivo de Brun. O
ponto de partida e:
Lema 6.1.1. Sejam n, r inteiros positivos com r (n). Entao
existe [[ 1 tal que
d|n
(d) =
d|n(d)r
(d) +
d|n(d)=r+1
(d).
Seja / um conjunto qualquer de n umeros naturais x e T um
conjunto de primos. Para cada primo p T, seja /
p
o conjunto de
elementos de / os quais sao divisveis por p. Seja /
1
:= / e para
qualquer inteiro positivo d composto de primos de T denotemos por
/
d
:=
p|d
/
p
. Seja z um n umero real positivo e P(z) :=
pP
p<z
p.
Como nos captulos anteriores, nos queremos estimar
S(/, T, z) := #(/
p|P(z)
/
p
).
Nos iremos assumir que existe uma funcao multiplicativa () tal
que, para todo d como acima,
#/
d
=
(d)
d
X +R
d
(6.1.11)
para algum R
d
, onde
i
i
i
i
i
i
i
i
X := #/.
Denotamos por
W(z) :=
p|P(z)
_
1
(p)
p
_
.
Teorema 6.1.2 (O Crivo Puro de Brun). Nos mantemos as mesmas
notacoes de antes e fazemos as seguintes hipoteses adicionais:
1. [R
d
[ (d) para todo d livre de quadrados composto de primos
de T;
2. existe uma constante positiva C tal que (p) < C para todo
p T;
3. existem constantes positivas C
1
, C
2
tal que
p<z
pP
(p)
p
< C
1
log log z +C
2
.
Entao
S(/, T, z) = XW(z)(1 +O((log z)
A
)) +O(z
log log z
)
com A = log . Em particular, se log z c log x/ log log x para uma
apropriada constante positiva c sucientemente pequena, nos obtemos
S(/, T, z) = XW(z)(1 +o(1)).
Demonstracao. Pelo Lema 6.1.1 nos temos que para todo inteiro po-
sitivo r,
i
i
i
i
i
i
i
i
S(/, T, z) =
aA
d|(a,P(z))
(d)
=
aA
_
_
_
_
d|(a,P(z))
r
(d) +
d|(a,P(z))
(d)=r+1
(d)
_
_
_
_
=
d|P(z)
r
(d)(#/
d
) +O
_
X
(z)
r+1
(r + 1)!
_
.
De (6.1.11), da primeira hipotese e da multiplicatividade de (
), ob-
temos
o(/, T, z) = X
d|P(z)
r
(d)(d)
d
+O
_
_
_
_
d|P(z)
(d)r
[R
d
[
_
_
_
_
+ O
_
X
z
r+1
(r + 1)!
_
= X
d|P(z)
r
(d)(d)
d
+O
_
_
_
_
1 +
p|P(z)
(p)
_
_
r
1
r!
_
_
+ O
_
X
z
r+1
(r + 1)!
_
.
Entao, aplicando a formula de inversao de Mobius nos deduzimos
que
i
i
i
i
i
i
i
i
[SEC. 6.2: O PRINCIPAL TEOREMA DE BRUN 77
S(/, T, z) = X
|P(z)
r
()()
d|
P(z)
(d)(d)
d
+ O
_
_
_
_
1 +
p|P(z)
(p)
_
_
r
1
r!
_
_
+O
_
X
z
r+1
(r + 1)!
_
.
Denotemos
(d) :=
p|d
(p (p)).
Assim a primeira soma na expressao acima e
XW(z)
|P(z)
r
()()
()
.
Invocando agora a primeira e a segunda hipoteses do teorema nos
obtemos a formula assintotica desejada.
6.2 O Principal Teorema de Brun
O crivo puro de Brun nos fornece resultados comparaveis com os
do crivo do Eratostenes. Nos iremos agora tentar melhorar o nosso
resultado usando a fun cao
f(n) =
d|n
(d)g(d),
com f(1) = 1, ao inves de
d|n
(d),
para iniciar o processo de crivo.
Mais precisamente, seja / um conjunto nito de inteiros e T um
conjunto de primos. Para cada primo p T suponha que seja dado
um subconjunto /
p
/. Como antes, seja /
1
:= /e para um inteiro
i
i
i
i
i
i
i
i
positivo d livre de quadrados composto de primos de T denotemos
/
d
:=
p|d
/
p
. Seja z um n umero real positivo e P(z) o produto dos
primos em T que sao < z. Usaremos a nota cao T
()
para o conjunto
de primos de T com os divisores primos de removidos. Aplicando
inversao de Mobius para a soma que dene f, nos obtemos
(n)g(n) =
d|n
_
n
d
_
f(d),
assim
d|P(z)
(d)g(d)#/
d
=
d|P(z)
#/
d
|d
_
d
_
f()
=
|P(z)
f()
d|
P(z)
(d)#/
d
=
|P(z)
f()S(/
, T
()
, z)
= S(/, T, z) +
|P(z)
>1
f()S(/
, T
()
, z).
Nos podemos interpretar a ultima soma como um termo de erro.
Analisando este termo, Brun descobriu um escolha engenhosa para a
fun cao g que permitiu a ele obter uma cota superior e inferior para
S(/, T, z). Nos iremos fazer esta analise agora.
Primeiramente reescrevemos a soma
|P(z)
>1
f()S(/
, T
()
, z)
em uma forma mais util. Seja q() o menor divisor primo de , onde
interpretamos q(1) como innito. Escrevemos cada como pt com
p = q(). Entao
i
i
i
i
i
i
i
i
|P(z)
>1
f()S(/
, T
()
, z) =
p|P(z)
t|
P(z)
p
p<q(t)
S(/
pt
, T
(pt)
, z)f(pt)
=
p|P(z)
t|P(z)
p<q(t)
S(/
pt
, T
(pt)
, z)
_
_
d|t
(d)(g(d) g(pd))
_
_
.
Agora escrevemos t = de e observemos que p < q(t) se e somente se
p < q(d) e p < q(e). Entao
|P(z)
>1
f()S(/
, T
()
, z)
=
d|P(z)
p|P(z)
p<q(d)
(d)(g(d) g(pd))
e|
P(z)
d
p<q(e)
S(/
pde
, T
(pde)
, z).
Se denotarmos
o(/, T, z) := /
p|P(z)
/
p
,
entao um momento de reexao nos mostra que
o(/
pd
, T
(pd)
, p) =
e|
P(z)
d
p<q(e)
o(/
pde
, T
(pde)
, z),
uma vez que todo elemento do lado esquerdo deve necessariamente
pertencer a um unico /
pde
para algum e com q(e) > p (o lado direito
e uma uniao disjunta). Assim
i
i
i
i
i
i
i
i
|P(z)
>1
f()S(/
, T
()
, z)
=
d|P(z)
p|P(z)
p<q(d)
(d)(g(d) g(pd))S(/
pd
, T
(pd)
, p).
Uma vez que p < q(d),
S(/
pd
, T
(pd)
, p) = S(/
pd
, T, p).
Isto prova:
Teorema 6.2.1. Com as mesmas hipoteses anteriores e para toda
funcao g com g(1) = 1, nos temos
S(/, T, z)
=
d|P(z)
(d)g(d)#/
d
d|P(z)
p|P(z)
p<q(d)
(d)(g(d)g(pd))S(/
pd
, T, p).
O caso quando g(1) := 1, g(d) := 0 para todo d > 1 nos da o
famoso resultado:
Lema 6.2.2 (Identidade de Buchstab). Nos temos que
S(/, T, z) = #/
p|P(z)
S(/
p
, T, p).
Nos tambem deduzimos que:
Teorema 6.2.3. Nos mantemos a notacao do Teorema 6.2.1 e sejam
g
U
e g
L
duas funcoes tal que g
U
(1) = g
L
(1) = 1, satisfazendo
(d)(g
U
(d) g
U
(pd)) 0
e
(d)(g
L
(d) g
L
(pd)) 0
i
i
i
i
i
i
i
i
para todo d [ P(z), p < q(d). Entao
d|P(z)
(d)g
L
(d)#/
d
S(/, T, z)
d|P(z)
(d)g
U
(d)#/
d
.
Demonstracao. A condi cao em g
U
implica que a segunda soma no
Teorema 6.2.1 e naonegativo. A cota superior e agora imediata.
Um argumento similar aplica-se para g
L
.
Nos iremos agora escolher as funcoes g
U
e g
L
que satisfazem a
condicao do Teorema 6.2.3. Nos iremos seguir o raciocnio de Brun e
considerar apenas fun coes g tais que g(d) = 0 ou 1. Nos decompomos
o intervalo [1, z] da seguinte maneira
2 = z
r
< z
r1
< < z
1
< z
0
= z
e denimos
P
z
n
,z
:=
z
n
p<z
p.
Seja b um inteiro positivo xado e denotemos
g
U
(d) :=
_
1 se ((d, P
z
n
,z
)) 2b + 2n 2 n r,
0 caso contrario.
(6.2.1)
Desta maneira a condi cao sobre o limitante superior do Teorema
6.2.3 e satisfeito. Para isto precisamos mostrar que
(d) = 1 implica g
U
(d) g
U
(pd)
e
(d) = 1 implica g
U
(d) g
U
(pd)
para todo d [ P(z) e p < q(d). Suponha que (d) = 1. O unico caso
a considerar e g
U
(d) = 0 e g
U
(pd) = 1. Neste caso temos
((d, P
z
m
,z
)) > 2b + 2m2 para algum m r
i
i
i
i
i
i
i
i
e
((pd, P
z
n
,z
)) 2b + 2n 2 m r.
Para n = m a segunda desigualdade contradiz a primeira e assim
esta situa cao nao pode ocorrer. Suponha agora que (d) = 1. O
unico caso a considerar e g
U
(pd) = 0 e g
U
(d) = 1. Em tal caso,
((d, P
z
n
,z
)) 2b + 2n 2 n r
e
((pd, P
z
m
,z
)) > 2b + 2m2 para algum m r.
Na segunda desigualdade temos
((p, P
z
m
,z
)) +((d, P
z
m
,z
)) > 2b + 2m2,
e isto signica que
z
m
p < z
e
2b + 2m3 < ((d, P
z
m
,z
)) 2b + 2m2.
Portanto
((d, P
z
m
,z
)) = 2b + 2m2.
Uma vez que p < q(d) e z
m
p < z, nos deduzimos
(d) = ((d, P
z
m
,z
)) = 2b + 2m2.
Logo (d) = 1, uma contradicao! Observe que em todos os casos,
(g
U
(d) g
U
(pd)) = (d)g
U
(d)(1 g
U
(pd)),
um fato que sera crucial na proxima discussao.
Uma analise similar mostra que
i
i
i
i
i
i
i
i
g
L
(d) :=
_
1 se ((d, P
z
n
,z
)) 2b + 2n 3 n r,
0 caso contrario.
(6.2.2)
satisfaz a condi cao para g
L
no Teorema 6.2.3. Tambem temos que
(g
L
(d) g
L
(pd)) = (d)g
L
(d)(1 g
L
(pd)).
Denotemos por p
+
o primo de T que sucede p. Escolhendo g
U
e
g
L
como acima, temos que
Lema 6.2.4.
d|P(z)
(d)g
U
(d)
(d)
d
= W(z)
_
1 +
p<z
(p)W(p)
pW(z)
t|P
p
+
,z
g
U
(t)(1 g
U
(pt))
t
(t)
_
,
d|P(z)
(d)g
L
(d)
(d)
d
= W(z)
_
1
p<z
(p)W(p)
pW(z)
t|P
p
+
,z
g
L
(t)(1 g
L
(pt))
t
(t)
_
.
Demonstracao. Iremos estabelecer a identidade para g
U
e deixaremos
a demonstra cao para g
L
como um exerccio para o leitor. Primeiro
observamos que para d [ P(z),
p|d
(g
U
((d, P
p
+
,z
)) g
U
((d, P
p,z
))) = 1 g
U
(d).
Para ver isto, note que para d = 1 a armacao e trivial. Para d > 1,
d = p
1
. . . p
r
com p
1
< < p
r
e p
i
T. Entao o lado esquerdo
acima e
r1
i=1
(g
U
(p
i+1
. . . p
r
) g
U
(p
i
. . . p
r
)) + 1 g
U
(p
r
)
i
i
i
i
i
i
i
i
e a soma e telescopica, nos dando o resultado. Logo
d|P(z)
(d)g
U
(d)
(d)
d
=
d|P(z)
(d)
_
_
1
p|d
(g
U
(d, P
p
+
,z
) g
U
(d, P
p,z
))
_
_
(d)
d
= W(z) +
d|P(z)
p|d
(d/p)(g
U
(d, P
p
+
,z
)) g
U
(d, P
p,z
)
(d)
d
.
Escrevemos d = pt, onde [ P(p) e t [ P
p
+
,z
para obtermos
d|P(z)
(d)g
U
(d)
(d)
d
= W(z) +
p<z
(p)
p
|P(p)
()()
t|P
p
+
,z
(t)
g
U
(t) g
U
(pt)
t
(t).
Assim temos que,
d|P(z)
(d)g
U
(d)
(d)
d
= W(z) +
p<z
(p)
p
W(p)
t|P
p
+
,z
g
U
(t)(1 g
U
(pt))
t
(t),
como desejado. Isto completa a demonstracao.
Estamos agora em posicao de provar o famoso resultado de Brun:
Teorema 6.2.5 (O Crivo de Brun). Mantemos a notacao da Secao
5.1. Suponha que
1. [R
d
[ (d) para todo d livre de quadrados de primos de T;
i
i
i
i
i
i
i
i
2. existe uma constante A
1
1 tal que
0
(p)
p
1
1
A
1
;
3. existem constantes > 0 e A
2
1 tal que
wp<z
(p) log p
p
log
z
w
+A
2
, se 2 w z.
Sejam b um inteiro positivo e um n umero real que satisfaz
0 < e
1+
< 1.
Entao
S(/, T, z) XW(z) 1 + 2

2b+1
e
2
1
2
e
2+2
exp
_
(2b + 3)
c
1
log z
_
+O
_
z
2b+
2.01
e
2/
1
_
e
S(/, T, z) XW(z) 1
2
2b
e
2
1
2
e
2+2
exp
_
(2b + 2)
c
1
log z
_
+O
_
z
2b1+
2.01
e
2/
1
_
,
onde
c
1
:=
A
2
2
1 +A
1
_
+
A
2
log 2
_
.
Demonstracao. Com as escolhas de g
U
e g
L
como em (6.2.1) e (6.2.2)
nos aplicamos o Teorema 6.2.3 e obtemos
S(/, T, z)
d|P(z)
(d)g
U
(d)#/
d
=
d|P(z)
(d)g
U
(d)
_
X(d)
d
+R
d
_
.
i
i
i
i
i
i
i
i
Agora consideremos
d|P(z)
(d)g
U
(d)
(d)
d
.
Pelo Lema 6.2.4, esta soma e igual a
W(z)
_
_
1 +
p<z
(p)W(p)
pW(z)
t|P
p
+
,z
g
U
(t)(1 g
U
(pt))
t
(t)
_
_
.
As somas na expressao acima sao estimadas por
r
n=1
z
n
p<z
n1
(p)W(p)
pW(z)
t|P
p
+
,z
g
U
(t)(1 g
U
(pt))
t
(t)
n=1
W(z
n
)
W(z)
z
n
p<z
n1
(p)
p
t|P
p
+
,z
g
U
(t)(1 g
U
(pt))
t
(t),
uma vez que W(p) W(z
n
) se z
n
p < z
n1
. Mais ainda, para
cada t que contribuiu para a soma interna na direita, necessariamente
temos que g
U
(t) = 1 e g
U
(pt) = 0, que signifca
((t, P
z
n
,z
)) 2b + 2n 2
e
((pt, P
z
n
,z
)) > 2b + 2n 2,
e assim, quando t [ P
z
n
,z
,
(t) = ((t, P
z
n
,z
)) = 2b + 2n 2.
Assim a quantidade que queremos estimar e
n=1
W(z
n
)
W(z)
d|P
z
n
,z
(d)=2b+2n1
(d)
d
i
i
i
i
i
i
i
i
n=1
W(z
n
)
W(z)
1
(2b + 2n 1)!
_
_

z
n
p<z
(d)
d
_
_
2b+2n1
.
Seja um n umero real satisfazendo as condicoes do teorema. Ire-
mos mostrar que z
1
, . . . , z
r
pode ser escolhido tal que
W(z
n
)
W(z)
e
2(n+c)
para n = 1, . . . , r, (6.2.3)
onde
c :=
c
1
log z
.
Vamos assumir isto como verdade por um momento e continuarmos
com a demonstra cao.
Nos obtemos
z
n
p<z
(p)
p

z
n
p<z
log
_
1
(p)
p
_
1
= log
W(z
n
)
W(z)
< 2(n +c)
para n = 1, . . . , r. Entao segue que
r
n=1
W(z
n
)
W(z)
1
(2b + 2n 1)!
_
_

z
n
p<z
(p)
p
_
_
2b+2n1
n=1
e
2n+2c
(2n + 2c)
2b+2n1
(2b + 2n 1)!
e
2c
( +c)
2b1
r
n=1
(2n/e)
2n
(2n)!
_
1 +
c
n
_
2n
(e
1+
)
2n
,
uma vez que
(2b + 2n 1)! (2n)!(2n)
2b1
.
Observemos que
i
i
i
i
i
i
i
i
e
n
n
n
n!
e decrescente e que
_
1 +
c
n
_
2n
e
2c/
,
e assim a soma sob considera cao e no maximo
e
2c
( +c)
2b1
(2e
2
)e
2c/
=
2
2b+1
e
2
1
2
e
2+2
_
1 +
c
_
2b1
e
2c(1+1/)
2
2b+1
e
2
1
2
e
2+2
e
(2b1)c/+2c+2c/
2
2b+1
e
2
1
2
e
2+2
e
(2b+3)c/
,
uma vez que < 1. Isto estabelece que
d|P(z)
(d)g
U
(d)
(d)
d
W(z)
_
1 +
2
2b+1
e
2
1
2
e
2+2
e
(2b+3)c/
_
.
Uma analise similar nos leva a
d|P(z)
(d)g
L
(d)
(d)
d
W(z)
_
1
2
2b
e
2
1
2
e
2+2
e
(2b+2)c/
_
.
Precisamos agora estimar
d|P(z)
g
U
(d)[R
d
[
d|P(z)
g
U
(d)(d).
A soma tem suporte nos n umeros d que satisfazem
((d, P
z
n
,z
)) 2b + 2n 2 n r.
Nos iremos mostrar que a soma e
i
i
i
i
i
i
i
i
_
1 +
p<z
(p)
_
2b
_
1 +
p<z
1
(p)
_
2

_
1 +
p<z
r
(p)
_
2
.
Para ver isto, note que d aparece em
d|P(z)
g
U
(d)(d)
e (d) 2b, ent ao ele aparece em
_
1 +
p<z
(p)
_
2b
.
Agora suponha que 2b < (d) 2b +2. Nem todos os fatores primos
de d podem ser maiores do que z
1
uma vez que ((d, P
z
1
,z
)) 2b.
Tal d portanto iria aparecer em
_
1 +
p<z
(p)
_
2b
_
1 +
p<z
1
(p)
_
2
.
Se 2b + 2 < (d) 2b + 4, entao nem todos os fatores primos de
d podem ser maiores do que z
2
uma vez que ((d, P
z
2
,z
)) 2b + 2.
Portanto tal d iria aparecer em
_
1 +
p<z
(p)
_
2b
_
1 +
p<z
1
(p)
_
2
_
1 +
p<z
2
(p)
_
2
.
Procedendo desta maneira, a armacao e estabelecida.
Pela terceira hipotese e soma parcial, nos deduzimos
p<z
(p)(2li(z) + 3),
onde A := max(, A
2
). Inserindo esta estimativa nos calculos acima
obtemos
i
i
i
i
i
i
i
i
d|P(z)
g
U
(d)(d) (1 +A(2li z + 3))
2b
r1
n=1
(1 +A(2li z
n
+ 3))
2
.
Nos iremos agora escolher os n umeros z
n
. Seja um n umero real
positivo e dena z
n
por
log z
n
= e
n
log z para n = 1, . . . , r.
Uma vez que z
r
= 2, nos temos
log z
r1
= e
(r1)
log z > log 2
e
log z
r
= e
r
log z = log 2,
e assim temos
e
(r1)
<
log z
log 2
= e
r
.
Logo, para alguma constante absoluta B,
d|P(z)
g
U
(d)(d) = O
_
_
Bz
log z
_
2b r1
n=1
_
Bz
n
e
n
log z
_
2
_
.
Observemos que, uma vez que z e sucientemente grade,
r1
n=1
Be
n
log z
=
B
r1
e
1
2
r(r1)
(log z)
r1
=
B
r1
(log z/ log 2)
r1
2
(log z)
r1
< 1,
B
log z
< 1,
e
i
i
i
i
i
i
i
i
r1
n=1
z
2
n
= exp
_
2
r1
n=1
log z
n
_
= exp
_
2 log z
r1
n=1
e
n
_
z
2/(e
1)
.
Portanto o termo do erro e
O(z
2b+2/(e
1)
).
Agora temos que garantir que
W(z
n
)
W(z)
e
2(n+c)
(veja (6.2.3)). Para isto, observe que, por soma parcial,
W(w)
W(z)
exp
_
log
log z
log w
+
A
2
log w
_
1 +A
1
+
A
1
A
2
log 2
__
para todo w, assim
W(z
n
)
W(z)
exp
_
n +
2c
1
e
n
log z
_
= e
2c
exp
_
_
n +
2c
1
e
log z
e
n
1
n
__
e
2c
exp
_
n
_
1 +
2c
1
e
log 2
1
log
log z
log 2
__
,
para todo n = 1, . . . , r. Colocando
:=
2
1
1 +
, :=
1
200e
1/
,
nos obtemos
e
2/
1
e
1

2.01
2
,
e assim
i
i
i
i
i
i
i
i
d|P(z)
g
u
(d)[R
d
[ = O
_
z
2b+
2.01
e
2/
1
_
.
A analise de
d|P(z)
g
L
(d)[R
d
[
e similar. Isto completa a demonstra cao do teorema.
Vamos aplicar o Crivo de Brun no problema sobre primos gemeos:
Teorema 6.2.6. Quando x ,
#n x : n e n + 2 possuem no maximo sete fatores primos
x
(log x)
2
.
Demonstracao. Considere a sequencia
/ := n(n + 2) : n x .
Gostaramos de contar o n umero de elementos nesta sequencia que
sao livres de qualquer fator primo < z para algum n umero z xado.
Assim, na nota cao do Teorema 6.2.5, X = x, T e o conjunto dos
primos racionais, (2) = 1 e (p) = 2 para p > 2. As hipoteses do
teorema sao satisfeitas com A
0
= = 2, A
1
= 3, e assim para b = 1
obtemos
S(/, T, z) >
1
2
x
2<p<z
_
1
2
p
_
1
2
2
e
2
1
2
e
2+2
exp
_
4c
1
log z
_
+O(z
1+
2.01
e
1
).
Observemos que, para z ,
exp
_
4c
1
log z
_
= 1 +O(1/ log z).
i
i
i
i
i
i
i
i
[SEC. 6.3: EXERC
ICIOS 93
Agora nos queremos escolher tal que
2
2
e
2
1
2
e
2+2
< 1.
Isto e,
e
<
1
2 +e
2
.
Usando tabela de logaritmos nos encontramos que
:= log(1.288)
satisfaz a desigualdade acima. Para esta escolha de , 7 > 2.01/(e
1). Portanto
S(/, T, z)
x
log
2
z
+O(z
)
com < 8.
Finalmente, escolhendo z := x
1/u
com u < 8, nos deduzimos que
para no mnimo
x
(log x)
2
n umeros n x, ambos n e n + 2 possuem no maximo sete fatores
primos.
6.3 Exerccios
1. Seja (x, z) o n umero de n x tais que nao sao divisveis por
nenhum primo p z. Mostre que para r par,
(x, z) x
d|P
z
r
(d)
d
+O(z
r
).
2. Usando o Crivo de Brun, deduza que
(x)
x
log x
.
i
i
i
i
i
i
i
i
Captulo 7
O Crivo de Selberg
Em 1940s Atle Selberg descobriu um novo metodo de crivo enquanto
estudava os zeros da funcao zeta de Riemann. No seu estudo da
fun cao zeta de Riemann, Selberg desenvolveu o que e chamado hoje
em dia de tecnica de molicacao, que foi a percussora do Crivo de
Selberg, e ele usou tais tecnicas para mostrar que uma propor cao
positiva dos zeros da funcao zeta de Riemann estao na linha crtica
Re(s) = 1/2.
O Crivo de Selberg em essencia possui uma estrutura combinato-
rial e pode ser o caso que a sua versatilidade ainda nao foi totalmente
percebida e empregada.
7.1 O Teorema de Chebyche Revisitado
Lembramos que na Se cao 1.3 do Captulo 1 nos usamos um argu-
mento combinatorial, devido a Chebyche, para mostrar que (x) =
O(x/ log x). E entao nos captulos seguintes, o uso do crivo de Turan,
crivo de Eratostenes e ate mesmo do crivo de Brun nos levaram a limi-
tantes superiores mais fracos para (x), a saber (x) = O(x/ log log x)
(veja Proposicao 5.1.1 do Captulo 5) e (x) = O(xlog log x/ log x)
(veja Corolario 5.3.4 do Captulo 5). A demonstracao deste ultimo
resultado foi baseada no prncipio de inclusao-exclusao expresso na
forma
94
i
i
i
i
i
i
i
i
[SEC. 7.1: O TEOREMA DE CHEBYCHEFF REVISITADO 95
(x, z) =
d|P
z
(d)
nx
d|n
1, (7.1.1)
e, consequentemente, na equa cao
(x, z) =
nx
d|(n,P
z
)
(d), (7.1.2)
onde P
z
e, como usual, o produto de todos os n umeros primos < z.
Uma analise renada de (7.1.2) eventualmente nos leva a formula
(x, z) = x
p<z
_
1
1
p
_
+O
_
x(log z)
2
exp
_
log x
log z
__
(7.1.3)
(veja Teorema 5.3.3 do Captulo 5) e entao a estimativa superior para
(x) apresentada acima.
Em 1947, Selberg teve a brilhante ideia de trocar a fun cao de
Mobius que aparece em (7.1.1) por uma forma quadratica, otima-
mente escolhida para que as estimativas resultantes sejam mnimas.
Mais precisamente, a sua observacao crucial foi que para qualquer
sequencia (
d
) de n umeros reais tal que
1
= 1,
nos temos
d|k
(d)
_
_
d|k
d
_
_
2
(7.1.4)
para todo k. Usando esta observa cao em (7.1.2) nos temos
i
i
i
i
i
i
i
i
96 [CAP. 7: O CRIVO DE SELBERG
(x, z)
nx
_
_

d|(n,P
z
)
d
_
_
2
=
nx
_
_

d
1
,d
2
|(n,P
z
)
d
1
d
2
_
_
=
d
1
,d
2
|P
z
d
1
d
2
nx
[d
1
,d
2
]|n
1.
Observando que
#n x : n 0(mod d) =
_
x
d
_
=
x
d
+O(1),
nos obtemos a seguinte desigualdade
(x, z) x
d
1
,d
2
|P
z
d
1
d
2
[d
1
, d
2
]
+O
_
_

d
1
,d
2
|P
z
[
d
1
[[
d
2
[
_
_
(7.1.5)
no qual a primeira soma e para ser vista como o termo principal da
nossa estimativa e a Osoma como o termo do erro.
Agora, por conveniencia, vamos assumir que
d
= 0 para todo d > z.
Isto nos da
(x, z) x
d
1
,d
2
z
d
1
d
2
[d
1
, d
2
]
+O
_
_

d
1
,d
2
z
[
d
1
[[
d
2
[
_
_
. (7.1.6)
Observamos tambem que se tivermos [
d
[ 1, entao (7.1.6) nos
daria um termo do erro de O(z
2
), o qual, para z < x, e menor do que
o termo do erro dado pelo crivo de Eratostenes (veja (7.1.3)). Logo e
razoavel esperar que o metodo de Selberg nos fornecera uma melhora
i
i
i
i
i
i
i
i
para as nossas estimativas superiores de (x, z), e, consequentemente,
de (x).
Vamos estimar o termo principal em (7.1.6). A observa cao chave
e ver a soma
d
1
,d
2
z
d
1
d
2
[d
1
, d
2
]
como uma forma quadratica em (
d
)
dz
, e entao buscar minimizar
esta forma. Usando que
[d
1
, d
2
](d
1
, d
2
) = d
1
d
2
(7.1.7)
e que
|d
() = d, (7.1.8)
nos podemos escrever
d
1
,d
2
z
d
1
d
2
[d
1
, d
2
]
=
d
1
,d
2
z
d
1
d
2
d
1
d
2
(d
1
, d
2
)
=
d
1
,d
2
z
d
1
d
2
d
1
,
2
|(d
1
,d
2
)
()
=
z
()
d
1
,d
2
z
|(d
1
,d
2
)
d
1
d
2
d
1
d
2
=
z
()
_
_
_
_
dz
|d
d
d
_
_
_
_
2
.
Portanto, usando a transformacao
u
:=
dz
|d
d
d
, (7.1.9)
i
i
i
i
i
i
i
i
a forma quadratica inicial foi diagonalizada para
z
()u
2
.
Nosso proximo objetivo ira ser minimizar esta nova forma diagonal,
se possvel.
Nos relembramos que a sequencia (
d
) foi escolhida de tal maneira
que
1
= 1 e
d
= 0 para d > z. Equa cao (7.1.9) nos diz que
tambem devemos ter condi coes sobre (u
). Isto pode ser visto usando

a formula dual de inversao de Mobius (Captulo 1). Nos obtemos
|d
_
d
_
u
d.
(7.1.10)
Assim temos as restricoes
u
= 0 para todo > z

e
<z
()u
= 1. (7.1.11)
Agora nos usamos (7.1.11) para escrever
z
()u
2
z
()
_
u

()
()V (z)
_
2
+
1
V (z)
,
onde
V (z) :=
dz
2
(d)
(d)
. (7.1.12)
Desta expressao nos imediatamente vemos que a forma
z
()u
2
tem um valor mnimo de 1/V (z), obtido em

u
=
()
()V (z)
.
Com a escolha acima para u
, e, consequentemente, com a escolha

i
i
i
i
i
i
i
i
dz
|d
(d/)(d)
(d)V (z)
(7.1.13)
nos obtemos
(x, z)
x
V (z)
+O
_
_

d
1
,d
2
z
[
d
1
[[
d
2
[
_
_
.
Ainda resta analisar o termo do erro O acima. Usando (7.1.13)
nos obtemos
V (z)
dz
|d
(d/)(d)
(d)
=
t
z
(t)(t)
(t)
=
t
z
(t,)=1
2
(t)()
()(t)
= ()
p|
_
1 +
1
p 1
_

t
z
(t,)=1
2
(t)
(t)
.
Isto implica que
[V (z)[[
[ [V (z)[,
e assim
[
[ 1 para todo .
Combinando todos os resultados acima, temos:
Teorema 7.1.1.
(x, z)
x
V (z)
+O(z
2
)
quando x, z , onde V (z) :=
dz
2
(d)
(d)
.
Do Teorema 7.1.1 nos podemos deduzir o limitante superior de
Chebyche para (x):
Corolario 7.1.2.
(x)
x
log x
.
i
i
i
i
i
i
i
i
7.2 O Crivo de Selberg
Nesta secao iremos formalizar o metodo ilustrado acima. Seja /
qualquer conjunto nito de elementos e T um conjunto de primos.
Para cada primo p T, denotemos por /
p
um subconjunto de /.
Nos denotamos por d n umeros que sao livres de quadrados composto
de primos de T. Seja /
1
:= / e para d inteiro livre de quadrados
composto de primos de T denotemos por /
d
:=
p|d
/
p
. Seja z um
n umero real positivo e denotemos por
P(z) :=
pP
p<z
p.
Denote por S(/, T, z) o n umero de elementos de
/
p|P(z)
/
p
.
Teorema 7.2.1 (O Crivo de Selberg, 1947). Mantemos a notacao
acima e assumimos que existe X > 0 e uma funcao multiplicativa f()
satisfazendo f(p) > 1 para todo primo p T, tal que para qualquer
n umero d livre de quadrados composto de primos de T nos temos
#/
d
=
X
f(d)
+R
d
(7.2.1)
para algum n umero real R
d
. Nos escrevemos
f(n) =
d|n
f
1
(d) (7.2.2)
para alguma funcao multiplicativa f
1
() que e unicamente determi-
nada por f usando a formula de inversao de Mobius; isto e,
f
1
(n) =
d|n
(d)f
_
n
d
_
.
Tambem, denotemos por
V (z) :=
dz
d|P(z)
2
(d)
f
1
(d)
.
i
i
i
i
i
i
i
i
[SEC. 7.2: O CRIVO DE SELBERG 101
Entao
S(/, T, z)
X
V (z)
+O
_
_
_
_
d
1
,d
2
z
d
1
,d
2
|P(z)
[R
[d
1
,d
2
]
[
_
_
_
_
.
Para provar este teorema iremos precisar da formula de inversao
dual de Mobius e a seguine generalizacao:
Lema 7.2.2. Seja f uma funcao multiplicativa e d
1
, d
2
inteiros po-
sitivos e livre de quadrados. Entao
f([d
1
, d
2
])f((d
1
, d
2
)) = f(d
1
)f(d
2
).
Demonstracao do Teorema 7.2.1. Seja (
d
) qualquer sequecia de n umeros
reais tal que
1
= 1
e
d
= 0 para todo d > z.
Para a /, denotemos
D(a) :=
pP
aA
p
p,
com a convencao de que D(a) := 1 se a / /
p
para qualquer p T.
Entao
d|P(z)
aA
d
(d) =
d|(P(z),D(a))
(d)
_
_

d|(P(z),D(a))
d
_
_
2
=
_
_
_
_
d|P(z)
aA
d
d
_
_
_
_
2
.
(7.2.3)
i
i
i
i
i
i
i
i
Agora vamos olhar para a cardinalidade de S(/, T, z). Usando (7.2.3),
nos obtemos
S(/, T, z) =
aA
a/ A
p
p|P(z)
1 =
d|P(z)
(d)
aA
d
1
=
aA
_
_
_
_
d|P(z)
aA
d
(d)
_
_
_
_
aA
_
_
_
_
d|P(z)
aA
d
d
_
_
_
_
2
=
aA
_
_
_
_
d
1
,d
2
|P(z)
aA
[d
1
,d
2
]
d
1
d
2
_
_
_
_
=
d
1
,d
2
z
d
1
d
2
#/
[d
1
,d
2
]
.
Usando (7.2.1) a expressao acima e
X
d
1
,d
2
z
d
1
,d
2
|P(z)
d
1
d
2
f([d
1
, d
2
])
+O
_
_

d
1
,d
2
zd
1
,d
2
|P(z)
[
d
1
[[
d
2
[[R
[d
1
,d
2
]
[
_
_
.
Aqui, a primeira soma e vista como o termo principal da nossa esti-
mativa, enquanto a soma envolvendo O e vista como o termo do erro.
Como na Se cao 7.1, nos tambem vemos o termo principal como uma
forma quadratica em (
d
)
dz
, o qual nos iremos buscar a trazer em
uma forma diagonal e minimizar. Pelo Lema 7.2.2 e (7.2.1),
i
i
i
i
i
i
i
i
d
1
,d
2
|P(z)
d
1
d
2
f([d
1
, d
2
])
=
d
1
,d
2
z
d
1
,d
2
|P(z)
d
1
d
2
f(d
1
)f(d
2
)
f((d
1
, d
2
))
=
d
1
,d
2
z
d
1
,d
2
|P(z)
d
1
d
2
f(d
1
)f(d
2
)
|(d
1
,d
2
)
f
1
()
=
z
|P(z)
f
1
()
d
1
,d
2
z
d
1
,d
2
|P(z)
|(d
1
,d
2
)
d
1
d
2
f(d
1
)f(d
2
)
=
z
|P(z)
f
1
()
_
_
_
_
_
_
_
dz
d|P(z)
|d
d
f(d)
_
_
_
_
_
_
_
2
.
Assim, usando a transformacao
u
:=
dz
d|P(z)
|d
d
f(d)
, (7.2.4)
a nossa forma quadratica e reduzida à seguinte forma diagonal
z
|P(z)
f
1
()u
2
. (7.2.5)
A formula dual de inversao de Mobius nos permite escrever
f()
=
d|P(z)
|d
_
d
_
u
d
, (7.2.6)
e assim, lembrando que
d
= 0 para d > z e
1
= 1, nos obtemos
u
= 0 para todo > z

i
i
i
i
i
i
i
i
e
z
|P(z)
()u
= 1.
Entao podemos escrever, como antes,
z
|P(z)
f
1
()u
2
z
|P(z)
f
1
()
_
u

()
f
1
()V (z)
_
2
+
1
V (z)
,
do qual nos vemos imediatamente que o valor mnimo da forma
quadratica dada em (7.2.5) e
1
V (z)
e e obtido em
u
=
()
f
1
()V (z)
. (7.2.7)
Observe que aqui nos usamos que f
1
(p) = f(p) 1 > 0 para todo
p T, logo, pela multiplicativade de f
1
(), vemos que os coecientes
de f
1
(d) aparecendo em nossa forma sao positivos.
Nos resta ainda analisar o termo do erro
O
_
_
_
_
d
1
,d
2
z
d
1
,d
2
|P(z)
[
d
1
[[
d
2
[[R
[d
1
,d
2
]
[
_
_
_
_
.
Mais precisamente, o nosso objetivo e encontrar limitantes superior
para [
[ para todo z, [ P(z). De (7.2.4) e (7.2.6) nos obtemos

que para tais , nos temos
i
i
i
i
i
i
i
i
V (z)
= f()
dz
d|P(z)
|d
(d/)(d)
f
1
()
= f()
t
z
t|P(z)
(t,)=1
2
(t)()
f
1
(t)f
1
()
= ()
_
_
p|
f(p)
f
1
(p)
_
_

t
z
t|P(z)
(t,)=1
2
(t)
f
1
(t)
= ()
_
_
p|
_
1 +
1
f
1
(p)
_
_
_

t
z
t|P(z)
(t,)=1
2
(t)
f
1
(t)
.
Portanto
[V (z)[[
[ [V (z)[,
e assim
[
[ 1.
Consequentemente, o termo do erro e
O
_
_
_
_
d
1
,d
2
z
d
1
,d
2
|P(z)
[R
[d
1
,d
2
]
[
_
_
_
_
,
e isto completa a demonstracao do teorema.
Para podermos usar o Teorema 7.2.1 nos precisamos de cotas in-
feriores para a quantidade V (z).
i
i
i
i
i
i
i
i
Lema 7.2.3. Mantemos a notacao do Teorema 7.2.1. Denotamos
por

f() a ser a funcao completamente multiplicativa denida por
f(p) := f(p) para todos os primos p e denotamos
P(z) :=
p/ P
p<z
p.
Entao
1.
V (z)
z
p|p|P(z)
1
f()
;
2.
f(

P(z))V (z) f
1
(

P(z))
z
1
f()
.
Demonstracao. 1. Iremos expressar o quociente 1/f
1
(d) aparecendo
em V (z) em termos da funcao f. Para isto, nos observamos que
para d um inteiro livre de quadrados tal que d [ P(z) nos temos
f(d)
f
1
(d)
=
p|d
f(p)
f
1
(p)
=
p|d
_
1
1
f(p)
_
1
=
p|d
n0
1
f(p)
n
=
k
1
f(k)
,
onde a soma
k
e realizda sobre inteiros k compostos de divi-
sores primos de d. Ent ao
V (z) =
dz
d|P(z)
2
(d)
f(d)
k
1
f(k)
z
p|p|P(z)
1
f()
.
i
i
i
i
i
i
i
i
[SEC. 7.3: O TEOREMA DE BRUNTITCHMARSH E ALGUMAS APLICAC
OES 107
2. Similar à parte 1, nos escrevemos
f(

P(z))
f
1
(

P(z))
V (z) =
p/ P
p<z
_
1
1
f(p)
_
1
dz
d|P(z)
(d)
2
f(d)
k
1
f(k)
=
p/ P
p<z
_
_
n0
1
f(p)
n
_
_

dz
d|P(z)
(d)
2
f(d)
k
1
f(k)
z
1
f(z)
. (7.2.8)
7.3 O Teorema de BrunTitchmarsh e al-
gumas aplicac oes
Nesta secao iremos utilizar o Crivo de Selberg para estimar o n umero
de primos p x em uma dada progressao aritmetica. Mais preci-
samente, para quaisquer inteiros a e k primos entre si nos iremos
estimar
(x; k, a) = #p x : p a(mod k).
O problema de estudar o comportamento assintotico de (x; k, a)
tem seu nicio em Legendre, que conjecturou que dados (a, k) = 1,
existem innitos primos p tal que p a( mod k).

E tambem um caso
particular da conjectura de Buniakowski relativa aos valores primos
de polinomios com valores inteiros.
No nal da decada de 1830, Dirichlet provou a conjectura de Le-
gendre usando propriedades importantes de certas generalizacoes da
fun cao zeta de Riemann (conhecida como Lfun coes de Dirichlet). O
trabalho de Dirichlet neste problema e visto agora como o come co da
teoria analtica dos n umeros. Mais precisamente, Dirichlet mostrou
que a densidade analtica do conjunto de primos p a(mod k) e
1/(k), isto e, que
i
i
i
i
i
i
i
i
lim
s1
pa( mod k)
1/p
s
log 1/(s 1)
=
1
(k)
.
Na veredade, existe uma denicao mais natural para a densidade
de um conjunto de primos: um conjunto T de primos e dito ter
densidade natural se o limite
lim
x
#p x : p T
#p x
existe e e igual a . Pode ser provado que se T tem densidade na-
tural , entao ele tambem possui densidade analtica , entretanto a
recproca nao e verdadeira em geral. No caso do conjunto de primos
p a(mod k), a densidade natural existe e entao, pelo teorema de
Dirichlet, nos obtemos a formula assintotica
(x; k, a)
1
(k)
li(x).
Formulas assintoticas efetivas para (x; k, a) tambem sao conhe-
cidas:
1. Para todo N > 0, existe c(N) > 0 tal que, se
k (log x)
N
,
entao
(x; k, a) =
1
(k)
li(x) +O(xexp(c(N)(log x)
1/2
)),
uniformemente em k (este resultado e conhecido como teorema
de SiegelWalsz);
2. Assumindo uma hipotese de Riemann generalizada (para L
fun coes de Dirichlet) nos temos que para qualquer k x,
(x; k, a) =
1
(k)
li(x) +O(x
1/2
log(kx)).
A constante no termo O nao depende de k.
i
i
i
i
i
i
i
i
OES 109
Assim, incondicionalmente, os termos do erro sao conhecidos (so-
mente) em um domnio de k < (log x)
N
. Finalmente, o teorema de
BombieriVinogradov mencionado na Secao 3.3 do Captulo 3 nos
permite controlar estes termos do erro, em media e incondicional-
mente, em domnios maiores de k. Este importante teorema ira ser
discutito em detalhe no Captulo 9.
Nosso objetivo nesta secao e mais modesto do que os resultados
mencionados acima. Nos iremos obter um limitante superior para
(x; k, a). Mais precisamente, nos iremos provar:
Teorema 7.3.1 (O Teorema de BrunTitchmarsh). Sejam a e k
inteiros positivos e primos entre si e seja x um n umer real positivo
tal que k x
para algum < 1. Ent ao, para todo > 0, existe

x
0
= x
0
() > 0 tal que
(x; k, a)
(2 +)x
(k) log(2x/k)
para todo x > x
0
.
Demonstracao. Nos xamos um n umero real positivo z < x e obser-
vamos que
(x; k, a) = (z; k, a) + #z p x : p a(mod k)
z + #n x : n a(mod k), n , 0(mod p)p < z, (p, k) = 1.
Se escolhermos
/ := n x : n a(mod k),
e
/
p
:= n x : n a(mod k), n 0(mod p) para todo p T,
P(z) :=
p<z
(p,k)=1
p,
entao temos
i
i
i
i
i
i
i
i
S(/, T, z) = #n x : n a(mod k), n , 0(mod p)p [ P(z).
Logo, uma vez que obtivermos uma cota superior para S(/, T, z) nos
tambem iremos obter um limitante superior para (x; k, a).
Uma vez que os primos p T sao coprimos com k, nos podemos
usar o Teorema Chines do Resto para deduzir que
/
d
=
x
kd
+O(1)
para todo d livre de quadrados composto de primos de T, onde
/
d
:=
p|d
/
p
.
Assim, na nota cao do Teorema 7.2.1, nos temos X = x/k, f(d) = d,
f
1
(d) = (d) e R
d
= O(1), e assim
S(/, T, z)
x
kV (z)
= O(z
2
),
onde
V (z) :=
dz
(d,k)=1
2
(d)
(d)
.
Usando parte 2 do Lema 7.2.3 junto com a formula (7.1.8), nos ob-
temos
k
(k)
V (z)
z
1
log(z) +O(1).
Logo
(x; k, a) z +S(/, T, z)
x
(k)(log z +O(1))
+O(z
2
).
Escolhendo
z :=
_
2x
k
_
1
2
i
i
i
i
i
i
i
i
OES 111
para qualquer 0 < < 1 xo, nos obtemos a estimativa superior
desejada para (x; k, a).
Observacao 7.3.2. Montgomery e Vaughan [16] provaram o se-
guinte resultado mais preciso
(x +y; k, a) (x; k, a)
2y
(k) log(y/k)
para y > k. Qualquer melhora na constante 2 na estimativa acima
implica a naoexistencia de zeros de Siegel, como notado por diferente
autores.
Seguindo Erdos, nos aplicamos o teorema de BrunTitchmarsh, o
crivo de Brun e o crivo de Eratostenes ao problema de encontrar uma
formula assintotica para o n umero de n x tal que (n, (n)) = 1. Nos
podemos provar, usando teoremas de Sylow, que esta e uma condicao
necessaria e suciente para todo grupo de ordem n ser cclico.
Teorema 7.3.3 (Erdos). O n umero de n x tal que (n, (n)) = 1 e
x
log log log x
quando x .
Para provar este teorema, nos iremos precisar dos seguintes resul-
tados preliminares.
Lema 7.3.4. Seja 0 < < 1 e p < (log log x)
1
. Entao
q
1
q
>
c
1
log log x
p
> (log log x)
/2
,
onde o apostrofo indica que a soma e feita sobre os primos q 1( mod
p) satisfazendo q < x
1/(log log x)
2
.
Lema 7.3.5. Seja p um primo qualquer. Entao
qx
q1( mod p)
1
q
< c
2
_
log log x + log p
p
_
.
i
i
i
i
i
i
i
i
Demonstracao. Este segue do Teorema 7.3.1 e somas parciais.
Lema 7.3.6. Seja 0 < < 1 e z (log log x)
1+
. Entao o n umero
de n x nao divisveis por qualquer primo p z e
(1 +o(1))
e
x
log z
quando x .
Demonstracao. Isto e uma simples aplica cao do crivo de Eratostenes.
Lema 7.3.7. Seja 0 < < 1 e z (log log x)
1+
. Entao o n umero
de n x possuindo o ultimo divisor primo p e
(1 +o(1))
e
x
p log p
quando p .
Demonstracao. Isto e uma simples consequencia do Lema 7.3.6
Demonstracao do Teorema 7.3.3. Seja A(x) o n umero de n x tal
que (n, (n)) = 1. Nos particionamos estes n umeros em conjuntos
/
p
de acordo com o menor divisor primo p de n, e nos denotamos
por A
p
(x) o n umero de elementos em /
p
. Entao
A(x) =
p
A
p
(x) =
1
+
2
+
3
,
onde em
1
nos temos p < (log log x)
1
, em
2
nos temos (log log x)
1
<
p < (log log x)
1+
, e em
3
nos temos p > (log log x)
1+
para qual-
quer 0 < < 1 xado.
Observe que para cada primo p, os n umeros enumerados por A
p
(x)
nao possuem qualquer fator primo q 1( mod p). Pelo crivo de Brun
e Lema 7.3.4,
A
p
(x)
x
p
q1( mod p)
q<x
1/(log log x)
2
_
1
1
q
_
x
p
exp((log log x)
/2
).
i
i
i
i
i
i
i
i
OES 113
Portanto
1
= o
_
x
log log log x
_
.
Para
2
nos usamos Lema 7.3.7 para deduzir que
x
log log log x
p
1
p
,
onde o tra co na soma indica que (log log x)
1
< p < (log log x)
1+
.
Nos obtemos
p
1
p
,
e assim
x
log log log x
.
Finalmente, pelo crivo de Eratostenes,
3
(1 +o(1))
e
x
(1 +) log log log x
,
uma vez que todos os divisores primos de n enumerados por
3
sao
maiores do que (log log x)
1+
. Por outro lado,
3
(1 +o(1))
e
x
(1 +) log log log x

p>y
x
p
2

p>y
q1( mod p)
pqx
x
pq
,
onde y := (log log x)
1+
.

E facil de ver que a pen ultima soma e
O
_
x
log log x
_
.
A soma nal e estimada usando Lema 7.3.5 e e
x
p>y
log log x + log p
p
2

x
(log log x)
,
por soma parcial. Isto completa a demonstracao.
i
i
i
i
i
i
i
i
7.4 Exerccios
1. Seja f uma funcao multiplicativa. Mostre que
f([d
1
, d
2
])f((d
1
, d
2
)) = f(d
1
)f(d
2
).
2. Mostre que
q<z
q1( mod d)
1
q
=
log log z
(d)
+O(1),
onde a soma e tomada sobre todos os primos q 1(mod d).
3. Prove que
p
x
2
1
p log(x/p)
= O
_
log log x
log x
_
.
4. Seja a um inteiro positivo. Mostre que o n umero de primos
p x tal que p +a tambem e um primo e
x
(log x)
2
p|a
_
1 +
1
p
_
.
i
i
i
i
i
i
i
i
Captulo 8
O Grande Crivo
Os metodos de crivos apresentados nos captulos anteriores sao base-
ados no uso da funcao de Mobius ou de suas varia coes ( como no caso
do Crivo de Selberg). Eles sao classicados como crivos combinato-
riais. Neste captulo nos iremos discutir um crivo de uma natureza
completamente diferente, chamado de o grande crivo, o qual foi in-
troduzido por Yuri Linnik em 1941 e foi melhorado por, Renyi (1950),
Roth (1965), Bombieri (1965), Davenport e Halberstam (1966), Gal-
lagher (1967), e outros. Nos indicamos o leitor para [7, pg. 151] para
uma historia sobre o grande crivo. O crivo pode ser deduzido de uma
bela desigualdade, conhecida como desigualdade do grande crivo,
o qual, na primeira vista, nao parece possuir o grande potencial que
realmente tem.
A motivacao original de Linnik foi atacar a hipotese de Vi-
nogradov relativa ao tamanho do menor naoresduo quadratico
n
p
(mod p). Vinogradov conjecturou que
n
p
= O(p
)
para todo > 0. A hipotese de Riemann generalizada implica que
n
p
= O((log p)
2
).
Linnik provou, usando o seu grande crivo, que o n umero de primos
p x para o qual n
p
> p
e O(log log x). O artigo de Linnik in-

115
i
i
i
i
i
i
i
i
116 [CAP. 8: O GRANDE CRIVO
troduziu um novo tema em teoria analtica dos n umeros empregando
ideias da teoria de probabilidade.
Como sera visto neste captulo e no proximo, o grande crivo evo-
luiu para uma poderosa ferramenta, sua aplica cao mais signicante
sendo o teorema de BombieriVinogradov. Este teorema tem servido
frequentemente como um substituto para o uso da hipotese generali-
zada de Riemann em certos contextos, e ira ser discutido em detalhes
no proximo captulo.
8.1 A desigualdade do grande crivo
Nos comecamos com um lema preliminar.
Lema 8.1.1. Seja F : [0, 1] C uma funcao diferenciavel com
derivadas contnuas, estendida para todo R por periodicidade com
perodo 1. Seja z um inteiro positivo. Entao
dz
1ad
(a,d)=1
F
_
a
d
_
z
2
_
1
0
[F()[d +
_
1
0
[F
()[d. (8.1.1)
Demonstracao. Seja d z, a [1, d] N com (a, d) = 1, and
[0, 1]. Entao
F
_
a
d
_
= F() +
_

a
d
F
(t)dt.
Tomando valor absoluto em ambos os lados temos
F
_
a
d
_
[F()[ +
_

a
d
[F
(t)[dt. (8.1.2)
Agora xamos > 0 (a ser escolhido mais tarde) para que os
intervalos
I
_
a
d
_
:=
_
a
d
,
a
d
+
_
estejam contidos em [0, 1]. N os integramos (8.1.2) sobre I(a/d), com
respeito a , e obtemos
i
i
i
i
i
i
i
i
[SEC. 8.1: A DESIGUALDADE DO GRANDE CRIVO 117
2
F
_
a
d
_

_
I(
a
d
)
[F()[d +
_
I(
a
d
)
_

a
d
[F
(t)[dtd. (8.1.3)
Uma vez que I(a/d) e t [a/d, ], nos obtemos que t I(a/d).
Logo o lado direito da desigualdade acima e
_
I
(
a
d
)
[F()[d +
_
I
(
a
d
)
_
I
(
a
d
)
[F
(t)[dtd
=
_
I
(
a
d
)
[F()[d + 2
_
I
(
a
d
)
[F
(t)[dt
=
_
I
(
a
d
)
[F()[d + 2
_
I
(
a
d
)
[F
()[d.
Em outras palavras,
2
F
_
a
d
_

_
I
(
a
d
)
[F()[d + 2
_
I
(
a
d
)
[F
()[d. (8.1.4)
Agora escolhemos
:=
1
2z
2
.
Com esta escolha, o intervalo I(a/d), 1 a d, (a, d) = 1, d z
nao se sobrepoem (modulo 1). De fato, x I(a/d) I(a
/d
) para
a/d ,= a
/d
. Entao
x
a
d
< ,
x
a
< ,
e assim
a
d

a
=
[ad
d[
dd
,= 0, (8.1.5)
uma vez que se ad
= a
d, entao, lembrando que (a, d) = (a
, d
) = 1,
nos obtemos d = d
, o que e falso. Assim

i
i
i
i
i
i
i
i
a
d

a
1
dd

1
z
2
. (8.1.6)
Combinando (8.1.5) e (8.1.6) nos somos levados a uma contradi cao.
Nos efetuamos a soma (8.1.4) sobre todos os intervalos I(a/d) e
obtemos
1
z
2
dz
1ad
(a,d)=1
F
_
a
d
_
I
(
a
d
)
_
I
(
a
d
)
[F()[d
+
1
z
2
I
(
a
d
)
_
I
(
a
d
)
[F
()[d
_
1
0
[F()[d +
1
z
2
_
1
0
[F
()[d.
Isto completa a demonstracao do lema.
Agora vamos escolher
F() :=
_
_
nx
a
n
e(n)
_
_
2
,
onde (a
n
)
n1
e uma sequencia arbitraria de n umeros complexos, x e
um inteiro positivo e para um n umero racional t, e(t) := exp(2it).
Para simplicarmos a notacao, denotemos
S() :=
nx
a
n
e(n),
logo
F() = S()
2
, F
() = 2S()S
().
Pelo Lema 8.1.1 nos obtemos
i
i
i
i
i
i
i
i
[SEC. 8.1: A DESIGUALDADE DO GRANDE CRIVO 119
dz
1ad
(a,d)=1
S
_
a
d
_
2
z
2
_
1
0
[S()[
2
d + 2
_
1
0
[S()S
()[d.
Agora invocamos a identidade de Parseval, i.e.,
_
1
0
nx
a
n
e(n)
2
d =
nx
[a
n
[
2
,
e assim
_
1
0
[S()[
2
d =
nx
[a
n
[
2
.
Isto implica que
dz
1ad
(a,d)=1
S
_
a
d
_
2
z
2
nx
[a
n
[
2
+ 2
_
1
0
[S()S
()[d.
Para o segundo termo no lado direito da desigualdade acima nos usa-
mos a desigualdade de CauchySchwarz e, novamente, a identidade
de Parseval. No nal obtemos
_
1
0
[S()S
()[d
__
1
0
[S()[
2
d
_
1/2
__
1
0
[S
()[
2
d
_
1/2
_
_
nx
[a
n
[
2
_
_
1/2
_
_
nx
4
2
n
2
[a
n
[
2
_
_
1/2
2x
nx
[a
n
[
2
.
Temos entao o seguinte resultado:
i
i
i
i
i
i
i
i
Teorema 8.1.2 (A desigualdade do grande crivo). Seja (a
n
)
n1
uma
sequencia de n umeros complexos e x, z inteiros positivos. Ent ao
dz
1ad(a,d)=1
nx
a
n
e
_
na
d
_
2
(z
2
+ 4x)
nx
[a
n
[
2
, (8.1.7)
onde, para um n umero racional , e() := exp(2i).
8.2 O grande crivo
Queremos deduzir um metodo de crivo obtido da desigualdade des-
crita no Teorema 8.1.2. Seja / um conjunto de inteiros positivos
n x e T um conjunto de primos. Para cada p T, suponha que
seja dado um conjunto w
1,p
, . . . , w
(p),p
de (p) classes de resduo
modulo p. Seja z um n umero real positivo e denote por P(z) o pro-
duto dos primos p T, p < z. Denotemos
o(/, T, z) := n / : n , w
i,p
(mod p)1 i (p), p [ P(z)
(8.2.1)
e denotamos por S(/, T, z) a cardinalidade deste conjunto.
Teorema 8.2.1 (O grande crivo). Com a notacao acima, nos temos
S(/, T, z)
z
2
+ 4x
L(z)
,
onde
L(z) :=
dz
2
(d)
p|d
(p)
p (p)
.
A ideia para a demonstra cao do Teorema 8.2.1 e usar somas do
tipo
c
d
(n) :=
1ad
(a,d)=1
e
_
na
d
_
, (8.2.2)
i
i
i
i
i
i
i
i
[SEC. 8.2: O GRANDE CRIVO 121
onde n, d N e as somas acima sao chamadas de somas de Rama-
nujan. Estas somas tem as seguintes propriedades:
Proposicao 8.2.2. Sejam d, d
inteiros positivos. Entao

1. se (d, d
) = 1, nos temos que c

dd
(n) = c
d
(n)c
d
(n);
2.
c
d
(n) =
D|(d,n)
_
d
D
_
D;
3. se (d, n) = 1, nos temos que c
d
(n) = (d), isto e,
(d) =
1ad
(a,d)=1
e
_
na
d
_
.
Demonstracao. A Parte 1 e deixada como exerccio para o leitor. A
Parte 3 e uma consequencia direta da Parte 2. Provamos entao a
parte 2.
Seja
c
d
(n) :=
1ad
e
_
na
d
_
.
Por um lado nos podemos escrever
c
d
(n) = e
_
n
d
_

0ad1
e
_
na
d
_
,
e podemos ver que isto e e(n/d)
e(n)1
e(n/d)1
se d n e e(n/d)d se d [ n.
Em outras palavras,
c
d
(n) =
_
0 se d n,
d se d [ n.
(8.2.3)
Por outro lado, nos podemos escrever
i
i
i
i
i
i
i
i
c
d
(n) =
D|d
1ad
(a,d)=D
e
_
na
d
_
=
D|d
1a
1
d
D
a
1
,
d
D
=1
e
_
nDa
1
d
_
=
D|d
c
d
D
(n).
Usando a formula de inversao de Mobius nos deduzimos que
c
d
(n) =
D|d
(D) c
d
D
(n) =
D|d
_
d
D
_
c
D
(n),
o qual, por (8.2.3), e
D|(d,n)
_
d
D
_
D.
Demonstracao do Teorema 8.2.1. Vamos primeiro estabelecer algu-
mas nota coes. Seja d = p
1
. . . p
t
um inteiro positivo e livre de qua-
drados composto de primos que dividem P(z). Pelo Teorema Chines
do Resto, para todo i = (i
1
, . . . , i
t
) com 1 i
1
(p
1
), . . . , 1 i
t

(p
t
), existe um unico inteiro w
i,d
tal que
w
i,d
w
i
j
,p
j
(mod p
j
) 1 j t.
Nos denotamos por (d) o n umero de todos os possveis w
i,d
apa-
recendo desta maneira (isto e, quando variamos i, mas mantemos d
xado). Claramente, (d) e o produto dos (p
i
)s.
Agora seja n o(/, T, z). Isto implica que
(n w
i,d
, d) = 1
para todo d e i como acima, e assim pela parte 3 da Proposicao 8.2.2
nos obtemos
i
i
i
i
i
i
i
i
[SEC. 8.2: O GRANDE CRIVO 123
(d) = c
d
(n w
i,d
) =
1ad
(a,d)=1
e
_
(n w
i,d
)a
d
_
. (8.2.4)
Nos efetuamos a soma (8.2.4) sobre todos os ndices i correspon-
dendo a d e sobre todos os inteiros n o(/, T, z) e obtemos
(d)(d)S(/, T, z) =
1ad
(a,d)=1
w
i,d
e
_
w
i,d
a
d
_

nS(A,P,z)
e
_
na
d
_
.
(8.2.5)
Elevando ao quadrado (8.2.5) e aplicando a desigualdade de Cauchy-
Schwarz nos da
[(d)(d)S(/, T, z)[
2
_
_
_
_
1ad
(a,d)=1
w
i,d
e
_
w
i,d
a
d
_
2
_
_
_
_
_
_
_
_
1ad
(a,d)=1
nS(A,P,z)
e
_
na
d
_
2
_
_
_
_
.
Nos escrevemos o primeiro fator da expressao acima como
1ad
(a,d)=1
w
i,d
,w
i
,d
e
_
(w
i,d
w
i
,d
)a
d
_
=
w
i,d
,w
i
,d
c
d
(w
i,d
w
i
,d
),
e usando parte 2 da Proposicao 8.2.2, nos temos
i
i
i
i
i
i
i
i
w
i,d
,w
i
,d
D|(d,w
i,d
w
i
,d
_
d
D
_
D =
D|d
w
i,d
,w
i
,d
w
i,d
w
i
,d
( mod D)
_
d
D
_
D
=
D|d
_
d
D
_
D(d)
_
d
D
_
= d(d)
E|d
(E)(E)
E
= d(d)
p|d
_
1
(p)
p
_
= (d)
p|d
(p (p)).
Isto nos fornece que
[(d)(d)S(/, T, z)[
2
(d)
p|d
(p (p))
_
_
_
_
1ad
(a,d)=1
nS(A,P,z)
e
_
na
d
_
2
_
_
_
_
,
ou, equivalentemente, que
2
(d)S(/, T, z)
2
p|d
(p)
p (p)

1ad
(a,d)=1
nS(A,P,z)
e
_
na
d
_
2
.
(8.2.6)
Agora nos efetuamos a soma (8.2.6) sobre d z e usamos o Teo-
rema 8.1.2 com a sequencia (a
n
)
n1
escolhida de tal maneira que a
n
e 1 se n o(/, T, z) e 0 caso contrario. Nos obtemos
dz
2
(d)S(/, T, z)
2
p|d
(p)
p (p)
(z
2
+ 4x)S(/, T, z),
i
i
i
i
i
i
i
i
[SEC. 8.3: EXERC
ICIOS 125
a qual, depois dos cancelamentos obvios, completa a demonstracao
do teorema.
8.3 Exerccios
1. (Identidade de Parseval) Seja (a
n
)
n1
n umeros complexos e x
um inteiro positivo. Mostre que
_
1
0
nx
a
n
e(n)
2
d =
nx
[a
n
[
2
,
onde e(n) := exp(2in).
2. Sejam d, d
, n inteiros positivos. Mostre que , se (d, d
) = 1,
entao
c
dd
(n) = c
d
(n)c
d
(n),
onde c
d
(n) e denido em (8.2.2).
3. (A Desigualdade de PolyaVinogradov) Seja um caractere
naotrivial modulo d e sejam M, N inteiros positivos. Mostre
que
M+1nM+N
(n) d
1/2
log d.
i
i
i
i
i
i
i
i
Captulo 9
O Teorema de
BombieriVinogradov
O teorema de BombieriVinogradov e considerado um dos resulta-
dos mais elegantes derivado do metodo do grande crivo. A principal
razao esta no fato de que nas muitas questoes que requerem o uso
da hipotese generalizada de Riemann para Lfuncoes de Dirichlet,
nos podemos substitu-la pelo teorema de BombieriVinogradov. As-
sim, em situacoes envolvendo sucientemente varias Lfun coes, o
teorema pode ser reconhecido como um substituto para a hipotese
generalizada de Riemann. Como veremos abaixo, uma aplicacao e no
problema do divisor de Titchmarsh.
Em 1976, Motohashi [17] descobriu um prncipio de inducao que
generaliza o teorema de BombieriVinogradov e faz com que ele seja
aplicavel em um contexto mais amplo para funcoes aritmeticas mais
gerais. Esta perspectiva foi util no trabalho de Bombieri et al. [3,
4], onde o intervalo da somatoria no classico teorema de Bombieri
Vinogradov e estendido alem da barreira

x.
Neste captulo nos iremos derivar o classico teorema de Bombieri
Vinogradov usando um metodo de Vaughan, como descrito em [7].
Nos mostraremos que o metodo tem um amplo domnio de aplicabi-
lidade colocando ele em um contexto mais geral. Nos entao aplica-
remos o resultado para abordamos o problema de Titchmarsh sobre
126
i
i
i
i
i
i
i
i
[SEC. 9.1: UM TEOREMA GERAL 127
divisores.
9.1 Um Teorema Geral
O principal resultado desta secao e derivado como uma generaliza cao
de um metodo de Vaughan, o qual esta no cerne de uma das demons-
tracoes do teorema de BombieriVinogradov. Antes de enunciarmos
o resultado geral, vamos introduzir primeiro a classe de funcoes
T :=
_
_
_
D : N C :
nx
[D(n)[
2
= O(x(log x)
) para algum > 0

_
_
_
.
(9.1.1)
Nos temos as seguintes propriedades basicas:
Proposicao 9.1.1. 1. Se D T e 0, entao
nx
[D(n)[
n
x
1
(log x)
para algum > 0.

2. Se D
1
, D
2
T, entao
efx
[D
1
(e)D
2
(f)[
2
d(ef) x(log x)
para algum > 0, onde para um inteiro positivo e, d(e) denota

o n umero de divisores de e.
Teorema 9.1.2. Seja x, z inteiros positivos e denotemos
A(s) =
n1
a(n)
n
s
, B(s) =
n1
b(n)
n
s
as series de Dirichlet (isto e, a(1) = b(1) = 1) para o qual nos escre-
vemos
i
i
i
i
i
i
i
i
128 [CAP. 9: O TEOREMA DE BOMBIERIVINOGRADOV
A(s)
B(s)
=
n1
c(n)
n
s
,
1
B(s)
=
n1
b(n)
n
s
para algum c(n),
b(n) C. Nos assumimos que todas estas series sao

convergentes para Re(s) >
0
, para algum
0
, e que elas satisfazem
as seguintes hipoteses:
(H1) (a(n))
n1
e uma sequencia crescente de n umeros reais positivos;
(H2) b(),
b(), c() T;
(H3) existe 0 < 1 e 0 < 1 tal que, para todo caractere de
Dirichlet naotrivial modulo d,
nx
b(n)(n) x
d log d +x
.
Entao
1. se z x
1
3
,
dz
d
(d)
max
yx
ny
c(n)(n)
_
z
2
x
1
2
+x +zx
5
2(3)
+z
2
x
1+2
3
+z
5
2
x
1+
3
a(x)
_
(log x)
(9.1.2)
para algum
> 0;
i
i
i
i
i
i
i
i
2. se z > x
1
3
,
dz
d
(d)
max
yx
ny
c(n)(n)
_
z
2
x
1
2
+x +z
94
2(32)
x
2
32
a(x)(log z)
+z
34+3
32
x
22+
32
(log z)
_
(log
) (9.1.3)
para algum
> 0.
Aqui, a soma
e sobre caracteres primitivos de Dirichlet modulo

d.
Demonstracao. Nos denotamos
F(s) :=
nU
c(n)
n
s
, G(s) :=
nV
b(n)
n
s
para algum parametro U = U(x, z) e V = V (x, z) a ser escolhido
mais tarde. Nos podemos pensar F como uma aproximacao para
A(s)/B(s) e G(s) como uma aproximacao para 1/G(s), e observamos
que podemos escrever
A(s)
B(s)
= F(s) B(s)G(s)F(s) +A(s)G(s)
+
_
A(s)
B(s)
F(s)
_
(1 B(s)G(s)). (9.1.4)
Na literatura, isto e conhecido como identidade de Vaughan e tem
seus primordios devido a ideias de Linnik. Comparando os coecien-
tes de n
s
em ambos os lados de (9.1.4), nos deduzimos que
c(n) = a
1
(n) +a
2
(n) +a
3
(n) +a
4
(n),
i
i
i
i
i
i
i
i
onde
a
1
(n) :=
_
c(n) se n U
0 se n > U
(9.1.5)
a
2
(n) :=
efg=n
fV
gU
b(e)
b(f)c(g), (9.1.6)
a
3
(n) :=
ef=n
fV
a(e)
b(f), (9.1.7)
a
4
(n) :=
ef=n
e>U
f>V
c(e)
gh=f
hV
b(g)
b(h). (9.1.8)
Portanto, para qualquer caractere de Dirichlet modulo d nos pode-
mos escrever
ny
c(n)(n) =
1i4
ny
a
i
(n)(n) :=
1i4
S
i
(y, ). (9.1.9)
Nos provaremos o teorema estimando cada uma das somas
dz
d
(d)
max
yx
[S
i
(y, )[ , 1 i 4.
A estimativa para S
1
(y, ): Usando (9.1.5) e hipotese (H2) junto com
a parte 1 da Proposicao 9.1.1, nos obtemos
[S
1
(y, )[ =
ny
nU
c(n)(n)
nU
[c(n)[ U(log U)
0
para algum
0
> 0. O limitante acima e independente de y, e d,
logo, relembrando que existem (d) caracteres de Dirichlet modulo
d, nos obtemos
i
i
i
i
i
i
i
i
dz
d
(d)
max
yx
[S
1
(y, )[ z
2
U(log U)
0
. (9.1.10)
A estimativa para S
2
(y, ): Usando (9.1.6) nos escrevemos
S
2
(y, ) =
efgy
fV
gU
b(e)
b(f)c(g)(efg),
o qual dividimos em duas partes de acordo com fg U ou U <
fg UV . A primeira soma obtida desta maneira ira ser denotada
por S
2
(y, ) e a segunda soma por S
2
(y, ).
Para S
2
(y, ) nos escrevemos
[S
2
(y, )[
gU
[c(g)[
fmin
V,
U
g
b(f)[
e
y
fg
b(e)(e)
assim podemos usar a hipotese (H3) para estimar a soma mais in-
terna. Nos obtemos
S
2
(y, ) y
d(log d)
gU
[c(g)[
g
fmin
V,
U
g
b(f)[
f
+ y
gU
[c(g)[
g
fmin
V,
U
g
b(f)[
f
d(log d)
gU
[c(g)[
g
f
U
g
[
b(f)[
f
+ y
gU
[c(g)[
g
f
U
g
[
b(f)[
f
.
i
i
i
i
i
i
i
i
Entao, usando (H2) e parte 1 da Proposicao 9.1.1, nos obtemos
S
2
(y, ) y
d(log d)
gU
[c(g)[
g
_
U
g
_
1
(log U)
1
+ y
gU
[c(g)[
g
_
U
g
_
1
(log U)
2
y
d(log d)U
1
(log U)
3
+y
U
1
(log U)
4
para alguns
1
,
2
,
3
,
4
> 0. Isto implica que
dz
d
(d)
max
yx
[S
2
(y, )[
x
z
5
2
(log z)U
1
(log U)
3
+x
z
2
(log z)U
1
(log U)
4
. (9.1.11)
Para S
2
(y, ) nos escrevemos
dz
d
(d)
max
yx
[S
2
(y, )[
=
dz
d
(d)
max
yx
ehy
U<hUV
b(e)
_
_
_
_
fV,gU
fg=h
b(f)c(g)
_
_
_
_
(eh)
,
o qual sugere usarmos a segunda desigualdade modicada do grande
crivo que foi discutida no Captulo 8. Entretanto, nos observamos
que aplicando esta desigualdade diretamente ao par das sequencias
de n umeros complexos
(b(e)) x
UV
<e
x
U
e (
b(f)c(g))
fg=h,U<hUV
,
nos iremos superestimar nossa expressao. Ao inves, nos devemos divi-
dir o intervalo (U, UV ] em intervalos diadicos (2
k
, 2
k+1
] com [log
2
U] <
i
i
i
i
i
i
i
i
k < [log
2
UV ] e aplicar a desigualdade modicada do grande crivo
para cada par de sequencias
(b(e)) x
2
k+1
<e
x
2
k
e (
b(f)c(g))
fg=h,2
k
<h2
k+1.
Para cada [log
2
U] < k < [log
2
UV ] nos obtemos que
=
dz
d
(d)
max
yx
ehy
2
k
<h2
k+1
b(e)
_
_
_
_
fV,gU
fg=h
b(f)c(g)
_
_
_
_
(eh)
_
z
2
+
x
2
k
_
1/2
(z
2
+ 2
k
)
1/2
_
e
_
1/2
_
h
_
1/2
(log x),
(9.1.12)
onde
e
:=
e
x
2
k
[b(e)[
2
, (9.1.13)
h
:=
2
k
<h2
k+1
fV,gU
fg=h
b(f)c(g)
2
. (9.1.14)
Por (H2) nos temos
e
x
2
k
[b(e)[
2
x
2
k
_
log
x
2
k
_
5
(9.1.15)
para algum
5
> 0, e pela desigualdade de CauchySchwarz junta-
mente com (H2) e parte 2 da Proposicao 9.1.1, nos obtemos
2
k
<h2
k+1
fV,gU
fg=h
b(f)c(g)
2
k
<h2
k+1
d(h)
f|h
[
b(f)[
2
c
_
h
f
_
2
2
k
(log 2
k
)
6
(9.1.16)
i
i
i
i
i
i
i
i
para algum
6
> 0. Entao nos inserimos (9.1.15) e (9.1.16) em
(9.1.13), (9.1.14), (9.1.12), para obtermos
dz
d
(d)
max
yx
ehy
2
k
<h2
k+1
b(e)
_
_
_
_
fV,gU
fg=h
b(f)c(g)
_
_
_
_
(eh)
_
z
2
+
zx
1/2
2
k/2
+z2
k/2
+x
1/2
_
x
1
2
(log x)
5
2
+1
(log 2
k
)
6
2
.
Nos efetuamos a soma sobre todos os k para nalmente obtermos
dz
d
(d)
max
yx
[S
2
(y, )[
_
z
2
+
zx
1/2
U
1/2
+z(UV )
1/2
+x
1/2
_
x
1/2
(log x)
5
2
+1
(log UV )
6
2
+1
.
(9.1.17)
Para estimar S
3
(y, ): N os denimos uma fun cao escada / : R
R por /(t) = a(1) se t 1, /(t) = a(2) a(1) se 1 < t 2, e em
geral, /(t) = a(n) a(n1) se n1 < t n. Entao nos observamos
que a(n) =
_
n
0
/(t)dt e que /() e positiva, uma vez que a sequencia
(a(n))
n1
e crescente. Usando (9.1.7) (e assumindo, sem perda de
generalidade, que y e um inteiro) nos escrevemos
i
i
i
i
i
i
i
i
[S
3
(y, )[ =
fV
b(f)(f)
e
y
f
a(e)(e)
fV
b(f)(f)
e
y
f
(e)
_
e
0
/(t)dt
_
y
0
/(t)
fV
b(f)(f)
te
y
f
(e)dt
_
y
0
[/(t)[
fV
[
b(f)[
te
y
f
(e)
dt.
Observamos que podemos usar a desigualdade de PolyaVinogradov
dada no ultimo Exerccio do Captulo 8 para estimar a soma interna.
Nos obtemos
S
3
(y, )
d(log d)
_
y
0
[/(t)[dt
fV
[
b(f)[
d(log d)V (log V )
7
a(y)
para algum
7
> 0. Portanto, observando que [/(t)[ = /(t) e usando
(H1), nos obtemos
dz
d
(d)
max
yx
[S
3
(y, )[ z
5
2
(log z)V (log V )
7
max
yx
[a(y)[
= z
5
2
(log z)V (log V )
7
a(x).(9.1.18)
Para estimar S
4
(y, ): Usando (9.1.8) nos escrevemos
i
i
i
i
i
i
i
i
dz
d
(d)
max
yx
[S
4
(y, )[
=
dz
d
(d)
max
yx
efy
e>U
f>V
c(e)
_
_
_
_
gh=f
hV
b(g)
b(h)
_
_
_
_
(ef)
,
o qual nos sugere usar a segunda desigualdade modicada do grande
crivo ao par de sequencias de n umeros complexos
(c(e))
U<e<
x
V
e (b(g)
b(h))
gh=f,hV,V <f<
x
U
.
Entretanto, para obtermos resultados otimos, nos procedemos da
mesma maneira em que lidamos com o caso para a soma S
2
(y, ).
Para ser preciso, nos dividimos o intervalo (U, y/V ] e intervalos diadicos
(2
k
, 2
k+1
] com [log
2
U] < k [log
2
y/V ] e aplicamos a desigualdade
modicada do grande crivo para cada uma das sequencias abaixo
(c(e))
2
k
<e2
k+1 e (b(g)
b(h))
gh=f,hV,max(V,
y
2
k+1
)<f<
y
2
k
.
Para cada [log
2
U] < k [log
2
x
V
] nos obtemos
dz
d
(d)
max
yx
efy
e>U
f>V
2
k
<e2
k+1
c(e)
_
_
_
_
gh=f
hV
b(g)
b(h)
_
_
_
_
(ef)
(z
2
+ 2
k
)
1/2
_
z
2
+
x
2
k
_
1/2
_
e
_
1/2
_
_
f
_
_
1/2
log x,
(9.1.19)
i
i
i
i
i
i
i
i
onde
e
:=
2
k
<e2
k+1
[c(e)[
2
, (9.1.20)
f
:=
V <f
x
2
k
gh=f
hV
b(g)
b(h)
2
. (9.1.21)
Nos observamos que por (H2) nos temos
2
k
<e2
k+1
[c(e)[
2
2
k
(log 2
k
)
8
(9.1.22)
para algum
8
> 0, e pela desigualdade de CauchySchwarz junta-
mente com (H2) e parte 2 da Proposicao 9.1.1, nos obtemos
V <f
x
2
k
gh=f
hV
b(g)
b(h)
V <f
x
2
k
d(f)
h|f
[
b(h)[
2
f
_
f
h
_
x
2
k
_
log
x
2
k
_
9
(9.1.23)
para algum
9
> 0. Nos inserimos (9.1.22) e (9.1.23) em (9.1.20),
(9.1.21), (9.1.19), e obtemos
dz
d
(d)
max
yx
efy
e>U
f>V
2
k
<e2
k+1
c(e)
_
_
_
_
gh=f
hV
b(g)
b(h)
_
_
_
_
(ef)
_
z
2
+
zx
1/2
2
k/2
+z2
k/2
x
1/2
_
x
1/2
(log x)
9
2
+1
(log 2
k
)
8
2
.
i
i
i
i
i
i
i
i
Finalmente nos efetuamos a some sobre todos os k e deduzimos que
dz
d
(d)
max
yx
[S
4
(y, )[
_
z
2
+
zx
1/2
U
1/2
+
zx
1/2
V
1/2
+x
1/2
_
x
1/2
(log x)
8
+
9
2
+2
. (9.1.24)
Nos acabamos de estimar as quatro somas S
i
(y, ), 1 i 4 (veja
(9.1.10), (9.1.11), (9.1.17), (9.1.18) e (9.1.24)). Colocando todas estas
estimativas juntas nos obtemos
dz
d
(d)
max
yx
ny
c(n)(n)
z
2
U(log U)
0
+ x
z
5/2
(log z)U
1
(log U)
3
+x
z
2
(log z)U
1
(log U)
4
+
_
z
2
+
zx
1/2
U
1/2
+z(UV )
1/2
+x
1/2
_
x
1
2
(log x)
5
2
+1
(log UV )
6
2
+1
+ z
5/2
(log z)V (log V )
7
a(x)
+
_
z
2
+
zx
1/2
U
1/2
+
zx
1/2
V
1/2
+x
1/2
_
x
1
2
(log x)
8
+
9
2
+2
. (9.1.25)
Ainda nos resta escolher apropriadamente os parametros U e V .
Nos queremos U e V tal que z
5/2
x
U
1
= z
5/2
V , isto e, tal que
V = x
U
1
.
Agora nos analisamos a expressao
E(x, z, U) : =
zx
U
1/2
+z
5/2
x
U
1
+zx
1
2
(UV )
1/2
=
zx
U
1/2
+zU
_
z
3
2
x
+x
1+
2
U
2
_
.
Se
i
i
i
i
i
i
i
i
z
3
2
x
x
1+
2
U
2
,
isto e, se
z x
1
3
U
3
, (9.1.26)
entao
E(x, z, U)
zx
U
1/2
+zx
1+
2
U
2
2
.
Escolhemos U tal que
zx
U
1/2
= zx
1+
2
U
2
2
,
isto e,
U := x
1
3
.
Voltando na equa cao (9.1.26), nos observamos que nossa escolha
de U implica que
z x
1
3
.
Nos obtemos
dz
d
(d)
max
yx
ny
c(n)(n)
_
z
2
x
1
2
+x +zx
5
2(3)
+z
2
x
1+2
3
+z
5
2
x
1+
3
a(x)
_
(log x)
para algum
> 0.
Se
z
3
2
x
> x
1+
2
U
2
,
entao procedendo como zemos acima e escolhendo U tal que
i
i
i
i
i
i
i
i
zx
U
1/2
= z
5/2
x
U
1
.
Assim
U :=
x
2(1)
32
z
3
32
.
Com esta escolha de U nos obtemos que
z > x
1
3
,
e que
dz
d
(d)
max
yx
ny
c(n)(n)
_
z
2
x
1
2
+x +z
94
2(32)
x
2
32
a(x)(log z) +z
34+3
32
x
22+
32
(log z)
_
(log x)
para algum
> 0.
Isto completa a demonstracao do teorema.
9.2 O teorema de BombieriVinogradov
Nesta secao nos voltamos ao estudo do termo do erro que ocorre
na formula assintotica para (x; d, a), onde a, d sao primos entre si
e d x. Nos ja mencionamos no Captulo 7 que se assumirmos a
hipotese generalizada de Riemann, entao
(x; d, a) =
li(x)
(d)
+O(x
1/2
(log dx)).
Nos iremos agora provar que, em media e sem usar nenhuma hipotese,
o termo do erro de fato tem o tamanho O
d
(x
1/2
log x). Mais precisa-
mente, nos iremos provar:
i
i
i
i
i
i
i
i
[SEC. 9.2: O TEOREMA DE BOMBIERIVINOGRADOV 141
Teorema 9.2.1 (O teorema de BombieriVinogradov). Para todo
A > 0 existe B = B(A) > 0 tal que
d
x
1/2
(log x)
B
max
yx
max
(a,d)=1
(x; d, a)
li(y)
(d)
x
(log x)
A
. (9.2.1)
O teorema de BombieriVinogradov foi primeiramente obtido, in-
dependentemente, por E. Bombieri e A.I. Vinogradov em 1965. A
demonstracao deles e baseada em uma aplicacao do grande crivo para
estimar o n umero de zeros de certas Lfun coes em varios retangulos.
Uma diferente demonstra cao do teorema foi obtida por Gallagher em
1968. E ainda outra demonstracao foi obtida por Vaughan em 1975,
e e o seu tratamento que iremos seguir abaixo (veja [7, pg. 16]).
Existem dois ingredientes principais necessarios da demonstra cao
de Vaughan do teorema de BombieriVinogradov. O primeiro e um
caso particular do teorema geral discutido na Se cao 9.1. Nos enun-
ciamos abaixo. O segundo e um resultado devido a Siegel e Walsz,
enunciado na Secao 7.3 do Captulo 7, o qual nos fornece estimati-
vas incondicionais para (x; d, a) li(x)/(d) desde que d esteja em
intervalos pequenos com respeito a x.
Teorema 9.2.2 (Vaughan). Sejam x e z inteiros positivos arbitrarios.
Entao
dz
d
(d)
max
yx
ny
(n)(n)
(z
2
x
1/2
+x +zx
5/6
)(log z)(log x)
(9.2.2)
para algum > 0, onde a soma
e sobre caracteres primitivos de

Dirichlet modulo d e onde () denota a func ao de von Mangoldt.
Demonstracao. Nos usamos a notacao introduzida no Teorema 9.1.2
e denotamos
A(s) :=
(s) =
n1
log n
n
s
, B(s) := (s) =
n1
1
n
s
.
i
i
i
i
i
i
i
i
Assim, para n 1,
a(n) = log n, b(n) = 1, c(n) = (n),

b(n) = (n),
e as hipoteses (H1) e (H2) do Teorema 9.1.2 estao satisfeitas. Usando
a desigualdade de PolyaVinogradov nos vemos que, para todo d e
qualquer caractere de Dirichlet naotrivial modulo d,
nx
b(n)(n) =
nx
(n)
d log d.
Logo a hipotese (H3) e tambem satisfeita, com = 0 = . Nos
obtemos que se z x
1/3
, ent ao
dz
d
(d)
max
yx
ny
(n)(n)
(z
2
x
1/2
+x +zx
5/6
+z
5/2
x
1/3
)(log z)(log x)
para algum
> 0, e se z > x
1/3
, entao
dz
d
(d)
max
yx
ny
(n)(n)
(z
2
x
1/2
+x +z
3/2
x
2/3
)(log z)(log x)
para algum
> 0. Combinando as duas estimativas nos obtemos a

desigualdade desejada.
Corolario 9.2.3. Sejam x, z, D inteiros positivos tal que z > D.
Entao
dz
d
(d)
max
yx
ny
(n)(n)
_
zx
1/2
+
x
z
+
x
D
+x
5/6
log z
_
(log z)(log x)
(9.2.3)
i
i
i
i
i
i
i
i
para algum > 0.
Demonstracao do Teorema de BombieriVinogradov. Primeiro obser-
varmos que (9.2.1) e equivalente a provar que para todo A > 0 existe
B = B(A) > 0 tal que
d
x
1/2
(log x)
B
max
yx
max
(a,d)=1
(y; d, a)
y
(d)
x
(log x)
A
,
onde
(y; d, a) :=
ny
(a,n)=1
(n).
Sejam A, y, x n umeros reais positivos tal que y x, e seja d y.
Observamos que
max
(a,d)=1
(y; d, a)
y
(d)
1
(d)
( mod d)
=
0
[(y, )[ +
(y,
0
) y
(d)
.
(9.2.4)
Seja o caractere ,=
0
modulo d induzido por algum caractere
primitivo
1
modulo d
1
. Assim
(y,
1
) (y, ) (log y)(log d)
(prove isto!). Usando isto em (9.2.4) nos temos
max
(a,d)=1
(y; d, a)
y
(d)
1
(d)
( mod d)
=
0
[(y,
1
)[
+
dz
1
(d)
max
yx
[(y) y[ + (log y)(log d),
e, mais ainda, que
i
i
i
i
i
i
i
i
dz
max
yx
max
(a,d)=1
(y; d, a)
y
(d)
dz
1
(d)
( mod d)
=
0
max
yx
[(y,
1
)[
+
dz
1
(d)
max
yx
[(y) y[ +z(log z)(log x),
onde z = z(x) e um n umero real positivo, que depende de x, a ser
especicado em breve. Para o segundo termo acima nos usamos o
teorema dos n umeros primos dado pela seguinte forma
(x) = x +O(xexp(c
_
log x)),
obtendo que
dz
1
(d)
max
yx
[(y) y[
xlog z
(log x)
A+1
. (9.2.5)
Ainda resta estimar o primeiro termo.
Nos escrevemos todos os modulos d como d = d
1
k para algum
inteiro positivo k e observamos que
dz
1
(d)
( mod d)
=
0
max
yx
[(y,
1
)[ =
d
1
z
k
z
d
1
1
(d
1
k)
1
( mod d
1
)
max
yx
[(y,
1
)[
dz
1
(d)
log
_
2z
d
_

[(y, )[,
onde nos usamos a estimativa
k
z
d
1
dk

1
(d)
log
2z
d
.
Para completarmos a demonstracao do teorema nos precisamos esco-
lher z apropriadamente (i.e. da forma z = x
1/2
/(log x)
B
para alguma
constante positiva B = B(A)) e mostrar que
i
i
i
i
i
i
i
i
dz
1
(d)
max
yx
[(y, )[
x
(log x)
A
. (9.2.6)
Lembramos que pelo teorema de SiegelWalsz que diz que,
(x, ) xexp(c
_
log x),
existe B = B(A) > 0 tal que, se d (log x)
B
e ,=
0
e um caractere
modulo d, entao
(y, )
x
(log x)
A+1
.
Assim
d(log x)
B
1
(d)
max
yx
[(y, )[
x
(log x)
A
. (9.2.7)
Agora escolhemos
z :=
x
1/2
(log x)
B
e aplicamos Corolario 9.2.3 e somas parciais para obter
(log x)
B
<dz
1
(d)
max
yx
[(y, )[
x
(log x)
A
. (9.2.8)
Combinando (9.2.5), (9.2.7) e (9.2.8), a demonstra cao do teorema
esta completa.
O teorema de BombieriVinogradov foi estendido por Bombieri
et al. [4] da seguinte maneira. Seja a ,= 0 e x y 3. Entao
dx
1
2
y
1
2
(d,a)=1
(x; d, a)
x
(d)
x
_
log y
log x
_
2
(log log x)
B
.
i
i
i
i
i
i
i
i
Aqui B e uma constante absoluta e a constante implcita pelo smbolo
depende somente de a.
Isto signica que na maioria das aplica coes envolvendo o teorema
de BombieriVinogradov, nos podemos tomar
d x
1
2
exp
_
log x
(log log x)
B
_
ao inves de d x
1/2
(log x)
B
. Em particular, isto se aplica ao pro-
blema do divisor de Titchmarsh (a ser discutido na proxima secao)
e nos podemos deduzir a existencia de constantes positivas c e c
1
tal
que
px
d(p +a) = cx +c
1
x
log x
+O
_
x(log log x)
B
(log x)
2
_
.
O problema de provar resultados da forma
dx
max
(a,d)=1
(x; d, a)
x
(d)
x
(log x)
A
para todo A > 0 e > 1/2 e extremamente difcil. Uma famosa
conjectura de Elliott e Halberstam preve que a desigualdade acima e
verdadeira para todo < 1.
Se descartarmos o valor absoluto e xarmos a, entao alguns re-
sultados signicantes foram obtidos. Sem entrar em muitos detalhes,
nos mencionamos a conhecida funcoes bem-fatoravel (d) de nvel
z. Nos temos que para todo > 0 e z := x
4
7
(d,a)=1
dz
(d)
_
(x; d, a)
x
(d)
_
x
(log x)
A
para todo A > 0.
Este resultado possui numerosas aplicacoes. Por exemplo, no caso
do problema do divisor de Titchmarh nos podemos mostrar que para
todo A > 0,
px
d(p +a) = cx +c
1
li(x) +O
_
x
(log x)
A
_
i
i
i
i
i
i
i
i
[SEC. 9.3: O PROBLEMA DO DIVISOR DE TITCHMARSH 147
para constantes positivas c, c
1
. Outra aplica cao e vista na conjectura
da raz primitiva de Artin e tambem na teoria de curvas elpticas. A
demonstracao desta melhora na estimativa e difcil e nao sera vista
neste curso. (veja [])
9.3 O Problema do Divisor de Titchmarsh
Seja a um inteiro xado. Lembramos que no Captulo 3 nos con-
sideramos a questao de determinar o comportamento assintotico da
fun cao
px
(p +a)
para a = 1. Agora vamos considerar a questao mais complexa de
determinar o comportamento assintotico de
px
d(p +a),
onde d() e a fun cao divisor. Este problema e conhecido na literatura
como o problema do divisor de Titchmarsh. Foi primeiramente
estudado por Titchmarsh em 1930 e esta relacionado com uma famosa
conjectura de Hardy e Littlewood, formulada em 1922 enunciando
que todo inteiro sucientemente grande pode ser representado como
a soma de um primo e dois quadrados. Ja em 1930, Titchmarsh
mostrou que
px
d(p +a) = O(x),
e que, usando a hipotese generalizada de Riemann, uma formula as-
sintotica explcita para
px
d(p + a) (veja (9.3.1) abaixo) tambem
e valida.
Em 1923, Hardy and Littlewood sugeriram que a sua propria
conjectura era verdadeira para quase todos inteiros se assumirmos
a hipotese generalizada de Riemann, e em 1928 Stanley mostrou que
isto era de fato verdade. E mais tarde a hipotese do resultado de
Stanley foi enfraquecida por S. Chowla (1935), A. Walsz (1935), T.
i
i
i
i
i
i
i
i
Estermann (1936), H. Halberstam (1951), e C. Hooley (1957), sem
ser completamente removida. Somente em 1960 Linnik obteve uma
demonstracao incondicional da conjectura de HardyLittlewood. Seu
metodo, agora conhecido como metodo da dispersao, pode tambem
ser usado para fornecer uma demonstracao incondicional do problema
do divisor de Titchmarsh.
Nosso objetivo nesta se cao e descrever uma simples demosntracao
do problema do divisor de Titchmarsh. Mais precisamente, nos mos-
tramos que:
Teorema 9.3.1. Seja a um n umero inteiro xado. Entao existe uma
constante positiva c tal que
px
d(p +a) = cx +O
_
xlog log x
log x
_
. (9.3.1)
Demonstracao. Primeiro observamos que para todo inteiro positivo
n,
d(n) = 2
d|n
d
n
1 (n),
onde (n) = 1 se n e um quadrado e 0 caso contrario. Assim
px
d(p +a) = 2
px
d|p+a
d
x
1
px
(p +a)
= 2
x
(x, d, a) +O(
x). (9.3.2)
Nos agora lembramos que o teorema de BombieriVinogradov
nos permite controlar o termo do erro na formula assintotica para
(x; d, a), desde que d

x(log x)
B
para alguma constante po-
sitiva B (a ser especicada mais tarde). Isto nos sugere a separar a
soma no lado direito de (9.3.2) em duas partes:
i
i
i
i
i
i
i
i
[SEC. 9.3: O PROBLEMA DO DIVISOR DE TITCHMARSH 149
x
(x, d, a) =
x
(log x)
B
(x, d, a) +
x
(log x)
B
<d
x
(x, d, a).
(9.3.3)
Para a primeira soma em (9.3.3) nos escrevemos
x
(log x)
B
(x, d, a) =
x
(log x)
B
_
(x; d, a)
li(x)
(d)
_
+
x
(log x)
B
li(x)
(d)
e usamos o teorema de BombieriVinogradov para obter um limitante
superior de
li(x)
x
(log x)
B
1
(d)
+O
_
x
(log x)
A
_
,
para qualquer A > 0 e algum B = B(A) > 0. Agora nos sabemos
que existe uma constante positiva c
0
tal que, para todo x,
dx
1
(d)
= c
0
log x +O(1). (9.3.4)
(prove isto!)
Portanto
x
(log x)
B
(x, d, a) =
c
0
2
x +O(
xlog log x
log x
). (9.3.5)
Para a segunda soma em (9.3.3) nos usamos o teorema de Brun
Titchmarsh e, novamente, (9.3.4). Nos obtemos
x
(log x)
B
<d
x
(x; d, a)
x
log x
x
(log x)
B
<d
x
1
(d)

xlog log x
log x
.
(9.3.6)
i
i
i
i
i
i
i
i
A demonstracao do teorema esta completa combinando (9.3.2),
(9.3.3), (9.3.5) e (9.3.6), e colocando c := c
0
/2.
9.4 Exerccios
1. Use somas parciais e a desigualdade de CauchySchwarz para
provar a Proposicao 9.1.1.
2. Prove a identidade de Vaughan (9.1.4) e (9.1.5)(9.1.8).
3. Mostre que para a xo e () denidco como na secao anterior
nos temos que
px
(p +a) = O(
x).
i
i
i
i
i
i
i
i
Bibliograa
[1] J.C. Andrade, Uma Intrducao aos Metodos de Crivos em Teoria
dos N umeros e suas Aplicacoes, livro a ser publicado.
[2] T.M. Apostol, Introduction to Analytic Number Theory, New
York: SpringerVerlag, 1976.
[3] E. Bombieri, J. Friedlander and H. Iwaniec, Primes in arithmetic
progressions to large moduli, Acta Math., 156 (1986), 203251.
[4] E. Bombieri, J. Friedlander and H. Iwaniec, Primes in arithmetic
progressions to large moduli II, Math. Ann., 277:3 (1987), 361
393.
[5] V. Brunn,

Uber das Goldbachsche Gesetz und die Anzahl der
Primzahlpaare, Archiv for Matrh. og Naturvid., B34: 8 (1915),
19 pages.
[6] A.C. Cojocaru and M.R. Murty, An Introduction to Sieve
Methods and their Applications, Cambridge, Cambridge Univer-
sity Press, 2005.
[7] H. Davenport, Multiplicative Number Theory, (New York:
SpringerVerlag), 2000.
[8] P.D.T.A. Elliott, Probabilistic Number Theory II: Central Limits
Theorem, New York, Berlin: SpringerVerlag, 1980.
[9] J. Friedlander and H. Iwaniec, Opera de Cribro, AMS Collo-
quium Publications Vol. 57, American Mathematical Society,
Providence-RI, 2010.
151
i
i
i
i
i
i
i
i
152 BIBLIOGRAFIA
[10] P.X. Gallagher, A large sieve, Acta Arithm. 18 (1971), 7781.
[11] H. Halberstam e H.E. Richert, Sieve Methods, London Mathema-
tical Society monographs, No 4, (London, New York: Academic
Press, 1974).
[12] D.R. HeathBrown, The square sieve and consecutive squarefree
numbers, Math. Ann., 266 (1984), 251259.
[13] M. Hindry e J. Silverman, Introduction to Diophantine Geometry
(New York: SpringerVerlag), 2001.
[14] K. Ireland e M. Rosen, A Classical Introduction to Modern Num-
ber Theory, 2nd (New York: SpringerVerlag), 1998.
[15] W. Li, Number Theory with Applications (Singapore: World Sci-
entic), 1996.
[16] H.L. Montgomery and R.C. Vaughan, The large sieve, Mathe-
matika, 20 (1973), 119134.
[17] Y. Motohashi, An induction principle for the generalizations
of Bombieris prime number theorem, Proc. Japan Acad., 52:6
(1976), 273275.
[18] M. Ram Murty, Sieving using Dirichlet series, In Current Trends
in Number Theory, ed. S.D. Adhikari, S.A. Katre e B. Rama-
krishnan, (New Delhi: Hindustan Book Agency), 2002, 111124
[19] J.-P. Serre, Majorations de sommes exponentielles, Journees
Arith. Caen, Asterique, 4142 (1977), 111126.
[20] C.L. Siegel, The integer solutions of the equation y
2
= ax
n
+
bx
n1
+ +k, J. London Math. Soc., 1 (1920), 6668.

Introduçao A Métodos de Crivo em Teoria Dos Números - Júlio Andrade

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Introduçao A Métodos de Crivo em Teoria Dos Números - Júlio Andrade

Hochgeladen von

Copyright:

Verfügbare Formate

Introduo aos Mtodos de

Crivos em Teoria dos Nmeros

foram especialmente escritas para o 29

ETICAS E ALGUMAS NOTAC

ASICAS DA TEORIA ANAL

E claro que se f(x) = o(g(x)), entao f(x) = O(g(x)).

), isto signica que para todo

> 0 dependendo somente de tal que [f(x)[

para todo x D. No decorrer destas notas de aula, p, q, l

ETICAS E ALGUMAS NOTAC

ASICAS DA TEORIA ANAL

ECNICA DE SOMA PARCIAL. 7

T). Sejam f e g duas funcoes que assumem valores

ETICAS E ALGUMAS NOTAC

ASICAS DA TEORIA ANAL

ETICAS E ALGUMAS NOTAC

ASICAS DA TEORIA ANAL

e assim por diante. Logo podemos ver que

ETICAS E ALGUMAS NOTAC

ASICAS DA TEORIA ANAL

E claro, a resposta explcita e dada pelo familiar princpio da com-

E facil de ver que a contribuicao para (2.3.1) das ultimas somas e

ETODO DA ORDEM NORMAL

x +O(1) = log log x +O(1),

ETODO DA ORDEM NORMAL

UMERO NORMAL DE DIVISORES PRIMOS DE UM POLIN

para algum 0 < < 1/2, entao

ETODO DA ORDEM NORMAL

log x), nos deduzimos:

UMERO NORMAL DE DIVISORES PRIMOS DE UM POLIN

com 0 < < 1/2, e assim o termo do erro

ETODO DA ORDEM NORMAL

E agora um exerccio elementar deduzir que a ordem normal de

para algum > 0.

ETODO DA ORDEM NORMAL

ETODO PARA OUTRAS SEQU

e > 0. Entao obtemos

ETODO DA ORDEM NORMAL

p). Logo, o n umero de n(mod p)

). Isto pode ser visto usando

= 0 para todo > z

tem um valor mnimo de 1/V (z), obtido em

, e, consequentemente, com a escolha

= 0 para todo > z

[ para todo z, [ P(z). De (7.2.4) e (7.2.6) nos obtemos

f(p) := f(p) para todos os primos p e denotamos

para algum < 1. Ent ao, para todo > 0, existe

e O(log log x). O artigo de Linnik in-

d, entao, lembrando que (a, d) = (a

, o que e falso. Assim

inteiros positivos. Entao

) = 1, nos temos que c

, n inteiros positivos. Mostre que , se (d, d

) para algum > 0

para algum > 0.

para algum > 0, onde para um inteiro positivo e, d(e) denota

b(n) C. Nos assumimos que todas estas series sao

e sobre caracteres primitivos de Dirichlet modulo

d(log d)V (log V )

e sobre caracteres primitivos de

> 0. Combinando as duas estimativas nos obtemos a

Das könnte Ihnen auch gefallen