19.01.2015 Views

My title - Departamento de Matemática da Universidade do Minho

My title - Departamento de Matemática da Universidade do Minho

My title - Departamento de Matemática da Universidade do Minho

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

9 TRANSVERSALIDADE E BIFURCAÇÕES 62<br />

9.2 Bifurcações<br />

Os pontos fixos não transversais não são persistentes, em presença <strong>de</strong> perturbações genéricas po<strong>de</strong>m<br />

<strong>de</strong>saparecer ou mu<strong>da</strong>r <strong>de</strong> natureza. Este fenómeno é chama<strong>do</strong> bifurcação. A i<strong>de</strong>ia <strong>da</strong> teoria <strong>da</strong>s<br />

bifurcações é tratar famílias <strong>de</strong> transformações f λ <strong>de</strong>fini<strong>da</strong>s numa vizinhança <strong>de</strong> um ponto fixo, e<br />

<strong>de</strong>screver as possíveis mu<strong>da</strong>nças <strong>da</strong> dinâmica ao variar o parâmetro λ.<br />

Consi<strong>de</strong>re a família <strong>de</strong> transformações<br />

f λ (x) = x + x 2 − λ<br />

<strong>de</strong>fini<strong>da</strong>s na reta real. A origem é um ponto fixo não transversal <strong>de</strong> f 0 . Se λ ≠ 0 é pequeno, então<br />

f λ tem <strong>do</strong>is pontos fixos ± √ λ, um repulsivo e outro atrativo, quan<strong>do</strong> λ > 0, ou nenhum quan<strong>do</strong><br />

λ < 0. A família<br />

f λ (x) = x + x 3 + λx<br />

mostra um comportamento diferente.<br />

O problema é <strong>de</strong>cidir quais fenomenos são “genéricos”, e possívelmente “estáveis” num senti<strong>do</strong><br />

a precisar. Admitin<strong>do</strong> a existência <strong>de</strong> um número suficiente <strong>de</strong> <strong>de</strong>riva<strong>da</strong>s parciáis contínuas, uma<br />

família arbitrária <strong>de</strong> transformações tais que a origem seja um ponto fixo não transversal <strong>de</strong> f 0 é<br />

<strong>da</strong> forma<br />

f λ (x) = a λ + b λ x + c λ x 2 + ...<br />

= ( a ′ λ + a ′′ λ 2 + ... ) + ( 1 + b ′ λ + b ′′ λ 2 + ... ) x + ( c + c ′ λ + c ′′ λ 2 + ... ) x 2 + ...<br />

O caso genérico é quan<strong>do</strong> c ≠ 0 (ou seja f 0 é <strong>da</strong> forma x + cx 2 + ...) e uma perturbação genérica<br />

tem a ′ ≠ 0 (ou seja o termo constante <strong>de</strong> f λ é diferente <strong>de</strong> zero <strong>de</strong>s<strong>de</strong> que λ ≠ 0). Não é dificil<br />

convercer-se que o comportamento qualitativo <strong>de</strong>sta família é o mesmo <strong>da</strong> família x + x 2 − λ: uma<br />

pequena perturbação <strong>de</strong> f 0 po<strong>de</strong> <strong>de</strong>struir o ponto fixo, numa direção, ou criar <strong>do</strong>is novos pontos<br />

fixos, na outra direção. Enuncie este resulta<strong>do</strong>, e dê uma <strong>de</strong>monstração formal. Observe que<br />

procurar raizes <strong>da</strong> equação f λ (x) = x, em função <strong>de</strong> λ, é equivalente a <strong>de</strong>finir funções λ ↦→ x (λ)<br />

que verifiquem G (λ, x) = f λ (x)−x = 0, e a este problema respon<strong>de</strong> o teorema <strong>da</strong> função implícita.<br />

9.3 Duplicação <strong>do</strong> perío<strong>do</strong> e cascata <strong>de</strong> Feigenbaum<br />

Também interessante é o caso <strong>de</strong> uma família f λ <strong>de</strong> transformações <strong>do</strong> intervalo tal que f 0 tenha um<br />

ponto fixo em 0 com f ′ 0 (0) = −1. Observe que este ponto fixo é transversal, logo persistente. Por<br />

outro la<strong>do</strong>, (−1) 2 = 1, e portanto a <strong>de</strong>riva<strong>da</strong> <strong>de</strong> f 2 0 em 0 é igual a ( f 2 0<br />

) ′<br />

(0) = 1. Isto diz que 0 não<br />

é transversal em quanto ponto fixo <strong>de</strong> f 2 0 . Uma perturbação <strong>de</strong> f 0 po<strong>de</strong> produzir pontos periódicos<br />

<strong>de</strong> perio<strong>do</strong> 2, em proximi<strong>da</strong><strong>de</strong> <strong>do</strong> ponto fixo persistente 0. Para ver um exemplo, consi<strong>de</strong>re o caso<br />

<strong>da</strong> família<br />

f λ (x) = −x + x 2 + λx<br />

Este tipo <strong>de</strong> bifurcação é dito “duplicação <strong>do</strong> perío<strong>do</strong>”. Ao fazer simulações num computa<strong>do</strong>r,<br />

Mitchell J. Feigenbaum <strong>de</strong>scubriu nos anos ’70 que certas famílias <strong>de</strong> transformações produzem<br />

uma ”cascata” <strong>de</strong> duplicações <strong>do</strong> perío<strong>do</strong>, no senti<strong>do</strong> em que existe uma sucessão λ 1 < λ 2 < ... <<br />

λ n < λ n+1 ... <strong>de</strong> valores <strong>do</strong> parâmetro λ tal que, ao passar λ n+1 nascem órbita <strong>de</strong> perío<strong>do</strong> 2 n+1<br />

em proximi<strong>da</strong><strong>de</strong> <strong>da</strong>s órbitas <strong>de</strong> perío<strong>do</strong> 2 n cria<strong>da</strong>s pelo valor anterior λ n . Este fenómeno po<strong>de</strong> ser<br />

facilmente observa<strong>do</strong> com a aju<strong>da</strong> <strong>de</strong> um computa<strong>do</strong>r. Aliás, parece que aconteça para to<strong>da</strong> família<br />

em que po<strong>de</strong>mos pensar, <strong>de</strong>s<strong>de</strong> que acertamos o ponto certo on<strong>de</strong> centrar uma lupa e ve-lo. Ain<strong>da</strong><br />

mais misterioso é o fato, também observa<strong>do</strong> por Feigenbaum, <strong>de</strong> que o limite λ ∞ = lim n→∞ λ n<br />

parece existir, é exponencial, i.e. |λ ∞ − λ n | ≃const×δ −n on<strong>de</strong><br />

λ n − λ n−1<br />

δ = lim<br />

n→∞ λ n+1 − λ n<br />

e que δ ≃ 4.669201609102990671853... in<strong>de</strong>pen<strong>de</strong>ntemente <strong>da</strong> família f λ ! O misterio só foi explica<strong>do</strong><br />

mais tar<strong>de</strong> por Lanford, Epstein, Dennis Sullivan...

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!