arxiv: v1 [math.ds] 28 May 2016

Transcription

1 On the Dynaics of Rational Maps with Two Free Critical Points HyeGyong Jang and Norbert Steinetz April 4, 2018 arxiv: v1 [ath.ds] 28 May 2016 Abstract. In this paper we discuss the dynaical structure of the rational faily (f t ) given by f t (z) = tz ( 1 z ) n ( 2, t 0). 1 + z Each ap f t has two super-attracting iediate basins and two free critical points. We prove that for 0 < t 1 and t 1, either of these basins is copletely invariant and at least one of the free critical points is inactive. Based on this separation we draw a detailed picture the structure of the dynaical and the paraeter plane. 1. Introduction Non-trivial rational failies (f t ) norally contain specific aps of different character with ost interesting and unexpected Julia sets: - totally disconnected Julia sets (Cantor sets) occur in any faily z z d + t; - Julia sets consisting of uncountably any (a Cantor set of) quasi-circles occur in the McMullen faily z z +t/z n, which was introduced in [9]. The nuber of papers on various features of this faily is legion; [3] arks the preliinary end of a long list of papers. - Julia sets that are Sierpiński curves (Tan Lei and J. Milnor [12] were the first to construct exaples with this property) again in the McMullen faily [16], the Morosawa-Pilgri faily z t ( ) 1 + (4/27)z3 1 z [4, 18], and the faily t t (z 2 2) 2 [7]. 4 z In any reasonable faily, copies of the Mandelbrot sets of the failies z z d + t are dense in the bifurcation locus the Mandelbrot set is universal [10]. Each of these failies has just one free critical point (or several free critical points which have the sae dynaical behaviour, this happens, for exaple, in the McMullen faily; the quasi-conjugate faily Faculty of Matheatics, University of Science Pyongyang D.P.R. of Korea. This paper was written during a visit of the CAS supported by the TWA- UNESCO Associateship Schee. Fakultät für Matheatik, TU Dortund, Gerany. e-ail: stein@ath.tu-dortund.de 1

2 2 F t (z) = z (1 + t/z) d has just one free critical point). In contrast to this the rational aps ( 1 z ) n (1) f t (z) = tz ( 2, n N, d = + n, t 0) 1 + z in the faily under consideration have two free critical points. In this paper we will give a coplete description of the paraeter plane and the various dynaical planes. For basic notations and results the reader is referred to the texts [1, 2, 11, 9, 15]. The rational ap (1) has 2. Notation - two super-attracting fixed points 0 and with corresponding basins A t and B t, respectively. Then either A t, say, is copletely invariant or else has a single pre-iage At that is apped in a (n : 1)-anner onto A t, which will be written as A t n:1 A t ; - two free critical points α = n ( n ) and β = n ( n ) and critical values v α t = f t (α) = tv α 1 and v β t = f t (β) = tv β 1 ; - two escape loci Ω α and Ω β, with t Ω α and t Ω β if and only if f k t (α) 0 and f k t (β), respectively, as k ; - two residual sets Ω α res and Ω β res, with t Ω α res and t Ω β res if and only if v β t A t and v α t B t, respectively. The notation of the residual sets indicates that Ω α res is related to Ω α rather than Ω β. The open sets Ω α and Ω β are in a natural way subdivided into - Ω α 0 resp. Ω β 0: vt α A t resp. v β t B t, and - Ω α k resp. Ωβ k : f t k (vt α ) A t, but ft k 1 (vt α ) / A t resp. ft k (v β t ) B t, but ft k 1 (v β t ) / B t (k 1). Hitherto, f t is hyperbolic and the Fatou set of f t consists of the basins A t and B t, and their pre-iages, if any. However, there ay and will be also other hyperbolic coponents. By Wk α and Wβ k we denote the open sets such that α and β belongs to soe (super-)attracting cycle of Fatou doains U 1,..., U k, respectively, not containing 0 and.

