Showing 1–9 of 9 results for author: Martí-Pete, D

On the dimension of the boundaries of attracting basins of entire maps

Authors: Krzysztof Barański, Bogusława Karpińska, David Martí-Pete, Leticia Pardo-Simón, Anna Zdunik

Abstract: We study the dimension of the boundaries of periodic Fatou components of transcendental entire maps. We prove that if $U$ is an immediate component of the basin of an attracting periodic point $ζ$ of period $p\ge 1$ of a transcendental entire function $f\colon \mathbb C \to \mathbb C$ from the Eremenko--Lyubich class $\mathcal B$, such that $\text{deg} f^p|_U = \infty$ and… ▽ More We study the dimension of the boundaries of periodic Fatou components of transcendental entire maps. We prove that if $U$ is an immediate component of the basin of an attracting periodic point $ζ$ of period $p\ge 1$ of a transcendental entire function $f\colon \mathbb C \to \mathbb C$ from the Eremenko--Lyubich class $\mathcal B$, such that $\text{deg} f^p|_U = \infty$ and $\overline{\text{Sing}(f^p|_U)}$ is a compact subset of $U$, then the hyperbolic (and, consequently, Hausdorff) dimension of the boundary of $U$ is larger than $1$. The same holds if $U$ is an immediate component of the basin of a parabolic $p$-periodic point $ζ$, under an additional assumption $ζ\notin \overline{\text{Sing}(f^p)}$. We also show that if $U$ is a bounded immediate component of an attracting basin of a transcendental entire function $f$, then the hyperbolic dimension of the boundary of $U$ is larger than $1$. In particular, this implies that the boundary of a component of an attracting basin of a transcendental entire function is never a smooth or rectifiable curve. △ Less

Submitted 15 April, 2025; originally announced April 2025.

Comments: 33 pages, 10 figures

MSC Class: 37F10; 37F35; 30D05; 30D40

Bounded Fatou and Julia components of meromorphic functions

Authors: David Martí-Pete, Lasse Rempe, James Waterman

Abstract: We completely characterise the bounded sets that arise as components of the Fatou and Julia sets of meromorphic functions. On the one hand, we prove that a bounded domain is a Fatou component of some meromorphic function if and only if it is regular. On the other hand, we prove that a planar continuum is a Julia component of some meromorphic function if and only if it has empty interior. We do so… ▽ More We completely characterise the bounded sets that arise as components of the Fatou and Julia sets of meromorphic functions. On the one hand, we prove that a bounded domain is a Fatou component of some meromorphic function if and only if it is regular. On the other hand, we prove that a planar continuum is a Julia component of some meromorphic function if and only if it has empty interior. We do so by constructing meromorphic functions with wandering continua using approximation theory. △ Less

Submitted 22 June, 2023; v1 submitted 25 April, 2022; originally announced April 2022.

Comments: 15 pages, 4 figures. V2: We have revised the introduction, and introduced two new sections: Section 2 discusses and compare topological properties of Fatou components, while Section 3 establishes that certain bounded regular domains cannot arise as eventually periodic Fatou components of meromorphic functions

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

Eremenko's conjecture, wandering Lakes of Wada, and maverick points

Authors: David Martí-Pete, Lasse Rempe, James Waterman

Abstract: We develop a general technique for realising full closed subsets of the complex plane as wandering sets of entire functions. Using this construction, we solve a number of open problems. (1) We construct a counterexample to Eremenko's conjecture, a central problem in transcendental dynamics that asks whether every connected component of the set of escaping points of a transcendental entire functi… ▽ More We develop a general technique for realising full closed subsets of the complex plane as wandering sets of entire functions. Using this construction, we solve a number of open problems. (1) We construct a counterexample to Eremenko's conjecture, a central problem in transcendental dynamics that asks whether every connected component of the set of escaping points of a transcendental entire function is unbounded. (2) We prove that there is a transcendental entire function for which infinitely many Fatou components share the same boundary. This resolves the long-standing problem whether "Lakes of Wada continua" can arise in complex dynamics, and answers the analogue of a question of Fatou from 1920 concerning Fatou components of rational functions. (3) We answer a question of Rippon concerning the existence of non-escaping points on the boundary of a bounded escaping wandering domain, that is, a wandering Fatou component contained in the escaping set. In fact we show that the set of such points can have positive Lebesgue measure. (4) We give the first example of an entire function having a simply connected Fatou component whose closure has a disconnected complement, answering a question of Boc Thaler. In view of (3), we introduce the concept of "maverick points": points on the boundary of a wandering domain whose accumulation behaviour differs from that of internal points. We prove that the set of such points has harmonic measure zero, but that it can nonetheless be rather large. For example, it may have positive planar Lebesgue measure. △ Less

