atratores estranhos de lorenzw3.impa.br/~viana/out/ael.pdf · de fato, o sistema de lorenz era um...
TRANSCRIPT
![Page 1: Atratores Estranhos de Lorenzw3.impa.br/~viana/out/ael.pdf · De fato, o sistema de Lorenz era um exemplo espetacular dessa noção. E atrator estranho acabou significando um atrator](https://reader034.vdocuments.com.br/reader034/viewer/2022043007/5f93114a5249e22d6221afa3/html5/thumbnails/1.jpg)
Atratores Estranhos de LorenzMarcelo Viana
IMPA - Rio de Janeiro
Atratores Estranhos de Lorenz – p.1/26
![Page 2: Atratores Estranhos de Lorenzw3.impa.br/~viana/out/ael.pdf · De fato, o sistema de Lorenz era um exemplo espetacular dessa noção. E atrator estranho acabou significando um atrator](https://reader034.vdocuments.com.br/reader034/viewer/2022043007/5f93114a5249e22d6221afa3/html5/thumbnails/2.jpg)
Equações de Lorenz
� � � � � � � � � � � ��
� � � � � � � � � ��
� � � � � � � ��
(1)
E. N. Lorenz, Journal of Atmospheric Sciences, 1963.
Atratores Estranhos de Lorenz – p.2/26
![Page 3: Atratores Estranhos de Lorenzw3.impa.br/~viana/out/ael.pdf · De fato, o sistema de Lorenz era um exemplo espetacular dessa noção. E atrator estranho acabou significando um atrator](https://reader034.vdocuments.com.br/reader034/viewer/2022043007/5f93114a5249e22d6221afa3/html5/thumbnails/3.jpg)
Atrator de LorenzLorenz Attractor
25-25
50
-5
Title: Lorenz SystemDate: 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
Atratores Estranhos de Lorenz – p.3/26
![Page 4: Atratores Estranhos de Lorenzw3.impa.br/~viana/out/ael.pdf · De fato, o sistema de Lorenz era um exemplo espetacular dessa noção. E atrator estranho acabou significando um atrator](https://reader034.vdocuments.com.br/reader034/viewer/2022043007/5f93114a5249e22d6221afa3/html5/thumbnails/4.jpg)
Previsão do tempo
Lorenz estava questionando a fundamentação teórica dosmétodos de previsão do tempo da época, baseados emregressão linear.
Na sua opinão o fenômeno do tempo é demasiado nãolinear para que tais métodos possam dar resultadosconsistentes.
Para testar a sua tese, comparou numericamente diversosmétodos aplicados a certos modelos simplificados.
Atratores Estranhos de Lorenz – p.4/26
![Page 5: Atratores Estranhos de Lorenzw3.impa.br/~viana/out/ael.pdf · De fato, o sistema de Lorenz era um exemplo espetacular dessa noção. E atrator estranho acabou significando um atrator](https://reader034.vdocuments.com.br/reader034/viewer/2022043007/5f93114a5249e22d6221afa3/html5/thumbnails/5.jpg)
Previsão do tempo
A complexidade do modelo era um aspecto crítico dosexperimentos, porque os computadores da época eramlentos:
Lorenz dispunha de um Royal McBee LGP-30 com 16k dememória interna, capaz de realizar 60 multiplicações porsegundo. Para um sistema de doze equações diferenciais,cada passo da integração numérica tomava 1 segundo.
Após diversas tentativas, Lorenz acabou adotand ummodelo com 3 equações introduzido por B. Saltzmann, queveio a ser chamado sistema de Lorenz.
Atratores Estranhos de Lorenz – p.5/26
![Page 6: Atratores Estranhos de Lorenzw3.impa.br/~viana/out/ael.pdf · De fato, o sistema de Lorenz era um exemplo espetacular dessa noção. E atrator estranho acabou significando um atrator](https://reader034.vdocuments.com.br/reader034/viewer/2022043007/5f93114a5249e22d6221afa3/html5/thumbnails/6.jpg)
Convecção
Esse modelo é uma simplificação do modelo de Rayleigh
� � ����� � �
� �� � � � � �
� � � � ��� � � ��� ���
�
���� � �
� �� � � �
� � � � ���
���
� ��� � � �
do fenômeno de convecção térmica:
Atratores Estranhos de Lorenz – p.6/26
![Page 7: Atratores Estranhos de Lorenzw3.impa.br/~viana/out/ael.pdf · De fato, o sistema de Lorenz era um exemplo espetacular dessa noção. E atrator estranho acabou significando um atrator](https://reader034.vdocuments.com.br/reader034/viewer/2022043007/5f93114a5249e22d6221afa3/html5/thumbnails/7.jpg)
Convecção
Esse modelo é uma simplificação do modelo de Rayleigh
� � ����� � �
� �� � � � � �
� � � � ��� � � ��� ���
�
���� � �
� �� � � �
� � � � ���
���
� ��� � � �
do fenômeno de convecção térmica: aqui
e são coordenadas espaciais
�
é o tempo
�
é a função de corrente
�
é a função defeito de temperatura.
Atratores Estranhos de Lorenz – p.7/26
![Page 8: Atratores Estranhos de Lorenzw3.impa.br/~viana/out/ael.pdf · De fato, o sistema de Lorenz era um exemplo espetacular dessa noção. E atrator estranho acabou significando um atrator](https://reader034.vdocuments.com.br/reader034/viewer/2022043007/5f93114a5249e22d6221afa3/html5/thumbnails/8.jpg)
Convecção
Escrevendo estas funções
�
e
�
como séries de Fouriernas coordenadas espaciais,
� � � � � � ���� �
� ��� � � � ��� � � � � � � � � � � �
o modelo de Rayleigh se transforma um sistema infinito deequações diferenciais ordinárias nas variáveis
� ��� �
Conservando apenas as variáveis mais representativas edesprezando as demais, obtemos um sistema finito deequações diferenciais ordinárias. Saltzmann argumentouque podemos conservar apenas 3 variáveis.
Atratores Estranhos de Lorenz – p.8/26
![Page 9: Atratores Estranhos de Lorenzw3.impa.br/~viana/out/ael.pdf · De fato, o sistema de Lorenz era um exemplo espetacular dessa noção. E atrator estranho acabou significando um atrator](https://reader034.vdocuments.com.br/reader034/viewer/2022043007/5f93114a5249e22d6221afa3/html5/thumbnails/9.jpg)
Sensitividade
Para acelerar os cálculos, Lorenz imprimia os resultadoscom apenas 3 dígitos decimais, embora os calculos fossemrealizados com 6 dígitos. Em algum momento reintroduziuum resultado como novo dado inicial:
���
�� � �� � � � � � � � � �
���
� � � � �� � � � � � � � �
���
� �� � � � � � � � � � � �
���
� � � � � � � � � � � � � �
���
� �� � � � � � � � � � � �
���
� � � � �� � � � � � � � �
���
�� � � �� � � � � � � � �
���
� � � � � � � � � � � � � �
Atratores Estranhos de Lorenz – p.9/26
![Page 10: Atratores Estranhos de Lorenzw3.impa.br/~viana/out/ael.pdf · De fato, o sistema de Lorenz era um exemplo espetacular dessa noção. E atrator estranho acabou significando um atrator](https://reader034.vdocuments.com.br/reader034/viewer/2022043007/5f93114a5249e22d6221afa3/html5/thumbnails/10.jpg)
Sensitividade
Para acelerar os cálculos, Lorenz imprimia os resultadoscom apenas 3 dígitos decimais, embora os calculos fossemrealizados com 6 dígitos. Em algum momento reintroduziuum resultado como novo dado inicial:
���
�� � �� � � � � � � � � �
���
� � � � �� ��
� � �
���
� �� � � � ��
� ��
���
� � � � � � ��
� � �
���
� �� � � � ��
� � �
���
� � � � �� ��
� � �
���
�� � � �� ��
�� �
���
� � � � � � ��
�� �
Atratores Estranhos de Lorenz – p.10/26
![Page 11: Atratores Estranhos de Lorenzw3.impa.br/~viana/out/ael.pdf · De fato, o sistema de Lorenz era um exemplo espetacular dessa noção. E atrator estranho acabou significando um atrator](https://reader034.vdocuments.com.br/reader034/viewer/2022043007/5f93114a5249e22d6221afa3/html5/thumbnails/11.jpg)
Sensitividade
Para sua surpresa, o novo cálculo divergia do anterior: asprevisões para 4 dias mais tarde eram totalmente distintas.
Inicialmente, Lorenz acreditou que isso se devia a falhamecânica...
As consequências desta descoberta de que o modelo ésensitivo aos dados iniciais foram profundas.
Atratores Estranhos de Lorenz – p.11/26
![Page 12: Atratores Estranhos de Lorenzw3.impa.br/~viana/out/ael.pdf · De fato, o sistema de Lorenz era um exemplo espetacular dessa noção. E atrator estranho acabou significando um atrator](https://reader034.vdocuments.com.br/reader034/viewer/2022043007/5f93114a5249e22d6221afa3/html5/thumbnails/12.jpg)
Sensitividade
A ideia de sensitividade não era nova. Já J. C. Maxwellhavia observado no século 19 que “as mesmas causasproduzem os mesmos efeitos” não significa que “causaspróximas produzem efeitos próximos”.
E as seguintes palavras de Poincaré, no fim do século 19,são estranhamente proféticas:
Atratores Estranhos de Lorenz – p.12/26
![Page 13: Atratores Estranhos de Lorenzw3.impa.br/~viana/out/ael.pdf · De fato, o sistema de Lorenz era um exemplo espetacular dessa noção. E atrator estranho acabou significando um atrator](https://reader034.vdocuments.com.br/reader034/viewer/2022043007/5f93114a5249e22d6221afa3/html5/thumbnails/13.jpg)
Sensitividade
A ideia de sensitividade não era nova. Já J. C. Maxwellhavia observado no século 19 que “as mesmas causasproduzem os mesmos efeitos” não significa que “causaspróximas produzem efeitos próximos”.
E as seguintes palavras de Poincaré, no fim do século 19,são estranhamente proféticas:
Atratores Estranhos de Lorenz – p.12/26
![Page 14: Atratores Estranhos de Lorenzw3.impa.br/~viana/out/ael.pdf · De fato, o sistema de Lorenz era um exemplo espetacular dessa noção. E atrator estranho acabou significando um atrator](https://reader034.vdocuments.com.br/reader034/viewer/2022043007/5f93114a5249e22d6221afa3/html5/thumbnails/14.jpg)
Sensitividade
Why have meteorologists such difficulty in predicting theweather with any certainty ? Why is it that showers andeven storms seem to come by chance, so that many peoplethink it is quite natural to pray for them, though they wouldconsider it ridiculous to ask for an eclipse by prayer ?
. . . a tenth of a degree more or less at any given point, andthe cyclone will burst here and not there, and extend itsravages over districts that it would otherwise have spared. Ifthey had been aware of this tenth of a degree, they couldhave known it beforehand, but the observations wereneither sufficiently comprehensive nor sufficiently precise,and that is the reason why it all seems due to theintervention of chance.
Atratores Estranhos de Lorenz – p.13/26
![Page 15: Atratores Estranhos de Lorenzw3.impa.br/~viana/out/ael.pdf · De fato, o sistema de Lorenz era um exemplo espetacular dessa noção. E atrator estranho acabou significando um atrator](https://reader034.vdocuments.com.br/reader034/viewer/2022043007/5f93114a5249e22d6221afa3/html5/thumbnails/15.jpg)
Atratores estranhos
Alguns anos depois (1971), D. Ruelle e F. Takens estavamquestionando a interpretação matemática do fenômeno deturbulência predominante na época:
E. Hopf e, posteriormente, L. Landau e E. Lifshitz haviamsugerido que turbulência corresponde a existência de torosinvariantes de grande dimensão no espaço deconfigurações do fluido.
Ruelle e Takens demonstraram que esse modelo não temsustentação matemática. Em troca, propuseram queturbulência deve corresponder a existência no espaço deconfigurações de algum "atrator estranho".
Atratores Estranhos de Lorenz – p.14/26
![Page 16: Atratores Estranhos de Lorenzw3.impa.br/~viana/out/ael.pdf · De fato, o sistema de Lorenz era um exemplo espetacular dessa noção. E atrator estranho acabou significando um atrator](https://reader034.vdocuments.com.br/reader034/viewer/2022043007/5f93114a5249e22d6221afa3/html5/thumbnails/16.jpg)
Atratores estranhos
Um atrator é uma região do espaço de configurações quefica invariante quando o tempo passa e que atrai muitas(ou até todas as) configurações próximas.
Ruelle e Takens não definiram "estranho", nem conheciambons exemplos. De fato, o sistema de Lorenz era umexemplo espetacular dessa noção.
E atrator estranho acabou significando um atrator tal queas trajetórias que convergem para ele dependemsensitivamente do ponto inicial.
Mas o trabalho de Lorenz ainda era mal conhecido, eRuelle e Takens só tinham como exemplos os atratoreshiperbólicos de Smale.
Atratores Estranhos de Lorenz – p.15/26
![Page 17: Atratores Estranhos de Lorenzw3.impa.br/~viana/out/ael.pdf · De fato, o sistema de Lorenz era um exemplo espetacular dessa noção. E atrator estranho acabou significando um atrator](https://reader034.vdocuments.com.br/reader034/viewer/2022043007/5f93114a5249e22d6221afa3/html5/thumbnails/17.jpg)
Atratores hiperbólicos
Um atrator é hiperbólico se o comportamento do fluxo pertode qualquer das suas órbitas é de tipo sela:
Atratores Estranhos de Lorenz – p.16/26
![Page 18: Atratores Estranhos de Lorenzw3.impa.br/~viana/out/ael.pdf · De fato, o sistema de Lorenz era um exemplo espetacular dessa noção. E atrator estranho acabou significando um atrator](https://reader034.vdocuments.com.br/reader034/viewer/2022043007/5f93114a5249e22d6221afa3/html5/thumbnails/18.jpg)
Modelos geométricos de Lorenz
Nos décadas seguintes houve intensa atividade para tentarentender compreender o comportamento das equações deLorenz e, em particular, tentar provar que de fato essasequações realmente exibem um atrator estranho.
Uma estratégia bem sucedida foi construir modelos para ocomportamento que as equações parecem exibir. Estesmodelos geométricos de Lorenz, foram devidos a
Afraimovich, Bykov, Shilnikov (URSS)
Guckenheimer, Williams (USA)
em meados dos anos 70.
Atratores Estranhos de Lorenz – p.17/26
![Page 19: Atratores Estranhos de Lorenzw3.impa.br/~viana/out/ael.pdf · De fato, o sistema de Lorenz era um exemplo espetacular dessa noção. E atrator estranho acabou significando um atrator](https://reader034.vdocuments.com.br/reader034/viewer/2022043007/5f93114a5249e22d6221afa3/html5/thumbnails/19.jpg)
Modelos geométricos de Lorenz
Os modelos geométricos são fluxos em 3 dimensões, taisque existe um ponto estacionário
�
.
Atratores Estranhos de Lorenz – p.18/26
![Page 20: Atratores Estranhos de Lorenzw3.impa.br/~viana/out/ael.pdf · De fato, o sistema de Lorenz era um exemplo espetacular dessa noção. E atrator estranho acabou significando um atrator](https://reader034.vdocuments.com.br/reader034/viewer/2022043007/5f93114a5249e22d6221afa3/html5/thumbnails/20.jpg)
Modelos geométricos de Lorenz
Os modelos geométricos são fluxos em 3 dimensões, taisque existe uma seção transversal ao fluxo.
PSfrag replacements
�
�
�
Atratores Estranhos de Lorenz – p.19/26
![Page 21: Atratores Estranhos de Lorenzw3.impa.br/~viana/out/ael.pdf · De fato, o sistema de Lorenz era um exemplo espetacular dessa noção. E atrator estranho acabou significando um atrator](https://reader034.vdocuments.com.br/reader034/viewer/2022043007/5f93114a5249e22d6221afa3/html5/thumbnails/21.jpg)
Modelos geométricos de Lorenz
Os modelos geométricos são fluxos em 3 dimensões, taisque existe uma folheação invariante pela aplicação deretorno à seção transversal
PSfrag replacements
�
�
�
Atratores Estranhos de Lorenz – p.20/26
![Page 22: Atratores Estranhos de Lorenzw3.impa.br/~viana/out/ael.pdf · De fato, o sistema de Lorenz era um exemplo espetacular dessa noção. E atrator estranho acabou significando um atrator](https://reader034.vdocuments.com.br/reader034/viewer/2022043007/5f93114a5249e22d6221afa3/html5/thumbnails/22.jpg)
Modelos geométricos de Lorenz
PSfrag replacements
�
�
�
Os modelos geométricos são fluxos em 3 dimensões, taisque a aplicação induzida no espaço das folhas éexpansora:
PSfrag replacements
Atratores Estranhos de Lorenz – p.21/26
![Page 23: Atratores Estranhos de Lorenzw3.impa.br/~viana/out/ael.pdf · De fato, o sistema de Lorenz era um exemplo espetacular dessa noção. E atrator estranho acabou significando um atrator](https://reader034.vdocuments.com.br/reader034/viewer/2022043007/5f93114a5249e22d6221afa3/html5/thumbnails/23.jpg)
Modelos geométricos de Lorenz
Guckenheimer, Williams e Afraimovich, Bykov, Shilnikovprovaram que
tais fluxos existem e
exibem atratores estranhos.
Um dos aspectos mais surpreendentes desta construção éque ela é robusta: se modificarmos ligeiramente o fluxo,continua existindo um atrator.
Atratores Estranhos de Lorenz – p.22/26
![Page 24: Atratores Estranhos de Lorenzw3.impa.br/~viana/out/ael.pdf · De fato, o sistema de Lorenz era um exemplo espetacular dessa noção. E atrator estranho acabou significando um atrator](https://reader034.vdocuments.com.br/reader034/viewer/2022043007/5f93114a5249e22d6221afa3/html5/thumbnails/24.jpg)
Robustez
Isto é ainda mais surpreendente porque o atrator contémum ponto estacionário, acumulada por trajetórias nãoestacionárias.
Parecia que esse fenômeno deveria pode ser destruído pormodificacões do fluxo. Acreditava-se que os atratoresrobustos teriam que ser hiperbólicos.
Este fenômeno de Lorenz mostrou que o problema decompreender o que faz um sistema dinâmico ser robusto éespecialmente sutil para sistemas com tempo contínuo(fluxos).
Atratores Estranhos de Lorenz – p.23/26
![Page 25: Atratores Estranhos de Lorenzw3.impa.br/~viana/out/ael.pdf · De fato, o sistema de Lorenz era um exemplo espetacular dessa noção. E atrator estranho acabou significando um atrator](https://reader034.vdocuments.com.br/reader034/viewer/2022043007/5f93114a5249e22d6221afa3/html5/thumbnails/25.jpg)
Robustez
Isto é ainda mais surpreendente porque o atrator contémum ponto estacionário, acumulada por trajetórias nãoestacionárias.
Parecia que esse fenômeno deveria pode ser destruído pormodificacões do fluxo. Acreditava-se que os atratoresrobustos teriam que ser hiperbólicos.
Este fenômeno de Lorenz mostrou que o problema decompreender o que faz um sistema dinâmico ser robusto éespecialmente sutil para sistemas com tempo contínuo(fluxos).
Atratores Estranhos de Lorenz – p.23/26
![Page 26: Atratores Estranhos de Lorenzw3.impa.br/~viana/out/ael.pdf · De fato, o sistema de Lorenz era um exemplo espetacular dessa noção. E atrator estranho acabou significando um atrator](https://reader034.vdocuments.com.br/reader034/viewer/2022043007/5f93114a5249e22d6221afa3/html5/thumbnails/26.jpg)
Robustez
Mas em meados dos anos 90 houve avanços notáveis. Umdos mais espetaculares foi o
Teorema [C. Morales, M. J. Pacifico, E. Pujals (UFRJ)]:Qualquer atrator robusto de um fluxo em 3 dimensoes e hiperbolico oude tipo Lorenz.
O segundo caso significa que tem todas as propriedadesque descrevem os modelos geométricos de Lorenz.
Pela mesma época foi obtido um resultado correspondentesobre atratores robustos de transformações (tempodiscreto), por C. Bonatti (França), L. J. Díaz (PUC-Rio), E.Pujals (UFRJ), Raul Ures (Uruguay).
Atratores Estranhos de Lorenz – p.24/26
![Page 27: Atratores Estranhos de Lorenzw3.impa.br/~viana/out/ael.pdf · De fato, o sistema de Lorenz era um exemplo espetacular dessa noção. E atrator estranho acabou significando um atrator](https://reader034.vdocuments.com.br/reader034/viewer/2022043007/5f93114a5249e22d6221afa3/html5/thumbnails/27.jpg)
Robustez
Mas em meados dos anos 90 houve avanços notáveis. Umdos mais espetaculares foi o
Teorema [C. Morales, M. J. Pacifico, E. Pujals (UFRJ)]:Qualquer atrator robusto de um fluxo em 3 dimensoes e hiperbolico oude tipo Lorenz.
O segundo caso significa que tem todas as propriedadesque descrevem os modelos geométricos de Lorenz.
Pela mesma época foi obtido um resultado correspondentesobre atratores robustos de transformações (tempodiscreto), por C. Bonatti (França), L. J. Díaz (PUC-Rio), E.Pujals (UFRJ), Raul Ures (Uruguay).
Atratores Estranhos de Lorenz – p.24/26
![Page 28: Atratores Estranhos de Lorenzw3.impa.br/~viana/out/ael.pdf · De fato, o sistema de Lorenz era um exemplo espetacular dessa noção. E atrator estranho acabou significando um atrator](https://reader034.vdocuments.com.br/reader034/viewer/2022043007/5f93114a5249e22d6221afa3/html5/thumbnails/28.jpg)
Existencia do atrator de Lorenz
Continuava em aberto saber se as equações originais deLorenz realmente têm um atrator estranho. Isso foiresolvido em 1998 por W. Tucker (Suécia), que provou
Teorema [W. Tucker]:As equacoes de Lorenz admitem um atrator estranho para os valoresdos parametros originalmente considerados por Lorenz.
A demonstração faz uso do computador (integracaorigorosa) para provar a existencia do atrator estranho:
Atratores Estranhos de Lorenz – p.25/26
![Page 29: Atratores Estranhos de Lorenzw3.impa.br/~viana/out/ael.pdf · De fato, o sistema de Lorenz era um exemplo espetacular dessa noção. E atrator estranho acabou significando um atrator](https://reader034.vdocuments.com.br/reader034/viewer/2022043007/5f93114a5249e22d6221afa3/html5/thumbnails/29.jpg)
Existencia do atrator de Lorenz
..PSfrag replacements ��
��
�
PSfrag replacements
Atratores Estranhos de Lorenz – p.26/26