     Egwald Mathematics: Nonlinear Dynamics:

The Logistic Map and Chaos

by

Elmer G. Wiens

Egwald's popular web pages are provided without cost to users.
Please show your support by joining Egwald Web Services as a Facebook Fan: Follow Elmer Wiens on Twitter: The Logistic Map and Chaos: Introduction

Introduction

One can use the one-dimensional, quadratic, logistic map to demonstrate complex, dynamic phenomena that also occur in chaos theory and higher dimensional discrete time systems.

The Logistic Map

The logistic interative map with parameter r is:

xt+1 = f(xt, r) = r * xt * (1 + xt),   x0 = x0 >= 0.        (1)

For r values in excess of 3.57, the orbits x(t, x0) = {x0, x1, x2, ... } depend crucially on the initial condition x0. Slight variations in x0 result in dramatically different orbits, an important characteristic of chaos.

Fixed Points

Fixed points of f satisfy:

f(x, r) = r * x * (1 - x) = x.         (2)

Thus the fixed points of f are the roots of the quadratic equation:

r * x 2 - (r - 1) * x = x * (r * x - (r - 1)) = 0,         (3)

which are:

x1 = 0,

x2 = (r - 1) / r.         (4)

The fixed point x2 is non-negative if r >= 1.

Linearized Stability Analysis

One can analyze the local stability of the difference equation (1) by examining the partial derivative of f with respect to x evaluated at each fixed point x*:

λ = fx(x*, r) = r * (1 - 2 * x*).         (5)

where λ is called the multiplier or eigenvalue. Substituting x1 and x2 into (5) yields:

λ1 = r * (1 - 2 * x1) = r,

λ2 = r * (1 - 2 * x2) = r * (1 - 2 * (r - 1) / r)) = 2 - r.

If r > 1 → λ1 > 1 → x1 = 0 is unstable (repeller);   if 1 < r < 3 → 1 > λ2 > -1 → x2 = (r - 1) / r is stable (attractor).

Bifurcation Analysis

When a change in a parameter results in a qualitative change in the dynamics of a nonlinear process, the process is said to have gone through a bifurcation.

When r = 1 → λ1 = λ2 = 1 & x1 = x2 = 0 → (x*, rc) = (0 , 1) is a non-hyperbolic fixed point. In fact, it is a transcritical bifurcation point of the mapping f.

Check the transcritical bifurcation conditions at (x*, rc) = (0, 1)

 (TC1)   f(0, rc) = 0 for all r (TC2)   fx(0, rc) = λ = 1   →   (0, rc) is non-hyperbolic (TC3)   fx,r(x, r) = 1 - 2 * x → a = fx,r(0, rc) = 1 ≠ 0 (TC4)   fx,x(x, r) = -2 * r → b = (1/2) * fx,x(0, rc) = -2 ≠ 0 (6)

The transcritical bifurcation conditions are confirmed.

Transcritical Bifurcation: r = 1

The following diagrams display the phase diagrams and solution trajectories of x(t, x0) for the discrete time, nonlinear dynamic process. At r = 1, the process undergoes a transcritical bifurcation with x1 switching from attractor to repeller. Meanwhile, the fixed point x2 turns positive and becomes an attractor, as can be seen in the diagrams for r = 2.

 r = 1         x1 = 0   attractor;   transcritical bifurcation  r = 2         x1 = 0   repeller,     x2 = 1 /2 attractor  Period Doubling Bifurcation: r = 3

When r = 3 → λ2 = -1 & x2 = 2 / 3 → (x*, rc) = (2 / 3 , 3) is a non-hyperbolic fixed point. In fact, it is a period doubling (supercritical flip) bifurcation point of the mapping f.

