Searcharxiv⌕ Search

arXiv subjects

Lasse Rempe

Publications and source records attributed to Lasse Rempe.

At least 37 records · Page 2Linked to original sources

Singular orbits and Baker domains

We show that there is a transcendental meromorphic function with an invariant Baker domain $U$ such that every singular value of $f$ is a super-attracting periodic point. This answers a question of Bergweiler from 1993. We also show that $U$ can be chosen to contain arbitrarily large round annuli, centred at zero, of definite modulus. This answers a question of Mihaljević and the author from 2013, and complements recent work of Barański et al concerning this question.

math.DS↗

Fatou's associates

Suppose that $f$ is a transcendental entire function, $V \subsetneq \mathbb{C}$ is a simply connected domain, and $U$ is a connected component of $f^{-1}(V)$. Using Riemann maps, we associate the map $f \colon U \to V$ to an inner function $g \colon \mathbb{D} \to \mathbb{D}$. It is straightforward to see that $g$ is either a finite Blaschke product, or, with an appropriate normalisation, can be taken to be an infinite 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 infinity in $U$. In the case where $U$ is a forward-invariant Fatou component of $f$, this leads to a very significant 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$ have been calculated. We study this relationship for several well-known families of transcendental entire functions. It is also natural to ask which finite Blaschke products can arise in this way, and we show the following: For every finite 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 to $f$ in the above sense. Furthermore, there exists a single transcendental entire function $f$ with the property that any finite Blaschke product can be arbitrarily closely approximated by an inner function associated to the restriction of $f$ to a wandering domain.

math.DS↗

Brushing the hairs of transcendental entire functions

Let f be a hyperbolic transcendental entire function of finite order in the Eremenko-Lyubich class (or a finite composition of such maps), and suppose that f has a unique Fatou component. We show that the Julia set of $f$ is a Cantor bouquet; i.e. is ambiently homeomorphic to a straight brush in the sense of Aarts and Oversteegen. In particular, we show that any two such Julia sets are ambiently homeomorphic. We also show that if $f\in\B$ has finite order (or is a finite composition of such maps), but is not necessarily hyperbolic, then the Julia set of f contains a Cantor bouquet. As part of our proof, we describe, for an arbitrary function $f\in\B$, a natural compactification of the dynamical plane by adding a "circle of addresses" at infinity.

math.DS↗

Rigidity and absence of line fields for meromorphic and Ahlfors islands maps

In this note, we give an elementary proof of the absence of invariant line fields on the conical Julia set of an analytic function of one variable. This proof applies not only to rational as well as transcendental meromorphic functions (where it was previously known), but even to the extremely general setting of Ahlfors islands maps as defined by Adam Epstein. In fact, we prove a more general result on the absence of invariant_differentials_, measurable with respect to a conformal measure that is supported on the (unbranched) conical Julia set. This includes the study of cohomological equations for $\log|f'|$, which are relevant to a number of well-known rigidity questions.

math.DS↗

Exotic Baker and wandering domains for Ahlfors islands maps

Let X be a Riemann surface of genus at most 1, i.e. X is the Riemann sphere or a torus. We construct a variety of examples of analytic functions g:W->X, where W is an arbitrary subdomain of X, that satisfy Epstein's "Ahlfors islands condition". In particular, we show that the accumulation set of any curve tending to the boundary of W can be realized as the omega-limit set of a Baker domain of such a function. As a corollary of our construction, we show that there are entire functions with Baker domains in which the iterates converge to infinity arbitrarily slowly. We also construct Ahlfors islands maps with wandering domains and logarithmic singularities, as well as examples where X is a compact hyperbolic surface.

math.CV↗

Absence of line fields and Mane's theorem for non-recurrent transcendental functions

Let f be a transcendental meromorphic function. Suppose that the finite part of the postsingular set of f is bounded, that f has no recurrent critical points or wandering domains, and that the degree of pre-poles of f is uniformly bounded. Then we show that f supports no invariant line fields on its Julia set. We prove this by generalizing two results about rational functions to the transcendental setting: a theorem of Mane about the branching of iterated preimages of disks, and a theorem of McMullen regarding absence of invariant line fields for "measurably transitive" functions. Both our theorems extend results previously obtained by Graczyk, Kotus and Swiatek.

math.DS↗

Connected escaping sets of exponential maps

We show that for many complex parameters a, the set of points that converge to infinity under iteration of the exponential map f(z)=e^z+a is connected. This includes all parameters for which the singular value escapes to infinity under iteration.

math.DS↗

Hausdorff dimensions of escaping sets of transcendental entire functions

Let $f$ and $g$ be transcendental entire functions, each with a bounded set of singular values, and suppose that $f$ and $g$ are affinely equivalent (that is, $g \circ ϕ= ψ\circ f$, where $ϕ,ψ:\C\to\C$ are affine). We show that the escaping sets of $f$ and $g$ have the same Hausdorff dimension. Using a result of the second author, we deduce that there exists a family of transcendental entire functions for which the escaping set has Hausdorff dimension equal to one.

