2.1.25 · D5Analytical Mechanics
Question bank — Chaotic systems — sensitivity to initial conditions, Lyapunov exponents
Before we start, one shared vocabulary reminder so no symbol sneaks in undefined:
True or false — justify
True or false: A chaotic system is partly random.
False — the rules are 100% deterministic; identical starts give identical futures. The apparent randomness comes only from our imperfect knowledge of the start being amplified exponentially.
True or false: If the trajectory must escape to infinity.
False — describes the local gap between two nearby points, not the trajectory itself. The path stays on a bounded attractor by repeatedly folding back on itself.
True or false: Sensitive dependence on initial conditions is enough, on its own, to call a system chaotic.
False — pure blow-up like is sensitive but unbounded and non-chaotic. Chaos needs SDIC plus boundedness plus mixing.
True or false: A negative Lyapunov exponent means the system is chaotic in reverse.
False — means nearby trajectories converge, so errors die out. That is calm, predictable behaviour: a stable fixed point or limit cycle.
True or false: Measuring the initial state a thousand times more accurately lets you predict a thousand times longer.
False — since , accuracy enters only through a logarithm, so a better adds a fixed constant to the horizon, not a factor of 1000.
True or false: Two identical copies of a chaotic system, started from the exact same state, will diverge.
False — identical starts follow identical deterministic rules and stay locked together forever. Divergence requires a nonzero initial gap .
True or false: A system can shrink its phase-space volume overall yet still be chaotic.
True — a dissipative flow has (volume contracts, per Liouville-type reasoning) while still having (one stretching direction). Stretch-and-fold onto a strange attractor.
True or false: In a Hamiltonian (frictionless) system some could be negative.
True in principle but they come in pairs summing to zero; volume is conserved so contraction along one direction is exactly matched by expansion along its partner — no net volume loss.
True or false: The Lyapunov exponent is a property of one particular starting point.
False — the limit averages the local stretching over the whole attractor, so characterises the system, not any lucky initial condition.
Spot the error
Spot the error: "Since , the separation always grows like using the starting value ."
The local rate varies as moves along the orbit; you must average it along the trajectory, not freeze it at the starting point. Using one value ignores every later stretch and fold.
Spot the error: "We take just to make the algebra cleaner."
It is not cosmetic — the linearisation is only valid for infinitesimal . Taking keeps that approximation honest before averaging.
Spot the error: "For the logistic map at , because the population literally doubles each year."
No — the is the distance-stretching factor between two nearby trajectories (the map is conjugate to the tent map, which doubles gaps), not a doubling of the population value itself.
Spot the error: "The two limits in can be taken in either order."
Order matters: first keeps the separation infinitesimal so linear theory holds; if you let first with finite , the gap saturates on the bounded attractor and the log ratio no longer measures the true exponential rate.
Spot the error: "A positive Lyapunov exponent guarantees the trajectory never repeats."
SDIC forbids stable periodic behaviour, but chaotic systems are riddled with unstable periodic orbits (dense periodic orbits) — the trajectory just never settles onto them.
Spot the error: " means nothing interesting happens."
is the marginal case of regular, quasi-periodic, or periodic motion — nearby trajectories stay a bounded, non-growing distance apart. Plenty happens; it is simply predictable.
Spot the error: "Because weather is chaotic, better supercomputers are pointless."
False conclusion — better models and data push down and refine , buying a few extra days. The point is only that the logarithmic payoff makes indefinite prediction impossible, not that improvement is worthless.
Why questions
Why doesn't "deterministic" contradict "unpredictable"?
Determinism is a statement about the rules (they fix the future exactly); predictability is about our knowledge of the present (always uncertain). Chaos magnifies that unavoidable uncertainty exponentially.
Why is the exponential the natural function for measuring separation, rather than a polynomial?
A constant relative growth rate — the gap growing by a fixed fraction per unit time — is precisely the defining property of the exponential; taking then divides out to reveal that single rate .
Why does chaos require boundedness?
Without a finite region to fold back into, exponential stretching would just send trajectories to infinity (like ). Boundedness forces the stretch-and-fold that mixes phase space and creates genuine chaos.
Why do we look at the maximal Lyapunov exponent to decide chaos, not the whole spectrum?
Any single positive direction is enough to make nearby trajectories diverge exponentially; the largest exponent dominates the growth, so is the on/off switch.
Why does dissipation not kill the sensitivity in a driven damped pendulum?
Dissipation contracts total volume () but that contraction can be shared unevenly: the flow still stretches along one direction () while squeezing harder elsewhere, leaving room for chaos on a strange attractor.
Why is the predictability horizon so unforgiving for weather?
Because : doubling the horizon demands shrinking the initial error by a factor , an exponential cost that quickly outruns any conceivable sensor.
Why do unstable periodic orbits being "dense" matter for chaos?
They mean the trajectory is perpetually near a periodic pattern yet can never lock onto any (they are unstable), so the motion keeps looking almost-regular while endlessly wandering — the recognisable texture of chaos.
Edge cases
Edge case: What is for a simple frictionless pendulum swinging periodically?
— nearby trajectories neither converge nor diverge exponentially; the gap stays bounded and roughly constant, marking regular (non-chaotic) motion.
Edge case: What happens to at the logistic map's stable fixed point (, )?
There , so : separations are crushed instantly, the strongest possible convergence, and there is no chaos.
Edge case: Is (pure exponential runaway) chaotic since it has huge sensitivity?
No — it is sensitive but unbounded and non-mixing; a single trajectory just flees to infinity. Missing boundedness and mixing disqualifies it.
Edge case: Can a one-dimensional continuous flow be chaotic?
No — with one continuous variable the trajectory can only move monotonically toward or between fixed points; there is no room to stretch and fold, so continuous 1D flows cannot be chaotic (you need at least three dimensions, or a discrete map).
Edge case: If is exactly zero, what does the Lyapunov formula give?
It is undefined — divides by zero. That is why the definition takes the limit rather than setting it to zero, capturing infinitesimal separation without ever reaching zero.
Edge case: A trajectory sits exactly on an unstable fixed point. Does chaos show up?
Not for that idealized point — sitting precisely on it, it stays forever. But any infinitesimal nudge grows exponentially away, which is exactly the SDIC that seeds chaos everywhere around it.
Recall One-line self-test
Name the three ingredients of chaos and the sign of that flags it. ::: Sensitive dependence on initial conditions + boundedness + topological mixing, flagged by a positive maximal Lyapunov exponent .