Abstract:We present a one-parameter family $F_\lambda$ of transcendental entire functions with zeros, whose Newton's method yields wandering domains, coexisting with the basins of the roots of $F_\lambda$. Wandering domains for Newton maps of zero-free functions have been built before by, e.g., Buff and Rückert based on the lifting method. This procedure is suited to our Newton maps as members of the class of projectable functions (or maps of the cylinder), i.e. transcendental meromorphic functions $f(z)$ in the complex plane that are semiconjugate, via the exponential, to some map $g(w)$, which may have at most a countable number of essential singularities. In this paper we make a systematic study of the general relation (dynamical and otherwise) between $f$ and $g$, and inspect the extension of the logarithmic lifting method of periodic Fatou components to our context, especially for those $g$ of finite-type. We apply these results to characterize the entire functions with zeros whose Newton's method projects to some map $g$ which is defined at both $0$ and $\infty$. The family $F_\lambda$ is the simplest in this class, and its parameter space shows open sets of $\lambda$-values in which the Newton map exhibits wandering or Baker domains, in both cases regions of initial conditions where Newton's root-finding method fails.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is in complex dynamical systems. For a special class of transcendental meromorphic functions (i.e., functions that can be projected onto certain cylinders through the exponential mapping), whether the Newton - iteration method can simultaneously have basins of attracting fixed points (i.e., the attraction domains of roots) and wandering domains (i.e., regions that do not tend to any periodic orbit or fixed point during the iteration process). Specifically, the paper explores how to construct a one - parameter family of functions $F_{\lambda}$ such that the Newton - iteration method of these functions can not only find the zeros of the functions but also generate wandering domains. This research fills the gap in the existing literature because previous examples of the Newton - iteration method generating wandering domains were all for functions without zeros. ### Main contributions 1. **Constructing Newton diagrams with zeros**: The paper shows how to construct a one - parameter family $F_{\lambda}$ such that its Newton - iteration method $N_{F_{\lambda}}$ contains both basins of attracting fixed points and wandering domains. 2. **Theoretical analysis**: Through a detailed analysis of projectable functions and their exponential projections, the paper provides the dynamical characteristics of these functions, especially the relationship between their Fatou sets and Julia sets. 3. **Application examples**: The paper shows through specific examples how to use these theoretical results to identify and construct wandering domains and Baker domains. ### Key concepts - **Projectable functions**: These are functions that can be projected onto a function $g$ on certain cylinders through the exponential mapping $\exp_1(z)=e^{2\pi iz}$. - **Wandering domains**: Fatou components that do not tend to any periodic orbit or fixed point during the iteration process. - **Baker domains**: Fatou components that tend to the essential singularity of the function during the iteration process. - **Pseudoperiodic points**: Points that satisfy $f^{p}(z^*) = z^*+\sigma$, where $p$ and $\sigma$ are integers. ### Mathematical expressions - **The form of projectable functions**: \[ f(z)=\ell z+\Phi(e^{2\pi iz}) \] where $\ell\in\mathbb{Z}$ and $\Phi$ is a non - constant meromorphic function. - **The form of pseudoperiodic functions**: - **Simple pseudoperiodic functions**: \[ f(z) = az+\varphi(z) \] where $a\in\mathbb{C}$ and $\varphi$ is a simple periodic function with period $\tau_1$. - **Double pseudoperiodic functions**: \[ f(z)=az + b\zeta(z)+E(z) \] where $a, b\in\mathbb{C}$, $\zeta$ is the Weierstrass $\zeta$ function, and $E$ is a double - periodic function with periods $\tau_1$ and $\tau_2$. ### Conclusion Through detailed theoretical analysis and specific examples, the paper proves that for some Newton diagrams with zeros, basins of attracting fixed points and wandering domains can co - exist. This finding provides a new perspective for the study of complex dynamical systems and an important theoretical basis for understanding the complex behavior of the Newton - iteration method.

Dynamics of projectable functions: Towards an atlas of wandering domains for a family of Newton maps

Dynamics of Newton Maps

Holomorphic motions, natural families of entire maps, and multiplier-like objects for wandering domains

Dynamics of Iterations of the Newton Map of sin(z)

Moduli Space of Cubic Newton Maps

Classifying simply connected wandering domains

Local connectivity of boundaries of tame Fatou components of meromorphic functions

Newton's method for nonlinear mappings into vector bundles

A new family of entire functions with no wandering domains

Convergence of the Newton Method and Uniqueness of Zeros of Vector Fields on Riemannian Manifolds

Multiply connected wandering domains of meromorphic functions: the pursuit of uniform internal dynamics

A Unified Convergence Theory for Newton-Type Methods for Zeros of Nonlinear Operators in Banach Spaces

On the Dynamics of a Family of Singularly Perturbed Rational Maps

Classifying multiply connected wandering domains

Harmonic maps of finite uniton number into inner symmetric spaces via based normalized extended frames

Iteration of Functions Which Are Meromorphic Outside A Small Set

On Whether Zero is in the Global Attractor of the 2D Navier-Stokes Equations

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

A Newton method for harmonic mappings in the plane

Wandering domains in quasiregular dynamics