Bounded Simply Connected Wandering Domains

Updated 1 December 2025

Bounded simply connected wandering domains are simply connected Fatou components whose forward iterates remain in a bounded region, arising in transcendental entire and quasiregular maps.
They are realized via advanced techniques like Runge interpolation, jet interpolation, and inductive schemes to carefully control local holomorphic dynamics and domain topology.
Their classification reveals ninefold dynamical types for escaping domains and six types for oscillating ones, and they raise intriguing open questions about fully bounded forward orbits.

Bounded simply connected wandering domains are planar domains that form Fatou components for transcendental entire or more generally holomorphic, or even quasiregular, maps, whose forward images under iteration are disjoint and remain bounded, with each domain being simply connected. This phenomenon is fundamentally linked to transcendental and quasiregular dynamics and displays a striking flexibility in the possible topological and dynamical features realized in such domains.

1. Fundamental Definitions and Trichotomies

Let $f:\C\to\C$ be a transcendental entire function. The Fatou set $\mathcal{F}(f)$ is the largest open set on which the sequences of iterates $\{f^n\}$ form a normal family; its complement, the Julia set $\mathcal{J}(f) = \C \setminus \mathcal{F}(f)$, is non-empty and perfect for transcendental maps. A connected component $U \subset \mathcal{F}(f)$ is called:

Periodic if $f^p(U) = U$ for some minimal $p \geq 1$ .
Pre-periodic if some iterate $f^k(U)$ is periodic.
Wandering domain if $U$ , $f(U)$ , $f^2(U), \dots$ are pairwise disjoint.

Among wandering domains, finer types are distinguished:

Escaping wandering domain: every $z \in U$ satisfies $f^n(z) \to \infty$ as $n \to \infty$ .
Oscillating wandering domain: $f^n(z)$ accumulates both on $\infty$ and infinitely many finite points, i.e., neither escapes nor converges to a single finite value.
Bounded simply connected wandering domain: $U$ is simply connected and its union of forwards images $\bigcup_n f^n(U)$ is contained in a bounded set, or, in constructive examples, nearly all iterates remain in a bounded domain (Pardo-Simón et al., 2023).

Given a Fatou component $U$ , its limit set is defined as

$L(f,U) = \big\{ w \in \C \cup \{\infty\}: \exists\, z \in U,\ n_k \to \infty,\ f^{n_k}(z) \to w \big\}\,.$

A domain $D \subset \C$ is called regular if $D = \operatorname{int}(\overline{D})$ and is further required to have connected complement for many constructive results.

2. Realization and Construction Theorems

Luka Boc Thaler proved that any bounded, simply connected, regular open set with connected complement can be realized as a wandering domain—specifically as either an escaping or oscillating Fatou component—of some transcendental entire function (Thaler, 2020):

Theorem [Thaler 2021]:

For any such $D \subset \C$, there exists $g$ entire such that $U \cong D$ is a wandering Fatou component, and one can arrange either (a) $U$ is escaping ( $g^n(z)\to\infty$ for all $z\in U$ ), or (b) $U$ is oscillating (the orbits in $U$ neither tend to infinity nor to a finite point, but accumulate on both).

Huang and Zheng extended this to realize any continuum $J \subset \C$ without interior as the limit set of an oscillating wandering domain; for such $J$ there exists $f$ entire and a wandering Fatou component $\Omega$ with

$L(f,\Omega) = J \cup \{\infty\}$

(Huang et al., 2023).

In $\C^m$ ( $m \geq 2$ ), Boc Thaler constructed automorphisms realizing the Euclidean ball and more general regular polynomially convex domains as bounded escaping or oscillating wandering Fatou components (Thaler, 2020).

3. Classification and Dynamical Typology

Simply connected wandering domains (bounded or otherwise) admit a ninefold internal dynamical classification described in terms of hyperbolic geometry and orbit-boundary behavior (Benini et al., 2019):

Hyperbolic contraction trichotomy:

Contracting: hyperbolic distances $\operatorname{dist}_{U_n}(f^n(z), f^n(w))\to0$ for all $z\ne w$ .
Semi-contracting: distances decrease but stay bounded below.
Eventually isometric: distances are asymptotically constant.

