You are on page 1of 29

Atratores Estranhos de Lorenz

Marcelo Viana IMPA - Rio de Janeiro

Atratores Estranhos de Lorenz p.1/26

Equaes de Lorenz



(1)
  

E. N. Lorenz, Journal of Atmospheric Sciences, 1963.

Atratores Estranhos de Lorenz p.2/26

Title: Lorenz System Date: Fri Jun 18 12:24:00 1999 Range = [ -25, 25 ]; Range = [ -5, 50 ] Initial Conditions: ( x, y, z, time )=( 0.1, 0.1, 0.1, 0 ) Parameters: ( sigma, rho, beta )=( 10, 28, 2.6666667 ) Num Pts = 10001; Time Step = 0.01

Atrator de Lorenz
Lorenz Attractor

50

Atratores Estranhos de Lorenz p.3/26

-5

Previso do tempo
Lorenz estava questionando a fundamentao terica dos mtodos de previso do tempo da poca, baseados em regresso linear. Na sua opino o fenmeno do tempo demasiado no linear para que tais mtodos possam dar resultados consistentes. Para testar a sua tese, comparou numericamente diversos mtodos aplicados a certos modelos simplicados.

Atratores Estranhos de Lorenz p.4/26

Previso do tempo
A complexidade do modelo era um aspecto crtico dos experimentos, porque os computadores da poca eram lentos: Lorenz dispunha de um Royal McBee LGP-30 com 16k de memria interna, capaz de realizar 60 multiplicaes por segundo. Para um sistema de doze equaes diferenciais, cada passo da integrao numrica tomava 1 segundo. Aps diversas tentativas, Lorenz acabou adotand um modelo com 3 equaes introduzido por B. Saltzmann, que veio a ser chamado sistema de Lorenz.

Atratores Estranhos de Lorenz p.5/26

Conveco
Esse modelo uma simplicao do modelo de Rayleigh
 

 

    

do fenmeno de conveco trmica:

Atratores Estranhos de Lorenz p.6/26

Conveco
Esse modelo uma simplicao do modelo de Rayleigh
 

 

    

do fenmeno de conveco trmica: aqui e so coordenadas espaciais

o tempo a funo de corrente a funo defeito de temperatura.

Atratores Estranhos de Lorenz p.7/26

Conveco
Escrevendo estas funes e nas coordenadas espaciais,

como sries de Fourier


   

 

 

o modelo de Rayleigh se transforma um sistema innito de equaes diferenciais ordinrias nas variveis

Conservando apenas as variveis mais representativas e desprezando as demais, obtemos um sistema nito de equaes diferenciais ordinrias. Saltzmann argumentou que podemos conservar apenas 3 variveis.

Atratores Estranhos de Lorenz p.8/26

Sensitividade
Para acelerar os clculos, Lorenz imprimia os resultados com apenas 3 dgitos decimais, embora os calculos fossem realizados com 6 dgitos. Em algum momento reintroduziu um resultado como novo dado inicial:

Atratores Estranhos de Lorenz p.9/26

Sensitividade
Para acelerar os clculos, Lorenz imprimia os resultados com apenas 3 dgitos decimais, embora os calculos fossem realizados com 6 dgitos. Em algum momento reintroduziu um resultado como novo dado inicial:


  

Atratores Estranhos de Lorenz p.10/26

Sensitividade
Para sua surpresa, o novo clculo divergia do anterior: as previses para 4 dias mais tarde eram totalmente distintas. Inicialmente, Lorenz acreditou que isso se devia a falha mecnica... As consequncias desta descoberta de que o modelo sensitivo aos dados iniciais foram profundas.

Atratores Estranhos de Lorenz p.11/26

Sensitividade
A ideia de sensitividade no era nova. J J. C. Maxwell havia observado no sculo 19 que as mesmas causas produzem os mesmos efeitos no signica que causas prximas produzem efeitos prximos.

Atratores Estranhos de Lorenz p.12/26

Sensitividade
A ideia de sensitividade no era nova. J J. C. Maxwell havia observado no sculo 19 que as mesmas causas produzem os mesmos efeitos no signica que causas prximas produzem efeitos prximos. E as seguintes palavras de Poincar, no m do sculo 19, so estranhamente profticas:

Atratores Estranhos de Lorenz p.12/26

Sensitividade
Why have meteorologists such difculty in predicting the weather with any certainty ? Why is it that showers and even storms seem to come by chance, so that many people think it is quite natural to pray for them, though they would consider it ridiculous to ask for an eclipse by prayer ? . . . a tenth of a degree more or less at any given point, and the cyclone will burst here and not there, and extend its ravages over districts that it would otherwise have spared. If they had been aware of this tenth of a degree, they could have known it beforehand, but the observations were neither sufciently comprehensive nor sufciently precise, and that is the reason why it all seems due to the intervention of chance.

Atratores Estranhos de Lorenz p.13/26

Atratores estranhos
Alguns anos depois (1971), D. Ruelle e F. Takens estavam questionando a interpretao matemtica do fenmeno de turbulncia predominante na poca: E. Hopf e, posteriormente, L. Landau e E. Lifshitz haviam sugerido que turbulncia corresponde a existncia de toros invariantes de grande dimenso no espao de conguraes do uido. Ruelle e Takens demonstraram que esse modelo no tem sustentao matemtica. Em troca, propuseram que turbulncia deve corresponder a existncia no espao de conguraes de algum "atrator estranho".

Atratores Estranhos de Lorenz p.14/26

