FLUXOS IRRACIONAIS NO TORO

THIAGO NASCIMENTO DA SILVA

UFES - UNIVERSIDADE FEDERAL DO ESPRITO SANTO
Resumo: O objetivo deste trabalho estudar uxos irracionais no toro, mostrando que se um campo
de vetores possui inclinao irracional, ento sua rbita densa no toro.
1 Informaes Primrias
1) Dado a X, dizemos que a ponto de acumulao do conjunto X, se toda vizinhana de a contm
pontos de X, com exceo do prprio a. Em notao matemtica: V\{a} X = .
2) Dizemos que um ponto a aderente ao conjunto X, quando a limite de alguma sequncia de
pontos em X.
3) O fecho do conjunto X, que ser denotado por X, o conjunto de todos os pontos aderentes ao
conjunto X.
4) Diremos que o conjunto X denso no conjunto Y, se o fecho de X contiver Y, ou seja, se X Y.
5) Um conjunto X dito ser discreto, se no possui pontos de acumulao.
Um conjunto G com uma operao
GG G
(a, b) a b
um grupo se as condies seguintes so satisfeitas:
G
1
) a (b c) = (a b) c, a, b, c G.
G
2
) e G tal que e a = a e = a, a G.
G
3
) a G, b G tal que a b = b a = e.
G
1
) a associatividade.
G
2
) a existncia do elemento neutro.
G
3
) a existncia do elemento inverso.
Lema: Se G um subgrupo aditivo de R, ento G discreto ou denso. Demonstrao: Seja G
+
=
{ g G ; g>0 }, o conjunto G
+
limitado inferiormente por 0, pelo axioma fundamental da anlise,
G
+
possui nmo. Seja g
0
o nmo de G
+
, ou seja g
0
= inf { g G ; g>0 }. H dois casos a se
considerar: g
0
=0 ou g
0
>0.
i) Considerando g
0
=0. Como 0 nmo, >0, h G
+
; 0 < h < . Sabemos que mh G,
m Z, pois G grupo aditivo. Podemos achar mltiplos inteiros tais que (m-1)h x mh G
denso em R.
ii) Considerando g
0
>0. Necessariamente g
0
G
+
, suponha por absurdo que g
0
G
+
, existem
g
1
e g
2
G
+
com g
0
<g
1
<g
2
<2g
0
, como 2g
0
-g
0
= g
0
0<g
2
-g
1
<g
0
, por G
+
ser grupo g
2
-g
1

G
+
, absurdo, pois g
0
= inf G
+
. Logo g
0
G
+
, temos G {ng
0
; n Z }. Suponha por absurdo que
existe g G com g = ng
0
, n Z k Z com kg
0
<g<(k+1)g
0
, temos que (k+1)g
0
- kg
0
= g
0
0<g-kg
0
<g
0
, como g-kg
0
G
+
, temos um absurdo, pois g
0
= inf G
+
. Portando G = {ng
0
; n Z
}, ou seja: G = <g
0
>, subgrupo discreto e cclico.
Exemplos: Z e Q so subrupos de R, o primeiro discreto, o segundo denso. Evidentemente, a
volta do Lema no vlida, de fato, R\Q denso em R, mas R\Q no subgrupo de (R, +). O
mesmo para o caso discreto, N discreto mas no subgrupo de (R, +).
1
2 Parametrizao do Toro
Considere o crculo de raio a transladado de c unidades para a direta, segue a imagem.
Crculo que gera o Toro.
Considerando o crculo no plano XZ, os pontos da circunferncia so dados por:
T(x, z) = (c + a cos(2v), a sen(2v))
Agora rotacionamos o crculo em torno do eixo Z, repare que cada ponto (x, z) do crculo, ao ser
rotacionado determina uma nova circunferncia paralela ao plano XY. Veja que quando voc rotaciona
o ponto (x
0
, z
0
), a coordenada em Z permanece a mesma. O raio dessa nova circunferncia, ser a
distncia do ponto original ao eixo Z, logo a parametrizao dessa nova circunferncia, dada por
(xcos(2u)), xsen(2u), z), pois j vimos que a coordenada em Z no se altera. Fazendo x e y
percorrerem toda a circunferncia, temos:
(u, v) = ((c + a cos2v) cos2u, (c + a cos2v) sen2u, a sen 2v)
Considerando a=1 e c=2, temos:
(u, v) = ((2 + cos2v) cos2u, (2 + cos2v) sen2u, sen2v)
Toro
2
3 Teorema
Considere como dada anteriormente. Ento:
(u, v) = ( u, v) u u = m e v v = n, com m, n Z
Demonstrao:
) Se v v = mv = m + v, com efeito:
Tomando a coordenada em z, temos:
sen(2(m + v)) sen(2 v) = sen(2m + 2 v) sen(2 v) = sen(2 v) sen(2 v) = 0.
Pois:
sen(2m + 2 v) = sen(2 v).
Agora, tomando a coordenada em y, queremos calcular:
g = cos(2v) sen(2u) cos(2 v) sen(2 u)
como u = m + u, segue que: sen(2u) = sen(2 u), logo:
g = cos(2v) cos(2 v) = cos(2v) cos(2 v) = cos(2m + 2 v) cos(2 v) = 0
Assim, provamos que se u u = m e v v = n ento (u, v) = ( u, v), vamos provar a ida.
) Agora, admitindo que sen(2 v) = sen(2v), ento: sen(2 v) - sen(2v) = 0, como
sen(2 v) sen(2v) = 2 sen(v v) cos(v v)
segue que: 2(sen(v v))cos((v v)) = 0. Assim, obrigatoriamente sen((v v)) = 0 ou
cos((v + v)) = 0, se sen((v v)) = 0 v v = n. Se cos((v + v)) = 0 no nos interessa, pois
queremos saber de v v, assim: v v = n.
Tomando novamente a coordenada em y, vamos mostrar que se (u, v) = ( u, v) u u = m.
De novo, cos(2v)sen(2u) - cos(2 v)sen(2 u) = 0. Da parte anterior, j vimos que v v = n, como
cos(x + 2) = cos(x), segue que cos(2v) = cos(2 v), assim:
cos(2v)sen(2u) cos(2 v)sen(2 u) = sen(2u) sen(2 u) = 0
E pelo mesmo argumento que zemos para sen(2u) sen(2 u) = 0, temos que u u = m. Segue
o resultado dado acima, ou seja:
(u, v) = ( u, v) u u = m e v v = n, com m, n Z
3
4 Fluxos Irracionais no Toro
Dado R, vamos considerar em R
2
o seguinte campo de vetores: X

