Period-Doubling Cascade and the Route to Chaos

In 1975, Mitchell Feigenbaum sat at Los Alamos with an HP-65 pocket calculator, computing where a humble one-line map doubled its period. The calculator was slow enough that, while waiting, he began predicting the next bifurcation point — and noticed his predictions kept working. The doubling thresholds were marching toward a limit in geometric lockstep, each parameter interval 4.669…4.669\ldots times shorter than the last. Then came the shock: he changed the map entirely, and got the same number. A quadratic map, a sine map, the stroboscopic dynamics of a driven pendulum — every one of them approaches chaos through the identical geometric cascade, governed by a constant of nature that belongs to no particular equation. This article is about that staircase: the period-doubling route to chaos. A stable oscillation — perhaps born in a Hopf bifurcation two articles ago — does not have to die dramatically. Instead, at some parameter value its rhythm hiccups: the motion now repeats only after two cycles. Then four. Then eight. The bifurcations pile up faster and faster, infinitely many of them squeezed into a finite parameter window, and at the accumulation point the period is formally infinite — the motion has become aperiodic, and beyond lies genuine chaos. The mechanism is beautifully specific. A periodic orbit, viewed through a stroboscope, is a fixed point of a map, and its stability lives in a multiplier — the map analogue of an eigenvalue. Saddle-node bifurcations happen when a multiplier exits the unit circle through +1+1; the period-doubling flip happens at the other exit, −1-1, where nearby points alternate sides on every strobe flash. That alternation, iterated up an infinite tower, is the whole cascade — and the reason its geometry is universal is the subject of the next article.

Key takeaways
  • A period-doubling (flip) bifurcation converts a stable period-TT orbit into a stable period-2T2T orbit; it happens exactly when a real Floquet multiplier of the Poincaré map crosses −1-1.
  • Doublings recur: the thresholds r1,r2,r3,…r_1, r_2, r_3, \ldots accumulate geometrically at a finite r∞r_\infty, with interval ratios approaching the universal Feigenbaum constant δ=4.6692…\delta = 4.6692\ldots
  • For the logistic map xn+1=rxn(1−xn)x_{n+1} = r x_n(1 - x_n): r1=3r_1 = 3 exactly, r2=1+6≈3.449r_2 = 1 + \sqrt{6} \approx 3.449 exactly, and r∞≈3.569946r_\infty \approx 3.569946.
  • Geometric spacing makes the cascade predictive: two measured doublings extrapolate the onset of chaos via r∞≈rn+(rn−rn−1)/(δ−1)r_\infty \approx r_n + (r_n - r_{n-1})/(\delta - 1).
  • The route needs dissipation: strongly contracting Poincaré maps collapse onto one-hump 1D maps, the Feigenbaum universality class; Hamiltonian doubling exists but with different constants.
  • Beyond r∞r_\infty the chaos is riddled with periodic windows, each containing a miniature copy of the whole cascade.
  • Key idea: a stable period-TT orbit is a stable fixed point of the Poincaré map PP; when a multiplier of DP\mathrm{D}P crosses −1-1, the fixed point flips into a stable 2-cycle of PP — a fixed point of P2P^2 — and iterating this logic up the tower P→P2→P4→⋯P \to P^2 \to P^4 \to \cdots generates a geometric cascade accumulating at r∞r_\infty, beyond which lies chaos.
The core insight

A stable period-TT orbit is a stable fixed point of the Poincaré map PP. When a multiplier (eigenvalue of DP\mathrm{D}P) crosses −1-1, the fixed point of PP destabilizes while a stable period-2 point of PP — i.e. a fixed point of P2P^2 — is born. Iterating this logic (P→P2→P4→…P \to P^2 \to P^4 \to \dots) generates a geometric cascade of doublings accumulating at r∞r_\infty, beyond which lies chaos.

Where this lives today

Period-doubling has become an engineering diagnostic. Switched-mode power converters — the buck and boost circuits inside every laptop charger — are literally maps: the state is sampled once per switching cycle, and as load or gain varies the sampled dynamics undergoes flip bifurcations that show up as subharmonic ripple; converter designers compute the multiplier crossing −1-1 and add damping (slope compensation) to keep the operating point rungs away from the cascade. Cardiologists know the flip as alternans: a heart cell driven too fast responds strong-weak-strong-weak — a period-2 of the beat — and beat-to-beat alternans in ECG records is a validated predictor of ventricular fibrillation, the arrhythmia being (in the dynamical picture) the far end of the staircase. In both fields the practical power comes from Derivation B's logic: you never need to see chaos to know how far away it is; two rungs and the geometry of δ\delta tell you. In the laboratory hierarchy of this chapter, the cascade is the connective tissue. The driven damped pendulum, two articles ahead, walks the staircase explicitly as the drive is turned up; the Lyapunov exponent article turns the "beyond r∞r_\infty lies chaos" claim into a measurable number; and the logistic map article completes the specimen's biography, windows and all. The immediate next step, though, is the question this article has been carefully deferring: why 4.66924.6692 — why should a pendulum and a fluid and a one-line map share a decimal expansion? That is renormalization, and it is next.

The physical picture

