Lecture 8: Chaos - GitHub Pages · Dynamical Systems: Lecture 8 9. Orbit diagrams These are a way...

24
Lecture 8: Chaos 1-Dimensional discrete systems can be chaotic but continuous 1-D systems cannot. So we start with discrete maps: ! "#$ =& ! " A fixed point ! satisfies ! =& ! Linearise the Map around ! : ! +) "#$ =& ! + *&(! )) " +⋯ Analyse the Jacobian ) "#$ = *& ! ) " 1 Dynamical Systems: Lecture 8

Transcript of Lecture 8: Chaos - GitHub Pages · Dynamical Systems: Lecture 8 9. Orbit diagrams These are a way...

Page 1: Lecture 8: Chaos - GitHub Pages · Dynamical Systems: Lecture 8 9. Orbit diagrams These are a way of displaying how a map changes with a parameter. •Choose a value of the parameter

Lecture 8: Chaos1-Dimensional discrete systems can be chaotic but continuous 1-D systems cannot. So we start with discrete maps:

!"#$ = & !"• A fixed point !∗ satisfies

!∗ = & !∗

• Linearise the Map around !∗:!∗ + )"#$ = & !∗ + *&(!∗))" +⋯

Analyse the Jacobian)"#$ = *& !∗ )"

1Dynamical Systems: Lecture 8

Page 2: Lecture 8: Chaos - GitHub Pages · Dynamical Systems: Lecture 8 9. Orbit diagrams These are a way of displaying how a map changes with a parameter. •Choose a value of the parameter

The unit circle

• The stability of !∗ depends on whether the eigenvalues of the Jacobian #$ !∗ lie inside the unit circle (see e.g. Examples Sheet 1, q2)

• For the 1-D case this constraint reduces to#$ !∗ < 1

• The same reasoning about stable, unstable and centre manifolds as in the case of continuous systems applies here.

Dynamical Systems: Lecture 8 2

Page 3: Lecture 8: Chaos - GitHub Pages · Dynamical Systems: Lecture 8 9. Orbit diagrams These are a way of displaying how a map changes with a parameter. •Choose a value of the parameter

Cobweb diagrams

Consider the 1-D map!"#$ = & !"