Check the period doubling bifurcation conditions at (x*, rc) = (2 / 3, 3)

 f(x, r) = r * x * (1 - x) fx(x, r) = r * (1 - 2 * x) fx,x(x, r) = -2 * r fr(x, r) = x * (1 - x) fx,r(x,r) = (1 - 2 * x) fx,x,x(x,r) = 0
 (F1)  f(x2, rc) - x2 = 3 * 2 / 3 * (1 - (2 / 3)) - 2 / 3 = 0, (F2)  fx(x2, rc) = 3 * (1 - 2 * 2 / 3) = -1, (F3)  fr * fx,x + 2 * fx,r = (2 / 9) * (-6) + 2 * (-1 / 3) = -2 ≠ 0, (F4)  c =   -2 * fx,x,x - 3 * (fx,x)2 = -2 * 0 - 3 * (-6)2 = - 108 ≠ 0.

The period doubling bifurcation conditions are confirmed.

Since c < 0 in expression F4, the fixed point x2 flips from being an attractor to being a repeller. Meanwhile, two stable fixed points of the second-order map f2 emerge that bracket the unstable x2. The trajectory xt switches between the two attracting fixed points of f2.

The following diagrams display the phase diagrams and solution trajectories of x(t, x0) for the discrete time, nonlinear dynamic process. At r = 3, the f map undergoes a period doubling (flip) bifurcation with x2 switching from attractor to repeller. Meanwhile, two stable fixed points x3 and x4 of the second order map, f2 emerge.

 r = 2.8         x1 = 0   repeller,     x2 = 0.64   attractor;  r = 3         x1 = 0   repeller,     x2 = 2 / 3   attractor;     flip bifurcation  r = 3.3         x1 = 0   repeller,     x2 = 0.7   repeller  The Second Order Map of f (f2)

Associated with the logistic map:

xt+1 = f(xt, r) = r * xt * (1 + xt),   x0 = x0 >= 0.

is the second order map f2 given by:

xt+2  =  f(xt+1, r)  =  f (f(xt, r), r ) = r * (r * xt * (1 + xt)) * (1 + (r * xt (1 + xt))), or

xt+2  =  f2(xt, r) = -r3 * xt4 + 2 * r3 * xt3 - (r3 + r2) * xt2 + r2 * xt         (7)

The partial derivative of f2 with respect to x is:

fx2(x, r) = -4 * r3 * x3 + 6 * r3 * x2 - 2 * (r3 + r2) * x + r2.         (8)

Fixed points of (7) satisfy:

f2(x, r) = -r3 * x4 + 2 * r3 * x3 - (r3 + r2) * x2 + r2 * x = x.         (9)

The fixed points of f2 are:

 x1 = 0, x2 = (r - 1) / r, x3 = (1 + r + sqrt(r2 - 2 * r - 3)) / (2 * r), x4 = (1 + r - sqrt(r2 - 2 * r - 3)) / (2 * r),

whose multipliers are:

λi2 = fx2(xi, r).

The first two fixed points of f2are also fixed points of f.

The following graphs display the phase diagrams of f in blue and f2 in red. The stable fixed points x3 and x4 of f2 emerge as r increases past 3. At r = 3, f2 has a fixed point of multiplicity three (ie x2 = x3 = x4 = 2 / 3). For r > 3, x3 and x4 bracket x2, and establish the period-2 cycle seen in the above trajectory diagram for r = 3.3. Eventually, these period-2 fixed points become unstable, and undergo flip bifurcations with respect to f4, the period doubling map of f2.

 r = 2.8 r = 3     flip bifurcation r = 3.3   Second Order (f2) Flip Bifurcation : r = 1 + sqrt(6)

When rc = 1 + sqrt(6) → x3 = 0.85 & x4 = 0.44 and λ23 = -1 & λ24 = -1 → x3 & x4 non-hyperbolic fixed points of f2. In fact, they are period doubling (supercritical flip) bifurcation points of the mapping f2.

