For a real or complex one-dimensional map satisfying a weak hyperbolicity assumption, we study the existence and statistical properties of physical measures, with respect to geometric reference measures. We also study geometric properties of these measures.
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.
In this note we will discuss the notion of robust chaos, and show that (i) there are natural one-parameter families with robust chaos and (ii) hyperbolicity is dense within generic one-parameter families (and so these families are not robustly chaotic).
We construct a renormalization operator which acts on analytic circle maps whose critical exponent $α$ is not necessarily an odd integer $2n+1$, $n\in\mathbb N$. When $α=2n+1$, our definition generalizes cylinder renormalization of analytic critical circle maps. In the case when $α$ is close to an odd integer, we prove hyperbolicity of renormalization for maps of bounded type. We use it to prove universality and $C^{1+α}$-rigidity for such maps.
We prove the existence of SRB measures for diffeomorphisms where a positive volume set of initial conditions satisfy an "effective hyperbolicity" condition that guarantees certain recurrence conditions on the iterates of Lebesgue measure. We give examples of systems that do not admit a dominated splitting but can be shown to have SRB measures using our methods.
We consider complex Henon maps which are quasi-hyperbolic. We show that a quasi-hyperbolic map is uniformly hyperbolic if and only if there are no tangencies between stable and unstable manifolds.
It is well known that for $a>4$, the dynamical behaviors of the logistic map $f_a(x)=ax(1-x)$ on the maximal invariant compact set are "simple" which could be clearly explained by the theories of hyperbolic dynamics and symbolic dynamics. Is it possible that similar phenomena could be observed in general real polynomial maps? In this paper, we study this problem by investigating the real polynomial map $f_a(x)=ag(x)$, where $a$ is a parameter, and $g$ is a real-coefficient polynomial, which has at least two different real zeros or only one real zero.
These are notes for a minicourse given at Regional Norte UdelaR in Salto, Uruguay for the conference CIMPA Research School-Hamiltonian and Lagrangian Dynamics. We will present Birkhoff and Aubry-Mather theory for the conservative twist maps of the 2-dimensional annulus and focus on what happens close to the Aubry-Mather sets: definition of the Green bundles, link between hyperbolicity and shape of the Aubry-Mather sets, behaviour close to the boundaries of the instability zones. We will also give some open questions. This course is the second part of a minicourse that was begun by R. Potrie. S…
We prove that for certain partially hyperbolic skew-products, non-uniform hyperbolicity along the leaves implies existence of a finite number of ergodic absolutely continuous invariant probability measures which describe the asymptotics of almost every point. The main technical tool is an extension for sequences of maps of a result of de Melo and van Strien relating hyperbolicity to recurrence properties of orbits. As a consequence of our main result, we also obtain a partial extension of Keller's theorem guaranteeing the existence of absolutely continuous invariant measures for non-uniformly …
We characterize two of the most studied non-uniform hyperbolicity conditions for rational maps, semi-hyperbolicity and the topological Collet-Eckmann condition, in terms of the maximal entropy measure. Using the same tools in the proof of these results we give an extension of a result of Carleson, Jones and Yoccoz, that semi-hyperbolicity characterizes those polynomial maps whose basin of attraction of infinity is a John domain, to rational maps having a completely invariant attracting basin.
We use hyperbolicity of golden-mean renormalization of dissipative Hénon-like maps to prove that the boundaries of Siegel disks of sufficiently dissipative quadratic complex Hénon maps with golden-mean rotation number are topological circles. Conditionally on an appropriate renormalization hyperbolicity property, we derive the same result for Siegel disks of Hénon maps with all eventually periodic rotation numbers.
We numerically study quasiperiodic normally hyperbolic attracting invariant circles that appear for certain parameter values in a family of three-dimensional Henon-like maps. These parameter values make up contour segments in the parameter space where the invariant circles have constant irrational rotation number. At the edges of these segments we find a breakdown of the hyperbolicity of the invariant circle. We observe the collision and loss of smoothness of two of the invariant Lyapunov bundles while the Lyapunov exponents all remain distinct. This is very similar to the breakdown of quasipe…
The Chirikov standard map family is a one-parameter family of volume-preserving maps exhibiting hyperbolicity on a `large' but noninvariant subset of phase space. Based on this predominant hyperbolicity and numerical experiments, it is anticipated that the standard map has positive metric entropy for many parameter values. However, rigorous analysis is notoriously difficult, and it remains an open question whether the standard map has positive metric entropy for any parameter value. Here we study a problem of intermediate difficulty: compositions of standard maps with increasing parameter. Whe…
We describe dimensional entropies introduced in a previous work list some of their properties and give some new proofs. These entropies allowed the definition of entropy-expanding maps. We introduce a new notion of entropy-hyperbolicity for diffeomorphisms. We indicate some simple sufficient conditions (some of them new) for these properties. We conclude by some work in progress and more questions.
We prove density of hyperbolicity in spaces of (i) real transcendental entire functions, bounded on the real line, whose singular set is finite and real and (ii) transcendental self-maps of the punctured plane which preserve the circle and whose singular set (apart from zero and infinity) is contained in the circle. In particular, we prove density of hyperbolicity in the famous Arnol'd family of circle maps and its generalizations, and solve a number of other open problems for these functions, including three conjectures by de Melo, Salomão and Vargas. We also prove density of (real) hyperboli…
We study the existence and regularity of invariant graphs for bundle maps (or bundle correspondences with generating bundle maps motivated by ill-posed differential equations) having some relative partial hyperbolicity on non-trivial and non-locally-compact bundles. The regularity includes (uniform) $ C^0 $ continuity, Hölder continuity and smoothness. To illustrate the power of our results and methods, a number of applications to both well-posed and ill-posed semilinear differential equations and abstract infinite-dimensional dynamical systems are given. These applications include the existen…
We give an essentially equivalent formulation of the backward contracting property, defined by Juan Rivera-Letelier, in terms of expansion along the orbits of critical values, for complex polynomials of degree at least two which are at most finitely renormalizable and have only hyperbolic periodic points, as well as for all smooth interval maps with non-flat critical points.
We consider infinitely renormalizable Lorenz maps with real critical exponent $α>1$ and combinatorial type which is monotone and satisfies a long return condition. For these combinatorial types we prove the existence of periodic points of the renormalization operator, and that each map in the limit set of renormalization has an associated unstable manifold. An unstable manifold defines a family of Lorenz maps and we prove that each infinitely renormalizable combinatorial type (satisfying the above conditions) has a unique representative within such a family. We also prove that each infinitely …
This paper is an interval dynamics counterpart of three theories founded earlier by the authors, S. Smirnov and others in the setting of the iteration of rational maps on the Riemann sphere: the equivalence of several notions of non-uniform hyperbolicity, Geometric Pressure, and Nice Inducing Schemes methods leading to results in thermodynamical formalism. We work in a setting of generalized multimodal maps, that is smooth maps f of a finite union of compact intervals in R into R with non-flat critical points, such that on its maximal forward invariant set K the map f is topologically transiti…
We consider harmonic measures that arise from random walks on the mapping class group determined by probability distributions that have finite first moment with respect to the Teichmuller metric, and whose supports generate non-elementary subgroups. We prove that Teichmuller space with the Teichmuller metric is statistically hyperbolic for such a harmonic measure.
The key result of this article is key lemma: if a Jordan curve $γ$ is invariant by a given C 1+$α$ -diffeomorphism f of a surface and if $γ$ carries an ergodic hyperbolic probability $μ$, then $μ$ is supported on a periodic orbit. From this Lemma we deduce three new results for the C 1+$α$ symplectic twist maps f of the annulus: 1. if $γ$ is a loop at the boundary of an instability zone such that f |$γ$ has an irrational rotation number, then the convergence of any orbit to $γ$ is slower than exponential; 2. if $μ$ is an invariant probability that is supported in an invariant curve $γ$ with an…
We construct inducing schemes for general multi-dimensional piecewise expanding maps where the base transformation is Gibbs-Markov and the return times have exponential tails. Such structures are a crucial tool in proving statistical properties of dynamical systems with some hyperbolicity.
Joint typical periodic optimization: systems with stable hyperbolicity
Peking University(北京大学);Queen Mary, University of London(伦敦大学玛丽女王学院);Beijing International Center for Mathematical Research, Peking University(北京大学北京国际数学研究中心)
We associate to each non-degenerate smooth interval map a number measuring its global asymptotic expansion. We show that this number can be calculated in various different ways. A consequence is that several natural notions of nonuniform hyperbolicity coincide. In this way we obtain an extension to interval maps with an arbitrary number of critical points of the remarkable result of Nowicki and Sands characterizing the Collet-Eckmann condition for unicritical maps. This also solves a conjecture of Luzzatto in dimension 1. Combined with a result of Nowicki and Przytycki, these considerations im…
The famous MLC Conjecture states that the Mandelbrot set is locally connected, and it is considered by many to be the central conjecture in one-dimensional complex dynamics. Among others, it implies density of hyperbolicity in the quadratic family $\{z^2+c\}_{c\in\mathbb{C}}$. We describe recent advances on MLC and the relations between MLC, the Density of Hyperbolicity Conjecture, the Rigidity Conjecture, the No Invariant Line Fields Conjecture, and the Triviality of Fibers Conjecture. We treat families of unicritical polynomials and rational maps as well as the exponential family and familie…
We show some level-2 large deviation principles for real and complex one-dimensional maps satisfying a weak form of hyperbolicity. More precisely, we prove a large deviation principle for the distribution of iterated preimages, periodic points, and Birkhoff averages.
There are two natural definitions of the Julia set for complex Hénon maps: the sets $J$ and $J^\star$. Whether these two sets are always equal is one of the main open questions in the field. We prove equality when the map acts hyperbolically on the a priori smaller set $J^\star$, under the additional hypothesis of substantial dissipativity. This result was claimed, without using the additional assumption, in the paper [For06], but the proof is incomplete. Our proof closely follows ideas from [For06], deviating at two points where substantial dissipativity is used. We show that $J = J^\star$ al…
This paper is devoted to study the topological invariance of several non-uniform hyperbolicity conditions of one-dimensional maps. In contrast with the case of maps with only one critical point, it is known that for maps with several critical points the Collet-Eckmann condition is not in itself invariance under topological conjugacy. We show that the Collet-Eckmann condition together with any of several slow recurrence conditions is invariant under topological conjugacy. This extends and gives a new proof of a result by Luzzatto and Wang that also applies to the complex setting.
In this paper we prove complex bounds, also referred to as a priori bounds, for real analytic (and even C3) interval maps. This means that we associate to such a map a complex box mapping (which provides a kind of Markov structure), together with universal geometric bounds on the shape of the domains. Such bounds show that the first return maps to these domains are well-controlled, and consequently form one of the corner stones in many recent results on one-dimensional dynamics: renormalisation theory, rigidity results, density of hyperbolicity, local connectivity.
We show that an exponential map $f_c(z)=e^z+c$ whose singular value $c$ is combinatorially non-recurrent and non-escaping is uniquely determined by its combinatorics, i.e. the pattern in which its dynamic rays land together. We do this by constructing puzzles and parapuzzles in the exponential family. We also prove a theorem about hyperbolicity of the postsingular set in the case that the singular value is non-recurrent. Finally, we show that boundedness of the postsingular set implies combinatorial non-recurrence if $c$ is in the Julia set.
We consider a large class of 2D area-preserving diffeomorphisms that are not uniformly hyperbolic but have strong hyperbolicity properties on large regions of their phase spaces. A prime example is the Standard map. Lower bounds for Lyapunov exponents of such systems are very hard to estimate, due to the potential switching of "stable" and "unstable" directions. This paper shows that with the addition of (very) small random perturbations, one obtains with relative ease Lyapunov exponents reflecting the geometry of the deterministic maps.
In this paper we give a new prove of hyperbolicity of renormalization of critical circle maps using the formalism of almost-commuting pairs. We extend renormalization to two-dimensional dissipative maps of the annulus which are small perturbations of one-dimensional critical circle maps. Finally, we demontsrate that a two-dimensional map which lies in the stable set of the renormalization operator possesses an attractor which is topologically a circle. Such a circle is critical: the dynamics on it is topologically, but not smoothly, conjugate to a rigid rotation.
We study the dynamics of post-critically finite endomorphisms of P^k(C). We prove that post-critically finite endomorphisms are always post-critically finite all the way down under a mild regularity condition on the post-critical set. We study the eigenvalues of periodic points of post-critically finite endomorphisms. Then, under a weak transversality condition and assuming Kobayashi hyperbolicity of the complement of the post-critical set, we prove that the only possible Fatou components are super-attracting basins, thus partially extending to any dimension a result of Fornaess-Sibony and Ron…
There is a wealth of results in the literature on the thermodynamic formalism for potentials that are, in some sense, "hyperbolic". We show that for a sufficiently regular one-dimensional map satisfying a weak hyperbolicity assumption, every Holder continuous potential is hyperbolic. A sample consequence is the absence of phase transitions: The pressure function is real analytic on the space of Holder continuous functions. Another consequence is that every Holder continuous potential has a unique equilibrium state, and that this measure has exponential decay of correlations.
We consider skew product dynamical systems $f:Θ\times\mathbb{R}\toΘ\times\mathbb{R}, f(θ,y)=(Tθ,f_θ(y))$ with a (generalized) baker transformation $T$ at the base and uniformly bounded increasing $C^3$ fibre maps $f_θ$ with negative Schwarzian derivative. Under a partial hyperbolicity assumption that ensures the existence of strong stable fibres for $f$ we prove that the presence of these fibres restricts considerably the possible structures of invariant measures - both topologically and measure theoretically, and that this finally allows to provide a "thermodynamic formula" for the Hausdorff …
We give a new type of sufficient condition for the existence of measures with maximal entropy for an interval map $f$, using some non-uniform hyperbolicity to compensate for a lack of smoothness of $f$. More precisely, if the topological entropy of a $C^1$ interval map is greater than the sum of the local entropy and the entropy of the critical points, then there exists at least one measure with maximal entropy. As a corollary, we obtain that any $C^r$ interval map $f$ such that $h_{\rm top}(f)>2\log\|f'\|_{\infty}/r$ possesses measures with maximal entropy.
We develop a thermodynamic formalism for a strongly dissipative Hénon-like map at the first bifurcation parameter at which the uniform hyperbolicity is destroyed by the formation of tangencies inside the limit set. For any $t\in\mathbb R$ we prove the existence of an invariant Borel probability measure which minimizes the free energy associated with a non continuous geometric potential $-t\log J^u$, where $J^u$ denotes the Jacobian in the unstable direction. Under a mild condition, we show that any accumulation point of these measures as $t\to+\infty$ minimizes the unstable Lyapunov exponent. …
For strongly dissipative Hénon maps at the first bifurcation where the uniform hyperbolicity is destroyed by the formation of tangencies inside the limit set, we establish a thermodynamic formalism, i.e., prove the existence and uniqueness of an invariant probability measure which maximizes the free energy associated with a non continuous geometric potential $-t\log J^u$, where $t\in\mathbb R$ is in a certain large interval and $J^u$ is the Jacobian in the unstable direction. We obtain geometric and statistical properties of these measures.
We provide a computer-assisted proof of one of the central open questions in one-dimensional renormalization theory -- universality of the golden-mean Siegel disks. We further show that for every function in the stable manifold of the golden-mean renormalization fixed point the boundary of the Siegel disk is a quasicircle which coincides with the closure of the critical orbit, and that the dynamics on the boundary of the Siegel disk is rigid. Furthermore, we extend the renormalization from one-dimensional analytic maps with a golden-mean Siegel disk to two-dimensional dissipative Hénon-like ma…
We present sufficient conditions for the (strong) statistical stability of some classes of multidimensional piecewise expanding maps. As a consequence we get that a certain natural two-dimensional extension of the classical one-dimensional family of tent maps is statistically stable.