Você está na página 1de 36

No h 3 sem 2: O Teorema de

Sharkovskii
Nuno Mestre
Programa Gulbenkian Novos Talentos em Matemtica
Departamento de Matemtica da Universidade de Coimbra
1
ESTRUTURA
1. Introduo
2. Casos p = 2 e p = 3
3. Caso geral
2
1 Introduo
Um sistema dinmico discreto uma coleco de estados avaliados
em tempos discretos, em que um estado dado em funo de um ou
mais estados anteriores. Vamos estudar o caso
x
n+1
= f(x
n
),
onde o estado x
n+1
obtido a partir de x
n
aplicando uma funo f,
de varivel real.
3
Um exemplo particularmente interessante o sistema logstico, que
obtemos tomando a funo
f(x) = rx(1 x).
O sistema ento denido por:
x
n+1
= rx
n
(1 x
n
),
onde r um parmetro xo.
4
Dado um valor x no domnio do sistema, chamamos trajectria de x
sucesso x, f(x), f
2
(x), f
3
(x) . . .
Chamamos rbita de x ao conjunto {x, f(x), f
2
(x), f
3
(x) . . .}.
Por exemplo, para r = 3, 5 e x = 3/7, temos como trajectria a
sucesso
3
7
, 3
3
7

1
3
7

=
6
7
,
3
7
,
6
7
,
3
7
, . . .
e como rbita o conjunto

3
7
,
6
7

