For a large class of nonuniformly expanding maps of $\Bbb R^m$, with indifferent fixed points and unbounded distorsion and non necessarily Markovian, we construct an absolutely continuous invariant measure. We extend to our case techniques previously used for expanding maps on quasi-Hölder spaces. We give general conditions and provide examples to which apply our result.
We give a unified treatment of decay of correlations for nonuniformly expanding systems with a good inducing scheme. In addition to being more elementary than previous treatments, our results hold for general integrable return time functions under fairly mild conditions on the inducing scheme.
Using a sifting-shadowing combination, we prove in this paper that an arbitrary $\mathrm{C}^1$-class local diffeomorphism $f$ of a closed manifold $M^n$ is uniformly expanding on the closure $\mathrm{Cl}_{M^n}(\mathrm{Per}(f))$ of its periodic point set $\mathrm{Per}(f)$, if it is nonuniformly expanding on $\mathrm{Per}(f)$.
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.
We use an Ulam-type discretization scheme to provide pointwise approximations for invariant densities of interval maps with a neutral fixed point. We prove that the approximate invariant density converges pointwise to the true density at a rate $C^*\cdot\frac{\ln m}{m}$, where $C^*$ is a computable fixed constant and $m^{-1}$ is the mesh size of the discretization.
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…
Given a rational map of the Riemann sphere and a subset $A$ of its Julia set, we study the $A$-exceptional set, that is, the set of points whose orbit does not accumulate at $A$. We prove that if the topological entropy of $A$ is less than the topological entropy of the full system then the $A$-exceptional set has full topological entropy. Furthermore, if the Hausdorff dimension of $A$ is smaller than the dynamical dimension of the system then the Hausdorff dimension of the $A$-exceptional set is larger than or equal to the dynamical dimension, with equality in the particular case when the dyn…
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.
Let $T \colon M \to M$ be a nonuniformly expanding dynamical system, such as logistic or intermittent map. Let $v \colon M \to \mathbb{R}^d$ be an observable and $v_n = \sum_{k=0}^{n-1} v \circ T^k$ denote the Birkhoff sums. Given a probability measure $μ$ on $M$, we consider $v_n$ as a discrete time random process on the probability space $(M, μ)$. In smooth ergodic theory there are various natural choices of $μ$, such as the Lebesgue measure, or the absolutely continuous $T$-invariant measure. They give rise to different random processes. We investigate relation between such processes. We sh…
We consider deterministic homogenization (convergence to a stochastic differential equation) for multiscale systems of the form \[ x_{k+1} = x_k + n^{-1} a_n(x_k,y_k) + n^{-1/2} b_n(x_k,y_k), \quad y_{k+1} = T_n y_k, \] where the fast dynamics is given by a family $T_n$ of nonuniformly expanding maps. Part 1 builds on our recent work on martingale approximations for families of nonuniformly expanding maps. We prove an iterated weak invariance principle and establish optimal iterated moment bounds for such maps. (The iterated moment bounds are new even for a fixed nonuniformly expanding map T.)…
We prove results on mixing and mixing rates for toral extensions of nonuniformly expanding maps with subexponential decay of correlations. Both the finite and infinite measure settings are considered. Under a Dolgopyat-type condition on nonexistence of approximate eigenfunctions, we prove that existing results for (possibly nonMarkovian) nonuniformly expanding maps hold also for their toral extensions.
We show that for a large class of maps on manifolds of arbitrary finite dimension, the existence of a Gibbs-Markov-Young structure (with Lebesgue as the reference measure) is a necessary as well as sufficient condition for the existence of an invariant probability measure which is absolutely continuous measure (with respect to Lebesgue) and for which all Lyapunov exponents are positive.
Let $f : [0, 1] \to [0, 1]$ be a piecewise expanding unimodal map of class $C^{k+1}$, with $k \geq 1$, and $μ= ρdx$ the (unique) SRB measure associated to it. We study the regularity of $ρ$. In particular, points $\mathcal{N}$ where $ρ$ is not differentiable has zero Hausdorff dimension, but is uncountable if the critical orbit of $f$ is dense. This improves on a work of Szewc (1984). We also obtain results about higher orders of differentiability of $ρ$ in the sense of Whitney.
We prove existence of (at most denumerable many) absolutely continuous invariant probability measures for random one-dimensional dynamical systems with asymptotic expansion. If the rate of expansion (Lyapunov exponents) is bounded away from zero, we obtain finitely many ergodic absolutely continuous invariant probability measures, describing the asymptotics of almost every point. We also prove a similar result for higher-dimensional random non-uniformly expanding dynamical systems. The results are consequences of the construction of such measures for skew-products with essentially arbitrary ba…
We prove the almost sure invariance principle with rate $o(n^{\varepsilon})$ for every $\varepsilon > 0$ for Hölder continuous observables on nonuniformly expanding and nonuniformly hyperbolic transformations with exponential tails. Examples include Gibbs-Markov maps with big images, Axiom A diffeomorphisms, dispersing billiards and a class of logistic and Hénon maps. The best previously proved rate is $O(n^{1/4} (\log n)^{1/2} (\log \log n)^{1/4})$. As a part of our method, we show that nonuniformly expanding transformations are factors of Markov shifts with simple structure and natural metri…
We establish bounds for the measure of deviation sets associated to continuous observables with respect to not necessarily invariant weak Gibbs measures. Under some mild assumptions, we obtain upper and lower bounds for the measure of deviation sets of some non-uniformly expanding maps, including quadratic maps and robust multidimensional non-uniformly expanding local diffeomorphisms. For that purpose, a measure theoretical weak form of specification is introduced and proved to hold for the robust classes of multidimensional nonuniformly expanding local diffeomorphisms and Viana maps.
In the present paper, we study the distribution of the return points in the fibers for a RDS (random dynamical systems) nonuniformly expanding preserving an ergodic probability, we also show the abundance of nonlacunarity of hyperbolic times that are obtained along the orbits through the fibers. We conclude that any ergodic measure with positive Lyapunov exponents satisfies the nonuniform specification property between fibers. As consequences, we prove that any expanding measure is the limit of probability measure whose measures of disintegration on the fibers are supported by a finite number …
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 …
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.
I provide a proof of the existence of absolutely continuous invariant measures (and study their statistical properties) for multidimensional piecewise expanding systems with not necessarily bounded derivative or distortion. The proof uses basic properties of multidimensional BV functions.
We give conditions under which nonuniformly expanding maps exhibit lower bounds of polynomial type for the decay of correlations and for a large class of observables. We show that if the Lasota-Yorke type inequality for the transfer operator of a first return map are satisfied in a Banach space B, and the absolutely continuous invariant measure obtained is weak mixing, in terms of aperiodicity, then under some renewal condition, the maps have polynomial decay of correlations for observables in B. We also provide some general conditions that give aperiodicity for expanding maps in higher dimens…
Consider a dynamical system $T:\mathbb{T}\times \mathbb{R}^{d} \rightarrow \mathbb{T}\times \mathbb{R}^{d} $ given by $ T(x,y) = (E(x), C(y) + f(x))$, where $E$ is a linear expanding map of $\mathbb{T}$, $C$ is a linear contracting map of $\mathbb{R}^d$ and $f$ is in $C^2(\mathbb{T},\mathbb{R}^d)$. We prove that if $T$ is volume expanding and $u\geq d$, then for every $E$ there exists an open set $\mathcal{U}$ of pairs $(C,f)$ for which the corresponding dynamic $T$ admits an absolutely continuous invariant probability. A geometrical characteristic of transversality between self-intersections …
We introduce a new induction scheme for non-uniformly expanding maps $f$ of compact Riemannian manifolds, proving that the existence of a Gibbs-Markov-Young structure is a necessary condition for $f$ to preserve an absolutely continuous probability with all its Lyapunov exponents positive.
This paper generalizes the results of [13] and then provides an interesting example. We construct a family of $W$-like maps $\{W_a\}$ with a turning fixed point having slope $s_1$ on one side and $-s_2$ on the other. Each $W_a$ has an absolutely continuous invariant measure $μ_a$. Depending on whether $\frac{1}{s_1}+\frac{1}{s_2}$ is larger, equal or smaller than 1, we show that the limit of $μ_a$ is a singular measure, a combination of singular and absolutely continuous measure or an absolutely continuous measure, respectively. It is known that the invariant density of a single piecewise expa…
We consider random perturbations of a topologically transitive local diffeomorphism of a Riemannian manifold. We show that if an absolutely continuous ergodic stationary measures is expanding (all Lyapunov exponents positive), then there is a random Gibbs-Markov-Young structure which can be used to lift that measure. We also prove that if the original map admits a finite number of expanding invariant measures then the stationary measures of a sufficiently small stochastic perturbation are expanding.
We consider small perturbations of expanding maps induced by skew-product mappings whose base dynamics are not invertible necessarily. Adopting a previously developed perturbative spectral approach, we show stability of the densities of the unique absolutely continuous invariant probability measures for expanding maps under these perturbations, and upper bounds on the rate of exponential decay of fiber correlations associated to the measures as the noise level goes to zero.
We study parametrised families of piecewise expanding interval mappings $T_a \colon [0,1] \to [0,1]$ with absolutely continuous invariant measures $μ_a$ and give sufficient conditions for a point $X(a)$ to be typical with respect to $(T_a, μ_a)$ for almost all parameters $a$. This is similar to a result by D. Schnellmann, but with different assumptions.
We obtain large and moderate deviation estimates, as well as concentration inequalities, for a class of nonuniformly expanding maps with stretched exponential decay of correlations. In the large deviation regime, we also exhibit examples showing that the obtained upper bounds are essentially optimal.
We analyze the two-point motions of iterated function systems on the unit interval generated by expanding and contracting affine maps, where the expansion and contraction rates are determined by a pair $(M,N)$ of integers. This dynamics depends on the Lyapunov exponent. For a negative Lyapunov exponent we establish synchronization, meaning convergence of orbits with different initial points. For a vanishing Lyapunov exponent we establish intermittency, where orbits are close for a set of iterates of full density, but are intermittently apart. For a positive Lyapunov exponent we show the existe…
We consider a smooth expanding map g on the circle of degree 2. It is known that the Lyapunov exponent of g with respect to the unique invariant measure that is absolutely continuous with respect to the Lebesgue measure is positive and less than or equal to log 2 which, in addition, is less than or equal to the Lyapunov exponent of g with respect to the measure of maximal entropy. Moreover, the equalities only occur simultaneously. We show that these are the only restrictions on the Lyapunov exponents considered above for smooth expanding maps of degree 2.
We consider two classes of piecewise expanding maps $T$ of $[0,1]$: a class of uniformly expanding maps for which the Perron-Frobenius operator has a spectral gap in the space of bounded variation functions, and a class of expanding maps with a neutral fixed point at zero. In both cases, we give a large class of unbounded functions $f$ for which the partial sums of $f\circ T^i$ satisfy an almost sure invariance principle. This class contains piecewise monotonic functions (with a finite number of branches) such that: - For uniformly expanding maps, they are square integrable with respect to the…
It is well-known that the Manneville-Pomeau map with a parabolic fixed point of the form $x\mapsto x+x^{1+α} \mod 1$ is stochastically stable for $α\ge 1$ and the limiting measure is the Dirac measure at the fixed point. In this paper we show that if $α\in (0,1)$ then it is also stochastically stable. Indeed, the stationary measure of the random map converges strongly to the absolutely continuous invariant measure for the deterministic system as the noise tends to zero.
We consider some classes of piecewise expanding maps in finite dimensional spaces having invariant probability measures which are absolutely continuous with respect to Lebesgue measure. We derive an entropy formula for such measures and, using this entropy formula, in some parametrized families we present sufficient conditions for the continuity of that entropy with respect to the parameter. We apply our results to a classical one-dimensional family of tent maps and a family of two-dimensional maps which arises as the limit of return maps when a homoclinic tangency is unfolded by a family of t…
In this paper, we investigate the existence of random absolutely continuous invariant measures (ACIP) for random expanding on average Saussol maps in higher dimensions. This is done by the establishment of a random Lasota-Yorke inequality for the transfer operators on the space of bounded oscillation. We prove that the number of ergodic skew product ACIPs is finite and provide an upper bound for the number of these ergodic ACIPs. This work can be seen as a generalization of the work in BGT on admissible random Jabłoński maps to a more general class of higher dimensional random maps.
ACIM instability of piecewise expanding maps through the lens of metastability
Budapest University of Technology and Economics（布达佩斯技术与经济大学）；HUN-REN–BME Stochastics Research Group, Budapest University of Technology and Economics（匈牙利研究网络-布达佩斯技术与经济大学随机过程研究组）
In \cite{J}, Jabłoński proved that a piecewise expanding $C^{2}$ multidimensional Jabłoński map admits an absolutely continuous invariant probability measure (ACIP). In \cite{BL}, Boyarsky and Lou extended this result to the case of i.i.d. compositions of the above maps, with an on average expanding condition. We generalize these results to the (quenched) setting of random Jabłoński maps, where the randomness is governed by an ergodic, invertible and measure preserving transformation. We prove that the skew product associated to this random dynamical system admits a finite number of ergodic AC…
