Professional Documents
Culture Documents
(London Mathematical Society Lecture Note Series 274) Tan Lei - The Mandelbrot Set, Theme and Variations-Cambridge University Press (2000)
(London Mathematical Society Lecture Note Series 274) Tan Lei - The Mandelbrot Set, Theme and Variations-Cambridge University Press (2000)
The titles below are available from booksellers, or, in case of difficulty, from Cambridge University Press.
Edited by
Tan Lei
Universite de Cergy-Pontoise
| CAMBRIDGE
UNIVERSITY PRESS
cambridge university press
Cambridge, New York, Melbourne, Madrid, Cape Town, Singapore,
São Paulo, Delhi, Dubai, Tokyo, Mexico City
www.cambridge.org
Information on this title: www.cambridge.org/9780521774765
A catalogue record for this publication is available from the British Library
isbn 978-0-521-77476-5 Paperback
Introduction vii
Tan L.
Preface xiii
J. Hubbard
The Mandelbrot set is universal 1
C. McMullen
Baby Mandelbrot sets are born in cauliflowers 19
A. Douady, with the participation of X. Buff, R. Devaney &; P. Sentenac
Modulation dans l'ensemble de Mandelbrot 37
P. Haissinsky
Local connectivity of Julia sets: expository lectures 67
J. Milnor
Holomorphic motions and puzzles (following M. Shishikura) 117
P. Roesch
Local properties of the Mandelbrot set at parabolic points 133
Tan L.
Convergence of rational rays in parameter spaces 161
C. Petersen and G. Ryd
Bounded recurrence of critical points and Jakobson's Theorem 173
S. Luzzatto
The Herman-Swiatek Theorems with applications 211
C. Petersen
Perturbation d'une fonction linearisable 227
H. Jellouli
Indice holomorphe et multiplicateur 253
H. Jellouli
vi Contents
vii
viii Tan Lei
the set of c 6 E such that fc{z) has chaotic dynamics has positive Lebesgue
measure. More precisely, c = - 2 is a point of Lebesgue density of the set of
c 6 R such that fc has an absolutely continuous invariant measure;
[Petersen] presents the Herman-Swiatek's theorem, stating that an ana-
lytic circle homeomorphism with a critical point and irrational rotation num-
ber 6 is quasi-symmetrically conjugate to a rigid rotation if and only if 9
is of bounded type. Using this theorem, [Petersen] also establishes the new
result that there exist quadratic Siegel polynomials with a rotation numbers
of unbounded type whose Julia sets are locally connected.
The delicate theory of bifurcations of indifferent period points is studied
in two related papers:
[Jelloulil] shows that small perturbations of quadratic Siegel polynomials
with Diophantine rotation number are conjugate to their linear parts up to
an arbitrarily small error term. This work bears on the study of the Lebesgue
measure of nearby filled Julia sets;
[Jellouli2] discusses various important quantities and their relations ap-
pearing in the perturbation of a quadratic polynomial with a parabolic fixed
point. These include the multiplier of the periodic orbit coming from the
perturbation, its first and second derivatives with respect to the parameter,
and the holomorphic indices.
Part three: Julia set of rational maps
A rational map / tends to be expanding on its Julia set J{f), away from
the orbits of recurrent critical points. This phenomenon, observed already by
Fatou and Julia, was made precise in a strong form by Ricardo Mane. In this
volume:
[Shishikura-Tan] presents a new proof of Mane's result, showing that any
point x € */(/), which is neither a parabolic periodic point nor a limit point
of a recurrent critical orbit, has a neighborhood which is contracted by the
family {/-"} n e N .
[Yin] shows, as an application, that if all critical points in J(f) are non-
recurrent, then •/(/) is 'shallow' or 'porous'; consequently its Hausdorff di-
mension is less than two (as first shown by Urbanski).
The combinatorics of general rational maps, even of degree two, is still not
well-understood. However many interesting rational maps can be constructed
by mating pairs of polynomials of the same degree. If the polynomials are crit-
ically finite, then the existence of their mating can be reduced to a topological
problem using Thurston's theory. In this volume:
[Shishikural] provides a proof of a result, first developed by Mary Rees,
showing that if a mating / exists combinatorially, then in fact / is topologi-
cally conjugate to a natural quotient of the dynamics of the two polynomials.
Part four: Foundational results
x Tan Lei
Xlll
xiv J. Hubbard
analyze them.
dynamics: my trees, the external arguments of the critical values, and the
Thurston class. Only the last extends to rational functions, and with this
theorem it became clear that post-critically finite branched mappings provide
the right way to encode the combinatorics of rational mappings.
The work after this is no longer history, but current events, and I leave an
introduction to the present volume to Tan Lei.
Abstract
We show small Mandelbrot sets are dense in the bifurcation locus
for any holomorphic family of rational maps.
1 Introduction
Fix an integer d > 2, and let pc{z) = zd + c. The generalized Mandelbrot set
Md C C is defined as the set of c such that the Julia set J(pc) is connected.
Equivalently, c e Md iff p"(0) does not tend to infinity as n -» oo. The
traditional Mandelbrot set is the quadratic version M.2-
A holomorphic family of rational maps over X is a holomorphic map
f:X xC-»C
where X is a complex manifold and C is the Riemann sjphere. For each t E X
the family / specializes to a rational map /t : C —> C, denoted ft{z). For
convenience we will require that X is connected and that deg(/ t ) > 2 for all
t.
The bifurcation locus B(f) C X is defined equivalently as the set of t such
that:
1. The number of attracting cycles of ft is not locally constant;
1
C. McMullen
Theorem 1.1 For any holomorphic family of rational maps over the unit
disk, the bifurcation locus B(f) C A is either empty or contains the quasi-
conformal image of dMd for some d. "
The proof (§4) shows that B(f) contains copies of dMd with arbitrarily
small quasiconformal distortion, and controls the degrees d that arise. For
example we can always find a copy of dMd with d < 2 2 d e g ^^~ 2 , and generically
B(f) contains a copy of dM2 (see Corollary 4.4). Since the Theorem is local
we have:
Corollary 1.4 / / / has bifurcations then for any e > 0 there exists a t such
that ft(z) has a superattracting basin which is a (1 + e)-quasidisk.
This result is stated for d — 2 in [Shi2] and [Shil] but the argument generalizes
to d > 2. Quasiconformal maps preserve sets of full dimension [GV], so from
Theorems 1.1 and 1.3 we obtain:
Corollary 1.6 For any family of rational maps f over A, the bifurcation set
B{f) is empty or has Hausdorff dimension two.
Corollary 1.8 For any holomorphic family of rational maps over a complex
manifold X, either B{f) = 0 or H. dim(B(/)) = H. dim(X) = 2 dime X.
1. The family is trivial (ft and fs are conformally conjugate for all t,s £
X); or
Corollary 1.10 With rare exceptions, any algebraic family of rational maps
exhibits small Mandelbrot sets in its parameter space.
This Corollary was our original motivation for proving Theorem 1.1.
As another application, for t e C^ 1 let
and let
Cd = {t : J(ft) is connected}
denote the connectedness locus. Then we have:
Corollary 1.11 (Tan Lei) The boundary of the connectedness locus has full
dimension; that is, H. dim(dCd) = H. dim(Cd) = 2d — 2.
Remark. Rees has shown that the bifurcation locus has positive measure in
the space of all rational maps of degree d [Rees]; it would be interesting to
known general conditions on a family / such that B(f) has positive measure
in the parameter space X.
Acknowledgements. I would like to thank Tan Lei for sharing her re-
sults which prompted the writing of this note. Special cases of Theorem 1.1
were developed independently by Douady and Hubbard [DH, pp.332-336] and
Eckmann and Epstein [EE].
The first two operations leave the bifurcation locus unchanged, while the last
transforms B{f) to <j>-\B{f)).
Marked critical points. We will also consider pairs (/, c) consisting of
a local bifurcation and a marked critical point; this means c : A —> C is
holomorphic and f[{ct) = 0. The operations above also apply to (/, c); a
coordinate change replaces cj with mt(ct) and a base change replaces Q with
Proof. Let E be the set of all unramified preimages of z, and let C be the
critical points of F. Then F~l(E) C E U C, so if \E\ is finite then
Corollary 2.3 Let (/, 0) be a local bifurcation with marked critical point.
Then the set of t such that ct is ramified for ft is either discrete or the whole
disk.
Proposition 2.4 After a suitable base change, any local bifurcation f can be
provided with an active marked critical point c such that CQ is unramified for
/o.
Remark. It is possible that all the active critical points are ramified at
t = 0. The base change in the Proposition will generally not preserve the
central fiber / 0 .
Proof. The set C = {(t, z) 6 A x C : f[(z) = 0} is an analytic variety with
a proper finite projection to A. By Puiseux series, after a base change of the
form <j>{t) = etn all the critical points of / can be marked by holomorphic
functions [c],... , c™}. Since t = 0 is in the bifurcation set, by [Mc2, Thm.
4.2], there is an i such that {f"(c\)) is not a normal family at t = 0. That is,
c* is an active critical point.
Next we show c1 can be chosen so that for generic t it is disjoint from the
forward orbits of all other critical points. If not, there is a o3 and n > 1 such
that f"(c{) — c\ for all t. Then cP is also active and we may replace c' with cJ.
If the replacement process were to cycle, then c* would be a periodic critical
point, which is impossible because it is active. Thus we eventually achieve
a c* which is generically disjoint from the forward orbits of the other critical
points.
In particular, there is a t such that c\ is unramified for ft. By Corollary 2.3,
the set R C A of parameters where c\ is ramified is discrete. By Proposition
2.1, there are Misiurewicz points tn for (/,c*) with tn —> 0. Choose n such
that tn & R, and make a base change moving tn to zero; then c* is active, and
CQ is unramified for /Q. •
The Mandelbrot set is universal 7
Proposition 2.5 For any local bifurcation (f, c) with c active and CQ unram-
ified, there is a base change and an n > 0 such that (/", c) is a Misiurewicz
bifurcation.
R e m a r k . The delicate point is condition (M4). The danger is that for every
Misiurewicz parameter t, the forward orbit of Q might accidentally collide
with another critical point before reaching the periodic cycle. We must avoid
these collisions to make the degree of / " at ct locally constant.
Proof. There are Misiurewicz points tn -> 0 for (/, c), and ct is unramified
for all t near 0, so after a base change and replacing / with / " we can arrange
that (/,c) satisfies conditions (Ml), (M2) and (M3).
We can also arrange that deg(/ t ,c ( ) = d for all t ^ 0. However (M4)
may fail because deg(/ t , ct) may jump up at t = 0. This jump would occur if
another critical of /( coincides with ct at t = 0.
To rule this out, we make a further perturbation of fQ. Let at locally
parameterize the repelling fixed-point of /[ such that /o(co) = aa. Choose a
neighborhood U of a0 such that for t small, ft is linearizable on U and U is
disjoint from the critical points of ft. (This is possible since /g(ao) ^ 0 )
Let bt 6 U — {at} be a parameterized repelling periodic point close to at.
Then bt has preimages in U accumulating on at. Choose s near 0 such that
fs{cs) hits one of these preimages (such an s exists by the argument principle
and (M3)). For this special parameter, cs first maps close to as, then remains
in U until it finally lands on bs. Since there are no critical points in U. we
have deg(/j, c) = d for all i > 0.
Making a base change moving s to t — 0, we find that (fn,c) satisfies
(M1-M4) for n a suitable multiple of the period of bs. •
it is the set of points that never escape from U under forward iteration.
Any polynomial such as pc{z) = zd + c can be restricted to a polynomial-
like map pc : U —> V of degree d with the same filled Julia set. Moreover
small analytic perturbations of pc : U -»• V are also polynomial-like.
A degree d Misiurewicz bifurcation (/, c) gives rise to polynomial-like maps
/ " : Bo -> Bn, by the following mechanism. For small t, a small ball Bo about
the critical point ct maps to a small ball Bi close to, but not containing, the
fixed-point of ft. The iterates B; = fl(B) then remain near the fixed-point
for a long time, ultimately expanding by a large factor. Finally for suitable t,
as Bi escapes from the fixed-point it maps back over Bo, resulting in a degree
d map / " : Bo -» Bn D Bo. Since most of the images (Bi) lie in the region
where ft behaves linearly, the first-return map / " : Bo ^ Bn behaves like a
polynomial of degree d.
This scenario leads to a cascade of families of polynomial-like maps, in-
dexed by the return time n. Here is a precise statement.
Theorem 3.1 Let (/, c) be a degree d Misiurewicz bifurcation, and fix R > 0.
Then for all n ^> 0, there is a coordinate change depending on n such that
ct — 0 and
whenever \z\, |£| < R. Here t = tn(l + 7n£)> tn and j n are nonzero, and j n ,
tn and en tend to zero as n —> oo.
tn ~ CXon/r, (3.1)
1
7n = CV'"" ', and (3.2)
n/r il/(<| 1)
en = n(|Ao|- +|A o r - )) (3-3)
for certain constants C, C depending on / . Due to the choice of roots, there
are r possibilities for tn and (d— 1) for 7,,; the Theorem is valid for all choices.
The Mandelbrot set is universal 9
Finally for £ fixed and t — tn(l + 7 n £), the map / " is polynomial-like near Q
for all n » 0, and in the original ^-coordinate its filled Julia set satisfies
Notation. We adopt the usual conventions: tin — O(bn), a,, >c bn, an ~ 6n
and n » 0 mean \an\ < C\bn\, (1/C)|6 n | < \an\ < C\bn\, an/bn -» 1 and
n > N, where C and N are implicit constants.
Proof. We will make several constructions that work on a small neighbor-
hood of t — 0. First, let at parameterize the repelling fixed-point of ft such
that aQ = /o(c 0 ). Let A( = //(o t ) be its multiplier. There is a holomorphically
varying coordinate chart u — 4>t(z) defined near z = a« such that
~lf) (3.5)
on B(l.f).
Since deg(/ ( , 0) = d for £ near 0 by (M4), we have
4>toft(z) = Y,
d
(3.7)
with ^d(O) / 0. Here A0(t) - ft(Q) is the u-coordinate of the critical value.
By (M3), ct is not pre-fixed for all t, so there is an r > 0 such that
where B{0) # 0.
Next for n > 0 we choose tn such that
(3.9)
10 C. McMullen
o• • • o
at = 0 ^ ^ ^ bt = \
u i-> XtU
More precisely, for t = tn we will arrange that ct maps first close to at, then
lands after n iterates on bt, and thus returns in p further iterates to ct; see
Figure 2. In the u-coordinate system, ft is linear and bt = 1, so the equation
f?+l(ct) = bt becomes
By the argument principle, for n ^> 0 this equation has a solution tn close to
any root of the approximation Agf £(0) = 1 obtained from (3.8). Moreover
tn
(verifying (3.1)), and tn satisfies (3.9) because fl{bt) = ct. (There are actually
be r solutions for tn for a given n; any one of the r solutions will do.)
We now turn to the estimate of fl+n+p(z) for (t,z) near (tn,0). We will
assume throughout that t = tn + s and that:
where A = |A0| > 1. (To see this is the correct scale at which to work,
suppose diam(.B) x diam/ t 1 + n + p (5), where B is a ball centered at z — 0.
Then d i a m / t ( 5 ) x (diamB) d , and / " is expanding by a factor of about
A n , while ft is univalent, so we get d i a m 5 x A"(diam5) d , or diamB x
1+ +p n r
A -n/(d-i) similarly |/ f " (0)| x A {s/tn)t n x (s/tn) = 0 ( d i a m 5 ) when s
is as above.)
It is also convenient to set
rf
rf O(ns)
rf O(ns) =
A%A0(d)zd + r -
using (3.11) and (3.12). The expression above as a whole is O(A~ n ^ d ~^), so
composing with the univalent map / f o ^ 1 introduces (by (3.5)) an additional
error of size O(A" 2n ^ d ~ 1) ), which is already accounted for in the O(-) above.
Thus the expression above also represents ft rn+p(z).
Finally we make a linear change of coordinates of the form z >-> anz,
conjugating the expression above to
with * = tn(l + 7,,f), 7 n and en as in (3.2) and (3.3). Notice that if \z\ and
|f | are bounded by R in the expression above, then (3.11) is satisfied in our
original coordinates. Reindexing n, we obtain the Theorem. •
12 C. McMullen
Theorem 4.1 Let (/, c) be a degree d Misiurewicz bifurcation. Then the pa-
rameter space A contains quasiconformal copies M.% °f the degree d Mandel-
brot set Md, converging to the origin, with dM^ contained in the bifurcation
locus B(f).
K : Md -> Mnd C A
such that:
1. / " is hybrid equivalent to zd + f whenever t = (/>„(£);
2. d{0,Mnd)~\M\-nlr;
Lemma 4.2 There is a S > 0 such that if sup |/i(f, z)| = e < 5 then there is
a homeomorphism
<f>: Md ->• M
such that for all£ 6 Md, g^Q is hybrid equivalent to zd + £
and 4> extends to a 1 + O(c)-quasiconformal map of the plane.
Proof. Let p ? (z) = zd + f. Since /? > 10 we have M d C A(fl) and K{p{) C
A(i?) for all £ € M d ; indeed these sets have capacity one, so their diameters
are bounded by 4 [Ah]. In addition, for £ € Md the map p ? : U —> A(/Z)
is polynomial-like, where £/ = p^"1(A(/?)). By continuity, when sup \h\ is
sufficiently small, M is compact and g^ is polynomial-like for all ^ £ A1.
By results of Douady and Hubbard, we can also choose 6 small enough
that \h\ < 5 implies there is a homeomorphism
<j>: Md - > M
such that #0(0 is hybrid equivalent to zd + f [DH, Prop. 21].
Now assume |/i| < e < <$. For t E A let Mt denote the parameters where
the critical point remains bounded for the family
Proof of Theorem 4.1. Fix R > 10. For all n » 0, Theorem 3.1 provides
a family of rational maps of the form
Theorem 4.3 Let f be a holomorphic family of rational maps over the unit
disk with bifurcations. Then there is a nonempty list of degrees
2de
DC {2,3,... j2 ^)-2}
such that for any e > 0 and d € D, B(f) contains the image of dMd under a
(1 + e)-quasiconformal map.
If the critical points of f are marked {c\,... ,c™} such that
Proof. Let BQ = B(f). After a base change we can assume that / is a local
bifurcation with critical points marked as above. By Proposition 2.4, there is
at least one active, unramified critical point, so N > 1. For any i < N, we can
make a base change so c\ is active and unramified; then by Proposition 2.5,
a further base change makes (/ n ,c : ) into a degree d Misiurewicz bifurcation.
Let di = inf t sup t deg(/ t *,cj). We claim d = d{ < 22i*^ft)~2. Indeed,
deg(/ t ", c\) assumes its minimum outside a discrete set, and it is equal to d
near t = 0, so di > d. On the other hand, cj, lands on a repelling periodic cycle,
so deg(/0'c, Cg) = d for all k > n, and therefore di < d. Finally d is largest if c1
hits all the other critical points of / before reaching the repelling cycle; in this
case d = (pi + l)(p2+l) • • • (pm+l) for some partitionpi+pz+- • -+pm = 2d—2.
The product is maximized by the partition 1 + lH h l , s o d < 22deg(/t)"2.
By Theorem 4.1, the bifurcation locus B(f) contains almost conformal
copies dMj of dMd accumulating at t - 0, with diam(A^S) < d(0,M%).
Letting <f>: A -4 A denote the composition of all the base-changes occurring
so far, we have B(f) — 4>~l{Bo). Then <t> is univalent and nearly linear on
M^ for n » 0, so (f>(dM2) C Bo is a (1 + e)-quasiconformal copy of dMd. •
5 Hausdorff dimension
In this section we prove Corollary 1.8: for any holomorphic family / of rational
maps over a complex manifold X, we have H. dim(5(/)) = H.dim(X) if
Xtc{JB(yi,r,)
and
Let En be the set of t where the integrand exceeds 2" n ; then ^2m(En) <
53 2~" < oo. Thus almost every t belongs to at most finitely many En, so
almost every Xt admits infinitely many coverings with ^rf < 2~n -> 0.
Therefore 5 > inf H. dim(A'e), and the Theorem follows. •
16 C. McMullen
References
[Ah] L. Ahlfors. Conformal Invariants: Topics in Geometric Function The-
ory. McGraw-Hill Book Co., 1973.
[Rees] M. Rees. Positive measure sets of ergodic rational maps. Ann. scient.
Ec. Norm. Sup. 19(1986), 383-407.
Abstract
We show that at the neighborhood of a cusp point Co # 1/4 of the
Mandelbrot set M, there is a sequence (Afn) of small quasi-conformal
copies of M in M, tending to CQ. Moreover, for each n, the copy
Mn is encaged in a set Fn which is homeomorphic to the Julia set
,/< of z2 + \ + e for e > 0 small, in fact in a nested sequence of sets
(Tn,m)m which are homeomorphic to the preimage of Jt by z t-¥ z2"',
and accumulate to Mn. We prove that the distance from Mn to CQ
tends to 0 like 1/n2 and its diameter, with or without the decorations
U m r n , m , tends toO like 1/n3.
19
20 A. Douady, X. Buff, R. Devaney and P. Sentenac
7 8 9
Figure 1: The phenomena in the Mandelbrot set.
But first of all, we have to specify what we mean by "to appear quasi-
conformally" (section 2).
2 Conventions
We denote by Ts the translation by s, i.e. we set Ts(z) = 2 + 5.
We denote by 5# the circle of radius R in C, and by AR^ the annulus
{z\ R' < \z\ < R}.
We denote by Kc the filled Julia set and by Jc the Julia set for z2 + c, and
by M the Mandelbrot set.
The Julia set Ji is called the cauliflower; a Julia set Ji+e with e > 0 small
is called an imploded cauliflower. The Julia set Ji+e (Fig. 2) does not tend
to Ji when e -» 0. It does not actually have a limit, but there is a family of
compact sets (Ji )^ G T (Julia-Lavaurs sets) such that, if a sequence (J± +€n )
Baby Mandelbrot sets are born in cauliflowers 21
has a limit with en > 0 tending to 0, this limit is one of the sets Jia. The
compact set J i depends continuously on a for a € T [D/AMS].
3 The model
Consider an imploded cauliflower Ji+( and choose R > 1 so that J±+t is
contained in the annulus A^ i . Denote by r o (e) the set Ji+( enlarged by
the factor R3^2, so that it is now contained in AR? #. Denote by Fm(e) the
inverse image of r o (e) by the map z >-> z2™ ; these sets are contained in
disjoint annuli and their union is the set of points whose orbit under Z H Z 2
has a (unique) point in r o (e).
We set (Fig. 3)
s4
w
* ,i
s
)
(3
For each A e A, the map f\ has two fixed points a'x and a'x ; we may
not be able to decide which is which, in a continuous way, but the function
A i-> 5(X) = (a'x - a") 2 is well defined and holomorphic on A . We suppose
that the function 8 vanishes at Ao with a non zero derivative.
We denote by UJX the critical point of f\, we set an(X) = /"(WA) and
Indeed, under the hypotheses made above, one can reduce fx(z) to this form
by a change of variables of the form (A, z) M- (u(X),A(X).z + B(X)), with
u(Ao) = 0, u'(Ao) / 0.
24 A. Douady, X. Buff, R. Devaney and P. Sentenac
5 Fatou coordinates
Let / : [ / ' — > ( / be a holomorphic map and fi a connected open set mUUU'.
We denote by fl/f the quotient of f2 by the equivalence relation identifying
z with f(z) whenever z and f(z) are denned and belong to Q.
A map 4> : fi —>• C is called a Fatou coordinate if it satisfies the following
conditions:
• 0 is an analytic isomorphism of fi onto its image;
• <j> conjugates / to T\ on ft, i.e. <f>(f(z)) = <j>[z) + 1 when z and /(z) are
in S2 ;
• <j> induces a bijection of il/f onto C / Z .
If 0 is a Fatou coordinate on fi, fi// has naturally a quotient analytic-
structure and this bijection is an analytic isomorphism.
Given fi, a Fatou coordinate on Q,, if it exists, is unique up to an additive
constant. This follows from the fact that a C-analytic automorphism of C / Z
preserving the generator of H1(C/Z) is necessarily a translation.
If ^ : U[ U U\ —»• U'2 U U2 is a quasi-conformal conjugacy between / i : C/J —>
{/i and / 2 : U'2 —> (/2, and S7j is the domain of a Fatou coordinate for / 1 :
then fi2 = * ( ^ i ) is the domain of a Fatou coordinate for / 2 . Indeed Q2//2 is
quasi-conformally homeomorphic to C/Z, thus analytically isomorphic to it.
In view of the straightening theorem for polynomial-like mappings and
analytic families of polynomial-like mappings, many results that are known
for the family of quadratic polynomials Pt : z H-> Z + z2 + e (i.e. z > 4 z 2 + | + f
up to a change of origin) can be transported to our situation.
For Po : z H-» Z + z2, one can define two Fatou coordinates <3>po : S7£o -> C
and $po : f2po -t C such that Qpg (resp. fipo ) contains the disc Df =
{z I \z - r\ < r} (resp. D~ = {z \ \z + r\ < r} ) at right (resp. at left) of 0
for r > 0 small enough (in fact one can take r = \ ) . A maximal domain for
<t>p0 is B' U B"U ]topo, 0[, where B' and B" are the two main squares of the
parabolic chessboard, i.e. the connected components of K(P0) \ (jPo~ n (R)
which intersect D~ for r > 0 small, and wp0 = — | is the critical point of
o
contains VQ.
Proof : Remind the way one constructs a quasi-conformal conjugacy be-
tween /o and Po in [DH Pol-like]. By the Caratheodory theorem, the map / 0
extends to a continuous map U'a —>• UQ which is a local diffeomorphism except
at <x>0. First we choose a R > 1, and C 1 diffeomorphisms rj : dU0 —> S^ =
{z | \z\ = R} and rf : dU'o ->• SXR, where R' = y/R, so that J?(/ 0 (Z)) = (?/(z)) 2
for z € 9t/g. Second we fill (77, 77') into an arbitrary C 1 diffeomorphism T/J
between Uo \ f/o a n d t^ e closed annulus ylfl.R'. At that moment one can
arrange so that ip~l{[-R, —R1]) n VQ = 0. Later ] - 00, —1[ becomes the ex-
ternal ray of the cauliflower of argument | , i.e. itself. So Vo is contained in
*" X (C \ R_) where * is the quasi-conformal conjugacy between / 0 and Po
constructed using tp. •
We choose r 0 > 0 small and 90 e]0,n[, and we define the sector 5 as the
set of values of A such that |A| < r0 and \Arg{\)\ < 9Q. We set S* = 5 \ {0}.
If r 0 has been chosen small enough we have 5 C A, and for A £ 5 there
exist ([D/AMS],[DSZ]) Fatou coordinates fo : 9,^ -> C and 0+ : fi+ -^ C
satisfying the following conditions:
• QQ (resp. fi^" ) contains a disc £>+ (resp. D~ ) ;
• Vo C 9+ ;
• on(0) = /on(wo) e ^o forn > 1 ;
• the fixed points a'x, a'l of /A belong to the boundaries dfl^, dil^ ;
• the set fi* = {(A, z) | A 6 S z e fij} is open in S x C ;
• for A G 5* the intersection fi^ nf2^ is the domain of a Fatou coordinate;
• (normalization) (j>^(an(X)) = n, cf>\(6A) = 0.
Even though being the domain of a Fatou coordinate is a pretty restrictive
condition for an open set, the conditions above do not determine the domains
ilf. We can arrange so that fi* is relatively compact in U\, bounded by a
C 1 Jordan curve which depends continuously on A. We could on the opposite
arrange so that fij = fi^ for \ € S*.
Restricting 5 if necessary, we have V\ C fi^ f° r all A G 5.
6 The phase
With the conditions above, the function (X,z) 1—>• 4>^(z) is continuous on fi*,
and C-analytic on fi* D (5* x C) ([Sh],appendix).
For A 6 5 ' , the functions <f>~^ and <j>^ both induce a Fatou coordinate on
fl^ D fi^, so <j>~i — 4>^ is a constant with a value r(A) € C. This defines a
function r : 5* —> C called the Zi/W phase, which is holomorphic and tends
to 00 when A tends to 0 ; we have [D/AMS], [Sh], [DSZ] :
26 A. Douady, X. Buff, R. Devaney and P. Sentenac
When n tends to infinity, the open set Tn(Wn) tends to VQ, with conver-
gence of the boundaries. In particular diam(Wn) tends to So = diam(V0). It
follows that
An ~ —2 and diam(Wn) ~ —5— .
n n6
For A 6 Wn, we denote by V"A' the connected component of fx"(Vx) which
contains LJX, and we set Gx = 5A ° / " : Vx' —> Ux (note that n is determined
by A since the sets Wn are disjoint).
For a e Tn(Wn), we set Ga,n = Gx with A = T~l(a - n). For o e Vo, we
denote by V^a the connected component of L~1(Vo) which contains o>o, and
define Ga : Vo>0. -> Uo by Ga = gQoLa.
PROPOSITION 2.- a) Take n big enough. Then for X e Wn, the map Gx :
V^ —> Ux is quadratic-like, and the family (Gx)xewn is Mandelbrot-like.
b) For a 6 Vo, the map Ga : V§a —>• Uo is quadratic-like, and the family
{Ga)aqv0 is Mandelbrot-like.
c) When n tends to infinity, the family (Gf<T,n)ffgTn(wrn) tends to (Ga)aeyo,
uniformly on each compact in its domain of definition in Tn(Wn) x C.
Baby Mandelbrot sets are born in cauliflowers 27
Proof : a,l) : For i < n, denote by V^ the component of /A"1 04) which
contains at. I f l < i < n - 1 , the map fx : Vx':i -> Vx'i+l is holomorphic and
proper with no critical point, thus is an isomorphism. The map fx : Vx —> Vx x
is a ramified covering of degree 2. It follows that / " : Vx —> Vx is a ramified
covering of degree 2, and Gx = gx o /£ : V{ -+ £/* is quadratic-like.
a, 2) : For n big enough, when A ranges on a curve which follows closely the
boundary dWn, the point A follows dWn, the point an(X) = A + n ranges on
a curve close to dV0, thus an(X) on a curve close to dV0 , so finally GX(LJX) =
gx{anW) ranges on a curve in Uo \ U'o, which makes 1 turn around 0.
b,l) : Define V^al as the connected component of L~}_i(Vo) which contains
ai(0) = /o(w o ). Then LCT_i : Vg'^i —> VQ is an isomorphism, while fo : Vla —»
Vo)(r>1 is a ramified covering of degree 2. So (?„ = j 0 ° I j : VQO —> t/o is
quadratic-like.
b,2) : When a follows dVo, the point La(u)o) = {(po)1^) follows dVo, and
Ga{oJo) ranges on a curve in UQ\UQ, making 1 turn around 0.
c) : This follows from the fact that / " , where A = T~1(CT - n), tends to
La when n tends to oo. •
It is proved in [DH Pol-like, IV-4] that the map xe defined this way is a
homeomorphism of W onto an open set in C, which is easily seen to be WM
under the hypotheses made here, and that xe is quasi-conformal on W \ Mh
for any W relatively compact in W (Prop. 20).
Lyubich has proved ([Ly]) that there exists a quasi-conformal mapping
X of a neighborhood W* of M h in W onto a neighborhood W^ of M in
C extending x- I* t n e i i follows from Rickmann's lemma ([DH Pol-like I-
5, Lemma 2],[Ri]) that xe is quasi-conformal on W for any W relatively
compact in W, as conjectured in [DH Pol-like].
9 Appearance of E(en)
Let us come back now to the situation of sections 4 to 7. We shall apply the
above Corollary to the family Gn = (G\ : Vx —> U\)\£wni or equivalently to
the family {G^n)aeyQ.
We fix R > 1. For each n, we shall choose a tubing 0 n = {&x)xewn for
G n , with 0 A : AR2R —> U\ \ Vx' quasi-conformal.
We first take a tubing 0f for f denned on A' x Agi ^ with A' a neighbor-
hood of 0 in A. Then the straightening theorem provides a homeomorphism
ipx '• J(fx) —> Jt(x) induced by a map which is AV-quasi-conformal with a Kt
independent of A for A in a neighborhood A" of 0. In particular for the center
An of Wn denned in section 7, we get ip\n : J(f\n) —> JCn with some tn. This
€n is determined by Tp(en) = — n, where Tp is the lifted phase for the family
of polynomials (Pt), taking ip\(b\) as a base point on the right side. It follows
that -~ir ~ -n and cn ~ ^ j .
We denote by ro(e n ) the set Jtn enlarged by the factor R* as in section
3, and by r m (e n ) the preimage of r o (e n ) by Z >-» Z2™, agreeing with the
notations of section 3 and of Prop. 3.
We can then choose for each n big enough a homeomorphism 0 " : AR2>R —>
Z7An N KA'n so that
• 0 ° is X-quasi-conformal with a K independent of n ;
• lOn(/C/ ) — JXnY'-'nK^)) '•Or |zi| — It ,
• e°n{Z) = il>£{Rri.Z) for Z € r o (e B ).
When A ranges in Wn, the set J(f\) remains a Cantor set contained in
U'x N VA and undergoes a holomorphic motion. The sets dU\ and dVx' also
undergo a holomorphic motion. By Slodkowski's theorem, one can find a
holomorphic motion (tA) of U\n \ Vx' which induces the above mentioned
30 A. Douady, X. Buff, R. Devaney and P. Sentenac
It is clear that X n c M f n W n .
The points £ € E(en) which are either Misiurewicz points in M or parame-
ter values for which R~* •(^'MCO) 2 '" IS a (repelling) periodic point in Jln form a
dense set in the boundary d=.(en). For such a point f, the point A = x«~nl(0 i s
a parameter value such that, for some k, the point G*(k/;0 is a repelling point
either under G\ or under fx ; so £ € 9M F . Therefore X i
10 Proof of Theorem 2
We have seen that \n — Xen '• Wn -> WAf is a quasi-conformal map which
induces a homeomorphism Xn -> H(en) with en ~ ^ j .
Choose C > 0 such that C.WM is containd in the open disc D±, and define
Xn : Wn -> T_n(C.iyM) by \ n = hn o X n o T" 1 , where /i n (Z) = C.Z - n, and
X : Un>n0 Wn ~> U n > no T_ n (C.W M ) by X|vvn = Xn-
Set ro(e) = — ^ for e e 5*, and 77 = T0 O r" 1 : S ->• 5 0 = r o (5*) =
{Z I |Z| > -z= \Arg(-Z)\ < &}. Remind that ?7(Z)/Z tends to 1 when Z
tends to 00 in 5 ; reducing #0 if necessary we get that rj (Z) also tends to 1.
r = {o}ur-1(Ur-»(=(e»)))
n>no
11 Proof of Theorem 1
Let Co be the cusp point of a primitive hyperbolic component of the interior
of the Mandelbrot set M, and denote by Q\ the map 2 H z 2 + c0 + A. Let A
o
(JD1) :AcU^cUlcU0;
(JD2) : QQ induces^ proper map f0 : UQ-> Uo of degree 2 ;
(JD3) : VOCUO\ U'Q ;
(JD4) : be e Vo for some £ = -mk < N, and Q$~l induces an isomor-
phism <7o : VQ —»• Uo.
Proof : One can find Jordan domains U and U' with Cl boundary such
that A c t / ' and that QQ induces a quadratic-like mapping U' —>• U, and
one can choose U contained in an arbitrary small neighborhood of A. The
sets Qo(A) for 0 < i < k are disjoint (due to the fact that CQ is the root of
a primitive hyperbolic component), and one can choose U so that the sets
Ql(U) are disjoint.
For n < N, denote by Vn the connected component of Qo^N~n\U) which
contains bn. Then the sets Vn are disjoint, for each n the set Vn is a Jordan
domain and QQ~U induces a homeomorphism Vn —> U. For the Poincare
metric of C \ {Jo<i<kQo(^-)> ^ n e diameter of Vn is bounded, since there is
a branch of QQ1 defined on the universal covering of this set and mapping
it into itself ; so the euclidean diameter of V-mk tends to 0 when m -> oo.
There is an mi > mo such that V-mk C U for m > mi.
Now the domains U, U' and V-mk satisfy (JD1), (JD2) and (JD4) for any
m> mi.
SUBLEMMA.- Let P C C+ = {Z | Re{Z) > 0} be a topological closed disc
such that P fl 2m.P = 0 for m ^ 0. Then, given s0 > 0, one can find a
C 1 -curve C such that :
(API) : C C E = {Z | 0 < Re(Z) < s0} ;
(AP2) : T2vi(C) = C ;
(APS) : \.C n C = 0 ;
(AP4) : (Vm eZ) CD 2m.P = 0.
Proof of sublemma : Take fi > supx+yiep^-. Let J be a C^-arc joining
s0 - fj.soi to s 0 + fJ,soi in {Z = x + yi | |y| < /ix} and avoiding (Jmez 2 m-i3-
Set J m = 2~ m .J. Take si < s 0 such that 2/xsi < | . Consider the segments
J^ = [2" m (s 0 + fj,soi) si + 2/xsji], J" = [si + 2^sxi sx + (2TT - 2fj.Si)i],
J™ = [Sl + (2TT - 2/iSj)i 2?ri + 2- m (s 0 - /j,soi)]. Then, for m big enough, J m
is contained in {Z \ 0 < Re(Z) < inf(2si,s0)}, and
y = 2n - fix
y =:.
y — 2n - 2fix
y = -2/xtf
U \ K(fo) onto a vertical strip S = {Z | 0 < Re(Z) < So} which conjugates
/ to Z i-)- 2.Z and the deck transformation to T27ri. Take P = h(V) with V
a lift of V-mik. Note that P is a topological closed disc, with P n 2 m .P = 0
for m ^ 0.
By the sublemma, one can find a C1-curve C in £, invariant under T27ri,
avoiding | j 2 ~ m . P , and such that | . C lies between i.R and C. There is a
unique m 2 such that the set 2~m2.P lies in the strip between C and \.C. Set
^ = — (rm + m2)fc. The projections of h~l(C) and ft"1^^) are C 1 Jordan
curves which bound Jordan domains Uo and (7Q satisfying(JDl) and (JD2),
and taking Va = VtC\ Qo^'^iUo) the conditions (JD3) and (JD4) also are
satisfied. •
We can now finish the proof of Theorem 1. Take for instance U\ = Uo
for every A e C . For A close to 0, let U'x (resp. V\ ) be the Jordan domain
bounded by the component of Q^k(dU\) (resp. Q^t(dU\)) close to dU'o (resp.
to dV0 ) (see Fig. 6).
There is a simply connected neighborhood A of 0 such that dU'x and dV\
undergo a holomorphic motion when A ranges in A, and that the inclusions
Baby Mandelbrot sets are born in cauliflowers 35
Ux
<?A0 = Q3
The drawings are done by X. Buff using algorithms and programs by Chris-
tian Henriksen.
References.
[D/AMS] A. DOUADY, Does a Julia set depend continuously on the Polyno-
mial ?, Proceedings of Symposia in Applied Math., 49, 91-139, (1994).
36 A. Douady, X. Buff, R. Devaney and P. Sentenac
Abstract
We prove A.Douady's and J.H. Hubbard's Tuning Theorem from
the sketch given by A. Douady. This result explains why the Mandel-
brot set contains "little copies" of itself, and where they can be found.
We also give a topological model of the tuned Julia sets, and some
further corollaries.
Le but de cet article est de montrer le Theoreme de Modulation
de A. Douady et J.H. Hubbard, ainsi que de corollaires immediats. Ce
resultat explique la presence de petites copies de l'ensemble de Man-
delbrot dans lui-meme. Nous donnons aussi un modele topologique de
l'ensemble de Julia d'un polynome module, ainsi que quelques corol-
laires.
Nous commengons cette introduction par des rappels afin de situer le con-
texte et pouvoir ensuite enoncer les resultats principaux.
Rappels
On se restreint a la famille quadratique, bien que de nombreux resultats
restent vrais pour des polynomes de degre plus eleve. La particularity des
polynomes est l'existence a l'infini d'un point super-attractif, de bassin con-
nexe, et dont le bord est leur ensemble de Julia.
On considere la famille de polynomes
Z (-»• Z2 + C,
: *
*****
9*
Pour k > 1 fixe, {c & C tq 3 A:-cyde attractif pour Qc} CM. et chaque
composante est appelee composante hyperbolique de M de periode k.
Remarque. Vc 6 C, Qc admet au plus un cycle non repulsif (car degQ c = 2).
Pour toute composante hyperbolique W. on a la representation conforme
pw : W —> D, qui a c associe le multiplicateur du cycle attractif de Qc (II,
Chap.19, Th.l). L'application pw se prolonge continument au bord; on note
/%,'(0) le centre de W et p^'(l) sa ratine.
Definitions.
V{) — {centres des composantes hyperboliques} = {c e C , 0 soit periodique) ;
T>\ = {racines des composantes hyperboliques} = {points paraboliques} ;
£>2 = {points de Misiurewicz} = {c g C, 0 soit strictement preperiodique}.
Proposition 0.3. (II, Chap.13, Th.l et [19]) V0 e Q/Z, KM{6) aboutit a
c e dM;
- c € T>\ si 9 est a denominateur impair,
- c € T>2 sinon.
Theoreme 0.4. (Relations entres arguments dynamiques et argu-
ments externes)
- (I, Chap.8, I, Cor.2): Pourc&M, Argcc—ArgMc.
- (II, Chap.IS, Th.l, Complement, Chap. 18, Prop.l): Pour c € X>o, il existe
1ZM{0-) el TIM{8+) aboutissant a la racine de la composante de c. Us aboutis-
o
Definitions.
> line application a allure polynomiale de degre d > 2 est la donnee d'un
triplet ([/', U, g) ou U' et U sont des disques topologiques tels que U' CC U
et tels qu'on ait g : U' —¥ U holomorphe propre de degre d.
> K(g) — ng~n(U') est l'cnsemble de Julia reinpli;
> J(g) = <9/C, est l'ensemble de Julia.
Definition. Deux applications a allure polynomiale ([/', £/, / ) et ( V , V, g)
sont hybridement equivalentes s'il existe une application quasiconforme ip :
[/ -> V7 qui conjugue / a g et telle que dtp = 0 pp. sur A"(/). On note
/ ~M> -9-
Pour la definition et les proprietes des applications quasiconformes on peut
se reporter a [1].
Independarninent des propositions suivantes, on peut montrer que de nom-
breuses proprietes des ensembles de Julia (remplis) de polynomes se trans-
posent a ce cadre. Us sont d'ailleurs etroitement lies par le theoreme suivant:
Theoreme 0.5. (Theoreme de Redressement, [10], /, Th.l)
Soit (V, U, g), une application a allure polynomiale de degre d > 2. // existe
un polynorne P de degre d tel que P ~hyb 9-
De plus, si K(g) est connexe, alors P est unique a conjugaison affine pres.
En particulier, si g est quadratique avec un ensemble de Julia connexe, alors
il existe un unique c G M tel que Qc ~hyb </•
Resultats principaux
La premiere partie de cet article consiste a demontrer le theorerne ci-dessous
scion l'esciuisse de [6].
42 Peter Haissinsky
Figure 2. M et un zoom.
polynome.
44 Peter Haissinsky
a un
Comme A est connexe, Q£0U' degre qui est le meme que Qk0\un i-e-
2.
De plus, le point CQ n'a qu'un seul antecedent par Q^\A '• c'est done la
valeur critique. •
Proposition 1.2. II existe un ouvert Ai, voisinage deW\ {c{\, tel que pour
tout c G Ai, 7tc{0s) (resp. 1ZC(9'S)), s = 1,2, aboutissent a un mime point
yi(c) k-periodique (resp. y[(c), preimage de j/i(c) par Qkv), ce qui permet de
construire Qkc : A'(c) —» A[c) propre de degre deux. De plus, pour tout c G Ax,
le point yi(c) est repulsif et c est la valeur critique de Qkc.
f):
F i g u r e 2: A t .
c f h o l o n i o r p h o et a v a l o u r e n t i e r e . d o n e c o n s t a n t e s u r A| e o n n e x e : d(<'
</(r n ) — 2. O n n u m t r o d(v m o m e quo c cst la valour c r i t i q u o .
Q1
.lusqu'ici. on a defini une famille {A'(c) —'-> A(c))ri.,\, holomorphc propre
de dej^re deux. Ses elements ne sont pas a allure polynoiniale car A'(c) n'ost
pas rolativement compact dans A(c). II est, done necessaire de changer un
pen leurs definitions. Pour cela. nous allons distinguer le eas primit.if du c;\.s
non pritnitif.
46 Peter Hai'ssinskv
e 4: A.
2 W primitive
D'apres le Theoreme 0.4, TZC] (#i) et TZCx (9->) aboutissent au meme point y\(c\)
parabolique de vraie periode k; on construit de la meme fagon .4'(f'i) et A(ci).
Conime c\ est la raeine de W primitive. y\(c\) n'a qu'un seul petale repulsif
dont l'axe est contenu dans C \ A'(c-i). Nous allons utiliser les resultats de
21] obtenus par implosion parabolique. Nous utilisorons d'abord un enonce
sur le plan des parametres, puis son pendant dynamique.
Soit 5 > 0 fixe assez petit que Ton determinera ulterieurement. On definit
A l'ouvert borne du plan des parametres borde par les rayons 1ZM(9I) et
T^-hi{(h)- par c-. ainsi que par l'equipotentielle (GM = if).
D'a]>res le Theoreme A.3, pour tout, c £ A, les rayons dynamiques 7Z.C{9\)
et 7£r(02) aboutissent a un meme point, y-2(c), qui est preperiodique repulsif
et (jui depend C-analytiquemont de c.
Potir c € A. on peut alors definir l'ouvert Uc contenant A(c) et borde par
les rayons TZc(0-[) et 1Zr(02), par 2/2(0). ainsi que Tequipotentielle (Gc — rj); et
on note aussi U'c la composante connexe de Q^k(Uc) contenant A'(c).
Si e est assez petit, alors 2/2(cj) appartient au petale repulsif de iji(c\), et
son image reciproque par la branche de Q~~k qui envoie y\ (r,) sur y\ (c-t) envoie
Modulation dans l'ensemble de Mandelbrot 47
d=l, nous pouvons done utiliser le principe de l'argument pour montrer que
(I est le nombre des racines de h(c) = 0 compte avec multiplicite. Nous alloris
proeoder en deux etapes: d'abord montrer que la seule solution dans A est
Co et ensuite qu'il s'agit d'une raeine simple.
Suit <•' line raeine; ceci signifie que l'application f/f- fixe le point critique.
En comptant ses points fixes, on en deduit; que Tun est c' et l'autre est le
point repulsif an bord de son bassin : il coincide avec 7,'(^i) et 7^(6*2). Or ces
conditions earactorisent r.o. done c! — CQ. Le fait que c-n est une raeine simple
a ete inoiitre par Gleason (voir [9], II, Chap. 19. Lemine 2).
Par suite, d = 1 et la famille est mandelbrotosque.
3 W non primitive
Nous alloris changer la definition des A'(c) et A(c) en deux temps.
On fixe ="<) > 0 et on definit dans le plan des paramotres:
- LM(0\) ••= {<• e A2, «r fl;U ( r ) = Bi+eoCi^c)},
- Lu(02) := {r e A,. «r.9A/(r) = 62 - e0G\,(c)},
- A c A|. 1'ouvert contcnant \V et delimite par Lm(9l) et Lm(02).
(Gc = V)
L(82)
Second temps
Le point ij\(c) etant repulsif, on peut rajouter un petit disque linearisable
de inaniere a construire une application a allure polynomiale gc. Cependant,
il nous faut choisir ces disques plus soigneusement pour avoir une famille
analytique.
Lemme 3.2. Pour tout c G A, il existe un secteur invariant Ai(c) issu de
yi(<). disjoint de A(c), et une application continue i : A x Ai(co) —> C telle
que, pour tout c € A, L(C, A I ( C 0 ) ) = A^c).
DEMONSTRATION. Notons p(c) = (<2*)'(2/i(c)). Pour tout c G A, nous
considerons la coordonnee linearisante de j/i(c) pour Qkc, que Ton prolonge
an plan: on a done une application holomorphe nc : C —s- C, univalente
an voisinage de 0, telle que K C (0) = ?yi(c) et Kc(p(c) • z) — Qkr o KC(Z) pour
tout .; G C. Nous normalisons KC par K'C(0) = 1. Par suite, KC depend
C-analytiquement de c.
50 Peter Haiusinsky
Nous prolongeons / par <j>c ' o(pro sur (A(CQ) \-4•>(<;'())). On a bien A,(r) CC
A|(c). Ceci permet done de definir des domaines U'(. et Uc qui varient con-
tinument. et d'obtenir une famille analytique d'applications a allure quadra-
ti(|iie dans A (c/le cas primitif). Par le Theoreme 0.6, nous obtenons A/,o,
lieu de connexite de la famille, et une application \ : -^,0 ~^ ^ continue.
L e m m e 3.3. Pour c € Mco, on a limc_.>Cl \;(c) = 1/4.
R e m a r q u e . Par la construction de A, l'adherence dans C de M,.o est c'i.
DEMONSTRATION. On commence par montrer que x\\v = P\\\^°P\v- I' s'ensuit
que le lemme est vrai sur W, et meme sur W. On considere une suite (cn) de
M,-n de limite c\. Par un corollaire des inegalites de Yoccoz (voir e.g. [14]),
l('s x{('n) appartiennent. a des membres de diametres tendant vers zero, i.e.
ils out meme limites que les racines de ces membres. a savoir 1/4. •
Par suite, ,\ est propre et son extension \ : MCo U {<••]} —> M est un
revetement ramifie de degre fini (Theoreme 0.6). D'aprcs la remarque ci-
dessus, on peut considerer un lacet base a la racine c.[ qui fait une fois le tour
de M,.o dans A U {ci}. En adaptant la demonstration du Theoreme 0.6 dans
le cas MCu CC A, on montre que le degre de \ est egal au nombre de tours
de (c — u-v) quand c parcourt une fois ce lacet. Comme dans le cas primitif,
la foncfion c H-> C — ui,. est holomorphe et c.o est la seule racine comptee avec
Modulation dans I'ensemble de Mandelbrot 51
Proposition 3.4. Le, polynome Qi/i figure de manicre rigide dans QCI.
o
z2 + 3
B: z2'
A',,, x log-
f C.
52 Peter Haissinskv
1/rc
z2 + 1/4
Or
D'apres [18], comme pv > 1 et ^~", > a, les deux sommes sont finies. De
plus,
\
< Jaci>)
On trouve
<CC.
Par suite, l'application est dans Wl<v et Q 1/4 figure de maniere rigide dans
B.
Remarque. Reciproquement, ip l
6 W 1 ' 2 car li^ilz^ x X] r) ' L(D ) J00 ',-1
J2 l / n 3 < oo .
Modulation dans l'ensemble de Mandelbrot 53
Proposition 4.1. II existe une suite decroissante d'ouverts connexes An, n >
1, tels que :
(i) Aoo n M = M co \ {t>2 U { C l }), ou A ^ = n A n ;
(ii) Vzo G Q^l{yi), H existe une fonction holomorphe z : An —>• C holomorphe
telle que Q'(l(z(c)) = ]ji(c) avec Z(CQ) = ZQ ; de plus, si t G Q/Z est I'angle
d'un rayon qui aboutit a ZQ, alors le rayon correspondant pour Qc aboutit a
c> On suppose cine Ton a un ouvcrt A,, borde par les rayons preimages de 0\
et O-j par un it.en'1 au plus fcn-ie.me. Ces rayons aboutissent a des points de
T>-2- On eonsidcre aussi .4,, la composante connexe de QrBnk(A) qui contient
Proposition 4.2. Soit c € Mco \ T>2, alors pour tout bout x de Qc, ou Men
I(x) est un point, ou bien I(x) est homeomorphe a KX(, (cj.
Corollaire 4.3. Pour tout e dans Mco, l'ensemble de Julia Jc est localement
c.onnexe en tout, point qui n'appartient pas a une petite copie.
Corollaire 4.4. Si c € Mco \ V2, on note Sc — {z S Kc, tel que {2} soit
l'impression d'un bout) ; alors il existe un homeomorphisme de Sco sur Sc qui
conjugue Q,.a et Qc.
L Kr
5.1 Introduction
o
D'apres [9, 7], si A' est compact, connexe, localement connexe et plein, K a
o
Comme A' est localement connexe, pour tout e > 0, il n'y a qu'un nombre fini
de classes de diametre superieur a e. On en deduit que son espace quotient
A* est compact et metrisable (voir [3], Chap. 1). On note g : K —> K la
projection, qui est continue et propre. Les fibres sont ou bien des points, ou
o
ip : K -» K x nZ7»
z - » (30), (7^(2:))).
- si ]x, y[Knno(K) ^ 0, alors il existe U telle que ]x, y[i<nU / 0, done nu(x) /
TTu(y)- ^ _
Par suite, on peut plonger K dans K x Ilt/j a l'aide de ip:
^(/v) = K = {(C,^) G ^ x 1 1 ^ , 6 = TTi(g-l(O) si g{Ui) + £, et sinon
3£ tq g(Uk) = £ et &_= 7r^(a;fc) pour z ^ A:}.
Remarque. Si a; G t/flV, alors on peut aussi bien choisir xu que Xy comme
centre.
Ce modele de K fournit une fac,on de definir Ki dans K x IlLj tel que les
Li soient des copies de L.
o 7- 1 (z)
Remarque. A'/y est bien le modele que Ton cherehait en ce sens qu'on pout
definir les injections suivantes:
ZD : K\ (U,>of7,) KL
(voir Figure 7)
•T'G'L/
6 Theoreme 2
Enonce. 5oii Co 6 2?o \ {0} de periode k et soit c G i l / ; on note c =
Co _L r. A",,,. A',., A'c les ensembles de Julia rernplis de CQ, C, C respechvement.
Alois K; est homeomorphe a KI:OKC-
Nous allons definir un homeomorphisme en utilisant notre travail sur les
bouts. Nous reinarquons que, pour tout x € £Co, g est constante sur l{x); ceci
nous permet de definir Q : £Co —> K,o par Q(x) = g(I(x)). Cette application
est continue car dn(I(x),Xn) —> 0.
60 Peter Haissinsky
On definit alors g : A^ —>• Kcg par g(z) = QOLON(Z). Cette application est
bien definie car pour tout x G N(z), z 6 I(x) et done Q(L(I{X))) = g(i(z)).
De plus, elle est surjective et continue d'apres les proprietes de continuite de
G, i. et TV.
DEMONSTRATION DU T H E O R E M E 2. On numerate les copies de Kc dans K-c
fie maniere coherente avec les Ui.
On definit (p : A^ —> KCOKC par:
- si x i (uA'c(i)), i = g(x), et £ = ipjTj{g-lg{x));
- si x G Kc(i), S, = g{x), & = x, et pour j ^ i, ^ = ^JiTJ(xt).
Montrons que (p est un homeomorphisme.
> Continuite: il s'agit d'une adaptation de la demonstration du Lemme 5.1.
On considere une suite (xn) de Ki convergente. On lui associe une suite (yn)
de KCo en s'appuyant sur la Proposition 4.1, puis on precede au meme type
de discussion, selon la position d'un point d'accumulation de (yn).
t> Surjectivite : soit ^ = (f, ^ ) £ KCQKC ',
• si £ ^ 0, g est injective et g~l(Z,) repond a la question.
• si £ = ,g([/,), 3A: tel que g(Uk) = £ et ^ = ipiTri(xk),i ^ A;; d'ou ^ ( ^ ) = |
avec Cfc G /<f:(fc)-
> Injectivite : soient x, y tels que ip(x) = (p{y) = (£, ^,);
• si ^ ^ fi alors x, y G A'c \ ( 0 ^ ( 1 ) ) ou g est injective, d'ou x = y.
• sinon, il existe k tel que g(xk) = £, et pour tout i 7^ k, ^ = 4>iiii{xk). Du
coup, .T et ?/ appartiennent a un meme Kc{k). Par consequent, x = (p{x)k —
7 CoroUaires
Dans ce paragraphe, nous deduisons des coroUaires du Theoreme 2.
remplagant les composantes connexes de HCo par Hc en recollant par (3, j3'.
Les points marques sont alors determines comme suit:
< 0-> €
Definition. Soient qu'on decompose en base deux:
t eT
0i = 0.u\...u],, -i = 1,2 et
alors (6»,jy2) ± t :=
f |(c,v(«) = (Q'+fc)'(
(car Ql(^',.(8)) est repulsif), ces points coincident aussi sur un voisinage de
r par l'unieite du theoreme des fonctions implicites; done sur tout A par
prolongement analytique. •
References
[1] LA'. Ahlfors, Lectures on quasiconform.al mappings. Van Nostrand,
1966.
[2] B. Branner & J.H. Hubbard, The iteration of cubic polynomial, part II:
Patterns and parapatterns, Acta Math., vol. 169, pp. 229-325, 1992.
[9] A. Douady & J.H. Hubbard, Etude dynamique des polynomcs complexes
I & II, Pub. math. d'Orsay 84-02 et 85-05, 1984/85.
Modulation dans l'ensemble de Mandelbrot 65
[14] J.H. Hubbard, Local connectivity of Julia sets and bifurcation loci: three
theorems of J. C. Yoccoz, Topological methods in modern mathematics
(Stony Brook, 1991), pp.467-511, 1993.
[Hi] .1. Milnor, Local connectivity of Julia sets: expository lectures, dans ce
volume.
[17] J. Milnor, Periodic orbits, external rays and the Mandelbrot set: an
expository account, preprint Stony Brook, Asterisque, a paraitre.
[18] C.T. McMullen, Hausdorff dimension and conformal dynamics I & II,
preprint, 1997.
[21] TanL., Local properties of the Mandelbrot set at parabolic points, dans
ce volume.
Abstract
An exposition of results of Yoccoz, Branner, Hubbard and Douady
concerning polynomial Julia sets. The contents are as follows:
1. Local connectivity of quadratic Julia sets (following Yoccoz) . 68
2. Polynomials for which all but one of the critical orbits escape
(following Branner and Hubbard) 87
3. An infinitely renormalizable non locally connected Julia set
(following Douady and Hubbard) 100
Appendix: Length-area-modulus inequalities 107
References 113
Introduction
The following notes provide an introduction to work of Branner, Hubbard,
Douady, and Yoccoz on the geometry of polynomial Julia sets. They are an
expanded version of lectures given in Stony Brook in Spring 1992.
Section 1 describes unpublished work by J.-C. Yoccoz on local connectivity
of quadratic Julia sets. (Compare [Hu3].) It presents only the "easy" part of
his theory, in the sense that it considers only non-renormalizable polynomials,
and makes no effort to describe the more difficult arguments which are needed
to deal with local connectivity in parameter space. It is based on second hand
sources (Hubbard [Hul] together with lectures by Branner and Douady), and
uses the language of Branner and Hubbard, The presentation is quite different
from that of Yoccoz. (Compare Problem 1-e at the end of §1.)
Section 2 describes the analogous arguments used by Branner and Hub-
bard [BH2] to study higher degree polynomials for which all but one of the
critical orbits escape to infinity. In this case, the associated Julia set J is
never locally connected. The basic problem is rather to decide when J is
totally disconnected. This Branner-Hubbard work came before Yoccoz, and
its technical details are not as difficult. However, in these notes their work is
presented simply as another application of the same geometric ideas.
Section 3 complements the Yoccoz results by describing a family of exam-
ples, due to Douady and Hubbard, showing that an infinitely renormalizable
quadratic polynomial may have non-locally-connected Julia set. An Appendix
describes needed tools from complex analysis, including the Grotzseh inequal-
ity.
67
68 J. Milnor
We will assume that the reader is familiar with the basic properties of Julia
sets and the Mandelbrot set. (For general background, see for example [Be],
[Br2], [CG], [Dl], [D2], [EL], [LI], or [St]. A brief survey of the Mandelbrot
set is given in §3.) In particular, we will make use of external rays for a
polynomial Julia set J(f) C C . (Compare [DH1], [DH2], [D5], [GM], [M2],
[M3].)
Remarks: The proof gives much more, since it effectively describes the
Julia set by a new kind of symbolic dynamics. With a little more work, the
Yoccoz method can also deal with the finitely renormalizable case. Since the
case of a map with attracting or parabolic fixed point had been understood
much earlier [DH2], we see that conditions (2) and (3) can be actually replaced
by the following weaker pair of conditions:
(2;) / has no irrationally indifferent periodic points (Cremer or Siegel
points), and
(3') / is not infinitely renormalizable.
These modified conditions (1), (2') and (3') are all essential. In fact:
Condition (1): For c £ M the Julia set J(fc) is a Cantor set, which
is certainly not locally connected.
Condition (2'): Sullivan and Douady showed that a polynomial Julia
set with a Cremer point is never locally connected. (Compare [Su], [Dl],
Local connectivity of Julia sets 69
[M2]. For a more explicit description of non local connectivity, see [S01-2].)
Similarly, Herman has constructed quadratic polynomials with a Siegel disk
having no critical point on its boundary. The corresponding Julia set cannot
be locally connected. (See [He,§17.1], [D1,II,5], [D4].)
Condition (3'): In §3, following unpublished work by Douady and Hub-
bard, we will describe infinitely renormalizable polynomials for which J is
not locally connected.
Thus the sharpened version of Theorem 1.1 comes fairly close to deciding
exactly which quadratic polynomial Julia sets are locally connected. Yoc-
coz has also proved a corresponding result in parameter space: For c in
the Mandelbrot set M , if the polynomial fc(z) — z2 + c is not infinitely
renormalizable, then M is locally connected at c . For proofs of this more
difficult result, see [Hu3], [K].
The Yoccoz puzzle. The proof of Theorem 1.1 begins as follows. If a
connected quadratic Julia set has two repelling fixed points, then one fixed
point (to be called /?) is the landing point of the zero external ray, and the
other (called a) is the landing point of a cycle of q external rays, where
q > 2 . (Compare [M2], [Pel].) Let 0 = Co >-> cx >->••• be the critical
orbit. The Yoccoz puzzle of depth zero consists of q non-overlapping closed
topological disks Po(co), P0{c\), • • • , Po{cq-i) , called "puzzle pieces", which
are obtained by cutting the region G < 1 along the q external rays landing
at a . Here G is the Green's function (or canonical potential function)
which vanishes only on the filled Julia set, and satisfies G(/(.z)) = 2G{z) ;
while Po(ci) denotes the unique puzzle piece of depth zero which contains
70 J. Milnor
2/7
^-I
1/7
yvi
1/14 \
\ \
4/7 \ \ /'""I
yJ
/ /
\ 9/liV Ic ) \P1(-C2)
___Ju—-^
\ P 0 ( 0 ) 11/14
Jo = (J/~»
for the set of all points in the Julia set which belong to this excluded grand
orbit. For any z € J \ «70 , it is easy to see that there is a unique sequence
of puzzle pieces
Po(z) D P i ( z ) D P2(z) D •••
which contain z .
De
Main Problem. Let z 6 J \ Jo any point which belongs to the Julia
Local connectivity of Julia sets 71
set ,/(/) but not to the countable set \J f~n{a) C J{f) , and let Pd(z) be
the unique puzzle piece of depth d which contains this point z . Does the
intersection f\dPd{z) of these puzzle pieces consist of the single point zl
The associated annuli. Following Branner and Hubbard, consider the
puzzle pieces Pd{z) D Pd+\{z) of two consecutive depths containing some
given z € J \ Jo . With luck, the smaller puzzle piece Pd+i(z) will be
contained in the interior of Pd{z) . In this case the difference set
Ad{z) = Interior(P d (z)) \ Pd+l(z)
will be an annulus, whose modulus mod Ad(z) is a well defined positive
real number. (Compare the Appendix.) However, we must also allow for
the possibility that the boundary of Pd(z) intersects Pd+\ . In that case,
we describe Ad(z) as a "degenerate annulus", and define modAd(z) to be
zero.1 As an example, in Figure 2 the annulus AQ(-Ci) has positive modulus,
but the annulus ^4o(0) around the critical point is degenerate.
With these definitions we can reformulate the Main Problem as follows:
Modified Main Problem (Branner and Hubbard). Given a point
z 6 J \ Jo , is the sum
y^j mod Ad(z)
d
infinite? If so, using the Grotzsch inequality, it is not difficult to prove that
the intersection f] Pd{z) must consist of the single point z . (See A.7 in the
Appendix.)
The sequence of puzzle pieces
Po(0) D Fi(0) D P2(0) D •••
containing the critical point will play a special role. For this sequence to be
well defined, we need the following.
Given any orbit z0 )->• zx i-> z2 •-> • • • in J o , note that / carries any
puzzle piece Pd(zi) of depth d > 0 onto the puzzle piece Pd^i{zi+{) . This
map Pd(zi) —> Pd-i(zi+i) is either a conformal isomorphism or a two-fold
branched covering according as Pd{zi) does or does not contain the critical
point. Now consider the restriction of / to the annulus
Ad{Zi) = Intenoi(Pd{Zi)) \ Pd+1(Zi) .
We can distinguish three cases, as follows.
Branner and Hubbard summarize the tableau properties which are needed
to carry out this argument in three rules, as follows.
74 J. Milnor
Z
Z
O z
l Z
2 ZZ i
3 ZT.A
4 Z Zr
5 Z Zr
6 ' 7Z-7 Zfi
12 Z 13 Z 14
A2
A3
A4
A?
A
8
A9
A
10
All'
First tableau rule: Every column of a tableau is either all critical, or all
off-critical, or has exactly one semi-critical depth S(z;) , and is critical above
and off-critical below.
Now let us compare the tableau of the critical orbit
0 = Co i—> c\ \—> c-i \—>•
with the tableau of some given orbit z0 i-> z\ i-> • • • in Jo . (The case
zQ = c0 is not excluded.) If the tableau of {ZJ} is critical or semi-critical
at depth d in column m , draw a line "north-east" from this critical or
semi-critical annulus, as indicated by the dotted line on the right, and draw
a corresponding line north-east from depth d of column zero in the critical
tableau.
Second tableau rule: Everything strictly above the diagonal line on the left
must be copied above the diagonal line on the right.
Local connectivity of Julia sets 75
m m+k
anything copied
d-k d-k
here here .1
Figure 5. Illustration for the second and third tableau rules, with the
critical tableau on the left, and the tableau for z0 t-» z\ i-> • • • on
the right.
0 1 2 3 4 5 6 7 9 10 11 12 13 14 15
:i
n
n n
71
with arrows from child to parent. Since A3(0) is the only child of
A0(0) , it follows from 1.3 that every descendent of A3{Q) has at
least two children.
Local connectivity of Julia sets 77
16 5 80
Figure 7. Graph of the unimodal map x \-t x2 -1.8705286 • • • which realizes the
Fibonacci tableau. (Compare [ML].) The first eight points on the critical orbit
are marked. The critical orbit closure is a rather thin Cantor set, which is plotted
underneath the graph. (Compare Problem 1-f.)
Figure 8. The Yoccoz puzzle at depths zero through five for this quadratic
Fibonacci map, drawn to the same scale. Note that the critical pieces are the
biggest ones at any specified depth.
78 J. Milnor
2k 3k
d+k
corresponding column goes all the way down. In this case, it follows easily
that Pd{ci) = Pd(ci+k) for all d and i. (Compare Lemma 1.5 below.)
The following construction will be needed to prove Lemmas 1.5 and 1.6.
Recall that each of the puzzle pieces P 0 (CJ) of depth zero consists of points in
Local connectivity of Julia sets 81
,2
F/gure I I . An example of crossed renormalization: The Julia set
for f(z) = z2 + .41964338 + .60629073 i is shown on the left,
with a schematic diagram of its renormalization on the right. The
associated small Julia set K(fo2\&0) is a simple arc from c2 to c4 .
Our discussion will always exclude such examples.
some closed subset of the filled Julia set K(f) , together with points outside
of K{f) which have potential G and external angle t satisfying inequalities
of the form
0 < G < 1, U < t < t'i .
(Here 0 < i < q .) We construct a thickened puzzle piece P0{ci) D Po{d) in
two steps, as follows. (Figure 12.) First choose a small disk Dt(a) about
the fixed point a . Second, choose r/ > 0 so small that every external ray
whose angle differs from tt or t't by at most rj intersects this disk. Now let
P0(ci) consist of the disk De(a) , together with the region bounded by:
(1) the segment U — rj < t < t't + rj of the equipotential G — 1 ,
(2) the external ray segments of angle ^ — r\ and tfi + rj which extend from
this equipotential G = 1 to their first intersection with De(a) , and
(3) an arc of the boundary of De(a) .
Evidently this thickened puzzle piece PO(CJ) contains the original Po(ci) .
We now construct thickened puzzle pieces of greater depth by the usual in-
ductive procedure: If PJ is a thickened puzzle piece of depth d , then each
component of / ^ ( P j j ) is a thickened puzzle piece of depth d + 1 .
The virtue of these thickened pieces is the following statement, which is
easily proved by induction: / / a puzzle piece p£* contains PJ*^ , then the
corresponding thickened piece P^ contains PJ +1 in its interior. In other
words, this construction replaces all of our annuli by non-degenerate annuli.
We will only make use of thickened pieces which are small enough to
satisfy the following additional restriction: If Pd(z) contains the critical
point, then the interior of Pd(z) must already contain this critical point. If
1.2 is satisfied, then this requirement is easily satisfied for any bounded values
of the depth d , and this will suffice for the applications (Lemmas 1.5 through
1.8). Note however that we cannot expect this condition to be satisfied for
unbounded values of d . In fact this would be impossible whenever the fixed
point a is an accumulation point for the critical orbit.
Proof of Lemma 1.5. Choose d > p so large that the critical an-
nulus Ad(0) is a child of Ad_p(0) , and let A o = Pd(0) be the thick-
ened critical puzzle piece of depth d. Then A p = /° P (A O ) is equal to
Pd-p(cp) = Pd-p{0) , which contains AO in its interior. The hypothesis guar-
antees that the successive points Cp, c 2p , c 3p , . . . all belong to A o . Since
p is minimal, the various puzzle pieces Pd_j(cj) with 0 < i < p cannot over-
lap, so any intersection point must belong to the boundary of these puzzle
pieces, and therefore cannot disconnect the small filled Julia set. Therefore
/ is simply renormalizable. •
Proof of Lemma 1.6. (suggested by M. Lyubich). Let Ao = Pi(0) .
Then it is easy to check that the successive images A, = / o i (A 0 ) are disjoint
Local connectivity of Julia sets 83
from the critical point for 0 < i < q , and that Aq contains Ao in its
interior. (Compare Figure 2.) We will prove inductively that cqi € Px(0) C
A o for every i. It certainly follows from this inductive hypothesis that
Cqi+i 6 P 0 (ci) n K(f) c Pi(ci) , and similarly that cqi+j e P0{CJ) H K(f) c
Pi(cj) for 0 < j < q. In particular, c gi+9 _ 1 must belong to Pi(cg_i) ,
hence c, i + , 6 /(Pi(c,_i)) = P0(0) . By the hypothesis of 1.6, the point
cqi+q is known to lie in one of the puzzle pieces Pj (ch) which lie around a .
Evidently it can only lie in P x (0) , as required. •
Proof. According to 1.6, the critical orbit must visit one of the puzzle
pieces Pi(-ci) , . . . , Pi(—c?_i) which surround the pre fixed point —a .
Suppose for example that cd € Pi(—Cj) . It is easy to check that the corre-
sponding annulus A0(c,i) — Ao(-Ci) has positive modulus. (Compare Figure
2.) Pulling this annulus back inductively along the critical orbit, it follows
that Aj(0) also has positive modulus. •
As another another application of thickened puzzle pieces, we can study
orbits which stay away from the critical point.
(except possibly the first) can be contained in the critical value puzzle piece
P/!jO}l , it follows that the Poincare diameter of PN+h(z0) is at most XhS ,
which tends to zero as h -> oo . D
In order to deal with the possibility that f°d{zo) = a , so that the puzzle
piece Pd{z0) is not uniquely defined, we will need the following.
Definition. For any point z in the Julia set let Pd(z) be the union of
the puzzle pieces of depth d containing z. (In most cases, Pd{z) is equal
to the unique depth d puzzle piece Pd{z) which contains z . However, if
fod(z) = a then P^(z) is a union of q distinct puzzle pieces.)
We can now state and prove the principal result of this section.
Proof. Let uj\, . . . , wn_i be the (not necessarily distinct) critical points
of / , and let G : C —>• K+ be the canonical potential function ( = Green's
function), which satisfies G(f(z)) = nG(z) and vanishes precisely on the
filled Julia set K . Thus G(w;) > 0 by hypothesis. The critical points of G
in C \ K are the points uii and also all of their preimages under iterates
of / . Hence the critical values of G (other than zero) are the numbers of
the form G{u)i)/nk with k > 0 .
The puzzle of / is constructed as follows. Choose a number 7 , not of
the form G(oji)/nk , so that 0 < 7 < Min{G(/(wj))} . Then the region
Xo = G - 1 ( 0 , 7] contains no critical values of / , and is bounded by smooth
curves. Similarly, each locus
Xd = rd(X0) = G-^O.T/n"]
2
Shishikura has shown that the Hausdorff dimension of this Cantor set can be arbitrarily
close to two.
3
Both Przytycki [Pr] and Makienko [Ma] have proved the sharper result that any rational
Julia set which is totally disconnected and contains no critical point must be isomorphic
to a one-sided shift.
J. Milnor
V
Figure 14. The "thin annulus" A*{Pd) C Ad C Pd .
A {fi) — rd n u
Thus the McMullen inequality takes the following sharper form. For each
fixed puzzle piece Pd ,
ST <P \ <? area(Pd) area(Pd)
*h*< l + ^mod^P,)) " l + 4»e '
to be summed over those puzzle pieces of depth d + 1 which are contained
in the given Pd . It now follows inductively that the sum of the areas of all
puzzle pieces of depth d satisfies
l
a r e a ( P 0 ) / ( l + 47re)d .
Since this tends to zero as d —> 00 , and since J c\JPd , it follows that J
has area zero.
90 J. Milnor
semi-critical or off-critical. First suppose that the tableau of the critical orbit
is not periodic. We continue to assume that the degree is n > 3 and that
exactly one of the n-l critical points has bounded orbit.
replaced by the following statement, which is true whether or not the critical
tableau is periodic. Consider an orbit z0 •-> zx t-> • • • .
L e m m a 2.3. Suppose that the points z\, z-i, ... are all disjoint
from some neighborhood PN(CQ) of the critical point CQ . Then
the annuli Ad(zo) have modulus uniformly bounded away from
zero, hence ]>^d
Proof. Each annulus Ad{zi) of depth d > 0 has modulus at least half
of the modulus of Ad-\{zi+\) . In fact, if i > 0 and d > N then these two
annuli are conformally isomorphic. Thus
where the right side is bounded away from zero since there are only finitely
many annuli of depth zero. •
Proof of 2.2. If the critical tableau is recurrent, then the proof pro-
ceeds exactly as is the Yoccoz argument: Every critical annulus either has
at least 2" descendents in the n-th generation for every n , or else has a
descendent with this property. Since all annuli are non-degenerate, it follows
that £} mod.4 d (co) = oo . On the other hand, if the critical tableau is non-
recurrent, then it follows from 2.3 that JZ modAd(co) = oo . In particular, it
follows that the collection of puzzle pieces {Pd(c0)} forms a fundamental sys-
tem of neighborhoods of the critical point c0 . The corresponding statements
for any iterated pre-image of co follow immediately.
Now consider a point z0 € K , with orbit zo >-+ Z\ >-*••• which never
meets the critical point c0 . If this orbit does not accumulate at CQ , then
the statement that Yldm°d Ad(zo) = oo follows from 2.3. On the other
hand, if this orbit does accumulate at c0 , then since ^ m o d A d ( c o ) — oo ,
an easy tableau argument shows that ^2d m o d Ad(zo) = oo also. Thus
(~]d Pd{z) = {z} in all cases.
Since each boundary dPd{z) is disjoint from the filled Julia set K , it
follows that K is totally disconnected, and hence that J = K . To prove
that this set has measure zero, we proceed as in the proof of Theorem 2.1.
Choose e > 0 so that the interval [7 — e, 7] contains no critical values
of the function G : C -> R+ . Then each puzzle piece Pd(z) contains
a unique component A*(Pd(z)) of the set G~1[(7 — f)/nd, 7/n d ] . These
annuli A*(Pd(z)) c Ad(z) are also non-degenerate, and the proof above
shows equally well that ^ d modj4*(P<i(z)) = 00 . Hence, just as in the
proof of 2.1, for each fixed puzzle piece Pd , the total area of the puzzle
pieces Pd+\ of depth d 4-1 which are contained in Pd satisfies
94 J- Milnor
so that this McMullen inequality takes the form l+47rmod^l*(Pd) < v{Pd) •
Then, substituting this formula inductively, we can write
area(Px) = •••
-i) area(P d) ,
PoD-DPd
where the left hand expression is to be summed over all puzzle pieces of
depth zero, the next over all pairs Po D Pi , and so on. (If PQ D • • • D Pd ,
note that P o , . . . , Pd-i are uniquely determined by Pd .) Let % be the
minimum value of the product fi(Po) • • • /J-(Pd-i) as P o , . . . , Pd~\ varies
over all sequences of nested puzzle pieces P o D Pj D • • • D P d _! . Then we
see from this last equality that
]Parea(Po) >
to be summed over all puzzle pieces of depth zero or d respectively. Thus,
if we can prove that rjd —t oo as d —> oo , then it will follow that
area(J) < ^ a r e a ( P d ) < ^ a r e a ( P 0 ) / % -> 0 ,
hence area(J) = 0 as required.
Clearly 1 < rji < r/2 < • • • • If these numbers tended to a finite limit
L < oo , then for each d we could find puzzle pieces Po(d) D P\{d) D • • • D
Pd-\{d) so that fi(P0(d)) • • •/j,(Pd-i{d)) < L. Hence we could choose a
puzzle piece P o which occurs infinity often as Po(d) , then choose Pi c P o
which occurs infinitely often as Pi(d) , and so on. In this way, we could find
a sequence
Po D Pi D P 2 D •••
with fi(P0) • --iiiPd-i) <L<oo for every d . Since l+47rmod (A* {Pi)) <
fi{Pi) , this would imply that
< L < oo ,
contradicting our statement that ^2 mod Ad{z) — oo for all z g K . This
completes the proof of 2.2. •
On the other hand, if the critical tableau is periodic, then we will prove
the following.
Local connectivity of Julia sets 95
Figure 16. Example for Theorem 2.4: Graph of the map f(x) =
x(2x — l)(5x - 4) on the unit interval. In this case the connected
interval [0, | ] is contained in the filled Julia set K . The orbit of
the critical point | escapes to — oo .
Figure 17. Julia set for this map, drawn to the same scale, showing
the puzzle pieces of depth zero and one. Each non-trivial component
of J is homeomorphic to a quadratic Julia set (the "basilica").
96 J. Milnor
Figure 18. Julia set for z \-y z3 + az2 + 1, with a = -1.10692 + .63601 i,
showing the puzzle pieces of depth zero and one. Each non-trivial component of
J is homeomorphic to the Julia set for the quadratic map 2 H z2 + i .
m m+p m+3
*
Case 2. If the orbit {zn} intersects every critical puzzle piece, then we
use a tableau argument as follows. Choose a depth TV so that the periodic
critical tableau has no semi-critical annuli at depths > N . By hypothesis,
there are infinitely many pairs (d, m) , with d > N , so that the d-th. row
of the tableau for ZQ is semi-critical in column m and off-critical in earlier
columns. (Compare Figure 19.) Using the tableau rules, we can then compute
the tableau in column m + i and depth d — i for 0 < i < d — N . In fact the
entries in column m + jp and depth d — jp are semi-critical, and the others
are off-critical. It now follows that the annulus Aa+m+i(zo) is conformally
isomorphic to an annulus of depth N . Hence its modulus is bounded away
from zero. It follows that £ ] t mod A((z0) — oo , which completes the proof
of Theorem 2.4. •
3. An Infinitely Renormalizable
Non Locally Connected Julia Set
This section describes an unpublished example of Douady and Hubbard. It
begins with an outline, with few proofs, of results from Douady and Hubbard
[DH1], [DH2], [DH3], [D3]. (See also [Ml], [D5], [Sch], [M3].)
Hyperbolic components in the Mandelbrot set
Let fc(z) = z2 + c. By definition, the Mandelbrot set M is the compact
set consisting of all parameter values c € C such that
the Julia set J(fc) is connected <=> 0 has bounded orbit .
Local connectivity of Julia sets 101
cardiojd
The following facts are surely true (compare [Ml], [Mc2], [D5], [M3]), al-
though I am not aware of any published proof.
The set of all fc 6 M which are simply renormalizable of period
p consists of a finite number of small copies of M (sometimes
with the root point deleted). Each of these small copies contains
a unique hyperbolic component of period p . Conversely, each
104 J. Milnor
Intuitively, the Julia set for H*c' is obtained from the Julia set of a map
fc belonging to the hyperbolic component H by replacing each bounded
component of C x J(fc) by a copy of J(fc') and defining the dynamics
appropriately so that only the copy which is pasted in place of the critical
component is mapped non-homeomorphically. The result is described as fc
tuned by f^ .
In terms of external angles, let a < b be the two external angles for the
root point of H . These angles have periodic binary expansions of the form
.ai • • • op Oj • • • a p • • • and .b\ • • • bp b\ • • • bp • • • , both with period exactly equal
to p . Assertion: If the point d € dM is the landing point of a ray with
angle i € R / Z , then the image H * d is the landing point of a ray whose
binary expansion can be obtained by inserting the p-tuple a^^- • -ap in place
of each zero in the binary expansion of t and the p-tuple 6i • • • bp in place
of each one. (See [D3].)
The example
Consider a sequence of integers 1 < p t < p 2 < • • • •
LP(l) = /
In the special case of the Euclidean metric ds = \dz\, with p(z) identically
equal to 1, the subscript p will be omitted.
which says (after taking a square root) that the inner product of any two
vectors in the Euclidean vector space of square integrable real functions on
an interval is less than or equal to the product of their norms. We may as
well consider the more general case of a rectangle R = (0, Ax) x (0, Ay) .
a
Taking f(x) = 1 and g(x) = p(x, y) for some fixed y , we obtain
Ax \ 2 /-Ax
In other words, the average over all y in the interval (0, Ay) of Lp(jy)2
is less than or equal to ^ areap(^) . Further details of the proof are
straightforward. •
Now let us form a cylinder C of circumference Ax and height Ay by
gluing the left and right edges of our rectangle together. More precisely,
let C by the quotient space which is obtained from the infinitely wide strip
0 < y < Ay in the 2-plane by identifying each point z = x + iy with its
translate z + Ax . Define the modulus mod(C) of such a cylinder to be the
ratio Ay/Ax of height to circumference. By the winding number of a closed
curve 7 in C we mean the integer
W = -r— <j> dx .
Ax J1
On the other hand in the Euclidean case, for any closed curve 7 of winding
number one we have
= J> \dz\ > <f> dx - Ax ,
J-, Jy
hence L{y)2 > (Ax) 2 = area(C)/mod(C) . D
Definitions. A Riemann surface A is said to be an annulus if it is
conformally isomorphic to some cylinder. An embedded annulus A C C
is said to be essentially embedded if it contains a curve which has winding
number one around C .
Here is an important consequence of Theorem A.2.
C o r o l l a r y A . 3 ( A n A r e a - M o d u l u s I n e q u a l i t y ) . Let A c C
be an essentially embedded annulus in the cylinder C , and suppose
that A is conformally isomorphic to a cylinder C . Then
In particular:
mod(C') < mod(C) . (7)
^ l ^ § (8)
Proof. According to A.2, there exists a curve with winding number one
about A whose length satisfies L2 < area(/l)/mod(j4) . Since K is en-
closed within this curve, it follows easily that diam(K) < L/2 , and the
inequality (8) follows. Conversely, if K is a single point then using (7) we
see easily that mod(yl) = oo . D
Proof. It follows inductively from the Grotzsch inequality that the mod-
ulus mod(K° \ Kn) tends to infinity as n -> oo . Hence by (7) and A.7
the intersection of the Kn is a point. D
Corollary A.8 (McMullen Inequality). Again suppose that
K C U C C , and that A = U \ K is an annulus. Then
area(iC) < area(t/)/e 4jrmod ^ ) . (9)
Proof. (Compare [BH, II].) We will first prove the weaker inequality
Concluding P r o b l e m s :
P r o b l e m A - l . In the situation of Theorem A.I, show that more than
half of the horizontal curves yy have length Lp(jy) < y/2aieap(P) . (Here
"more than half" is to be interpreted in the sense of Lebesgue measure.)
P r o b l e m A-2. Show that the converse to A.7 is false: A nest K\ D
K2 D K3 D • • • of compact subsets of C may intersect in a point even if
Y^° mod(K° \ Kn+\) is finite. (For example, do this by showing that a
closed disk D of radius 1/2 can be embedded in the open unit disk D so
that the complementary annulus A = D \ D has modulus arbitrarily close
to zero.)
Problem A-3 (Sharper Bers Inequality). If the flat torus T = C/A
contains several disjoint annuli At, all with the same "winding number"
w & A , show that
^mod(Aj) < area(T)/H2 .
If two essentially embedded annuli are disjoint, show that they necessarily
have the same winding number.
References
[A] L. Ahlfors, "Conformal Invariants", McGraw-Hill 1973.
[Be] A. Beardon, "Iteration of Rational Functions", Grad. Texts Math. 132,
Springer 1991.
[Bl] P. Blanchard, Disconnected Julia sets, pp. 181-201 of "Chaotic Dynamics
and Fractals", ed. Barnsley and Demko, Academic Press 1986.
[BDK] P. Blanchard, R. Devaney and L. Keen, The dynamics of complex
polynomials and automorphisms of the shift, Inv. Math 104 (1991) 545-
580.
[Brl] B. Branner, The parameter space for complex cubic polynomials, pp.
169-179 of "Chaotic Dynamics and Fractals", ed. Barnsley and Demko,
Academic Press 1986.
[Br2] B. Branner, The Mandelbrot set, pp. 75-105 of "Chaos and Fractals",
edit. Devaney and Keen, Proc. Symp. Applied Math. 39, Amer. Math.
Soc. 1989.
[BH1] B. Branner and J. H. Hubbard, The iteration of cubic polynomials,
Part I: the global topology of parameter space, Acta Math. 160 (1988),
143-206;
114 J. Milnor
Abstract
We prove that the Mandelbrot set is locally connected at Yoccoz
parameters, following an idea of Shishikura.
117
118 P. Roesch
fCvAf — > C \ D
\
is a conformal representation—where 4>c is the Bottcher coordinate on Uc 9 c.
Thus, the conformal homeomorphisms <f>c and <j>M have the same image,
C \ D , and they map c—with different meanings—to the same point. In
particular, every point w e C x I ) has the form w — <f>c(c) for c = ^(ui).
As in the dynamical plane, the external ray of angle t S R/Z in the
parameter plane is the set
One easily checks that the ray 11(0) is exactly the half-line ]l/4, +oo[. For
c £ C \ 7£(0), the ray Rc(0) lands at a repelling fixed point of fc usually
denoted by /3C. The second fixed point ac of fc is attracting if and only if the
parameter c lies inside the open region % C M bounded by the central car-
dioid. The multiplier f'c(ac) defines a conformal representation from H to the
unit disc D which extends to a homeomorphism between the boundary curves.
We denote by 7: R/Z ~ dB —> dH the inverse of the latter homeomorphism.
The following two theorems (see [DHL M2]) describe the regions of C \ %
over which the external rays landing at ac have fixed angles.
Theorem 1.2 [DH1].
a) Every external ray TZ(t) of rational angle t converges to some parameter
in M.
b) A parameter c 6 M is the landing point of some external ray H(p/q)
with (p, q) = 1 and q even if and only if the critical point of fc is eventually
periodic. Moreover, for such a parameter c, the external ray H(r/s) converges
to c if and only if, in the dynamical plane of fc, the external ray Rc(r/s) lands
at the critical value c.
c) For any rational p/q with (p, q) — 1 and q > 1, the parameter f(p/q) € dH
is the landing point of exactly two external rays TZ(t") and TZ(t+), where the
angles tx = i* {p/q) belong to the same orbit under multiplication by two and
satisfy 0 < V < t*~ < 1.
120 P- Roesch
The proper arc TZ{t~)un{t+)U^{p/q) divides the plane into two connected
components. We denote by W p /, the component which does not contain the
domain H.
Theorem 1.3 [GM]. For any parameter c in W p /,, there are exactly q ex-
ternal rays that land at the fixed point ac, namely the rays RC(2H+), where
t+ = t+(p/q) and i = 0 , . . . ,q - 1. Moreover, if we cut out the plane along
these rays, the critical value c lies in the region bounded by Rc{t~) and Rc{t+).
• /"• n° induces an unramified covering map from Acn^ onto AcnQ; and
Remark 2.2. For any parameter c in W p /,, Theorem 1.1 shows that /§ con-
sists of converging rays and equipotentials. The graph /f has the same prop-
erty provided the critical value c does not lie on /§. By induction, if c does
not belong to I^_1 U • • • U /£ then /£ U • • • U 1$ is a union of converging rays
and closed equipotentials. We will now characterize the set of parameters c
for which this occurs.
Lemma 2.3. A parameter c € W p /, belongs to Xn if and only if the critical
value c of fc lies on /£. As a consequence, if c belongs to a para-puzzle piece Vn
of depth n, then c is outside of 1% U • • • U /Q.
122 P. Rcesch
Figure 1: Shape of dynamical and parameter pieces of depth < 3 for W1/3.
Proof. This is clear for n — 0. Now recall that if c does not belong to Kc—or
equivalently if c does not belong to M—the Bottcher coordinate <f>c is denned
on a disc Uc containing the critical value. For parameters c in Wp/g \ M, the
equality $M(C) = <fic{c) implies that the argument of <f>c(c) belongs to [t~, t+]
(Theorem 1.3). Hence, by definition of graphs and para-graphs, a parameter
c £ Wp/q is in Xn \ M if and only if the critical value c is in /£ \ Kc. Then
Theoreml.2-b) completes the proof for c G M. Indeed, the rays of Xn \ I o
land at parameters c such that /"(c) = ac, and each of these parameters c
is the landing point of q external rays corresponding to the q dynamical rays
landing at the critical value c (c is a preimage of ac). The second part of the
statement follows readily. •
parameter plane
model plane
dynamical plane of fc
holomorphic motion
Remarks 2.4.
a) Let n be the minimal index such that In contains the critical value. Then
Holomorphic motions and puzzles 123
the graphs / £ , . . . , / £ do not contain the critical point, and therefore consist
of rays and equipotentials. This holds in particular when the parameter c
belongs to Vn-\-
b) All para-puzzle pieces are simply-connected since each graph Xn is made
connected by the equipotential it involves.
c) The unique para-puzzle piece VQ of depth 0 is bounded by lZ(t+), ~R-{t~)
and £(1). In the dynamical plane of fc for c € Vo, the curves Rc(t+), Rc(t~)
and Ec(l) are exactly the rays and equipotential that bound the piece Poc
containing the critical value (Theorem 1.3). Thus, using the canonical pa-
rameterizations of rays and equipotentials, we get a natural homeomorphism
from dV0 to dP§ for any CELVQ.
/CO ^
I*
JC
n n
1^
is commutative.
124 P. Roesch
(<=,*)
is a holomorphic motion of <j>c^(Vn) (note that this set contains the equipo-
tential of /^_j). Moreover, for c 6 Vn, the critical point of fc remains outside
of /^ + 1 (Lemma 2.3), so that fc admits local inverses on I^+l. Therefore,
hn extends uniquely over Vn x (/^°+1 \ K^) to a holomorphic motion—
still denoted by hn—satisfying fc o hcn = hcn o fCo. One easily checks that
Kco) = /£ + 1 \ Kc. The final extension
U Vn X
is given by the A-Lemma of Mane-Sad-Sullivan (see [D]) which shows that any
holomorphic motion of a given subset in C extends to a holomorphic motion
of the closure. Since the extended map hcn is continuous, hcn{I^+x) = /£ + 1 .
The others desired properties are satisfied by construction. •
pco
parameter plane
dynamical plane of CQ
H:
n>0 n>0
The step k = 0 follows from remark 2.4-c) and we now assume that ty(k) is
satisfied. _
We first show that (j>^o$M induces a homeomorphism from ('PfcnXfc+i)\M
onto (P^nl^+1) N J o . I n fact > fca ° ^ M : c x M ~+ c x J«> maps the point
whose Douady-Hubbard coordinate is re2"1 to the point whose Bottcher co-
ordinate is the same. Moreover, by induction, the homeomorphism H takes
dVk onto dff. Therefore, the image of ( ^ n l k + 1 ) \ M under <j>^ o <E>M is
exactly (PJ n I?+l) \ J^.
Note that on (Vk n l f c + i ) \ M, the map H satisfies
Corollary 2.7. The para-puzzle piece Vk+i containing Co is the set of pa-
rameters c for which the two puzzle pieces F^ + ] and Dck+l coincide. Thus c
belongs to Vk \ Vk+v if and only if the critical value c lies in Dck \ Dck+l.
that Co lies in some wake Wp/q with (p, q) — 1 and q > 1; moreover, Co is
not a Misiurewicz parameter. Thus c0 belongs to a complete sequence of
pieces Vn, n > 0, of the para-puzzle constructed in Section 2. As in the
dynamical planes, we consider the sequence of (possibly degenerate) annuli
An = Vn\ Vn+l. We also denote by Acn° the annulus P™ \ P*+x which
surrounds the critical value of / ^ .
The key ingredient for constructing a quasiconformal homeomorphism
An -> A% is the following theorem of Z. Slodkowski [S, D]:
Proposition 3.2. There exists a constant K > 1 such that, for every integer
n 6 {nt, i > 0},
Proof. Let n 6 {n;, i > 0} and dn be the degree of the covering map
yn~n0. £co _+ J4«_ To g e t t n e required inequality, it suffices to construct a
quasiconformal homeomorphism Hn: -4 n ~* A^ whose dilatation is bounded
independent of n.
For every c g Vn and m € {no, n}, let A^, denote the annulus D^ \ D^+x •
Then the map /"~ n ° induces an unramified covering map of degree dn from
An to Ano. Indeed, Lemma 2.5 and the definition of D^, D^+l show that the
128 P. Roesch
diagram
is commutative, so / " "° maps Acn onto A£o. Lemma 2.3 ensures that no crit-
ical point of /"~ n ° can enter Acn while c remains in Vn, so the map /"~ n ° | ^
has no ramification points and its degree is dn.
Now Slodkowski's Theorem gives a holomorphic motion
is a holomorphic motion.
We now recall that, according to Corollary 2.7 and Lemma 2.6, a parame-
ter c is in An U dVn+i if and only if the critical value c belongs to Acn U dD^+1,
or equivalently if and only if (ft^)~1(c) lies in ^ U ^ P ^ j . Let /fn be the map
(in [D]) yields an explicit approximation of class C°° for the extended holo-
morphic motion.
Consider the Beltrami coefficient fi = dHn/dHn. Differentiating the rela-
tion hcn o Hn(c) = c, we get the identity
dK{Hn{c))
The Ahlfors-Bers Theorem then yields a A"n-quasiconformal homeomorphism
<p: An —> <f>{An) satisfying d<f> — ndcj>. By a straightforward calculation of
d(Hn o 0~'), the map 4>n = Hn o <f>~1 is holomorphic. One can easily see that
Hn is a proper map, so $„ is a holomorphic ramified covering map from (j>{An)
to An°0. By Lemma 2.8 and the Riemann-Hurwitz formula, $„ has no ramifi-
cation points, so its degree is given by the degree of H on the inner boundary
component of An. Using the fact that Hn induces a homeomorphism from
dVn+i to dP^v we conclude that $„ is a conformal homeomorphism. The
result follows. •
In fact the above proof gives the following more precise result:
Corollary 3.3. For each n € {ni, i > 0}, there exists a number Kn > 1
such that
-T7- mod A^ < mod An <
Proof. Observe that if a ray Tl(t) or Rc(t) enters some (para-) puzzle piece of
depth n then all its points of potential less than 2~ n lie in that piece. Now
Lemma 2.6 shows that lZ{t) enters Vn(c) if and only if Rc{t) enters the piece
P£ containing the critical value of fc. Since f]Vn(c) = f]P£ = {c}, the result
follows. •
References
[A] AHLFORS L. — Lectures on Quasiconformal Mappings, Wadsworth &
Brook/Cole, Advanced Books & Software, Monterey 1987.
Pascale ROESCH
Universite des Sciences et Technologies de Lille
UFR de Mathematiques
59655 Villeneuve d'Ascq CEDEX, FRANCE
email:roesch@agat. univ-lillel.fr
Local properties of the Mandelbrot
set at parabolic points
Tan Lei
Abstract
We formulate the technique of parabolic implosion into an easy-to-
use result: Orbit correspondence, and apply it to show that for CQ a
primitive parabolic point, the Mandelbrot set M outside the wake of
Co is locally connected at CQ. This, combined with known results inside
the wake, shows that M is locally connected at CQ. The appendices
contain sketches of relative results and their proofs.
1 Introduction
Denote by Qc the map z 1-4 z2 + c. The Mandelbrot set M is defined to be
the set of c such that limn..>oo Q"(0) /> 00.
We say that CQ is a primitive (resp. non-primitive) parabolic point if QCo
has a periodic point of multiplier 1 (resp. e2m6 with S e Q \ Z ) .
For precise definition of the following notations, see §3.2. Denote by tpM :
C \ D ->• C \ M the conformal isomorphism fixing 00 and tangent to the
identity there. If two M-rays RM{9±) land at the same point c0 we denote
by wake{6±) the component of C s RM(0+) U RM{9~) U {CO} which does not
contain 0. Denote by R^ (9) the external ray of QCQ of angle 9.
133
134 Tan Lei
e) (no other rays involved) For any other ray RM(O outside of the wake, the
impression of its corresponding prime end does not contain c0 (in particular
the ray does not land at CQ) and M N ( w o t e ( ^ ) U {co}) is connected.
The last statement says that M has no ghost umbilical cords at c0, in
the terminology of D. S0rensen. We will formulate techniques of parabolic
implosion into a parabolic orbit correspondence result and then apply it to
construct a sequence of puzzle pieces Pn in C x wake{9±), with c0 on the
boundary, such that tpM o Tk o ifiM(dPn) = dPn-\ and diam(P n ) >c 1/n2.
Together with known results inside the wake, see [Hu, Mi, S0] and Ap-
pendix D, we can conclude that M is locally connected at every primitive
parabolic points.
A similar statement for non-primitive parabolic points is included in [DH2],
[Mi] and [S0]. In Appendix A and D we give a short account of these results,
together with interesting consequences.
Our treatment follows very closely the original approach of Douady and
Hubbard ([DH2]), who invented the theory of parabolic implosion while prov-
ing landing properties of M-rays.
J. Hubbard in [Hu, Theorem 14.6] (see also Appendix E in the present
paper) sketched a proof of the local connectivity of M at a primitive parabolic
point, using the theory of Mandelbrot-like families together with the fact that
M is locally connected at the cusp c = 1/4. This proof is less elementary than
the one in the present paper, but has an advantage that it turns the local
connectivity property at a cusp into a semi-direct consequence of the existence
of sub-Mandelbrot-like families (semi-direct means that extra combinatorial
information is needed), and thus can be adopted to more general settings.
We show in Appendix B that the similar statement for repelling orbit
correspondence can be applied to show that M is locally connected at Misi-
urewicz points (i.e. c values such that Qc(0) is strictly preperiodic).
For a more combinatorial approach of landing properties and local con-
nectivity of M at various points, see [Scl] and [Sc2].
Acknowledgements. Discussions with A. Douady and M. Shishikura have
been very fruitful. J. Milnor has helped to largely improve both the global
structure and local details.
and moreover satisfies the convexity condition that whenever both w and
w + n belong to $(U) the intermediate points w + 1, w + 2 , ... , w+ (n— 1)
must also belong belong to $(£/). Note that if 4> exists / is also univalent in
U.
The set up. Fix r > 0 small. Let A r C C be a bounded connected open set
with 0 on the boundary, U an open neighbourhood of 0 and fs(z) be a family
of holomorphic maps on U satisfying:
1. (s, z) i-> fs(z) is well defined, continuous on A r x U and holomorphic in
z, with/ s (z) = \{s)z + O(z2);
2. (s, z) i-+ fs(z) is holomorphic on A r x U;
3. /0"(0) ^ 0 ; _
4. Set o(s) - (X(s) - l)/(27ri). Then a is continuous on A r with cr(O) = 0,
and a maps AT univalently onto {z | \z\ < r, | argz| < TT/4}.
R e m a r k . In practice fs{z) and a(s) are often defined in a larger sector
neighbourhood of s = 0 than A r . But we are only interested in the sub-
sector of parameters which is mapped by cr(s) bijectively onto {2 | \z\ <
r, I argz| < TT/4}. Here the width TT/4 is not really relevant, it can be any
angle in the interval (O,TT).
(2)
Taking Do to be fi-^Ufi+.o, both the closure fis and the complement C\Qs
depend continuously on s E A r , using the Hausdorff metric for the space
of compact subsets of the Riemann sphere, and the correspondence (s, z) >->•
<t>±s(z) is continuous in both variables for either choice of sign, wherever it
is defined. Moreover $±}S(z) is holomorphic in s for s € A r .
Proof. Let a{s) £ C be defined so that X(s) = e 2 " a < s ' and |3?(a(s))| < 1/2.
This theorem was proved in [SI], Proposition 3.2.2 and Appendix, with -4^
in place of -4-r, and with | arg(a(s))| < 7r/4 + e in place of s E A r . For s E A r
136 Tan Lei
Before giving the proof we give a quick application showing that the Julia
sets move discontinuously:
lim n ?—- = Co .
Proof. Since z — Q^+^iz) = 0 has only two solutions g±{v), we have (by
residue theorem)
I _ 2iri 2TTZ
/
= +
,z-,oMQkco+v2(z)-z z
(Qkco+v>)'(g+(v)) - l (Qk0+v>)'(9-(v)) - 1
1 1
a+{v) a4v) '
But the left hand side is holomorphic on v and has finite value at v = 0. So
lim — — H — is finite. (7)
v->o a+(v) <y-\v)
140 Tan Lei
Corollary 3.3 The family fs satisfies the hypothesis in the set up of §2 with
(s,a(s)) parametrised by (v2,a+(v)).
Local properties of the Mandelbrot set at parabolic points 141
Proof. The conditions 1 and 2 about regularities of fs(z) are easily verified,
with X(s) = f's(0) = (Qkco+J(g(s)) = (Q^+s)'(g+(v)). So o{s) := ^ 1 =
<J+(v). For condition 3, we have /Q'(0) = (Q£,)"(zo) / 0 (Lemma 3.1). Con-
dition 4 follows from Lemma 3.2. •
3.2 The angles 9±, r]^ and the functions x(s,t), y(s,t)
Here we need to understand more about the dynamics of Qco and of Qc for
nearby c. We will at first recall the classic theory of Riemann representations,
external rays, state two results about the dynamics of Qc<), and then use
perturbations to construct x(s,t) and y(s,t).
We consider a Model plane as a complex plane together with the action
of q(= Qo) : z i-> z 2. This plane is used to give (external) coordinates in
the dynamical plane of Qc as well as in the parameter plane in the following
sense:
For c 6 C define <pc from a subset of the model plane onto a subset of
the dynamical plane of Qc such that <pc conjugates q to Qc, fixes oo and is
tangent to the identity there (this is often called the Bottcher coordinates).
It is known that the maximal domain of definition of </?c is C x Xc, with Xc
a bounded star-like compact set containing the closed unit disc. Moreover, if
c e M, the set Xc coincides with the closed unit disc, and if c ^ M, there is
zc £ C \ Xc such that <fc(zc) — c.
Define ifM from {|z| > 1} (a subset of the model plane) onto C \ M (a
subset of the parameter plane) by <PM(ZC) = c. Due to a result of Douady-
Hubbard, and independently Sibony, we know that y>M is a well defined con-
formal isomorphism, fixing oo and tangent to the identity there.
The rays RM{0), Rc(9) are defined to be ^ M ({e' i+2 ' rifl | 0 < /x}) and
i
Pc({etl+2n9 I 0 < //}) respectively. Such a ray is said to land at a point z if
the limit, as ji \ 0, exists and is equal to z. We say also that z has 9 as
external angle.
The great importance of these rays are:
1. they are preserved by the dynamics;
2. when two or more rays land at the same point, they provide a clean cut
of the plane, and, together with equipotentials, provide puzzle pieces which
are candidates of local connected neighbourhoods;
3. they often depend analytically on the parameter.
Concerning our polynomial Qco, we have the following known result:
point on the boundary of the Fatou component U containing c0, has two ex-
ternal angles adjacent to U. These angles are denoted by 9± (with 9± € (0,1)
and 9~ < 8+). The period of them by angle doubling is equal to per(zo).
For a proof, see [DH2], pages 51-52. From this one derives easily
o] D {Z',Z0} .
As Q^o reverses the orientation, there is a point Z\ E [z',z0] fixed by Q^, i.e.
z\ is a periodic point. It must be repelling as it is not in the parabolic orbit.
It must have exactly two external rays, as it is in the Hubbard tree, and is not
a branching or extremal point. By expansion again the local inverse branch
g of Q*o mapping ZQ to z0 maps [zx, z0] into itself. Denote by zn the orbit of
Z\ under g. They satisfy the desired property of the Lemma. See Figure 3. •
r o ([| ,1])
2-KiO-
Todf, ID
c
To([il )
A/, k A
2
mi ID
ID
2xi6 + - 2 r r i
r0([o .Jl)
Then 2fti9~ and 2TTI0+ - 2iri are fixed points of rk. Set
and define r n ([0,1/2)) (resp. r n ((l/2,l])) to be the lift by r~fc of the arc
r n _i([0,1/2)) (resp. EV-i((l/2,1])) with the above initial condition. Note
that
r n (-) = rvi(o), rB(-) = rB_1(i),
lim rn(t) = 2iriri+i+n - 2ni and lim Tn(t) = 27rw7~1+n .
Moreover
U r "([°' «^ =
^ + 27ri9+ - 27ri | 0 < /x < A}
n>0
r
U
n>0
»([f> !]) =
Note also that for q : z H4 Z2 in the model plane we have qk(eTn^) =
()
c0 + s
Qk
Since Q* is univalent where the Fatou coordinates are defined and maps
both j/i(l/6) and 2/o(0) to yo{l/6), we must have yi(l/6) = yo{O) = <p o
exp(F0(0)) = <poexp(ri(l/6)). So the diagram commutes for t = 1/6, j = 0.
The rest follows easily by lifting and by induction.
Let cn(t) = Co + sn(t). Recall that x(s) — Q^ +S (c o + s). We want to show
now cn(t) = Vc,n(t){eTkl+n(t)) (cf. Figure 5).
One can choose c= co + s close enough to CQ SO that fi5 (given by Theorem
2.1) is disjoint from c, Qc{c), • • • , <3c'~'(c)- This last set is the set of critical
values of Qf. As a consequence, any arc 7 in Q.s from Q\l(x{s)) to x(s)
would lift by Q~kl to an arc starting from x(s) and ending at a point w(c)
which is independent of the choice of 7. We claim now w(c) = c: On one
hand, w(c0) = c0, which is an easy consequence of the pulling back of the
Fatou coordinates $_:o- On the other hand, w(c) is continuous on c, and is
an element of Q~hl(Qf(c)). As a consequence, w(c) = c provided that c is
close enough to c0.
We can show that w(cn(t)) = </3cn(t)(er*'+"'t') using the lifting argument as
above. Therefore cn(t) = y C n (o( e r t ' + n ( t ) )-
Hence cn{t) = ¥> M (e r " +n(0 ) for t e [0,1]. •
3.4 Conclusions
Lemma 3.7 (= Theorem 1.1.a)) The M-ray of angle 0* lands at Co and is
tangent to CQ + w at CQ, for each direction CQ + w along which I(c)/\I(c)\
converges to —1,
is a germ of RM{0+). By Lemma 3.2 and Corollary 3.3, the arc a({hw, h >
0 small}) is tangent to R + at 0. On the other hand, since i/er(s n (t)) -> 1 uni-
formly (by (4) of Proposition 2.2), the arc CT(T_CO7+) = a(U n > 0 «n([0,1/6])
is also tangent to K+ at 0 (where T l ^ denotes the translation z *-+ z — Co).
Therefore CT(T_C07+) and CT({/MU, h > 0 small}) are tangent. So RM{8+)
lands at c0 and is tangent to c0 + u; at Co.
Similarly RM{0~) lands at c0 and is tangent to CQ + w. •
Proof. Relying on the fact that <fM is a conformal isomorphism we know that
there is only one M-ray of angle 9+. Combining with Lemma 3.7 we conclude
that there is a unique w such that J(c)/|/(c)| converges to —1 along c0 + w.
It follows that I(c) is univalent.
If o±{v) were holomorphic on c, the function I(c) = o+{v)o-{v) could not
be univalent (since cr±(0) = 0). Therefore none of er±(ti) is holomorphic on c.
It follows that none of g±(v) can be holomorphic on c.
Since I(c) is univalent, I(CQ + v2) as a function of v has a double zero at
0. It follows that each cr±(v) has a simple zero at 0, i.e. o±(0) ^ 0. It follows
easily that A'±(0) / 0, as \±(v) = 1 + 2ma±(v). Finally
A'±(0) = f (
v=0
->fc\/
)'(*) — (co + u2) + ^(
(ceo) u=0
± (0)
so ^ ( 0 ) ± 0.
Corollary 3.9 There exist constants C, C" > 0 independent of n,t such that
C'/n2 < \cn(t) — co| < C/n 2 , /or oH t £ [0,1] and alln>no.
Co
RM{0+)
= n + x{sn) - y(sn) + ( )
with x(sn) -y{sn) -> f (0) - y(0) as n -> oo. So the hypothesis of Shishikura's
theorem is satisfied with kn — n. Therefore /"^ \Q_ O converges uniformly to a
limit function g. Clearly g(x) = y, g is holomorphic and g o fQ = fQ o g. •
A Non-primitive case
Assume now that Q^ is a quadratic polynomial with a ^-periodic point of
multiplier e2mp/q with q > 1. In this case a similar theory of parabolic implo-
sion can be applied to show:
The inequalities in (1) and (8) can be used to prove a result of the
degree of tangency. See Appendix C.
Local properties of the Mandelbrot set at parabolic points 149
B Misiurewicz case
A parallel theory for repelling periodic points can be sketched as follows:
Proof. Set x(s) = $s(x(s)), y(s) = <$>s(y(s)). They are holomorphic functions
with x(0) = 0, i(s) =£ 0 and y(0) ^ 0. Given n, we seek for solution of
X(s)nx(s) - y(s) .
With the help of power series expansions one can carry out a similar proof as
the one of Proposition 2.2. •
One can find extensive applications of Proposition B.2 in [DH3] and [Me].
We present here an application to the Mandelbrot set (Parts 1) and 2) are
due to Douady and Hubbard, Parts 3) and 4) are due to Tan Lei):
Theorem B.3 Let c0 be a Misiurewicz point, more precisely there are k > 0,
/ > 0 minimal such that Q^l(0) = <5^(0) and I > 0. Then
1) The angles of M-rays landing at CQ coincide with the angles of Qco-rays
landing at C,Q
C degree
The following illustrates a quick application of the inequalities in Theorems
1.1, A.I, although the statement is not in its sharpest form.
150 Tan Lei
Proof. For the existence of such hyperbolic components see Corollary D.4
below.
Here we only prove the part about degree of tangency, which is due to Tan
Lei.
Assume at first CQ is non-primitive. We need an inequality between hyper-
bolic metric and Euclidean metric: Let U be a simply connected domain in
C. Then for x, y £ U, we have
\c+ - CrT+1| < B • d(c+, Wo U Wx), |c- - c-+1\ < B • d(c-,W0 U Wx) ,
(10)
where B is a constant.
To prove this estimate, we need the relationship between c* in (8) and
the help of hyperbolic metric. We will only work on the + case. The other
one is similar. Take a simply connected domain V in the model plane so
that T~kq{V) has a component V contained in V and that the two sets U =
<PM{V), and U' = <PM{V) both contain c+ for n> N. Therefore, for Vn the
component of T-kqn(V) with e2nie+ on the boundary, and Un = ^ M ( K I ) C U,
So
k>n k>n
k>n k>n
where B', B" are constants, the first and the last inequalities is due to (8) ,
the second one is trivial, the third one is due to (10) and the fourth one is
due to the assumption (11) . Therefore
B" ~ k"
k>n k>n
lira /3[c) = z0 .
cewake{cc),c—>co
Proof.
a) can be found in [Mi], Theorem 3.1. It is proved by an elementary
argument. A sketch is included in Theorem D.8 below.
b) is due to a parabolic perturbation argument (in the non-imploded di-
rection). See [Mi], section 4.
c) We will follow essentially the route of D. S0rensen ([S0]).
At first we apply a) and b) to every parabolic point on the boundary of
W(c0). Combining with the tuning algorithm (cf. for example [Hal, §7] and
[S0]), we obtain the following: for any parabolic c' € dW(ca) x {c0} and any
c e wake(c'), the common landing point /3c>(c) of Rc(9±(c')) has a constant
and non-trivial combinatorial rotation number p{d). Moreover, if we choose
Local properties of the Mandelbrot set at parabolic points 153
sub-wake
RM(0+)
For c = CQ, the points c'n,d^ can be chosen such that 0^(c'n) /• 6+ and
6-(cj[) \ 0~~, and (/„ the union of two simply connected regions bounded by
the short arc in dW(cQ) connecting c'n and cj( and the four M-rays RM(9+(dn)),
RM(0'(d^)) a n d RM^)- The rest follows.
Similar argument can be carried out for c = d 6 dW(cQ) parabolic. •
Proof of Theorem D.I. Let W be a hyperbolic component with root c0.
Assume at first that c0 is primitive. Theorem D.3.d) applied to wake(c0)
shows that M n wake(c0) is locally connected at Co- Theorem 1.1.d shows
that M \ wake(co) is locally connected at CQ. AS a consequence M is locally
connected at CQ.
Another consequence of this is that W = W(CQ), for W^co) given by
Theorem D.3.b). In other words W(CQ) is the unique hyperbolic component
with root Co. We claim that this is also true whether Co is primitive or not.
Proof. We proceed by induction on the period of W. For period 1, there is
a unique hyperbolic component which is the central cardioid. Its root 1/4
is primitive and the assertion is true. Assume it is true for all hyperbolic
components of period up to k. Assume W is of period k + 1. We want
to show W = Vl^Co). If Co is primitive we are done. Assume Co is non-
primitive. Then by a perturbation argument as in [Mi], section 4 (see also
[Ha2]), one can show that there is a hyperbolic component W\ with root cj,
with Co G dWy \ {c\} and with period less than or equal to k. By induction
Wx = W(ci). HW T£ W(CQ), Theorem D.3.c) applied to wake(co) shows that
Wr\wake(co) — 0, and applied to wake(c\) shows that Wn(M ^wake(c0)) —
0. This is a contradiction. •
Coming back to the proof of Theorem D.I, we may already conclude that
M is locally connected at any c 6 dW which is non-parabolic, by applying
Theorem D.3.d) to W = W{co).
We may assume now that Co is non-primitive. By the above argument
c0 € dW(c\) for some different parabolic point c\. Theorem D.3.d) applied
to wake(co) shows that M D wake(co) is locally connected at c0; and then
applied to wake{c{) shows that M \ wake(co) is locally connected at Co- As
a consequence M is locally connected at Co.
For any d € dW parabolic, it is the root of a hyperbolic component W
by Theorem D.3.b). We can then repeat the same argument above with W
replaced by W, and conclude that M is locally connected at d. •
Let us restate a few important corollaries in the proof:
Corollary D.4 Every parabolic point is the root of a unique hyperbolic com-
ponent. Moreover CQ is on the boundary of precisely two (resp. one) hyperbolic
components if co is non-primitive (resp. primitive).
Corollary D.5 For CQ a parabolic point M \ {c0} has exactly two connected
components.
Local properties of the Mandelbrot set at parabolic points 155
Corollary D.6 For co a parabolic point and 0 any angle not in Ang(co). The
impression of the prime end corresponding to RM(6) does not contain CQ. In
particular Co is the landing point of precisely two M-rays, i.e. those with angle
in Ang(co).
Note that the same result as Corollary D.6 for Co a Misiurewicz point is
stated in Theorem B.3.
The following important result comes as a corollary: For any 0 e T, define
L(9) to be the landing point of RM{9) if it exists. For any c a Misiurewicz
point, define Ang(c) to be the set of angles such that the corresponding
dynamical ray for Qc lands at c.
Corollary D.7 (Douady-Hubbard-landing-theorem)
1. The map L is well defined on the set of rationals with even denominators
and maps it onto the set of Misiurewicz parameters. Moreover for any c
Misiurewicz L"'(c) = Ang(c), and Ang(c) consist of finitely many rationals
with even denominators.
2. The map L is well defined on the set of rationals with odd denominators
and maps it onto the set of parabolic parameters. Moreover for any c parabolic
Proof. The main ideas are the following: At first this is true for c € C \ M,
by a combinatorial study conducted by Milnor ([Mi], Lemmas 2.6, 2.9 and
2.11). An argument of P. Hai'ssinsky ([Hal], Proposition A.I) shows that the
landing points z+(c) of i? c (^ ± ) are holomorphic in c, on any connected open
set where they are both defined, and moreover on this connected open set
either z+(c) = 2-(c) or z+(c) ^ z-(c) for any c. We can then conclude easily
by combining these two arguments. For details, see [Mi], Theorem 3.1. •
The following function is as important as the function Pco(c) denned in
Theorem D.3.a).
Theorem D.9 Let W be a hyperbolic component with root CQ. Let a co (c) ^e
an attracting periodic point for c £ W depending holomorphically on c. Then
a^c) extends to a holomorphic map on the entire wake(co), is a periodic
point of Qc with constant period, repelling for c € waA;e(co) v W, and co-
incides, in each sub-wake of W, i.e. wake(c'), c' 6 dW parabolic, with the
holomorphic function Pc'(c) (which is the landing point of Rc(9±(c'))).
Proof. This is basically a corollary of Theorem D.3. By the property of the
multiplier function p(c) and the implicit function theorem, a^c) extends
holomorphically to a neighbourhood of W N {CO} in wake(co). Now fix d G
dW \ {c0} parabolic. Let W be the unique hyperbolic component with root
d (Corollary D.4). Theorem D.3.b) applied to W = W{d) says aCo(c) =
Pc'{c) on W. Since PC'{c) is defined and holomorphic on the entire sub-wake
wake(d), so is ^ ( c ) , and they coincide throughout the subwake.
We need now the help of a third holomorphic function £(c) which is denned
to be a co (ci) for some c t € wake(d) \ M (with d as above), and to be its
analytic continuation throughovit C \ (M L>RM(0)) following the holomorphic
motion of the Cantor Julia set. Clearly cvco(c) = £(c) on a open set. So aCo(c)
extends to C \ (M U RM(Q)) and coincides with £(c) there. In particular
ao(c) extends to wake(co) \ M.
Finally by (12) every point c G wake(co) is either outside of M, or in
one of the sub-wakes, or in W. Therefore the theorem. •
Generally speaking aCo(c), as a periodic point of Qc, can be analytically
continued along any path in C \ {finitely many parabolic points}. But we
may loose tract of the rays landing at a^c), it may become non-repelling, and
we do not know a priori whether these parabolic points present real branch
points or not. Theorem D.9 answers these questions at least in wa/ce(0 ± (c o )).
Remark. In case W is the central cardioid of M, the proof of D.3, D.9 can be
made more elementary and thus lead to a simpler proof of local connectivity
of M at c0 = 1/4. See [GM], Appendix C.
Our final corollary is the following Lavaurs continuity result ([DH2], Chap-
ter XVII: Une propriete de continuite), which is a stronger version of Theorem
D.3.b):
Local properties of the Mandelbrot set at parabolic points 157
Theorem D.10 (Lavaurs) For 9 a rational angle, denote byj$(c) the landing
point of Rc{9) if it exists. Then 70(c) is continuous o n C \ Uit>i RMQ11®)-
Here the rays RM{V) do not include their landing points. This in particular
says that 7e(c) is continuous at the landing points of these rays.
Proof. We will only treat the case 0 has odd denominator. The other case is
a much easier exercise.
On the open set
C N | J RM(2*9)
where the first equality is due to Q^ Ln C f]n Un = Mf, the second is trivial,
the set inclusion is because Ln C Vn, the next equality is by definition of Mn
and the fact that x is a homeomorphism, the following is due to the facts
that limn-xx, x( c n) = limn->oo x{c'n) = 1/4 ( ^ X i s continuous) and that M
is locally connected at 1/4 (see [GM] Appendix C for an elementary proof),
and the final inequality is by properties of x-
Local properties of the Mandelbrot set at parabolic points 159
References
[Br] B. Branner, The Mandelbrot set, Proc. Symp. Appl. Math., AMS 39
(1989), 75-105.
[GM] L. Goldberg & J. Milnor, Fixed points of polynomial maps, part II,
Ann. Sci. Ens. 26 (1993), 51-98.
[Hu] Hubbard, Local connectivity of Julia sets and bifurcation loci, in Topo-
logical Methods in Modern Mathematics, ed. by L. Goldberg and A.
Phillips, Publish or Perish, Inc. 1993.
[Mi] J. Milnor, Periodic Orbits, External Rays and the Mandelbrot set: An
expository account, Stony Brook IMS preprint #1999/3, Asterisque,
to appear.
[S2] M. Shishikura, The boundary of the Mandelbrot set has Hausdorff di-
mension two, S.M.F. Asterisque 222, 1994.
Abstract
We give an elementary proof of the landing Theorem for rational
external rays of the Mandelbrot set and related connectedness loci for
the one-parameter families of polynomials {Pc{z) = zd + c} c e C , d > 2.
The proof is quite general and apphes with marginal changes to nu-
merous other families with one free critical point.
1 The setting
Fix an integer d > 2 and consider the family Pc(z) = Pc — zd + c, c 6 C, of
rnonic polynomials of degree d with a degree (d - 1) critical point at the
origin. For each c let Jc denote the Julia set for Pc and define the domain of
attraction to infinity
161
162 Carsten Lunde Petersen and Gustav Ryd
Figure 1: The Mandelbrot set with a periodic (under angle doubling) and a
strictly preperiodic ray.
Figure 2: The Julia set for a quadratic polynomial with a period-2 ray landing
at a parabolic fixed point.
This Theorem is well-known, at least for d = 2, since [DH]. The original
proof is however rather involved. There are several other proofs, such as
[HS], which uses iteration on Teichmiiller spaces, [Mil], [Sch] and [K]. In [CG]
this theorem is claimed, but there seems to be a part missing. This paper
has evolved from [Pet] and [Ryd], which both were extending Theorem 1
to different settings using the same techniques, but formulated in terms of
Caratheodory Kernel convergence and hyperbolic distance on the one side
and harmonic functions on the other side. Here we have chosen to formulate
the proof in terms of normal families.
The idea behind our proof for landing of the parameter ray R = RMd(0)
with dl+q0 = dl9 mod 1 is the following simple one: Let Co E M* be an ac-
cumulation point of R. If Co E JCo then ' > 0 a n d P£9(co) — P^fa) a n ( l the
dynamical ray RCo(0) lands at CQ. Thus CQ is a Misiurewicz parameter, by
the snail-Lemma, [DH] (alternatively the repellingness of P1CQ{CQ) is proved
directly, also in [DH] by showing Pco is expanding in the orbifold metric). If
c0 E KCQ \ JCo, then / = 0 and Co is contained in a immediate basin of ex-
act period q for a parabolic point. Thus CQ is a parabolic parameter. The
Douady-Hubbard landing Theorem then easily follows.
Our proof differs from the original proof in [DH] mainly in our direct
approach to convergence and uses only elementary analytical means. Our
164 Caxsten Lunde Petersen and Gustav Ryd
Figure 3: The Julia set for a quadratic Misiurewicz polynomial with a prepe-
riodic ray landing at the critical value Co.
proof has easy generalisations (beyond the plenty of the original proof) to
many other settings.
for some minimal / > 0 and q > 1. Let c0 6 dMd be any limit point of RM4{9)
and let {c,j} gN C RMA^) ^ e a sequence converging to c0. Define
Notation 2.1 During the rest of this article we use without further notice
the symbols 9, I, q, rj, Co, Cj, R and Rj for j e N in the sense introduced in
the above paragraph.
(a) The ifin are univalent with i/>n(V) Q (Ka x Jco) and for all n, m > 0
such that either n< I or (n-m) £ ql : rpn{V) C\ ipm{V) = 0.
(b) All ipn are constants.
-N
The maps t/>n,Cj are univalent and satisfy for each fixed j :
such that, extracting a subsequence if necessary, the maps ipo>Cj converge lo-
cally uniformly to ip0. Define for each n € N a holomorphic map rpn : V —>• C
by tpn = P " o ip0. Then ipnc. ^ t ipn, because Pcn converge locally uniformly
to P ^ as j -> oo. By the Hurwitz Theorem the maps ipn are either univa-
lent or constant. Moreover ipn(V) C Km or equivalently gco = 0 on ipn(V),
because gC} —>• 0 uniformly on t/>o)Cj {V1) for each fixed L.
By locally uniform convergence the properties (2.2) and (2.3) also holds
for the ipn (with P^,), so Properties 1 and 2 follows for ipn. Similarly (2.4)
holds for ipn and ipm if not both ipn and ipm are constants. Moreover if
,/co n tpn(V) ^ 0, then tpn is constant, by the openness of non-constant holo-
morphic maps. By (2.2) if one ipn is constant they all are, so the Property 3
follows.
Suppose z0 ^ Vo,co(Vco) a n d l e t {zj e Rj)jeN ^ e a sequence converging
to z0. Then the ratio gCj(zj)/gCj(cj) diverges to infinity, since if not, then
z0 € ^o,co(^co) by the locally uniform convergence of ^0,Cj to ipQiC0. But then
for any p > 0 there exists N € N, such that V? > iV the maps Vn,*, are de-
fined and univalent on the sector K(co,??, p). Thus the domain of ipn%Zo can
be taken to include V = V(CQ, r), 0). q.e.d.
Proof : The map ipt = ipi,z '• Vz —> K^ is univalent by Property 3 and
Corollary 2.4. Hence the image ipt(Vz) is contained in some Q-periodic Fatou
component U. A periodic Fatou component is either a hyperbolic, a parabolic
or a rotation domain. The Fatou domain U can not be hyperbolic, because
hyperbolicity is an open condition. It can not be a rotation domain either,
because any point on ip^R^^)) is non recurrent. q.e.d.
168 Carsten Lunde Petersen and Gustav Ryd
For w 6 Rc{v) with gc(c) < d • gc{u>) define a real analytic parametrisation
Vc<w : R+ — • Rc(r]) by TeiV1{t) = 4>;l(exp{gc{w) • d"1 + I2TTT/)) of the sub-arc
of the dynamic ray RC(T]) from w to oo. The map Tcw satisfies
Moreover Vcw has a unique real analytic extension to the interval ] — t o >°c[,
where t0 — -^—j log(gc(c)/(d • gc(w))). In particular for c € Md the parametri-
sation i\u, extends to VC:W : R —> Rc(v), a parametrisation of RC(TJ). In the
light of Corollary 2.6 we define arcs:
only preimage of c0. This contradicts however the fact that CQ e dMd, thus
l>0.
Let us next prove that the dynamical ray Rco(0) C R lands on co. however
this follows from Corollary 2.6, because R^iP) OJ^CRDJco and the set of
points z0 with P1C0{ZQ) = P£q(zo) is discrete. Hence it follows from the snail
Lemma, [DH, Exp. VIII, p. 71, le. P], that P^fo) is repelling or parabolic,
however it can not be parabolic, because the unique critical point is prepe-
riodic. Alternatively by [DH, Exp. V.4 p. 40-42, le. P] f*,(co) is repelling.
q.e.d.
ro(n,0) = r o ( n , l ) = 7 o ( n ) = 7 n , ( 0 ) .
170 Carsten Lunde Petersen and Gustav Ryd
Note that the above isotopy argument is already given in [DH, Exp. XII.2
p. 35-36 2e. P]
Lemma 3.3 Let ji : R+ —^ C be an arc with 7i(0) = n and such that for
all t > 0 7i(t + 1) = 7i(t) + 1. Then there exists r : R+. x [0,1] —• C, an
i s o t o p y of arcs w i t h F ( t , 1) = ^ ( t ) , T ( t , 0 ) = n + t : = -yo{t), F ( 0 , [ 0 , 1 ] ) = n
and for allt>0,se [0,1] : T{t + 1, s) = 1 + F(£, s).
Proof : Extend 71 to an arc 71 : R+ —• C by use of the periodicity
71 (t + 1) = 7i(£) + 1. For some r > 0 sufficiently big the vertical translate
7i + ir is disjoint from the arc R, the real axis, and those two arcs bound
a 'horizontal strip B. Let h > 0 be such that there exists a biholomorphic
map <j>: {z = x + M/|0 < y < h) —> B with <j>(z + 1) = 1 + <£(z). Then ^ ex-
tends to a homeomorphism of the closed sets (the boundaries being analytic
arcs) and we can suppose <f> normalised by ^(0) = n. Let w = <f>~x{ir), then
a isotopy F with the required properties is obtained as
{ (1 - 4s)(n + t) + 4s • <j>(t)
such tha£ for any x euj'nL: z(x) £ F ^ and <f>(rz([0,1])) C w. The first
because F^, only intersects J^ in one point. And the second, because for
any z € (R D K^) \ (JCo U Fc,,) the map ipo,z extends univalently to the sec-
tor V — V(co,r),0) and ^i(F 2 ([0,1])) is contained in the compact subset
{w € i?co(?7)|l < g^w) < d2"} of V. Hence by the Koebe Distortion Theo-
rem for univalent maps the diameter of </>(Fz([0,1])) tends to 0 as the distance
of x to S 1 = 83 tends to zero.
Let x 6 a/ D L be arbitrary and let 7 = $ o Tz. Then 7 : K —> 3 is an
analytic arc with 7(0) — x and P o 7(s) = j(s + 1). But then j(s) -»• /? as
s —> 00, because P univalently covers w by P{UJ).
Let f/i, t/2 C D be the two complimentary components ofJD> \ 7. Consider
say U\. It contains a unique connected component U{ of P~l(U\), because
the dynamics of P on 7 is diffeomorphically conjugate to translation by 1.
Moreover the degree of the restriction P : U[ —> Ui is at least 2, because
U\ n S 1 is covered at least twice by U[ C\ S 1 . Thus U\ contains a critical point
for P. And similarly so do f/2. q.e.d.
References
[CG] L. Carleson and T. Gamelin. Complex Dynamics. Springer-Verlag,
1993.
[DH] A. Douady and J.H. Hubbard. Etude Dynamique des Polynomes Com-
plexes. Premiere Partie, Publications Mathematique d'Orsay 84-02,
1984 and Deuxieme Partie Publications Mathematique d'Orsay, 85-04,
1985.
[Mil] J. Milnor. Periodic orbits, external rays and the Mandelbrot set; an
expository account. Preprint, 1995.
Abstract
We prove that the set of quadratic interval maps which satisfy a
strong bounded recurrence condition on the orbit of the critical point
has positive Lebesgue measure. This implies classical Theorems of
Jakobson and Benedicks-Carleson.
1 Introduction
1.1 Statement of results
In this paper we will be concerned with the dynamics of maps belonging to
the quadratic family
fa{x) = x2-a
0<i<k
We say that / satisfies (BR) if it satisfies (BR)n for all n and we let
1ST*
|—— - > 1 a s e - > 0.
173
174 Stefano Luzzatto
The proof also shows that the complement of Q* in Qe contains an open and
dense set so that in particular fi* is a nowhere dense set of positive Lebesgue
measure. In section 4.1 we shall show that for small e and any a < log \/2, all
parameters in Q*e have an exponentially growing derivative along the critical
orbit. By standard results this implies that the corresponding maps /„ admit
an absolutely continuous invariant probability measure /i. In fact quite minor
modifications of the constructions and estimates given here can be used to
obtain the same conclusion. In any case we have as a Corollary the following
classical
for some a > 0 and 5 > 0. I claim that for arbitrarily small a and sufficiently
small 6, |F*| > 0. Indeed, it follows from the bounded distortion property that
the proportion of each interval u>n which falls into An = (c — 6e~an, c + 8e~~an)
at time n is of the order of 5e~an. Thus the same is true of the entire interval
and the total measure of points which fall into An at time n for some n, is
bounded by some constant multiple of ^2 5e~an which can be made arbitrarily
small by taking 5 small.
This simple argument can be interpreted in the following way. The dis-
tortion bounds (which in this case follow from the expansivity of the map)
and the Markov property imply that small intervals wn grow sufficiently large
sufficiently fast and in a sufficiently regular way that their distribution in the
original interval / at time n is essentially random. Therefore the probability
of falling into An is proportional to the size of An and the fact that this tends
to zero exponentially fast in n then yields the conclusion. Notice that the
construction shows that F* must be nowhere dense.
Our condition (BR)n is very similar to the one given above although some-
what stronger since it takes into account the past orbit of points. Since we are
interested in the recurrence of a single (critical) point for different parameters
we shall consider the image in the dynamical interval / of the iterates of the
critical point for different parameter values. It is easy to see that for any
n > 0 the images fa(c) for an interval of parameter values in form an interval
in /. To simplify the terminology we shall usually refer to these sets as iter-
ates of an interval of parameter values. We shall show below that intervals
of good parameters are growing in size at exponential speeds and that our
construction of the partitions in parameter space yields uniform distortion es-
timates. The main difficulty here compared to the situation in the toy model
described above is the absence of a Markov structure and even of a uniform
lower bound on the images of partition elements. To overcome this problem
we develop a statistical argument to show (and make precise the notion) that
most partition elements have uniformly large images and therefore can be
considered to have a sufficiently random distribution. More specifically we
prove two key technical estimates which link the size and number of elements
in P' n ) to their recurrence: elements with strong recurrence are small and not
too many. Therefore the average recurrence of the critical points of maps in
fif""1' up to time n is very low and it follows by a large deviation argument
that for exponentially most parameters it will be sufficiently low so that they
will belong toft<n>(i.e. the ratio Ift^ 1 ) - n^\/\n('n-1'>\ -> 0 exponentially
fast).
In section 2 we give the complete combinatorial definition of the sets Q^
Bounded recurrence of critical points 177
and their partitions p(nK In section 3 we assume two technical lemmas (the
ones mentioned above) and carry out the large deviation argument. In sec-
tion 4 we prove three fundamental lemmas which constitute the basis of the
proof. These deal respectively with expansion estimates outside the critical
neighbourhood, parameter dependence, and the notion of binding. In section
5 we prove the bounded distortion property for elements of V^ and show
that all points of fiM actually satisfy condition (BR)n. Finally, in section 6
we prove the technical lemmas used in the large deviations argument.
true for infinitely renormalizable maps in the quadratic family. There are no
known examples of maps which are in the closure of the set of maps with
acip's but are zero Lebesgue density points of this set, or even for which such
density is not defined. Such examples would be very interesting.
It is very likely that questions related to the degree of persistence of hyper-
bolicity should be naturally formulated and connected to questions related to
the the very notion of hyperbolicity and to the degrees of hyperbolicity which
can occur, even though this notion is not yet well deinfed ! All maps in the
quadratic family (and even in much more general families) with an absolutely
continuous invariant probability measure fi are non-uniformly hyperbolic with
respect to /x: there exists A > 0 such that log|(/")'(x)| 1 / n —> A for //-almost
every x, i.e. the derivative is growing asymptotically at a (uniform) exponen-
tial rate. However it is clear that not all such maps exhibit the same degree
of hyperbolicity: for example the rate of decay of correlations, which reflects
some fairly intrinsic properties of the map, can be exponential in certain cases
and subexponential in others [NS98, BLvS99].
The ideas and techniques required for such a major breakthrough were first
introduced in [BC91] in the context of the Henon family of maps. These
were generalized in [MV93, Via93] to quadratic-like maps in the context of
hornoclinic bifurcations. In [DRV96, Cos98] similar techniques were applied
to study the dynamics near saddle-node bifurcation points. In [Via97] a class
of systems with many expanding directions is shown to be persistent under
perturbations. In [PR97] and [PRV] a class offlowswith an equilibrium point
with complex eigenvalues is considered and in [LVa] a generalized model of
the Lorenz equations is developed to include parameters for which the return
map contains folds as well as an unbounded derivative. These results do not
study ergodic properties of the systems but rather concentrate on proving the
persistence of certain geometrical/analytical structures which embody some
degree of hyperbolicity. The ergodic properties in some cases have also been
studied, see [BY93, BY98, BVb, BVa] for the Henon maps, [Alv97, AV] for
the systems studied in [Via97] and [HL] for generalized Lorenz-like attractors
of [LVa].
partition V^ of Q(k) into intervals such that each w 6 "P(fc) has an associated
itinerary constituted by the following information (for the moment this is
given as abstract data, the geometrical meaning of this data will become
clear in the next section). A sequence
of escape times. Between any two escape times rj^i and rji (and between ns
and k) there is a sequence
of essential return times (or essential returns) and between any two essential
returns Vj_\ and t/j (and between ut and r/;) there is a sequence
with pj > 0 called the binding period associated to the return time Uj (resp.
fij). A binding period cannot contain any essential or inessential return times
although it may contain a sequence of bound return times (or bound returns).
Associated to each essential, inessential and bound return time is a positive
integer r called the return depth (which is roughly the (norm of the) logarithm
of the distance from the critical point) . We define the functions
which associate to each a € Jlf*' respectively the total sum of all return depths
and the total sum of essential return depths only of the element w € V^
containing a in its itinerary up to and including time k. By construction
both functions are constant on elements of V^.
We also assume that the following two analytic properties are satisfied.
Moreover if u+p+1 < k the same statement holds for all i/+p+1 < j <
k + 1 replacing w by any subinterval u>' C o> which satisfies w^ C A"1".
Then
\T\>TS+-\ \r\>n-\
where
w = a / u | J w(r'm)U<y.
(r,m)
and
•p(n) _ J>W\Q{n)
Notice that an itinerary of escape times, return times, etc. is well defined for
all elements of P' n ) up to time n. In Section 5 we shall prove that the two
analytic assumptions on the recurrence and the distortion are also satisfied:
0* - p| n(n).
n>0
Letting
gives a well defined parameter interval a/1"5 associated to a; 6 'P ( n ) for each
0 < i < n. Notice that for two intervals w,w 6 7^ n ) and any 0 < i < n, the
corresponding intervals w ^ and w ^ ' are either disjoint or coincide. Then
we define
QW= (J <>>
and let
denote the natural partition of Q^ into intervals of the form u^K Notice
that
fi(n-l) = Q(n) C . . . C QW
186 Stefano Luzzatto
and
since the number s of escape times is always strictly less than n and therefore
in particular a/"*' = u> for all w £ VM. For a given w = u^ £ Q (i) , 0 < i <
n - 1 we let
denote all the elements of Q' I+1) which are contained in u> and Q(*+1)(o>) the
corresponding partition. Then we define
gives the total sum of all essential return depths associated to the itinerary of
the element u' £ Q'*+1)(w) containing a, between the escape at time rji and
the escape at time ?7i+i. Finally we let
|ir| > o
and that 2 is a Lebesgue density point of fi*. As mentioned above our main
strategy is to estimate the average value of the recurrence of the critical point
for parameters in Q'"" 1 ' taking into account the orbit up to time n. This is
the heart of the proof, where the combinatorial structure and the analytical
estimates really need to work together.
A relatively easy argument can be used to show that intervals in V^ are
exponentially small in terms of their recurrence, i.e. in terms of the total
sum of their return depths. However this in itself does not imply that the
total measure of points belonging to intervals with strong recurrence is small,
we also need to estimate the cardinality of the set of intervals in V^ with
a given recurrence. The easiest way to do this is to use the sequence of
return depths as a way of indexing the elements of 'P' n ) and to use standard
combinatorial techniques to estimate the possible number of sequences whose
terms add up to a given total. Unfortunately (unboundedly) many intervals
may have the same sequence of returns depths and therefore we need to divide
the combinatorial structure into blocks for which an indexing with bounded
Bounded recurrence of critical points 187
53 W\ < eim-l)R\w\.
The statement in the this Proposition may be considered the key estimate
in the entire paper. Starting with a "large" interval (the notion of escape
time has the purpose precisely of fixing the concept of large in this context)
we can construct a subdivision into subintervals which are again large after
a certain history of returns to the critical neighbourhood, quantified through
the total return depth function R,. The tail of R on one escaping component,
i.e. the set of points belonging to intervals which have not yet achieved large
scale after a total number of returns with return depths R, is exponentially
small in R.
Proposition 3.1 will be proved in Section 6. For the moment we assume
this estimate and complete the proof of our main Theorem. In section 3.1
we show how the estimate of Proposition 3.1 which applies to a single block
leads to a bound for the overall average recurrence up to time n. In section
3.2 we complete the proof with the large deviations argument.
Proof. The equality follows immediately by the definitions. For the inequality,
let 0 < i < n — 1, and w G Q'*' and write
and therefore
5] e^'V/Vl < (1 + e-"/3)|a;| < e^'M. (1)
188 Stefano Luzzatto
Notice the nested nature of the expression. Applying (1) repeatedly gives
and therefore using Chebyshev's inequality (A/ |{x G / : / ( x ) > M}\ < Jr f)
and Lemma 3.1 we have
in*"-1)
which implies
Thus using the fact that for e > 0 small there exists a N > 0 such that
QU) = Q(J+I) f o r a u j < N ( this follows easily from the fact that c,-(2) =
-2,Vj > 2) we get
j | 1
\ i=N / V i=N
4 Fundamental tools
We state and prove three preliminary Lemmas which are not difficult but
whose importance cannot be overestimated. They provide the foundations
for the estimates of Sections 5 and 6 and are also of independent interest.
Generalizations of each of these results have been successfully developed and
applied.
The first is an estimate on the expansion outside a given critical neigh-
bourhood A = (—6,6). As a corollary we will show that all parameters in
f2* satisfy the Collet-Eckmann condition. The second is a basic result about
the dependence of iterates of the critical points on the parameter. The third
formalizes the intuitive idea that when an iterate of a critical point lands in
A it then retraces part of its initial orbit. Therefore information on the past
is useful to study the future.
. (UE1)
Proof. Consider the map h : [0,1] —> [-2,2] given by h(9) = 2 cos ir9 and
define a family of maps on [0.1] by
9a = h~l ofaoh.
Notice that for a = 2, h defines a conjugacy between fi = x2 — 2 and the
angle doubling map g2{9) = 29 mod 1. Indeed using the standard equality
cos2ip — 1 = cos2ip we have
Using the fact h'(8) = sinTrfl is close to zero only near the extreme points it
is easy to see that
tCs iir-l(x)i(-S,S)
for some constant Cs > 0 depending on 6. Since Ks^'WI = 2 n for any 9 this
clearly implies the statement with A = log 2 for a = 2. For a < 2 an explicit
calculation shows that
\9'a(e)-92(0)\<Cs\2-a\<eC's
Proof. Let N be a large constant such that Ci(a) $ A and (fl)'(co{a)) > 3 1 for
alii < N and all a e £le- N can be chosen arbitrarily large if e is chosen small,
this follows from the fact that for a = 2 the critical point is in the preimage
Bounded recurrence of critical points 191
Finally notice that that whenever cVj 6 A we have logical""1 > logtS"1 and
therefore condition (BR)k also implies in particular a bound on the number
of returns:
Substituting this into the last display above completes the proof. •
c 1
fc(°) _ i ,
fc
(/ )'()
shall not use the statement of Lemma 4.2 directly but rather an immediate
consequence stated in the following Corollary. The rest of the proof could
most likely be adapted to work even if the constants 4 and 1/4 below were
replaced by some other constants possibly even depending on e, which would
probably be necessary if the transversality conditions were not satisfied.
4.3 Binding
Lemma 4.3. Let 0 < k <n — 1, u € V^ and suppose that k is an essential
return time for ui with return depth r. Then there exists an integer
p<2r
such that
Proof. For a € u let 7 = 7(0) be the interval [cfc(a),0] (or [0, ck(a)]) and for
j > 0, let 7j = fl+i(j). We define the binding period of ck(a) as
p = p(uj, k) = min{p(a, k) : a € w}
: = Da
(f)'{yo) 7=0
j=0
2 7
Since |7j | < e" "- this follows immediately if we show that
Proof. By assumption (BR)p is satisfied and therefore |(/i)'(co)| > eXj for all
j < p. By the mean value theorem, the definition of binding and the bounded
distortion estimate above,
e
d. |7p| _ \{f
- 1 +21ogD
Q
H
~ \ + 2a
(4)
<l(log\x\-l+]ogDa) + l:
A <"
L
as long as \x\ < 28 is sufficiently small. Thus p < k and in particular
p = p+1. Similarly, using the fact that \f'{z)\ < 4, Vz and that |7P| > e'2ap,
we have
and therefore p > (21og|a;|"1 - logD 0 )/(2a + log4) > loglxl"1. This com-
pletes the estimates on the size of p. To get the derivative estimates, notice
that by the mean value theorem there exists £0 € 7o such that |(/p)'£o| =
|7p|/|7o|. Thus by Sublemma 4.3.1, the fact that \f'(x)\ = 2\x\ and |-yo| = x2
and the chain rule, we have
The two required estimates for the expansion are now easily obtained by
substituting a bound for p in terms of x in one case and a bound for x in
terms of p in the other. More precisely (4) gives e- 2 a p > e-*°\oe\x\-i/\ >
|a;|4a/A and therefore \{fp+l)'{x)\ > g g > Ixl*" 1 . Similarly (4) also gives
log jxl" 1 > Ap/4 i.e. jar]-1 > e ^ 4 and therefore |(/ p+1 )'(a;)| > ^ ^
> e(A-2Q)(p+l)/5 Q
We can now complete the proof of the Lemma. Suppose first of all that
p(a) is constant on oi. Then by Sublemma 4.3.2 and using the fact that
|ct(o)| > e- 2 r by assumption, we have |(/ p+1 )'(c fc (o))| > \ck(a)\50-1 > e^~l>
and thus by Corollary 4.2.1 |w fc+p+ i| > e ^ - 1 ) ^ ^ ! . The result then follows
196 Stefano Luzzatto
from the assumption that k is an essential return for UJ implying that e~r/r2 <
|w/t| < 2e~ r . If p(a) is not constant on ui then for all a 6 u we have
Recall that functions TZ^ and E^ are defined on Q.^ and constant on
elements of V^ for all k < n and most importantly we have S W(a) < Aafc/10
for all k <n and all a 6 fi'n). We claim that it is sufficient to prove that for
all a 6 fi(n) and 0 < k < n we have
(5)
Sublemma 5.1.1. Let a 6 ft(n) and suppose that ft<*>(a) < ak/2 for all
k <n. Then a satisfies (BR)n.
Proof. Notice first of all that by construction cv{a) e A only if a has some
non-zero return depth associated to a return at time v. In other words all
the returns to A which contribute to the sum in the definition of condition
(BR) are accounted for by considering all the return times and return depths
associated to a. By construction, if v < n is a return for u> and the associated
return depth is r, then all points in u satisfy |cj,(a)| > e~2r (in fact they
Bounded recurrence of critical points 197
satisfy ^"a] ~ e~T but the weaker estimate is sufficient for our purposes).
Therefore \og\c,,(a)\~x < 2r and
D
Equation 5 says that the at least one fifth of the total sum of return depths
associated to the orbit of the critical point of a given parameter a is formed
by essential return depths. Thus all we need to do is prove that the inessential
and bound returns occurring between two essential returns have a total sum
of return depths which can be bounded in terms of the return depths of the
preceding essential return. We divide the argument into two parts; first we
consider the essential returns and then the bound returns.
Sublemma 5.1.2. Let UJ 6 V^\ v 6 [1, n] and suppose that all points in w
satisfy {BR)V and that v is an essential return for u>. Set v := fio and let
v < n\ < • • • < fiu be a maximal sequence of inessential returns occurring
after time v and before any subsequent chopping time. Let ro, r\,...,ru be the
corresponding inessential return depths. Then
2
r=0
Proof. The idea of the proof is simple. Firstly, there are no chopping times
between time fio and time fiu and the intervals are growing exponentially,
in fact the growth can be estimates in terms of the return depths using the
binding period estimates. Secondly, large intervals cannot fall too close to
the critical point or else they would give rise to a chopping time. Thus
we can bound the return depths at each return in terms of the size of the
interval. More formally, let p0,... ,pu be the lengths of the binding periods
corresponding to the returns /io, • • •, / v By the bounded recurrence condition
and Sublemma 4.3.2 we have for each o 6 u> and i — 0 , . . . , u,
and therefore combining these two estimates and using the chain rule gives
198 Stefa.no Luzzatto
Now since |io is an essential return we have |w w | > e~r°/r% > 8e~' 1+a)r ° for
some a > 0 which can be chosen small and so
e -(l+a)ro
t=0 *• A "
t=l
Proof. For simplicity we fix a 6 LJ which has the deepest sequence of bound
returns. By the definition of binding the points c^+^a) is close to Cj_i(a) for
all j < p and thus, intuitively, a bound return £ for c^ occurs exactly when
Co (a) has a return at time Q — \i + 1. We assume for the moment that this
is indeed the case. The main idea is that by the definition of binding period
C(. and C£_M+i are very close (of the order of e-2QCi-^+i) a n ( j by condition
(Blfyb-n+i, Icfc-p+il is of the order of e ~ a ^~' i + 1 and therefore the return
depth Pi corresponding to the bound return at time Q is almost the same as
the associated return depth rt corresponding to the return at time Q - fi+ 1.
Thus the sum of the bound return depths is uniformly almost the same as the
sum of all the return depths associated to co(a) up to time p. By condition
{BR)P and the estimates on the length of p this is of the order of ap ~ ar.
The details are left to the reader.
It can happen however that £ - fj,+1 is not a return time but c^^+i falls
very close to A so that c^ falls inside A and gives rise to a bound return time.
This situation has no real relevance to the dynamics and could to all effects
and purposes be ignored by modifying slightly the definitions. To be formally
correct however there are at least a couple of ways to deal with it. One way is
to change slightly the definition of condition (BR)n so that not all returns to
Bounded recurrence of critical points 199
1/r
< e > = D
Notice that the distortion bound improves as S tends to zero. This is only
true under the additional assumptions stated that k < uq+pq+l or restricting
t o i i C u such that \Qk\ C A + . Without any assumptions the result still holds
for any k < n with a constant D& independent of n but depending on 5.
By Lemma 4.2 it is sufficient to show that
= D
i.e. critical orbits with the same combinatorics satisfy the same derivative
estimates. By standard arguments (see also the proof of Lemma 4.3), (6)
follows if we can show that
where Dj ^
Let 0 < vi < • • • < vq < k be the essential and inessential returns of u up
to time k. By construction there is a unique element IPi,mi in I+ associated
to each V{. Let p; be the length of the binding period associated to i^. For
200 Stefano Luzzatto
E^ = E E *•
j=0 i=0 Ci
Proof. Write
"i + l+P.+ I "i+l"l l/.+ i+Pi+i
E ^ = E A+A>,+1+ E ^, (7)
I'.+Pi+I I/J+Pi+I "i+1+1
We shall estimate each of the three terms on the right hand side in separate
arguments.
For the first notice that since ^i/ i+l Q lpitmi condition (UE2) implies that
|(/"' +1 --')'c i+1 _ i; '(a)| > ex(-Vi+l~j) and therefore by Corollary 4.2.1 we have
\u>j\ < 4e~A("i+1~:')|w[/,+1|. Moreover Ic^^-jla)] > SL and so letting A =
we have
E»>o e~Xi
The last inequality follows from the fact that 5~l < 6'1 < epi+l. For the
second term we immediately have
A^^KJe*" (9)
since DVi+l is the supremum of \u)Vx+l \/\cVi+l \ over all points cUi+l in w,,JH and
|ci/,+1| > 2e" Pi+1 by definition.
To estimate the third term we argue as follows. By Corollary 4.2.1 and
the bounded distortion during binding periods we have for all j € [vi+\ +
Using the fact that A depends only on A and DQ is large when a is small,
equations (8)-(ll) complete the proof. •
Sublemma 5.2.1 gives immediately
f,+p, q-l l/jii+Pi+i 9-1
E i=E E ^<^EKIe"-
D
(12)
j=0 t=0 Vi+Pi + 1 t=0
Since |wVi| < e~px/pf we have almost obtained our estimate except for the
fact that we have no control over the multiplicity with which each pi occurs.
To overcome this problem we show that essentially only the last return with
a given return depth needs to be considered in the sum (12) since the lengths
of the preceeding ones form a decreasing geometric sequence. First of all
subdivide the sum on the right hand side into partial sums corresponding to
return times with the same return depth:
E
i:pi=r
j=o
•
202 Stefano Luzzatto
Substituting the estimate of Sublemma 5.2.2 into (12) and (13) we get
r TT
>> s+
This completes the proof of the Lemma for k < uq + p, + 1 . If k > uq +pq + 1
we consider the additional terms Dj restricting ourselves to some subinterval
u C w with Qk C A + . Clearly the preceding estimates are unaffected by this
restriction. Using (UE2) we have
and therefore using also the fact that |/'(c,(a))| > <5' since LJJ n A + = 0 we
get
Proof. We estimate first of all the cardinality of the set of possible sequences
rx,..., rs of positive integers Tj > r{ with rx-\ 1- r, = R for a fixed s > 1.
Notice that the number of of possible sequences as prescribed corresponds
exactly to the number of ways of partitioning R objects into s disjoint non-
empty subsets and can be bounded above by the number of ways of choosing
s balls from a row of R + s balls since this will determine a partition of
the remaining R balls into at most s disjoint subsets (the fact that each of
these subsets must contain at least r$ elements will be used in the calculation
below). Using Stirling's approximation formula for factorials k\ e [1,1 +
l/4k]V2irkkke-h we have
(R + s)\ {R + s)R+*
~ Rlsl ~ RRs« ~
To estimate the second term we use the fact that srs < R and that log(l+:r) <
x for all x > 0 and we get
s/R -I R
Since s/R < l/tj and x I - > l a s a : - + 0 both terms inside the parenthesis
tend to 1 as 8 —• 0 and it is sufficient to choose a sufficiently small 6 to get
Next we need to allow each Tj to occur with multiplicity r? and this gives a
bound
r < 0R/4
3 —
Also, each r^ can have a positive or negative sign. This gives an additional
multiplicative factor of 2 s and thus a bound of
e (iUog2)/r Je /Jft/4
204 Stefano Luzzatto
Finally, keeping in mind that for fixed R we have s < R/rs we can sum over
all possible sequence lengths s to get
E
s<R/rs
6
_ e\og{R/r,)efiR/3
The statement in Lemma 6.1 now follows from the above and the following es-
timate about the actual number of partition elements which can share exactly
the same sequence.
such that each u/"^ has an essential return at time Vj (intuitively UJW is
created as a consequence of the intersection of a/"-*-1' with A at time Uj).
Write
Id; I |<>
<
For j = 0, recall that u/" o) = w 6 Q (i " 15 which means that w(l/o) has an
escape at time 77^1 = i/0. Suppose first that u)i[ C A + . The the bounded
distortion holds up to time i>\ and we have
\Jj
and we just need to show that |o;^ o) | > De 90rs. There are two cases to
consider according to the position of wffl. If u>^ n A ^ 0 then / r>m C
206 Stefano Luzzatto
wlo°' S / r i m for some rs+ > r > rs and we can repeat the binding arguments
of section 4.3 and together with (UE2) and Corollary 4.2.1 these give
w (£i)| > |wf; o+po " 1) |/4 > |w^ o ) | w /4 > e~80r/4r1613 > De~90rs.
as long as i < 4/?. This completes the proof in the case ufy' C A + .
If uTuo is not completely contained in A + we cannot apply the bounded
distortion property to the whole of a/"o) up to time vx. However, restricting
ourselves to a maximal subinterval w^ 0 ' C w'"o) with Gr^f1 C A + we do have
I I l l I
Therefore it is sufficient to show that |w^ o) | > De~90n. This is clearly true
since by hypothesis \u>i'/°''\ intersects A (since it contains la^ 1 '! which is con-
tained in A) and also extends all the way to the boundary of A + (since we
have assumed that |w^ o) | is not properly contained in A + ) . Therefore
•
The statement in the Lemma now follows immediately. Substituting into (14)
and using the fact that |w|/|w("^| < 1 since <D-C UJ^3'1 gives
M
The result follows since rs > r$. D
References
[Alv97] J. Alves. SRB measures for nonhyperbolic systems xuith multidi-
mensional expansion. PhD thesis, IMPA, Rio de Janeiro, 1997.
[AV] J. Alves and M. Viana. Statistical properties of some multidimen-
sional attractors. In preparation.
[BC85] M. Benedicks and L. Carleson. On iterations of 1 — ax2 on (—1,1).
Annals of Math., 122:1-25, 1985.
Bounded recurrence of critical points 207
[Ree86] M. Rees. Positive measure sets of ergodic rational maps. Ann. Sci.
Ecole Norm. SupA0 Serie, 19:383-407, 1986.
[Ren57] A. Renyi. Representations for real numbers and their ergodic prop-
erties. Acta Math. Acad. Sci. Hungar., 8:477-493, 1957.
[Ves87] A.P. Veselov. Integrable mappings and Lie algebras. Soviet Math.
Dokl., 35:211-213, 1987.
[Wil79] R.F. Williams. The structure of the Lorenz attractor. Publ. Math.
IHES, 50:321-347, 1979.
210 Stefano Luzzatto
Abstract
This article first presents a proof of the following Theorem of Her-
man, [Her] : An analytic circle homeomorphism / with a critical point
and irrational rotation number 0 is quasi-symmetrically conjugate to
the corresponding rigid rotation, if and only if 0 is of constant type.
The proof is presented so as to clearly exhibit, that it only uses the
hypotheses on Df through the fact that / satisfies the iWiatek Cross-
ratio distortion inequality [Swi], and that there is at least one critical
point ao on the circle, where / contracts (quasisymmetrically) like a
power xv with v>\.
Secondly the Theorem is applied, using an idea of Herman, to prove
the existence of quadratic Siegel polynomials, Pg(z) = et2w6z + z2, with
9 of non-constant type, for which the Julia set is locally connected.
1 Introduction
In his survey at Seminaire Bourbaki, February 1987, A. Douady [Dou] pre-
sented a conjectural procedure to produce synthetically a quadratic polyno-
mial Pg with a Siegel disk, whose rotation number is 9 and whose boundary
is a quasi-circle containing the critical point. The idea was to use quasi-
conformal surgery on a certain cubic Blaschke product fg, whose restriction
to S 1 is a real analytic circle homeomorphism with rotation number 8 and with
a critical point, an inflection point, (see also page 12). However in order to
perform the surgery, the restriction of fg to S 1 has to be quasi-symmetrically
conjugate to the rigid rotation with rotation number 6. This lead Douady to
pose the question: Does there exist any irrational 8 for which the conjugation
on S 1 of fg to the corresponding rigid rotation is quasi-symmetric? Herman,
who attended the seminar, responded positively only a few days later. Using
Swiatek's newly developed Cross-ratio distortion inequality [Swi] (see also
Theorem 1.3), he proved the following result, which in the folklore is known
as the Herman-Swiatek Theorem:
211
212 Carsten Lunde Petersen
I shall give a proof of this Theorem with the analytic assumption replaced
by a technical hypothesis to be presented below. The proof is an edited
version of Yoccoz proof, in his unpublished manuscript [Yoc, Section 3].
We shall identify the circle with T = R/Z and give T the induced orien-
tation. Moreover we shall not distinguish a circle map / and lifts of / to R.
Let / be an orientation preserving circle homeomorphism. Call a quadruple
(a, b, c, d) admissible i f a < 6 < c < d < a + l i n R and define the cross-ratio
D(a,b,c,d,f) =
b. There exist constants u, C > 1 and (at least) one 'critical point' a0 6 T,
such that for all x, y € R with \x — ao\ < \y - ao\
x a
~°
f(y) ~ /(ao) y
Note that for any circle homeomorphism / and for any t € R the circle homeo-
morphism ft = f + t satisfies Hypothesis 1 if and only if / does and that with
the same constants. Though not explicitly formulated the following slightly
stronger version of Theorem 1.1 is implicit in both [Her] and [Yoc].
Sf = D2\ogDf-l-{D\ogDff
Any real analytic circle homeomorphism with a critical point is easily seen
to satisfy the hypotheses and thus the conclusion of Theorem 1.3. Thus
Theorem 1.1 follows by combining Theorem 1.2 and Theorem 1.3.
The fact that c in Theorem 1.1 depends essentially only on the constant
type bound N for 0, enables the proof of a result for quadratic polynomials,
with Siegel disks of certain non constant type rotation numbers:
For \8\ = 1 let eg be the complex number for which the quadratic polyno-
mial Qce(z) = z2 + eg has a fixed point with multiplier exp(i27T0). Herman
has proved the following Theorem :
Theorem 1.5 There exist irrational 9 of non-constant type, such that the
Julia set of the quadratic polynomial QCs is locally connected.
214 Carsten Lunde Petersen
1. f will denote a critical circle map with a (not necessarily unique) critical
point a0 and irrational rotation number 9.
0=
b2 +
"*•(*)], nodd,
[f~q"(x),x}, n even.
2. For any i € T and any n > 1 all the intervals In(fj[x)) for 0 < j < qn+\
and In+iiPix)) for 0 < j < qn have mutually disjoint interiors.
3. For any x € T
Lemma 3.1 For any admissible quadruple (a, b, c, d) and any N € N one has
q.e.d.
Let us fix n > 0, say even to fix the ideas. Set q = qn, m(x) = mn(x),
I(x) = In{x) for x £ T (see Notation 2.1) and define for x e T
mn(f"(x))
Hz) z f(z)
I 1—I—I—I—
H lq
f (x) f (x) f"(x) x f(x)
Figure 1: Relative positions of the relevant points.
q.e.d.
Proposition 3.3 There exists a constant c > 1 such that for aiJ x 6 T and
2 € /(x) one has
P r o o f : By the above Lemma 3.2 it suffices to prove that there exists C\ > 1
such that for all z € T
Let y € T be a point where the continuous function z •-» m(z) attains its
minimum, so that A(y) > 1/4, and let y, = f^{y) for all j e Z. Given any
z e T let j be the minimal non negative integer with yj E In{f2q{z))- Then
0 < j < qn+i + qn by Remark 2.3.3. Thus by Lemma 3.1 there exists c2 > 1
such that Cj ' < A(j/j), because the intervals ]yi+2q, yi-q[, 0 < i < j cover any
point of the circle at most three times. Furthermore again by the Lemma 3.1
we can suppose A(yj+q), A(yj+2q) > c^x increasing c2 if necessary. Writing
out the definitions of A(%), A(yj+q) and A(y J+ 2,) we obtain for c3 = c2 + 1
that:
So that
c^lm{yj+q) < m{yj),m{yj+2q) < c3m{yj+q) (3)
218 Carsten Lunde Petersen
sj+q
1
which contradicts Proposition 3.3. Here | / | denotes the length of the interval
/. q.e.d.
and
_
The Herman-Swiatek Theorems with applications 219
(6)
-t-
Moreover by Lemma 3.1 it suffices to prove (7) only in the case i = 0, because
the intervals ]a.i+qn, ai+iqn_l [, 0 < i < qn cover any point of the circle at most
three times.
Comparing interval by interval and using Proposition 3.3 we find that
there exists c2 > 1 such that
S - f c < C • C3 • ul (9)
— < L o < c2 • O • G • uQ
ZC\
This shows that both u0 and Eo are bounded from below and completes the
proof. q.e.d.
The above Theorem and/or the following Corollary is often in the lit-
erature referred to as d-priori real bounds for critical circle maps. They
are used as a bootstrap to control the geometry and topology of holomorphic
maps, which restricts to critical circle homeomorphisms. See for example [dF],
[dFdM], [dPaWdM], [GS], [Pet] and [Yam]. The papers [GS] and [dFdM] also
contain proofs of the d-priori real bounds.
220 Caisten Lunde Petersen
Corollary 3.6 {h-priori real bounds) Tiere exists a constant c > 1 such
that
. C C
— 2 1
mn{z) mn(x)
q.e.d.
Forn € N let Mn = d(Z, qn9) = \z- Rgn(z)l where the last equality holds
for any z € T exactly because Rg is a rigid rotation. Then for any n € N
z-8 z z+8
Let Ci be the constant from Proposition 3.3 and let c2 be the constant from
Proposition 3.7 then we obtain
I < \h([z,z + S})\ < (?c
q.e.d.
IM4.*-iM)l _ Mnt-> ^ l vn
|/n»-i(flo)l ^ Tnnk-i{ag) y .
|/ n t _ 2 (o 0 )| m nt _ 2 (ao) ""
where c is the constant from Corollary 3.6. q.e.d.
fo(z) = zl
1-32
For each irrational 9 e]0,1[ let X$ be the unique unimodular constant for
which the restriction fg = \g • f0 : S 1 —> S 1 is real analytic, has 1 as critical
point and has irrational rotation number 6. Thus Theorem 1.1 applies. Let
Jfs denote the Julia set of fg and let Jg C J/s denote the boundary of the
immediate attracted basin A#(oo) for oo. It was proved in [Pet] that
222 Carsten Lunde Petersen
Theorem 4.1 For every irrational 9 the subset Jg and the full Julia set J;s
are locally connected.
We shall prove the following Theorem which combined with Theorem 4.1
implies Theorem 1.5:
Theorem 4.2 There exists irrational 9 of non-constant type for which the
Julia set J^ for QCs is homeomorphic to Jg.
The proof of this Theorem is based on the similar result for 6 of constant
type:
1 Ipg l O Rg O t/jg if Z € D .
Let <70 denote the standard almost complex structure on C, and let og denote
the Fg invariant almost complex structure given by
{ V(o)()
((rl>oF?)*(<r0)(z)
crQ(z)
HFn(z)eB
otherwise.
Let 62 = #i,n and let fc2 = k\ + n. Then we may restart the process using
02, k2, ^2 and e2 t 0 obtain an integer fc3 > k2 and an irrational number 83 of
constant type, with bk2 = d\, bk3 = d? and with all other coefficients of the
continued fraction expansion of 93 equal to those of 0x, such that <fo2 and <f>e3
are c2 close in the Co topology. Proceeding recursively we find a sequence
(0n) of irrational numbers of constant type converging to some irrational of
non constant type 60 and a Cauchy sequence (in the C°-norm) of (quasi-
conformal) homeomorphisms ((j>$n), such that the sequence of inverse maps is
also a Cauchy sequence. Let <f>0 denote the limit of the sequence {<f>en), then
(j>o is a homeomorphism conjugating Fg0 to Q^. In particular JCs = <f>o(j0o).
q.e.d.
References
[dF] E. de Faria. Assymptotic rigidity of scaling ratios for critical circle
mappings. Ergod. Th. & Dyn. Sys. 17(1998), 227-260.
[dFdM] E. de Faria and W. de Melo. Rigidity critical circle mappings
I. preprint IMS#1997/16, Institute for Mathematical Sciences,
Stony Brook, November 1997.
[dFaWdM] E. de Faria an W. de Melo. Rigidity critical circle mappings
II. preprint IMS#1997/17, Institute for Mathematical Sciences,
Stony Brook, November 1997.
[Dou] A. Douady. Disques de Siegel et anneaux de Herman. Semi-
naire Bourbaki, Volume 1986-87, expose no. 677, Asterisque
153(1988), 151-172.
[DE] A. Douady and C. J. Earle. Conformally natural extension of
homeomorphisms of the circle. Ada Math. 157(1986), 25-48.
[GS] J. Graczyk and G. Swiatek. Critical circle maps near bifurcation.
Comm. Math. Phys. 176(1996), 227-260.
[Her] M. R. Herman. Conjugaison quasi symetrique des homeo-
morphismes analytiques du cercle a des rotations. Version tres
tres preliminaire, 19 pages manuscript, 1987.
[LV] O. Lehto and K. I. Virtanen. Quasiconformal mappings in the
plane. Springer Verlag, 1973.
[Pet] C .L. Petersen. Local connectivity of some Julia sets containing a
circle with an irrational rotation. Ada Math. 177(1996), 163-224.
The Herman-Swiatek Theorems with applications 225
HABIB JELLOULI
Resume :
Dans cette note, on demontre dans un premier temps que si P(z) —
e2niaz + z2 est linearisable en 0 et si (E2L)neN e s t la suite des reduites de
a dans le developpement en fraction continue, alors pour n assez grand les
qn petales en 0 du polynome quadratique parabolique Pn(z) = e2fft«" z +
z2, sont proches du bord du disque de Siegel de P. Ensuite on considere
f(z) — e2irtaz + O(z2) une fonction holomorphe linearisable en 0 et (fe)eei
une famille R-analytique de fonctions holomorphes sur le disque de Siegel
maximal A de / en 0, avec fa = f, fg(O) = 0 et /g(0) = e2*0 pour
tout 8 E I. On demontre que si a est un nombre diophantien alors on
peut construire pour k 6 N, une famille R-analytique {ipk,e)eei de fonctions
holomorphes tel que tfk,e conjugue fg a sa partie lineaire avec un terme
d'erreur O{{6 - a)k) uniformement sur tout compact de A. Enfin on donne
une reduction d'une conjecture de Douady et on utilise la famille (vfc,e)ee/
pour donner quelques proprieties sur la conjecture reduite.
Abstract :
In this note, we first prove that if P(z) = e27rtQz + z2 is linearizable at
0 and if {pn/<ln)neN is the sequence of the approximants of a in the devel-
opment in continued fraction then, for n sufficiently large, the qn petals at
0 of the parabolic polynomial Pn{z) = e2vt(-Pr>^qn^z + z2 come close to the
boundary of the Siegel disc of P. Later, we consider a linearizable holomor-
phic function /(z) = e2iriaz + O{z2) at 0 and (fg)eei an R-analytic family of
holomorphic functions on the maximal Siegel disc A of / at 0, with fa = / ,
fg(O) = 0 and f'g{0) = e2irie for any 9 € /. We show that if a is diophan-
tine, then we can construct for k € N, a family of R-analytic holomorphic
functions, say (fk,e)eei such that <pk,e conjugates fg to its linear part with
an error term O((0 — a)k) uniformly on any compact of A. Finally we give
a reduction of a conjecture by Douady, and we use the family (fk,e)eei t o
give some properties on the reduced conjecture.
227
228 Habib Jellouli
0. Introduction
Considerons f(z) = e2*iaz + O(z2) une fonction holomorphe linearisable
en 0 telle que a 6 I - Q et designons par A son disque de Siegel maximal
en 0. Alors on sait qu'il existe un isomorphisme ip de A sur le disque
unite D = {z € C/\z\ < 1} avec <p(0) = 0 et conjuguant / a la rotation
Ra(z) = e2"iaz (i.e. <p(f(z)) = Ra(<p(z)) pour tout z <E A). On appelle
sous-disque de Siegel pour / en 0 tout sous-ensemble A' de A de la forme
A' = tp'1^) ou r e]0,1] et D r = {z € C tel que \z\ < r}.
Soit maintenant / un intervalle ouvert de R contenant a et (/e)eg/ une
famille R-analytique de fonctions holomorphes sur A, verifiant : fa = / ;
/ e (0) = 0 et /^(0) = e27rie pour tout 6 e I. Pour U C A et (0,b) € / x N,
b
on note U(0,b) = f] fg\U) = {zeU tel que fe{z) E U pour 1 < i < b}.
i=0
Enfin dans tout ce qui suit on note Rg{z) = e2nt9z et (9n = ^-)neN
designe la suite des reduites de a dans le developpement de a en fraction
continue.
Theoreme 1. Soit Ai C A2 deux sous-disques de Siegel distincts pour f en
0 et (6n)ngN une suite d'entiers naturels positifs verifiant bn = o(qnqn+y).
i) si K est un compact dans Aj, alors pour n assez grand on a:
K C Dom(ipkfi)
iii) ifkfi ° fe — R& ° <Pk,e + O((9 — a)k) uniformement sur tout compact de
A.
Ainsi ipkfi conjugue fg a sa partie lineaire avec un terme d'erreur O((6 —
a)k) uniformement par rapport a 8 sur tout compact de A. (fk,e)eeJ es*
appelee famille de coordonnees suivies a l'ordre k £ N associee a la famille
(fe)eei-
Corollaire 2. Supposons que a est un nombre diophantien et soit k un en-
tier naturel positif donne. Si (bn)n€® est une suite d'elements de N verifiant
K = o(qnqn+i) o-lorsipkfinofin = RinO(pkfn+O((6n-ct)k~~:l) uniformement
sur tout compact de A et uniformement par rapport a j avec 0 < j <bn.
Notons Pe(z) = e27ri6z + z2 ; K(Pe) = l'ensemble de Julia rempli de P9.
Le paragraphe 4 de cet article est une tentative pour aborder la conjecture
suivante de Douady :
Conjecture. Si a est un nombre diophantien et (9n = pn/qn)neN est la
suite des reduites de a, alors on a :
1. Preliminaires
an = et an = \ \ .
2. Demonstration du theoreme 1
? (1)
qnQn+l QnQn+1
On en deduit d'apres (1) que pour n > m et \z\ < r[ + j ri b ~ r ' (avec
0 < j < bn - 1), on a : \F9n(z)\ < r[ + (j + 1 ) ^ .
II en resulte que si z £ D r ' alors Fjj (z) € D ri pour 0 < j < bn et
n > ni, d'ou K C Ai(0 n , &n) pour n > nj,.
ii) Si K est un compact de A 2 - Ai, alors il existe r " , ^ ' €]r 1 ) r 2 [ avec:
r'l < rl etip(K)c Dr» - Dr».
Comme bn = o(qnqn+i) alors il existe n2 > no tel que
bn .
!L — ,— ) pour n>n2.
— < min V C C /
Ainsi si z € Dr^' - Br» on aura F$n (z) e Dr2 - D r i pour 0 < j < bn et
n > n 2 , d'ou if C (A2 - Ai)(0 n ,6 n ) pour n > n 2 .
Ceci acheve la demonstration du theoreme 1.
2.2. Demonstration du corollaire 1
Soit A' C A i m sous-disque de Siegel pour le polynome quadratique
linearisable Pa(z) = e2iriaz + z2. Designons par Bn le bassin imm^diat
parabolique attache a 0 pour Pgn(z) = e " ^ z + z ^ e t qui contient le point
critique de P$n.
Le point xn — —e Vliv. (verifiant Pgn(xn) — 0) se trouve sur le bord
de Bn et pour n assez grand xn ^ A (car x = —e2nta £ A). Fixons une
courbe de Jordan invariante L pour Pa dans (A — A ). On en de'duit qu'il
existe no £ N tel que Bn n L ^ <f> pour n > no. D'autre part, d'apres le
theoreme 1, ii), en prenant bn = qn, Vn € N, alors il existe n\ > no tel que
L C (A - A )(9n,qn) pour n > nj. Or on sait que les qn bassins immediats
parabouques attaches a 0 pour Pgn sont donnes par Bn = Pg (Bn ) avec
Perturbation d'une fonction linea.risa.ble 233
2.3. Complements
1) Si Ai C A est un sous-disque de Siegel pour / en 0 et (6n)neN une suite
d'entiers naturels positifs verifiant bn — o(qnqn+\), alors il existe un rang
no e N tel que pour n > no, toute composante connexe de Ai(0n,bn) est
simplement connexe.
En effet : d'apres le theoreme 1, il existe n 0 € N tel que pour n > n0,
on a Ai c A(6n,bn). On pose Dr = </?(Ai) = {z e C/\z\ < r}.
Ainsi pour n > no et 0 < k < bn, les fonctions gn). = ipo f£ otp~1 sont
definies et holomorphes sur D r .
Soit C une composante connexe de Ai(dn,bn) pour n > no, et soit F
un lacet de Jordan dans C. Notons W la composante connexe bornee de
C - T et M = (p(W) C D r . Ainsi pour 0 < k < bn et z 6 dM = ip(T) on a
|j7n,fc(2)| < r- II e n resulte d'apres le principe du maximum que pour tout
z & M et pour tout k 6 {0,1,2,..., bn}, on a |<7nifc(z)| < r. Ceci exprime
que W C Ai(0 n , bn) et par suite C est simplement connexe.
2) II est facile de voir d'apres le theoreme 1 qu'au sens de la distance de
Hausdorff entre compacts de C, d(Ai(9n,bn)) (resp. 9((A2 — Ai)(6n,bn)))
tend vers 9Ai (resp. c?Ai U CJA2) lorsque n tend vers +00.
3. Demonstration du theoreme 2
3.1. Preliminaire
Si Cl est un domaine de C, alors on note par H(Q,) l'ensemble de toutes
les applications holomorphes sur fi et a valeurs dans C.
Considerons deux domaines U, V de C et ip : U —> V une application
holomorphe telle que (p'(z) ^ 0 pour tout z £U.
On definit l'operateur lineaire ip* de H(V) dans %{U) par :
V9 ^ r P ° u r 9 e H(V).
Proprietes.
i) Si <f : U —>• V et xp : V —> W sont holomorphes et verifiant <p'(z) 7^ 0
pour z e U et tp'(^) 7^ 0 pour £, &V, alors (ip o ip)* = <p* o ip*. Si de plus (p
et ^ sont des isomorphismes, alors (ip o ip)t = ip* o tpt.
234 Habib Jellouli
I'
Si ip,tl> et h sont holomorphes et verifiant <p'{z) ^ 0 pour z eU, xj>'(z) ^
0 pour z e V et h'(z) ^ 0 pour z € U, alors on a aussi un diagramme
commutatif pour les operateurs associes :
En particulier si #0 £ %(^0 est un point fixe pour ip* (i.e. V*<7o = go), alors
/o = h*go 6 ?^(W) est un point fixe pour ip*.
3.2. Lemme. Soit a un nombre diophantien et A € C. Considerons
fa{z) — e2*laz + O(z2) une fonction holomorphe dans un voisinage de 0 et
designons par A son disque de Siegel maximal en 0.
Alors, pour toute fonction holomorphe G : A —> C avec G(0) — G'(0) =
0, il existe une seule fonction holomorphe g : A —> C verifiant g(0) = 0,
g'(O) = Xetg-f*g = G.
Demonstration : Soit <p : A —> D = { . z e C / | , z | < l } une application
linearisante de / en 0. On en deduit, d'apres la propriete ii) ci-dessus, que
le diagramme suivant est commutatif
H(A) - ^ ^ H(A)
On pose H = <ptG 6 H{H). On a if (0) = H'(0) = 0. Ainsi on se ramene
a montrer qu'il existe une seule fonction holomorphe h : D —)• C telle que
h(0) = 0, h'(0) = A et h - R*ah = if. Ecrivons Jf(z) = 5 3 a n z n , ft,(z) =
n>2
+oo
^ cn2:n. Done l'egalite h — R^h = H est equivalente a l'egalite ^ c n (l -
n>0 n=0
Perturbation d'une fonction linearisable 235
+00
anz ou encore
n=2
co = 0
ci quelconque
c
n = -L_e2J°yn-i)a pour n > 2 .
Soit m n l'entier relatif verifiant \(n - l)a — mn\ < \ pour n > 2. On a
= 2|sin(7r[(n-l)a-mn])| .
En utilisant 1'inegaUte de Jordan l\x\ < \ sinx| pour |x| < f, on obtient
d'ou
-i)«| - 4M
3.3. Dans ce qui suit, "on se place dans les hypotheses et notations du
theoreme 2: a etant done un nombre diophantien, f(z) = e2viaz+O(z2) une
fonction holomorphe dans un voisinage de 0, A son disque de Siegel maximal
en 0; >p designe une application linearisante de / en 0, et enfin (/e)ee/ est
une famille R-analytique de fonctions holomorphes sur A verifiant fa = f,
fe(0) = 0 et # ( 0 ) = e27rie pour 6&I.
236 Habib Jellouli
+ g
U ( )kK (3)
pour 9 dans un petit intervalle ouvert J' C J contenant a. On a
J' C J contenant a tel que, pour tout 9 E J', il existe une seule fonction
<Pk,g : A ' —> C, holomorphe sur A ' et verifiant:
i) V e ( O ) = 0, <pfk e(0) = V ' ( 0 ) , Vkt9{z) # 0 pour z e A ' - { 0 } ;
" ) 5fc.e(2)<p'fc,e(2) = Vfc.eC'Z) V«ur tout z e A ' .
£>e p/ws, /a famille (ipk,9)eej' est R-analytique.
La demonstration de ce corollaire necessite le lemme preparatif ci-dessous
dont l'enonce est dans un cadre plus general et dont on aura besoin plus
tard dans la demonstration du theoreme 2.
3.3.3. L e m m e . Soient U un domaine simplement connexe de C, ZQ S U
et A £ C*. Si h : 14 —t C est une fonction holomorphe avec h(zo) = 0,
h'(z0) = 1 et h{z) ^ 0 pour z € U - {zo}» aXors il existe une seule fonction
i/> : U —> C holomorphe sur 14 et verifiant:
i) tl;{zQ) = 0, V'(zo) = A, tp(z) ? 0 pour zeU- {z0};
ii) h(z)ip'(z) = ^>(z) pour tout z eU.
De plus, si h varie dans une famille M.-analytique (hg)e^i, alors la
famille {ipg)eel associee est aussi fit-analytique.
Demonstration :
— 14 etant simplement connexe, par suite la fonction
' - Q pourtoutzeW
238 Habib Jellouli
II est clair a partir de cette formule que la famille (ipg)eeI est aussi E-
analytique.
Demonstration du corollaire 3.3.2. D'apres la formule (3) dans la
demonstration de la proposition 3.3.1, on a:
tp(z)
On pose S = min .. . > 0.
z€dA' lfi'(z)
Comme lim gk e = 9k a = 9a uniformement sur tout compact de A,
alors il existe un intervalle ouvert J' C J contenant a tel que
\9k,e(z) -9c(z)\<S< \ga{z)\ pour z e dA' et 9 E J' .
Comme A' C A', alors d'apres l'unicite, on aura ipk,e/A' = <Pk,9 pour
6 e J' fl </'. En d'autres termes, pour tout compact K de A, on a K C
Dom(y>fcie) pour 6 assez voisin de a. Ceci demontre ii).
— D'apres le corollaire 3.3.2, la famille (<pk,o)eeJ' verifie 0 € Dom((pk,e),
Vfc,e(0) = 0 et ip'k9(0) = ¥>'(0) pour 0 € J'. D'autre part, on a gk,a = ga =
$-. Ceci donne gk,a{z)v' {%) = v(z) pour tout z e A . II en resulte d'apres
l'unicite dans le corollaire 3.3.2 que <pk,a = V- Ceci demontre i).
— Pour achever la demonstration du theoreme 2, il reste a verifier iii).
Soit K un compact de A. Considerons deux sous-disques de Siegel A',
A" verifiant K c A' C A" C A. Alors, il existe e > 0 tel que, pour tout
6 e]a - e,a + e[c J', on a:
a) A" c Dom(vfe,e);
b) A' C {Z e A" tels que fg(z) e A" et f'e{z) ± 0};
c) 9kAz) ± ° P° ur zeA"- {0}.
Ainsi on a, pour 6 e]a — e,a + e[, gk,e{z)ip'kg(z) = tfik,9(z) pour z € A";
en particulier fffc.e(/«(*))Vfc.eCM*)) = fk,e(Mz)) P o u r z e ^''• Done,
d'apres b) ci-dessus, on obtient
d ou
' \Je9kfij{z) • ytpk,e o / e j (z) = ^fc,s o /ej(^) pour z 6 A'. Or la
fonction z i-> (fggk,9)(z) est holomorphe sur A', et verifie (/e5fe,e)(0) = 0,
D'autre part
fzt-(fS9kM)»_ [U-9kAZ),r . fZ 9M
Jo Z(fS9k,e)(t) Jo ZQkAZ) Jo 9*At)(fS9k,e)(t)
D'apres la proposition 3.3.1, on peut ecrire fffc,e(O — (f$9k,d)(0 = (8 ~
«)fcGjb,fl(O» o u G M holomorphe en ^ G A'(fl)' = {£ e A / / 9 ( O € A et
^ et R-analytique en 0. On pose
Jo ?5fc,fl(0 Jo 9kAZ)(fe9k,e){0
240 Eabib Jellouh
On aura
ef 1
et on a lim = 1, done il existe (i > 0 tel que \t\ < n implique
l
\e - 1| < 2|t|. Les fonctions Rg o ipk e et Hkg sont uniformement bornees
sur le compact K, par suite il existe e' > 0 (e' < e), il existe une constante
M > 0 tels que |(iiflO¥>M)(z)| < M, | H M ( z ) | < M et \{0-a)kHk,e(z)\ < /i
pour z 6 if et 0 e]a-e',a + e'[. On en deduit, d'apres (4), lfk,e°fe)(z) =
f /?g o yjfcje j (2) + C((0 — a)k) uniformement sur K. Ainsi, le theoreme 2 se
trouve demontre.
3.5. Demonstration du corollaire 2. Soit K un compact de A. Con-
siderons un sous-disque de Siegel A' avec K C A' C A.
D'apres le theoreme 2, il existe e > 0 et M > 0 tels que, pour 8 g
]a - e,a + e[, on a (pky9 o / e = Re o yjfe e + (0 - a)kHktg, ou |iffci9(z)| < M
pour 2 € A .
D'autre part, d'apres le theoreme 1 (point i)), il existe n 0 6 N tel que
K C A'(9n,bn) et \8n — a\ < e pour n > n0. On en deduit que, pour
0 < j < bn et n > no, on a sur if les egalites suivantes:
(0n - a)k
Du fait que \Hk,gn(z)\ < M pour 2 6 A et f6 (z) € A' pour 0 < j < bn et
z € K, il en resulte qu'on a
Or, par hypothese, bn — o(qnqn+i); done ilexiste A > 0 telque bn < Xqnqn+i
pour n e N. Maintenant, d'apres le preliminaire 1.1, on a qnqn+i < l^n -
a| - 1 . Ainsi on aura
1
Soit done \<Pk,en ° fg — Rg ° Vfe,en I < \M\9n — a\k pour z 6 K, n > n0
et 0 < j < bn. Ceci acheve la demonstration du corollaire 2.
3.6. Remarque. L'hypothese bn = qn pour tout n G N permet d'ameliorer
leeerement
&
la conclusion du corollaire 2. En effet, on a \6n — a\ < —-— <
> I n i qnqn+i
-y, done bn = qn < \9n - a^1!2. Par suite, d'apres l'inegalite (5) ci-dessus,
on obtient <fik,en ° fg = Rg ° Vfc,^ + C((^n — a) 2) uniformement sur
tout compact de A et uniformement par rapport a j avec 0 < j < qn.
Or tp~1(K) est un compact dans D, done il existe r € [0,1[ tel que tp~1(K) C
D,. = {ze C/|z| < r}. D'ou on aura :
on
En posant fn = 2/i|(P*)'(wo)|, /fc = ^ ( i ^ ' M I , obtient d'apres (13)
et (14) que pour n > ni, on a :
et on a :
P - ^ C - i f ( P Q J ) = C - i f ( P a J = Pan(C - K(PaJ).
Par consequent on peut permuter les symboles " lim " et "V^" dans
n—>+oo ~—J
(19) et on obtient :
f(z) = fj,\z+ 2_] (J-kzk avec /ii^O, deux fonctions analytiques au voisinage
k-2
de 0. Alors dans un petit voisinage de 0 la fonction F — ip o / o ip"1 est de
la forme :
A 2 cDom( V ( ! J; (21)
et sont
Pdn PQ injectives sur A 2 ; (22)
DrC^JAx). (23)
Ainsi pour \z\ < r, on a y>^"1(z) 6 Ai est bien defini, Pg ((ps~1(z)) € A 2
pour 0 < j < qn et les proprietes (21) et (22) montrent que les applications
z I—v [ipe o P3Q o ipe~l){z) sont holomorphes et injectives sur D r (pour 0 <
3 < Qn)-
On en deduit d'apres la remarque 3.6, qu'il existe une constante M > 0
et un entier ni € N tel que pour \z\ < r et n > ni, on a :
On note Fgn (z) = (ips °Pgn o<p^"1)(z) pour \z\ < r et n > no. Remarquons
que d'apres le lemme 4.2.1, on peut ecrire :
1o(zqn+2) (25)
•
Soit TVo > max(n o ,n 1 ) tel que \0n — a\k 2 < ^£_ pour n > iV0.
Introduisons une nouvelle coordonnee u> € H = {u G C/Re w < 0} par
^ = IIn(w) = re?" et definissons la fonction Gn(w) pour w € H et n > iV0
par :
>^ / \ . 1 1 •* t? n v y » T-F / \ /o^\
Perturbation d'une fonction iinearisabie 247
n n o Gn = F9n o n n
2
-1|<—\0n-a\ <\ pour |z| < r et n > AT0. (27)
z r
Ainsi
m=\ m=0
e
D'autre part, Gn(uj) = w + qnlog (l + ( - 1J J avec z — II n(w)
2M
\Gn(w) — u>\ < \9n — a\ pour u 6 H et n > No ,
r
r t, A ,, n (Fe^z)
II est clair que |An| > 0 car a 9 n + 1 ^ 0. Montrons que |An| < 2 :
On pose S = {/i: D —>• C, holomorphe, injective avec fe'(0) — 1 = /i(0) =
0}. Un resultat sur la theorie des fonctions univalentes (voir [Go] page 494)
perniet de dire que si h(z) = z + s m + 1 z m + 1 + sm+2zm+2 +... est un element
de 5, alors on a |s m +i| < ^ e t l' m egalite est optimale. Maintenant d'apres
(25) l'application :
Perturbation d'une fonction linearisable 249
qn
( 1
et on aura \F6n(z) - e2™ "- z\ < M\6n - a\k~2 pour \z\ < r et n > No.
Par consequent, d'apres le principe du maximum, on a :
avec z
Gn(u)) = LJ+ (-l)n+12ni + qn log ( *2»J+i ) = n n(w)
maintenant par passage a la limite quand Rew —>• —oo dans (28), on obtient
m = 0 et par suite Gn o Gn = Gn o G n sur Bl^.
* Etape 3. Posons
< ^ • (32)
on obtient : _ __
\i>n(w)\<\Hn(0j)\- SUp |<(0|.
I€-W|<£n
D'autre part, on a:
Par suite d'apres (33) et (34), on a \Hn(u + (-l)n+12wi) - Hn(w)\ < *&
pour w € Me et n > Ni. On en deduit que \Hn(w + 2TTZ) - Hn(u)\ < ^f*
pour w E Me et n > Ny. Ceci exprime qu'on a Gn(w + 27ri) = Gn(a;) + 27ri +
O((9n - a)2k~2) uniformement sur Mf.
4.2.5. Quelques questions
Soit A' C A un sous-disque de Siegel de Pa en 0 et notons par A' son
symetrique par rapport au point critique a> = -le2via de Pa. Designons
par ^l(Pgn) la composante connexe de K(Pgn) - {0}, contenant le point
critique wn = -±e2nie" de Pgn.
Question 1. Existe-t-il un rang no € N tel que :
Question 2. Existe-t-il un rang iVo 6 N tel que pour tout n > No, la
fonction Gn n'a pas de points fixes dans H ?
Remarque. On pretend que les cinq proprietes de 4.2.4 et une reponse
positive a la question 2 ci-dessus sont suifisantes pour poursuivre cette etude
et aboutir a une reponse positive a la conjecture de Douady enoncee dans
l'introduction.
Remerciements.
Je remercie le Professeur A. Douady qui m'a propose ce sujet, ainsi que
le Professeur J.H. Hubbard pour ses remarques tres utiles.
Bibliographie
[Go] G.M. GOLUZIN, Geometric theory of functions of a complex variable,
vol. 26, Translations of Mathematical monographs, A.M.S. 1969.
[Jl] H. Jellouli, Indice holomorphe et multiplicateur, dans ce volume.
[Po] C. POMMERENKE, Univalent functions, Vandenhoeck and Ruprecht,
Gottingen, 1975.
HABIB JELLOULI
253
254 Habib Jellouli
i(f,zo)=i(F,h(zo)) .
Posons
c= inf \f(z) -z\>0 ,
\z-Z0\=£
J_ / iMzldz .
2m J7e ft(z) - z
D'apres cette formule, N(t) est une fonction continue et est a valeurs dans
N, done constante. Compte tenu du fait que N(0) = m, alors N(t) = m
pour \t\ < fi. Designons par Pi(t),P2(t),...,/3m(t) les points fixes de ft
avec &(<)) = /32(0) = ... = ^ ( 0 ) = z0, et on a pj(t) ± z0, //(^(t)) =
f'(f3j(t)) ^ 1 pour 0 < |«| < JU et 1 < j < m.
Par suite, d'apres le ler cas, on a i(ft,(3j{t)) = i(Ft,h(Pj(t))), ce qui
donne
soit
z - ft(z) 2ni fhhm) z - Ft{z)
Comme les contours d'integration j£ et /i(7e) sontfixes,il est clair que les
deux membres de (1) sont continus en t pour |t| < fj. et par suite, par passage
a la limite, quand t tend vers 0 dans (1), on aura i(f, ZQ) = i(F, h(zo)).
0 est un point fixe de PjJo de multiplicite (q + 1). Comme les zeros d'une
fonction holomorphe (non identiquement nulle) sont isoles, alors il existe
e e]0,1[ tel que P f o ( z ) - z ^ 0 pour 0 < |z| < 2e et 1 < k < q. On pose
II existe r e]0,1—e[ tel que \P£(z)-z\ > | pour |A—Ao| < r, z £ 7£U72e
et 1 < k < q. D'apres le principe de l'argument, le nombre JVfc)£(A) (resp.
-/Vfc,2e(A)) des points fixes de P* dans le disque \z\ < e (resp. \z\ < 2e) pour
| A — Ao| < r et 1 < k < q est donne par
D'apres ces formules, il est clair que les fonctions Nk,£(x) e t -Wfc,2e(A)
sont continues en A et a valeurs dans N par suite constantes. Ainsi Nk,e(X) =
Nk,s(xo) et Nk,2i:(x) = Nk,2e(Xo) pour |A — Ao| < r et 1 < k < q. Soit done
%AX) = Nk,2e(X) = 1 Sll<k<q-1
'fc(A) = E ( ^ ( A ) ) f c , l<k<q .
3=1
Par suite, A (-* <Tfe(A) est holomorphe sur le disque |A — Ao| < r avec
<rfe(Ao) = 0. On en deduit que A \-¥ 6g_fc(A) est holomorphe sur le disque
|A - Ao| < r avec bq-k(X0) = 0 et Q\0(z) — zq. On a
q + q
Proposition 1. p'{X0) = - | - et p"(X0) = ^A ~ ^ ou A =
X A
Preuve : A i->- p(X) etant holomorphe sur |A — Ao| < r avec p(Xo) = 1, done
il existe 0 < r' < r verifiant p(A) / 1 pour 0 < |A - Ao| < r1. Pour e donne
par le lemme 3 et |A — Ao| < r', on pose
II est clair que A H^ r(A) est holomorphe dans le disque |A - Ao| < r'
avec T(A 0 ) = i{Pxo,0) = A; par suite r(A) = A + 0{X - AO). D'autre part,
d'apres le theoreme du residu, on a pour 0 < |A - AQ| < r'
T(A) =
Ceci donne
P{X) = X
- 1 ;A«-I)T(A)
= 1 - g ( A - Ao) + g +
^ 1 }
( A - Ao)2 + O((A - Ao)3) .
D'ou la proposition.
Proposition 2. Etant donne P\0{z) = e27rip/qz + z2, alors il existe une
fonction analytique ip injective au voisinage de 0 avec <p(0) = 0, tel que
260 Habib Jellouli
FXo=cpo Plo o tp'1 est de la forme FXo (z) = z + zq+1 + Az2q+1 + O(z2q+2).
Le nombre complexe A est un invariant de conjugaison analytique verifiant
j
f(z)=z, zee
Le cas d'un polynome Q, oo est un point fixe superattractif, done d'apres
le lemme 1, on a i(Q, oo) = 1 et on aura
Q(z)=z, zee
Dans notre cas, P\(z) = Xz + z2 et l'iteree g-eme P^ admet 2q points
fixes (non necessairement distincts).
Conservons les notations du 2) et designons, pour 0 < |A — Ao| < r,
/3i(A),^2(A),... ,Pq(X) les q points distincts du cycle de longueur q dans
le disque pointe 0 < \z\ < e donne par le lemme 3, et posons /?o(A) — 0,
/3q+i(\),... ,/32«-i(A) les autres points fixes de P% dans C. Ainsi on a
2q — 1
3=0
Soit
et on a
On en deduit que
2 < W ( T ( A B ) ) <
on peut ecrire :
d'ou:
. P(x0)(p(x0)y
log(p(A)) p'(Ao)(A-A o ) L1 2p'(A0) (A - Ao) + o(A - Ao)
p'(Ao)(A-Ao)
'(A))2 / +
i( P"(XO) \
22
2Aop'(A0) V ( ' ( A0)))) 2
V(p'(A / W
'
Tenant compte de la proposition 1, on a :
(2)
264 Habib Jellouli
d'autre part on a:
d'ou
Remerciements :
Je tiens a remercier les Professeurs A. Douady, J.H. Hubbard, J. Milnor
et M. Shishikura pour leurs aides et encouragements.
Bibliographie
[Be] A.F. BEARDON, Iteration of rational maps, Springer-Verlag, New-
York, 1991.
[Bl] P. BLANCHARD, Complex analytic dynamics on the Riemann sphere,
Bull. Amer. Math. Soc. 11 (1984), 85-141.
[Br] B. BRANNER, Fatou coordinates and Ecalle cylinders, manuscrit 1993.
[DH] A. DOUADY et J.H. HUBBARD, Etudes dynamiques des polynomes
complexes I, II, Publications Mathematiques d'Orsay, 1984.
[L] P. LAVAURS, Systemes dynamiques holomorphes : explosion de points
periodiques paraboliques, these de doctorat de l'Universite de Paris-Sud,
Orsay, France, 1989.
[M] J. MILNOR, Dynamics in one complex variable, Introductory lectures,
Preprint of IMS, SUNY at Stony Brook, 1990/5.
[SI] M. SHISHIKURA, On the parabolic bifurcation of holomorphic maps,
Proc. of NogoyaConf., Sept. 1990.
[S2] —, The Hausdorff dimension of the boundary of the Mandelbrot set and
Julia sets, Annals of Math. 147(1998), 225-267.
Abstract
We give a proof of the following theorem of Mane: A forward invari-
ant compact set in the Julia set of a rational map is either expanding,
contains parabolic points or critical points, or intersects the ui-limit
set of a recurrent critical point. Moreover the boundary of a Siegel
disc is contained in the oj-limit set of some recurrent critical point. We
establish also a semi-local version of the result.
1 Statements
A classical theorem of Fatou says that for a given rational map / , if no
critical points are in its Julia set / ( / ) , then / is uniformly expanding on a
neighborhood of J(f). Such a map is called hyperbolic. A local version of
this says that if a; € J(f) is not in the closure of the critical orbits, there is
a neighborhood U of x such that the diameters of the components of f~nU
shrink to zero as n —> oo.
The next best category of rational maps are.those with no parabolic orbits
but with each critical point in the Julia set having a finite orbit. They are
called sub-hyperbolic maps. Such maps expand also uniformly on a neighbor-
hood of the Julia set, but with respect to a Riemannian metric with certain
singularities.
If we now allow parabolic orbits, but still require critical points in the
Julia set to have a finite orbit, we are into geometrically finite maps. These
maps have also some sort of expansion on the Julia set, but only on sector
neighborhoods of the parabolic points. See for example [TY].
A critical point in the Julia set having a finite orbit is a particular case of
being non-recurrent, in the following sense: Denote by w(c), the w-limit set of
c, to be {z € C | there exists nk ->• oo such that z = \imfnh(c)}. We say that
c is recurrent if c € OJ(C). Mane has a result that establishes expansion prop-
erties (or contraction properties of / " * ) , at points or on compact invariant
subsets of the Julia set away from the parabolic points and the us-limit sets of
recurrent critical points. This is an important result with many applications,
for example combined with conditions on the critical orbits (such as Collet-
Eckmann conditions), one may obtain metrical or geometrical information
about the Julia set of more general type of rational maps.
In this paper we present an alternative proof of Mane's result, along with
the first application by Mane, which is about the boundary of Siegel discs.
265
266 M. Shishikura and Tan Lei
(b) For all £j > 0 there exists n0 > 0 such that if n > no, the spherical
diameter ofV is <E\.
Theorem 1.2. (compact set version) Let A C «/(/) be a compact invariant
set (i.e /(A) C A) not containing critical points or parabolic periodic points.
If A is disjoint from the u -limit set of every recurrent critical point, then it is
expanding (see §5 for the precise definition). In particular a Cremer periodic
point must be contained in u(c) for some recurrent critical point c.
Theorem 1.3. (an application) Let F be either the orbit of a Cremer periodic
point, the boundary of a Siegel disc, or a connected component of the boundary
of a Herman ring. There exists a recurrent critical point c such that UJ(C) D F.
A recent application of these results by Yin ([Yi]) shows that if J(f)
contains no recurrent critical points, then it is shallow (a notion introduced
by C. McMullen), and therefore has Hausdorff dimension < 2 (a result first
obtained by Urbanski).
Section 2 presents a proof of Theorem 1.1 due to M. Shishikura. It is
edited by Tan Lei based on a hand-written manuscript of M. Shishikura, and
is presented in a form that is also valid for the case J(f) = C, and for the
generalization in Section 4. Appendix E is written by M. Shishikura. The
rest is written by Tan Lei. Section 3 contains proofs of Theorems 1.2 and 1.3
following Mane. Section 4 translates the above three theorems into a semi-
local version, and gives a brief description of an interesting application of
H. Kriete. The appendices contain some classical estimates on the Poincare
metric and alternative proofs of some of the lemmas.
Our proof of Theorem 1.1 is in spirit the same as Mane's original one, but
differs in presentation. It emphasizes on the use of Poincare metric, and gives
a direct argument rather than by contradiction. It also provides a bit of more
quantitative information.
An alternative proof of Mane's Theorem 267
The authors would like to thank C. McMullen and A. Manning for helpful
discussions and K. Astala for allowing us to include his elementary proof of
one of our lemmas.
Lemma 2.1. For any 0 < r < 1 and any positive integer p, there exists a
constant C(p, r) > 0 such that for any holomorphic proper map g : V —>• O of
degree < p, with V simply connected, each connected component of g~1(Dr(0))
has diameter < C(p,r) with respect to the Poincare metric on V. Moreover
, 0 C(p, r) = 0 .
Proof. (For a more elementary proof due to K. Astala, see Appendix D.) Let
A{ be the (finitely many) maximal concentric open annuli in D surrounding
DT(0) such that Ai does not contain critical values of g. For E C V a
component of ^ ( D ^ O ) ) and each i, there is A\ c V such that A\ surrounds
E and g : A\ —>• A{ is a covering. So
and <9/~"(f2o) tends to 0 as n ->• oo, with respect to the Euclidean metric
(in fact both K' and J' are totally invariant but we will not need these
properties). Notice that in this case J(f) C J', moreover L can be chosen so
that </(/) 7^ J' if and only if some Siegel disc or Herman ring of / contains
postcritical points.
In both cases f20 D J' contains no parabolic periodic points. The critical
points in X70 are all contained in J' and are of the following three types:
I. c is a recurrent critical point, i.e. c 6 to(c).
II. c is a non-recurrent critical point with c £ uj(d) for some recurrent critical
point d.
III. c is a non-recurrent critical point not contained in the w-limit set of any
recurrent critical point.
Definition of c i( N and C o : Denote by c\, • • • ,cv the critical points of type
III, deg(/, c) the local degree of / at c, and by N a positive integer greater
than or equal to Y[^=ideg(f,Ci) ( t m s makes sense even when there are no
critical points of type III) 1 . Set Co = N • No • C{N, 2/3), where C(-, •) is the
constant given by Lemma 2.1.
Denote by d(z, E) the Euclidean distance between a point z € C and a
closed subset E of C, and by di&m. w{W) the diameter of W with respect to
the Poincare metric of W (assuming that W is a hyperbolic Riemann surface
and W C W).
L e m m a 2.2. (1) Let x 6 0,0(1 J1. There exists fii with x G fix and satisfying:
Proof. (For a different proof relating directly the Poincare metric to the
spherical metric, see Appendix E.)
(1). For each i = 1, • • • ,v, there exists a repelling periodic point tt ar-
bitrarily close to Ci (and therefore with f(ti) close to /(c;)) such that the
orbit of ti does not contain x. We choose these points so that for Zo =
(Ji Orbit(ii), the set C \ Za is a hyperbolic surface, d-^ (f (ci)> f (cj)) > Co
l
Note that TV can be chosen depending only on the degree d of / , for example = d?d
An alternative proof of Mane's Theorem 269
if f(ci) ± f(cj) and dj, (a, fn{a)) > CQ for i = 1, • • • , v and n > 1. Now
set Qi = Oo \ ZQ C C \ Zo. It satisfies all the conditions.
(2) With the help of a Mobius transformation we may assume 0, oo ^ fij.
We will need the following inequality. L e t a e W e W c f t c C \ { 0 , o o }
with W a simply connected domain and diamvp(W') < C; we have
Since the Hausdorff distance (with respect to the Euclidean metric) between
J' and df~n(Qi) tends to 0 as n -> oo, there is no such that for n > no and
every a e J' we have d(a, 9/" n (fii)) < £i/C".
Case J' = J(/) = C. Let S = C'/ev For a pair (W, W) as in (2), if there
is a eW with |a| > 5, then by the inequality (**) the spherical diameter of
W is less than e\. It remains to consider a pair W',W with W C Ds{0)-
Choose Z C C \ f2i a periodic orbit (which is surely non-exceptional). Now
J(f) n Ds(0) is covered by finitely many discs Dr(dj) with r — e1/(2C") and
aj e J(/)n£>s(0). By properties of the Julia set, for each j , there is N(j) such
that fn{Dr{aj)) D Z for n > N(j). Hence D r (aj)n/- n (Z) ^ 0 forn > AT(j).
Now let n0 = maxj N(j). Fix n > n0. Then for any a 6 J(f) n £>s(0), there
is j such that a e Dr(a,j). So d(a, 9/"n(f2i)) < d(a,f-n{Z)) < 2r = e^/C.
Lemma 2.3. For any fix satisfying (*) above, let Uo C C be a round disc
such that £/„ C fii N Uc recurrent critical poinMc) and diamnif/0 < Co.
Then, for every n > 0,
deg(n). for every D$(z) C UQ with 0 < s < d(z,dUo)/2, and every connected
component V of f~n(Ds(z)), V' is simply connected and deg(/ n : V —>•
Dt{z)) < N;
diam(n). for every Dr(w) C Uo with 0 < r < d(w,dU0)/2, and every
connected component V of f~n(Dr(w)), diamo^ < Co.
Proof. We claim at first that f~n(U0) for any n > 0 contains no critical
points other than Cj, • • • , cv. First note that f(ui(c)) — CJ(C) for a recurrent
critical point c. So for Q2 = fij \ |JC recurrent critical point w(c)> w e h a v e
f~l(£l2) C fi2- In particular f~n(U0) C fi2 for all n > 0. Secondly recall that
270 M. Shishikura and Tan Lei
the critical points in fli are in three different types, I, II and III, and those
of types I and II are contained in (J c recurrent critical point w ( c ) ( n o t i c e t h a t
for c a recurrent critical point, w(c) coincides with the closure of the orbit
{/ n (c), n > 0}). Therefore fi2, hence f~n(U0), contains only critical points
of type III, i.e. cx, • • • ,cv.
Now let us prove the assertion by induction on n. For n = 0, it is obvious.
Suppose it is true up to n — 1. We will prove deg(n) and diam(n) in two
distinct steps.
Step 1. deg(n) follows essentially from diam(O), • • •, diam(n-l).
Let Ds{z) be as in the Lemma. Let V be a component of f~n{Ds{z)).
j n
Then Vj = f (V) are components of f-( ~rt(Ds(z)) (j = 0,1, • • • , n ) . So, by
the hypothesis of induction, for j = 1, • • • , n, the set Vj is simply connected
and diamn^V}) < CQ.
Now V is also a component of /"^(Vi). Since diam ni (Vi) < Co, V\
contains at most one critical value in {/(CJ), i = 1, • • • , v\ (by Condition (*)),
and contains no critical values of other types of critical points. Therefore V
is simply connected and deg(/ : Vj —>• V^+i) = deg(/, q) if Q e V^- and = 1
otherwise.
Fix i € {1, • • • , v}. If Q 6 V} for some maximal j between 1 and n, then
fm(ci) £ Vj for m > 1, by the induction assumption diamn^V,-) < Co and
Condition (*). Hence Ci £ Vj for 0 < / < j . This means that Q appears at
most once in Vo = V, V\, • • •, Vn = Ds(z). Since no critical points other than
c\, • • • ,cv occur in these components, we have
n-l
deg(/ n : V -> D.(z)) = J ] deg(/ : Vj -»• Vj+1) < [ ] deg(/, *) < N .
j=0 i
We have, for i = 1, • • • , No — 1,
We may assume 0,oo £ il\. Fix e > 0. We will prove Theorem 1.1 for all
x1 G (fi, n J') \ |JC recurrent critical point w ( c ) w i t h bounds depending only
on Hi.
First note that there exists 5 > 0, if V C V C Hi with V simply connected
and diamv(^') < 6 then the spherical diameter of V is less than e (see
Appendix A). Take 0 < p < 1 such that C{N, p) < 5 (where C{N, p) is given
by Lemma 2.1).
Let x' eilinf\ Uc recurrent critical point w ( c )' L e t ^o be a round disc
such that x' eUQC fy s Q c recurrent critical point w ( c ) a n d diamni^o < Co
(as in Lemma 2.3).
Let r > 0 be such that r < |d(x', 9C/0). Define [/ = D^x') C Dr(x').
Fix n > 0. Let V^ be a connected component of f~n{DT{x')) and V be
a connected component of f~n{U) in V. Then by Lemma 2.3 both V and
V are simply connected and deg(/ n : V ->• Dr{x')) < N. So diamyV"' <
C{N,p) < S (Lemma 2.1). Hence V has spherical diameter < e. This
proves (a). For (b), let ei > 0 and C = C{N,p). Let n0 be the integer
given in Lemma 2.2(2) (which depends only on Hi) and assume n > n0.
For V and I" as above (relative to f~n) we have V C V C /~"(fii), V is
simply connected, V n J' / 0 (since x' 6 J' n [/ and Z" 1 ^') C J') and
diamv(V') < C{N,p) = C. So we can apply Lemma 2.2(2) to W = V and
W' — V to conclude that the spherical diameter of V' is less than si.
This ends the proof of Theorem 1.1. •
272 M. Shishikura and Tan Lei
(B) the Hausdorff distance between «/' and <9/~"(fio) tends to 0, as n -> oo,
with respect to the Euclidean metric.
We can now restate Theorems 1.1, 1.2 and 1.3 for / provided we make
the following changes: In the statements of the theorems replace "x € J{fT
by "x € Qo H J'" > "recurrent critical point" by "/-recurrent critical point",
"A C J(fT by "A C nonJ'", and finally T " by T C fionJ' with / n ( r ) C fi0
for all n".
For the proof of these theorems, we make the following changes: In the
proof of Lemma 2.2(1) choose the points ti whose /-orbits escape, and set
ZQ to be the union of these /-orbits. Since there are such kind of points
arbitrarily close to each Cj, Condition (*) is easily achieved. In the proof of
Lemma 2.2(2), the study of the case J' = C can be deleted. Notice that the
only properties of J' needed is (B) (in the proof of Lemma 2.2(2)) and (A)
(at the very end of §2). This completes the proof of Theorems 1.1, 1.2 and
1.3 in this generalized setting.
We now describe briefly an application by H. Kriete (see [Kr]),-of this
generalized version of Mane's result: Let F be a polynomial. Then Goldberg-
Milnor's Fixed Point Portrait (cf. [GM]) provides regions in C bounded by
periodic external rays that separate Cremer points and Siegel discs. Apply
Theorem 1.3 to F restricted to each of these regions we obtain a critical
point which is recurrent within the region and whose orbit accumulates to
the Cremer point or Siegel boundary of the region.
A The inequality
Recall that d(a, E) denotes the Euclidean distance between a point a e C
and a closed subset E of C
J. — 7*
± and
An alternative proof of Mane's Theorem 275
I6 l*
The right hand side is equal to ( e 2 ^ " ' 6 ' - 1) • d(a, dW). •
Lemma A.2. Let a e W C W C fi C C \ {0, oo} with W open and simply
connected. Assume di&mwiW) < C. Then
where the last inequality is due to the facts that H(a) — -a and 0 £ H(fl).B
From this one deduces easily that for any e > 0, there is S such that if
C < 5 then diamsphericaiW < £• This fact was needed at the end of §2 for
satisfying the following property: Given any pair (V, E) with 7 c C a hyper-
bolic open simply connected subset (i.e. # ( C \ V) > 2) and E C V compact
so that V \ E is an open annulus, then for m the modulus of V N E and 6
the diameter of E with respect to the Poincare metric on V, we have
u(6) <m< v(S) .
276 M. Shishikura and Tan Lei
To get v(6), we use the solution of Grotzsch extremal problem (cf. [All],
Chapter III) that m < mod (D \ [0, s(S)}) =: u((5). •
In the case of Lemma 2.1, we have v(S) > m > (log(l/r))/(27rp) so
C Bounded distortion
We use Lemma 2.1 to recover a distortion estimate in [CJY] (although we
don't need it in our paper). In the same setting as Lemma 2.1, denote by
Bv(z,s) the Poincare disc in V centred at z with Poincare radius s. Define
By$(w,t) similarly. Then there is a constant C\ depending only on ,s and p
such that, for any z £ V,
BB(g(z),Cl)Cg(Bv(z,s)) c BB(g(z),s) .
Proof. The right hand inclusion is due to Schwarz Lemma. As for the left
hand side, we may assume g(z) = 0. Let £?p(0, t) be the largest disc contained
in g(Bv(z, s)). Let E be the connected component of g~l(Bv(0, t)) containing
z. Obviously E n dBy{z,s) ^ 0. Therefore the Poincare diameter 5 of E
satisfies S > s. By Lemma 2.1 and Lemma B.I, s < 6 < C(p,r(t)) =: Cp(t),
where
— diZ
z— < r1/p .
1 -
As Pi(z) := i_^*z is an isometry for the Poincare metric, we have c?p(z', a;) —
=:
dj)(Pi(z'), 0) < log }tfi/p ^ - As a consequence z' £ |J- = 1 S p ( a i : M).
Therefore g~ {Dr) C ULi-^D( a »'-^)- ^ o w a n ^ c o n n e c t e d component of
l
x
g~ (Dr) would have diameter with respect to dp at most p x 2M —: C'(p, r).
From the definition of M one can see clearly that C'(p, r) —>• 0 and r —> 0.
See [A12, p.18, (1-24)] (or also [McM, pl3, Theorem 2.3]). An easy calculation
shows that for any C > 0 and e > 0, there exists 8 > 0 such that if y 6 C
and 0 < \y\ < 6 then
Now let us define fii. Let t be a repelling periodic point which is not in
the orbits of x and q's. Let Zo = U%Lof~n(t), where M is to be determined
later and Qi = f20 — Zo- By the choice of t, we know that x and the orbits of
Cj's belong to fii. We may suppose that 0,1, oo G Zo.
To prove (1), set C = Co and
e = m i n K p h e r i c a i l f t e ) , / ^ ) ) ! / ^ ) ^ /( C i )}U
diamsphericai{z| dni(z,y) < Co} < diamsphericai{z| dCvRi,™}^'^) < Co} < £ •
References
[All] L.V. Ahlfors, Lectures on Quasiconformal Mappings, Wadsworth,
1987.
[GM] L Goldberg and J. Milnor, Fixed points of polynomial maps, part II,
Ann. Sci. Ec. Norm. Sup. vol. 26 (1993), p. 51-98.
An alternative proof of Mane's Theorem 279
[Ma] R. Mane, On a theorem of Fatou, Bol. Soc. Bras. Mat. vol. 24, p.
1-11 (1993).
[TY] Tan Lei and Yin Yongcheng, Local connectivity of the Julia set for
geometrically finite rational maps, Science in China (Series A), vol.
39, number 1 (1996), pp. 39-47.
[Yi] Yin Yongcheng, Geometry and dimension of Julia sets, in this vol-
ume.
Y I N YONGCHENG
1. INTRODUCTION
Let / : C -> C be a rational map with degree deg / > 2. A point z is
said to be a periodic point if fk (z) = z for some k > 1. The minimal of such
k is called the period. For a periodic point ZQ, denote the multiplier of ZQ
by A = (fk)'(z0). The periodic point z0 is either attracting, indifferent or
repelling according to | A | < 1, |A| = l o r | A | > l . In the indifferent case,
we say zo is parabolic if A is the root of unity.
The Julia set, denote by J(f), is the closure of all repelling periodic
points. Its complement is called Fatou set, denote by F(f). A connected
component of F(f) is called a Fatou component. D. Sullivan proved that
each Fatou component U is preperiodic, this means there exist integers
m > 1, n > 0 so that
281
282 Yin Yongcheng
for some 6 e K.
There are at most p' many points of {ZJ \ 0 < j < p' — 1} in the closed
hyperbolic ball Bp(0,R). We can find a hyperbolic circle 7 of centre at 0 in
Bp(0,R) such that
p(hj(z),Q) =
d(M*),0)> — = Cv
e 2(p'-l) -|- I
Then
P'-I
d(fc(z),0) = Y[ d(fc,-(r),O) > C / = R*(p',R).
j=o
and i?* = min{i?*(p', i?) : 1 < p' < p} is the constant which we need.
QED
Prom lemma 2.2, we have a useful corollary in spherical metric.
Corollary 2.3. Let U 9 ZQ be a simply connected domain and g : U —>
B(WQ, 26) be a proper holomorphic map of degg < p, WQ = g(zo). If g maps
B(zo,r) c U into B(WQ,6), then there exists a constant K depending only
on p so that B(wo,r*) c g{B(zo,r)) and the component of g~l(B(w0,r*))
containing z0 is a subset of B(zo,r), where r* > diamg(B(zo,r))/K.
Proof. Assume (dg(B(zo,r))) D {dB(wo,6)) ^ 0 at first. Let U' be the
component of g~1(B(u>o,6)) containing ZQ. Then mod (U \ U') > ^ ^ .
284 Yin Yongcheng
For any two points x,y E dB(zo,r), pu(x,z0) and pu(y,zo) are C(p)-
commensurable with 1 for a constant C(p) depending only on p. Take
R= min pu(x,z0). By lemma 2.2, there exists r* = 26R* such that
x£dB(zo,r)
B(wo,r*) c g(B(zo,r)) and the component of g~1 (B(WQ, r*)) containing ZQ
is a subset of B(zo,r). Denote K = 1/R*. Then r* > dia,mg{B(zo,r))/K.
In the case (dg(B(z0, r)))n(dB(w0,6)) = 0, take 8' = d(w0, dg(B{z0, r)))
< 5. We replace U by the component of g~1(B(w0,26')) containing z0. Use
the same method as above, we get the constant K.
QED
2.2 Mane's theorem In [Ma](see also [ST]), R. Mane proved a beautiful
theorem. It is a key lemma in the proof of our main result.
Lemma 2.4. (Mane's theorem) Let f : C -> C be a rational map. If a
point x 6 J(f) is not a parabolic periodic point and is not contained in the
at -limit set of a recurrent critical point, then for all e > 0 there exists a
neighbourhood U of x such that
(a) For all n > 0, every component of f~n(U) has diameter < e;
(b) There exists p > 0 such that for all n > 0 and every component V
ofrn(U),
degree(fn : V -)• U) < p.
The domains D+ and D- in lemma 2.5 are called attracting petal and
repelling petal respectively.
Geometry and dimension of Julia sets 285
Set Vo* = {C|ReC < -Ro}, Vo = {ClReC < -Ro, |Imfl >
{C | - Ro - 1 < ReC < -flo, |ImC| < i?o}, % = O0 - 3, j > 1 and
Vo* = i l ^ V y ) , y 0 = S I 1 fa), fij = $I^(i2j), j > 0. Prom lemma 2.5,
Vo is contained in the Fatou set F(f0) = C \ J(/o) and f0 : fij+i -» Clj is
homeomorphic for j > 0.
For any z0 € </(/) and 0 < r < So, look at the forward images Bm =
fm(B(z0,r)), zm=fm{zo), m>0.
Let no be the smallest integer so that diam5 n o + i > (V Then Zo^o <
dianxBno < 80 for some 0 < l0 < 1. By corollary 2.3, there are a constant
K depending only on p and a ball B(zno,ro) C Bno with ro > diam5 n o /i^
such that the component of f~n°(B(zno,ro)) containing z0 is a subset of
B(zo,r). There exists B{yo,-h(rQ)) c B(zno,r0) C\ F(f). Let £»0 be a
deg(/ n : V-+B(x,26))<Pl.
Abstract
We show the following theorem of M. Rees: if the formal mating of
two postcritically finite polynomials is (weakly) equivalent to a rational
map, then the topological mating is conjugate to the rational map.
The dynamics of complex polynomials has been extensively studied and many
results are obtained. For example, a polynomial of Thurston's type admits
a description of the dynamics in terms of external angles, etc (see [DH1]).
However, much less is known for rational maps in general (see [R] for degree
two case). The mating is a way to construct a rational map or a branched
covering of S2 from a pair of polynomials with connected Julia sets. When
this is possible, we can understand the dynamics of the rational map in terms
of that of the polynomials. The notion of the mating was also introduced by
Douady and Hubbard [D].
There are two notions of the mating —the formal mating and the topo-
logical mating. In fact there is another, the degenerate mating, which is a
slightly modified version of the formal mating. To define the formal mating,
we take two copies of C each with the circle at infinity and make a topological
sphere by gluing the copies together along the circles at infinity. Then define
a mapping on the sphere using one polynomial on one copy and the other
polynomial on the other copy. To define the topological mating, take the
disjoint union of the filled-in Julia sets of the polynomials and identify the
point with external angle 9 for one polynomial with the point with external
angle —9 for the other polynomial. Then there is a naturally induced map
on the quotient.
Now the question is when they are "equivalent" to a rational map (mata-
bility). For the case of degree two, there are several works [L], [W], [R] and
the final result on the combinatorial matability is obtained by Tan Lei [T].
As for the relationship between the two matings, M. Rees [R] proved:
/ / the formal mating of two hyperbolic polynomials of Thurston's type is
Thurston equivalent to a rational map, then the topological mating is conjugate
to the rational map. ([R] §0.15).
The main theorem (§1.7) of this paper claims that this is also the case even
if the polynomials are merely of Thurston's type and the formal mating can
be replaced by the degenerate mating. This generalization has an interesting
consequence. If we start with two polynomials of Thurston's type which have
empty filled-in Julia sets (consequently with Lebesgue measure zero), when
289
290 M. Shishikura
they are "matable", by gluing these Julia sets (which are "dendrites"), we
obtain not only a topological 2-sphere but also a complex structure on it such
that the induced dynamics is analytic with respect to this structure. For
example, this is the case when z2 + i is mated with itself.
The main idea of the proof is similar to [R]. However, the critical points in
the Julia set cause a lot of complications. The reader should notice that many
of our arguments are trivial in hyperbolic case. M. Rees says she has also a
proof for this generalization, so the author does not insist on the priority for
it. This paper is aimed simply to provide a proof available for the sake of
future development of the theory of matings.
In §1, we define the matings and state the main theorem. In §2, when two
polynomials are matable, we construct a semi-conjugacy h from the formal
mating to the rational map. In §3, we study the properties of h. In §4, we
conclude that two points are mapped by h to the same point if and only if
they are ray-equivalent. Here we use a generalization of Douady's lemma
(Remark 4.3(3)) instead of Lemma 3.7 in [R]. Together with this, the use of
the map G (Lemma 4.5) is the new idea, which made it possible to prove the
theorem in non-hyperbolic case.
I would like to thank A. Douady, J. H. Hubbard, Mary Rees and Tan Lei
for helpful discussions, especially Tan Lei introduced me the subject of the
mating, told me the importance of the theorem, finally encouraged me to
include this paper in this volume and helped the arrangement for retyping
the paper. I would like to thank also IHES and Akizuki project (founded by
Toyosaburo Taniguchi) for supporting my visit to IHES in the year 1989/90,
during which this paper was written. The original version of this paper had
been circulated as IHES preprint M/90/48 (1990).
1.1 Formal mating. We add to the complex plane C "the circle at infinity"
which is symbolically denoted by { oo • e27ri* | 6 € K/Z }. Define
C = C U { oo • ,2m9
e
On a theorem of M. Rees for matings of polynomials 291
Let Ci, C2 be two copies of C, and from now on we consider that fj acts
on Cj, i.e. /.,•: Cj —> Cj (J = 1,2). Let ~ be the equivalence relation in
Q LJ Q (disjoint union) which identifies 00 • e2jrie in Q and 00 • e'2irxS in
Q for 9 e R/Z. Then the quotient by ~ is topologically a two dimensional
sphere. So denote
F = /, JL h =
n>0
We say / is of Thurston's type, if # P ; < 00. Two such maps /, g are defined
to be Thurston equivalent if and only if there exist orientation preserving
292 M. Shishikura
homeomorphisms 6,9': S2 -> S2 such that 9 = & on Pf, 9(Pf) = Pg, 9 and
0' are isotopic relative to Pf, and the following diagram commutes:
s2 —- * S2
'I 1-
S2 - !Us".
Definition, / i and / 2 are strongly matable if /i-LL / 2 is Thurston equivalent to
a rational map.
Remark. Thurston gave a topological criterion for a branched covering to be
equivalent to a rational map (see [DH2]). Namely, if a branched covering /
is not equivalent to a rational map, then there exists a so-called Thurston
obstruction, which consists of disjoint simple closed curves in S 2 \ Pj with
certain homotopical growth property under f~n. This criterion is in general
difficult to check. However, in case of degree two, there are extensive works
[Ft], [T] using Levy cycle criterion which is proved to be equivalent to the
Thurston's. For higher degree, it is known [ST] that Levy cycle criterion is
not equivalent to Thurston's.
In 1.4, we will see how to reduce F when a "removable obstruction" exists.
<p-K) | 5 1 = i d s i .
and the closed external ray of angle 9 is its closure in S2, i.e.,
Hence if x and y are on two external rays which touch each other either at the
equator S1 or at the Julia sets dK\ U dK2, then x and y are ray-equivalent,
in other words, two point are ray-equivalent if and only if they are connected
by a path consisting of closed external rays.
Remark. If an external ray in a ray-equivalence class is periodic (as a set),
then all other rays in this class are also periodic with the same period. It
follows that if a ray-equivalence class contains a preperiodic point, then this
class contains only finitely many external rays.
1.5 Matability.
Definition. Two monic polynomials are matable if and only if the degenerate
mating exists and is Thurston equivalent to a rational map.
294 M. Shishikura
1.6 Topological mating. Using the ray-equivalence, we can define the quo-
tient ~space~S2~/^aind the topological mating F* = [/i±L/ 2 ]*: S21 ~—>
ray ray
S2/ ~ as the induced map from F. Since every ray lands on a point in dKtl
ray
or dKf2, we have
S7~=A' A UA7 2 /~,
ray " ' ray
where the point in dKf{ with external angle 6 is identified with the point in
8Kh with external angle -6 (0 € K/Z).
In general. S21 ~ is not always homeomorphic to the sphere. It is not
ray
known if the quotient is always a Hausdorff space. In [ST], we gave an example
for which S2/ ~ is a sphere but f\ and fa are not matable.
ray
c —5->. c,
where F = f\ J l /2 is the formal mating;
(ii) h is a uniform limit of orientation preserving homeomorphisms;
(iii) h is conformal in intK;l LJ int Kf2 onto C \ JR and h~l(C N JR) =
int A^/, LJ int X/ 2 ;
(iv) for x, y G 5 2 , /i(x) = /i(y) if and only if x and y are ray-equivalent.
In other words, the topological mating F*: S2/ ~—> S2/ ~ is conjugate
ray ray
to R by h: S2/ ~->- C induced by h.
ray
Remark. If both f\ and / 2 are hyperbolic, this result was obtained by M. Rees
(Lamination Map Conjugacy Theorem [R] §0.15). However, she stated the
theorem in terms of laminations.
Corollary. Under the hypothesis of the theorem, the ray-equivalence is closed.
Moreover, II\E'- E -> JR induces a semi-conjugacy between zd\si and R\jR-
This semi-conjugacy is a uniform limit of topological embeddings.
For further properties of h, see Proposition 3.1.
On a theorem of M. Rees for matings of polynomials 295
and
D[tj) = id in C \ Wjy
where v is a continuous function such that v(r) = 1 (0 < r < rj), v(r) = 0
(r > r 2 ) with 0 < r, < r 2 and {\WJ\ < r 2 } C Wj.
For two homeomorphisms 9,8': S2 —> C, we write 0 ~ 9' is there is an
isotopy H: S2 x [0,1] -> C such that #(•, 0) = 0, //(•, 1) = 0' and H{x, t) =
0(:r) for x e PF and t E [0,1]; we write 0 ss 0' if in addition there is a
neighbourhood V of {(,-} such that H(x,t) = 9{x) for x e V and t g [0,1].
Since {(,} and {Q} are super-attracting and deg^ F = deg(, R, there
exists a local conformal conjugacy between F and R near these orbits. Hence
there exists a homeomorphism ff0: S2 -> C such that 0J, ~ 90, O^ ° F = Ro 0'Q
near Q and 0J, is conformal near Q. Since F and R are branched coverings
branching only over Pp and P# respectively, we can lift the isotopy between
do and 0'0 to an isotopy starting from 6\. So we obtain a homeomorphism
9\: S2 -> C such that 9'0 o F = R o 0[ and 9[ ~ ^ ~ 6>0 ~ <?o- H e n c e
Ro6'0 = Roffi near C r It follows that
for some tj 6 •pZ. On the other hand, for each j and s € K, there is a
homeomorphism D : C ->• C such that £>P+1) o /? = /? o D and D % £ ) ^ ,
where £)« ' = Z?i° and « is defined similarly as above.
Let ^ = Dll] O Dil' o • • • o Z?^:' 1 o 9'0, w h e r e 3 are determined below.
Then there exists a homeomorphism 6\: S2 -> C such that 6\ ~ 9\ and
0* o F = /? o 0*. By the above remark, we have
Then define 9n+\ — Hn(-, 1). It is easy to check the conditions for 0n+l, Hn.
Thus we have constructed the sequences 9n, Hn.
and at the singularity, ||-|| has the form u(z)|dz|/|z|" with 0 < /3 < 1 and
u{z) > 0 continuous. This metric defines the same topology on U as the
standard one. Moreover, the metric d defined by ||-|| satisfies
(ii) Let U' be a set such that U' C U. For any e > 0, there exists S > 0 such
that if a is an arc in U' \ PR with diam(a) < 8 then /i-length(a) < e,
where diam(-) is the diameter with respect to the spherical metric.
C= sup
because of the uniform continuity of i/ 0 and Lemma 2.4(ii). Using the con-
dition (c), we have
This shows the uniform convergence of 6n with respect to the spherical metric
of C. Let h = limn-+oo 9n- Then h must satisfy h o F = i? o h by (b). Other
properties of /i are also easy to check, using the fact that
n>0
B
C \ JR = (J /2- (0o(V)) = | J
n>0 n>0
QF,={xeS2'\irl(x)?lpt},
(b') = (b); (c') = (c) with PF, PR replaced by PFUQF, PRUQR, respectively;
(dl') = (dl);
First, we may assume that 9 = & on PFi U QF< and the isotopy between
9 and 9' fixes QFi as well as PFi, by lifting 9, 9' and the isotopy by F' and
R and replacing them by the lifts. We can modify them again, as before, so
that 9 and 9' coincide and are conformal in a neighbourhood V = 7r(V) of
the super-attracting orbits of F', and the isotopy fixes V.
By the definition of F', there exists a continuous map rj — S2' -> S2'
such that F = F' o T]\ r) is homotopic to the identity by a homotopy which
differs from the identity only in a small neighbourhood of F~l(QF') \ Qp.
Now define 90 = 9 o TT and 9\ — 9' o rj o n, and construct the homotopy Ho
from (isotopy between 9 and 9')oir and 0'o(homotopy between r/ and id)o7r.
Then it is easy to see that 90, 9y, Ho satisfy the conditions (a')-(d4'). By
the lifting argument, we can construct sequences 9n, Hn, since the condition
(d2') is enough to guarantee the possibility of lifting. Then using (b') and the
homotopy Hn, one can check (a') for 9n+i-
Note that we can take Ho with the additional condition:
H0(x,t) i90{V)loxxiV.
(iii) F: h~l(z) -> h~1(R(z)) is a map of degree degzR. More precisely, for
zeC,xeh-l{R(z)),
d(h, h!) < min{distance (2, dV), distance (V, h(S2 \ ( / , U i/2))}.
Then it follows that h'{S2 \ Ux U I/a) n V = 0, hence h'"l(V) Cl/iU f/2l and
/i'(/i-'(z)) C V hence ^ n /i'-'(K) ^ 0, (72 n ^"'(V) ^ 0. This contradicts
with the fact that /i'~'(V) is connected.
Suppose thatft"'1(2) is separating, i.e., there exist non empty sets Vi and
V2 in S2 such that Vx n Va = 0 and S2 \ ft"1^) = V, U V2. For any w 6
C \ {z}, either /i"'(u») C V\ or /i~'(u)) C V2, since h~l{w) is connected.
Define W{ = {w € C x {z} | /i"1 (u;) c V^} (i = 1,2). Then ^ n W2 = 0 and
jy, u W2 — C s {z}. By the continuity of h, the set function w -> h~x(w)
is "upper semi-continuous", hence Wi are open. Since Vi were non-empty, so
are Wi. This contradicts the fact that C \ {z} is connected,
(ii) Fix r0 > 1, 6 E R/Z, j — 1 or 2, and consider the arc
diamRn{h{a)) = diam/i(F"(a)) -^ 0.
N{z,x)=
for z £ C and x € S2. It is easy to see that this function is lower semi-
continuous. On the other hand, for fixed z, N(z,x) is upper semi-continuous
as a function of x 6 h~i(R(z)}, since
N(z,x)=d-
(S2,h-
In the above diagram we consider Fl as a branched covering from a simply
connected neighbourhood of h~l(w) to a simply connected neighbourhood of
h~l(a). Then we can lift F9 by Fl to obtain G, since F"1 is homotopic to
identity in this neighbourhood by a homotopy fixing the points in h~l (a)C\PR.
Now we verify the properties of G. By continuity of h there exists a
neighbourhood V of u such that if z 6 V then h~x(z) C f/. By the above
diagram, we have G{h-X(z)) c F-'(F i + p (/i- l ( w )) = h-^R-^R^icu))) which
is a disjoint union of h~l(zi)'s (zi e R~'(Rl+p(u)))). Since /i-1(2:) is connected,
h^1(z) must be contained in one of h~1(zi))s. Let w = G(z) = Z{. Note that
F p | s i in a neighbourhood of h^(a) n 5 l is locally an expanding map with
304 M. Shishikura
Xn=h-1(zn)nS1;
if zn <£ V, then gn = F\Xn and zn+i = R{zn);
ii zne Vi, then gn = Gi\Xn and zn+i =
Then {X n ,y n }, together with n,S,N as above, satisfies the assumptions (i),
(ii) of Lemma 4.2. Hence
#h-*{z)nSl=#X0<N
and this bound does not depend on z. Thus Proposition 4.1 is proved. •
References
[DHl] A. Douady and J. H. Hubbard, Etudes dynamiques des polynomes
complexes, I and II, avec la collaboration de P. Lavaurs, Tan Lei et
P. Sentenac, Publication Mathematique d'Orsay, 84-02 (1984), 85-04
(1985).
Abstract
We give a proof of the theorem of Morrey-Bojarski-Ahlfors-Bers in
the L2 framework, using Fourier transform. We prove successively the
following results:
Th. 1 : For ft 6 L ^ ^ C ) with ||/i||i,°° < 1 , there is a unique
$ = $^ in H^iC) which is a solution of the Beltrami equation defined
by ft , such that $(z) — z tends to 0 at infinity. Moreover, if ft depends
analytically on a parameter A , then $^ depends analytically on A .
Th. 2 : If ft is C°° on a neighborhood of z0 with \ft(zo)\ < 1, the
Beltrami equation has local solutions which provide local C°° charts.
Th. 3 : If ft <= C^pCC) with \\ft\\Lco < 1, the map ^ is a C°°
diffeomorphism of C onto itself.
Th. 4 : For n in L ^ ^ C ) with \\P\\L°° < 1, the map $„ is a
homeomorphism of C onto itself.
Th. 5 : For fi in L°°(C) with ||/i||i» < 1, there exists a unique
$ = $Ji in /f/0C(C) which is a solution of the Beltrami equation defined
by ft, and a homeomorphism of C onto itselffixing0 and 1. Moreover, if
ft depends analytically on a parameter A, then ${, depends analytically
on A.
Nous donnons une demonstration du Theoreme de Morrey-Bojar-
ski-Ahlfors-Bers dans le cadre L2, en utilisant la transformee de Fou-
rier. Pour 1'enchainement des resultats, voir le paragraphe 3 de l'article.
1 Motivation
Soient U et V deux ouverts de C et (j>: U —> V un diffeomorphisme C°° (au
sens reel) preservant l'orientation, ce que nous ecrivons <j> € Diff+(U;V).
x l
Pour x 6 U, notons S^{x) l'ellipse Tx(j)~ (S ), consideree a homothetie reelle
pres, et posons n<f,{x) = §|/§f (i) • On a |/i^,(a;)| < 1. Les conditions suivantes
sont equivalentes :
(1) L'application <j) est conforme, i.e. holomorphe ;
(2) £$ est le champ de cercles ;
(3) M* = 0.
La donnee du champ d'ellipses S^ sur U (toujours a homothetie reelle
pres en chaque point) et celle de la fonction / ^ : ! / - > D sont equivalentes :
307
308 A. Douady, d'apres des notes de X. Buff
pour des fonctions n qui ne sont pas continues. On cherche alors des solutions
<j) qui ne sont pas C 1 , et les derivees partielles ff et | | doivent etre prises au
sens des distributions.
Une condition naturelle a imposer a <> / est alors d'etre dans l'espace de
Sobolev i// oc . C'est en tous cas une bonne presentation de la theorie. Nous
traitons le cas fj. E £^mP avec ||/i|k~ < 1) nous reservant de nous debarrasser
de l'hypothese [i a support compact a la fin. Les resultats que nous presentons
sont dus a Morrey, Bojarski et Ahlfors-Bers. La demonstration que nous
donnons utilise seulement des techniques L2 et la transformee de Fourier.
Nous preferons cette definition a celle qui consiste a voir les elements
de L2(U) comme des fonctions de carre integrable definies a une fonction
negligeable pres. En effet, suivant une morale heritee de Laurent Schwartz,
nous rechignons a evaluer une fonction en un point lorsqu'elle n'est pas con-
tinue. II nous arrivera cependant de parler des elements de L2{U) comme de
"fonctions".
On designe par L2comv(U) I'espace des fonctions de L2(U) a support com-
pact dans if, et par L2OC(U) I'espace des fonctions sur U qui sont localement
dans L2. On defiuit de rneme LX{U), Llmmp{U), Llloc(U). L'epace L}JU) est
le plus grand des espaces de fonctions sur U que nous considerons.
Pour L°°(U) il faut etre un peu plus soigneux : la boule fermee de rayon
r dans L°°(U) est la fermeture dans Lloc(U) de l'ensemble des / e C comp (t/)
tels que ||/||L<» < r (la topologie sur Lj^U) etant celle induite par le produit
des Ll{U') pour U' relativement compact dans U).
On ecrit L2 pour L 2 (C), etc.
Pour / € Ll[oc(U) et (/ n ) une suite d'elements de Ljoc(U), on dit que fn
tend vers / au sens des distributions sur U si
tdh
Ox '
La fonction g est uniquement determinee (comme element de Llloc{U)) par
cette condition.
On definit I'espace de Sobolev Hloc(U) comme I'espace vectoriel des fonc-
tions / € Ll>c(U) admettant des derivees partielles J£ et | ^ au sens des
distributions dans L2loc(U) . Pour / e Hj^U), on definit f{ et §£ par les
formules habituelles f£ = \{%- - i%-), % = U^- + i | f ) . Si U = 0, f est
J
oz Z ^ ox oy'' uz I ^ ox oy' oz '
holomorphe (lemme de Weyl).
Une fonction de Hloc(U) n'est pas necessairement continue, et c'est bien
dommage car cela faciliterait la demonstration du Th. 4. Par exemple la
fonction z H-> log | log \z\\ appartient a /// 0C (C).
3 Enonces
Theoreme 1.- Soit fi € ^Smpi^) avec IIMII/-00 < 1- Alors il existe une
fonction $ = $ , , £ ///^(C) et une seule qui soit solution de I'equation de
Beltrami
310 A. Douady, d'apres des notes de X. Buff
definie par /x, et telle que $(z) — z tende vers 0 quand z —> oo.
De p/us, si /i depend analytiquement (resp. continument) d'un parametre
X, la fonction $^ depend analytiquement (resp. continument) de X.
7^9 = f - g , II/IU-<
La derniere egalite permet de definir la transformation de Fourier /
comme isometrie de L 2. Pour f et g dans L2 , on a
Fg = f * g , /(*) = / ( - * ) et H/IU-<
Pour / 6 Llloc telle que / soit definie, et que §£ G L2 et ^ e L 2 , on a
et %-=
d
Le theoreme d'integrabilite des structures presque complexes 311
d'ou
5 Dans le cadre L2
Demonstration du Theoreme 1 : L'equation de Beltrami s'ecrit, en posant
$(2) = z + <p{z) et / = dip/dz,
L'operateur JJL- : h i-> n • h de L2 dans lui meme est de norme k < 1 et £ est
une isometrie, done 1 - fi-C : L2 —> L2 est inversible et si on note /2 l'^lement
/z de L2, on obtient
/ = (1-M-£)"V ,
soit
/ = pi + fi-C(fl) + fi-C{n-C(p)) + ....
Ceci demontre l'existence et l'unicite de la solution / 6 L2. A partir de / , on
obtient <p par </? = ^ * / et $ par $(z) — z + <p(z). Alors <p est holomorphe
au voisinage de l'infini et tend vers 0 a l'infini.
312 A. Douady, d'apres des notes de X. Buff
6 Un cas particulier
Une partie du Theoreme 3 est que $, ou ce qui revient au meme tp, est
C°°. Ceci pourrait se deduire du theoreme d'hypo-ellipticite des operateurs
differentiels elliptiques, dont un cas particulier est le suivant :
Theoreme. Si sur un ouvert U de C on a | | + u | ^ = v avec u et v dans
C°° et ||u||L=c < 1, dors cpeC00.
Mais il semble difficile de deduire le Th. 3 de ce theoreme. C'est pourquoi
nous choisissons de redemontrer le theoreme d'hypo-ellipticite dans la situa-
tion qui nous interesse, avec une demonstration qui donne pour le meme prix
le Th. 2, a partir duquel nous obtiendrons le Th. 3.
Pour le moment on va demontrer la proposition suivante.
Proposition 1.- Supposons fj, 6 C^p.
a) si ||/2||Li = I < 1, alors $„ est C°° ;
b) si ||/i||£,i = £ < 1/3, alors $M est un diffeomorphisme.
Demonstration : On a / = //•£(/) + fj.. Par consequent on peut ecrire
/ = A* (£
On sait que fi est a decroissance rapide et on va montrer que / est a decroi-
ssance rapide.
Lemme. Soit h : R + —> R + une fonction continue, tendant vers 0 mais qui
ne soit pas a decroissance rapide. Alors il existe un entier k € N et une suite
(xn) avec xn —>• oo, telle que x!^h(xn) —> oo, et
h(x)
sup —— ->• 1.
IJ. r n\xn)
Demonstration : Soit k un entier tel que h(x) & O(l/xk). Pour tout n e N,
Par consequent
hlx)
1 < sup - ^
|l-*nl<v
cqfd.
Reprenons la demonstration de la Partie a) de la Prop. 1. Supposons que
/ n'est pas a decroissance rapide. On va appliquer le lemme a
On trouve done une suite (Q) telle que xn — |£ n | satisfasse aux conditions du
lemme avec h(xn) = |/(Cn)|- Ecrivons
/ = An * iyj + (A - An) * I J / 1 + A,
ou fin — A • XD(O,V^T)- Alors, ||AnlU' < &, de sorte que
et
HF I
Done
avec £ < 1 et /(Cn) qui n'est pas dans O(l/xn), d'ou une contradiction.
Ceci montre que / est a decroissance rapide, et g aussi puisque ces deux
fonctions ont meme module. Par suite f et g sont C°°, done aussi ip et 4>.
Passons maintenant a la demonstration de 6). On suppose que ||A||n <
1/3, et de
d'ou
v < \\g\W < 2-
En tout point z € C, on a done
6t
dz - 2 = 2 dz
II en r&sulte que $ est un diffeomorphisme local. II est propre car $(z) =
2 + o(l). Done e'est un diffeomorphisme. cqfd.
9z ~ ^ ' dz
au voisinage de ZQ.
Demonstration : Quitte a faire une translation, on peut supposer que z0 = 0.
1) On va d'abord traiter le cas ou n(z0) = 0. On choisit une fonction
h 6 C^p telle que ft = 1 au voisinage de 0. On definit alors
hJz)=h[-
de sorte que
,f =e'|K) e.
,1 ar\ (77/
JJ
Sous-lemme.- Soit w 6 S telle que JJw(x,y) dxdy — 0. Alors on peut
trouver u et v dans S telles que
du dv
dx dy
p(x) — / w(x,y)dy
et ecrivons w = w^ + W2 avec
w,(a;, y) = p(x)h(y) et w;2(x, y) = w(x, y) - p{x)h(y) .
On a
p(x) dx = 0,
/ €R
done
/
Wi(t,y)dt= - / wi(t,y)
et
•y= - 0 0 Jj
y+oo
/
W2(x, t)dt = — W2(x,t)dt.
— — oo */ y
Alors on a du/dx = wx, dv/dy = w2 et u et v sont dans 5. cqfd.
Reprenons la demonstration du lemme. Appliquant le sous-lemme a ft, on
peut ecrire
dv \ dhe dhe
d£ dr]
Par consequent
<
316 A. Douady, d'apres des notes de X. Buff
dh dh
<e + dr]
cqfd.
O2 C72 O2
au voisinage de z0-
2) On s'interesse maintenant au cas ou /x(zo) — avec |/zo| < 1.
Soit A : C -> C telle que
9 Demonstration du theoreme 3
Sous les hypotheses du theoreme 3, l'application <J> : C -> C est C°° et propre.
Son degre topologique est 1 car $(-z) — z + o(l). Si $ etait constante sur un
on vert, non vide U, on aurait U ^ C, done 6^ aurait un point frontiere z0 et
on aurait une contradiction avec la proposition 3.b. Done $ n'est constante
sur aucun ouvert non vide et en chaque point z £ C elle a un degre local
vz > 0.
Pour tout ID 6 C, le degre total au dessus de w est egal au degre topolo-
gique, i.e.
E * = !•
ze*-'(u>)
Par suite $"'(w) ne contient qu'un seul point et le degre local de $ en ce
point est 1. Autrement dit, $ est bijective et est un diffeomorphisme local.
C'est done un diffeomorphisme. Ceci demontre le Theoreme 3.
10 Inegalites de Grotzsch
Proposition 4.- Soient A\, A2 et A3 des anneaux complexes, <p\ : Ay —> A3
et y>2 : A2 —> A2 des plongements C°° non homotopiquement triviaux et
disjoints. On suppose que ip\ est K\-quasi-conforrne et que ip2 est K2-quasi-
conforrne. Alors
1 Rt 1 i?2
= —log + T;log—.
27r r K R\
D'ou
log(/?4) + £ > (l - -^ J log fli + -^ log i?2,
avec un e arbitrairement petit, done qu'on peut supprimer. Autrement dit,
Corollaire 2.- Plagons nous sous les hypotheses du theoreme 3 avec ||//||j,°o =
k < 1, et supp(/i) c DR, et posons K = (1 + A;)/(l - k). Alors
a) Pour Z\ et 22 dans C auec |z2 ~~ zi| < r> on a
*(z,)| < 4r 1 / K (2i? + r ) 1 " 1 ^ ,
Pour |zi I > R + r, on remarque que pour t fixe avec |t| < r, la fonction z H->
$(x; + i) - $(2) est holomorphe sur C\DR+r, bornee par 4r]/K(2R + ry-l'K
sur le cercle de rayon R + r, et tend vers 0 a l'infini. L'inegalite o) decoule
alors du principe du maximum.
b) : La premiere assertion est une variante du Theoreme du | de Koebe,
en utilisant le fait que $ est univalente sur C - D R et est sous la forme
$(2) = 2 + 6i2 - 1 + • • • a 1'infini (voir [Po, page 8, foramle (8)]). II en resulte
que |$(2) — z\ < 3R sur D/j . La fonction 2 i-> $(2) — 2 est holomorphe sur
C — DR et tend vers 0 a l'infini; comme elle est majoree par 3R sur le cercle
de rayon R, elle Test aussi sur C — DR. cqfd.
Le theoreme d'integrabilite des structures presque complexes 319
11 Demonstration du theoreme 4
Soit (i e •i'Smp a support dans DR et verifiant ||/i||z/» = k < 1. Choisissons
une fonction 77 > 0 dans C ^ p telle que JJ77 = 1, et pour e > 0 posons
7/E(,z) = p-r7(J), de sorte que Jfr)£ — 1. Soit (en) une suite tendant vers 0, et
posons /i,, = r]en * /i. On a alors
• Mn G C comp ;
• supp(/i n ) € DR pour n assez grand;
• IKIU~ < * ;
• fj,n —> /j, d a n s L2.
On a
\\9n\\l? =
Done quitte a extraire encore une sous-suite on peut supposer que (/„) et (gn)
convergent faiblement vers des fonctions f et g dans L 2. Posons ip = li
de sorte que <j>(z) = z + <f>(z). II reste a demontrer le lemme suivant.
Lemme.
a) f — dip/dz (au sens des distributions) ;
b) g = d(p/dz (au sens des distributions) ;
c) f = M • 9 + A«-
Demonstration :
a) : Soit h e C^nv On a
/ / / • * -
320 A. Dou&dy, d'apres des notes de X. Buff
Par suite fingn tend vers fig et /„ = fingn + fin tend vers fig + fi au sens des
distributions. D'autre part, / „ tend vers / faiblement dans L2, done aussi au
sens des distributions. Par suite f = fi • g + fi. cqfd.
Ceci acheve la demonstration du Theoreme 4.
12 Un scrupule
Si fi depend continument (resp. analytiquement) d'un parametre A e A,
nous avons vu que <£>A est un homeomorphisme C —> C et que <p\ depend
continument (resp. analytiquement) de A pour la topologie L2. Mais la
dependance est-elle continue (resp. analytique) pour la topologie de la con-
vergence uniforme sur tout compact? La reponse est O U I dans les deux
cas:
a) : Cas continu. Pour tout Ao il existe un voisinage A' de Ao, un k < 1 et
un R tels que, pour A 6 A', fi\ soit de norme L°° bornee par & et a support
dans D/j (c'est du moins l'hypothese qu'il faut faire pour que ga marche...).
Alors les $A forment une famille equicontinue, done relativement compacte
pour la topologie de la convegence uniforme sur tout compact. Et sur une telle
famille, toutes les topologies raisonnables coincident, en tous cas la topologie
L2OC et la topologie de la convergence uniformle sur les compacts.
b) Cas analytique. On peut utiliser le lemme suivant :
Lemme,- Soient E\ et E% deux espaces de Frechet, L : E\ —> Ei une ap-
plication lineaire continue injective. Soient A une variete C-analytique et
F\ : A —>• Ei une application. Posons F-i = ioF\. On suppose Fi continue et
i<2 C-analytique. Alors Fj est C-analytique.
Demonstration : On peut supposer que A est un voisinage de 0 dans C"
contenant ( D i ) n . Pour k = (k\, ...,kn) posons
ck = /"••• f e-2i*<h't>F1(e2i*^+-+t»))dtl...dtn .
Le theoreme d'integrabiiite des structures presque complexes 321
Coinme F2 est analytique, on a F2(z) = X^eN" ^{ck)zk pour \z\ < 1, et comme
i est injective, on a F\{z) = Ylkew ckzk- cqfd.
</••*•>•£-</•••>•£•
Or (/' = *„) •*? £
Demonstration analogue pour la deuxieme formule. Les autres assertions
de (a) en decoulent immediatement.
b) : Ici encore le resultat est evident pour fi 6 C^mp, et nous allons ap-
procher $ par une suite (<!>„) comme au paragraphe 11, mais la demonstration
est plus delicate. II convient de considerer, plutot que des derivees partielles
| f et § les formes differentielles d<j> = | f dz et ~d<f> = %dz.
La norme L2 des formes differentielles de degre 1 est invariante par les ap-
plications conformes et quasi-invariante par les applications quasi-conformes:
Si <j>: \\\ -> W2 est un diffeomorphisme conforme (resp. if-quasi-conforme),
pour toute forme differentielle a de degre 1 sur W2, on a ||</)*a||jr,2 = ||a||i2
(resp. ±\\cl>'a\\L2 <\\a\\L, < K\\Pa\\L2).
Soit <f> € Hf^U) une solution sur U de l'equation de Beltrami definie par
fi, et notons / la fonction <f> o $~' sur $(U). Soit V un ouvert relativement
322 A. Douady, d'apres des notes de X. Buff
compact dans U. On veut montrer que / est holomorphe sur $(V). Pour n
assez grand, on a §{V) C $n{U), posons alors fn = <f>° ^ ' sur
Un calcul donne
Lemme.- Soit (u,,) une suite dans L'^mp avec ||un||L°° < rn independant de
n et ||un||x,2 —> 0, et soit g £ L2. Alors \\ung\\i2 —t 0.
Demonstration : Soit e > 0, et soit gx e Cc^np telle que ||ff-ffi ||x,2 < ^ ; . Pour
tout n, on a ||un(s-#i)IU 2 < f, e t p o u r n assez grand, on a \\un\\L2 <
d'ou ||u n 5i|| L 2 < f et ||u n 5|| t 2 < e. cqfd.
14 Demonstration du Theoreme 5
Soit /x 6 L°°(C) avec ||/X||L°° < k < I. Pour R > 1, definissons /xR par
fj,R = /j, sur D/e et /xR = 0 sur C - DR. Posons <J>R = 3 " ^ , et soit <l>Jj
Le theoreme d'intSgrabilite des structures presque complexes 323
Lemme.- // existe une constante KP telle que, pour tout R > 2, pour toute
fonction <f> holomorphe et univalente sur DR, laissant fixes 0 et 1, et tout z
tel que \z\ < j , on ait
—h 1—12
\<l>(z)-z\<
R
MlTSUHIRO SHISHIKURA
ment in writing this paper, and R. Oudkerk, for various comments and for
producing the drawings from our sketches.
/o(0) = 0 and = 1.
2.1.3. Let, for a large b > 0, fi~ = {z e C| Re(2;) > 6 - |Im(z)|} and
f2+ = {z € C| Re(z) < -b + | Im(z)|}. It is easy to see from the form of /£
that if b is sufficiently large, then on fi~ U Q+, /Q is defined and injective,
and satisfies
\fS(z)-(z+l)\<-.
Then it follows that
/o (?F) c f i - U {oo} and /0*(fi+ U {oo}) D fi+.
If z Gfi~,then (/o) n (z) are defined for all n > 0 and converge to oo as
n -> oo. Conversely if there is a neighborhood of ZQ on which the iterates
(/o) n (z) are defined for all n > 0 and converge to oo as n -> oo, then
(/o)"(zo) e fi~ for some n.
Bifurcation of parabolic fixed points 329
n>0
FIGURE 3. ft+, 5+
330 Mitsuhiro Shishikura
2.2.4. It can be easily seen that for any k with 0 < k < 1, there is a
large b' > 0 such that the image $~(fl~) (resp. $ + (fi + )) contains a set
{z\ Re{z) > 6'-Jfc|Im(z)|} (resp. {z\ Re(z) < -b'+ k\lm(z)\}) and on this
set there is a well-defined inverse branch of <fr~ (resp.
whenever the both sides are defined. Using the relation, one can extend £f0
to the region {w \ lmw\ > 770} for some 770 > 0. The relation implies that
£fo = n o £fo o TT~i : {0 < |iu| < e~2nri0} U {e27rr"> < \w\ < 00} -> C*
Then automatically
Under this normalization, it is easy to see that the transition map satisfies
Note that we can still add the same constant to $~ and <I>+, so there is
one more degree of freedom to normalize.
Comparing with the definitions in 2.3, we can interpret the transition
map as a map from the outgoing Ecalle cylinder C+ to the incoming Ecalle
cylinder, denned only in a neighborhood of the ends of C+.
{.9 : V{g) -> C| g is analytic, V{g) D K and sup d(g(z), f(z)) < e},
z<EK
where K is a compact set in T>(f), e > 0 and d(-, •) is the spherical met-
ric. (If the map is to some other space, then d should be replaced by an
appropriate metric.) A sequence {/„} converges to / in this topology if
and only if for any compact set K C 1>(f) there exists an n 0 such that
Bifurcation of parabolic fixed points 333
K C V(fn) (n > n 0 ) and fn\n -> ftc uniformly on K as n -> oo. The sys-
tem of these neighborhoods defines "the compact-open topology together
with the domain of definition", which is unfortunately not Hausdorff, since
an extension of / is contained in any neighborhood of / .
For bi, b2 6 C with Rebt < Reb2, define
If bx = —oo (resp. b2 = oo), the condition involving &i (resp. 62) should be
removed.
Proposition 2.5.2. Let F be o holomorphic function defined in Q with
Q - Q(bi,b2) and Reb2 > Re&i + 2 (here bx or b2 may be - 0 0 or ooj.
Suppose
Then
(0) F is univalent on Q.
(1) Let ZQ £ Q be a point such that Re 61 < Rezo < Re 62 - 5/4. Denote by
S the closed region (a strip) bounded by the two curves £ — {ZQ + iy\y € R}
and F(£). Then for any z £ Q, there exists a unique n € Z such that Fn(z)
is defined and belongs to S — F(f).
(ii) There exists a univalent function $ : Q —> C satisfying
Hence
1
{F(z0) - (z0 + iy + 1)} + x(F'(za + iy) - 1)| < -
4
334 Mitsuhiro Shishikura
rz rfc
(0
If we regard £ in this formula as a complex function, the correspondence
z n t gives a new coordinate in which theflowis actually the constant flow.
So according to the above idea, the Fatou coordinate must have a similar
behavior as t(z). The following statement justifies this observation.
Proposition 2.6.2. Suppose that $ and v are holomorphic functions in a
region U satisfying:
(i) There exist universal constants Ri,Ci,C2 > 0 such that ifU — {z \z —
zo\ < R} for R>Ri, then
(ii) Suppose U = {z 6 C*| 0X < argz < 92} (02 < #i + 2TT) and \v'(z)\ <
C/\z\1+v (z 6 U) for some C,u>0. For z0eU and 6[, 6'2 with 0x < 0\ <
9'2 < 92, there exists R2,C3 > 0 and ( e C such that
336 Mitsuhiro Shishikura
for z satisfying 9[ < argz < 9'2, dist(z,C \ U) > R\. Moreover C3 depend
only on 9i,9[.
See [Y] for a similar estimate.
Proof, (i) We may suppose z0 = 0. We take R so that R » 1. It follows
from Koebe's distortion theorem [P] that if \z\ < R — 2, then
viz >(z + v(z)) - $(z
a) = at)dt,
we obtain |1 - &(z)v(z)\ < C/R if \z\ < R/2 - 5/4 (this implies \z\ < R/2
and \z + v(z)\ < R/2). Again by Cauchy's formula, |(1 - &{z)v{z))'\ =
\<!>"(z)v(z) + &(z)v'(z)\ < C/R2 if \z\ < R/A. It also follows from Cauchy's
formula that \v'(z)\ < C/R and \v"(z)\ < C/R2 for \z\ < R/2. Therefore
v'(z)\ < \v'(0)\ + C/R2 for \z\ < 5/4 Hence we have |$"(z)| < C(l/R2 +
v'(0)\) for \z\ < 5/4. By the above Taylor's formula again, we have |1 -
&(0)v(0)\ < C(l/R2 + \v'(0)\) < C/R. So we obtain the desired inequality.
(ii) Note that in the sector 9[ < argz < 9'2 we have dist(z,C \ U) >
for some constant d > 0. So the result in (i) applies to the region
{ w — z\ < Ci\z\}, and gives
1
v(z) l+u
Integrating this formula along a path in the smaller sector, we obtain the
inequality. •
2.6.3. Proof of the estimate in Proposition 2.2.1. Let v(z) — /Q (z) - z =
1 + a/z + O(l/z 2 ), $ = $* and U = {z e C*| \ < argz < ^ } . Since
\v'(z)\ < C/\z\2, we can apply Proposition 2.6.2 and obtain an estimate in
a smaller sector:
/„ s V
//"V
4&
Case 1 *— _ Case 2
\
Two examples of perturbed orbits are depicted in the Figure. One no-
tices a big difference for orbits starting from a point on the left of the origin,
for example, on the negative real axis. For /o, such an orbit simply con-
verges to the origin; in Case 1, the orbit converges to an attracting fixed
338 Mitsuhiro Shishikura
point which bifurcated from the origin; however in Case 2, the orbit can go
through an "opening" between the two fixed points and leave the neighbor-
hood. Such a new type of orbits can give rise to a drastic change of the
global dynamics (such as the inflation of the Julia set). However it takes
an extremely long time for these orbits to go through the opening, so we
need to consider a large number of iterates of the map in order to see this
phenomenon. And the effect of the perturbation might accumulate during
the iteration, so it becomes difficult to control.
For the perturbed system as Case 1, there is not a drastic change in
the global dynamics, so we concentrate on Case 2. The distinction between
Case 1 and Case 2 can be given by the multiplier A of a bifurcated fixed
point. Roughly speaking, Case 1 corresponds to A which is closer to the
real axis than to the unit circle (or arg(A - 1) e [-f ,-f] U [^,^f]) and
Case 2 corresponds to A closer to the unit circle than to the real axis (or
arg(A - 1) € [7r/4,37r/4] U [5TT/4, 7TT/4]). (There are two fixed points and
two multipliers A, A' to consider. However by the theory of holomorphic
indices (see [Mi]) we know that
1 1
A-l A'-l
is continuous hence bounded, whereas A's are close to 1. So we can take
either one in the above discussion.)
We analyse such a bifurcation as in Case 2 using the Fatou coordinates
and the Ecalle cylinders. These objects for /o are already constructed in
§2, using "fundamental regions" S_ and S+. An important fact (which
we prove later) is that such fundamental regions continue to exist after a
perturbation corresponding to Case 2. The difference is that now the tips of
the croissant shape are at two distinct fixed points. So we can also construct
Ecalle cylinders and Fatou coordinates.
This setting allows us to trace the orbits which go through the open-
ing between the fixed points. For this purpose, it is essential to know how
an orbit coming in through the incoming fundamental region S-j goes out
through the outgoing fundamental region S+j. In fact, we will see that this
correspondence (incoming point in S-j) •-> (outgoing point in S+j) induces
a translation between the two Fatou coordinates and an isomorphism be-
tween the Ecalle cylinders. The crucial point is that this correspondence
depends sensitively on the perturbation (or the parameter), however the de-
pendence can be controlled in terms of A (or more precisely 1/logA where
log 1 = 0 ) . In fact, in a suitable coordinate with a normalization, the above
correspondence can be written a s z ^ z - 2ni/ log A. (See Proposition 3.2.2
(iii).)
In Case 2, points near the tips of the croissants S+j have orbits which
return many times to S±j. So the (first) return map can be defined on
Bifurcation of parabolic fixed points 339
S+j, and its iteration can be used to analyse the long term behavior of
those orbits. Such a return map induces a (well-defined, continuous and
analytic) map 7£/ on the Ecalle cylinder C+,/. Studying the dynamics of
11 f, we are able to obtain more information on the Julia sets.
In this section, we state these facts more precisely and give the proof.
§3.2. Statements.
3.2.1. Let fo(z) = z + z2 H € To be as in §2. If / is an analytic mapping
close to /o, then it has twofixedpoints near 0 counted with the multiplicity.
By changing the coordinate by a translation near the identity, we can shift
one of them to the origin, so / reduces to the form
Note here that there are in general two choices- which fixed point to put
at the origin. In fact, for a parametrized family of maps containing /o, it
is in general impossible to reduce them to the above form by coordinate
changes depending continuously on the parameter. However this problem
can be avoided either by taking a branched double cover of the parameter
space, or restricting the family to the part Case 2 in the discussion in 3.1
(for example maps belonging to T\ defined below).
Anyway we may suppose that the map under consideration belongs to
_. _ J - / i s defined and analytic in a neighborhood of 0, 1
V /(o) = o. /'(o) / o /•
For / 6 J-, we express the derivative /'(0) as
/'(0) = exp(27ria(/))
where a(f) € C and — | < Rea(/) < | . Our study is focused on the maps
in the following class:
?i = {feT\ |arga(/)|<7r/4}.
340 Mitsuhiro Shishikura
Let <r(f) be the other fixed point of / near the origin (ff(f) = 0 if the
fixed point is degenerate). Since o~(f) is a solution of f(z) — z — 0, with
/'(0) = exp(27ria(/)) and /"(0) ~ /£(0) - 1, it is a solution of (e 27ria -
l)z + z(l + O{a) + O{z)) = 0. So(T(/) = (-27ria + O(a 2 ))(l + O(a) + O(z)),
and the O(z) term tends of 0 as a -> 0. Therefore a(f) = O(a) and
(iv) when f £ T\ tends to /o, S±j —> 5±,o U {0} in the Hausdorff metric,
and ^ ± , / —> ^±,o in the topology defined in 2.5.1.
The proof will be given later in §3.4.
It is often easier to work with (pf — (^+j)~1 and for applications, the
following is more powerful.
Qo = {w: |arg(-tu-6')l<2jr/3}
for large £0 > 0 (see 2.2.4). There exists a neighborhood A/o of f0 such
that if f e_A/o l~> Fi, then there exist large £o>»?o > 0, and analytic maps
<pf : Qf -> C and %j : {w 6 C : | lmw\ > r/0} -> C, where
<pf(w + l) - fotpf(w);
ipf(w) -» 0 when w e Qf and Imw -> +00; yf{w) -> <x(f) when w 6 Qf
and Imw —> —00;
f«J / / |w| > 770,
TZf(w) — it) ienrfs io —l/a(f) when Imw —> 00, £0 a constant when Imw —>
finj //u; € Q/ satisfies \w\ > TJQ and w' = TZf(w) + n € Qf for some n € Z,
Moreover the convergence of itf + -^fy; is uniform with respect to the Eu-
clidean metric.
The proof will be given in §3.5.
3.2.4. The induced return map Ilf on the Ecalle cylinder.
By Proposition 3.2.3 (ii), Hf induces a well-defined mapping IZf on C*
via ir(w) = e2niw:
27ri
Suppose that w,w' € Q/, \w\ > 770 and %f(n(w)) — TT(W'). Then by
definition, Hf(w) + n = w' for an integer n, and therefore fn{y>f(w)) =
<Pf{w') (n > 0), or f~n(<Pf{w')) = ipf{w) (n < 0). Note that
hence this expression is bounded in {|Imw| > J/o} (taking j/o larger if nec-
essary). On the other hand, R e l / a ( / ) —> +00 when T\ 3 f -> /o- There-
fore for f E. Ti sufficiently close to /o, we have Re7i/(to) < Rera and
2TT/3 < arg(7J/(w) — w) < 4TT/3. SO in this case, the above integer n is
positive (or even large) if Re w and Re w' stay bounded. This is also the
case if
I arg(u/ + — - - w)\ < 2?r/3.
the identifying map 7r2 : C/Z -> C* by 7r2(w mod Z) = exp(2iriw). Then
7r is decomposed as 7r2 O TTI. Note that TT2 sends the upper (resp. lower)
end of C/Z to z — 0 (resp. oo). Let Hf = Kiojif o ?rfx = TT^1 O 7?./ O ?r2.
The dynamics of 7£/ near the upper end of C/Z is close to the translation
by - I / a mod Z, and near the lower end it is close to a translation by a
constant.
3.2.5. To study the quantitative aspect, it is often more convenient to work
with <p*j = / o ipf. Let us define £>(»?) = {w 6 C| \w — ir?| < |»?|/4} and
£>'(JJ) = {w € C| |w - iT/l < |r?|/2}, for rj <E R
As a corollary of Proposition 2.2.1 and Proposition 3.2.3 (iv), we have
the following:
For large r) > 0, there exists a neighborhood Afi(n)(c M>) of /oi depending
on r), such that if / € -^Vi(^)nJ"i, then y>/ is defined and injective on D(±n),
the image ip*f(D(±r))) is contained in D'(±r]) and | < |((/>J)'| < 2 on D(±T)).
3.2.6. Remark. For / e f with 3?r/4 < a r g a ( / ) < 5TT/4, instead of being
in T\, we can obtain a similar result as Propositions 3.2.2 and 3.2.3 with
the following changes:
the lower end of C/Z corresponds to the fixed point 0;
in the formulae and definitions, ^4TT should be replaced by -^TTJ, except
for the multiplier in 3.2.4, Tl'{{oo) = exp(-27ri^y);
in Proposition 3.2.3 (i), y>f{w) —> a(f) (w € Q/ and Imio —• +oo),
<Pf(w) —t 0 (w € Qf a n d Imw —> —oo).
u(z) = „,(,) = M f ^
is analytic and non-zero in the neighborhood. In particular, for / = / 0 ,
fr(/0) = 0, Uf0(z) = (fo(z) — z)/z2 = 1 + O(z). It is easy to see, for example
by using an integral representation, that the correspondences / •-> <r(/) and
/ M- Uf(z) are continuous (where we suppose that Uf is defined is a fixed
344 Mitsuhiro Shishikura.
«r(/) = -27rta(/)(l+o(l)) a s / ^ / 0 .
Tf(w) =W jjr.
where d^-(-, •) is the spherical metric on C Hence on any compact set, Tf(w)
converges to TQ(W) in the spherical metric when / —> /o.
(iii) For any e > 0, there exists Ro > 0 independent of / such that if
Tf'DR
3.3.3. Now we define the lift of / to the ^-coordinate. First note that if
/ G T sufficiently close to / 0 and Ro > 0 is large,
\<T(f)uf(z)/(l + zuf(z))\<C\<r\<l/2
- « * ' - • • / ( - )
4'
346 Mitsuhiro Shishikura
Proof, (i) Using e-2iri011u = 1 - a/z (z = T/(W)) and /(z) = z + z(z - o > ,
we have:
exp(-27rtaF/M) =
g
- _
27ria(/)(l } ^|
where Q(-, •) is the region defined in 2.5.1. If ft is large enough then f2^ c
V{Ff) for all / 6 M D .Fi. Moreover we may assume that for the same
ft >0,
and Uj = Q(-oo,-ft),
where fij stand for fi* defined for f0 in §2.1.3.
Let us fix two points tu* 6 fi* such that Re w~ > ft and Re w+ < -ft —
5/4. Then we may assume w± e fi* for all / e M"D J i and Re £ > 2ft + 2,
taking JV smaller if necessary.
By our assumption, \Ff(w) - (w + 1)| < -| and |i^(w) - 1| < \ on
fit, hence Proposition 2.5.2 can be applied. By (i), there exist fundamental
regions 5^ (c Ctf) bounded by I* = {w± + iy\y € R} and F^). By
(ii), there exist univalent analytic maps $J : Qj —> C and $^ : fl^ -¥ C
satisfying
sjn{J
and this will be the case if | Re ^TTJ | is large.
Since T/ is injective on a neighborhood of 5*, {rf\s±)~l extends to a
neighborhood of S'± f. Then define
Lemma 3.4.2.
$toT/(«))-$7(w)
7 + — r ^ O , when f -> f0.
' a{f)
$}oT/ = $- + di.
Jw~ Ff(O-C
converges to a constant, when w tend to oo satisfying TT/4 < arg(u> — w0) <
3TT/4 . It follows from Proposition 2.6.2 (ii) that there exist constants c±(f)
such that
when w tend to oo within a sector of the form {w | 6[ < &rg(w - w0) <
Q'2} CQ*, where TT/4 < 0[ < 9'2 < 3n/4 and w0 € C.
Thus we can express the constant d\(f) as
dx(f)= Um(^oTf(w)-^J(w))
the total integral is zero, and the integrals on the vertical sides cancel by
the periodicity of £f (w) - w. Hence, we have
where the integrals are along segments. Letting T]2 -+ oo, we obtain
= / (£f(w) w)dw.
Jim
because of the normalization for £f0 (§2.4). So the assertion follows, since
$;or / -$7 + ^ y = c+(/)-c_(/). •
3.4.3. Normalization. Now we change the normalization for <3>7 and re-
place it by $7 + c+(/) - c_(/). According to Lemma 3.4.2, this replace-
ment depends continuously on / . So it does not affect other statements of
Proposition 3.2.2. After this normalization, we have:
n = $7(jyH^)) - ^ 7 7 + n.
(/j
This would imply (iii), since $-,/(.z) = ^^(rT" 1 ^)) and $ + i / (/ n (z)) =
4>j(F?(w)) by the definition of $ ± > / . D
350 Mitsuhiro Shishikura.
Qf = {weC: | arg(-w - £o)| < 2TT/3 and | arg(w + — r - £0)l < 2TT/3 },
Hence
I a r g ( * ; H - $ ; ( - & ) ) I <TT/3
Together with the result on the angle, this implies that $ ^ maps the
left (resp. right) boundary of Q(£2 - I/a, - & ) to the left (resp. right) of
Qf. Therefore $^(Q(£2 - 1/", -&)) covers Qf, and so does $J(ttf). •
-R.f(z+l)=iif(z) + l;
itf(z) — z tends to —l/a(/) when Im^r —> ex), to a constant when Imz —¥
—oo.
To prove (iii), suppose that w, w' = TZf(w) + n G Qf for some n G Z. If
n>0,
= T / o C ^ ) - 1 ^ ; o Tf o (*+)"1(i«) + n)
ipo(w+ 1) = f0oip0(w).
Moreover in the above formula, one side is defined if the other side is defined.
More precisely ,w + le V(ip0) if and only if w e V(<p0) and ipo(w) € P(/o).
(iii) If /o is a rational map or an entire function, then T>(<p0) = C.
Bifurcation of parabolic fixed points 353
Proof, (i) If follows from the definition and the estimate in Proposition 2.2.1
that Qo is contained in $o,-(^+) on which (p0 was originally defined. Then
we take (ii) as the definition of T>(y>o), in other words, w E. T>((po) if and only
if there is an integer n > 0 such that w - n € Qo and fl ((fo(w - n)) 6 Z>(/o)
for j' = 0 , . . . , n — 1. In this case, we define ipo(w) = foifoiw ~ n))- This is
well-defined, i.e., the definition does not depend on the choice of n because
of the relation on po in Qo.
It follows also from the estimate in Proposition 2.2.1 that
{w\ | lmw\ > 7} + 2| Rew\} C $+,o(0_ n ft+) = * J ( f i " D fi+)
for large 77 > 0. Hence if |to| > 7/ + 1 then there is an integer m such that
u> + m € $+,o(^-)- Therefore by 2.1.3, fo(fo('w + m) is defined for all
n > 0. It follows from the definition that w € T>(<p0). Thus (i) is proved.
(iii) is a consequence of (ii), since we can iterate rational maps and entire
functions anyway. •
4.2.3. Extension of $_,o- Let B be the basin for the fixed point 0, i.e.,
z 6 B if and only if there is a neighborhood of z on which / " (n = 1,2,...)
are defined and converge to 0 uniformly.
Then $ ^ 0 can be extended to B, which contains fi_. If z e B, then
fQ(z) e B and
$ - , o o / 0 ( z ) = $-,o(2) + l.
Proof. If z € S, then /£(z) € ft_ for some n > 0, by Lemma 2.1.6. So let
$_ i0 (z) — $-,o(fo(z)) ~ n- Then it is easy to see that this is well-defined,
and satisfies the functional equation. •
For simplicity of notation, let us write $0 — $-,()•
4.2.4. Extension of £fo. Let B = (PQ1(B), then T(B) = B and B contains
{w I I Imw| > T70} for some rj0 > 0.
Now define £f0 : B -> C by
£fo = $ o ° Vo-
This definition coincides with the original definition in 2.4. It satisfies
£fo(w + 1) = 4 H + 1foru; € 5.
We always assume that f/0 is normalized, i.e.,
£fo(w) ~ w
+ °(1) as Irntu-^ 00.
+ l) = foipf{w).
Bifurcation of parabolic fixed points 355
Continuity. When / e jVo n f0 and / -> /o, we have iff -> y>0
respect to the compact open topology together with the domain of definition.
Proof. Let K be any compact set contained in T>((p0). There exists an n > 0
such that T~n(K) = {w-n\w 6 K} C Qo. By definition of 2%o), /#(#) C
V(f0) for j - 0 , 1 , . . . , n. If / is sufficiently close to / 0 , then T~n(K) is
contained in Qf and /•*(#) C Z>(/) for j = 0 , 1 , . . . , n. This implies that
K C T>(ipf). Moreover fn((pf(w - n)) -> fo(<po(w - n)), since Proposition
3.2.3 already guarantees the continuity on Qf. V / | Q / -> Volco- ^
+ 1 i / z , / ( z ) e !?(*/).
4.3.3. The return map Hf. We redefine the return map Hf as follows.
First define:
Finally define
and
Then we have:
Claim. 7t/ is well-defined and satisfies
Qf = {weC: | arg(-w - £o)| < 2TT/3 and | arg(to + -^j- - ^o)| < 2TT/3 },
and <Pf(V(<pf)) C P ( / ) ;
Ifw,w + l e T>(cpf), then
= fo<pf(w);
Bifurcation of parabolic fixed points 357
<Pf(w) —> 0 when w 6 Q/ an<f Imw —• +oo; ff(w) —> <r(/) w/ien it) € (2/
and Irnto —> — oo.
(ii) V(TZf) contains {w € C : | Imu>| > 770} and is invariant under T(w) =
w+ 1; Ifw eV{Hf), then
TZf(w) — w tends to —l/a(f) when Imio —» oo, to a constant when Imw —>
—oo.
(in) Ifw € V(V,f)nT>((pf) and w' = Hf(w) + n € V{<pf) for some n 6 Z,
Proof. This follows from Proposition 3.2.3, 3.2.4, 4.3.1-4.3.3. Note that the
condition |$/(y>/(to)) —tu| < Re( 2a (/)) w a s added in the definition ofD(TZf)
in order to guarantee the last statement of (iii). •
" f for lower.) In general, Bu and Bl may coincide. Obviously TBU = Bu,
TBl = Bl. Then define Bu = *(!?•), Bl = * ( #
Definition. Let .Fo* be the set of functions / e T such that /'(0) =
1, /"(0) = 1 and / has an immediate parabolic basin which contains only
one critical point of / . Then this basin is automatically simply connected
by Lemma 4.5.2.
by </>O(T')> not containing 0. Since both the immediate basin B and fl+ =
Vo(Qo) are simply connected and do not contain 0, we have W C 5 n f i + . It
follows that 7' is trivial in Bu and so is 7. Therefore Bu is simply connected.
Then Bu U {0} (or Be U {0}) is also simply connected, since the fun-
damental group of Bu is generated by a curve around 0, which is trivial in
£"U{0}.
Finally, let us show that Bu and Bl are different components of B.
Suppose Bu = Bl. Then Bu = Bl = C, since Bu and Be are invariant
under T, simply connected, and contain half planes. Therefore B contains
Q- and £1+ = </?o(Qo), and the union is a punctured neighborhood of 0. But
B is simply connected punctured neighborhood of 0, so B = C \ {0}. Hence
/o is a parabolic Mobius transformation, since it is analytic on C and has
no periodic point in B. Then /o has no critical point and this contradicts
the assumption. Thus we have Bu n Bl - <f>, hence Bu D Be = <f>. O
claim that
r
$(p) - $(po) = / <S$7(t) 7(0 dt .
Jo
Proof. Transversality implies that fQ \\j(t)\\dt < Ce where C < 00. Let
Pi =7(1/2).
Assume t 6 [0,1/2]. We have 7(0 = (so, z(t)) and <&(y(t)) = PPo(z(t)),
with dot-derivative equal to Ppo(z(t)) • z(t) — S^^^j(t). Here we use the
trivial fact that Pp?{z) = P^t){z). So $(pi) - *(p 0 ) = / Q 1/2 <S*7(t)7(t) dt.
Now let t vary in [1/2,1]. As 7(0 follows the curve (s, hifB{w{)) with wi
unchanged, we have the same functions Q(s) and H(s) along the curve. So
7(0 = (s(t),Q(s(t))), and $(7(0) = #(*(*)) w i t l x dot-derivative equal to
//'(s(O)-s(O = <5*7(t)7(0. here we use the fact that j(t) = (1, Q'(s(t)))-»(0»
and 5$7(t) maps (1, Q'(s(t)) to H'(s(t)). So $(p)-$(pi) = J x / 2 <5$7(t)-y(0 dt.
The formal differential is equal to the differential. For p, po as
above,
(p - Po)| =
<f Jo
Letting e ^ O w e see that $ is complex differentiate at p 0 with differ-
ential d$Po — 8$Po, and with d# Po depending continuously on po.
Assume now that s = (si, • • • , Sfc) varies in an open set of Cfc. The same
argument as above shows that $ is holomorphic in each variable Sj. As $
is continuous in (s,z), it is in fact holomorphic.
Finally we come to the setting of Proposition 3.2.2. For fs a family
of maps the approximate Fatou coordinates for fa will provide a holomor-
phic family Fs(z) satisfying the conditions of Propositions 2.5.2 and A.I.
Therefore the Fatou coordinates $±,s(z) are holomorphic for s € A.
REFERENCES
[Fa] Fatou P., Sur les equations fonctionnelles, Bull. Soc. Math. France 47
(1919) 161-271 and 48 (1920) 33-94, 208-314.
[La] Lavaurs, P., Systemes dynamiques holomorphes: explosion de points
periodiques paraboliques, These de doctorat de l'Universite de Paris-Sud,
Orsay, France, 1989.
[Le] Leau, L., Etude sur les equations fonctionnelles a une ou plusieures
variables, Ann. Fac. Sci. Toulouse 11 (1897).
[Ma] Mandelbrot, B., On the dynamics of Iterated maps V: Conjecture that
the boundary of the M-set has a fractal dimension equal to 2, p. 235-238,
Chaos, Fractals and Dynamics, Eds. Fischer and Smith, Marcel Dekker,
1985.
[Mi] Milnor, J., Dynamics in one complex variables: Introductory lectures,
Preprint SUNY Stony Brook, Institute for Mathematical Sciences, 1990.
[P] Pommerenke, Ch., Univalent functions, Vandenhoeck & Ruprecht, Got-
tingen, 1975.
[Sh] Shishikura, M., The Hausdorff dimension of the boundary of the Man-
delbrot set and Julia sets, Annals of Math. 147(1998), 225-267.
[Tan] Tan L., Local properties of the Mandelbrot set at parabolic points.
365