3 The bifurcation locus B of the faily (f t ) 0< t < is the set of t such that the Julia set J t does not ove continuously over any neighbourhood of t, see McMullen [9]. In order that t B it is necessary and sufficient that at least one of the free critical points is active. Thus B = B α B β, where t B α resp. t B β eans that α resp. β is active. It is a priori not excluded that B α and B β overlap. Although there is just one paraeter plane, each point of this plane carries at least two pieces of inforation, so one could also speak of the v α t - and v β t -plane. We also set Q 0 (t) = v α t = tv α 1 and Q k (t) = f k t (v α t ) = f t (Q k 1 (t)) (k 1) and note that Q k is a rational function of degree 1+d+ +d k = dk+1 1 d 1 with a zero of order k+1 1 at the origin. 1 Fro 1/f t ( 1/z) = f ( 1) /t(z) (d = + n) d+1 it follows that f t is conjugate to f 1/t if d is odd, and to f 1/t if d is even, hence Ω α = ±1/Ω β, and this is also is true for Ω α k and Ωβ k, Ωα res and Ω β res, W α k and Wβ k, and Bα and B β. This also indicates that the circle t = 1 plays a distinguished role with strong ipact on what follows. Lea 1. For every 2, n 1 there exists soe r > 0, such that for 0 < t 1 the disc r t : z < r t contains f t ( r t [0, 1]), but does not contain v β t. Proof. We will first consider f 1 and show that there exists soe disc r : z < r such that f 1 ( r [0, 1]) r holds. This is easy to show if n < for r = 1 3 : f 1 (z) 3 2 n < 1 holds if z 1 3 and > n 1, and fro 0 f 1 (x) x 2 1 x 1 + x 1(5 5 11) < 1 (0 x 1) 2 10 the assertion follows. We now consider the case n. Then f 1 ( r ) r holds as long as g(r) = r 1 ( 1 + r 1 r 3 ) n < 1, and f 1 aps [0, 1] into r provided ( 1 x ) n v1 α = ax 0 x 1 x < r. 1 + x 3

4 4 Since g is increasing this ay be achieved if g(v1 α ) < 1 holds. To prove this we note that 1 + τ 1 = τ 2 2 (0 < θ < 1, τ = 1) iplies 1+θτ n 2 2 < α < 1 x, while fro log < 2x (0 < x < 1) it follows that 2n 2n 1+x ( e ( v1 α 2 < 2n) ) ( ) 2 2 = < = µ. 2e 1 2 n 4n Moreover, fro log 1 + x ( 1 x = 2x x2 + 1 ) 5 x4 + 2x (1+ x2 1 ) 2x( x ), 2 45 which holds for x = ( ) 1 4n 1, we obtain 4 ( 1 + µ 1 µ ) ( n 1 + µ 1 4 n = 1 µ 1 4 n ) n ( e µ 1 < e ( ) 1) 4n. Thus g(v1 α ) < 1 follows fro ( 1e ( 4n) 4n ) 1 1e 1 4 < 1. 4 With this choice of r (0, 1) it is clear that v β t belongs to r if t is sall. For individual 0 < t 1, f t (z) = tf 1 (z) aps r t [0, 1] into r t, while v β t / r t follows fro v β t = t /v1 α > t > r t. 3. The escape loci The purpose of Lea 1 is twofold. First of all it shows that the critical points α and β cannot be siultaneously active, and the bifurcation sets B α and B β are separated by the unit circle t = 1. Secondly, the condition v β t / r t (0 < t 1) ensures that in an exhaustion (D κ ) of A t starting with D 0 = r t, D κ is siply connected as long as d:1 β / D κ, and f t : D κ D κ 1 has degree d = + n. In particular, for t Ω α res there exists soe siply connected and forward invariant doain D κ A t that contains v β t. We note soe ore siple consequences of Lea 1; our focus is on the critical point α and the α -sets. - {t : 0 < t 1} Ω α 0 ; - Ω α res D; - α is inactive on 0 < t 1; - k 1 (Ωα k Wα k ) {t : 1 < t < T } for soe T = T n > 1; - B α {t : 1 < t < T } for soe T = T n > 1. The consequences for the dynaical planes are as follows. Theore 1. For t Ω α 0, the basin A t is copletely invariant, and any other Fatou coponent is siply connected. Moreover,

