Matpic
mathematics, in pictures
Concept

Attractor

A set that nearby trajectories approach and stay near, and which contains no smaller set with that property. It is what an orbit settles onto once the transient has died away, and its shape is what distinguishes steady behaviour from chaotic.

Named by 7 essays across one field — each of them below, with the objects they name alongside it.

the logistic map at 3.2, iterated from 0.2. A map drawn as a curve with the diagonal across it, and the staircase that iterating it produces.

The staircase that shows the whole orbit

Take a number, feed it to a rule, feed the answer back in. There is a way of drawing that on the rule's own graph which turns the entire future of a starting point into a shape — and the shape is legible.

dynamics · Iteration The logistic map's bifurcation diagram, 2.4 to 4. For each parameter, the values the orbit settles into, plotted as a column of points.

The road paved with doublings

Turn one dial slowly and watch what a map settles into. It settles on a point, then on two points, then four, then eight — faster and faster, and the doublings run out at a parameter that is finite.

dynamics · Period-doubling The Lorenz attractor at ρ = 28. A trajectory of the Lorenz equations, projected onto two of its three coordinates.

Two lobes and no cycle

Three equations, three variables, and a trajectory that never crosses itself, never repeats, and never leaves a region of zero volume. The set it settles onto is not a point, not a loop, and not a surface.

dynamics · Strange attractor the Koch curve, after 5 steps. the Koch curve drawn from its own rule: replace the middle third of every segment with two sides of a triangle.

A dimension that is not a whole number

Cover a set with boxes of side ε and count how many are needed. For a line the count grows like 1/ε, for a region like 1/ε². For the Koch curve it grows like 1/ε to the power 1.26, and that exponent is as good a definition of dimension as the other two.

dynamics · Fractal dimension A dimension of 1.2576, from two stretching rates. The running averages of the Hénon map's two Lyapunov exponents, settling at 0.4177 and -1.6217. Kaplan and Yorke's formula turns them into a dimension of 1.2576 without counting a single box.

A dimension from the stretching rates

An attractor has no construction rule, so its dimension has to be counted — which was the whole case for defining dimension by counting. Kaplan and Yorke's formula computes it instead, from two numbers that describe the map and never look at the set.

dynamics · Fractal dimension The turning point's orbit over the bifurcation diagram, 3.55 to 4. The bifurcation diagram of the logistic map from 3.55 to 4 with the curves f(1/2), f²(1/2), … up to the 6th image drawn over it. The first two bound the attractor and the rest trace the dark lines inside it.

The dark lines are one point's orbit

Past the end of the period-doubling cascade the bifurcation diagram turns into grey bands crossed by darker curves. Every one of those curves is the orbit of a single point — the top of the hump — and the places where they meet are exactly where the bands merge, in a second cascade that runs backwards at the same rate.

dynamics · Period-doubling Two staircases and the interval between them, at K = 1.5. A plot against the drive of the upper and lower ends of the circle map's rotation interval above the critical line, two stepped curves with the band between them shaded.

A whole interval of speeds

Below the critical line every orbit of the circle map goes round at the same average speed. Above it the map folds back on itself, and the speed depends on where the orbit starts — not a few different values but a whole interval of them, every fraction in it the speed of some periodic orbit, and almost none of them ever seen by an orbit started at random.

dynamics · Mode locking

Named alongside it

The objects these essays reach for when they reach for this one.

BifurcationChaosLogistic mapOrbitPeriodic orbitSelf-similarityBox dimensionDissipationFixed pointIterated function systemPeriod-doublingScaling

All concepts