Check the period doubling bifurcation conditions at (x3,4, rc) for f2:

 f2(x, r) = -r3 * x4 + 2 * r3 * x3 + (-r3 - r2) * x2 + r2 * x f2x(x, r) =-4 * r3 * x3 + 6 * r3 * x2 + 2 * (-r3 - r2) * x + r2 f2x,x(x, r) = -12 * r3 * x2 + 12 * r3 * x - 2 * r3 - 2 * r2 f2r(x, r) = -3 * r2 * x4 + 6 * r2 * x3 + (-3 * r2 - 2 * r) * x2 + 2 * r * x f2x,r(x,r) = -12 * r2 * x3 + 18 * x2 * r2 + 2 * (-3 * r2 - 2 * r) * x + 2 *r f2x,x,x(x,r) = -24 * r3 * x + 12 * r3
 (F1)  f2(x3, rc) - x3 = 0.85 - 0.85 = 0, (F2)  f2x(x3, rc) = -1, (F3)  f2r * f2x,x + 2 * f2x,r         = (0.2992) * (-43.0679) + 2 * (1.5445) = -9.7980 ≠ 0, (F4)  c =   -2 * f2x,x,x - 3 * (f2x,x)2         = -2 * (-344.7201) - 3 * (-43.0679)2 = - 4875.1 ≠ 0. (F1)  f2(x4, rc) - x4 = 0.44 - 0.44 = 0, (F2)  f2x(x4, rc) = -1, (F3)  f2r * f2x,x + 2 * f2x,r         = ( -0.4673) * (15.4719) + 2 * ( -1.2839) = -9.7980 ≠ 0, (F4)  c =   -2 * f2x,x,x - 3 * (f2x,x)2        = -2 * (59.1446) - 3 * ( 15.4719)2 = -836.43 ≠ 0.

The period doubling bifurcation conditions are confirmed.

Since c < 0 in the F4 expressions, the fixed points x3 and x4 flip from attractors to repellers. Meanwhile, four stable fixed points of the fourth-order map f4 emerge bracketing the unstable x3 and x4.

The following diagrams display the phase diagrams and solution trajectories of x(t, x0) for the discrete time, nonlinear dynamic process. At r = 1 +sqrt(6) = 3.449489742, f2 undergoes a period doubling (flip) bifurcation with x3 and x4 switching from attractors to repellers. The trajectory xt switches between the four attracting fixed points of f4, creating a stable four-cycle.

 r = 3.4         x3 = 0.84   attractor,     x4 = 0.45   attractor;  r = 1 + sqrt(6)         x3 = 0.85   attractor,     x4 = 0.44   attractor;     flip bifurcation  r = 3.5         x3 = 0.86   repeller,     x4 = 0.43   repeller  The Fourth Order Map of f (f4)

Associated with the logistic map:

xt+1 = f(xt, r) = r * xt * (1 + xt),   x0 = x0 >= 0.

is the fourth order map f4 given by:

xt+4  =  f4(xt, r)  =  f ( f ( f ( f (xt, r), r ), r ), r )  =  f2 ( f2 (xt, r), r ) ),

a polynomial in x of degree 16. Consequently, the 4th order map f4 has 16 fixed points, most of which will be complex, except the four fixed points f4 shares with f2, and the 4 fixed points that emerge at r = 1 + sqrt(6), bracketing x3 and x4.

The following graphs display the phase diagrams of f in blue, f2 in red, and f4 in black. After the f2 period doubling bifurcation, four stable fixed points of the fourth order map, f4 emerge, x5 and x6 bracketing x3, and x7 and x8 bracketing x4.

 r = 3.4 r = 1 + sqrt(6)     f2 flip bifurcation  r = 3.5 r = 3.54409     f4 flip bifurcation  The bifurcation diagram below summarizes the fixed points and bifurcations of f, f2, and f4. The f map experiences a transcritical bifurcation at r = 1, and a period doubling bifurcation at r = 3. In turn, the f2 map undergoes a period doubling bifurcation at r = 1 + sqrt(6), while the f4 map undergoes a period doubling bifurcation a r = 3.54409. Stable fixed points of f, f2, and f4 are in blue, while unstable fixed points are in red. As r increases, period doublings occur as f, f2, f4, f8, . . . bifurcate at r1 = 3, r2 = 3.449, r3 = 3.54409, r4 = 3.5644, . . .. These {2n} cycles of {f2n} and {rn} sequences follow the Feigenbaum rule:

δ = (rn - rn-1) / (rn+1 - rn) → 4.6692 as n → ∞.

