Escolar Documentos
Profissional Documentos
Cultura Documentos
Junho de 2007
ColoquioMa
i i
2007/6/29
page 1
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 2
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 3
i i
Prefacio
Problemas que envolvem simultaneamente as estruturas aditiva e
multiplicativa dos numeros inteiros, em particular problemas aditivos
sobre numeros primos, costumam ser extremamente difceis, apesar
de muitas vezes terem enunciados bastante simples. Nao se sabe por
exemplo se ha infinitos pares de primos gemeos, i.e., pares de primos
cuja diferenca e 2. Tambem continua em aberto a famosa conjectura
de Goldbach: todo inteiro par maior ou igual a 4 e soma de dois
primos.
i i
i i
ColoquioMa
i i
2007/6/29
page 4
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 5
i i
Sumario
i i
i i
ColoquioMa
i i
2007/6/29
page 6
i i
6 SUMARIO
2 Teorema de Green-Tao-Szemeredi 49
2.1 Introducao . . . . . . . . . . . . . . . . . . . . . . . . . 49
2.2 Estrategia da prova do teorema de Green e Tao . . . . 50
2.2.1 Prova do teorema de Green e Tao . . . . . . . 54
2.2.2 Alguns comentarios . . . . . . . . . . . . . . . 55
2.3 Prova do teorema de Roth . . . . . . . . . . . . . . . . 55
2.4 Demonstracao do teorema de Green-Tao-Szemeredi . . 64
2.4.1 Normas de Gowers . . . . . . . . . . . . . . . . 65
2.4.2 Anti-Uniformidade . . . . . . . . . . . . . . . . 73
2.4.3 Sigma-Algebras geradas por funcoes anti-uni-
formes basicas . . . . . . . . . . . . . . . . . . 79
2.4.4 O argumento de incremento na energia . . . . . 82
2.4.5 Fim da prova do teorema de
Green-Tao-Szemeredi . . . . . . . . . . . . . . . 88
i i
i i
ColoquioMa
i i
2007/6/29
page 7
i i
Captulo 1
Propriedades aditivas
dos numeros primos
1.1 Introducao
Um dos conceitos numericos mais antigos e a nocao de numero primo.
Por definicao um numero p e primo se ele e divisvel somente por 1 e
por ele mesmo.
Os numeros primos aparecem em diversos resultados elementares
da teoria dos numeros, como o teorema de decomposicao unica em
fatores primos ou como os numeros tais que Z/pZ e um corpo.
Obviamente como a definicao de numero primo e de carater mul-
tiplicativo, podemos extrair diversas propriedades multiplicativas el-
ementares. Por exemplo, o produto de dois primos nao e primo. Ou
mesmo, nao existem progressoes geometricas de comprimento maior
ou igual a 3 formadas somente por primos.
Por outro lado, ao levantarmos perguntas de carater aditivo pode-
mos nos deparar com algumas surpresas. Por exemplo, a soma de
dois numeros primos e primo? A resposta e: depende. Por exemplo
2+3=5 e primo, 2+5=7 e primo, mas 3+5=8 nao e primo e nem
7+2=9. Por outro lado o postulado de Bertrand diz que para todo
natural N existe um primo entre N e 2N . Ve-se entao que a seguinte
pergunta merece pelo menos um pouco de reflexao:
i i
i i
ColoquioMa
i i
2007/6/29
page 8
i i
Veremos nestas notas como tal pergunta foi respondida por Ben
Green e Terence Tao. Mas, antes disso, iremos passear pelo mundo
dos numeros primos, vendo solucoes parciais a esta pergunta e anal-
isando outras questoes de carater aditivo envolvendo os numeros pri-
mos.
Um resultado importante devido a Brun [2] mostra que mesmo que ex-
istam infinitos primos gemeos, eles se tornam muito escassos quando
olhamos para numeros muito grandes, o que torna a conjectura mais
difcil. De fato o teorema de Brun diz que a serie dos inversos dos
primos gemeos mpares converge (para um numero conhecido como
a constante de Brun):
1 1 1 1 1 1 1 1
( + ) + ( + ) + ( + ) + ( + ) + ... < +.
3 5 5 7 11 13 17 19
Mais tarde reformularemos a conjectura dos primos gemeos em uma
linguagem mais analtica.
i i
i i
ColoquioMa
i i
2007/6/29
page 9
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 10
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 11
i i
i i
i i
ColoquioMat
i i
2007/6/29
page 12
i i
i i
i i
ColoquioMat
i i
2007/6/29
page 13
i i
Isto mostra que os numeros primos nao sao tao esparsos quanto os
quadrados de numeros naturais.
A conjectura de Erdos-Turan diz que conjuntos com tal propriedade
devem conter progressoes aritmeticas de comprimento arbitrario. O
teorema de Green-Tao e portanto um caso particular desta conjec-
tura:
Conjectura 1 (Erdos-Turan). Seja A N tal que:
X 1
= +.
n
nA
i i
i i
ColoquioMa
i i
2007/6/29
page 14
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 15
i i
N
Agora se N e muito grande entao temos que 1 < M = log2 N
< N.
Substituindo na inequacao acima obtemos que:
N N E(|[1, N ])
|primos entre 1 e N | < 2 + .
log N log N 2 log log N
Portanto:
|primos entre 1 e n| 1 1
< E(|[1, N ])( )+ .
N log N 2 log log N log2 N
log x
Isto conclui a demonstracao porque log x2 log log x 1 quando
x .
i i
i i
ColoquioMa
i i
2007/6/29
page 16
i i
P
De fato, em Re(s) > 1 temos que k1 fk(k) converge uniforme-
Q P s
mente, por outro lado, seja P (n) = pn ( m0 f (pm )pms ), onde
s esta fixo. Ora, P (n) e um produto finito de series convergentes e
P f (m)
podemos entao escreve-lo como ms , onde
mAn
P
Agora, obviamente {1, . . . , n} An . Logo |P (n) k1 fk(k) s |
P f (k)
k>n ks , donde o resultado segue pela convergencia absoluta da
serie.
Alem disso, se f e estritamente
P multiplicativa,Ptemos que f (pm ) =
(f (p)) . Isto implica que m0 f (pm )pms = m0 (f (p)ps )m =
m
1
1f (p)ps , pela formula da serie geometrica.
A formula de Euler segue entao observando que a funcao f 1 e
estritamente multiplicativa.
i i
i i
ColoquioMa
i i
2007/6/29
page 17
i i
1
sao da forma 2 + i onde e um zero da funcao
1 s 1
(t) = s(s 1) s/2 ( )(s), onde s = + it.
2 2 2
A Hipotese de Riemann afirma que
Os zeros nao triviais da funcao zeta de Riemann tem parte real
igual a 21 .
Este e um problema muito difcil e tem posto a prova os esforcos
de muitos matematicos famosos. Neste livro iremos encontrar uma
regiao livre de zeros de forma elementar (usando analise complexa).
A prova do seguinte fato sera dada no apendice deste captulo:
Proposicao 1.4.2. (s) 6= 0 em Re(s) 1.
Para isso iremos estudar a analiticidade da funcao zeta de Rie-
mann e provaremos o seguinte fato: 1 e o unico polo da funcao zeta
de Riemann em Re(s) > 0, ele e simples e tem resduo 1. De fato,
se [x] denota a funcao maior inteiro menor do que x entao na regiao
Re(s) > 0 temos a expansao:
Z
1 ([x] x)
(s) = +1+s dx.
s1 1 x1+s
f (x)
lim = c.
x x
i i
i i
ColoquioMat
i i
2007/6/29
page 18
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 19
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 20
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 21
i i
= {(x1 , x2 , . . . , xn , . . . ) ; xi A}.
1
d(x, y) := se l e o menor inteiro tal que xl 6= yl .
l
O shift e a transformacao T : definida por:
T (x1 , x2 , x3 , . . . ) = (x2 , x3 , x4 , . . . ).
i i
i i
ColoquioMa
i i
2007/6/29
page 22
i i
Tomando X = {T m (z)}
m=0 , temos que X e compacto, T e contnua
em X e o conjunto Z = {T m (z)}m=0 e denso em X. O teorema de
Van der Waerden segue entao do teorema 1.5.3.
i i
i i
ColoquioMa
i i
2007/6/29
page 23
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 24
i i
T = T (lim nk )
= lim(T (nk ))
nk 1
1 X
= lim( (T i+1 ) ())
nk i=0
nk
1 X
= lim( ( (T i ) () + (T nk ) ))
nk i=0
nk
1 X
= lim (T i ) ()
nk i=0
= .
i i
i i
ColoquioMa
i i
2007/6/29
page 25
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 26
i i
P
espaco. Sejam p1 , . . . , pr numeros nao-negativos tais que pi = 1.
Isto da uma probabilidade em A e tomando a medida produto temos
uma probabilidade em X.
A -algebra produto e gerada pelos cilindros com um numero
finito n de coordenadas, isto e conjuntos da forma C = {w Z; wi1 =
j1 , . . . wjn = jn } e a medida de Bernoulli e dada por (C) = pj1 . . . pjn
sendo depois estendida para a -algebra gerada. E simples mostrar
que esta medida e invariante pelo shift (de fato basta mostrar que
(B) = (T 1 (B)) apenas quando B e um cilindro).
Da mesma maneira, como os cilindros geram a -algebra, basta
provar o teorema de Furstenberg para tais conjuntos. Sejam entao
C0 , C1 , . . . , Ck cilindros e observe que se n e muito grande entao as
coordenadas que definem os cilindros T nl (Cl ) sao todas disjuntas.
Portanto, temos:
i i
i i
ColoquioMa
i i
2007/6/29
page 27
i i
suraveis:
N
1 X
lim ((A T n B) (A)(B))2 = 0.
N N
n=1
i i
i i
ColoquioMa
i i
2007/6/29
page 28
i i
i i
i i
ColoquioMat
i i
2007/6/29
page 29
i i
i i
i i
ColoquioMat
i i
2007/6/29
page 30
i i
i i
i i
ColoquioMat
i i
2007/6/29
page 31
i i
Proposicao 1.7.1. Suponha que existe NSZ k, . Entao existem
2
N0 N e (k, ) > 0 tais que, se N N0 para todo A {1, 2, . . . , N }
com |A| N , existem pelo menos (k, ) N 2 progressoes aritmeticas
de comprimento k contidas em A.
i i
i i
ColoquioMa
i i
2007/6/29
page 32
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 33
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 34
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 35
i i
2
J. Bourgain provou que N0 (3, ) 2C log(1/)
;
1
Espera-se que N0 (k, ) 2ck , mas isto e um problema em
aberto (relacionado a conjectura de Erdos-Turan).
Q
Mais ainda, temos que X n 1 = m (X).
m|n
E um exerccio mostrar que se p e primo e r 1 entao:
X p 1
p (X) = X1 = X p1 + X p2 + + X + 1
pr r1 r1 r1
pr (X) = X 1
X pr1 1
= Xp (p1)
+ Xp (p2)
+ + Xp + 1.
i i
i i
ColoquioMat
i i
2007/6/29
page 36
i i
E1 = {p ; p|an 1 ,mas p - am 1, 1 m n 1}
E2 = {p ; p|n (a) e p 1 (mod n)}
E3 = {p ; p - n e p|n (a)}.
i i
i i
ColoquioMa
i i
2007/6/29
page 37
i i
P an
Lema 1.9.1. Sejam f (s) = ns , em Re(s) > a, uma funcao
n0
P P P (n) P P (n1)
meromorfa e P (x) = an tal que ns e ns convergem
R nx 1s
em Re(s) > b e 1 P (x)x dx e analtica em Re(s) > c. Entao:
Z
f (s) = s P (x)x1s dx.
1
R
Assim temos que (s) = s 1 [x]x1s dx em Re(s) > 1 (onde [x]
e a funcao maior inteiro menor que x). Por outro lado:
Z Z
1 s 1
s x.x1s dx = s dx = (xs+1 )|
1 =1+ .
1 1 xs 1s s1
1
R
Em particular (s) = s1 + 1 + s 1 ([x] x)x1s dx, e o resultado
segue pois a integral converge em Re(s) > 0.
A prova do lema segue das seguintes igualdades em Re(s) >
max{a, b}:
X an X P (n) P (n 1) X 1 1
f (s) = = = P (n)( )
ns ns ns (n + 1)s
X Z n+1 Z
1s
= sP (n) x dx = s P (x)x1s .
n 1
A seguir iremos obter uma regiao livre de zeros para a funcao zeta.
Esta regiao e relativamente simples de obter com as representacoes
anteriores:
1 Y Y 1 Y 1
= |1 ps | (1 + s ) (1 + ).
|(s)| p p
|p | p
p
i i
i i
ColoquioMa
i i
2007/6/29
page 38
i i
Xpn
2 p < .
p1
P
De fato, o mesmo argumento prova que se ai 0 e
Q ai < entao
(1 + ai ) < . Portanto (s) 6= 0 em Re(s) > 1.
Na reta Re(s) = 1 iremos usar a seguinte identidade trigonometrica:
3 + 4 cos + cos 2 = 2(1 + cos )2 0. Vamos supor por absurdo
que existe um b tal que (1 + ib) = 0. Considere a funcao (s) =
3 (s) 4 (s + ib)(s + 2ib). Note que s = 1 e um zero de (a ordem do
polo cancela com a ordem do zero), portanto lim log |(s)| = .
s1
Por outro lado, se s > 1 e real, temos que, para alguma sequencia
an , vale
Y
log |(s + it)| = Re(log (s + it)) = Re log( (1 psit )1 ) =
p
X X p(sit)m
= Re( log(1 psit )) = Re( )
X m
=: Re( an nsit ).
Logo:
X X X
log || = 3Re( an ns ) + 4Re( an nsib ) + Re( an ns2ib )
X
= Re( an ns (3 + 4nib + n2ib ))
X
= Re( an ns (3 + 4eib log n + e2ib log n ))
X
= an ns (3 + 4 cos(b log n) + cos(2b log n)) 0.
i i
i i
ColoquioMa
i i
2007/6/29
page 39
i i
d X d X d
(s) = ms = (es log m ) =
ds ds ds
X X log m
= ms ( log m) = ,
ms
X (d) 0 (s)
= .
ds (s)
N
X N
1 n N X s
| + ,
1
ns ns 1 1
ns
N
X 1 1
(1 s) s
1,
1
n N s1
X 1 1
= + O(1).
ns s1
i i
i i
ColoquioMa
i i
2007/6/29
page 40
i i
b
Suponha que 10 Re s 1 , onde t = Im s e b e
log(|t| + 2)
uma constante com 0 < b < 1/2. Temos entao
Z 1
(s) 1 X 1 dx
s
s1 n=1
n 0 (n + x)s
X 1 Z Z 1
1
dx X 1 dx
= +
ns 0 (n + x)s n s
0 (n + x)s
1n|t| n>|t|
X 1 X |s|
2 + ,
nRes nRe s+1
1n|t| n>|t|
i i
i i
ColoquioMa
i i
2007/6/29
page 41
i i
1 1
pois = f (0) f (x) = f 0 (d) x, para algum d (0, x),
ns (n + x)s
onde f (y) = (n + y)s satisfaz f 0 (y) = s(n + y)s1 |f 0 (y)|
|s|
, y (0, 1). Assim,
nRes+1
X
(s) 1 2 1 |s|
+ 1b/ log(|t|+2)
s1 n1b/ log(|t|+2) |t|
1n|t|
X 1 |s| |t|b/ log(|t|+2)
2|t|b/ log(|t|+2) +
n |t|
1n|t|
= O(log(|t| + 2)).
Temos tambem
0 1 X Z 1 log(n + x)dx log n
(s) + s
(s 1)2 0 (n + x)s n
1n|t|
X Z 1 log(n + x)dx 1
+ s
(n + x)s n
n>|t|0
i i
i i
ColoquioMa
i i
2007/6/29
page 42
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 43
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 44
i i
2.
i i
i i
ColoquioMa
i i
2007/6/29
page 45
i i
R
A segunda integral e dominada por 2Be1 W |dz|.
1
R
A terceira integral e dominada por W ex B|dz| < 2.
2
R x
A quarta integral e dominada por W ex e|x| 2|x| 1
R2 |dz| = R =
2.
B
R
Logo |L(0)L (0)| 3+ 2 W1
|dz|e1 , como queramos demon-
strar.
i i
i i
ColoquioMa
i i
2007/6/29
page 46
i i
Por compacidade, existem l > m tal que d(xl , xm ) < /2. Por
desigualdade triangular temos que:
i i
i i
ColoquioMa
i i
2007/6/29
page 47
i i
obtemos que
((2d 1)n ) > dn2 /n.
q
2 log N
Agora, fixado > 0 e dado N grande, escolhemos n = b log 2 c
e d satisfazendo
(2d 1)n N < (2d + 1)n ,
de maneira que
i i
i i
ColoquioMa
i i
2007/6/29
page 48
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 49
i i
Captulo 2
Teorema de
Green-Tao-Szemeredi
2.1 Introducao
O principal objetivo deste captulo e apresentar as ideias da prova do
teorema de Green e Tao.
Grosseiramente falando, a prova deste teorema consiste em dois
passos:
Uma vez que estes dois fatos ja estejam provados, veremos que o
teorema de Green e Tao segue diretamente (veja a secao 2.2).
Porem, antes de entrar (na secao 2.4) nos detalhes do esboco de-
lineado acima , pretendemos motivar os conceitos e taticas da prova
do teorema de Green-Tao-Szemeredi atraves do esquema de prova
do teorema de Roth (o qual corresponde ao caso particular k = 3
49
i i
i i
ColoquioMa
i i
2007/6/29
page 50
i i
i i
i i
ColoquioMat
i i
2007/6/29
page 51
i i
nas quantidades (p. ex., oj, (1)). Alem disso, abreviaremos quanti-
dades da forma O(1)X (resp., o(1)X) como O(X) (resp., o(X)).
Com estas notacoes em maos, podemos iniciar a contextualizacao
do teorema de Green e Tao. Lembre que este teorema diz que para
todo k 3, existem infinitas k-PA (i.e., progressoes aritmeticas de
tamanho k) formadas (apenas) por numeros primos. Alem disso,
sabemos que o teorema de Szemeredi garante a existencia de muitas k-
PA em subconjuntos de inteiros com densidade positiva. Mais ainda,
ja sabemos tambem que o teorema de Szemeredi nao implica o teo-
rema de Green e Tao porque os primos possuem densidade zero. En-
tretanto, a ideia de Green e Tao e :
para os primos.
i i
i i
ColoquioMat
i i
2007/6/29
page 52
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 53
i i
revisar os argumentos do captulo 3, basta tomar w(n) uma constante bem grande
(dependendo apenas de k mas nao de N ).
i i
i i
ColoquioMa
i i
2007/6/29
page 54
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 55
i i
tem-se
3 (f, f, f ) c(3, ) o (1).
se 1 p, q, r e p1 + 1q + 1r 2.
Por outro lado, estamos interessados apenas em cotas inferiores
para 3 e, a priori, as estimativas superiores nao parecem ser uteis
i i
i i
ColoquioMat
i i
2007/6/29
page 56
i i
obtemos que
X
3 (f, g, h) = fb(1 )b
g (2 )b
h(3 )
1 ,2 ,3
g kl4 (ZN ) kb
|3 (f, g, h)| kf kL2 (ZN ) kb hkl4 (ZN ) . (2.3.1)
i i
i i
ColoquioMa
i i
2007/6/29
page 57
i i
e
kgkL1 (ZN ) , kbkL1 (ZN ) = O().
Entao
3 (f, f, f ) = 3 (g, g, g) + O( 5/4 kbbkl4 (ZN ) )
e
3 (f, f, f ) = 3 (g, g, g) + O(kbbkl (ZN ) ).
i i
i i
ColoquioMa
i i
2007/6/29
page 58
i i
i i
i i
ColoquioMat
i i
2007/6/29
page 59
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 60
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 61
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 62
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 63
i i
Da identidade
i i
i i
ColoquioMa
i i
2007/6/29
page 64
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 65
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 66
i i
kf + gkU d kf kU d + kgkU d .
kf kU d1 kf kU d ,
e
c0 = 0.
i i
i i
ColoquioMat
i i
2007/6/29
page 67
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 68
i i
e
Y
Pd := E (kd1 (y (S) ))|y (ZN )k1 , y 0 (ZN )d .
S{kd,...,k1}
|Jd |2 Pd Jd+1 .
onde
Y
G(y, y 0 ) := fkd1 (kd1 (y (S) )) 1/2 (kd1 (y (S) ))
S{kd,...,k1}
Y kd2
Y
H(y, y 0 ) := E( fi (i (y (S) ))
S{kd,...,k1} i=0
k1
Y
1/2 (i (y (S) ))|ykd1 ZN ).
i=kd1
Usando Cauchy-Schwarz,
i i
i i
ColoquioMa
i i
2007/6/29
page 69
i i
k2
Y
k1 k2d
|J0 |2 Jk1 Pd2 .
d=0
X
k1
ci
i (y) := 1 yj
j=1
cj
k1
X yi
r= .
i=1
ci
i i
i i
ColoquioMa
i i
2007/6/29
page 70
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 71
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 72
i i
e formas lineares
k1
i (y + w h), w {0, 1} , wi = 0 para 1 i k 1
0 k1
i (y + w h), w {0, 1} , wi = 0 para 1 i k 1
x + w h, w {0, 1}k1 ;
k 1kU d = o(1),
para todo d k 1.
i i
i i
ColoquioMat
i i
2007/6/29
page 73
i i
2.4.2 Anti-Uniformidade
Como as normas de Gowers para d 2 sao normas genunas podemos
tomar as normas duais:
kgk(U k1 ) := sup |hf, gi|,
kf kU k1 1
i i
i i
ColoquioMa
i i
2007/6/29
page 74
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 75
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 76
i i
Fazendo a mudanca h(j) = h+H (j) para todo h (ZN )k1 , tomando
a media em h, expandindo os produtos em j e intercambiando as
esperancas, podemos reescrever isso em termos do produto interno
de Gowers
i i
i i
ColoquioMa
i i
2007/6/29
page 77
i i
Usando a hipotese |Fj (x)| (x), nossa tarefa fica reduzida a estimar
!
K k1
E E((x + u + h w) e | u ZN ) x ZN , h ZN .
i i
i i
ColoquioMa
i i
2007/6/29
page 78
i i
para todos w, e0 {0, 1}k1 distintos entre si. Mas, sendo a trans-
e w
formacao h 7 h (w
ew e0 ) um recobrimento, o lado esquerdo acima
K
e E( ) = OK (1).
Voltemos agora a prova da proposicao. Lembre que o lema 2.4.4
diz que as funcoes basicas anti-uniformes tomam valores no intervalo
k1 k1
I = [22 , 22 ]. Pelo teorema de aproximacao de Weierstrass,
dado > 0, podemos encontrar um polinomio P aproximando a
funcao contnua de modo que
i i
i i
ColoquioMat
i i
2007/6/29
page 79
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 80
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 81
i i
E(( 1)1A )
= E( 1|A) = oK,, (1) + OK, ( 1/2 )
E(1A )
donde
i i
i i
ColoquioMa
i i
2007/6/29
page 82
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 83
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 84
i i
donde
E(|Bj1 )(x) = 1 + Oj1, ( 1/2 ),
para todo x / j1 . Como 0 f (x) (x), conclumos as estimati-
vas pontuais
i i
i i
ColoquioMa
i i
2007/6/29
page 85
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 86
i i
|h(1 1j )(f E(f |Bj1 )), E(DFj |Bj )i| 1/2 Oj, ( 1/2 ) O().
|h(11j )(E(f |Bj )E(f |Bj1 )), E(DFj |Bj )i| 1/2 Oj, ( 1/2 )O().
i i
i i
ColoquioMa
i i
2007/6/29
page 87
i i
Entretanto, o lado esquerdo acima pode ser expandido pela lei dos
cossenos como
k(1 1j )E(f |Bj1 )k2L2 + k(1 1j )(E(f |Bj ) E(f |Bj1 ))k2L2
+ 2h(1 1j )E(f |Bj1 ), (1 1j )(E(f |Bj ) E(f |Bj1 ))i.
h(1 1j )E(f |Bj1 ), (1 1j )(E(f |Bj ) E(f |Bj1 ))i = Oj, ( 1/2 ).
h(1j 1j1 )E(f |Bj1 ), E(f |Bj ) E(f |Bj1 )i = Oj, ( 1/2 ).
Usando novamente o fato de (1j 1j1 )E(f |Bj1 ) ser uma funcao
Bj -mensuravel (donde segue que ela deve ser ortogonal a f E(f |Bj )),
vemos que a identidade acima equivale a
i i
i i
ColoquioMa
i i
2007/6/29
page 88
i i
Alem disso, temos que fAU 1 + o (1), de modo que podemos usar
i i
i i
ColoquioMa
i i
2007/6/29
page 89
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 90
i i
Captulo 3
Construcao da Medida
Pseudo-Aleatoria
90
i i
i i
ColoquioMa
i i
2007/6/29
page 91
i i
primos, temos
j
k X j
k X k
X X X X
(d) = (prj ) = log pj = j log pj = log n,
d|n j=1 r=1 j=1 r=1 j=1
e
Lema 3.1.1. (n) k 1 2k5 (n) para k N n 2k N .
i i
i i
ColoquioMat
i i
2007/6/29
page 92
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 93
i i
Q
|hi hj |. Entao (para N suficientemente grande dependendo
1i<jm
de m, e supondo que o crescimento de w(N ) e suficientemente lento)
i i
i i
ColoquioMa
i i
2007/6/29
page 94
i i
Bu1 u2 ...ut = {x Zm
N ; xj [Luj N/Q, L(uj + 1)N/Q]), 1 j t}
i i
i i
ColoquioMa
i i
2007/6/29
page 95
i i
i i
i i
ColoquioMat
i i
2007/6/29
page 96
i i
P
pois d5/4 < .
d=1
i i
i i
ColoquioMa
i i
2007/6/29
page 97
i i
(W ) 2R (W n + 1)
g(n) := 1[k N,2k N ] (n).
W log R
E((x + h1 ) . . . (x + hm ) | x ZN )
i i
i i
ColoquioMa
i i
2007/6/29
page 98
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 99
i i
X Y
m
R R
(di )(d0i ) log log 0
di di
d1 ,...,dm ,d01 ,...,d0m R i=1
Y
m
E 1di ,d0i |i (x) | x ZtD
i=1
m
W log R
= (1 + o(1)) . (3.2)
(W )
i i
i i
ColoquioMa
i i
2007/6/29
page 100
i i
Lema 3.2.1. Dado > 0, seja (t) a reta vertical parametrizada por
(t) Z= + it, < t < +. Temos entao, para cada x > 0 real,
1 xz
dz = log+ (x).
2i z 2
i i
i i
ColoquioMa
i i
2007/6/29
page 101
i i
(M )
Demonstracao.
Dado
M > , seja a restricao de ao inter-
2 2 2 2
valo M , M . Se 0 < x < 1 considere o caminho
e (M ) formado por M seguido do caminho
fechado
i i
i i
ColoquioMat
i i
2007/6/29
page 102
i i
0
onde ha 2m integrais de linha nas variaveis z1 , . . . , zm , z10 , . . . , zm em
0 0 0
1 , z := (z1 , . . . , zm ), z := (z1 , . . . , zm ) e
X Y
m
(dj )(d0j )
F (z, z 0 ) := 0z 0
z
d1 ,...,dm ,d01 ,...,dm0 Z+ j=1 dj j dj j
Y (3.3)
Xd1 ,...,dm (p)Xd0 ,...,d0 (p) (p).
1 m
p primo
X 0
(1)|X|+|X | XX 0 (p)
0
Ep (z, z ) := P
zj +
P
zj0
jX 0
X,X 0 {1,...,m} pjX
i i
i i
i i ColoquioMate
2007/6/29
page 103
i i
|XX 0 |2
Ep(1) (z, z 0 ) :=
Ep (z, z 0 )
Q
m 0 0 1
1 1p>w(N ) p1zj 1 1p>w(N ) p1zj 1 1p>w(N ) p1zj zj
j=1
i i
i i
ColoquioMat
i i
2007/6/29
page 104
i i
Y
m
1 0 1
Ep(2) (z, z 0 ) := 1 1pw(N ) p1zj 1 1pw(N ) p1zj
j=1
0
1 1pw(N ) p1zj zj
Y
m
0 0 1
Ep(3) (z, z 0 ) := 1 p1zj 1 p1zj 1 p1zj zj .
j=1
Q (j)
Definindo Gj := Ep para j = 1, 2, 3 temos F = G1 G2 G3
p primo
(pelo menos para Re(zj ), Re(zj0 ) suficientemente grandes). Em ter-
Q 1
mos da funcao de Riemann, (s) = 1 1/ps , temos
p primo
Q
m (1 + zj + zj0 )
G3 (z, z 0 ) = 0 , e em particular G3 e holomorfa
j=1 (1 + zj )(1 + zj )
em (Re z > 0)2m , e se estende de forma meromofa a uma vizinhanca
do fecho deste domnio (na verdade a todo o C2m ).
Para os outros fatores, faremos estimativas que permitem con-
tinua-los analiticamente um pouco a esquerda dos eixos imaginarios.
i i
i i
ColoquioMat
i i
2007/6/29
page 105
i i
Q (j)
Lema 3.2.3. Os produtos de Euler Ep para j = 1, 2 sao ab-
p primo
m
solutamente convergentes no domnio D1/30m .
Em particular, G1 ,
G2 podem ser continuadas analiticamente a esse domnio. Alem
disso, temos as estimativas
i i
i i
ColoquioMa
i i
2007/6/29
page 106
i i
0. Suponha que
||G||C m (Dm ) = exp Om, ((log R)1/15 ) .
Entao
Z Z m
Y 0
1 (1 + zj + zj0 ) Rzj +zj
... G(z, z 0 ) 0
0 ) z 2 z 02 dzj dzj
(2i)2m 1 1 j=1
(1 + zj )(1 + zj j j
m
X
= G(0, . . . , 0)(log R)m + Om, ||G||C j (Dm ) (log R)mj
j=1
1/10
+ Om, e(log R) ,
||G||C j (D1/30m
m ) Oj,m,w(N ) (1), para todo j m.
Em particular, obtemos ||G||C m (Dm ) = exp Om, (log R)1/15 ) desde
que o crescimento de w(N ) seja suficientemente lento. O Lema 3.2.3
tambem nos da G(0, 0) = (1 + om (1))(W/(W ))m . Conclumos
que, se o crescimento de w(N ) e suficientemente lento, nossa ex-
pressao
integral para om
lado esquerdo de (3.2) e, pelo Lema 3.2.4, (1+
om (1) W log R/(W ) , o que conclui a prova da Proposicao 3.1.1.
i i
i i
i i ColoquioMateu
2007/6/29
page 107
i i
m
X 0 0
Ep (z, z 0 ) = 1 1p>w(N ) p1zj + p1zj p1zj zj
j=1
X O(1/p)
p (z, z 0 ) = P
zj +
P
zj0
X,X 0 {1,...,m} jX 0
p
jX
|XX 0 |2
i i
i i
ColoquioMa
i i
2007/6/29
page 108
i i
Q (j)
Seja Gj = Ep . Entao, como antes, F = G0 G1 G2 G3 , e G3
p primo
Qm + zj + zj0 )
(1
e dado por 0 , como antes. Para G0 , G1 e G2 ,
j=1 (1 + zj )(1 + zj )
temos o seguinte analogo ao Lema 3.2.3:
Q (`)
Lema 3.3.2. Seja 0 < 1/30m. Os produtos de Euler Ep
p primo
para ` = 0, 1, 2 sao absolutamente convergentes no Em domnio Dm .
particular, G0 , G1 e G2 podem ser continuados analiticamente a esse
domnio. Alem disso, temos as estimativas seguintes:
log R r Y
||G0 ||C r (Dm ) Om (1) 1 + Om (p2m1 )
log log R
p|
p primo
||G0 ||C m (Dm ) exp Om ((log R)1/15 )
||G1 ||C m (Dm ) Om (1)
||G2 ||C m (Dm ) Om,w(N ) (1)
Y
G0 (0, 0) = 1 + Om (p1/2 )
p|
p primo
G1 (0, 0) = 1 + Om (1)
G2 (0, 0) = (W/(W ))m .
i i
i i
ColoquioMa
i i
2007/6/29
page 109
i i
Tomando logaritmos
P 14/15e usando a hipotese 1/30m, e suficiente
provar que p O((log )1/15 ), pois ROm (1) . Para
p|
isso, como tem no maximo O(log / log log ) fatores primos (ver
apendice), temos
X X
p14/15 n14/15 = O((log )1/15 ),
p| 1nO(log / log log )
como queramos.
A estimativa para G0 (0, 0) segue da estimativa grosseira
(0)
Ep (z, z 0 ) = 1 + Om (p1/2 ).
i i
i i
ColoquioMa
i i
2007/6/29
page 110
i i
W m Y
Om (1) (log R)m 1 + Om (p1/2 ))+
(W )
p|
(log R)m Y 1/10
+ Om,w(N ) 1 + Om (p1/2 ) + Om e(log R) ,
log log R
p|
Z := z C | 10 Re z 1 ,
(log(|Im z| + 2))9
i i
i i
ColoquioMa
i i
2007/6/29
page 111
i i
1 1
(s) = O(|Im s| + 2); = O((|Im s| + 2)7 ).
s1 (s)
1
Temos ainda que, se Re s 3/4, entao (s) s1 = O((|Im s| +
1/4
2) ).
Podemos escolher pequeno de modo que Z esta contido na regiao
onde max{1 , 7/8} < Re s < 101. As constantes envolvidas na
notacao O( ) podem depender de e , sem necessidade de mencao
explcita.
Alem do caminho 1 dado por 1 (t) = 1/ log R+it, < t < ,
definiremos dois outros caminhos:
0 (t) := + it, < t <
(log(|t| + 2))9
e 2 (t) := 1 + it, < t < .
i i
i i
ColoquioMat
i i
2007/6/29
page 112
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 113
i i
i i
i i
ColoquioMa
i i
2007/6/29
page 114
i i
com = /2.
O valor de I2 e a soma dessas duas quantidades com a integral
sobre o novo caminho de integracao 0 , que e
Z Z 0
0 (1 + z + z 0 )Rz+z
f (z, z ) dzdz 0 .
0 0 (1 + z)(1 + z 0 )z 2 z 02
Nesse integrando temos |f | = exp(Om ((log R)1/15 )). Por outro lado,
temos
1 1
= O((log(|Im z|+2))7 ), = O((log(|Im z 0 |+2))7 )
(1 + z) 0
(1 + z )
i i
i i
ColoquioMa
i i
2007/6/29
page 115
i i
satisfaz a estimativa
m
X
I(G, m) = G(0, . . . , 0)(log R)m + O(||G||C j (Dm ) (log R)mj )
i=1
(log R)1/10
+ O(e ).
e
Z
1 dz1
G(z1 , z1 )
2i 0 4
(1 + z1 )(1 z1 )z1
= O(||G||C 0 (D1 ) ) = O(||G||C 1 (D1 ) ),
i i
i i
ColoquioMa
i i
2007/6/29
page 116
i i
Z
dz1
= O(1).
0 (1 + z1 )(1 z1 )z14
I(G, m + 1) =
Z Z
log R
= . . . 0
G(z1 , . . . , zm , 0, z10 , . . . , zm , 0)
(2i)2m 1 1
Ym 0
(1 + zj + zj0 ) Rzj +zj 0
0 ) z 2 z 02 dzj dzj +
j=1
(1 + z j )(1 + z j j j
Z Z
1
+ ... (H(z1 , . . . , zm , z10 , . . . , zm0
)
(2i)2m 1 1
Ym 0
(1 + zj + zj0 ) Rzj +zj
+ r(z1 , . . . , zm , z10 , . . . , zm0
)) 0
0 ) z 2 z 02 dzj dzj =
j=1
(1 + z j )(1 + z j j j
0
= I(G(z1 , . . . , zm , 0, z10 , . . . , zm , 0), m) log R + I(H, m),
G
H(z1 , . . . , zm , z10 , . . . , zm
0
) := 0 (z1 , . . . , zm , 0, z10 , . . . , zm
0
, 0) +
zm+1
Z
1
+ G(z1 , . . . , zm , zm+1 , z10 , . . . , zm
0
, . . . , zm+1 )
2i 0
dzm+1
4
(1 + zm+1 )(1 zm+1 )zm+1
i i
i i
ColoquioMa
i i
2007/6/29
page 117
i i
r(z1 , . . . , zm , z10 , . . . , zm
0
)
Z Z
1
:= G(z1 , . . . , zm+1 , z10 , . . . , zm+1
0
)
(2i)2 1 1
0
0
(1 + zm+1 + zm+1 ) Rzm+1 +zm+1 0
0 2 02 dzm+1 dzm+1
(1 + zm+1 )(1 + zm+1 ) zm+1 zm+1
H(z1 , . . . , zm , z10 , . . . , zm
0
).
i i
i i
ColoquioMa
i i
2007/6/29
page 118
i i
m+1
X
= G(0, . . . , 0)(log R)m+1 + Om (||G||C j (Dm+1 ) (log R)m+1j )
j=1
(log R)1/10
+ O(e ),
i i
i i
ColoquioMa
i i
2007/6/29
page 119
i i
(
P 0, se n > 1
Lema 3.5.1. (d) =
d|n 1, se n = 1
P
Demonstracao. Temos (d) = (1) = 1. Suponha agora que
d|1
n > 1. Seja p um fator primo de n. Temos X = {d 1; q 2 |m q = 1
e d|n} = Y Z, onde Y = {d X; p - d} e Z = {d X; p|d} =
{p d, d Y }. Se d|n e (d) 6= 0 entao d X. Por outro lado, se
d Y , (p d) = (d), pois as paridades dos numeros de fatores
primos de d e de p d sao distintas. Portanto,
X X X X
(d) = (d) = (d) + (d)
d|n dX dY dZ
X X
= ((d) + (p d)) = 0 = 0.
dY dY
i i
i i
ColoquioMa
i i
2007/6/29
page 120
i i
mas
X n X X X n
f (d0 ) = f (d0 )
d d
d|n d0 |d d0 |n d0 |d|n
X X
= f (d0 ) (d) = f (n),
d0 |n n0
d| d
(
P 0 0
pois = 0, se n/d > 1, i.e., se d < n
(d) 0 0
n0
d| 1, se n/d = 1, i.e., se d = n.
d
k
Demonstracao. Seja n = p 1 2
1 p2 . . . pk , p 1 < p2 < < pk
primos a fatoracao prima de n. Temos entao
k
Y Y
d(n) = (1 + j ) = (1 + j )
j=1 pj (log n)1
Y
(1 + j ), onde = /2(1 + ).
pj >(log n)1
i i
i i
ColoquioMa
i i
2007/6/29
page 121
i i
Y (log n)1
log n 1
(1 + j ) 1 + = 2O(log log n(log n) ) .
1
log 2
pj (log n)
Temos entao
k
Y
d(n) = (1 + j ) 2log n/(1) log log n+O(log n/ log log n)
j=1
1 1
se n e suficientemente grande, pois < = 1 + .
1 1 2
i i
i i
ColoquioMa
i i
2007/6/29
page 122
i i
log Nk / log log Nk < k(log k + log log k)/ log(k(log k + log log k))
< k = log d(Nk )/ log 2,
i i
i i
ColoquioMa
i i
2007/6/29
page 123
i i
Referencias
Bibliograficas
123
i i
i i
ColoquioMa
i i
2007/6/29
page 124
i i
i i
i i