Strobe a driven oscillator once per drive cycle and plot the flash. A clean periodic response gives one dot, forever — a fixed point of the stroboscopic map. Now raise the drive. At some threshold the single dot splits: the flashes alternate between two positions, and the true period of the motion is now two drive cycles. To the ear (if the oscillator is a speaker cone or an organ pipe), a subharmonic at half the drive frequency has switched on. Raise the drive further and each dot splits again — four flashes, then eight, sixteen — the splittings arriving faster and faster until, at a finite drive level, the pattern never repeats at all.

Figure
Iterates of the logistic map at three parameter values — the attractor needs 1, 2, then 4 strobe flashes to repeat
r = 2.9 — period 1 n r = 3.3 — period 2 n r = 3.52 — period 4 n strobe the state once per cycle: one level, then two alternating, then four — each doubling adds a subharmonic f/2, f/4 to the spectrum

Why does the orbit double, rather than triple or drift? Because a real multiplier leaving the unit circle has exactly two real exits. Through +1+1, nearby points march away monotonically on the same side — the orbit collides with a partner and vanishes (a saddle-node, the same-period event catalogued in Bifurcations and the Loss of Stability). Through −1-1, nearby points alternate: left of the orbit on this flash, right of it on the next, farther each time. An alternating escape does not leave the neighbourhood the way a monotone one does — it gets caught by nonlinearity on both sides simultaneously, and settles into a stable two-point dance. The alternation is the period-2 orbit. The only other generic exit is a complex pair leaving the circle together — the Neimark–Sacker bifurcation, which births a torus rather than a doubled orbit.

Figure
The three exits of a Floquet multiplier from the unit circle — only the minus-one exit doubles the period
Re λ Im λ unit circle |λ| = 1 through +1: saddle-node — same period through −1: flip — period DOUBLES complex pair off the circle: Neimark–Sacker — a torus is born a periodic orbit is a fixed point of the Poincaré map — its multipliers have exactly three generic ways out

The deep surprise is not the doubling but the pacing. Each successive doubling interval is shorter than the previous by the same asymptotic factor, so the thresholds converge geometrically to r∞r_\infty — infinitely many bifurcations, finite parameter budget. The figure below shows the real thing, computed for the logistic map: the branches split, the splittings crowd together self-similarly, and past r∞r_\infty the attractor smears into a chaotic band. The ratio of the first two visible intervals is already within two percent of δ=4.6692…\delta = 4.6692\ldots; that this number is the same for a pendulum, a dripping faucet, and a convecting fluid is the universality story of the next article. Here we build the tower itself.

Figure
The period-doubling cascade of the logistic map — computed branches, geometric squeezing, and the chaotic band beyond the accumulation point
r x* r1 r2 r3 r∞ period 1 period 2 4 8 chaos r2−r1 = 0.4495 r3−r2 = 0.0946 — ratio ≈ 4.75 → δ

The map, the multiplier, and the flip

The cascade's natural habitat is a one-dimensional map. For a driven mechanical system the map is the stroboscopic Poincaré map — dissipation squeezes the section onto a nearly one-dimensional curve, as the article on Poincaré sections shows — but for the mechanism it is cleanest to work with the canonical specimen directly:

xn+1=f(xn)=r xn (1−xn)(1)x_{n+1} = f(x_n) = r\,x_n\,(1 - x_n) \qquad (1)

where: xn∈[0,1]x_n \in [0,1] — the state at strobe flash nn; r∈[0,4]r \in [0,4] — the control parameter playing the role of drive strength. This is the logistic map, whose full biography (cobwebs, exact solutions, windows) is the business of its own article later in the chapter; here it serves as the minimal one-hump map with a quadratic maximum — the only features the cascade will turn out to care about. A period-1 orbit is a fixed point x∗=f(x∗)x^* = f(x^*), and its stability is measured by the multiplier

λ=f′(x∗)=r(1−2x∗)(2)\lambda = f'(x^*) = r(1 - 2x^*) \qquad (2)

where: λ\lambda — the factor by which a small displacement from x∗x^* is multiplied on each iteration, the map analogue of eμTe^{\mu T} for a flow. Stability means ∣λ∣<1|\lambda| < 1; the sign of λ\lambda says whether perturbations decay monotonically (0<λ<10 < \lambda < 1) or with alternating sign (−1<λ<0-1 < \lambda < 0). For the nontrivial fixed point x∗=1−1/rx^* = 1 - 1/r one finds λ=2−r\lambda = 2 - r: monotone convergence for 1<r<21 < r < 2, alternating convergence for 2<r<32 < r < 3, and at r=3r = 3 the multiplier reaches the flip threshold

f′(x∗)=−1(3)f'(x^*) = -1 \qquad (3)

where: this is the defining condition of the period-doubling bifurcation — for a continuous-time system, read ff as the Poincaré map and (3) as a Floquet multiplier of the periodic orbit crossing −1-1. Beyond it the fixed point survives but repels, and the attractor is the newborn 2-cycle (Derivation A computes it exactly). The tower then climbs by strict recursion: the 2-cycle is a fixed point of f2f^2, with its own multiplier (f2)′(f^2)', which itself decreases through −1-1 at r2r_2, flipping the 2-cycle into a 4-cycle — a fixed point of f4f^4 — and so on. Each level replays the same one-dimensional drama on the twice-iterated map. The thresholds obey the geometric law

