We study the Ruelle dynamical determinant of a real analytic diffeomorphism on a compact surface, assuming that the tangent space over the nonwandering set admits a dominated splitting. Combining previous work of Pujals and Sambarino with methods introduced by Rugh, we show that the determinant is either entire or holomorphic in a (possibly multiply) slit plane.
In this paper we obtain two criteria of stable ergodicity outside the partially hyperbolic scenario. In both criteria, we use a weak form of hyperbolicity called chain-hyperbolicity. It is obtained one criterion for diffeomorphisms with dominated splitting and one criterion for weakly partially hyperbolic diffeomorphisms. As an application of one of these criteria, we obtain the $C^1$-density of stable ergodicity inside a certain class of weakly partially hyperbolic diffeomorphisms.
Metric entropies along a hierarchy of unstable foliations are investigated for $C^1$ diffeomorphisms with dominated splitting. The analogues of Ruelle's inequality and Pesin's formula, which relate the metric entropy and Lyapunov exponents in each hierarchy, are given.
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.
Let $f$ be a $C^1$-diffeomorphism and $μ$ be a hyperbolic ergodic $f$-invariant Borel probability measure with positive measure-theoretic entropy. Assume that the Oseledec splitting $$T_xM=E_1(x) \oplus\cdots\oplus E_s(x) \oplus E_{s+1}(x) \oplus\cdots\oplus E_l(x) $$ is dominated on the Oseledec basin $Γ$. We give extensions of Katok's Horseshoes construction. Moreover there is a dominated splitting corresponding to Oseledec subspace on horseshoes.
In this paper, we provide a technique result on the existence of Gibbs cu-states for diffeomorphisms with dominated splittings. More precisely, for given $C^2$ diffeomorphim $f$ with dominated splitting $T_ΛM = E\oplus F$ on an attractor $Λ$, by considering some suitable random perturbation of $f$, we show that for any zero noise limit of ergodic stationary measures, if it has positive integrable Lyapunov exponents along invariant sub-bundle $E$, then its ergodic components contain Gibbs cu-states associated to $E$. With this technique, we show the existence of SRB measures and physical measur…
Let Diff^1(M) be the set of all C^1-diffeomorphisms f : M \rightarrow M, where M is a compact boundaryless d-dimensional manifold, d \geq 2. We prove that there is a residual subset R of Diff^1(M) such that if f \in R and if H(p) is the homoclinic class associated with a hyperbolic periodic point p, then either H(p) admits a dominated splitting of the form E\oplusF1 \oplus...\oplusFk \oplusG, where Fi is not hyperbolic and one-dimensional, or f|H(p) has no symbolic extensions.
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 prove three formulas for computing topological pressure of $C^1$-generic conservative diffeomorphism and show the continuity of topological pressure with respect to these diffeomorphisms. We prove for these generic diffeomorphisms that there is no equilibrium states with positive measure theoretic entropy. In particular, for hyperbolic potentials, there is no equilibrium states. For $C^1$ generic conservative diffeomorphism on compact surfaces with no dominated splitting and $ϕ_m(x):=-\frac{1}{m}\log \Vert D_x f^m\Vert, m \in \mathbb{N}$, we show that there exist equilibrium states with zer…
We study generic volume-preserving diffeomorphisms on compact manifolds. We show that the following property holds generically in the $C^1$ topology: Either there is at least one zero Lyapunov exponent at almost every point, or the set of points with only non-zero exponents forms an ergodic component. Moreover, if this nonuniformly hyperbolic component has positive measure then it is essentially dense in the manifold (that is, it has a positive measure intersection with any nonempty open set) and there is a global dominated splitting. For the proof we establish some new properties of independe…
For $C^1$ diffeomorphisms, we prove that the Pesin's entropy formula holds for some invariant measure supported on any topological attractor that admits a dominated splitting without mixed behavior. We also prove Shub's entropy conjecture for diffeomorphisms having such kind of splittings.
For any C1 diffeomorphism with dominated splitting we consider a nonempty set of invariant measures which describes the asymptotic statistics of Lebesgue-almost all orbits. They are the limits of convergent subsequences of averages of the Dirac delta measures supported on those orbits. We prove that the metric entropy of each of these measures is bounded from below by the sum of the Lyapunov exponents on the dominating subbundle. As a consequence, if those exponents are non negative, and if the exponents on the dominated subbundle are non positive, those measures satisfy the Pesin Entropy Form…
A classical construction due to Newhouse creates horseshoes from hyperbolic periodic orbits with large period and weak domination through local $C^1$-perturbations. Our main theorem shows that, when one works in the $C^1$ topology, the entropy of such horseshoes can be made arbitrarily close to an upper bound deriving from Ruelle's inequality, i.e., the sum of the positive Lyapunov exponents (or the same for the inverse diffeomorphism, whichever is smaller). Adapting classical techniques, we use perturbations that are local and can be chosen to preserve volume or symplectic form or a homoclini…
We introduce a new notion called generalized dominated splitting which is weaker than classical dominated splitting. We use this notion to generalize a result of Zhang\cite{Zh}: every diffeomorphism with nontrivial global generalized dominated splitting can not be minimal.
We show a fibre-preserving self-diffeomorphism which has hyperbolic splittings along the fibres on a compact principal torus bundle is topologically conjugate to a map that is linear in the fibres.
We study generic diffeomorphisms with a homoclinc class with non empty interior and in particular those admitting a codimension one dominated splitting. We prove that if in the finest dominated splitting the extreme subbundles are one dimensional then the diffeomorphism is partially hyperbolic and from this we deduce that the diffeomorphism is transitive.
We show that, for every compact n-dimensional manifold, n\geq 1, there is a residual subset of Diff^1(M) of diffeomorphisms for which the homoclinic class of any periodic saddle of f verifies one of the following two possibilities: Either it is contained in the closure of an infinite set of sinks or sources (Newhouse phenomenon), or it presents some weak form of hyperbolicity called dominated splitting (this is a generalization of a bidimensional result of Mane [Ma3}). In particular, we show that any C^1 -robustly transitive diffeomorphism admits a dominated splitting.
A signed version of Putnam homology for Smale spaces is introduced. Its definition, basic properties and associated Lefschetz theorem are outlined. In particular, zeta functions associated to an Axiom A diffeomorphism are compared.
Recent works related to Palis conjecture of J. Yang, S. Crovisier, M. Sambarino and D. Yang showed that any aperiodic class of a $C^1$-generic diffeomorphism far away from homoclinic bifurcations (or homoclinic tangencies) is partially hyperbolic. We show in this paper that, generically, a non-trivial dominated splitting implies partial hyperbolicity for an aperiodic class if it is Lyapunov stable. More precisely, for $C^1$-generic diffeomorphisms, if a Lyapunov stable aperiodic class has a non-trivial dominated splitting $E\oplus F$, then one of the two bundles is hyperbolic (either $E$ is co…
For smooth hyperbolic dynamical systems and smooth weights, we relate Ruelle transfer operators with dynamical Fredholm determinants and dynamical zeta functions: First, we establish bounds for the essential spectral radii of the transfer operator on new spaces of anisotropic distributions, improving our previous results. Then we give a new proof of Kitaev's lower bound for the radius of convergence of the dynamical Fredholm determinant. In addition we show that the zeroes of the determinant in the corresponding disc are in bijection with the eigenvalues of the transfer operator on our spaces …
We consider families of diffeomorphisms with dominated splittings and preserving a Borel probability measure, and we study the regularity of the Lyapunov exponents associated to the invariant bundles with respect to the parameter. We obtain that the regularity is at least the sum of the regularities of the two invariant bundles (for regularities in $[0,1]$), and under suitable conditions we obtain formulas for the derivatives. Similar results are obtained for families of flows, and for the case when the invariant measure depends on the map. We also obtain several applications. Near the time on…
In these expository notes, we give a proof of regularity of Anosov splitting for Anosov diffeomorphisms in a torus. We also generalize the idea to higher dimensions and to Anosov flows.
We show that diffeomorphisms with a dominated splitting of the form $E^s\oplus E^c\oplus E^u$, where $E^c$ is a nonhyperbolic central bundle that splits in a dominated way into 1-dimensional subbundles, are entropy-expansive. In particular, they have a principal symbolic extension and equilibrium states.
Let $f:M\rightarrow M$ be a $C^1$ diffeomorphism with a dominated splitting on a compact Riemanian manifold $M$ without boundary. We state and prove several sufficient conditions for the topological entropy of $f$ to be positive. The conditions deal with the dynamical behaviour of the (non-necessarily invariant) Lebesgue measure. In particular, if the Lebesgue measure is $δ$-recurrent then the entropy of $f$ is positive. We give counterexamples showing that these sufficient conditions are not necessary. Finally, in the case of partially hyperbolic diffeomorphisms, we give a positive lower boun…
We construct a diffeomorphism $f$ on 2-torus with a dominated splitting $E \oplus F$ such that there exists an open neighborhood $\mathcal{U} \ni f$ satisfying that for any $g \in \mathcal{U}$, neither $E_g$ nor $F_g$ is integrable.
We prove that the Oseledets splittings of an ergodic hyperbolic measure of a $C^{1+ r}$ diffeomorphism can be approximated by that of atomic measures on hyperbolic periodic orbits. This removes the assumption on simple spectrum in \cite{Liang} and strengthens Katok's closing lemma.
We show that the metric entropy of a $C^1$ diffeomorphism with a dominated splitting and the dominating bundle uniformly expanding is bounded from above by the integrated volume growth of the dominating (expanding) bundle plus the maximal Lyapunov exponent from the dominated bundle multiplied by its dimension. We also discuss different types of volume growth that can be associated with an expanding foliation and relationships between them, specially when there exists a closed form non-degenerate on the foliation. Some consequences for partially hyperbolic diffeomorphisms are presented.
We consider classes of partially hyperbolic diffeomorphism $f:M\to M$ with splitting $TM=E^s\oplus E^c\oplus E^u$ and $\dim E^c=2$. These classes include for instance (perturbations of) the product of Anosov and conservative surface diffeomorphisms, skew products of surface diffeomorphisms over Anosov, partially hyperbolic symplectomorphisms on manifolds of dimension four with bidimensional center foliation whose center leaves are all compact. We prove that accessibility holds in these classes for $C^1$ open and $C^r$ dense subsets and moreover they are stably ergodic.
In this paper we consider $C^1$ surface diffeomorphisms and study the existence of phase transitions, here expressed by the non-analiticity of the pressure function associated to smooth and geometric-type potentials. We prove that the space of $C^1$-surface diffeomorphisms admitting phase transitions is a $C^1$-Baire generic subset of the space of non-Anosov diffeomorphisms. In particular, if $S$ is a compact surface which is not homeomorphic to the 2-torus then a $C^1$-generic diffeomorphism on $S$ has phase transitions. We obtain similar statements in the context of $C^1$--volume preserving …
We show that the integrated Lyapunov exponents of $C^1$ volume preserving diffeomorphisms are simultaneously continuous at a given diffeomorphism only if the corresponding Oseledets splitting is trivial (all Lyapunov exponents equal to zero) or else dominated (uniform hyperbolicity in the projective bundle) almost everywhere. We deduce a sharp dichotomy for generic volume preserving diffeomorphisms on any compact manifold: almost every orbit either is projectively hyperbolic or has all Lyapunov exponents equal to zero. Similarly, for a residual subset of all $C^1$ symplectic diffeomorphisms on…
For a generic conservative diffeomorphism of a 3-manifold M, the Oseledets splitting is a globally dominated splitting. Moreover, either all Lyapunov exponents vanish almost everywhere, or else the system is non-uniformly hyperbolic and ergodic. This is the 3-dimensional version of a well-known result by Mañé-Bochi, stating that a generic conservative surface diffeomorphism is either Anosov or all Lyapunov exponents vanish almost everywhere. This result inspired and answers in the positive for dimension 3 a conjecture by Avila and Bochi. We also prove that all partially hyperbolic sets with po…
The paper is devoted to finding conditions to the existence of a self-indexing energy function for Morse-Smale diffeomorphisms on a 3-manifold. These conditions involve how the stable and unstable manifolds of saddle points are embedded in the ambient manifold. We also show that the existence of a self-indexing energy function is equivalent to the existence of a Heegaard splitting of a special type with respect to the considered diffeomorphism.
We prove that any smooth volume-preserving action of a lattice $Γ$ in $\textrm{SL}(n,\mathbb{R})$, $n\ge 3$, on a closed $n$-manifold which possesses one element that admits a dominated splitting should be standard. In other words, the manifold is the $n$-flat torus and the action is smoothly conjugate to an affine action. Note that an Anosov diffeomorphism, or more generally, a partial hyperbolic diffeomorphism admits a dominated splitting. We have a topological global rigidity when $α$ is $C^{1}$. Similar theorems hold for an action of a lattice in $\textrm{Sp}(2n,\mathbb{R})$ with $n\ge 2$ …
Generalized hyperbolicity for diffeomorphisms of Banach spaces
Pontificia Universidade Catolica do Rio de Janeiro (PUC-Rio)(天主教里约热内卢 Pontifical University);Institute of Mathematics, Statistics and Computer Science, University of São Paulo (IME-USP)(圣保罗大学数学、统计和计算机科学学院)
Let $M$ be a compact manifold and $f:\,M\to M$ be a $C^1$ diffeomorphism on $M$. If $μ$ is an $f$-invariant probability measure which is absolutely continuous relative to Lebesgue measure and for $μ$ $a.\,\,e.\,\,x\in M,$ there is a dominated splitting $T_{orb(x)}M=E\oplus F$ on its orbit $orb(x)$, then we give an estimation through Lyapunov characteristic exponents from below in Pesin's entropy formula, i.e., the metric entropy $h_μ(f)$ satisfies $$h_μ(f)\geq\int χ(x)dμ,$$ where $χ(x)=\sum_{i=1}^{dim\,F(x)}λ_i(x)$ and $λ_1(x)\geqλ_2(x)\geq...\geqλ_{dim\,M}(x)$ are the Lyapunov exponents at $x…
We prove that if $f$ is a $C^1$-generic symplectic diffeomorphism then the Oseledets splitting along almost every orbit is either trivial or partially hyperbolic. In addition, if $f$ is not Anosov then all the exponents in the center bundle vanish. This establishes in full a result announced by R. Mañé in the ICM 1983. The main technical novelty is a probabilistic method for the construction of perturbations, using random walks.
We consider diffeomorphisms of a compact manifold with a dominated splitting which is hyperbolic except for a "small" subset of points (Hausdorff dimension smaller than one, e.g. a denumerable subset) and prove the existence of physical measures and their stochastical stability. The physical measures are obtained as zero-noise limits which are shown to satisfy the Entropy Formula.
The method of continuous averaging can be regarded as a combination of the Lie method, where a change of coordinates is constructed as a shift along solutions of a differential equation and the Neishtadt method, well-known in perturbation theory for ODE in the presence of exponentially small effects. This method turns out to be very effective in the analysis of one- and multi-frequency averaging, exponentially small separatrix splitting and in the problem of an inclusion of an analytic diffeomorphism into an analytic flow. We discuss general features of the method as well as the applications.
Let $f$ be a $C^{1}$ diffeomorphism on a compact manifold $M$ admitting a partially hyperbolic splitting $TM=E^{s}\oplus_{\prec} E^{1}\oplus_{\prec} E^{2}\cdots \oplus_{\prec}E^{l}\oplus_{\prec} E^{u}$ where $E^{s}$ is uniformly contracting, $E^{u}$ is uniformly expanding and $\dim E^{i}=1,\,1\leq i\leq l.$ We prove an entropy formula w.r.t. the volume growth rate of subspaces in the tangent bundle: $$h_{\rm{top}}(f)=\lim_{n\to+\infty}\frac{1}{n}\log\int\max_{V\subset T_{x}M}|\det Df_{x}^{n}|_{V}|\,d x.$$