Showing 1–17 of 17 results for author: Pesin, Y

Complete regularity of linear cocycles and the Baire category of the set of Lyapunov-Perron regular points

Authors: Jairo Bochi, Yakov Pesin, Omri Sarig

Abstract: Given a continuous linear cocycle $\mathcal{A}$ over a homeomorphism $f$ of a compact metric space $X$, we investigate its set $\mathcal{R}$ of Lyapunov-Perron regular points, that is, the collection of trajectories of $f$ that obey the conclusions of the Multiplicative Ergodic Theorem. We obtain results roughly saying that the set $\mathcal{R}$ is of first Baire category (i.e., meager) in $X$, un… ▽ More Given a continuous linear cocycle $\mathcal{A}$ over a homeomorphism $f$ of a compact metric space $X$, we investigate its set $\mathcal{R}$ of Lyapunov-Perron regular points, that is, the collection of trajectories of $f$ that obey the conclusions of the Multiplicative Ergodic Theorem. We obtain results roughly saying that the set $\mathcal{R}$ is of first Baire category (i.e., meager) in $X$, unless some rigid structure is present. In some settings, this rigid structure forces the Lyapunov exponents to be defined everywhere and to be independent of the point; that is what we call complete regularity. △ Less

Submitted 3 September, 2024; originally announced September 2024.

Comments: 31 pages, no figures

MSC Class: 37D25; 37D30

Area preserving surface diffeomorphisms with polynomial decay of correlations are ubiquitous

Authors: Yakov Pesin, Samuel Senti, Farruh Shahidi

Abstract: We show that any surface admits an area preserving $C^{1+β}$ diffeomorphism with non-zero Lyapunov exponents which is Bernoulli and has polynomial decay of correlations. We establish both upper and lower polynomial bounds on correlations. In addition, we show that this diffeomorphism satisfies the Central Limit Theorem and has the Large Deviation Property. Finally, we show that the diffeomorphism… ▽ More We show that any surface admits an area preserving $C^{1+β}$ diffeomorphism with non-zero Lyapunov exponents which is Bernoulli and has polynomial decay of correlations. We establish both upper and lower polynomial bounds on correlations. In addition, we show that this diffeomorphism satisfies the Central Limit Theorem and has the Large Deviation Property. Finally, we show that the diffeomorphism we constructed possesses a unique hyperbolic Bernoulli measure of maximal entropy with respect to which it has exponential decay of correlations. △ Less

Submitted 2 September, 2020; v1 submitted 18 March, 2020; originally announced March 2020.

Comments: 47 pages

MSC Class: 37D25; 37D35; 37A25; 37E30

Dimension Estimates for Non-conformal Repellers and Continuity of Sub-additive Topological Pressure

Authors: Yongluo Cao, Yakov Pesin, Yun Zhao

Abstract: Given a non-conformal repeller $Λ$ of a $C^{1+γ}$ map, we study the Hausdorff dimension of the repeller and continuity of the sub-additive topological pressure for the sub-additive singular valued potentials. Such a potential always possesses an equilibrium state. We then use a substantially modified version of Katok's approximating argument, to construct a compact invariant set on which the corre… ▽ More Given a non-conformal repeller $Λ$ of a $C^{1+γ}$ map, we study the Hausdorff dimension of the repeller and continuity of the sub-additive topological pressure for the sub-additive singular valued potentials. Such a potential always possesses an equilibrium state. We then use a substantially modified version of Katok's approximating argument, to construct a compact invariant set on which the corresponding dynamical quantities (such as Lyapunov exponents and metric entropy) are close to that of the equilibrium measure. This allows us to establish continuity of the sub-additive topological pressure and obtain a sharp lower bound of the Hausdorff dimension of the repeller. The latter is given by the zero of the super-additive topological pressure △ Less

Submitted 17 June, 2019; originally announced June 2019.

SRB measures and Young towers for surface diffeomorphisms

Authors: Vaughn Climenhaga, Stefano Luzzatto, Yakov Pesin

Abstract: 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… ▽ More 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. △ Less

Submitted 16 September, 2021; v1 submitted 29 March, 2019; originally announced April 2019.

Comments: Identical to v2 except that some blue text marking previous edits has been reverted to black

MSC Class: 37D25 (primary); 37C40; 37E30 (secondary)

