Attractive Basins and Loops in Julia Sets - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T00:52:01Z http://mathoverflow.net/feeds/question/44415 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/44415/attractive-basins-and-loops-in-julia-sets Attractive Basins and Loops in Julia Sets magfrump 2010-11-01T04:10:43Z 2010-11-29T23:20:18Z <p>I recently learned about the Mandelbrot set for the first time from a presentation by some undergraduates in honor of Mandelbrot's death. The presentation was short and by non-experts so I left with a few questions.</p> <p>When I heard about the fundamental dichotomy, it seemed odd to me that the attractive basin at infinity was a distinguished point, in that filled Julia sets are the complement of the attractive basin of infinite. But when I naively expected the set of bounded points to be the attractive basin of the origin I was caught by the lack of duality--the filled Julia set is either simply connected or a Cantor set, and the complement of a simply connected set is simply connected, while I have only the slightest idea what the complement of a Cantor set looks like; it certainly isn't simply connected.</p> <p>Talking the subject over with a few graduate students I realized that there should be at least countably many bounded attractive basins or loops for any curve, and it seems unlikely that in the case that the basin of infinity is the complement of a Cantor set that the other attractive basins (including the loops of the roots of $f ^{n}(x) - x\ $, where $f(x) = z^2+c$ ) are also complements of Cantor sets.</p> <p>When $c=0$ the picture is very nice and symmetric, with two simply connected attractive basins, countably many finite loops at the $\pi$-rational angles around the unit circle, and uncountably many infinite loops. I'm curious what the picture looks like for other $c$.</p> <p>So my questions are:</p> <p>What distinguishes the point at infinity from the other points here?</p> <p>What do the loops look like?</p> <p>Are there other attractive basins? For which $c$? What do they look like?</p> <p>Or what book(s) or paper(s) could I look through to get satisfying answers to these questions?</p> http://mathoverflow.net/questions/44415/attractive-basins-and-loops-in-julia-sets/47733#47733 Answer by Lasse Rempe-Gillen for Attractive Basins and Loops in Julia Sets Lasse Rempe-Gillen 2010-11-29T23:20:18Z 2010-11-29T23:20:18Z <p>It seems you are basically interested in an introduction to complex dynamical systems. The books by Beardon, Milnor and Steinmetz all give good introductions.</p> <p>Regarding your specific questions:</p> <p>a) The point at infinity is a superattracting fixed point, but more importantly its immediate basin of attraction - that is, the component of the basin containing the fixed point itself - is completely invariant (invariant under forward and backwards iteration). This is the case for all polynomials (of degree at least two), and is one of the reasons that studying polynomials is easier than studying general rational maps (where e.g. the Julia set - where the dynamics is chaotic - may in fact be the whole Riemann sphere). The basin of infinity supports foliations into "external rays" and "equipotentials", and this allows one to study the Julia set. This idea was introduced by Douady and Hubbard, and is the basis of the famous "Yoccoz puzzle".</p> <p>b) There are all kinds of possible orbits in the Julia set. This isn't the place to discuss them. Stable orbits of polynomials may converge to a (super)-attracting fixed point, to a parabolic fixed point (where the multiplier is a root of unity), or belong to a rotation domain (a simply connected domain on which the dynamics is conjugate to a rotation).</p> <p>c) See above. There may be at most one attracting cycle for a quadratic polynomial (apart from infinity), because there is at most one critical point. (This is a theorem of Fatou.) Conjecturally, systems with an attracting cycle are dense in the Mandelbrot set; this is perhaps the most celebrated conjecture in one-dimensional dynamics at the moment.</p>