Você está na página 1de 11

Introduo a sistemas dinmicos e teoria do caos

Lucas Hataishi
8 de Julho de 2016

Contedo
1 Sistemas dinmicos
1.1 Introduo . . . . . . . . . . . . . .
1.2 Superfcie de seco de Poincar .
1.3 Atratores . . . . . . . . . . . . . .
1.4 Dependncia sensvel das condies

. . . . .
. . . . .
. . . . .
iniciais

2 Mapas unidimensionais
2.1 Definio . . . . . . . . . . . . . . . . .
2.2 O Mapa da Cabana e o Mapa 2xn mod1
2.3 O mapa 2x mod1 . . . . . . . . . . . . .
2.4 rbitas Peridicas . . . . . . . . . . . .
2.5 Estabilidade das rbitas Peridicas . . .

.
.
.
.
.

.
.
.
.
.

3
3
4
5
6

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

7
. 7
. 7
. 9
. 10
. 10

Sistemas dinmicos

1.1

Introduo

Um sistema dinmicos uma descrio matemtico que envolve a evoluo dos estados de um sistema atravs
do tempo. Dessa forma, os sistemas dinmicos so, geralmente, sistemas determinsticos.
Um sistema de equaes diferencias da forma


d
x
= F (
x)
dt

(1)

x = (x(1) (t), x(2) (t), ..., x(n) (t))

(2)