5 - for t Ω α 0 Ω β 0 also B t is copletely invariant, the Julia set J t = A t = B t is a quasi-circle, and f t is quasi-conforally conjugate to z z d ; - for t Ω α res, A t is infinitely connected and the Fatou set consists of A t, B t, and the predecessors of B t of any order. Proof. To prove coplete invariance of A t we first assue 0 < t 1. Then A t contains the interval [0, 1] by Lea 1, hence is copletely invariant. If, however, t > 1, then B t is copletely invariant, and any other Fatou coponent is siply connected. Assuing 1 A t (t Ω α 0, t > 1) we obtain either f t : At n:1 A t with n = (n 1) + 1 critical points if α At :1 or else f t : A t A t with = ( 1) + 1 critical points if α A t, this contradicting siple connectivity of both doains A t and At by the Rieann-Hurwitz forula. The first assertion is obvious since B t shares the properties of A t and f t is hyperbolic. The second assertion follows fro the Rieann-Hurwitz forula, d:1 since f t : A t A t has degree d and r = ( 1) + (n 1) = d critical points 0, 1 (if n > 1), α, and β. 5 Figure 1-left: The α-paraeter plane for f t (z) = tz 2 1 z displaying the unit 1 + z circle, Ω α in gray, Ω α res and Ω β res in black (in- and outside the unit circle), and W α (coloured). Figure 1-right: A neighbourhood of the origin displaying Ω α res surrounded by points of Ω α 0 (black), Ω β k (k 1, black, sall), and Wβ (coloured). Theore 2. Ω α 0 {0}, Ω α res {0}, and the connected coponents of Ω α k (k 1) are siply connected doains. Rieann aps onto D are given by any branch of E 0 (t), E res (t), and n E k (t), respectively. For the proof we need two auxiliary results on the aps (2) E 0 (t) = t(φ t (vt α )) 1 (t Ω α 0 ), E res (t) = t(φ t (v β t )) 1 (t Ω α res), and E k (t) = t 1 1 Φt (f k (vt α )) (t Ω α k, k 1),

6 6 where Φ t denotes the Böttcher function to the fixed point z = 0. In the first step (Lea 2) of the proof of Theore 2 we will show that the functions (2) provide proper aps on D\{0} and D, respectively, which are only raified over the origin. In the second step (Lea 3) this will be used to show that the corresponding doains (with 0 included, if necessary) are siply connected. The solution to Böttcher s functional equation (3) Φ t (f t (z)) = tφ t (z) (Φ t (z) z as z 0) is locally given by k Φ t (z) = li k ft k (z)/t 1++ +k 1 = t 1 1 li k ft k (z); k it conjugates f t to ζ ζ. This conjugation holds throughout A t in the third case, when Φ t aps A t conforally onto the disc z < t 1 1 ; the aps Ek are analytic and well-defined on the coponents of Ω α k, k 1. In the first case the conjugation holds on soe siply connected neighbourhood of z = 0 that contains z = 0 and z = vt α, but does not contain z = 1. The analytic continuation of Φ t causes singularities at z = 1 and its preiages under ft k, nevertheless Φ t (z) is well-defined on A t and Φ t (z) t 1 1 as z At holds anyway. Thus E 0 (t) = tφ t (vt α ) 1 is holoorphic on Ω α 0 and zero-free, with E 0 (t) t(vt α ) 1 = f 1 (α) 1 t as t 0. In the second case we construct an exhaustion (D κ ) of A t such that d:1 f t : D κ D κ 1 has degree d and D κ is siply connected for κ κ 0 with v β t D κ0 and β D κ0 +1 \ D κ0. This is possible by Lea 1, and the procedure applied to t 1 1 Φt (vt α ) on Ω α 0 also applies to t 1 1 Φt (v β t ) on Ω α res. Lea 2. The functions in (2) are well-defined and provide proper aps fro Ω α 0 {0}, Ω α res {0}, and the connected coponents of Ω α k with k 1, respectively, onto the unit disc D. Proof. To prove that E 0 (t) 1 as t Ω α 0 tends to Ω α 0 \ {0} we choose any disc : z < r that is invariant under f t for every t Ω α 0. This is possible since Ω α 0 is contained in soe disc t < T, hence we ay choose r < 1 such that T r 1( 1+r n 1 r) = 1 holds. By k = k(t) we denote the largest integer such that ft k (vt α ). Then k(t) as t Ω α 0 \ {0}, and f k(t) t (vt α ) r iplies li inf Φ t(v α t Ω α 0 \{0} t ) li t Ω α 0 \{0} t 1 1 k(t) r = t 1 1,

