Logistic map

From Wikipedia, the free encyclopedia

The logistic map is a polynomial mapping (equivalently, recurrence relation) of degree 2, often referred to as an archetypal example of how complex, chaotic behaviour can arise from very simple nonlinear dynamical equations. The map, initially utilized by Edwards Lorenz in the 1960s to showcase irregular solutions (e.g., Eq. 3 of [1]), was popularized in a 1976 paper by the biologist Robert May,[2] in part as a discrete-time demographic model analogous to the logistic equation written down by Pierre François Verhulst.[3] Mathematically, the logistic map is written

 

 

 

 

(1)

where xn is a number between zero and one, which represents the ratio of existing population to the maximum possible population. This nonlinear difference equation is intended to capture two effects:

  • reproduction, where the population will increase at a rate proportional to the current population when the population size is small,
  • starvation (density-dependent mortality), where the growth rate will decrease at a rate proportional to the value obtained by taking the theoretical "carrying capacity" of the environment less the current population.

The usual values of interest for the parameter r are those in the interval [0, 4], so that xn remains bounded on [0, 1]. The r = 4 case of the logistic map is a nonlinear transformation of both the bit-shift map and the μ = 2 case of the tent map. If r > 4, this leads to negative population sizes. (This problem does not appear in the older Ricker model, which also exhibits chaotic dynamics.) One can also consider values of r in the interval [−2, 0], so that xn remains bounded on [−0.5, 1.5].[4]

Characteristics of the map[edit]

Behavior dependent on r[edit]

The image below shows the amplitude and frequency content of some logistic map iterates for parameter values ranging from 2 to 4.

By varying the parameter r, the following behavior is observed:

Evolution of different initial conditions as a function of r
  • With r between 0 and 1, the population will eventually die, independent of the initial population.
  • With r between 1 and 2, the population will quickly approach the value r − 1/r, independent of the initial population.
  • Evolution of different initial conditions as a function of r with bias
    With r between 2 and 3, the population will also eventually approach the same value r − 1/r, but first will fluctuate around that value for some time. The rate of convergence is linear, except for r = 3, when it is dramatically slow, less than linear (see Bifurcation memory).
  • With r between 3 and 1 + 6 ≈ 3.44949 the population will approach permanent oscillations between two values. These two values are dependent on r and given by[4] .
  • With r between 3.44949 and 3.54409 (approximately), from almost all initial conditions the population will approach permanent oscillations among four values. The latter number is a root of a 12th degree polynomial (sequence A086181 in the OEIS).
  • With r increasing beyond 3.54409, from almost all initial conditions the population will approach oscillations among 8 values, then 16, 32, etc. The lengths of the parameter intervals that yield oscillations of a given length decrease rapidly; the ratio between the lengths of two successive bifurcation intervals approaches the Feigenbaum constant δ ≈ 4.66920. This behavior is an example of a period-doubling cascade.
  • At r ≈ 3.56995 (sequence A098587 in the OEIS) is the onset of chaos, at the end of the period-doubling cascade. From almost all initial conditions, we no longer see oscillations of finite period. Slight variations in the initial population yield dramatically different results over time, a prime characteristic of chaos.
  • Most values of r beyond 3.56995 exhibit chaotic behaviour, but there are still certain isolated ranges of r that show non-chaotic behavior; these are sometimes called islands of stability. For instance, beginning at 1 + 8[5] (approximately 3.82843) there is a range of parameters r that show oscillation among three values, and for slightly higher values of r oscillation among 6 values, then 12 etc.
  • At , the stable period-3 cycle emerges.[6]
  • The development of the chaotic behavior of the logistic sequence as the parameter r varies from approximately 3.56995 to approximately 3.82843 is sometimes called the Pomeau–Manneville scenario, characterized by a periodic (laminar) phase interrupted by bursts of aperiodic behavior. Such a scenario has an application in semiconductor devices.[7] There are other ranges that yield oscillation among 5 values etc.; all oscillation periods occur for some values of r. A period-doubling window with parameter c is a range of r-values consisting of a succession of subranges. The kth subrange contains the values of r for which there is a stable cycle (a cycle that attracts a set of initial points of unit measure) of period 2kc. This sequence of sub-ranges is called a cascade of harmonics.[8] In a sub-range with a stable cycle of period 2k*c, there are unstable cycles of period 2kc for all k < k*. The r value at the end of the infinite sequence of sub-ranges is called the point of accumulation of the cascade of harmonics. As r rises there is a succession of new windows with different c values. The first one is for c = 1; all subsequent windows involving odd c occur in decreasing order of c starting with arbitrarily large c.[8][9]
  • At , two chaotic bands of the bifurcation diagram intersect in the first Misiurewicz point for the logistic map. It satisfies the equations .[10]
  • Beyond r = 4, almost all initial values eventually leave the interval [0,1] and diverge. The set of initial conditions which remain within [0,1] form a Cantor set and the dynamics restricted to this Cantor set is chaotic.[11]

