Let $\{N_t\}$ be a holomorphic family of degree $d\ge 3$ Newton maps. By studying the related Berkovich dynamics, we obtain an estimate of the weak limit of the maximal measures of $N_t$. Moreover, we give a complete description of the rescaling limits for $\{N_t\}$.
If one wants to explore the properties of a dynamical system systematically one has to be able to track equilibria and periodic orbits regardless of their stability. If the dynamical system is a controllable experiment then one approach is a combination of classical feedback control and Newton iterations. Mechanical experiments on a parametrically excited pendulum have recently shown the practical feasibility of a simplified version of this algorithm: a combination of time-delayed feedback control (as proposed by Pyragas) and a Newton iteration on a low-dimensional system of equations. We show…
We study how the Newton-GMRES iteration can enable dynamic simulators (time-steppers) to perform fixed-point and path-following computations.For a class of dissipative problems, whose dynamics are characterized by a slow manifold, the Jacobian matrices in such computations are compact perturbations of the identity. We examine the number of GMRES iterations required for each nonlinear iteration as a function of the dimension of the slow subspace and the time-stepper reporting horizon. In a path-following computation, only a small number (one or two) of additional GMRES iterations is required.
The paper deals with Newton maps of complex exponential functions and a surgery tool developed by P. Haïssinsky. The concept of "Postcritically minimal" Newton maps of complex exponential functions are introduced, analogous to postcritically finite Newton maps of polynomials. The dynamics preserving mapping is constructed between the space of postcritically finite Newton maps of polynomials and the space of postcritically minimal Newton maps of complex exponential functions.
We study numerically the $α$- and $ω$-limits of the Newton maps of two of the most elementary families of polynomial transformations on the plane: those with a linear component and those with both components of degree two. Our results are fully consistent with some conjectures we posed in a recent work about the dynamics of Newton maps.
This paper constructs a combinatorial model for all postcritically finite rational maps arising as the Newton's method of a complex polynomial. This model is used in [LMS] to give a combinatorial classification of postcritically finite Newton maps of any degree.
In this paper, based on the known rigidity theorems of Newton maps ([DS], [RYZ]) and real polynomials ([KSS1], [CvS]), we prove the density of hyperbolicity in the family of real Newton maps of degree d>2 with all free critical points real.
We study various compactifications of moduli space of Newton maps. Mainly, we focus on GIT compactifiaction and Deligne-Mumford compactification. Then we explore the relations among these compactifications.
In this paper, we study Markovian random iterations of maps on standard measurable spaces. We establish a one-to-one correspondence between stationary measures and a certain class of invariant measures of a Markovian random iteration, extending a similar classical result of independent and identically distributed random iterations. As an application, we prove a local synchronization property for Markovian random iterations of homeomorphisms of the circle $S^{1}$.
We study the convergence of graphs consisting of finitely many internal rays for degenerating Newton maps. We state a sufficient condition to guarantee the convergence. As an application, we investigate the boundedness of hyperbolic components in the moduli space of quartic Newton maps. We prove that such a hyperbolic component is bounded if and only if every element has degree $2$ on the immediate basin of each root.
We give a combinatorial classification for the class of postcritically fixed Newton maps of polynomials and indicate potential for extensions. As our main tool, we show that for a large class of Newton maps that includes all hyperbolic ones, every component of the basin of an attracting fixed point can be connected to infinity through a finite chain of such components.
The dynamical classification of rational maps is a central concern of holomorphic dynamics. Much progress has been made, especially on the classification of polynomials and some approachable one-parameter families of rational maps; the goal of finding a classification of general rational maps is so far elusive. Newton maps (rational maps that arise when applying Newton's method to a polynomial) form a most natural family to be studied from the dynamical perspective. Using Thurston's characterization and rigidity theorem, a complete combinatorial classification of postcritically finite Newton m…
In this paper we prove existence of matings between a large class of renormalizable cubic polynomials with one fixed critical point and another cubic polynomial having two fixed critical points. The resulting mating is a Newton map. Our result is the first part towards a conjecture by Tan Lei, stating that all (cubic) Newton maps can be described as matings or captures.
We obtain a unique, canonical one-to-one correspondence between the space of marked postcritically finite Newton maps of polynomials and the space of postcritically minimal Newton maps of entire maps that take the form $p(z) \text{exp}(q(z))$ for $p(z)$, $q(z)$ polynomials and $\text{exp}(z)$, the complex exponential function. This bijection preserves the dynamics and embedding of Julia sets and is induced by a surgery tool developed by Haïssinsky.
We collect from several sources some of the most important results on the forward and backward limits of points under real and complex rational functions, and in particular real and complex Newton maps, and we provide numerical evidence that a fundamental result by B.Barna on the dynamics of Newton's method on the real line extends to the real plane.
We study independent and identically distributed random iterations of continuous maps defined on a connected closed subset $S$ of the Euclidean space $\mathbb{R}^{k}$. We assume the maps are monotone (with respect to a suitable partial order) and a "topological" condition on the maps. Then, we prove the existence of a pullback random attractor whose distribution is the unique stationary measure of the random iteration, and we obtain the synchronization of random orbits. As a consequence of the synchronization phenomenon, a functional central limit theorem is established.
We investigate boundedness of hyperbolic components in the moduli space of Newton maps. For quartic maps, (i) we prove hyperbolic components possessing two distinct attracting cycles each of period at least two are bounded, and (ii) we characterize the possible points on the boundary at infinity for some other types of hyperbolic components. For general maps, we prove hyperbolic components whose elements have fixed superattracting basins mapping by degree at least three are unbounded.
In this paper, we define the core entropy for postcritically-finite Newton maps and study its continuity within this family. We show that the entropy function is not continuous in this family, which is different from the polynomial case studied by Thurston, Gao, Dudko- Schleicher, Tiozzo [Th+, GT, DS, Ti2], and describe completely the continuity of the entropy function at generic parameters.
We establish a principle that we call the Fatou-Shishikura injection for Newton maps of polynomials: there is a dynamically natural injection from the set of non-repelling periodic orbits of any Newton map to the set of its critical orbits. This injection obviously implies the classical Fatou-Shishikura inequality, but it is stronger in the sense that every non-repelling periodic orbit has its own critical orbit. Moreover, for every Newton map we associate a forward invariant graph (a puzzle) which provides a dynamically defined partition of the Riemann sphere into closed topological disks (pu…
We investigate Newton's method for complex polynomials of arbitrary degree $d$, normalized so that all their roots are in the unit disk. For each degree $d$, we give an explicit set $\mathcal{S}_d$ of $3.33d\log^2 d(1 + o(1))$ points with the following universal property: for every normalized polynomial of degree $d$ there are $d$ starting points in $\mathcal{S}_d$ whose Newton iterations find all the roots with a low number of iterations: if the roots are uniformly and independently distributed, we show that with probability at least $1-2/d$ the number of iterations for these $d$ starting poi…
Dynamics on parabolic immediate basins for rational Newton maps of entire functions have been studied. It is proved that every parabolic immediate basin contains invariant accesses to the parabolic fixed point at infinity. Moreover, among these accesses there exists a unique dynamically defined access where dynamics are attracted towards the parabolic fixed point, whereas for other accesses, if there is any, the dynamics are repelled.
We give a combinatorial classification for the class of postcritically fixed Newton maps of polynomials as dynamical systems. This lays the foundation for classification results of more general classes of Newton maps. A fundamental ingredient is the proof that for every Newton map (postcritically finite or not) every connected component of the basin of an attracting fixed point can be connected to $\infty$ through a finite chain of such components.
Systematic overview of Newton-Schulz and Durand iterations with convergence analysis and factorizations is presented in the chronological sequence in unified framework. Practical recommendations for the choice of the order and factorizations of the algorithms and integration into Richardson iteration are given. The simplest combination of Newton-Schulz and Richardson iteration is applied to the parameter estimation problem associated with the failure detection via evaluation of the frequency content of the signals in electrical network. The detection is performed on real data for which the sof…
The behavior of orbits for iterated logistic maps has been widely studied since the dawn of discrete dynamics as a research field, in particular in the context of the complex quadratic family. However, little is is known about orbit behavior if the map changes along with the iterations. We investigate in which ways the traditional theory of Fatou-Julia may still apply in this case, illustrating how the iteration pattern (symbolic template) can affect the topology of the Julia and Mandelbrot sets. We briefly discuss the potential of this extension towards a variety of applications in genetic an…
We prove that if A is the basin of immediate attraction to a periodic attracting or parabolic point for a rational map f on the Riemann sphere, then periodic points in the boundary of A are dense in this boundary. To prove this in the non simply- connected or parabolic situations we prove a more abstract, geometric coding trees version.
We study rigidity of rational maps that come from Newton's root finding method for polynomials of arbitrary degrees. We establish dynamical rigidity of these maps: each point in the Julia set of a Newton map is either rigid (i.e. its orbit can be distinguished in combinatorial terms from all other orbits), or the orbit of this point eventually lands in the filled-in Julia set of a polynomial-like restriction of the original map. As a corollary, we show that the Julia sets of Newton maps in many non-trivial cases are locally connected; in particular, every cubic Newton map without Siegel points…
In this paper we give a unified proof of the fact that the Julia set of Newton's method applied to a holomorphic function of the complex plane (a polynomial of degree large than $1$ or an entire transcendental function) is connected. The result was recently completed by the authors' previous work, as a consequence of a more general theorem whose proof spreads among many papers, which consider separately a number of particular cases for rational and transcendental maps, and use a variety of techniques. In this note we present a unified, direct and reasonably self-contained proof which works for…
Given an n-dimensional C^r-diffeomorphism g, its renormalized iteration is an iteration of g, restricted to a certain n-dimensional ball and taken in some C^r-coordinates in which the ball acquires radius 1. We show that for any r >/- 1 the renormalized iterations of C^r -close to identity maps of an n-dimensional unit ball B^n (n >/- 2) form a residual set among all orientation-preserving C^r -diffeomorphisms B^n \to R^n. In other words, any generic n-dimensional dynamical phenomenon can be obtained by iterations of C^r -close to identity maps, with the same dimension of the phase space. As a…
We investigate the iterative behaviour of continuous order preserving subhomogeneous maps that map a polyhedral cone into itself. For these maps we show that every bounded orbit converges to a periodic orbit and, moreover, that there exists an a priori upper bound for the periods of periodic points that only depends on the number of facets of the polyhedral cone. By constructing examples on the standard positive cone, we show that the upper bound is asymptotically sharp. These results are an extension of recent work by Lemmens and Scheutzow concerning periodic orbits in the interior of the sta…
We prove that if A is the basin of immediate attraction to a periodic attracting or parabolic point for a rational map f on the Riemann sphere, if $A$ is completely invariant (i.e. $f^{-1}(A)=A$), and if $μ$ is an arbitrary $f$-invariant measure with positive Lyapunov exponents on the boundary of $A$, then $μ$-almost every point $q$ in the boundary of $A$ is accessible along a curve from $A$. In fact we prove the accessability of every "good" $q$ i.e. such $q$ for which "small neighbourhoods arrive at large scale" under iteration of $f$. This generalizes Douady-Eremenko-Levin-Petersen theorem …
We study iteration maps of recurrence relations arising from mutation periodic quivers of arbitrary period. Combining tools from cluster algebra theory and (pre)symplectic geometry, we show that these cluster iteration maps can be reduced to symplectic maps on a lower dimensional submanifold, provided the matrix representing the quiver is singular. The reduced iteration map is explicitly computed for several new periodic quivers.
Let f be a polynomial of degree at least 2 with coefficients in a number field K, let x_0 be a sufficiently general element of K, and let alpha be a root of f. We give precise conditions under which Newton iteration, started at the point x_0, converges v-adically to the root alpha for infinitely many places v of K. As a corollary we show that if f is irreducible over K of degree at least 3, then Newton iteration converges v-adically to any given root of f for infinitely many places v. We also conjecture that the set of places for which Newton iteration diverges has full density and give some h…
In this paper, we study the dynamics of Newton maps for arbitrary polynomials. Let $p$ be an arbitrary polynomial with at least three distinct roots, and $f$ be its Newton map. It is shown that the boundary $\partial B$ of any immediate root basin $B$ of $f$ is locally connected. Moreover, $\partial B$ is a Jordan curve if and only if ${\rm deg}(f|_B)=2$. This implies that the boundaries of all components of root basins, for all polynomials' Newton maps, from the viewpoint of topology, are tame.
We show that the dynamical degree of an (i.i.d) random sequence of dominant, rational self-maps on projective space is almost surely constant. We then apply this result to height growth and height counting problems in random orbits.
The Fatou-Julia iteration theory of rational functions has been extended to quasiregular mappings in higher dimension by various authors. The purpose of this paper is an analogous extension of the iteration theory of transcendental entire functions. Here the Julia set is defined as the set of all points such that complement of the forward orbit of any neighbourhood has capacity zero. It is shown that for maps which are not of polynomial type the Julia set is non-empty and has many properties of the classical Julia set of transcendental entire functions.
In this paper, we consider the problem of finding an almost surely common fixed point of a family of paracontraction maps indexed on a probability space, which we refer to as the stochastic feasibility problem. We show that a random iteration of paracontraction maps driven by an ergodic stationary sequence converges, with probability one, to a solution of the stochastic feasibility problem, provided a solution exists. As applications, we obtain non-white noise randomized algorithms to solve the stochastic convex feasibility problem and the problem of finding an almost surely common zero of a c…
In this article, we study the topology and bifurcations of the moduli space $\mathcal{M}_3$ of cubic Newton maps. It's a subspace of the moduli space of cubic rational maps, carrying the Riemann orbifold structure $(\mathbb{\widehat{C}}, (2,3,\infty))$. We prove two results: (1). The boundary of the unique unbounded hyperbolic component is a Jordan arc and the boundaries of all other hyperbolic components are Jordan curves. (2).The Head's angle map is surjective and monotone. The fibers of this map are characterized completely. The first result is a moduli space analogue of the first author's …
We show that for any set of n distinct points in the complex plane, there exists a polynomial p of degree at most n+1 so that the corresponding Newton map, or even the relaxed Newton map, for p has the given points as a super-attracting cycle. This improves the result due to Plaza and Romero (2011), which shows how to find such a polynomial of degree 2n. Moreover we show that in general one cannot improve upon degree n+1. Our methods allow us to give a simple, constructive proof of the known result that for each cycle length n at least 2 and degree d at least 3, there exists a polynomial of de…
Let $g(z)=\int_0^zp(t)\exp(q(t))\,dt+c$ where $p,q$ are polynomials and $c\in\mathbb{C}$, and let $f$ be the function from Newton's method for $g$. We show that under suitable assumptions the Julia set of $f$ has Lebesgue measure zero. Together with a theorem by Bergweiler, our result implies that $f^n(z)$ converges to zeros of $g$ almost everywhere in $\mathbb{C}$ if this is the case for each zero of $g''$. In order to prove our result, we establish general conditions ensuring that Julia sets have Lebesgue measure zero.
Let $Rat_d$ denote the space of holomorphic self-maps of ${\bf P}^1$ of degree $d\geq 2$, and $μ_f$ the measure of maximal entropy for $f\in Rat_d$. The map of measures $f\mapstoμ_f$ is known to be continuous on $Rat_d$, and it is shown here to extend continuously to the boundary of $Rat_d$ in $\bar{Rat}_d \simeq {\bf P}^{2d+1}$, except along a locus $I(d)$ of codimension $d+1$. The set $I(d)$ is also the indeterminacy locus of the iterate map $f\mapsto f^n$ for every $n\geq 2$. The limiting measures are given explicitly, away from $I(d)$. The degenerations of rational maps are also described …
Newton's root finding method applied to a (transcendental) entire function f:C->C is the iteration of a meromorphic function N. It is well known that if for some starting value z, Newton's method converges to a point x in C, then f has a root at x. We show that in many cases, if an orbit converges to infinity for Newton's method, then f has a `virtual root' at infinity. More precisely, we show that if N has an invariant Baker domain that satisfies some mild assumptions, then 0 is an asymptotic value for f. Conversely, we show that if f has an asymptotic value of logarithmic type at 0, then the…