To find !$ given !':- plot !' on the !-axis - draw a vertical line to ( = &(!')- draw a horizontal line to !$ = ( to

set !$ = &(!')Repeat to find !+, !- ...

Dynamical Systems: Lecture 8 3

!

(

( = !

( = &(!)

!'

Page 4: Lecture 8: Chaos - GitHub Pages · Dynamical Systems: Lecture 8 9. Orbit diagrams These are a way of displaying how a map changes with a parameter. •Choose a value of the parameter

Cosine map

Cosine map:!"#$ ⟼ cos !"

has fixed point!∗ = 0.739

Dynamical Systems: Lecture 8 4

-3 -2 -1 0 1 2 3-2

-1.5

-1

-0.5

0

0.5

1

1.5

2

!"

!"#$

!"#$ = !"

!"#$ = cos !"

Page 5: Lecture 8: Chaos - GitHub Pages · Dynamical Systems: Lecture 8 9. Orbit diagrams These are a way of displaying how a map changes with a parameter. •Choose a value of the parameter

Logistic map• Model of e.g. population dynamics:

!"#$ = &!" 1 − !"Equilibria !∗ = 0 and !∗ = (1 – 1/&)

• Linearise:/"#$ = & 1 − 2!∗ /"

- If & < 1, then !∗ = 0 is stable and populations go extinct.

- If & > 1, then !∗ = 0 is unstable and populations grow – but what happens to the other equilibrium?

Dynamical Systems: Lecture 8 5

Page 6: Lecture 8: Chaos - GitHub Pages · Dynamical Systems: Lecture 8 9. Orbit diagrams These are a way of displaying how a map changes with a parameter. •Choose a value of the parameter

Cobwebs for the logistic map

Dynamical Systems: Lecture 8 6

0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 10

0.1

0.2

0.3

0.4

0.5

0.6

0.7

0.8

0.9

1

! = 0.90 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 10

0.1

0.2

0.3

0.4

0.5

0.6

0.7

0.8

0.9

1

! = 2.50 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 10

0.1

0.2

0.3

0.4

0.5

0.6

0.7

0.8

0.9

1

! = 4.0

Solution becomes non-periodic for ! = 3.59

!*+ 1 − *+

Page 7: Lecture 8: Chaos - GitHub Pages · Dynamical Systems: Lecture 8 9. Orbit diagrams These are a way of displaying how a map changes with a parameter. •Choose a value of the parameter

Logistic map simulations

0 5 10 15 20 25 30 35 400.1

0.2

0.3

0.4

0.5

0.6

0.7

0.8

0.9

k

x k

Logistic Equation with r = 3.3

0 5 10 15 20 25 30 35 400

0.1

0.2

0.3

0.4

0.5

0.6

0.7

0.8

0.9

1

k

x k

Logistic Equation with r = 3.9

Dynamical Systems: Lecture 8 7

periodic double-periodic non-periodic

! = 3.3 ! = 3.5 ! = 3.9

Page 8: Lecture 8: Chaos - GitHub Pages · Dynamical Systems: Lecture 8 9. Orbit diagrams These are a way of displaying how a map changes with a parameter. •Choose a value of the parameter

Behaviour of the logistic map• For 1 < # < 3 the system is stable around (1 − 1/#)

• For # > 3 oscillations appear, with period doubling as # increases at well-defined values of #.

• The rate of doubling increases as # approaches 3.5699… and . is then no longer periodic.

• As # increases, chaotic behaviour ensues with brief windows of periodic behaviour for certain ranges of #.

Dynamical Systems: Lecture 8 8

Page 9: Lecture 8: Chaos - GitHub Pages · Dynamical Systems: Lecture 8 9. Orbit diagrams These are a way of displaying how a map changes with a parameter. •Choose a value of the parameter

Analysing periodicityConsider

!"#$ ⟼ & & !"• The fixed points of this map are called 2-cycles (they have period 2)

and are solutions of($!∗ 1 − !∗ 1 − (!∗ 1 − !∗ = !∗.

The roots (see lecture notes) are stable for 3 < ( < 1 + 6 = 3.4495.

• The next bifurcation is to a 4-cycle, then 8, etc. The changes in period occur as doublings with increasingly complex expressions for ( and narrower stability ranges.

Dynamical Systems: Lecture 8 9

Page 10: Lecture 8: Chaos - GitHub Pages · Dynamical Systems: Lecture 8 9. Orbit diagrams These are a way of displaying how a map changes with a parameter. •Choose a value of the parameter

Orbit diagramsThese are a way of displaying how a map changes with a parameter.

• Choose a value of the parameter ! and a starting value for ".

• Run the iteration for, say, 300 iterations.

• Record the values of " for a further 300 or so iterations and plot them on the map.

• Change ! and repeat.

Various plots are given in the lecture notes.

Dynamical Systems: Lecture 8 10

Page 11: Lecture 8: Chaos - GitHub Pages · Dynamical Systems: Lecture 8 9. Orbit diagrams These are a way of displaying how a map changes with a parameter. •Choose a value of the parameter

The logistic map orbit

0 0.5 1 1.5 2 2.5 3 3.5 40

0.1

0.2

0.3

0.4

0.5

0.6

0.7

0.8

0.9

1

Dynamical Systems: Lecture 8 11!

"#

Page 12: Lecture 8: Chaos - GitHub Pages · Dynamical Systems: Lecture 8 9. Orbit diagrams These are a way of displaying how a map changes with a parameter. •Choose a value of the parameter

Chaos• The map illustrates dynamical chaos.

• Chaos is aperiodic long-term behaviour in a deterministic system that exhibits sensitive dependence on initial conditions.

– Aperiodic long-term: These are trajectories that never settle down to fixed points or periodic orbits.

– Deterministic: The trajectory is the solution of an equation with no noise – everything is certain and precise.

– Sensitive to initial conditions: Points on trajectories that are near to each other diverge with time.

Dynamical Systems: Lecture 8 12

Page 13: Lecture 8: Chaos - GitHub Pages · Dynamical Systems: Lecture 8 9. Orbit diagrams These are a way of displaying how a map changes with a parameter. •Choose a value of the parameter

Lyapunov exponent for maps• Measures how fast solutions that are initially close diverge (sensitivity of

initial conditions).

• Consider the effect on long-term behaviour of changing initial condition from !" to !" + $":

!% + $% = '(!" + $") ⟹ $% = ' !" + $" − !%!, + $, = '(' !" + $" )

⋮⟹⋮

$, = '(' !" + $" ) − !,⋮

!. + $. = '(⋯' !" + $" ) ⟹ $. = '(⋯' !" + $" ) − !.The Lyapunov exponent, 0, measures the rate of growth of $.:

$. ≈ $" 23.Dynamical Systems: Lecture 8 15

Page 14: Lecture 8: Chaos - GitHub Pages · Dynamical Systems: Lecture 8 9. Orbit diagrams These are a way of displaying how a map changes with a parameter. •Choose a value of the parameter

Dynamical Systems: Lecture 8 16

Therefore !" = $ %& + !& − %"≈ $ %& − %" + *$ %& !& = *$ %& !&

!+ ≈ *$ %" !"= *$ %" *$ %& !&⋮

!- =./0"

-1"*$ %/ !&

2 = lim-→7

lim89 →&

1; ln

!-!&

≈ 1;=/0&

-1"|*$ %/ |⇒ (accurate for large ;)

Lyapunov exponent for maps

Page 15: Lecture 8: Chaos - GitHub Pages · Dynamical Systems: Lecture 8 9. Orbit diagrams These are a way of displaying how a map changes with a parameter. •Choose a value of the parameter

Lyapunov exponents of the logistic map

Dynamical Systems: Lecture 8 17

3 3.1 3.2 3.3 3.4 3.5 3.6 3.7 3.8 3.9 4

-1

-0.8

-0.6

-0.4

-0.2

0

0.2

0.4

0.6

0.8

1

r

l

Lyapunov exponent

Periodic solutions – dips in the exponent

!

"

Page 16: Lecture 8: Chaos - GitHub Pages · Dynamical Systems: Lecture 8 9. Orbit diagrams These are a way of displaying how a map changes with a parameter. •Choose a value of the parameter

Chaos in Flows• The Lorenz Equations: model of convection in the atmosphere

"̇ = $ % − "%̇ = '" − % − "((̇ = "% − )(

' = Rayleigh number, $ = Prandtl number, ) is a positive constant.

• If ' < 1 the only equilibrium is the origin (0,0,0)• For ' > 1 two more equilibria appear via a pitchfork bifurcation:

"∗, %∗, (∗ = ) ' − 1 , ) ' − 1 , ' − 1"∗, %∗, (∗ = − ) ' − 1 ,− ) ' − 1 , ' − 1

• The equations are symmetric in " and %.Dynamical Systems: Lecture 8 18

Page 17: Lecture 8: Chaos - GitHub Pages · Dynamical Systems: Lecture 8 9. Orbit diagrams These are a way of displaying how a map changes with a parameter. •Choose a value of the parameter

Lorenz equations: volume contraction

• Compute div ! :

∇. ! = %& ' − )%) + % +) − ' − ),

%' + % )' − -,%,

= − 1 + & + - < 0

Hence the integral of ∇. ! over any control volume is negative. So trajectories converge to a zero volume region of phase space.

• Is this zero volume solution a point or limit cycle? Neither!

Dynamical Systems: Lecture 8 19

Page 18: Lecture 8: Chaos - GitHub Pages · Dynamical Systems: Lecture 8 9. Orbit diagrams These are a way of displaying how a map changes with a parameter. •Choose a value of the parameter

• The solution cannot have unstable equilibrium points or unstable periodic orbits – such solutions imply expansion of the state space, not contraction.

Thus any fixed points must be stable or saddles, or if there are limit cycles they must be stable.

• Linearisation about the origin reveals a stable node for ! < 1 and a saddle ! > 1.

• For ! < 1 the system is globally asymptotically stable (via Lyapunov) –there are no limit cycles and all trajectories fall into the origin.

Dynamical Systems: Lecture 8 20

Lorenz equations: stability

Page 19: Lecture 8: Chaos - GitHub Pages · Dynamical Systems: Lecture 8 9. Orbit diagrams These are a way of displaying how a map changes with a parameter. •Choose a value of the parameter

1 < # < $ $ + & + 3$ − & − 1 = #*

the other two equilibrium points are stable and are surrounded by a saddle cycle (a type of unstable limit cycle). At # = #+ they undergo a Hopf bifurcation (the critical linearised eigenvalues are complex).

Dynamical Systems: Lecture 8 22

,

# = 1 # = #+

What happens here?

#

• For # > #+ we have a saddle point, and there are no other attractors nearby

Lorenz equations: stability

• For

Page 20: Lecture 8: Chaos - GitHub Pages · Dynamical Systems: Lecture 8 9. Orbit diagrams These are a way of displaying how a map changes with a parameter. •Choose a value of the parameter

Clues to a Strange Attractor

• The volume is contracting.• There are no stable classical attractors.• There are no stable limit cycles for ! > !# (proved by Lorenz).• Trajectories cannot go to infinity.

• There must be a zero volume object that attracts the trajectories – aStrange Attractor

Dynamical Systems: Lecture 8 23

Page 21: Lecture 8: Chaos - GitHub Pages · Dynamical Systems: Lecture 8 9. Orbit diagrams These are a way of displaying how a map changes with a parameter. •Choose a value of the parameter

The Lorenz Butterfly

-20-1001020 -20-100102030

0

10

20

30

40

50

60

y

The Lorenz ODE with s = 3,b = 1,r = 29.4

x

z

Dynamical Systems: Lecture 8 24

Page 22: Lecture 8: Chaos - GitHub Pages · Dynamical Systems: Lecture 8 9. Orbit diagrams These are a way of displaying how a map changes with a parameter. •Choose a value of the parameter

Properties

• There is sensitivity to initial conditions.

• We can compute the rates of contraction along the principal axes of the Jacobian – these numbers are called the Lyapunov exponents (remember the Lyapunov exponent for maps). If the largest exponent is positive, phase space is stretching in that direction.

• The volume is contracting because the sum of the exponents is negative – but one or two may be positive and so the volume is growing in some direction(s) and shrinking in others.

Dynamical Systems: Lecture 8 25

Page 23: Lecture 8: Chaos - GitHub Pages · Dynamical Systems: Lecture 8 9. Orbit diagrams These are a way of displaying how a map changes with a parameter. •Choose a value of the parameter

The Mandelbrot Set

• The map!"#$ ⟼ !"& + (

! and ( are complex. The point ( is in the Mandelbrot set if this iteration remains bounded for all ). We can use colours to indicate the rate of divergence at (

• The graph is a strange attractor for the map. The colours indicate how close the points shown are to the attractor.

• The set is a very complex object.

Dynamical Systems: Lecture 8 26

Page 24: Lecture 8: Chaos - GitHub Pages · Dynamical Systems: Lecture 8 9. Orbit diagrams These are a way of displaying how a map changes with a parameter. •Choose a value of the parameter

The Mandelbrot Set

Dynamical Systems: Lecture 8 27