F (
x ) = (F (1) (
x ), F (2) (
x ), ..., F (n) (
x)

(3)

, podemos resolver o sistema de equaes e


Este um sistema dinmico, pois dada uma condio incial
x
0

obter x (t).
O espao (x(1) , x(2) , ..., x(n) ) chamado de espao de fase e o caminho seguido pelo sistema no espao de fase,
conforme t varia, chamado de rbita.
(Exemplo de rbita para n=3)

H casos em que o tempo pode ser olhado como uma varivel discreta, assumindo apenas valores inteiros
(representando o nmero de iteraes do sistema). Um exemplo de sistema dinmico deste tipo um mapa da
forma

x n+1 = M (
x n)

(4)

Uma pergunta que, ao pensar em sistemas dinmicos, nos ocorre naturalmente: Quo grande N (dimenso
do espao de fadse) deve ser para que haja a possibilidade de caos?
Para o caso de N EDOs de primeira ordem, N 3.

1.2

Superfcie de seco de Poincar

frequentemente conveniente reduzir um sistema de tempo contnuo a um mapa de tempo discreto. O mapa
de Poincar representa a reduo de um fluxo N-dimensional a um mapa (N-1)-dimensional. Para propsitos
ilistrativos, vamos considerar N=3 e ilustrar a construo na figura 2. Considere uma soluo da equao 1.
Escolha uma superfcie (N-1)-dimensional (superficie de seco) que seja conveniente e observe as intersees
no espao N-dimensional. a figura 2, a superfcie de seo o plano x(3) = k. Os pontos A e B representam
duas intersees sucessivas com a superfcie de seco. O ponto A pode ser usado como uma condio inicial
em (1) para determinar B. Da mesma forma, B determina A unicamente por reverso temporal. Assim, o
(1)
(2)
mapa de Poincar representa um mapa bidimensional invertvel tranformando as coordenadas (xn , xn ) nas
(1)
(2)
coordenadas (xn+1 , xn+1 ). Esta equivalncia mostra que que haja caos em um mapa discreto, N tem de ser 2,


x ).
uma vez que N 3 para um sistema de tempo contnuo da forma ddtx = F (

1.3

Atratores

Em sistemas Hamiltonianos, o volume do espao de fase do sistema presevado durante a evoluo temporal.
Chamamos sistemas que preservam o volume do espao de fase dessa forma de sistemas conservativos. Se o
fluxo no espao de fase no preserva volumes, nem por mudana de variveis, ento chamamos o sistema de
no-conservativo. Pelo teorema da divergncia temos
Z

dV (t)
=
. F dn x
(5)
dt
St

If F < 0 em alguma regio do espao de fase, significando uma contrao do volume, nos referiremos ao
sistema como sistema dissipativo.
Sistemas dissipativos so tipicamente caracterizados pela presena de conjuntos atrativos no espao de fase,
chamados de atratores. Estes so conjuntos limitados para onde regies de condies iniciais de volume diferente
de zero so atrados assintoticamente durante a evoluo temporal.

1.4

Dependncia sensvel das condies iniciais

(0)
(0) =
(0) +
x
x
x
(0)
1
2
1

(6)

(t)
(t)
(t) =
x
x
2
1

(7)

(t)
' eht

(0)

(8)

Se no limite | (0)|, e t grande

com h > 0, ento dizemos que o sistema mostra dependncia sensvel das condies iniciais e catico.

A sensibilidade de sistemas caticas significa que, com o passar do tempo, pequenos erros na soluo podem
crescer rapidamente com o tempo. Dado um estado de um sistema catico, seu futuro se torna imprevisvel
aps um determinado intervalo de tempo.

Mapas unidimensionais

2.1

Definio

Uma mapa, em nosso contexto, ser uma aplicao de um conjunto sobre ele mesmo:
M :XX
onde, dada uma condio inicial x0 , o estado posterior ser definido por
x1 = M (x0 )

(9)

e a evoluo do sistema determinada pela composio da funo sobre ela mesma:


xn = M (M (M...(M (x0 )))...) = M n (x0 )

(10)

Assim, a rbita do mapa ser o conjunto


O = {x0 , x1 , ..., xm }

2.2

(11)

O Mapa da Cabana e o Mapa 2xn mod1

O Mapa da Cabana
1
xn+1 = 1 2|xn |
2

(12)

Para xn < 1/2, xn+1 = 2xn . Para xn 1/2, xn+1 = 2(1 xn ).

Condies iniciais que so negativas permanecem negativas e tendem a , dobrando sua distncia da origem
a cada iterado.
x0 < 0 xn

(13)

Para x0 > 1, x1 < 0 e a rbita vai para tambm.


x0 > 1 xn
Se x0 [0, 1] 0 < 1 2|xn 1/2| < 1, e rbita permance limitada ao intervalo [0,1] para todo n > 0.

(14)

A figura abaixo (figura 5) mostra a ao no mapa sobre o intervalo [0,1]. Primeiro o segmento uniformemente
esticado at que tenha o dobro do seu comprimento original. No segundo momento, o segmento dobrado ao
meio, cobrindo novamente o intervalo [0,1]. Seguindo um ponto do segmento original, sua posio final dada
em termos de sua posio antes do processo estica-dobra atravs da equao 12.

O esticamente leva a divergncias exponencias de trajetrias vizinhas (neste caso, por um fator de 2 a cada
iterado). O dobramento mantem a rbita limitada, e impede que o mapa seja invertvel. Para que haja caos,
o mapa precisa, em mdia, ter o esticamento. Porm, para que a rbita permanea limitada, tem de haver
tambm o dobramento. Logo, para que um mapa unidimensional seja catico, ele precisa ser no-invertvel.

Observando as figuras acima, percebemos que, o conhecimento de que uma condio inicial est a uma
distncia 2k de algum ponto, xk pode estar em qualquer lugar no intervalo [0,1]. Assim, o conhecimente
de um pequeno intervalo onde se encontra a condio incial leva a absolutamente nenhum conhecimento da
localizao dos pontos xn da rbita, para n k.
8

2.3

O mapa 2x mod1
2x mod1

(15)

Este mapa pode ser olhado como uma mapa em um crculo, uma vez que mod 1 faz com que x parea uma
varivel angular, onde x variando de 0 a 1 corresponde a um ciclo. Assim, podemos pensar neste mapa como uma
distoro de uma circunferncia, atravs de um processo estica-torce-dobra. Primeiramente, a circunferncia
uniformemente esticada at que tenha o dobro do comprimento incial. ento dobrada, criando dois polos que
so circunferncias semelhantes circunferncia original. O ltimo passo consiste em dobrar a parte de cima
sobre a parte de baixo e distorcida de forma a obter a figura final.

Seguindo este processo, um ponto na circunferncia original mapeada sobre a figura 9 de tal forma que a
coordenada do ponto x transformada como na equao 15.
Uma outra forma de ver a ao do mapa sobre o intervalo [0,1] atravs de uma expanso binria (Bernoulli
Shift). Digamos que uma condio incial seja representada pela expanso
x0 = 0, a1 a2 a3 ... =

2j aj

(16)

j=1

onde cada aj = 0 ou 1. Ento o prximo iterado encontrado substituindo o primeiro dgito por 0 e deslocando
a vrgula uma casa para a direita.

X
X
X
x1 = 2
2j aj mod1 = aj mod1 +
2j+1 aj =
2j+1 aj
j=1

j=1

j=1

x1 = 0, a2 a3 ...

(17)

Assim, dgitos que esto incialmente longe do ponto decimal eventualmente se tornam o primeiro dgito aps
a vrgula. Portanto, uma pequena diferena nas condies iniciais (a40 , por exemplo), aps um grande iterado
do mapa, podem resultar em estados totalmente diferentes.

2.4

rbitas Peridicas

Definimos uma rbita peridica de perodo p se a rbita crcula sucessivamente entre p pontos distintos x0 ,
x1 , ..., xp1 . Assim, para cada ponto xj , ns temos xj = M p (xj ), j = 0, 1, 2, ..., p 1.
Qualquer sequcia infinita de zeros e e uns construda atavs da repetio infinita de uma sequncia finita
de zeros e uns produz uma expanso binria de uma condio incial para uma rbita perdica. rbitas de
perdos p arbitrrios surgem de condies iniciais da forma 0, a1 a2 a3 ...ap a1 a2 ...ap .... Uma vez que existem 2P
sequncias distintas 0, a1 a2 a3 ...ap , conclumos que existem 2p 1 condies iniciais que retornam a elas mesmas
depois de p iteraes (0, 000... e (0, 111... so equivalentes).
Um ponto y em uma rbita de perodo p tambm um ponto fixo do p-iterado mapa
y = M p (y)
Para o Mapa da Cabana e o 2x mod1, o nmero de pontos fixos de M p que no so pontos fixos de M 2p 2
(0 e 1 para 2x mod1 e 0 e 2/3 para o Mapa da Cabana). Se p um nmero primo, ento todos os 2p 2 pontos
fixos precisam estar em rbitas peridicas de perodo p. Se p no primo e tem fatores inteiros p = pn1 1 pn2 2 ...,
ento alguns destes pontos estaro em rbitas de perodos inferiores p1 , p2 , .... Logo, se p primo, o nmero de
rbitas peridicas
Np =

2p 2
p

Np <

2p 2
p

Se p no primo, ento

Entretanto, para psuficientemente grande


Np

2.5

2p
p

Estabilidade das rbitas Peridicas


Op = {x0 , x1 , ..., xp1 }
xj Op M p (xj ) = xj
x0 = xj + 0 xp = xj + p = xj + p 0 = M p (xj + 0 )
10

(18)

Fazendo 0 0, podemos empregar uma expans de Taylor para obter p .


M p (xj + 0 ) = M p (xj ) +

dM p (xj )
dM p (xj )
0 = xj +
0
dx
dx

p1
Y
dM p (xj )
dxn+p
dxn+1 dxn+2
dxn+p
p =
=
=
...
=
M 0 (xn+i )
dx
dxn
dxn dxn+1 dxn+p1
i=0

(19)

(20)

Repetindo o ciclo p-peridico m vezes, e repetindo o mesmo reciocnio acima, obtemos


mp = m
p 0

(21)

Assim, o desvio da rbita peridica cresce (|p | > 1) ou diminui (|p | < 1) por um fator |p | a cada circuito
em torno do ciclo. O nmero p chamado de coeficiente de estabilidade da rbita.
Para ambos os mapas estudados nesta seo, h pelo menos um ponto fixo em cada intervalo [2p (m 1),
2 m], para m = 1, 2, ..., 2p . Assim, h pelo menos um ponto fixo de M p e, portanto, um ponto peridico de
p
M em [x , x + ] para p > ln(1/)
< )
ln2 . (2
p

Portanto, para cada x em [0,1] e qualquer , h no mnimo um ponto em uma rbita peridica no intervalo
[x, x+]. Dizemos ento que o conjunto dos pontos em rbitas peridicas denso no intervalo [0,1]. Porm,
importante notar que o conjunto dos pontos peridicos um conjunto infinito enumervel, enquanto o conjunto
de todos os ponto [0,1] no-enumervel. Isto implica que, escolhendo arbitrariamente uma condio incial
x0 , a probabilidade de que ele esteja em uma rbita peridica tende a zero.
Se fizermos um histograma da frao do tempo que uma rbita de comprimento infinito, originada de uma
m
condio inciail aleatria, caia em caixas de lados iguais ao longo do eixo x, [ (m1)
N , N ], m =0,1,...,N , ento a
1
frao de tempo gasta em uma caixa tende a N para cada caixa enquanto o comprimenteo da rbita tende a
infinito. Definimos, ento, uma funo (x) tal que, para qualquer intervalo [a,b] em [0,1], a frao do tempo
Rb
gasta por uma rbita tpica em [a,b] a (x)dx, para o Mapa da Cabana e 2xn mod1,
x [0, 1] (x) = 1

11

(22)