Submitted 30 October, 2024; v1 submitted 23 August, 2021; originally announced August 2021.

Comments: 43 pages, 11 figures. To appear in Journal of the American Mathematical Society. V5: Author accepted manuscript. The structure of Section 9 has been changed, and some general revision has taken place throughout

MSC Class: Primary 37F10; Secondary 30D05; 37B45; 54F15

On the connectivity of the escaping set in the punctured plane

Authors: Vasiliki Evdoridou, David Martí-Pete, David J. Sixsmith

Abstract: We consider the dynamics of transcendental self-maps of the punctured plane, $\mathbb{C}^*=\mathbb{C}\setminus \{0\}$. We prove that the escaping set $I(f)$ is either connected, or has infinitely many components. We also show that $I(f)\cup \{0,\infty\}$ is either connected, or has exactly two components, one containing $0$ and the other $\infty$. This gives a trichotomy regarding the connectivity… ▽ More We consider the dynamics of transcendental self-maps of the punctured plane, $\mathbb{C}^*=\mathbb{C}\setminus \{0\}$. We prove that the escaping set $I(f)$ is either connected, or has infinitely many components. We also show that $I(f)\cup \{0,\infty\}$ is either connected, or has exactly two components, one containing $0$ and the other $\infty$. This gives a trichotomy regarding the connectivity of the sets $I(f)$ and $I(f)\cup \{0,\infty\}$, and we give examples of functions for which each case arises. Finally, whereas Baker domains of transcendental entire functions are simply connected, we show that Baker domains can be doubly connected in $\mathbb{C}^*$ by constructing the first such example. We also prove that if $f$ has a doubly connected Baker domain, then its closure contains both $0$ and $\infty$, and hence $I(f)\cup\{0,\infty\}$ is connected. △ Less

Submitted 27 September, 2019; v1 submitted 20 August, 2019; originally announced August 2019.

Spiders' webs in the punctured plane

Authors: Vasiliki Evdoridou, David Martí-Pete, David J. Sixsmith

Abstract: Many authors have studied sets, associated with the dynamics of a transcendental entire function, which have the topological property of being a spider's web. In this paper we adapt the definition of a spider's web to the punctured plane. We give several characterisations of this topological structure, and study the connection with the usual spider's web in $\mathbb{C}$. We show that there are m… ▽ More Many authors have studied sets, associated with the dynamics of a transcendental entire function, which have the topological property of being a spider's web. In this paper we adapt the definition of a spider's web to the punctured plane. We give several characterisations of this topological structure, and study the connection with the usual spider's web in $\mathbb{C}$. We show that there are many transcendental self-maps of $\mathbb{C}^*$ for which the Julia set is such a spider's web, and we construct a transcendental self-map of $\mathbb{C}^*$ for which the escaping set $I(f)$ has this structure and hence is connected. By way of contrast with transcendental entire functions, we conjecture that there is no transcendental self-map of $\mathbb{C}^*$ for which the fast escaping set $A(f)$ is such a spider's web. △ Less

Submitted 27 September, 2019; v1 submitted 16 January, 2019; originally announced January 2019.

Wandering domains for entire functions of finite order in the Eremenko-Lyubich class

Authors: David Martí-Pete, Mitsuhiro Shishikura

Abstract: Recently Bishop constructed the first example of a bounded-type transcendental entire function with a wandering domain using a new technique called quasiconfomal folding. It is easy to check that his method produces an entire function of infinite order. We construct the first examples of entire functions of finite order in the class $\mathcal B$ with wandering domains. As in Bishop's example, thes… ▽ More Recently Bishop constructed the first example of a bounded-type transcendental entire function with a wandering domain using a new technique called quasiconfomal folding. It is easy to check that his method produces an entire function of infinite order. We construct the first examples of entire functions of finite order in the class $\mathcal B$ with wandering domains. As in Bishop's example, these wandering domains are of oscillating type, that is, they have an unbounded non-escaping orbit. To construct such functions we use quasiregular interpolation instead of quasiconformal folding, which is much more straightforward. Our examples have order $p/2$ for any $p\in\mathbb{N}$ and, since the order of functions in the class $\mathcal B$ is at least $1/2$, we achieve the smallest possible order. Finally, we can modify the construction to obtain functions of finite order in the class $\mathcal B$ with any number of grand orbits of wandering domains, including infinitely many. △ Less

