San José State University
Thayer Watkins
Silicon Valley
& Tornado Alley

The Structure of the General Mandelbrot Sets

The Mandelbrot sets are the sets of complex numbers c such that the iteration scheme

zn+1 = znm + c
for a postive integer m

is bounded when starting from the point z0=0. For example the above image is for m=4. A significant subset of this set consists of those values of c such that the iteration scheme approaches limits for which

zn+1 = zn.

Such a limit point z* satisfies the equation

z* = z*m +c

For any c there is a limit point z*; i.e., such that if z0=z* the iteration will remain at z* forever.

The crucial question is what are the limit points that are stable so that the iteration starting from z0=0 will approach them.

Consider the deviations of the iteration values from the corresponding limit point; i.e.,

zn+1 = znm + c
z* = z*m + c
Subtraction gives
zn+1-z* = znm - z*m
= (zn-z*)(Σznm-1-jz*j)
where j runs from 0 to m-1.


|zn+1-z*| will be less than |zn-z*| if |(Σznm-1-jz*j)|<1

For values of zn close to z* this reduces to m|z*m-1|<1. The boundary between the stable and unstable limit points is given by


Such limit points are given by the equation

z* = (1/m)1/(m-1)*e
for 0≤φ≤2π

It is noteworthy that the stability of points is independent of the value of the iteration parameter c. The values of c which give those limit points are simply

c = z* - z*m
c = (1/m)1/(m-1)cos(φ)−(1/m)m/(m-1)cos(mφ)
+ i[(1/m)1/(m-1)sin(φ)−(1/m)m/(m-1)sin(mφ)]

This equation is a parametric equation for the set of c values. It shows how the points on the circle of radius (1/m)1/(m-1) in the z* space map into the c space.

The plots below shows the full set of c values for m=2, 3, 4, 5, 6, 7 and 8.

The main structure of the Mandelbrot set for m has (m-1) lobes. It has the symmetry of the (m-1) cyclic group; i.e., a rotation through an angle of 2π/(m-1) leaves the figure unchanged. It also has a symmetry with respect to the real axis. Thus it has the symmetry of the (m-1) dihedral group. The complete Mandelbrot sets have this same symmetry.

Limit Two-Cycles

The iteration may approach a limit cycle rather than a limit point. For a two-period cycle of z1* and z2* the values would have to satisfy the equations

z2* = z1*m + c
z1* = z2*m + c

From these equations defining z1* and z2* it follows that

z2*−z1* = -(z2*−z1*)(z2*m-1+z1*z2*m-2+z1*²z2m-3+· · · + z1*m-1)
and with division by (z1*−z2*)
which is valid if z2*≠z1*
−1 = (z2*m-1+z1*z2*m-2+z1*²z2*m-3+· · · + z1*m-1)

This is a preliminary result which will be used later. For convenience let

C(x,y,k) = xk + xk-1y + xk-2y2 + · · · + yk

Thus the above result can be expressed as

S(z1*, z2*, m-1) = −1

The Two-Cycle Values

The deviations from the two-cycle satisfy the equations

zn+2-z2* = (zn+1-z1*)S(zn+1, z1, m-1)
zn+1-z1* = (zn-z2*)S(zn, z2, m-1)
zn+2-z2* = (zn-z2*)S(zn+1, z1, m-1)S(zn, z2, m-1)

Therefore if |zn+2-z2*| is to be less than |zn-z2*| it must be that

|S(zn+1, z1, m-1)S(zn, z2, m-1)| < 1

For values very close to a cycle pair this reduces to:

|(mz1*m-1)(mz2*m-1)| < 1
or, equivalently
|z2*z1*| < (1/m²)1/(m-1)

For the boundary of the stable set equality prevails; i.e.,

|z2*z1*| = (1/m²)1/(m-1)

This means that z2*z1* is on a circle in the complex plane of radius (1/m²)1/(m-1) . This means that

z2*z1* = (1/m²)1/(m-1)e
= (1/m)2/(m-1)e
= m−2/(m-1)e

Now consider the equation which determines the values for a two-cycle. It was previously established that

−1 = (z2*m-1+z1*z2*m-2+z1*²z2*m-3+· · · + z1*m-1)

