Captulo 1, Introduo aos Sistemas Dinmicos

o mtodo de Strmer-Verlet de ordem 2 denido por,

8

<

:
p
nC1=2
= p
n
^t
dH
dq
(q
n
)
q
nC1
= q
n
^t
dH
dp
(p
nC1=2
)
p
nC1
= p
nC1=2
^t
dH
dq
(q
nC1
)
em que ^t o passo de integrao, p
n
= p(n^t ), q
n
= q(n^t ) e p
nC1=2
um valor intermedirio.
Mostre que o mtodo de Strmer-Verlet conservativo. Estude a estabilidade absoluta deste mtodo
quando V(q) = mo
2
q
2
,2.
1.7 - Dos atractores estranhos `as aplica coes de um intervalo
Como se viu no ~1.5 iteraes de funes de um intervalo aparecem associadas ao estudo das rbitas
de sistemas Hamiltonianos. No entanto o seu estudo geral e o seu interesse em fsica surgiu em 1963
com os trabalhos de Lorenz, no estudo do movimento convectivo de um uido mantido entre duas placas
paralelas e a temperaturas diferentes, gura 1.26. Este sistema idealiza o movimento convectivo global
na atmosfera. Vejamos como.
A equao de evoluo do campo das velocidades no interior de um uido viscoso e incompressvel
a equao de Navier-Stokes,
d :
dt
( :.V) : = vV
2
:
1
,
Vp (1.51)
em que : = :(x. y. z. t ) o campo de velocidades, v a viscosidade cinemtica, , a densidade, p a
presso, representa as foras exteriores por unidade de volume e V =
@
@x
e
x

@
@y
e
y

@
@z
e
z
.
Para impor a continuidade do campo de velocidades na equao de Navier-Stokes, exige-se que a
soluo, se existir, obedea equao da continuidade,
V. : = 0 (1.52)
As equaes (1.51) e (1.52) descrevem o movimento de um udo no espao tridimensional. Quando um
udo est sujeito a um gradiente de temperatura, tem-se a equao de Boussinesq,
d :
dt
( :.V) : = vV
2
:
1
,
Vp Te
z
V. : = 0
dT
dt
= kV
2
T ( :.VT )
(1.53)
47
Captulo 1, Introduo aos Sistemas Dinmicos
em que o termo de temperatura traduz o acoplamento entre os efeitos microscpicos de agitao trmica
com os efeitos dinmicos associados equao de Navier-Stokes. Na primeira equao do sistema de
equaes (1.53) o termo de temperatura assume o papel de uma fora exterior que afecta o movimento
do uido. Por outro lado, na terceira equao do sistema (1.53), a temperatura varia no interior do uido
devido difuso e ao transporte induzido pelo prprio campo de velocidades.
Figura 1.26: a) Conveco de Rayleigh-Bnard numa mistura de glicerina e grate.
Ao aquecer a superfcie inferior do recipente, gera-se uma instabilidade convectiva,
surgindo, ao m de algumtempo, umpadro celular com uma escala de comprimento
a. O padro celular observado na superfcie livre do lquido. b) Idealizao de
alguns sistemas associados ao modelo de Lorenz.
Num udo mantido entre duas placas paralelas a temperaturas diferentes, Rayleigh mostrou que
quando a diferena de temperatura ^T pequena, estabelece-se um gradiente de temperatura com um
perl linear dado por T = T
1
^T(1 z,L). Quando a diferena de temperatura aumenta, surge
uma instabilidade criando-se uma corrente de conveco e o udo ca particionado em clulas com um
48
Captulo 1, Introduo aos Sistemas Dinmicos
comprimento caracterstico a. Estas clulas de conveco so descritas aproximadamente pelas funes,
=
0
sin(
ax
L
) sin(
z
L
)
0 = 0
0
cos(
ax
L
) sin(
z
L
)
em que :
x
= d,dz, :
z
= d,dx e 0 = T T
1
^T(1 z,L), gura 1.27. A funo designa-
se por funo de corrente e 0 a diferena de temperatura entre um ponto no interior do lquido e a
temperatura imposta em z = 0.
Figura 1.27: Curvas de nvel da funo de corrente das clulas de conveco de
Rayleigh e campo de velocidades no interior do udo. Os parmetros so L = 1 e
a = 1,2.
Quando ^T aumenta, as correntes de conveco instabilizam e Lorenz admitiu que a soluo da
equao de Boussinesq (1.53) se podia escrever na forma
= x(t ) sin(
ax(t )
L
) sin(
z(t )
L
)
0 = y(t ) cos(
ax(t )
L
) sin(
z(t )
L
) z(t )r sin(
z(t )
L
)
(1.54)
Sendo x e z relacionadas com a funo de corrente e y uma funo relacionada com a temperatura ao
longo da coordenada vertical. Substituindo a soluo (1.54) em (1.53), o modelo de Lorenz relaciona
estas variveis atravs do sistema de equaes
8

<

:
x = ox oy
y = xz rx y
z = xy bz
(1.55)
em que r e o so proporcionais, respectivamente, aos nmeros de Reynolds e Prandtl e b um factor de
forma.
49
Captulo 1, Introduo aos Sistemas Dinmicos
Como o sistema de equaes (1.55) no-linear numa primeira anlise podemos fazer o seu estudo
numrico. Contudo de notar que, para o = 10 e b = 8,3 e r < 1, a equao de Lorenz tem um
ponto xo estvel na origem de coordenadas. Para r > 1 o ponto xo na origem torna-se instvel
e aparecem mais dois pontos xos com coordenadas (x
1
. y
1
. z
1
) = (
p
b(r 1).
p
b(r 1). r 1) e
(x
2
. y
2
. z
2
) = (
p
b(r 1).
p
b(r 1). r 1). Se r > 1 e r < o
.Cb3/
.b1/
(= 24.736), os dois pontos
xos so estveis. Se r > o
.Cb3/
.b1/
os dois pontos xos so instveis.
Vamos ento analisar a soluo numrica da equao de Lorenz, tomando os valores de referncia
o = 10 e b = 8,3. Na gura 1.28 esto representadas duas trajectrias de fase para r = 28 e r = 50.
A estrutura qualitativa das trajectrias no espao de fases mostram que a equao de Lorenz (1.55)
tem solues no peridicas e limitadas, no convergindo para nenhum ponto xo, parecendo percorrer
densamente uma regio do espao de fases. O conjuntolim
t !1
(x(t ). y(t ). z(t )) designa-se por atractor
estranho de Lorenz. A integrao numrica da equao de Lorenz, para vrios valores do parmetro r,
sugere que a equao de Lorenz tem atractores estranhos para r > 24.736.
Figura 1.28: Atractores estranhos da equao de Lorenz (1.55). a) r = 28, o = 10
e b = 8,3. b) r = 60, o = 10 e b = 8,3. As trajectrias de fase foram obtidas
numericamente com o mtodo de Runge-Kutta de quarta ordem.
Para se obter informao qualitativa sobre a estrutura do atractor estranho de Lorenz, podemos
analisar o comportamento da coordenada z(t ), com t > 0, gura 1.29. Assim, para r = 28, construu-se
o conjunto de pontos {z
1
. z
2
. ...], em que z
n
= z(t
n
), e t
n
um ponto maximizante local de z(t ). Na
gura 1.30 est representado o grco de z
nC1
em funo de z
n
.
50
Captulo 1, Introduo aos Sistemas Dinmicos
Figura 1.29: Soluo numrica da coordenada z(t ) para o modelo de Lorenz (1.55),
com r = 28, o = 10 e b = 8,3. b) Grco de z
nC1
em funo de z
n
.
Da experincia numrica da gura 1.30, conclui-se que se tem aproximadamente z
nC1
. (z
n
).
Isto , a estrutura de mximos consecutivos de z(t ) segue uma evoluo temporal aproximadamente de-
scrita pelo sistema dinmico unidimensional z
nC1
= (z
n
). Assim, provvel que a estrutura topolg-
ica no espao de fases do atractor de Lorenz possa ser descrita qualitativamente atravs de um sistema
dinmico a uma dimenso. Uma anlise numrica mais detalhada do atractor de Lorenz permite concluir
que os atractores estranhos da gura 1.28 residem numa superfcie bidimensional.
Figura 1.30: Grco de z
nC1
em funo de z
n
para r = 28, o = 10 e b = 8,3.
Vamos ento estudar sistemas dinmicos discretos da forma x
nC1
= (x
n
), em que (x) uma
funo com um extremo local e x
n
varia num intervalo fechado.
O caso mais simples a funo quadrtica do intervalo 1. 1| dada por

(x) = 2jx
2
1 2j,
com j 0. 1|, gura 1.31a). Esta funo tem um ponto crtico (mnimo local) em x = 0. Vejamos
ento qual a estrutura de pontos xos do sistema dinmico x
nC1
=

(x
n
) = 2jx
2
n
1 2j.
Para j < 1,3,

(x) tem um ponto xo estvel em x = 1. Para j > 1,3 este ponto xo torna-se
51
Captulo 1, Introduo aos Sistemas Dinmicos
instvel e surge outro ponto xo em x =
12
2
. Para j = 1,2, x superestvel ( ( x) = 0) e para
j = 1, x instvel, gura 1.31a).
Figura 1.31: a) Grco da funo do intervalo

(x) = 2jx
2
1 2j para vrios
valores do parmetro j. b) Grco de
2
1
(x).
Se j = 1,
1
(x) = 2x
2
1, ambos os intervalos 1. 0| e 0. 1| so aplicados em 1. 1|. A iterada

2
1
(x) tem 4 pontos xos, 2 de perodo 1 e 2 de perodo 2 (gura 1.31b)). Em geral
n
1
(x) tem 2
n
pontos
xos todos instveis. Assim,
1
(x) tem pontos xos de todos os perodos e todos instveis. Ento qual
vai ser o comportamento da rbita de um ponto x
0
1. 1|?
Vamos ento considerar a aplicao (x) =
1
(x) = 2x
2
1 e o sistema dinmico denido por
x
nC1
= (x
n
) = 2x
2
n
1 com x 1. 1| = I. Seja a transformao de variveis denida por
y = h(x) = 1
2

arcosx gura 1.32. Ento, h

1
(y) = cos

2
(1 y) e portanto h(x) : I I um
difeomorsmo.
Figura 1.32: Grco do difeomorsmo h(x) = 1
2

arcosx.
Vejamos qual a nova dinmica y
nC1
= g(y
n
), obtida atravs da transformao de variveis y =
52
Captulo 1, Introduo aos Sistemas Dinmicos
h(x):

I I
h
1
] h
I I
g
Como, g = h h
1
= h(cos (1 y)) = 2y 1, tem-se que,
g(y) = 2[y[ 1 =
(
2y 1 para y _ 0
2y 1 para y _ 0
Assim, g e so topologicamente equivalentes pelo difeomorsmo h e, toda a informao sobre a
dinmica de pode ser obtida atravs do sistema dinmico mais simples y
nC1
= g(y
n
), gura 1.33a).
Figura 1.33: a) Grco da funo do intervalo y
nC1
= g(y
n
). b) Grco da segunda
iterada y
nC2
= g
2
(y
n
).
Com g(y) = 2[y[ 1 vem que
g
2
(y) =
8

<

:
4y 3 y 1. 1,2|
4y 1 y 1,2. 0|
4y 1 y 0. 1,2|
4y 3 y 1,2. 1|
(gura 1.33b)) e portanto, existem inteiros m e n tais que,
g
n
(y) = 2
n
[y[ m
Assim, os pontos peridicos de g
n
(y) tmcoordenadas racionais e so instveis pois, [g
n
0
(y)[ = 2
n
> 1.
Como os pontos peridicos so instveis, pergunta-se o que se passa com o comportamento das iteradas
53
Captulo 1, Introduo aos Sistemas Dinmicos
de pontos irracionais de I = 1. 1| os mais abundantes, pois tm medida de Lebesgue 2 no intervalo
I.
Vamos monstrar mais frente no ~1.8 que, genericamente, os pontos da rbita de y
0
, com y
0
irracional, percorrem densamente o intervalo I, com uma funo de distribuio dada por uma densidade
de medida. Vejamos ento como se calcula, neste caso simples, a densidade de medida.
Deni c ao: Uma aplicao : I I, no necessriamente bijectiva, preserva uma medida j se para
todo o intervalo J I
j(J) = j(
1
(J))
Nestas condies, j, se existir, uma medida invariante para a dinmica .
No exemplo acima, y
nC1
= g(y
n
) = 2[y
n
[ 1, tem-se que
g
1
(b. a|) =
a 1
2
.
b 1
2
| L
b 1
2
.
a 1
2
|
donde
j(g
1
b. a|) =
2a 2b
2
= (b a) = j(a. b|)
em que j = 1(dy) a medida de Lebesgue em R.
Assim, 1(dy) a medida invariante para a dinmica y
nC1
= g(y
n
), isto ,
Z
A
1dy =
Z
g
1
.A/
1dy
Como as dinmicos e g so topolgicamente equivalentes, as medidas tambm se transportam. Assim,
da igualdade anterior,
Z
h
1
.A/
dy
dx
dx =
Z
h
1
g
1
.A/
dy
dx
dx
Mas como g
1
= h
1
h
1
, tem-se que h
1
g
1
=
1
h
1
. Com B = h
1
(A), decorre que,
Z
B

dy
dx

dx =
Z
f
1
.B/

dy
dx

dx
e portanto a dinmica no-linear x
nC1
= (x
n
) = 2x
n
1 invariante em relao medida,
dy
dx
(dx) =
dh
dx
(dx) =
2

1
_
1 x
2
(dx) = ,(x)dx
em que ,(x) a densidade de medida, gura 1.34a).
Como se ver mais frente, a distribuio estatstica das rbitas de um sistema dinmico a den-
sidade de medida, ou seja, o conjunto O(z) = {z. g(z). g
2
(z). . . .] tem a distribuio ,(x) no intervalo
I, podendo ser calculado numericamente atravs do histograma de frequncias da rbita de um ponto
genrico x I. Na gura 1.34, esto representadas as densidades de medida associadas aos sistemas
dinmicos equivalentes, x
nC1
= (x
n
) = 2x
2
n
1 e y
nC1
= g(y
n
) = 2[y
n
[ 1.
54
Captulo 1, Introduo aos Sistemas Dinmicos
Figura 1.34: a) Grco da densidade de medida normalizada ,(x) do sistema din-
mico x
nC1
= (x
n
) = 2x
2
n
1. b) Grco da densidade de medida normalizada
(medida de Lebesgue) de y
nC1
= g(y
n
) = 2[y
n
[ 1.
Vimos assim que, para a famlia de funes

(x) = 2jx
2
1 2j, as iteradas de um ponto
genrico do intervalo I = 1. 1| podem convergir para uma rbita peridica (0 _ j _ 0.75) ou
percorrer densamente o intervalo I (j = 1). Faamos ento uma experincia numrica. Represente-se
num grco o conjunto {
500

(x
0
). . . . .
700

(x
0
)] em funo do parmetro j, em que se escolhe como
condio inicial x
0
= 0.4 gura 1.35.
Figura 1.35: Diagrama de bifurcaes do sistema dinmico x
nC1
=

(x
n
) =
2jx
2
n
12j. Para j < 0.75, o sistema dinmico tem uma rbita peridica estvel.
Para j > 0.75, surge uma rbita peridica estvel de perodo 2, a rbita de perodo 1
tornou-se instvel. Para j > 0.8925 . . ., existem rbitas peridicas estveis e regies
em que as rbitas percorrem densamente regies do espao de fases.
55
Captulo 1, Introduo aos Sistemas Dinmicos
Para j < 0.75, a famlia

tem uma rbita peridica estvel de perodo 1. Para valores superiores

do parmetro esta rbita bifurca dando origem a uma rbita peridica estvel de perodo 2, seguindo-se
uma cascata de bifurcaes| por duplicao de perodo que acumulam em j = j
1
. 0.8925 . . .. Para
valores de j > j
1
podem existir rbitas peridicas estveis ou regimes aperidicos, como no caso
estudado anteriormente para j = 1. A regio de valores do parmetro para a qual j > j
1
designada
por regio catica.
Feigenbaum ([F]) descobriu que os valores dos parmetros correspondentes aos pontos de bifur-
cao das rbitas de duplicao de perodo convergem assimptoticamente para j = j
1
como numa
progresso geomtrica: Se

uma famlia de funes com um ponto crtico no degenerado e se para

j = j
k
c,

tem uma rbita peridica estvel de perodo k e para j = j

k
c,

tem uma rbita

peridica estvel de perodo 2k j
k
um parmetro de bifurcao para

, ento, {j
k2
n]
n
0
uma sucesso montona com limite j
1
e, j
1
j
k2
n . C
n
, no limimite quando n o. Portanto,
j
k2
n j
k2
n1
j
k2
nC1 j
k2
n
. = 4. 669201 . . . quando n o
independentemente de k. O valor de s depende do grau de degenerescncia do ponto crtico de

(universalidade). Seja {x
1
. x
2
. . . . . x
k
] a rbita do ponto xo de

k
que se torna instvel para j > j
k
e seja c(j
k
) o ponto crtico de

k
. Com c
k
= min
i
[x
i
c(j
k
)[, tem-se que
c
k2
n
c
k2
nC1
. = 2. 5029 . . .
sendo , tambm, uma constante universal gura 1.36.
Figura 1.36: Regio de duplicao de perodo no diagrama de bifurcaes da funo

(x) = 2jx
2
1 2j. Esta funo do intervalo tem um nico ponto crtico para
x = c(j) = 0.
| Uma bifurcao uma alterao topolgica nas rbitas de um sistema dinmico. O valor do
parmetro para o qual se d a mudana de estrutura designado por valor do parmetro de bifurcao.
56
Captulo 1, Introduo aos Sistemas Dinmicos
Na tabela 1.1 esto representados alguns valores de parmetros correspondentes a rbitas peridicas
para o sistema dinmico x
nC1
=

(x
n
), denido pela famlia de funes

(x) = 2jx
2
12j. Esto
indicados os valores dos parmetros correspondentes s dinmicas com rbitas peridicas superestveis.
Janelas de estabilidade para

(x) = 2jx
2
1 2j
Janela de perodo 1 Janela de perodo 3 Janela de perodo 4
B 0. 250000000 B 0. 9571067812 B 0. 990025472
1 0. 500000000 3 0. 9579685138 4 0. 990067532
2 0. 809016994 6 0. 9611421980 8 0. 990233424
4 0. 874640425 12 0. 9620861642 16 0. 990284664
8 0. 888660216 24 0. 9622995134 32 0. 990296338
16 0. 891666845 48 0. 9623457776 64 0. 990298874
32 0. 892310883 96 0. 9623557113 128 0. 990299419
64 0. 892448823 192 0. 9623578400 256 0. 990299535
128 0. 892478366 o0. 9623697915 512 0. 990299560
256 0. 892484693 o0. 990299567
512 0. 892486048
o0. 892486417
Primeira janela de perodo 5 Segunda janela de perodo 5 Terceira janela de perodo 5
B 0. 93454309 B 0. 9764 B 0. 997565
5 0. 9347287282 5 0. 9764266174 5 0. 997566761
10 0. 9354619793 10 0. 9765601168 10 0. 9975764711
20 0. 9356863689 20 0. 9766014020 20 0. 9975794845
40 0. 9357373011 40 0. 976610806 40 0. 9975801715
80 0. 9357483598 80 0. 976612849 80 0. 9975803208
160 0. 9357507350 160 0. 976613288 o0. 9975803681
o0. 9357513824 320 0. 976613382
o0. 9766134122
Tabela 1.1 : Cada janela do diagrama de bifurcaes indexada pelo perodo mais baixo. Os
nmeros esquerda referem-se ao perodo das rbitas peridicas estveis. direita, esto representados
os valores do parmetro correspondentes s rbitas superestveis. B representa o valor do parmetro em
que nasce a rbita de menor perodo e orepresenta o ponto de acumulao da cascata de duplicao de
perodo.
Como e caracterizam o fenmeno de duplicao de perodo e no dependem da forma particular
das funes

, e so grandezas que medidas em experincias podem testar modelos que descrevem

a transio de regimes peridicos para regimes aperidicos por duplicao de perodo. Uma das vias de
transio de regimes laminares para regimes turbulentos , de facto, por duplicao de perodo: Libch-
57
Captulo 1, Introduo aos Sistemas Dinmicos
aber e Maurer [LM], Feigenbaum [F], Lorenz [L]. Na gura 1.37 est representado um diagrama de
bifurcaes obtido numa experincia com um circuito RCL (Cascais, Dilo e Noronha da Costa [CDN]).
No diagrama de bifurcaes da funo

(x) = 2jx
2
1 2j, gura 1.35, aparecem, para
diferentes valores do parmetro j, rbitas peridicas estveis com o mesmo perodo. De facto, no
possivel existirem, para o mesmo valor do parmetro, duas ou mais rbitas peridicas estveis. Caso
isso acontecesse, o diagrama de bifurcaes apresentaria um aspecto diferente e seria mais difcil de
interpretar. Neste caso, no intervalo I = 1. 1| existiriam vrias bacias de atraco de diferentes pontos
xos. Vejamos ento uma explicao deste facto.
Figura 1.37: Diagrama de bifurcaes obtido experimentalmente numa experincia
com um circuito RCL catico [CDN].
Seja : I I uma funo do intervalo, pelo menos trs vezes diferencial de classe C
3
(I). A
derivada de Schwarz de denida atravs de
S =

000

0

3
2

00

2
Uma propriedade importante da derivada de Schwarz de que a composio de duas funes com
derivada de Schwarz negativa ainda negativa. Assim,
Lema. Se S < 0 e Sg < 0 entao S( g) < 0.
Demonstrac ao: S( g) = (S ) g|

<0
. g
0
(x)
2

>0
Sg

<0
.
58
Captulo 1, Introduo aos Sistemas Dinmicos
Lema. Se S < 0 entao [
0
[ nao tem mnimos locais positivos.
Demonstrac ao: Seja x um extremo local de
0
. Ento "(x) = 0. Assim S =
f
000
f
0
< 0.
Se
0
(x) < 0 ento
000
= (
0
)
00
> 0 e x mnimo local negativo de
0
. Ento [
0
[ tem um
mximo local positivo.
Se
0
(x) > 0,
000
= (
0
)
00
< 0, x mximo local positivo de
0
e portanto de [
0
[.
Lema. Se S < 0 toda a orbita periodica estavel atrai um ponto crtico de ou um extremo
do intervalo I.
Demonstrac ao: Seja o ponto x para o qual, (
p
)
0
(x) = 0. Ento,
(
p
)
0
(x) =
0
(
p1
(x))
0
(
p2
(x)) . . .
0
(x) = 0
e existe k como 0 _ k _ p 1, tal que
k
(x) = c em que c ponto crtico de :
0
(c) = 0. Donde
x =
k
(c). Assim, os pontos crticos de
p
so as imagens de pontos crticos de .
Seja agora
p
(y) = y e [(
p
)
0
(y)[ < 1. Se y um ponto crtico de
p
ou o extremo do intervalo
o resultado est demonstrado. Se y no extremo do intervalo nem ponto crtico, escolhem-se os pontos
crticos mais prximos direita e esquerda de y x
d
e x
e
. Um dos pontos crticos pode ser o extremo
do intervalo.
Seja x
d
o ponto crtico mais prximo direita e x
e
o extremo do intervalo esquerda. Como
(
p
)
0
(x
d
) = 0 e [(
p
)
0
[(y)[ < 1, se existir um ponto z (y. x
d
) tal que [(
p
)
0
(z)[ > 1 ento z
mximo local de [(
p
)
0
[ e como [
p
0
[ no pode ter mnimos locais positivos temde se ter [(
p
)
0
(x)[ < 1
em (x
e
. y) isto, claro est, no caso em que [(
p
)
0
(x
e
)[ < 1. Caso contrrio a hiptese de que
[(
p
)
0
(z)[ > 1 absurda.
Assim, pelo teorema do valor mdio, o intervalo x
e
. y| atrado para y por iterao de
p
,

p
(y)

y

p
(x
e
) =
0
()(y x
e
) < (y x
e
). Se [(
p
)
0
(x
e
)[ > 1 e usando o mesmo argumento,
y. x
d
| atrado para y. Nos outros casos a demonstrao semelhante.
Vamos agora considerar famlias de funes

(x) : I I com I = 1. 1| e que obedecem s

seguintes condies:
a)

(x) tem um nico ponto crtico em x = c I.

b)
00

(x) ,= 0.
c)
0

(x) = 0 se, e somente se, x = c.

d)

(1) =

(1) = 1 para todo o j.

As condies a) - d) denem a classe das func oes unimodais.
Teorema de Singer. Se e unimodal e tem derivada de Schwarz negativa, entao tem no
maximo uma orbita periodica estavel.
Demonstrac ao: Se tivesse mais do que uma rbita peridica estvel o ponto crtico c seria
atraido simultneamente para duas rbitas diferentes.
Vejamos agora dois teoremas importantes e para os quais no apresentamos demonstrao.
59
Captulo 1, Introduo aos Sistemas Dinmicos
Teorema de Misiurewiz. Se e unimodal com S < 0 e tem uma orbita periodica estavel,
entao todos os pontos do intervalo I, `a excep cao de um conjunto de medida nula, sao atrados
para a orbita periodica por itera cao de .
Os teoremas de Singer e Misiurewiz garantem que s existe uma rbita peridica estvel para cada
valor do parmetro e que quando fazemos uma experincia numrica com funes unimodais do inter-
valo, o diagrama de bifurcaes d uma descrio completa do comportamento das iteradas do sistemas
dinmico.
A hierarquia do aparecimento de rbitas peridicas de vrios perodos descrita pelo teorema de
Sarkovskii.
Teorema de Sarkovskii. Se e uma fun cao contnua de um intervalo e tem uma orbita
periodica de perodo p (estavel ou instavel) entao, tem orbitas periodicas de todos os perodos
q com p > q, em que > representa a seguinte ordem nos naturais:
3 > 5 > 7 > 9 > . . . > 2.3 > 2.5 > 2.7 > . . . > 2
2
.3 > 2
2
.5 > 2
2
.7 > . . . > 2
n
.3 > . . . > 2
3
> 2
2
> 2 > 1 .
De facto, so estes dois teoremas que nos premitem concluir que o diagrama de bifurcaes da
famlia de funes do intervalo