For any value of r there is at most one stable cycle. If a stable cycle exists, it is globally stable, attracting almost all points.[12]: 13  Some values of r with a stable cycle of some period have infinitely many unstable cycles of various periods.

The bifurcation diagram at right summarizes this. The horizontal axis shows the possible values of the parameter r while the vertical axis shows the set of values of x visited asymptotically from almost all initial conditions by the iterates of the logistic equation with that r value.

Bifurcation diagram for the logistic map. The attractor for any value of the parameter r is shown on the vertical line at that r.

The bifurcation diagram is a self-similar: if we zoom in on the above-mentioned value r ≈ 3.82843 and focus on one arm of the three, the situation nearby looks like a shrunk and slightly distorted version of the whole diagram. The same is true for all other non-chaotic points. This is an example of the deep and ubiquitous connection between chaos and fractals.

Magnification of the chaotic region of the map.
Stable regions within the chaotic region, where a tangent bifurcation occurs at the boundary between the chaotic and periodic attractor, giving intermittent trajectories as described in the Pomeau–Manneville scenario.

We can also consider negative values of r:

  • For r between -2 and -1 the logistic sequence also features chaotic behavior.[4]
  • With r between -1 and 1 - 6 and for x0 between 1/r and 1-1/r, the population will approach permanent oscillations between two values, as with the case of r between 3 and 1 + 6, and given by the same formula.[4]

Chaos and the logistic map[edit]

A cobweb diagram of the logistic map, showing chaotic behaviour for most values of r > 3.57
Logistic function f (blue) and its iterated versions f2, f3, f4 and f5 for r = 3.5. For example, for any initial value on the horizontal axis, f4 gives the value of the iterate four iterations later.

The relative simplicity of the logistic map makes it a widely used point of entry into a consideration of the concept of chaos. A rough description of chaos is that chaotic systems exhibit a great sensitivity to initial conditions—a property of the logistic map for most values of r between about 3.57 and 4 (as noted above).[2] A common source of such sensitivity to initial conditions is that the map represents a repeated folding and stretching of the space on which it is defined. In the case of the logistic map, the quadratic difference equation describing it may be thought of as a stretching-and-folding operation on the interval (0,1).[13]

The following figure illustrates the stretching and folding over a sequence of iterates of the map. Figure (a), left, shows a two-dimensional Poincaré plot of the logistic map's state space for r = 4, and clearly shows the quadratic curve of the difference equation (1). However, we can embed the same sequence in a three-dimensional state space, in order to investigate the deeper structure of the map. Figure (b), right, demonstrates this, showing how initially nearby points begin to diverge, particularly in those regions of xt corresponding to the steeper sections of the plot.

Two- and three-dimensional Poincaré plots show the stretching-and-folding structure of the logistic map
Two- and three-dimensional Poincaré plots show the stretching-and-folding structure of the logistic map