.
5
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
0.4
0.45
0.5
0.55
0.6
0.65
0.7
0.75
0.8
0.85
0.9
Evoluo temporal para r=3.5
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1
6
Se na trajectria de um ponto x
0
, ao m de algumas iteraes os
pontos se repetem, ou seja se j : f
j
(x
0
) = x
0
, ento
dizemos que x
0
um ponto peridico de perodo n, onde n o
menor natural tal que f
n
(x
0
) = x
0
;
chamamos rbita de x
0
rbita n-peridica.
7
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
Evoluo temporal para r=1.83
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1
Teia do ponto fixo para r=1.83
8
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
0.45
0.5
0.55
0.6
0.65
0.7
0.75
0.8
Evoluo temporal para r=2.9
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1
9
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
0
0.2
0.4
0.6
0.8
1
Evoluo temporal para r=3.95
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
0
0.2
0.4
0.6
0.8
1
Teia do ponto fixo para r=3.95
10
Ordenamento de Sharkovskii:
3 5 7 9 . . . 2 3 2 5 . . . 2
2
3 2
2
5
. . . 2
3
2
2
2 1
Teorema 1.1 (Sharkovskii) Seja f uma funo contnua num
intervalo, denindo um sistema com uma rbita p-peridica. Se
p q ento o sistema tem tambm uma rbita q-peridica.
11
2 Casos p = 2 e p = 3
Comearemos por provar os seguintes casos particulares:
se f tem rbita 2-peridica, tem um ponto xo
se f tem rbita 3-peridica, tem rbita de qualquer perodo
12
Teorema 2.1 (Ponto xo) Seja f : J J contnua e
I = [a, b] J um intervalo tal que I f(I). Ento f tem um
ponto xo em I.
Figura 1: ponto xo em [a, b]
13
Primeiro caso (p = 2):
Suponhamos que f tem rbita 2-peridica {x
1
, x
2
}, ou seja,
f(x
1
) = x
2
e f(x
2
) = f(x
1
).
Ento {x
1
, x
2
} f([x
1
, x
2
]), e como a imagem de um intervalo
ainda um intervalo temos [x
1
, x
2
] f([x
1
, x
2
])
A existncia de um ponto xo ento imediata.
14
Suponhamos que f tem uma rbita p-peridica, com p 3
Sejam x
1
< . . . < x
p
os pontos da rbita.
Estes pontos dividem o intervalo [x
1
, x
p
] em p 1 subintervalos.
Figura 2: rbita 5-peridica
15
A cada rbita p-peridica de f vamos associar um grafo dirigido.
O grafo tem p 1 vrtices, que so os subintervalos S
i
.
Tem-se um arco S
i
S
j
se e s se S
j
f(S
i
).
16
Segundo Caso (p = 3):
Suponhamos que f tem rbita 3-peridica, x
1
< x
2
< x
3
.
Seja y = x
2
, e suponhamos f(y) = x
1
, ento temos o grafo:
Figura 3: grafo de rbita 3-peridica
17
Resultado auxiliar:
Se I
1
, I
2
, . . . , I
n
so intervalos fechados e tivermos
I
2
f(I
1
), I
3
f(I
2
), . . . I
n
f(I
n1
),
e ainda
I
1
f(I
n
),
ento temos I
1
f
n
(I
1
).
Portanto f
n
tem um ponto xo, e f uma rbita peridica, com
perodo divisor de n.
18
Assim, encontrando no grafo de transio um ciclo de comprimento
n, podemos garantir a existncia de uma rbita m-peridica com m
divide n.
Se m < n ento o ciclo ser a repetio sucessiva de um ciclo
indecomponvel de ordem m.
19
No nosso exemplo encontramos:
O ciclo S
1
S
1
.
O ciclo S
1
S
2
S
1
.
O ciclo S
1
S
2
S
1
S
1
. . . S
1
, de comprimento n.
Temos portanto rbitas n-peridicas para todo o n natural.
20
3 Caso geral
Ordenamento de Sharkovskii:
3 5 7 9 . . . 2 3 2 5 . . . 2
2
3 2
2
5
. . . 2
3
2
2
2 1
Teorema 3.1 (Sharkovskii) Seja f uma funo contnua num
intervalo, com uma rbita p-peridica. Se p q ento f tem uma
rbita q-peridica.
21
Sejam x
1
< x
2
< . . . < x
p
os elementos de uma rbita peridica.
Na partio resultante, designamos por A
1
o intervalo mais direita
cujo extremo inferior transformado num ponto maior que ele prprio.
Figura 4: escolha de A
1
Pela escolha de A
1
, temos A
1
f(A
1
).
Aplicando f nos dois termos sucessivamente, obtemos:
A
1
f(A
1
) f
2
(A
1
) . . .
22
Lema 3.2 O nmero de pontos x
i
da rbita que esto contidos em
f
j
(A
1
) cresce estritamente com j, at que todos os p pontos da
rbita esto contidos em f
K
(A
1
), para um certo K.
K o menor inteiro positivo para o qual f
K
(A
1
) contm
[x
1
, x
p
].
K p 2, pois A
1
contm 2 pontos da rbita e, com cada
incremento de j, f
j
(A
1
) contm pelo menos mais um dos p pontos.
23
Assim, a imagem de A
1
contm no s A
1
mas pelo menos mais um
subintervalo S
i
.
Traduzindo em termos de grafos de transio isto signica que de A
1
,
para alm de uma arco para si prprio sai ainda um outro arco para
algum S
i
.
24
Lema 3.3 Dado um S
n
xo temos uma de duas hipteses:
1. Existe um S
m
distinto de S
n
cuja imagem contm S
n
2. p par e f tem uma rbita 2-peridica
25
Recordemos:
Pela nossa escolha de A
1
, temos A
1
A
1
Pelo lema 3.2 existe um S
n
, distinto de A
1
tal que A
1
S
n
.
Pelo lema 3.3 existe um S
m
, distinto de A
1
tal que S
m
A
1
26
Lema 3.4 Temos uma das seguintes alternativas:
1. f tem uma rbita (p 2)-peridica;
2. p par e f tem uma rbita 2-peridica;
3. K = p 2.
27
Prova do caso mpar:
Seja p o maior nmero mpar para o qual f tem uma rbita
p-peridica.
Observemos o que se passa se tivermos p = 7.
Pelo Lema 3.4, K = p 2 = 5.
Isto signica que em cada passo de iterao de f sobre o
subintervalo A
1
, apenas um ponto da rbita acrescentado ao
intervalo anterior.
28
Seja A
1
= [x
m
, x
m+1
] ento
1. ou f(x
m
) = x
m+1
, f(x
m+1
) = x
m1
,
2. ou f(x
m
) = x
m+2
, f(x
m+1
) = x
m
.
29
Ento temos que A
1
A
2
. . . A
6
A
1
e que A
6
A
j
,
qualquer que seja j mpar, j < p.
Figura 5: grafo da rbita 7-peridica
30
Temos ento rbitas peridicas de perodo :
1: A
1
A
1
todos os perodos pares menores do que 7:
2(A
6
A
5
A
6
), 4(A
6
A
3
A
4
A
5
A
6
),
6(A
1
. . . A
6
A
1
)
qualquer nmero q > 7:
A
1
. . . A
6
A
1
A
1
. . . A
1
31
Tendo em conta as observaes feitas neste caso (p = 7), provamos
de seguida o Teorema para qualquer p mpar. Facilmente se constata
que o grafo neste caso ser anlogo:
Figura 6: grafo de rbita de perodo mpar
32
Observando o grafo podemos vericar a existncia de rbitas
peridicas de perodo :
1: A
1
A
1
q < p, com q par:
A
p1
A
pq
A
pq+1
A
pq+2
. . . A
p1
q > p: A
1
A
2
. . . A
p1
A
1
A
1
. . . A
1

33
Proposio 3.5 Se f tem uma rbita p-peridica, com p par, tem
tambm uma rbita 2-peridica.
Estaramos ento em condies de provar o Teorema para p potncia
de 2:
Proposio 3.6 Se f tem rbita 2
k
-peridica, tem rbitas de perodo
2
k1
, . . . , 4, 2, 1
Usando a validade do Teorema para potncias de 2 e mpares
consegue-se provar (com algum trabalho) os restantes casos.
34
2.8 3 3.2 3.4 3.6 3.8 4
0.1
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
Taxa de crescimento r
Diagrama de bifurcao para a equao logstica
35
Referncias:
K.T. Alligood, T.D. Sauer e J.A. Yorke, Chaos. An introduction to
Dynamical Systems, Springer-Verlag, New York, 1996.
L.S. Block e W.A. Coppel; Dynamics in One Dimension,
Springer-Verlag Lecture Notes in Mathematics 1513, Berlim,
Heidelberg, 1992.
Contacto:
nunomestre@msn.com
36

Você também pode gostar