Boundary convergence trichotomy:

(a) Orbits stay bounded away from $\partial U_n$ . (b) Orbits approach $\partial U_n$ infinitely often but do not converge. (c) All orbits converge to $\partial U_n$ .

Every bounded simply connected wandering domain can be realized in any of the nine possible types for escaping domains, and precisely six types for oscillating domains (the (a) boundary behavior does not occur for oscillating domains) (Evdoridou et al., 2020, Benini et al., 2019).

4. Analytic and Constructive Techniques

Realization theorems rely crucially on strong Runge-type approximation with jet interpolation, careful combinatorial itinerary control, and geometric local models (Thaler, 2020, Huang et al., 2023, Thaler, 2020, Glücksam et al., 28 Nov 2025):

Runge interpolation: Used to approximate prescribed local holomorphic behaviors on disjoint compacts while matching specified values and derivatives at finitely many points. This is essential to inductively glue together local models while controlling the global dynamical structure.
Inductive scheme: Build a sequence of entire functions (or automorphisms) converging locally uniformly, ensuring the desired mapping properties persist in the limit.
Oscillating/escaping selection: Alternate between translation-like and contracting/expanding model maps to force orbits of the constructed wandering domain to demonstrate the desired dynamical type—either always escaping, or oscillating between bounded subsets and escape.
Boundary control: By prescribing accumulation points and attracting cycles, one can ensure the domain boundary accumulates precisely on pre-selected Julia set structures.

For analytic-boundary domains and to prescribe small entire function order, refined $\bar\partial$ -schemes and harmonic measure estimates are added to this framework (Glücksam et al., 28 Nov 2025).

5. Limit Sets, Shapes, and Topological Realization

The constructed bounded simply connected wandering domains can exhibit prescribed boundary geometry and limiting behavior:

Prescribed limit sets: Any continuum $J \subset \C$ without interior can be forced to arise as the limit set of an oscillating wandering domain, and, specifically, every Jordan curve in $\C$ can be the boundary of a wandering Fatou component (Huang et al., 2023, Thaler, 2020).
Domain shapes and scaling limits: In concrete entire examples, such as $f(z) = z\cos z + 2\pi$ , the scaled sequence of bounded, simply connected wandering domains converges (in Hausdorff metric) to a model bounded Fatou component, e.g., the filled parabolic basin ("cauliflower" for $z^2+1/4$ ) (Don, 27 Sep 2024).
Jordan curve boundaries: For slowly expanding Blaschke models, one ensures that the boundaries of the wandering domains are Jordan curves (Benini et al., 2019).

These constructions demonstrate a high degree of flexibility in the boundary regularity and topological realization.

6. Nearly Bounded Orbits and Open Questions

A major open question in transcendental dynamics concerns the existence of wandering domains whose entire forward orbit remains bounded. All known entire-function constructions feature infinitely many iterates that eventually escape any fixed compact set. However, it has been shown that one can construct a domain such that for any $\lambda \in [0,1]$ , a prescribed natural density $\lambda$ of iterates remains inside a bounded domain, and in particular, arbitrarily close to $100\%$ of the iterates may remain in a fixed disk (the "nearly bounded" property), but some iterates always escape (Pardo-Simón et al., 2023). Bounded simply connected wandering domains with truly bounded forward orbits remain elusive.

The techniques developed for transcendental entire maps have analogues and extensions to:

Quasiregular mappings: Construction of bounded simply connected wandering domains for polynomial-type and transcendental-type quasiregular maps in the plane, where similar Runge-based and explicit geometric strategies apply (Nicks, 2011).
Several complex variables: The Andersén–Lempert theorem enables the construction of bounded (including strictly ball-shaped) wandering domains for automorphisms of $\C^m$, with polynomially convex, even smoothly bounded, topology (Thaler, 2020).
Meromorphic and punctured-plane maps: The realization and approximation-by-Fatou-component methods extend further to these settings (Huang et al., 2023).

These results collectively demonstrate that bounded simply connected wandering domains offer remarkable flexibility in transcendental and holomorphic dynamics and serve as a testing ground for broad questions in complex dynamics, inverse problems, and the structure of Fatou and Julia sets.

References: