View source for Logistic map

{{short description|Simple polynomial map exhibiting chaotic behavior}}
{{For|the sigmoid curve|Logistic function}}
[[File:LogisticCobwebChaos.gif|class=skin-invert-image|thumb|284x284px|The behavior of the logistic map is shown in [[Cobweb plot]] form. The animation shows the change in behavior as the parameter (r in the figure) is increased from 1 to 4, starting from an initial value of 0.2.)]]
The '''logistic map''' is a discrete [[Dynamical system|dynamical system]] defined by the quadratic [[Difference equation|difference equation]]:
{{NumBlk|:|<math>x_{n+1} = r x_n (1 - x_n).</math>|{{EquationRef|1}}}}
Equivalently it is a [[Recurrence relation|recurrence relation]] and a [[Polynomial|polynomial]] [[Map (mathematics)|mapping]] of [[Quadratic function|degree&nbsp;2]]. It is often referred to as an archetypal example of how complex, [[Chaos theory|chaotic]] behaviour can arise from very simple nonlinear dynamical equations.

The map was initially utilized by [[Biography:Edward Norton Lorenz|Edward Lorenz]] in the 1960s to showcase properties of irregular solutions in climate systems.<ref>{{Cite journal |last=Lorenz |first=Edward N. |date=1964-02-01 |title=The problem of deducing the climate from the governing equations |url=https://a.tellusjournals.se/articles/10.3402/tellusa.v16i1.8893|journal=Tellus |volume=16 |issue=1 |pages=1–11 |doi=10.1111/j.2153-3490.1964.tb00136.x |bibcode=1964Tell...16....1L |issn=0040-2826}}</ref> It was popularized in a 1976 paper by the biologist [[Biography:Robert May, Baron May of Oxford|Robert May]],<ref name=":2" group="May, Robert M. (1976)">{{harvnb|May|1976}}</ref> in part as a discrete-time demographic model analogous to the [[Logistic function#Logistic differential equation|logistic equation]] written down by Pierre François Verhulst.<ref>{{MathWorld | urlname=LogisticEquation | title= Logistic Equation}}</ref>
Other researchers who have contributed to the study of the logistic map include [[Biography:Stanisław Ulam|Stanisław Ulam]], [[Biography:John von Neumann|John von Neumann]], Pekka Myrberg, Oleksandr Sharkovsky, [[Biography:Nicholas Metropolis|Nicholas Metropolis]], and [[Biography:Mitchell Feigenbaum|Mitchell Feigenbaum]].<ref>see Research history</ref>

== Two introductory examples ==
=== Dynamical Systems example ===
In the logistic map, x is a variable, and r is a parameter. It is a [[Map (mathematics)|map]] in the sense that it maps a configuration or [[Physics:Phase space|phase space]] to itself (in this simple case the space is one dimensional in the variable x)

{{NumBlk|:|<math>{\displaystyle f:x\mapsto rx(1-x)}</math>|{{EquationRef|1-2}}}}

It can be interpreted as a tool to get next position in the configuration space after one time step. The difference equation is a discrete version of the [[Logistic function#Logistic differential equation|logistic differential equation]], which can be compared to a time evolution equation of the system. 

Given an appropriate value for the parameter r and performing calculations starting from an initial condition <math>x_0</math>, we obtain the sequence <math>x_0</math>, <math>x_1</math>, <math>x_2</math>, .... which can be interpreted as a sequence of time steps in the evolution of the system. 

In the field of dynamical systems, this sequence is called an [[Orbit (dynamics)|orbit]], and the orbit changes depending on the value given to the parameter. When the parameter is changed, the orbit of the logistic map can change in various ways, such as settling on a single value, repeating several values periodically, or showing non-periodic fluctuations known as [[Chaos theory|chaos]].<ref name=":1" group="Devaney 1989">{{harvnb|Devaney|1989|p=27}}</ref><ref name="Gleick"/>

Another way to understand this [[Sequence|sequence]] is to iterate the logistic map (here represented by <math>f(x)</math>) to the initial state <math>x_0</math><ref name=":3" group="Devaney 1989">{{harvnb|Devaney|1989|p=2}}</ref>

<math display="block">
\begin{aligned}
x_{1}&=f(x_{0})\\
x_{2}&=f(x_1)=f(f(x_{0}))\\
x_{3}&=f(x_2)=f(f(f(x_{0})))\\
x_{4}&=...\\
\end{aligned}
</math>

Now this is important given this was the initial approach of [[Biography:Henri Poincaré|Henri Poincaré]] to study dynamical systems and ultimately chaos starting from the study of [[Fixed point (mathematics)|fixed points]]  or in other words states that do not change over time (i.e. when <math>x_n=...=x_1=x_0=f(x_0)</math>). Many chaotic systems such as the [[Mandelbrot set]] emerge from iteration of very simple quadratic nonlinear functions such as the logistic map.<ref>{{cite book|first=Benoit B. |last=Mandelbrot | year=2004|title= Fractals and Chaos, The Mandelbrot Set and Beyond |doi=10.1007/978-1-4757-4017-2 |isbn=978-1-4419-1897-0 |url=https://link.springer.com/book/10.1007/978-1-4757-4017-2 |pages=259–267}}</ref>

=== Demographic model example ===
Taking the biological [[Lotka–Volterra equations|population model]] as an example {{mvar|x<sub>n</sub>}} is a number between zero and one, which represents the ratio of existing [[Population|population]] to the [[Earth:Carrying capacity|maximum possible population]]. <ref name=":1" group="May, Robert M. (1976)" >{{harvnb|May|1976|loc=formula 2 and 3}}</ref>
This nonlinear difference equation is intended to capture two effects:
* ''reproduction'', where the population will increase at a rate [[Proportionality (mathematics)|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 {{mvar|r}} are those in the interval {{math|[0,&nbsp;4]}}, so that {{mvar|x<sub>n</sub>}} remains bounded on {{math|[0,&nbsp;1]}}. The {{math|''r'' {{=}} 4}} case of the logistic map is a nonlinear transformation of both the bit-shift map and the {{math|''μ'' {{=}} 2}} case of the [[Tent map|tent map]]. If {{math|''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 {{mvar|r}} in the interval {{math|[−2,&nbsp;0]}}, so that {{mvar|x<sub>n</sub>}} remains bounded on {{math|[−0.5,&nbsp;1.5]}}.<ref name="Takashi Tsuchiya, Daisuke Yamagishi, 1997"/>

{{expand Japanese}}
<!-- Still big work TODO -->
<!-- TODO: check and migrate all citations this are left here in the text commented out with the format [ 100 ] -->
<!-- TODO: fix/remove the japanese file names -- not sure how to do that with wikimedia  -->
<!-- Add back inline citations to other pages from wikipedia as per japanese article -->
<!-- Add back Note 1 and Note 2 from japanese article -->
<!-- Double check consistency and if some content needs to be moved e.g. Chaos and map is a catch-all, special values is in two places, Relation to logistic is somewhat double but separated, Biological model is also somewhat double but separated. 
Maybe add some extra internal references -->
<!-- tag sections of the article like level of reader e.g this section requires calculus or this section can be read from a 7th grade etc. -->
<!-- The article is a bit large, maybe add boxes to separate out detailed sections about characterization of the map -->

== Characterization of the logistic map ==
[[File:Logistic map with parameter from 0.02 to 4 t from 0 to 200.gif|class=skin-invert-image|thumb|284x284px|The sequence behaviour from r=0.02 to r=4, one can visualize the horizontal coordinate as time, and the vertical coordinate either as a position in space at time t or as the population size at time t]]
The animation shows the behaviour of the sequence <math>x_n</math> over different values of the parameter r. A first observation is that the sequence does not diverge and remains finite for r between 0 and 4. It is possible to see the following qualitative phenomena in order of time: 
* exponential convergence to zero
* convergence to a non-zero fixed value (see [[Exponential function]] or [[Characterizations of the exponential function#Characterizations|Characterizations of the exponential function]] point 4)
* initial oscillation and then convergence (see [[Damping]] and [[Physics:Harmonic oscillator#Damped harmonic oscillator|Damped harmonic oscillator]])
* stable oscillations between two values (see [[Chemistry:Resonance|Resonance]] and [[Physics:Harmonic oscillator#Simple harmonic oscillator|Simple harmonic oscillator]])
* growing oscillations between a set of values which are multiples of two such as 2,4,8,16 etc. (see [[Period-doubling bifurcation]])
* [[Intermittency]] (i.e. sprouts of oscillations at the onset of chaos)
* fully developed [[Chaos theory|chaotic oscillations]]
* topological mixing (i.e. the tendency of oscillations to cover the full available space).

The first four are also available in standard linear systems, oscillations between two values are available too under [[Chemistry:Resonance|resonance]], chaotic systems though have typically a large range of resonance conditions.
The other phenomena are peculiar to [[Chaos theory|chaos]]. This progression of stages is strikingly similar to the onset of [[Physics:Turbulence|turbulence]].
Chaos is not peculiar to non-linear systems alone and it can also be exhibited by infinite dimensional linear systems.<ref>{{cite journal
 |last1=Bonet |first1=J. |last2=Martínez-Giménez |first2=F. |last3=Peris |first3=A.
 |year=2001
 |title=A Banach space which admits no chaotic operator
 |journal=Bulletin of the London Mathematical Society
 |volume=33
 |issue=2 |pages=196–198
 |doi=10.1112/blms/33.2.196
|s2cid=121429354 }}</ref>

As mentioned above, the logistic map itself is an ordinary quadratic function.<!--[ 15 ]--> An important question in terms of dynamical systems is how the behavior of the trajectory changes when the parameter {{mvar|r}} changes.<!--[ 12 ]--> Depending on the value of {{mvar|r}}, the behavior of the trajectory of the logistic map can be simple or complex.<ref name=":1" group="Thompson & Stewart">{{harvnb|Thompson|Stewart|2002|p=162}}</ref> Below, we will explain how the behavior of the logistic map changes as {{mvar|r}} increases.

=== Domain, graphs and fixed points ===
[[File:Graph of logistic map.png|class=skin-invert-image|thumb|Graph of the logistic map (the relationship between <math>x_{n +1}</math> and <math>x_n</math>). The graph has the shape of a parabola, and the vertex of the parabola changes as the parameter r changes.]]
As mentioned above, the logistic map can be used as a model to consider the fluctuation of population size. In this case, the variable x of the logistic map is the number of individuals of an organism divided by the maximum population size, so the possible values of x are limited to 0 ≤ x ≤ 1. For this reason, the behavior of the logistic map is often discussed by limiting the range of the variable to the interval [0, 1].<ref name=":1" group="Hirsch,Smale & Devaney">{{harvnb|Hirsch| Smale|Devaney|2007|pp=344-345}}</ref>

If we restrict the variables to 0 ≤ x ≤ 1, then the range of the parameter r is necessarily restricted to 0 to 4 (0 ≤ r ≤ 4). This is because if <math>x_n</math> is in the range [0, 1], then the maximum value of <math>x_{n+1}</math> is
r/4. Thus, when r > 4, the value of <math>x_{n +1}</math> can exceed 1. On the other hand, when r is negative, x can take negative values.<ref name=":1" group="Hirsch,Smale & Devaney"/>

A graph of the map can also be used to learn much about its behavior.<!--[ 59 ]--> The graph of the logistic map <math>x_{n+1}= r x (1-x_n)</math> is the plane curve that plots the relationship between <math>x_n</math> and <math>x_{n+1}</math>, with <math>x_n</math> (or x) on the horizontal axis and <math>x_{n + 1}</math> (or f (x)) on the vertical axis.<!--[ 60 ]--> The graph  of the logistic map looks like this, except for the case r = 0:

It has the shape of a parabola with a vertex at<ref name=":4" group="Gulick">{{harvnb|Gulick|1995|p=16|loc=Example 3}}</ref><!--[ 61 ]--> 
{{NumBlk|:|<math>{\displaystyle (x_{n},x_{n+1})=\left(0.5,{\frac {r}{4}}\right)}</math>|{{EquationRef|2-1}}}} 
When r is changed, the vertex moves up or down, and the shape of the parabola changes<!--[62]-->. In addition, the parabola of the logistic map intersects with the horizontal axis (the line where <math>x_{n+1} = 0</math>) at two points<!--[63]-->. The two intersection points are <math>(x_n, x_{n + 1}) = (0,0)</math> and <math>(x_n, x_{n + 1}) = (1,0)</math>, and the positions of these intersection points are constant and do not depend on the value of r.<!--[ 63 ]-->
[[File:ロジスティック写像のグラフとクモの巣と不動点.png|class=skin-invert-image|thumb|An example of a spider web projection of a trajectory on the graph of the logistic map, and the locations of the fixed points <math>x_{f1}</math> and <math>x_{f2}</math> on the graph.]]
Graphs of maps, especially those of one variable such as the logistic map, are key to understanding the behavior of the map.<!--[ 64 ]--> One of the uses of graphs is to illustrate fixed points, called points.<!--[ 65 ]--> Draw a line y = x (a 45° line) on the graph of the map. If there is a point where this 45° line intersects with the graph, that point is a fixed point.<!--[ 66 ]--> In mathematical terms, a fixed point is

{{NumBlk|:|<math>f(x)=x</math>|{{EquationRef|2-2}}}}		

It means a point that does not change when the map is applied.<!--[ 67 ]--> We will denote the fixed point as <math>x_f</math>. In the case of the logistic map, the fixed point that satisfies equation (2-2) is obtained by solving <math>rx (1 - x)= x </math>.

{{NumBlk|:|<math>{\displaystyle x_{f1}=0}</math>|{{EquationRef|2-3}}}}
{{NumBlk|:|<math> x_{f2}=1-{\frac {1}{r}}</math>		|{{EquationRef|2-4}}}}
(except for r = 0).<!--[ 68 ]--> The concept of fixed points is of primary importance in discrete dynamical systems.<!--[ 69 ]-->

Another graphical technique that can be used for one-variable mappings is the spider web projection.<!--[ 70 ]--> After determining an initial value <math>x_0</math> on the horizontal axis, draw a vertical line from the initial value <math>x_0</math> to the curve of f(x). Draw a horizontal line from the  point where the curve of f(x) meets the 45° line of y = x, and then draw a vertical line from the point where the curve meets the 45° line to the curve of f(x). By repeating this process, a spider web or staircase-like diagram is created on the plane.<!--[ 71 ]--> This construction is in fact equivalent to calculating the trajectory graphically, and the spider web diagram created represents the trajectory starting from <math>x_0</math>.<!--[ 72 ]--> This projection allows the overall behavior of the trajectory to be seen at a glance.<!--[ 73 ]-->

===Behavior dependent on {{mvar|''r''}}===
The image below shows the [[Company:Amplitude|amplitude]] and [[Physics:Frequency|frequency]] content of a logistic map that iterates itself for parameter values ranging from 2&nbsp;to&nbsp;4. Again one can see  initial linear behaviours then chaotic behaviour not only in the [[Time domain|time domain]] (left) but especially in the frequency domain or [[Spectrum|spectrum]] (right), i.e. chaos is present at all scales as it is in the case of [[Physics:Energy cascade|Energy cascade]] of Kolmogorov and it even propagates from one scale to another.<ref name=":2" group="Thompson & Stewart">{{harvnb|Thompson|Stewart|2002|p=7}}</ref>

class=skin-invert-image

By varying the parameter {{mvar|r}}, the following behavior is observed:

==== Case when 0 ≤ r < 1 ====
First, when the parameter r = 0, <math>x_1 = 0</math>, regardless of the initial value <math>x_0</math>. In other words, the trajectory of the logistic map when a = 0 is a trajectory in which all values after the initial value are 0, so there is not much to investigate in this case.

Next, when the parameter r is in the range 0 < r < 1, <math>x_n</math> decreases monotonically for any value of <math>x_0</math> between 0 and 1. That is, <math>x_n</math> converges to 0 in the limit n → ∞. 
<ref name=":1" group="Gulick">{{harvnb|Gulick|1995|p=36}}</ref> The point to which <math>x_n</math> converges is the fixed point <math>x_{f1}</math> shown in equation (2-3).<!--[ 78 ]--> Fixed points of  this type, where orbits around them converge, are called asymptotically stable, stable, or attractive. Conversely, if orbits around <math>x_f</math> move away from <math>x_f</math> as time n increases, the fixed point <math>x_f</math> is called unstable or repulsive. <ref name=":2" group="Gulick">{{harvnb|Gulick|1995|p=9}}</ref>

[[File:Logistic map cobweb and time evolution a=0.9.png|class=skin-invert-image|thumb|284x284px| Spider plot (left) and time series (n vs. x n) (right) for parameter r = 0.9. The trajectory converges monotonically to 0.]]
A common and simple way to know whether a fixed point is asymptotically stable is to take the derivative of the map f.<ref name=":3" group="Gulick">{{harvnb|Gulick|1995|p=10}}</ref> This derivative is expressed as <math>f'(x)</math>,
<math>x_f</math> is asymptotically stable if the following condition is satisfied.<!--[ 80 ]-->

{{NumBlk|:|<math> \left|f'(x_{f})\right|<1</math>|{{EquationRef|3-1}}}}

[[File:1次写像の不動点と安定性とクモの巣_その2.svg|class=skin-invert-image|thumb|284x284px|Tangent slopes of an asymptotically stable fixed point (left) and an unstable fixed point (right) and the state of the surrounding orbits]]

We can see this by graphing the map: if the slope of the tangent to the curve at <math>x_f</math> is between −1 and 1, then <math>x_f</math> is stable and the orbit around it is attracted to <math>x_f</math>.<!--[ 81 ]--> The derivative of the logistic map is

{{NumBlk|:|<math>f'(x)=r(1-2x)</math>|{{EquationRef|3-2}}}}

Therefore, for x = 0 and 0 < r < 1, 0 < f  '(0) < 1, so the fixed point <math>x_{f1}</math> = 0  satisfies equation (3-1).<!--[ 82 ]-->

However, the discrimination method using equation (3-1) does not know the range of orbits from <math>x_f</math> that are attracted to <math>x_f</math>.<!--[ 83 ]--> It only guarantees that x within a certain neighborhood of <math>x_f</math> will converge.<!--[ 83 ]--> In this case, the domain of initial values that converge to 0 is the entire domain [0, 1], but to know this for certain, a separate study is required.<!--[ 77 ]-->

The method for determining whether a fixed point is unstable can be found by similarly differentiating the map.<!--[ 80 ]--> For r<1 if a fixed point <math>x_f</math> is unstable if

{{NumBlk|:|<math>\left|f'(x_{f})\right|>1</math>|{{EquationRef|3-3}}}}

If the parameter lies in the range 0 < r < 1, then the other fixed point <math>x_{f2} = 1 - 1/a</math>
is negative and therefore does not lie in the range [0, 1], but it does exist as an unstable fixed point.<!--[ 84 ]-->

==== Case when 1 ≤ r ≤ 2 ====
In the general case with {{mvar|r}} between 1 and 2, the population will quickly approach the value {{math|{{sfrac|''r'' − 1|''r''}}}}, independent of the initial population.

[[Image:ロジスティック写像のトランスクリティカル分岐.png|class=skin-invert-image|thumb|center|650px|[[Transcritical bifurcation]] of the logistic map occurring at r = 1. For r < 1, <math>x_{f2}</math> exists outside [0, 1] as an unstable fixed point, but for r = 1, the two fixed points collide, and for r > 1, <math>x_{f2}</math> appears between [0, 1] as a stable fixed point.]]

When the parameter r = 1, the trajectory of the logistic map converges to 0 as before,<!--[ 85 ]--> but the convergence speed is slower at r = 1.<!--[ 86 ]--> The fixed point 0 at r = 1 is asymptotically stable, but does not satisfy equation (3-1).<!--[ 87 ]--> In fact, the discrimination method based on equation (3-1) works by approximating the map to the first order near the fixed point.<!--[ 88 ]--> When r = 1, this approximation does not hold, and stability or instability is determined by the quadratic (square) terms of the map, or in order words the second order perturbation.<!--[ 86 ]-->

When r = 1 is graphed, the curve is tangent to the 45° diagonal at x = 0.<!--[ 62 ]--> In this case, the fixed point <math>x_{f2} = 1 - 1/r</math>, which exists in the negative range for <math>0 < r < 1</math>, is  <math>x_{f2}=0</math>.
For <math>x_{f2} = 0</math>,<!--[ 89 ]--> that is, as r increases, the value of <math>x_{f2}</math> approaches 0, and just at r = 1  , <math>x_{f2}</math> collides with  <math>x_{f1} = 0</math>.<!--[ 89 ]--> This collision gives rise to a phenomenon known as a [[Transcritical bifurcation|transcritical bifurcation]].<!--[ 90 ]-->
Bifurcation is a term used to describe a qualitative change in the behavior of a dynamical system. In this case, transcritical bifurcation is when the stability of fixed points alternates between each other<!--[ 91]-->. That is, when r is less than 1, <math>x_{f1}</math> is stable and <math>x_{f2}</math> is unstable, but when r is greater than 1, <math>x_{f1}</math> is unstable and <math>x_{f2}</math> is stable.<!--[ 84  ]--> The parameter  values at which bifurcation occurs are called bifurcation points.<!--[ 92 ]--> In this case, r = 1 is the bifurcation point.<!--[ 90 ]-->

<div class=skin-invert-image>{{multiple image
 | align     = center
 | direction = horizontal
 | total_width     = 590
 | image1    = Logistic map cobweb plot a=1.2.png
 | caption1  = Fixed point <math>x_{f2}=1-1/r</math> Example of monotonically decreasing convergence to (r = 1.2, x 0 = 0.6)
 | image2    = Logistic map cobweb plot a=1.8.png
 | caption2  = Fixed point <math>x_{f2}=1-1/a</math> Example of monotonically increasing convergence to (r = 1.8, x 0 = 0.2)
}}</div>

As a result of the bifurcation, the orbit of the logistic map converges to the limit point <math>x_{f2} = 1 - 1/r</math> instead of <math>x_{f1} = 0</math>.<!--[ 93 ]--> In particular, if the parameter <math>1 < r \le 2</math>, then the trajectory starting from a value <math>x_0</math>in the interval (0, 1), exclusive of 0 and 1, converges to <math>x_{f2}</math> by increasing or decreasing monotonically.<!--[ 93 ]--> The difference in the convergence pattern depends on the range of the initial value.<!--[ 94 ]--> <math>0 < x_0 < 1 - 1/r</math>

In the case of <math>1 - 1/r< x_0 < 1/r</math>
Then, it converges monotonically, 
<math>1/r< x_0 < 1</math>, the function converges monotonically except for the first step.<!--[ 94 ]-->

Furthermore, the fixed point <math>x_{f1} = 0</math> becomes unstable due to bifurcation, but continues to exist as a fixed point even after r > 1.<!--[95]--> This does not mean that there is no initial value other than <math>x_{f1}</math> itself that  can reach this unstable fixed point  <math>x_{f1}</math>.<!--[ 96 ]--> This is <math>x_0 = 1</math>, and since the logistic map satisfies f (1) = 0 regardless of the value of r,  applying the map once to <math>x_0 = 1</math> maps it to <math>x_{f1} = 0</math>.<!--[ 54 ]--> A point such as x = 1 that can be reached directly as a fixed point by a  finite number of iterations of the map is called a final fixed point.<!--[ 97 ]-->

==== Case when 2 ≤ r ≤ 3 ====
With {{mvar|r}} between 2 and 3, the population will also eventually approach the same value {{math|{{sfrac|''r'' − 1|''r''}}}}, but first will fluctuate around that value for some time. The [[Rate of convergence|rate of convergence]] is linear, except for {{math|''r'' {{=}} 3}}, when it is dramatically slow, less than linear (see [[Bifurcation memory]]).

When the parameter 2 < r < 3, except for the initial values 0 and 1, the fixed point <math>x_{f2} = 1 - 1/r</math> is the same as when 1 < r ≤ 2.<!--[ 98 ]-->
However, in this case the convergence is not monotonically.<!--[ 99 ]--> As the variable approaches <math>x_{f2}</math>, it becomes larger and smaller than <math>x_{f2}</math> repeatedly, and follows a convergent trajectory that oscillates around <math>x_{f2}</math>.<!--[ 99 ]-->

<!-- TODO: obscure translation to be fixed, maybe using a ref
Tentative:
In this parameter range, <math>1/2<x_{f2}<1</math>,
The oscillations around the fixed point of the orbit are bounded and given it is an attractor, they are convergent. <ref name=":1" group="Devaney 1989"/>
The value that is mapped to <math>x_{f2}</math> by applying the mapping once is <math>f(\tilde{x}_{f2}) = \tilde{\tilde{x}}_{f2}</math>

Original:
The oscillations around the fixed point of the orbit vary over the following range: In this parameter range, <math>1/2<x_{f2}<1</math><!/--[ 100 ]-->. The value that is mapped to <math>x_{f2}</math> by applying the mapping once is <math>f(\tilde{x}_{f2}) = x_{f2}</math>
-->
<!-- ~x
Let us write it as f  2. That is, <math>f(\tilde{x}_{f 2})= x_{f2}</math> [ 101 ].
~x f  2, x f  2), the orbit starts to oscillate around a fixedpoint [ 102 ].
~x f  2, x f  2)is(x f  2, a/4] to (x f  2, a/4] teeth [ 1/2, x f  2) and oscillates in the form [ 103 ].
-->
[[File:CobwebConstruction.gif|class=skin-invert-image|thumb|Animation of the spider projection at a = 2.8, converging around a fixed point.]]
In general, [[Bifurcation diagram|bifurcation diagram]]s are useful for understanding bifurcations.<!--[ 104 ]--> These diagrams are graphs of fixed points (or periodic points, as described below) x as a function of a parameter a, with a on the horizontal axis and x on the vertical axis.<!--[ 104 ]--> To distinguish between stable and unstable fixed points, the former curves are sometimes drawn as solid lines and the latter as dotted lines.<!--[ 105 ]--> When drawing a bifurcation diagram for the logistic map, we have a straight line representing the fixed point <math>x_{f1} = 0</math>  and a straight line representing the fixed point <math>x_{f2} = 1-1/a</math>
It can be seen that the curves representing a and b intersect at r = 1, and that stability is switched between the two.<!--[ 95 ]-->

[[Image:パラメータ0から3までのロジスティック写像の分岐図.png|class=skin-invert-image|thumb|center|480px|Bifurcation diagram of the logistic map for parameters 0 to 3. The blue line represents the fixed point <math>x_{f1} = 0</math>, and the red line represents the fixed point <math>x_{f2} = 1 - 1/r</math> Represents.]]
==== Case when 3 ≤ r ≤ 3.44949 ====
In the general case With {{mvar|r}} between 3 and 1&nbsp;+&nbsp;{{sqrt|6}} ≈ 3.44949 the population will approach permanent oscillations between two values. These two values are dependent on {{mvar|r}} and given by<ref name="Takashi Tsuchiya, Daisuke Yamagishi, 1997"/> <math>x_{\pm}=\frac{1}{2r}\left(r+1\pm\sqrt{(r-3)(r+1)}\right)</math>.

When the parameter is exactly r = 3, the orbit also has a fixed point <math>x_{f2} = 1-1/r</math>.<!--[ 106 ]--> 
However, the variables converge more slowly than when <math>2 < r < 3</math>.<!--[ 107 ]--> When <math>r = 3</math>, the derivative <math>f'(x_{f2})</math> reaches −1 and no longer satisfies equation (3-1).<!--[ 108 ]--> When r exceeds 3, <math>f'(x_{f2})<-1</math>, and <math>x_{f2}</math> becomes  an unstable fixed point.<!--[ 108 ]--> That is, another bifurcation occurs at <math>r = 3</math>.<!--[  108 ]-->

For <math>r = 3</math> a type of bifurcation known as a period doubling bifurcation occurs.<!--[ 109 ]--> For <math>r > 3</math>, the orbit no longer converges to a single point, but instead alternates between large and small values even after a sufficient amount of time has passed.<!--[109]--> For example, for <math>r = 3.3</math>, the variable alternates between the values 0.4794... and 0.8236....<!--[ 110 ]-->
<div class=skin-invert-image>{{multiple image
 | align     = center
 | direction = horizontal
 | total_width     = 590
 | footer  = Spider diagram and time series for a = 3.3. The orbit is attracted to a stable 2-periodic point.
 | image1    = ロジスティック写像、安定2周期軌道、クモの巣図.png
 | image2    = ロジスティック写像、安定2周期軌道、時系列.png
}}</div>
An orbit that cycles through the same values periodically is called a periodic orbit.<!--[ 111 ]--> In this case, the final behavior of the variable as n → ∞ is a periodic orbit with two periods.<!--[ 112 ]-->  Each value (point) that makes up a periodic orbit is called a periodic point.<!--[ 111 ]--> In the example where a = 3.3, 0.4794... and 0.8236... are periodic points.<!--[ 113 ]--> If a certain x is a periodic point, then in the case of two periodic points, applying the map twice to x will return it to its original state, so
{{NumBlk|:|<math> f(f(x))=f^{2}(x)=x</math>|{{EquationRef|3-4}}}}
<!--[ 114 ]-->
If we apply the logistic map equation (1-2) to this equation, we get
{{NumBlk|:|<math>r^{2}x(1-x)(1-rx(1-x))=x</math>|{{EquationRef|3-5}}}}

This gives us the following fourth-order equation.<!--[ 115 ]--> The solutions of this equation are the periodic points.<!--[ 116 ]--> In fact, there are two fixed points <math>x_{f1} = 0</math> and <math>x_{f2} = 1 - 1/r</math>
also satisfies equation (3-4).<!--[ 117 ]--> Therefore, of the solutions to equation (3-5), two correspond to <math>x_{f1}</math> and <math>x_{f2}</math>, and the remaining two solutions are 2-periodic points.<!--[ 117 ]--> Let the 2-periodic points be denoted as <math>x^{(2)}_{f1}</math> and <math>x^{(2)}_{f2}</math>, respectively. By solving equation (3-5), we can obtain them as follows<!--[ 116 ]-->

{{NumBlk|:|<math> x_{f1}^{(2)},\ x_{f2}^{(2)}={\frac {r+1\pm {\sqrt {(r+1)(r-3)} }}{2r}}</math>|{{EquationRef|3-6}}}}

A similar theory about the stability of fixed points can also be applied to periodic points.<!--[ 114 ]--> That is, a periodic point that attracts surrounding orbits is called an asymptotically stable periodic point, and a periodic point where the surrounding orbits move away is called an unstable periodic point.<!--[ 118 ]--> It is possible to determine the stability of periodic points in the same way as for fixed points.<!--[ 119 ]--> In the general case, consider <math>f^k(x)</math> after k iterations of the map. 
Let <math>(f^k)'(x)</math> be the derivative  <math>df^k(x)/dx</math> of the k-periodic point <math>x^{(k)}_f</math>. If <math>x^{(k)}_f</math> satisfies<!--[ 120 ]-->:
{{NumBlk|:|<math> \left|(f^{k})'(x_{f}^{(k)})\right|<1 </math>|{{EquationRef|3-7}}}}
then <math>x^{(k)}_f</math> is asymptotically stable.
{{NumBlk|:|<math> \left|(f^{k})'(x_{f}^{(k)})\right|>1</math>|{{EquationRef|3-8}}}}
then <math>x^{(k)}_f</math> is unstable.<!--[ 120 ]-->

The above discussion of the stability of periodic points can be easily understood by drawing a graph, just like the fixed points.<!--[ 121 ]--> In this diagram, the horizontal axis is xn and the vertical axis is <math>x_{n+2}</math>, and a curve is drawn that shows the relationship between <math>x_{n+2}</math> and <math>x_n</math>.<!--[ 122 ]--> The intersections of this curve and the 45° line are points that satisfy equation (3-4), so the intersections represent fixed points and 2-periodic points.<!--[122]--> If we draw a graph of the logistic map <math>f^2(x)</math>, we can observe that the slope of the tangent at the fixed point <math>x_{f2}</math> exceeds  1 at the boundary <math>r=3</math> and becomes unstable.<!--[ 122 ]--> At the same time, two new intersections appear, which are the periodic points <math>x^{(2)}_{f1}</math> and <math>x^{(2)}_{f2}</math>.<!--[ 122 ]-->
<div class=skin-invert-image>{{multiple image
 | align     = center
 | direction = horizontal
 | total_width     = 620
 | image1    = ロジスティック写像2回反復グラフの周期倍化分岐の様（a = 2.7）.png
 | caption1=The relationship between <math>x_{n+2}</math> and <math>x_n</math> when r = 2.7, before the period doubling bifurcation occurs. The orbit converges to a fixed point <math>x_{f2}</math>.
 | image2    =ロジスティック写像2回反復グラフの周期倍化分岐の様（a = 3）.png
 | caption2=The relationship between <math>x_{n+2}</math> and <math>x_n</math> when r = 3. The tangent slope at the fixed point <math>x_{f2}</math> is exactly 1, and a period doubling bifurcation occurs.
 | image3    = ロジスティック写像2回反復グラフの周期倍化分岐の様（a = 3.3）.png
 | caption3  = The relationship between <math>x_{n+2}</math> and <math>x_n</math> when r = 3.3. <math>x_{f 2}</math> becomes unstable and the orbit converges to the periodic points <math>x^{(2)}_{f1}</math> and <math>x^{(2)}_{f2}</math>.
}}</div>

When we actually calculate the differential coefficients of two periodic points for the logistic map, we get

{{NumBlk|:|<math> (f^{2})'(x_{f}^{(2)})=4+2r-r^{2}</math>|{{EquationRef|3-9}}}}
<!--[ 123 ]--> 
When this is applied to equation (3-7), the parameter a becomes:
{{NumBlk|:|<math>\left|4+2r-r^{2}\right|<1</math>|{{EquationRef|3-10}}}}
It can be seen that the 2-periodic points are asymptotically stable when<!--[ 123 ]--> this range is <math>3 < r < 1 + \sqrt{6}</math>, i.e., when r exceeds <math>1 + \sqrt{6} = 3.44949...</math>, the 2-periodic points are no longer asymptotically stable and their behavior changes.<!--[ 124 ]-->

Almost all initial values in [0, 1] are attracted to the 2-periodic points, but <math>x_{f1}= 0</math> and <math>x_{f2} = 1 - 1/a</math>
remains as an unstable fixed point in [0,1].<!--[ 125 ]--> These unstable fixed points continue to remain in [0,1] even if r is increased.<!--[ 126 ]--> Therefore, when the initial value is exactly <math>x_{f1}</math> or <math>x_{f2}</math>, the orbit  does not attract to a 2-periodic point.<!--[ 127 ]--> Moreover, when the initial value is the final fixed point for <math>x_{f1}</math> or the final fixed point for <math>x_{f2}</math>, the orbit does not attract to a 2-periodic point.<!--[ 128 ]--> There are an infinite number of such final fixed points in [0, 1].<!--[ 127 ]--> However, the number of such points is negligibly small compared to the set of real numbers [ 0, 1].<!--[ 128 ]-->

==== Case when 3.44949 ≤ r ≤ 3.56995 ====
With {{mvar|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 {{OEIS|id=A086181}}.

With {{mvar|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 {{math|''δ'' ≈ 4.66920}}. This behavior is an example of a [[Period-doubling bifurcation|period-doubling cascade]].

When the parameter r exceeds <math>1 + \sqrt{6} = 3.44949...</math>, the previously stable 2-periodic points become unstable, stable 4-periodic points are generated, and the orbit gravitates toward a 4-periodic oscillation.<!--[ 129 ]--> That is, a period-doubling bifurcation occurs again at <math>r = 3.44949...</math>.<!--[ 130 ]--> The value of x at the 4-periodic point is also

{{NumBlk|:|<math>f(f(f(f(x)))) = f^{4}(x)=x</math>|{{EquationRef|3-11}}}}

satisfies, so that solving this equation allows the values of x at the 4-periodic points to be found.<!--[ 131 ]--> However, equation (3-11) is a 16th-order equation, and even if we factor out the four solutions for the fixed points and the 2-periodic points, it is still a 12th-order equation.<!--[ 131 ]--> Therefore, it is no longer possible to solve this equation to obtain an explicit function of a that represents the values of the 4-periodic points in the same way as for the 2-periodic points.<!--[ 132 ]-->

{| class="wikitable floatright" style="text-align:center;"
|+ Examples of branching points up to 256 periods<!--[ 133 ]-->
|-
|-
| The kth branch || Period 2<sup>''k''</sup> || Branch point ''a<sub>k</sub>''
|-
| 1 || 2 || 3.0000000
|-
| 2 || 4 || 3.4494896
|-
| 3 || 8 || 3.5440903
|-
| 4 || 16 || 3.5644073
|-
| 5 || 32 || 3.5687594
|-
| 6 || 64 || 3.5696916
|-
| 7 || 128 || 3.5698913
|-
| 8 || 256 || 3.5699340
|}

As a becomes larger, the stable 4-periodic point undergoes another period doubling, resulting in a stable 8-periodic point.<!--[ 134 ]--> As an increases, period doubling bifurcations occur infinitely: 16, 32, 64, ..., and so on, until an infinite period, i.e., an orbit that never returns to its original value.<!--[ 134 ]--> This infinite series of period doubling bifurcations is called a cascade.<!--[ 135 ]--> While these period doubling bifurcations occur infinitely, the intervals between a at which they occur decrease in a geometric progression.<!--[ 136 ]--> Thus, an infinite number of period doubling bifurcations occur before the parameter a reaches a finite value.<!--[ 134 ]--> Let the bifurcation from period 1 to period 2 that occurs at r = 3 be counted as the first period doubling bifurcation. Then, in this cascade of period doubling bifurcations, a stable 2k-periodic point occurs at the k-th bifurcation point. Let the k-th bifurcation point a be denoted as a k. In this case, it is known that <math>r_k</math> converges to the following value as k → ∞. {{OEIS|id=A098587}}<!--[ 137 ]-->

{{NumBlk|:|<math>r_{\infty }=\lim _{k\rightarrow \infty }r_{k}=3.56994...</math>|{{EquationRef|3-12}}}}

Furthermore, it is known that the rate of decrease of a k reaches a constant value in the limit, as shown in the following equation.<!--[ 138 ]-->

{{NumBlk|:|<math>\delta =\lim_{k\to \infty }{\frac {r_{k}-r_{k-1}}{r_{k+1}-r_{k}}}=4.66920...</math>|{{EquationRef|3-13}}}}

This value of δ is called the Feigenbaum constant because it was discovered by mathematical physicist Mitchell Feigenbaum.<!--[ 139 ]--> <math> r_\infty </math> is called the Feigenbaum point.{{cn | date=August 2025}} <!--[ 136 ]--> In the period doubling cascade, <math>f^m</math>  and <math>f^{2m}</math> have the property that they are locally identical after an appropriate scaling transformation.<!--[ 140 ]--> The Feigenbaum constant can be found by a technique called renormalization that exploits this self-similarity.<!--[ 140 ]--> The properties that the logistic map exhibits in the period doubling cascade are also universal in a broader class of maps, as will be discussed later.<!--[ 141 ]--> 

To get an overview of the final behavior of an orbit for a certain parameter, an approximate bifurcation diagram, orbital diagram, is useful.<!--[ 142 ]--> In this diagram, the horizontal axis is the parameter r and the vertical axis is the variable x, as in the bifurcation diagram.<!--[ 143 ]--> Using a computer, the parameters are determined and, for example, 500 iterations are performed.<!--[ 144 ]--> Then, the first 100 results are ignored and only the results of the remaining 400 are plotted.<!--[ 144 ]--> This allows the initial transient behavior to be ignored and the asymptotic behavior of the orbit remains.<!--[ 144 ]--> For example, when one point is plotted for r, it is a fixed point, and when m points are plotted for r, it corresponds to an m-periodic orbit.<!--[ 145 ]--> When an orbital diagram is drawn for the logistic map, it is possible to see how the branch representing the stable periodic orbit splits, which represents a cascade of period-doubling bifurcations.<!--[ 146 ]-->

[[File:ロジスティック写像、周期倍分岐カスケードの軌道図.png|class=skin-invert-image|thumb|center|520px|[[Bifurcation diagram]] of the period-doubling bifurcation cascade occurring between parameters <math>r_1 = 3</math> and <math>a_{\infty} = 3.56994...</math>. After 64 periods (<math>a_5</math>), the spacing becomes very narrow and almost collapses.]]
When the parameter <math>r = r_{\infty}</math> is exactly the accumulation point of the period-doubling cascade, the variable <math>x_n</math> is attracted to aperiodic orbits that never close.<!--[147]--> In other words, there exists a periodic point with infinite period at <math>r_{\infty}</math>.<!--[ 148 ]--> This aperiodic orbit is called the Feigenbaum attractor.<!--[ 149]--> The critical <math>2^{\infty}</math> attractor.<!--[ 150 ]--> An attractor is a term used to refer to a region that has the property of attracting surrounding orbits, and is the orbit that is eventually drawn into and continues.<!--[ 151 ]--> The attractive fixed points and periodic points mentioned above are also members of the attractor family.<!--[ 152 ]-->

The structure of the Feigenbaum attractor is the same as that of a fractal figure called the Cantor set.<!--[ 153 ]--> The number of points that compose the Feigenbaum attractor is infinite and their cardinality is equal to the real numbers.<!--[ 154 ]--> However, no matter which two of the points are chosen, there is always an unstable periodic point between them, and the distribution of the points is not continuous.<!--[ 155 ]--> The fractal dimension of the Feigenbaum attractor, the Hausdorff dimension or capacity dimension, is known to be approximately 0.54.<!--[ 156 ]-->
[[File:Cantor set in seven iterations.svg|class=skin-invert-image|thumb|center|520px|An example of the construction of a Cantor set: if you keep removing the central third of a line segment infinitely, you will end up with a shape that appears to have zero length but has an uncountably infinite number of points, each of which has an infinitesimal neighborhood of other points.<!--[ 157 ]-->]]

==== Case when 3.56995 < r < 4 ====
===== Qualitative Summary =====
[[File:Feigenbaum Tree.gif|class=skin-invert-image|thumb|284x284px|Evolution of different initial conditions as a function of {{mvar|r}} (The parameter k from the figure corresponds to the parameter r from the definition in the article.)]]
[[File:Feigenbaum tree with bias.gif|class=skin-invert-image|thumb|Evolution of different initial conditions as a function of ''{{mvar|r}}'' with bias (The parameter k from the figure corresponds to the parameter r from the definition in the article.)|283x283px]]

* At {{math|''r'' ≈ 3.56995}} {{OEIS|id=A098587}} 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.
* This number shall be compared and understood as the equivalent of the [[Reynolds number]] for the onset of other chaotic phenomena such as [[Physics:Turbulence|turbulence]] and similar to the [[Physics:Critical temperature|critical temperature]] of a [[Physics:Phase transition|phase transition]]. In essence the [[Physics:Phase space|phase space]] contains a full subspace of cases with extra dynamical variables to characterize the microscopic state of the system, these can be understood as Eddies in the case of turbulence and order parameters in the case of [[Physics:Phase transitions|phase transitions]].
* Most values of {{mvar|r}} beyond 3.56995 exhibit chaotic behaviour, but there are still certain isolated ranges of {{mvar|r}} that show non-chaotic behavior; these are sometimes called ''islands of stability''. For instance, beginning at 1&nbsp;+&nbsp;{{sqrt|8}}<ref>{{cite journal|last=Zhang |first=Cheng |title=Period three begins |journal=Mathematics Magazine |volume=83 |date=October 2010 |issue=4 |pages=295–297 |doi=10.4169/002557010x521859|s2cid=123124113 }}</ref> (approximately 3.82843) there is a range of parameters {{mvar|r}} that show oscillation among three values, and for slightly higher values of {{mvar|r}} oscillation among 6 values, then 12 etc.
* At <math>r = 1 + \sqrt 8 = 3.8284...</math>, the stable period-3 cycle emerges.<ref>{{Cite journal |last=Bechhoefer |first=John |date=1996-04-01 |title=The Birth of Period 3, Revisited |url=https://doi.org/10.1080/0025570X.1996.11996402 |journal=Mathematics Magazine |volume=69 |issue=2 |pages=115–118 |doi=10.1080/0025570X.1996.11996402 |issn=0025-570X|url-access=subscription }}</ref>
* The development of the chaotic behavior of the logistic sequence as the parameter {{mvar|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.<ref name="carson82">{{cite journal|first1=Carson |last1=Jeffries|first2=José |last2=Pérez |journal=[[Physical Review A]]|year=1982|title=Observation of a Pomeau–Manneville intermittent route to chaos in a nonlinear oscillator|volume=26 |issue=4 |pages=2117–2122|doi=10.1103/PhysRevA.26.2117|bibcode = 1982PhRvA..26.2117J |s2cid=119466337 |url=http://www.escholarship.org/uc/item/2dm2k8mm}}</ref> There are other ranges that yield oscillation among 5 values etc.; all oscillation periods occur for some values of {{mvar|r}}.  A ''period-doubling window'' with parameter {{mvar|c}} is a range of {{mvar|r}}-values consisting of a succession of subranges.  The {{mvar|k}}th subrange contains the values of {{mvar|r}} for which there is a stable cycle (a cycle that attracts a set of initial points of unit measure) of period {{math|2<sup>''k''</sup>''c''}}.  This sequence of sub-ranges is called a ''cascade of harmonics''.<ref name=":2" group="May, Robert M. (1976)"/> In a sub-range with a stable cycle of period {{math|2<sup>''k''*</sup>''c''}}, there are unstable cycles of period {{math|2<sup>''k''</sup>''c''}} for all {{math|''k'' < ''k''*}}.  The {{mvar|r}} value at the end of the infinite sequence of sub-ranges is called the ''point of accumulation'' of the cascade of harmonics.  As {{mvar|r}} rises there is a succession of new windows with different {{mvar|c}} values.  The first one is for {{math|''c'' {{=}} 1}}; all subsequent windows involving odd {{mvar|c}} occur in decreasing order of {{mvar|c}} starting with arbitrarily large {{mvar|c}}.<ref name=":2" group="May, Robert M. (1976)"/><ref>{{cite journal |last1=Baumol |first1=William J. |last2=Benhabib |first2=Jess |author-link2=Jess Benhabib |title=Chaos: Significance, Mechanism, and Economic Applications |journal=[[Finance:Journal of Economic Perspectives|Journal of Economic Perspectives]] |date=February 1989 |volume=3 |issue=1 |pages=77–105 |doi=10.1257/jep.3.1.77 |doi-access=free }}</ref>  
* At <math>r = 3.678..., x = 0.728...</math>, two chaotic bands of the bifurcation diagram intersect in the first [[Misiurewicz point]] for the logistic map. It satisfies the equations <math>r^3 - 2r^2 - 4r -8 = 0, x = 1-1/r</math>.<ref>{{Cite web |title=Misiurewicz Point of the Logistic Map |url=https://sprott.physics.wisc.edu/chaos/mispoint.htm |access-date=2023-05-08 |website=sprott.physics.wisc.edu}}</ref>  
* Beyond {{math|''r'' {{=}} 4}}, almost all initial values eventually leave the interval {{math|[0,1]}} and diverge. The set of initial conditions which remain within {{math|[0,1]}} form a [[Cantor set]] and the dynamics restricted to this Cantor set is chaotic.<ref>{{cite book |last1=Teschl |first1=Gerald | title=Ordinary Differential Equations and Dynamical Systems |url=https://www.mat.univie.ac.at/~gerald/ftp/book-ode/index.html |url-access=registration |publisher=Amer. Math Soc. |year=2012 |isbn=978-0-8218-8328-0 }}</ref>

For any value of {{mvar|r}} there is at most one stable cycle.  If a stable cycle exists, it is globally stable,  attracting almost all points.<ref>{{cite book |last1=Collet |first1=Pierre |first2=Jean-Pierre |last2=Eckmann |title=Iterated Maps on the Interval as Dynamical Systems |url=https://archive.org/details/iteratedmapsonin0000coll |url-access=registration |publisher=Birkhauser |year=1980 |isbn=978-3-7643-3026-2 }}</ref>{{rp|13}}  Some values of {{mvar|r}} with a stable cycle of some period have infinitely many unstable cycles of various periods.

[[File:Logistic Bifurcation map High Resolution.png|class=skin-invert-image|thumb|right|[[Bifurcation diagram]] for the logistic map.
The [[Attractor|attractor]] for any value of the parameter {{mvar|r}} is shown on the vertical line at that {{mvar|r}}.]]

The [[Bifurcation diagram|bifurcation diagram]] {{if mobile|above|at right}} summarizes this. The horizontal axis shows the possible values of the parameter {{mvar|r}} while the vertical axis shows the set of values of {{mvar|x}} visited asymptotically from almost all initial conditions by the iterates of the logistic equation with that {{mvar|r}} value.

The bifurcation diagram is a self-similar: if we zoom in on the above-mentioned value {{math|''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 [[Fractal|fractal]]s.


<div class=skin-invert-image>{{multiple image
| align             = center
| direction         = horizontal
| total_width       = 900
| image1            = Subsection Bifurcation Diagram Logistic Map.png
| caption1          = Magnification of the chaotic region of the map
| image2            = Logistic map bifurcation diagram magnifications.png
| caption2          = 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]]
}}</div>

We can also consider negative values of {{mvar|r}}:
* For {{mvar|r}} between -2 and -1 the logistic sequence also features chaotic behavior.<ref name="Takashi Tsuchiya, Daisuke Yamagishi, 1997">{{cite journal|last1=Tsuchiya|first1=Takashi|last2=Yamagishi|first2=Daisuke|date=February 11, 1997|title=The Complete Bifurcation Diagram for the Logistic Map|journal=Z. Naturforsch.|volume=52a|issue=6–7 |pages=513–516|doi=10.1515/zna-1997-6-708 |bibcode=1997ZNatA..52..513T |s2cid=101491730 |doi-access=free}}</ref>
* With {{mvar|r}} between -1 and 1&nbsp;-&nbsp;{{sqrt|6}} and for {{mvar|x}}<sub>0</sub> between 1/{{mvar|r}} and 1-1/{{mvar|r}}, the population will approach permanent oscillations between two values, as with the case of {{mvar|r}} between 3 and 1&nbsp;+&nbsp;{{sqrt|6}}, and given by the same formula.<ref name="Takashi Tsuchiya, Daisuke Yamagishi, 1997"/>

=====The Emergence of Chaos=====
<div class=skin-invert-image>{{multiple image
| align             = center
| direction         = horizontal
| total_width       = 620
| image1            = パラメータ3.82のロジスティック写像における微差の初期値から出発する2つの軌道.png
| caption1          = Chaotic orbits of the logistic map when r = 3.82. The orange squares are orbits starting from <math>x_0 = 0.1234</math>, and the blue-green circles are orbits starting from <math>\hat{x}_0 = 0.1234 + 10^{-9}</math>.
| image2            = パラメータ3.82のロジスティック写像におけるズレの進展.png
| caption2          = The trajectory starting from x 0 = 0.1234 and ˆx The difference in orbits starting from <math>x_0 = 0.1234 + 10^{-9}</math> grows exponentially. The vertical axis is <math>\Delta x_n = | x_n - \hat{x}_n |</math>,shown on a [[Logarithmic scale|logarithmic scale]].
}}</div>

When the parameter r exceeds <math>r_{\infty} = 3.56994...</math>, the logistic map exhibits chaotic behavior.<!--[ 145 ]--> Roughly speaking, chaos is a complex and irregular behavior that occurs despite the fact that the difference equation describing the logistic map has no probabilistic ambiguity and the next state is completely and uniquely determined.<!--[ 158 ]--> The range of <math>r > r_{\infty}</math> of the logistic map is called the chaotic region.<!--[ 159 ]-->

One of the properties of chaos is its unpredictability, symbolized by the term [[Butterfly effect|butterfly effect]].<!--[ 160 ]--> This is due to the property of chaos that a slight difference in the initial state can lead to a huge difference in the later state.<!--[ 160 ]--> In terms of a discrete dynamical system, if we have two initial values <math>x_0</math> and <math>\hat{x}_0</math>
No matter how close they are, once time n has progressed to a certain extent, each destination <math>x_n</math> and <math>\hat{x}_n</math> can vary significantly.<!--[ 161 ]--> For example, use <math>r = 3.95, x_0 = 0.1, \hat{x}_0=x_0+10^{-9}</math>
If the orbits are calculated using two very similar initial values, 0 = 0.1000000001, the difference grows to macroscopic values that are clearly visible on the graph after about 29 iterations.<!--[ 162 ]-->

This property of chaos, called initial condition sensitivity, can be quantitatively expressed by the [[Lyapunov exponent]]. For a one-dimensional map, the Lyapunov exponent λ can be calculated as follows<!--[ 163 ]-->:

{{NumBlk|:|<math>{\displaystyle \lambda =\lim _{N\to \infty }{\frac {1}{N}}\sum _{i=0}^{N-1}\log \left|f^{\prime }(x_{i})\right\vert }</math>|{{EquationRef|3-14}}}}

Here, log means natural logarithm. This λ is the distance between the two orbits (<math>x_n</math> and
<math>\hat{x}_n</math>).
A positive value of λ indicates that the system is sensitive to initial conditions, while a zero or negative value indicates that the system is not sensitive to initial conditions.<!--[ 164 ]--> When calculating λ of numerically, it can be confirmed λ remains in the range of zero or negative values in the range <math>r < r_{\infty}</math>, and that λ can take positive values in the range <math>r > r_{\infty}</math>.<!--[ 165 ]-->

'''Window, intermittent'''

Even beyond <math>r_{\infty}</math>, the behavior does not depend simply on the parameter r.<!--[ 166 ]--> Many sophisticated mathematical structures lurk in the chaotic region for <math>r > r_{\infty}</math>.<!--[ 167 ]--> In this region, chaos does not persist forever; stable periodic orbits reappear.<!--[ 166 ]--> The behavior for <math>r_{\infty}< a \le 4</math> can be broadly divided into two types:<!--[ 168 ]-->

* Stable periodic point: In this case, the Lyapunov exponent is negative.
* Aperiodic orbits: In this case, the Lyapunov exponent is positive.
The region of stable periodic points that exists for r <math>r_{\infty} < r \le 4</math> is called a periodic window, or simply a window.<!--[ 169 ]--> If one looks at a chaotic region in an orbital diagram, the region of nonperiodic orbits looks like a cloud of countless points, with the windows being the scattered blanks surrounded by the cloud.<!--[ 170 ]-->

{{Image frame|width=620|content=[[File:Logistic orbit map 3.55 to 4.png|class=skin-invert-image|620px]]
|caption=Orbit diagram of the logistic map from r = 3.55 to r = 4 (parameter is denoted as r in the diagram)|align=center}}

In each window, the cascade of period-doubling bifurcations that occurred before <math>r_{\infty} = 3.56994...</math> occurs again.<!--[ 171 ]--> However, instead of the previous stable periodic orbits of 2 k, new stable periodic orbits such as 3×2 k and 5×2 k are generated.<!--[ 172 ]--> The first window has a period of p, and the windows from which the period-doubling cascade occurs are called windows of period p, etc..<!--[ 173 ]--> For example, a window of period 3 exists in the region around 3.8284 < a < 3.8415, and within this region the period doublings are: 3, 6, 12, 24, ..., 3×2 k, ....<!--[ 174 ]-->

[[File:ロジスティック写像の過渡カオス.png|class=skin-invert-image|thumb|Transient chaos at a = 3.8285. The system behaves chaotically until it is attracted into a periodic 3 orbit.]]

In the window region, chaos does not disappear but exists in the background.<!--[ 175 ]--> However, this chaos is unstable, so only stable periodic orbits are observed.<!--[ 175 ]--> In the window region, this potential chaos appears before the orbit is attracted from its initial state to a stable periodic orbit.<!--[ 176]--> Such chaos is called transient chaos.<!--[177 ]--> In this potential presence of chaos, windows differ from the periodic orbits that appeared before a∞.<!--[ 175 ]-->

There are an infinite number of windows in the range a∞ < a < 4.<!--[ 178 ]--> The windows have various periods, and there is a window with a period for every natural number greater than or equal to three.<!--[ 179 ] --> However, each window does not occur exactly once.<!-- [ 180 ]--> The larger the value of p, the more often a window with that period occurs.<!--[ 181 ]--> A window with period 3 occurs only once, while a window with period 13 occurs 315 times.<!--[ 182 ]--> When a periodic orbit of 3 occurs in the window with period 3, the Szarkovsky order is completed, and all orbits with all periods have been seen.<!--[ 183 ]-->

If we restrict ourselves to the case where p is a prime number, the number of windows with period p is

{{NumBlk|:|<math>{\displaystyle N_{p}={\frac {2^{p-1}-1}{p}}}</math>|{{EquationRef|3-15}}}}

<!--[ 184 ]--> 

This formula was derived for p to be a prime number, but in fact it is possible to calculate with good accuracy the number of stable p- periodic points for non-prime p as well.<!--[ 181 ]-->

The window width (the difference between a where the window begins and a where the window ends) is widest for windows with period 3 and narrows for larger periods.<!--[ 185 ]--> For example, the window width for a window with period 13 is about 3.13 × 10−6.<!--[ 186 ]--> Rough estimates suggest that about 10% of <math>[ r_{\infty}, 4]</math> is in the window region, with the rest dominated by chaotic orbits.<!--[ 187 ]-->

The change from chaos to a window as r is increased is caused by a tangent bifurcation,<!--[ 188 ]--> where the map curve is tangent to the diagonal of y = x at the moment of bifurcation, and further parameter changes result in two fixed points where the curve and the line intersect.<!--[ 189 ]--> For a window of period p, the iterated map <math>f^p(x)</math> exhibits tangent bifurcation, resulting in stable p-periodic orbits.<!--[ 168 ]--> The exact value of the bifurcation point for a window of period 3 is known, and if the value of this bifurcation point r is <math>r_3</math>, then <math>r_3 = 1 + \sqrt{8} = 3.828427...</math>.<!--[ 190 ]--> The outline of this bifurcation can be understood by considering the graph of <math>f^3(x)</math> (vertical axis <math>x_{n+3}</math>, horizontal axis <math>x_n</math>).<!--[ 191 ]-->  

<div class=skin-invert-image>{{multiple image
| align             = center
| direction         = horizontal
| total_width       = 620
| image1            = ロジスティック写像3回反復グラフの接線分岐の様子 (0.99xa).png
| caption1          = Graph of <math>f^3(x)</math> when r is slightly less than 3. The graph is not tangent except at the fixed points, and there are no 3-periodic points.
| image2            =ロジスティック写像3回反復グラフの接線分岐の様子 (1.00xa).png
| caption2          = When a is exactly 3, the graph touches the diagonal at exactly three points, resulting in three periodic points.
| image3            = ロジスティック写像3回反復グラフの接線分岐の様子 (1.01xa).png
| caption3          = When a is slightly greater than 3, the graph passes the diagonal and splits into stable and unstable 3-periodic points.}}</div>

When we look at the behavior of <math>x_n</math> when r = 3.8282, which is slightly smaller than the branch point <math>r_3</math>, we can see that in addition to the irregular changes, there is also a behavior that changes periodically with approximately three periods, and these occur alternately.<!--[ 192 ]--> This type of periodic behavior is called a "laminar", and the irregular behavior is called a burst, in analogy with  fluids.<!--[ 193 ]--> There is no regularity in the length of the time periods of the bursts and laminars, and they change irregularly.<!--[ 194 ]--> However, when we observe the behavior at r = 3.828327, which is closer to <math>r_3</math>, the average length of the laminars is longer and the average length of the bursts is shorter than when r = 3.8282.<!--[194]--> If we further increase r, the length of the laminars becomes larger and larger, and at <math>r_3</math> it changes to a perfect three- period.<!--[ 195 ]-->

<div class=skin-invert-image>{{multiple image
| align             = center
| direction         = horizontal
| total_width       = 620
| image1            = Logistic map time evolution a=3.8282.png
| caption1          = Time series when r = 3.8282
| image2            = Logistic map time evolution a=3.828327.png
| caption2          = Time series when r = 3.828327
| footnote          = The intermittency that occurs just before <math>r_3 = 3.828427...</math> The part where the three almost identical values continue periodically is a laminar, and the part where chaotic irregular changes occur is a burst.
}}</div>

The phenomenon in which orderly motions called laminars and disorderly motions called bursts occur intermittently is called intermittency or intermittent chaos.<!--[ 196 ]--> If we consider the parameter a decreasing from a3, this is a type of emergence of chaos.<!--[ 197 ]--> As the parameter moves away from the window, bursts become more dominant, eventually resulting in a completely chaotic state.<!--[ 198 ]--> This is also a general route to chaos, like the period doubling bifurcation route mentioned above, and routes characterized by the emergence of intermittent chaos due to tangent bifurcations are called intermittency routes.<!--[ 199 ]-->

[[File:Laminar channel in three times iterated logistic map.png|class=skin-invert-image|thumb|Channel patterns appearing in the graph of f3 (x)]]

The mechanism of intermittency can also be understood from the graph of the map.<!--[ 194 ]--> When <math>r</math> is slightly smaller than <math>r_3</math>, there is a very small gap between the graph of <math>f^3(x)</math> and the diagonal<!--[ 190  ]-->. This gap is called a channel, and many iterations of the map occur as the orbit passes through the narrow channel.<!--[ 200 ]--> During the passage through this channel, <math>x_n</math> and <math>x_{n + 3}</math> become very close, and the variables change almost like a periodic three orbit.<!--[ 198 ]--> This corresponds to a laminar.<!--[ 201 ]--> The orbit eventually leaves the narrow channel, but returns to the channel again as a result of the global structure of the map.<!--[ 202 ]--> While leaving the channel, it behaves chaotically.<!--[ 202 ]--> This corresponds to a burst.<!--[ 201 ]-->

'''Band, window finish'''

Looking at the entire chaotic domain, whether it is chaotic or windowed, the maximum and minimum values on the vertical axis of the orbital diagram (the upper and lower limits of the attractor) are limited to a certain range.<!--[ 203 ]--> As shown in equation (2-1), the maximum value of the logistic map is given by r/4, which is the upper limit of the attractor.<!--[ 204 ]--> The lower limit of the attractor is given by the point f(r/4) where r/4 is mapped.<!--[ 204 ]--> Ultimately, the maximum and minimum values at which xn moves on the orbital diagram depend on the parameter r

{{NumBlk|:|<math>{\displaystyle {\frac {r^{2}(4-r)}{16}}\leq x_{n}\leq {\frac {r}{4}}}</math>|{{EquationRef|3-16}}}}

<!--[ 203 ]-->
Finally, for r = 4, the orbit spans the entire range [0, 1].<!--[ 205 ]-->

When observing an orbital map, the distribution of points has a characteristic shading.<!--[ 206 ]--> Darker areas indicate that the variable takes on values in the vicinity of the darker areas, whereas lighter areas indicate that the variable takes on values in the vicinity of the darker areas.{{clarify inline| date=March 2025}}<!--[ 206 ]--> These differences in the frequency of the points are due to the shape of the graph of the logistic map.<!--[ 206 ]--> The top of the graph, near r/4, attracts orbits with high frequency, and the area near f(r/4) that is mapped from there also becomes highly frequent, and the area near <math>f^2(r/4)</math> that is mapped from there also becomes  highly frequent, and so on.<!--[ 206 ]--> The density distribution of points generated by the map is characterized by a quantity called an invariant measure or distribution function, and the invariant measure of the attractor is reproducible regardless of the initial value.<!--[ 207 ]-->

Looking at the beginning of the chaotic region of the orbit diagram, just beyond the accumulation point <math>r_{\infty} = 3.56994</math> of the first period - doubling cascade, one can see that the orbit is divided into several subregions.<!--[ 208 ]--> These subregions are called bands.<!--[ 209 ]--> When there are multiple bands, the orbit moves through each band in a regular order, but the values within each band are irregular.<!--[ 210 ]--> Such chaotic orbits are called band chaos or periodic chaos, and chaos with k bands is called k -band chaos.<!--[ 211 ]--> Two-band chaos lies in the range 3.590 < r < 3.675, approximately.<!--[ 212 ]-->

{{Image frame|width=620|content=[[File:Bands of logistic map from 1 to 8.png|class=skin-invert-image|620px]]
|caption=Band structure. Because the <math>e_p</math> spacing rapidly decreases, it is not possible to show more than eight bands. The top and bottom lines, which contain the orbitals, are within the range of equation (3-16).|align=center}}

As the value of r is further decreased from the left-hand end of two-band chaos, r = 3.590, the number of bands doubles, just as in the period doubling bifurcation.<!--[ 212 ]--> Let <math>e_p</math> (for p = 1, 2, 4, ..., 2k, ...) denote the bifurcation points where p − 1 band chaos splits into p band chaos, or where p band chaos merges into p − 1 band chaos. Then, just as in the period doubling bifurcation, e p accumulates to a value as p → ∞.<!--[ 213 ]--> At this accumulation point <math>e_{\infty}</math>, the number of bands becomes infinite, and the value of <math>e_{\infty}</math> is equal to the value of <math>r_{\infty}</math>.<!--[ 214 ]-->

[[File:ロジスティック写像の全体の自己相似.png|class=skin-invert-image|thumb|Self-similar hierarchical structure of the entire trajectory map of the logistic map]]

Similarly, for the bifurcation points of the period-doubling bifurcation cascade that appeared before a∞, let a p (where p = 1, 2, 4, ..., 2k, ...) denote the bifurcation points where p stable periodic orbits branch into p + 1 stable periodic orbits. In this case, if we look at the orbital diagram from <math>r_2</math> to <math>e_2</math>, there are two reduced versions of the global orbital diagram from <math>r_1</math> to <math>e_1</math> in the orbital diagram from <math>r_2</math> to <math>e_2</math><!--[215]-->. Similarly, if we look at the orbital diagram from <math>r_4</math> to <math>e_4</math>, there are four reduced versions of the global orbital diagram from a1 to e1 in the orbital diagram from <math>r_4</math> to <math>e_4</math>.<!--[ 215 ]--> Similarly, there are p reduced versions of the global orbital diagram in the orbital diagram from ap to ep, and the branching structure of the logistic map has an infinite self-similar hierarchy.<!--[ 215 ]-->

[[File:ロジスティック写像の窓の自己相似.png|class=skin-invert-image|thumb|Self-similar hierarchical structure of windows of the logistic map]]

A self-similar hierarchy of bifurcation structures also exists within windows.<!--[ 216 ]--> The period-doubling bifurcation cascades within a window follow the same path as the cascades of period-2k bifurcations.<!--[ 217 ]--> That is, there are an infinite number of period-doubling bifurcations within a window, after which the behavior becomes chaotic again.<!--[ 217 ]--> For example, in a window of period 3, the cascade of stable periodic orbits ends at <math>a_{3\infty}</math> ≈ 3.8495.<!--[ 218 ]--> After <math>a_{3\infty}</math> ≈ 3.8495, the behavior becomes band chaos of multiples of three.<!--[ 218 ]--> As a increases from <math>a_{3\infty}</math>, these band chaos also merge by twos, until at the end of the window there are three bands.<!--[ 219 ]--> Within such bands within a window, there are an infinite number of windows.<!--[ 220 ]--> Ultimately, the window contains a miniature version of the entire orbital diagram for 1 ≤ a ≤ 4, and within the window there exists a self-similar hierarchy of branchings.<!--[ 221 ]-->

At the end of the window, the system reverts to widespread chaos. For a period 3 window, the final 3-band chaos turns into large-area 1-band chaos at a ≈ 3.857, ending the window.<!--[ 222 ]--> However, this change is discontinuous, and the 3-band chaotic attractor suddenly changes size and turns into a 1-band.<!--[ 223 ]--> Such discontinuous changes in attractor size are called crises.<!--[ 224 ]--> Crises of this kind, which occur at the end of a window, are also called internal crises.<!--[ 225 ]--> When a crisis occurs at the end of a window, a stable periodic orbit just touches an unstable periodic point that is not visible on the orbit diagram.<!--[ 226 ]--> This creates an exit point through which the periodic orbits can escape, resulting in an internal crisis.<!--[ 227 ]--> Immediately after the internal crisis, there are periods of widespread chaos, and periods of time when the original band chaotic behavior reoccurs, resulting in a kind of intermittency similar to that observed at the beginning of a window.<!--[ 197 ]-->

==== When r = 4 ====
{{Image frame|width=620|content=[[File:Logistic map cobweb and time evolution a=4.png|class=skin-invert-image|620px]]
|caption=Spider diagram of the logistic map with parameter r = 4 (left) and time series up to n = 500 (right) for the initial value <math>x_0</math> = 0.3.|align=center}}

When the parameter r = 4, the behavior becomes chaotic over the entire range [0, 1].<!--[ 205 ]--> At this time, the Lyapunov exponent λ is maximized, and the state is the most chaotic.<!--[ 228 ]--> The value of λ for the logistic map at r = 4 can be calculated precisely, and its value is λ = log 2.<!--[ 229 ]--> Although a strict mathematical definition of chaos has not yet been unified, it can be shown that the logistic map with r = 4 is chaotic on [0, 1] according to one well-known definition of chaos.<!--[ 231 ]-->

[[File:ロジスティック写像分布関数.png|class=skin-invert-image|thumb|Graph of the invariant measure ρ(x) for r = 4. The dot plot shows the actual frequency of points obtained over 10,000 iterations (with height scaled to ρ (x)).]]

The invariant measure of the density of points, ρ(x), can also be given by the exact function ρ(x) for r = 4<!--[ 232 ]-->:

{{NumBlk|:|<math>{\displaystyle \rho (x)={\frac {1}{\pi {\sqrt {x(1-x)}}}}}</math>|{{EquationRef|3-17}}}}

Here, ρ(x) means that the fraction of points xn that fall in the infinitesimal interval [x,x+dx] when the map is iterated is given by ρ(x) dx.<!--[ 233 ]--> The frequency distribution of the logistic map with r = 4 has high density near both sides of [0, 1] and is least dense at x = 0.5.<!--[ 234 ]-->

When r = 4, apart from chaotic orbits, there are also periodic orbits with any period.<!--[ 235 ]--> For a natural number n, the graph of <math>f_{r=4}^n(x)</math> is a curve with <math>2^{n-1}</math> peaks and <math>2^{n-1}-1</math> valleys, all of which are tangent to 0 and 1.<!--[ 180 ]--> Thus, the number of intersections between the diagonal and the graph is <math>2^n</math>, and there are <math>2^n</math> fixed points of <math>f^n(x)</math>.<!--[ 180 ]--> The n-periodic points are always included in these <math>2^n</math> fixed points, so any n-periodic orbit exists for <math>f_{r = 4}^n(x)</math>.<!--[ 235 ]--> Thus,when r = 4, there are an infinite number of periodic points on [0, 1], but all of these periodic points are unstable.<!--[ 145 ]--> Furthermore,the uncountably infinite set in the interval [0, 1], the number of periodic points is countably infinite, and so almost all orbits starting from initial values are not periodic but non-periodic.<!--[ 145 ]--> 

[[File:ロジスティック写像と記号力学系.png|class=skin-invert-image|thumb|If we convert the orbit of the logistic map <math>f_{r=4}</math> into a string of 0s and 1s, we can reproduce any string of symbols.]]

One of the important aspects of chaos is its dual nature: deterministic and stochastic.<!--[ 236]--> Dynamical systems are deterministic processes, but when the range of variables is appropriately coarse-grained, they become indistinguishable from stochastic processes.<!--[236 ]--> In the case of the logistic map with r = 4, the outcome of every coin toss can be described by the trajectory of the logistic map.<!--[ 236 ]--> This can be elaborated as follows.<!--[ 237 ]-->

Assume that a coin is tossed with a probability of 1/2 landing on heads or tails, and the coin is tossed repeatedly. If heads is 0 and tails is 1, then the result of heads, tails, heads, tails, etc. will be a symbol string such as 01001.... On the other hand, for the trajectory <math>x_0, x_1, x_2, ...</math> of the logistic map, values less than x = 0.5 are converted to 0 and values greater than x = 0.5 are converted to 1, and the trajectory is replaced with a symbol string consisting of 0s and 1s. For example, if the initial value is <math>x_0 = 0.2</math>, then <math>x_1 = 0.64</math>, <math>x_2 = 0.9216</math>, <math>x_3 = 0.28901</math>, ..., so the trajectory will be the symbol string 0110.... Let <math>S_C</math> be the symbol string resulting from the former coin toss, and <math>S_L</math> be the symbol string resulting from the latter logistic map. The symbols in the symbol string <math>S_C</math> were determined by random coin tossing, so any number sequence patterns are possible. So, whatever the string <math>S_L</math> of the logistic map, there is an identical one in <math>S_C</math>. And, what is "remarkable" is that the converse is also true: whatever the string of <math>S_C</math>, it can be realized by a logistic map trajectory <math>S_L</math> by choosing the appropriate initial values. That is, for any <math>S_C</math>, there exists a unique point <math>x_0</math> in [0, 1] such that <math>S_C = S_L</math>.<!--[ 237 ]-->


==== When r > 4 ====
[[File:A=4.5のロジスティック写像.png|class=skin-invert-image|thumb|For the logistic map with r = 4.5, trajectories starting from almost any point in [0, 1] go towards minus infinity.]]

When the parameter r exceeds 4, the vertex r /4 of the logistic map graph exceeds 1.<!--[ 238 ]--> To the extent that the graph penetrates 1, trajectories can escape [0, 1]<!--[ 238 ]--.. As a result, trajectories that start from almost any point in [0, 1] will at some point escape [0, 1] and eventually diverge to minus infinity <!/--[ 239 ]-->.

The bifurcation at r = 4 is also a type of crisis, specifically a boundary crisis.<!--[ 240 ]--> In this case, the attractor at [0, 1] becomes unstable and collapses, and since there is no attractor outside it, the trajectory diverges to infinity.<!--[ 240 ]-->

On the other hand, there are orbits that remain in [0, 1] even if r > 4.<!--[ 241 ]--> Easy-to-understand examples are fixed points and periodic points in [0, 1], which remain in [0, 1].<!--[ 241 ]--> However, there are also orbits that remain in [0, 1] other than fixed points and periodic points.<!--[ 242 ]-->

Let <math>A_0</math> be the interval of x such that f  (x) > 1. As mentioned above,once a variable <math>x_n</math> enters <math>A_0</math>, it diverges to minus infinity. There is also <math>r_n</math> x in [0, 1] that maps to <math>A_0</math> after one application of the map. This interval of x is divided into two, which are collectively called <math>A_1</math>. Similarly, there are four intervals that map to <math>A_1</math> after one application of the map, which are collectively called <math>A_2</math>. Similarly,there are 2n intervals <math>A_n</math> that reach <math>A_0</math> after n iterations.<!--[ 243 ]--> Therefore, the interval <math>\Lambda</math> obtained by removing <math>A_n</math> from [0, 1] an infinite number of times as follows is a collection of orbits that remain in I.<!--[ 244 ]-->

{{NumBlk|:|<math>{\displaystyle \Lambda =\left[0,\ 1\right]-\bigcup _{n=0}^{\infty }A_{n}}</math>|{{EquationRef|3-18}}}}

The process of removing <math>A_n</math> from [0, 1] is similar to the construction of the Cantor set mentioned above, and in fact Λ exists in [0, 1] as a Cantor set (a closed, completely disconnected, and complete subset of [0, 1]).<!--[ 245 ]--> Furthermore, on <math>\Lambda</math>, the logistic map <math>f_{r >4}</math> is chaotic.<!--[ 246 ]-->

==== When r < 0 ====

Since the logistic map has been often studied as an ecological model, the case where the parameter r is negative has rarely been discussed.<!--[ 58 ]--> As a decreases from 0, when −1 < r < 0, the map asymptotically approaches a stable fixed point of xf = 0, but when a exceeds −1, it bifurcates into two periodic points, and as in the case of positive values, it passes through a period doubling bifurcation and reaches chaos.<!--[ 58 ]--> Finally, when a falls below −2, the map diverges to plus infinity.<!--[ 58 ]-->

{{Image frame|width=620|content=[[File:Bifurcation diagram logistic map (-2 to 4).png|class=skin-invert-image|620px]]
|caption=Orbit diagram for parameter r from −2 to 4. The orbit diverges when the parameter a goes beyond this range, both on the negative and positive sides.|align=center}}

==== Exact solutions for special cases ====
For a logistic map with a specific parameter <math>a</math>, an exact solution that explicitly includes the time <math>n</math> and the initial value <math>x_0</math> has been obtained as follows.

When r = 4<!--[ 247 ]-->

{{NumBlk|:|<math>{\displaystyle x_{n}={\frac {1-\cos \left[2^{n}\arccos(1-2x_{0})\right]}{2}}}</math>|{{EquationRef|3-19}}}}

When r = 2<!--[ 248 ]-->

{{NumBlk|:|<math>{\displaystyle x_{n}={\frac {1-\exp \left[2^{n}\log(1-2x_{0})\right]}{2}}}</math>|{{EquationRef|3-20}}}}

When r = −2<!--[ 249 ]-->

{{NumBlk|:|<math>{\displaystyle x_{n}={\frac {1}{2}}-\cos \left\{{\frac {1}{3}}\left[\pi -(-2)^{n}\left(\pi -3\arccos({\frac {1}{2}}-x_{0})\right)\right]\right\}}		</math>|{{EquationRef|3-21}}}}

Considering the three exact solutions above, all of them are

{{NumBlk|:|<math>{\displaystyle x_{n}={\frac {1}{2}}\left\{1-f\left[a^{n}f^{-1}(1-2x_{0})\right] \right\}}</math>|{{EquationRef|3-22}}}}

==Chaos and the logistic map==
[[Image:LogisticCobwebChaos.gif|class=skin-invert-image|thumb|right|A [[cobweb diagram]] of the logistic map, showing chaotic behaviour for most values of {{math|''r'' > 3.57}}]]
[[File:Iterated logistic functions.svg|class=skin-invert-image|right|thumb|[[Logistic function]] {{mvar|f}} (blue) and its iterated versions {{math|''f''{{isup|2}}}}, {{math|''f''{{isup|3}}}}, {{math|''f''{{isup|4}}}} and {{math|''f''{{isup|5}}}} for {{math|''r'' {{=}} 3.5}}. For example, for any initial value on the horizontal axis, {{math|''f''{{isup|4}}}} 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 exhibits:<ref name=":2" group="Devaney 1989">{{harvnb|Devaney|1989|p=50}}</ref> (see [[Chaos theory#Chaotic dynamics|Chaotic dynamics]])
* [[Butterfly effect|Great sensitivity on initial conditions]]: i.e. for a small or infinitesimal variation in the initial conditions you may have a large finite effect.
* Topologically transitive: i.e. the system tends to occupy all available states in a similar sense to fluid mixing.<ref>{{cite web | url=https://encyclopediaofmath.org/wiki/Topological_transitivity | title=Topological transitivity |website=Encyclopedia of Mathematics }}</ref>
* The system exhibits [[Dense set|dense]] periodic orbits

These are properties of the logistic map for most values of {{mvar|r}} between about 3.57 and 4 (as noted above).<ref name=":2" group="May, Robert M. (1976)"/>  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|difference equation]] describing it may be thought of as a stretching-and-folding operation on the interval {{math|(0,1)}}.<ref name="Gleick">{{cite book |last=Gleick |first=James |title=Chaos: Making a New Science |year=1987 |publisher=Penguin Books |location=London |isbn=978-0-14-009250-9 }}</ref>

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|state space]] for {{math|''r'' {{=}} 4}}, and clearly shows the quadratic curve of the difference equation ({{EquationNote|1}}).  However, we can [[Embedding|embed]] the same sequence in a three-dimensional state space, in order to investigate the deeper structure of the map. Figure (b) demonstrates this, showing how initially nearby points begin to diverge, particularly in those regions of {{mvar|x<sub>t</sub>}} corresponding to the steeper sections of the plot.

[[Image:Logistic map scatterplots large.png|class=skin-invert-image|center|upright=1.8|Two- and three-dimensional [[Poincaré plot]]s 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 exponent]]s), evidenced also by the [[Complexity|complexity]] and [[Predictability|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, [[Exponential growth|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.<ref name="Gleick" />

At {{mvar|r}} = 2, the function <math>rx(1-x)</math> intersects <math>y = x</math> precisely at the maximum point, so convergence to the equilibrium point is on the order of <math>\delta^{2^n}</math>. Consequently, the equilibrium point is called "superstable". Its Lyapunov exponent is <math>-\infty</math>. A similar argument shows that there is a superstable <math>r</math> value within each interval where the dynamical system has a stable cycle. This can be seen in the Lyapunov exponent plot as sharp dips.<ref name=":0">{{Cite book |last=Strogatz |first=Steven |title=Nonlinear dynamics and chaos: with applications to physics, biology, chemistry, and engineering |date=2019 |isbn=978-0-367-09206-1 |edition=2nd |location=Boca Raton |chapter=10.1: Fixed Points and Cobwebs |oclc=1112373147}}</ref>

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|correlation dimension]] of {{val|0.500|0.005}} (Grassberger, 1983), a [[Hausdorff dimension]] of about 0.538  (Grassberger 1981), and an [[Information dimension|information dimension]] of approximately 0.5170976 (Grassberger 1983) for {{math|''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 ''[[Physics:Frequency#Statistical frequency|likelihood]]'' of a future state in a chaotic system.  If a (possibly chaotic) [[Dynamical system|dynamical system]] has an [[Attractor|attractor]], then there exists a [[Probability measure|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 {{math|''r'' {{=}} 4}} and an initial state in {{math|(0,1)}}, the attractor is also the interval {{math|(0,1)}} and the probability measure corresponds to the [[Beta distribution|beta distribution]] with parameters {{math|''a'' {{=}} 0.5}} and {{math|''b'' {{=}} 0.5}}. Specifically,<ref>{{cite journal |last=Jakobson |first=M. |title=Absolutely continuous invariant measures for one-parameter families of one-dimensional maps |journal=Communications in Mathematical Physics |volume=81 |issue=1 |year=1981 |pages=39–88 |doi=10.1007/BF01941800 |bibcode=1981CMaPh..81...39J |s2cid=119956479 |url=http://projecteuclid.org/euclid.cmp/1103920159 }}</ref> the invariant measure is

<math display="block">\frac{1}{\pi\sqrt{x(1-x)}}.</math>

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 [[Decision theory|decision]]s based on the state of the system.
[[File:Logistic map with lyapunov exponent function.png|class=skin-invert-image|thumb|Logistic map with [[Lyapunov exponent]] function]]

=== Graphical representation ===
The [[Bifurcation diagram|bifurcation diagram]] for the logistic map can be visualized with the following [[Python (programming language)|Python]] code:
<syntaxhighlight lang="python3" line="1">
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()
</syntaxhighlight>

=== Special cases of the map ===

====Upper bound when {{math|0 ≤ ''r'' ≤ 1}}====
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 {{math|0 ≤ ''r'' ≤ 1}}.<ref>{{cite arXiv|eprint=1710.05053|class=stat.ML|first1=Trevor|last1=Campbell|first2=Tamara|last2=Broderick|title=Automated scalable Bayesian inference via Hilbert coresets|date=2017}}</ref> 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 {{mvar|r}}, and the fast initial decay when {{math|''x''<sub>0</sub>}} is close to 1, driven by the {{math|(1 − ''x<sub>n</sub>'')}} term in the recurrence relation. The following bound captures both of these effects:

<math display="block"> \forall n \in \{0, 1, \ldots \} \quad \text{and} \quad x_0, r \in [0, 1], \quad x_n \le \frac{x_0}{r^{-n} + x_0n}. </math>

====Solution when {{math|1=''r'' = 4}}====
The special case of {{math|1=''r'' = 4}} can in fact be solved exactly, as can the case with {{math|1=''r'' = 2}};<ref name="schr" /> however, the general case can only be predicted statistically.<ref>{{cite journal | last1 = Little | first1 = M. | last2 = Heesch | first2 = D. | year = 2004 | title = Chaotic root-finding for a small class of polynomials | url = http://www.maxlittle.net/publications/GDEA41040.pdf | journal = Journal of Difference Equations and Applications | volume = 10 | issue = 11| pages = 949–953 | doi = 10.1080/10236190412331285351 | arxiv = nlin/0407042 | s2cid = 122705492 }}</ref> 
The solution when {{math|1=''r'' = 4}} is:<ref name="schr">{{cite journal |last=Schröder |first=Ernst |year=1870 |title=Ueber iterirte Functionen|journal=Mathematische Annalen |volume=3 |issue= 2|pages=296–322 | doi=10.1007/BF01443992 |s2cid=116998358 }}</ref><ref name=":2">{{cite journal|last=Lorenz |first=Edward |date=1964 |title=The problem of deducing the climate from the governing equations |journal=Tellus |volume=16 |issue=February |pages=1–11|doi=10.3402/tellusa.v16i1.8893 |bibcode=1964Tell...16....1L |doi-access=free }}</ref>

<math display="block">x_{n}=\sin^{2}\left(2^{n} \theta \pi\right),</math>

where the initial condition parameter {{mvar|θ}} is given by

<math display="block">\theta = \tfrac{1}{\pi}\sin^{-1}\left(\sqrt{x_0}\right).</math>

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

For {{math|1=''r'' = 4}} an equivalent solution in terms of [[Complex number|complex number]]s instead of trigonometric functions is<ref name="schr" />

<math display="block">x_n=\frac{-\alpha^{2^n} -\alpha^{-2^n} +2}{4}</math>

where {{mvar|α}} is either of the complex numbers

<math display="block">\alpha = 1 - 2x_0 \pm \sqrt{\left(1 - 2x_0\right)^2 - 1}</math>

with [[Absolute value#Complex numbers|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 {{mvar|α}}.

By contrast, the solution when {{math|1=''r'' = 2}} is<ref name="schr" />

<math display="block">x_n = \tfrac{1}{2} - \tfrac{1}{2}\left(1-2x_0\right)^{2^n}</math>

for {{math|''x''<sub>0</sub> ∈ [0,1)}}. Since {{math|(1 − 2''x''<sub>0</sub>) ∈ (−1,1)}} for any value of {{math|''x''<sub>0</sub>}} other than the unstable fixed point 0, the term {{math|(1 − 2''x''<sub>0</sub>)<sup>2<sup>''n''</sup></sup>}} goes to 0 as {{mvar|n}} goes to infinity, so {{mvar|x<sub>n</sub>}} goes to the stable fixed point {{sfrac|1|2}}.

====Finding cycles of any length when {{math|''r'' {{=}} 4}}====
For the {{math|''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 {{mvar|k}} for ''all'' integers {{math|''k'' > 0}}. We can exploit the relationship of the logistic map to the [[Dyadic transformation|dyadic transformation]] (also known as the ''bit-shift map'') to find cycles of any length. If {{mvar|x}} follows the logistic map {{math|''x''<sub>''n'' + 1</sub> {{=}} 4''x<sub>n</sub>''(1 − ''x<sub>n</sub>'')}} and {{mvar|y}} follows the ''dyadic transformation''

<math display="block">y_{n+1}=\begin{cases}2y_n & 0 \le y_n < \tfrac12 \\2y_n -1 & \tfrac12 \le y_n < 1, \end{cases}</math>

then the two are related by a [[Homeomorphism|homeomorphism]]

<math display="block">x_{n}=\sin^{2}\left(2 \pi y_{n}\right).</math>

The reason that the dyadic transformation is also called the bit-shift map is that when {{mvar|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 {{sfrac|1|7}} → {{sfrac|2|7}} → {{sfrac|4|7}} → {{sfrac|1|7}}. Using the above translation from the bit-shift map to the <math>r = 4</math> 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 {{mvar|k}} can be found in the bit-shift map and then translated into the corresponding logistic cycles.

However, since almost all numbers in {{math|[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 {{math|''r'' {{=}} 4}} map is chaotic for almost all initial conditions.

The number of cycles of (minimal) length {{math|''k'' {{=}} 1, 2, 3,…}} for the logistic map with {{math|''r'' {{=}} 4}} ([[Tent map|tent map]] with {{math|''μ'' {{=}} 2}}) is a known integer sequence {{OEIS|id=A001037}}: 2, 1, 2, 3, 6, 9, 18, 30, 56, 99, 186, 335, 630, 1161.... This tells us that the logistic map with {{math|''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 {{mvar|k}}: {{math|2 ⋅ {{sfrac|2<sup>''k'' − 1</sup> − 1|''k''}}}}. For example: 2&nbsp;⋅&nbsp;{{sfrac|2<sup>13 − 1</sup> − 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 ==
=== A class of mappings that exhibit homogeneous behavior ===
[[File:正弦関数による力学系のグラフ.png|class=skin-invert-image|thumb|Graph of the sine map ( 4-1 )]]
[[File:正弦関数による力学系の軌道図.png|class=skin-invert-image|thumb|Orbit diagram of the sine map ( 4-1 )]]

The bifurcation pattern shown above for the logistic map is not limited to the logistic map <!--[ 239 ]-->. It appears in a number of maps that satisfy certain conditions . The following dynamical system using sine functions is one example <!--[ 251 ]-->:

{{NumBlk|:|<math>{\displaystyle x_{n+1}=b\sin \pi x_{n}}</math>|{{EquationRef|4-1}}}}

Here, the domain is 0 ≤ b ≤ 1 and 0 ≤ x ≤ 1 <!--[ 251 ]-->. The sine map ( 4-1 ) exhibits qualitatively identical behavior to the logistic map ( 1-2 ) <!--[ 251 ]-->: like the logistic map, it also becomes chaotic via a period doubling route as the parameter b increases, and moreover, like the logistic map, it also exhibits a window in the chaotic region <!--[ 251 ]-->.

Both the logistic map and the sine map are one-dimensional maps that map the interval [0, 1] to [0, 1] and satisfy the following property, called unimodal <!--[ 252 ]-->.

<math>f(0)=f(1)= 0</math>.
The map is differentiable and there exists a unique critical point c in [0, 1] such that <math>f'( c ) = 0</math>.
In general, if a one-dimensional map with one parameter and one variable is unimodal and the vertex can be approximated by a second-order polynomial, then, regardless of the specific form of the map, an infinite period-doubling cascade of bifurcations will occur for the parameter range 3 ≤ r ≤ 3.56994... , and the ratio δ defined by equation ( 3-13 ) is equal to the Feigenbaum constant, 4.669... <!--[ 253 ]-->.

The pattern of stable periodic orbits that emerge from the logistic map is also universal <!--[ 254 ]--> . For a unimodal map, <math>x_{n +1} = cf ( x_n )</math> , with parameter c, stable periodic orbits with various periods continue to emerge in a parameter interval where the two fixed points are unstable, and the pattern of their emergence (the number of stable periodic orbits with a certain period and the order of their appearance) is known to be common <!--[ 255 ]--><!--[ 256 ]-->. In other words, for this type of map, the sequence of stable periodic orbits is the same regardless of the specific form of the map <!--[ 257 ]--> . For the logistic map, the parameter interval is 3 < a < 4, but for the sine map ( 4-1 ), the parameter interval for the common sequence of stable periodic orbits is 0.71... < b < 1 <!--[ 256 ]-->. This universal sequence of stable periodic orbits is called the U sequence <!--[ 254 ]-->.

In addition, the logistic map has the property that its Schwarzian derivative is always negative on the interval [0, 1] . The Schwarzian derivative of a map f (of class C3 ) is 

{{NumBlk|:|<math>{\displaystyle Sf(x)={\frac {f'''(x)}{f'(x)}}-{\frac {3}{2}}\left({\frac {f''(x)}{f'(x)}}\right)^{2}}	</math>|{{EquationRef|4-2}}}}

<!--[ 258 ]--> 
In fact, when we calculate the Schwarzian derivative of the logistic map, we get

{{NumBlk|:|<math>{\displaystyle S(ax(1-x))={\frac {-6}{(1-2x)^{2}}}<0}</math>|{{EquationRef|4-3}}}}

where the Schwarzian derivative is negative regardless of the values of a and x . <!--[ 259 ]--> It is known that if a one-dimensional mapping from [0, 1] to [0, 1] is unimodal and has a negative Schwarzian derivative, then there is at most one stable periodic orbit . <!--[ 260 ]-->

=== Topological conjugate mapping ===

Let the symbol ∘ denote the composition of maps . In general, for  a topological space X, Y, two maps f  : X → X and g  : Y → Y are composed by a homeomorphism h : X → Y.

{{NumBlk|:|<math>{\displaystyle h\circ f=g\circ h}</math>|{{EquationRef|4-4}}}}

f and g are said to be phase conjugates if they satisfy the relation <!--[ 261 ]-->. The concept of phase conjugation plays an important role in the study of dynamical systems <!--[ 262 ]-->. Phase conjugate f and g exhibit essentially identical behavior, and if the behavior of f is periodic, then g is also periodic, and if the behavior of f is chaotic, then g is also chaotic <!--[ 262 ]-->.

In particular, if a homeomorphism h is linear, then f and g are said to be linearly conjugate . <!--[ 263 ]--> Every quadratic function is linearly conjugate with every other quadratic function . <!--[ 264 ]--> Hence,

{{NumBlk|:|<math>{\displaystyle x_{n+1}=x_{n}^{2}+b}</math>|{{EquationRef|4-5}}}}

{{NumBlk|:|<math>{\displaystyle x_{n+1}=1-cx_{n}^{2}}</math>|{{EquationRef|4-6}}}}

{{NumBlk|:|<math>{\displaystyle x_{n+1}=d-x_{n}^{2}}</math>|{{EquationRef|4-7}}}}

are linearly conjugates of the logistic map for any parameter a <!--[ 265 ]-->. Equations ( 4-6 ) and ( 4-7 ) are also called logistic maps <!--[ 266 ]-->. In particular, the form ( 4-7 ) is suitable for time-consuming numerical calculations, since it requires less computational effort <!--[ 134 ]-->.

[[File:Tent map cobweb diagram, example of parameter 2.png|class=skin-invert-image|thumb|Orbital view of the tent map ( 4-8 ). It has a topological conjugate relationship with the a = 4 logistic map.]]

Moreover, the logistic map <math>f_{a=4}</math> for <math>r = 4</math> is topologically conjugate to the following tent map T  ( x ) and Bernoulli shift map B  ( x ) <!--[ 267 ]-->.

{{NumBlk|:|<math>{\displaystyle T(x_{n})={\begin{cases}2x_{n}&\left(0\leq x_{n}\leq {\frac {1}{2}}\right)\\2(1-x_{n})&\left({\frac {1}{2}}\leq x_{n}\leq 1\right)\end{cases}}}</math>|{{EquationRef|4-8}}}}

{{NumBlk|:|<math>{\displaystyle B(x_{n})={\begin{cases}2x_{n}&\left(0\leq x_{n}<{\frac {1}{2}}\right)\\2x_{n}-1&\left({\frac {1}{2}}\leq x_{n}\leq 1\right)\end{cases}}}</math>|{{EquationRef|4-9}}}}

These phase conjugate relations can be used to prove that the logistic map <math>f_{a=4}</math> is strictly chaotic and to derive the exact solution ( 3-19 ) of <math>f_{r=4}</math> <!--[ 268 ]-->.

Alternatively, introducing the concept of symbolic dynamical systems, consider the following shift map σ defined on the symbolic string space consisting of strings of 0s and 1s as introduced above <!--[ 269 ]-->:

{{NumBlk|:|<math>{\displaystyle \sigma (s_{0}s_{1}s_{2}\cdots )=(s_{1}s_{2}\cdots )}</math>|{{EquationRef|4-10}}}}

Here, <math>s_i</math> is 0 or 1. On the set <math>\Lambda</math> introduced in equation ( 3-18 ), the logistic map <math>f_{r>4}</math> is topologically conjugate to the shift map, so we can use this to derive that <math>f_{r>4}</math> on <math>\Lambda</math> is chaotic <!--[ 270 ]-->.

=== Period-doubling route to chaos ===

In the logistic map, we have a function <math>f_r (x) = rx(1-x)</math>, and we want to study what happens when we iterate the map many times. The map might fall into a fixed point, a fixed cycle, or chaos. When the map falls into a stable fixed cycle of length <math>n</math>, we would find that the graph of <math>f_r^n</math> and the graph of <math>x\mapsto x</math> intersects at <math>n</math> points, and the slope of the graph of <math>f_r^n</math> is bounded in <math>(-1, +1)</math> at those intersections. 

For example, when <math>r=3.0</math>, we have a single intersection, with slope bounded in <math>(-1, +1)</math>, indicating that it is a stable single fixed point.

As <math>r</math> increases to beyond <math>r=3.0</math>, the intersection point splits to two, which is a period doubling. For example, when <math>r=3.4</math>, there are three intersection points, with the middle one unstable, and the two others stable.

As <math>r</math> approaches <math>r = 3.45</math>, another period-doubling occurs in the same way. The period-doublings occur more and more frequently, until at a certain <math>r\approx 3.56994567</math>, the period doublings become infinite, and the map becomes chaotic. This is the [[Period-doubling bifurcation|period-doubling route to chaos]].
<div class=skin-invert-image>{{multiple image
| align             = center
| direction         = horizontal
| total_width       = 620
| image1            = ロジスティック写像2回反復グラフの周期倍化分岐の様（a = 2.7）.png
| caption1          = Relationship between <math>x_{n+2}</math> and <math>x_{n}</math> when <math>a=2.7</math>. Before the period doubling bifurcation occurs. The orbit converges to the fixed point <math>x_{f2}</math>.
| image2            = ロジスティック写像2回反復グラフの周期倍化分岐の様（a = 3）.png
| caption2          = Relationship between <math>x_{n+2}</math> and <math>x_{n}</math> when <math>a=3</math>. The tangent slope at the fixed point <math>x_{f2}</math>. is exactly 1, and a period doubling bifurcation occurs.
| image3            = ロジスティック写像2回反復グラフの周期倍化分岐の様（a = 3.3）.png
| caption3          = Relationship between <math>x_{n+2}</math> and <math>x_{n}</math> when <math>a=3.3</math>. The fixed point <math>x_{f2}</math> becomes unstable, splitting into a periodic-2 stable cycle.
}}</div>

<div class=skin-invert-image>{{multiple image
| align             = center
| direction         = horizontal
| total_width       = 620
| image1            = Logistic map iterates, r=3.0.svg
| caption1          = When <math>r=3.0</math>, we have a single intersection, with slope exactly <math>+1</math>, indicating that it is about to undergo a period-doubling.
| image2            = Logistic iterates 3.4.svg
| caption2          = When <math>r=3.4</math>, there are three intersection points, with the middle one unstable, and the two others stable.
| image3            = Logistic iterates r=3.45.svg
| caption3          = When <math>r=3.45</math>, there are three intersection points, with the middle one unstable, and the two others having slope exactly <math>+1</math>, indicating that it is about to undergo another period-doubling.
| image4            = Logistic iterates with r=3.56994567.svg
| caption4          = When <math>r\approx 3.56994567</math>, there are infinitely many intersections, and we have arrived at [[Period-doubling bifurcation|chaos via the period-doubling route]].
| perrow            = 2/2
}}</div>

=== Scaling limit ===
{{Main|Feigenbaum function}}
[[File:Logistic_map_approaching_the_scaling_limit.webm|thumb|478x478px|Approach to the scaling limit as <math>r</math> approaches <math>r^* = 3.5699\cdots</math> from below.]][[File:Logistic iterates, together, r=3.56994567.svg|class=skin-invert-image|thumb|489x489px|At the point of chaos <math>r^* = 3.5699\cdots</math>, as we repeat the period-doublings<math>f^{1}_{r^*}, f^{2}_{r^*}, f^{4}_{r^*}, f^{8}_{r^*}, f^{16}_{r^*}, \dots</math>, the graphs seem to resemble each other, except that they are shrunken towards the middle, and rotated by 180 degrees, converging to a fractal.]]
Looking at the images, one can notice that at the point of chaos <math>r^* = 3.5699\cdots</math>, the curve of <math>f^{\infty}_{r^*}</math> looks like a fractal. Furthermore, as we repeat the period-doublings<math>f^{1}_{r^*}, f^{2}_{r^*}, f^{4}_{r^*}, f^{8}_{r^*}, f^{16}_{r^*}, \dots</math>, the graphs seem to resemble each other, except that they are shrunken towards the middle, and rotated by 180 degrees. 

This suggests to us a scaling limit: if we repeatedly double the function, then scale it up by <math>\alpha </math> for a certain constant <math>\alpha </math>:<math display="block">f(x) \mapsto - \alpha f( f(-x/\alpha ) ) 
 </math>then at the limit, we would end up with a function <math>g </math> that satisfies <math> g(x) = - \alpha g( g(-x/\alpha ) ) </math>. This is a [[Feigenbaum function]], which appears in most period-doubling routes to chaos (thus it is an instance of '''universality'''). Further, as the period-doubling intervals become shorter and shorter, the ratio between two period-doubling intervals converges to a limit, the first Feigenbaum constant <math>\delta = 4.6692016\cdots </math>.[[File:Logistic scaling with varying scaling factor.webm|thumb|480x480px|For the wrong values of scaling factor <math>\alpha </math>, the map does not converge to a limit, but when <math>\alpha = 2.5029\dots </math>, it converges.]]
[[File:Logistic scaling limit, r=3.56994567.svg|class=skin-invert-image|thumb|487x487px|At the point of chaos <math>r^* = 3.5699\cdots</math>, as we repeat the functional equation iteration <math>f(x) \mapsto - \alpha f( f(-x/\alpha ) ) 
 </math> with <math>\alpha = 2.5029\dots </math>, we find that the map does converge to a limit.]]The constant <math>\alpha </math> can be numerically found by trying many possible values. For the wrong values, the map does not converge to a limit, but when it is <math>\alpha = 2.5029\dots </math>, it converges. This is the second Feigenbaum constant.

=== Chaotic regime ===
In the chaotic regime, <math>f^\infty_r</math>, the limit of the iterates of the map, becomes chaotic dark bands interspersed with non-chaotic bright bands.
[[File:Logistic_map_in_the_chaotic_regime.webm|thumb|470x470px|In the chaotic regime, <math>f^\infty_r</math>, the limit of the iterates of the map, becomes chaotic dark bands interspersed with non-chaotic bright bands.]]

=== Other scaling limits ===
When <math>r</math> approaches <math>r \approx 3.8494344</math>, we have another period-doubling approach to chaos, but this time with periods 3, 6, 12, ... This again has the same Feigenbaum constants <math>\delta, \alpha</math>. The limit of <math display="inline">f(x) \mapsto - \alpha f( f(-x/\alpha ) ) 
 </math> is also the same [[Feigenbaum function]]. This is an example of '''universality'''.[[File:Logistic_map_approaching_the_period-3_scaling_limit.webm|thumb|482x482px|Logistic map approaching the period-doubling chaos scaling limit <math>r^* = 3.84943\dots</math> from below. At the limit, this has the same shape as that of <math>r^* = 3.5699\cdots</math>, since all period-doubling routes to chaos are the same (universality).]]

We can also consider period-tripling route to chaos by picking a sequence of <math>r_1, r_2, \dots</math> such that <math>r_n</math> is the lowest value in the period-<math>3^n</math> window of the bifurcation diagram. For example, we have <math>r_1 = 3.8284, r_2 = 3.85361, \dots</math>, with the limit <math>r_\infty = 3.854 077 963\dots</math>. This has a different pair of Feigenbaum constants <math>\delta= 55.26\dots, \alpha = 9.277\dots</math>.<ref name=":1">{{Cite journal |last1=Delbourgo |first1=R. |last2=Hart |first2=W. |last3=Kenny |first3=B. G. |date=1985-01-01 |title=Dependence of universal constants upon multiplication period in nonlinear maps |url=https://link.aps.org/doi/10.1103/PhysRevA.31.514 |journal=Physical Review A |language=en |volume=31 |issue=1 |pages=514–516 |doi=10.1103/PhysRevA.31.514 |pmid=9895509 |bibcode=1985PhRvA..31..514D |issn=0556-2791|url-access=subscription }}</ref> And <math>f^\infty_r</math>converges to the fixed point to <math display="block">f(x) \mapsto - \alpha f(f( f(-x/\alpha ) )) 
 </math>As another example, period-4-pling has a pair of Feigenbaum constants distinct from that of period-doubling, even though period-4-pling is reached by two period-doublings. In detail, define <math>r_1, r_2, \dots</math> such that <math>r_n</math> is the lowest value in the period-<math>4^n</math> window of the bifurcation diagram. Then we have <math>r_1 =3.960102, r_2 = 3.9615554, \dots</math>, with the limit <math>r_\infty = 3.96155658717\dots</math>. This has a different pair of Feigenbaum constants <math>\delta= 981.6\dots, \alpha = 38.82\dots</math>. 

In general, each period-multiplying route to chaos has its own pair of Feigenbaum constants. In fact, there are typically more than one. For example, for period-7-pling, there are at least 9 different pairs of Feigenbaum constants.<ref name=":1" />

Generally, <math display="inline">3\delta \approx 2\alpha^2 </math>, and the relation becomes exact as both numbers increase to infinity: <math>\lim \delta/\alpha^2 = 2/3</math>.

===Feigenbaum universality of 1-D maps===
Universality of one-dimensional maps with parabolic maxima and [[Feigenbaum constants]] <math>\delta=4.669201...</math>, <math>\alpha=2.502907...</math>.<ref>[http://chaosbook.org/extras/mjf/LA-6816-PR.pdf Feigenbaum, M. J. (1976) "Universality in complex discrete dynamics", Los Alamos Theoretical Division Annual Report 1975-1976]</ref><ref>{{cite journal|last=Feigenbaum|first=Mitchell|date=1978|title=Quantitative universality for a class of nonlinear transformations|journal=Journal of Statistical Physics|volume=19|issue=1|pages=25–52|bibcode=1978JSP....19...25F|citeseerx=10.1.1.418.9339|doi=10.1007/BF01020332|s2cid=124498882}}</ref>

The gradual increase of <math>G</math> at interval <math>[0, \infty)</math> changes dynamics from regular to chaotic one <ref name="Okulov, A Yu 1984">{{cite journal|last1=Okulov|first1=A Yu|last2=Oraevskiĭ|first2=A N|year=1984|title=Regular and stochastic self-modulation in a ring laser with nonlinear element|journal=Soviet Journal of Quantum Electronics|volume=14|issue=2|pages=1235–1237|bibcode=1984QuEle..14.1235O|doi=10.1070/QE1984v014n09ABEH006171}}</ref> with qualitatively the same [[Bifurcation diagram|bifurcation diagram]] as those for logistic map.

=== Renormalization estimate ===
The Feigenbaum constants can be estimated by a renormalization argument. (Section 10.7,<ref name=":0" />).

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 <math display="block">f_r(x) = -(1+r)x + x^2</math>The family has an equilibrium point at zero, and as <math>r</math> increases, it undergoes period-doubling bifurcation at <math>r = r_0, r_1, r_2, ...</math>.

The first bifurcation occurs at <math>r = r_0 = 0</math>. After the period-doubling bifurcation, we can solve for the period-2 stable orbit by <math>f_r(p) = q, f_r(q) = p</math>, which yields <math display="block">\begin{cases}
p = \frac 12 (r + \sqrt{r(r+4)}) \\
q = \frac 12 (r - \sqrt{r(r+4)})
\end{cases}</math>At some point <math>r = r_1</math>, 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 <math>x = p</math>, using the affine transform <math>T(x) = x/c + p</math>. Now, by routine algebra, we have<math display="block">(T^{-1}\circ f_r^2 \circ T)(x) = -(1+S(r)) x + x^2 + O(x^3)</math>where <math>S(r) = r^2 + 4r - 2, c = r^2 + 4r - 3\sqrt{r(r+4)}</math>. At approximately <math>S(r) = 0</math>, the second bifurcation occurs, thus <math>S(r_1) \approx 0</math>.

By self-similarity, the third bifurcation when <math>S(r) \approx r_1</math>, and so on. Thus we have <math>r_n \approx S(r_{n+1})</math>, or <math>r_{n+1} \approx \sqrt{r_{n}+6}-2</math>. Iterating this map, we find <math>r_\infty = \lim_n r_n \approx \lim_n S^{-n}(0) = \frac 12(\sqrt{17}-3)</math>, and <math>\lim_n \frac{r_\infty - r_n}{r_\infty - r_{n+1}} \approx S'(r_\infty) \approx 1 + \sqrt{17}</math>.

Thus, we have the estimates <math>\delta \approx 1+\sqrt{17} = 5.12...</math>, and <math>\alpha \approx r_\infty^2 +4r_\infty- 3 \sqrt{r_\infty^2+4r_\infty} \approx -2.24...</math>. These are within 10% of the true values.

== Relation to logistic ordinary differential equation ==
<!-- TODO add about poincare map ?? --->
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.<ref>{{Cite journal |last1=Shen |first1=Bo-Wen |last2=Pielke |first2=Roger A. |last3=Zeng |first3=Xubin |date=2023-08-12 |title=The 50th Anniversary of the Metaphorical Butterfly Effect since Lorenz (1972): Multistability, Multiscale Predictability, and Sensitivity in Numerical Models |journal=Atmosphere |language=en |volume=14 |issue=8 |pages=1279 |doi=10.3390/atmos14081279 |doi-access=free |bibcode=2023Atmos..14.1279S |issn=2073-4433}}</ref>

== The logistic map as a model of biological populations ==
=== Discrete population model ===
While Lorenz used the logistic map in 1964,<ref name=":2" /> it gained widespread popularity from the research of British mathematical biologist Robert May and became widely known as a formula for considering changes in populations of organisms. <!--[ 271 ]--> In such a logistic map for organism populations, the variable <math>x_n</math> represents the number of organisms living in a certain environment (more technically, the population size). <!--[ 272 ]--> Furthermore, it is assumed that no organisms leave the environment and no external organisms enter the environment (or that there is no substantial impact even if there is immigration), and the mathematical model for considering the increase or decrease in population in such a situation is the logistic map in mathematical biology. <!--[ 273 ]-->

There are two types of mathematical models for the growth of populations of organisms: discrete-time models using difference equations and continuous-time models using differential equations. <!--[ 274 ]--> For example, in the case of a type of insect that dies soon after laying eggs, the population of the insect is counted for each generation, i.e., the number of individuals in the first generation, the number of individuals in the second generation, and so on. <!--[ 275 ]--> Such examples fit the former discrete-time model. <!--[ 276 ]--> On the other hand, when the generations are continuously overlapping, it is compatible with the continuous-time model. <!--[ 277 ]--> The logistic map corresponds to such a discrete or generation-separated population model. <!--[ 278 ]-->

Let N denote the number of individuals of a single species in an environment. The simplest model for population growth is one in which the population continues to grow at a constant rate relative to the number of individuals. This type of population growth model is called the Malthusian model, and can be expressed as follows <!--[ 279 ]-->:

{{NumBlk|:|<math>{\displaystyle N_{n+1}=\alpha N_{n}}</math>|{{EquationRef|5-1}}}}

Here, N n is the number of individuals in the nth generation, and α is the population growth rate, a positive constant <!--[ 280 ]-->. However, in model (5-1), the population continues to grow indefinitely, making it an unrealistic model for most real-world phenomena <!--[ 281 ]-->. Since there is a limit to the number of individuals that an environment can support, it seems natural that the growth rate α decreases as the population N n increases <!--[ 282 ]-->. This change in growth rate due to changes in population density is called the density effect <!--[ 283 ]-->. The following difference equation is the simplest improvement model that reflects the density effect in model (5-1)<!--[ 284 ]-->.

{{NumBlk|:|<math>{\displaystyle N_{n+1}=(a-bN_{n})N_{n}}</math>|{{EquationRef|5-2}}}}

Here, a is the maximum growth rate possible in the environment, and b is the strength of the influence of density effects <!--[ 284 ]-->. Model ( 5-2 ) assumes that the growth rate declines simply in proportion to the number of individuals<!--[ 285 ]-->. Let N n in equation (5-2) be

{{NumBlk|:|<math>{\displaystyle x_{n}={\frac {b}{a}}N_{n}}</math>|{{EquationRef|5-3}}}}

After performing the variable transformation, the following logistic map is derived<!--[ 286 ]-->:

{{NumBlk|:|<math>{\displaystyle x_{n+1}=a(1-x_{n})x_{n}}</math>|{{EquationRef|5-4}}}}

When using equation (5-2) or equation (5-4) as the population size of an organism, if Nn or xn becomes negative, it becomes meaningless as a population size. <!--[ 287 ]--> To prevent this, the condition 0 ≤ x0 ≤ 1 for the initial value x0 and the condition 0 ≤ r ≤ 4 for the parameter a are required. <!--[ 286 ]-->

Alternatively, we can assume a maximum population size K that the environment can support, and use this to

{{NumBlk|:|<math>{\displaystyle N_{n+1}=a\left(1-{\frac {N_{n}}{K}}\right)N_{n}}</math>|{{EquationRef|5-5}}}}

The logistic map can be derived by considering a difference equation that incorporates density effects in the form <math>x_n = N_n / K </math> <!--[ 5 ]--><!--[ 288 ]-->, where the variable <math>x_n</math> represents the ratio of the number of individuals <math>N_n</math> to the maximum number of individuals K <!--[ 5 ]--><!-- [ 288 ] -->.

=== Discretization of the logistic equation ===
The logistic map can also be derived from the discretization of the logistic equation for continuous-time population models. <!--[ 289 ]--> The name of the logistic map comes from Robert May's introduction of the logistic map from the discretization of the logistic equation. <!--[ 71 ]--><!--[ 290 ]--> The logistic equation is an ordinary differential equation that describes the time evolution of a population as follows: <!--[ 291 ]-->

{{NumBlk|:|<math>{\displaystyle {\frac {dN}{dt}}\ =rN\left(1-{\frac {N}{K}}\right)}</math>|{{EquationRef|5-6}}}}

Here, N is the number or population density of an organism, t is continuous time, and K and r are parameters. K is the carrying capacity, and r is the intrinsic rate of natural increase, which is usually positive . <!--[ 292 ]--> The left-hand side of this equation 
dN/dt
denotes the rate of change of the population size at time t <!--[ 293 ]-->.
[[File:Logistic curve examples.png|class=skin-invert-image|thumb|An example of a solution to the logistic equation. After time t, the population size N converges to the carrying capacity K regardless of the initial value.]]
The logistic equation ( 5-6 ) appears similar to the logistic map ( 5-4 ), but the behavior of the solutions is quite different from that of the logistic map <!--[ 277 ]-->. As long as the initial value N 0 is positive, the population size N of the logistic equation always converges monotonically to K <!--[ 294 ]--> .

The logistic map can be derived by applying the Euler method, which is a method for numerically solving first-order ordinary differential equations, to this logistic equation . [ Note 2 ] The Euler method uses a time interval (time step size) Δt to approximate the growth rate dN/dt
is approximated as follows <!--[ 296 ]-->:

{{NumBlk|:|<math>{\displaystyle {\frac {dN}{dt}}\approx {\frac {N(t+\Delta t)-N(t)}{\Delta t}}}</math>|{{EquationRef|5-7}}}}

This approximation leads to the following logistic map <!--[ 297 ]-->:

{{NumBlk|:|<math>{\displaystyle x_{n+1}=ax_{n}(1-x_{n})}</math>|{{EquationRef|5-8}}}}

where <math>x_n</math> and a in this equation are related to the original parameters, variables, and time step size as follows <!--[ 297 ]-->:

{{NumBlk|:|<math>{\displaystyle x_{n}={\frac {r\Delta t}{K(1+r\Delta t)}}N(n\Delta t)}</math>|{{EquationRef|5-9}}}}

{{NumBlk|:|<math>{\displaystyle a=1+r\Delta t}</math>|{{EquationRef|5-10}}}}

If Δt is small enough, equation ( 5-8 ) serves as a valid approximation to the original equation ( 5-6 ), and coincides with the solution of the original equation as Δt → 0 <!--[ 298 ]-->. On the other hand, as Δt becomes large, the solution deviates from the original solution <!--[ 298 ]-->. Furthermore, due to the relationship in equation ( 5-10 ), increasing Δt is equivalent to increasing the parameter a <!--[ 299 ]-->. Thus, increasing Δt not only increases the error from the original equation but also produces chaotic behavior in the solution <!--[ 300 ]-->.

=== Positioning ===
As described above, in biological population dynamics, the logistic map is one of the models of discrete growth processes. However, unlike the laws of physics, the logistic map as a model of biological population size is not derived from direct experimental results or universally valid principles <!--[ 301 ]-->. Although there is some rationality in the way it is derived, it is essentially a "model" thought up in one's mind <!--[ 301 ]-->. May, who made the logistic map famous, did not claim that the model he was discussing accurately represented the increase and decrease in population size <!--[ 302 ]-->. Historically, continuous-time models based on differential equations have been widely used in the study of biological population dynamics, and the application of these continuous-time models has deepened our understanding of biological population dynamics <!--[ 274 ]-->. As a discrete-time population model that takes into account density effects, the Ricker model, in which the population size is not negative, is more realistic <!--[ 277 ]-->.

Generally speaking, mathematical models can provide important qualitative information about population dynamics, but their results should not be taken too seriously without experimental support . <!--[ 303 ]--> Even if the conclusions of mathematical models deviate from those of biological studies, mathematical modeling is still useful because it can provide a useful control.<!--[ 304 ]--> Biological issues may be raised by reviewing the model construction process and settings, or the biological knowledge and assumptions that the model is based on.<!--[ 304 ]--> Although the logistic map is too simple to be realistic as a population model, its results suggest that a variety of population fluctuations may occur due to the dynamics inherent in the population itself, regardless of random influences from the environment. <!--[ 305 ]-->
== Applications ==
===Coupled map system===
The degree of freedom or dimension of a one-variable logistic map as a system is one <!--[ 306 ]-->. On the other hand, in the real natural world, it is thought that there are many chaotic systems with many degrees of freedom, not only in time but also in space <!--[ 307 ]-->. Alternatively, the synchronization phenomenon of oscillators performing chaotic motion is also a research subject <!--[ 308 ]--><!--[ 309 ]-->. To investigate such things, there is a method of coupled maps that couples many difference equations (maps) <!--[ 310 ]--><!--[ 309 ]-->. The logistic map is often used as a subject of coupled map model research <!--[ 311 ]-->. The reason for this is that the logistic map itself has already been well investigated as a typical model of chaos, and there is an accumulation of research on it <!--[ 312 ]-->.

There are various methods for the specific coupling in the coupled map model <!--[ 313 ]-->. Suppose a total of N maps are coupled, and the state of the i-th map at time n is represented by <math>x_n( i )</math> . In a method called globally coupled maps, <math>x_{n + 1}( i )</math> is formulated as follows <!--[ 314 ]-->:

{{NumBlk|:|<math>{\displaystyle x_{n+1}(i)=(1-\epsilon )f(x_{n}(i))+{\frac {\epsilon }{N}}\sum _{j=1}^{N}f(x_{n}(j))}</math>|{{EquationRef|6-1}}}}

In the current field of coupled oscillators, the simplest model is the following, in which two oscillators, x and y, are coupled by a difference in variables : <!--[ 315 ]-->

{{NumBlk|:|<math>{\displaystyle {\begin{cases}x_{n+1}=f(x_{n})+D(f(y_{n})-f(x_{n}))\\y_{n+1}=f(y_{n})+D(f(x_{n})-f(y_{n}))\end{cases}}}</math>|{{EquationRef|6-2}}}}

In these equations, f( x ) is the specific map to incorporate into the coupled map model, and applies here if the logistic map is used <!--[ 316 ]-->.

[[File:Synchronization and intermittency of coupled logistic maps.png|class=skin-invert-image|thumb|Changes in two variables (top) and their difference (bottom) in the coupled map model ( 6-2 ) with a = 3.8 and D = 0.43 . The two variables suddenly become out of sync after synchronization, and then return to the sync state.]]
In equations ( 6-1 ) and ( 6-2 ), ε and D are parameters called coupling coefficients, which indicate the strength of the coupling between the maps <!--[ 317 ]-->. On the other hand, when the logistic map is incorporated into a coupled map model, the parameter a of the logistic map indicates the strength of the nonlinearity of the model <!--[ 318 ]-->. By changing the value of a and the value of ε or D, various phenomena appear in the coupled map system of logistic maps. For example, in model ( 6-2 ), when D is increased to a value Dc or more, x and y oscillate chaotically while synchronously <!--[ 319 ]-->. Even below Dc, not only do chaotic oscillations occur in a continuous manner <!--[ 320 ]-->. When D is in a certain range, x and y oscillate with two periods even though r = 4 <!--[ 320 ]-->. When a = 3.8, behavior in which synchronous and asynchronous states alternate continuously is also observed <!--[ 321 ]-->.

In a study of the application of the logistic map to a globally coupled map with a large degree of freedom ( 6-1 ), a phenomenon called chaotic itinerancy was found <!--[ 322 ]-->. This is a phenomenon in which the orbit traverses a region in phase space that is said to be the remains of an attractor, repeating the cycle from an orderly state in which several clusters oscillate together to a disordered state, then to another cluster state, then back to the disordered state again, and so on . <!--[ 323 ]-->

===Pseudorandom number generator===
In the fields of computer simulation and information security, the creation of pseudorandom numbers using a computer is an important technique, and one of the methods for generating pseudorandom numbers is the use of chaos. <!--[ 324 ]--> Although a pseudorandom number generator based on chaos with sufficient performance has not yet been realized, several methods have been proposed. <!--[ 324 ]--> Several researchers have also investigated the possibility of creating a pseudorandom number generator based on chaos for the logistic map. <!--[ 234 ]--><!--[ 325 ]--><!--[ 326 ]-->

Parameter r = 4 is often used for pseudorandom number generation using the logistic map.<!--[ 327 ]--><!--[ 328 ]--><!--[ 329 ]--> Historically, as described below, in 1947, shortly after the birth of electronic computers, Stanisław Ulam and John von Neumann also pointed out the possibility of a pseudorandom number generator using the logistic map with r = 4.<!--[ 330 ]--> However, the distribution of points for the logistic map <math>f_{r = 4}</math> is as shown in equation ( 3-17 ), and the numbers that are generated are biased toward 0 and 1.<!--[ 234 ]--> Therefore, some processing is required to obtain unbiased uniform random numbers.<!--[ 234 ]--> Methods for doing so include:

A method for converting the obtained values to a uniform distribution using the tent map ( 4-8 ). <!--[ 327 ]-->
The resulting number is converted to either 0 or 1 using a threshold, as in the coin tossing analogy above, and this process is repeated to obtain a uniformly random bit string. <!--[ 329 ]-->
In addition, the sequences <math>x_n</math> and <math>x_n +1</math> obtained by the logistic map are strongly correlated, which makes it problematic for pseudorandom sequences. <!--[ 234 ]--> One way to solve this is to generate the sequence <math>x_0, x_1, x_2, ... </math> for each iteration of the map, rather than generating the sequence <math>x_0, x_{\tau}, x_{2 \tau} ,...</math> for some number of iterations τ > 1.  <!--[ 234 ]--> For example, it is said that good pseudorandom numbers can be obtained for method 1 with τ > 10 or τ > 13, <!--[ 234 ]--> and for method 2 with τ > 16. <!--[ 329 ]-->

A common problem with digitally calculating chaos using a computer is that, because a computer has a finite calculation precision, it is in principle impossible to obtain a truly aperiodic sequence, which is the nature of chaos, and instead outputs a finite periodic sequence. <!--[ 325 ]--> Even if aperiodic sequences cannot be obtained in principle, sequences with as long a period as possible are desirable for generating pseudorandom numbers. <!--[ 325 ]--> However, when the periodicity of the sequence actually output by the logistic map <math>f_{r=4}</math> in single-precision floating-point calculations was investigated, it was reported that the period of the sequence actually output is much smaller than the maximum period possible from the number of bits allocated, and from this point of view, it has been pointed out that pseudorandom number generation by the logistic map is inferior to existing pseudorandom number generators such as the Mersenne Twister. <!--[ 325 ]--> In addition, with the logistic map, <math>f_{r=4}</math> there is a risk that the value will fall to the fixed point 0 during the calculation and remain constant. <!--[ 331 ]--> On the other hand, the logistic map always takes values in the open interval (0, 1), so it can be calculated without problems not only with floating point but also with fixed point, and can enjoy the advantages of fixed point arithmetic. <!--[ 331 ]--> It has been pointed out that fixed point has a longer period than floating point for the same number of bits, and that unintended convergence to 0 can be eliminated. <!--[ 331 ]-->

=== Extension to complex numbers ===
[[File:Verhulst-Mandelbrot-Bifurcation.jpg|thumb|Correspondence between the orbit diagram of a variation of the logistic map (top) and the Mandelbrot set (bottom)]]

Dynamical systems defined by complex analytic functions are also of interest.<!--[ 332 ]--> An example is the dynamical system defined by the quadratic function: <!--[ 333 ]-->

{{NumBlk|:|<math>{\displaystyle z_{n+1}=z_{n}^{2}+c}</math>|{{EquationRef|6-3}}}}

where the parameter c and the variable z are complex numbers. <!--[ 333 ]--> This map is essentially the same as the logistic map (1–2). <!--[ 334 ]--> As mentioned above, the map (6–3) is topologically conjugate to the logistic map (1–2) through a linear function. <!--[ 335 ]-->

When the iteration of the map (6–3) is calculated with a fixed parameter c and varying the initial value <math>z_0</math>, a set of <math>z_0</math> such that <math>z_n</math> does not diverge to infinity as n → ∞ is called a filled Julia set.<!--[ 336 ]--> Furthermore, the boundary of a filled Julia set is called a Julia set. <!--[ 336 ]--> When the iteration of the map (6–3) is calculated with a fixed initial value <math>z_0 = 0</math> and varying the parameter {{mvar|c}}, a set of {{mvar|c}} such that {{mvar|z}} does not diverge to infinity is called a Mandelbrot set. <!--[ 337 ]--> The Julia sets and Mandelbrot sets of the map (6–3) generate fractal figures that are described as "mystical looking" and "extremely mysterious".{{attribution needed|date=May 2025}} <!--[ 338 ]--> 

In particular, in the Mandelbrot set, each disk in the diagram corresponds to a region of asymptotically stable periodic orbits of a certain period. <!--[ 339 ]--> By juxtaposing the logistic map orbit diagram with the Mandelbrot set diagram, it is possible to see that the asymptotically stable fixed points, period doubling bifurcations, and period-three windows of the logistic map orbit diagram correspond on the real axis to the Mandelbrot set diagram. <!--[ 340 ]-->

=== When there is a time delay ===
[[File:遅延ロジスティック写像.png|class=skin-invert-image|thumb|The trajectory of the delayed logistic map. The initial values <math>(x_0 , y_0)</math> are the same in both figures, but at the bifurcation point r = 2, the trajectory is attracted to a closed curve (left) and a point (right).]]
If we interpret the logistic map as a model of the population of each generation of organisms, it is possible that the population of the next generation will affect not only the population of the current generation, but also the population of the generation before that. <!--[ 341 ]--> An example of such a case is

{{NumBlk|:|<math>{\displaystyle x_{n+1}=ax_{n}(1-x_{n-1})}</math>|{{EquationRef|6-4}}}}

where the number of individuals in the previous generation, <math>x_{n-1}</math>, is included in the equation as a negative density effect <!--[ 341 ]-->. If <math>x_{n+1} = y_n</math>, then equation ( 6-4 ) can be replaced by the following two-variable difference equation <!--[ 342 ]-->.

{{NumBlk|:|<math>{\displaystyle {\begin{cases}x_{n+1}=y_{n}\\y_{n+1}=ay_{n}(1-x_{n})\end{cases}}}</math>|{{EquationRef|6-5}}}}

This dynamical system is used to study bifurcation of quasi-periodic attractors and is called the delayed logistic map <!--[ 342 ]--> <!--[ 343 ]-->. The delayed logistic map exhibits a Neimark–Sacker bifurcation at r = 2, where the asymptotically stable fixed point becomes unstable and an asymptotically stable invariant curve forms around the unstable fixed point <!--[ 344 ]-->.

== Research history ==
===Before Chaos was named===
Before the iteration of maps became relevant to dynamical systems, mathematicians Gaston Julia and Pierre Fatou studied the iteration of complex functions. <!--[ 345 ]--> Julia and Fatou's work was broad, focusing on analytic functions. <!--[ 346 ]--> In particular, they studied the behavior of the following complex quadratic function, also shown in equation (6–3), in the 1920s. <!--[ 336 ]-->

{{NumBlk|:|<math>{\displaystyle z_{n+1}=z_{n}^{2}+c}</math>|{{EquationRef|7-1}}}}

Julia and Fatu also recognized chaotic behavior in Julia sets, but because there was no computer graphics at the time, no one followed suit and their research stalled. <!--[ 347 ]--> Research on complex dynamical systems then declined until the late 1970s, and it was not until the appearance of Benoit Mandelbrot and others that the rich dynamical behavior exhibited by maps on the complex plane was noticed. <!--[ 348 ]-->

[[File:Stanislaw Ulam ID badge.png|thumb|Stanislaw Ulam]]
[[File:John von Neumann ID badge.png|thumb|John von Neumann]]
In 1947, mathematicians Stanislaw Ulam and John von Neumann wrote a short paper entitled "On combination of stochastic and deterministic processes" in which they{{huh?|reason=There is obviously text missing here|date=May 2025}}

{{NumBlk|:|<math>{\displaystyle f(x)=4x(1-x)}</math>|{{EquationRef|7-2}}}}

They pointed out that pseudorandom numbers can be generated by the repeated composition of quadratic functions such as.{{huh?|reason=There is obviously text missing here|date=May 2025}} <!--[ 349 ]--> In modern terms, this equation corresponds to the logistic map with {{mvar|r}} = 4. <!--[ 350 ]--> At that time, the word "chaos" had not yet been used, but Ulam and von Neumann were already paying attention to the generation of complex sequences using nonlinear functions. <!--[ 330 ]--> In their report, Ulam and von Neumann also clarified that the map (7–2) and the tent map are topologically conjugate, and that the invariant measure of the sequence of this map is given by equation (3–17).<!--[ 267 ]-->

There have since been some detailed investigations of quadratic maps of the form with arbitrary parameter {{mvar|a}}. <!--[ 351 ]--> Between 1958 and 1963, Finnish mathematician Pekka Mylberg developed the{{huh?|reason=There is obviously text missing here|date=May 2025}}

{{NumBlk|:|<math>{\displaystyle f(x)=x^{2}-\lambda }</math>|{{EquationRef|7-3}}}}

This line of research is essential for dynamical systems, and Mühlberg has also investigated the period-doubling branching cascades of this map, showing the existence of an accumulation point λ = 1.401155189....<!--[352 ]--> Others, such as the work of the Soviet Oleksandr Sharkovsky in 1964, the French Igor Gumowski and Christian Mila in 1969, and Nicholas Metropolis in 1973, have revealed anomalous behavior of simple one-variable difference equations such as the logistic map. <!--[ 353 ]-->

===Robert May's research===
[[File:BobMayHarvard.jpg|thumb|Robert May (photographed in 2009)]]
Later, in the early 1970s, mathematical biologist Robert May encountered the model of equation (1–2) while working on an ecological problem. <!--[ 354 ]--> May introduced equation (1–2), i.e., the logistic map, by discretizing the logistic equation in time. <!--[ 355 ]--> He mathematically analyzed the behavior of the logistic map, and published his results in 1973 and 1974. <!--[ 356 ]--> Numerical experiments were performed on the logistic map to investigate the change in its behavior depending on the parameter {{mvar|r}}. <!--[ 357 ]-->

In 1976, he published a paper in ''Nature'' entitled "Simple mathematical models with very complicated dynamics". <!--[ 26 ]--> This paper was a review paper that focused on the logistic map and emphasized and drew attention to the fact that even simple nonlinear functions can produce extremely complex behaviors such as period-doubling bifurcation cascades and chaos. <!--[ 358 ]--> This paper in particular caused a great stir and was accepted by the scientific community due to May's status as a mathematical biologist, the clarity of his research results, and above all, the shocking content that a simple parabolic equation can produce surprisingly complex behavior. <!--[ 359 ]--> Through May's research, the logistic map attracted many researchers to chaos research and became such a famous mathematical model that it is said to have restarted the flow of chaos research. <!--[ 360 ]-->

===After May's research===
May also drew attention to the paper by using the term "chaos", which was used by Tien-Yen Li and James York in their paper "Period three implies chaos".<!--[361]--> Although some disagree, Li and York's paper is considered the first to use the word "chaos" as a mathematical term, and is credited with coining the term "chaos" to refer to deterministic, chaotic behavior.<!--[362]--> Li and York completed the paper in 1973, but when they submitted it to ''The American Mathematical Monthly'', they were told that it was too technical and that it should be significantly rewritten to make it easier to understand, and it was rejected. <!--[ 363 ]--><!--[ 361 ]--> The paper was then left unrevised. <!--[ 361 ]--> However, the following year, in 1974, May came to give a special guest lecture at the University of Maryland where Lee and York were working, and talked about the logistic map. <!--[ 361 ]--> At the time, May did not yet understand what was happening in the chaotic domain of the logistic map, but Lee and York were also unaware of the period-doubling cascade of the logistic map. <!--[ 354 ]--> Excited by May's talk, Lee and York caught up with May after the lecture and told him about their results, which surprised May. <!--[ 364 ]--> Lee and York quickly rewrote the rejected paper, and the resubmitted paper was published in 1975. <!--[ 365 ]-->

[[File:Mitchell J Feigenbaum - Niels Bohr Institute 2006.jpg|thumb|Mitchell Feigenbaum (photographed in 2006)]]

Also, around 1975, mathematical physicist Mitchell Feigenbaum noticed a scaling law in which the branching values converged in a geometric progression when he looked at the period-doubling cascade of the logistic map, and discovered the existence of a constant, now called the Feigenbaum constant, through numerical experiments. <!--[ 366 ]--> May and George Oster had also noticed the scaling law, but they were unable to follow it in depth. <!--[ 139 ]--> Feigenbaum discovered that the same constant also appeared in the sine map shown in equation (4–1), and realized that this scaling law had a universality that went beyond the logistic map. <!--[ 367 ]--> In 1980, a rigorous proof of this result was given by Pierre Collé, Jean-Pierre Eckman, Oscar Rumford, and others. <!--[ 368 ]--> At about the same time as Feigenbaum, or later, physicists discovered the same period doubling cascade and the Feigenbaum constant in real life, and chaos, which had previously been seen as a strictly mathematical phenomenon, had a major impact on the field of physics as well. <!--[ 369 ]-->

However, there is criticism of the tendency to downplay research results from before the popularity of chaos, and to attribute many of those results to rediscoverers who used the logistic map, etc. <!--[ 352 ]--> May himself respects the existence of previous research, but positions his own achievement as not being "the first to independently discover the strange mathematical behavior of quadratic maps", but as being one of the "last researchers to emphasize their broad implications in science". <!--[ 353 ]--> Mathematician Robert Devaney states the following before explaining the logistic map in his book:<!--[ 54 ]-->

{{quote|This means that by simply iterating the quadratic function <math>f_{\lambda}(x) = \lambda x(1 - x )</math> (also known as the logistic map), we can predict the fate of the initial population <math>x_0</math>. This sounds simple, but I dare to point out that it was only in the late 1990s, after the efforts of hundreds of mathematicians, that the iteration of this simple quadratic function was fully understood.}}

== Occurrences and similar systems ==
* In a toy model for discrete laser dynamics: <math> x \rightarrow G x (1 - \tanh (x))</math>, where <math>x</math> stands for electric field amplitude, <math>G</math><ref name="Okulov, A Yu 1986">{{cite journal |last1=Okulov |first1=A Yu |last2=Oraevskiĭ |first2=A N |year=1986 |title=Space–temporal behavior of a light pulse propagating in a nonlinear nondispersive medium |journal=J. Opt. Soc. Am. B |volume=3 |issue=5 |pages=741–746 |bibcode=1986JOSAB...3..741O |doi=10.1364/JOSAB.3.000741 |s2cid=124347430}}</ref> is laser gain as bifurcation parameter.
* [[Hofstadter sequence]]s are an example of one dimensional quasi-random, aperiodic, chaotic sequences again defined by recursion, a very special case is the logistic map

== See also ==
* [[Logistic function]], solution of the logistic map's continuous counterpart: the Logistic differential equation.
* [[Lyapunov stability]] 
* [[Malthusian growth model]]
* [[Periodic points of complex quadratic mappings]], of which the logistic map is a special case confined to the real line
* [[Radial basis function network]], which illustrates the inverse problem for the logistic map.
* [[Schröder's equation]]
* [[Stiff equation]]
{{clear}}

==Notes==
{{reflist|30em}}
==Citations==
{{reflist|group=Gulick}}
{{reflist|group=Hirsch,Smale & Devaney}}
{{reflist|group=Devaney 1989}}
{{reflist|group=Thompson & Stewart}}
{{reflist|group=May, Robert M. (1976)}}

==References==
* {{cite journal |last=May |first=Robert M. |year=1976 |title=Simple mathematical models with very complicated dynamics |journal=Nature |volume=261 |issue=5560 |pages=459–467 |doi=10.1038/261459a0 |bibcode=1976Natur.261..459M |pmid=934280 |hdl=10338.dmlcz/104555 |s2cid=2243371 |hdl-access=free }}
* {{cite book|first1=JMT|last1=Thompson|first2=HB| last2=Stewart|year=2002|title=Nonlinear Dynamics and Chaos|edition=2nd|publisher=Wiley}}
* {{cite book|first=Robert L.|last=Devaney|title=An introduction to Chaotic Dynamical systems|edition=2nd|publisher=Addison-Wesley|year=1989|bibcode=1989icds.book.....D }}
* {{cite book|last1=Hirsch|last2=Smale|last3=Devaney|title=Differential Equations, Dynamical systems, and an introduction to chaos|year=2007}}
* {{cite book|first=Denny|last=Gulick|year=1995|title= "Encounter with Chaos: A Mathematical Approach to Dynamical Systems"|publisher=産業図書 |isbn=4-7828-1009-1}}
* {{cite journal
 | title=Measuring the strangeness of strange attractors
 | journal=Physica D
 | year = 1983 | volume = 9
 | issue=1–2 | pages=189–208
 | bibcode = 1983PhyD....9..189G
 | doi = 10.1016/0167-2789(83)90298-1
 }}
* {{cite journal
 | title = On the Hausdorff dimension of fractal attractors
 | journal=Journal of Statistical Physics
 | year=1981 | volume=26
 | issue = 1 | pages=173–179
 | doi = 10.1007/BF01106792
 |bibcode = 1981JSP....26..173G |s2cid=119833080 }}
* {{cite book | last = Sprott | first = Julien Clinton | title = Chaos and Time-Series Analysis | publisher = Oxford University Press | year = 2003 | isbn = 978-0-19-850840-3 }}
* {{cite book | last = Strogatz | first = Steven | title = Nonlinear Dynamics and Chaos | publisher = Perseus Publishing | year = 2000 | isbn = 978-0-7382-0453-6 | url-access = registration | url = https://archive.org/details/nonlineardynamic00stro }}
* {{cite book | last = Strogatz | first = Steven | title = Nonlinear Dynamics and Chaos With Applications to Physics, Biology, Chemistry, and Engineering | publisher = CRC press | year = 2015 | isbn = 978-0-8133-4910-7 }}
* {{cite book <!-- Citation bot deny--> | first = Nicholas | last = Tufillaro |first2=Tyler |last2=Abbott |first3=Jeremiah |last3=Reilly | title = An Experimental Approach to Nonlinear Dynamics and Chaos | url = https://archive.org/details/unset0000unse_q2b7 | url-access = registration | publisher = Addison-Wesley New York | year = 1992 | isbn = 978-0-201-55441-0}}

==External links==
{{wikibooks|Fractals/Iterations_of_real_numbers/r_iterations#Logistic_map}}
* [http://hypertextbook.com/chaos/ The Chaos Hypertextbook]. An introductory primer on chaos and fractals.
* [https://mybinder.org/v2/gh/orome/logistic-map-py.git/main/?urlpath=lab/tree/demo.ipynb An interactive visualization of the logistic map] as a [[Organization:Project Jupyter|Jupyter]] notebook
* [http://www.egwald.ca/nonlineardynamics/logisticsmapchaos.php The Logistic Map and Chaos] by Elmer G. Wiens
* [https://web.archive.org/web/20070415033246/http://lectures.nsitlounge.in/ Complexity & Chaos (audiobook)] by Roger White. Chapter 5 covers the Logistic Equation.
* "[http://www.wolframscience.com/nksonline/page-918c-text History of iterated maps]," in ''[[A New Kind of Science]]'' by [[Biography:Stephen Wolfram|Stephen Wolfram]]. Champaign, IL: Wolfram Media, p.&nbsp;918, 2002.
* [http://ChaosBook.org/~predrag/papers/universalFunct.html "A very brief history of universality in period doubling" by P. Cvitanović]
* [https://chaosbook.blogspot.com/1993/05/acceptance-speech-1993-nkt-research.html "A not so short history of Universal Function" by P. Cvitanović]
* [http://demonstrations.wolfram.com/DiscreteLogisticEquation/ Discrete Logistic Equation] by Marek Bodnar after work by Phil Ramsden, [[Wolfram Demonstrations Project]].
* [http://demonstrations.wolfram.com/OrbitDiagramOfTwoCoupledLogisticMaps/ Multiplicative coupling of 2 logistic maps] by C. Pellicer-Lostao and R. Lopez-Ruiz after work by Ed Pegg Jr, [[Wolfram Demonstrations Project]].
* [http://www.walkingrandomly.com/?p=2006 Using SAGE to investigate the discrete logistic equation]

{{Chaos theory}}

{{DEFAULTSORT:Logistic Map}}
[[Category:Chaotic maps]]

{{Sourceattribution|Logistic map}}