7 while Φ t (z) < t 1 1 is always true. Thus E0 aps each connected coponent of Ω α 0 properly onto D \ {0}. It follows that the origin is reovable for (a zero of) E 0, and Ω α 0 {0} is a doain which is apped by E 0 properly with degree onto the unit disc D. If t Ω α k for soe k 1, then again E k(t) tends to 1 as t Ω, where Ω is any coponent of Ω α k. Thus E k is a proper ap of Ω onto D. We will prove that E k is raified only over zero even for k 0, that is E k (t) = 0 iplies E k(t) = 0. This is a well-known procedure, the idea of which is due to Roesch [13], and outlined in detail for the Morosawa-Pilgri faily z t ( ) 1 + (4/27)z3 1 z in [18], Lea 2. We take any t 0 Ω α k and choose ε > 0 such that for t sufficiently close to t 0, the closed disc 3ɛ : w vt α 0 3ε belongs to the Fatou coponent D t0 of f t0 containing vt α 0 (D t0 is a predecessor of A t0 of order l 0). Furtherore let η t : Ĉ Ĉ be any diffeoorphis such that η t (w) depends analytically on t, η t (w) = w holds on w vt α 0 3ε and η t (w) = w + (vt α vt α 0 ) on w vt α 0 < ε. Then g t = η t f t0 : Ĉ Ĉ is a quasi-regular ap which equals f t0 on Ĉ \ f t 1 0 ( 3ɛ ), and is analytic on Ĉ\ft 1 0 (A) with A = {w : ε w vt α 0 3ε}. To apply Shishikura s qclea [14] we need to know that g t is uniforly K-quasi-regular, that is, all iterates g p t are K-quasi-regular with one and the sae K. This is obviously true if the sets f p t 0 (A) (p = 1, 2,...) are visited at ost once by any iterate of g t. This is trivial if k 1: the sets f p t 0 (A) belong to different Fatou coponents, naely predecessors of D t0 of order p. If k = 0 the arguent is different. Let 0 : z < δ be such that f t0 ( 0 ) 0 and set ν = ft 1 0 ( ν 1 ). Then choosing ɛ > 0 sufficiently sall we have A l \ l 1 for soe l and f p t 0 (A) l+p \ l+p 1. By the above entioned qc-lea, g t is quasi-conforally conjugate to soe rational function R t = h t g t h 1 t. The quasi-conforal apping h t : Ĉ Ĉ is uniquely deterined by the noralisation h t (z) = z for z = 0, α, 1, and depends analytically on the paraeter t. Also h t is analytic on Ĉ \ p 0 f p t 0 (A), which, in particular, contains the points 0, vt α, and vt α 0. We set z 0 = h t ( 1) to obtain R t (z) = a(t)z ( ) 1 z n. z z 0 Since ht (α) = α, R t has a critical point at z = α, and solving R t(α) = 0 for z 0 yields z 0 = 1, thus ( 1 z ) n. R t (z) = a(t)z 1 + z 7

8 8 Fro R t = h t η t f t0 and h t (α) = α, however, it follows that a(t)v α 1 = R t (α) = h t η t f t0 (α) = h t η t (v α t 0 ) = h t (v α t ), hence R t (z) = f τ (z) with τ = τ(t) = h t (vt α )/v1 α and vτ α = h t (vt α ); in particular, τ depends analytically on t. On soe neighbourhood of z = 0 we have (t 0 /τ) 1 1 Φt0 h 1 t f τ = (t 0 /τ) 1 1 Φt0 g t h 1 t = (t 0 /τ) 1 1 Φt0 η t f t0 h 1 = (t 0 /τ) 1 1 Φt0 f t0 h 1 t = (t 0 /τ) 1 1 t0 (Φ t0 h 1 t ) = τ((t 0 /τ) 1 1 Φt0 h 1 t ), hence φ τ = (t 0 /τ) 1 1 Φt0 h 1 t solves Böttcher s functional equation φ τ f τ (z) = τ(φ τ (z)). Since τ and h t depend analytically on t, this is also true for h 1 t, which is not self-evident. Also fro h t (g t (z)) = f τ (h t (z)) τh t (z) and g t (z) = f t0 (z) t 0 z as z 0 it follows that h t (t 0 z ) τh t (z), hence h t (z) 1 t 0 /τz, h 1 t (z) 1 τ/t 0 z and φ τ (z) λz as z 0, with λ 1 = 1. This iplies φ τ = λφ τ by uniqueness of the Böttcher coordinate, and fro τ(t 0 ) = t 0 and analytic dependence on t it follows that λ = 1 and φ τ = Φ τ, hence E k (τ) = τ 1 1 Φτ (Q k (τ)) = τ 1 1 Φτ (fτ k (vτ α )) = t Φ t0 h 1 t (fτ k (vτ α )) = t Φ t0 ft k 0 h 1 t (vτ α ) = t Φ t0 (ft k 0 (vt α )) if k 1, and E 0 (τ) = t 0 (Φ t0 (vt α )). Since t τ is locally univalent, E k is univalent at t 0 if and only if the ap t t Φ t0 (ft k 0 (vt α )) is univalent on soe neighbourhood of t 0. If k 1, Φ t0 is univalent on A t0, and ft k 0 is univalent on z vt α 0 < δ provided Q k (t 0 ) = ft k 0 (vt α 0 ) 0, while ft k 0 is n-valent at vt α 0 if Q k (t 0 ) = 0. In case of k = 0 we note that Φ t0 is locally univalent on soe forward invariant doain D that contains 0 and vt α 0, and vt α = tv1 α 0 is trivially univalent. The proof of Theore 2 will be finished by Lea 3. Let h be a proper ap of degree of the doain D onto the unit disc D, and assue that h is raified exactly over zero, that is, h (z) = 0 iplies h(z) = 0. Then D is siply connected and h has a single zero on D. t