The essential coexistence phenomenon in Hamiltonian dynamics

Authors: Jianyu Chen, Huyi Hu, Yakov Pesin, Ke Zhang

Abstract: We construct an example of a Hamiltonian flow $f^t$ on a $4$-dimensional smooth manifold $\mathcal{M}$ which after being restricted to an energy surface $\mathcal{M}_e$ demonstrates essential coexistence of regular and chaotic dynamics that is there is an open and dense $f^t$-invariant subset $U\subset\mathcal{M}_e$ such that the restriction $f^t|U$ has non-zero Lyapunov exponents in all direction… ▽ More We construct an example of a Hamiltonian flow $f^t$ on a $4$-dimensional smooth manifold $\mathcal{M}$ which after being restricted to an energy surface $\mathcal{M}_e$ demonstrates essential coexistence of regular and chaotic dynamics that is there is an open and dense $f^t$-invariant subset $U\subset\mathcal{M}_e$ such that the restriction $f^t|U$ has non-zero Lyapunov exponents in all directions (except the direction of the flow) and is a Bernoulli flow while on the boundary $\partial U$, which has positive volume all Lyapunov exponents of the system are zero. △ Less

Submitted 10 February, 2019; v1 submitted 22 January, 2019; originally announced January 2019.

Comments: Ya. P. was partially supported by NSF grant DMS-1400027. The authors would like to thank Banff International Research Station, where part of the work was done, for their hospitality

MSC Class: 37D35; 37C45; 37C40; 37D20

Equilibrium measures for some partially hyperbolic systems

Authors: Vaughn Climenhaga, Yakov Pesin, Agnieszka Zelerowicz

Abstract: We study thermodynamic formalism for topologically transitive partially hyperbolic systems in which the center-stable bundle satisfies a bounded expansion property, and show that every potential function satisfying the Bowen property has a unique equilibrium measure. Our method is to use tools from geometric measure theory to construct a suitable family of reference measures on unstable leaves as… ▽ More We study thermodynamic formalism for topologically transitive partially hyperbolic systems in which the center-stable bundle satisfies a bounded expansion property, and show that every potential function satisfying the Bowen property has a unique equilibrium measure. Our method is to use tools from geometric measure theory to construct a suitable family of reference measures on unstable leaves as a dynamical analogue of Hausdorff measure, and then show that the averaged pushforwards of these measures converge to a measure that has the Gibbs property and is the unique equilibrium measure. △ Less

Submitted 23 December, 2020; v1 submitted 19 October, 2018; originally announced October 2018.

Comments: The published version of this paper contains an error in the proof of Lemma 6.6, which is corrected here (the lemma remains correct as stated). arXiv admin note: text overlap with arXiv:1803.10374

MSC Class: Primary: 37D35; 37C45; Secondary: 37C40; 37D30

Journal ref: Journal of Modern Dynamics, 16 (2020), 155-205

Equilibrium states in dynamical systems via geometric measure theory

Authors: Vaughn Climenhaga, Yakov Pesin, Agnieszka Zelerowicz