(x) = 2jx
2
1 2j descreve o comportamento global da dinmica.
As funes do intervalo apresentam aplicaes nos mais variados domnios. Entre eles tem-se a
construo de algoritmos para a determinao de zeros de funes.
Consideremos uma funo com um zero em x = x

. Dado um ponto x
0
pode-se determinar a
interseco da tangente a (x
0
) com o eixo y = 0. Vamos designar essa interseco por x
1
, gura 1.38.
fcil mostrar que
x
1
= x
0

(x
0
)

0
(x
0
)
e x
1
, est mais prximo de x

do que x
0
.
Figura 1.38: Construo geomtrica do mtodo de Newton.
60
Captulo 1, Introduo aos Sistemas Dinmicos
Por induo, o sistema dinmico
x
nC1
= x
n

(x
n
)

0
(x
n
)
estabelece um algoritmo para a determinao dos zeros de (x).
Por exemplo, com (x) = x
2
, se (x) = 0, ento, x

=
_
, e o ponto xo x

super-
estvel. Ento,
x
nC1
= x
n

x
2
n

2x
n
=
1
2
x
n

2x
n
e x
n
converge, quando n o, para
_
. Por exemplo, com = 2 e x
0
= 2, tem-se que, x
1
= 1. 5 . . .,
x
2
= 1. 4166 . . ., x
3
= 1. 4142 . . ., a comparar com o valor
_
2 = 1. 4142135 . . ..
Podemos agora voltar equao de Lorenz (1.55) e analisar a estrutura qualitativa do atractor de
Lorenz quando se varia o parmetro r. Tomando como ponto de partida a regularidade encontrada na
gura 1.30, em que os extremos locais da soluo z(t ) se ordenam cronologicamente como as iteradas
de uma funo do intervalo, podemos fazer, em funo de r, o diagrama de bifurcaes dos mximos
e mnimos consecutivos de z(t ), gura 1.39. De facto, a estrutura de bifurcaes do atractor de Lorenz
tem semelhanas com o diagrama de bifurcaes de uma famlia genrica de funes de um intervalo,
apresentando o mesmo comportamento qualitativo, como seja o fenmeno de duplicao de perodo
e a existncia de zonas caticas. pois de esperar que os atractores estranhos sejam semelhantes s
dinmicas caticas dos sistemas dinmicos de dimenso 1, podendo em princpio ser caracterizados, nas
regies caticas, por medidas invariantes.
Figura 1.39: Diagrama de bifurcaes do atractor de Lorenz em funo do parmetro
r, para o = 10 e b = 8,3.
61
Captulo 1, Introduo aos Sistemas Dinmicos
1.17) Construa um algoritmo para a determinao de raizes cbicas. Faa um grco da funo do
intervalo e estude a estabildade dos pontos xos de perodo 1.
1.18) Estude os pontos xos de perodo 1 da funo do intervalo

