Julia set

From Wikipedia, the free encyclopedia

You have new messages (last change).

In complex dynamics, the Julia set J(f)\, of a holomorphic function f\, informally consists of those points whose long-time behavior under repeated iteration of f\, can change drastically under arbitrarily small perturbations.

The Fatou set F(f)\, of f\, is the complement of the Julia set: that is, the set of points which exhibit 'stable' behavior.

Thus on F(f)\,, the behavior of f\, is 'regular', while on J(f)\,, it is 'chaotic'.

These sets are named in honor of the French mathematicians Gaston Julia and Pierre Fatou, who initiated the theory of complex dynamics in the early 20th century.

A Julia set
A Julia set
3D slice of a 4D Quaternion Julia set
3D slice of a 4D Quaternion Julia set

Contents

[edit] Formal definition

Let

f:X\to X\,

be an analytic self-map of a Riemann surface X\,. We will assume that X\, is either the Riemann sphere, the complex plane, or the once-punctured complex plane, as the other cases do not give rise to interesting dynamics. (Such maps are completely classified.)

We will be considering f\, as a discrete dynamical system on the phase space X\,, so we are interested in the behavior of the iterates f^n\, of f\, (that is, the n\,-fold compositions of f\, with itself).

The Fatou set of f\, consists of all points z\in X\, such that the family of iterates

(f^n)_{n\in\mathbb{N}}

forms a normal family in the sense of Montel when restricted to some open neighborhood of z\,.

The Julia set of f\, is the complement of the Fatou set in X\,.

[edit] Equivalent descriptions of the Julia set

  • J(f)\, is the smallest closed set containing at least three points which is completely invariant under f\,.
  • J(f)\, is the closure of the set of repelling periodic points.
  • For all but at most two points z\in X\,, the Julia set is the set of limit points of the full backwards orbit \bigcup_n f^{-n}(z). (This suggests a simple algorithm for plotting Julia sets, see below.)
  • If f\, is an entire function - in particular, when f\, is a polynomial, then J(f)\, is the boundary of the set of points which converge to infinity under iteration.
  • If f\, is a polynomial, then J(f)\, is the boundary of the filled Julia set; that is, those points whose orbits under f\, remain bounded.

[edit] Quadratic polynomials

A very popular complex dynamical system is given by the family of quadratic polynomials,

f_c(z) = z^2 + c\,

(where c\, is a complex parameter).

Filled Julia set for fc, c=φ−2

Julia set for fc, c=(φ−2)+(φ−1)i

Julia set for fc, c=0.285

Julia set for fc, c = 0.285 + 0.01i

Julia set for c=0.45 - 0.1428i

Julia set for fc, c=-0.70176 -0.3842i

Julia set for fc, c=-0.835-0.2321i

The parameter plane of quadratic polynomials - that is, the plane of possible c-values - gives rise to the famous Mandelbrot set. Indeed, the Mandelbrot set is defined as the set of all c such that J(f_c)\, is connected. For parameters outside the Mandelbrot set, the Julia set is a Cantor set: in this case it is sometimes referred to as Fatou dust.

Map of 121 Julia sets in position over the Mandelbrot set
Map of 121 Julia sets in position over the Mandelbrot set

In many cases, the Julia set of c looks like the Mandelbrot set in sufficiently small neighborhoods of c. This is true, in particular, for so-called 'Misiurewicz' parameters, i.e. parameters c for which the critical point is pre-periodic. For instance:

  • At c= i, the shorter, front toe of the forefoot, the Julia set looks like a branched lightning bolt.
  • At c = −2, the tip of the long spiky tail, the Julia set is a straight line segment.

[edit] Generalizations

The definition of Julia and Fatou sets easily carries over to the case of certain maps whose image contains their domain; most notably transcendental meromorphic functions and Epstein's 'finite-type maps'.

Julia sets are also commonly defined in the study of dynamics in several complex variables.

[edit] Plotting the Julia set using backwards iteration

A Julia set plot, generated using backwards iteration
A Julia set plot, generated using backwards iteration

As mentioned above, the Julia set can be found as the set of limit points of the set of pre-images of (essentially) any given point. So we can try to plot the Julia set of a given function as follows. Start with any point z\, we know to be in the Julia set, such as a repelling periodic point, and compute all pre-images of z\, under some high iterate f^n\, of f\,.

Unfortunately, as the number of iterated pre-images grows exponentially, this is not computationally feasible. However, we can adjust this method, in a similar way as the "random game" method for iterated function systems. That is, in each step, we choose at random one of the inverse images of f\,.

For example, for the quadratic polynomial f_c\,, the backwards iteration is described by

z_{n+1}^2 = z_n - c.

At each step, one of the two square roots is selected at random.

Note that certain parts of the Julia set are quite hard to reach with the reverse Julia algorithm. For this reason, other methods usually produce better images.

[edit] See also

Wikimedia Commons has media related to:

[edit] References

Retrieved from "http://en.wikipedia.org../../../j/u/l/Julia_set.html"