Showing 1–14 of 14 results for author: Rempe-Gillen, L

Eventual hyperbolic dimension of entire functions and Poincaré functions of polynomials

Authors: Alexandre DeZotti, Lasse Rempe-Gillen

Abstract: Let $ P \colon \mathbb{C} \to \mathbb{C} $ be an entire function. A Poincaré function $ L \colon \mathbb{C} \to \mathbb{C} $ of $ P $ is the entire extension of a linearising coordinate near a repelling fixed point of $ P $. We propose such Poincaré functions as a rich and natural class of dynamical systems from the point of view of measurable dynamics, showing that the measurable dynamics of… ▽ More Let $ P \colon \mathbb{C} \to \mathbb{C} $ be an entire function. A Poincaré function $ L \colon \mathbb{C} \to \mathbb{C} $ of $ P $ is the entire extension of a linearising coordinate near a repelling fixed point of $ P $. We propose such Poincaré functions as a rich and natural class of dynamical systems from the point of view of measurable dynamics, showing that the measurable dynamics of $ P $ influences that of $ L $. More precisely, the hyperbolic dimension of $ P $ is a lower bound for the hyperbolic dimension of $ L $. Our results allow us to describe a large collection of hyperbolic entire functions having full hyperbolic dimension, and hence no natural invariant measures. (The existence of such examples was only recently established, using very different and much less direct methods.) We also give a negative answer to a natural question concerning the behaviour of eventual dimensions under quasiconformal equivalence. △ Less

Submitted 17 January, 2020; originally announced January 2020.

On connected preimages of simply-connected domains under entire functions

Authors: Lasse Rempe-Gillen, Dave Sixsmith

Abstract: Let $f$ be a transcendental entire function, and let $U,V\subset\mathbb{C}$ be disjoint simply-connected domains. Must one of $f^{-1}(U)$ and $f^{-1}(V)$ be disconnected? In 1970, Baker implicitly gave a positive answer to this question, in order to prove that a transcendental entire function cannot have two disjoint completely invariant domains. (A domain $U\subset \mathbb{C}$ is completely inv… ▽ More Let $f$ be a transcendental entire function, and let $U,V\subset\mathbb{C}$ be disjoint simply-connected domains. Must one of $f^{-1}(U)$ and $f^{-1}(V)$ be disconnected? In 1970, Baker implicitly gave a positive answer to this question, in order to prove that a transcendental entire function cannot have two disjoint completely invariant domains. (A domain $U\subset \mathbb{C}$ is completely invariant under $f$ if $f^{-1}(U)=U$.) It was recently observed by Julien Duval that there is a flaw in Baker's argument (which has also been used in later generalisations and extensions of Baker's result). We show that the answer to the above question is negative; so this flaw cannot be repaired. Indeed, for the function $f(z)= e^z+z$, there is a collection of infinitely many pairwise disjoint simply-connected domains, each with connected preimage. We also answer a long-standing question of Eremenko by giving an example of a transcendental entire function, with infinitely many poles, which has the same property. Furthermore, we show that there exists a function $f$ with the above properties such that additionally the set of singular values $S(f)$ is bounded; in other words, $f$ belongs to the Eremenko-Lyubich class. On the other hand, if $S(f)$ is finite (or if certain additional hypotheses are imposed), many of the original results do hold. For the convenience of the research community, we also include a description of the error in the proof of Baker's paper, and a summary of other papers that are affected. △ Less

Submitted 16 August, 2018; v1 submitted 19 January, 2018; originally announced January 2018.

Comments: 35 pages, 8 figures. V3: Accepted manuscript, to appear in Geometric and Functional Analysis. Revisions and corrections were made throughout; in particular the auxiliary Propositions 3.1 and 7.2 were incorrectly stated in V2. These have been corrected; further discussion and a figure have been added in Section 7. The statement of Proposition 8.6 has also been strengthened

MSC Class: 30D20 (Primary); 30D05; 37F10; 30D30 (Secondary)

Journal ref: Geom. Funct. Anal. 29 (2019), 1579-1615

Non-escaping endpoints do not explode

