The angular derivative problem for petals of one-parameter semigroups in the unit disk

We study the angular derivative problem for petals of one-parameter semigroups of holomorphic self-maps of the unit disk. For hyperbolic petals we prove a necessary and sufficient condition for the conformality of the petal in terms of the intrinsic hyperbolic geometry of the petal and the backward dynamics of the semigroup. For parabolic petals we characterize conformality of the petal in terms of the asymptotic behaviour of the Koenigs function at the Denjoy-Wolff point.


INTRODUCTION
One-parameter semigroups of holomorphic self-maps of the unit disk D := {z ∈ C : |z| < 1} have been studied for more than a century, but many key properties regarding their boundary and asymptotic behaviour have been established only in the last two decades.Apart from being interesting in their own right, one-parameter semigroups in the unit disk act as pivotal role models for other complex dynamical systems involving holomorphic functions of one or several complex variables -in the continuous as well as the discrete setting.A comprehensive overview of one-parameter semigroups in the unit disk spanning from the basic theory to the numerous recent achievements can be found in the monograph [15].
Traditionally, understanding the forward dynamics of the orbits of a dynamical system has been of particular interest.However, in recent years the study of the backward dynamics of one-parameter semigroups, see e.g.[14,26,33], as well of discrete complex dynamical systems (in one and several complex variables), see e.g.[2,5,12,36], has become another focal point of research.
One of the most striking results about the forward dynamics of one-parameter semigroups of the unit disk D is the continuous version of the celebrated Denjoy -Wolff Theorem.It guarantees that all forward orbits of the semigroup converge to the same point τ ∈ D ∪ ∂ D, the Denjoy -Wolff point of the semigroup or DW-point, for short.In contrast, the backward flow of a one-parameter semigroup is defined only on a proper subset W of D, the so-called backward invariant set.The connected components of the interior of W are simply connected domains and are referred to as the petals of the semigroup.Each petal ∆ is associated to a specific boundary point σ ∈ ∂ D. This boundary point σ plays a similar role for the backward dynamics of the semigroup as the DW-point plays for the forward dynamics: σ is the common limit of all backward orbits starting inside the petal ∆.Bearing in mind the conventional terminology in dynamical systems (see e.g.[4, Chapter IV, Section 17, p. 225]), we call σ the α-point of the petal ∆.We refer to Section 2 for the precise definition of these concepts, and in particular to the pioneering papers [14,18,26].
The goal of this paper is to study the angular derivative problem for the petals ∆ of oneparameter semigroups at their α-points σ .The corresponding angular derivative problem related to the forward dynamics has recently been studied in [8,10,22,31].
The angular derivative problem for general simply connected domains G is concerned with the existence of a finite non-zero angular derivative of a Riemann map f from the unit disk D onto G at a given boundary point ξ ∈ ∂ D. It can be shown that the existence of the angular derivative of f does not depend on the choice of the conformal map f but only on the domain G itself.Accordingly, when this angular derivative condition is satisfied at a boundary point ξ , we say that the domain G is conformal at f (ξ ).In his thesis [3], Ahlfors raised the question of finding necessary and sufficient geometric conditions on G near the boundary point ξ , so that G is conformal at f (ξ ) 1 .This is the angular derivative problem.It has attracted much interest, and continues to do so.Seminal contributions have been given by Rodin and Warschawski [41,42], Jenkins and Oikawa [30], followed by many others, e.g.Burdzy [16], Carroll [17], as well as very recently by Betsakos and Karamanlis [11].
We can now state our main result.It is concerned with hyperbolic petals, i.e. petals ∆ for which the α-point σ is different from the Denjoy -Wolff point.The simpler case of parabolic petals, i.e. petals for which the α-point coincides with the Denjoy -Wolff point, will be discussed in Section 5. We denote the density of the hyperbolic metric of a domain G by λ G .We adopt the convention from [6,34], so the hyperbolic metric of a domain G is the unique complete conformal metric on G with constant negative curvature −1.In particular, the density of the hyperbolic metric of the unit disk D is Theorem 1.1.Let ∆ be a hyperbolic petal of a non-trivial one-parameter semigroup (φ t ) in the unit disk, and let z 0 ∈ ∆.Then the petal ∆ is conformal at its α-point σ if and only if In this case the integral in (1.1) converges for every z 0 ∈ ∆, and in fact locally uniformly in ∆.
We note that the second named author and Zarvalis showed recently [33,Theorem 1.3] that as t → −∞, λ D (φ t (z)) |φ ′ t (z)| ր λ ∆ (z) locally uniformly in ∆. (1.2) Hence, Theorem 1.1 relates the rate of convergence in (1.2) with the conformality of ∆ at σ .Remark 1.2.It is easy to construct examples of hyperbolic petals ∆ such that ∂ ∆ coincides in a neighbourhood of its α-point σ with ∂ D, see e.g.[14,Examples 7.4 and 7.8]; clearly, in such a case ∆ is conformal at σ .An example of a non-conformal hyperbolic petal based on certain subtle properties of the hyperbolic distance was given in [14,Sect. 8].In Remark 2.22 we will describe a simple device which allows a painless construction of numerous examples of conformal as well as non-conformal hyperbolic petals.
The proof of Theorem 1.1 is long and is therefore divided into several steps.We shall require various tools from the general theory of one-parameter semigroups of the unit disk, in particular the Berkson -Porta theory, holomorphic models and pre-models and basic properties of petals.These tools are collected and explained in a preliminary Section 2. This section also thoroughly introduces the angular derivative problem.In Section 3 we state and prove two technical, but crucial auxiliary results: an integral criterion for conformality of domains which are starlike at infinity and a lemma on convergence of conformal mappings on the boundary.The proof of Theorem 1.1 is given in Section 4 and is divided into several steps.In Subsection 4.1 we state a conformality criterion for the Koenigs domain Ω of the semigroup (Theorem 4.1), and show how it implies Theorem 1.1.In Subsection 4.2 we prove the if-part of Theorem 4.1 by establishing in Theorem 4.2 a pointwise lower bound, given in euclidean terms, for the quotient of the hyperbolic densities of a domain Ω which is starlike at infinity and a maximal strip contained in Ω.The proof of this lower bound uses a mixture of tools from geometric function theory such as monotonicity of hyperbolic densities, Green's function, harmonic measure and kernel convergence.The only-if part of Theorem 4.1 is proved in Subsection 4.3 by comparing the Koenigs domain Ω of (φ t ) with carefully chosen slit domains and using potential-theoretic tools.The proof of Theorem 4.1 is finished in Subsection 4.4 where we show that the previously obtained pointwise estimates in fact hold locally uniformly.In Section 5 we state and prove a conformality criterion for the case of a parabolic petal, see Theorem 5.1.In the concluding Section 6 we discuss how the results of this paper are related to several other recent results, in particular the conformality conditions obtained by Betsakos and Karamanlis [11].In addition, we indicate some potential alternative approaches to the conformality problem for petals, and raise several questions that remain open.