9 Proof. Assue that h has zeros with ultiplicities ν (1 ν n). Then h has degree d = n and r = d n critical points. The Rieann-Hurwitz forula then yields #D 2 = d + r = n, hence #D = 2 n, which only is possible if n = 1 and #D = 1. Reark. Each connected coponent of Ω α k contains a zero of Q k (t) = tf 1 (Q k 1 (t)) which is not a zero of Q k 1, hence is a zero of Q k 1 (t) 1. Thus Ω α k consists of at ost dk 1 connected coponents. d 1 4. The hyperbolic loci 9 The bifurcation locus B β is contained in soe annulus δ < t < 1, and this also holds for W β. Hence (super-)attracting cycles U 1,..., U k that contain the critical point β ay occur only if δ < t < 1. Theore 3. For 0 < t < 1, f t is quasi-conforally conjugate to soe polynoial P c (z) = cz (z + 1) n (c = c t 0) with free critical point +n. The basin A t is copletely invariant, and siply connected if and only if t Ω α res. For t Ω β 0, the Fatou set consists of A t, the siply connected basin B t and its pre-iages and, additionally, of soe (super-)attracting cycle of Fatou coponents and their pre-iages if t W β ; the cycle absorbs the critical point β. Proof. To prove the second assertion we note that by Lea 1 the preiage D of the disc = r t is a siply connected Jordan doain that contains [0, 1], but does not contain v β t. Then D 2 = Ĉ \ is a backward invariant doain, and f t : D 1 d:1 D 2 (D 1 = f 1 t (D 2 )) is a polynoial-like apping in the sense of [6], of degree d = + n, hence is hybrid equivalent to soe polynoial P of degree d. We ay assue that the quasi-conforal conjugation ψ t with ψ t f t = P ψ t aps, 0, and 1 onto 0,, and 1, respectively. Thus P is given by P (z) = P c (z) = cz (z + 1) n, and ψ t, hence also c = c t depends analytically on t. Reark. We note that D 2 = D 2 ( t ) = {z : z > r t } increases if t decreases, while D 1 = ft 1 (Ĉ \ r t ) = f1 1 (Ĉ \ r) is independent of t. Thus the conforal odulus µ( t ) of D 2 ( t ) \ D 1 satisfies

10 10 µ(1) µ( t ) log 1 log inf z D 1 z. The bifurcation locus of P t r c corresponds conforally to the bifurcation locus B β, and the hyperbolic coponents are just quasi-conforal iages of the hyperbolic coponents of the quadratic faily z z 2 + ξ. For t W k, the ultiplier ap t λ t is an algebraic function of t. This is easily seen by writing the equations ft k (z) = z and λ = (ft k ) (z) as polynoial equations q 1 (z, t) = 0 and q 2 (z, t, λ) = 0, and coputing the resultant R f (t, λ) of q 1 and q 2 with respect to z. For exaple, in case of k = 1, = 2, and n = 1 we obtain R f (t, λ) = [ t 2t 2 ] + [1 10t + t 2 ]λ + 2tλ 2 = 0. For P c (z) = cz 2 (z + 1) we obtain in the sae anner (ultiplier µ) R P (c, µ) = 9 + 2c (c + 6)µ + µ 2 = 0. Since the quasi-conforal conjugation respects ultipliers (λ t = µ ct ), c t is an algebraic function of t by the identity theore; in the present case we obtain (1 + 2t + t 2 + 2tc) 2 = 0 by coputing the resultant of R f (t, λ) and R P (c, λ) with respect to λ, hence ( t c = c t = 1 t ) (c = t t = 1( 49 45)) 2 aps 0 < t < 1 conforally onto C \ [ 2, 0]. Figure 2-left: The paraeter plane of P c (z) = cz 2 (z + 1). The escape region for P c (gray), the white region with slit, and the coloured doains correspond to Ω α res, Ω β D, and W β, respectively. The punctured disc 0 < t < 1 corresponds to C \ [ 2, 0] in the c-plane. Figure 2-right: The paraeter plane of P 1 2 (t+2+ 1 t ) in 0.2 < Re t < 0.25, 0.25 < I t < 0.25 (see also Figure 1-right). The following result was not explicitly stated but proved in [18]. The proof is an adaption of the procedure due to Douady [5], applied to the hyperbolic coponents of the quadratic faily R t (z) = z 2 + t with one free critical point. The occurrence of several critical points requirers a slightly ore sophisticated arguent. The present version applies