rn≃r∞−C δ−n(4)r_n \simeq r_\infty - C\,\delta^{-n} \qquad (4)

where: δ=4.669201609…\delta = 4.669201609\ldots — the first Feigenbaum constant, the asymptotic ratio (rn−rn−1)/(rn+1−rn)(r_n - r_{n-1})/(r_{n+1} - r_n); CC — a non-universal amplitude that does depend on the map; r∞r_\infty — the accumulation point, 3.569945672…3.569945672\ldots for the logistic map. Alongside δ\delta lives a second universal number,

α=−2.502907875…(5)\alpha = -2.502907875\ldots \qquad (5)

where: α\alpha — the spatial rescaling factor: the splitting of the attractor branches nearest the map's maximum shrinks by ∣α∣|\alpha| (with a flip, hence the sign) at each doubling. Together (4) and (5) say the bifurcation diagram is asymptotically self-similar — zoom in by δ\delta horizontally and α\alpha vertically near the accumulation point and it reproduces itself. Both constants are eigenvalues of the doubling operator T[f](x)=αf(f(x/α))T[f](x) = \alpha f(f(x/\alpha)), whose fixed-point equation

g(x)=−1α g(g(−αx))(6)g(x) = -\frac{1}{\alpha}\,g\big(g(-\alpha x)\big) \qquad (6)

where: gg — the universal function to which all one-hump maps flow under repeated compose-and-rescale — is stated here only for orientation: solving it, and understanding why one unstable eigenvalue of DT\mathrm{D}T equals δ\delta, is precisely the renormalization story of the next article, Feigenbaum Constants and Universality. Finally, past r∞r_\infty, the diagnostic of chaos is the Lyapunov exponent of the map,

λLyap=lim⁡N→∞1N∑n=0N−1ln⁡∣f′(xn)∣(7)\lambda_{\mathrm{Lyap}} = \lim_{N\to\infty} \frac{1}{N} \sum_{n=0}^{N-1} \ln\big|f'(x_n)\big| \qquad (7)

where: λLyap\lambda_{\mathrm{Lyap}} — the average logarithmic stretching rate along the orbit; it is negative throughout the periodic cascade, touches zero at every doubling threshold (where the orbit is marginally stable), hits zero from below at r∞r_\infty, and turns positive in the chaotic bands — with sharp negative dips inside the periodic windows. Its full theory comes two articles later; here it is the instrument that certifies "beyond r∞r_\infty lies chaos."

Which tool answers which question

you wantusenotes
is this orbit stable?multiplier λ\lambda of the (iterated) map, eq. (2)∥λ∥<1\|\lambda\| < 1 stable
what bifurcation just happened?exit of λ\lambda from the unit circle+1+1 saddle-node · −1-1 flip · complex pair torus
where is the next doubling?rn+1≈rn+(rn−rn−1)/δr_{n+1} \approx r_n + (r_n - r_{n-1})/\deltaasymptotic; already good at n=2n = 2
where does chaos start?r∞≈rn+(rn−rn−1)/(δ−1)r_\infty \approx r_n + (r_n - r_{n-1})/(\delta - 1)geometric-tail sum, Derivation B
is the motion past r∞r_\infty chaotic?Lyapunov exponent (7)positive = chaos; windows dip negative
Derivation AThe first two doublings of the logistic map — exactly

We are going to catch the cascade's first two rungs in closed form: the flip of the fixed point at r1=3r_1 = 3 and the flip of the resulting 2-cycle at r2=1+6r_2 = 1 + \sqrt{6}. The strategy is pure fixed-point analysis, escalated one level: the 2-cycle consists of fixed points of the composed map f2f^2, so we solve f2(p)=pf^2(p) = p, discard the solutions that are merely fixed points of ff itself, and then differentiate f2f^2 along the cycle with the chain rule. The step to watch is the stability computation: the multiplier of a cycle is the product of the slopes around it, which is what makes the algebra tractable — symmetric functions of the cycle points are all we need, and the quadratic's root sums deliver them free of charge.

Step 1. Locate the flip of the fixed point. From (2), λ=2−r\lambda = 2 - r at x∗=1−1/rx^* = 1 - 1/r; setting λ=−1\lambda = -1 gives r1=3r_1 = 3 exactly. For rr slightly above 3, iterates near x∗x^* alternate sides and diverge slowly from it — the alternation seeking its 2-cycle.

Step 2. Impose the period-2 condition f(f(p))=pf(f(p)) = p with p≠x∗p \neq x^*. Expanding f2f^2 gives a quartic; dividing out the two known roots p=0p = 0 and p=x∗p = x^* (fixed points of ff are automatically fixed points of f2f^2) leaves the quadratic

r2p2−r(r+1) p+(r+1)=0r^2 p^2 - r(r+1)\,p + (r+1) = 0

