Dynamické systémy 4 Deterministický chaos Ing. Jaroslav Jíra, CSc.
Jednorozměrné mapy Jednorozměrné mapy (též známé jako diferenční rovnice) jsou matematické systémy, které modelují vývoj proměnné v čase po diskrétních krocích. Obecná forma takové mapy vypadá takto Z předchozího již známe příklad lineární mapy (bankovní účet): a také známe příklad nelineární mapy (logistická mapa): x x x f ( x n1 n n1 rx n rx ) (1 x n1 n n ) V následujícím si ukážeme novou techniku řešení takovýchto diferenčních rovnic. Nazývá se pavučinový diagram.
Pavučinový diagram Jako příklad použijeme známou logistickou rovnici (logistickou mapu) v podobě y=rx n (1-x n ). Základním krokem je nakreslení grafu funkce y=f(x) a nakreslení přímky odpovídající y=x. a) Poté na ose x označíme počáteční bod, v našem příkladě x 0 =0.08. b) Z tohoto bodu nakreslíme vertikální čáru k funkci f(x), čímž dostaneme f(x 0 )=x 1. c) Z tohoto bodu nakreslíme horizontální čáru k přímce y=x, čímž se dostaneme na úroveň bodu x 1 také v horizontálním směru. d) Z tohoto bodu znova kreslím vertikální čáru k funkci f(x), čímž získáme f(x 1 )=x 2 Postup opakujeme tak dlouho, dokud se nedostaneme do pevného bodu.
Příklady pavučinových diagramů pro různé hodnoty parametru r Pro r=2.0 máme jediný pevný bod v 0.5 Pro r=2.93 máme stále jediný pevný bod v 0.6587, ale konvergence je velmi pomalá.
Příklady pavučinových diagramů pro různé hodnoty parametru r Pro r=3.39 máme dvě periodicky se střídající hodnoty 0.45 a 0.84 Pro r=3.45 máme čtyři periodicky se střídající hodnoty 0.846, 0.4495, 0.8537 a 0.4309
Příklady pavučinových diagramů pro různé hodnoty parametru r Pro r=3.57 je střídajících se hodnot šestnáct. Pro r=3.97 jsme již chaosu. oblasti
Feigenbaumovy konstanty jsou dvě konstanty pojmenované po matematikovi Michelu Fiegenbaumovi a váží se k bifurkačním diagramům. Tyto konstanty jsou univerzální pro bifurkace se zdvojováním periody. Lze je také pozorovat např. v Mandelbrotově množině. Feigenbaumovy konstanty Pokud si zvětšíme šedě vyznačenou oblast, v bifurkačním diagramu logistické rovnice, získáme graf zobrazení v dolní části. Vertikální modré čáry označují hodnoty r, kde dochází k bifurkacím.
Pokud si ve zvětšené části diagramu vyznačíme další oblast, a opět ji zvětšíme, dostaneme opět podobný tvar.
Feigenbaumova konstanta delta Vyjádříme-li di bifurkační hodnoty numericky, získáme tabulku vpravo, kde n je pořadové číslo bifurkace, perioda je počet cyklujících hodnot za touto bifurkací a r n je odpovídající hodnota parametru r pro tuto bifurkaci. Poslední hodnota označená se nazývá akumulační bod. Za tímto bodem začíná oblast chaosu. Poměr (ratio) je vyjádřen tímto vzorcem: ratio r r n n1 r r n1 n Například ratio 3.44948974 3 3.54409036 3.44948974 4.751446 Poměr konverguje k hodnotě 4.669201609, což je hodnota Feigenbaumovy konstanty delta lim n r r n n1 r r n 1 n 4.669201609
Feigenbaumova konstanta alfa Budeme-li měřit vertikální rozteče vidliček v bifurkačním diagramu vztažené k hodnotě x=0.5, a označíme-li je postupně a1, a2, a3, objevíme další poměr, který konverguje k určité konstantní hodnotě. lim n a a n n 1 2.502907875 Číslo 2.502907875 je hodnota Feigenbaumovy konstanty alfa
Atraktor dynamického systému Atraktorem je stav, do kterého systém směřuje. Je to množina, ve které je stavový vektor v nekonečném čase. 1. Pevný bod. Systém směřuje k jednomu určitému stavu a vněm zůstává. Příkladem je tlumené kyvadlo nebo koule na dně půlkulové misky. 2. Periodický nebo kvaziperiodický. Systém směřuje k limitnímu cyklu. Příkladem je netlumené kyvadlo nebo planeta obíhající kolem Slunce. 3. Podivný atraktor. Systém je velmi citlivý na počáteční podmínky, chová se chaoticky, a my nejsme schopni jednoduše předpovědět jeho chování. Chaotické chování však neznamená náhodné chování. Pro stejné počáteční podmínky dostáváme vždy stejné řešení. Tento atraktor vykazuje vlastnosti do jisté míry shodné s těmi, jako mají fraktály. Příkladem je Lorenzův atraktor nebo Mandelbrotova množina.
Lorenzův atraktor Tento podivný atraktor je pojmenován po meteorologovi Edwardu Lorenzovi, který se pokoušel vytvořit matematický model atmosféry pro předpovídání počasí. Model se skládal z válcové nádoby naplněné vzduchem, která byla zespoda ohřívána a zeshora chlazena, zatímco stěny byly udržovány na konstantní teplotě. Původní soustava dvanácti diferenciálních rovnic byla zjednodušena na tři: dx dt dy dt dz dt ( y x) r x y xz x y z kde δ je poměr viskozity média k jeho tepelné vodivosti, r představuje teplotní rozdíl mezi horní a dolní podstavou válce, β je poměr výšky nádoby k její šířce, x představuje rychlost rotace média, y představuje rozdíl teplot mezi mezi stoupající a klesající vrstvou média a z představuje odchylku od lineárního teplotního gradientu ve vertikálním směru. Nejčastěji používané hodnoty parametrů: δ= 10, r= 28 and β= 8/3 Při propočítávání tohoto modelu Lorenz narazil na zvláštní jev. Když zadal počáteční podmínky, které se od předchozích jen nepatrně lišily, dostal zcela odlišné výsledky.
Tento efekt byl později pojmenován jako efekt motýlích křídel, jenž vyjadřuje vysokou citlivost na počáteční podmínky podle metafory říkající, že Jediné mávnutí motýlích křídel v Jižní Americe může způsobit změnu počasí v Texasu. Následující grafy vyjadřují časovou závislost funkcí x(t) a z(t) v Lorenzově atraktoru pro doporučené hodnoty parametrů a počáteční podmínky x(0)=1; y(0)=1; z(0)=10
Ukázka efektu motýlích křídel Následující grafy ukazují časovou závislost funkcí x(t) a z(t) v Lorenzově atraktoru pro doporučené parametry, přičemž modré křivky se váží k počátečním podmínkám x(0)=1; y(0)=1; z(0)=10 a červené křivky se váží k počátečním podmínkám x(0)=1; y(0)=1; z(0)=10.01 Nepatrná změna počátečních podmínek znamená velkou změnu ve výsledném průběhu.
3D podoba Lorenzova atraktoru z různých úhlů
3D porovnání různých počátečních podmínek x(0)=1; y(0)=1; z(0)=10 x(0)=1.01; y(0)=1; z(0)=10
Pevné body a stabilita Lorenzova atraktoru z x y z xz y r x y x y x ) ( 0 0 0 ) ( z x y xz y r x x y z x xz x r x x y 2 1) ( 1 2 r z x r z ; 1 1) ( 1) ( ~ ; 1 1) ( 1) ( ~ ; 0 0 0 ~ r r r x r r r x x C B A Pro r=28 a β=8/3 ; 27 72 72 ~ ; 27 72 72 ~ C x B x Soustava rovnic Podmínky pro pevné body Řešením dostáváme tři pevné body
Jacobiho matice původního systému Df r z 1 y x 0 x x ( y x) y r x y xz z x y z Linearizovaná Jacobiho matice pro pevné body a odpovídající vlastní čísla Df Df Df ~ x ( A 10 ) 28 0 10 ( ~ x B ) 1 72 10 ( ~ x C ) 1 72 10 1 0 10 1 72 0 0 8/ 3 10 1 72 0 72 8/ 3 0 72 8/ 3 λ 1 =-22.8, λ 2 =11.8, λ 3 =-2.67, λ 1 =-13.8, λ 2 =0.09+10.2i, λ 3 =0.09-10.2i λ 1 =-13.8, λ 2 =0.09+10.2i, λ 3 =0.09-10.2i
Závěr ohledně pevných bodů: všechny tři pevné body jsou nestabilní, protože všechny obsahují vlastní číslo s kladnou reálnou částí. Program v Mathematice pro kreslení Lorenzova atraktoru.
Obrázek vlevo ukazuje 3D grafický výstup pro počáteční podmínky v jednom z pevných bodů, obrázek vpravo má nepatrně jiný počáteční stav. A ( 72, 72, 27) B ( 72, 72, 27.0001)
Fraktály Fraktál je geometrický tvar, který má následující vlastnosti: Je soběpodobný, což znamená, že můžeme pozorovat určitý tvar na více místech a v různých měřítkách Má jednoduchou rekurzivní definici Má jemnou strukturu i ve velmi malých měřítkách Je příliš nepravidelný na to, aby byl jednoduše popsán jazykem euklidovské geometrie. Má Hausdorfovu dimenzi své hranice vyšší než je její topologická dimenze.
Topologická dimenze bod má topologickou dimenzi 0, přímka či křivka má dimenzi 1, povrch má dimenzi 2 atd. Hausdorffova dimenze pokud objekt obsahuje n kopií sebe sama, které jsou přitom k-krát zmenšené oproti původnímu rozměru, potom lze Hausdorffovu dimenzi spočítat jako log(n)/log(k) Příklad Cantorova množina Postup vzniku této množiny na začátku máme úsečku, kterou rozdělíme na tři části. Vynecháme prostřední část a dvě krajní části nakreslíme pod původní úsečku. Tento postup opakujeme s každou nově vzniklou úsečkou. Budeme-li tento postup opakovat do nekonečna, dostaneme nekonečné množství bodů s topologickou dimenzí 0. Množina obsahuje n=2 kopie sebe sama, které jsou zmenšeny na 1/3 původní velikosti (k=3). Hausdorffova dimenze je log(2)/log(3)=0.6309, což je větší než 0, tudíž je splněna podmínka pro fraktál.
Mandelbrotova množina Mandelbrotova množina M je množinou hodnot c v komplexní rovině, pro než při nekonečném počtu iterací podle vzorce z n+1 =z n2 +c pro z 0 =0 platí, že hodnota z zůstává konečná. Jedná se o množinu komplexních čísel, pro než platí kde sekvence z 0,z 1,z 2 je definována rekurzivním vzorcem lim z n n Konstanta c představuje souřadnice zkoumaného bodu. n z 2 1 zn c; z0 0 Základní vlastnosti: celá množina leží uvnitř kružnice o poloměru 2 se středem v počátku množina je souvislá Hausdorffova dimenze množiny je 2 plocha Mandelbrotovy množiny je odhadována na 1.50659177 je-li absolutní hodnota kteréhokoli z n větší než 2, potom sekvence roste do nekonečna průsečík M s reálnou osou je přesně v intervalu [-2, 0.25]
Příklady iterací podle vzorce z n+1 =z n2 +c pro rlzné hodnoty konstanty c.
Mandelbrotova množina vypočítaná v Matlabu
Černé oblasti představují body, které nedosáhly nekonečna ani po 500 iteracích (nekonečno pro Matlab je řádově 10 308 ). Barvy na HSV škále vpravo představují počet iterací potřebný pro dosažení nekonečna. Červené oblasti představují body dosáhly nekonečna během prvních 35 iterací. Každá další barva znamená o 30 iterací více, tzn. například žlutá barva znamená body, které dosáhly nekonečna mezi 95 a 125 iterací.
Některé zajímavé oblasti Mandelbrotovy množiny
Deterministický chaos dvojité kyvadlo