This stretching-and-folding does not just produce a gradual divergence of the sequences of iterates, but an exponential divergence (see Lyapunov exponents), evidenced also by the complexity and unpredictability of the chaotic logistic map. In fact, exponential divergence of sequences of iterates explains the connection between chaos and unpredictability: a small error in the supposed initial state of the system will tend to correspond to a large error later in its evolution. Hence, predictions about future states become progressively (indeed, exponentially) worse when there are even very small errors in our knowledge of the initial state. This quality of unpredictability and apparent randomness led the logistic map equation to be used as a pseudo-random number generator in early computers.[13]

At r = 2, the function intersects precisely at the maximum point, so convergence to the equilibrium point is on the order of . Consequently, the equilibrium point is called "superstable". Its Lyapunov exponent is . A similar argument shows that there is a superstable value within each interval where the dynamical system has a stable cycle. This can be seen in the Lyapunov exponent plot as sharp dips.[14]

Since the map is confined to an interval on the real number line, its dimension is less than or equal to unity. Numerical estimates yield a correlation dimension of 0.500±0.005 (Grassberger, 1983), a Hausdorff dimension of about 0.538 (Grassberger 1981), and an information dimension of approximately 0.5170976 (Grassberger 1983) for r ≈ 3.5699456 (onset of chaos). Note: It can be shown that the correlation dimension is certainly between 0.4926 and 0.5024.

It is often possible, however, to make precise and accurate statements about the likelihood of a future state in a chaotic system. If a (possibly chaotic) dynamical system has an attractor, then there exists a probability measure that gives the long-run proportion of time spent by the system in the various regions of the attractor. In the case of the logistic map with parameter r = 4 and an initial state in (0,1), the attractor is also the interval (0,1) and the probability measure corresponds to the beta distribution with parameters a = 0.5 and b = 0.5. Specifically,[15] the invariant measure is

Unpredictability is not randomness, but in some circumstances looks very much like it. Hence, and fortunately, even if we know very little about the initial state of the logistic map (or some other chaotic system), we can still say something about the distribution of states arbitrarily far into the future, and use this knowledge to inform decisions based on the state of the system.

Logistic map with Lyapunov exponent function.

Graphical representation[edit]

The Bifurcation diagram for the logistic map can be visualized with the following Python code:

import numpy as np
import matplotlib.pyplot as plt

interval = (2.8, 4)  # start, end
accuracy = 0.0001
reps = 600  # number of repetitions
numtoplot = 200
lims = np.zeros(reps)

fig, biax = plt.subplots()
fig.set_size_inches(16, 9)

lims[0] = np.random.rand()
for r in np.arange(interval[0], interval[1], accuracy):
    for i in range(reps - 1):
        lims[i + 1] = r * lims[i] * (1 - lims[i])

    biax.plot([r] * numtoplot, lims[reps - numtoplot :], "b.", markersize=0.02)

biax.set(xlabel="r", ylabel="x", title="logistic map")
plt.show()

Special cases of the map[edit]

Upper bound when 0 ≤ r ≤ 1[edit]

Although exact solutions to the recurrence relation are only available in a small number of cases, a closed-form upper bound on the logistic map is known when 0 ≤ r ≤ 1.[16] There are two aspects of the behavior of the logistic map that should be captured by an upper bound in this regime: the asymptotic geometric decay with constant r, and the fast initial decay when x0 is close to 1, driven by the (1 − xn) term in the recurrence relation. The following bound captures both of these effects:

Solution when r = 4[edit]

The special case of r = 4 can in fact be solved exactly, as can the case with r = 2;[17] however, the general case can only be predicted statistically.[18] The solution when r = 4 is,[17][19]

where the initial condition parameter θ is given by