Why dividing out is legitimate: the quartic f2(p)−pf^2(p) - p contains the factor f(p)−pf(p) - p exactly, because every solution of f(p)=pf(p)=p solves the period-2 condition trivially; polynomial division removes them without approximation.

Step 3. Solve: the 2-cycle points are

p±=(r+1)±(r+1)(r−3)2rp_\pm = \frac{(r+1) \pm \sqrt{(r+1)(r-3)}}{2r}

Why the discriminant factors as (r+1)(r−3)(r+1)(r-3): it announces the birth at r=3r = 3 — the two cycle points are real precisely for r>3r > 3, and at r=3r = 3 they coincide with x∗=2/3x^* = 2/3, confirming the 2-cycle grows continuously out of the flipping fixed point (a pitchfork of f2f^2, as Derivation C shows in general).

Step 4. Compute the 2-cycle's multiplier by the chain rule: (f2)′(p+)=f′(p+) f′(p−)(f^2)'(p_+) = f'(p_+)\,f'(p_-) — the derivative of a composition along the orbit is the product of local slopes, and it is the same at both cycle points. With f′(x)=r(1−2x)f'(x) = r(1 - 2x) and the root sums from Step 2, p++p−=(r+1)/rp_+ + p_- = (r+1)/r and p+p−=(r+1)/r2p_+ p_- = (r+1)/r^2:

f′(p+)f′(p−)=r2[1−2(p++p−)+4p+p−]=r2−2r(r+1)+4(r+1)=4+2r−r2f'(p_+) f'(p_-) = r^2\big[1 - 2(p_+ + p_-) + 4 p_+ p_-\big] = r^2 - 2r(r+1) + 4(r+1) = 4 + 2r - r^2

Why symmetric functions suffice: the product of slopes is symmetric in p±p_\pm, so Vieta's formulas replace the ugly explicit roots entirely — a trick worth stealing for any cycle-stability computation.

Step 5. The 2-cycle is born with multiplier +1+1 at r=3r = 3 (check: 4+6−9=14 + 6 - 9 = 1) and flips when 4+2r−r2=−14 + 2r - r^2 = -1, i.e. r2−2r−5=0r^2 - 2r - 5 = 0:

r2=1+6=3.449490…r_2 = 1 + \sqrt{6} = 3.449490\ldots

At r2r_2 the period-4 orbit is born, and the same argument — now on f4f^4, no longer in closed form — produces r3=3.544090…r_3 = 3.544090\ldots, r4=3.564407…r_4 = 3.564407\ldots, marching to r∞r_\infty. Verified: r1=3r_1 = 3 and r2=1+6=3.44949r_2 = 1 + \sqrt{6} = 3.44949 match Strogatz §10.3 and Goldstein ch. 11; the multiplier 4+2r−r24 + 2r - r^2 evaluates to 11 at birth and −1-1 at r2r_2 as required.

Go deeper · Derivation B · 1 minGeometric accumulation — extrapolating the onset of chaos
Derivation BGeometric accumulation — extrapolating the onset of chaos

The goal is the practical payoff of the geometric law (4): a formula that predicts the accumulation point r∞r_\infty — the onset of chaos — from just two measured doubling thresholds. The strategy is to treat the spacings as an exact geometric sequence with ratio 1/δ1/\delta and sum the tail. The thing to watch is what is asymptotic and what is exact: the geometric law holds strictly only as n→∞n \to \infty, so early-rung extrapolations carry a small, quantifiable error — which we check against the logistic map's known values.

Step 1. From the ansatz rn=r∞−Cδ−nr_n = r_\infty - C\delta^{-n}, successive spacings are

Δn≡rn+1−rn=C δ−n(1−δ−1)\Delta_n \equiv r_{n+1} - r_n = C\,\delta^{-n}\big(1 - \delta^{-1}\big)

a geometric sequence: each interval is δ\delta times shorter than its predecessor. The measured ratio Δn−1/Δn→δ\Delta_{n-1}/\Delta_n \to \delta is how δ\delta is extracted from data.

Step 2. Sum the remaining tail beyond rn+1r_{n+1}:

r∞−rn+1=∑k≥1Δn+k=Δn∑k≥1δ−k=Δnδ−1r_\infty - r_{n+1} = \sum_{k \geq 1} \Delta_{n+k} = \Delta_n \sum_{k\geq 1} \delta^{-k} = \frac{\Delta_n}{\delta - 1}

Why this is the useful form: everything on the right is measurable after just two doublings — no fitting, no knowledge of CC.

Step 3. Test on the logistic map with the exact first rungs r1=3r_1 = 3, r2=3.449490r_2 = 3.449490: Δ1=0.449490\Delta_1 = 0.449490, so

r∞≈r2+0.4494903.669202=3.449490+0.122503=3.571993r_\infty \approx r_2 + \frac{0.449490}{3.669202} = 3.449490 + 0.122503 = 3.571993

against the true 3.5699463.569946 — an error of 0.0020.002, or 0.06%0.06\%, from the first two bifurcations alone.