Multiplying this equation by z1*m-1 and grouping together terms of the form (z1*z2*)k gives

−z1*m-1 = (re)m-1 + (re)m-2z1*2 + (re)m-3z1*4 + · · · + z1*2(m-1)

where re=z1*z2*, r being equal to (1/m²)1/(m-1). This is the polynomial equation whose solutions give z1. Because of symmetry of the previous equation with respect to z1 and z2 the equation for z2 is exactly the same. The order of the polynomial is 2(m-1) so the solutions are grouped into (m-1) pairs.

The Bifurcation Points Between the Points
Associated with Limit Points and Limit Two-Cycles

There are roots of a polynomial which are of multiplicity two. These correspond to the case in which an infinitesimal change in coefficients of the polynomial would result in two nearby roots rather than one root. The condition for a root of multiplicity two is it makes both the polynomial and its derivative equal to zero.

Before examining the case of the boundary between sequences converging to a fixed point (if effect one-cycles) and sequences converging to a two cycle, it worthwhile to look at the case of two of the fixed point solutions converging. This not the same as the elements for a two-cycle converging into a one-cycle.

A complex number z' is of multiplicity two if

z'm − z' + c = 0
mz'm-1 − 1 =0

Therefore, from the second equation

z' = (1/m)1/(m-1)eik(2π/(m-1)) for k=1, 2, ..., (m-1)

In order for these values to be roots of the polynomial it is necessary that

c = (1/m)1/(m-1)eik(2π/(m-1)) − (1/m)m/(m-1)eik(2πm/(m-1))

These values of c are just discrete points on the boundary curve of the main body of the Mandelbrot set. They are separated by an angle of 2π/(m-1). The diagram below shows these points in green for the case of m=4.

Now let us consider the bifurcation points. Since the condition for stability is

|z2*z1*| = (1/m²)1/(m-1)

if z2* → z1* then the condition to be satisfied by z1* is

|z1*²| = (1/m²)1/(m-1)
and hence
z1*² = (1/m²)1/(m-1)eikθ
where θ=(2π)/(m-1) and k runs from 1 to (m-1)

The condition on z1*² means that

z1* = ±(1/m)1/(m-1)eikθ/2 for k=1,...,(m-1)
or, equivalently
z1* = (1/m)1/(m-1)eikθ/2 for k=1,...,2(m-1)

The plot of the values of c corresponding to these values of z1* are shown below.

The points shown in blue are the ones which correspond to the bifurcation points. Those in green at the cusps of the curve correspond to multiplicity-two fixed point solutions.

It is shown elsewhere that the entire Mandelbrot set for exponent m has this type of symmetry for rotations through an angle of 2π/(m-1).

The Boundary Curve Between
Stable and Unstable Two-Cycles

If w is defined as z1/(re)1/2 the polynomial can be put into the form

1 + w2 + w4 + · · · + w2(m-1) = −wm-1/(re)(m-1)/2
or, equivalently
(w2m-1)/(w2-1) = = −wm-1/(re)(m-1)/2

In principle for a given value of m the polynomial can be solved for each value of φ and the value of c determined from

c = z1* − z2*m

where z2* = re/z1*.

Multiplying the above equation through by (w²-1) introduces an additional two roots of w=±1 but puts the polynomial into a more amenable form of

w2m + (wm+1-wm-1)/(re) −1 = 0
and with division by wm the even more amenable form
wm−w−m + (w-w-1)/(re) = 0

This above form can be used for obtaining the numerical solutions. There are (m-1) different components. These can be obtained by starting with the (m-1) bifurcation points; i.e.,

z*k = r expi(k+½)θ0
and hence
wk = r½ expi(k+½)(θ0/2)
for k=0,1,..(m-2)

where θ0 = 2π/(m-1) and r=(1/m)1/(m-1).

These values for w are entered into the polynomial and the values of φ to which they correspond are determined, say {φk}. The polynomial is then solved for values of φ in the range [φkk+2π]. The solutions for w are converted into values for z*1 and then into values for c.

(To be continued.)

For more on the structure of other mandelbrot sets Click here.

HOME PAGE OF applet-magic
HOME PAGE OF Thayer Watkins