For rational θ, after a finite number of iterations xn maps into a periodic sequence. But almost all θ are irrational, and, for irrational θ, xn never repeats itself – it is non-periodic. This solution equation clearly demonstrates the two key features of chaos – stretching and folding: the factor 2n shows the exponential growth of stretching, which results in sensitive dependence on initial conditions, while the squared sine function keeps xn folded within the range [0,1].

For r = 4 an equivalent solution in terms of complex numbers instead of trigonometric functions is[20]

where α is either of the complex numbers

with modulus equal to 1. Just as the squared sine function in the trigonometric solution leads to neither shrinkage nor expansion of the set of points visited, in the latter solution this effect is accomplished by the unit modulus of α.

By contrast, the solution when r = 2 is[20]

for x0 ∈ [0,1). Since (1 − 2x0) ∈ (−1,1) for any value of x0 other than the unstable fixed point 0, the term (1 − 2x0)2n goes to 0 as n goes to infinity, so xn goes to the stable fixed point 1/2.

Finding cycles of any length when r = 4[edit]

For the r = 4 case, from almost all initial conditions the iterate sequence is chaotic. Nevertheless, there exist an infinite number of initial conditions that lead to cycles, and indeed there exist cycles of length k for all integers k > 0. We can exploit the relationship of the logistic map to the dyadic transformation (also known as the bit-shift map) to find cycles of any length. If x follows the logistic map xn + 1 = 4xn(1 − xn) and y follows the dyadic transformation

then the two are related by a homeomorphism

The reason that the dyadic transformation is also called the bit-shift map is that when y is written in binary notation, the map moves the binary point one place to the right (and if the bit to the left of the binary point has become a "1", this "1" is changed to a "0"). A cycle of length 3, for example, occurs if an iterate has a 3-bit repeating sequence in its binary expansion (which is not also a one-bit repeating sequence): 001, 010, 100, 110, 101, or 011. The iterate 001001001... maps into 010010010..., which maps into 100100100..., which in turn maps into the original 001001001...; so this is a 3-cycle of the bit shift map. And the other three binary-expansion repeating sequences give the 3-cycle 110110110... → 101101101... → 011011011... → 110110110.... Either of these 3-cycles can be converted to fraction form: for example, the first-given 3-cycle can be written as 1/72/74/71/7. Using the above translation from the bit-shift map to the logistic map gives the corresponding logistic cycle 0.611260467... → 0.950484434... → 0.188255099... → 0.611260467.... We could similarly translate the other bit-shift 3-cycle into its corresponding logistic cycle. Likewise, cycles of any length k can be found in the bit-shift map and then translated into the corresponding logistic cycles.

However, since almost all numbers in [0,1) are irrational, almost all initial conditions of the bit-shift map lead to the non-periodicity of chaos. This is one way to see that the logistic r = 4 map is chaotic for almost all initial conditions.

The number of cycles of (minimal) length k = 1, 2, 3,… for the logistic map with r = 4 (tent map with μ = 2) is a known integer sequence (sequence A001037 in the OEIS): 2, 1, 2, 3, 6, 9, 18, 30, 56, 99, 186, 335, 630, 1161.... This tells us that the logistic map with r = 4 has 2 fixed points, 1 cycle of length 2, 2 cycles of length 3 and so on. This sequence takes a particularly simple form for prime k: 2 ⋅ 2k − 1 − 1/k. For example: 2 ⋅ 213 − 1 − 1/13 = 630 is the number of cycles of length 13. Since this case of the logistic map is chaotic for almost all initial conditions, all of these finite-length cycles are unstable.

Universality[edit]

Feigenbaum universality of 1-D maps[edit]

Universality of one-dimensional maps with parabolic maxima and Feigenbaum constants , [21][22] is well visible with map proposed as a toy model for discrete laser dynamics: , where stands for electric field amplitude, [23] is laser gain as bifurcation parameter.

The gradual increase of at interval changes dynamics from regular to chaotic one [24] with qualitatively the same bifurcation diagram as those for logistic map.