Step 4. Climb one rung and repeat with r2,r3=3.544090r_2, r_3 = 3.544090: Δ2=0.094600\Delta_2 = 0.094600, giving r∞≈3.544090+0.094600/3.669202=3.569872r_\infty \approx 3.544090 + 0.094600/3.669202 = 3.569872 — now within 7×10−57 \times 10^{-5} of truth. The prediction converges as fast as the cascade itself. Why the early error is small: corrections to the geometric law fall off by further powers of δ\delta per rung, so each rung of patience buys a factor ≈4.7\approx 4.7 of accuracy — the same acceleration Feigenbaum exploited on his calculator. *Verified: δ=4.669201609\delta = 4.669201609, r3=3.544090r_3 = 3.544090, r∞=3.569945672r_\infty = 3.569945672 are the standard tabulated values (Feigenbaum 1978; Strogatz Table 10.3.1); arithmetic recomputed above.*

Go deeper · Derivation C · 2 minWhy a multiplier at minus one means doubling — the flip as a pitchfork of the second iterate
Derivation CWhy a multiplier at minus one means doubling — the flip as a pitchfork of the second iterate

We close the logical gap between "λ\lambda hits −1-1" and "a 2-cycle is born," in a way that works for any smooth map, not just the logistic. The strategy is normal-form reduction: expand the map near the fixed point at the critical parameter, then study the second iterate, which is where the period-2 structure must live. The punchline to watch for: ff itself has no bifurcation of fixed points at all at the flip — it is f2f^2 that undergoes a pitchfork, and the pitchfork's two new fixed points are the two points of the single newborn cycle.

Step 1. Put the fixed point at the origin and expand at the critical parameter, keeping the parameter dependence in the linear term:

f(x)=−(1+ε) x+a x2+b x3+⋯f(x) = -(1 + \varepsilon)\,x + a\,x^2 + b\,x^3 + \cdots

where ε∝r−rc\varepsilon \propto r - r_c is small. At ε=0\varepsilon = 0 the multiplier is exactly −1-1.

Step 2. Compose ff with itself and collect orders (the x2x^2 terms cancel in the composition — squaring restores the sign symmetry that the −1-1 linear part enforces):

f2(x)=(1+ε)2x−K x3+O(x4),K=2(a2+b)f^2(x) = (1 + \varepsilon)^2 x - K\,x^3 + \mathcal{O}(x^4), \qquad K = 2\big(a^2 + b\big)

Why the quadratic terms cancel: applying ff twice maps x→−xx \to -x at linear order, so the composed map is odd to leading nonlinear order near the flip — the same symmetry that makes the pitchfork the generic bifurcation for odd maps.

Step 3. Fixed points of f2f^2 near the origin satisfy (1+2ε)x−Kx3=x(1 + 2\varepsilon)x - Kx^3 = x, i.e.

x(2ε−Kx2)=0⇒x=0  or  x±=±2ε/Kx\big(2\varepsilon - K x^2\big) = 0 \quad\Rightarrow\quad x = 0 \ \ \text{or} \ \ x_\pm = \pm\sqrt{2\varepsilon/K}

a pitchfork of f2f^2: for ε>0\varepsilon > 0 (supercritical flip, K>0K > 0) two new fixed points of f2f^2 appear at distance ∝r−rc\propto \sqrt{r - r_c}.

Step 4. Identify the pair as one orbit: x±x_\pm are not fixed points of ff (its only nearby fixed point is 00), and to leading order f(x+)=−x+=x−f(x_+) = -x_+ = x_- — the map swaps them. The pair {x+,x−}\{x_+, x_-\} is a single period-2 orbit whose amplitude grows like r−rc\sqrt{r - r_c}, mirroring the Hopf square-root law one bifurcation class up.

Step 5. Note the subcritical shadow: if K<0K < 0 the pitchfork of f2f^2 is subcritical — an unstable 2-cycle closes onto the fixed point from below and the flip ejects trajectories to a distant attractor, with hysteresis, exactly parallel to the subcritical Hopf. The sign of KK, like the first Lyapunov coefficient, is invisible to the multiplier itself. Verified: matches the flip normal form of Guckenheimer–Holmes §3.5; for the logistic map at r=3r = 3, aa and bb give K>0K > 0, and the predicted r−3\sqrt{r-3} growth of the 2-cycle agrees with the exact p±p_\pm of Derivation A expanded near r=3r = 3.

Limiting cases

CaseResultMeaning
strongly dissipative flowdet⁡DP→0\det \mathrm{D}P \to 0Poincaré map collapses onto a one-hump 1D map; Feigenbaum constants apply exactly
conservative / area-preservingdet⁡DP=1\det \mathrm{D}P = 1doubling exists but in a different universality class: δH≈8.721\delta_H \approx 8.721, αH≈−4.018\alpha_H \approx -4.018
approaching r∞r_\inftyrn=r∞−Cδ−nr_n = r_\infty - C\delta^{-n}, period 2n2^nperiod diverges as a power of the parameter distance: 2n∝(r∞−r)−ln⁡2/ln⁡δ2^n \propto (r_\infty - r)^{-\ln 2/\ln\delta}
just beyond r∞r_\inftyλLyap>0\lambda_{\mathrm{Lyap}} > 0chaotic bands, punctuated by periodic windows born in saddle-node bifurcations
multiplier exits at +1+1saddle-node, same periodno doubling — the other real exit
complex pair exits circleNeimark–Sackerquasiperiodic torus, a different route to chaos
noisy experimentcascade truncated after ∼log⁡(1/noise)/log⁡δ\sim \log(1/\text{noise})/\log\delta rungsnoise smears late doublings; only 4–5 rungs ever observed cleanly