;
(x) = e

2
x
2
=2

em funo de e .
1.19) Construa os diagramas de bifurcaes dos sistemas dinmicos x
nC1
= (x
n
), denidos
atravs das funes

(x) = xe
x
(Aplicao de Ricker)

;
(x) = e

2
x
2
=2
(Aplicao CDN)
escolha os limites de e de modo que

e
;
denam um sistema dinmico num intervalo fechado
da recta real.
1.20) Estude numericamente a distribuio estatstica no intervalo 1. 1| de uma rbita do sistema
dinmico x
nC1
= 2jx
2
n
1 2j para, j = 0. 892486417, j = 0. 9196433776 e j = 1.
1.21) Estude numericamente o espao de fases da equao de Lorenz para vrios valores dos
parmetros r. b = 8,3 e o = 10. Analise o comportamento das rbitas para r 1. 30|.
1.22) Seja o sistema de equaes de Rossler,
8

<

:
x = y z
y = x ay
z = b cz xz
em que a, b e c so parmetros. Determine os pontos xos da equao diferencial e determine a sus
estabildade. Fixe os parmetros a e b nos valores a = 0.2, b = 0.2 e, para vrios valores de c,
faa o estudo numrico das rbitas no espao da fases. Descubra numericamente se existe uma relao
determinista entre os mximos consecutivos da soluo z(t ), como foi feito para o atractor de Lorenz na
gura 1.30.
1.8 Din amica simbolica e fun coes lineares no toro
Vamos agora construir uma classe de sistemas dinmicos designados por sistemas de Bernouilli.
Estes sistemas dinmicos tm propriedades probabilistas, no so denidos por equaes diferenciais e
o espao de fases no tem uma estrutura de variedade diferencivel.
Seja o conjunto nito Z
n
= {0. 1. . . . . n 1] e seja o seu produto cartesiano bi-innito:
Z
Z
n
= . . . Z
n
Z
n
. . .
O conjunto Z
Z
n
o espao de fases do sistema dinmico a construir. Um elemento genrico x Z
Z
n
escreve-se na forma,
x = (. . . . x
2
. x
1
. x
0
. x
1
. x
2
. . . .)
62