Authors: Vasiliki Evdoridou, Lasse Rempe-Gillen

Abstract: The family of exponential maps $f_a(z)= e^z+a$ is of fundamental importance in the study of transcendental dynamics. Here we consider the topological structure of certain subsets of the Julia set $J(f_a)$. When $a\in (-\infty,-1)$, and more generally when $a$ belongs to the Fatou set of $f_a$, it is known that $J(f_a)$ can be written as a union of "hairs" and "endpoints" of these hairs. In 1990, M… ▽ More The family of exponential maps $f_a(z)= e^z+a$ is of fundamental importance in the study of transcendental dynamics. Here we consider the topological structure of certain subsets of the Julia set $J(f_a)$. When $a\in (-\infty,-1)$, and more generally when $a$ belongs to the Fatou set of $f_a$, it is known that $J(f_a)$ can be written as a union of "hairs" and "endpoints" of these hairs. In 1990, Mayer proved for $a\in (-\infty,-1)$ that, while the set of endpoints is totally separated, its union with infinity is a connected set. Recently, Alhabib and the second author extended this result to the case where $a \in F(f_a)$, and showed that it holds even for the smaller set of all escaping endpoints. We show that, in contrast, the set of non-escaping endpoints together with infinity is totally separated. It turns out that this property is closely related to a topological structure known as a `spider's web'; in particular we give a new topological characterisation of spiders' webs that may be of independent interest. We also show how our results can be applied to Fatou's function, $z\mapsto z + 1 + e^{-z}$. △ Less

Submitted 25 May, 2018; v1 submitted 6 July, 2017; originally announced July 2017.

Comments: 19 pages, 3 figures. v2: Final accepted manuscript, to appear in Bull. London Math. Soc

MSC Class: 37F10 (Primary); 30D05; 54G15 (Secondary)

Journal ref: Bull. London Math. Soc. 50 (2018) 916-932

Arc-like continua, Julia sets of entire functions, and Eremenko's Conjecture

Authors: Lasse Rempe-Gillen

Abstract: A hyperbolic transcendental entire function with connected Fatou set is said to be "of disjoint type". It is known that a disjoint-type function provides a model for the dynamics near infinity of all maps in the same parameter space; hence a good understanding of these functions has implications in wider generality. Our goal is to study the topological properties of the Julia sets of entire func… ▽ More A hyperbolic transcendental entire function with connected Fatou set is said to be "of disjoint type". It is known that a disjoint-type function provides a model for the dynamics near infinity of all maps in the same parameter space; hence a good understanding of these functions has implications in wider generality. Our goal is to study the topological properties of the Julia sets of entire functions of disjoint type. In particular, we give a detailed description of the topology of their connected components. More precisely, consider a "Julia continuum" C of such a function, i.e. the closure in the Riemann sphere of a component of the Julia set. We show that infinity is a terminal point of C, and that C has span zero in the sense of Lelek; under a mild geometric assumption on the function C is arc-like. (Whether every span zero continuum is also arc-like was a famous question in continuum theory, only recently resolved in the negative.) Conversely, we construct a single disjoint-type entire function with the remarkable property that each arc-like continuum with at least one terminal point is realised as a Julia continuum. The class of arc-like continua with terminal points is uncountable. It includes, in particular, the sin(1/x)-curve, the Knaster buckethandle and the pseudo-arc, so these can all occur as Julia continua of a disjoint-type entire function. We give similar descriptions of the possible topology of Julia continua that contain periodic points or points with bounded orbits, and answer a question of Barański and Karpińska by showing that Julia continua need not contain points that are accessible from the Fatou set. Furthermore, we construct an entire function whose Julia set has connected components on which the iterates tend to infinity pointwise, but not uniformly. This is related to a famous conjecture of Eremenko concerning escaping sets of entire functions. △ Less

Submitted 20 December, 2019; v1 submitted 19 October, 2016; originally announced October 2016.

Comments: 85 pp, 10 figures. V4: Minor changes. V3: The introduction has been revised and split into two sections. As a result, the numbering of results has changed somewhat from that in V1/V2

MSC Class: 37F10 (primary); 30D05; 37B45; 54F15; 54H20 (secondary)

Escaping endpoints explode

Authors: Nada Alhabib, Lasse Rempe-Gillen

Abstract: In 1988, Mayer proved the remarkable fact that infinity is an explosion point for the set of endpoints of the Julia set of an exponential map that has an attracting fixed point. That is, the set is totally separated (in particular, it does not have any nontrivial connected subsets), but its union with the point at infinity is connected. Answering a question of Schleicher, we extend this result to… ▽ More In 1988, Mayer proved the remarkable fact that infinity is an explosion point for the set of endpoints of the Julia set of an exponential map that has an attracting fixed point. That is, the set is totally separated (in particular, it does not have any nontrivial connected subsets), but its union with the point at infinity is connected. Answering a question of Schleicher, we extend this result to the set of "escaping endpoints" in the sense of Schleicher and Zimmer, for any exponential map for which the singular value belongs to an attracting or parabolic basin, has a finite orbit, or escapes to infinity under iteration (as well as many other classes of parameters). Furthermore, we extend one direction of the theorem to much greater generality, by proving that the set of escaping endpoints joined with infinity is connected for any transcendental entire function of finite order with bounded singular set. We also discuss corresponding results for *all* endpoints in the case of exponential maps; in order to do so, we establish a version of Thurston's "no wandering triangles" theorem. △ Less

Submitted 19 April, 2016; v1 submitted 17 June, 2015; originally announced June 2015.

Comments: 35 pages. To appear in Comput. Methods Funct. Theory. V2: Authors' final accepted manuscript. Revisions and clarifications have been made throughout from V1. This includes improvements in the proof of Proposition 6.11 and Theorem 8.1, as well as corrections in Remarks 7.1 and 7.3 concerning differing definitions of escaping endpoints in greater generality

MSC Class: 37F10; 30D05; 54F15; 54G15

Journal ref: Comput. Methods Funct. Theory 17 (2017), 65-100

Hyperbolic entire functions and the Eremenko-Lyubich class: Class $\mathcal{B}$ or not class $\mathcal{B}$?

Authors: Lasse Rempe-Gillen, Dave Sixsmith

Abstract: Hyperbolicity plays an important role in the study of dynamical systems, and is a key concept in the iteration of rational functions of one complex variable. Hyperbolic systems have also been considered in the study of transcendental entire functions. There does not appear to be an agreed definition of the concept in this context, due to complications arising from the non-compactness of the phase… ▽ More Hyperbolicity plays an important role in the study of dynamical systems, and is a key concept in the iteration of rational functions of one complex variable. Hyperbolic systems have also been considered in the study of transcendental entire functions. There does not appear to be an agreed definition of the concept in this context, due to complications arising from the non-compactness of the phase space. In this article, we consider a natural definition of hyperbolicity that requires expanding properties on the preimage of a punctured neighbourhood of the isolated singularity. We show that this definition is equivalent to another commonly used one: a {\tef} is hyperbolic if and only if its postsingular set is a compact subset of the Fatou set. This leads us to propose that this notion should be used as the general definition of hyperbolicity in the context of entire functions, and, in particular, that speaking about hyperbolicity makes sense only within the \emph{Eremenko-Lyubich class} $\mathcal{B}$ of transcendental entire functions with a bounded set of singular values. We also considerably strengthen a recent characterisation of the class $\mathcal{B}$, by showing that functions outside of this class cannot be expanding with respect to a metric whose density decays at most polynomially. In particular, this implies that no transcendental entire function can be expanding with respect to the spherical metric. Finally we give a characterisation of an analogous class of functions analytic in a hyperbolic domain. △ Less

Submitted 11 October, 2016; v1 submitted 2 February, 2015; originally announced February 2015.

Comments: 20 pages, 2 figures. V2: Final accepted manuscript, to appear in Math. Zeitschrift. Various minor corrections from V1

MSC Class: 37F10; 30D05; 30D15; 30D20; 37F15

Journal ref: Math. Z. 286 (2017), 783-800

The exponential map is chaotic: An invitation to transcendental dynamics

Authors: Zhaiming Shen, Lasse Rempe-Gillen

Abstract: We present an elementary and conceptual proof that the complex exponential map is "chaotic" when considered as a dynamical system on the complex plane. (This result was conjectured by Fatou in 1926 and first proved by Misiurewicz 55 years later.) The only background required is a first undergraduate course in complex analysis. We present an elementary and conceptual proof that the complex exponential map is "chaotic" when considered as a dynamical system on the complex plane. (This result was conjectured by Fatou in 1926 and first proved by Misiurewicz 55 years later.) The only background required is a first undergraduate course in complex analysis. △ Less

Submitted 15 May, 2015; v1 submitted 5 August, 2014; originally announced August 2014.

Comments: 22 pages, 4 figures. (Provisionally) accepted for publication the American Mathematical Monthly. V2: Final pre-publication version. The article has been revised, corrected and shortened by 14 pages; see Version 1 for a more detailed discussion of further properties of the exponential map and wider transcendental dynamics

MSC Class: 37F10; 30D05

Journal ref: Amer. Math. Monthly 122 (2015), 919-940

Hyperbolic entire functions with bounded Fatou components

Authors: Walter Bergweiler, Núria Fagella, Lasse Rempe-Gillen

Abstract: We show that an invariant Fatou component of a hyperbolic transcendental entire function is a bounded Jordan domain (in fact, a quasidisc) if and only if it contains only finitely many critical points and no asymptotic curves. We use this theorem to prove criteria for the boundedness of Fatou components and local connectivity of Julia sets for hyperbolic entire functions, and give examples that de… ▽ More We show that an invariant Fatou component of a hyperbolic transcendental entire function is a bounded Jordan domain (in fact, a quasidisc) if and only if it contains only finitely many critical points and no asymptotic curves. We use this theorem to prove criteria for the boundedness of Fatou components and local connectivity of Julia sets for hyperbolic entire functions, and give examples that demonstrate that our results are optimal. A particularly strong dichotomy is obtained in the case of a function with precisely two critical values. △ Less

Submitted 19 May, 2015; v1 submitted 3 April, 2014; originally announced April 2014.

Comments: 27 pages, 5 figures. To appear in Commentarii Mathematici Helvetici. V2: Final accepted manuscript (general revision from V1 throughout)

Journal ref: Comment. Math. Helv. 90 (2015), 799-829

On invariance of order and the area property for finite-type entire functions

Authors: Adam Epstein, Lasse Rempe-Gillen

Abstract: Let f be an entire function that has only finitely many critical and asymptotic values. Up to topological equivalence, the function $f$ is determined by combinatorial information, more precisely by an infinite graph known as a "line-complex". In this note, we discuss the natural question whether the order of growth of an entire function is determined by this combinatorial information. The search… ▽ More Let f be an entire function that has only finitely many critical and asymptotic values. Up to topological equivalence, the function $f$ is determined by combinatorial information, more precisely by an infinite graph known as a "line-complex". In this note, we discuss the natural question whether the order of growth of an entire function is determined by this combinatorial information. The search for conditions that imply a positive answer to this question leads us to the "area property", which turns out to be related to many interesting and important questions in conformal dynamics and function theory. These include a conjecture of Eremenko and Lyubich, the measurable dynamics of entire functions, and pushforwards of quadratic differentials. We also discuss evidence that invariance of order and the area property fail in general. △ Less

Submitted 9 December, 2014; v1 submitted 24 April, 2013; originally announced April 2013.

Comments: 29 pages. v3. Final accepted manuscript, to appear in Ann. Acad. Sci. Fennicae. Several corrections and clarifications; new counterexample to Conjecture 1.6 included in Theorem 4.7. Previous versions: v2 - Substantial revisions throughout, including new section on quadratic differentials; v1 - original preprint version

MSC Class: 30D20 (Primary); 30D05; 30D15; 30D35

Journal ref: Ann. Acad. Sci. Fenn. Math. 40 (2015), no. 2, 573-599

Non-autonomous conformal iterated function systems and Moran-set constructions

Authors: Lasse Rempe-Gillen, Mariusz Urbański

Abstract: We study non-autonomous conformal iterated function systems, with finite or countably infinite alphabet alike. These differ from the usual (autonomous) iterated function systems in that the contractions applied at each step in time are allowed to vary. (In the case where all maps are affine similarities, the resulting system is also called a "Moran set construction".) We shall show that, given a… ▽ More We study non-autonomous conformal iterated function systems, with finite or countably infinite alphabet alike. These differ from the usual (autonomous) iterated function systems in that the contractions applied at each step in time are allowed to vary. (In the case where all maps are affine similarities, the resulting system is also called a "Moran set construction".) We shall show that, given a suitable restriction on the growth of the number of contractions used at each step, the Hausdorff dimension of the limit set of such a system is determined by an equation known as Bowen's formula. We also give examples that show the optimality of our results. In addition, we prove Bowen's formula for a class of infinite-alphabet-systems and deal with Hausdorff and packing measures for finite systems, as well as continuity of topological pressure and Hausdorff dimension for both finite and infinite systems. In particular, we strengthen the existing continuity results for infinite autonomous systems. As a simple application of our results, we show that, for a transcendental meromorphic function, the Hausdorff dimension of the set of transitive points (i.e., those points whose orbits are dense in the Julia set) is bounded from below by the hyperbolic dimension (in the sense of Shishikura). △ Less

Submitted 11 June, 2014; v1 submitted 28 October, 2012; originally announced October 2012.

Comments: 40 pages. To appear in Transactions of the AMS. V4: Final accepted version. Minor changes and clarifications from V3. V3: A number of corrections and clarifications were made. Also the concept of "Bowen's constant" was renamed to "Bowen dimension". V2: additional references, some revisions

MSC Class: 28A80 (Primary) 37C45; 37F10 (Secondary)

Journal ref: Trans. Amer. Math. Soc. 368 (2016), 1979-2017

Hyperbolic entire functions with full hyperbolic dimension and approximation by Eremenko-Lyubich functions

Authors: Lasse Rempe-Gillen

Abstract: We show that there exists a hyperbolic entire function of finite order of growth such that the hyperbolic dimension---that is, the Hausdorff dimension of the set of points in the Julia set of whose orbit is bounded---is equal to two. This is in contrast to the rational case, where the Julia set of a hyperbolic map must have Hausdorff dimension less than two, and to the case of all known explicit h… ▽ More We show that there exists a hyperbolic entire function of finite order of growth such that the hyperbolic dimension---that is, the Hausdorff dimension of the set of points in the Julia set of whose orbit is bounded---is equal to two. This is in contrast to the rational case, where the Julia set of a hyperbolic map must have Hausdorff dimension less than two, and to the case of all known explicit hyperbolic entire functions. In order to obtain this example, we prove a general result on constructing entire functions in the Eremenko-Lyubich class with prescribed behavior near infinity, using Cauchy integrals. This result significantly increases the class of functions that were previously known to be approximable in this manner. Furthermore, we show that the approximating functions are quasiconformally conjugate to their original models, which simplifies the construction of dynamical counterexamples. We also give some further applications of our results to transcendental dynamics. △ Less

Submitted 11 February, 2013; v1 submitted 17 June, 2011; originally announced June 2011.

Comments: 36 pages, 1 figure. V3: Minor revisions from V2. To appear in Proceedings of the London Mathematical Society

MSC Class: 30D05; 30E10; 37F10 (Primary) 30D10; 30D15; 37F35 (Secondary)

Journal ref: Proc. London Math. Soc. (2014) 108 (5), 1193-1225

Absence of wandering domains for some real entire functions with bounded singular sets

Authors: Helena Mihaljević-Brandt, Lasse Rempe-Gillen

Abstract: Let f be a real entire function whose set S(f) of singular values is real and bounded. We show that, if f satisfies a certain function-theoretic condition (the "sector condition"), then $f$ has no wandering domains. Our result includes all maps of the form f(z)=λsinh(z)/z + a, where a is a real constant and λ is positive. We also show the absence of wandering domains for certain non-real entire… ▽ More Let f be a real entire function whose set S(f) of singular values is real and bounded. We show that, if f satisfies a certain function-theoretic condition (the "sector condition"), then $f$ has no wandering domains. Our result includes all maps of the form f(z)=λsinh(z)/z + a, where a is a real constant and λ is positive. We also show the absence of wandering domains for certain non-real entire functions for which S(f) is bounded and the iterates of f tend to infinity uniformly on S(f). As a special case of our theorem, we give a short, elementary and non-technical proof that the Julia set of the complex exponential map f(z)=e^z is the entire complex plane. Furthermore, we apply similar methods to extend a result of Bergweiler, concerning Baker domains of entire functions and their relation to the postsingular set, to the case of meromorphic functions. △ Less

Submitted 6 April, 2013; v1 submitted 31 March, 2011; originally announced April 2011.

Comments: 25 pages, 1 figure. To appear in Mathematische Annalen. (V2: Final preprint version. Figure added; some general revision and corrections throughout.)

MSC Class: Primary 37F10; Secondary 30D05; 30F45

Journal ref: Math. Ann. 357 (2013), no. 4, 1577-1604

Density of hyperbolicity for classes of real transcendental entire functions and circle maps

Authors: Lasse Rempe-Gillen, Sebastian van Strien

Abstract: We prove density of hyperbolicity in spaces of (i) real transcendental entire functions, bounded on the real line, whose singular set is finite and real and (ii) transcendental self-maps of the punctured plane which preserve the circle and whose singular set (apart from zero and infinity) is contained in the circle. In particular, we prove density of hyperbolicity in the famous Arnol'd family of c… ▽ More We prove density of hyperbolicity in spaces of (i) real transcendental entire functions, bounded on the real line, whose singular set is finite and real and (ii) transcendental self-maps of the punctured plane which preserve the circle and whose singular set (apart from zero and infinity) is contained in the circle. In particular, we prove density of hyperbolicity in the famous Arnol'd family of circle maps and its generalizations, and solve a number of other open problems for these functions, including three conjectures by de Melo, Salomão and Vargas. We also prove density of (real) hyperbolicity for certain families as in (i) but without the boundedness condition. Our results apply, in particular, when the functions in question have only finitely many critical points and asymptotic singularities, or when there are no asymptotic values and the degree of critical points is uniformly bounded. △ Less

Submitted 12 July, 2014; v1 submitted 25 May, 2010; originally announced May 2010.

Comments: 46 pages, 3 figures. V5: Final peer-reviewed accepted manuscript, to appear in Duke Mathematical Journal. Only minor changes from the previous (significantly revised) version V4

MSC Class: 37F10; 37E05; 37E10; 37F15; 30D05

Journal ref: Duke Math. J. 164, no. 6 (2015), 1079-1137

Prime Ends and Local Connectivity

Authors: Lasse Rempe-Gillen

Abstract: Let U be a simply connected domain on the Riemann sphere whose complement K contains more than one point. We establish a characterization of local connectivity of K at a point in terms of the prime ends whose impressions contain this point. Invoking a result of Ursell and Young, we obtain an alternative proof of a theorem of Torhorst, which states that the impression of a prime end of $U$ contains… ▽ More Let U be a simply connected domain on the Riemann sphere whose complement K contains more than one point. We establish a characterization of local connectivity of K at a point in terms of the prime ends whose impressions contain this point. Invoking a result of Ursell and Young, we obtain an alternative proof of a theorem of Torhorst, which states that the impression of a prime end of $U$ contains at most two points at which $K$ is locally connected. △ Less

Submitted 19 February, 2014; v1 submitted 1 September, 2003; originally announced September 2003.

Comments: 13 pages, 2 figures. V6: Added additional remarks on the mathematical work of Marie Torhorst. Summary of previous versions: V5 - Updated the article by adding a historical note. V4 - Final preprint prior to publication. V3 - Proof of the Ursell-Young theorem and illustrations added. V2 - The original short note was expanded to a full article. V1 - original short note

MSC Class: 30C35 (Primary) 54F15; 30D05; 37F10 (Secondary)

Journal ref: Bull. London Math. Soc. 40 (2008), No. 5, 817-826