11 to a wider class of functions like R t (z) = z d + t, R t (z) = z + t/z n, R t (z) = t ( 1 + ((d 1)d 1 /d d )z ) d 1 z (d 3), Rt (z) = t (z 2 2) 2, the present 4 z 2 1 faily, and any others, to show that the hyperbolic coponents are siply connected and are apped properly onto the unit disc by the ultiplier ap t λ t. 11 Theore 4. Let (R t ) t T be any faily of rational aps that is analytically paraetrised over soe doain T. Suppose that each R t has a (super-)attracting cycle U 1 :1 0 U 2 :1 1 n 1:1 U n:1 n 1 U n = U 0, such that Rt n has a single critical point c t U 0 of ultiplicity 1, where = 1 n is the degree of Rt n :1 : U 0 U 0. Assue also that the ultiplier λ t satisfies λ t 1 as t T. Then the ultiplier ap t λ t provides a proper ap T ( 1):1 D which is raified just over w = 0, and T is siply connected. References [1] A.F. Beardon, Iteration of rational functions, Springer-Verlag [2] L. Carleson and W. Gaelin, Coplex dynaics, Springer-Verlag [3] R. Devaney, Mandelpinski structures in the paraeter planes of rational aps, preprint ( [4] R. Devaney, N. Fagella, A. Garijo and X. Jarque, Sierpiński curve Julia sets for quadratic rational aps, Ann. Acad. Sci. Fenn. Math. 39 (2014), [5] A. Douady, Systèes dynaiques holoorphes, Séinaire Bourbaki 599 (1982/83), [6] A. Douady and J.H. Hubbard, On the dynaics of polynoial-like appings, Ann. Sci. Éc. Nor. Sup. 18 (1985), [7] H.G. Jang and N. Steinetz, On the dynaics of the rational faily f t (z) = t 4 (z 2 2) 2 z 2 1,Cop. Math. & Funct. Theory (CMFT) 12 (2012), [8] C. McMullen, Autoorphiss of rational aps, pp in Holoorphic Functions and Moduli I, ed. Drasin, Earle, Gehring, Kra & Marden, Springer- Verlag [9] C. McMullen, Coplex dynaics and renoralization, Princeton University Press, Princeton, N. J., [10] C. McMullen, The Mandelbrot set is universal, pp in The Mandelbrot set, thee and variations, ed. Tan Lei, Cabridge University Press Lond. Math. Soc. Lect. Note Ser 274 (2000), [11] J. Milnor, Dynaics in one coplex variable, vieweg-verlag, [12] J. Milnor and Tan Lei, A Sierpiński carpet as Julia set, Appendix F in Geoetry and dynaics of quadratic rational aps, Experient. Math. 2 (1993), [13] P. Roesch, On captures for the faily f λ (z) = z 2 + λ/z 2, in: Dynaics on the Rieann sphere. A Bodil Branner Festschrift, EMS Publ. House [14] M. Shishikura, On the quasi-conforal surgery of the rational functions, Ann. Éc. Nor. Sup. 20 (1987), 1-29.

12 12 [15] N. Steinetz, Rational Iteration: Coplex Analytic Dynaical Systes, W. De Gruyter [16] N. Steinetz, Sierpiński curve Julia sets of rational aps, Cop. Math. & Funct. Theory (CMFT) 6 (2006), [17] N. Steinetz, On the Dynaics of the McMullen Faily R(z) = z + λ/z l, Conforal Geo. & Dynaics (ECGD) 10 (2006), [18] N. Steinetz, Sierpiński and non-sierpiński curve Julia sets in failies of rational aps, J. Lond. Math. Soc. 78 (2008),