The Julia Set Fractals

i-5d42f71a4734a493af127dcf8313dfcb-julia2.jpeg

Aside from the Mandelbrot set, the most famous fractals are the Julia sets. You've almost definitely seen images of the Julias (like the ones scattered through this post), but what you might not have realized is just how closely related the Julia sets are to the Mandelbrot set.

Remember what the mandelbrot set is? I'll run through a very brief refresher, but if you want more details, you can look at my earlier post about it.

i-7fa8151e7dfd218b26741a5eec5cacce-julia3.jpeg

Take a simple quadratic function in the complex plane: f(x)=x2+c, where c is a complex constant. If you iterate f, starting with f(0) - f(0), f2(0) = f(f(0)), f3(0)=f(f(f(0))), ..., then depending on the value of c in the function f, either that series will always stay finite, or it will diverge to infinity.

So - from that, we can think about the family of functions, parameterized by C-values, where fk is the function x2+x. Using that family of functions, we can ask
for any given C, does the iteration series of fc(0) diverge? The Mandelbrot set is the set of c-values for which fc never diverges.

i-5caaf6a636c9ebe8ce1f7b83146ba617-julia.png

So what's a Julia set? Basically, it's a kind of mirror image of the Mandelbrot. Take the same basic family of functions: f(x)=x2+c. But instead of varying
c, keep C fixed, and vary x. The Julia set for c is the set of x-values for which iterating f
does not diverge. There's an infinite number of Julia sets - one for every possible C.

i-9fd3be5b1661b68965b7a08f4c0446a2-cloud.jpg

If you work out the Julia sets for different C-values, you'll find that there are some sets
that are connected, and some that aren't. The non-connected ones are examples of what Mandelbrot called dusts - complex relatives of the Cantor dust; they're generally called Fatou dusts. The connected Julia sets are often strikingly beautiful. Personally, I find some of the dusts even more beautiful than the connected ones.

i-964e0a51c271340fe5c4af289ee601b2-fatou-dust.gif

Knowing that the Julia sets are just a different parameterization of the same basic thing, you'd
expect there to be a deeper relationship between the sets. And you wouldn't be disappointed. The Mandelbrot set is precisely the set of C-values for which the Julia set of fC is connected, and the Fatou dusts are the Julia sets of C-values that are not in the Mandelbrot set.

Tags

More like this

The most well-known of the fractals is the infamous Mandelbrot set. It's one of the first things that was really studied *as a fractal*. It was discovered by Benoit Mandelbrot during his early study of fractals in the context of the complex dynamics of quadratic polynomials the 1980s, and studied…
One of the strangest, and yet one of the most important ideas that grew out of set theory is the idea of cardinality, and the cardinal numbers. Cardinality is a measure of the size of a set. For finite sets, that's a remarkably easy concept: count up the number of elements in the set, and that's…
It is time to continue our quest to prove that the sum of the reciprocals of the primes diverges. We have one more ingredient to put into place. I am referring to the notion of a Taylor series. The idea is this: Some functions, like those from trigonometry, are difficult to evaluate precisely.…
I've talked about the idea of the size of a set; and I've talked about the well-ordering theorem, that there's a well-ordering (or total ordering) definable for any set, including infinite ones. That leaves a fairly obvious gap: we know how big a set, even an infinite one is; we know that the…

It's worth noting that the Julia sets were discovered by mathematician and WWI veteran Gaston Julia:

Biography

"fk is the function x2+x"

Typo there?

What does the image represent then? Is it points on an Argand diagram representing all the values of x? (real part of x being the horizontal axis and imaginary part being the vertical axis?)
Am I right that the colours represent how quickly the non-members of the set diverge?

By Paul Carpenter (not verified) on 24 Aug 2007 #permalink

The theory goes deeper.

Today on arXiv:

http://arxiv.org/PS_cache/arxiv/pdf/0708/0708.3187v1.pdf

arXiv:0708.3187
Title: Dynamical properties and structure of Julia sets of postcritically bounded polynomial semigroups
Authors: Rich Stankewitz, Hiroki Sumi
Comments: 25 pages, 1 figure
Subjects: Dynamical Systems (math.DS); Complex Variables (math.CV)

We discuss the dynamic and structural properties of polynomial semigroups, a natural extension of iteration theory to random (walk) dynamics, where the semigroup G of complex polynomials (under the operation of composition of functions) is such that there exists a bounded set in the plane which contains any finite critical value of any map g in G. In general, the Julia set of such a semigroup G may be disconnected, and each Fatou component of such G is either simply connected or doubly connected. In this paper, we show that for any two distinct Fatou components of certain types (e.g., two doubly connected components of the Fatou set), the boundaries are separated by a Cantor set of quasicircles (with uniform dilatation) inside the Julia set of G. Important in this theory is the understanding of various situations which can and cannot occur with respect to how the Julia sets of the maps g in G are distributed within the Julia set of the entire semigroup G. We give several results in this direction and show how such results are used to generate (semi) hyperbolic semigroups possessing this postcritically boundedness condition.

What I find interesting is that the Julia and Mandelbrot sets are two-dimensional slices of a larger 4-D set.

To construct the 4-D set, you start with the same map z->f(z) = z^2 + c, and this time allow both the initial value of z and the value of c to vary. Those points which remain within a bounded region are part of the 4-D set. The Mandelbrot set is what you obtain when you take the z_0 = 0 slice, and the Julia sets are what you obtain when you take constant c slices.

I don't know what results there are on this larger set; I'm not terribly up on research in the field.

By Craig Helfgott (not verified) on 28 Aug 2007 #permalink

Paul Carpenter:
You are correct in all ways. Each point on the graph is a complex number, which is fed into the z -> z2+c function as the z_0 value. Black points converge, everything else diverges, and the colors are assigned based on how fast it diverges. You get the different Julia graphs by setting c to different values.

Exact same thing as the Mandelbrot, except there you set z_0 to be 0 and take each point as the value of c. There's an entire family of Mandelbrots just like there is of Julias, we just don't usually vary the z_0 term.

Craig Helfgott:
I wouldn't mind seeing a projection or immersion or *something* of that set...

By Xanthir, FCD (not verified) on 29 Aug 2007 #permalink