Atratores estranhos
Um atrator uma regio do espao de conguraes que ca invariante quando o tempo passa e que atrai muitas (ou at todas as) conguraes prximas. Ruelle e Takens no deniram "estranho", nem conheciam bons exemplos. De fato, o sistema de Lorenz era um exemplo espetacular dessa noo. E atrator estranho acabou signicando um atrator tal que as trajetrias que convergem para ele dependem sensitivamente do ponto inicial. Mas o trabalho de Lorenz ainda era mal conhecido, e Ruelle e Takens s tinham como exemplos os atratores hiperblicos de Smale.

Atratores Estranhos de Lorenz p.15/26

Atratores hiperblicos
Um atrator hiperblico se o comportamento do uxo perto de qualquer das suas rbitas de tipo sela:

Atratores Estranhos de Lorenz p.16/26

Modelos geomtricos de Lorenz


Nos dcadas seguintes houve intensa atividade para tentar entender compreender o comportamento das equaes de Lorenz e, em particular, tentar provar que de fato essas equaes realmente exibem um atrator estranho. Uma estratgia bem sucedida foi construir modelos para o comportamento que as equaes parecem exibir. Estes modelos geomtricos de Lorenz, foram devidos a Afraimovich, Bykov, Shilnikov (URSS) Guckenheimer, Williams (USA) em meados dos anos 70.

Atratores Estranhos de Lorenz p.17/26

Modelos geomtricos de Lorenz

Os modelos geomtricos so uxos em 3 dimenses, tais que existe um ponto estacionrio .

Atratores Estranhos de Lorenz p.18/26

Modelos geomtricos de Lorenz

Os modelos geomtricos so uxos em 3 dimenses, tais que existe uma seo transversal ao uxo.

PSfrag replacements

Atratores Estranhos de Lorenz p.19/26

Modelos geomtricos de Lorenz

Os modelos geomtricos so uxos em 3 dimenses, tais que existe uma folheao invariante pela aplicao de retorno seo transversal

PSfrag replacements

Atratores Estranhos de Lorenz p.20/26

Modelos geomtricos de Lorenz

PSfrag replacements

Os modelos geomtricos so uxos em 3 dimenses, tais que a aplicao induzida no espao das folhas expansora:

Sfrag replacements

Atratores Estranhos de Lorenz p.21/26

Modelos geomtricos de Lorenz


Guckenheimer, Williams e Afraimovich, Bykov, Shilnikov provaram que tais uxos existem e exibem atratores estranhos. Um dos aspectos mais surpreendentes desta construo que ela robusta: se modicarmos ligeiramente o uxo, continua existindo um atrator.

Atratores Estranhos de Lorenz p.22/26

Robustez
Isto ainda mais surpreendente porque o atrator contm um ponto estacionrio, acumulada por trajetrias no estacionrias. Parecia que esse fenmeno deveria pode ser destrudo por modicaces do uxo. Acreditava-se que os atratores robustos teriam que ser hiperblicos. Este fenmeno de Lorenz mostrou que o problema de compreender o que faz um sistema dinmico ser robusto especialmente sutil para sistemas com tempo contnuo (uxos).

Atratores Estranhos de Lorenz p.23/26

Robustez
Isto ainda mais surpreendente porque o atrator contm um ponto estacionrio, acumulada por trajetrias no estacionrias. Parecia que esse fenmeno deveria pode ser destrudo por modicaces do uxo. Acreditava-se que os atratores robustos teriam que ser hiperblicos. Este fenmeno de Lorenz mostrou que o problema de compreender o que faz um sistema dinmico ser robusto especialmente sutil para sistemas com tempo contnuo (uxos).

Atratores Estranhos de Lorenz p.23/26

Robustez
Mas em meados dos anos 90 houve avanos notveis. Um dos mais espetaculares foi o Teorema [C. Morales, M. J. Pacico, E. Pujals (UFRJ)]:
Qualquer atrator robusto de um uxo em 3 dimensoes e hiperbolico ou de tipo Lorenz.

O segundo caso signica que tem todas as propriedades que descrevem os modelos geomtricos de Lorenz.

Atratores Estranhos de Lorenz p.24/26

Robustez
Mas em meados dos anos 90 houve avanos notveis. Um dos mais espetaculares foi o Teorema [C. Morales, M. J. Pacico, E. Pujals (UFRJ)]:
Qualquer atrator robusto de um uxo em 3 dimensoes e hiperbolico ou de tipo Lorenz.

O segundo caso signica que tem todas as propriedades que descrevem os modelos geomtricos de Lorenz. Pela mesma poca foi obtido um resultado correspondente sobre atratores robustos de transformaes (tempo discreto), por C. Bonatti (Frana), L. J. Daz (PUC-Rio), E. Pujals (UFRJ), Raul Ures (Uruguay).

Atratores Estranhos de Lorenz p.24/26

Existencia do atrator de Lorenz


Continuava em aberto saber se as equaes originais de Lorenz realmente tm um atrator estranho. Isso foi resolvido em 1998 por W. Tucker (Sucia), que provou Teorema [W. Tucker]:
As equacoes de Lorenz admitem um atrator estranho para os valores dos parametros originalmente considerados por Lorenz.

A demonstrao faz uso do computador (integracao rigorosa) para provar a existencia do atrator estranho:

Atratores Estranhos de Lorenz p.25/26

Existencia do atrator de Lorenz

Sfrag replacements

PSfrag replacements

Atratores Estranhos de Lorenz p.26/26

You might also like