Sällsamma attraktorer - Strange Attrators

En presentation över ämnet: "Sällsamma attraktorer - Strange Attrators"— Presentationens avskrift:

1 Sällsamma attraktorer - Strange Attrators
Hans Thunberg, KTH Matematik Matematiskt Forum 4 feb 2010

2 Lorenz-attraktorn Hénon-attraktorn Kvadratiska familjen 1
Eng Wikipedia Kvadratiska familjen 1 ρ=28, σ = 10, β = 8/3 Xn+1 = k xn (1-xn) Eng Wikipedia

3 Iterationer – Diskreta dynamiska system
x0 x1= f (x0) f x2= f (x1) x1 x3 x0 x2= f (x1)=f(f(x0)) …… x1= f (x0) Vi skriver också f 2(x) = f(f(x)) och f n(x) = f(f n-1(x))

4 Attraktorer A  X, A kompakt, är en attraktor till f : X  X om
f (A) = A  omgivning B till A sådan att f n(x)  A , n  ∞, för alla x i B Ingen äkta delmängd till A har dessa egenskaper. A är en sällsam attraktor om A dessutom är ”topologiskt/geometriskt komplicerad” stöder kaotisk dynamik, t ex |xn- yn| ~ en |x0 – y0| eller   >0 s a  x0 , y0  N s a |xN - yN| > 

5 Kvadratiska familjen f (x) = k x (1-x)
f (x) = 1.5 x (1-x) x = 1/3 är en fixpunkt , f(1/3) = 1/3 och den är attraherande (stabil) xn → 1/3 när n → ∞ , för nästan alla startvärden x0

6 f (x) = 3.4 x (1-x) har en periodisk bana av längd 2 (2-cykel) p ≈ 0.45 och q ≈ 0.84 f(p) = q och f(q) = p dvs f(f(p))=p och f(f(q))=q som är attraktiv (stabil): Nästan alla startvärden x0 närmar sig detta periodiskt förlopp x0 → x1 → ……… → ≈ 0.45 → ≈ 0.84 → ≈ 0.45 → …

7 f (x) = k x (1-x) Periodfördubblingar till en Cantor-attraktor
k = , attraktiv 4 -cykel k = 3.55 , attraktiv 8 -cykel växand följd { ki }∞ i=0 ki < 3.6 s a f (x) = ki x (1-x) har attraktiv 2i -cykel ki → k∞ där f (x) = k∞ x (1-x) har en attraktor som är en Cantormängd Dynamiken ej kaotisk

8 f (x) = k x (1-x) har kaotiska intervallattraktorer
Inga attraherande periodiska banor Typiska banor fyller ut hela intervallet (0,1) Små skillnader i startvärden växer exponentiellt med antal iterationer k = 4 För k = 4 kan detta visas med ett koordinatbyte som ger styckvis linjära funktion med lutning ± 2 Sats: (Benedicks, Carleson ) För ett positivt mått av parametervärden k har f (x) = k x (1-x) en kaotisk intervallattraktor.

9 Bifurkationsdiagram för f (x) = k x (1-x)
Eng Wikipedia

10 Hénonavbildningen Ha,b : a = 1.4 , b = 0.3 Eng Wikipedia

11 b = 0.3 Eng Wikipedia

12 Exempel på Hénondynamik
a = 1.25, 1.26, 1.27 … 1.3, 1.307, 1.4 b = 0.3

13 Hénonavbildningen Ha,b : SATS: (Benedicks, Carleson) För alla tilltäckligt små värden på b > 0 finns det en mängd E = E(b) av positivt Lebesgue-mått sådan att för alla a i E gäller att Ha,b har en sällsam attraktor A.

14 Autonoma system av 1:a ordningens ODE (flöden) – Dynamiska system i kontinuerlig tid
Lösningskurvor : genom initialvärde

15 Attraktorer En kompakt A delmängd är en attraktor till (t,w)
 (t, A) = A för alla t >0 .  omgivning B till A sådan att (t,w)  A , t  ∞, för alla w i B Ingen äkta delmängd till A har dessa egenskaper. A är en sällsam attraktor om A dessutom är ”topologiskt/geometriskt komplicerad” stöder kaotisk dynamik,

16 Attraktorer till flöden
Stationära punkter Gränscykler

17 Lorenz-systemet Edward Lorenz (1963):
Förenklad modell för atmosfärsdynamik Numeriska studier pekar på ickeperidoiska attraktor. Lösningar tycks ha känsligt bereonde på intialvärde. ρ=28, σ = 10, β = 8/3

18 Lorenzattraktorn

19 Animering av Lorenzattraktorn

20 Lorenzattraktorn är sällsam
SATS: (Tucker 1998) För en öppen mängd av parametervärden, innehållande de klassiska värdena ρ=28, σ = 10, β = 8/3, har Lorenz systemet en sällsam attraktor A, dvs (i) A är invariant (ii) A attraherar alla lösningar med intialvärden i en öppen omgivning till A (iii) A har fraktal struktur (iv) Dynamiken är kaotisk (v) Lösningskurvors långtidsfördelning beskrivs av ett gemensamt sannolikhetesmått