In the limit as n → ∞, rn → r* = 3.570.

Logistic Map Bifurcation Diagram

The bifurcation diagram shows the set of stable fixed points, {x*(r)}, as a function of the parameter r for the logistics map:

xt+1 = f(xt, r) = r * xt * (1 + xt),   x0 = x0 >= 0.        (10)

For 1 < r < r*, the period doubling cascade of the sequence of maps {f2n} determines the attracting fixed points. For r* < r <= 4, the band of stable fixed points expands to cover the entire vertical [0, 1] interval at r = 4. For many values of r in the horizontal [r*, 4] interval, the orbit:

{xt+1 = f(xt ,r), x0 = x0}

exhibits aperiodic — chaotic — behaviour . Also for r in this [r*, 4] interval, periodic windows appear. The widest window at r = p3 = 1 + sqrt(8) is the period 3 window. As r increases from r* to p3, period 6 and period 5 windows also appear.

Depending on the value of the parameter r, orbits of the logistic map appear orderly or chaotic.

The Third Order Map of f, f3

For r < p3, the f3 map has two unstable fixed points it shares with the f map. At r = p3 = 1 + sqrt(8), three fixed points emerge, where the graph of the f3 map has 3 points of tangency with the y = x line. Here, the f3 map undergoes a triple saddle-node bifurcation.

 r = 3.8         x1 = 0,   x2 = 0.7368   repellers  r = p3 = 1 + sqrt(8) = 3.8284     saddle-node bifurcation   x1 = 0,   x2 = 0.7388   repellers x3 = 0.15999288,   x4 = 0.51435528   x5 = 0.9563178   attractors  Saddle-Node Bifurcation of f3: r = 1 + sqrt(8) = 3.8284

The following table verifies the triple saddle-node bifurcation of the f3 map at the fixed points x3 = 0.15999288, x4 = 0.51435528, and x5 = 0.9563178.

 x3 x4 x5 (SN1)   f(x*, rc) - x*= 0   →   (x*, rc) is a fixed point 0 0 0 (SN2)   fx(x*, rc) = 1   →   (x*, rc) is non-hyperbolic 1 1 1 (SN3)   a = fr(x*, rc) ≠ 0 -0.78 -2.0 0.223 (SN4)   b = (1/2) * fx,x(x*, rc) ≠ 0 88.9 34 -310.6

The f3 map undergoes Type Three (a < 0, b > 0) saddle-node bifurcations at x3 and x4, and a Type Two (a > 0, b < 0) saddle-node bifurcation at x4.

One can see the effects of these bifurcations in the diagram below. At r = 3.839, x3, x4, and x5 have each split into a pair of fixed points, one stable and the other unstable.

 r = 3.839     x1 = 0,   x2 = 0.7395   repellers x3 = 0.1498883,   x4 = 0.48917231   x5 = 0.95929992   attractors x6 = 0.16904010,   x7 = 0.53924723,   x8 = 0.95383662   repellers  Third Order Flip Bifurcation : r = 3.8414991

At r = 3.8414991, x3, x4, and x5 flip from attractors to repellers. The f3 map undergoes a flip bifurcation. Pairs of stable fixed points of the f9 emerge bracketing x3, x4, and x5.

 r = 3.8414991     x1 = 0,   x2 = 0.7397   repellers x3 = 0.14872043,   x4 = 0.48634402   x5 = 0.953596008   attractors triple period doubling bifurcation x6 = 0.169988878,   x7 = 0.54200732,   x8 = 0.95965839   repellers  When rc = 3.8414991 → x3 = 0.14872043,   x4 = 0.48634402   x5 = 0.953596008 and λ33,4,5 = -1 → x3,4,5 are non-hyperbolic fixed points. In fact, they are period doubling (supercritical flip) bifurcation points of the mapping f3.