Submitted 18 November, 2018; v1 submitted 31 July, 2018; originally announced July 2018.

Journal ref: Proc. Lond. Math. Soc. (3) 120 (2020), no. 2, 155-191

Escaping Fatou components of transcendental self-maps of the punctured plane

Authors: David Martí-Pete

Abstract: We study the iteration of transcendental self-maps of $\mathbb{C}^*:=\mathbb{C}\setminus \{0\}$, that is, holomorphic functions $f:\mathbb{C}^*\to\mathbb{C}^*$ for which both zero and infinity are essential singularities. We use approximation theory to construct functions in this class with escaping Fatou components, both wandering domains and Baker domains, that accumulate to $\{0,\infty\}$ in an… ▽ More We study the iteration of transcendental self-maps of $\mathbb{C}^*:=\mathbb{C}\setminus \{0\}$, that is, holomorphic functions $f:\mathbb{C}^*\to\mathbb{C}^*$ for which both zero and infinity are essential singularities. We use approximation theory to construct functions in this class with escaping Fatou components, both wandering domains and Baker domains, that accumulate to $\{0,\infty\}$ in any possible way under iteration. We also give the first explicit examples of transcendental self-maps of $\mathbb{C}^*$ with Baker domains and with wandering domains. In doing so, we developed a sufficient condition for a function to have a simply connected escaping wandering domain. Finally, we remark that our results also provide new examples of entire functions with escaping Fatou components. △ Less

Submitted 30 December, 2017; originally announced January 2018.

Dynamic rays of bounded-type transcendental self-maps of the punctured plane

Authors: Núria Fagella, David Martí-Pete

Abstract: We study the escaping set of functions in the class $\mathcal B^*$, that is, holomorphic functions $f:\mathbb C^*\to\mathbb C^*$ for which both zero and infinity are essential singularities, and the set of singular values of $f$ is contained in a compact annulus of $\mathbb C^*$. For functions in the class $\mathcal B^*$, escaping points lie in their Julia set. If $f$ is a composition of finite or… ▽ More We study the escaping set of functions in the class $\mathcal B^*$, that is, holomorphic functions $f:\mathbb C^*\to\mathbb C^*$ for which both zero and infinity are essential singularities, and the set of singular values of $f$ is contained in a compact annulus of $\mathbb C^*$. For functions in the class $\mathcal B^*$, escaping points lie in their Julia set. If $f$ is a composition of finite order transcendental self-maps of $\mathbb C^*$ (and hence, in the class $\mathcal B^*$), then we show that every escaping point of $f$ can be connected to one of the essential singularities by a curve of points that escape uniformly. Moreover, for every essential itinerary $e\in\{0,\infty\}^\mathbb N$, we show that the escaping set of $f$ contains a Cantor bouquet of curves that accumulate to $\{0,\infty\}$ according to $e$ under iteration by $f$. △ Less

Submitted 15 May, 2016; v1 submitted 10 March, 2016; originally announced March 2016.

Journal ref: Discrete Contin. Dyn. Syst. 37 (2017), no. 6, 3123-3160

The escaping set of transcendental self-maps of the punctured plane

Authors: David Martí-Pete

Abstract: We study the different rates of escape of points under iteration by holomorphic self-maps of $\mathbb C^*=\mathbb C\setminus\{ 0\}$ for which both 0 and $\infty$ are essential singularities. Using annular covering lemmas we construct different types of orbits, including fast escaping and arbitrarily slowly escaping orbits to either 0, $\infty$ or both. We also prove several properties about the se… ▽ More We study the different rates of escape of points under iteration by holomorphic self-maps of $\mathbb C^*=\mathbb C\setminus\{ 0\}$ for which both 0 and $\infty$ are essential singularities. Using annular covering lemmas we construct different types of orbits, including fast escaping and arbitrarily slowly escaping orbits to either 0, $\infty$ or both. We also prove several properties about the set of fast escaping points for this class of functions. In particular, we show that there is an uncountable collection of disjoint sets of fast escaping points each of which has the Julia set as its boundary. △ Less

Submitted 2 December, 2014; originally announced December 2014.

Journal ref: Ergodic Theory Dynam. Systems 38 (2018), no. 2, 739-760