Dimensie en Dispersie het meten van chaos

Maat: px

Weergave met pagina beginnen:

Download "Dimensie en Dispersie het meten van chaos"

Roeland Jonker
7 jaren geleden
Aantal bezoeken:

1 Chaos p.1 Dimensie en Dispersie het meten van chaos Henk Broer Instituut voor Wiskunde en Informatica Rijksuniversiteit Groningen

2 Chaos p.2 Dynamische fractals Mandelbrot-verzameling Hénon-achtige attractor URL: broer

3 Chaos p.3 Cantor en Hausdorff Georg F.L.P. Cantor Felix Hausdorf ( ) ( )

4 Chaos p.4 Lebesgue en Brouwer Henri Lebesgue L.E.J. Brouwer ( ) ( )

5 Chaos p.5 De Sierpinski driehoek De Sierpinski driehoek een klassieke fractal

6 Chaos p.6 Dimensie I Wat is de dimensie van een kromme? Zal wel 1 moeten zijn... Een manier om dit te begrijpen gaat als volgt. Neem eenheidsinterval [0, 1] Hoeveel intervalletjes ter lengte 1/10 minimaal nodig om [0, 1] te overdekken? Antwoord: D 1 ([0, 1]) = En voor lengte ε? Antwoord: D ε ([0, 1]) = 1 ε = ε 1 als ε 0 Groeigedrag? Dit wordt uitgedrukt door de exponent 1 = dim[0, 1]

Neem eenheidsinterval [0, 1] Hoeveel intervalletjes ter lengte 1/10 minimaal nodig om [0, 1] te

7 Chaos p.7 Dimensie II Enig gegoochel met e-machten Schrijf D ε ([0, 1]) = ε 1 = e 1 ln(ε), dan blijkt dim[0, 1] = ln(d ε([0, 1])) ln(ε) Voor een vierkant [0, 1] 2 : Overdekking met kleine vierkantjes met zijden ε geeft analoog ( D ε ([0, 1] 2 ) = ε 2 dim[0, 1] 2 = 2 = ln(d ) ε([0, 1])) ln(ε)

8 Chaos p.8 Dimensie III De Sierpinski driehoek Sp. Neem zijde van lengte 1. Overdekking met driehoekjes met zijde ε Direct: D 1/2 (Sp) = 3, D 1/4 (Sp) = 9, In het algemeen: D 2 n(sp) = 3 n, wat is GROEIGEDRAG?

9 Chaos p.9 Dimensie IV Schrijf: ε = 2 n = e nln(2) dus n = ln(ε) ln(2), dan geldt Groeigedrag: dim(sp) = ln(3) ln(2) D ε (Sp) = e nln(3) = e ln(3) ln(2) ln(ε) gebroken (fractale) dimensie! Ook hier: dim(sp) = ln(d ε(sp)) ln(ε) I.h.a. moet de limiet voor ε 0 genomen worden Oefeningen: Toon zelf de fractale dat dimensie van de middelste derden Cantor verzameling ln(2) ln(3) bedraagt. En, hoe zit het met de kustlijn van het Koch eiland?

$D ε (Sp) = e nln(3) = e ln(3) ln(2) ln(ε) gebroken (fractale) dimensie!$

10 Chaos p.10 Discussie De naam van de definitie dim(a) = lim ε 0 ln(d ε (A)) ln(ε) (1) is box counting dimensie of limiet capaciteit. De algorithmische aard maakt het mogelijk via de dimensie van attractoren numeriek te benaderen. Als A R 2 de Hénon-attractor is, dan blijkt zo dim(a) 1.2 Andere definities van (fractale) dimensie: Hausdorff dimensie, Lyapunov dimensie, topologische dimensie De Cantor verzameling heeft topologische dimensie 0

11 Chaos p.11 Lyapunov en Yorke Aleksandr M. Lyapunov James A Yorke ( ) (1941-)

12 Chaos p.12 Dispersie exponent I Neem de Bakkers transformatie B : x [0, 1] 2x modulo 1 en beschouw een evolutie x 0,x 1,x 2,..., steeds x n+1 = B(x n ) Definieer E(s,ε) = max 0< x n x m <ε x n+s x m+s, x n x m de maximale factor waarmee de afstand tussen twee punten x n en x m op de evolutie toeneemt over tijd s, als x n x m < ε

13 Chaos p.13 Dispersie exponent II De uitdrukking voor E(s, ε) verliest betekenis als x n+s x m+s 1 Definieer daarom E(s) = lim ε 0 E(s,ε) In ons voorbeeld geldt E(s) = 2 s = e s ln(2), exponentiële groei als s Groeigedrag? Nu wordt dit uitgedrukt in E = ln(2), de dispersie exponent Chaos wordt gekarakteriseerd door positieve E

x m+s 1 Definieer daarom E(s) = lim ε 0 E(s,ε) In ons voorbeeld geldt E(s) = 2 s

14 Chaos p.14 Dispersie exponent III Algemene definitie van E(s, ε), E(s) en E mogelijk, bijvoorbeeld als x n+1 = µx n (1 x n ) (de Logist) Bij periodieke dynamica, dus als steeds x n+p x n geldt dat E(s,ε) en E(s) niet echt groeien, dus E = 0 Bij starre rotaties op de cirkel R α : S 1 S 1,x x + 2πα geldt steeds x n+s x m+s = x n x m, leidt ook tot E = 0 Van belang voor mogelijke stabiliteit Zonnestelsel

= µx n (1 x n ) (de Logist) Bij periodieke dynamica, dus als steeds x n+p x n geldt dat E(s,ε) en

15 Chaos p.15 Dispersie exponent IV De algorithmische aard maakt opnieuw numerieke benaderingen mogelijk Een verwant begrip betreft Lyapunov exponenten betreft ook aangrenzende evoluties Chaos is dan gedefinieerd door te eisen dat minstens één Lyapunov exponent positief is Deze definitie is meestal equivalent met de eerdere Oefeningen: ( ) Probeer via numerieke methoden de dispersie exponent van de Logist te bepalen, als functie van de parameter µ

begrip betreft Lyapunov exponenten betreft ook aangrenzende evoluties Chaos is dan gedefinieerd door te eisen

16 Verder... Henri Poincaré Jacques Laskar Dispersie exponent van evolutie Zonnestelsel? Onvoldoende gegevens uit waarnemingen Zie de werken van Jacques Laskar, Observatoire de Paris, voor berekeningen aan Newtoniaanse vergelijkingen Problemen te verwachten over jaar Er is meer... Chaos p.16

Onvoldoende gegevens uit waarnemingen Zie de werken van Jacques Laskar,

17 Chaos p.17 Literatuur - H.W. Broer en F. Takens, Dynamical Systems and Chaos, Epsilon-Uitgaven 2008 (to appear). - H.-O. Peitgen, H. Juergens en D. Saupe, Chaos and Fractals, New Frontiers of Science, Springer-Verlag 1992.

Vergelijkbare documenten

Meetkundige revolutie(s)

Mbrot p.1 Meetkundige revolutie(s) Henk Broer Johann Bernoulli Instituut voor Wiskunde en Informatica Rijksuniversiteit Groningen Mbrot p.2 Benoît B. Mandelbrot Benoît B. Mandelbrot (1924-2010) The Fractal