We prove that a partially hyperbolic attractor for a $C^1$ vector field with two dimensional center supports an SRB measure. In addition, we show that if the vector field is $C^2$, and the center bundle admits the sectional expanding condition w.r.t. any Gibbs $u$-state, then the attractor can only support finitely many SRB/physical measures whose basins cover Lebesgue almost all points of the topological basin. The proof of these results has to deal with the difficulties which do not occur in the case of diffeomorphisms.
We construct SRB measures for endomorphisms satisfying conditions far weaker than the non-uniformly expansion. As a consequence, the definition of non-uniformly expanding map can be weakened. We also prove the existence of an absolutely continuous invariant measure for local diffeomorphisms, only assuming the existence of hyperbolic times for Lebesgue almost all point of the manifold.
For any C1 expanding map f of the circle we study the equilibrium states for the potential -log |f'|. We formulate a C1 generalization of Pesin's Entropy Formula that holds for all the SRB measures if they exist, and for all the (necessarily existing) SRB-like measures. In the C1-generic case Pesin's Entropy Formula holds for a unique SRB measure which is not absolutely continuous with respect to Lebesgue. The result also stands in the non generic case for which no SRB measure exists.
We consider partially hyperbolic \( C^{1+} \) diffeomorphisms of compact Riemannian manifolds of arbitrary dimension which admit a partially hyperbolic tangent bundle decomposition \( E^s\oplus E^{cu} \). Assuming the existence of a set of positive Lebesgue measure on which \( f \) satisfies a weak nonuniform expansivity assumption in the centre~unstable direction, we prove that there exists at most a finite number of transitive attractors each of which supports an SRB measure. As part of our argument, we prove that each attractor admits a Gibbs-Markov-Young geometric structure with integrable…
Let $f_t:[0,1] \to [0,1]$ be a family of piecewise expanding unimodal maps with a common critical point that is dense for almost all $t \in [a,b]$. If $μ_t$ is the corresponding SRB measure for $f_t$, we study the regularity of $Γ(t)=\int ϕdμ_t$ when assuming that the family is transversal to the topological classes of these maps, more precisely, we prove that if $J_t(c)=\sum_{k=0}^{\infty} \frac{v_t(f_t^k(c))}{Df_t^k(f_t(c))} \neq 0$ for all $t$, where $v_t(x)=\partial_s f_s(x)|_{s=t}$, then $Γ(t)$ is not Lipschitz for almost all $t\in [a,b]$. Furthermore, we give the exact modulus of continu…
We prove that a $C^1$ hyperbolic map whose differential is regular enough has an SRB measure. The precise regularity condition is weaker than H{ö}lder and was mentionned by various authors through the developement of expanding and uniformly hyperbolic dynamics.
We consider classes of dynamical systems admitting Markov induced maps. Under general assumptions, which in particular guarantee the existence of SRB measures, we prove that the entropy of the SRB measure varies continuously with the dynamics. We apply our result to a vast class of non-uniformly expanding maps of a compact manifold and prove the continuity of the entropy of the SRB measure. In particular, we show that the SRB entropy of Viana maps varies continuously with the map.
We study the existence of SRB measures of C 2 diffeomorphisms for attractors whose bundles admit Holder continuous invariant (non-dominated) splittings. We prove the existence when one subbundle has the non-uniform expanding property on a set with positive Lebesgue measure and the other subbundle admits non-positive Lyapunov exponents on a total probability set.
We prove existence of equilibrium states with special properties for a class of distance expanding local homeomorphisms on compact metric spaces and continuous potentials. Moreover, we formulate a C$^1$ generalization of Pesin's Entropy Formula: all ergodic weak-SRB-like measures satisfy Pesin's Entropy Formula for $C^1$ non-uniformly expanding maps. We show that for weak-expanding maps such that $\Leb$-a.e $x$ has positive frequency of hyperbolic times, then all the necessarily existing ergodic weak-SRB-like measures satisfy Pesin's Entropy Formula and are equilibrium states for the potential…
We consider random perturbations of discrete-time dynamical systems. We give sufficient conditions for the stochastic stability of certain classes of maps, in a strong sense. This improves the main result in J. F. Alves, V. Araujo, Random perturbations of non-uniformly expanding maps, Asterisque 286 (2003), 25--62, where it was proved the convergence of the stationary measures of the random process to the SRB measure of the initial system in the weak* topology. Here, under slightly weaker assumptions on the random perturbations, we obtain a stronger version of stochastic stability: convergence…
We consider polygonal billiards with collisions contracting the reflection angle towards the normal to the boundary of the table. In previous work, we proved that such billiards has a finite number of ergodic SRB measures supported on hyperbolic generalized attractors. Here we study the relation of these measures with the ergodic absolutely continuous invariant probability measures (acips) of the slap map, the 1-dimensional map obtained from the billiard map when the angle of reflection is always equal to zero. Our main result states that for a generic polygon, if the reflection law has a Lips…
We provide a general framework to study differentiability of SRB measures for one dimensional non-uniformly expanding maps. Our technique is based on inducing the non-uniformly expanding system to a uniformly expanding one, and on showing how the linear response formula of the non-uniformly expanding system is inherited from the linear response formula of the induced one. We apply this general technique to interval maps with a neutral fixed point (Pomeau-Manneville maps) to prove differentiability of the corresponding SRB measure. Our work covers systems that admit a finite SRB measure and it …
In this paper, we study the differentiability of SRB measures for partially hyperbolic systems. We show that for any $s \geq 1$, for any integer $\ell \geq 2$, any sufficiently large $r$, any $φ\in C^{r}(\T, \R)$ such that the map $f : \T^2 \to \T^2, f(x,y) = (\ell x, y + φ(x))$ is $C^r-$stably ergodic, there exists an open neighbourhood of $f$ in $C^r(\T^2,\T^2)$ such that any map in this neighbourhood has a unique SRB measure with $C^{s-1}$ density, which depends on the dynamics in a $C^s$ fashion. We also construct a $C^{\infty}$ mostly contracting partially hyperbolic diffeomorphism $f: \T…
We give two new proofs that the SRB measure of a C^2 path f_t of unimodal piecewise expanding C^3 maps is differentiable at 0 if f_t is tangent to the topological class of f_0. The arguments are more conceptual than the one in our previous paper, but require proving Holder continuity of the infinitesimal conjugacy (a new result, of independent interest) and using spaces of bounded p-variation. The first new proof gives differentiability of higher order if f_t is smooth enough and stays in the topological class of f_0 and if the observable smooth enough (a new result). In addition, this proof d…
We consider open sets of maps in a manifold $M$ exhibiting non-uniform expanding behaviour in some domain $S\subset M$. Assuming that there is a forward invariant region containing $S$ where each map has a unique SRB measure, we prove that under general uniformity conditions, the SRB measure varies continuously in the $L^1$-norm with the map. As a main application we show that the open class of maps introduced in [V] fits to this situation, thus proving that the SRB measures constructed in [A] vary continuously with the map.
In this paper we address the existence and ergodicity of non-hyperbolic attracting sets for a certain class of smooth endomorphisms on the solid torus. Such systems allow a formulation as a skew product system defined by planar diffeomorphisms have contraction on average which forced by any expanding circle map. These attractors are invariant graphs of upper semicontinuous maps which support exactly one $SRB$ measure. In our approach, these skew product systems arising from iterated function systems generated by a finitely many weak contractive diffeomorphisms. Under some conditions including …
We show that a class of higher-dimensional hyperbolic endomorphisms admit absolutely continuous invariant probabilities whose density are regular. The maps we consider are 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$, $f$ is in $C^r(\mathbb{T}^u,\mathbb{R}^d)$ and $r \geq 2$. We prove that if $|(\det C)(\det E)| \|C^{-1}\|^{-2s}>1$ for some $s<r-(\frac{u+d}{2}+1)$ and $T$ satisfies a certain transversality condition, then the density of the SRB measure of $T$ is contained in the Sobolev space $…
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 consider a class of $\mathcal C^{4}$ partially hyperbolic systems on $\mathbb T^2$ described by maps $F_\varepsilon(x,θ)=(f(x,θ),θ+\varepsilonω(x,θ))$ where $f(\cdot,θ)$ are expanding maps of the circle. For sufficiently small $\varepsilon$ and $ω$ generic in an open set, we precisely classify the SRB measures for $F_\varepsilon$ and their statistical properties, including exponential decay of correlation for Hölder observables with explicit and nearly optimal bounds on the decay rate.
For partially hyperbolic diffeomorphisms with mostly expanding and mostly contracting centers, we establish a topological structure, called skeleton{a set consisting of finitely many hyperbolic periodic points with maximal cardinality for which there exist no heteroclinic intersections. We build the one-to-one corresponding between periodic points in any skeleton and physical measures. By making perturbations on skeletons, we study the continuity of physical measures with respect to dynamics under $C^1$-topology.
In this paper we study physical measures for $\C^{1+α}$ partially hyperbolic diffeomorphisms with mostly expanding center. We show that every diffeomorphism with mostly expanding center direction exhibits a geometrical-combinatorial structure, which we call skeleton, that determines the number, basins and supports of the physical measures. Furthermore, the skeleton allows us to describe how physical measures bifurcate as the diffeomorphism changes under $C^1$ topology. Moreover, for each diffeomorphism with mostly expanding center, there exists a $C^1$ neighborhood, such that diffeomorphism am…
The average R(t) of a smooth function with respect to the SRB measure of a smooth one-parameter family f_t of piecewise expanding interval maps is not always Lipschitz. We prove that if f_t is tangent to the topological class of f_0, then R(t) is differentiable at zero, and the derivative coincides with the resummation previously proposed by the first named author of the (a priori divergent) series given by Ruelle's conjecture.
In this work we study the class of mostly expanding partially hyperbolic diffeomorphisms. We prove that such class is $C^r$-open, $r>1$, among the partially hyperbolic diffeomorphisms (in the narrow sense) and we prove that the mostly expanding condition guarantee the existence of physical measures and provide more information about the statistics of the system. Mañé's classical derived-from-Anosov diffeomorphism on $\mathbb{T}^3$ belongs to this set.
We study the susceptibility function Psi(z) associated to the perturbation f_t=f+tX of a piecewise expanding interval map f. The analysis is based on a spectral description of transfer operators. It gives in particular sufficient conditions which guarantee that Psi(z) is holomorphic in a disc of larger than one. Although Psi(1) is the formal derivative of the SRB measure of f_t with respect to t, we present examples satisfying our conditions so that the SRB measure is not Lipschitz.*We propose a new version of Ruelle's conjectures.* In v2, we corrected a few minor mistakes and added Conjecture…
We prove the stochastic stability of an open class of partially hyperbolic diffeomorphisms, each of which admits two centers $E^c_1$ and $E^c_2$ such that any Gibbs $u$-state admits only positive (resp. negative) Lyapunov exponents along $E^c_1$ (resp. $E^c_2$).
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 introduce the Markov extension, represented schematically as a tower, to the study of dynamical systems with holes. For tower maps with small holes, we prove the existence of conditionally invariant probability measures which are absolutely continuous with respect to Lebesgue measure (abbreviated a.c.c.i.m.). We develop restrictions on the Lebesgue measure of the holes and simple conditions on the dynamics of the tower which ensure existence and uniqueness in a class of Holder continuous densities. We then use these results to study the existence and properties of a.c.c.i.m. for expanding m…
We consider a partially hyperbolic set $K$ on a Riemannian manifold $M$ whose tangent space splits as $T_K M=E^{cu}\oplus E^{s}$, for which the centre-unstable direction $E^{cu}$ expands non-uniformly on some local unstable disk. We show that under these assumptions $f$ induces a Gibbs-Markov structure. Moreover, the decay of the return time function can be controlled in terms of the time typical points need to achieve some uniform expanding behavior in the centre-unstable direction. As an application of the main result we obtain certain rates for decay of correlations, large deviations, an al…
In this work, we address ergodicity of smooth actions of finitely generated semi-groups on an m-dimensional closed manifold M. We provide sufficient conditions for such an action to be ergodic with respect to the Lebesgue measure. Our results improve the main result in [8], where the ergodicity for one dimensional fiber was proved. We will introduce Markov partition for finitely generated semi-group actions and then we establish ergodicity for a large class of finitely generated semi-groups of C^{1+alpha}-diffeomorphisms that admit a Markov partition. Moreover, we present some transitivity cri…
Let f be a self-map of a compact manifold M, admitting an global SRB measure μ. For a continuous test function ϕon M and a constant α>0, consider the set of the initial points for which the Birkhoff time averages of the function ϕdiffer from its μ--space average by at least α. As the measure μis an SRB one, the intersection of this set with the basin of attraction of μshould have zero Lebesgue measure. The \emph{special ergodic theorem}, whenever it holds, claims that, moreover, this intersection has the Hausdorff dimension less than the dimension of M. We prove that for Lipschitz maps, the sp…
We study how physical measures vary with the underlying dynamics in the open class of $C^r$, $r>1$, strong partially hyperbolic diffeomorphisms for which the central Lyapunov exponents of every Gibbs $u$-state is positive. If transitive, such a diffeomorphism has a unique physical measure that persists and varies continuously with the dynamics. A main ingredient in the proof is a new Pliss-like Lemma which, under the right circumstances, yields frequency of hyperbolic times close to one. Another novelty is the introduction of a new characterization of Gibbs $cu$-states. Both of these may be of…
The (measure-theoretical) entropy of a diffeomorphism along an expanding invariant foliation is the rate of complexity generated by the diffeomorphism along the leaves of the foliation. We prove that this number varies upper semi-continuously with the diffeomorphism ($\C^1$ topology), the invariant measure (weak* topology) and the foliation itself in a suitable sense. This has several important consequences. For one thing, it implies that the set of Gibbs $u$-states of $\C^{1+}$ partially hyperbolic diffeomorphisms is an upper semi-continuous function of the map in the $\C^1$ topology. Another…
