Professional Documents
Culture Documents
Publicaes Matemticas
impa
Copyright 2007 by Alexander Arbieto, Carlos Matheus e Carlos Gustavo Moreira Direitos reservados, 2007 pela Associao Instituto Nacional de Matemtica Pura e Aplicada - IMPA Estrada Dona Castorina, 110 22460-320 Rio de Janeiro, RJ Impresso no Brasil / Printed in Brazil Capa: Noni Geiger / Srgio R. Vaz 26o Colquio Brasileiro de Matemtica
Aspectos Ergdicos da Teoria dos Nmeros - Alexander Arbieto, Carlos Matheus e Carlos Gustavo Moreira Componentes Irredutveis dos Espaos de Folheaes - Alcides Lins Neto Elliptic Regularity and Free Boundary Problems: an Introduction Eduardo V. Teixeira Hiperbolicidade, Estabilidade e Caos em Dimenso Um - Flavio Abdenur e Luiz Felipe Nobili Frana Introduction to Generalized Complex Geometry - Gil R. Cavalcanti Introduction to Tropical Geometry - Grigory Mikhalkin Introduo aos Algoritmos Randomizados - Celina de Figueiredo, Guilherme da Fonseca, Manoel Lemos e Vinicius de S Mathematical Aspects of Quantum Field Theory - Edson de Faria and Welington de Melo Mtodos Estatsticos No-Paramtricos e suas Aplicaes - Aluisio Pinheiro e Hildete P. Pinheiro Moduli Spaces of Curves - Enrico Arbarello Noes de Informao Quntica - Marcelo O. Terra Cunha Three Dimensional Flows - Vtor Arajo e Maria Jos Pacifico Tpicos de Corpos Finitos com Aplicaes em Criptografia e Teoria de Cdigos - Ariane Masuda e Daniel Panario Tpicos Introdutrios Anlise Complexa Aplicada - Andr Nachbin e Ailn Ruiz de Zrate Uma Introduo Mecnica Celeste - Srgio B. Volchan Uma Introduo Teoria Econmica dos Jogos - Humberto Bortolossi, Gilmar Garbugio e Brgida Sartini Uma Introduo aos Sistemas Dinmicos via Fraes Contnuas - Lorenzo J. Daz e Danielle de Rezende Jorge
ISBN: 978-85-244-0250-0
Distribuio: IMPA Estrada Dona Castorina, 110 22460-320 Rio de Janeiro, RJ E-mail: ddic@impa.br http://www.impa.br
Dedicamos este livro ao Ramiro Mendoza S anchez, ` a Aline Gomes Cerqueira, ao Carlos de Araujo Moreira Neto e ` a Raquel Tavares Scarpelli.
Pref acio
Problemas que envolvem simultaneamente as estruturas aditiva e multiplicativa dos n umeros inteiros, em particular problemas aditivos sobre n umeros primos, costumam ser extremamente dif ceis, apesar de muitas vezes terem enunciados bastante simples. N ao se sabe por exemplo se h a innitos pares de primos g emeos, i.e., pares de primos cuja diferen ca e 2. Tamb em continua em aberto a famosa conjectura de Goldbach: todo inteiro par maior ou igual a 4 e soma de dois primos. Outra conjectura cl assica sobre primos que estava em aberto h a muito tempo e a de que existem progress oes aritm eticas arbitrariamente longas formadas exclusivamente por primos. A maior dessas progress oes conhecida atualmente e 468395662504823+ k 45872132836530, 0 k 23, formada por 24 primos, descoberta em 18 de janeiro de 2007 por Jaroslaw Wroblewski. Esta conjectura foi nalmente demonstrada por Ben Green e Terence Tao em 2004. Tao ganhou uma medalha Fields em 2006, principalmente por causa deste trabalho. O objetivo principal deste texto e expor o trabalho de Green e Tao da forma mais auto-contida poss vel. Sua demonstra c ao utiliza o famoso Teorema de Szemer edi, segundo o qual qualquer conjunto de inteiros positivos com densidade (superior) positiva cont em progress oes aritm eticas arbitrariamente longas. O trabalho de Green e Tao usa ainda id eias de teoria erg odica, introduzidas por Furstenberg para dar uma prova alternativa do Teorema de Szemer edi, al em de t ecnicas introduzidas por Gowers para dar ainda outra demonstra c ao deste Teorema de Szemer edi. No cap tulo 1 apresentaremos diversos resultados sobre n umeros primos, incluindo a demonstra c ao do Teorema dos N umeros Primos, sobre sua distribui c ao assint otica, durante a qual faremos estimativas sobre a fun c ao de Riemann que ser ao usadas na prova do Teorema de Green e Tao. Discutiremos tamb em resultados ligados ao Teorema de Szemer edi e a prova erg odica de Furstenberg.
4 No cap tulo 2 apresentaremos a demonstra c ao do Teorema de Green e Tao que generaliza o Teorema de Szemer edi via a introdu c ao das medidas pseudo aleat orias. Neste cap tulo aparecem as t ecnicas erg odicas e as t ecnicas de Gowers que mencionamos. No cap tulo 3 provamos que existem medidas pseudo-aleat orias em rela c ao ` as quais os primos t em medida positiva, o que, pelos resultados do cap tulo 2, permite concluir a exist encia de progress oes aritm eticas arbitrariamente longas formadas por primos. Apesar de sosticada, a prova do Teorema de Green-Tao n ao requer muitos pr e-requisitos que n ao estejam contidos neste texto (em particular n ao usaremos diretamente resultados de teoria erg odica nem de teoria anal tica dos n umeros que n ao estejam demonstrados nestas notas; por outro lado, alguma experi encia pr evia com esses assuntos pode ajudar a compreender muitas das id eias da prova).
Sum ario
1 Propriedades aditivas dos n umeros primos 1.1 Introdu c ao . . . . . . . . . . . . . . . . . . . . . . . . . 1.2 Problemas cl assicos sobre propriedades aditivas . . . . 1.2.1 A conjectura dos primos g emeos . . . . . . . . 1.2.2 A conjectura de Goldbach . . . . . . . . . . . . 1.2.3 Primeiros Resultados sobre Progress oes Aritm eticas e N umeros Primos . . . . . . . . . 1.3 Progress oes Aritm eticas em certos subconjuntos de Z . 1.3.1 O teorema de Van der Waerden . . . . . . . . . 1.3.2 Conjuntos com Densidade Positiva e o Teorema de Szemer edi . . . . . . . . . . . . . . . . . . . 1.3.3 O teorema dos N umeros Primos e Progress oes Aritm eticas formadas por Primos . . . . . . . . 1.3.4 A conjectura de Erd os-Tur an . . . . . . . . . . 1.4 Prova do Teorema dos N umeros Primos . . . . . . . . 1.4.1 A fun c ao de Von Mangoldt . . . . . . . . . . . 1.4.2 A fun c ao zeta de Riemann . . . . . . . . . . . . 1.4.3 Prova Anal tica . . . . . . . . . . . . . . . . . . 1.5 O Teorema de Van der Waerden . . . . . . . . . . . . 1.5.1 Prova Combinat oria . . . . . . . . . . . . . . . 1.5.2 Prova via Sistemas Din amicos . . . . . . . . . . 1.6 O Teorema de Furstenberg e suas aplica c oes . . . . . . 1.6.1 Breve Introdu c ao ` a Teoria Erg odica . . . . . . 1.6.2 O teorema de Furstenberg . . . . . . . . . . . . 1.6.3 Prova do teorema de Szemer edi . . . . . . . . . 1.7 O Teorema de Szemer edi quantitativo . . . . . . . . . 5 7 7 8 8 9 9 10 11 11 12 13 13 14 15 17 18 19 21 22 22 25 27 28
6 1.8
SUMARIO
1.9
Outros resultados . . . . . . . . . . . . . . . . . . . . . 1.8.1 A fun c ao de Von Mangoldt e Reformula c oes de algumas conjecturas . . . . . . . . . . . . . . . 1.8.2 Constela c oes de Primos e Progress oes Polinomiais 1.8.3 Buracos no conjunto dos n umeros primos . . . 1.8.4 O tamanho do n umero N0 (k, ) . . . . . . . . . Ap endice ao Cap tulo 1 . . . . . . . . . . . . . . . . . 1.9.1 Prova do Teorema de Dirichlet no caso a = 1 e b qualquer . . . . . . . . . . . . . . . . . . . . . 1.9.2 Prova da proposi c ao 1.4.2 . . . . . . . . . . . . 1.9.3 Prova do teorema 1.4.2 . . . . . . . . . . . . . 1.9.4 Prova do teorema 1.5.3 . . . . . . . . . . . . . 1.9.5 O exemplo de F. Behrend . . . . . . . . . . . .
32 32 33 34 34 35 35 36 42 45 46
2 Teorema de Green-Tao-Szemer edi 49 2.1 Introdu c ao . . . . . . . . . . . . . . . . . . . . . . . . . 49 2.2 Estrat egia da prova do teorema de Green e Tao . . . . 50 2.2.1 Prova do teorema de Green e Tao . . . . . . . 54 2.2.2 Alguns coment arios . . . . . . . . . . . . . . . 55 2.3 Prova do teorema de Roth . . . . . . . . . . . . . . . . 55 2.4 Demonstra c ao do teorema de Green-Tao-Szemer edi . . 64 2.4.1 Normas de Gowers . . . . . . . . . . . . . . . . 65 2.4.2 Anti-Uniformidade . . . . . . . . . . . . . . . . 73 2.4.3 Sigma-Algebras geradas por fun c oes anti-uniformes b asicas . . . . . . . . . . . . . . . . . . 79 2.4.4 O argumento de incremento na energia . . . . . 82 2.4.5 Fim da prova do teorema de Green-Tao-Szemer edi . . . . . . . . . . . . . . . 88 3 Constru c ao da Medida Pseudo-Aleat oria 3.1 A Medida Pseudo-Aleat oria . . . . . . . . 3.2 Condi c ao de formas lineares para R . . . 3.3 Correla c oes de ordem superior de R . . . 3.4 Prova do Lema 3.2.4 . . . . . . . . . . . . 3.5 Ap endice ao Cap tulo 3 . . . . . . . . . . Refer encias Bibliogr acas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90 . 90 . 98 . 106 . 110 . 119 123
Cap tulo 1
Um dos conceitos num ericos mais antigos e a no c ao de n umero primo. Por deni c ao um n umero p e primo se ele e divis vel somente por 1 e por ele mesmo. Os n umeros primos aparecem em diversos resultados elementares da teoria dos n umeros, como o teorema de decomposi c ao u nica em fatores primos ou como os n umeros tais que Z/pZ e um corpo. Obviamente como a deni c ao de n umero primo e de car ater multiplicativo, podemos extrair diversas propriedades multiplicativas elementares. Por exemplo, o produto de dois primos n ao e primo. Ou mesmo, n ao existem progress oes geom etricas de comprimento maior ou igual ` a 3 formadas somente por primos. Por outro lado, ao levantarmos perguntas de car ater aditivo podemos nos deparar com algumas surpresas. Por exemplo, a soma de dois n umeros primos e primo? A resposta e: depende. Por exemplo 2+3=5 e primo, 2+5=7 e primo, mas 3+5=8 n ao 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 . V e-se ent ao que a seguinte pergunta merece pelo menos um pouco de reex ao: 7
Existem progress oes aritm eticas de comprimento maior ou igual ` a3 formadas somente por primos? E quantas existem uma vez que o comprimento for xado? Veremos nestas notas como tal pergunta foi respondida por Ben Green e Terence Tao. Mas, antes disso, iremos passear pelo mundo dos n umeros primos, vendo solu c oes parciais a esta pergunta e analisando outras quest oes de car ater aditivo envolvendo os n umeros primos.
1.2
1.2.1
Observando o exemplo da introdu c ao, sabemos que nem sempre a soma de um n umero primo com 2 e primo; mas, ser a que existem innitos primos com essa propriedade? Dizemos que p e p+2 s ao primos g emeos se ambos s ao primos. Exemplos de primos g emeos s ao: (3 e 5), (5 e 7), (11 e 13), (17 e 19), (29 e 31), (41 e 43). Um dos problemas em aberto mais famosos da teoria dos n umeros e a conjectura dos primos g emeos : Existem innitos primos g emeos? Um resultado importante devido a Brun [2] mostra que mesmo que existam innitos primos g emeos, eles se tornam muito escassos quando olhamos para n umeros muito grandes, o que torna a conjectura mais dif cil. De fato o teorema de Brun diz que a s erie dos inversos dos primos g emeos mpares converge (para um n umero 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 g emeos em uma linguagem mais anal tica.
1.2.2
A conjectura de Goldbach
Em uma carta a Euler, em 1742, Goldbach perguntava se todo n umero maior que 2 e soma de 3 primos. Goldbach assumia que 1 era primo, o que n ao e mais usado. Portanto uma conjectura equivalente e a famosa conjectura de Goldbach e: Todo inteiro par n 4 pode ser escrito como soma de dois primos? Mesmo sendo f acil de enunciar, a conjectura de Goldbach ainda e um dos maiores desaos da teoria dos n umeros. Diversos resultados parciais foram obtidos, mas nenhuma das provas parece se estender a uma demonstra c ao da conjectura de Goldbach. Por exemplo, Schnirelman [8] mostrou que todo n umero primo pode ser escrito como uma soma de primos, por em o n umero de parcelas e maior que 300000, um pouco longe de 2, n ao? Outra conjectura relacionada e chamada de conjectura fraca de Goldbach: Todo n umero mpar n 9 pode ser escrito como soma de 3 primos? Com respeito a este problema, temos o famoso teorema de Vinogradov [15], onde ele resolve a conjectura fraca de Goldbach para 15 n umeros mpares sucientemente grandes (maiores que 33 ). Outro resultado interessante e o teorema de Chen [3], onde ele mostra que um n umero par sucientemente grande e soma de um primo com um quase-primo (um n umero com no m aximo 2 fatores primos). Uma vers ao mais forte da conjectura fraca de Goldbach e conhecida como a conjectura de Levy: Todo n umero mpar n 7 pode ser escrito como soma de um primo mais o dobro de outro primo? Mais adiante, reformularemos estas conjecturas de maneira anal tica.
1.2.3
Um dos resultados mais cl assicos neste assunto e o teorema de Dirichlet que diz:
10
Se a e b s ao primos entre si ent ao a progress ao aritm etica a + nb cont em innitos primos. A prova deste resultado utiliza o conceito de L-s eries (uma deni c ao mais avan cada) devido a Dirichlet. No ap endice ser a dado um esbo co da prova em um caso particular. O teorema de Dirichlet n ao diz que a progress ao aritm etica e formada inteiramente de primos. Uma pergunta natural e se existe uma progress ao aritm etica de tamanho innito formada somente de primos. A resposta e negativa segundo o teorema de Lagrange-Waring: Considere uma progress ao aritm etica formada somente de primos de comprimento k e de raz ao d. Ent ao necessariamente d e divis vel por todos os primos menores que k . Em particular n ao existem progress oes aritm eticas de comprimento innito formadas somente de primos.
1.3
A quest ao da exist encia de progress oes aritm eticas de tamanho nito formadas de primos pode ser estendida da seguinte maneira: Seja A Z. Existem progress oes aritm eticas de comprimento arbitrariamente grande formadas somente por n umeros que pertencem a A? De certa forma, veremos que o conjunto P de n umeros primos e muito magro. Podemos ent ao tentar atacar o problema primeiramente para conjuntos A gordos, onde as chances de se encontrar progress oes aritm eticas sao maiores, e tentar adaptar os m etodos de prova para o caso de conjuntos magros. Obviamente um problema central e a deni c ao do que e um conjunto magro e o que e um conjunto gordo. Nesta se c ao veremos certos resultados nesta dire c ao. Observe que n ao aplicaremos a ordem cronol ogica na exposi c ao dos resultados.
11
1.3.1
Suponha que voc e possui uma quantidade nita, digamos k , de cores e use-as para pintar os n umeros inteiros. Ent ao, voc e obt em k subconjuntos disjuntos que formam uma parti c ao dos inteiros. O teorema de Van der Waerden diz que: Pelo menos um destes subconjuntos e t ao gordo que possui progress oes aritm eticas de comprimento arbitrariamente grande. Em particular, se tomamos duas cores e pintamos os primos de uma cor e os n ao-primos de outra, obtemos: O conjunto de n umeros primos ou o conjunto de n umeros n ao-primos possuem progress oes aritm eticas de comprimento arbitr ario. Mais adiante veremos provas do teorema de Van der Waerden.
1.3.2
Obviamente, o conjunto dos n umeros pares possuem progress oes aritm eticas de comprimento arbitr ario (com raz ao 2, por exemplo). Observe que num intervalo [1, N ] := {n Z; 1 n N } essencialmente os pares ocupam 1/2 deste conjunto. Da mesma maneira, os n umeros mpares tamb em tem essa propriedade e possuem progress oes aritm eticas de comprimento arbitr ario. Mais geralmente, escolhido um n umero k qualquer se voc e olha para o conjunto de m ultiplos de k , este conjunto essencialmente ocupa 1/k de [1, N ] e possui progress oes aritm eticas de comprimento arbitr ario. Com base nisto, podemos tentar dizer que um conjunto e gordo se ele ocupa uma fra c ao positiva do intervalo [1, N ]. Por outro lado, como queremos progress oes de comprimento grande, iremos pedir que essa fra c ao seja vista assintoticamente. Deni c ao 1.3.1. Seja A N a densidade de A e: d(A) = lim sup
N
|[1, N ] A| . N
12
Obviamente a deni c ao se estende naturalmente para subconjuntos dos inteiros. O primeiro teorema que lida com conjuntos gordos ou melhor com densidade positiva e o teorema de Roth [7] de 1956: Se A Z tem densidade positiva ent ao A possui innitas progress oes aritm eticas de comprimento 3. O problema da exist encia de progress oes aritm eticas de comprimento arbitr ario somente foi resolvido gra cas aos trabalhos de Szemer edi [9] em 1975: Teorema 1.3.1 (Szemer edi). Se A Z tem densidade positiva ent ao A possui innitas progress oes aritm eticas de comprimento arbitrariamente grande. Adapta c oes da prova do teorema de Szemer edi ser ao objeto de estudo nos cap tulos posteriores, pois veremos a seguir que n ao se pode aplicar o teorema nesta forma ao conjunto dos n umeros primos. Nas se c oes seguintes, daremos provas do teorema de Szemer edi.
1.3.3
O teorema dos N umeros Primos e Progress oes Aritm eticas formadas por Primos
O motivo pelo qual n ao podemos aplicar o teorema de Szemer edi ao conjunto de n umeros primos se deve ao famoso teorema dos n umeros primos: Teorema 1.3.2 (O Teorema dos N umeros Primos). Vale a seguinte estimativa assint otica: |P [1, N ]| 1 = + o(1). N log N Aqui P e o conjunto de n umeros primos e o(1) e uma quantidade que vai a zero quando N . Em particular d(P ) = 0. Mesmo que os primos tenham densidade zero, a exist encia de innitas progress oes aritm eticas de comprimento 3 formada de primos foi obtida em 1939 por Van der Corput (antes do teorema de Roth): Existem innitas progress oes artim eticas de comprimento 3 formadas somente de primos.
13
Finalmente, em 2004, Ben Green e Terence Tao [5] obtiveram o resultado geral. Tal teorema e objeto central de estudo deste livro: Teorema 1.3.3 (Green-Tao). Existem innitas progress oes aritm eticas de comprimento arbitr ario formadas somente de primos.
1.3.4
1 Sabe-se que a s erie em, em 1737, Euler mostrou n2 converge, por que a s erie dos inversos dos primos diverge:
p primo
1 = +. p
Isto mostra que os n umeros primos n ao s ao t ao esparsos quanto os quadrados de n umeros naturais. A conjectura de Erd os-Tur an diz que conjuntos com tal propriedade devem conter progress oes aritm eticas de comprimento arbitr ario. O teorema de Green-Tao e portanto um caso particular desta conjectura: Conjectura 1 (Erd os-Tur an). Seja A N tal que: 1 = +. n
nA
Ent ao existem innitas progress oes aritm eticas de comprimento arbitr ario formada somente por elementos de A. Esta conjectura est a completamente em aberto: n ao se sabe nem se tais conjuntos devem conter progress oes aritm eticas de comprimento 3.
1.4
Nesta se c ao daremos um esbo co da prova do teorema dos n umeros primos. Veremos suas rela c oes com a fun c ao de Von Mangoldt e com a fun c ao zeta de Riemann.
14
1.4.1
Em primeiro lugar, reformularemos o teorema numa linguagem integral e veremos suas rela c oes com a fun c ao de Von Mangoldt. Deni c ao 1.4.1. A fun c ao de Von Mangoldt : Z R+ e dada r por (n) = log p se n = p , onde r 1 e (n) = 0 caso contr ario. Observe que o teorema da decomposi c ao u nica em fatores primos pode ser expresso por: log n =
d|n
(d).
(1.4.1)
Deni c ao 1.4.2. Dada f : X R e A X um conjunto nito, denimos a esperan ca de f com respeito ` a A como: E(f (n)|n A) = E(f |A) = 1 |A| f (n).
nA
Nesta linguagem o teorema dos n umeros primos pode ser visto como uma estimativa para a esperan ca da fun c ao de von Mangoldt: Teorema 1.4.1. O Teorema dos N umeros Primos e equivalente ` a: E(|[1, N ]) = 1 + o(1). Demonstra c ao. Pela deni c ao da fun c ao de von Mangoldt temos que: N E(|[1, N ]) =
pN
1
pN
= log N (|primos entre 1 e N |). Isto d a uma das desigualdades desejadas (dividindo por N ). Por outro lado, se 1 < M < N ent ao: |primos entre 1 e N | = |primos entre 1 e M | +
M <pN
1 log p log M
|primos entre 1 e M | +
M <pN
< M+
15 < N.
Agora se N e muito grande ent ao temos que 1 < M = Substituindo na inequa c ao acima obtemos que: |primos entre 1 e N | < Portanto:
1 1 |primos entre 1 e n| < E(|[1, N ])( )+ . N log N 2 log log N log2 N Isto conclui a demonstra c ao porque x .
log x log x2 log log x
1 quando
1.4.2
Uma das fun c oes mais famosas na Matem atica e a fun c ao zeta de Riemann. Ela desempenha um papel fundamental na teoria dos n umeros e tamb em aparece em diversas outras areas (p.ex., an alise complexa, sistemas din amicos, etc.). Em particular, ela tem estreita rela c ao com a distribui c ao dos n umeros primos devido ` a f ormula de Euler. Nesta se c ao iremos estudar algumas propriedades desta fun c ao. Deni c ao 1.4.3. A fun c ao zeta de Riemann e dada pela u nica extens ao meromorfa da seguinte fun c ao anal tica no dom nio {Re(s) > 1}: 1 (s) = . ns
n1
Proposi c ao 1.4.1 (F ormula de Euler). Se s > 1 e real, ent ao a seguinte identidade de Euler e verdadeira: (s) =
p
1 . 1 ps
Para provar esta f ormula precisamos de falar de fun c oes multiplicativas. Dizemos que uma fun c ao f : Z R e multiplicativa se f (mn) = f (m)f (n) quando (m, n) = 1, e ela e estritamente multiplicativa quando esta rela c ao vale sem restri c ao.
16
Demonstra c ao. Suponha que f e multiplicativa e limitada, ent ao em Re(s) > 1 podemos escrever: f ( n) = ns (
p m
f (pm )pms ).
(k) De fato, em Re(s) > 1 temos que k1 fk converge uniformes mente, por outro lado, seja P (n) = pn ( m0 f (pm )pms ), onde s est a xo. Ora, P (n) e um produto nito de s eries convergentes e f (m) , onde podemos ent ao escrev e-lo como s m mAn
An = {r N; os fatores primos de r s ao menores ou iguais ` a n}. Por exemplo se n = 3 temos que: P (3) = =
m,j
(
m
f (2m )2ms )(
j
f (3j )3js ) 3
f (2 )f (3 )2
ms js
=
m,j
f (2m 3j )(2m 3j )s =
mAn
f (m)ms .
f (k ) k 1 k s |
donde o resultado segue pela converg encia absoluta da s erie. Al em disso, se f e estritamente multiplicativa, temos que f (pm ) = m (f (p)) . Isto implica que m0 f (pm )pms = m0 (f (p)ps )m = 1 ormula da s erie geom etrica. 1f (p)ps , pela f A f ormula de Euler segue ent ao observando que a fun c ao f 1 e estritamente multiplicativa. Para nossos prop ositos, estaremos interessados em conhecer regi oes onde a fun c ao zeta n ao se anula. De fato, isso faz parte de um problema importante ` a respeito da fun c ao zeta conhecido como a Hip otese de Riemann : e sabido que os pares negativos 2, 4, . . . s ao zeros da fun c ao zeta, chamados de zeros triviais, e outros zeros conhecidos
17
s ao da forma
(t) =
A Hip otese de Riemann arma que Os zeros n ao triviais da fun c ao zeta de Riemann tem parte real 1 . igual ` a 2 Este e um problema muito dif cil e tem posto a prova os esfor cos de muitos matem aticos famosos. Neste livro iremos encontrar uma regi ao livre de zeros de forma elementar (usando an alise complexa). A prova do seguinte fato ser a dada no ap endice deste cap tulo: Proposi c ao 1.4.2. (s) = 0 em Re(s) 1. Para isso iremos estudar a analiticidade da fun c ao zeta de Riemann e provaremos o seguinte fato: 1 eou nico polo da fun c ao zeta de Riemann em Re(s) > 0, ele e simples e tem res duo 1. De fato, se [x] denota a fun c ao maior inteiro menor do que x ent ao na regi ao Re(s) > 0 temos a expans ao: ( s) = 1 +1+s s1
1
1.4.3
A principal ferramenta nesta demonstra c ao e o seguinte teorema, cuja prova ser a dada no ap endice: Teorema 1.4.2. Seja f : [1, ] R, tal que f (x) = O(x), n ao descrescente e f L1 . Dado s um par a metro complexo, seja g loc a transformada de Mellin de f , isto e, g (s) := s 1 f (x)x1s dx. Ent ao, em Re(s) > 1, g e uma fun c ao anal tica. Al em disso, se c existe uma constante c tal que g (s) s tem continua c ao anal tica 1 em {Re(s) = 1} ent ao: lim f (x) = c. x
18
Em vista do teorema 1.4.2 e das propriedades da fun c ao zeta, vistas acima, resta provar que xE (|[1, x]) = O(x). Podemos provar isto da seguinte maneira: observe que p 2n(2n 1) . . . (n + 1) =
n<p2n
2n n
< 22n .
Assim, temos
n<p2n
esp ecie de decomposi c ao di adica) vemos que Somando estas desigualdades temos que:
k
log p
p2k 1
Logo, tomando 2k1 < N 2k segue que log p 2k+1 log 2 = (4 log 2)2k1 < 4N log 2.
pN
Portanto
pm N 1 E(|[1, N ]) = N (
Isto mostra a limita c ao desejada. Estamos ent ao nas hip otese do teorema 1.4.2, o qual diz que E(|[1, N ]) = 1+o(1). Mas isto e equivalente ao teorema dos n umeros primos pelo teorema 1.4.1, o que conclui o argumento.
1.5
19
Teorema 1.5.1 (Van der Waerden). Se colorirmos os inteiros positivos com um n umero k de cores, podemos achar progress oes aritm eticas de comprimento arbitr ario formadas por somente uma cor.
1.5.1
Nesta se c ao, iremos provar o teorema de Van der Waerden atrav es do m etodo de colorir em Combinat oria. Para n ao carregar muita nota c ao, vamos denotar a progess ao aritm etica a, a + r, . . . , a +(k 1)r por a + [0, k )r, e vamos supor que temos m cores com as quais iremos colorir os n umeros naturais de 1 at e N. Deni c ao 1.5.1. Seja c : {1, . . . , N } {1, . . . , m} uma maneira de colorir. Dados k 1, d 0 e a {1 . . . , N }, um ventilador de raio k , grau d com ponto base a e uma d-upla de progress oes aritm eticas (a + [0, k )r1 , . . . , a + [0, k )rd ) onde r1 , . . . , rd > 0. Para cada 1 i d as progress oes a + [1, k )ri s ao chamadas de p as do ventilador. Dizemos que o ventilador e policrom atico se seu ponto base e suas p as s ao monocrom aticas. Isto e, existem cores c0 , c1 , . . . , cd distintas tais que c(a) = c0 e c(a + jri ) = ci para j = 1, . . . k e i = 1, . . . d. Observe que pela distin c ao das cores, se temos m cores, e imposs vel termos um ventilador policrom atico com grau maior ou igual a m. ` claro que o teorema de van der Waerden segue do seguinte E resultado: Teorema 1.5.2. Sejam k, m 1. Ent ao existe N tal que qualquer colora c ao com m cores de {1, . . . , N } cont em uma progress ao aritm etica de comprimento k monocrom atica. Demonstra c ao. A prova ser a feita em dois passos indutivos. Primeiro, faremos indu c ao em k : observe que o caso k = 1 e trivial; tomemos k 2 e vamos supor que o teorema e verdade para k 1. Em seguida faremos indu c ao em d. Isto e, armamos que dado d, existe N tal que qualquer colora c ao com m cores de {1, . . . , N } cont em ou uma progress ao aritm etica monocrom atica ou um ventilador policrom atico de raio k e grau d. Note que o caso d = 0 e trivial e se provarmos que isso vale para d = m ent ao pela observa c ao feita anteriormente, obtemos a progress ao monocrom atica.
20
Vamos tomar d 1 e supor que a arma c ao vale para d 1. Seja N = 4kN1 N2 , onde N1 e N2 ser ao escolhidos depois e A = {1, . . . , N }. Seja ent ao c : {1, . . . , N } {1, . . . , m} a colora c ao. Obviamente {bkN1 + 1, . . . , bkN1 + N1 } e um subconjunto de A com N1 elementos para b = 1, . . . N2 . Pela hip otese de indu c ao em k e d se N1 e muito grande, existe este conjunto possui uma progress ao monocrom atica de comprimento k ou um ventilador policrom atico de raio k e grau d 1. Se para algum b encontramos a progress ao monocrom atica, acabou. Portanto, vamos supor que para todo b = 1, . . . N2 sempre encontramos um ventilador policrom atico. Logo, para cada b = 1, . . . , N2 encontramos a(b), r1 (b), . . . , rd1 (b) {1, . . . , N1 } e cores distintas c0 (b), c1 (b), . . . , cd1 (b) {1, . . . m} tais que c(bkN1 + a(b)) = c0 (b) e c(bkN1 + a(b) + jri (b)) = ci (b) para j = 1, . . . , k 1 e i = 1, . . . , d 1. Chamaremos estas condi c oes de primeira e segunda propriedades do ventilador gerado por b. Em particular, o mapa b (a(b), r1 (b), . . . , rd1 (b), c0 (b), . . . , cd1 (b)) d cores do conjunto {1, . . . , N2 }. Nova e uma colora c ao com md N1 mente pela hip otese de indu c ao em k , se N2 e muito grande, existe uma progress ao monocrom atica b + [0, k 1)s nesta nova colora c ao com alguma cor da forma (a, r1 , . . . , rd1 , c1 , . . . , cd1 ). Revertendo a posi c ao da progress ao, podemos assumir que s e negativo, se for necess ario. A id eia agora e transformar uma progress ao de ventiladores id enticos em um novo ventilador com um grau a mais, para completar o passo de indu c ao. Seja ent ao b0 = (b s)kN1 + a {1, . . . , N } e considere o ventilador: (b0 + [0, k )skN1 , b0 + [0, k )(skN1 + r1 ), . . . , b0 + [0, k )(skN1 + rd1 )) de raio k , grau d e ponto base b0 . Vamos vericar que as p as s ao monocrom atica. Na primeira p a temos c(b0 + jskN1 ) = c((b + (j 1)s)kN1 + a) por substitui c ao. Pela primeira propriedade do ventilador gerado por b + (j 1)s segue que c((b + (j 1)s)kN1 + a) = c0 (b + (j 1)s) = c0 (b) (pois a progress ao b + [0, k 1)s e monocrom atica se 1 j k 1). Da mesma forma, em uma p a arbitr aria, usando a segunda propriedade do ventilador, temos que se 1 j k 1 e 1 t d ent ao: c(b0 +j (skN1 +rt )) = c((b+(j 1)s)kN1 +a+jrt ) = ct (b+(j 1)s) = ct .
21
Se o ponto base b0 tem a mesma cor de uma p a, ent ao encontramos uma progress ao monocrom atica de tamanho k , caso contr ario o ponto base tem cor distinta de suas p as e portanto encontramos um ventilador policrom atico de raio k e grau d. Isto termina o passo indutivo e a prova do teorema.
1.5.2
Uma das grandes ferramentas em sistemas din amicos e a chamada din amica simb olica, a qual consiste em estudar uma transforma c ao chamada shift. A seguir daremos a deni c ao de shift e veremos como Furstenberg usou tal maquin aria para dar uma prova do teorema de van der Waerden. Seja A = {a1 , . . . , ak } um alfabeto nito. Considere todas as palavras innitas compostas por letras deste alfabeto: = {(x1 , x2 , . . . , xn , . . . ) ; xi A}. Este conjunto pode ser visto como um espa co m etrico, atrav es da seguinte dist ancia: dados x = (x1 , x2 , . . . ) e y = (y1 , y2 , . . . ), dena d(x, y ) := 1 se l e o menor inteiro tal que xl = yl . l
O shift e a transforma c ao T : denida por: T (x1 , x2 , x3 , . . . ) = (x2 , x3 , x4 , . . . ). simples mostrar que o shift E e uma aplica c ao cont nua com respeito a m etrica denida acima. Com estes conceitos, Furstenberg usou o seguinte teorema de din amica topol ogica (cuja prova ser a dada no ap endice) para demonstrar o teorema de Van der Waerden. Teorema 1.5.3 (Recorr encia M ultipla Topol ogica - Furstenberg e Weiss). Seja T : X X cont nua e X um espa co m etrico compacto. Para todo k N e > 0 existe x X e n N tal que d(T in (x), x) < para todo i = 1, . . . , k . Mais ainda, dado Z X denso, podemos escolher x Z .
22
Vejamos como podemos provar o teorema de Van der Waerden a partir deste resultado. Seja A = {c1 , . . . , ck } o conjunto de cores e z = (z1 , z2 , z3 , . . . ) uma maneira de colorir N onde zi A indica a cor do n umero i. Consideremos ent ao z AN e T : AN AN o shift. Lembrando a deni c ao da dist ancia, temos que, para x, y AN m l e m, l N, vale d(T (x), T (y )) < 1 se e s o se xm+1 = yl+1 . Em particular, se z AN ent ao a progress ao aritm etica m, m + n, . . . , m + kn e monocrom atica se zm = zm+n = = zm+kn , ou seja, se: d(T m1 (z ), T m1+in (z )) = d(T m1 (z ), T in (T m1 (z ))) < 1, para i = 1, . . . k. e compacto, T e cont nua Tomando X = {T m (z )} m=0 , temos que X e denso em X . O teorema de em X e o conjunto Z = {T m (z )} m=0 Van der Waerden segue ent ao do teorema 1.5.3.
1.6
Nesta se c ao daremos uma prova do teorema de Szemer edi baseada em elementos de teoria erg odica (mais ou menos inspirados pela prova din amica do teorema de van der Waerden). Primeiramente faremos uma introdu c ao aos conceitos b asicos de teoria erg odica, em seguida enunciaremos o teorema de recorr encia m ultipla erg odica de Furstenberg e, como corol ario, obteremos o teorema de Szemer edi.
1.6.1
A teoria erg odica estuda itera c oes de uma transforma c ao T : X X , onde X e um espa co de medida, do ponto de vista de uma medida invariante pela transforma c ao T (i.e., para todo subconjunto mensur avel A temos que (A) = (T 1 (A))). A presen ca da medida invariante d a muita informa c ao estat stica sobre a estrutura de orbitas da transforma c ao T , isto e, dos conjuntos {T n (x)} n=0 , para quase todo x X com respeito a medida . Por exemplo, o teorema de Poincar e diz que se T : X X e -invariante
23
e (A) > 0 ent ao para -qtp x em A temos que existe um n(x) 1 tal que T n(x) (x) A. Portanto existe um N tal que: (A T N (A)) > 0. Em particular, vemos que, por menor que seja um conjunto contendo um ponto x, se ele tem medida positiva ent ao existem muitas orbitas que come cam dentro desse conjunto e voltam innitas vezes para este conjunto. Se o espa co de medida for topol ogico, ent ao podemos reformular o teorema de Poincar e da seguinte maneira: Sejam T : X X um espa co de medida e m etrico (com respeito ` a uma m etrica d) e uma medida invariante por T . Ent ao quase todo ponto com respeito ` a e recorrente, isto e para quase todo ponto x existe uma sequ encia nk de naturais tais que d(T nk (x), x)) 0 quando k . Uma pergunta natural e se existem sempre medidas invariantes para alguma tranforma c ao T dada. Quando o espa co X e compacto e a transforma c ao e cont nua, a resposta e sim. A id eia da prova deste fato e muito simples: tomemos uma medida qualquer arbitr aria e vejamos como essa medida muda pela a c ao da transforma c ao, ou melhor pela a c ao de iterados da transforma c ao. Fa ca uma m edia dessas medidas at e o iterado N ; conforme N cresce, essa nova medida tende a car menos sens vel a a c ao de T . O ponto e tomar estudar o limite quando N e torcer para que uma medida limite exista; de acordo com nosso argumento (informal) tal limite ser a invariante por T . Fa camos agora a constru c ao com mais detalhes. Como vimos no par agrafo anterior, iremos tomar um certo limite de medidas, de maneira que precisamos de um conceito de converg encia de medidas. Como o espa co de medidas de Radon e o dual do espa co de fun c oes cont nuas e natural usarmos a topologia fraca, uma vez que pela An alise Funcional teremos de gra ca resultados de compacidade (ajudando na quest ao da exist encia de um limite). Deni c ao 1.6.1. Dizemos que uma sequ encia de medidas k em X converge fracamente para se para toda fun c ao cont nua f : X R vale: f dk f d.
X X
24
Como esta topologia e a topologia fraca, temos pelo teorema de Banach-Alaoglu que: O espa co de probabilidades em X (isto e, o conjunto de medidas tais que (X ) = 1) e compacto com respeito a converg encia fraca. Voltemos agora para a quest ao da exist encia de medidas invariantes. Seja uma probabilidade qualquer. A a c ao dos iterados de T na medida ser a dada pelo push-forward, isto e, ((T n ) )(A) := n (T (A)) para todo conjunto mensur avel A. Uma observa c ao importante e que a propriedade de uma medida ser invariante pode ser traduzida na equa c ao T = . Vamos considerar a seguinte sequ encia de probalidades: k = 1 k
k1
(T i ) .
i=0
Em suma, estamos tomando m edias temporais das medidas obtidas por push-forward. Por compacidade, vemos que existe uma subsequ encia nk que converge fracamente para alguma probabilidade . Armamos que e invariante. De fato, temos as seguintes igualdades que ser ao explicadas logo em seguida: T = T (lim nk ) = lim(T (nk )) = lim( 1 nk
nk 1
(T i+1 ) ( ))
i=0 n
k 1 = lim( ( (T i ) ( ) + (T nk ) )) nk i=0
= lim = .
1 nk
nk
(T i ) ( )
i=0
Na segunda igualdade usamos o fato que o operador T e cont nuo na topologia fraca, pois T e cont nua. Com efeito, suponha que
25
k fracamente e xe f : X R cont nua. Ent ao temos que f T tamb em e cont nua e portanto: f d(T k ) =
X X
f T dk
X
f T d =
X
f d(T ).
Para a quinta igualdade, observamos que, para toda f : X R cont nua, temos, por compacidade de X : 1 nk f d 0 e
X
1 nk
f d((T nk ) ) =
X
1 nk
f T nk d 0.
X
Logo as duas u ltimas parcelas convergem ` a zero fracamente. Um exemplo concreto interessante para nossos prop ositos futuros e X = {0, 1}N e T o shift. Considerando a medida de Dirac de um ponto x X , ou seja, x (A) = 0 se x / A e (A) = 1 se x A, ent ao k 1 1 j (x) possui um ponto de acumula a sequ encia k = k c a o na T j =0 topologia fraca e este ponto e uma medida invariante pelo shift.
1.6.2
O teorema de Furstenberg
Uma pergunta natural a respeito do teorema de Poincar e e se dado o conjunto A com medida positiva existe uma certa estrutura no conjunto de iterados que retornam ` a A; mais precisamente, sabemos que o conjunto e innito, mas ser a que existe uma estrutura aritm etica neste conjunto? Esta pergunta foi resolvida por Furstenberg e sua resposta e conhecida como o teorema de Recorr encia M ultipla Erg odica de Furstenberg. Teorema 1.6.1 (Recorr encia M ultipla Erg odica de Furstenberg). Seja T : X X -invariante, k 3 e (A) > 0 ent ao existe N tal que: (A T N (A) T (k1)N (A)) > 0. Este teorema e o cora c ao da prova do teorema de Szemer edi atr aves de m etodos da Teoria Erg odica. Para indicar ao leitor a natureza deste resultado, veremos agora a prova do teorema de Furstenberg em certos casos particulares importantes. O primeiro exemplo e tomar um sistema de Bernoulli. Novamente, seja A um conjunto nito com r elementos, X = AN e T o shift neste
26
espa co. Sejam p1 , . . . , pr n umeros n ao-negativos tais que pi = 1. Isto d a uma probabilidade em A e tomando a medida produto temos uma probabilidade em X . A - algebra produto e gerada pelos cilindros com um n umero nito 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 simples mostrar sendo depois estendida para a - algebra gerada. E 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 ent ao C0 , C1 , . . . , Ck cilindros e observe que se n e muito grande ent ao as ao todas disjuntas. coordenadas que denem os cilindros T nl (Cl ) s Portanto, temos: (C0 T n (C1 ) T kn (Ck )) = (C0 )(C1 ) . . . (Ck )) > 0. Isto prova o teorema neste exemplo. Outro exemplo seria um sistema peri odico, isto e, uma din amica tal que T p = T para algum p. Neste caso, o resultado e totalmente trivial; uma din amica (menos trivial) nesta linha de racioc nio e o seguinte exemplo quase-peri odico: X = S 1 = R/Z, a medida de Lebesgue no c rculo e T (x) = x + (mod 1) para algum . Dado A um conjunto mensur avel tal que (A) > 0, note que a fun c ao 1A (x + y )d(x) e cont nua em y . Logo, para todo > 0 existe tal que se |y | < ent ao (A (A y )) > (A) . Portanto: (A (A y ) (A 2y ) (A ky )) > (A) (k + 1).
(A) Escolhendo < k+1 , tomando o correspondente e denindo o conjunto D = {n 1; n (, )(mod 1)}, ent ao, se n D temos que:
(A T n (A) T nk (A)) > (A) (k + 1) > 0. Notemos que o primeiro exemplo e um caso particular de sistemas fracamente misturadores (weak-mixing), isto e sistemas que satisfazem a seguinte igualdade, para todo A e B subconjuntos men-
27
Adaptando a id eia do caso Bernoulli, prova-se que o teorema de Furstenberg vale para sistemas fracamente misturadores (que podemos chamar tamb em de caso pseudo-aleat orio) . O segundo exemplo e um caso particular de sistemas compactos, isto e sistemas tais que, para toda fun c ao f L2 (), o fecho do 2 n conjunto {f, T f, T f, . . . , T f, . . . } e compacto. Adaptando a id eia usada para rota c oes, prova-se o teorema de Furstenberg para sistemas compactos (que podemos chamar tamb em de caso estruturado). No contexto geral, o teorema de Furstenberg segue ent ao de uma decomposi c ao em v arios n veis do sistema em partes fracamente misturadoras e compacta, que n ao tem muita correla c ao entre si ao longo de uma torre de extens oes. Cabe ressaltar que a exist encia desta torre de extens oes e um fato altamente n ao-trivial (conhecido como teorema de estrutura) e foge ao escopo deste livro. Entretanto, uma vers ao desta id eia num contexto nit ario ser a exposta no cap tulo 2 do livro.
1.6.3
Uma vez com o teorema de recorr encia m ultipla podemos dar uma prova r apida do teorema de Szemer edi usando o shift. Sejam X = {0, 1}N e T : X X o shift. Tome (xn ) = 1A (n), onde 1A (x) e a fun c ao caracter stica de A, e considere k = k 1 1 j . Ent a o, como vimos anteriormente, a menos de passar j =0 T (x) k a uma subsequ encia, podemos supor que = lim k e uma medida invariante para T . 1 Dena Y = {(yn ); y1 = 1}. Temos (Y ) = lim k (Y ) = lim k |A [1, k ]| > 0 por hip otese. Logo, pelo teorema de Furstenberg, segue que existe um N tal que (Y T N (Y ) T (k1)N (Y )) > 0. Em particular existem (innitos) z Y T N (Y ) T (k1)N (Y ). Isto e, existe x tal que x, x + N, . . . , x + (k 1)N A. Isto prova o teorema de Szemer edi.
28
1.7
Nesta se c ao veremos algumas reformula c oes do teorema 1.3.1 de Szemer edi (muito u teis para os nossos prop ositos futuros). Come caremos por observar que o teorema de Szemer edi e equivalente a seguinte arma c ao: Para todo k 1 e 0 < 1, existe um inteiro NSZ (k, ) 1 tal que, para qualquer N NSZ , todo conjunto A {1, . . . , N } com cardinalidade |A| N cont em pelo menos uma progress ao aritm etica de comprimento k . Logicamente, a arma c ao acima implica diretamente o teorema de Szemer edi. Na outra dire c ao, mostraremos agora que, se a arma c ao e falsa para um certo par (k, ) ent ao existe um conjunto Y N com |Y {1, 2, . . . , n}| r, r N tal que Y n ao cont em nenhuma progress ao aritm etica de comprimento k . Para isso, provaremos inicialmente que, se n ao existe NSZ (k, ), ent ao, para cada n N , existe um conjunto Xn {1, 2, . . . , n} com |Xn {1, 2, . . . , k }| k para 1 k n tal que Xn n ao cont em nenhuma progress ao aritm etica de tamanho k . Com efeito, seja n = max (( k 1)/k ) < . Armamos que, se N e sucientemente
1kn
grande e A {1, 2, . . . , N } tem pelo menos N elementos, ent ao existe m N n tal que |A {m + 1, . . . , m + k }| k , para 1 k n. De fato, se n ao for o caso, existem s N , k1 , k2 , . . . , ks {1, 2, . . . , n} tais que N k1 + k2 + + ks > N n e, para 1 1 r s, | A kj | < kr ,, donde kj , |A kj | kj , k r j<r j<r j r j r n < , e logo N |A| n + n N , o que e absurdo para N > n Logo, basta tomar um conjunto A {1, 2, . . . , N } com pelo n menos N elementos que n ao cont em nenhuma progress ao aritm etica de tamanho k para concluir a exist encia de Xn . Agora, para cada r N , seja r : 2N 2{1,2,...,r} dada por r (A) = A {1, 2, . . . , r}. Constru mos indutivamente conjuntos Y1 , Y2 , Y3 , . . . com Yr {1,2,. . ., r} para cada r N tais que Yr+1 {1, 2, . . . , r} = Yr , r N da seguinte forma: Y1 := {1} Xn , para
29
todo n N . Dado Yr , r N tal que Yr = r (Xn ) para innitos n N, existe Yr+1 {1, 2, . . . , r +1} com Yr+1 {1, 2, . . . , r} = Yr tal que Yr+1 = r+1 (Xn ) para innitos n N (de fato, se r (Xn ) = Yr , existem apenas duas possibilidades para r+1 (Xn )). Agora, e f acil Yn satisfaz r (Y ) = Yr , r N , donde r (Y ) = ver que Y =
nN
r (Xn ) para innitos n N. Em particular, |Y {1, 2, . . . , r}| r, r N e Y n ao cont em nenhuma progress ao aritm etica de tamanho k. Em seguida, vamos introduzir uma linguagem mais anal tica e nit aria para obter uma outra reformula c ao do teorema 1.3.1. Com este intuito, relembremos a seguinte deni c ao: Deni c ao 1.7.1. Seja f : A C onde A e um conjunto nito. Ent ao: 1 f (n). E(f ) = E(f (n); n A) = | A|
nA
Dada f : (Z/N Z) R uma fun c ao, podemos denir T n f : (Z/N Z) R os shifts da fun c ao por n umeros naturais n Z/N Z (ou n Z) atrav es da f ormula: T n f (x) := f (x + n). Diremos tamb em que uma fun c ao f : Z/N Z C e limitada se f L 1. Com esta nota c ao, podemos reformular o teorema de Szemer edi do seguinte jeito: Teorema 1.7.1 (Szemer edi vers ao quantitativa). Para todo k 1 inteiro e 0 < 1 real, existem N0 (k, ) inteiro e c(k, ) > 0 real tais que, para todo N N0 (k, ) um n umero primo grande, qualquer f : Z/N Z R+ uma fun c ao limitada com E(f |Z/N Z) verica
k1
E(
j =0
Observa c ao 1.7.1. Com rela c ao a vers ao quantitativa do teorema de Szemer edi enunciada acima, iremos construir (no ap endice deste cap tulo) alguns exemplos devidos a F. Behrend de subconjuntos S
log N do intervalo [1, N ] tais que |S | N e S n ao cont em progress oes aritm eticas de tamanho 3. Mais ainda, modicando o
1 2
2 log 2+
30
esquema do argumento de Behrend, veremos que, acerca do comportamento de c(k, ) acima em termos de , n ao podemos esperar em geral que c(k, ) tenha comportamento polinomial em (i.e., c(k, ) Ck para algum Ck > 0): com efeito, provaremos que c(3, ) c log(1/) . Observe que o enunciado do teorema 1.7.1 fornece (a pr ncipio ) uma conclus ao muito mais poderosa que o teorema de Szemer edi usual. Com efeito, enquanto o teorema de Szemer edi permite concluir apenas a exist encia de uma k -PA, a vers ao quantitativa permite inferir a exist encia de c(k, )N 2 k -PAs (ao menos). Entretanto, apesar do teorema quantitativo de Szem eredi aparentar ter um enunciado mais forte, armamos que os teoremas 1.3.1 e 1.7.1 s ao equivalentes. Iniciaremos vendo porque o teorema de Szemer edi segue da vers ao quantitativa: xe k , e tome N um primo bem grande. Vamos supor que A {1, . . . , N } tem cardinalidade |A| N , pois A tem densidade positiva. Seja N um primo entre kN e 2kN (cuja exist encia e assegurada pelo postulado de Bertrand). Vamos considerar {1, . . . , N } como subconjunto de Z/N Z e A o conjunto respectivo de Z/N Z. Ora, nossas escolhas implicam E (1A |Z/N Z) /2k . Pelo teorema de Szemer edi quantitativo segue que:
k 1
E(
j =0
Reescrevendo, temos que: |{(x, r) (Z/N Z)2 ; x, x + r, . . . , x +(k 1)r A }| c(k, /2k )(N )2 . Como N kN e A {1, . . . , N } temos que 1 x N e N r N . Observe as progress oes com r = 0 contribuem apenas com no m aximo N elementos. Removendo estas progress oes e tomando N grande, o lado direito da estimativa ainda e positivo e portanto A cont em a progress ao x, x + r, . . . , x + (k 1)r. Vamos ver agora que, de fato, a vers ao quantitativa do teorema de Szemer edi e equivalente a sua vers ` ao original. J a sabemos que a vers ao original e equivalente a vers ` ao nita, i.e., ` a exist encia de NSZ (k, ), k N , > 0. Logo, para concluir a equival encia entres as duas formula c oes do teorema de Szemer edi, basta mostrar a seguinte
31
. Ent ao 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 progress oes aritm eticas de comprimento k contidas em A. Proposi c ao 1.7.1. Suponha que existe NSZ k,
Demonstra c ao. Seja m0 = NSZ (k, /2). Ent ao, para todo m m0 , todo subconjunto de {1, 2, . . . , m} com pelo menos m/2 elementos cont em uma progress ao aritm etica de comprimento k . Seja N grande. Para cada r com 1 r N/m0 , dividimos {1, 2, . . . , N } em r progress oes aritm eticas de raz ao r, do tipo {1 n N | n a(mod r)}, para cada a com 0 a r 1. Cada uma dessas PAs tem pelo menos N/r elementos, e portanto pode ser decomposta como a uni ao de N/r /m0 progress oes aritm eticas disjuntas de raz oes iguais a r, comprimentos m0 (e quase iguais) e portanto di ametros entre r(m0 1) e r(2m0 1). Se A {1, 2, . . . , N } satisfaz |A| N , para cada r, #{0 a r 1 | #A {1 n N | n a(mod r)} 3 r 3 N/r } (pois t < t+ (1 t) < ), e 4 4 3 4 3 4 3 (como t < t + (1 t) < ) se #A {1 n N | 4 2 2 4 3 A a(mod r)} N/r , pelo menos N/r /m0 das 4 4 2 progress oes de comprimento m0 que criamos t em interse c ao com A com propor c ao relativa pelo menos /2, e logo cont em uma k -PA. Isto N/m0 r fornece pelo menos N/r /m0 > (, m0 )N 2 r =1 4 3 4 2 k -PAs contidas em A para N grande, onde (, m0 ) = 2 /64m2 0. Cada uma dessas PAs pode estar sendo contada algumas vezes, para diferentes escolhas de r, mas se d e seu di ametro, r deve ser um d d d divisor de d entre e , i.e., r = , onde k 1 2m0 1 k1 r r 2m0 1. Temos assim no m aximo 2m0 k + 1 possibilidades para r , e logo para r, i.e., cada PA e contada no m aximo 2m0 k + 1 vezes. Assim, A cont em pelo menos (k, )N 2 k PAs, 2 onde (k, ) = 64m2 0 (2m0 k + 1)
32
Observa c ao 1.7.2. A diferen ca da prova do Teorema de Szemer edi quantitativo para as provas anteriores e que, devida a natureza nit aria dos argumentos, podemos obter cotas expl citas para o n umero NSZ . As outras provas, como s ao de car ater innito (usam de certa maneira o Axioma da Escolha) somente mostram a exist encia de tal n umero e n ao dizem nada sobre a ordem de grandeza do mesmo. A estrat egia da prova deste teorema foi usada no resultado de GreenTao e ser a estudada no cap tulo 2. Recomendamos tamb em a leitura de [11].
1.8
Outros resultados
Nesta se c ao indicaremos, sem provas, outras maneiras de enunciar algumas das conjecturas citadas acima. Em seguida apresentaremos alguns resultados posteriores ao teorema de Green-Tao. Finalmente, faremos alguns coment arios sobre a natureza do n umero N0 (k, ).
1.8.1
Vimos nas se c oes anteriores, que o teorema dos n umeros primos pode ser enunciado em termos da fun c ao de Von Mangold como: 1 N
N
(n) = 1 + o(1).
n=1
Na verdade, melhorar as cotas para a esperan ca da fun c ao de von Mangoldt1 implica em diversas conjecturas. Vamos listar algumas delas sem provas: A Hip otese de Riemann e equivalente ` a seguinte arma c ao: E((n)|[1, N ]) = 1 + O(N 1/2 log2 N ). A conjectura dos primos g emeos seguiria da seguinte arma c ao: lim inf E((n)(n + 2) : 1 n N ) > 0.
N
1 Isto
33
A conjectura de Goldbach e equivalente ` a: E((n1 )(n2 )|n1 , n2 [1, N ] e n1 + n2 = N ) > 0 N par. E, nalmente, a conjectura fraca de Goldbach e equivalente ` a: E((n1 )(n2 )(n3 )|n1 , n2 , n3 [1, N ] e n1 +n2 +n3 = N ) > 0 N mpar.
1.8.2
Um outro conjunto onde a no c ao de primalidade existe s ao os inteiros Gaussianos Z[i] := {a + bi; a, b Z}. Neste caso, p e um primo Gaussiano se ele s o e divis vel por 1, i, p e ip. Uma forma em Z[i] e um conjunto nito (vj )j J (Z[i])J de inteiros Gaussianos distintos. Uma constela c ao em Z[i] com esta forma e qualquer J -upla (a + rvj )j J (Z[i])J (onde a Z[i] e r Z[i]) de inteiros Gaussianos distintos. A no c ao de constela c ao estende a no c ao de progress oes aritm eticas para inteiros Gaussianos. A exist encia de muitas constela c oes formadas por primos Gaussianos foi demonstrada por Tao [12]: Seja (vj )j J uma forma qualquer de inteiros Gaussianos. Ent ao os primos Gaussianos cont em ininitas constela c oes com esta forma. Por outro lado, uma maneira alternativa de generalizar o conceito de progress ao aritm etica e: como uma progress ao aritm etica toma a forma x + P1 (m), . . . , x + Pk (m) onde Pi (m) = (i 1)m, podemos estender esta deni c ao permitindo que Pi Z[m] sejam polin omios com valores inteiros tais que Pi (0) = 0 (para i = 1 . . . k ). Estas progress oes generalizadas s ao ditas progress oes polinomiais. A exist encia de innitas progress oes polinomiais formadas por primos foi demonstrada recentemente por Tao e Ziegler [13]: Sejam P1 , . . . Pk polin omios como acima; dado > 0 existem innitos inteiros x e m tais que 1 m x e x + Pi (m) s ao primos para i = 1 . . . k .
34
1.8.3
De certa forma, todos os teoremas e resultados que apresentamos aqui tem em comum a busca de certos padr oes no conjunto dos n umeros primos. Neste sentido, uma pergunta natural e qu ao esparsos s ao os primos. Seja ent ao pn o n- esimo primo, de modo que o tamanho do n- esimo buraco do conjunto dos primos e pn+1 pn . O teorema dos n umeros primos diz que a m edia do tamanho destes buracos e essencialmente log pn . Vamos denir como o menor n umero tal que existem innitos buracos de tamanho menor que ( + ) vezes a m edia dos tamanhos. Isto e: = lim inf
n
pn+1 pn log pn
Conjecturava-se que = 0 e isto foi provado em trabalhos recentes: primeiro Goldston e Yldrm [6]2 mostraram que < 1 4 e, em seguida, Goldston, Motohachi, Pintz e Yldrm [4] demonstraram a conjectura. Nestes trabalhos, eles prop oe um m etodo para mostrar a exist encia de n umeros primos grandes muito pr oximos3 . Observa c ao 1.8.1. Somente para ressaltar a diculdade da conjectura dos primos g emeos, observe que a conjectura dos primos g emeos e uma arma c ao muito mais forte do que o resultado = 0 de Goldston, Motohachi, Pintz e Yldrm (o qual n ao e nada simples de se provar!).
1.8.4
Sobre a magnitude do n umero N0 (k, ) no teorema de Szemer edi quantitativo, temos os seguintes resultados: T. Gowers provou que N0 (k, ) 22
ck
, onde ck = 22
k+9
; );
log2 (k1)
pingos nos is n ao existem no nome de Yldrm! fato, eles mostram que estes primos est ao realmente bem pr oximos assumindo uma conjectura de Elliot-Halberstam.
35
2
log(1/ )
e um problema em Espera-se que N0 (k, ) 2ck , mas isto aberto (relacionado a conjectura de Erd os-Tur an).
1.9
1.9.1
Nesta se c ao daremos uma prova deste caso particular usando polin omios ciclot omicos. k Sejam n = cos( 2n ) + i sin( 2n ). Ent ao, temos que n = 1 para k j todo k = 1, . . . , n 1 e n = n para todo 1 k < j n 1. Podemos escrever ent ao:
n1 j =0 k Observe que = n e uma raiz primitiva da unidade se, e s o se, (k, n) = 1. Al em disso o n umero de ra zes n- esimas primitivas da unidade e dado por (n) onde e a fun c ao de Euler. Portanto o seguinte polin omio e o polin omio de menor grau que possui todas as ra zes n- esimas primitivas da unidade:
Xn 1 =
j (X n ).
n (X ) =
1kn1 , (k,n)=1
k ). (X n
m (X ).
X p1 + X p2 + + X + 1
r 1
X p 1 X pr1 1
= Xp
(p1)
+ Xp
r 1
(p2)
+ + Xp
r 1
+ 1.
Observe que para todo k 1, k (X ) e m onico com coecientes inteiros e que se k > 1 temos que k (0) = 1. Tamb em pode-se provar que k (1) e igual ` a p se k e uma pot encia de p e e igual ` a 1 caso
36
contr ario. Finalmente pode-se mostrar que |k (a)| > 1 para todo a > 1. Iremos usar as seguintes identidades. Se p e primo e divide n ent ao pm (X ) = m (X p ) e se p n ao divide m e r 1 ent ao: mpr (X ) = m (X p ) . m (X pr1 )
r
Al em disso, utilizaremos um resultado devido a Legendre que diz que os seguintes conjuntos formados por primos s ao iguais: E1 E2 E3 = = = {p ; p|an 1 ,mas p am 1, 1 m n 1} {p ; p|n (a) e p 1 (mod n)} {p ; p n e p|n (a)}.
Com este resultado, podemos provar o teorema de Dirichlet no caso em que a = 1. Sejam pi 1 (mod b) primos com i = 1, . . . , r e dena N = bp1 . . . pr . Temos ent ao que |b (N )| > 1. Tome p um primo que divide b (N ). Pelas identidades acima citadas, vemos que b (N ) b (0) 1 (mod N ). Portanto p n ao divide N , logo p n ao divide b. Pelo resultado de Legendre, segue que p 1 (mod b) e p = pi com i = 1, . . . , r. Repetindo o processo, encontramos innitos primos na progress ao aritm etica {1 + kb} com k 1.
1.9.2
Primeiramente, iremos estudar a analiticidade da fun c ao zeta. Proposi c ao 1.9.1. 1 eou nico polo da fun c ao zeta de Riemann em Re(s) > 0, ele e simples e tem res duo 1. De fato, em Re(s) > 0 temos a expans ao: (s) = 1 +1+s s1
1
n1
Demonstra c ao. Seja P (x) = [x]. Ent ao, em Re(s) > 2, temos que P (n1) P (n) e convergem e, obviamente, P (x)x1s dx e ns ns 1
n1
an tal que
P (n1) ns
convergem
f (s) = s
1
P (x)x1s dx.
Assim temos que (s) = s 1 [x]x1s dx em Re(s) > 1 (onde [x] e a fun c ao maior inteiro menor que x). Por outro lado:
s
1
x.x1s dx = s
1
s 1 1 dx = (xs+1 )| . 1 =1+ xs 1s s1
1 1s Em particular (s) = s dx, e o resultado 1 + 1 + s 1 ([x] x)x segue pois a integral converge em Re(s) > 0. A prova do lema segue das seguintes igualdades em Re(s) > max{a, b}:
f ( s) = =
an = ns sP (n)
n
P (n) P (n 1) = ns
n+1
P (n)(
1 1 ) s n (n + 1)s
x1s dx = s
1
P (x)x1s .
Agora e usar continua c ao anal tica. A seguir iremos obter uma regi ao livre de zeros para a fun c ao zeta. Esta regi ao e relativamente simples de obter com as representa c oes anteriores: Proposi c ao 1.9.2. (s) = 0 em Re(s) 1. Demonstra c ao. Vamos considerar primeiro o caso em que Re(s) > 1. Ent ao pela f ormula de Euler temos: 1 = | (s)| |1 ps |
p p
(1 +
1 ) |ps |
(1 +
p
1 ). p
38
log
p1
(1 +
1 ) = p
pn
log(1 +
p1 pn
1 )= p
pn p1 m1
(1)m+1 pm m
pn
p +
p1 pn p1 m2 pn
pm p2 1 p
p +
p1 pn p1 p1
p < .
De fato, o mesmo argumento prova que se ai 0 e ai < ent ao (1 + ai ) < . Portanto (s) = 0 em Re(s) > 1. Na reta Re(s) = 1 iremos usar a seguinte identidade trigonom etrica: 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 fun c ao (s) = 3 (s) 4 (s + ib) (s + 2ib). Note que s = 1 e um zero de (a ordem do p olo cancela com a ordem do zero), portanto lim log |(s)| = . Por outro lado, se s > 1 e real, temos que, para alguma sequ encia an , vale log | (s + it)| = = Re(log (s + it)) = Re log(
p s1
(1 psit )1 ) = p(sit)m ) m
Re(
an ns ) + 4Re(
an nsib ) + Re(
an ns2ib )
39
Esta contradi c ao naliza a prova. Vemos tamb em que o argumento acima implica que a fun c ao (s) 1 tem um p o lo em s = 1 do tipo (o qual e u nico em (s) s 1 Re(s) 1). Outra maneira de achar uma regi ao livre de zeros e a seguinte: usando a expans ao do logaritmo em (1.4.1), temos que (pela mudan ca de vari avel n = dm) em Re(s) > 1 vale: log n ns =
n d|n
(d) = ds
d|n
(d) ds
1 = ms
d s m = ds
1 ns 1 ns 1 ns
n N | + ns 1 1 N s 1
N 1
s , ns
(1 s)
1
1,
1 + O(1). s1
40
log n N | ns1 1
N 1
ns sns log n , n2 s
(1 s)
1
Em particular n ao existem zeros em Re(s) > 1 com s 1 e tamb em obtemos: (d) 1 = + O(1). ds s1 Veremos agora algumas estimativas sobre que ser ao u teis no 1 1 1 dx Cap tulo 3. J a sabemos que (s) = + s 1 n=1 ns ( n + x)s 0 em {Re s > 0}, e Re(log( ( + 2it) ( + it)4 ( )3 )) 0, donde | ( + 2it) ( + it)4 ( )3 | 1, para 1, t R. Derivando a express ao para (s), obtemos (s) = 1 + (s 1)2 n=1
1 0
b , onde t = Im s e b e log(|t| + 2) uma constante com 0 < b < 1/2. Temos ent ao Suponha que 10 Re s 1 (s) =
1n|t|
1 1 s1 ns n=1 1 ns
1 0
1 0
dx (n + x)s 1 ns
1 0
dx + (n + x)s
n>|t|
dx (n + x)s
2
1n|t|
1 + nRes
n>|t|
| s| , nRe s+1
41
1 1 = f (0) f (x) = f (d) x, para algum d (0, x), s n (n + x)s onde f (y ) = (n + y )s satisfaz f (y ) = s(n + y )s1 |f (y )| | s| , y (0, 1). Assim, nRes+1 pois (s) 1 2 s1 1
1n|t|
n1b/ log(|t|+2)
2|t|b/ log(|t|+2)
1n|t|
log(n + x)dx log n s (n + x)s n log(n + x)dx 1 s s (n + x) n |s| log n nRe s+1
+
n>|t| 0
2
1n|t|
log n + nRe s +
n>|t|
= O | log t|2
= O((log(|t| + 2))2 ). , (log(|Im z | + 2))9 4 3 onde e uma constante pequena. Temos | ( +2it) ( + it) ( ) | 1 para 1, donde, como | ( + 2it)| = O(log(|t| + 2)), para + it Z , escolhendo = 1 + c (log(|t| + 2))9 , onde c > 0 e uma constante pequena, | ( )| = O(c1 (log(|t| + 2))9 ), donde temos | ( + it)4 | | ( )|3 | ( + 2it)| = O(c3 (log(|t| + 2))28 ), e portanto | ( + it)1 | = O(c3/4 (log(|t| + 2))7 ). Como | (x + it)| = O((log(|t| + 2))2 ) para x [1, ], segue que | (1 + it)1 | = O((log(|t| + 2))7 ), se tomarmos a constante c > 0 sucientemente pequena. De fato, ( + it) Ac3/4 (log(|t| + 2))7 para uma certa Seja agora Z = z C | 10 Re z 1
42
constante positiva A independente de c. Assim, para c c 1 a1+ (log(|t| + 2))9 (log(|t| + 2))9 temos | (a + it) ( + it)| |a | max{| (x + it)|, a x } c (log(|t| + 2))2 ) = O( (log(|t| + 2))9 ) = O(c(log(|t| + 2))7 ), donde | (a + it)| Ac3/4 (log(|t| + 2))7 O(c(log(|t| + 2))7 ) 1 > Ac3/4 (log(|t| + 2))7 , 2 para c sucientemente pequeno. Se, por outro lado, < d 10, de | (d + 2it) (d + it)4 (d)3 | 1, segue que | (d + it)4 | | (d)|3 | (d + 2it)| | ( )|3 | (d + 2it)| = O((log(|t| + 2))28 ), pois | (d + 2it)| = O(log(|t| + 2)). Assim, | (d + it)1 | = O((log(|t| + 2))7 ), e segue que a estimativa para | 1 | vale em toda a regi ao Z . Finalmente, se 0 < < 1 e , temos, como antes, para 1 1 1 dx 1 s = + it, (s) s 1n|t| n + n=1 ns 0 (n+x)s 2 1 O(|t|
| s| n>|t| n+1 1 1 1 ) + O(|t|1 ) = 2 1n|t| n + O (|s||t| ) = O (|t| 1 1 /4 ). Em particular, se Re s 3/4, (s) s ). 1 = O (|t|
1.9.3
Nesta se c ao, iremos xar uma f L1 ao decresloc ([1, )), f 0, n cente com f (x) = O(x) e denotaremos por g sua transformada de Mellin. Primeiramente vamos provar que g e anal tica em Re(s) > 1. De fato, xe s tal que Re(s) > > 1 e tome um A grande tal que se x > A ent ao |f (x)| C |x|. Temos que:
f (x)x1s | f (x)x
1s
Cx
C 1 . 1
em Re(s) > 1.
lim 1
43
Lembramos que se F L1 e limitada, ent ao a transforloc (0, ) e anal tica em Re(z ) > 0. mada de Laplace L(z ) = 0 F (t)ezt dt Agora, um ponto importante e que se ela se estende para Re(z ) = 0 ent ao L(0) = 0 F (t)dt. Provaremos isto mais tarde. Vamos usar este fato para a fun c ao F (t) = et f (et ) c, com t > 0. Ora, as hip oteses sobre f garantem que ela e limitada e est a t em L1 (0 , ). Por outro lado, a mudan c a de vari a vel x = e diz que loc a transformada de Laplace de f e:
L(z ) =
0
x2z f (x)dx (
cxz )| z 1
Logo, pela hip otese de extens ao de f , temos que L se estende ` a )cx Re(z ) = 0 e portanto L(0) = 1 f (xx dx. Como consequ encia, 2 temos que c > 0 (do contr ario a integral seria innita pois f 0). x) Vamos supor, por absurdo, que existe um > 0 tal que lim sup f ( x encia tal que c > 2 > 0. Tome = cc+2 + > 1 e yn uma sequ f (yn ) > (c + 2 )yn . Como f e n ao decrescente, ent ao para todo yn < x < yn vale: f (x) f (yn ) > (c + 2 )yn > (c + )x. Portanto, temos que (x) :=
yn f (x)cx x2 yn >x . Isto implica que:
(x)dx
yn yn
dx = log > 0. x
Fixando < 2 log , segue que se a e grande temos (por converg encia da integral) que: | a (x)| < . Podemos tomar a yn0 para algum n0 , da temos que:
log < |
yn0 yn0
(x)dx| |
yn 0
(x)
yn0
x) Este absurdo implica lim sup f ( alogo d aa x c. Um argumento an desigualdade desejada para o lim inf.
44
Faltou ent ao provar a arma c ao sobre a transformada de Laplace, e igual ` a L(0) se a transforisto e que a integral 0 F (t) converge e mada de Laplace se estende analiticamente para Re(z ) = 0. Usando um reescalonamento, podemos supor que |F | 1. Vamos considerar as integrais truncadas L (z ) = 0 F (t)etz , as quais denem fun c oes anal ticas em todo o plano complexo, e provar que lim L (0) = L(0). Seja ent ao > 0 pequeno e tome R = 1 . Por hip otese, e claro que L tem continua c ao anal tica em uma vizinhan ca de {Re(z ) 0}, logo existe um > 0 tal que L e anal tica em B = D(0, R) {Re(z ) }. Se W = B , a f ormula de Cauchy diz que: L(0) L (0) = 1 2i L(z ) L (z ) dz. z
Agora usamos o seguinte truque: se e anal tica ent ao a f ormula (z )ez (z )ez z 2 de Cauchy diz que 2i (0) = W dz e 0 = W dz . z R2 z Somando as duas igualdades e aplicando-as a fun c ao L L temos que: L(0) L (0) = 1 z (L(z ) L (z ))ez ( + )dz. z R 2 W (1.9.1)
z 1 +R Vamos denotar por I (z ) = (z )ez ( z 2 ). Agora, vamos separar essa integral em regi oes. Seja W + := W {Re(z ) > 0} e W := W {Re(z ) < 0}. Como IL e anal tica em W , ela e limitada por uma constante C em W . Al em disso, existe um < tal que em W2 := W { Re(z ) < 0} temos 2 . Considere ent a o W |dz | < 1 := W {Re(z ) < } e W := C W2 {Re(z ) < 0}{|z | = R}. Observe que pela analiticidade de L temos que W IL = W IL . Podemos decompor a integral (1.9.1) como:
2i(L(0)L (0)) =
W+
ILL (z )+
W1
IL (z )+
W2
IL (z )
IL .
Passando o m odulo nessa igualdade e usando a nota c ao x = Re(z ) e |z | = R temos que: A primeira integral e dominada por 2.
W+
ex e x
2x R2 |dz |
1 R
45
W1
A segunda integral e dominada por 2Be1 A terceira integral e dominada por A quarta integral e dominada por 2.
B Logo |L(0) L (0)| 3 + 2 strar.
W1 W2
|dz |.
2|x| R2 |dz |
1 R
1.9.4
A primeira observa c ao e que se para algum k e a primeira parte do teorema vale para x ent ao ela vale para uma vizinhan ca inteira de x e portanto para algum ponto de Z . Em seguida, usando o lema de Zorn, podemos supor que X e minimal, isto e X n ao possui nenhum subconjunto Y pr oprio fechado tal ao densos que T (Y ) Y . Em particular, os conjuntos {T m (x)} m=0 s em X , o que mostra a arma c ao para k = 1 (pois, por densidade, existe um n N tal que d(T n (x), x) < ). A prova seguir a por indu c ao. Suponha que o teorema vale para algum k 1, isto e, para todo > 0 existe x X e n N tal que d(T in (x), x) < para i = 1, . . . , k . Armamos que o conjunto de tais pontos e denso em X . De fato, seja U X um aberto e B U uma bola de raio menor que . Vamos denir Bm = (T m )1 (B ) de modo que estes conjuntos formam uma cobertura de X (pela minimalidade de X ). Por compacidade temos uma subcobertura nita {Bm1 , . . . , Bmr }. Seja > 0 um n umero de Lebesgue desta cobertura, ou seja, um n umero tal que toda bola de raio est a contida em algum aberto desta cobertura. Tome x e n tais que d(T in (x), x) < para i = 1, . . . , k e D a bola de centro x e raio . Ent ao existe j tal que D Bmj , em particular T mj (D) B . Ou seja que T mj (T in (x)) pertencem a bola de raio centrada em T mj (x) U . Isto prova a densidade. Vamos voltar agora a prova do teorema. Fixe > 0. Pela hip otese de indu c ao existem x e n0 tais que d(T in0 x0 , x0 ) < /2 para i = 1, . . . , k . Tomando x1 tal que T n0 (x1 ) = x0 , temos d(T (i+1)n0 x1 , x0 ) < /2 para i = 1, . . . , k . Portanto segue que d(T in0 (x1 ), x0 ) < /2 para i = 1, . . . , k + 1.
46
Por continuidade, existe 1 < tal que se d(y, x) < 1 ent ao d(T in0 (y ), x) < /2 para i = 1, . . . , k +1. Pela hip otese de indu c ao novamente, existe y1 tal que d(y1 , x1 ) < 1 e n1 tal que d(T in1 (y1 ), y1 ) < 1 /2 para i = 1, . . . , k . Por desigualdade triangular temos que: d(T in0 (T (i1)n1 (y1 )), x0 ) < 2 para i = 1, . . . , k + 1. Procedendo desta maneira (tomando x2 tal que T n1 (x2 ) = y1 ) encontramos pontos x2 , x3 , X e naturais n2 , n3 , . . . tais que para todo l temos: d(T inl1 (xl ), xl1 ) d(T
i(nl1 +nl2 )
<
/2 /2 /2 para i = 1, . . . , k + 1.
(xl ), xl2 )
Por compacidade, existem l > m tal que d(xl , xm ) < /2. Por desigualdade triangular temos que: d(T i(nl+1 ++nm ) (xl ), xl ) < , para i = 1, . . . , k + 1. Logo, basta tomar x = xl e n = nl1 + + nm para nalizar a prova do teorema.
1.9.5
O exemplo de F. Behrend
Conforme anunciamos na observa c ao 1.7.1, primeiramente vamos construir exemplos de subconjuntos S do conjunto dos inteiros n ao-negativos N sem nenhuma progress ao aritm etica de tamanho 3 e com carlog N dinalidade |S | N ; em seguida, adaptaremos esta t ecnica para estudar o comportamento da fun c ao c(3, ). Dados d 2, n 2 e k n(d 1)2 , considere Sk (n, d) o conjunto de todos os n umeros inteiros da forma
1 2
2 log 2+
x = a1 + a2 (2d 1) + + an (2d 1)n1 cujos d gitos ai na base (2d 1) est ao sujeitos as restri c oes 0 ai < d e x
2 2 := a2 1 + + an = k.
47
Note que Sk (n, d) n ao cont em progress oes aritm eticas de tamanho 3: com efeito, caso existissem x, x , x Sk (n, d) tais que x + x = 2x , ent ao x + x = 2x = 2 k e x + x = 2 k.
Logo, como a igualdade na desigualdade triangular x + x x + x s o pode ocorrer quando os vetores (a1 , . . . , an ) e (a1 , . . . , an ) s ao proporcionais, vemos que x = x = x (porque estes vetores tem normas iguais por hip otese). Por outro lado, existem dn vetores (a1 , . . . , an ) satisfazendo a restri c ao 0 ai < d e n(d 1)2 + 1 valores poss veis para k . Consequentemente, para algum k = K0 , Sk (n, d) deve ter cardinalidade ao menos dn dn2 > . 2 n(d 1) + 1 n Como todos os elementos de Sk (n, d) possuem m odulo < (2d 1)n , se denirmos (N ) := max{|S | ; S [1, N ], S sem nenhuma 3-PA}, obtemos que ((2d 1)n ) > dn2 /n.
2 log N log 2
Agora, xado > 0 e dado N grande, escolhemos n = e d satisfazendo (2d 1)n N < (2d + 1)n , de maneira que (N ) ((2d 1)n ) > = dn2 (N 1/n 1)n2 > n 2n2 n
N 1(2/n) (1 N 1/n )n2 2n2 n (n1) log 2 log n N 1(2/n) = N 1(2/n) log N log N > 2n1 n >N
1 2
2 log 2+ log N
48
Agora pretendemos modicar ligeiramente o racioc nio anterior para estudar o comportamento da fun c ao c(3, ): xamos d, n 1 inteiros (a serem escolhidos mais tarde) e denimos : {1, . . . , N } {0, . . . , 2d 1}n por
1 (x) := ( x/(2d 1)i mod(2d 1))n i=0 .
e dena Ak (n, d) := 1 (Sk (n, d)). Conforme j a sabemos, Sk (n, d) e livre de 3-PA (exceto as 3-PAs triviais {x, x, x}). Isto implica que Ak (n, d) s o pode conter progress oes aritm eticas (n, n + r, n + 2r) onde r e um m ultiplo de (2d 1)n . Em particular, o n umero m aximo de 3-PAs em Ak (n, d) e N 2 /(2d 1)n . Por outro lado, quando (x) {0, . . . , d 1}n , a probabilidade de x pertencer a Ak (n, d) e n(d1 1)2 +1 . Logo, temos a seguinte cota inferior para a cardinalidade de Ak (n, d): |Ak (n, d)| c n 2 N. nd2
Tomando n = c log(1/ ) e d = c , obtemos que, para algum k , o conjunto Ak (n, d) satisfaz |Ak (n, d)| c N e o n umero m aximo de 3-PAs em Ak (n, d) e c log(1/) N 2 . Em outras palavras, c(3, ) c log(1/) .
Cap tulo 2
O principal objetivo deste cap tulo e apresentar as id eias da prova do teorema de Green e Tao. Grosseiramente falando, a prova deste teorema consiste em dois passos: generaliza-se o teorema de Szemer edi para o contexto de medidas pseudo-aleat orias obtendo-se assim o teorema de GreenTao-Szemer edi (veja a se c ao 2.2 para mais detalhes); prova-se a exist encia de medidas pseudo-aleat orias nos primos (ao longo das linhas dos recentes resultados de GoldstonYldrm). Uma vez que estes dois fatos j a estejam provados, veremos que o teorema de Green e Tao segue diretamente (veja a se c ao 2.2). Por em, antes de entrar (na se c ao 2.4) nos detalhes do esbo co delineado acima , pretendemos motivar os conceitos e t aticas da prova do teorema de Green-Tao-Szemer edi atrav es do esquema de prova do teorema de Roth (o qual corresponde ao caso particular k = 3 49
50
no teorema de Szemer edi) na se c ao 2.3 (enquanto que iremos deixar as discuss oes relativas aos resultados de Goldston-Yldrm para o cap tulo 3). A organiza c ao deste cap tulo ser a assim: na se c ao 2.2 apresentaremos mais detalhadamente o esbo co da prova do teorema de Green-Tao; em particular, iremos enunciar precisamente os teoremas de Green-Tao-Szemer edi e GoldstonYldrm; nalmente, demonstraremos o teorema de Green-Tao assumindo estes dois resultados. na se c ao 2.3 esbo caremos a prova do teorema de Roth sobre a exist encia de uma quantidade innita de progress oes aritm eticas de tamanho 3 (i.e., 3-PA) em conjuntos de densidade positiva, o qual servir a de motiva c ao para a prova do teorema de GreenTao-Szemer edi. nalizando este cap tulo, na se c ao 2.4, faremos a demonstra c ao do teorema de Green-Tao-Szemer edi. Fechando esta introdu c ao, observamos que ao m deste cap tulo o teorema de Green e Tao estar a demonstrado exceto pelos resultados de Goldston e Yldrm, os quais deixaremos para discutir apenas no pr oximo cap tulo.
2.2
Durante o resto deste cap tulo, n os iremos xar k 3 o tamanho da progress ao aritm etica (PA) de primos que desejamos encontrar e N := |ZN | ser a um n umero primo (grande) de modo que os elementos 1, . . . , N 1 podem ser invertidos em ZN . Escreveremos o(1) para denotar quantidades que tendem a zero quando N e O(1) para denotar quantidades que cam limitadas quando N . Em certos lugares do texto, as quantidades o(1) (resp., O(1)) tendem a zero (resp., permanecem limitadas) dependendo de certos par ametros (p. ex., j, ). Quando isto ocorrer, colocaremos os par ametros subscritos
51
nas quantidades (p. ex., oj, (1)). Al em disso, abreviaremos quantidades da forma O(1)X (resp., o(1)X ) como O(X ) (resp., o(X )). Com estas nota c oes em m aos, podemos iniciar a contextualiza c ao do teorema de Green e Tao. Lembre que este teorema diz que para todo k 3, existem innitas k -PA (i.e., progresso es aritm eticas de tamanho k ) formadas (apenas) por n umeros primos. Al em disso, sabemos que o teorema de Szemer edi garante a exist encia de muitas k PA em subconjuntos de inteiros com densidade positiva. Mais ainda, j a sabemos tamb em que o teorema de Szemer edi n ao implica o teorema de Green e Tao porque os primos possuem densidade zero. Entretanto, a id eia de Green e Tao e: apesar do teorema de Szemer edi n ao se aplicar diretamente, podemos modic a-lo para que ele funcione em subconjuntos com comportamento (aditivo) fracamente aleat orio1 (ou mais precisamente pseudo-aleat orio ); este resultado ser a chamado neste livro de teorema de Green-Tao-Szemer edi ; isto reduz o teorema de Green-Tao a provar que o conjunto dos n umeros primos e pseudo-aleat orio, um fato que segue mais ou menos diretamente dos trabalhos de Goldston e Yldrm. Daqui em diante, iremos detalhar os itens discutidos acima. Para isso, come caremos com a deni c ao de pseudo-aleatoriedade : Deni c ao 2.2.1. Dizemos que : ZN R+ e uma medida se E( ) = 1 + o(1). Uma medida : ZN R+ satisfaz a (m0 , t0 , L0 )-condi c ao de formas lineares se, para toda fam lia de m m0 formas lineares i : Zt Lij xj + bi , onde Lij N ZN , t t0 , digamos i (x) = s ao racionais com numeradores e denominadores menores que L0 , as t-uplas (Lij )1j t n ao s ao m ultiplas racionais entre si e bi Z quaisquer, ent ao: E( (i (x)) . . . (m (x))|x Zt N ) = 1 + om0 ,t0 ,L0 (1).
1 O ponto de pedir aleatoriedade fraca e que desejamos depois usar o resultado para os primos.
52
Uma medida : ZN R+ satisfaz a m0 -condi c ao de correla c ao se para todo m m0 existem pesos m : ZN R+ tais que q ) = Om,q (1) (condi c ao de momentos) para todo 1 q < E(m e E( (x + h1 ) . . . (x + hm )|x Z)
i<j m
m (hi hj ).
para quaisquer hi ZN (n ao necessariamente distintos). Uma medida : ZN R+ e k -pseudo-aleat oria se : ZN R+ satisfaz a (k 2k1 , 3k 4, k ) condi c ao de formas lineares e a 2k1 condi ca o de correla c ao. A deni c ao pode parecer estranha no in cio, por em ela e baseada em trabalhos de Goldston-Yldrm, onde estuda-se majorantes para fun c oes modicadas de von Mangoldt (que por sua vez est ao intimamente ligadas aos n umeros primos). Intuitivamente, as condi c oes acima falam que o conjunto de inteiros no suporte de tem propriedades aritm eticas (aditivas) fracamente aleat orias. A principal vantagem destas condi c oes e que elas s ao sucientemente fracas para incluir o caso dos primos (apesar deste fato estar longe de ser trivial) e permitir o uso de uma vers ao do teorema de Szemer edi para o suporte destas medidas (veja o teorema 2.2.1 logo abaixo). Munidos do conceito de pseudo-aleatoriedade, estamos aptos para enunciar um dos resultados principais do trabalho de Green e Tao [5, Theorem 3.5]: Teorema 2.2.1 (Green-Tao-Szemer edi). Se k 3, 0 < 1 e e k -pseudo-aleat oria ent ao para toda f : ZN R+ tal que 0 f (n) (n) e E(f ) temos que: E(f (n)f (n + r) . . . f (n + (k 1)r)|n, r ZN ) c(k, ) ok, (1). Observa c ao 2.2.1. Note que fazendo const 1 no teorema acima obtemos automaticamente o teorema de Szemer edi como corol ario. A prova do teorema 2.2.1 e baseada nas id eias de Furstenberg (de recorr encia m ultipla em teoria erg odica) e nas normas de Gowers. Por enquanto, adiaremos a demonstra c ao do teorema 2.2.1 para a se c ao 2.4.
53
Visando aplicar o teorema 2.2.1 para nalizar a prova do teorema de Green e Tao, agora vamos ver como construir medidas (pseudo) aleat orias relacionadas aos primos. Iniciamos por relembrar a deni c ao: Deni c ao 2.2.2. A fun c ao de von Mangoldt e (n) := log p se n = pm 0 caso contr ario .
Lembre que esta fun c ao est a (essencialmente) suportada nos primos (pois a contribui c ao de pot encias de primos e pequena), de modo que ela funciona como uma fun c ao caracter stica dos primos. Em termos dela, sabemos que o teorema de n umeros primos pode ser reformulado como E((n)) = 1 + o(1). Para usar o teorema de GreenTao-Szemer edi no contexto dos n umeros primos, precisamos achar uma medida k -pseudoaleat oria tal que (n) c(k )(n). Por em e sabido que tais medidas n ao existem !2 Para contornar esse problema usa-se o W-trick. Seja w = w(N ) um par ametro que pode crescer com N por em lentamente (i.e., w(1 = o (1)) e seja W = p . A fun c ao p w ( N ); p e primo N) de von Mangoldt modicada e: (n) = log(W n + 1) se W n + 1 e primo 0 caso contr ario .
(W ) W
Agora temos uma fun c ao que ainda v e os primos por em deixamos de ver pot encias e certas n ao-uniformidades vindas de produtos de fatores pequenos. Considere w(n) com crescimento lento3 , digamos w(n) << log log log n, de maneira que o teorema de Dirichlet diz que: 1 N (n) = 1 + o(1).
nN
2 Basicamente porque os primos e a fun c ao de van Mangoldt est ao concentrados, para todo q > 1 inteiro, nas (q ) classes residuais a(mod q ) tais que (a, q ) = 1 (onde (q ) e a fun c ao de Euler), enquanto que medidas pseudo-aleat orias devem estar equidistribu das em todas as classes de congru encias m odulo q ; como o quociente (q )/q pode ser feito arbitrariamente pequeno, vemos que n ao existem majorantes pseudo-aleat orios da fun ca o de van Mangoldt. 3 Apesar de pedirmos crescimento lento para w (n), pode-se constatar que, ao revisar os argumentos do cap tulo 3, basta tomar w(n) uma constante bem grande (dependendo apenas de k mas n ao de N ).
54
Em outras palavras, e uma medida. Nesta situa c ao, o segundo resultado chave do trabalho de Green-Tao [5, Proposition 9.1] (baseado nos trabalhos de Goldston-Yldrm) e: Teorema 2.2.2. Se k = 1/(k + 4)!2k e N e um primo grande ent ao existe uma medida k -pseudoaleat oria tal que (n) 2k5 k 1 (n) para k N n 2 k N . Assim como boa parte dos resultados importantes sobre os n umeros primos, a prova do teorema 2.2.2 passa pelo uso de certas regi oes livre de zeros da fun c ao zeta de Riemann. Por em, para n ao interrompermos o uxo de id eias, deixaremos para o cap tulo 3 deste livro a demonstra c ao completa do teorema 2.2.2. Finalmente, assumindo momentaneamente os teoremas 2.2.1 e 2.2.2, demonstraremos o teorema de Green e Tao.
2.2.1
Suponha que os teoremas 2.2.1 e 2.2.2 sejam v alidos. Se 1 f (n) = k+5 (n)1[ k N,2 k N ] k2 ent ao: E(f ) = 1 N k 2k+5 (n) =
k N n2 k N
1 k 2k+5
k (1
+ o(1)).
Como o teorema 2.2.2 garante a exist encia de uma medida k -pseudoaleat oria majorando 2k5 k 1 em [ k N, 2 k N ], podemos aplicar o teorema 2.2.1 de Green-Tao-Szemer edi para concluir que: E(f (n) . . . f (n + (k 1)r)|n, r ZN ) c(k, k 1 2k3 k ) o(1).
1 Como o caso r = 0 contribui com um fator O( N logk N ) = o(1) na express ao, obtemos a exist encia de uma P.A. em ZN (tomando N grande). Mais ainda, sendo k < 1/k e k 3 temos que essa P.A. e uma P.A. leg tima de inteiros (e n ao apenas uma k -PA em ZN ).
55
2.2.2
Uma vez que j a reduzimos o teorema de Green e Tao aos teoremas 2.2.1 e 2.2.2, dedicaremos o resto deste cap tulo a prova do teorema 2.2.1 de Green-Tao-Szemer edi (enquanto que a prova do teorema 2.2.2 car a para o cap tulo 3). Entrentanto, para ilustrar as id eias por tr as da prova do teorema de Green-Tao-Szemer edi (as quais podem ser t ecnicas e duras numa primeira leitura), faremos a prova do teorema de Roth (ou seja, do teorema de Szemer edi no caso k = 3). Em seguida, passaremos a demonstra c ao propriamente dita do teorema de Green-Tao-Szemer edi e assim encerraremos o presente cap tulo.
2.3
Conforme dissemos na introdu c ao, para sentir o sabor da prova do teorema de Green-Tao-Szemer edi, vamos ver um pequeno argumento para encontrar 3-PA em conjuntos de densidade positiva, o qual, apesar de ser bem particular e espec co, cont em boa parte das id eias que iremos estudar em seguida. Denimos 3 (f, g, h) = E(f (n)g (n + r)h(n + 2r) : n, r ZN ). O teorema de Roth pode ser reformulado assim: Teorema 2.3.1. Para toda f : ZN R n ao-negativa com 0< f tem-se 3 (f, f, f ) c(3, ) o (1). Em outras palavras, queremos cotas inferiores para 3 (f, f, f ). Come camos com a observa c ao simples de que cotas superiores s ao bem f aceis de se obter: por exemplo, pela desigualdade de Young, |3 (f, g, h)| f
Lp L1 (ZN )
L (ZN )
Lq
Lr ,
1 1 se 1 p, q, r e p +1 q + r 2. Por outro lado, estamos interessados apenas em cotas inferiores para 3 e, a priori, as estimativas superiores n ao parecem ser u teis
56
para provar cotas inferiores. Entretanto, podemos decompor f como uma parte boa g = E(f ) e outra parte ruim b = f E(f ). Usando a multilinearidade de 3 , podemos decompor 3 (f, f, f ) em oito peda cos: 3 (f, f, f ) = 3 (g, g, g ) + + 3 (b, b, b). Por hip otese, E(f ) , donde o primeiro termo e 3 (g, g, g ) 3 . Logo, boas cotas superiores dos outros termos (p.ex., a soma dos sete termos restantes s ao de magnitude menor que 3 ) nos levariam a concluir o teorema de Roth. Por em, a estimativa acima (via desigualdade de Young) n ao e boa o suciente, a menos que esteja pr oximo a 1 (digamos > 2/3). Mas, podemos renar nosso argumento de cotas superiores usando a transformada de Fourier : f ( ) := E(f (x)eN (x ) : x ZN ), onde eN (x) := exp(2ix/N ). Da f ormula de invers ao f (x) =
ZN
f ( )eN (x )
As esperan cas no lado direito acima s ao 1 se 1 = 3 e 2 = 21 e 0 caso contr ario. Em particular, 3 (f, g, h) =
ZN
f ( )g (2 )h( ). = f h e da desigual(2.3.1)
L2 (ZN )
l2 (ZN )
l4 (ZN )
l4 (ZN ) .
57
Proposi c ao 2.3.1. Seja f com uma decomposi c ao f = g + b onde g e g Ent ao 3 (f, f, f ) = 3 (g, g, g ) + O( 5/4 b e 3 (f, f, f ) = 3 (g, g, g ) + O( b Demonstra c ao. Por hip otese, g L2 (ZN ) , b uma aplica c ao de Plancherel nos diz que g
l2 (ZN ) , l (ZN ) ). l4 (ZN ) ) L1 (ZN ) , L (ZN ) ,
b b
L (ZN )
= O(1)
L1 (ZN )
= O( ).
L2 (ZN )
= O( 1/2 ), donde
l2 (ZN )
= O( 1/2 ).
l (ZN )
= O( ).
l4 (ZN )
= O( 3/4 ).
A proposi c ao segue decompondo 3 (f, f, f ) em oito partes e usando (2.3.1). Esta proposi c ao sugere que uma estrat egia para conseguir cotas inferiores n ao-triviais de 3 (f, f, f ) passa por decompor f = g + b em uma fun c ao boa g tendo o valor 3 (g, g, g ) alto e uma fun c ao ruim b com norma l4 da sua transformada de Fourier pequena. O leitor atento percebeu que j a indicamos uma possibilidade de decomposi c ao: g = E(f ) e b = f E(f ). Note que temos a cota 3 (g, g, g ) 3 , uma estimativa relativamente boa, mas n ao temos boas cotas para b l4 (ZN ) ; as nossas melhores cotas at e o momento s ao O( 3/4 ), o que e ruim pois permite que o erro domine o termo principal.4
4 Com
58
Entretanto, podemos eliminar o caso de b = f E(f ) linearmente uniforme, i.e., b l 2 /100. O problema e o que fazer se b n ao e linearmente uniforme. Neste caso, adota-se a id eia de usar um argumento de incremento na energia, i.e., Argumento de incremento de energia: uma vez que b n ao e uniforme, trocamos g por uma fun c ao com norma L2 maior. Ao nal de um n umero nito de passos, espera-se chegar a uma fun c ao b uniforme (j a que a energia e nita). Logicamente, esta id eia tem que ser trabalhada em detalhes para ver que ela conduz ao m da prova do teorema de Roth. Para isto, vamos introduzir a deni c ao: Deni c ao 2.3.1. Dado K inteiro positivo, chamaremos as fun c oes f : ZN C da forma
K
f (x) =
j =1
cj exp(2ij x/N ),
onde |cj | 1 e j ZN de fun c oes K -quase-peri odicas. Al em disso, xado > 0, dizemos que uma fun c ao f e (, K )-quase-peri odica se f fqp L2 (ZN ) para alguma fun c ao K -quase-peri odica fqp . Observa c ao 2.3.1. Note que se f e g s ao fun c oes (, K )-quaseperi odicas ent ao f g e (2, K 2 )-quase-peri odica. O ponto importante no conceito de fun c oes f quase-peri odicas e que podemos obter boas cotas inferiores de 3 (f, f, f ) neste caso: Lema 2.3.1 (M ultipla Recorr encia de fun c oes quase-peri odicas). Dados 0 < < 1, M 1, 0 < 3 /100M e 0 f M uma fun c ao n ao-negativa limitada (, K )-quase-peri odica com E(f ) , ent ao 3 (f, f, f ) c(K, M, ) oK,M, (1), para algum c(K, M, ) > 0. Demonstra c ao. Seja fqp (x) = j =1 cj exp(2ixj /N ) uma fun c ao K -quase-peri odica aproximando f e tome = (K, ) > 0 uma constante pequena. Pelo teorema de aproxima c ao simult anea de Dirichlet
K
59
(o qual decorre do pr ncipio da casa de pombos), temos E( rj para todo j ; r ZN ) c(, K ). (2.3.2)
Aqui e fundamental ressaltar que a constante c(, K ) > 0 n ao depende de N . Por outro lado, considerando a din amica T (x) := x + 1 e xando r tal que rj (onde 1 j K ), temos: fqp T r fqp
L2 (ZN )
C (K ),
3 /50M + C (K ).
3 /50M + C (K ).
3 /2 + C (K )M .
Entretanto, sendo f 0, usando nossa hip otese E(f ) e a desigualdade de H older, obtemos f3
L1 (ZN )
3 L1 (ZN )
3 .
Logo, E(f (f T r ) (f T 2r )) 3 /2 C (K )M . Escolhendo > 0 pequeno dependendo de , K e M , segue que E(f (f T r ) (f T 2r )) 3 /4. Como f 0, tomando a m edia em r e usando (2.3.2), podemos concluir E(f (n) (f T r )(n) (f T 2r )(n) | n, r ZN ) 3 c(, K )/4. Sendo 3 (f, f, f ) = E(f (n) (f T r )(n) (f T 2r )(n) | n, r ZN ), terminamos a demonstra c ao do lema. Visando a utiliza c ao deste lema, estaremos interessados em decompor fun c oes arbitr arias em uma soma de uma fun c ao quase-peri odica e uma fun c ao linearmente uniforme. Com este intuito, veremos como construir sigma- algebras cujas fun c oes mensur aveis sejam todas quase-peri odicas:
60
Lema 2.3.2. Sejam 0 < 1 e uma fun ca o da forma (x) := exp(2ix/N ). Ent ao, existe uma sigma- algebra B, tal que E(|B, ) L (ZN ) C e, para todo > 0 existe K = K (, ) > 0 com a seguinte propriedade: toda f fun c ao B, -mensur avel satisfazendo a estimativa f L (ZN ) 1 e (, K )-quase-peri odica. Demonstra c ao. Seguiremos um processo rand omico para obter a sigma- algebra desejada: tome um n umero complexo no quadrado unit ario e seja B, a sigma- algebra cujos atomos tem a forma 1 (Q), onde Q e um quadrado tal que os v ertices de Q est ao sobre Z2 . Note que esta sigma- algebra possui O(1/) atomos e E(|B, ) L (ZN ) C. Em particular, resta apenas vericar a segunda parte do lema para nalizar a prova. Observe que basta vericar o fato desejado para = 2n (onde n 1) com probabilidade 1 O( ) em . Como B, possui O(1/) atomos, e suciente considerar o caso de f igual a fun c ao caracter stica de um atomo A de B, e provar a propriedade desejada com probabilidade 1 O(c() ). Note que nesta situa c ao podemos reescrever f como f (x) = 1Q ((x) ). Aplicando o teorema de aproxima c ao de Weierstrass no disco |z | O(1/), encontramos um polin omio P (z, z ) com C (, ) termos e coecientes limitados por C (, ) tal que |P | 1 no disco |z | O(1/) e |1Q (z ) P (z, z )| = O(c() ) para todo z neste disco exceto por um conjunto de medida O(c()2 2 ). Isto implica que 1Q ((x) ) P ((x) , (x) ) c()
L2 (ZN )
com probabilidade 1 O(c() ) em . Por em P ((x) , (x) ) e uma combina ca o linear de C (, ) fun c oes da forma exp(2ix/N ) com coecientes limitados por C (). Ou seja, P ((x) , (x) ) e uma fun c ao K -quase-peri odica (onde K = C (, )). Em particular, f e uma fun c ao (, K )-quase-peri odica. Isto conclui a prova deste lema.
61
Um corol ario u til deste lema e: Corol ario 2.3.1. Sejam 0 < j 1 e j (x) = exp(2ixj /N ), onde j = 1, . . . , n. Denote por Bj ,j as sigma- algebras fornecidas pelo lema acima. Ent ao, para todo > 0, existe K = K (n, , 1 , . . . , n ) tal que toda f fun c ao B1 ,1 Bn ,n -mensur avel satisfazendo a estimativa f L (ZN ) 1 e (, K )-quase-peri odica. Demonstra c ao. Como o n umero de atomos na sigma- algebra B1 ,1 Bn ,n e C (n, 1 , . . . , n ), basta provar o corol ario no caso em que f e a fun c ao caracter stica de um atomo de B1 ,1 Bn ,n . Por em, nesta situa c ao f e o produto de n fun c oes de caracter sticas de atomos das sigma- algebras Bj ,j . Logo, o corol ario segue diretamente da combina c ao do lema anterior com a observa c ao 2.3.1. Outra propriedade interessante destas sigma- algebras (al em de conter fun c oes quase-peri odicas) e a identica c ao de obstru c oes para a uniformidade linear : Lema 2.3.3. Sejam b uma fun c ao limitada com b l (ZN ) > 0 e 0< . Ent ao, existe uma fun c ao da forma (x) = exp(2ix/N ) tal que a sigma- algebra B, associada satisfaz E(b|B, )
L2 (ZN )
/2.
Demonstra c ao. Por deni c ao, existe uma frequ encia tal que |b( )| , i.e., |E(b(n) exp(2in/N )|n ZN )| . Denimos (x) := exp(2ix/N ) e reescrevemos a desigualdade acima como | b, L2 (ZN ) | . Pelo lema anterior, sabemos que existe uma sigma- algebra B, tal que E(|B, ) L (ZN ) C. Por outro lado, sendo b limitado e a esperan ca condicional autoadjunta, podemos combinar as duas estimativas acima para concluir que E(b|B, ), = b, E(|B, ) C.
L2 (ZN )
Ou ltimo ingrediente para a prova completa do teorema de Roth e a seguinte proposi c ao de estrutura: Proposi c ao 2.3.2 (teorema quantitativo de Koopman-von Neumann). Sejam F : R+ R+ R+ uma fun c ao qualquer, 0 < 1, f uma fun c ao n ao-negativa limitada satisfazendo E(f ) e := 3 /100. Ent ao, existem uma constante 0 < K C (, F ) e uma decomposi c ao f = g + b tais que g e limitada n ao-negativa, E(g ) = E(f ), g e (, K )-quase-peri odica e b verica b
l (ZN )
F (, K ).
(2.3.3)
Demonstra c ao. A id eia ser a utilizar o argumento de incremento de energia para construir g e b. Para esta constru c ao, necessitaremos de duas sigma- algebras B e B as quais sempre ter ao a forma B1 ,1 Bn ,n durante todo o argumento. Mais ainda, iremos querer estimativas do tipo E(f |B )
2 L2 (ZN )
E(f |B )
2 L2 (ZN )
+ 2 /4.
(2.3.4)
Observe que, pelo teorema de Pit agoras, a estimativa acima equivale a E(f |B ) E(f |B ) 2 L2 (ZN ) /2. A prova desta proposi c ao utilizar a o seguinte algoritmo: Est agio 0 : Come camos com B e B iguais a sigma- algebra trivial {0, ZN }. Note que a desigualdade (2.3.4) e satisfeita automaticamente neste est agio. Est agio 1 : Considere B uma sigma- algebra da forma B1 ,1 Bn ,n , onde j (x) = exp(2ixj /N ). Sendo a fun c ao E(f |B ) uma fun c ao limitada e B -mensur avel, o corol ario 2.3.1 diz que podemos encontrar K dependendo de , n, 1 , . . . , n tal que E(f |B ) e (/2, K )-quase-peri odica. Est agio 2 : Fazemos g = E(f |B ) e b = f E(f |B). Se b l (ZN ) F (, K ), encerramos o algoritmo. Caso contr ario, vamos para o est agio 3;
63
Est agio 3 : Como n ao terminamos o algoritmo no est agio 2, temos b l > F (, K ). Pelo lema 2.3.3, podemos encontrar F (, K ) e uma fun c ao da forma (x) = exp(2ix/N ) com uma sigma- algebra associada B, tal que E(b|B, ) Da identidade E(b|B, ) = E(E(f |B B, ) E(f |B )|B, ) e do teorema de Pit agoras tiramos tamb em que E(f |B B, ) E(f |B)
L2 (ZN ) L2 (ZN )
F (, K )/2.
F (, K )/2.
Aplicando o teorema de Pit agoras novamente, obtemos a estimativa de incremento de energia : E(f |B B, )
2 L2 (ZN )
E(f |B )
2 L2 (ZN )
F (, K )2 /4.
Est agio 4 : Trocamos B por B B, . Caso ainda tenhamos a estimativa (2.3.4), retornamos para o est agio 2; caso contr ario, trocamos B por B e vamos para o est agio 1. Armo que este algoritmo termina. Com efeito, xado B (e consequentemente K ), cada vez que passamos pelo est agio 4 a ener2 gia E(f |B ) 2 aumenta de F ( , K ) / 4. Logo, o algoritmo terL2 (ZN ) mina ou a estimativa (2.3.4) e violada em C (, K, F ) = C 2 /F (, K )2 passos. No segundo caso, trocamos B pela sigma- algebra associada as C (, K, F ) fun ` c oes e par ametros C (, F, K )1 aparecendo neste processo. Isto implica que a quantidade K associada a esta nova sigma- algebra B ser a trocada por uma quantidade da forma 2 C (, K, F ) e a energia E(f |B ) 2 cas L2 (ZN ) cresceu pelo menos /4 gra a viola c ao de (2.3.4). Por outro lado, o fato de f ser limitada garante que esta energia n ao pode ser maior que O(1). Logo, estas trocas de B descritas acima s o podem ser feitas no m aximo O( 2 ) vezes. Juntando estas informa c oes vemos que o algoritmo inteiro termina em C (, F ) passos (e a quantidade K nunca ultrapassa C (, F ) durante todo o processo). Isto conclui a prova da proposi c ao.
64
Finalmente, vejamos como encerrar a demonstra c ao do teorema de Roth: seja F : R+ R+ R+ uma fun c ao que escolheremos em alguns instantes e apliquemos a proposi c ao acima para decompor f = g + b. Pelo lema 2.3.1, sabemos que 3 (g, g, g ) c(, K ) o,K (1). Combinando esta desigualdade com (2.3.3) e a proposi c ao 2.3.1, temos 3 (f, f, f ) c(, K ) + O( F (, K )) o,K (1). Tomando F sucientemente pequena, podemos absorver a segunda parcela do lado direito pela primeira parcela, de maneira que 3 (g, g, g ) c(, K )/2 o,K (1). Como K C (, F ) = C ( ), o teorema de Roth est a provado. Encerrando esta se c ao, recapitularemos abaixo os dois passos principais da prova do teorema de Roth (o qual inspirar a a demonstra c ao do teorema de Green-Tao-Szemer edi): primeiro passo: denir uma classe de normas (ditas normas de Gowers . U k1 ) para controlar a esperan ca de uma k -PA estar no suporte de f ; note que, pela proposi c ao 2.3.1, no caso k = 3, a norma l4 da transformada de Fourier e um bom candidato;5 segundo passo: generalizar o processo de incremento na energia acima discutido.
2.4
Nesta u ltima se c ao do presente cap tulo, provaremos ao longo de v arias subse c oes os resultados que nos ajudar ao a formalizar as id eias acima. Entretanto, como as demonstra c oes s ao t ecnicas, o leitor pode
5 De fato, no caso k = 3, a norma de Gowers . e a norma l4 da transforU2 mada de Fourier; veja a observa c ao 2.4.1 na pr oxima subse c ao.
65
se perder um pouco dos nossos objetivos nais. Por isso, daqui em diante, ao nal de cada subse c ao, faremos um resumo dos resultados provados e como eles se encaixam na estrat egia de incremento de energia acima tra cada.
2.4.1
Normas de Gowers
Seja {0, 1}d o cubo discreto d-dimensional, e w = (w1 , . . . , wd ) ao w.h := w1 .h1 + . . . wd .hd . Se {fw }w{0,1}d {0, 1}d . Se h Zd N ent o produto interno de Gowers e: (fw )
Ud
:= E(w fw (n + w.h)|n ZN , h Zd N ).
A primeira observa c ao e que se fw = f para todo w ent ao (fw ) U d 0. Assim podemos denir as normas de Gowers (usando fw = f ): f
Ud
:= (f )
1 2d Ud
Uma ferramenta basilar para a an alise das normas de Gowers e a desigualdade de Gowers-Cauchy-Schwarz : | (fw )
Ud |
w fw
Ud .
A prova desta desigualdade segue do fato de que, quando fw n ao depende de wd , vale a igualdade (fw ) E(
w {0,1}d1 Ud
= E(E(
w {0,1}d1
fw ,0 (y + w .h ) : y ZN )
(fw ,0 )
1 /2 Ud
(fw ,1 )
1 /2 . Ud
Como podemos trocar wd por qualquer outro d gito, aplicando a desigualdade acima d vezes, obtemos a desigualdade de Gowers-CauchySchwarz.
66
Al em disso, a f ormula binomial e a multilinearidade do produto interno nos levam a desigualdade triangular de Gowers : f +g
Ud
Ud
+ g
Ud .
Ud ,
a qual e uma consequ encia de Gowers-Cauchy-Schwarz aplicado a fw := 1 quando wd = 1 e fw := f quando wd = 0. Observa c ao 2.4.1. Como . U d s ao homog eneas, acabamos de mostrar ao e norma pois que . U d s ao semi-normas. Entretanto, . U 1 n f U 1 = E(f ). Por em, pode-se provar (por c alculo direto) que: f
U2
=(
f ( )4 ) 4 ,
onde f ( ) = E(f (x)e2i/N ; x ZN ) e vale a f ormula de invers ao 2ix/N f ( )e . Consequentemente, as normas de Gowers f (x) = para d 2 s ao normas genu nas. Com esta nota c ao, a generaliza c ao natural da proposi c ao 2.3.1 e: Teorema 2.4.1 (von Neumann generalizado). Se e uma medida k -pseudoaleat oria e f0 , . . . , fk1 L1 (ZN ) s ao tais que |fj (x)| 1 + (x) ent ao se c0 , . . . , ck1 ZN s ao distintos, temos que: E(j fj (n + cj r)|n, r ZN ) = O(inf fj
U k 1 )
+ o(1).
Demonstra c ao. Come cemos com algumas simplica c oes: a menos de trocar por ( + 1)/2, rearranjar fj , cj e transladar x por c0 r, podemos assumir que |fj (x)| (x), x ZN , j = 0, . . . , k 1,
0 j k 1
inf
fj
U k1
= f0
U k 1
e c0 = 0.
67
fj (x + cj r)|x, r ZN = O( f0
U k1 )
+ o(1).
Dividiremos a demonstra c ao desta igualdade em duas partes: na primeira provaremos uma desigualdade de Cauchy-Schwarz e a aplicaremos k 1 vezes ao lado esquerdo da igualdade acima, obtendo k 1 assim uma estimativa de E por uma j =0 fj (x + cj r )|x, r ZN soma com pesos de f0 sobre cubos (k 1)-dimensionais; na segunda mostraremos que a condi c ao de formas lineares implica que estes pesos s ao iguais a 1 em m edia, o que nos permitir a que deduzir o resultado desejado. Para enunciar a desigualdade de Cauchy-Schwarz de modo razo avel, introduziremos um pouco de nota c ao. Dados 0 d k 1, dois vetores y = (y1 , . . . , yk1 ) (ZN )k1 e y = (ykd , . . . , yk1 ) (ZN )d , e um conjunto S {k d, . . . , k 1}, denimos o vetor y (S ) = (S ) (S ) (y1 , . . . , yk1 ) (ZN )k1 por yi
(S )
:=
yi yi
se i /S se i S .
Em outras palavras, S indica quais componentes de y (S ) prov em de y ao inv es de y . Lema 2.4.1. Sejam : ZN R+ uma medida e 0 , . . . , k1 : (ZN )k1 ZN fun c oes das k 1 vari aveis yi tais que i n ao depende de yi para 1 i k 1. Suponha que f0 , . . . , fk1 L1 (ZN ) s ao fun c oes com |fi (x)| (x) para todo x ZN e 0 i k 1. Para cada 0 d k 1 e 1 i k 1, dena
kd1 i=0
Jd :=E
S {kd,...,k1} k1
fi (i (y (S ) ))
i=kd
68 e
S {kd,...,k1}
Pd := E
Ent ao para todo 0 d k 2, temos a desigualdade |Jd |2 Pd Jd+1 . Prova do lema 2.4.1. Considere Jd . Como kd1 n ao depende de ykd1 , podemos tirar as quantidades dependentes de kd1 da m edia em ykd1 , o que nos permite escrever Jd = E(G(y, y )H (y, y )|y1 , . . . , ykd2 , ykd , . . . , yk1 , ykd , . . . , yk1 ZN ), onde G(y, y ) :=
S {kd,...,k1}
e
kd2
H (y, y ) := E(
S {kd,...,k1} i=0 k 1
fi (i (y (S ) )) 1/2 (i (y (S ) ))|ykd1 ZN ).
i=kd1
Usando Cauchy-Schwarz,
|Jd |2 E(|G(y, y )|2 |y1 , . . . , ykd2 , ykd , . . . , yk1 , ykd , . . . , yk1 ZN ) E(|H (y, y )|2 |y1 , . . . , ykd2 , ykd , . . . , yk1 , ykd , . . . , yk1 ZN ). Por outro lado, como |fkd1 (x)| (x) para todo x, E(|G(y, y )|2 |y1 , . . . , ykd2 , ykd , . . . , yk1 , ykd , . . . , yk1 ZN ) Pd .
69
Mais ainda, escrevendo a deni c ao de H (y, y ) e expandindo os quadrados trocando a vari avel ykd1 pelas novas vari aveis ykd1 , ykd1 , vemos que E(|H (y, y )|2 |y1 , . . . , ykd2 , ykd , . . . , yk1 , ykd , . . . , yk1 ZN ) = Jd+1 . Isto completa a prova. Aplicando este lema (k 1) vezes, obtemos |J0 |2
k1
k2
Jk1
d=0
2 Pd
k2d
J0 = E
i=0
i (y ) :=
j =1
ci cj
yj
r=
i=1
yi . ci
Agora a transforma c ao sobrejetiva : (ZN )k1 (ZN )2 denida por (y ) := (y1 + + yk1 ,
6 Estamos
y1 yk1 + + ) c1 ck1
70
tem n umero constante de pr e-imagens, donde uma conta simples mostra que
k1 j =0 k1 i=0
fj (x + cj r)|x, r ZN = E
= J0 .
Entretanto, Pd = 1 + o(1) para cada 0 d k 2, pois satisfaz a (2d , k 1 + d, k )-condi c ao de formas lineares. Em particular, das estimativas anteriores obtemos
2 J0
k 1
(1 + o(1))Jk1 .
Fixe y . Quando S varia sobre os subconjuntos de {1, . . . , k 1}, 0 (y (S ) ) varia no cubo (k 1)-dimensional {x + w h : w {0, 1}k1 }, onde x = y1 + + yk1 e hi = yi yi , i = 1, . . . , k 1. Logo, Jk1 = E W (x, h)
w{0,1}k1
W (x, h) = E(
w{0,1} i=1
1/2 (i (y + wh))
1 /2
k2
= E(
i=1 w{0,1}k1 ,wi =0
onde wh (ZN )k1 e o vetor com coordenadas (wh)j := wj hj e y (ZN )k1 e o vetor com componentes yj para 1 k 2 e yk1 := x y1 yk2 . Por em, a deni c ao da norma de Gowers dizem que E
w{0,1}k1
2k1 U k1 .
71
Por Cauchy-Schwarz, isto decorre imediatamente do seguinte lema: Lema 2.4.2 ( cobre uniformemente seus cubos). Para n = 0, 2, vale E |W (x, h) 1|n
w{0,1}k1
Demonstra c ao. Expandindo o quadrado, vemos que basta provar que, para q = 0, 1, 2, vale E W (x, h)q
w{0,1}k1
Por em, isto e uma consequ encia da condi c ao de formas lineares: no caso q = 0, aplique a (2k1 , k, 1)-condi c ao de formas lineares com vari aveis x, h1 , . . . , hk1 e formas lineares x + w h, w {0, 1}k1 ; no caso q = 1, aplique a (2k2 (k + 1), 2k 2, k )-condi c ao de formas lineares com vari aveis x, h1 , . . . , hk1 , y1 , . . . , yk2 e formas lineares i (y + w h), w {0, 1}k1 , wi = 0 para 1 i k 1 x + w h, w {0, 1}k1 ;
72
no caso q = 2, aplique a (k 2k1 , 3k 4, k )-condi c ao de formas lineares com vari aveis x, h1 , . . . , hk1 , y1 , . . . , yk2 , y1 , . . . , yk2 e formas lineares k 1 , wi = 0 para 1 i k 1 i (y + w h), w {0, 1} i (y + w h), w {0, 1}k1 , wi = 0 para 1 i k 1 x + w h, w {0, 1}k1 ; Aqui estamos adotando as conven c oes yk1 = x y1 yk2 e yk1 = x y1 yk2 . Claramente isto completa a prova do lema. Como dissemos antes, isto encerra a prova do teorema 2.4.1 de von Neumann generalizado. Observa c ao 2.4.2. Note que s o utilizamos a condi c ao de formas lineares na prova do teorema 2.4.1 Encerrando o estudo das normas de Gowers desta subse c ao, enunciaremos um lema simples e u til sobre a dist ancia de Gowers . U k1 entre as medidas k -pseudo-aleat orias e const 1: Lema 2.4.3. Suponha que e uma medida k -pseudo-aleat oria. Ent ao, 1 para todo d k 1. Demonstra c ao. Observe que a condi c ao de formas lineares para implicam facilmente que U k1 = 1 + o(1). Entretanto, podemos renar um pouco mais este racioc nio. Com efeito, note que, pela monotonicidade das normas de Gowers, basta ver que 1 U k1 = o(1). Multiplicando por 2k1 , reduzindo nosso problema a provar que E
w{0,1}k1 1 = o(1). (x + w h) x ZN , h Zk N Ud
= o(1),
73
para um A {0, 1}k1 xado, vemos que ela toma a forma E (1 (x)) . . . (|A| (x)) x Zk N , onde x := (x, h1 , . . . , hk1 ) e 1 , . . . , |A| s ao uma ordena c ao das |A| formas lineares x x + w h com w A. Obviamente estas formas lineares n ao s ao m ultiplas racionais entre si, donde a (2k1 , k, 1)condi c ao de formas lineares pode ser aplicada para concluir a prova do lema. Fa camos agora um resumo da discuss ao acima. Resumo da subse c ao Normas de Gowers: Nesta subse c ao identicamos normas naturalmente associadas ao problema de contar progress oes cujos elementos pertencem ao suporte de uma fam lia dada de fun c oes, a saber as normas de Gowers, e provamos o teorema 2.4.1, o qual diz que as normas de Gowers majoram o n umero de progress oes no suporte de uma sequ encia de fun c oes, a menos de um erro negligenci avel. Como vimos no caso do teorema de Roth, esta majora c ao e importante para obter boas cotas por baixo, o nosso objetivo inicial. O pr oximo est agio ser a a introdu c ao do conceito de anti-uniformidade, o qual desempenhar a papel importante no momento de decompor nossas fun c oes nas partes boa e ruim.
2.4.2
Anti-Uniformidade
Como as normas de Gowers para d 2 s ao normas genu nas podemos tomar as normas duais: g
(U k1 )
:=
f
sup
U k1
| f, g |,
1
74
onde f, g denota o produto L2 . Dizemos que g e anti-uniforme se g (U k1 ) = O(1) e g L = O(1). Observa c ao 2.4.3. Apesar de n ao pretendermos utilizar, note que no caso k = 3, a observa c ao 2.4.1 nos d a a f ormula: 3/4 g
(U 2 )
=
ZN
|g ( )|4/3
Observe que se g e anti-uniforme e | f, g | e grande ent ao f n ao pode ser uniforme pois | f, g | f U k1 g (U k1 ) . Logo temos uma obstru c ao para uniformidade. Al em disso temos uma maneira can onica de construir fun c oes antiuniformes: dada F L1 (ZN ), denimos a fun c ao dual de F como:
1 DF (x) := E(w=0 F (x + w.h)|h Zk N ).
Dentre as v arias propriedades elementares destas fun c oes, podemos citar: Lema 2.4.4. Seja uma medida k -pseudo-aleat oria e F L1 (ZN ) uma fun c ao qualquer. Tem-se: F, DF = F DF
(U k1 ) 2k1 U k 1 , 2k 1 1 U k 1
= F
e
L
se |F | 1 + , ent ao DF
22
k 1
+ o(1).
k1
Demonstra c ao. A identidade F, DF = F 2 U k1 segue diretamente das deni c oes da norma de Gowers e DF , e deixamos como exerc cio para o leitor. Para provar a segunda identidade, considere F = 0 (j a que o caso F = 0 e trivial) e note que a deni c ao das nor2k1 mas duais combinadas com a identidade F, DF = F U k1 dizem que basta provar que uma fun c ao f qualquer vale | f, DF | f
U k 1
2k1 1 . U k 1
Por em, a deni ca o de DF mostra que f, DF e o produto interno de Gowers (fw )w{0,1}k1 U k1 onde fw := f quando w = 0 e fw := F
75
caso contr ario, donde a desigualdade acima segue da desigualdade de Gowers-Cauchy-Schwarz. Finalmente, o u ltimo item segue da condi c ao de formas lineares. De fato, como F e limitada por 2(1 + )/2 := 21/2 , vemos que basta provar D1/2 (x) 1 + o(1) uniformemente para todo x ZN . Por outro lado, a deni c ao de fun c ao dual diz que D1/2 pode ser expandido como E
w{0,1}k1 {0}
1 1/2 (x + w h) h Zk . N
Como 1/2 e uma medida k -pseudo-aleat oria, segue da condi c ao de formas lineares que este termo e 1 + o(1). Observa c ao 2.4.4. Este eou nico ponto onde a condi c ao de formas lineares com termos n ao-homog eneos bi = 0 e aplicada; com efeito, na demonstra c ao acima, todos os bi s ao iguais a x. Chamaremos as fun c oes DF , onde F e limitada (pontualmente) por 1 + , de fun c oes anti-uniformes b asicas ; uma propriedade relevante destas fun c oes e sua boa distribui c ao com respeito a : Proposi c ao 2.4.1. Se e k -pseudoalet oria, : I K R e cont nua e DF1 , . . . , DFK fun c oes anti-uniformes b asicas, dena (x) = (DF1 (x), . . . , DFK (x)). Ent ao, 1, = ok, (1). Al em disso, a quantidade da direita pode ser tomada uniforme sobre um conjunto compacto de s. Demonstra c ao. A id eia ser a usar o teorema de aproxima c ao de Weierstrass e o fato de ser uma medida para reduzir nosso problema a provar esta proposi c ao no caso mais simples de ser um polin omio. Como de costume, podemos trocar por ( + 1)/2 de modo que |Fj (x)| (x) para todo x ZN , 1 j K .
76
Lema 2.4.5. Seja d 1. Para todo polin omio P de grau d com coecientes reais (independentes de N ) vale P (DF1 , . . . , DFK )
(U k1 )
= OK,d,P (1).
Demonstra c ao. Por linearidade e aumentando K para dK se necess ario, basta provar o resultado para P (x1 , . . . , xK ) = x1 . . . xK . Ou seja, queremos ver que
K
f,
j =1
U k 1
E f (x)
j =1
E(
w{0,1}k1 :w=0
Fazendo a mudan ca h(j ) = h + H (j ) para todo h (ZN )k1 , tomando a m edia em h, expandindo os produtos em j e intercambiando as esperan cas, podemos reescrever isso em termos do produto interno de Gowers E( (fw,H )w{0,1}k1
U k 1 |H
((ZN )k1 )K ),
gwH
U k1 |H
77
para cada w {0, 1}k1 0. Fixe w. Como 2k1 1 2k1 e estamos em espa cos de probabilidade, basta provar E( gwH
2k1 U k 1 |H
Esta u ltima estimativa e verdadeira por um argumento assim: w = 0 implica que a transforma c ao w w H e recobrimento; isto permite us a-la para mudar as vari aveis de maneira que o lado esquerdo da identidade acima e E( gu(1) ,...,u(K )
2k1 (1) , . . . , u(K ) U k 1 |u
ZN ).
Usando as deni c oes de norma de Gowers e gu(1) ,...,u(K ) , podemos expandir este termo como
0
E@
K Y
Fj ( x + u
(j )
+hw e) x, u
(1)
,...,u
(K )
ZN , h
1 A Zk . N
w e{0,1}k1 j =1
E
j =1
Usando a hip otese |Fj (x)| (x), nossa tarefa ca reduzida a estimar
1 E E( (x + u + h w) | u ZN )K x ZN , h Zk N
Fazendo a mudan ca de vari aveis y = x + u e tomando a m edia sobre x, nosso objetivo e provar que
1 E E( (y + h w) | y ZN )K h Zk N
= OK (1).
78
Neste ponto, estamos prontos para usar a condi c ao de correla c ao, a qual nos diz que E (y + h w) y ZN
w, ew e {0,1}k1 ,w e =w e
(h (w w )),
onde e uma fun c ao peso satisfazendo E( q ) = Oq (1). Usando a de1 sigualdade triangular em LK (Zk N ), vemos que basta provar apenas que
1 E (h (w w ))K h Zk N
= OK (1),
para todos w, w {0, 1}k1 distintos entre si. Mas, sendo a transforma c ao h h (w w ) um recobrimento, o lado esquerdo acima e E( K ) = OK (1). Voltemos agora a prova da proposi c ao. Lembre que o lema 2.4.4 diz que as fun c oes b asicas anti-uniformes tomam valores no intervalo k 1 k1 I = [22 , 22 ]. Pelo teorema de aproxima c ao de Weierstrass, dado > 0, podemos encontrar um polin omio P aproximando a fun c ao cont nua de modo que (DF1 , . . . , DFK ) P (DF1 , . . . , DFK )
L
Como e uma medida (i.e., E( ) = 1 + o(1)), temos | 1, (DF1 , . . . , DFK ) P (DF1 , . . . , DFK ) | (2 + o(1)). Por outro lado, combinando os lemas 2.4.3, 2.4.5, obtemos que | 1, P (DF1 , . . . , DFK ) | = oK, (1) porque P depende apenas de K e . Fazendo N grande (dependendo de K, ), vemos que | 1, (DF1 , . . . , DFK ) | 4. Isto naliza a prova da proposi c ao 2.4.1. Observa c ao 2.4.5. A u nica vez em todo livro em que aplicamos a condi c ao de correla co es foi no nal da prova do lema 2.4.5.
79
Resumo da subse c ao Anti-Uniformidade: Nesta subse c ao introduzimos o conceito de anti-uniformidade, o qual serve para identicar fun c oes n ao uniformes (ou melhor, obstru c oes para a uniformidade). Com efeito, vimos que toda fun c ao F gera naturalmente uma fun c ao DF anti-uniforme b asica tal que a correla c ao F, DF ser a grande sempre que F n ao for uniforme; al em disso, vimos um resultado mostrando que a medida pseudo-aleat oria se distribui bem com rela c ao a algebra gerada pelas fun c oes anti-uniformes b asicas. A seguir, estudaremos as sigmas- algebras geradas pelos conjuntos de n vel de fun c oes anti-uniforme, as quais s ao as pe cas b asicas da sigma- algebra com respeito a qual tomaremos esperan cas de modo a obter fun c oes boas (= uniformes).
2.4.3
Veremos agora como fun c oes anti-uniformes b asicas geram naturalmente sigma- algebras onde elas s ao bem comportadas (i.e. permitem o uso do teorema de Szemer edi na sua forma original). Proposi c ao 2.4.2. Se e k -pseudoaleat oria e DF1 , . . . , DFK s ao fun c oes anti-uniformes b asicas. Para todo < 1 e < 1/2 existe uma sigma- algebra B tal que se N e um primo grande ent ao: DFj E(DFj |B )
L
j .
Existe um B (conjunto excepcional) tal que E(( + 1)1 ) = OK, ( 1/2 ). (1 1 )E( 1|B )
L
= OK, ( 1/2 ).
Demonstra c ao. O ponto de partida da prova desta proposi c ao eo seguinte lema garantindo que cada fun c ao gera uma sigma- algebra: Lema 2.4.6. Seja uma medida k -pseudo-aleat oria, 0 < < 1 e 0 < < 1/2 par ametros, e G L (ZN ) uma fun c ao tomando k1 k 1 valores no intervalo I := [22 , 22 ]. Ent ao, existe B , (G) uma sigma- algebra tal que
80
(G pertence a sua pr opria - algebra) Para toda B - algebra, G E(G|B B (Complexidade limitada) B
, (G)) L (ZN )
, (G)
(Boa aproxima c ao por fun c oes cont nuas de G) Se A e um atomo de B , (G), ent ao existe A : I [0, 1] tal que (1A A (G))( + 1)
L1 (ZN )
= O( ).
Mais ainda, A pertence a um compacto E C 0 (I ) que independe de G, , N e A. Prova do lema 2.4.6. Juntando o fato de ser uma medida com o teorema de Fubini, temos
1 0 nZ
E(1G(x)[
+ 1)|x ZN )d
+ 1)|x ZN ) = O( ). (2.4.1)
Denimos B , (G) como a - algebra cujos atomos s ao G1 ([ (n + ), (n + + 1)]) para n Z. Isto est a bem-denido porque os intervalos [ (n + ), (n + + 1)] particionam a reta. Claramente se B e uma - algebra, ent ao a fun c ao G restrita a um atomo de B B , (G) toma valores num intervalo de di ametro , o que nos d a o primeiro item do lema (G pertence a sua pr opria - algebra). Agora, seja A := G1 ([ (n + ), (n + + 1)]) um atomo de B , (G). Como G toma valores em I , temos que n = O(1/ ) (caso contr ario, A = ). Isto prova o segundo item do lema (complexidade limitada). Finalmente, seja : R [0, 1] uma fun c ao corte xada tal que = 1 em [, 1 ] e = 0 em [, 1 + ], e dena A (x) := ( x n ). Obviamente, A varia num compacto E , de C 0 (I ) (pois n e s ao limitados) e a igualdade (2.4.1) implica o terceiro item do lema (boa aproxima c ao por fun c oes cont nuas de G).
81
Agora voltamos a prova da proposi c ao 2.4.2. Tomamos o seguinte B := B , (DF1 ) B , (DFK ), onde B , (DFj ) e a sigma- algebra do lema 2.4.6. Claramente o primeiro item da proposi c ao 2.4.2 segue do primeiro item do lema 2.4.6. Por outro lado, como cada B , (DFj ) tem O(1/ ) atomos, B e gerada por OK, (1) atomos. Diremos que um atomo A de B e pequeno se E(( + 1)1A ) 1/2 . Denote por a uni ao de todos os atomos pequenos. Ent ao B e vale o segundo item da proposi c ao 2.4.2. Para provar o u ltimo item, basta provar que E(( 1)1A ) = E( 1|A) = oK, E(1A )
, (1)
+ OK, ( 1/2 )
para todo atomo A n ao pequeno. Da deni c ao de pequenez, temos que E(( 1)1A ) + 2E(1A ) = E(( + 1)1A ) 1/2 para A n ao pequeno. Logo, como e pequeno e N e grande, e suciente vericar que E(( 1)1A ) = oK,
, (1)
+ OK, ( 1/2 ).
Por outro lado, sendo A a interse c ao de K atomos Aj B , (DFj ), j = 1, . . . , K , o lema 2.4.6 e a desigualdade de H older mostram que existe A : I K [0, 1] tal que ( + 1)(1A A (DF1 , . . . , DFK )) donde ( 1)(1A A (DF1 , . . . , DFK ))
L 1 ( ZN ) L 1 ( ZN )
= OK ( ),
= OK ( ).
Al em disso, A est a num compacto E ,K, de C 0 (I K ). Isto e a proposi c ao 2.4.1 (de distribui c ao uniforme com respeito a fun c oes anti-uniformes b asicas) implicam E(( 1)A (DF1 , . . . , DFK )) = oK,
, (1)
= OK, ( 1/2 ),
82
Resumo da subse c ao Sigma-Algebras geradas por fun c oes anti-uniformes b asicas: Nesta subse c ao associamos a cada fun c ao anti-uniforme b asica DF uma sigma- algebra B com respeito a qual a esperen ca E(DF |B ) de DF aproxima DF (ou seja, DF e quase constante nos atomos de B) e a medida pseudo-aleat oria tem valores pr oximos a 1 em m edia (com rela c ao a B). No est agio seguinte, usaremos esta maquin aria de fun c oes antiuniformes b asicas e suas sigma- algebras para formalizar o processo de decomposi c ao em partes boas (uniformes) e ruins (anti-uniformes) atrav es de uma indu c ao. Um ponto fundamental ser a garantir que este procedimento p ara com um n umero nito de itera c oes. Isto seguir a do argumento de incremento de energia.
2.4.4
Usando as sigma- algebras de fun c oes anti-uniformes b asicas, podemos obter a decomposi c ao desejada em partes uniformes e partes antiuniformes: Teorema 2.4.2 (Koopman-von Neumann generalizado). Seja k pseudoaleat oria e f L1 tal que 0 f , << 1 e N e um primo grande. Ent ao existe uma sigma- algebra B e um conjunto excepcional B tal que: E( 1 ) = o (1) (o conjunto excepcional e pequeno). (1 1 )E( 1|B ) L = o (1) (boa distribui c ao da fun c ao fora do conjunto excepcional). (1 1 )(f E(f |B )
U k 1
1/ 2k
(uniformidade em B )
Demonstra c ao. A estrat egia b asica e a mesma do teorema de estrutura erg odica de Furstenberg7 : come camos com a sigma- algebra B = {, ZN } e olhamos para a fun c ao f E(f |B ). Se ela for uniforme (i.e., vale o terceiro item acima), acabamos. Caso contr ario, usamos os resultados sobre anti-uniformidade para achar uma G1
7 Este teorema diz que podemos decompor qualquer sistema como uma extens ao weak-mixing de uma torre de extens oes compactas.
83
anti-uniforme com correla c ao n ao-trivial com f e adicionamos os conjuntos de n vel de G1 a sigma- algebra B. A propriedade de correla c ao n ao-trivial ir a garantir que a norma L2 de E(f |B ) aumentar a por uma quantidade n ao-trivial8 , enquanto que a pseudo-aleatoriedade de mostra que E(f |B ) ca uniformemente limitado. Neste ponto, repetimos este procedimento at e f E(f |B ) car sucientemente uniforme; note que o algoritmo ir a parar em um n umero limitado de passo (da 2k ordem de 2 / ) devido ao incremento de energia a cada passo. Agora vamos escrever esta estrat egia de modo um pouco mais k organizado. Fixe e seja K0 o menor inteiro maior que 1 + 22 / . Precisaremos de um par ametro 0 < e tomaremos N grande dependendo de e . Construiremos B e atrav es de uma sequ encia de fun c oes anti-uniformes b asicas DF1 , . . . , DFK em ZN , conjuntos excepcionais 0 K ZN e sigma- algebras B0 BK para algum 0 K K0 assim: Passo 0: Iniciamos com K=0, B0 := {, ZN } e 0 := . Passo 1: Fazemos FK +1 := (1 1K )(f E(f |BK )). Se FK +1
U k 1
1 /2 k
>
1 /2 k
, (DFK +1 ).
Passo 3: Procuramos por conjunto excepcional K +1 K em BK +1 com E(( + 1)1K +1 ) = OK, ( 1/2 ) (2.4.2) e (1 1K +1 )E( 1|BK +1 )
L
= OK, ( 1/2 ).
Se tal conjunto excepcional n ao puder ser achado, terminamos o algoritmo com erro. Caso contr ario, vamos para o passo 4.
8 A id eia de usar uma correla c ao n ao-trivial para aumentar a norma L2 e precisamente o argumento de incremento da energia.
84
Passo 4: Aumentamos K para K + 1. Se K > K0 , terminamos o algoritmo com erro. Caso contr ario, voltamos ao passo 1. Assuma por enquanto que o algoritmo termina sem erro no passo 3 ou 4. Ent ao e claro que ap os no m aximo K0 + 1 itera c oes, teremos constru do uma - algebra B e um conjunto excepcional com as propriedades desejadas, exceto pelo fato de que os termos de erro s ao OK, ( 1/2 ) ao inv es de o (1), para N grande dependendo de , K, . Entretanto, isto pode ser remediado fazendo tender a zero bem devagar. Ou seja, reduzimos a prova deste teorema a mostrar que o algoritmo termina sem erro. A demonstra c ao e por indu c ao: como hip otese para indu c ao em 0 K1 K0 , suponha que o algoritmo ou termina sem erro ou atinge o passo 2 da K1 - esima itera c ao sem retornar um erro. Note que isto e obvio para K1 = 0. Assumindo isto provado para algum K1 < K0 , desejamos provar o mesmo para K1 + 1. Observe que podemos supor que o algoritmo n ao terminou at e o passo 2 do K1 - esima itera c ao. Neste est agio, temos - algebras B0 , . . . , BK1 +1 , fun c oes anti-uniformes b asicas DF1 , . . . , DFK1 +1 e conjuntos excepcionais 0 , . . . , K1 j a constru dos. Armamos que DFj
L
22
k1
+ Oj, ( 1/2 ),
(2.4.3)
para todo 1 j K1 + 1. Isto segue do passo 3 das itera c oes anteriores (ou do passo 0 quando j = 1), os quais dizem que (1 1j 1 )E( 1|Bj 1 ) donde E( |Bj 1 )(x) = 1 + Oj 1, ( 1/2 ), para todo x / j 1 . Como 0 f (x) (x), conclu mos as estimativas pontuais 0 (1 1j1 (x))E(f |Bj 1 )(x) 1 + Oj, ( 1/2 ), das quais seguem, por deni c ao de Fj , |Fj (x)| (1 + Oj, ( 1/2 ))( (x) + 1). (2.4.5) (2.4.4)
L
= Oj, ( 1/2 ),
85
Em particular, uma simples aplica c ao do lema 2.4.4 prova a nossa arma c ao acima. Por outro lado, como BK1 +1 e a - algebra gerada por B
,1 (DF1 ), . . . , B ,K1 +1 (DFK1 +1 ),
a proposi c ao 2.4.2 permite encontrar tal que E(( + 1)1 ) = OK1 , ( 1/2 ) e (1 1 )E( 1|BK1 +1 )
L
= OK1 , ( 1/2 ).
Denimos K1 +1 := K1 . Obviamente, K1 +1 tem as propriedades necess arias para se executar o passo 3 sem erro, e portanto podemos ir at e o passo 2 da K1 + 1- esima itera c ao (ou terminar sem erro), como quer amos provar. Em outras palavras, o que provamos at e agora foi que temos apenas duas possibilidades para o algoritmo: ou ele termina sem erro ou percorre todo o caminho at e a K0 - esima itera c ao. Para nalizar a demonstra c ao, a propriedade-chave e que no caso do algoritmo atingir o passo 3 do K0 iterado, ent ao vale a estimativa de incremento de energia (1 1j )E(f |Bj ) 2 L2 (1 1j 1 )E(f |Bj 1 ) +2
2k 2 2 L2 2
(2.4.6)
Oj, (
1 /2
) O ( ),
para todo 1 j K0 (se N e grande dependendo de K0 e ). Esta propriedade e suciente para concluir a prova porque a desigualdade (2.4.4) nos d a 0 (1 1j )E(f |Bj )
2 L2
1 + Oj, ( 1/2 ),
(2.4.7)
para todo 0 j K0 . Como K0 e o menor inteiro maior que k 22 / + 1, o pr ncipio da casa de pombos gera uma contradi c ao para pequeno, pequeno e N grande dependendo de , . Finalmente, resta apenas saber mostrar a estimativa de incremento na energia. A id eia e explorar o fato do algoritmo n ao parar no segundo passo da (j 1)- esima itera c ao, o qual implica Fj
U k 1
1 /2 k
86
Isto combinado com a deni c ao de Fj e o lema 2.4.4 diz que | (1 1j1 )(f E(f |Bj 1 )), DFj | = Fj
2k1 U k1
1 /2
Por outro lado, as estimativas pontuais (2.4.3), (2.4.5), (2.4.2) acima mostram que (1j 1j 1 )(f E(f |Bj 1 ), DFj ) = Oj, ( 1/2 ), enquanto que o lema 2.4.6 e a estimativa (2.4.5) falam que (1 1j )(f E(f |Bj 1 ), DFj E(DFj |Bj )) = O( ). Em particular, pela desigualdade triangular, ganhamos a cota inferior: | (1 1j )(f E(f |Bj 1 )), E(DFj |Bj ) |
1 /2
Oj, ( 1/2 ) O( ).
Como as fun c oes (1 1j ), E(DFj |Bj ) e E(f |Bj 1 ) s ao todas Bj mensur aveis, podemos trocar f por E(f |Bj ), de modo que obtemos | (11j )(E(f |Bj )E(f |Bj 1 )), E(DFj |Bj ) |
1 /2
Usando Cauchy-Schwarz e a estimativa (2.4.3) conclu mos: Oj, ( 1/2 )O( ). (2.4.8) Esta estimativa moralmente implica, pelo teorema de Pit agoras, a estimativa de incremento de energia, o u nico problema sendo a presen ca dos conjuntos excepcionais j 1 , j , os quais precisam de um pouco de cuidado para serem tratados, j a que n ao temos boas cotas L2 para . Para resolver este pequeno contra-tempo, come camos por notar que (2.4.2) e (2.4.4) implicam (11j )(E(f |Bj )E(f |Bj 1 ))
L2
22
k 1
+1 1/2
L2
= Oj, ( 1/2 ).
Logo, a desigualdade triangular e (2.4.7) mostram que a estimativa de incremento de energia (2.4.6) segue de (1 1j )E(f |Bj )
2 L2 2 L2
(1 1j 1 )E(f |Bj 1 )
1 /2
Oj, ( 1/2 ) O( ).
87
Entretanto, o lado esquerdo acima pode ser expandido pela lei dos cossenos como (1 1j )E(f |Bj 1 ) 2 L2 + (1 1j )(E(f |Bj ) E(f |Bj 1 )) + 2 (1 1j )E(f |Bj 1 ), (1 1j )(E(f |Bj ) E(f |Bj 1 )) .
2 L2
Portanto, por (2.4.8), vemos que e suciente provar a seguinte rela c ao de quase-ortogonalidade: (1 1j )E(f |Bj 1 ), (1 1j )(E(f |Bj ) E(f |Bj 1 )) = Oj, ( 1/2 ). Como (1 1j )2 = (1 1j ), podemos reescrever a identidade acima como (1 1j )E(f |Bj 1 ), E(f |Bj ) E(f |Bj 1 ) = Oj, ( 1/2 ). Agora observemos que sendo a fun c ao (1 1j1 )E(f |Bj 1 ) mensur avel com rela c ao a Bj 1 , ela deve ser ortogonal a fun c ao E(f |Bj ) E(f |Bj 1 ) porque Bj 1 e uma sub-sigma- algebra de Bj por constru c ao. Em particular, podemos mais uma vez reescrever a express ao acima como (1j 1j 1 )E(f |Bj 1 ), E(f |Bj ) E(f |Bj 1 ) = Oj, ( 1/2 ). Usando novamente o fato de (1j 1j1 )E(f |Bj 1 ) ser uma fun c ao Bj -mensur avel (donde segue que ela deve ser ortogonal a f E(f |Bj )), vemos que a identidade acima equivale a (1j 1j1 )E(f |Bj 1 ), f E(f |Bj 1 ) = Oj, ( 1/2 ). Por em esta igualdade certamente e verdadeira porque 0 f e valem as estimativas (2.4.2), (2.4.4). Isto completa a prova da estimativa de incremento de energia (2.4.6) e, consequentemente, a demonstra c ao do teorema 2.4.2. Resumo da subse c ao O argumento de incremento de energia: Nesta subse c ao usamos toda a maquin aria de sigma- algebras associadas a fun c oes anti-uniformes para exibir um algoritmo de constru c ao
88
de conjuntos excepcionais pequenos e uma sigma- algebra (para uma densidade f majorada por uma medida pseudo-aleat oria) tais que que a fun c ao f possui um comportamento uniforme fora do conjunto excepcional. Em particular, isto nos mostra como decompor a fun c ao f em parte uniforme e parte n ao-uniforme. Este foi o conte udo do teorema de Koopman-von Neumann generalizado 2.4.2. Mais ainda, o algoritmo levando a prova do teorema de Koopman-von Neumann generalizado era nito (i.e., ele parava em tempo nito) gra cas a um argumento de incremento de energia a cada passo (de fato, como a energia sempre crescia a cada passo e ela devia permanecer limitada durante todo processo, isto levava rapidamente a conclus ao desejada). O u ltimo passo ser a aplicar a decomposi c ao fornecida pelo teorema 2.4.2 para nalizar a demonstra c ao do teorema de Green-TaoSzemer edi.
2.4.5
Uma vez que j a formalizamos (e quanticamos) toda a maquin aria de uniformidade, anti-uniformidade e decomposi c ao em partes uniforme e n ao-uniforme, a tarefa de imitar o esquema proposto na se c ao 2.3 para a prova do teorema de Roth visando demonstrar o teorema 2.2.1 de Green-Tao-Szemer edi e simples: Sejam f , e como enunciado do teorema 2.2.1. Tome << e considere B a sigma- algebra do teorema 2.4.2 de Koopman-von Neumann generalizado. Dena as fun c oes: fU = (1 1 )(f E(f |B )) fAU = (1 1 )E(f |B ). Lembre que, por hipot ese, 0 f (pontualmente) e E(f ) . Portanto, o teorema 2.4.2 garante que E(fAU ) = E((1 1 )f ) E(f ) E( 1 ) o (1). Al em disso, temos que fAU 1 + o (1), de modo que podemos usar
89
o teorema de Szemer edi9 . Em particular: E(fAU (n) . . . fAU (n + (k 1)r)|n, r ZN ) c(k, ) o (1). Por outro lado, sabemos que fU U k1 1/2 . Logo, pelo teorema 2.4.1 de von Neumann generalizado, temos que: E(f1 (n) . . . fk (n + (k 1)r)|n, r ZN ) = O( onde j = U ou AU , e j = U para pelo menos um j . Assim obtemos que: E(f (n) . . . f (n + (k 1)r)|n, r ZN ) c(k, ) O(
1 /2 k 1/ 2k
k
) o (1).
Como e arbitr ario, o teorema de Green-Tao-Szemer edi est a provado! Observa c ao 2.4.6. O leitor mais atento percebeu a analogia evidente entre as estimativas acima e a estimativas da proposi c ao 2.3.1. De fato, como n ao podia deixar de ser, em ambos os argumentos, n os separamos o termo bom (no caso do Roth era 3 (g, g, g ) e no caso do Green-Tao era E(fAU (n) . . . fAU (n + (k 1)r)|n, r ZN )) o qual e relativamente grande (no caso do Roth era 3 e no caso de Green-Tao e c(k, ) o (1)) e camos por estimar os termos ruins (no caso do Roth eram 3 (., ., .) onde alguma das entradas tinha a fun c ao b e no caso de Green-Tao era E(f1 (n) . . . fk (n + (k 1)r)|n, r ZN ) onde alguma das entradas tinha a fun c ao fU ). Para cumprir esta tarefa, usamos H older no caso do Roth e o teorema de von Neumann generalizado no caso de Green-Tao para reduzir o problema ao fato (n ao-trivial) de que b no caso de Roth e fU no caso de Green-Tao podiam ser escolhidas uniformes. Logicamente, este fato e obtido do enunciado do teorema de Koopman-von Neumann generalizado, o qual usa em sua prova o argumento de incremento de energia, conforme hav amos dito bem no nicio.
9 Estamos fazendo uma pequena trapa ca in ocula aqui: como fAU n ao e limitada por 1 exatamente e E(fAU ) n ao e minorado por exatamente, o teorema de Szemer edi n ao pode ser usado diretamente. Por em, isso e facilmente contornado se aplicarmos Szemer edi a uma fun c ao e igual a f m odulo um termo da forma o (1), o qual pode ser trivialmente controlado nesse caso.
Cap tulo 3
Pretendemos provar neste cap tulo o teorema 2.2.2, que recapitulamos a seguir (sob o nome de teorema 3.1.1): Seja a fun c ao de von Mangoldt modicada, dada por (W ) log(W n + 1) se W n + 1 e primo (n) = W 0 caso contr ario (onde W = W (n) =
pw(n) p primo
lentamente a +, mas observaremos no m da prova que podemos tomar w(n) uma constante grande). Teorema 3.1.1. Se k = 2k (k +4)! e N e um primo grande, ent ao k 5 1 existe uma medida k -pseudo-aleat oria tal que (n) 2 k (n) para k N n 2k N . Vamos a seguir construir a medida . Sua constru c ao e a prova de que realmente e uma medida pseudo-aleat oria est ao fortemente inspirados em resultados de Goldston e Yldrm, principalmente [6]. 90
91
A fun c ao e uma modica c ao da cl assica fun c ao de von Mangoldt k log p se n = p , p primo, k 1 . Essa modidada por (n) = 0 caso contr ario ca c ao e feita para superar a falta de aleatoriedade do conjunto dos primos provocada por raz oes locais, i.e., pelo seu comportamento m odulo primos pequenos. k 2 1 Observamos agora que, se n = p 1 p2 . . . pk , p1 < p2 < < pk primos, temos
k j k j k
(d) =
d|n j =1 r =1
(pr j) =
j =1 r =1
log pj =
j =1
j log pj = log n,
d|n
e logo, pela f ormula da invers ao de M obius (ver ap endice), (n) = (d) log(n/d) = (d) log+ (n/d), onde e a fun c ao de M obius
d|n
e log+ (x) = max{log x, 0}, para x > 0. deni c ao, de Goldston e Yldrm:
Deni c ao 3.1.1 (Soma truncada sobre divisores de Goldston e Yldrm). Seja R > 0 um par ametro (nas aplica c oes ser a uma pot encia pequena de N ). Denimos R (n) = (d) log(R/d) = (d) log+ (R/d).
d|n dR d|n
Podemos agora denir a medida : Deni c ao 3.1.2. Seja R = N k 2 , e seja k = 2k (k + 4)!. + Denimos a fun c ao : ZN R por 2 (W ) R (W n + 1) se N n 2 N k k (n) = W log R 1, caso contr ario Provar que e de fato uma medida pseudo-aleat oria (ou mesmo uma medida) dar a um certo trabalho. Entretanto e bastante simples mostrar que majora como queremos: Lema 3.1.1. (n) k 1 2k5 (n) para k N n 2k N .
1 k 4
92
Demonstra c ao. Isso e trivial se W n +1 n ao e primo, pois nesse caso (n) = 0. Por outro lado, se W n + 1 e primo, os divisores de W n + 1 s ao apenas 1 e W n + 1 e, como W e grande, W n + 1 > W k N > R (assumindo, como sempre fazemos implicitamente, que N e sucientemente grande), e logo R (W n + 1) = (d) log(R/d) =
d|W n+1 dR
(W ) log R. Como W (W ) (W ) (W ) 1 (n) = log(W n + 1), e (n) = log R = k W W W log(W n + 1) 2k4 log N , nossa arma c ao equivale a log N para 2 log(W N + 1) k N n 2k N , mas isso segue de log N , o que 2 certamente e verdade se o crescimento de W e sucientemente lento (W N 1 basta). Precisaremos de dois resultados seguintes, que provaremos posteriormente, os quais s ao essencialmente devidos a Goldston e Yldrm, e que ser ao usados para provar que e uma medida pseudo-aleat oria. Proposi c ao 3.1.1. Sejam m e t inteiros positivos. Para cada 1 i m, sejam i (x) =
t j =1
inteiros Lij tais que |Lij | w(N ) 2 para 1 i m e 1 j t. Assumimos que as t-uplas (Lij )1j t nunca s ao identicamente nulas, nem h a duas dessas t-uplas que s ao m ultiplos racionais uma da outra. Seja i := W i + 1. Suponha que B e um produto
t i=1
Ii Rt de t
intervalos Ii , cada um tendo comprimento pelo menos R10m . Ent ao (desde que o crescimento da fun c ao w(N ) seja sucientemente lento) E(R (1 (x))2 . . . R (m (x))2 | x B ) = (1 + om,t (1)) W log R (W )
m
Proposi c ao 3.1.2. Seja m 1 um inteiro, e seja B um intervalo de comprimento pelo menos R10m . Suponha que h1 , . . . , hm sejam inteiros distintos tais que |hi | m2 para 1 i m e seja :=
93
de m, e supondo que o crescimento de w(N ) e sucientemente lento) E(R (W (x1 + h1 ) + 1)2 . . . R (W (xm + hm ) + 1)2 | x B ) (1 + om (1)) W log R (W )
m
(1 + Om (p1/2 )).
p| p primo
Em geral, no que segue, usaremos a letra p sempre para denotar primos, como aqui. Vamos inicialmente mostrar como concluir a prova do Teorema 3.1.1 a partir das Proposi c oes 3.1.1 e 3.1.2 para depois demonstrar as proposi c oes. Come caremos mostrando que e de fato uma medida. Lema 3.1.2. A medida constru da na Deni c ao 3.1.2 satisfaz a estimativa E( ) = 1 + o(1). Demonstra c ao. Aplicamos a Proposi c ao 3.1.1 com m = t = 1, 1 (x1 ) = x1 e B = [k N, 2k N ]. Comparando com a Deni c ao 3.1.2 temos E( (x) | x [k N, 2k N ]) = 1 + o(1), pois a Proposi c ao 3.1.1 W log R fornece E(R (W x + 1)2 | x B ) = (1 + o(1)) Por outro (W ) lado, obviamente temos E( (x) | x ZN \[k N, 2k N ]) = 1, pela mesma Deni c ao 3.1.2. Combinando os dois resultados conclu mos a prova do lema. Proposi c ao 3.1.3. A fun c ao satisfaz a (k 2k1 , 3k 4, k ) condi c ao de formas lineares. Demonstra c ao. Sejam i (x) =
t j =1
Deni c ao 2.2.1, isto e, temos m k 2k1 , t 3k 4, e os Lij s ao n umeros racionais com numerador e denominador de valor absoluto no m aximo k de modo que nenhuma das t-uplas (Lij )1j t e nula ou m ultiplo racional de alguma outra. Queremos mostrar que E( (1 (x)) . . . (m (x)) | x Zm N ) = 1 + o(1). (*)
94
Podemos supor que os Lij s ao inteiros, compondo 1 , 2 , . . . , m m com a multiplica c ao por k ! dada por M : Zm M ZN , M (x) = m e k !x(mod N ), x ZN . Como mdc(k !, N ) = 1, para N grande, M uma bije c ao, e o valor esperado n ao muda. Com isso, a cota superior para os |Lij | muda para k k ! < (k + 1)!. Como w(N ) tende a innito quando N cresce, podemos supor que (k + 1)! < w(N ) 2, tomando N grande. Precisamos deste fato para poder aplicar a Proposi c ao 3.1.1. Como a deni c ao de tem duas partes, n ao e poss vel aplicar dit retamente a Proposi c ao 3.1.1. Vamos ent ao dividir Zm N em Q blocos de lados quase iguais, onde Q = Q(N ) e uma fun c ao de crescimento lento em N a ser escolhida posteriormente. Sejam ent ao os blocos Bu1 u2 ...ut = {x Zm N ; xj [Luj N/Q, L(uj + 1)N/Q]), 1 j t} onde u1 , u2 , . . . , ut ZQ , e identicamos ZQ com {0, 1, 2, . . . , Q 1}. Note que m odulo um erro multiplicativo de 1 + o(1), podemos escrever o lado esquerdo de (*) como E(E( (1 (x)) . . . (m (x)) | x Bu1 u2 ...ut ) | u1 , . . . , ut ZQ ). Chamamos uma t-upla (u1 , u2 , . . . , ut ) Zt Q boa se para 1 i m, cada conjunto i (Bu1 u2 ...ut ) est a completamente contido no intervalo [k N, 2k N ] ou e completamente disjunto deste intervalo. Tomando a Proposi c ao 3.1.1 e a Deni c ao 3.1.2, observamos que E( (1 (x)) . . . (m (x)) | x Bu1 u2 ...uk ) = 1 + om,t (1), sempre que (u1 , u2 , . . . , ut ) for boa, pois podemos substituir cada fator (i (x)) (W ) 2 por (i (x)) ou por 1, e, se o crescimento de Q e sucienW log R R temente lento, N/Q > R10m , pela deni c ao de R e pela limita c ao de m. Se (u1 , u2 , . . . , ut ) n ao e boa, podemos majorar por 1+ (W ) 2 (i (x)), multiplicar, expandir e aplicar a Proposi c ao 3.1.1 W log R R a cada termo para obter uma cota do tipo E( (1 (x)) . . . (m (x)) | x Bu1 u2 ...uk ) = Om,t (1). Veremos agora que a propor c ao de t-uplas (u1 , u2 , . . . , ut ) Zt Q que n ao s ao boas e no m aximo Om,t (1/Q), e logo o lado direito de (*)
95
e 1+ om,t (1)+ Om,t (1/Q) = 1+ om,t (1), o que conclui a demonstra c ao. Para isso, suponha que (u1 , u2 , . . . , ut ) n ao e boa. Ent ao existem i m e x, x Bu1 u2 ...ut tais que i (x) pertence ao intervalo [k N, 2k N ] mas i (x ) n ao. Pela deni c ao de Bu1 u2 ...ut (e pela limita c ao dos Lij ), temos i (x), i (x ) =
t j =1
j =1
(mod Q). Como (Lij )1j t e n ao-nulo, o n umero de t-uplas (u1 , u2 , . . . , ut ) que sasfazem esta equa c ao e no m aximo Om,t (Qt1 ). Fazendo a e i variarem, conclu mos que a propor c ao de t-uplas que n ao s ao boas e no m aximo Om,t (1/Q), como quer amos. Veremos a seguir como usar a Proposi c ao 3.1.2 para mostrar que satisfaz a condi c ao de correla c oes. Para isso, vamos incialmente estimar o fator (1 + Om (p1/2 )) que aparece na proposi c ao:
p| p primo
Lema 3.1.3. Seja m 1 um par ametro. Existe uma fun c ao peso = m : Z R+ tal que (n) 1, n = 0 e, para cada h1 , h2 , . . . , hm [k N, 2k N ] distintos, temos (1 + Om (p1/2 ))
p| p primo 1i<j m
(hi hj ),
onde foi denido na Proposi c ao 3.1.2, de modo que E( q (n) | 0 < |n| N ) = Om,q (1), para 0 < q < . Demonstra c ao. Note que (1 + Om (p1/2 ))
p| p primo 1i<j m
Om (1) (1 + p1/2 ) .
p|hi hj p primo
96
Podemos ent ao, usando a desigualdade entre as m edias aritm etica e geom etrica (e absorvendo as constantes no fator e no expoente (1+ Om (p1/2 ))Om (1) para cada Om (1)), tomar m (n) = Om (1)
p|n p primo
n = 0 (o valor de em 0 e irrelevante para o lema, pois estamos tomando os hj distintos). Para concluir a prova do lema, basta mostrar que E
p|n p primo
Como (1 + p1/2 )Om (q) 1 + p1/4 para todos os primos p, com exce c ao de no m aximo Om,q (1) primos, temos E
p|n p primo
= Om,q (1) E
p|n p primo
(1 + p1/4 ) | 0 < n N .
(1 + p1/4 )
d|n
d1/4 , e logo
E
p|n p primo
Om,q (1)
d1/4
1nN d|n N d=1
d5/4 < .
97
Proposi c ao 3.1.4. A medida satisfaz a 2k1 -condi c ao de correla c oes. Demonstra c ao. Queremos mostrar que, para 1 m 2k1 e h1 , . . . , hm ZN temos E( (x + h1 ) . . . (x + hm ) | x ZN ) (hi hj ), onde a fun c ao peso = m e limitada em Lq
1i<j m
para todo q . Fixemos m, h1 , . . . , hm . Vamos tomar a fun c ao peso constru da no Lema 3.1.3 (identicando ZN com os inteiros entre N/2 e N/2) multiplicada por um fator constante Om (1) conveniente e denir (0) = exp(Cm log N/ log log N ), para alguma constante absoluta grande C . Pelo lema anterior conclu mos que E( q ) = Om,q (1) para todo q , pois (0) s o contribui com om,q (1) para o valor de E( q ). Trataremos inicialmente do caso em que dois dos hi s ao iguais. Nesse 2 log N caso, podemos usar a estimativa grosseira || ||L exp , log log N que segue da deni c ao de (na verdade obtemos facilmente da deni c ao que | (n)| log N d(n)2 , onde d(n) e o n umero de divisores de n; 3 log N ver ap endice, temos, por outro lado, d(n) = O exp 4 log log N donde segue nosssa estimativa), e a arma c ao nesse caso segue da escolha de (0). Suponhamos agora que os hi s ao todos distintos. Seja g (n) := (W ) 2 (W n + 1) R 1[k N,2k N ] (n). W log R
Pela constru c ao de , temos E( (x + h1 ) . . . (x + hm ) | x ZN ) E((1 + g (x + h1 )) . . . (1 + g (x + hm )) | x ZN ). O lado direito acima pode ser reescrito como E
A{1,...,m} iA
g (x + hi ) | x ZN .
98
Note que para i, j A podemos supor que |hi hj | k N (pois, caso contr ario, a esperan ca correspondente se anula). Pela Proposi c ao 3.1.2 e pelo Lema 3.1.3 obtemos portanto E
iA
g (x + hi ) | x ZN
(1 + Om (1))
1i<j m
m (hi hj ),
e somando sobre todos os A, obtemos o resultado, ap os multiplicar m por uma constante adequada. Os Lemas 3.1.1 e 3.1.2, e as Proposi c oes 3.1.3 e 3.1.4 concluem a prova de que e uma medida pseudo-aleat oria e do Teorema 3.1.1. Vamos agora nos dedicar a provar as Proposi c oes 3.1.1 e 3.1.2.
3.2
Vamos provar a Proposi c ao 3.1.1. Lembramos que temos, para cada i com 1 i m, uma forma linear i (x) = Lij xj + bi em t
vari aveis x1 , . . . , xt . Os coecientes Lij satisfazem |Lij | w(N )/2, onde w(N ) e uma fun c ao com crescimento lento em N . Supomos que nenhum t-upla (Lij )1j t e nula ou m ultiplo de alguma outra. Denimos i = W i + 1. Seja B =
t j =1
Ij um produto de intervalos
Ij , cada um com comprimento maior ou igual a R10m . Queremos provar a estimativa E(R (1 (x))2 . . . R (n (x))2 | x B ) = (1 + o(1)) W log R (W )
m
A primeira etapa da prova ser a eliminar o papel do bloco B . Podemos usar a deni c ao de R para expandir o lado esquerdo como
m
E
i=1 di ,di R di ,di |i (x)
R R log |xB , di di
99
R R log di di
(3.1)
E
i=1
Devido ` a presen ca da fun c ao de M obius podemos supor que os di , di s ao livres de quadrados. Seja D = mmc(d1 , . . . , dm , d1 , . . . , dm ) o m nimo m ultiplo comum dos di e dos di ; temos D R2m . Note que a express ao
m
coordenada de x, e portanto pode ser denido com dom nio Zt D. Como B e um produto de intervalos de comprimento maior ou igual a R10m , temos
m
i=1
E
i=1
=E
i=1
+ Om,t (R8m ).
A contribui c ao dos termos de erro Om,t (R8m ) para (3.1) pode ser majorada grosseiramente por R2m (log R)2m Om,t (R8m ) = Om,t (R6m (log R)2m ). Basta mostrar, portanto, que
m
R R log di di
E
i=1
= (1 + o(1))
(3.2)
Para provar isso, escreveremos o lado esquerdo como uma integral de linha de um produto de Euler, que por sua vez pode ser escrito em termos da fun c ao de Riemann e outros fatores simples.
100
Come camos usando o teorema chin es dos restos (e o fato dos di , di serem livres de quadrados) para reescrever
m
E
i=1
1i (x)0(mod p) | x Zt p
(o lado esquerdo e a probabilidade de que i (x) seja m ultiplo de di e de di , para todo i m, o que equivale a i ser m ultiplo de p sempre que p for um primo que divide di ou di , pois os di , di s ao livres de quadrados). Note que a restri c ao p|D no lado direito pode ser removida, pois, se p D, p nunca dividir a di di , donde o multiplicando nesse caso e 1. Assim, escrevendo Xd1 ,...,dm (p) := {1 i m; p | di } e X (p) := E
i X
1i (x)0(mod p) | x Zt p , temos =
p primo
E
i=1
1 ,...,dm (p)
(p).
E E log+ di di
1 ,...,dm (p)
(p).
p primo
A seguir, vamos expressar os logaritmos em termos de fun c oes multiplicativas dos di , di por meio de integrais de linha. Para isso, usaremos o seguinte resultado: Lema 3.2.1. Dado > 0, seja (t) a reta vertical parametrizada por (t) = + it, < t < +. Temos ent ao, para cada x > 0 real, 1 xz dz = log+ (x). 2i z 2
101
(M ) Demonstra ao. Dado a restri c ao de ao inter c M > , seja valo M 2 2 , M 2 2 . Se 0 < x < 1 considere o caminho fechado (M ) formado por M seguido do caminho
(M ) : [ cos1 (/M ), cos1 (/M )] C, (M ) (t) = M eit . Como a fun c ao xz /z 2 n ao tem singularidades no interior de (M ) , xz xz temos dz = 0. Por outro lado, como 0 < x < 1, dz = 2 e(M ) z 2 e (M ) z 1 , donde, nesse caso, O M 1 2i xz xz 1 dz = lim dz M 2i (M ) z 2 z2 xz 1 dz = 0 = log+ (x). = lim 2 M 2i e (M ) z
Se x 1, considere o caminho fechado (M ) formado por (M ) seguido do caminho (M ) : [cos1 (/M ), 2 cos1 (/M )] C, (M ) (t) = M eit . A u nica singularidade de xz /z 2 no interior de (M ) e z = 2 2 1 + z log x + z log x/2 + . . . 0, e xz /z 2 = ez log x z 2 = = z 2 + z2 log2 x z 1 log x + + . . . tem res duo log x em z = 0, donde 2 1 2i xz /z 2 dz = log x.
b(M )
xz /z 2 dz = O
1 , donde, M
102
A seguir, 1 (t) denotar a a reta vertical (t) correspondente a 1 1 , isto e, 1 (t) := + it, < t < . Temos, pelo = log R log R lema anterior, 1 xz dz = log+ (x). 2i 1 z 2 Note que Rz e limitado em 1 : R1 (t) = R1/ log R = e, t R. Podemos, usando a identidade acima, reescrever o lado esquerdo de (3.2) como (2i)2m
1
...
1
F (z, z )
F (z, z ) :=
d1 ,...,dm ,d1 ,...,dm Z+ j =1
(dj )(dj ) dj j dj j
(p) (p). z z
(3.3)
p primo
1 ,...,dm
Observe que o somando em (3.3) e uma fun c ao multiplicativa dos dj , dj , e portanto temos (pelo menos formalmente) uma representa c ao em produto de Euler F (z, z ) = Ep (z, z ), onde
p primo
Ep (z, z ) :=
X,X {1,...,m}
zj +
j X
j X
zj
Da deni c ao de X (p) temos (p) = 1 e X (p) 1, donde Ep (z, z ) = 1 + O (1/p ) quando Re(zj ), Re(zj ) > . Portanto o produto de Euler acima e absolutamente convergente (e vale a igualdade em (3.3)) no dom nio {Re(zj ), Re(zj ) 1}, pelo menos. Vamos agora explorar a hip otese sobre as partes lineares de 1 , . . . , m serem n ao-nulas e n ao serem m ultiplos racionais de nenhuma outra.
103
Lema 3.2.2 (Estimativa do fator local). Se p w(N ), ent ao X (p) = 0 para todo conjunto n ao-vazio X . Em particular, Ep = 1 se p w(N ). Se p > w(N ), ent ao X (p) = p1 quando |X | = 1 e X (p) 2 p quando |X | 2. Demonstra c ao. A primeira arma c ao e imediata, pois as fun c oes Z s a o identicamente 1 quando p w ( N ). Para a sej : Zt p p gunda arma c ao, observe que se p > w(N ) e X = {j }, cada elemento de Zp e imagem por j de pt1 elementos de Zt p , donde X (p) = E(1j (x)0(mod p) | x Zt ) = 1 /p . p Suponhamos agora que p > w(N ) e |X | = 2. Vamos ver que nenhuma das formas lineares puras W (i bi ) e m ultiplo de nenhuma outra m odulo p. De fato, se fosse o caso, ter amos Lij Li j (mod p) para um certo e todo j t, mas, se a/q e a /q s ao dois racionais na forma simplicada com |a|, |a |, q, q < w(N ) 2 e a/q = a /q (mod p) ent ao a = a , q = q . Portanto, todos os racionais Lij /Li j , 1 j t s ao iguais, e logo as formas lineares puras i bi e i bi s ao m ultiplos racionais uma da outra, absurdo. Portanto, o conjunto dos x (Z/pZ)t para os quais i (x) 0(mod p) para todo i X est a contido na interse c ao de dois subespa cos ans de (Z/pZ)t , t 2 e portanto tem no m aximo p elementos, donde X (p) p2 . O lema acima implica, comparando com a deni c ao de Ep (z, z ) que
m
Ep (z, z ) = 1 1p>w(N )
j =1
+ 1p>w(N )
X,X {1,...,m} |X X |2
O(1/p2 )
zj +
j X
j X
zj
onde o numerador O(1/p2 ) n ao depende de z , z . (1) (2) (3) Vamos agora fatorar Ep como Ep = Ep Ep Ep , onde
(1) Ep (z, z ) := m Q j =1
Ep (z, z ) 1 1p>w(N ) p
1zj
1 1p>w(N ) p1zj
1 1p>w(N ) p1zj zj
104
(2) (z, z ) := Ep
m Y j =1
1 1pw(N ) p1zj
1 1pw(N ) p1zj
1 1pw(N ) p1zj zj
(3) Ep (z, z ) :=
m Y j =1
1 p1zj
1 p1zj
1 p1zj zj
Denindo Gj :=
p primo
Ep
(j )
(pelo menos para Re(zj ), Re(zj ) sucientemente grandes). Em termos da fun c ao de Riemann, (s) = G3 (z, z ) =
m
, temos
(1 + zj + zj ) , 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 vizinhan ca do fecho deste dom nio (na verdade a todo o C2m ). Para os outros fatores, faremos estimativas que permitem continu a-los analiticamente um pouco ` a esquerda dos eixos imagin arios.
m C2m o dom nio Deni c ao 3.2.1. Para cada > 0, seja D m D = zj , zj | < Re(zj ), Re(zj ) < 100, 1 j m .
Se G = G(z, z ) e uma fun c ao anal tica de 2m vari aveis complexas m m em D , denimos a norma de G em C k (D ) para cada k N como ||G||C k (D m) = sup
a1 ++am +a1 ++am k
z1
a1
...
zm
am
z1
a1
...
zm
am
m) L (D
Ep
solutamente convergentes no . Em particular, G1 , G2 podem ser continuadas analiticamente a esse dom nio. Al em disso, temos as estimativas
m ||G1 ||C m (D1 ) Om (1), /30m m ||G2 ||C m (D1 ) Om,w(N ) (1), /30m
G1 (0, 0) = 1 + om (1)
Nota: Os resultados do Cap tulo 1 sobre a fun c ao mostram que m m G3 se estende meromorcamente a D1 D /2 1/30m . A escolha de = 1/30m no lema acima n ao e a melhor poss vel, mas qualquer positivo dependendo s o de m seria suciente. A depend encia do termo Om,w(N ) (1) em w(N ) n ao e importante, mas e poss vel obter sem muita diculdade cotas do tipo w(N )Om (w(N )) . Demonstra c ao. Vamos considerar inicialmente o caso j = 1. De (3.4) e da expans ao em s erie de Taylor das fun c oes envolvidas, temos (1) 2+2/30m m em D1 a estimativa grosseira Ep (z, z ) = 1+ Om p /30m , o m m que d a a converg encia do produto e a estimativa de G1 em C (D1 /30m ). A estimativa para G1 (0, 0) tamb em segue da , pois os fatores do produto s ao identicamente iguais a 1 para p w(N ). A estimativa para G2 e f acil pois G2 e um produto nito de no m aximo w(N ) termos, e a f ormula para G2 (0, 0) segue diretamente p1 (W ) de = p W p primo
pw(N )
Para estimar o lado esquerdo de (3.2), que escrevemos sob forma de integral, precisamos do seguinte lema devido a Goldston e Yldrm, que provaremos posteriormente, o qual estima integrais de contorno como as que aparecem nesse contexto: Lema 3.2.4. Seja R um real positivo e seja G = G(z, z ) uma fun ca o m anal tica em 2m vari aveis complexas no dom nio D para algum >
G(z, z )
+ Om, e
(log R)1/10
para um certo = (m) > 0. Vamos aplicar este lema com G = G1 G2 e = 1/30m. Pelo Lema 3.2.3 e pela regra de Leibnitz, obtemos as estimativas
m ||G||C j (D1 ) Oj,m,w(N ) (1), para todo j m. /30m
1/15 m ) = exp Om, (log R) Em particular, obtemos ||G||C m (D ) desde que o crescimento de w(N ) seja sucientemente lento. O Lema 3.2.3 tamb em nos d a G(0, 0) = (1 + om (1))(W/(W ))m . Conclu mos que, se o crescimento de w(N ) e sucientemente lento, nossa express ao integral para o lado esquerdo de (3.2) e, pelo Lema 3.2.4, (1+ m om (1) W log R/(W ) , o que conclui a prova da Proposi c ao 3.1.1.
3.3
Vamos agora adaptar os argumentos acima para provar a Proposi c ao 3.1.2. Temos agora apenas uma vari avel, mas n ao podemos usar o Lema 3.2.2, pois as formas lineares s o podem diferir pelos termos constantes nesse caso. Contudo, os argumentos anteriores a este lema continuam funcionando. Em particular, podemos escrever o lado esquerdo da desigualdade do enunciado da Proposi c ao 3.1.2 como (2i)2m
1
...
1
F (z, z )
107
onde F e denido como em (3.3), com a diferen ca de que agora X (p) deve ser denido como X (p) := E
i X
1W (x+hi )+10(mod p) | x Zp .
Lema 3.3.1. Se p w(N ), ent ao X (p) = 0 para todo X = . Em particular, Ep = 1 quando p w(N ). Se p > w(N ), ent ao X (p) = p1 quando |X | = 1 e X (p) p1 quando |X | 2. Al em disso, quando |X | 2, temos X (p) = 0 sempre que p n ao divide | hi hj | . :=
1i<j s
Demonstra c ao. Quando p w(N ), temos W (x + hi ) + 1 1 (mod p), donde segue nossa arma c ao. Quando p > w(N ), e |X | 1, X (p) = 1/p quando todas as classes de congru encia hi (mod p), i X s ao iguais, e X (p) = 0 caso contr ario, e da segue o resultado.
Ep (z, z ) = 1 1p>w(N )
j =1
O(1/p)
zj +
j X
j X
zj
108
(0) (1)
fatorar Ep = Ep Ep Ep Ep , onde
Ep Ep
(0) (1)
1zj
)(1 1p>w(N ) p
1zj zj 1 )
Ep
(2)
(1 1pw(N ) p1zj )1 (1 1pw(N ) p1zj )1 (1 1pW (N ) p1zj zj ) (1 p1zj )(1 p1zj )(1 p1zj zj )1 .
(j ) Ep . Ent ao, p primo m (1 + zj + zj )
j =1 (3) Ep
m Y
j =1
como antes, F = G0 G1 G2 G3 , e G3
Ep
( )
m para = 0, 1, 2 s ao absolutamente convergentes no dom nio D . Em particular, G0 , G1 e G2 podem ser continuados analiticamente a esse dom nio. Al em disso, temos as estimativas seguintes:
m ) Om (1) ||G0 ||C r (D
r p| p primo
1 + Om (p2m1 )
G0 (0, 0) =
p| p primo
1 + Om (p1/2 )
109
Demonstra c ao. As estimativas para G1 e G2 podem ser provadas exatamente como no Lema 3.2.3 (os fatores adicionais p (z, z ) que (1) aparecem no numerador e no denominador de Ep se cancelam em primeira ordem, e portanto n ao criam diculdades adicionais); vamos portanto nos dedicar ` as estimativas sobre G0 . (0) Temos G0 = Ep . O n umero de primos que dividem e
p| p primo
no m aximo O(log / log log ) (ver ap endice). Usando a estimativa grosseira 2 = |hi hj | N m ROm (1) ,
1i<j m
vemos que o n umero de fatores no produto de Euler e O(log R/ log log R). Diferenciando r vezes para 0 r m por meio da regra de Leibnitz, obtemos uma soma de Om ((log R/ log log R)r ) termos, cada um dos quais consistindo de Om (log R/ log log R) fatores, os quais s ao iguais a alguma derivada de 1+ p (z, z ), de alguma m , cada fator e limitado por 1+ Om (p2m1 ) ordem entre 0 e r. Em D (na verdade, os termos que cont em um n umero positivo de derivadas ser ao muito menores, pois o termo constante 1 e eliminado). Isso nos m). d a a primeira estimativa sobre ||G0 ||C r (D Para provar a estimativa seguinte, basta mostrar que 1 + Om (p2m1 ) exp Om ((log R)1/15 ) .
p| p primo
Tomando logaritmos e usando a hip otese 1/30m, e suciente provar que p14/15 O((log )1/15 ), pois ROm (1) . Para
p|
isso, como tem no m aximo O(log / log log ) fatores primos (ver ap endice), temos p14/15
p| 1nO (log / log log )
como quer amos. A estimativa para G0 (0, 0) segue da estimativa grosseira (0) Ep (z, z ) = 1 + Om (p1/2 ).
110
Aplicamos agora o Lema 3.2.4 com := 1/30m e G := G0 G1 G2 . Ainda pela regra de Leibnitz, temos
1/15 m ) = exp Om, ((log R) ||G||C m (D ) ,
F (z, z )
W (W )
(log R)m
+ Om,w(N )
1 + Om (p1/2 ) + Om e(log R)
p|
e, escolhendo w(N ) que cres ca de modo sucientemente lento em rela c ao a N (e logo tamb em em rela c ao a R), o primeiro termo dominar a os demais, o que conclui a prova da Proposi c ao 3.1.2. Nota: De fato o argumento acima pode ser usado para dar uma estimativa assint otica para o lado esquerdo da desigualdade no enunciado da Proposi c ao 3.1.2, em vez de fornecer apenas uma cota superior. Para isso, basta estimar G0 (0, 0) mais cuidadosamente. Isto foi feito em detalhes por Goldston e Yldrm no caso W = 1.
3.4
Provaremos agora o Lema 3.2.4. No que segue, R 2, m 1 e > 0 ser ao xados. Usaremos > 0 para denotar diversas constantes pequenas, que podem variar de acordo com as retas verticais onde faremos integra ca o. Vamos recordar a regi ao livre de zeros para a fun c ao de Riemann obtida no (ap endice ao) Cap tulo 1: Z := z C | 10 Re z 1 , (log(|Im z | + 2))9
111
para um certo (0, 1) pequeno e uma regi ao tal que e n ao-nula e meromorfa em Z com um u nico p olo simples em 1. Al em disso, temos as seguintes estimativas, v alidas para todo s Z : ( s) 1 1 = O(|Im s| + 2); = O((|Im s| + 2)7 ). s1 (s)
1 Temos ainda que, se Re s 3/4, ent ao (s) s 1 = O ((|Im s| + 1 /4 2) ). Podemos escolher pequeno de modo que Z est a contido na regi ao onde max{1 , 7/8} < Re s < 101. As constantes envolvidas na nota c ao O( ) podem depender de e , sem necessidade de men c ao expl cita. Al em do caminho 1 dado por 1 (t) = 1/ log R + it, < t < , deniremos dois outros caminhos:
0 (t) := e
Assim, 0 e a fronteira esquerda de Z 1, situada ` a esquerda da origem, enquanto 1 e 2 est ao situadas ` a direita da origem. A utilidade de 2 vem do fato de que (1 + z + z ) n ao tem nenhum p olo quando z Z 1 e z 2 (mas n ao estimaremos integrais em 2 ). O pr oximo lema fornece estimativas para as integrais seguintes: Lema 3.4.1. Seja B uma constante xada. Temos as seguintes estimativas:
1/10 Rz dz O e(log R) 3 /2 z 0 Rz dz (log(|z | + 2))B OB (log R) z2 1
onde = ( ) > 0 e uma constante independente de R. Demonstra c ao. Como |0 (t)| = O(1) e |z | c(|t| + ) em 0 para
112
O(1)
R/(log(|t|+2)) dt +
dt t 3 /2
O(1) T exp( log R/2(log T )9 + T 1/2 . Escolhendo T = exp(( log R/3)1/10 ), os dois termos da soma s ao 1 1/10 (log R)1/10 iguais, e da ordem de O(1) exp( 2 ( log R/3) )=O e , o que demonstra a primeira estimativa do lema. Para a segunda estimativa, basta usar o fato de Rz ser limitado em 1 , donde, dividindo o intervalo de par ametros em {|t| 1/ log R} e {|t| > 1/ log R}, obtemos a estimativa desejada, pois {|t| 1/ log R} e um intervalo de tamanho 2/ log R onde o integrando tem m odulo O((log R)2 ), enquanto
log(t + 2)
1/ log R 1
dt t2 dt t2
=
1/ log R
log(t + 2) +
1 1
log(t + 2)
dt t2
= OB
1/ log R
dt + OB (1) t2
113
(1 + z + z ) Rz+z dzdz (1 + z ) (1 + z ) z 2 z 2 dz (1 + z ) (1 z )z 4
f (z, z )
0
+ Om e
para um certo = (, ) > 0 independente de R. Demonstra c ao. Observamos que temos decaimento suciente no integrando para trocar a ordem de integra c ao, e para mover caminhos de integra c ao em cada vari avel z , z mantendo a outra xa, sem diculdades quando Im(z ), Im(z ) , pelas estimativas sobre na regi ao livre de zeros Z . Devemos apenas levar em conta o efeito de mover caminhos de integra c ao atrav es de um p olo do integrando. Em particular podemos mover o caminho de z de 1 para 2 , pois n ao passamos por nenhum p olo do integrando nesse processo. Consideremos o integrando para cada z 2 como uma fun c ao anal tica de z , e vamos tentar mover o caminho de integra c ao em z para 0 . Nesse processo passamos por um u nico p olo em z = 0. O res duo nesse p olo 1 Rz e f (0, z ) 2 dz , e portanto temos I = I1 + I2 , onde (2i)2 2 z I1 := I2 := 1 2i f (0, z )
2
Rz dz z2
e (1 + z + z )Rz+z dzdz . (1 + z ) (1 + z )z 2 z 2
1 (2i)2
f (z, z )
2 0
Para estimar I1 , movemos o caminho de integra c ao para 0 . Como antes, h a apenas um p olo, duplo, em z = 0. O res duo nesse 1 f p olo e f (0, 0) log R + (0, 0) , e portanto 2i z I1 = f (0, 0) log R + f 1 Rz (0, 0) + f (0, z ) 2 dz = z 2i 0 z 1/10 f (0, 0) + Om e(log R) = f (0, 0) log R + z
114
para um certo > 0. A u ltima igualdade e conseq u encia da primeira estimativa para f no Lema 3.4.1 (com B = 0). Para estimar I2 , olhamos o integrando como uma fun c ao anal tica de z . Movemos o caminho de integra c ao em z de 2 para 0 , o que est a autorizado pelo decaimento em faixas verticais quando |Im z | do integrando. Fazendo isso, atravessamos exatamente dois p olos simples, em z = z e em z = 0. O res duo no primeiro e 1 (2i)2 f (z, z )
0
dz , (1 + z ) (1 z )z 4
o que fornece um dos termos em nossa f ormula para I . 1 Rz dz , que e O res duo em z = 0 e f ( z, 0) (2i)2 0 z2 O e(log R)
1/10
1/10
= /2. com O valor de I2 e a soma dessas duas quantidades com a integral sobre o novo caminho de integra c ao 0 , que e f (z, z )
0 0
(1 + z + z )Rz+z dzdz . (1 + z ) (1 + z )z 2 z 2
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 |+2))7 ) (1 + z ) (1 + z ) e, como Re z , Re z 1/8 em 0 , Re (z + z ) 3/4, donde | (1 + z + z )| = O((|Im(z + z )| + 2)1/4 ), e portanto (1 + z + z ) = (1 + z ) (1 + z ) = O((log(|Im z | + 2))7 )(log(|Im z | + 2))7 ) (|Im z | + 2)1/4 (|Im z | + 2)1/4 ) = = O((|Im z | + 2)1/2 (|Im z | + 2)1/2 ) = O(|z |1/2 |z |1/2 ),
115
pelas estimativas sobre a fun c ao descritas anteriormente. Assim, usando duas vezes (para z e z ) a primeira estimativa do Lema 3.4.1, 1/10 obtemos que a integral em quest ao e Om e(log R) , para um certo > 0. Obtemos assim estimativas para I1 e I2 com erros que s ao 1/10 O e(log R) . Somando essas estimativas, completamos a prova do lema. Prova do Lema 3.2.4. Seja G = G(z, z ) uma fun c ao anal tica de m 2m vari aveis complexas no dom nio D satisfazendo a hip otese
1/15 m ) = exp(Om, ((log R) ||G||C m (D )).
No que segue permitiremos que as constantes impl citas no nota c ao O( ) dependam de m, , . Queremos provar que a integral I (G, m) := 1 (2i)2m
m
...
1 1
G(z, z )
satisfaz a estimativa
mj m ) (log R) O(||G||C j (D )
+ O(e
(log R)1/10
).
A prova e por indu c ao em m. O caso m = 1 segue do Lema 3.4.2, pois f 1 )) (0, 0) = O(||G||C 1 (D z1 e 1 2i G(z1 , z1 )
0
dz1 4 (1 + z1 ) (1 z1 )z1
1 ) ) = O (||G||C 1 (D 1 ) ), = O(||G||C 0 (D
116
Au ltima estimativa e uma conseq u encia simples de nossas estimativas para em Z . Suponhamos agora que vale o resultado para um certo m 1. Queremos prov a-lo para m + 1. Aplicando o Lema 3.4.2 nas vari aveis zm+1 , zm+1 , obtemos I (G, m + 1) = log R = ... (2i)2m 1
m
G(z1 , . . . , zm , 0, z1 , . . . , zm , 0)
+ r(z1 , . . . , zm , z1 , . . . , zm ))
H (z1 , . . . , zm , z1 , . . . , zm ) := + 1 2i
G (z1 , . . . , zm , 0, z1 , . . . , zm , 0) + zm+1
117
e r(z1 , . . . , zm , z1 , . . . , zm ) 1 := G(z1 , . . . , zm+1 , z1 , . . . , zm+1 ) (2i)2 1 1 (1 + zm+1 + zm+1 ) Rzm+1 +zm+1 dzm+1 dzm+1 2 2 (1 + zm+1 ) (1 + zm+1 ) zm +1 zm+1 H (z1 , . . . , zm , z1 , . . . , zm ). As fun c oes G(z1 , . . . , zm , 0, z1 , . . . , zm , 0) e H (z1 , . . . , zm , z1 , . . . , zm ) dz m s ao anal ticas em D e, como = O(1), temos 4 0 (1 + z ) (1 z )z
m ) = Om (||G|| j +1 m+1 ), para 0 j m, ||H ||C j (D C (D )
donde (usando
tamb em o
caso
m = 1)
m+1 ). Al em disso, |r| = O(e ), pelo Lema Om (||G||C j +1 (D ) 3.4.2. Temos portanto, usando a hip otese de indu c ao,
+
j =1
mj m ) (log R) Om (||r||C j (D )=
+ O(e(log R)
1/10
)+
j =1
118
+ O(e(log R)
1/10
),
que e o que quer amos provar. Coment arios: Podemos evitar o uso do teorema de Dirichlet trocando W n + 1 por W n + b na deni c ao de (n), onde b satisfaz mdc (b, W ) = 1, 1 b < W e e tal que #{1 n N | W n + b e primo} e m aximo, pois, de fato, s o precisamos da estimativa (n) c k N , para alguma constante positiva c. Esse
k N n2k N
mesmo truque deve ser usado na prova da generaliza c ao do teorema principal para a exist encia de progress oes aritm eticas arbitrariamente longas em conjuntos de primos com densidade positiva (tais conjuntos n ao necessariamente conter ao primos congruentes a 1 m odulo W ). O resto do argumento n ao precisa de modica c oes substanciais. Olhando retroativamente para a prova, vemos que o termo de erro no teorema principal n ao precisa ser o(1), mas basta ser, por exem1 plo, c(k, )+ o(1), o que permite tomar w(N ) uma constante grande 2 dependendo apenas de k . Isto faz com que a perda na propor c ao de primos devida ` a passagem de n para W n + 1 seja uniformemente limitada em N , o que permite provar que existe uma constante (k ) > 0 tal que o n umero de progress oes aritm eticas formadas por k n umeros N2 primos entre 1 e N e pelo menos ( (k ) + o(1)) Por outro (log N )k lado, argumentos da teoria do crivo mostram que o n umero de tais progress oes aritm eticas e Ok (N 2 /(log N )k ), e logo a estimativa inferior obtida difere do n umero correto apenas por um fator limitado.
119
3.5
I) A f ormula da invers ao de M obius. Denimos a fun c ao de M obius como a fun c ao : N Z dada por 2 0 se existe p primo tal que p | n (n) = (1)k se n = p1 p2 . . . pk , com p1 < p2 < < pk primos Em particular, (1) = 1 (1 e o produto de 0 fatores primos). Obs.: A fun c ao e multiplicativa, i.e., mdc(mn) = 1 (mn) = (m) (n). bastante comum associar a uma fun E c ao f : N C outra fun c ao g : N C dada por g (n) = f (d). A f ormula da invers ao de
d|n
Lema 3.5.1.
d|n
(d) =
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) = 0 ent ao d X . Por outro lado, se d Y , (p d) = (d), pois as paridades dos n umeros de fatores primos de d e de p d s ao distintas. Portanto, (d) =
d|n dX
(d) =
dY
(d) +
dZ
(d) 0 = 0.
dY
=
dY
((d) + (p d)) =
120
Teorema A.2 (F ormula da invers ao de M obius): Sejam f, g : N C fun c oes tais que g (n) = f (d), para todo n N . Ent ao temos f (n) =
d|n
d|n
n g (d) = d
d|n
n d
f (d ) ,
d |d
mas
d|n
n d
f (d ) =
d |d d |n
f (d )
d |d|n
n d
=
d |n
f (d )
| n d d
) = f (n), (d
pois
| n d d
) = (d
II) A ordem m axima de d(n). Seja d(n), para cada n N , o n umero de divisores (positivos) de n. Temos ent ao o seguinte Teorema A.3: Para todo > 0 existe n0 N tal que n > n0 d(n) < 2(1+) log n/ log log n .
k 1 2 p 1 < p2 < < pk Demonstra c ao. Seja n = p 1 p2 . . . pk , primos a fatora c ao prima de n. Temos ent ao k
d(n) =
(1 + j ) =
j =1 pj (log n)1
(1 + j ) onde = /2(1 + ).
(1 + j ),
pj >(log n)1
121
(1 + j ) 2
pj >(log n)1
pj >(log n)1
2log n/ log((log n)
P
((log n)1 )
pj >(log n)1
).
1+
log n log 2
(log n)1
Temos ent ao
k
d(n) =
Corol ario. Para todo > 0 existe n0 N tal que n > n0 #{p primo, p|n} < (1 + ) log n/ log log n. (De fato, temos 2#{p primo,p|n} d(n), para todo inteiro positivo n.) poss Nota: E vel provar que, se p1 < p2 < < pk s ao os k primeiros n umeros primos e Nk =
k k j =1
log Nk
cientemente grande. De fato, pr < 2r log r, para todo r grande, donde log Nk =
j =1
j =2
122
O(1) + k log 2 + k log k k + o(k ) + k log log k + o(k ) = k (log k + log log k (1 log 2)) + o(k ), donde log Nk / log log Nk < k (log k + log log k )/ log(k (log k + log log k )) < k = log d(Nk )/ log 2, para todo k sucientemente grande.
[5] Green, B. e Tao, T. The primes contain arbitrarily long arithmetic progressions. To appear, Annals of Math. http://front.math.ucdavis.edu/math.NT/0404188 (2004). [6] Goldston, A. e Yldrm, Y. Small Gaps Between Primes I. http://front.math.ucdavis.edu/math.NT/0504336. [7] Roth, K. On certain sets of integers. J. London Math. Soc. 28 245-252. 1953. [8] Schnirelman, L. G. Uspekhi Math. Nauk 6, 3-8, 1939. 123
124
REFERENCIAS BIBLIOGRAFICAS
di, E. On sets of integers containing no k elements in [9] Szemere arithmetic progression. Acta Arith. 27 299-345, 1975. [10] T. Tao. Arithmetic Progressions and the Primes - El Escorial Lectures. Lecture Notes, 2005. [11] Tao, T. The ergodic and combinatorial approaches to Szemer edis theorem. Intended for proceedings of the Montreal workshop on additive combinatorics and number theory. http://front.math.ucdavis.edu/math.CO/0604456. [12] Tao, T. The Gaussian primes contain arbitrarily shaped constellations. J. dAnalyse Mathematique 99, 109-176 2006. [13] Tao, T. e Ziegler, T. The primes contain arbitrarily long polynomial progressions. To appear, Acta Math. http://arxiv.org/abs/math.NT/0610050. [14] Van der Corput, J. Uber Summen von Primzahlen und Primzahlquadraten. Math. Ann. 116, 1-50, 1939. [15] Vinogradov, I. Representation of an odd prime as a sum of three primes. Comptes Rendus (Doklady) de lAcad emie des Sciences de PURSS 15 291-294. 1937.