Worked examples

1 · Certifying a 2-cycle by hand (confidence builder)

For the logistic map at r=3.2r = 3.2, find the period-2 points, show they are stable, and give the multiplier.

Step 1. From Derivation A, p±=[(r+1)±(r+1)(r−3)]/2rp_\pm = \big[(r+1) \pm \sqrt{(r+1)(r-3)}\big]/2r. With r=3.2r = 3.2: (r+1)(r−3)=4.2×0.2=0.84(r+1)(r-3) = 4.2 \times 0.2 = 0.84, 0.84=0.9165\sqrt{0.84} = 0.9165, so p+=(4.2+0.9165)/6.4=0.7995p_+ = (4.2 + 0.9165)/6.4 = \boxed{0.7995} and p−=(4.2−0.9165)/6.4=0.5130p_- = (4.2 - 0.9165)/6.4 = \boxed{0.5130}.

Step 2. Sanity check the orbit closes: f(0.7995)=3.2×0.7995×0.2005=0.5130f(0.7995) = 3.2 \times 0.7995 \times 0.2005 = 0.5130 ✓ and f(0.5130)=3.2×0.5130×0.4870=0.7995f(0.5130) = 3.2 \times 0.5130 \times 0.4870 = 0.7995 ✓ — the two points swap each iteration.

Step 3. Multiplier from the closed form: (f2)′=4+2r−r2=4+6.4−10.24=0.16(f^2)' = 4 + 2r - r^2 = 4 + 6.4 - 10.24 = \boxed{0.16}. Since ∣0.16∣<1|0.16| < 1, the 2-cycle is strongly stable — perturbations shrink by a factor 66 every two iterations. The fixed point x∗=1−1/3.2=0.6875x^* = 1 - 1/3.2 = 0.6875 has λ=2−r=−1.2\lambda = 2 - r = -1.2: unstable, alternating — exactly the flip aftermath.

2 · Predicting chaos from two measured doublings (exam level)

A driven pendulum experiment shows a subharmonic f/2f/2 switching on at drive amplitude A1=1.240A_1 = 1.240 (arbitrary units) and f/4f/4 at A2=1.452A_2 = 1.452. Assuming the Feigenbaum scenario, predict (i) the f/8f/8 threshold and (ii) the onset of chaos. (iii) How many further doublings could be resolved if the drive can be set with precision 10−410^{-4}?

Step 1. Interval: Δ1=A2−A1=0.212\Delta_1 = A_2 - A_1 = 0.212. Next interval ≈Δ1/δ=0.212/4.6692=0.0454\approx \Delta_1/\delta = 0.212/4.6692 = 0.0454, so the f/8f/8 threshold is predicted at A3≈1.452+0.0454=1.497A_3 \approx 1.452 + 0.0454 = \boxed{1.497}.

Step 2. Onset of chaos from the geometric tail (Derivation B): A∞≈A2+Δ1/(δ−1)=1.452+0.212/3.6692=1.452+0.0578=1.510A_\infty \approx A_2 + \Delta_1/(\delta - 1) = 1.452 + 0.212/3.6692 = 1.452 + 0.0578 = \boxed{1.510}.

Step 3. Resolvability: the nn-th interval past A2A_2 is Δ1δ−n\Delta_1 \delta^{-n}; it falls below 10−410^{-4} when δ−n<10−4/0.212\delta^{-n} < 10^{-4}/0.212, i.e. n>ln⁡(2120)/ln⁡(4.6692)=7.66/1.541=4.97n > \ln(2120)/\ln(4.6692) = 7.66/1.541 = 4.97. So about 4\boxed{4} more doublings (f/8f/8 through f/64f/64) are resolvable before the rungs blur — the practical ceiling that noise and drift impose on every real cascade experiment, and the reason Libchaber's four clean doublings in convecting mercury counted as a triumph.

3 · How fast does the period blow up? (applied)

For the logistic map, estimate the orbit period at r=3.5699r = 3.5699, just below r∞=3.569946r_\infty = 3.569946.

Step 1. Invert the geometric law: r∞−rn≈Cδ−nr_\infty - r_n \approx C\delta^{-n} with C≈1.25(r2−r1)⋅δ2/(δ−1)∼0.7C \approx 1.25 (r_2-r_1) \cdot \delta^2/( \delta-1) \sim 0.7; more simply, count rungs from a known one. From r4=3.564407r_4 = 3.564407: r∞−r4=5.54×10−3r_\infty - r_4 = 5.54 \times 10^{-3}, and r∞−r=4.6×10−5r_\infty - r = 4.6 \times 10^{-5} is smaller by a factor 120≈δ3.1120 \approx \delta^{3.1}.

