Notas

1 Sequ encias Equidistribu das mod 1

O estudo de sequ encias equidistribu das foi entroduzido por Weyl. Seja xn uma sequ encias de n umeros reais, podemos decompor xn como a soma de sua parte inteira [xn ] = sup{m Z|m xn } e sua parte fracion aria {xn } = xn - [xn ]. Claramente, 0 {xn } < 1. O estudo de xn mod 1 eo estudo da sequ encia {xn } no intervalo [0, 1). Deni c ao 1: A sequ encia xn e equidistr buda mod 1, se para cada a, b com 0 a < b < 1 temos que: #{xn [a, b] : 0 n < N } =ba N N lim Teorema 1 (Crit erio de Weyl) Uma sequ encia de n umeros reais xn e equidistribu da mod 1 se e somente se, para todo inteiro h = 0 , 1 lim N N
N

e2ihxn = 0
n=1

Para a demonstra ca o e nescess ario o seguinte color ario. Color ario 1: A sequ encia xn e equidistribu da mod 1 se e somente se, para todos valores complexos da fun ca o f cont nua em R com per odo 1, temos 1 lim N N
N 1

f ( xn ) =
n=1 0

f (xn )dx

Sua demonstra ca o e encontrada em [3] Demonstra ca o do Teorema 1: Suponhamos que xn possui a propiedade (2.1), isto e, temos que mostrar que o color ario anterior e v alido para todos valores complexos da fun c ao f cont nua em R com per odo 1. Seja > 0 um n umero arbitr ario positivo. Pelo Teorema da aproxima ca o de Weierstrass, existe um polinomio trigonom etrico (x), que e, uma com2ihxn bina ca o linear nita de fun c oes do tipo e , h Z, com coecientes complexos, tal que 1

sup |f (x) (x)| , 0 x 1. Agora temos que

1

|
0

1 f (x)dx N
1

f (xn )| |
n=1 0

(f (x) (x))dx|
N 1 (xn )| +| N

+|
0

(x)dx

1 N

(f (xn ) (xn )|.

n=1

n=1

O primeiro e o terceiro termos do lado direito s ao ambos para qualquer que seja o valor de N, devido a (2.2). tomando N sucientemente grande, o segundo termo a ` direita e por causa de (2.1).

Proposi c ao 1: A sequ encia n, n N, e equidistribu da mod 1 se e somente se, e irracional. Prova. () Trivial () observamos que, para irracional e h = 0 inteiro, temos

e2ih = 1
Assim
N N

e
n=1

2ihn

=
n=1

e(2ih)n

Transformando em uma soma de P.G. nita (e2ihN 1)e2ih (e2ih 1) Portanto

N

1 N

|
n=1

e2ihn | =

| (e

2ihN 1)e2ih

N (e2ih 1)

e 1 | = |N | 2 ih (e 1)

2ihN

|e2ihN |+|1| 2 = 2 ih 2 ih N |(e 1)| N |(e 1)| 2

Como (e2ih 1) independe de N , podemos concluir pelo Teorema 1, que 1 lim N N

N

e2ihn = 0
n=1

Assim para todo h = 0 inteiro, e irracional, n e equidis. mod 1.

Proposi c ao 2: Seja xn uma sequ encia de n umeros reais equidistribu da mod 1, ent ao a sequ encia xn e densa. Prova: Suponha que xn n ao seja densa, isto e, existe x0 (0, 1] e tais que (x0 , x0 + ) {xn } = #{xn [x0 , x0 + ] : 0 n < N } =0=2 N N lim n N Portanto, toda sequ encia equidistribu da mod 1 e densa. Mas n ao vale a rec proca, como veremos no exerc cio seguinte. Exerc cio 1: Mostre que a sequ encia log(n) e densa, mas n ao e equidistribu da mod 1. Resolu ca o: Devemos mostrar que a parte fracion aria {log(n)} e densa. e densa, ent ao a Sabemos que dada uma subsequ encia xn xn , se xn sequ encia xn tamb em e densa. Vamos usar esse resultado para mostrar a densidade de {log(n)} (0, 1]. Tomando a subsequ encia das pot encias de 2 de log(n), ou seja, log(2n ), ten mos log(2 ) = n log(2), mas decorrente das proposi co es 1 e 2, e como log(2) e irracional, logo {n log(2)} e denso e portanto, {log(n)} tamb em e denso. Para mostrar que n ao e equidistribu da deve n ao satisfaz a deni c ao 1, ou seja.
1 1 #{log(n)} [ k+1 ,k ] : 0 n < eN 1 1 lim = N N e k k+1

> 0,

Aqui o intervalo eN est a sendo considerado para facilitar os c alculos, n ao inu enciando no resultado. 1 1 ,k ), toVamos expresar o n umero de elementos que est ao no intervalo ( k+1 mando x a parte inteira de log(n), temos ent ao a sequinte desigualdade

x+

1 k +1

< log(n) < x +

1 1

1 k

ex+ k+1 < n < ex+ k

Assim, vamos fazer a contagem no intervalo

ex (e k e k+1 )
Como temos que considerar todos os valores inteiros x, fazemos o somat orio de todos os poss veis valores de x
N 1

ex (e k e k+1 )
x=0

Tornando o somat orio em uma soma nita de P.G. temos que (eN 1) 1 k e1 (e Aplicando o limite, teremos

e k+1 )

(e k e k+1 )(eN 1) lim N (e 1)eN

Operando com o limite temos ent ao

(e k e k+1 ) lim (eN 1)eN (e 1) N

4

como

lim (eN 1)eN = 1

Portanto

1 1 #{log(n)} [ k+1 ,k ] : 0 n < eN 1 1 (e k e k+1 ) = lim = N N e (e 1) k k+1

Logo, a sequ encia log(n) n ao e equidistribu da mod 1.

Lema 1: Se {xn } uma sequ encia equidistribu da mod 1, e {yn } e tal que limn (xn yn ) = 0, ent ao {yn } e equidistribu da mod 1. Prova: Pelas hip oteses e pela cont nuidade da exponencial, temos

lim (e2ixn e2iyn ) = 0

Sabemos que {n }, sequ encia de n umeros reais que converge para um limite nito l, ent ao

1 lim N N

{n } = 0
n=1

Tomando {n } = e2ixn e2iyn Assim temos

1 lim N N

(e2ixn e2iyn ) = 0
n=1

Como sabemos por hip otese que

1 lim N N

e2ixn = 0
n=1

Assim

1 lim N N

e2iyn = 0
n=1

Portanto pelo Teorema 1, {yn } e equidistribu da mod 1.

Exerc cio 2: Seja {xn } uma sequ encia de n umeros reais equidistribu da mod 1. Ent ao, para todo inteiro c = 0, a sequ encia {cxn } e equidistribu da mod 1. Resolu ca o: Pelo Teorema 1 sabemos que, sendo {xn } uma sequ encia de n umeros reais equidistribu da mod 1, ent ao

1 lim N N

e2ihxn = 0
n=1

Para h = 0. Mas, sabemos que esse resultado vale para todo inteiro ch , com h = 0, onde h Z, h = 0. Portanto

1 lim N N

e
n=1

2ich xn

1 = lim N N

e2ih (cxn ) = 0
n=1

Logo, pelo Teorema 1, {cxn } e equidistribu da mod 1.