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 study a class of globally coupled maps in the continuum limit, where the individual maps are expanding maps of the circle. The circle maps in question are such that the uncoupled system admits a unique absolutely continuous invariant measure (acim), which is furthermore mixing. Interaction arises in the form of diffusive coupling, which involves a function that is discontinuous on the circle. We show that for sufficiently small coupling strength the coupled map system admits a unique absolutely continuous invariant distribution, which depends on the coupling strength $\varepsilon$. Furtherm…
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 a network of finitely many interacting clusters where each cluster is a collection of globally coupled circle maps in the thermodynamic (or mean field) limit. The state of each cluster is described by a probability measure, and its evolution is given by a self-consistent transfer operator. A cluster is synchronized if its state is a Dirac measure. We provide sufficient conditions for all clusters to synchronize and we describe setups where the conditions are met thanks to the uncoupled dynamics and/or the (diffusive) nature of the coupling. We also give sufficient conditions for parti…
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\}$.
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.
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…
Coupled map lattices (CMLs) are prototypical dynamical systems on networks/graphs. They exhibit complex patterns generated via the interplay of diffusive/Laplacian coupling and nonlinear reactions modelled by a single iterated map at each node; the maps are often taken as unimodal, e.g., logistic or tent maps. In this letter, we propose a class of higher-order coupled dynamical systems involving the hypergraph Laplacian, which we call coupled hypergraph maps (CHMs). By combining linearized (in-)stability analysis of synchronized states, hypergraph spectral theory, and numerical methods, we det…
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.
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 the stability of linear fractional order maps. We show that in the stable region, the evolution is described by Mittag-Leffler functions and a well defined effective Lyapunov exponent can be obtained in these cases. For one-dimensional systems, this exponent can be related to the corresponding fractional differential equation. A fractional equivalent of map $f(x)=ax$ is stable for $a_c(α)<a<1$ where $α$ is a fractional order parameter and $a_c(α)\approx -α$. For coupled linear fractional maps, we can obtain `normal modes' and reduce the evolution to effectively one-dimensional system.…
As a particular problem within the field of non-autonomous discrete systems, we consider iterations of two quadratic maps $f_{c_0}=z^2+c_0$ and $f_{c_1}=z^2+c_1$, according to a prescribed binary sequence, which we call a \emph{template}. We study the asymptotic behavior of the critical orbits, and define the Mandelbrot set in this case as the locus for which these orbits are bounded. However, unlike in the case of single maps, this concept can be understood in several ways. For a fixed template, one may consider this locus as a subset of the parameter space in $(c_0,c_1) \in \mathbb{C}^2$; fo…
Iterations of odd piecewise continuous maps with two discontinuities, i.e., symmetric discontinuous bimodal maps, are studied. Symbolic dynamics is introduced. The tools of kneading theory are used to study the homology of the discrete dynamical systems generated by the iterations of that type of maps. When there is a Markov matrix, the spectral radius of this matrix is the inverse of the least root of the kneading determinant.
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.
We prove a number of results concerning the Hausdorff and packing dimension of sets of points which escape (at least in average) to infinity at a given rate under non-autonomous iteration of exponential maps. In particular, we generalize the results proved by Sixsmith in 2016 and answer his question on annular itineraries for exponential maps.
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…
Let $K$ be an algebraically closed field that is complete with respect to a non-Archimedean absolute value, and let $φ\in K(z)$ have degree $d\geq 2$. We characterize maps for which the minimal resultant of an iterate $φ^n$ is given by a simple formula in terms of $d$, $n$, and the minimal resultant of $φ$. We show that such maps are precisely those with reduction outside of an indeterminacy locus $I(d)$ and which also have semi-stable reduction for every iterate $φ^n$. We give two equivalent ways of describing such maps, one measure theoretic and the other in terms of the moduli space $\mathc…
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 …
We prove the existence and the essential uniqueness of canonical models for the forward (resp. backward) iteration of a holomorphic self-map $f$ of a cocompact Kobayashi hyperbolic complex manifold, such as the ball $\mathbb{B}^q$ or the polydisc $Δ^q$. This is done performing a time-dependent conjugacy of the dynamical system $(f^n)$, obtaining in this way a non-autonomous dynamical system admitting a relatively compact forward (resp. backward) orbit, and then proving the existence of a natural complex structure on a suitable quotient of the direct limit (resp. subset of the inverse limit). A…
We construct canonical intertwining semi-models with Kobayashi hyperbolic base space for holomorphic self-maps of complex manifolds which are univalent on some absorbing cocompact hyperbolic domain. In particular, in the unit ball we solve the Valiron equation for hyperbolic univalent self-maps and for hyperbolic semigroups.
Let $\{f_ν\}$ be a sequence of holomorphic self-maps of a hyperbolic Riemann surface $X$. In this paper we shall study the asymptotic behavior of the sequences obtained by iteratively left-composing or right-composing the maps $\{f_ν\}$; the sequences of self-maps of $X$ so obtained are called left (respectively, right) iterated function systems. We shall prove the analogue for left iterated function systems of the theorems proved by Beardon, Carne, Minda and Ng for right iterated function systems with value in a Bloch domain; and we shall extend to the setting of general hyperbolic Riemann su…
We show that for many complex parameters a, the set of points that converge to infinity under iteration of the exponential map f(z)=e^z+a is connected. This includes all parameters for which the singular value escapes to infinity under iteration.
We study the asymptotic behavior of the sequence of the Nielsen numbers $\{N(f^k)\}$, the essential periodic orbits of $f$ and the homotopy minimal periods of $f$ by using the Nielsen theory of maps $f$ on infra-solvmanifolds of type $R$. We give a linear lower bound for the number of essential periodic orbits of such a map, which sharpens well-known results of Shub and Sullivan for periodic points and of Babenko and Bogatyi for periodic orbits. We also verify that a constant multiple of infinitely many prime numbers occur as homotopy minimal periods of such a map.
Using the Carleman linearization technique the continuous iteration of a mapping is studied. Based on the detailed analysis of the Carleman embedding matrix the precise mathematical meaning is given to such notion. The ordinary differential equations referring to continuous iterations are identified and the discussion of the relationship between them and the corresponding iterated maps is performed. Keywords: iterated systems, functional eigenequation
