pith. sign in

arxiv: 2604.08264 · v1 · submitted 2026-04-09 · 🧮 math.DS · math.CV

A Survey of Baker Wandering Domains

Pith reviewed 2026-05-10 17:50 UTC · model grok-4.3

classification 🧮 math.DS math.CV MSC 37F1030D05
keywords Baker wandering domainswandering domainsFatou componentstranscendental meromorphic functionscomplex dynamicssingular valuesJulia sets
0
0 comments X

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.

This survey compiles the known results on Baker wandering domains in the iteration of transcendental meromorphic functions on the Riemann sphere. It begins with the original construction, reviews later explicit examples, and traces how these domains shape the singular values and the global orbit structure. The paper also catalogs entire and meromorphic families that provably contain no such domains and records several open questions about existence and classification. A reader interested in complex dynamics would value the summary because it organizes the ways in which the Fatou set can fail to be eventually periodic for non-rational maps.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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

Figures reproduced from arXiv: 2604.08264 by Sukanta Das, Tarakanta Nayak.

Figure 1
Figure 1. Figure 1: Iterated images of An under f. The last inequality follows from Property 4. It follows from Lemma 2.2 that the annulus An is contained in a BWD for all sufficiently large n. A schematic picture of An is given in [PITH_FULL_IMAGE:figures/full_fig_p007_1.png] view at source ↗
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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

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)
  1. 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.
  2. 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.
  3. 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

0 responses · 0 unresolved

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

0 steps flagged

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

0 free parameters · 0 axioms · 0 invented entities

This is a survey paper with no new mathematical derivations, free parameters, axioms, or invented entities; it relies entirely on prior literature for definitions and examples.

pith-pipeline@v0.9.0 · 5555 in / 1023 out tokens · 49014 ms · 2026-05-10T17:50:04.392462+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

53 extracted references · 53 canonical work pages

  1. [1]

    I. N. Baker,Multiply-connected domains of normality in iteration theory, Math. Z. 81 (1963) 206–214

  2. [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

  3. [3]

    I. N. Baker,An entire function which has wandering domains, J. Austral. Math. Soc. Ser. A 22 (1976), no. 2, 173–176

  4. [4]

    I. N. Baker,Wandering domains in the iteration of entire functions, Proc. London Math. Soc. (3) 49 (1984), no. 3, 563–576

  5. [5]

    I. N. Baker,Some entire functions with multiply-connected wandering domains, Ergodic Theory Dynam. Systems, 5 (1985), no. 2, 163–169

  6. [6]

    I. N. Baker,Infinite limits in the iteration of entire functions, Ergodic Theory Dynam. Systems 8 (1988), no. 4, 503–507

  7. [7]

    A. F. Beardon,Grad. Texts in Math. 132, Springer-Verlag, New York, 1991

  8. [8]

    I. N. Baker, P. Dom´ ınguez,Some connectedness properties of Julia sets, Complex Variables Theory Appl. 41 (2000), no. 4, 371–389. 25

  9. [9]

    I. N. Baker, J. Kotus, L. Yinian,Iterates of meromorphic functions III: Preperiodic domains, Ergodic Theory Dynam. Systems 11 (1991) 603–618

  10. [10]

    A. M. Benini, P. J. Rippon, G. M. Stallard,Permutable entire functions and multiply connected wandering domains, Adv. Math. 287 (2016), 451–462

  11. [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

  12. [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

  13. [13]

    Bergweiler, A

    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

  14. [14]

    Bergweiler, A

    W. Bergweiler, A. Hinkkanen,On semiconjugation of entire functions, Math. Proc. Cam- bridge Philos. Soc. 126 (1999), no. 3, 565–574

  15. [15]

    Bergweiler, M

    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

  16. [16]

    Bergweiler, P

    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

  17. [17]

    Bergweiler, P

    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

  18. [18]

    Bergweiler, J

    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

  19. [19]

    R. P. Boas Jr.,Entire functions, Academic Press, New York, 1954

  20. [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

  21. [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

  22. [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

  23. [23]

    T. K. Chakra, G. Chakraborty, T. Nayak,Baker omitted value, Complex Var. Elliptic Equ. 61 (2016), no. 10, 1353–1361

  24. [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

  25. [25]

    Dom´ ınguez-Soto,Connectedness properties of Julia sets of transcendental entire func- tions, Complex Variables Theory Appl

    P. Dom´ ınguez-Soto,Connectedness properties of Julia sets of transcendental entire func- tions, Complex Variables Theory Appl. 32 (1997), no. 3, 199–215

  26. [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

  27. [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

  28. [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

  29. [29]

    Eremenko and M

    A. Eremenko and M. Y. Lyubich,Examples of entire functions with pathological dynamics, J. London Math. Soc. (2) 36 (1987), no. 3, 458–468

  30. [30]

    Ghora, T

    S. Ghora, T. Nayak, S. Sahoo,On Fatou sets containing Baker omitted value, J. Dynam. Differential Equations 35 (2021), no. 3, 2621–2639

  31. [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

  32. [32]

    Hadamard,Sur les fonctions entieres, Bull

    J. Hadamard,Sur les fonctions entieres, Bull. Soc. Math. France, 24, (1896) pp. 186–187

  33. [33]

    M. E. Herring,Mapping properties of Fatou components, Ann. Acad. Sci. Fenn. Math. 23 (1998), no. 2, 263–274

  34. [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

  35. [35]

    Kisaka,Julia components of transcendental entire functions with multiply-connected wandering domains, Comput

    M. Kisaka,Julia components of transcendental entire functions with multiply-connected wandering domains, Comput. Methods Funct. Theory 25 (2025), no. 2, 317–327

  36. [36]

    Kisaka, M

    M. Kisaka, M. Shishikura,On multiply connected wandering domains of entire functions, London Math. Soc. Lecture Note Ser., 348, Cambridge University Press, Cambridge, 2008

  37. [37]

    Nayak, J

    T. Nayak, J. H. Zheng,Omitted values and dynamics of transcendental meromorphic func- tions, J. Lond. Math. Soc. vol. 83, no. 1, (2011), pp. 121–136

  38. [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

  39. [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

  40. [40]

    Pardo-Sim´ on, D

    L. Pardo-Sim´ on, D. J. Sixsmith,Wandering domains with nearly bounded orbits, Proc. Amer. Math. Soc. 152 (2024), no. 10, 4311–4323

  41. [41]

    P. J. Rippon, G. M. Stallard,Iteration of a class of hyperbolic meromorphic functions, Proc. Amer. Math. Soc. 127 (1999), 3251–3258

  42. [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

  43. [43]

    P. J. Rippon, G. M. Stallard,On questions of Fatou and Eremenko, Proc. Amer. Math. Soc. 133 (2005), no. 4, 1119–1126

  44. [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

  45. [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

  46. [46]

    Rottenfusser, J

    G. Rottenfusser, J. R¨ uckert, L. Rempe, D. Schleicher,Dynamic rays of bounded-type entire functions, Ann. of Math. 173 (2011) 77–125

  47. [47]

    J. D. Sixsmith,Dynamics in the Eremenko-Lyubich class, Conform. Geom. Dyn. 22 (2018), 185–224. 27

  48. [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

  49. [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

  50. [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

  51. [51]

    J. H. Zheng,Singularities and wandering domains in iteration of meromorphic functions, Illinois J. Math. 44 (2000) 520–530

  52. [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

  53. [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