math.DS↗

Are Devaney hairs fast escaping?

Beginning with Devaney, several authors have studied transcendental entire functions for which every point in the escaping set can be connected to infinity by a curve in the escaping set. Such curves are often called Devaney hairs. We show that, in many cases, every point in such a curve, apart from possibly a finite endpoint of the curve, belongs to the fast escaping set. We also give an example of a Devaney hair which lies in a logarithmic tract of a transcendental entire function and contains no fast escaping points.

math.DS↗

Dynamic rays of bounded-type entire functions

We construct an entire function in the Eremenko-Lyubich class $\B$ whose Julia set has only bounded path-components. This answers a question of Eremenko from 1989 in the negative. On the other hand, we show that for many functions in $\B$, in particular those of finite order, every escaping point can be connected to $\infty$ by a curve of escaping points. This gives a partial positive answer to the aforementioned question of Eremenko, and answers a question of Fatou from 1926.

math.DS↗

Rigidity of escaping dynamics for transcendental entire functions

We prove an analog of Boettcher's theorem for transcendental entire functions in the Eremenko-Lyubich class B. More precisely, let f and g be entire functions with bounded sets of singular values and suppose that f and g belong to the same parameter space (i.e., are *quasiconformally equivalent* in the sense of Eremenko and Lyubich). Then f and g are conjugate when restricted to the set of points which remain in some sufficiently small neighborhood of infinity under iteration. Furthermore, this conjugacy extends to a quasiconformal self-map of the plane. We also prove that this conjugacy is essentially unique. In particular, we show that an Eremenko-Lyubich class function f has no invariant line fields on its escaping set. Finally, we show that any two hyperbolic Eremenko-Lyubich class functions f and g which belong to the same parameter space are conjugate on their sets of escaping points.

math.DS↗

A note on hyperbolic leaves and wild laminations of rational functions

We study the affine orbifold laminations that were constructed by Lyubich and Minsky. An important question left open in their construction is whether these laminations are always locally compact. We show that this is not the case. The counterexample we construct has the property that the regular leaf space contains (many) hyperbolic leaves that intersect the Julia set; whether this can happen is itself a question raised by Lyubich and Minsky.

math.DS↗

Siegel Disks and Periodic Rays of Entire Functions

Let f be an entire function whose set of singular values is bounded and suppose that f has a Siegel disk such that f restricts to a homeomorphism of the boundary. We show that the Siegel disk is bounded. Using a result of Herman, we deduce that if additionally the rotation number of the Siegel disk is Diophantine, then its boundary contains a critical point of f. Suppose furthermore that all singular values of f lie in the Julia set. We prove that, if f has a Siegel disk $U$ whose boundary contains no singular values, then the condition that f is a homeomorphism of the boundary of U is automatically satisfied. We also investigate landing properties of periodic dynamic rays by similar methods.

math.DS↗

Bifurcation Loci of Exponential Maps and Quadratic Polynomials: Local Connectivity, Triviality of Fibers, and Density of Hyperbolicity

We study the bifurcation loci of quadratic (and unicritical) polynomials and exponential maps. We outline a proof that the exponential bifurcation locus is connected; this is an analog to Douady and Hubbard's celebrated theorem that (the boundary of) the Mandelbrot set is connected. For these parameter spaces, a fundamental conjecture is that hyperbolic dynamics is dense. For quadratic polynomials, this would follow from the famous stronger conjecture that the bifurcation locus (or equivalently the Mandelbrot set) is locally connected. It turns out that a formally slightly weaker statement is sufficient, namely that every point in the bifurcation locus is the landing point of a parameter ray. For exponential maps, the bifurcation locus is not locally connected. We describe a different conjecture (triviality of fibers) which naturally generalizes the role that local connectivity has for quadratic or unicritical polynomials.

math.DS↗

Bifurcations in the Space of Exponential Maps

This article investigates the parameter space of the exponential family $z\mapsto \exp(z)+κ$. We prove that the boundary (in $\C$) of every hyperbolic component is a Jordan arc, as conjectured by Eremenko and Lyubich as well as Baker and Rippon. In fact, we prove the stronger statement that the exponential bifurcation locus is connected in $\C$, which is an analog of Douady and Hubbard's celebrated theorem that the Mandelbrot set is connected. We show furthermore that $\infty$ is not accessible through any nonhyperbolic ("queer") stable component. The main part of the argument consists of demonstrating a general "Squeezing Lemma", which controls the structure of parameter space near infinity. We also prove a second conjecture of Eremenko and Lyubich concerning bifurcation trees of hyperbolic components.

math.DS↗