Check the period doubling bifurcation conditions at (x3,4,5, rc) for f3:

 (F1)  f3(x3, rc) - x3 = 0.1487 - 0.1487 = 0, (F2)  f3x(x3, rc) = -1, (F3)  f3r * f3x,x + 2 * f3x,r     = (-0.89) * (199.9) + 2 * ( 7.9) = -162.13 ≠ 0, (F4)  c =   -2 * f3x,x,x - 3 * (f3x,x)2     = -2 * (-.0013173) - 3 * (199.9)2 = -117200 ≠ 0. (F1)  f3(x4, rc) - x4 = 0.4863 - 0.4863 = 0, (F2)  f3x(x4, rc) = -1, (F3)  f3r * f3x,x + 2 * f3x,r     = ( -2.15) * (71.9) + 2 * (-3.73) = -162.13 ≠ 0, (F4)  c =   -2 * f3x,x,x - 3 * (f3x,x)2     = -2 * (281.1) - 3 * (71.9)2 = -16091 ≠ 0. (F1)  f3(x5, rc) - x5 = 0.9536 - 0.9536 = 0, (F2)  f3x(x5, rc) = -1, (F3)  f3r * f3x,x + 2 * f3x,r     = ( 0.27) * (-710.2) + 2 * ( 16.25) = -162.13 ≠ 0, (F4)  c =   -2 * f3x,x,x - 3 * (f3x,x)2     = -2 * (-25671) - 3 * (-710.2)2 = -1461800 ≠ 0.

The period doubling bifurcation conditions are confirmed.

The control of the pairs of stable fixed points of the f3 map that bracket the unstable x3, x4, and x5 fixed points of f3 of the orbits {xt} is evident in the next diagram.

 r = 3.845     x1 = 0,   x2 = 0.7399   repellers  As r increases, period doublings occur at r1 = p31, r2 = p32, r3 = p33, .... as f3, f9, f27, . . . flip bifurcate.

The orbit diagram around the fixed point x3 of f3 in the region 3.8414991 < r < 3.857 and 0.13 < x < 0.18 shows the period doubling cascade of the sequence of maps {f3n} determining the attracting fixed points of the specific f3n map for p3n <= r < p3n+1.

In the limit as n → ∞, p3n → p3*. The intermittent emergence of order and chaos revealed in the above miniature orbit diagram for r in the interval [3.8414991, 3.857] mirrors the pattern of the complete orbit diagram for r in the interval [3, 4] available below. As r converges to 4, the {xt} orbits become increasingly chaotic, evident in the diagrams for f and f3, and the solution trajectory.

 r = 3.9     x1 = 0,   x2 = 0.7436   repellers x3 = 0.132652527,   x4 = 0.448717753   x5 = 0.964743512   repellers x6 = 0.180986006,   x7 = 0.578097280,   x8 = 0.951213178   repellers  For r > 4, most trajectories leave the [0, 1] vertical interval.

Interactive Logistic Map Diagrams

Click to pop a new window with some interactive logistic map diagrams.

Definitions of Chaos

"Stochastic behavour in a deterministic system."

"Chaos is aperiodic long-term behavour in a deterministic system that exhibits sensitive dependence on initial conditions" (Strogatz 323).

Let V be a set. The mapping f: V → V is said to be chaotic on V if:
1. f has sensitive dependence on initial conditions,
2. f is topologically transitive (all open sets in V within the range of f interact under f),
3. periodic points are dense in V. (Devaney 50)

"A chaotic map possesses three ingredients: unpredictability, indecomposability, and an element of regularity "(Devaney 50).

References.

• Burden, Richard L. and J. Douglas Faires. Numerical Analysis. 6th ed. Pacific Grove: Brooks/Cole, 1997.
• Demmel, James W. Applied Numerical Linear Algebra. Philadelphia: Siam, 1997.
• Devaney, Robert L. An Introduction to Chaotic Dynamical Systems. Menlo Park, CA: Benjamin/Cummings, 1986.
• Elaydi, Saber N. Discrete Chaos. Boca Raton: Chapman & Hall, 2000.
• Intriligator, M. D. Mathematical Optimization and Economic Theory. Englewood Cliffs: Prentice-Hall, 1971. Copyright © Elmer G. Wiens:   Egwald Web Services All Rights Reserved.    Inquiries 