Processing math: 47%

(Semi-) Parabolic Implosion

Does the Julia set depend continuously on the polynomial?

Let us start in dimension one and consider the quadratic family qc(z)=z2+c. The bifurcation locus for the family {qc:cC} is given by the boundary of the Mandelbrot set M. The largest "bubble" of M is the "main cardiod".
Mandelbrot set M
We can ask: Is the map cJc continuous? Douady has given an answer:
If c0 is a point on the boundary of the main cardioid, then cJc is continuous at c0 if and only if c0 is not a parabolic parameter, i.e., if qc0 does not have a periodic cycle which is parabolic.

We recall that a point z0 is periodic if qnc(z0)=z0, and a periodic point is parabolic if (qnc)(z0) is a root of unity. The parabolic points on the boundary of the main cardioid are the points where one of the (infinitely many) "bubbles" attach, together with the most conspicuous of the parabolic points, c=14, which is the cusp point.
The point z0=12 is fixed by q14, and q14(z0)=1, so this is parabolic. It has been proved that:
The Julia set Jc varies continuously if we move c to the left: i.e., J14t is continuous for 0t14.

The situation is more complicated when c>14. The figures below show how the Julia sets J14+ϵ evolve as ϵ decreases to 0 (as we move from right to left).
       
Julia sets J14+ϵ: "Cauliflower" (ϵ=0) on left; ϵ=.0005 in center; ϵ=.01 on right.

We can see that J14+.0005 looks somewhat like J14 from the "outside", but on the "inside" there are curlicues; pairs of them are vaguely reminiscent of "butterflies". As t0, these butterflies persist and remain uniformly large. We think of t as representing time, which decreases to 0. The fact that they suddenly disappear for t=0 is the phenomenon called "implosion". Or, if we think of time starting at t=0, then the instantaneous appearance of large "butterflies" for t>0 may be thought of as "explosion".

Semi-parabolic fixed points.

We consider the family of complex Hénon maps f:C2C2 given by fa,c(x,y)=(x2+cay,x).      (1) The fixed points are p0=(t,t) with t2(1+a)t+c=0. If (a+1)2=4c,           (2) then p0 is semi-parabolic, which means that the eigenvalues of Df(p0) are 1 and a. We assume that 0<|a|<1, and thus p0 is also semi-attracting. If we translate the fixed point to the origin O=(0,0), then our map takes the form f(x,y)=(x+x2+,ay+) where the "" indicates terms in (x,y) which are higher order. The semi-parabolic basin B:={pC2:lim In fact, Ueda has shown that there is an Abel-Fatou function \Phi_{AF}:{\cal B}\to {\Bbb C}, satisfying \Phi_{AF}(f) = \Phi_{AF}+1.
The counterpart to {\cal B} for negative time is the asymptotic curve \Sigma:= \{p\in{\Bbb C}^2: p\ne O, \lim_{n\to\infty}f^{-n}(p)=O \} As the counterpart for Abel-Fatou function, Ueda has shown that there is a uniformization H:{\Bbb C}\to \Sigma such that f( H(\zeta)) = H(\zeta+1) for all \zeta\in{\Bbb C}.


A natural way to represent the basin {\cal B} is to draw the intersection {\cal B}\cap \Sigma in terms of the Fatou coordinate H. For instance, for a = .15 (and c chosen according to (2)), we find the picture at left. By the Abel-Fatou property, the whole picture is invariant under translation to the right (adding +1). The gray region is the complement {\Bbb C}^2-{\cal B}, and the rest is {\cal B}. We can observe cusps in the boundary that are reminiscent of the cusps in the "Cauliflower" Julia set. The green lines are level sets of the imaginary part of \Phi_{AF}, and the pink/gray lines are level sets of the real part. These level sets form rectangles in much of the picture. Where they form octagons, there must be a critical point of \Phi_{AF} inside. Also, the large green "X" indicates a critical point.



Does the Julia set vary continuously with the map?

For complex Hénon maps, there are both a forward Julia set J^+ (for f) and a backward Julia set J^- (the forward Julia set for f^{-1}). We define: J:=J^+\cap J^-. It is known that if f is a hyperbolic Hénon map, then f is structurally stable, which means that f|_{J_f} is conjugate to \tilde f_{J_{\tilde f}} for \tilde f close to f. Further, and J_f depends continuously on f. In general, this fails in the non-hyperbolic case. However, in the semi-parabolic case, there is an interesting paper of R. Radu and R. Tanase where it is shown:

Suppose that a and c satisfy (2) above, and let f_{a,c} be as in (1). Then for sufficiently small |a|>0, the sets J_{a,c} are all homeomorphic and vary continuously. In fact, the restrictions of these maps, f_{a,c}|_{J_{a,c}}, are conjugate to each other.

Semi-parabolic implosion in {\Bbb C}^2

Now we perturb the map (1) as follows. We consider the parameters (a,c) to be fixed, and for \epsilon\ne0, we consider f_\epsilon(x,y) = (\epsilon^2+x+x^2+\cdots, ay+\cdots) After such a pertubation, we expect condition (2) to be lost. For \epsilon=0, the fixed point O had multiplicity 2, and one of the multipliers is 1. For \epsilon>0 is splits into a pair of fixed points, and the multiplier 1 splits into a pair of multipliers which are approximately 1\pm i\epsilon. In this paper written with Smillie and Ueda, we show that a semi-parabolic phenomenon takes place, very much like the parabolic implosion situation in {\Bbb C}, which we described above. This paper is a revision of the paper we put on the arXiv several years ago.

In order to have pictures in {\Bbb C}^2, which has real dimension 4, we cannot simply draw pictures like the "Cauliflower" above. Thus we draw pictures inside the slice by \Sigma.

As examples of the "curlicues" that arise in the "butterflies" we have pictures like the ones on the right. These pictures are invariant under horizontal translation \zeta\mapsto\zeta+1 and represent maps of the form (1) with a and c satisfying (2).

In the first two pictures, we have a=.1 The bottoms of these pictures show the boundary (\partial{\cal B})\cap\Sigma, which can be seen to be the same in both cases. The difference in the "curlicues" arises because \epsilon\to0 along different paths. The color pictures on the main page also show examples of imploded sets.

We have a=.1\sqrt{-1} in the next two pictures. The alternating gray/white indicates the complement of {\cal B}. (The alternating white/gray was not displayed when the first two pictures were made.)



To go back to the main page click here.