We investigate dynamical systems obtained by coupling two maps, one of which is chaotic and is exemplified by an Anosov diffeomorphism, and the other is of gradient type and is exemplified by a N-pole-to-S-pole map of the circle. Leveraging techniques from the geometric and ergodic theories of hyperbolic systems, we analyze three different ways of coupling together the two maps above. For weak coupling, we offer an addendum to existing theory showing that almost always the attractor has fractal-like geometry when it is not normally hyperbolic. Our main results are for stronger couplings in which the action of the Anosov diffeomorphism on the circle map has certain monotonicity properties. Under these conditions, we show that the coupled systems have invariant cones and possess SRB measures even though there are genuine obstructions to uniform hyperbolicity.
We give sufficient conditions for the uniform hyperbolicity of certain nonuniformly hyperbolic dynamical systems. In particular, we show that local diffeomorphisms that are nonuniformly expanding on sets of total probability are necessarily uniformly expanding. We also present a version of this result for diffeomorphisms with nonuniformly hyperbolic sets.
This article is devoted to the study of the multifractal analysis of ergodic averages in some nonuniformly hyperbolic systems. In particular, our results hold for the robust classes of multidimensional nonuniformly expanding local diffeomorphisms and Viana maps.
This article is devoted to level-1 large deviation properties in some nonuniformly hyperbolic systems via Pesin theory. In particular, our result can be applied to the nonuniformly hyperbolic diffeomorphisms described by Katok and several other classes of diffeomorphisms derived from Anosov systems.
We prove that entropy map is upper semi-continuous for C1 nonuniformly hyperbolic systems with domination, while it is not true for C1+alpha nonuniformly hyperbolic systems in general. This goes a little against a common intuition that conclusions are parallel between C1+domination systems and C1+alpha systems.
This article is devoted to the study of the historic set of ergodic averages in some nonuniformly hyperbolic systems. In particular, our results hold for the robust classes of multidimensional nonuniformly expanding local diffeomorphisms and Viana maps.
We obtain a characterization of two classes of dynamics with nonuniformly hyperbolic behavior in terms of an admissibility property. Namely, we consider exponential dichotomies with respect to a sequence of norms and nonuniformly hyperbolic sets. We note that the approach to establishing exponential bounds along the stable and the unstable directions differs from the standard technique of substituting test sequences. Moreover, we obtain the bounds in a single step.
This article is devoted to the investigation of the topological pressure of generic points for nonuniformly hyperbolic systems via Pesin theory. In particular, our result can be applied to the nonuniformly hyperbolic diffeomorphisms described by Katok and several other classes of diffeomorphisms derived from Anosov systems.
This article is devoted to the study of the historic set, which was introduced by Ruelle, of Birkhoff averges in some nonuniformly hyperbolic systems via Pesin theory. Particularly, we give a conditional variational principle for historic sets. Our results can be applied (i) to the diffeomorphisms on surfaces, (ii) to the nonuniformly hyperbolic diffeomorphisms described by Katok and several other classes of diffeomorphisms derived from Anosov systems.
This survey describes the recent advances in the construction of Markov partitions for nonuniformly hyperbolic systems. One important feature of this development comes from a finer theory of nonuniformly hyperbolic systems, which we also describe. The Markov partition defines a symbolic extension that is finite-to-one and onto a non-uniformly hyperbolic locus, and this provides dynamical and statistical consequences such as estimates on the number of closed orbits and properties of equilibrium measures. The class of systems includes diffeomorphisms, flows, and maps with singularities.
We prove an almost sure invariance principle that is valid for general classes of nonuniformly expanding and nonuniformly hyperbolic dynamical systems. Discrete time systems and flows are covered by this result. In particular, the result applies to the planar periodic Lorentz flow with finite horizon. Statistical limit laws such as the central limit theorem, the law of the iterated logarithm, and their functional versions, are immediate consequences.
Let $f$ be a $C^{1+α}$ nonuniformly hyperbolic diffeomorphism. We use a a nonadditive version of the topological pressure of a class of admissible, possibly noncontinuous potentials $P^*(Φ)$ to prove the following variational equation: $P^*(Φ) = \sup_{Ω\in {\mathcal H}}P^*(f|Ω,Φ)$ supremum taken over the set ${\mathcal H}$ of basic subsets in $M$. As a consequence we find a lower bound for the Cantor dimension of the stable and unstable Cantor sets of a non trivial conformal nonuniformly hyperbolic isolated sets.
We investigate the decay rates of correlations for nonuniformly hyperbolic systems with or without singularities, on piecewise Hölder observables. By constructing a new scheme of coupling methods using the probability renewal theory, we obtain the optimal bounds for decay rates of correlations for a large class of such observables. We also establish the alpha-mixing property for time series generated by these systems, which leads to a vast ranges of limiting theorems. Our results apply to rather general hyperbolic systems with singularities, including Bunimovich flower billiards, semidispersin…
We provide a systematic approach for deducing statistical limit laws via martingale-coboundary decomposition, for nonuniformly hyperbolic systems with slowly contracting and expanding directions. In particular, if the associated return time function is square-integrable, then we obtain the central limit theorem, the weak invariance principle, and an iterated version of the weak invariance principle.
This note is concerned with approximation of dynamical indicators as pressures, Lyapunov exponents and dimension-like quantities, in systems with nonuniformly hyperbolic behavior. For this we let $P^*(Φ) := \sup_μ\{h(μ) + μ(Φ)\}$ be a variational pressure defined over a suitable class of Borel measurable potentials and prove that, for regular nonuniformly hyperbolic systems, $P^*(Φ) = \sup_ΩP^*(f|Ω,Φ)$, supremum taken over the family of $f$-invariant uniformly hyperbolic basic sets. We then apply this variational principle to the approximation of dynamical indicators by horseshoes.
We consider some nonuniformly hyperbolic invertible dynamical systems which are modeled by a Gibbs-Markov-Young tower. We assume a polynomial tail for the inducing time and a polynomial control of hyperbolicity, as introduced by Alves, Pinheiro and Azevedo. These systems admit a physical measure with polynomial rate of mixing. In this paper we prove that the distribution of the number of visits to a ball B(x, r) converges to a Poisson distribution as the radius r $\to$ 0 and after suitable normalization.
The transfer operator corresponding to a uniformly expanding map enjoys good spectral properties. Here it is verified that coupling yields explicit estimates that depend continuously on the expansion and distortion constants of the map. For nonuniformly expanding maps with a uniformly expanding induced map, we obtain explicit estimates for mixing rates (exponential, stretched exponential, polynomial) that again depend continuously on the constants for the induced map together with data associated to the inducing time. Finally, for nonuniformly hyperbolic transformations, we obtain the correspo…
Gouezel and Sarig introduced operator renewal theory as a method to prove sharp results on polynomial decay of correlations for certain classes of nonuniformly expanding maps. In this paper, we apply the method to planar dispersing billiards and multidimensional nonMarkovian intermittent maps.
We investigate superdiffusion for stochastic processes generated by nonuniformly hyperbolic system models, in terms of the convergence of rescaled distributions to the normal distribution following the abnormal central limit theorem, which differs from the usual requirement that the mean square displacement grow asymptotically linearly in time. We construct a martingale approximation that follows the idea of Doob's decomposition theorem. We obtain an explicity formula for the superdiffusion constant in terms of the fine structure that originates in the phase transitions as well as the geometry…
We study skew-products of the form (x,ω)\mapsto (Tx, ω+ϕ(x)) where T is a nonuniformly expanding map on a space X, preserving a (possibly singular) probability measure \tildeμ, and ϕ:X\to S^1 is a C^1 function. Under mild assumptions on \tildeμand ϕ, we prove that such a map is exponentially mixing, and satisfies the central and local limit theorems. These results apply to a random walk related to the Farey sequence, thereby answering a question of Guivarc'h and Raugi.
We prove exponential decay of correlations for a class of $C^{1+α}$ uniformly hyperbolic skew product flows, subject to a uniform nonintegrability condition. In particular, this establishes exponential decay of correlations for an open set of geometric Lorenz attractors. As a special case, we show that the classical Lorenz attractor is robustly exponentially mixing.
For a surface diffeomorphism, a compact invariant locally maximal set $W$ and some subset $A\subset W$ we study the $A$-exceptional set, that is, the set of points whose orbits do not accumulate at $A$. We show that if the Hausdorff dimension of $A$ is smaller than the Hausdorff dimension $d$ of some ergodic hyperbolic measure, then the topological entropy of the exceptional set is at least the entropy of this measure and its Hausdorff dimension is at least $d$. Particular consequences occur when there is some a priori defined hyperbolic structure on $W$ and, for example, if there exists an SR…
Let $f$ be a $C^{1+α}$ diffeomorphism of a compact Riemannian manifold and $μ$ an ergodic hyperbolic measure with positive entropy. We prove that for every continuous potential $ϕ$ there exists a sequence of basic sets $Ω_n$ such that the topological pressure $P(f|Ω_n,ϕ)$ converges to the free energy $P_μ(ϕ) = h(μ) + \intϕ{dμ}$. Then we introduce a class of potentials $ϕ$ for which there exists sequence of basic sets $Ω_n$ such that $P(f|Ω_n,ϕ) \to P(ϕ)$.
Let $f$ be a $C^r$$(r>1)$ diffeomorphism of a compact Riemannian manifold $M$, preserving an ergodic hyperbolic measure $μ$ with positive entropy, and let $\mathcal{A}$ be a Hölder continuous cocycle of injective bounded linear operators acting on a Banach space $X$. We prove that there is a sequence of horseshoes for $f$ and dominated splittings for $\mathcal{A}$ on the horseshoes, such that not only the measure theoretic entropy of $f$ but also the Lyapunov exponents of $\mathcal{A}$ with respect to $μ$ can be approximated by the topological entropy of $f$ and the Lyapunov exponents of $\mat…
We consider weak invariance principles (functional limit theorems) in the domain of a stable law. A general result is obtained on lifting such limit laws from an induced dynamical system to the original system. An important class of examples covered by our result are Pomeau-Manneville intermittency maps, where convergence for the induced system is in the standard Skorohod J_1 topology. For the full system, convergence in the J_1 topology fails, but we prove convergence in the M_1 topology.
We study decay of correlations, the asymptotic distribution of hitting times and fluctuations of the return times for a robust class of multidimensional non-uniformly hyperbolic transformations. Oliveira and Viana [15] proved that there is a unique equilibrium state for a large class of non- uniformly expanding transformations and Holder continuous potentials with small variation. For an open class of potentials with small variation, we prove quasi-compactness of the Ruelle-Perron-Frobenius operator in a space $V_θ$ of functions with essential bounded variation that strictly contain Holder con…
For an ergodic hyperbolic measure $ω$ of a $C^{1+α}$ diffeomorphism, there is an $ω$ full-measured set $\tildeΛ$ such that every nonempty, compact and connected subset $V$ of $\mathbb{M}_{inv}(\tildeΛ)$ coincides with the accumulating set of time averages of Dirac measures supported at {\it one orbit}, where $\mathbb{M}_{inv}(\tildeΛ)$ denotes the space of invariant measures supported on $\tildeΛ$. Such state points corresponding to a fixed $V$ are dense in the support $supp(ω)$. Moreover, $\mathbb{M}_{inv}(\tildeΛ)$ can be accumulated by time averages of Dirac measures supported at {\it one o…
For a certain parametrized family of maps on the circle with critical points and logarithmic singularities where derivatives blow up to infinity, we construct a positive measure set of parameters corresponding to maps which exhibit nonuniformly expanding behavior. This implies the existence of "chaotic" dynamics in dissipative homoclinic tangles in periodically perturbed differential equations.
Nonstandard functional central limit theorem for nonuniformly hyperbolic dynamical systems, including Bunimovich stadia
Instituto de Matemática e Estatística, Universidade de São Paulo（圣保罗大学数学与统计研究所）；CNRS & École Polytechnique（法国国家科学研究中心与巴黎综合理工学院）；Mathematics Institute, University of Warwick（华威大学数学研究所）
We construct Markov partitions for non-invertible and/or singular nonuniformly hyperbolic systems defined on higher dimensional Riemannian manifolds. The generality of the setup covers classical examples not treated so far, such as geodesic flows in closed manifolds, multidimensional billiard maps, and Viana maps, and includes all the recent results of the literature. We also provide a wealth of applications.
In this paper we prove that for an ergodic hyperbolic measure $ω$ of a $C^{1+α}$ diffeomorphism $f$ on a Riemannian manifold $M$, there is an $ω$-full measured set $\widetildeΛ$ such that for every invariant probability $μ\in \mathcal{M}_{inv}(\widetildeΛ,f)$, the metric entropy of $μ$ is equal to the topological entropy of saturated set $G_μ$ consisting of generic points of $μ$: $$h_μ(f)=h_{\top}(f,G_μ).$$ Moreover, for every nonempty, compact and connected subset $K$ of $\mathcal{M}_{inv}(\widetildeΛ,f)$ with the same hyperbolic rate, we compute the topological entropy of saturated set $G_K$…
We prove convergence to a Levy process for a class of dispersing billiards with cusps. For such examples, convergence to a stable law was proved by Jung & Zhang. For the corresponding functional limit law, convergence is not possible in the usual Skorohod J_1 topology. Our main results yield elementary geometric conditions for convergence (i) in M_1, (ii) in M_2 but not M_1. In general, we show for a large class of nonuniformly hyperbolic systems how to deduce functional limit laws once convergence to the corresponding stable law is known.
For a certain parametrized family of maps on the circle, with critical points and logarithmic singularities where derivatives blow up to infinity, a positive measure set of parameters was constructed in [19], corresponding to maps which exhibit nonuniformly hyperbolic behavior. For these parameters, we prove the existence of absolutely continuous invariant measures with good statistical properties, such as exponential decay of correlations. Combining our construction with the logarithmic nature of the singularities, we obtain a positive variance in Central Limit Theorem, for any nonconstant Hö…
We prove statistical limit laws for sequences of Birkhoff sums of the type $\sum_{j=0}^{n-1}v_n\circ T_n^j$ where $T_n$ is a family of nonuniformly hyperbolic transformations. The key ingredient is a new martingale-coboundary decomposition for nonuniformly hyperbolic transformations which is useful already in the case when the family $T_n$ is replaced by a fixed transformation $T$, and which is particularly effective in the case when $T_n$ varies with $n$. In addition to uniformly expanding/hyperbolic dynamical systems, our results include cases where the family $T_n$ consists of intermittent …
Consider a nonuniformly hyperbolic map $ T $ modelled by a Young tower with tails of the form $ O(n^{-β}) $, $ β>2 $. We prove optimal moment bounds for Birkhoff sums $ \sum_{i=0}^{n-1}v\circ T^i $ and iterated sums $ \sum_{0\le i<j<n}v\circ T^i\, w\circ T^j $, where $ v,w:M\to \Bbb{R}$ are (dynamically) Hölder observables. Previously iterated moment bounds were only known for $ β>5$. Our method of proof is as follows; (i) prove that $ T $ satisfies an abstract functional correlation bound, (ii) use a weak dependence argument to show that the functional correlation bound implies moment estimat…
We prove that the statistical properties of random perturbations of a nonuniformly hyperbolic diffeomorphism are described by a finite number of stationary measures. We also give necessary and sufficient conditions for the stochastic stability of such dynamical systems. We show that a certain $C^2$-open class of nonuniformly hyperbolic diffeomorphisms introduced in [Alves, J; Bonatti, C. and Viana, V., SRB measures for partially hyperbolic systems with mostly expanding central direction, Invent. Math., 140 (2000), 351-398] are stochastically stable. Our setting encompasses that of partially hy…
We study the number of visits to balls B_r(x), up to time t/mu(B_r(x)), for a class of non-uniformly hyperbolic dynamical systems, where mu is the SRB measure. Outside a set of `bad' centers x, we prove that this number is approximately Poissonnian with a controlled error term. In particular, when r-->0, we get convergence to the Poisson law for a set of centers of mu-measure one. Our theorem applies for instance to the Hénon attractor and, more generally, to systems modelled by a Young tower whose return-time function has a exponential tail and with one-dimensional unstable manifolds. Along t…
We show that polynomial decay of correlations is prevalent for a class of nonuniformly hyperbolic flows. These flows are the continuous time analogue of a class of nonuniformly hyperbolic diffeomorphisms for which Young proved polynomial decay of correlations. Roughly speaking, in situations where the decay rate $O(1/n^β)$ has previously been proved for diffeomorphisms, we establish the decay rate $O(1/t^β)$ for typical flows. Applications include certain classes of semidispersing billiards, as well as dispersing billiards with vanishing curvature. In addition, we obtain results for suspension…
It is known that nonuniformly hyperbolic maps admitting singularities have at most countably many ergodic Sinai-Ruelle-Bowen (SRB) measures. These maps include the Belykh attractor, the geometric Lorenz attractor, and more general Lorenz-type systems. In this paper, we establish easily verifiable sufficient conditions guaranteeing that the number of ergodic SRB measures is at most finite, and provide examples and nonexamples showing that the conditions are necessary in general.
We prove a nonuniformly hyperbolic version Livšic theorem, with cocycles taking values in the group of invertible bounded linear operators on a Banach space. The result holds without the ergodicity assumption of the hyperbolic measure. Moreover, We also prove a $μ$-continuous solution of the cohomological equation is actually Hölder continuous for the uniform hyperbolic system.
In this paper, we consider the convergence rate with respect to Wasserstein distance in the invariance principle for deterministic nonuniformly hyperbolic systems, where both discrete time systems and flows are included. Our results apply to uniformly hyperbolic systems and large classes of nonuniformly hyperbolic systems including intermittent maps, Viana maps, finite horizon planar periodic Lorentz gases and others. Furthermore, as a nontrivial application to homogenization problem, we investigate the $\mathcal{W}_2$-convergence rate of a fast-slow discrete deterministic system to a stochast…
Institute of Science Tokyo（东京科学大学）；Department of Mathematical and Computing Science, School of Computing, Institute of Science Tokyo（东京科学大学计算学院数学与计算机科学系）
In this paper we study some skew product diffeomorphisms with nonuniformly hyperbolic structure along fibers. We show that there is an invariant measure with zero entropy which has atomic conditional measures along fibers.
We study the ergodic theory of non-conservative C^1-generic diffeomorphisms. First, we show that homoclinic classes of arbitrary diffeomorphisms exhibit ergodic measures whose supports coincide with the homoclinic class. Second, we show that generic (for the weak topology) ergodic measures of C^1-generic diffeomorphisms are nonuniformly hyperbolic: they exhibit no zero Lyapunov exponents. Third, we extend a theorem by Sigmund on hyperbolic basic sets: every isolated transitive set L of any C^1-generic diffeomorphism f exhibits many ergodic hyperbolic measures whose supports coincide with the w…
We introduce a class of $C^{1+α}$ isolated nonuniformly hyperbolic sets $Λ$ for which $\sup_{μ\in {\mathcal M}_f}\{h(μ) - χ^+(μ)\}$ equals the rate of escape from $Λ$, where $χ^+(μ)$ is the average of the sum of positive Lyapunov exponents counted with their multiplicity.
We obtain the first results on convergence rates in the Prokhorov metric for the weak invariance principle (functional central limit theorem) for deterministic dynamical systems. Our results hold for uniformly expanding/hyperbolic (Axiom A) systems, as well as nonuniformly expanding/hyperbolic systems such as dispersing billiards, Henon-like attractors, Viana maps and intermittent maps. As an application, we obtain convergence rates for deterministic homogenization in multiscale systems.
We give geometric conditions that are necessary and sufficient for the existence of Sinai-Ruelle-Bowen (SRB) measures for $C^{1+α}$ surface diffeomorphisms, thus proving a version of the Viana conjecture. As part of our argument we give an original method for constructing first return Young towers, proving that every hyperbolic measure, and in particular every SRB measure, can be lifted to such a tower. This method relies on a new general result on hyperbolic branches and shadowing for pseudo-orbits in nonuniformly hyperbolic sets which is of independent interest.
We establish some statistical properties of the hyperbolic times for a class of nonuniformly expanding dynamical systems. The maps arise as factors of area preserving maps of the unit square via a geometric Baker's map type construction, exhibit intermittent dynamics, and have unbounded derivatives. The geometric approach captures various examples from the literature over the last thirty years. The statistics of these maps are controlled by the order of tangency that a certain "cut function" makes with the boundary of the square. Using a large deviations result of Melbourne and Nicol we obtain…
Consider a rational map $f$ of degree at least 2 acting on its Julia set $J(f)$, a Hölder continuous potential $ϕ: J(f)\rightarrow \R$ and the pressure $P(f,ϕ). In the case where $\sup_{J(f)}ϕ<P(f,phi)$, the uniqueness and stochastic properties of the corresponding equilibrium states have been extensively studied. In this paper we characterize those potentials $ϕ$ for which this property is satisfied for some iterate of $f$, in terms of the expanding properties of the corresponding equilibrium states. A direct consequence of this result is that for a nonuniformly hyperbolic rational map every …
We prove that a singular-hyperbolic attractor of a 3-dimensional flow is chaotic, in two strong different senses. Firstly, the flow is expansive: if two points remain close for all times, possibly with time reparametrization, then their orbits coincide. Secondly, there exists a physical (or Sinai-Ruelle-Bowen) measure supported on the attractor whose ergodic basin covers a full Lebesgue (volume) measure subset of the topological basin of attraction. Moreover this measure has absolutely continuous conditional measures along the center-unstable direction, is a $u$-Gibbs state and an equilibrium …
We prove a Closing Lemma for nonuniformly hyperbolic measures of meromorphic maps. We prove also a theorem of approximation of the dynamics of such measures by Bernoulli coding maps.
We study parameter families of quasiperiodically forced (qpf) circle maps with Diophantine frequency. Under certain C1-open conditions concerning their geometry, we prove that these families exhibit nonuniformly hyperbolic behaviour, often referred to as the existence of strange nonchaotic attractors, on parameter sets of positive measure. This provides a nonlinear version of results by Young on quasiperiodic SL (2;R)-cocycles and complements previous results in this direction which hold for sets of frequencies of positive measure, but did not allow for an explicit characterisation of these fr…
