Nonexistence of Lyapunov Exponents for Matrix Cocycles

Xueting Tian
DOI: https://doi.org/10.1214/15-aihp733
2017-01-01
Annales de l Institut Henri Poincaré Probabilités et Statistiques
Abstract:It follows from Oseledec Multiplicative Ergodic Theorem (or Kingman's Sub-additive Ergodic Theorem) that the Lyapunov-irregular set of points for which the Oseledec averages of a given continuous cocycle diverge has zero measure with respect to any invariant probability measure. In strong contrast, for any dynamical system f : X -> X with exponential specification property and a Holder continuous matrix cocycle A : X -> GL(m, R), we show here that if there exist ergodic measures with different Lyapunov spectrum, then the Lyapunov-irregular set of A is residual (i.e., containing a dense G(delta) set). Here we point out that exponential specification is introduced and plays critical role, and it is still unknown whether specification is enough. The above result can be used not only for all mixing hyperbolic systems but also for some non-hyperbolic systems.
What problem does this paper attempt to address?