A Survey of Baker Wandering Domains
Pith reviewed 2026-05-10 17:50 UTC · model grok-4.3
The pith
Transcendental meromorphic functions admit Baker wandering domains that are bounded, multiply connected Fatou components escaping to infinity while surrounding the origin.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
A Baker wandering domain for a transcendental meromorphic function f is a wandering Fatou component W such that each iterate W_n is bounded and multiply connected, surrounds the origin for all sufficiently large n, and satisfies dist(W_n, 0) tending to infinity. The survey revisits Baker's first example, assembles subsequent constructions, examines the constraints these domains impose on singular values and dynamics, identifies classes of functions without them, and lists open problems.
What carries the argument
The Baker wandering domain, a wandering Fatou component that remains bounded and multiply connected, encircles the origin from some iterate onward, and recedes to infinity.
If this is right
- The presence of a Baker wandering domain forces the function to have at least one singular value whose orbit interacts with the escaping components.
- Functions whose singular values lie in a bounded set or satisfy certain growth conditions are shown to lack Baker wandering domains.
- The Julia set must contain the boundaries of all these escaping multiply connected components, producing a specific topological structure.
- Open problems listed include whether every transcendental entire function of finite order admits such domains or whether they can be avoided in certain exponential families.
Where Pith is reading between the lines
- The collected examples could be used to test numerical algorithms that approximate Fatou components for maps with essential singularities at infinity.
- A unified criterion distinguishing Baker wandering domains from other types of wandering domains might emerge from comparing the listed constructions.
- The survey's emphasis on singular-value constraints suggests that similar restrictions could apply to the distribution of critical points in related iteration problems.
Load-bearing premise
The survey assumes that the cited constructions, non-existence theorems, and standard definitions of Fatou components and wandering domains from earlier literature are accurate and do not require independent verification here.
What would settle it
An explicit transcendental meromorphic function whose Fatou set contains a multiply connected wandering component that encircles the origin and escapes to infinity, yet belongs to a family the survey states contains none, would refute the summarized non-existence claims.
Figures
read the original abstract
Let $f:\mathbb C\to \widehat{\mathbb C}=\mathbb C \cup\{\infty\}$ be a transcendental meromorphic function (possibly without any pole) with a single essential singularity, and that is chosen to be at $\infty$. The set of points $z\in\mathbb{{\widehat{C}}}$ such that the family of iterates $\{f^n\}_{n\geq 0}$ is defined and forms a normal family in a neighborhood of $z$ is known as the Fatou set of $f$. For a Fatou component $W$, let $W_j$ denote the Fatou component containing $f^j(W)$. A Fatou component $W$ is called wandering if $W_m\bigcap W_n=\emptyset$ for all $m \neq n$. A wandering domain $W$ of $f$ is called a Baker wandering domain, if each $W_n$ is bounded, multiply connected, and $W_n$ surrounds $0$ for all large $n$ and, dist$(W_n,0)\to\infty$ as $n\to\infty$. This paper surveys the current state of knowledge on Baker wandering domains. We revisit the first example of the Baker wandering domain followed by other examples. The influence of Baker wandering domain on the singular values and dynamics of the function is presented. We also discuss some classes of functions that do not possess any Baker wandering domain. Several problems are proposed throughout the article at relevant places.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript is a survey on Baker wandering domains for transcendental meromorphic functions (including entire functions). It recalls the definitions of the Fatou set, wandering domains, and Baker wandering domains (bounded, multiply connected components surrounding 0 with dist(W_n,0)→∞), then reviews Baker's original example, subsequent constructions in the literature, the effect of such domains on singular values and the global dynamics, classes of functions known to lack Baker wandering domains, and a collection of open problems posed at relevant points in the text.
Significance. If the summaries of the cited constructions and non-existence theorems are accurate and reasonably complete, the survey would be a useful consolidation of results in complex dynamics. It brings together the historical development from the first example through later work on singular values and dynamics, while explicitly listing open problems that could guide subsequent research; this compilation itself is a modest but positive contribution for a specialized topic.
minor comments (3)
- The abstract states that the function has 'a single essential singularity... at ∞'; this is standard but could be cross-referenced in the introductory section to the precise statement in the literature (e.g., the original Baker construction) to avoid any ambiguity for readers new to the area.
- Several open problems are proposed 'throughout the article'; a dedicated final section collecting all of them with brief context would improve navigability and emphasize the survey's forward-looking value.
- The discussion of the influence on singular values would benefit from an explicit statement of which singular values are forced to be in the Julia set when a Baker wandering domain exists, with a pointer to the relevant theorem in the cited literature.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of our survey on Baker wandering domains. The review accurately captures the scope of the manuscript, including the historical development, influence on singular values, classes of functions without such domains, and the open problems highlighted. We appreciate the recommendation for minor revision and confirm that all cited constructions and theorems are presented accurately based on the literature.
Circularity Check
No circularity: literature survey without derivations or self-referential claims
full rationale
The paper is explicitly a survey of existing literature on Baker wandering domains. It states standard definitions of Fatou sets, wandering domains, and Baker wandering domains (which are taken from prior work), then summarizes constructions, influences, non-existence results, and open problems from external sources. No new theorems, derivations, predictions, or quantitative claims are made by the authors themselves. The central claim is an accurate compilation of known results, which depends on the accuracy of citations rather than any internal reduction to fitted parameters or self-definitions. No load-bearing steps reduce to the paper's own inputs by construction.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
I. N. Baker,Multiply-connected domains of normality in iteration theory, Math. Z. 81 (1963) 206–214
work page 1963
-
[2]
I. N. Baker,The domains of normality of an entire function, Ann. Acad. Sci. Fenn. Ser. A I Math.1 (1975), no. 2, 277–283
work page 1975
-
[3]
I. N. Baker,An entire function which has wandering domains, J. Austral. Math. Soc. Ser. A 22 (1976), no. 2, 173–176
work page 1976
-
[4]
I. N. Baker,Wandering domains in the iteration of entire functions, Proc. London Math. Soc. (3) 49 (1984), no. 3, 563–576
work page 1984
-
[5]
I. N. Baker,Some entire functions with multiply-connected wandering domains, Ergodic Theory Dynam. Systems, 5 (1985), no. 2, 163–169
work page 1985
-
[6]
I. N. Baker,Infinite limits in the iteration of entire functions, Ergodic Theory Dynam. Systems 8 (1988), no. 4, 503–507
work page 1988
-
[7]
A. F. Beardon,Grad. Texts in Math. 132, Springer-Verlag, New York, 1991
work page 1991
-
[8]
I. N. Baker, P. Dom´ ınguez,Some connectedness properties of Julia sets, Complex Variables Theory Appl. 41 (2000), no. 4, 371–389. 25
work page 2000
-
[9]
I. N. Baker, J. Kotus, L. Yinian,Iterates of meromorphic functions III: Preperiodic domains, Ergodic Theory Dynam. Systems 11 (1991) 603–618
work page 1991
-
[10]
A. M. Benini, P. J. Rippon, G. M. Stallard,Permutable entire functions and multiply connected wandering domains, Adv. Math. 287 (2016), 451–462
work page 2016
-
[11]
Bergweiler,Iteration of meromorphic functions, Bull
W. Bergweiler,Iteration of meromorphic functions, Bull. Amer. Math. Soc. (N.S.) 29 (1993), no. 2, 151–188
work page 1993
-
[12]
Bergweiler,An entire function with simply and multiply connected wandering domains, Pure Appl
W. Bergweiler,An entire function with simply and multiply connected wandering domains, Pure Appl. Math. Q. 7 (2011), no. 1, 107–120
work page 2011
-
[13]
W. Bergweiler, A. Eremenko,On the singularities of the inverse to a meromorphic function of finite order, Rev. Mat. Iberoamericana 11 (1995), no. 2, 355–373
work page 1995
-
[14]
W. Bergweiler, A. Hinkkanen,On semiconjugation of entire functions, Math. Proc. Cam- bridge Philos. Soc. 126 (1999), no. 3, 565–574
work page 1999
-
[15]
W. Bergweiler, M. Haruta, H. Kriete, H. Meier, N. Terglane,On the limit functions of iterates in wandering domains, Ann. Acad. Sci. Fenn. Ser. A I Math. 18 (1993), no. 2, 369–375
work page 1993
-
[16]
W. Bergweiler, P. J. Rippon and G. M. Stallard,Dynamics of meromorphic functions with direct or logarithmic singularities, Proc. Lond. Math. Soc. (3) 97 (2008), no. 2, 368–400
work page 2008
-
[17]
W. Bergweiler, P. J. Rippon, G. M. Stallard,Multiply connected wandering domains of entire functions, Proc. Lond. Math. Soc. (3) 107 (2013), no. 6, 1261–1301
work page 2013
-
[18]
W. Bergweiler, J. H. Zheng,On the uniform perfectness of the boundary of multiply con- nected wandering domains, J. Aust. Math. Soc. 91 (2011) 289–311
work page 2011
-
[19]
R. P. Boas Jr.,Entire functions, Academic Press, New York, 1954
work page 1954
-
[20]
Bolsch,Periodic Fatou components of meromorphic functions, Bull
A. Bolsch,Periodic Fatou components of meromorphic functions, Bull. London Math. Soc. 31 (1999), no. 5, 543–555
work page 1999
-
[21]
C. L. Cao, Y. F. Wang,On the simple connectivity of Fatou components, Acta Math. Sin. (Engl. Ser.) 18 (2002), no. 4, 625–630
work page 2002
-
[22]
C. Cao, Y. Wang, H. Zhao,Topological properties of certain iterated entire maps, Anal. Math. Phys. 14 (2024), no. 2, Paper No. 18, 12 pp
work page 2024
-
[23]
T. K. Chakra, G. Chakraborty, T. Nayak,Baker omitted value, Complex Var. Elliptic Equ. 61 (2016), no. 10, 1353–1361
work page 2016
-
[24]
S. Das, T. Nayak,Sum of the exponential and a polynomial: singular values and Baker wandering domains, Complex Var. Elliptic Equ. 70 (2025), no. 10, 1831–1847
work page 2025
-
[25]
P. Dom´ ınguez-Soto,Connectedness properties of Julia sets of transcendental entire func- tions, Complex Variables Theory Appl. 32 (1997), no. 3, 199–215
work page 1997
-
[26]
Dom´ ınguez,Dynamics of transcendental meromorphic functions, Ann
P. Dom´ ınguez,Dynamics of transcendental meromorphic functions, Ann. Acad. Sci. Fenn. Math. 23 (1998), no. 1, 225–250
work page 1998
-
[27]
A. E. Eremenko,On the iteration of entire functions, Dynamical systems and ergodic theory (Warsaw, 1986), 339–345. Banach Center Publ., 23 PWN—Polish Scientific Publishers, Warsaw, 1989. 26
work page 1986
-
[28]
A. E. Eremenko, M. Y. Lyubich,Dynamical properties of some classes of entire functions, Ann. Inst. Fourier (Grenoble) 42 (1992), no. 4, 989–1020
work page 1992
-
[29]
A. Eremenko and M. Y. Lyubich,Examples of entire functions with pathological dynamics, J. London Math. Soc. (2) 36 (1987), no. 3, 458–468
work page 1987
- [30]
-
[31]
L. R. Gillen, D. Sixsmith,Hyperbolic entire functions and the Eremenko-Lyubich class: Class B or not class B?, Math. Z. 286 (2017), no. 3–4, 783–800
work page 2017
-
[32]
Hadamard,Sur les fonctions entieres, Bull
J. Hadamard,Sur les fonctions entieres, Bull. Soc. Math. France, 24, (1896) pp. 186–187
-
[33]
M. E. Herring,Mapping properties of Fatou components, Ann. Acad. Sci. Fenn. Math. 23 (1998), no. 2, 263–274
work page 1998
-
[34]
Iversen,Recherches sur les fonctions inverses des fonctions meromorphes, These de Helsingfors, 1914
F. Iversen,Recherches sur les fonctions inverses des fonctions meromorphes, These de Helsingfors, 1914
work page 1914
-
[35]
M. Kisaka,Julia components of transcendental entire functions with multiply-connected wandering domains, Comput. Methods Funct. Theory 25 (2025), no. 2, 317–327
work page 2025
- [36]
- [37]
-
[38]
Nayak,On Fatou components and omitted values, Contemp
T. Nayak,On Fatou components and omitted values, Contemp. Math., 639, American Math- ematical Society, Providence, RI (2015), 349–358
work page 2015
-
[39]
Knopp,Theory and Application of Infinite Series, Hafner Publishing Company, New York, 1947
K. Knopp,Theory and Application of Infinite Series, Hafner Publishing Company, New York, 1947
work page 1947
-
[40]
L. Pardo-Sim´ on, D. J. Sixsmith,Wandering domains with nearly bounded orbits, Proc. Amer. Math. Soc. 152 (2024), no. 10, 4311–4323
work page 2024
-
[41]
P. J. Rippon, G. M. Stallard,Iteration of a class of hyperbolic meromorphic functions, Proc. Amer. Math. Soc. 127 (1999), 3251–3258
work page 1999
-
[42]
P. J. Rippon, G. M. Stallard,On sets where iterates of a meromorphic function zip towards infinity, Bull. London Math. Soc. 32 (2000), no. 5, 528–536
work page 2000
-
[43]
P. J. Rippon, G. M. Stallard,On questions of Fatou and Eremenko, Proc. Amer. Math. Soc. 133 (2005), no. 4, 1119–1126
work page 2005
-
[44]
P. J. Rippon, G. M. Stallard,Escaping points of meromorphic functions with a finite number of poles, J. Anal. Math. 96 (2005), 225–245
work page 2005
-
[45]
P. J. Rippon, G. M. Stallard,On multiply connected wandering domains of meromorphic functions, J. Lond. Math. Soc. (2) 77 (2008), no. 2, 405–423
work page 2008
-
[46]
G. Rottenfusser, J. R¨ uckert, L. Rempe, D. Schleicher,Dynamic rays of bounded-type entire functions, Ann. of Math. 173 (2011) 77–125
work page 2011
-
[47]
J. D. Sixsmith,Dynamics in the Eremenko-Lyubich class, Conform. Geom. Dyn. 22 (2018), 185–224. 27
work page 2018
-
[48]
Sullivan,Quasiconformal homeomorphisms and dynamics
D. Sullivan,Quasiconformal homeomorphisms and dynamics. I. Solution of the Fatou-Julia problem on wandering domains, Ann. of Math. (2), vol. 122, no. 3 (1985) pp. 401–418
work page 1985
-
[49]
X. Wang, C. C. Yang,On the Fatou components of two permutable transcendental entire functions, J. Math. Anal. Appl. 278 (2003), no. 2, 512–526
work page 2003
-
[50]
G. H. Zhang,Theory of entire and meromorphic functions. Deficient and asymptotic val- ues and singular directions, Translated from the Chinese by Yang, C.-C., Translations of Mathematical Monographs, 122, Amer. Math. Soc., Providence, RI, 1993
work page 1993
-
[51]
J. H. Zheng,Singularities and wandering domains in iteration of meromorphic functions, Illinois J. Math. 44 (2000) 520–530
work page 2000
-
[52]
J. H. Zheng,On uniformly perfect boundary of stable domains in iteration of meromorphic functions II, Math. Proc. Cambridge Philos. Soc. 132 (2002), no. 3, 531–544
work page 2002
-
[53]
J. H. Zheng,On multiply-connected Fatou components in iteration of meromorphic func- tions, J. Math. Anal. Appl. 313 (2006), no. 1, 24–37. 28
work page 2006
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.