(u, v) = (1, ). Y

est bem denido. As rbitas de Y

so as imagens por das rbitas de X

, sendo estas as retas de

inclinao em R
2
.
Teorema: Se irracional, toda rbita de Y

densa no Toro. Para cada c R, vamos denotar por

c
a reta de R
2
que passa por (0, c) e tem inclinao , assim:
c
= {(u, c + u); u R}.
Demonstrao: Fixemos c R. C = {c R; (
c
) = (
c
)} denso emR. Assim,

cC

c
denso
em R
2
e segue que (
c
) = (

cC

c
) denso no Toro. De fato, vamos provar que o conjunto G =
{m + n; m, n Z} denso em R, pois C denso em R G = {m + n; m, n Z} denso em
R, pois pelo Teorema demonstrado anteriormente, c C c c G. Agora, G
1
subgrupo de (R,
+), pelo nosso lema, G discreto ou denso. Vamos mostrar que G no discreto. De fato, para cada
m Z, n Z tal que u
m
= m + n pertence ao intervalo (0,1). A sequncia u
m
tem um ponto de
acumulao e, como irracional, seus elementos so distintos, assim G no pode ser discreto, logo
G denso.
1
Prova que G subgrupo de (R, +):
i) Dados s = m
1
+n
1
e t = m
2
+n
2
, s + t = (m
1
+m
2
)+(n
1
+n
2
), m
1
+m
2
Z, n
1
+n
2
Z,
logo s + t G. Isso mostra que operao fechada.
ii) A associatividade, herdada de R, pois m, n, R
iii) O elemento neutro, 0, basta tomar m = 0 e n = 0.
iv) Dado a = m+n G, tome b = m+(n) G, temos a + b = m+n + (m) +(n) = 0.
4
REFERNCIAS
1. Weisstein, Eric W. "Torus."From MathWorldA Wolfram Web Resource.
2. Palis Jnior, Jacob e de Melo, Welington. introduo aos sistemas dinmicos. Rio de Janeiro:
Instituro Nacional de Matemtica Pura e Aplicada, 1978.
3. Gonalves, Adilson. Introduo lgebra. Rio de Janeiro: Instituro Nacional de Matemtica
Pura e Aplicada, 2009.
4. Garcia, Arnaldo e Lequain, Yves. Elementos de lgebra. Rio de Janeiro: Instituro Nacional
de Matemtica Pura e Aplicada, 2010.
5. Lages Lima, Elon. Anlise Real volume 1. Rio de Janeiro: Instituro Nacional de Matemtica
Pura e Aplicada, 2009.
5