Abstract: Given a dynamical system with a uniformly hyperbolic (`chaotic') attractor, the physically relevant Sinai-Ruelle-Bowen (SRB) measure can be obtained as the limit of the dynamical evolution of the leaf volume along local unstable manifolds. We extend this geometric construction to the substantially broader class of equilibrium states corresponding to Hölder continuous potentials; these states arise… ▽ More Given a dynamical system with a uniformly hyperbolic (`chaotic') attractor, the physically relevant Sinai-Ruelle-Bowen (SRB) measure can be obtained as the limit of the dynamical evolution of the leaf volume along local unstable manifolds. We extend this geometric construction to the substantially broader class of equilibrium states corresponding to Hölder continuous potentials; these states arise naturally in statistical physics and play a crucial role in studying stochastic behavior of dynamical systems. The key step in our construction is to replace leaf volume with a reference measure that is obtained from a Carathéodory dimension structure via an analogue of the construction of Hausdorff measure. In particular, we give a new proof of existence and uniqueness of equilibrium states that does not use standard techniques based on Markov partitions or the specification property; our approach can be applied to systems that do not have Markov partitions and do not satisfy the specification property. △ Less

Submitted 25 October, 2018; v1 submitted 27 March, 2018; originally announced March 2018.

Comments: 42 pages, 10 figures. Replaced detailed proofs with outlines and proof sketches as this is a survey paper; detailed proofs now appear in the separate paper arXiv:1810.08663 by the same authors, which covers a broader class of systems

MSC Class: 37D35; 37C45; 37C40; 37D20

The geometric approach for constructing Sinai-Ruelle-Bowen measures

Authors: Vaughn Climenhaga, Stefano Luzzatto, Yakov Pesin

Abstract: An important class of `physically relevant' measures for dynamical systems with hyperbolic behavior is given by Sinai-Ruelle-Bowen (SRB) measures. We survey various techniques for constructing SRB measures and studying their properties, paying special attention to the geometric `push-forward' approach. After describing this approach in the uniformly hyperbolic setting, we review recent work that e… ▽ More An important class of `physically relevant' measures for dynamical systems with hyperbolic behavior is given by Sinai-Ruelle-Bowen (SRB) measures. We survey various techniques for constructing SRB measures and studying their properties, paying special attention to the geometric `push-forward' approach. After describing this approach in the uniformly hyperbolic setting, we review recent work that extends it to non-uniformly hyperbolic systems. △ Less

Submitted 15 July, 2016; originally announced July 2016.

Comments: 30 pages

Thermodynamics of the Katok Map

Authors: Yakov Pesin, Samuel Senti, Ke Zhang

Abstract: We effect thermodynamical formalism for the non-uniformly hyperbolic $C^\infty$ map of the two dimensional torus known as the Katok map. It is a slowdown of a linear Anosov map near the origin and it is a local (but not small) perturbation. We prove the existence of equilibrium measures for any continuous potential function and obtain uniqueness of equilibrium measures associated to the geometric… ▽ More We effect thermodynamical formalism for the non-uniformly hyperbolic $C^\infty$ map of the two dimensional torus known as the Katok map. It is a slowdown of a linear Anosov map near the origin and it is a local (but not small) perturbation. We prove the existence of equilibrium measures for any continuous potential function and obtain uniqueness of equilibrium measures associated to the geometric $t$-potential $\varphi_t=-t\log |df|_{E^u(x)}|$ for any $t\in(t_0,\infty)$, $t\neq 1$ where $E^u(x)$ denotes the unstable direction. We show that $t_0$ tends to $-\infty$ as the size of the perturbation tends to zero. Finally, we establish exponential decay of correlations as well as the Central Limit Theorem for the equilibrium measures associated to $\varphi_t$ for all values of $t\in (t_0, 1)$. △ Less

Submitted 19 June, 2017; v1 submitted 28 March, 2016; originally announced March 2016.

Comments: 31 pages to appear in Ergod. Th. & Dy.nam. Sys

MSC Class: 37D25; 37D35; 37D05; 37E10

Path connectedness and entropy density of the space of ergodic hyperbolic measures

Authors: Anton Gorodetski, Yakov Pesin

Abstract: We show that the space of hyperbolic ergodic measures of a given index supported on an isolated homoclinic class is path connected and entropy dense provided that any two hyperbolic periodic points in this class are homoclinically related. As a corollary we obtain that the closure of this space is also path connected. We show that the space of hyperbolic ergodic measures of a given index supported on an isolated homoclinic class is path connected and entropy dense provided that any two hyperbolic periodic points in this class are homoclinically related. As a corollary we obtain that the closure of this space is also path connected. △ Less

Submitted 7 June, 2017; v1 submitted 8 May, 2015; originally announced May 2015.

Comments: 9 pages

MSC Class: 37D25

Non-stationary non-uniform hyperbolicity: SRB measures for dissipative maps

Authors: Vaughn Climenhaga, Dmitry Dolgopyat, Yakov Pesin

Abstract: 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 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. △ Less

Submitted 28 April, 2016; v1 submitted 23 May, 2014; originally announced May 2014.

Comments: 54 pages, significant restructuring of exposition and reorganization of proofs for clarity. Main results remain the same

Journal ref: Comm. Math. Phys. 346 (2016), 553-602

Thermodynamics of Towers of Hyperbolic Type

Authors: Yakov Pesin, Samuel Senti, Ke Zhang

Abstract: We introduce a class of continuous maps $f$ of a compact topological space $X$ admitting inducing schemes of hyperbolic type and describe the associated tower constructions. We then establish a thermodynamic formalism, i.e., we describe a class of real-valued potential functions $\varphi$ on $X$ such that $f$ possess a unique equilibrium measure $μ_\varphi$, associated to each $\varphi$, which min… ▽ More We introduce a class of continuous maps $f$ of a compact topological space $X$ admitting inducing schemes of hyperbolic type and describe the associated tower constructions. We then establish a thermodynamic formalism, i.e., we describe a class of real-valued potential functions $\varphi$ on $X$ such that $f$ possess a unique equilibrium measure $μ_\varphi$, associated to each $\varphi$, which minimizes the free energy among the measures that are liftable to the tower. We also describe some ergodic properties of equilibrium measures including decay of correlations and the central limit theorem. We then study the liftability problem and show that under some additional assumptions on the inducing scheme every measure that charges the base of the tower and has sufficiently large entropy is liftable. Our results extend those obtained in [PS05, PS08] for inducing schemes of expanding types and apply to certain multidimensional maps. Applications include obtaining the thermodynamic formalism for Young's diffeomorphisms, the Hénon family at the first birfucation and the Katok map. In particular for the Katok map we obtain the exponential decay of correlations for equilibrium measures associated to the geometric potentials with $0\le t<1$. △ Less

Submitted 13 November, 2014; v1 submitted 12 March, 2014; originally announced March 2014.

Comments: 42 pages, 1 figure. To appear in Trans. Amer. Math. Soc

MSC Class: 37D25; 37D35; 37E30; 37E35

Hadamard-Perron theorems and effective hyperbolicity

Authors: Vaughn Climenhaga, Yakov Pesin

Abstract: We prove several new versions of the Hadamard-Perron Theorem, which relates infinitesimal dynamics to local dynamics for a sequence of local diffeomorphisms, and in particular establishes the existence of local stable and unstable manifolds. Our results imply the classical Hadamard-Perron Theorem in both its uniform and non-uniform versions, but also apply much more generally. We introduce a notio… ▽ More We prove several new versions of the Hadamard-Perron Theorem, which relates infinitesimal dynamics to local dynamics for a sequence of local diffeomorphisms, and in particular establishes the existence of local stable and unstable manifolds. Our results imply the classical Hadamard-Perron Theorem in both its uniform and non-uniform versions, but also apply much more generally. We introduce a notion of "effective hyperbolicity" and show that if the rate of effective hyperbolicity is asymptotically positive, then the local manifolds are well-behaved with positive asymptotic frequency. By applying effective hyperbolicity to finite orbit segments, we prove a closing lemma whose conditions can be verified with a finite amount of information. △ Less

Submitted 10 March, 2013; originally announced March 2013.

Comments: 45 pages

MSC Class: 37D10; 37D25; 37C05;

Journal ref: Ergodic Theory Dynam. Systems 36 (2016), 23-63

Lifting Measures to Inducing Schemes

Authors: Yakov Pesin, Samuel Senti, Ke Zhang

Abstract: In this paper we study the liftability property for piecewise continuous maps of compact metric spaces, which admit inducing schemes in the sense of Pesin and Senti [PS05, PS06]. We show that under some natural assumptions on the inducing schemes - which hold for many known examples - any invariant ergodic Borel probability measure of sufficiently large entropy can be lifted to the tower associa… ▽ More In this paper we study the liftability property for piecewise continuous maps of compact metric spaces, which admit inducing schemes in the sense of Pesin and Senti [PS05, PS06]. We show that under some natural assumptions on the inducing schemes - which hold for many known examples - any invariant ergodic Borel probability measure of sufficiently large entropy can be lifted to the tower associated with the inducing scheme. The argument uses the construction of connected Markov extensions due to Buzzi [Buz99], his results on the liftability of measures of large entropy, and a generalization of some results by Bruin [Bru95] on relations between inducing schemes and Markov extensions. We apply our results to study the liftability problem for one-dimensional cusp maps (in particular, unimodal and multimodal maps) and for some multidimensional maps. △ Less

Submitted 5 November, 2007; originally announced November 2007.

Comments: 28 pages. Final version. To appear in Ergodic Theory and Dynamical Systems

MSC Class: 37D25; 37D35; 37E05; 37E10; 37F10

Journal ref: Ergodic Theory Dynam. Systems 28 (2008), no. 2, 553-574

Equilibrium Measures for Maps with Inducing Schemes

Authors: Yakov Pesin, Samuel Senti

Abstract: We introduce a class of continuous maps f of a compact metric space I admitting inducing schemes and describe the tower constructions associated with them. We then establish a thermodynamical formalism, i.e., describe a class of real-valued potential functions φon I which admit unique equilibrium measures μ_φminimizing the free energy for a certain class of measures. We also describe ergodic pro… ▽ More We introduce a class of continuous maps f of a compact metric space I admitting inducing schemes and describe the tower constructions associated with them. We then establish a thermodynamical formalism, i.e., describe a class of real-valued potential functions φon I which admit unique equilibrium measures μ_φminimizing the free energy for a certain class of measures. We also describe ergodic properties of equilibrium measures including decay of correlation and the Central Limit Theorem. Our results apply in particular to some one-dimensional unimodal and multimodal maps as well as to multidimensional nonuniformly hyperbolic maps admitting Young's tower. Examples of potential functions to which our theory applies include φ_t=-t\log|df| with t\in(t_0, t_1) for some t_0<1<t_1. In the particular case of S-unimodal maps we show that one can choose t_0<0 and that the class of measures under consideration comprises all invariant Borel probability measures. Thus our results establish existence and uniqueness of both the measure of maximal entropy (by a different method than Hofbauer) and the absolutely continuous invariant measure extending results by Bruin and Keller for the parameters under consideration. △ Less

Submitted 4 June, 2008; v1 submitted 25 September, 2006; originally announced September 2006.

MSC Class: 37D25; 37D35; 37D45; 37E05; 37E10

Journal ref: J. Mod. Dyn. 2 (2008), no. 3, 397- 430

Thermodynamical Formalism Associated with Inducing Schemes for One-dimensional Maps

Authors: Yakov Pesin, Samuel Senti

Abstract: For a smooth map f of a compact interval I admitting an inducing scheme we establish a thermodynamical formalism, i.e., describe a class of real-valued potential functions $φ$ on I which admit a unique equilibrium measure $μ_φ$. Our results apply to unimodal maps corresponding to a positive Lebesgue measure set of parameters in a one-parameter transverse family. For a smooth map f of a compact interval I admitting an inducing scheme we establish a thermodynamical formalism, i.e., describe a class of real-valued potential functions $φ$ on I which admit a unique equilibrium measure $μ_φ$. Our results apply to unimodal maps corresponding to a positive Lebesgue measure set of parameters in a one-parameter transverse family. △ Less

Submitted 23 November, 2005; originally announced November 2005.

Comments: 12 pages, to appear in Moscow Mathematical Journal

MSC Class: 37D25; 37D35; 37E05; 37E10

Journal ref: Mosc. Math. J. 5 (2005), no. 3, 669 - 678, 743 - 744

Dimension and product structure of hyperbolic measures

Authors: Luis Barreira, Yakov Pesin, Jörg Schmeling

Abstract: We prove that every hyperbolic measure invariant under a C^{1+α} diffeomorphism of a smooth Riemannian manifold possesses asymptotically ``almost'' local product structure, i.e., its density can be approximated by the product of the densities on stable and unstable manifolds up to small exponentials. This has not been known even for measures supported on locally maximal hyperbolic sets. Using… ▽ More We prove that every hyperbolic measure invariant under a C^{1+α} diffeomorphism of a smooth Riemannian manifold possesses asymptotically ``almost'' local product structure, i.e., its density can be approximated by the product of the densities on stable and unstable manifolds up to small exponentials. This has not been known even for measures supported on locally maximal hyperbolic sets. Using this property of hyperbolic measures we prove the long-standing Eckmann-Ruelle conjecture in dimension theory of smooth dynamical systems: the pointwise dimension of every hyperbolic measure invariant under a C^{1+α} diffeomorphism exists almost everywhere. This implies the crucial fact that virtually all the characteristics of dimension type of the measure (including the Hausdorff dimension, box dimension, and information dimension) coincide. This provides the rigorous mathematical justification of the concept of fractal dimension for hyperbolic measures. △ Less

Submitted 30 April, 1999; originally announced May 1999.

Comments: 29 pages, published version

Report number: Annals migration 4-2001

Journal ref: Ann. of Math. (2) 149 (1999), no. 3, 755-783