CurvG
Sign In

No. 2 · Complex numbers · Fractals

How does one line, z² + c, grow endless detail?

Take every point of the plane, apply z → z² + c over and over, and see whether it escapes. Colour the ones that stay and you get the Mandelbrot set: new spirals wherever you look on the edge, and small copies of the whole. Drag, zoom and go looking.

Why?

The explanation

A one-line rule with endless complexity: new structure all along the edge, and small copies of the whole hidden everywhere.

01One rule

Take a complex number cc, start from z0=0z_0=0 and keep computing

zn+1=zn2+cz_{n+1}=z_n^2+c

The sequence 0, c, c2+c, …0,\ c,\ c^2+c,\ \dots is the orbit of cc. If it never runs off to infinity, cc belongs to the Mandelbrot set.

There is a shortcut for deciding: once any ∣zn∣>2|z_n|>2, the orbit is sure to escape. So a picture only needs to iterate until ∣z∣|z| passes 2, or until a step limit is reached.

The first point in the story, c≈−0.1226+0.7449ic\approx-0.1226+0.7449i, is special: after three steps it is back at 0, so its orbit is a triangle repeated forever. The second, c=−0.75+0.1ic=-0.75+0.1i, sits just outside the set and escapes only at step 33.

02Where the colours come from

Points in the set are black. Every point outside escapes eventually, just at different speeds: the closer to the set, the slower. The colour shows when a point escaped.

To get smooth colour instead of rings of steps, the picture uses the smooth escape value

μ=n+1−log⁡2log⁡∣zn∣\mu=n+1-\log_2\log|z_n|

where nn is the step at which the orbit passes radius 16. The closer to the edge, the larger μ\mu and the brighter the colour.

In the third part of the story the step limit climbs from 1 to 220. With a small limit, many points that will escape later have not escaped yet and are wrongly counted as inside, so the outline starts as a large blob and tightens ring by ring.

03An edge without end

The inside is solid; the complexity is all on the edge. Zoom into any part of it and new spirals, tendrils and patterns appear, at every magnification.

  • Douady and Hubbard proved in 1982 that the set is connected: the islands that seem scattered are all joined by thin filaments.
  • Shishikura proved in 1998 that its boundary has Hausdorff dimension 2, so a "curve" that is as thick, in a sense, as an area.
  • Its area is about 1.5066, but the exact value is still unknown.

04Copies of itself everywhere

The copy at the end of the story lies deep in seahorse valley at c≈−0.7436442+0.1318254ic\approx-0.7436442+0.1318254i. It is only about a millionth wide, so you need a zoom of over 300,000 to see it. It has the same heart-shaped body, the same discs, the same edge, but it is not an exact copy: the spirals and filaments around it differ from the original. A much larger copy sits on the antenna sticking out to the left, near c≈−1.7549c\approx-1.7549; "Places" flies you there.

There are infinitely many such copies scattered along the edge. Their centres are called nuclei: starting from 0, the orbit returns exactly to 0 after some number of steps. The nucleus of the copy in seahorse valley returns every 78 steps; the three-step point at the start of the story is the nucleus of a disc.

05How the zoom goes so deep

Graphics cards are fast but work in 32-bit floats, about 7 significant digits. Around a 10,000× zoom, neighbouring pixels can no longer tell their values of cc apart and the picture breaks into blocks.

This page uses perturbation: one reference orbit ZnZ_n is computed at the centre of the view in 64-bit precision, and each pixel only tracks its difference δn\delta_n from it:

δn+1=(2Zn+δn) δn+δc\delta_{n+1}=(2Z_n+\delta_n)\,\delta_n+\delta c

δ\delta is small, so 32 bits hold it accurately. Whenever ∣Zn+δn∣<∣δn∣|Z_n+\delta_n|<|\delta_n|, or the reference runs out, the current value becomes a new start and is lined up with the beginning of the reference again, so errors do not pile up.

That takes the page to a zoom of about 16 trillion, where 64-bit precision itself runs out.

Questions

Why is the escape radius 2?

If $|z|>2$ and $|z|\ge|c|$, then $|z^2+c|\ge|z|^2-|c|\ge|z|(|z|-1)>|z|$, and the growth factor keeps increasing, so the orbit must run off to infinity. The whole set also lies inside the circle of radius 2.

Can you zoom forever?

Mathematically yes: the edge has new structure at every scale. This page is limited by 64-bit floats to about 16 trillion times; deeper zooms need an arbitrary-precision reference orbit.

How is it related to Julia sets?

Fix $c$ and vary the starting point $z_0$ instead, and you get a Julia set. $c$ is in the Mandelbrot set exactly when its Julia set is connected, so the Mandelbrot set works as a map of all Julia sets.

What do the points in the black region do?

Their orbits stay trapped forever. Points in the main heart shape settle onto a single fixed point; in the discs attached to it, the orbit cycles between 2, 3 or more places, like the triangle orbit in the story.

The syllabus side

Related curves

Sources: Mandelbrot set — Wikipedia · Plotting algorithms for the Mandelbrot set — Wikipedia