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
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...