PRELIMINARIES
2.1.One-parameter semigroups in the unit disk.Here we briefly recall the main definitions and basic facts concerning one-parameter semigroups of holomorphic functions.For more details and proofs of the statements cited in this section we refer interested readers to the monographs [15,24,43], [1,Chapter 4] and to [25,Chapter 4].Equivalently, a family (φ t ) t 0 ⊂ Hol(D, D) is a one-parameter semigroup if and only if it satisfies the following three conditions: (i) φ 0 = id D ; (ii) φ s • φ t = φ s+t for any s,t 0; (iii) φ t → id D in Hol(D, D) as t → 0 + .Thanks to Montel's normality criterion, see e.g.[27, § II.7,Theorem 1], the continuity condition (iii) is equivalent to the pointwise convergence: φ t (z) → z as t → 0 + for each z ∈ D. At the same time, in the presence of (i) and (ii), condition (iii) is equivalent to a much stronger property: the map (z,t) → φ t (z) is jointly real-analytic in D × [0, +∞).Moreover, every one-parameter semigroup in D represents the semiflow of a (uniquely defined) holomorphic vector field G : D → C, known as the infinitesimal generator of (φ t ).This means that for each fixed z ∈ D, the function t → φ t (z) is the unique solution to the initial value problem Using conditions (i) and (ii) one can easily deduce from (2.1) the following PDE: Remark 2.2.It follows from the standard uniqueness results for solutions of ODEs that every element of a one-parameter semigroup is an injective map.
Remark 2.3.The definition of a one-parameter semigroup can be literally extended to an arbitrary domain D ⊂ C.However, this yields an interesting class of objects only if D is conformally equivalent to D or to D * := D \ {0}, with the latter case easily reduced to the former one; see e.g.[15, §8.4].Clearly, given that D admits a conformal mapping f onto D, a family (φ t ) t 0 ⊂ Hol(D, D) is a one-parameter semigroup in D if and only if the mappings f • φ t • f −1 form a one-parameter semigroup in D.
Another way to modify the definition of a one-parameter semigroup is to allow negative values of the parameter t.In such a case, we have φ t • φ −t = id D for any t ∈ R and hence we end up with a one-parameter group of automorphisms (φ t ) t∈R .
The classical representation formula due to Berkson and Porta [7] characterizes infinitesimal generators in D as functions of the form where p is a holomorphic function in D with Re p 0 and τ is a point in the closure of D. The function p is uniquely determined by G.The same concerns τ unless G ≡ 0.
In order to exclude from consideration certain degenerate cases, we accept the following Assumption: the one-parameter semigroups (φ t ) we consider in this paper do not extend to one-parameter groups of automorphisms.
This assumption is equivalent to requiring that there exists no t > 0 such that φ t is an automorphism.
The distinguished point τ in the Berkson -Porta representation formula (2.3) has a very clear dynamic meaning: φ t (z) → τ locally uniformly in It is worth mentioning that for elements of one-parameter semigroups the angular limit φ t (ζ ) exists at every point ζ ∈ ∂ D, see [20,28].Moreover, the orbit t → φ t (ζ ) is continuous for each ζ ∈ ∂ D. At the same time, the extensions of the holomorphic maps φ t (•) to ∂ D by angular limits are not necessarily continuous on ∂ D.
According to the Denjoy -Wolff Theorem, a self-map f ∈ Hol(D, D) \ {id D } either has an attracting fixed point τ ∈ ∂ D and no fixed points in D, or it has a fixed point τ ∈ D and no attracting fixed points on ∂ D. In both cases, τ is unique and it is called the Denjoy -Wolff point (or DW-point for short) of the self-map f .From (2.4) it is clear that τ in the Berkson -Porta representation formula (2.3) is the DWpoint for each φ t with t > 0. If τ ∈ D, then (φ t ) is said to be elliptic.If τ ∈ ∂ D, then λ 0, and depending on whether λ < 0 or λ = 0, the one-parameter semigroup (φ t ) is said to be hyperbolic or parabolic, respectively.By the continuous version of the Denjoy -Wolff Theorem, φ t (z) → τ locally uniformly in D as t → +∞.
Similarly to the DW-point, repulsive (and super-repulsive) fixed points are common for all elements of a one-parameter semigroup.More precisely, σ ∈ ∂ D is a repulsive (or superrepulsive) fixed point of φ t for some t > 0 if and only if it is a repulsive (resp., super-repulsive) fixed point of φ t for all t > 0; see e.g.[20].
Fixed points of a one-parameter semigroup can be characterized in terms of the infinitesimal generator.It is known [19] that σ ∈ ∂ D is a boundary regular fixed point of (φ t ) if and only if G(σ ) = 0 and λ := G ′ (σ ) exists finitely; see also [15,Sect. 12.2].In such a case, λ ∈ R and φ ′ t (σ ) = e λt for all t 0. Clearly, if λ > 0, then σ is a repulsive fixed point; otherwise, i.e. if λ 0, then σ is the DW-point of (φ t ).
The following remark contains a useful construction indicating that every elliptic oneparameter semigroup, which is not a group, is correlated with a unique non-elliptic one parameter-semigroup.[13], that any one-parameter semigroup admits a holomorphic model (Ω 0 , h, L t ).This means that Ω 0 ⊂ C is a simply-connected domain, referred to as the base space, h : D → Ω 0 is a injective holomorphic map, and (L t ) is a one-parameter group of holomorphic automorphisms of Ω 0 with the following two properties: where Ω := h(D). (2.6) Up to a naturally defined isomorphism, a holomorphic model for a given one-parameter semigroup is unique.
The theory which shall be presented in the current and the upcoming sections can also be generalized (with appropriate modifications) to the case of an elliptic one-parameter semigroup, which is not an elliptic group.Taking Remark 2.6 into consideration, from this point onward, we can safely consider only non-elliptic one-parameter semigroups (i.e.hyperbolic or parabolic).
Non-elliptic one-parameter semigroups admit holomorphic models for which L t (z) := z + t, t ∈ R, and Ω 0 is the whole C or a half-plane or a strip with ∂ Ω 0 composed of one or two lines parallel to R. For such holomorphic models, equation (2.5) becomes Abel's functional equation h φ t (z) = h(z) + t for all z ∈ D and all t 0 . (2.7) The function h is called the Koenigs function of (φ t ) and it is unique up to an additive constant.The set Ω := h(D) ⊂ Ω 0 is called the Koenigs (or sometimes, planar) domain of (φ t ).Abel's equation implies an important property of Ω: for every of its points w, the Koenigs domain contains the ray {w + t : t 0}.Such domains are said to be starlike at infinity.Many dynamical properties of (φ t ) are encoded in the geometry of the corresponding Koenigs domain Ω.Moreover, any starlike-at-infinity domain Ω different from the whole plane is the Koenigs domain of a non-elliptic one-parameter semigroup.This is often used to construct examples of one-parameter semigroups with given behaviour, see e.g.Remark 2.22 below.Definition 2.7.We denote by S the "standard" horizontal strip {z : | Im z| < π 2 }, and more generally we denote S(a, b) := {z : a < Im z < b} for a, b ∈ R with a < b.Let Ω be the Koenigs domain of a non-elliptic one-parameter semigroup (φ t ).A strip S(a, b) contained in Ω is said to be a maximal strip for It is easy to see that the maximal strips defined above are connected components of the interior of t 0 Ω + t.Remark 2.8.It is known [18] that there exists a one-to-one correspondence between the repulsive fixed points σ ∈ ∂ D of (φ t ) and the maximal strips in the Koenigs domain of (φ t ).If S is a maximal strip for (φ t ) and w ∈ S, then h −1 (w + t) tends, as t → −∞, to the corresponding repulsive fixed point σ .Moreover, the width ν(S) of the maximal strip S is related to the angular derivative at σ : namely, ν(S)G ′ (σ ) = π.
2.3.Backward orbits, invariant petals, and pre-models.In this section we follow the terminology from [14].For the proofs of statements quoted below we refer the reader to the same source.Let us denote by d D the hyperbolic distance in a hyperbolic domain D. Definition 2.9.([14, Definition 3.1]) A continuous curve γ : [0, +∞) is called a backward orbit of a one-parameter semigroup (φ t ) if for any t > 0 and any s ∈ (0,t), we have φ s (γ(t)) = γ(t −s).A backward orbit γ is said to be regular if lim sup t→+∞ d D γ(t), γ(t + 1) < +∞.
Remark 2.10.Let (φ t ) be a non-elliptic one-parameter semigroup in D. Fix z ∈ D. It is easy to see that the following three conditions are equivalent: (i) there exists a backward orbit γ with γ(0) = z; (ii) z ∈ W := t 0 φ t (D); (iii) the line {h(z) + t : t ∈ R}, where h is the Koenigs function of (φ t ), is contained in the Koenigs domain Ω of (φ t ).
If the above conditions are satisfied, then the backward orbit γ in (i) is unique and it is given by γ(t Remark 2.11.The negative iterates φ −t := φ −1 t , t > 0, are well-defined and holomorphic in W • .Thus, for z ∈ W • , the differential equations (2.1) and (2.2) are valid for all t < 0. Definition 2.12.The set W in Remark 2.10 is called the backward invariant set of (φ t ).Each non-empty connected component of W • is called a petal.
Every petal ∆ is a simply connected domain and φ t | ∆ t∈R is a one-parameter group of au- tomorphisms of ∆.The boundary of ∆ contains the DW-point τ of (φ t ).All regular backward orbits that lie in a petal ∆ converge to the same boundary fixed point of (φ t ) which lies on the boundary of the petal.We call this unique limit point the α-point of the petal ∆.The following dichotomy holds: (P) either the α-point of the petal ∆ coincides with τ and it is the only fixed point of (φ t ) contained in ∂ ∆; (H) or ∂ ∆ contains exactly two fixed points of the semigroup: the DW-point τ and a repulsive fixed point σ , which is the α-point of the petal ∆.The case (P) arises only if the one-parameter semigroup is parabolic.In this case, the image h(∆) of the petal ∆ w.r.t. the Koenigs function h is a half-plane bounded by a line parallel to R; it is maximal in the sense that there exist no half-plane In case (H), the petal ∆ is said to be hyperbolic and h(∆) coincides with the maximal strip corresponding to the repulsive fixed point σ in the sense of Remark 2.8.Moreover, there is a one-to-one correspondence 2 between the repulsive fixed points and the hyperbolic petals, as the pre-image h −1 (S) of any maximal strip S is a hyperbolic petal.In what follows, the hyperbolic petal corresponding to a given repulsive fixed point σ will be denoted by ∆(σ ).
The Koenigs function can be regarded as a global change of variables reducing the dynamics of (φ t ) to the canonical form w → w + t.When studying dynamics of the one-parameter semigroup in a petal ∆, instead of the holomorphic model it is more convenient to work with the so-called pre-model.This notion has been introduced for discrete iteration in [35].The definition below is a slight modification of that from [14, Definition 3.8] combined with [14, Remark 3.9].We denote by H the right half-plane {z ∈ C : Re z > 0}.
Definition 2.13.Let σ ∈ ∂ D be a repulsive fixed point of a one-parameter semigroup (φ t ) with associated infinitesimal generator G.The triple (H, ψ, Q t ) is called a pre-model for (φ t ) at σ if the following conditions are met: (i) for each t 0, Q t is the automorphism of H given by Q t (z) := e λt z, where λ := G ′ (σ ); (ii) the map ψ : H → D is holomorphic and injective, ∠ lim w→0 ψ(w) = σ , and ψ is isogonal at 0, i.e.

∠ lim
Remark 2.14.It is known [14, Theorem 3.10] that every one-parameter semigroup, at each repulsive fixed point σ , admits a pre-model unique up to the transformation ψ(w) → ψ(cw), where c is an arbitrary positive constant.Moreover, ψ(H) is the hyperbolic petal ∆(σ ) with 2 In the case of non-elliptic one-parameter semigroups, this one-to-one correspondence was discovered by Contreras and Díaz-Madrigal [18].Similar results for elliptic and hyperbolic one-parameter semigroups were independently established by Elin, Shoikhet and Zalcman in [26].A proof covering all the cases and more details can be found in [14,Sect. 4].
α-point σ .The map ψ can be expressed via the Koenigs function h of (φ t ).Namely, if the strip h(∆(σ )) = S(a, b), then the map ψ in the pre-model for (φ t ) at σ is given by where s is an arbitrary real constant.
Remark 2.15.One important consequence of the facts mentioned in Remark 2.14 is that every backward orbit γ starting from a point z in a hyperbolic petal ∆(σ ) converges to σ nontangentially and with a definite slope, i.e. there exists the limit 2.4.Conformality of a domain at a boundary point.The geometry of Koenigs domains of non-elliptic one-parameter semigroups is strongly affiliated to the notion of conformality in the "strip normalization" studied in detail, e.g. in [42].
Definition 2.16.Let S := S(a, b) be a maximal strip contained in a domain Ω and let g be a conformal mapping of for some and hence all y 0 ∈ (a, b).The domain Ω is said to have an angular derivative or to be conformal at −∞ w.r.t.S if for any ε ∈ (0, b − a) there exists the finite real limit lim Remark 2.17.Clearly, the map g above is not uniquely defined.However, it is easy to see that if condition (2.10) holds for one conformal map g of Ω onto S(a, b) satisfying (2.9), then (2.10) holds for all such mappings g.
In a different geometric setting, it is natural to consider a similar and closely related notion of conformality w.r.t. the unit disk D. In this case, we restrict ourselves to subdomains of D. Definition 2.18.A simply connected domain U ⊂ D is said to be conformal at a point σ ∈ ∂U ∩ ∂ D w.r.t.D if there exists a conformal mapping ϕ of D onto U such that ϕ(1) = σ in the sense of angular limits and the angular derivative ϕ ′ (1) is finite.
Note that the condition ϕ(1) = σ in the above definition means that ζ = 1 is a contact point of ϕ; hence, the angular derivative ϕ ′ (1) exists and does not vanish, but in general, can be infinite; see Remark 2.4.To simplify the terminology in the case when U is a petal, we make the following definition.Definition 2.19.Let ∆(σ ) be a hyperbolic petal of a one-parameter semigroup (φ t ) with αpoint σ .We say that ∆(σ Remark 2.20.Note that, in general, there can exist two conformal mappings ϕ is finite.This phenomenon may happen if the geometric point σ corresponds to at least two different accessible boundary points of U .However, this is never the case for petals, see [14,Proposition 4.15].Therefore, in order to determine whether a petal ∆(σ ) is conformal it is sufficient to construct just one conformal map ϕ of D onto ∆(σ ) with ϕ(1) = σ in the sense of angular limits and check whether the angular derivative ϕ ′ (1) is finite.According to Remark 2.14, every one-parameter semigroup admits a pre-model (H, ψ, Q t ) at each repulsive fixed point σ .A conformal map of D onto ∆(σ ) taking 1 to σ is given by ϕ(z) := ψ 1−z 1+z .Therefore, a hyperbolic petal ∆(σ ) is conformal if and only if the pre-model (H, ψ, Q t ) is regular in the sense that the angular derivative ψ ′ (0) is finite.Note that this condition is stronger than the isogonality condition (2.8), which is also sometimes called semi-conformality; see e.g.[38,Sect. 4.3].Condition (2.8) is satisfied in our context by the very definition of a pre-model.
For a non-elliptic one-parameter semigroup (φ t ), the two versions of the angular derivative problem introduced above turn out to be equivalent.

Proposition 2.21. In the above notation, a hyperbolic petal ∆(σ ) is conformal if and only if the
Proof.Using conformal automorphisms of D, we may assume that σ = −1 and τ = 1.Denote The function q maps S conformally onto D in such a way that q(z) → τ = 1 as Re z → +∞ and q(z) → σ = −1 as Re z → −∞.
It is elementary to see that (2.10) is in turn equivalent to the existence of finite angular derivative at σ = −1 for the holomorphic self-map ϕ : D → D defined by ϕ := q • g • q −1 .At the same time we have Hence ϕ maps D conformally onto the hyperbolic petal ∆(σ ).Using again Remark 2.8, we see that the radial limit of ϕ at σ = −1 equals σ .By Lindelöf's Theorem (see e.g.[15, Theorem 1.5.7 on p. 27]) the latter means that ϕ(σ ) = σ in the sense of angular limits.According to Remark 2.20, the existence of the finite angular derivative of z → ϕ(−z) at z = 1 implies that ∆(σ ) = ϕ(D) is conformal at σ w.r.t.D and hence we obtain the desired result.
Remark 2.22 (Examples of non-conformal hyperbolic petals).With some efforts, an example of a non-conformal hyperbolic petal was constructed in [14,Sect. 8].We briefly indicate how one can easily obtain many other examples of conformal and non-conformal hyperbolic petals.Lemma 3.2, which we prove in the next section, allows one to construct starlike-at-infinity domains Ω containing a maximal strip S w.r.t. which Ω is conformal (or non-conformal) at −∞.Let h be a conformal mapping of D onto Ω.Then ∆ := h −1 (S) is a hyperbolic petal for the non-elliptic semigroup (φ t ) given by φ t := h −1 • (h + t), t 0. By Proposition 2.21, the petal ∆ is conformal (respectively, non-conformal).Note that, using the trick described in Remark 2.6, this technique can be extended to elliptic semigroups as well.

Strong Markov property for the
where In the proof of the main results, we occasionally replace the hyperbolic density with the conformal radius; the reader may refer to 3.2.An integral criterion for conformality of domains starlike at infinity.Let Ω be a domain which is starlike at infinity and denote by S = S(a, b) = {x + iy : a < y < b} a maximal horizontal strip contained in Ω.
One of the ingredients of the proof of Theorem 4.1 is a characterization of conformality of Ω at the boundary point −∞ w.r.t. to S in euclidean terms.Such a characterization can easily be deduced from the work of Rodin & Warschawski [42] and Jenkins & Oikawa [30] as follows.
Since the Koenigs function h is defined modulo an additive constant, by shifting the domain Ω along the real axis, in our proofs we may assume without loss of generality that t 0 = 1.The following lemma relates the conformality of the starlike-at-infinity domain Ω at −∞ w.r.t. the strip S with the integrability of the euclidean quantity δ Ω .Lemma 3.2.In the above notation, Ω is conformal at −∞ w.r.t. the strip S if and only if Proof.Suppose that (3.4) holds.Let (Q n ) n 0 be a sequence of pairwise disjoint squares contained in (Ω \ S) ∩ {z : Re z 0} and such that for each Q n one of the sides is contained on ∂ S.
Requiring that each of the domains D n is a Jordan domain is not really essential in the above lemma, but this condition is satisfied in the setting for which we will apply Lemma 3.3.For more general domains both the statement of the lemma and its proof would become more technical.On the other hand, the assumption that D ⊂ D n for all n ∈ N seems to play an important role.Again, in our setting this assumption holds, but without it the conclusion of Lemma 3.3 may fail as the following example demonstrates.The sequence of Jordan domains .This fact, however, does not imply on its own the conclusion of the lemma, because σ k ∈ D B .On the other hand, g n (w) = g * n (w) for all w ∈ B and all n ∈ N and hence we may conclude that (g n ) converges uniformly on any closed subarc of B to the identity mapping.
Consider the sequence h n (w) := σ 0 g n (w)/g n (σ 0 ), w ∈ D, where σ 0 is the midpoint of the arc B. Note that h n (D) ⊂ D, h n (B) ⊂ ∂ D, and h n (σ 0 ) = σ 0 .Therefore, by Loewner's lemma ( [38,Proposition 4.15]), B ⊂ h n (B).Since g n (σ 0 ) → σ 0 , it is enough to show that h n (σ k ) → σ k as n → +∞, k = 1, 2. Suppose this is not the case.Then, passing if necessary to a subsequence, we may assume that there exists an open arc C on ∂ D such that C ⊂ B, and C ⊂ h n (B) for all n ∈ N. (3.5) In particular, h −1 n (C ) ⊂ ∂ D for any n ∈ N. The functions h −1 n are restrictions of the maps z → f n zg n (σ 0 )/σ 0 to D. Therefore, arguing as above we see that To complete the proof it remains to notice that the latter conclusion contradicts (3.5).In this case, the integral (4.1) converges for every w 0 ∈ S, and in fact locally uniformly on S.

PROOF OF THE MAIN RESULT
In this subsection, we show that Theorem 4.1 implies Theorem 1.1.This is not difficult for non-elliptic semigroups (φ t ) in D, but less obvious in the elliptic case.The proof of Theorem 4.1 will be given in Subsections 4.2 and 4.3.
Proof of Theorem 1.1.First we prove Theorem 1.1 for the case of a non-elliptic semigroup (φ t ) in D. Differentiating Abel's equation (2.7) w.r.t.z, we obtain for all z ∈ D, t 0.Moreover, in view of Remark 2.11, (4.2) holds also for all t < 0 if z ∈ W • .Denote by Ω the Koenigs domain of (φ t ) and by S = S(a, b) the maximal strip in Ω associated to the α-point σ of a hyperbolic petal ∆ = ∆(σ ), see Remark 2.8.Then Ω is starlike at infinity and the Koenigs function h maps D conformally onto Ω and ∆(σ ) onto S, see [15, Theorem 13.5.5].Fix z 0 ∈ ∆(σ ).Taking into account that the hyperbolic metric is invariant under conformal mappings and using equality (4.2) we see that the integrand in (1.1) can be written as which is equal for any t ∈ R, according to Abel's equation (2.7) and Remark 2.11, to log λ S h(z 0 ) λ Ω h(z 0 ) + t .
Furthermore, obviously λ S (h(z 0 )) = λ S (h(z 0 ) +t) for any t ∈ R. Consequently, for w 0 := h(z 0 ), the integral in (1.1) is identical to the integral in (4.1).Thus, for non-elliptic semigroups Theorem 1.1 follows from Theorem 4.1 and Proposition 2.21.Now we show how the elliptic case can be reduced to the non-elliptic case.Consider a semigroup (φ t ) in D with DW-point τ ∈ D. According to Remark 2.6, there exists a parabolic semigroup (ϕ t ) in D such that for all t 0, and L •n denotes the n-the iterate of L. The semigroup (ϕ t ) satisfies for each t 0 the functional equation for some t 0, then ϕ t (D) contains all the points ζ ′ ∈ D satisfying it follows that We claim that, ς = 1.Indeed, let Γ be a Jordan arc in D ∪ {1} with one of the end-points at 1. Since F * is continuous in the closure of D, we have Note that F extends holomorphically to any point of ∂ D \ {1}.Hence F(ς ) = σ .As a consequence, using Remark 2.5, it is easy to see that ς is a repulsive fixed point of (ϕ t ).
Thus we have constructed a hyperbolic petal D for (ϕ t ) with α-point ς such that F maps D conformally onto ∆(σ ), with F(ς ) = σ .Since F is holomorphic at ς and F ′ (ς ) = 0, the petal D is conformal if and only if the petal ∆(σ ) is conformal.
It remains to show that condition (1.1) for (φ t ) and a point z 0 ∈ ∆(σ ) is equivalent to (1.1) with (φ t ), ∆(σ ), and z 0 replaced by (ϕ t ), D, and ζ 0 := F −1 * (z 0 ), respectively.First of all since F maps D conformally onto ∆(σ ), with F(ζ 0 ) = z 0 , we have λ for all t ∈ R. Using these relations we obtain for all t ∈ R. The backward orbit γ(t) := ϕ −t (ζ 0 ) of (ϕ t ) converges to ς at an exponential rate, that is, see [15,Proposition 13.4.14],and non-tangentially, see Remark 2.15.Moreover, for any w ∈ D, where µ(w) := (1−|w| 2 )/(|1−w| 2 ).The first equality holds because F = T •C with T ∈ Aut(D), the second one comes from (4.3) by direct calculation, and the inequality sign can be established by comparing the Maclaurin expansion of sinh(x)/x with that of e x 2 /6 .Note that 1 Hence, it follows from (4.5) that 0 −∞ µ(ϕ t (ζ 0 )) 2 dt < +∞, and so we can conclude that the integral 0 In fact, the above integral converges locally uniformly w.r.t.ζ 0 ∈ D because the limit (4.5) is attained locally uniformly in D, which in turn follows from the fact that the values of the holomorphic functions lie in the strip S, and hence these functions form a normal family in D. In view of (4.4), the proof that Theorem 4.1 implies Theorem 1.1 for elliptic semigroups is therefore reduced to the previous case of non-elliptic semigroups.

4.2.
Proof of the if-part of Theorem 4.1: condition (4.1) implies conformality.As a matter of taste, we prefer to work with the conformal radius instead of the density of the hyperbolic metric.Therefore, condition (4.1) in Theorem 4.1 can be rewritten as In order to simplify notation, throughout the current and the following section we restrict ourselves to the case Re w 0 = 0.The following theorem is the key result of this section.It shows that the integrand in (4.6) can be estimated from below by the euclidean quantity δ Ω (t) introduced in ( It is clear from our previous considerations that Theorem 4.2 implies the "if-part" of Theorem 4.1.Indeed, if condition (4.1) holds for some w 0 = iy 0 ∈ S, y 0 ∈ (− π 2 , π 2 ), then Theorem 4.2 and Lemma 3.2 imply that Ω is conformal at −∞.
The proof of Theorem 4.2 is quite long and will be broken into several steps.The idea of the proof is as follows.
Remark 4.3 (Idea of proof of Theorem 4.2).Recall that H = {z : Re z > 0} denotes the right half-plane.For δ > 0 we consider the enlarged strip and the "half-widened" standard strip . By definition of δ 2 (t) := δ Ω,2 (t), see Subsection 3.2, and since Ω is starlike at infinity, it follows at once that S * δ 2 (t) + t ⊂ Ω.Thus, by domain monotonicity of the conformal radius, log The crux of the proof is to show that the expression on the r.h.s. of (4.8) is bounded below by log R(iy 0 , S δ 2 (t) ) R(iy 0 , S) , (4.9) at least up to a positive multiplicative constant which depends only on y 0 but in a fairly controllable way.The quantity occurring in (4.9) is explicitly computable in terms of δ 2 (t) (and y 0 ), and as we shall see, in fact comparable to δ 2 (t) locally uniformly w.r.t.y 0 .This provides a lower bound also for the l.h.s. in (4.8) in terms of δ 2 (t) = δ Ω,2 (t) and then, by symmetry, in terms of δ Ω (t) = max{δ Ω,1 (t), δ Ω,2 (t)}, and (4.7) follows.
Finally, to prove (4.13) in the general case, we notice that for any σ ∈ ∂ D and θ ∈ R, and the general case for the estimate (4.13) follows immediately.
Proof of Proposition 4. and C δ := iy : π 2 y < π 2 + δ .Clearly, we may restrict consideration to small δ > 0; namely, we will suppose that δ ∈ (0, δ 0 ), where δ 0 := min Fix temporarily y ∈ K and δ ∈ (0, δ 0 ).By Lemma 4.6 applied with we have that h(x) = h(x; y, δ ) := G S δ (iy, x + i π 2 ) satisfies inequality (4.12).On the one hand, in combination with the explicit formula from [40,Table 4.1,p.100]ω S (iy, dz) = (2π) −1 cos y (cosh x − sin y) −1 dx , z = x + iπ/2 ∈ A, this allows us to estimate the r.h.s. of (4.15) from below: = m(δ 0 )h(0; y, δ ) for all δ ∈ (0, δ 0 ) and all y ∈ K, (4.17 where m(δ 0 ) is a positive constant depending only on δ 0 .On the other hand, in view of (4.12), we have The main ingredient of the proof is the following: To this end, we will take advantage of conformal invariance of harmonic measure.Denote by F δ , δ ∈ (0, δ 0 ), and F the conformal mappings of S * δ and S, respectively, onto D with the normalization Clearly, F(z) = (e z − 1)/(e z + 1) extends holomorphically and injectively to the wider strip | Im z| < π and hence we can write Taking into account (4.15) -(4.19), we see that it remains to estimate in (4.16) the part of the integral over C δ .We claim that Fix some δ ∈ (0, δ 0 ) and y ∈ K. Clearly, 0 < G S δ (iy, z) h(0; y, δ ) for any z ∈ C δ .Therefore, it is sufficient to show that Consider again the mappings F δ introduced above.As we have shown in the proof of Claim 1, |F δ (iy)| r 0 , where r 0 ∈ [0, 1) depends only on the compact set K. Therefore, to prove (4.22) we only need to check that the linear Lebesgue measure of F δ (C δ ) tends to zero as δ → 0 + .Suppose this is not the case.Then there exists a sequence (δ n ) ⊂ (0, δ 0 ) converging to 0 and a non-degenerate closed arc Since g n is continuous on the compact set {σ r : σ ∈ C , r ∈ [0, 1]}, there exists r n ∈ (0, 1) with the property that g n (C n ), where C n := {σ r n : σ ∈ C }, lies in the 1/n -neighbourhood of C δ n .Thus, diam g n (C n ) → 0. Note that the functions g n are "uniformly normal" in D in the sense that and some constant M > 0 independent of n.Indeed, S * δ ⊂ S * δ 0 .Therefore, We are now in a position to prove Theorem 4.2.
Proof of Theorem 4.2.Let δ j (t) := δ Ω, j (t) and let K be a compact subset of the interval (− π 2 , π 2 ).It suffices to prove that there exist T j < 0 and c j > 0, j = 1, 2, such that log R (t + iy, Ω) R (iy, S) c j δ j (t) for all t T j and all y ∈ K .
4.3.Necessity of condition (4.1).In this subsection, we prove the necessity of the condition (4.1).The proof relies on the fact that the integral in (4.6) can be estimated from above by the integral over the function δ Ω .This is the content of the following theorem.
Theorem 4.8.Let Ω be a proper subdomain of C which is starlike at infinity and such that the standard strip there are constants c > 0 and C > 0 such that for any y ∈ K, Hence Theorem 4.8 in conjunction with Lemma 3.2 implies that the integral of the ratio of conformal radii in (4.26) converges, when the domain Ω is conformal at −∞ w.r.t. S.
In order to prove Theorem 4.8, we construct a family of two-slit domains D 0 (t) that all contain the Koenigs domain Ω.For the sake of brevity, denote Due to Ω being starlike at infinity, it is easy to see that Furthermore, let S(t) := S − π 2 − δ 1 , π 2 + δ 2 , the maximal strip between the two slits of the domain D 0 (t), and let Bearing in mind that the hyperbolic metric in a strip remains invariant under horizontal translations, it follows that log R(t + iy, Ω) R(t + iy, S) log The idea for the proof of Theorem 4.8 is to analyze the asymptotic behavior of the summands in (4.28).This task is rather elementary for the second term, while the first term requires a bit more delicate work making use of an estimate of the Green's function, which we establish in the following lemma.Denote by D * the "standard" two-slit domain Proof.Using the explicit formula for the Green's function of S, we have for any pair of points z 1 , z 2 ∈ S.
Proof of Theorem 4.8.Using the explicit formula for the conformal radius of a strip, it is easy to see that there exists a constant c > 0, depending only on the compact set for all t 0 and all y ∈ K. ( Moreover, recall that the function δ Ω is finite and monotonic on (−∞, 1].In particular, it is integrable on [0, 1].Therefore, in view of inequality (4.28), it remains to show that The linear function , maps the strip S(t) conformally onto the standard strip S and the two-slit domain D(t) onto D * .Therefore, the integrand in (4.35 , where w(t

4.4.
Completion of the proof of Theorem 4.1: locally uniform convergence of (4.1).We are left to prove that if (4.6) holds for one point w 0 ∈ S, then it holds for all w 0 ∈ S and the integral in (4.6) converges locally uniformly w.r.t.w 0 ∈ S. Clearly, we may assume S = S.

THE ANGULAR DERIVATIVE PROBLEM FOR PARABOLIC PETALS
In this section we study conformality of parabolic petals at the Denjoy -Wolff point.An important role is played by the so-called hyperbolic step q(z, s) := lim t→+∞ d D φ t+s (z), φ t (z) , where d D stands for the hyperbolic distance in D. If q(z, s) = 0 for some z ∈ D and s > 0, then q ≡ 0 on D × (0, +∞) and the one-parameter semigroup (φ t ) is said to be of zero hyperbolic step.Otherwise, i.e. if q(z, s) > 0 for some (and hence all) z ∈ D and s > 0, we say that (φ t ) is of positive hyperbolic step.
Theorem 5.1.Let ∆ be a parabolic petal of a one-parameter semigroup (φ t ) with Denjoy -Wolff point τ and associated Koenigs function h.The following statements hold: (A) The petal ∆ is conformal at τ w.r.t.D if and only if the angular limit ) is of positive hyperbolic step, then ∆ is conformal at τ w.r.t.D (and hence L = ∞).
Remark 5.2.The angular limit L in statement (A) above was previously considered by Contreras, Díaz-Madrigal and Pommerenke in a more general context of discrete iteration, see [22,Theorems 4.1 and 6.2].Moreover, this limit is directly related to the conformality problem considered by Betsakos [8,Theorem 3] and Karamanlis [31,Theorem 2] for parabolic oneparameter semigroups of positive hyperbolic step.As we will see in the proof of Theorem 5.1, the presence of a parabolic petal ensures that the angular limit L exists and does not vanish, but it can be infinite.In fact, as illustrated by Example 5.4 given after the proof, for semigroups of zero hyperbolic step both cases L ∈ C \ {0} and L = ∞ are possible.
Proof of Theorem 5.1.First of all, recall that the existence of a parabolic petal ∆ implies that the one-parameter semigroup (φ t ) is parabolic.Moreover, the image of ∆ w.r.t. the Koenigs function h of (φ t ) is a half-plane bounded by a line parallel to R.
6.3.Semigroups with symmetry w.r.t. the real line.Consider a one-parameter semigroup (φ t ) in D with a repulsive fixed point at σ = −1 and such that φ t (−1, 1) ⊂ (−1, 1) for all t 0. Fix some z 0 ∈ ∆(−1) ∩ R. In this rather special case, Theorem 1.1 (excluding the part concerning uniformity of convergence) admits a simple proof based on the following elementary lemma.
The above proof of Theorem 1.1 for the symmetric case is based on the observation that (φ t ) t∈R is a one-parameter group of hyperbolic automorphisms of ∆(σ ).In contrast to our proof for the general case, the fact that for t 0, φ t 's are well-defined holomorphic functions in the whole unit disk is not essential for the proof in the symmetric case.
Attempting to adapt the method used in this section to the general case, instead of the integral (6.5) one would need to consider where ρ 0 > 0 is fixed.Since f is isogonal at 0, Re f (ρe iθ )/| f (ρe iθ )| → cos θ as ρ → 0 + .Hence it would be also reasonable to consider for any backward orbit γ z (t) := φ −t (z), z ∈ ∆, in the petal ∆ .Note that the above limit always exists, finite or infinite, because ∆ ⊂ D and hence λ ∆ (z) λ D (z) for all z ∈ ∆.
6.5.The angular derivative problem and hyperbolic length.Theorem 1.1 is closely related to a recent conformality condition due to Betsakos and Karamanlis [11].We briefly discuss this issue.The conformality conditions obtained in [11] are valid for any simply connected domain Ω C containing the real line R.In order to compare the results of [11] with our Theorem 4.1 we additionally assume that Ω contains the standard strip S. Taking into account Ostrowski's characterization of semi-conformality, see e. for some and hence any y ∈ (−π/2, π/2).In fact, in [11] the conformality condition (6.11) is stated only for y = 0, but in our case we additonally have S ⊂ Ω, and the proof in [11] also works for y ∈ (−π/2, π/2).
If Ω is the Koenigs domain of a one-parameter semigroup (φ t ) and S is a maximal strip contained in Ω, then condition (6.10) is automatically satisfied.
On the other hand, it is easy to see that Theorem  (6.11) for y = 0 implies condition (6.12) for y = 0. Thus, if Ω is conformal at −∞ w.r.t.S and if S ⊂ Ω, then regardless of whether Ω is starlike at infinity or not, our condition (6.12) holds for y = 0.
A similar remark applies to the relation between (6.12) and the following necessary and sufficient condition for conformality established by Bracci et al [14, (8. for some and hence all y ∈ (−π/2, π/2).Arguing as above, one can see that (6.13) implies (6.12), but apparently, only for y = 0.Although [14,Sect. 8] addresses the angular derivative problem in the context of one-parameter semigroups, the proof of (6.13) does not depend on the fact that Ω is starlike at infinity; it actually works for any simply connected domain Ω C containing S.
In conclusion, we state several open questions.Let (φ t ) be a non-elliptic one-parameter semigroup with associated infinitesimal generator G, Koenigs function h, and Koenigs domain Ω := h(D).Further let ∆(σ ) be a hyperbolic petal of (φ t ) with α-point σ .As above, for simplicity we suppose that h(∆(σ )) = S. Question 1. Similarly to a result of Betsakos and Karamanlis [11,Theorem 1], our condition (1.1), as well as its restatements (4.1) and (6.12), uses hyperbolic geometry.However, in the proof we make use of euclidean quantities related to the Koenigs domain Ω.Is it possible to prove one (or even both) of the implications in Theorem 1.1 without employing criteria for conformality in terms of euclidean geometry?
One possible way to answer the above question would be to study in detail the relations between the convergence of the integrals I(z 0 ) and J(z 0 ) introduced in Sect.6.1.An alternative direction is indicated in the next question.Question 2. If Ω is starlike at infinity, then the conformality condition (6.11) due to Betsakos and Karamanlis and our condition (6.12) are equivalent in terms of Theorem 4.1 and [11, Theorem 1].Is there a more direct way to prove the equivalence (6.11) and (6.12) for such domains?How are conditions (6.11) and (6.12) related, when Ω is semi-conformal at −∞ in the sense of Ostrowski, see e.g.[11, Theorem A], but not necessarily starlike at infinity?
In the elementary proof of Theorem 1.1 for the symmetric case, given in Sect.6.3, we consider a generic injective holomorphic self-map isogonal at a contact point.In contrast to the general (non-symmetric) case, the argument does not depend on the fact that the image of the self-map is a hyperbolic petal of a one-parameter semigroup in D.
On the one hand, the argument in Sect.6.3 works only for the backward orbits contained in (−1, τ).This is similar to the situation in Sect.6.5, where restricting to the symmetry line y = 0 apparently becomes necessary at some point.
On the other hand, motivated by the symmetric case, it is natural to ask whether even in the general case, Theorem 1.1 remains valid for a semigroup of hyperbolic automorphisms (φ t ) t 0 ⊂ Aut(∆) of a simply connected domain ∆ ⊂ D, provided that all the backward orbits converge to the point σ ∈ ∂ D at which ∆ is isogonal, but we do not assume that (φ t ) extends to a one-parameter semigroup of holomorphic self-maps of the whole unit disk D. This leads to the following problem.The next open question concerns the geometry of hyperbolic petals near the Denjoy -Wolff point τ of (φ t ).Question 5. Recall that τ ∈ ∂ ∆(σ ).Let φ be a conformal mapping of D onto ∆(σ ) with φ(1) = τ.What is the asymptotic behaviour of φ(z) as z → 1 within a Stolz angle?In particular, if (φ t ) is hyperbolic, then using results of Contreras and Díaz-Madrigal [18] it is possible to show that ∂ ∆(σ ) has a corner of opening απ at τ, with α := |G ′ (τ)|/G ′ (σ ).Is it always true (and if not always, then under which conditions) that the function f (z) := φ(z) − τ 1/α , z ∈ D, is conformal at z = 1, i.e. f has angular derivative f ′ (1) ∈ C * := C \ {0}?
We conclude the paper with a question on parabolic petals.Theorem 5.1, in case of semigroups of zero hyperbolic step, reduces the angular derivative problem for parabolic petals to another problem of similar nature for the Koenigs function h.Although the limit relation (1.2) holds for parabolic petals as well, our Theorem 1.1 does not seem to extend to this case.So it is natural to raise the following question.Question 6.Is it possible to characterize conformality of parabolic petals in terms of the intrinsic hyperbolic geometry of the petal and the backward (or forward) dynamics of the semigroup, without involving the Koenigs function of the semigroup?
For a domain D ⊂ C and a set E ⊂ C we denote by Hol(D, E) the set of all holomorphic functions in D with values in E. As usual, we endow Hol(D, E) with the topology of locally uniform convergence.Then Hol(D, D) becomes a topological semigroup w.r.t. the composition operation (φ , ψ) → φ • ψ.Definition 2.1.A one-parameter semigroup in the unit disk D is a continuous semigroup homomorphism [0, +∞) ∋ t → φ t ∈ Hol(D, D) from the semigroup [0, +∞), + with the Euclidean topology to the semigroup Hol(D, D).

. 4 )
with Re λ < 0. If τ ∈ ∂ D, then (2.4) holds in the sense of angular limits.Here and in what follows, given a holomorphic function f : D → C and a point ζ ∈ ∂ D, by f (ζ ) we denote the angular limit ∠ lim z→ζ f (z) ∈ C := C ∪ {∞}.Similarly, if f (ζ ) does exist finitely, then by f ′ (ζ ) we denote the angular derivative Green's function.Let D C be a simply connected domain.Let G D and ω D denote the (positive) Green's function and the harmonic measure for the domain D, respectively; see e.g.[40, Chapter 4].In the course of the proofs, we make use of the following remarkable property of the Green's function G D , see [39, p. 111].Lemma 3.1 (Strong Markov Property for the Green's function).Let D 1 and D 2 be two simply connected domains with D 1 ⊂ D 2 C. Then for all z, w ∈ D 1 , z = w, [23, §2.1].For simply connected domains D C the conformal radius R(z 0 , D) of D w.r.t. the point z 0 ∈ D is just the reciprocal of the hyperbolic density λ D (z 0 ); namely R(z 0 , D) = 2/λ D (z 0 ).It is further known that G D (z, w) + log |w − z| → log R(w, D) as z → w ∈ D. Therefore, (3.1) implies

3. 3 .
A lemma on convergence of Riemann mappings on the boundary.Let (D n ) be a sequence of simply connected domains in C and B an open subarc of ∂ D with the following properties: D ⊂ D n and B ⊂ ∂ D n for each n ∈ N. Denote by σ k , k = 1, 2, the end-points of the arc B. Lemma 3.3.In the above notation, suppose additionally that each D n is a Jordan domain.For each n ∈ N, let f n denote the conformal map of D onto D n normalized by f n (0) = 0, f ′ n (0) > 0 and extended by continuity to a homeomorphism between the closures.If (D n ) converges to D w.r.t.0 in the sense of kernel convergence, then f −1 n r.t.0 in the sense of kernel convergence.Although the arc B := {z ∈ ∂ D : Re z > 0} lies on the boundary of D n for all n ∈ N and although the functions f n defined as above converge locally uniformly in D to the identity map, the pre-images f −1 n (B) shrink as n → +∞ to the point σ 0 = 1 rather than converge to B. Proof of Lemma 3.3.Denote g n := f −1 n D , where D denotes the closure of D. By Carathéodory's kernel convergence theorem ([38, Theorem 1.8]), ( f n ) and (g n ) converge locally uniformly in D to the identity mapping.Moreover, the restrictions g n D can be extended by the Schwarz reflection principle to conformal mappings g * n of D B := {z ∈ C : |z| = 1} ∪ B into C. Recall that g n (0) = 0 for all n ∈ N.Moreover, by the locally uniform convergence of (g n ) in D, the sequence |g ′ n (0)| is bounded.It follows that the extended functions g * n form a normal family in D B and hence g * n → id D B locally uniformly in D B

4. 1 .
Reformulation of the problem.In this section we reduce Theorem 1.1 to showing that if a domain Ω is starlike at infinity, then its conformality at −∞ w.r.t. a maximal strip S(a, b) ⊂ Ω is equivalent to a certain condition on how fast λ Ω approaches λ S(a,b) along a horizontal ray {t + iy 0 : t 0} ⊂ S(a, b) as t → −∞.The precise statement of this result is as follows.
in D and hence normal (see [37, Lemma 9.3 on p. 262]) the desired conclusion (4.23) follows from the Schwarz -Pick Lemma.Now by the No-Koebe-arcs theorem for sequences of holomorphic functions (see [37, Theorem 9.2 and the subsequent remark on p. 265]) it follows that (g n ) converges locally uniformly in D to a constant, which is impossible because g n → F −1 by construction.This contradiction proves Claim 2. Now the conclusion of the proposition follows easily from (4.15) -(4.19) and (4.21).

Lemma 4 . 9 .
For all w ∈ S with Re w < 0 and all s ∈ D * ∩ ∂ S, we have G D * (w, s) log 1 + e Re w 1 − e Re w .(4.29)
Boundary fixed points which are not regular are also called super-repulsive (or super-repelling) fixed points of f .The angular derivative f ′ (ζ ) at a boundary regular fixed point ζ is a positive real number and further two subcases are distinguished: the boundary fixed point ζ is repulsive (or 4. One special important case, in which the existence of the angular derivative is guaranteed, is when f ∈ Hol(D, D) and f (ζ ) exists and belongs to ∂ D, see e.g.[38, Proposition 4.13 on p. 82].In this case, ζ is called a contact point for the self-map f ; the angular derivative f ′ (ζ ) at a contact point does not vanish, but it can be infinite.A boundary fixed point of f ∈ Hol(D, D) is a contact point ζ such that f (ζ ) = ζ .A boundary fixed point (or more generally, a contact point) ζ is said to be regular if f ′ (ζ ) = ∞.
2 ) there are constants c > 0 and T 0 such that for any y ∈ K, log R(t + iy, Ω) R(t + iy, S) c δ Ω (t) for all t T. (4.7) .10).272].However, this explicit formula is fairly involved and seems quite unsuitable for obtaining precise information about R(•, S * δ ), which is needed for proving Proposition 4.4.The proof of Proposition 4.4 below circumvents this difficulty by making use of the strong Markov property for the Green's function, see Sect.3.1.In order to prove Proposition 4.4 we further need several auxiliary lemmas.
* δ ) does also have an explicit expression, since the conformal map of the unit disk D onto S * δ is "explicitly" known, see[32, formula (5.2.15), p .19) To prove this claim we first notice that, due to symmetry, one can remove the factor 1/2 in (4.19) if the set A in the second integral is replaced by B.Moreover, by the monotonicity property of harmonic measure, see e.g.[40, Corollary 4.3.9 on p. 102], µ y,δ := ω S * δ (iy, •) B − ω S (iy, •) Bis a non-negative bounded measure on B. Recall also that 0 < h(x; y, δ ) h(0; y, δ ) for all x ∈ R, see (4.12).Therefore, in order to prove(4.19), it is sufficient to show that sup y∈K µ y,δ (B) → 0 as δ → 0 + .(4.20) [9] Boundary behaviour of the Koenigs function.For a non-elliptic one-parameter semigroup (φ t ), the conformality of hyperbolic petals is related to the boundary behaviour of the Koenigs function h.Let σ ∈ ∂ D be a repulsive fixed point of (φ t ).Since S := h ∆(σ ) is a maximal strip in Ω := h(D), by a result of Betsakos[9], the angular limit .8) Note that the argument of log | • | in (6.8) tends to 1 as ρ → 0 + , because by [38, Proposition 4.11 on p. 81], the conformal map f • H, H(z) := (1 − z)/(1 + z), satisfies at ζ = 1 the Visser -Ostrowski condition.6.4.Hyperbolic length of backward orbits.For a hyperbolic domain D ⊂ C and a rectifiable curve γ : [0, T ] → D we denote by ℓ D (γ) := γ λ D (z) | dz| the hyperbolic length of γ.It is easily checked that Theorem 1.1 can be restated as follows: a hyperbolic petal ∆ of a one-parameter semigroup (φ t ) in D is conformal if and only if lim