Renormalization estimate[edit]

The Feigenbaum constants can be estimated by a renormalization argument. (Section 10.7, [14]).

By universality, we can use another family of functions that also undergoes repeated period-doubling on its route to chaos, and even though it is not exactly the logistic map, it would still yield the same Feigenbaum constants.

Define the family

The family has an equilibrium point at zero, and as increases, it undergoes period-doubling bifurcation at .

The first bifurcation occurs at . After the period-doubling bifurcation, we can solve for the period-2 stable orbit by , which yields

At some point , the period-2 stable orbit undergoes period-doubling bifurcation again, yielding a period-4 stable orbit. In order to find out what the stable orbit is like, we "zoom in" around the region of , using the affine transform . Now, by routine algebra, we have
where . At approximately , the second bifurcation occurs, thus .

By self-similarity, the third bifurcation when , and so on. Thus we have , or . Iterating this map, we find , and .

Thus, we have the estimates , and . These are within 10% of the true values.

The Logistic Map and Logistic Ordinary Differential Equation[edit]

The logistic map exhibits numerous characteristics of both periodic and chaotic solutions, whereas the logistic ordinary differential equation (ODE) exhibits regular solutions, commonly referred to as the S-shaped sigmoid function. The logistic map can be seen as the discrete counterpart of the logistic ODE, and their correlation has been extensively discussed in literature[25]

See also[edit]

