Arnold Mathematical Journal
, Volume 6 (3-4) – Oct 26, 2020

/lp/springer-journals/fatou-s-associates-AmR20r5rsx

- Publisher
- Springer Journals
- Copyright
- Copyright © The Author(s) 2020
- ISSN
- 2199-6792
- eISSN
- 2199-6806
- DOI
- 10.1007/s40598-020-00148-6
- Publisher site
- See Article on Publisher Site

Suppose that f is a transcendental entire function, V C is a simply connected −1 domain, and U is a connected component of f (V ). Using Riemann maps, we asso- ciate the map f : U → V to an inner function g : D → D. It is straightforward to see that g is either a ﬁnite Blaschke product, or, with an appropriate normalisation, can be taken to be an inﬁnite Blaschke product. We show that when the singular values of f in V lie away from the boundary, there is a strong relationship between singularities of g and accesses to inﬁnity in U . In the case where U is a forward-invariant Fatou compo- nent of f , this leads to a very signiﬁcant generalisation of earlier results on the number of singularities of the map g.If U is a forward-invariant Fatou component of f there are currently very few examples where the relationship between the pair ( f , U ) and the function g has been calculated. We study this relationship for several well-known fam- ilies of transcendental entire functions. It is also natural to ask which ﬁnite Blaschke products can arise in this manner, and we show the following: for every ﬁnite Blaschke product g whose Julia set coincides with the unit circle, there exists a transcendental entire function f with an invariant Fatou component such that g is associated with f in the above sense. Furthermore, there exists a single transcendental entire function f with the property that any ﬁnite Blaschke product can be arbitrarily closely approxi- mated by an inner function associated with the restriction of f to a wandering domain. Keywords Holomorphic dynamics · Transcendental dynamics · Inner functions · Blaschke products Mathematics Subject Classiﬁcation Primary 37F10 · Secondary 30D05 · 30J05 · 30J10 The ﬁrst author was supported by Engineering and Physical Sciences Research Council Grant EP/R010560/1. B Lasse Rempe l.rempe@liverpool.ac.uk Extended author information available on the last page of the article 123 460 V. Evdoridou et al. 1 Introduction Although much of this paper concerns dynamics, we begin with the following simple and very general non-dynamical construction. Suppose that f is a transcendental entire function, that V C is a simply connected domain, and that U is a connected −1 component of f (V ); it is a consequence of the Open Mapping Theorem that U is also simply connected. Let φ : D → U and ψ : D → V be Riemann maps, and set −1 g = ψ ◦ f ◦ φ; see Fig. 1. We begin with a result that summarises the properties of the map g. This is not entirely new but to the best of our knowledge it has not been stated in this generality before. Here an inner function is a holomorphic self-map of D for which radial limits exist at almost all points of the unit circle, and belong to the unit circle. A particular class of inner functions is the class of Blaschke products. These are functions of the form |a | a − z n n i θ B(z) = e , (1.1) a 1 − a z n n n=1 where θ ∈ R, d ∈ N ∪{∞}, and (a ) is a sequence of points of D, which satisﬁes n=1 the condition (1 −|a |)< ∞. When a = 0 we interpret the term in the inﬁnite n n product simply as z.If d is ﬁnite then B is called a ﬁnite Blaschke product of degree d, and otherwise it is an inﬁnite Blaschke product. Proposition 1.1 Suppose that f is a transcendental entire function, that V C is −1 a simply connected domain, and that U is a connected component of f (V ). Let . −1 φ : D → U and ψ : D → V be conformal, and set g = ψ ◦ f ◦ φ. Then g is an inner function, which, for an appropriate choice of φ and ψ, can be taken to be a Blaschke product. More precisely, exactly one of the following conditions holds. (a) Finite valence: g is a ﬁnite Blaschke product of degree d, for some d ∈ N, and f | is of constant ﬁnite valence d. −1 (b) Inﬁnite valence: g is an inﬁnite Blaschke product, and U ∩ f (z) is inﬁnite for all z ∈ V with at most one exception. In the setting of Proposition 1.1, we say that g is an inner function associated with f | . Such inner functions have been mostly considered in a dynamical setting where U = V and φ = ψ, see below. However, they have also appeared in settings where U = V ; see, for example, (Bishop 2015, p. 205). Remark Note that Proposition 1.1 implies that there are many inner functions which cannot be associated with a transcendental entire function in the sense of this paper. For example, if A is any closed subset of D, of (logarithmic) capacity zero, then there is an inner function that omits all the points of A; see Stephenson (1978). In our ﬁrst main result, which signiﬁcantly generalises earlier results in a dynamical setting, we are interested in the singularities of the associated inner function; a point Sometimes, the term “Blaschke product” is used more generally for a function of the form (1.1)where some a may also have |a | > 1, so that B has poles in D. These are not inner functions, and are not n n considered in this paper. 123 Fatou’s Associates 461 U V φψ DD Fig. 1 Construction of an associated inner function. Here, f (z) = λe is an exponential function with real λ< −e, which has an attracting periodic orbit of period 2. The domains U and V shown are the two periodic Fatou components of f . ζ ∈ ∂ D is called a singularity of (an inner function) g,if g cannot be extended holomorphically to any neighbourhood of ζ in C. For a transcendental entire function f , we denote by S( f ) the set of singular values of f ; in other words, S( f ) is the closure of the set of critical and ﬁnite asymptotic values of f . Our result is as follows. Theorem 1.2 Suppose that f is a transcendental entire function, that V C is a −1 simply connected domain, and that U is a component of f (V ) such that f : U → V is of inﬁnite valence. Suppose that S( f )∩V is compact, and let D be a bounded Jordan domain with S( f ) ∩ V ⊂ D and D ⊂ V . Then the singularities of an associated inner function g are in order-preserving one-to-one correspondence with the accesses to −1 inﬁnity in U ∩ f (D). In particular, the number of singularities of g is equal to the −1 number of components of U \ f (D). −1 Remarks (a) An access to inﬁnity in U ∩ f (D) is a homotopy class of curves to inﬁnity in U ; see Sect. 3. (b) By the ﬁnal statement, we mean that the number of singularities and the number of components are either both inﬁnite, or both ﬁnite and equal. We caution that, when inﬁnite, the number of singularities may be uncountable, while the number −1 of components of U \ f (D) is always countable. (c) In the case of ﬁnite valence, it follows from Proposition 1.1 that any associated inner product is a ﬁnite Blaschke product, and has no singularities. We now consider associated inner functions in a dynamical setting. Let f be a transcendental entire function, and denote by f the nth iterate of f . The set of points 123 462 V. Evdoridou et al. for which the set of iterates { f } form a normal family in some neighbourhood is n∈N the Fatou set F ( f ), and its complement in the complex plane is the Julia set J ( f ).The Fatou set is open, and so consists of connected components which are called Fatou components. For an introduction to the properties of these sets, see, for example, Bergweiler (1993). In the case that U is a simply connected Fatou component, and V is the Fatou component containing f (U ), then the conditions we discussed earlier all hold, and we can associate an inner function to f | . A case of particular interest is when the Fatou component U is forward invariant, in other words such that f (U ) ⊂ U.Note that it is well known that forward-invariant Fatou components are necessarily simply connected. In this case, we have that U = V , we can set ψ = φ, and the dynamics of . −1 f on U is conjugate to the dynamics on D of the function g = φ ◦ f ◦ φ. Moreover, g is unique in this respect, up to a conformal conjugacy. In this case, we say that g is an inner function dynamically associated with f | . This construction appears to have ﬁrst been considered by Töpfer (1939, Section II). Its connection to inner functions appears to have ﬁrst been made by Kisaka (1998) and Baker and Domínguez (1999). Compare also Devaney and Goldberg (1987), Baranski ´ and Fagella (2001), Fagella and Henriksen (2006), Baranski ´ (2007), Baranski ´ and Karpinska ´ (2007), Bargmann (2008), and Evdoridou et al. (2019). Theorem 1.2 has the following corollary, which is a signiﬁcant generalisation of the main result of Evdoridou et al. (2019). Here we consider the class B of transcendental entire functions for which S( f ) is bounded. A tract of a function f ∈ B is a component −1 of f (C\D ), where D is a bounded Jordan domain containing S( f ).Itiswellknown that the number of tracts is independent of the choice of D . Corollary 1.3 Suppose that f ∈ B, and that S( f ) ⊂ F ( f ). Let U be an unbounded forward-invariant Fatou component of f . Then the number of singularities of a dynam- ically associated inner function is at most equal to the number of tracts of f . This generalises (Evdoridou et al. 2019, Theorem 1.5), in which the condition that S( f ) is a compact subset of the Fatou set was replaced by the condition that the postsingular set deﬁned by . j P( f ) = f (S( f )) j ≥0 is a compact subset of the Fatou set; such functions are called hyperbolic. Lyubich (personal communication) has asked which inner functions g arise as dynamically associated inner functions. Few authors have explicitly calculated g for given functions f . Indeed, we are aware of only three examples in the literature. First, Töpfer (1939, Section V) considered the function f (z) = sin(z), which has a triple ﬁxed point at the origin, with two attracting directions, along the positive and negative real axis. Note that, by symmetry, the same inner function g can be dynamically associated with either immediate parabolic basin. Töpfer observes (Töpfer 1939,p.78) that g can be taken to have the form 123 Fatou’s Associates 463 z + k g(z) = (1.2) kz + 1 for some 0 < k < 1. He does not determine the correct value of k, which is k = 1/3 since the function g must have a parabolic point at z = 1 (see the remarks at the end of Sect. 5). . z Devaney and Goldberg (1987) considered the Julia set of f (z) = λe for values of λ such that f has a completely invariant attracting basin U . They showed that these functions have a dynamically associated inner function of the form μ + μz g(z) = g (z) := exp i , (1.3) 1 + z where μ lies in the upper half-plane H, and depends on λ. Note that g is not an inﬁnite Blaschke product—indeed, the proof technique used in Devaney and Goldberg (1987) depends on this fact—but is conjugate to one. However, Devaney and Goldberg did not determine which values of μ are realised. The result of Devaney and Goldberg was generalised later by Schleicher. He con- sidered the case that f has an attracting periodic point; in this case, f is hyperbolic. λ λ He observes that the associated inner functions can always be chosen to take a certain form, which is equivalent to (1.3); see Schleicher (1999, Lemmas III 4.2, III 4.3) for details. −z Finally, Baker and Domínguez (1999) showed that the map f (z) = z + e has an invariant Fatou component with the dynamically associated Blaschke product 3z + 1 g(z) = , (1.4) 3 + z which is the same as Töpfer’s map (1.2). It is easy to see how to write g in the form (1.1). In view of this, perhaps unexpected, dearth of speciﬁc examples, our next goal in this paper is to ﬁnd classes of transcendental entire functions, F, and classes of inner functions, G, with the following properties: (I) Each f ∈ F has a forward-invariant Fatou component U ; (II) For each f ∈ F there is an inner function g ∈ G dynamically associated with f ; (III) For each g ∈ G there is an f ∈ F such that g is dynamically associated with f . We begin with a result of this form for ﬁnite Blaschke products. If such a Blaschke product g is dynamically associated with an invariant attracting or parabolic Fatou component of an entire function, then g has either an attracting ﬁxed point in D,ora 1 1 triple ﬁxed point on S = ∂ D. Equivalently, J (g) = S ; see Fletcher (2015). Theorem 1.4 Let F consist of all entire functions having a forward-invariant attract- ing or parabolic Fatou component U that is a bounded Jordan domain. Let G be the connectedness locus of ﬁnite Blaschke products; that is, G consists of all ﬁnite Blaschke products of degree d ≥ 2 with J (g) = S . Then (I), (II) and (III) hold. 123 464 V. Evdoridou et al. Observe that (I) and (II) hold by assumption and Proposition 1.1, so the main content of the theorem is showing the existence of an entire function realising a prescribed Blaschke product as its dynamically associated inner function. This will be achieved by quasiconformal surgery. Next, we give a complete description of dynamical inner functions for exponential maps with attracting ﬁxed points, thus completing the work of Devaney and Goldberg. Similarly as in Schleicher (1999), we ﬁnd it convenient to change coordinates from the unit disc to the upper half-plane and consider inner functions of the upper half-plane associated with f | ; compare also Bargmann (2008). We use the family of functions g : H → H := a tan(z) + b, a > 0, b ∈ (−π/2,π/2]. (1.5) a,b It is easy to check that g is conjugate to g as in (1.3)for μ = 2(b + ai ). Thus the a,b μ following result also gives a complete description of the set of μ for which g arises as an inner function of an exponential map. (Compare Fig. 6 in Sect. 5.) Theorem 1.5 Set F ={ f : f has an attracting ﬁxed point}={ f −τ : τ ∈ D\{0}}, λ λ τ ·e where f (z) = λe .Alsolet G := {g : g has an attracting ﬁxed point in H} a,b a,b √ √ = g : a > 1 or |b| > arccos( a) − a · 1 − a . (1.6) a,b Then F and G satisfy (I), (II) and (III). More precisely, for every f ∈ F, the family G contains exactly one dynamically associated inner function of f , and vice versa. As in Schleicher’s work, our theorem applies also to iterates of exponential maps. Indeed, more generally the following is true. Theorem 1.6 Let G be as above, let f be a transcendental entire function, and suppose that U is a basin of attraction of period n for f . If the cycle of U contains only one singular value of f , and f : U → U is of inﬁnite valence, then the family G from (1.6) contains exactly one inner function dynamically associated with f | . While Devaney and Goldberg (1987) and Schleicher (1999, Section III.4) only treated attracting dynamics, we can also consider parabolic basins, thus completing the description of associated inner functions for periodic Fatou components of exponential maps. Theorem 1.7 Let f be a transcendental entire function, and suppose that U is a parabolic basin of period n for f . If the cycle of U contains only one singular value of f , and f : U → U is of inﬁnite valence, then tan : H → H is a dynamically associated inner function for f on U. 123 Fatou’s Associates 465 We are able to give a similar description of dynamically associated inner functions in cases where f : U → U takes some value only ﬁnitely many times, see Theorem 6.1. In particular, this applies to many functions of the form Q(z) f (z) = λP(z)e ; see Corollary 6.2. The case of Fatou components containing inﬁnitely many critical points is more complicated. We begin with the following detailed example, which concerns sine functions with invariant Fatou components of inﬁnite valence. (Recall that the example f (z) = sin(z) studied by Töpfer has invariant Fatou components of ﬁnite valence.) Theorem 1.8 There is a homeomorphism ψ : (0, 1) → (1, ∞) with the following property. Let F be the family of transcendental entire functions f (z) = λ sin z, for λ ∈ (0, 1). (1.7) For τ> 1 let τ − 1 a = a (τ ) = , for n ∈ N, n n τ + 1 and let G be the family of inﬁnite Blaschke products 2 2 a − z g (z) = z . (1.8) 2 2 1 − a z n=1 Then (I), (II) and (III) hold for these families, with τ = ψ(λ). Remark The proof of Theorem 1.8 makes strong use of symmetries of the Julia sets of the functions involved. It is not easy to see, therefore, how one might extend these results to wider families. Let g be an inner function dynamically associated with an invariant Fatou compo- nent U of inﬁnite valence for a transcendental entire function f .Let A denote the set of singularities of g. By the Schwarz reﬂection principle, g extends to a meromor- phic function on C\A, so we can think of g as a global complex dynamical system. As mentioned above, if U is an attracting or parabolic basin, we have J (g) = S ; see Kisaka (1998, Lemma 2), Baker and Domínguez (1999, Lemmas 8 and 9) and Bargmann (2008, Theorem 2.24). Here a point on the unit circle is in the Julia set J (g) if it has no neighbourhood on which the iterates of g are deﬁned and normal (Baker and Domínguez 1999, Section 3). If # A = 1, then g is (up to conformal con- jugacy) a transcendental meromorphic function. When A is countable, g belongs to a class of functions for which the theory of complex dynamics was developed by Bolsch (1999). Similarly, if f has only ﬁnitely many singular values in the Fatou component U , then g is a ﬁnite-type map in the sense of Epstein (1993); seealsoRempe (2009), Chéritat and Epstein (2018). In particular, inner functions allow us to construct many 123 466 V. Evdoridou et al. examples of functions in these classes for which the Julia set is a circle. A larger class of holomorphic functions for which Fatou–Julia iteration theory has been extended is Epstein’s theory of Ahlfors islands maps;see Rempe(2009), Rempe and Rippon (2012), and also Baker et al. (2001) for the case where A = S . It would be interesting to investigate when the inner function g associated with f satisﬁes this Ahlfors islands condition. For families of entire functions with a ﬁnite number of singular values, it is plausible that the preceding observation about ﬁnite-type maps, together with surgery techniques similar to Theorem 1.4, can lead to a description of the associated inner functions. On the other hand, it appears to be very difﬁcult to develop general principles for inner functions associated with Fatou components where the singular values are allowed to accumulate on the boundary. It is perhaps surprising that we can nonetheless give a very precise description in one particular case. Theorem 1.9 Let F be the family of transcendental entire functions −z f (z) = λ + z + e , for λ> 0. (1.9) Let G be the family of maps cot z g : H → H; g (z) := z − λ , for λ> 0. (1.10) λ λ Then (I), (II) and (III) hold for these families, with g being associated with the restriction of f to its single Fatou component. Remarks (1) Again, the proof of this result makes strong use of symmetries of Julia sets, and does not extend to the case where λ is not real and positive. (2) The map g is conjugate to the map h (z) = z + λ tan z/2 via the conjugation λ λ z → π/2 − z. We prefer the parameterisation g as it makes the proof slightly simpler. Note that the dynamics of the map h was studied in Baranski ´ et al. (2017). (3) The dynamics of the maps f was studied in Evdoridou (2016), under the param- eterisation cz h(z) = z + a + be , b = 0, ac < 0. (Up to afﬁne conjugacy, this is the same family as F.) To conclude, let us return to the case of inner functions associated with f : U → V where U = V , and in particular to the case where U and V are simply connected wandering domains of a transcendental entire function f . Similarly as in Theorem 1.4, we show that every ﬁnite Blaschke product may arise in this manner. Theorem 1.10 Let g : D → D be a Blaschke product of degree d, with 2 ≤ d < ∞. Then there is a transcendental entire function f having wandering domains U and V = f (U ) which are bounded Jordan domains and such that g is an inner function associated with f | . 123 Fatou’s Associates 467 Moreover, using approximation theory we can construct a single entire function f with an orbit of wandering domains whose associated inner functions approximate any desired Blaschke product: Theorem 1.11 There is a transcendental entire function f having a simply connected wandering domain U with the following property. Given a ﬁnite Blaschke product B and > 0, there are n ≥ 0 and a ﬁnite Blaschke product g associated with n n+1 f : f (U ) → f (U ), such that (i) |g(z) − B(z)| < , for z ∈ D; (ii) deg(g) = deg(B). 2 Proof of Proposition 1.1 In this section, our goal is to prove Proposition 1.1. To do this, we ﬁrst need a little background on inner functions. It is well known that it is possible to factorise inner functions in a canonical way. First we deﬁne a singular inner function as a function of the form i θ e + z S(z) = exp − dμ(θ ) (2.1) i θ e − z for some positive and singular measure μ. We then have the following, which is due to Frostman (1935); see also Garnett (2007, p. 72 and Theorem 6.4). Theorem 2.1 If g : D → D is an inner function, then there is a Blaschke product B and a singular inner function S such that g = B · S. Moreover, for all ζ ∈ D, except possibly for a set of capacity zero, the function g(z) − ζ g (z) = , (2.2) 1 − ζ g(z) is a Blaschke product. We will also use the following, which is a version of Heins (1957, Theorem 4’). Theorem 2.2 Suppose that f is a transcendental entire function, that V is a domain, −1 and that U is a component of f (V ). Then exactly one of the following holds. (i) there exists n ∈ N such that f assumes in U every value of V exactly n times (counting multiplicities). (ii) f assumes in U every value of V inﬁnitely often with at most one exception. We are now able to prove Proposition 1.1. Proof of Proposition 1.1 That g is an inner function was shown in Evdoridou et al. (2019), in a much less general context, and we repeat the argument for completeness. Suppose that g was not inner. By Fatou’s Theorem, there would exist a set E ⊂ ∂ D,of 123 468 V. Evdoridou et al. positive measure with respect to D, on which g had non-tangential limits of modulus strictly less than one, and on which φ had well-deﬁned limits. It would follow that −1 φ(E \φ ({∞})) ⊂ ∂U was a set of positive harmonic measure with respect to U that was mapped by f into V . This is a contradiction since f (∂U ) ⊂ ∂V . To see that g can be taken to be a Blaschke product, choose ζ ∈ D such that, by the second part of Theorem 2.1, the function g (z) = ω(g(z)) is a Blaschke product, where z − ζ ω(z) = . 1 − ζ z −1 −1 . . ˜ ˜ . . Set φ = φ ◦ ω and ψ = ψ ◦ ω , and so −1 −1 −1 −1 ˜ ˜ g ˜ = ψ ◦ f ◦ φ = ω ◦ ψ ◦ f ◦ φ ◦ ω = g ◦ ω is a Blaschke product which is associated with f . If g is a ﬁnite Blaschke product, of degree d say, then it is easy to see that each point of D has exactly d preimages up to multiplicity. The statement for f is then immediate, and this gives the case (a). −1 Otherwise, g is an inﬁnite Blaschke product. In particular g (0) is inﬁnite. It −1 follows by Theorem 2.2 that g (ζ ) is inﬁnite for all ζ ∈ D except at most one point. 3 Singularities of Inner Functions The main goal of this section is to prove Theorem 1.2. Recall that by an access to inﬁnity within a domain U we mean a homotopy class of curves tending to inﬁnity within U . Any collection of pairwise disjoint curves to inﬁnity comes equipped with a natural cyclic order, which records how these curves are ordered around ∞ according to positive orientation. If U is simply connected, this in turn gives rise to a natural cyclic order on accesses to inﬁnity in U . Carathéodory’s theory of prime ends, see, e.g. Pommerenke (1992, Chapter 2), provides a natural correspondence between accesses to inﬁnity in U and the set of points on the unit circle where a Riemann map has radial limit ∞. Indeed, it follows from the deﬁnition that accesses to inﬁnity are in one-to-one correspondence with the prime ends represented by a sequence of cross- cuts tending to inﬁnity, and therefore the following result follows from Pommerenke (1992, Corollary 2.17). Compare Baranski ´ et al. (2017, Correspondence Theorem) for details. Proposition 3.1 Let U ⊂ C be a simply connected domain, and let φ : D → Ube a conformal isomorphism. Set = ζ ∈ S : lim φ(tζ) =∞ . (3.1) t 1 123 Fatou’s Associates 469 For ζ ∈ ,let α(ζ ) denote the access to inﬁnity in U represented by φ([0, 1) · ζ). Then α is a cyclic-order-preserving bijection between and the set of accesses to inﬁnity in U. Moreover, if γ :[0, ∞) → U is any curve to inﬁnity in U representing an access −1 −1 [γ ], then f (γ (t )) → α ([γ ]) as t →∞. Observe that Proposition 3.1 could also be used as a deﬁnition of accesses to inﬁnity in U and their cyclic order. The proof of Theorem 1.2 uses some ideas that were also used in the proof of Theorem 1.1 of (Evdoridou et al. 2019); for the reader’s convenience, we shall give a largely self-contained account, relying only on classical results on the boundary behaviour of univalent functions. Proof of Theorem 1.2 Recall that f is a transcendental entire function, V C is a −1 simply connected domain, and U is a component of f (V ) such that f : U → V has inﬁnite valence. Finally, D is a bounded Jordan domain containing S( f ) ∩ V , −1 such that D ⊂ V . Set D = f (D) ∩ U . Then f : U \D → V \D is a covering 0 0 map. Since V \D is an annulus, and the map has inﬁnite degree, it follows that f is a universal covering when restricted to any connected component T of U \D , and that consequently D is connected, simply connected and unbounded. Compare (Bergweiler et al. 2015, Proposition 2.9) for details. Let T denote the set of components of U \D . With a slight abuse of terminology we call these the tracts in U.Let T ∈ T . By the above, exactly one of the boundary components of T , (T ) say, is a preimage of ∂ D, and so is an arc, tending to inﬁnity in both directions, which is mapped by f as an inﬁnite-degree covering. Now consider Riemann maps φ : D → U and ψ : D → V and an inner function . −1 1 g = ψ ◦ f ◦ φ associated with f | .Let ⊂ S be deﬁned as in (3.1), and let ⊂ denote the subset corresponding to accesses to inﬁnity in D . Note that, by the F. and M. Riesz theorem (Pommerenke 1992, Theorem 1.7), the set has zero Lebesgue measure and is therefore totally disconnected. Let X ⊂ S denote the set of singularities of g; note that X is a compact subset of S . We wish to show that X = , which will be achieved by studying the structure of −1 −1 W = φ (D ) = g (W ), 0 0 −1 −1 where W = ψ (D). (Compare Fig. 2.) The set ∂W ∩ D = g (∂W ) consists . −1 of the countably many curves γ(T ) = φ (∂T ) for T ∈ T . Each γ(T ) is an arc tending to S in both directions. By Proposition 3.1, γ(T ), in fact, has two end-points a(T ), b(T ) ∈ on the unit circle. We may choose the labelling such that γ(T ) separates the arc I (T ) = (a(T ), b(T )) of S , understood in positive orientation, from W . This implies that ∂W = γ(T ) ∪ S \ I (T ) . (3.2) T ∈T T ∈T Claim 1 a(T ), b(T ) ∈ X for all T ∈ T . 123 470 V. Evdoridou et al. U(= V ) V D T D φψ b(T ) γ(T ) I(T ) a(T ) Fig. 2 Illustration of the proof of Theorem 1.2.Here f is the fourth iterate of the exponential map from Fig. 1,and U = V is an invariant Fatou component of f , whose boundary is shown in black. Observe that the set = ∂W ∩ S of singularities of g is inﬁnite. Also note that U has many more accesses to inﬁnity than D ,sothat ; in fact, is dense in S . Proof The restriction g : γ(T ) → ∂W is a universal covering. In particular, every point of ∂W has inﬁnitely many preimages near a(T ) and b(T ), and these points must be singularities of g. Claim 2 The map g extends continuously to each I (T ) as an analytic universal covering g : I (T ) → S . In particular, I (T ) ∩ X =∅. −1 Proof The map g : φ (T ) → D\W is a universal covering map. Since D\W is an annulus, the restriction is equivalent, up to analytic changes of coordinate in domain and range, to the restriction of the complex exponential map to a horizontal strip S, with a(T ) and b(T ) corresponding to −∞ and +∞ on the boundary of S.The −1 conformal isomorphism between φ (T ) and S extends continuously to I (T ), and thus g extends continuously to I (T ) as a universal covering of S . By the Schwarz reﬂection principle, the extension is analytic. 123 Fatou’s Associates 471 1 1 Claim 3 W is a Jordan domain, and = ∂W ∩ S = S \ I (T ). 0 0 Proof Recall that the second equality holds by (3.2). Deﬁne ρ : S → ∂W as follows. On each I (T ), the map is a homeomorphism ρ : I (T ) → γ(T ), ﬁxing the endpoints a(T ) and b(T ). Outside these intervals, i.e. on ∂W ∩ S , ρ agrees with the identity. (Note that, by Claim 2, each I (T ) is a non-degenerate interval, so such ρ does indeed exist.) Clearly ρ is injective; it is surjective by (3.2). By deﬁnition, the restriction ρ| I (T ) is continuous for any T ∈ T ,asis ρ| 1.Solet (T ) be a sequence of pairwise ∂W ∩S n=1 different elements of T , and suppose that ζ ∈ I (T ) is a sequence converging to n n ζ ∈ S . To establish continuity of ρ, we must prove that ρ(ζ ) → ζ . Since the I (T ) are pairwise disjoint, their lengths tend to zero and a(T ) → ζ . n n Let ε> 0. By the Carathéodory prime end correspondence, there is a cross-cut C of D, contained in the Euclidean disc D(ζ, ε) of radius ε around ζ , such that C separates ζ from 0 and φ(C ) is a cross-cut of U with ﬁnite endpoints (Pommerenke 1992, Theorem 2.15). Since ∂ D ∩ C is locally an arc, and φ(C ) is bounded, ∂T intersects φ(C ) only for ﬁnitely many T . (Compare Benini and Rempe 2017, Lemma 2.1.) So, for sufﬁciently large n, γ(T ) is disjoint from C, and C separates a(T ) from ∂ D(ζ, ε) n n in D.So ρ(ζ ) ∈ γ(T ) ⊂ D(ζ, ε).Wehaveprovedthat ρ(ζ ) → ζ , and hence that n n n ρ is continuous. Thus ρ(S ) = ∂W is a Jordan curve. Clearly no I (T ) intersects , and hence ⊂ ∂W ∩ S . On the other hand, every ζ ∈ ∂W ∩ S is accessible from W by the ﬁrst part of the claim. If γ ⊂ W is a 0 0 0 ˆ ˆ ˆ curve tending to ζ , then φ(ζ ) must tend to ∂U ∩ ∂ D ={∞} (where ∂ denotes the boundary in the Riemann sphere C). Hence, ζ ∈ by Proposition 3.1, as required. Since ⊂ is totally disconnected, it follows from Claim 3 that the set {a(T ), b(T )} of endpoints of the intervals I (T ) is dense in . In particular, by Claim 1, ⊂ X, and X ⊂ by Claims 2 and 3. We have established that X = . By Proposition 3.1,the set is in one-to-one cyclic-order-preserving correspon- dence with the set of accesses to inﬁnity in D . Thus, we have proved the ﬁrst claim of the theorem. Moreover, clearly = S \ I (T ) is ﬁnite if and only if T is ﬁnite. If this is the case, the map T → a(T ) deﬁnes a bijection between T and .This completes the proof. Proof of Corollary 1.3 Suppose that f ∈ B, that S( f ) ⊂ F ( f ), and that U is an unbounded forward-invariant Fatou component of f . Choose a point w ∈ U , and let D ⊂ U be a hyperbolic disc, centred at w, of sufﬁciently large hyperbolic radius that S( f ) ∩ U ⊂ D; this is possible since S( f ) is compact and does not meet ∂U . It follows from Theorem 1.2 that the number of singularities of an associated inner −1 function is equal to the number of components of U \ f (D). Since D ⊂ U , each −1 −1 component of U \ f (D) is contained in exactly one component of C\(U ∩ f (D)), so it sufﬁces to count the components of this latter set. Now let D ⊃ D be a bounded Jordan domain containing S( f ), so that the tracts −1 of f are the components of C\ f (D ). Since D ⊃ D, no tract can meet more than −1 −1 one component of C\(U ∩ f (D)). However, each component of C\(U ∩ f (D)) meets at least one tract. This completes the proof. 123 472 V. Evdoridou et al. 4 Bounded-Degree Inner Functions In this section, we prove Theorems 1.4 and 1.10. The results are proved by a stan- dard type of quasiconformal surgery (Branner and Fagella 2014, Section 4.2), which is analogous to the well-known proof of the straightening theorem for polynomial- like mappings (Douady and Hubbard 1985). Throughout this section, and only in this section, we shall use without comment the standard notions and techniques of quasiconformal surgery, as explained for example in Branner and Fagella (2014). We begin with Theorem 1.10, where the surgery takes a particularly simple form. We shall require the following result, which establishes the existence of a suitable function on which to perform the surgery. Proposition 4.1 Let d ≥ 2. Then there exists an entire function h having a simply connected wandering domain W such that, for all n ≥ 0,h (W ) is a Jordan domain n n+1 and h : h (W ) → h (W ) is a proper map of degree d. Proof We use the well-known method of obtaining wandering domains by lifting invariant components of a self-map of C = C\{0}. Compare (Herman 1984, p. 106) and (Sullivan 1985, p. 414) for early examples, and (Benini et al. 2019,p.3)for a general description of this method. Deﬁne d−1 d − 1 z p(z) = 2 · · and j j j =1 f (z) =−z · exp p(z) − c , (4.1) where c = p(−1). Then f (0) = 0, f (−1) =−1, and f (z) =− exp p(z) − c · (2z + z p (z)) ⎛ ⎞ d−1 d − 1 ⎝ ⎠ =− exp p(z) − c · 2z · 1 + · z j =1 d−1 =− exp p(z) − c · 2z · (z + 1) . Hence, f has super-attracting ﬁxed points at 0 and −1, and no other critical points. The super-attracting ﬁxed point 0 is also the only asymptotic value of f .Let U be the Fatou component of f containing −1. Since U is a super-attracting basin containing no singular values other than the ﬁxed point, it follows that f : U → U has degree d. By Bergweiler et al. (2015, Theorem 1.10), U is a bounded Jordan domain (in fact, a quasidisc). See Fig. 3. −1 Observe that f (0) ={0}.Let h be the lift of f under z = exp(w) deﬁned by h(w) = 2w + p(exp(w)) − c + πi . 123 Fatou’s Associates 473 πi −1 −πi (a) f(z)= −z · exp p(z) − c (b) h(w)=2w + p(exp(w)) − c + πi Fig. 3 The function f deﬁned in (4.1) and its lift h, illustrating Proposition 4.1 in the case d = 2. The Julia sets are shown in black and the basin of −1, respectively its preimage under the exponential map, is shown in grey. Critical points are marked by asterisks. Observe that h (2k − 1)πi = (4k − 1)πi for k ∈ Z.Let W be the connected −1 k component of exp (U ) containing (2 − 1)πi. By Bergweiler (1995), we have exp(J (h)) = J ( f ),so W is a Fatou component of h, with h(W ) ⊂ W . Since U k k k+1 is a Jordan domain and is mapped to itself as a proper map of degree d,itfollows that W = W has the desired properties. Proof of Theorem 1.10 Let g be a ﬁnite Blaschke product of degree d ≥ 2, and let h and W be as in Proposition 4.1.Let g ˜ be the Blaschke product associated with −1 h : W → f (W ),say g ˜ = φ ◦ h ◦ φ with Riemann maps φ : W → D and 1 0 φ : f (W ) → D. Restricted to S , both g and g ˜ are analytic covering maps of degree d and, therefore, 1 1 there is an analytic map θ : S → S such that g ◦ θ =˜ g. (4.2) In particular, θ is quasisymmetric, and can, therefore, be extended to a quasiconformal homeomorphism θ : D → D. Deﬁne a quasiregular map f : C → C by h(z) if z ∈ / W f (z) = −1 φ (g(θ (φ (z)))) if z ∈ W . Since ∂W and ∂ f (W ) are Jordan curves, the maps φ and φ extend homeomorphically 0 1 to the boundary. By (4.2), f is continuous at points of ∂W . By the Bers gluing lemma, it follows that f is indeed quasiregular on C. 123 474 V. Evdoridou et al. Let μ be the dilatation of θ ◦ φ , which is a Beltrami differential on U . Extend μ to C as follows: If V is a component of the Fatou set of h such that h (V ) = W for n > 0, let μ| be the pull-back of μ| under h . On the complement of the backward V W orbit of W,set μ = 0. Then μ is invariant under f . Apply the measurable Riemann mapping theorem to obtain a quasiconformal map ψ : C → C whose dilatation is μ; then −1 f = ψ ◦ f ◦ ψ . . . . is an entire function. Moreover, consider U = ψ(W ) and V = ψ(h(W )) = f (U ). Then −1 = θ ◦ φ ◦ ψ : W → D and 0 0 −1 = φ ◦ ψ : V → D 1 1 are conformal isomorphisms and −1 −1 ◦ f = φ ◦ f ◦ ψ = g ◦ θ ◦ φ ◦ ψ = g ◦ 1 1 0 0 on W.So g is an associated inner function of f : U → V . The proof of Theorem 1.4 is similar. As with Proposition 4.1, we should ﬁrst establish the existence of suitable subjects for our surgery. (See Fig. 4.) Proposition 4.2 For every d ≥ 2, there is an entire function α having an invariant super-attracting Fatou component W which is a bounded Jordan domain, and such that f : W → W is a proper map of degree d. Fig. 4 The functions α and ρ from Proposition 4.2. Julia sets are shown in black, and the critical points 2 2 0 and 1 are marked by asterisks. The attracting basin of 0 for α and the parabolic basin of ρ are shown 2 2 in grey. 123 Fatou’s Associates 475 Similarly, there is an entire function ρ having an invariant parabolic Fatou com- ponent W which is a bounded Jordan domain, and such that f : W → W is a proper mapofdegreed. Proof A function f with the properties required of α was already described in (4.1), but since we do not require α to restrict to a self-map of C\{0} here, we can also give simpler formulae, such as 1 − cos(π z) α : C → C; z → . Then S(α ) ={0, 1}, both 0 and 1 are super-attracting ﬁxed points, and 0 is a degree d critical point of α . Let W be the connected component of F (α ) containing 0. Then W is simply connected, and α : W → W is a branched covering branched only over 0. Since both singular values of α belong to (super-)attracting basins, the map α is hyperbolic in d d the sense of Bergweiler et al. (2015). Again applying Theorem 1.10 of Bergweiler et al. (2015), U is a quasidisc. For λ> 0, deﬁne α (z) + λ f (z) = . (4.3) 1 + λ Then 0 and 1 are still critical points of f , with critical values λ/(1 + λ) and 1. Moreover, f is increasing on [0, 1]. It is easy to see that there is λ > 0 such that the λ 0 orbit of 0 converges to an attracting ﬁxed point for λ<λ ,to1for λ>λ , and to a 0 0 parabolic ﬁxed point for λ = λ . (See Fig. 5.) Set ρ = f , and let W be the Fatou 0 d λ component containing 0. Then ρ : W → W is a degree d proper map. Moreover, since all singular values belong to attracting or parabolic basins, ρ is strongly geometrically ﬁnite in the sense of Alhamed et al. (2020). By Alhamed et al. (2020, Theorem 1.8), W is a bounded Jordan domain. We now divide the connectivity locus G of ﬁnite Blaschke products from Theo- rem 1.4 into subclasses as follows. For d ≥ 2, denote by A the Blaschke products of 1 1 1 1 1 1 0.9 0.9 0.9 0.9 0.9 0.9 0.8 0.8 0.8 0.8 0.8 0.8 0.7 0.7 0.7 0.7 0.7 0.7 0.6 0.6 0.6 0.6 0.6 0.6 0.5 0.5 0.5 0.5 0.5 0.5 0.4 0.4 0.4 0.4 0.4 0.4 0.3 0.3 0.3 0.3 0.3 0.3 0.2 0.2 0.2 0.2 0.2 0.2 0.1 0.1 0.1 0.1 –0.2 –0.2 –0.1 –0.1 0 0 0 0.1 0.1 0.2 0.2 0.3 0.3 0.4 0.4 0.5 0.5 0.6 0.6 0.7 0.7 0.8 0.8 0.9 0.9 1 1 1.1 1.1 –0.2 –0.2 –0.1 –0.1 0 0 0 0.1 0.1 0.2 0.2 0.3 0.3 0.4 0.4 0.5 0.5 0.6 0.6 0.7 0.7 0.8 0.8 0.9 0.9 1 1 1.1 1.1 –0.2 –0.2 –0.1 –0.1 0 0 0 0.1 0.1 0.2 0.2 0.3 0.3 0.4 0.4 0.5 0.5 0.6 0.6 0.7 0.7 0.8 0.8 0.9 0.9 1 1 1.1 1.1 –0.1 –0.1 –0.1 –0.1 –0.1 –0.1 (a) λ =0 (b) λ = λ (c) λ<λ 0 0 Fig. 5 The graph of f ,asdeﬁnedin(4.3), in the case d = 2. We have f = α and f = ρ .Here λ 0 2 λ 2 λ ≈ 0.0548. 123 476 V. Evdoridou et al. degree d having an attracting ﬁxed point in D, and by P those having a triple ﬁxed point on S . The elements of A are called elliptic Blaschke products, while those of P are said to be parabolic with zero hyperbolic step; see Fletcher (2015). Then G = A ∪ P . Our goal is to extend the proof of Theorem 1.10 to the case of d d invariant attracting or parabolic components. To do so, we need to be able to replace the (non-dynamical) quasisymmetric map θ by a conjugacy between the two Blaschke products in question. This is possible by the following result. (See also Clark and van Strien (2018, Theorem A) for a much more general and extremely deep result.) Proposition 4.3 Let d ≥ 2. Any two elements of A are quasisymmetrically conjugate 1 1 on S , and any two elements of P are quasisymmetrically conjugate on S . Proof The maps in A are hyperbolic in the sense of rational dynamics, and hence expanding on their Julia sets. The result is well known in this case; see de Melo and van Strien (1993, Exercise 2.3 in Chapter II), and compare Petersen (2007) for a more general theorem. See also Branner and Fagella (2014, Section 4.2). For P , the result follows from Lomonaco et al. (2017, Proposition 2.3). Proof of Theorem 1.4 Let g ∈ G, say of degree d ≥ 2. If g ∈ A ,set h = α from d d Proposition 4.2;if g ∈ P ,set h = ρ .Let W be the corresponding invariant Fatou d d −1 component, let φ : W → D be a Riemann map, and set g ˜ = φ ◦ h ◦ φ . 1 1 Then by Proposition 4.3, there is a quasisymmetric homeomorphism θ : S → S such that g ◦ θ = θ ◦˜ g. Extend θ to a quasiconformal map θ : D → D and deﬁne h(z) if z ∈ / W f : C → C; z → −1 −1 φ θ g(θ (φ (z))) if z ∈ W . The argument now proceeds exactly as in the proof of Theorem 1.10. The function f is quasisymmetric. Straightening an invariant Beltrami differential that extends the complex dilatation of θ ◦ φ, we obtain an entire function for which g is a dynamically associated inner function. Remarks (a) To carry out the surgery, we could have started with any function h having an invariant attracting or parabolic component W of the required degree d. (For simplicity, our proof used the fact that W is a Jordan domain, but it is easy to see that this is not essential.) In particular, let g ˜ be the dynamically associated inner function, and let g be a Blaschke product of the same degree and type (i.e., elliptic or parabolic with zero hyperbolic step) as g ˜. If additionally g and g ˜ are quasiconformally equivalent, i.e. differ only by pre- and post-composition with quasiconformal homeomorphisms of the disc, then there is an entire function f quasiconformally equivalent to h for which g is a dynamically associated inner function. As mentioned in the introduction, it seems that a similar result holds for functions with ﬁnitely many singular values – or, more generally, Fatou compo- nents W for which W ∩S( f ) is compact. We shall leave this question for discussion in a future paper. (b) Observe that we could also have deduced Theorem 1.10 from (the proof of) Theorem 1.4, applying the surgery for attracting basins to the function f deﬁned 123 Fatou’s Associates 477 in 4.1. From this, we obtain another self-map of C\{0} realising a desired Blaschke product. Taking a lift of this second function, we obtain a wandering domain with the desired property. (c) We have restricted to ﬁnite-valence attracting and parabolic Fatou components, where we obtained a complete description of the associated Blaschke products. However, let us brieﬂy comment on the case of a ﬁnite-valence Baker domain, i.e. an invariant component of the Fatou set on which the iterates converge locally uniformly to inﬁnity. Such a domain is called hyperbolic, simply parabolic or doubly parabolic, depending on whether the Denjoy–Wolff point of the associated Blaschke product is attracting, a double ﬁxed point, or a triple ﬁxed point. Compare Fagella and Henriksen (2006). Doubly parabolic examples of every ﬁnite degree d exist (Fagella and Henriksen 2006, Section 4). The corresponding inner function belongs to P , and we can apply our surgery to see that every element of P is d d realised as a dynamically associated inner function of an entire function with a Baker domain. An analogue of Proposition 4.3 also holds for Blaschke products with J ( f ) = S (again, this is a simple special case of Clark et al. (2018, Theorem A)). Therefore, starting with a function having a hyperbolic or simply parabolic Baker domain of ﬁnite degree, we can apply the same surgery technique. However, as far as we are aware, the only known hyperbolic and simply parabolic Baker domains of ﬁnite valence are univalent. Hence we cannot presently answer the question which ﬁnite Blaschke products arise as dynamically associated inner functions of entire functions with Baker domains. 5 Inner Functions of Exponential Maps We begin with the following well-known observation concerning exponential maps f (z) = λe . Lemma 5.1 (Devaney and Goldberg 1987, Lemma 1.1) f has a ﬁxed point of multi- −τ plier τ ∈ C\{0} if and only if λ = τ · e . Proof If z is a ﬁxed point of multiplier τ , then z = f (z) = f (z) = τ.So τ = λe , as claimed. The following shows that unisingular inner functions with an attracting ﬁxed point are determined by their degree and their multiplier. Lemma 5.2 Let τ ∈ D\{0}, and let 2 ≤ d ≤∞. Then up to conjugacy by a Möbius automorphism of D, there exists a unique inner function g : D → D of degree d such that g has an attracting ﬁxed point of multiplier τ in D, and such that g has only one singular value in D. Proof To prove existence, it is enough to exhibit the existence of a polynomial or entire function having an attracting ﬁxed point of multiplier τ , and having only one singular value. Indeed, then the dynamically associated inner function is of the stated form. 123 478 V. Evdoridou et al. For d < ∞, such a function is given by the polynomial z → · ((z + 1) − 1); for d =∞ the function f −τ has the desired properties by Lemma 5.1. τ ·e So it remains to prove uniqueness. Suppose that g and g ˜ are both functions with the stated properties. Let z and z ˜ be the corresponding ﬁxed points, and s and s˜ 0 0 the singular values. By the Kœnigs linearisation theorem, there is a simply connected domain U ⊃{z , s} and a conformal isomorphism 0 0 −1 φ : U → B(0, |τ | ) ˜ ˜ such that φ(g(z)) = τφ(z) and φ(s) = 1. An analogous function φ on a domain U exists also for g ˜. Set −1 ˜ ˜ ψ = φ ◦ φ : U → U . 0 0 0 Then ψ conjugates g to g ˜ on U , with ψ (z ) =˜z and ψ (s) =˜s. 0 0 0 0 0 0 . −1 Now set U = g (U ) ⊃ U . Then g : U → U is either a branched covering of 1 0 0 1 0 degree d, branched only over s (if d < ∞), or a universal covering (otherwise); see Bergweiler et al. (2015, Proposition 2.8). The same is true for g ˜. It follows that we can lift ψ toamap ψ : U → U such that ψ (g(z)) =˜ g(ψ (z)) and ψ (z ) =˜z . 0 1 1 1 0 1 1 0 0 We have ψ (z) = ψ (z) near z , and hence by the identity theorem on all of U .In 1 0 0 0 particular, ψ (s) =˜s, and we can continue inductively. In this manner, we obtain a conformal conjugacy ψ between g and g ˜ on −n g (U ) = D. In other words, g and g ˜ are Möbius conjugate, as claimed. We now study the family of maps g as in (1.5). (See Fig. 6.) a,b Proposition 5.3 No two different maps g are conformally conjugate. Moreover, a,b g has an attracting ﬁxed point in H if and only if a > 1 or a ≤ 1 and |b| > a,b √ √ arccos( a) − a · 1 − a. Proof If g and g are conformally conjugate, then the conjugacy ψ must preserve a,b a ˜ ,b −1 −1 the set g (∞) = g (∞), which consists of the odd multiples of π/2. So ψ is a,b ˜ a ˜ ,b a translation by an integer multiple of π. Since it must also map singular values to ˜ ˜ singular values, we have ψ(ai + b) =˜ai + b.So a =˜a and b − b ∈ π Z.As ˜ ˜ b, b ∈ (−π/2,π/2], we see that b = b as required. Recall that, by the Denjoy–Wolff theorem, for every a and b there is a point ζ ∈ H ∪{∞} such that g → ζ locally uniformly on H. We claim that ζ =∞. Indeed, 0 0 a,b recall that g is π-periodic, and that g (z) → b + ai ∈ H as Im z →+∞. Hence, a,b a,b 123 Fatou’s Associates 479 a =1 a =0 π π b =0 b = − b = 2 2 Fig. 6 The family g ,for −π/2 < b <π/2and 0 < a <π. For parameters in the grey region, g has a,b a,b √ √ √ an attracting ﬁxed point in H.The curve |b|= arccos( a) − a · 1 − a is shown in black. Note that g has a multiple ﬁxed point in R for each parameter on this curve, but only tan = g has a triple ﬁxed a,b 1,0 point. The strong dotted lines are curves of ﬁxed argument for the multiplier of the attracting ﬁxed point of g . a,b . n if z = g (z ) →∞ for some z ∈ H,wemusthaveIm z → 0. On the other n 0 0 n a,b hand, within any horizontal strip of bounded height we have |tan (z)|= ≥ C ·|tan(z)| |cos(z)| for some constant C. So, in particular, |g (z )|→∞. It follows that a,b Im z = dist(z , R) ≥ dist(z , R) = Im z n+1 n+1 n n for sufﬁciently large n. Since Im z → 0 and R is completely invariant, this is possible only if z ∈ R. Hence ∞ cannot be the Denjoy–Wolff point of g . In particular, g has an a,b a,b attracting ﬁxed point in H if and only if it does not have an attracting or parabolic ﬁxed point in R. Now, if g has a ﬁxed point of multiplier τ> 0at α ∈ R, then α is not an odd a,b multiple of π/2, and τ = g (α) = . a,b (cos α) So a = a (α) = τ · (cos α) , and in particular a ≤ τ . But also α = g (α) = τ · (cos α) · tan α + b = τ · cos α · sin α + b, a,b 123 480 V. Evdoridou et al. so b = b (α) = α − τ · cos α · sin α. Note that a(α) is a strictly decreasing function of α on [0,π/2), and it is an easy exercise to see that, for τ ≤ 1, b (α) is a strictly increasing function of α. To prove the claim, let us restrict to the case b ∈[0,π/2], which we can do by symmetry. If g has a parabolic ﬁxed point α in R, then a ≤ 1 and α ∈[0,π/2]. a,b Therefore, √ √ b = α − cos α · sin α = arccos a − a · 1 − a =: θ(a). Moreover, for ﬁxed α, a (α) is an increasing function of τ , while b (α) is a decreasing τ τ function of τ . It follows that g has an attracting ﬁxed point in R if and only if a < 1 a,b and b <θ(a), as claimed. Proof of Theorem 1.6 Let f and U be as in the theorem, and let g : H → H be an inner function dynamically associated with f on U . Then g has an attracting ﬁxed point in H, and a single singular value in H, which we may assume to be placed at i. Then g : H → H\{i } is a universal covering map. So is tan, and the two maps agree up to pre-composition by a Möbius transformation of the half-plane. Applying a suitable Möbius conjugacy to g, we see that it can be chosen of the form g ∈ G. a,b Proof of Theorem 1.5 The characterisation of G is in Proposition 5.3, and claim (I) holds by assumption. If f ∈ F, then by Theorem 1.6, there is an inner function g ∈ G dynamically associated with f , and this function is unique by the ﬁrst part of Proposition 5.3. Finally, let g ∈ G have an attracting ﬁxed point of multiplier τ ∈ D\{0} in D. There is a unique λ ∈ C\{0} such that f has a ﬁxed point of multiplier τ , namely −τ λ = τ · e . As we have just proved, there is a dynamically associated inner function g ∈ G, and by Lemma 5.2 and the ﬁrst part of Proposition 5.3,wehave g = g , a,b a,b as required. For the parabolic case, we use the following version of Lemma 5.2. Lemma 5.4 Up to conformal conjugacy, tan : H → H is the only inner function of inﬁnite valence that has a unique singular value in H and that has a ﬁxed point of multiplicity 3 in R. Proof The proof is similar to Lemma 5.2: Given two functions g and g ˜ with the stated properties, we can use Fatou coordinates to construct petals U , U ⊂ H of g and g ˜ 0 0 and a conformal isomorphism ψ : U → U with ψ ◦ g =˜ g ◦ ψ , and such that 0 0 0 0 0 ψ (s) =˜s.(Here s and s˜ are again the singular values of g and g ˜.) −1 We can again lift ψ toamap ψ on g (U ), chosen such that ψ (g(s)) =˜ g(s˜), 0 1 0 1 and it follows as before that ψ = ψ on U . The proof now proceeds as before, and 0 1 0 we conclude that g and g ˜ are Möbius conjugate. 123 Fatou’s Associates 481 Proof of Theorem 1.7 Suppose that f and U satisfy the hypotheses of the theorem. Let . n −1 φ : U → H be a conformal isomorphism, and let g = φ ◦ f ◦ φ be the dynamically associated inner function, where n is the period of the parabolic Fatou component U . Recall that g is of inﬁnite valence and has only one singular value α ∈ H. Con- sequently g : H → H\{α} is a universal covering map. Applying a suitable Möbius conjugacy, g can be taken of the form g = g for unique choices of a > 0 and a,b b ∈ (−π/2,π/2]. Since f has no ﬁxed point in U , the inner function g has no ﬁxed point in H, so its Denjoy–Wolff point ζ must lie on the boundary. As noted in the proof of Proposition 5.3,wehave ζ =∞. The point ζ is thus either an attracting ﬁxed point, 0 0 a double ﬁxed point (with a single attracting direction along R) or a triple ﬁxed point (with two repelling directions along the real axis). As mentioned previously, the ﬁnal case holds if and only if g has zero hyperbolic step, i.e. k k+1 dist (g (z), g (z)) → 0 as k →∞, for all z ∈ H.Heredist denotes hyperbolic distance. It is well known that kn (k+1)n dist ( f (z), f (z)) → 0 for z ∈ U . Indeed, the proof of the existence of Fatou coordinates, see Milnor (2006, Chapter 10), shows that all z ∈ U eventually enter an attracting petal P ⊂ U on which f is conformally conjugate to the map z → z + 1 on the upper half-plane. So kn f (z) ∈ P for large enough k, and kn (k+1)n kn (k+1)n dist ( f (z), f (z)) ≤ dist ( f (z), f (z) = O(1/k). U P Since g is conformally conjugate to f | , we see that g does indeed have zero hyperbolic step, and hence a triple ﬁxed point at ζ . By Lemma 5.4,wehave g = tan, as claimed. z−1 Remark In the speciﬁc case of the parabolic exponential map f (z) = e , we could proceed somewhat more directly, using the inherent symmetry of the Julia set. Indeed, the parabolic basin U intersects the real axis in the interval (−∞, 1). This interval is a hyperbolic geodesic of U by symmetry, and contains the singular value 0. For the inner function h = h : H → H, it follows that the hyperbolic geodesic connecting the a,b Denjoy–Wolff point to ∞ contains the singular value. From this, we easily conclude that b = 0, so that h = a · tan(z), with a ≤ 1. We have dist (z, a · tan(z)) dist (z, a · z) = log 1/a H H as z → 0in H. Hence we must have a = 1, as claimed. We note that similar results to Theorems 1.6 and 1.7 hold when the cycle of U contains only one singular value and and f : U → U is proper of degree d. Indeed, 123 482 V. Evdoridou et al. in this case the associated inner function g is a ﬁnite-degree unicritical Blaschke product having connected Julia set, and the connectedness locus of unicritical Blaschke products has been described in detail in Fletcher (2015), Cao et al. (2017). When d = 2, an elliptic Blaschke product ﬁxing zero with multiplier λ is given by z + λ z → z · , 1 + λz see Branner and Fagella (2014, Section 4.2.1), and a Blaschke product with a parabolic ﬁxed point is given by the function (1.4). Hence, if U is a periodic Fatou component of period n whose orbit contains just one singular value, which is a critical value of degree 2, then one of the above Blaschke products is dynamically associated with f : U → U . 6 A Generalisation of Exponential Maps We now generalise our considerations for exponential maps as follows. Theorem 6.1 Suppose that f is an entire function and U is an unbounded forward- −1 invariant Fatou component on which f has inﬁnite valence, but such that f (a) ∩ U contains exactly p points, counting multiplicity, for some a ∈ U and p ≥ 0. Assume also that an inner function dynamically associated with f | has a ﬁnite number q ≥ 1 of singularities on ∂ D. Then f has a dynamically associated inner function of the form ⎛ ⎞ i θ e + z ⎝ ⎠ g : D → D; z → B(z) exp − c , (6.1) i θ e − z j =1 for some ﬁnite Blaschke product B of degree p, real numbers θ ,...,θ , and positive 1 q real numbers c ,..., c . 1 q Before we prove the theorem, let us note a special case. Corollary 6.2 Suppose that P, Q are polynomials of degree deg P ≥ 0 and deg Q ≥ 1. Suppose also that the function Q(z) f (z) := P(z)e has an unbounded forward-invariant Fatou component, U, containing the origin, on which f has inﬁnite valence. Then f has a dynamically associated inner function of the form (6.1), with q ≤ deg Q and p ≤ deg P. Remark If λ is sufﬁciently small, then all the conditions of this corollary hold for λ f ; see, for example, Sixsmith (2018, Lemma 7.1). Proof of Corollary 6.2 using Theorem 6.1 There are at most deg P preimages of 0 under f in U (counting multiplicity), and any associated inner function has at most deg Q 123 Fatou’s Associates 483 singularities on ∂ D by Theorem 1.2 (note that S( f ) is ﬁnite, and hence U ∩ S( f ) is compact). Hence the hypotheses of Theorem 6.1 are satisﬁed. Proof of Theorem 6.1 Let g be an inner function dynamically associated with f .We shall assume that the Riemann map φ : D → U is chosen so that φ(0) = a.By Theorem 2.1,set g = B · S, where B is a Blaschke product and S is a singular inner function of the form (2.1). Since S is never zero, and a has exactly p preimages under f , counting multiplicity, it follows that B must be a ﬁnite Blaschke product of degree p. Note that this implies that B has no singularities in the boundary of the disc. It is easy to see, for example, by Garnett (2007, Theorem 6.2), that the singularities of g correspond exactly to the support of μ. Since g has only q singularities, there exist real numbers θ ,...,θ and positive real numbers c ,..., c such that μ is equal 1 q 1 q i θ to q point masses, each of mass c , at the points e . The result follows. We now give three applications of this result. Our ﬁrst example notes that, for the func- tions studied in Theorems 1.5 and 1.7, we recover the family of maps g from (1.5), a,b up to conformal conjugacy. Example 6.3 Suppose that f has a Fatou component U of period n such that U contains only one singular value of f , and such that f : U → U is of inﬁnite valence. Then this restriction is a universal covering over a single point a ∈ U , and therefore Theorem 6.1 applies with p = 0 and q = 1. In particular, suppose that f (z) = λe ,for some λ = 0, such that f has a forward- invariant attracting or parabolic Fatou component, U . Then U must contain the origin, which is the only singular value of f , and Corollary 6.2 applies with P ≡ λ, p = 0, Q ≡ Id and q = 1. The only Blaschke product of order zero is the rotation. Hence, there exist σ ∈ (−π, π ], c > 0, and θ ∈ (−π, π ] such that i θ z + e i σ g(z) = e exp c . (6.2) i θ z − e Conjugating g with a rotation if necessary, we can assume that θ = π, in which case z − 1 g(z) = exp i σ + c . (6.3) z + 1 This is equivalent to (1.3) and (1.5), with μ = σ + ic and (a, b) = (c,σ )/2, respec- tively. z−1 In particular, when U is a parabolic basin, and in particular for f (z) = e ,we have c = 2 and σ = 0 by Theorem 1.7. So here g takes the form 2(w − 1) g(w) = exp . w + 1 123 484 V. Evdoridou et al. Example 6.4 Suppose we are in the family f (z) = λze , so that P ≡ λ Id, p = 1, Q ≡ Id and q = 1. Suppose that f has a forward-invariant Fatou component, U,of inﬁnite valence, that contains the origin. Then the hypotheses of Corollary 6.2 hold. The fact that q = 1 means, again, that after the right choice of arg φ (0) we can take, for some positive c, z − 1 S(z) = exp c . z + 1 For B, the fact that p = 1 means that B is a Blaschke product of degree one. However, we also know that f (0) = 0 and so g(0) = 0. Thus, for some σ> 0, we have z − 1 i σ g(z) = e z exp c . z + 1 Example 6.5 Suppose we are in the family f (z) = λe ,for some q ∈ N, so that P ≡ λ and Q(z) = z . Suppose that the hypotheses of Corollary 6.2 hold. Since f omits the origin, we get that the Blaschke product is just a constant. We also get, by obvious symmetry considerations, that the θ in (6.1) can be taken to be the qth roots 2πi /q of unity, and the c are all the same. Set ω = e . Then there exists σ> 0 and c > 0 such that ⎛ ⎞ ω + z i σ ⎝ ⎠ g(z) = e exp −c . ω − z j =1 7 Proof of Theorem 1.8 Proof of Theorem 1.8 It is easy to see that if λ ∈ (0, 1), then both critical values ±λ are in the immediate basin of attraction U of the attracting ﬁxed point at 0. It follows easily that U = F ( f ). (This was already observed by Fatou (1926)). In particular, (I) holds. For simplicity write f for f . Choose the Riemann map φ : D → U so that φ(0) = 0 and φ (0)> 0. Then φ maps points on the real line to the real line, because of the . −1 obvious symmetry of U.Let g be the inner function g = φ ◦ f ◦ φ, and let g = B · S, where B is a Blaschke product and S is a singular inner function, as usual. Clearly 0 is a simple zero of f , and so of g, and so of B. Notice that f is 2π-periodic. Notice also that f (the second iterate) is π-periodic. Hence, J ( f ) is π-periodic. The zeros of f are the points ±ζ , where ζ = nπ, for n ∈ N. 123 Fatou’s Associates 485 Hence, the other zeros of g, and so of B,are allofthe form ±a , for some increasing sequence with a → 1as n →∞. Thus, we can write B as 2 2 a − z B(z) = z · . (7.1) 2 2 1 − a z n≥1 We claim that S is, in fact, absent. To prove this claim, suppose otherwise. If D ⊂ U −1 is a Jordan domain containing [−λ, λ], then f (U \D) has exactly two components. −1 Indeed, by the elementary mapping properties of sin, the set f (∂ D) consists of two curves tending to ±∞, symmetrically with respect to the real axis. By Theorem 1.2, the map g has two singularities on ∂ D. Since ±1 are singularities of B, this means that S has at most two singularities, which would need to be positioned at ±1. Since U is symmetric on reﬂection in the imaginary axis, and since f is an odd function, our choice of φ implies that g is also an odd function. Hence, S is generated by two equal masses, each at ±1. In particular, by a calculation from (2.1), there exists c > 0 such that z + 1 S(z) = exp c . z − 1 It follows that as x → 1, we have that S(x ) → 0, and so g(x ) → 0. This is impossible, as f (x ) does not have a limit as x →∞. This contradiction proves our claim, and we have g = B with B as in (7.1). Next we seek to ﬁnd a formula for the a . Because of the periodicity of J ( f ) the hyperbolic distance in U from ζ to ζ is constant, and in fact equal to the n n+1 hyperbolic distance in U from 0 to ζ . Call this distance d. By symmetry, the real axis is a hyperbolic geodesic of U . It follows that dist(0,ζ ) = n · d. Then the hyperbolic distance in D from 0 to a is also n · d, and so 1 + a log = n · d, 1 − a from which we calculate n·d n e − 1 τ − 1 a = = , n·d n e + 1 τ + 1 where τ = e ∈ (1, ∞). Clearly d, and hence τ , depends on λ. Write τ = τ(λ); it remains to show that τ : (0, 1) → (1, ∞) is a homeomorphism. Since φ(0) = g(0) = f (0) = 0, τ − 1 λ = f (0) = g (0) = a = . τ + 1 n≥1 n≥1 123 486 V. Evdoridou et al. In particular, λ is uniquely determined by τ . The function x → (x − 1)/(1 + x ) is strictly increasing on [1, ∞).So λ is a strictly increasing continuous function of τ . Moreover, it is easy to see that λ → 0as τ → 1, and λ → 1as τ →∞. 8 Fatou Components with Inﬁnitely Many Critical Values Proof of Theorem 1.9 It is easy to show that f has a completely invariant Fatou com- ponent, U , which contains a right half-plane. Hence, (I) holds. For simplicity, write f for f and U for U . Note that 0 ∈ U , and indeed (by a λ λ calculation) R ⊂ U . Note also that f (z) = f (z), and so U is symmetric with respect to reﬂection in the real line. Let α> 0, and choose the Riemann map φ : H → U so that φ(i α) = 0 and −1 i · φ (i α) > 0. (We will choose α later). Then φ maps points on the real axis to the . −1 positive imaginary axis, because of the symmetry of U.Let h = φ ◦ f ◦ φ be an inner function of the upper half-plane. Note that f (w + 2πi ) = f (w) + 2πi,for w ∈ C. This means that U is periodic under translation of 2πi. We can deduce that there exists κ> 0 such that −1 −1 φ (w + 2πi ) = φ (w) − κ, for w ∈ C. It then follows that h(z − κ) = h(z) − κ,for z ∈ H. We claim that h has one singularity, and this is at inﬁnity. (Observe that we cannot apply Theorem 1.2, as the singular values of f are not compactly contained in U .) Suppose that ζ is such that |ζ | is small. It can be shown by a calculation that the preimages under f of ζ that are of large modulus are close to the points − log |y |+iy , n n where 4n+1 π, for n ∈ N, y = 4n+3 π, for − n ∈ N. These points can be connected to inﬁnity by two curves in U (one containing the points of positive imaginary part, and the other containing the points of negative imaginary part) that are each homotopic to (0, +∞). This establishes the fact that h has only one singularity, since by transferring everything to the unit disc via a Möbius map we can deduce that g has exactly one singularity on ∂ D, the point where all preimages of almost −1 every z ∈ D accumulate. Moreover, this singularity of h is at lim φ (x ) = i ∞. x →+∞ This completes the proof of the claim. Since h has no singularities in H, by Schwarz reﬂection it extends to a transcendental meromorphic map of the whole plane, which we continue to call h, and which maps H to itself. For simplicity, we now write G (z) . . . . h(z) = z + G(z) = z + , G (z) 123 Fatou’s Associates 487 where G and G are entire. Then 1 2 G(z + κ) = G(z), in other words, G is κ-periodic. Note that κ depends linearly on α; this can easily be seen by pre-composing φ withamap z → cz,for c > 0. Hence, we can assume that α is chosen so that κ = π; in other words, G is π-periodic. Next we locate the poles and ﬁxed points of h. Since φ(it ) ∈ R and φ(it ) →−∞ as t → 0, we have φ(h(it )) = f (φ (it )) →+∞.So h(it ) →∞ as t → 0, and 0 is a pole of h. Since h commutes with translation by κ = π, all the integer multiples of π, ζ = πn, are also poles of h. We claim that there are no other poles. Indeed, every pole of h is the landing point of a component of −1 −1 −1 h (i ·[t , ∞)) ⊂ φ ( f ([λ + 2, ∞))), −1 where t is sufﬁciently large. But f ([λ + 2, ∞)) tends to the boundary of U only in the direction of +∞ or −∞, asymptotically at imaginary part 2nπ. It follows easily that the ζ are the only poles of h. −n Now we locate the ﬁxed points of h. The ﬁxed points of the map f are the points z =− log λ + (2n + 1)πi,for n ∈ Z. These points are accessible boundary points of U , since, for each n ∈ N,the set {z + x : x > 0} lies in U . Since the set of ﬁxed points . −1 is 2πi-periodic, the corresponding ﬁxed points w = φ (z ) of h are a π-periodic n n set of real numbers; this follows from our choice of α above. Since the ﬁxed points of f are simple, all these are simple ﬁxed points of h. It is easy to see that the poles ζ are simple, as otherwise h could not preserve the upper half-plane. Similarly, h cannot have any critical points on the real line. For, if x ∈ R and h (x ) = 0, then close to x the map h behaves like a power map and so cannot preserve the upper half-plane. It follows that there is exactly one ﬁxed point between every two poles. We deduce that the points z are the only ﬁxed points of h. Moreover, since z and z are symmetrically placed with respect to the real axis, 0 −1 the same must be true of w and w . Since w − w = π,the w are at the odd 0 −1 n n+1 n multiples of π/2. Since the poles of h are exactly the zeros of the sine function, it follows that there is an entire function h such that h (z) G (z) = e sin z. Similarly, the ﬁxed points of h (which are all simple) are the zeros of G . Hence, there is an entire function h such that h (z) G (z) = e cos z. We have now concluded that there is an entire function H such that H (z) h(z) = z + e cot z. 123 488 V. Evdoridou et al. H (z) Note that G, and hence e ,is π-periodic. Now, if x > 0 is large, then f (x + iy) ≈ x + iy + λ. We can deduce that if y > 0 is large, then h(x + iy) = x + iy + iν(x , y), where ν(x , y) is small. It follows that H (z) e is bounded, and so must be constant. Since f maps the real line to itself and maps large values of x close to x + λ, h maps the positive imaginary axis to itself H (z) and, when y is large, maps iy close to i (y + ν) for some positive ν. Thus, e is the constant −ν, and we have obtained that h(z) = z − ν cot z. It remains to show that ν = λ/2. Fix δ> max(π, ν).For t >δ, we can apply Koebe’s distortion theorem to φ, restricted to the disc D(it , t ) ⊂ H centred at it, to obtain distortion estimates on the smaller disc D(it,δ). More precisely, setting r = δ/t < 1, we have 2 2 (1 − r ) |φ(z) − φ(it )| 1 (1 + r ) ≤ · ≤ (1 + r ) |z − it | |φ (it )| (1 − r ) for all z ∈ D(it,δ).For z = it + π,wehave φ(z) = φ(it ) + 2πi,so |φ (it )|→ 2as t →∞. Similarly, for z = h(it ) and sufﬁciently large t,wehave z ∈ D(it,δ) and |φ(z) − φ(it )| | f (φ (it )) − φ(it )| λ = → , |z − it | |h(it ) − it | ν so |φ (it )|→ λ/ν.Wehaveshown ν = λ/2, as required. 9 Proof of Theorem 1.11 We ﬁrst give a simple result about uniform convergence of ﬁnite Blaschke products in the unit disc, which we use in the proof of Theorem 1.11. Proposition 9.1 Suppose that (B ) is a sequence of ﬁnite Blaschke products of n n∈N degree d, which converge locally uniformly on D to a ﬁnite Blaschke product, B, of degree d. Then the convergence is, in fact, uniform on D. Proof In general, we denote the open disc with centre w ∈ C and radius r > 0by D(w, r ) ={z ∈ C :|z − w| < r }. Let ρ ∈ (0, 1) be such that all the zeros of B lie in the disc D(0,ρ). Set t = min{|B(z)|:|z|= ρ} > 0. It follows from local uniform convergence that for all sufﬁciently large values of n, we have |B(z) − B (z)| < t ≤|B(z)|, for |z|= ρ. 123 Fatou’s Associates 489 It then follows from Rouché’s theorem that, for all sufﬁciently large values of n,all the zeros of B lie in D(0,ρ). Hence there exists r ∈ (0, 1) such that all the zeros of all the B lie in D(0, r ). By an easy calculation, we can deduce that there exists r > 1 such that, with D = D(0, r ), each B is analytic in D, and the family (B ) is uniformly bounded n n n∈N in D. It then follows by the Vitali-Porter theorem, see, for example, Schiff (1993), that the B converge locally uniformly to B in D. The result follows, as D is a compact subset of D. Now we give the proof of Theorem 1.11. Proof of Theorem 1.11 Let (B ) be a sequence of ﬁnite Blaschke products that is n n∈N dense in the space of ﬁnite Blaschke products (in the topology of uniform convergence). Such a sequence exists, for example, by choosing functions of the form (1.1) with d ﬁnite and all the variables θ, Re a , Re a ,..., Re a , and Im a Im a ,..., Im a 1 2 d 1 2 d rational. For each n ∈ N let T be the translation T (z) = z + 4n, and let D be the disc n n n D = D(4n, 1). It follows by Benini et al. (2019, Theorem 5.3) that there exists a transcendental entire function f having an orbit of bounded, simply connected, escaping, wandering domains (U ) such that the following all hold. n n∈N . . . . (A) = D(4n, r ) ⊂ U ⊂ D(4n, R ) = , where 0 < r < 1 < R and n n n n n n r , R → 1as n →∞. n n . −1 (B) f = T ◦ B ◦ T is analytic on , and | f (z) − f (z)|→ 0as n →∞ n n+1 n n n uniformly on ; by “uniformly” we mean that for each > 0 there exists N ∈ N such that | f (z) − f (z)| < ,for z ∈ and n ≥ N . n n (C) f : U → U has the same degree as B . n n+1 n This completes the deﬁnition of the function f . It remains to show that the Fatou components of f have dynamically associated inner functions with the claimed proper- ties. Suppose that n ∈ N.Let φ : D → U be the Riemann map such that φ (0) = 4n n n n and φ (0)> 0. Then −1 g = φ ◦ f ◦ φ (9.1) n n n+1 is an inner function dynamically associated with f | . We need to be able to approximate the Riemann maps in (9.1), and we claim that φ − T → 0 locally uniformly on D as n →∞. To prove this claim, we ﬁrst consider n n translated copies of U , deﬁned by −1 U = T (U ), for n ∈ N. n n Note that, for each n ∈ N, we have that D(0, r ) ⊂ U ⊂ D(0, R ). Suppose that n n w ∈ D. Then there exists a neighbourhood of w that is contained in U for all 0 0 sufﬁciently large n ∈ N. Also, suppose that w ∈ ∂ D. Then it follows by (A) that there exists a sequence of points w ∈ ∂U such that w → w as n →∞. Hence, U → D n n n n in the sense of kernel convergence; see Pommerenke (1992, p. 13). Set −1 φ = T ◦ φ , for n ∈ N. n n 123 490 V. Evdoridou et al. It then follows from the Carathéodory kernel theorem (Pommerenke 1992, Theorem 1.8) that φ → Id locally uniformly in the unit disc as n →∞, where Id(z) = z.The claim above follows. Suppose that B is a given Blaschke product, and suppose that B has degree d.Let (n ) be a sequence of integers such that the subsequence (B ) converges p p∈N n p∈N uniformly to B on D as p →∞. We can assume that each B has degree d. Note that it follows by (C) that the degree of each g is equal to d. Observe that the theorem requires that the sequence of functions (g ) converges uniformly on D n p∈N to the function B as p →∞. We shall prove ﬁrst that this sequence converges locally uniformly to B. We will then use Proposition 9.1 to deduce that this convergence is in fact uniform. To prove locally uniform convergence, suppose that K ⊂ D is a given compact set. Choose r ∈ (0, 1) sufﬁciently close to 1 that K ⊂ where = D(0, r ). It follows by the claim above that ˜ (z) = φ (z) − T (z), for z ∈ D, (9.2) n n n is analytic in D, and that sup |ˆ (z)|→ 0as n →∞. Similarly, z∈T () . −1 −1 ˆ (z) = φ (z) − T (z), for z ∈ U (9.3) n n n n is analytic in U , and sup |ˆ (z)|→ 0as n →∞. Finally, it follows by (B) n n z∈φ () above that, for all sufﬁciently large n ∈ N, we have that (z) = f (z) − f (z), for z ∈ , (9.4) n n n is analytic in , and that sup | (z)|→ 0as n →∞. n n z∈φ () Note that, by (B), (9.2), and (9.4), if n ∈ N is sufﬁciently large, then f (φ (z)) = f (φ (z)) + (φ (z)) n n n n n −1 = T (B (T (T (z) +˜ (z)))) + (φ (z)) n+1 n n n n n = B (z +˜ (z)) + 4(n + 1) + (φ (z)), for z ∈ K . (9.5) n n n n Since the sequence (B ) converges uniformly to B in D,as p tends to inﬁnity, n p∈N (9.5)gives −1 T ( f (φ (z))) → B(z) (9.6) n +1 uniformly for z ∈ K . In particular, if = D(0, r˜) is a disc containing B(K ), then f (φ (K )) ⊂ T () for sufﬁciently large p. n n p p It then follows, by (9.1), (9.3), and (9.6), that, for z ∈ K , −1 g (z) = φ f (φ (z)) n n p p n +1 −1 = T f (φ (z)) +ˆ f (φ (z)) → B(z) n n +1 n p p p n +1 as p →∞. 123 Fatou’s Associates 491 We have, therefore, established that the subsequence g converges locally uni- formly to B in D,as p tends to inﬁnity. Uniform convergence then follows by Proposition 9.1. This completes the proof of Theorem 1.11.For,if g → B uni- formly on D, then, given > 0, we can set U = U and V = U for a sufﬁciently n n +1 p p large value of p. Note that U and V are then successive wandering domains in the orbit of U . Acknowledgements We would like to thank Dimitrios Betsakos and Misha Lyubich for their comments and observations which initiated this paper, Phil Rippon and Ian Short for useful discussions, and the referee for helpful comments. Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/. References Alhamed, M., Rempe, L., Sixsmith, D.: Geometrically ﬁnite transcendental entire functions. Preprint, arxiv:2003.08884 (2020) Baker, I.N., Domínguez, P.: Boundaries of unbounded Fatou components of entire functions. Ann. Acad. Sci. Fenn. Math. 24(2), 437–464 (1999) Baker, I.N., Domínguez, P., Herring, M.E.: Dynamics of functions meromorphic outside a small set. Ergod. Theory Dyn. Syst. 21(3), 647–672 (2001) Baranski, ´ K.: Trees and hairs for some hyperbolic entire maps of ﬁnite order. Math. Z 257(1), 33–59 (2007) Baranski, ´ K., Fagella, N.: Univalent Baker domains. Nonlinearity 14(3), 411–429 (2001) Baranski, ´ K., Karpinska, ´ B.: Coding trees and boundaries of attracting basins for some entire maps. Non- linearity 20(2), 391–415 (2007) Baranski, ´ K., Fagella, N., Jarque, X., Karpinska, ´ B.: Accesses to inﬁnity from Fatou components. Trans. Am.Math.Soc. 369(3), 1835–1867 (2017) Bargmann, D.: Iteration of inner functions and boundaries of components of the Fatou set. Transcendental Dynamics and Complex Analysis, Volume 348 of London Math. Soc. Lecture Note Ser., pp. 1–36. Cambridge University Press, Cambridge (2008) Benini, A.M., Rempe, L.: A landing theorem for entire functions with bounded post-singular sets. Geom. Funct. Anal. (to appear), Preprint arXiv:1711.10780 (2017) Benini, A.M., Evdoridou, V., Fagella, N., Rippon, P.J., Stallard, G.M.: Classifying simply connected wan- dering domains. Preprint, arXiv:1910.04802 (2019) Bergweiler, W.: Iteration of meromorphic functions. Bull. Am. Math. Soc. 29(2), 151–188 (1993) Bergweiler, W.: On the Julia set of analytic self-maps of the punctured plane. Analysis 15(3), 251–256 (1995) Bergweiler, W., Fagella, N., Rempe-Gillen, L.: Hyperbolic entire functions with bounded Fatou components. Comment. Math. Helv. 90(4), 799–829 (2015) Bishop, C.J.: Models for the Eremenko–Lyubich class. J. Lond. Math. Soc. (2) 92(1), 202–221 (2015) Bolsch, A.: Periodic Fatou components of meromorphic functions. Bull. Lond. Math. Soc. 31(5), 543–555 (1999) Branner, B., Fagella, N.: Quasiconformal Surgery in Holomorphic Dynamics, Volume 141 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (2014). With contributions by Xavier Buff, Shaun Bullett, Adam L. Epstein, Peter Haïssinsky, Christian Henriksen, Carsten L. Petersen, Kevin M. Pilgrim, Tan Lei and Michael Yampolsky 123 492 V. Evdoridou et al. Cao, C., Fletcher, A., Ye, Z.: Epicycloids and Blaschke products. J. Differ. Equ. Appl. 23(9), 1584–1596 (2017) Chéritat, A., Epstein, A.L.: Bounded type Siegel disks of ﬁnite type maps with few singular values. Sci. China Math. 61(12), 2139–2156 (2018) Clark, T., van Strien, S.: Quasisymmetric rigidity in one-dimensional dynamics. Preprint, arXiv:1805.09284v1 (2018) de Melo, W., van Strien, S.: One-Dimensional Dynamics. Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 25. Springer, Berlin (1993) Devaney, R.L., Goldberg, L.R.: Uniformization of attracting basins for exponential maps. Duke Math. J. 55(2), 253–266 (1987) Douady, A., Hubbard, J.H.: On the dynamics of polynomial-like mappings. Ann. Sci. École Norm. Sup. (4) 18(2), 287–343 (1985) Epstein, A.L.: Towers of ﬁnite type complex analytic maps. ProQuest LLC, Ann Arbor (1993). Thesis (Ph.D.)–City University of New York Evdoridou, V.: Fatou’s web. Proc. Am. Math. Soc. 144(12), 5227–5240 (2016) Evdoridou, V., Fagella, N., Jarque, X., Sixsmith, D.J.: Singularities of inner functions associated with hyperbolic maps. J. Math. Anal. Appl. 477(1), 536–550 (2019) Fagella, N., Henriksen, C.: Deformation of entire functions with Baker domains. Discrete Contin. Dyn. Syst. 15(2), 379–394 (2006) Fatou, P.: Sur l’itération des fonctions transcendantes entières. Acta Math. 47, 337–370 (1926) Fletcher, A.: Unicritical Blaschke products and domains of ellipticity. Qual. Theory Dyn. Syst. 14(1), 25–38 (2015) Frostman, O.: Potential d’equilibre et capacité des ensembles avec quelques applications à la théorie des fonctions. Medd. Lunds Univ. Mat. Sem. 3, 1–118 (1935) Garnett, J.B.: Bounded Analytic Functions, Volume 236 of Graduate Texts in Mathematics, 1st edn. Springer, New York (2007) Heins, M.: Asymptotic spots of entire and meromorphic functions. Ann. Math. 2(66), 430–439 (1957) Herman, M.-R.: Exemples de fractions rationnelles ayant une orbite dense sur la sphère de Riemann. Bull. Soc. Math. France 112(1), 93–142 (1984) Kisaka, M.: On the connectivity of Julia sets of transcendental entire functions. Ergod. Theory Dyn. Syst. 18(1), 189–205 (1998) Lomonaco, L., Petersen, C.L., Shen, W.: On parabolic external maps. Discrete Contin. Dyn. Syst. 37(10), 5085–5104 (2017) Milnor, J.: Dynamics in One Complex Variable, Volume 160 of Annals of Mathematics Studies, 3rd edn. Princeton University Press, Princeton (2006) Petersen, C.L.: Quasi-symmetric conjugacy of Blaschke products on the unit circle. Bull. Lond. Math. Soc. 39(5), 724–730 (2007) Pommerenke, C.: Boundary behaviour of conformal maps. Grundlehren der Mathematischen Wis- senschaften [Fundamental Principles of Mathematical Sciences], vol. 299. Springer, Berlin (1992) Rempe, L.: Hyperbolic dimension and radial Julia sets of transcendental functions. Proc. Am. Math. Soc. 137(4), 1411–1420 (2009) Rempe, L., Rippon, P.J.: Exotic Baker and wandering domains for Ahlfors islands maps. J. Anal. Math. 117, 297–319 (2012) Schiff, J.L.: Normal Families. Springer, Berlin (1993) Schleicher, D.: Habilitation Thesis. Unpublished (1999) Sixsmith, D.J.: Dynamics in the Eremenko–Lyubich class. Conform. Geom. Dyn. 22, 185–224 (2018) Stephenson, K.: Omitted values of singular inner functions. Mich. Math. J. 25(1), 91–100 (1978) Sullivan, D.: Quasiconformal homeomorphisms and dynamics. I. Solution of the Fatou–Julia problem on wandering domains. Ann. Math. (2) 122(3), 401–418 (1985) Töpfer, H.: Über die Iteration der ganzen transzendenten Funktionen, insbesondere von sin z und cos z. Math. Ann. 117, 65–84 (1939) Publisher’s Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional afﬁliations. 123 Fatou’s Associates 493 Aﬃliations 1 2 2 Vasiliki Evdoridou · Lasse Rempe · David J. Sixsmith Vasiliki Evdoridou vasiliki.evdoridou@open.ac.uk David J. Sixsmith david.sixsmith@open.ac.uk School of Mathematics and Statistics, The Open University, Milton Keynes MK7 6AA, UK Department of Mathematical Sciences, University of Liverpool, Liverpool L69 7ZL, UK

Arnold Mathematical Journal – Springer Journals

**Published: ** Oct 26, 2020

Loading...

You can share this free article with as many people as you like with the url below! We hope you enjoy this feature!

Read and print from thousands of top scholarly journals.

System error. Please try again!

Already have an account? Log in

Bookmark this article. You can see your Bookmarks on your DeepDyve Library.

To save an article, **log in** first, or **sign up** for a DeepDyve account if you don’t already have one.

Copy and paste the desired citation format or use the link below to download a file formatted for EndNote

All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.