Step 2. So the parameter sits about 33 rungs above r4r_4, i.e. near r7r_7, where the stable orbit has period 27=1282^7 = \boxed{128}. General scaling: period ∝(r∞−r)−ln⁡2/ln⁡δ=(r∞−r)−0.4498\propto (r_\infty - r)^{-\ln 2 / \ln \delta} = (r_\infty - r)^{-0.4498} — the period diverges with a universal power, another exponent shared by every system in the class.

Origins · 1 minMitchell Feigenbaum and how this was discovered
MF
Mitchell Feigenbaum
1944–2019 · Los Alamos · Rockefeller

Feigenbaum was a Los Alamos theorist with a reputation for profound half-finished projects when, in the summer of 1975, he pointed a programmable HP-65 calculator at the logistic map's doubling thresholds. The machine's slowness was the discovery's midwife: waiting seconds per iteration, he began guessing the next threshold, found his guesses converging geometrically, and extracted the ratio 4.669…4.669\ldots. When he repeated the computation for xn+1=rsin⁡(πxn)x_{n+1} = r\sin(\pi x_n) — a different function entirely — the same digits emerged, and he understood he had found not a property of a map but a law of the doubling process itself. The renormalization explanation followed within months, borrowing the compose-and-rescale logic of critical phenomena. Mainstream journals rejected the papers for years — too strange, too physical for mathematicians, too mathematical for physicists — until Joel Lebowitz published them in the Journal of Statistical Physics in 1978–79. By 1982, Libchaber's helium and mercury convection cells had measured the cascade rung by rung and confirmed δ\delta in a real fluid, and Feigenbaum's constants had joined the short list of pure numbers that nature is obliged to respect. The full universality machinery is the next article's subject; the cascade in this one is his monument.

History
1964
— Sharkovskii orders the integers by which periods force which; period three sits at the top, a decade before the West notices.
1971
— May begins pushing the logistic map as a serious model in ecology, finding period-doubling and chaos where common sense expected equilibrium.
1975
— Feigenbaum, on a pocket calculator at Los Alamos, discovers the geometric convergence of doubling thresholds and the universal ratio 4.669.
1978
— The renormalization theory appears in the Journal of Statistical Physics after years of rejections; Coullet and Tresser reach the same structure independently.
1982
— Libchaber's convection experiments in mercury resolve four clean period-doublings and measure delta within a few percent — universality confirmed in a bucket of metal.

Going further

References. Morin, Introduction to Classical Mechanics, ch. on chaos · Goldstein, Poole & Safko, Classical Mechanics 3e, ch. 11 (Chaos) · Landau & Lifshitz, Mechanics Vol 1, §30 (transition to turbulence/chaos) · Taylor, Classical Mechanics, ch. 12 · Strogatz, Nonlinear Dynamics and Chaos, ch. 10 · Feigenbaum, J. Stat. Phys. 19, 25 (1978)

Provenance. Equations are standard logistic-map and renormalization results. A verifier should: (1) re-derive r1=3r_1=3 and r2=1+6r_2=1+\sqrt6 by solving the fixed-point and period-2 conditions (Strogatz §10.3, Goldstein ch. 11); (2) confirm the tabulated constants δ=4.669201609…\delta=4.669201609\ldots, α=−2.502907875…\alpha=-2.502907875\ldots, r∞=3.569945672…r_\infty=3.569945672\ldots against Feigenbaum (J. Stat. Phys. 19, 25, 1978) and Strogatz Table 10.3.1; (3) check the multiplier-crossing-−1-1 criterion against linear stability analysis of Poincaré/Floquet theory (Goldstein, Landau–Lifshitz Vol 1 §30, Taylor ch. 12).

Builds on: Bifurcations and the Loss of Stability · Saddle-Node, Transcritical, and Pitchfork Bifurcations · Linear Stability Analysis and the Jacobian · Fixed Points and Equilibria · Limit Cycles and Self-Sustained Oscillations Leads to: Feigenbaum Constants and Universality · Hopf Bifurcation and Birth of Limit Cycles · Poincaré–Bendixson Theorem

Why does the period double instead of tripling or jumping to some other multiple?

Because the destabilizing multiplier is a real, continuous function of the parameter, and it must leave the interval (−1,1)(-1, 1) through an endpoint. Through +1+1 the orbit meets a same-period saddle-node; through −1-1 nearby iterates alternate sides, which is precisely period-2 structure. There is no real exit that produces period 3 — odd periods arrive by a completely different mechanism (saddle-node births inside the chaotic regime, the famous period-3 window at r≈3.83r \approx 3.83). A complex-conjugate pair can also exit the unit circle, but that requires a two-dimensional map and gives quasiperiodicity (Neimark–Sacker), not a subharmonic. So doubling is not aesthetic preference; it is the exhaustive list of generic real exits.

Is delta exactly the same for a driven pendulum as for the logistic map, or only approximately?