Notes[edit]

  1. ^ Lorenz, Edward N. (1964-02-01). "The problem of deducing the climate from the governing equations". Tellus. 16 (1): 1–11. Bibcode:1964Tell...16....1L. doi:10.1111/j.2153-3490.1964.tb00136.x. ISSN 0040-2826.
  2. ^ a b May, Robert M. (1976). "Simple mathematical models with very complicated dynamics". Nature. 261 (5560): 459–467. Bibcode:1976Natur.261..459M. doi:10.1038/261459a0. hdl:10338.dmlcz/104555. PMID 934280. S2CID 2243371.
  3. ^ Weisstein, Eric W. "Logistic Equation". MathWorld.
  4. ^ a b c d Tsuchiya, Takashi; Yamagishi, Daisuke (February 11, 1997). "The Complete Bifurcation Diagram for the Logistic Map". Z. Naturforsch. 52a (6–7): 513–516. Bibcode:1997ZNatA..52..513T. doi:10.1515/zna-1997-6-708. S2CID 101491730.
  5. ^ Zhang, Cheng (October 2010). "Period three begins". Mathematics Magazine. 83 (4): 295–297. doi:10.4169/002557010x521859. S2CID 123124113.
  6. ^ Bechhoefer, John (1996-04-01). "The Birth of Period 3, Revisited". Mathematics Magazine. 69 (2): 115–118. doi:10.1080/0025570X.1996.11996402. ISSN 0025-570X.
  7. ^ Jeffries, Carson; Pérez, José (1982). "Observation of a Pomeau–Manneville intermittent route to chaos in a nonlinear oscillator". Physical Review A. 26 (4): 2117–2122. Bibcode:1982PhRvA..26.2117J. doi:10.1103/PhysRevA.26.2117. S2CID 119466337.
  8. ^ a b May, R. M. (1976). "Simple mathematical models with very complicated dynamics". Nature. 261 (5560): 459–67. Bibcode:1976Natur.261..459M. doi:10.1038/261459a0. hdl:10338.dmlcz/104555. PMID 934280. S2CID 2243371.
  9. ^ Baumol, William J.; Benhabib, Jess (February 1989). "Chaos: Significance, Mechanism, and Economic Applications". Journal of Economic Perspectives. 3 (1): 77–105. doi:10.1257/jep.3.1.77.
  10. ^ "Misiurewicz Point of the Logistic Map". sprott.physics.wisc.edu. Retrieved 2023-05-08.
  11. ^ Teschl, Gerald (2012). Ordinary Differential Equations and Dynamical Systems. Amer. Math Soc. ISBN 978-0-8218-8328-0.
  12. ^ Collet, Pierre; Eckmann, Jean-Pierre (1980). Iterated Maps on the Interval as Dynamical Systems. Birkhauser. ISBN 978-3-7643-3026-2.
  13. ^ a b Gleick, James (1987). Chaos: Making a New Science. London: Penguin Books. ISBN 978-0-14-009250-9.
  14. ^ a b Strogatz, Steven (2019). "10.1: Fixed Points and Cobwebs". Nonlinear dynamics and chaos : with applications to physics, biology, chemistry, and engineering (2nd ed.). Boca Raton. ISBN 978-0-367-09206-1. OCLC 1112373147.{{cite book}}: CS1 maint: location missing publisher (link)
  15. ^ Jakobson, M. (1981). "Absolutely continuous invariant measures for one-parameter families of one-dimensional maps". Communications in Mathematical Physics. 81 (1): 39–88. Bibcode:1981CMaPh..81...39J. doi:10.1007/BF01941800. S2CID 119956479.
  16. ^ Campbell, Trevor; Broderick, Tamara (2017). "Automated scalable Bayesian inference via Hilbert coresets". arXiv:1710.05053 [stat.ML].
  17. ^ a b Schröder, Ernst (1870). "Über iterierte Funktionen". Math. Ann. 3 (2): 296–322. doi:10.1007/BF01443992. S2CID 116998358.
  18. ^ Little, M.; Heesch, D. (2004). "Chaotic root-finding for a small class of polynomials" (PDF). Journal of Difference Equations and Applications. 10 (11): 949–953. arXiv:nlin/0407042. doi:10.1080/10236190412331285351. S2CID 122705492.
  19. ^ Lorenz, Edward (1964). "The problem of deducing the climate from the governing equations". Tellus. 16 (February): 1–11. Bibcode:1964Tell...16....1L. doi:10.3402/tellusa.v16i1.8893.
  20. ^ a b Schröder, Ernst (1870). "Ueber iterirte Functionen". Mathematische Annalen. 3 (2): 296–322. doi:10.1007/BF01443992. S2CID 116998358.
  21. ^ Feigenbaum, M. J. (1976) "Universality in complex discrete dynamics", Los Alamos Theoretical Division Annual Report 1975-1976
  22. ^ Feigenbaum, Mitchell (1978). "Quantitative universality for a class of nonlinear transformations". Journal of Statistical Physics. 19 (1): 25–52. Bibcode:1978JSP....19...25F. CiteSeerX 10.1.1.418.9339. doi:10.1007/BF01020332. S2CID 124498882.
  23. ^ Okulov, A Yu; Oraevskiĭ, A N (1986). "Space–temporal behavior of a light pulse propagating in a nonlinear nondispersive medium". J. Opt. Soc. Am. B. 3 (5): 741–746. Bibcode:1986JOSAB...3..741O. doi:10.1364/JOSAB.3.000741. S2CID 124347430.
  24. ^ Okulov, A Yu; Oraevskiĭ, A N (1984). "Regular and stochastic self-modulation in a ring laser with nonlinear element". Soviet Journal of Quantum Electronics. 14 (2): 1235–1237. Bibcode:1984QuEle..14.1235O. doi:10.1070/QE1984v014n09ABEH006171.
  25. ^ Shen, Bo-Wen; Pielke, Roger A.; Zeng, Xubin (2023-08-12). "The 50th Anniversary of the Metaphorical Butterfly Effect since Lorenz (1972): Multistability, Multiscale Predictability, and Sensitivity in Numerical Models". Atmosphere. 14 (8): 1279. Bibcode:2023Atmos..14.1279S. doi:10.3390/atmos14081279. ISSN 2073-4433.

References[edit]

External links[edit]