Exactly the same, asymptotically — provided the pendulum is dissipative. Damping contracts phase-space volume, so the stroboscopic Poincaré map squeezes onto an effectively one-dimensional curve with a single smooth quadratic maximum, and any such map renormalizes to the same fixed point gg with the same eigenvalue δ=4.669…\delta = 4.669\ldots. What differs between systems is everything non-universal: the location of r∞r_\infty, the amplitude CC, which physical variable plays the role of xx. The early rungs also show transient corrections (the logistic map's first ratio is 4.754.75, not 4.6694.669), which decay by a factor ∼δ\sim\delta per rung. So a measured pendulum ratio of 4.44.4–4.74.7 after two or three doublings is full agreement, not approximate agreement.

Can anyone actually observe infinitely many doublings?

No — and the truncation is itself lawful. Noise of amplitude σ\sigma blurs the nn-th rung when the attractor's finest splitting, which shrinks like ∣α∣−n|\alpha|^{-n}, falls below σ\sigma; equivalently, each doubling you want to resolve costs a factor ≈δ\approx \delta in parameter stability and a factor ≈∣α∣\approx |\alpha| in measurement resolution. Four or five clean rungs is the practical record in fluid and circuit experiments, which is why Libchaber's four doublings in mercury were decisive. There is even a universal scaling theory of the noise itself: adding noise to a map at the accumulation point acts like a relevant perturbation with its own universal eigenvalue, truncating the cascade in a system-independent way — disorder obeying the same renormalization discipline as the order it destroys.

The article says the Lyapunov exponent is zero at each doubling threshold. Why there?

At the threshold the orbit's multiplier is exactly −1-1, so ∣(f2n)′∣=1|(f^{2^n})'| = 1 along the cycle: perturbations neither grow nor decay over a full period, and the average logarithmic stretching rate (7) vanishes. Between thresholds the exponent dips negative (superstable orbits, where the cycle passes through the map's maximum and the multiplier is 00, are the minima). The exponent thus performs a rising sawtooth along the cascade, touching zero at every rung — and at r∞r_\infty, where the rungs accumulate, it arrives at zero with no room left to dip, then crosses into positive territory: chaos. Watching λLyap\lambda_{\mathrm{Lyap}} approach zero along a measured cascade is another way to forecast onset without ever seeing it.

What exactly happens at r-infinity itself? Is the motion chaotic there?

Not quite — r∞r_\infty is the boundary case. The attractor at the accumulation point is the closure of the period-2∞2^\infty orbit: a Cantor set (the Feigenbaum attractor) on which the motion is aperiodic but not sensitive to initial conditions in the exponential sense — the Lyapunov exponent is exactly zero, and separations grow only algebraically. It is an attractor of fractal dimension ≈0.538\approx 0.538, universal like everything else at the critical point. Genuine chaos, with positive exponent and exponential separation, begins immediately past r∞r_\infty, where the Cantor bands merge pairwise into chaotic intervals (the inverse cascade of band-mergings, paced by the same δ\delta). The critical point is to chaos what a second-order phase transition is to a ferromagnet: scale-invariant, marginal, and the organizing singularity of everything around it.

Do the periodic windows inside chaos contradict the cascade picture?

They complete it. Beyond r∞r_\infty, stable periodic orbits are reborn in saddle-node (tangent) bifurcations — a multiplier entering at +1+1 this time — most prominently the period-3 window near r=3.8284r = 3.8284. Each window then runs its own complete period-doubling cascade (3→6→12→⋯3 \to 6 \to 12 \to \cdots) with the same δ\delta, ending in its own accumulation point and its own chaos. The bifurcation diagram is therefore self-similar in a second sense: miniature copies of the entire cascade-plus-chaos structure tile the chaotic region at every scale. Sharkovskii's theorem organizes the bookkeeping — the appearance of a period-3 orbit implies orbits of every other period exist (mostly unstable) — which is the content of the slogan "period three implies chaos."

For a real flow rather than a map, what plays the role of f prime at the fixed point?

The Floquet multipliers of the periodic orbit — the eigenvalues of the linearized return map DP\mathrm{D}P taken on a Poincaré section transverse to the orbit. A period-TT orbit of a flow is a fixed point of PP; perturbations transverse to the orbit get multiplied by DP\mathrm{D}P once per lap. In a three-dimensional dissipative flow DP\mathrm{D}P is a 2×22\times 2 matrix with ∣det⁡∣<1|\det| < 1; strong contraction makes one multiplier tiny, and the surviving one is the effective f′f' of this article. The doubling condition is that this multiplier crosses −1-1 — equivalently, a Floquet exponent has real part zero with imaginary part π/T\pi/T, which is why the newborn subharmonic sits at exactly half the drive frequency in the power spectrum.

Is there a subcritical period-doubling, like the subcritical Hopf?

Yes, and the analogy is exact. Derivation C shows the flip is a pitchfork of f2f^2, and pitchforks come in both signs: if the cubic coefficient KK is negative, the 2-cycle that exists before the threshold is unstable, closing onto the orbit as the parameter approaches criticality and leaving the system with no nearby attractor beyond it — a hard flip with a jump to a distant state and hysteresis on the return sweep. In experiments this appears as a subharmonic that switches on at finite amplitude rather than growing continuously from zero. The cascade scenario of this article presupposes the supercritical sign at every rung, which is what one-hump maps with negative Schwarzian derivative guarantee — one of the quiet hypotheses doing real work behind the famous constants.

Before this

Where this leads