The Lyapunov exponents of locally constant GL(2;C)-cocycles over Bernoulli shifts depend continuously on the cocycle and on the invariant probability. The Oseledets decomposition also depends continuously on the cocycle, in measure.
We prove that, for semi-invertible continuous cocycles, continuity of Lyapunov exponents is equivalent to continuity, in measure, of Oseledets subspaces.
In this paper we establish uniform large deviations estimates of exponential type and Hölder continuity of the Lyapunov exponents for random non-invertible cocycles with constant rank.
We provide conditions which imply the continuity of the Lyapunov exponents for non-uniformly fiber-bunched cocycles in $SL(2,\mathbb{R})$. The main theorem is an extension of the result of Backes, Brown and Butler and gives a partial answer to a conjecture of Marcelo Viana.
We prove the Hölder continuity of the Lyapunov exponent for quasi-periodic Schrödinger cocycles with a $C^2$ cos-type potential and any fixed Liouvillean frequency, provided the coupling constant is sufficiently large. Moreover, the Hölder exponent is independent of the frequency and the coupling constant.
We prove that the Bochi-Mañé theorem is false, in general, for linear cocycles over non-invertible maps: there are C0-open subsets of linear cocycles that are not uniformly hyperbolic and yet have Lyapunov exponents bounded from zero.
We prove a conjecture of Viana which states that Lyapunov exponents vary continuously when restricted to $GL(2,\mathbb{R})$-valued cocycles over a subshift of finite type which admit invariant holonomies that depend continuously on the cocycle.
We prove a finite smooth version of the entropic continuity of Lyapunov exponents of Buzzi-Crovisier-Sarig for $C^\infty$ surface diffeomorphisms [9]. As a consequence we show that any $C^r$, $r > 1$, smooth surface diffeomorphism $f$ with $h_{top}(f) > \frac{1}{r} \limsup_n \frac{1}{n} \log^+ \|df^n\|$ admits a measure of maximal entropy. We also prove the $C^r$ continuity of the topological entropy at $f$.
We study the entropy and Lyapunov exponents of invariant measures $μ$ for smooth surface diffeomorphisms $f$, as functions of $(f,μ)$. The main result is an inequality relating the discontinuities of these functions. One consequence is that for a $C^\infty$ surface diffeomorphisms, on any set of ergodic measures with entropy bounded away from zero, continuity of the entropy implies continuity of the exponents. Another consequence is the upper semi-continuity of the Hausdorff dimension on the set of ergodic invariant measures with entropy bounded away from zero. We also obtain a new criterion f…
This paper is concerned with the study of linear cocycles over uniformly ergodic Markov shifts on a compact space of symbols. We establish the joint Hölder continuity of the maximal Lyapunov exponent as a function of the cocycle and the transition kernel in the vicinity of any irreducible cocycle with simple maximal Lyapunov exponent. Our approach, via Furstenberg's formula, shows the Hölder continuous dependence on the data of the stationary measure of the projective cocycle and in particular provides a more computable Hölder exponent.
Consider the Banach manifold of real analytic linear cocycles with values in the general linear group of any dimension and base dynamics given by a Diophantine translation on the circle. We prove a precise higher dimensional Avalanche Principle and use it in an inductive scheme to show that the Lyapunov spectrum blocks associated to a gap pattern in the Lyapunov spectrum of such a cocycle are locally Holder continuous. Moreover, we show that all Lyapunov exponents are continuous everywhere in this Banach manifold, irrespective of any gap pattern in their spectra. These results also hold for Di…
We prove that a locally constant $SL_{2}(\mathbb{R})$-valued cocycle over the shift generated by an irreducible collection of matrices is a continuity point for Lyapunov exponents in the $α$-Hölder topology for every $α> 0$. This gives negative answers to conjectures of Viana and the author; we pose a new conjecture to replace these conjectures. We show that an analogous continuity result also holds for $GL_{2}(\mathbb{R})$-valued cocycles that admit canonical holonomies.
We show that if the base frequency is Diophantine, then the Lyapunov exponent of a $C^{k}$ quasi-periodic $SL(2,\mathbb{R})$ cocycle is $1/2$-Hölder continuous in the almost reducible regime, if $k$ is large enough. As a consequence, we show that if the frequency is Diophantine, $k$ is large enough, and the potential is $C^k$ small, then the integrated density of states of the corresponding quasi-periodic Schrödinger operator is $1/2$-Hölder continuous.
We consider a similar type of scenario for the disappearance of uniform of hyperbolicity as in Bjerklöv and Saprykina (2008, Nonlinearity 21), where it was proved that the minimum distance between invariant stable and unstable bundles has a linear power law dependence on parameters. In this scenario we prove that the Lyapunov exponent is sharp $\frac12$-Hölder continuous. In particular, we show that the Lyapunov exponent of Schrödinger cocycles with a potential having a unique non-degenerate minimum, is sharp $\frac12$-Hölder continuous below the lowest energy of the spectrum, in the large cou…
We consider volume-preserving perturbations of the time-one map of the geodesic flow of a compact surface with negative curvature. We show that if the Liouville measure has Lebesgue disintegration along the center foliation then the perturbation is itself the time-one map of a smooth volume-preserving flow, and that otherwise the disintegration is necessarily atomic.
We prove two continuity theorems for the Lyapunov exponents of the maximal entropy measure of polynomial automorphisms of $\mathbb{C}^2$. The first continuity result holds for any family of polynomial automorphisms of constant dynamical degree. The second result is the continuity of the upper exponent for families degenerating to a 1-dimensional map.
We show that for a class of $C^2$ quasiperiodic potentials and for any Diophantine frequency, the Lyapunov exponents of the corresponding Schrödinger cocycles are uniformly positive and weak Hölder continuous as function of energies. As a corollary, we also obtain that the corresponding integrated density of states (IDS) is weak Hölder continous. Our approach is of purely dynamical systems, which depends on a detailed analysis of asymptotic stable and unstable directions. We also apply it to more general $\mathrm{SL}(2,\mathbb R)$ cocycles, which in turn can be applied to get uniform positivit…
We collect some applications of the variational formula established by Schröder (1988) and Rueß(2013) for the quenched Lyapunov exponent of Brownian motion in stationary and ergodic nonnegative potential. We show for example that the Lyapunov exponent for nondeterministic potential is strictly lower than the Lyapunov exponent for the averaged potential. The behaviour of the Lyapunov exponent under independent perturbations of the underlying potential is examined. And with the help of counterexamples we are able to give a detailed picture of the continuity properties of the Lyapunov exponent.
We study regularity properties of the Lyapunov exponent L of quasiperiodic operators with analytic potential, under no assumptions on the Diophantine class of the frequency. We prove that L is jointly continuous, in frequency and energy, at every irrational frequency.
We construct discontinuous point of the Lyapunov exponent of quasiperiodic Schrödinger cocycles in the Gevrey space $G^{s}$ with $s>2$. In contrast, the Lyapunov exponent has been proved to be continuous in the Gevrey space $G^{s}$ with $s<2$ \cite{klein,cgyz}. This shows that $G^2$ is the transition space for the continuity of the Lyapunov exponent.
We consider the quasi-periodic Jacobi operator $H_{x,ω}$ in $l^2(\mathbb{Z})$ $(H_{x,ω}ϕ)(n) = -b(x+(n+1)ω)ϕ(n+1) - b(x+nω)ϕ(n-1) + a(x+nω)ϕ(n) = Eϕ(n),\ n\in\mathbb{Z},$ where $a(x),\ b(x)$ are analytic function on $\mathbb{T}$, $b$ is not identically zero, and $ω$ obeys some strong Diophantine condition. We consider the corresponding unimodular cocycle. We prove that if the Lyapunov exponent $L(E)$ of the cocycle is positive for some $E=E_0$, then there exists $ρ_0=ρ_0(a,b,ω,E_0)$, $β=β(a,b,ω)$ such that $|L(E)-L(E')|<|E-E'|^β$ for any $E,E'\in (E_0-ρ_0,E_0+ρ_0)$. If $L(E)>0$ for all $E$ in …
It is known that the Lyapunov exponent of analytic 1-frequency quasiperiodic cocycles is continuous in cocycle and, when the frequency is irrational, jointly in cocycle and frequency. In this paper, we extend a result of Bourgain to show the same continuity result for multifrequency quasiperiodic $M(2,\mathbb{C})$ cocycles. Our corollaries include applications to multifrequency Jacobi cocycles with periodic background potentials.
In this paper we prove the continuity of all Lyapunov exponents, as well as the continuity of the Oseledets decomposition, for a class of irreducible cocycles over strongly mixing Markov shifts. Moreover, gaps in the Lyapunov spectrum lead to a Hölder modulus of continuity for these quantities. This result is an application of the abstract continuity theorems obtained in [4], and generalizes a theorem of E. Le Page on the Hölder continuity of the maximal LE for one-parameter families of strongly irreducible and contracting cocycles over a Bernoulli shift. This is a draft of a chapter in our fo…
We study ergodic optimization and multifractal behavior of Lyapunov exponents for matrix cocycles. We show the continuity of the entropy spectrum at the boundary of Lyapunov spectrum in the sense that $h_{top}(E(α_{t}))\ \rightarrow h_{top}(E(β(\mathcal{A}))$ for generic cocycles, where $E(α)=\{x\in X: \lim_{n\rightarrow \infty}\frac{1}{n}\log \|\mathcal{A}^{n}(x)\|=α\}$. We also show that the Lyapunov spectrum is equal to the closure of the set where the entropy spectrum is positive for such cocycles over mixing subshifts of finite type. Moreover, we prove the restricted variational principle…
We give a new proof of E. Le Page's theorem on the Holder continuity of the first Lyapunov exponent in the class of irreducible Bernoulli cocycles. This suggests an algorithm to approximate the first Lyapunov exponent, as well as the stationary measure, for such random cocycles.
We prove that the Lyapunov exponent of quasi-periodic cocyles with singularities behaves continuously over the analytic category. We thereby generalize earlier results, where singularities were either excluded completely or constrained by additional hypotheses. Applications are one-parameter families of analytic Jacobi operators, such as extended Harper's model describing crystals subject to external magnetic fields.
Pointwise modulus of continuity of the Lyapunov exponent and integrated density of states for analytic multi-frequency quasiperiodic $M(2, \mathbb{C})$ cocycles
In this paper we solve a problem about the Schr$\ddot{o}$dinger operator with potential $v(θ)=2λcos2πθ/(1-αcos2πθ),\ (|α|<1)$ in physics. With the help of the formula of Lyapunov exponent in the spectrum, the coexistence of zero Lyapunov exponent and positive Lyapunov exponent for some parameters is first proved, and there exists a curve that separates them. The spectrum in the region of positive Lyapunov exponent is purely pure point spectrum with exponentially decaying eigenfunctions for almost every frequency and almost every phase. From the research, we realize that the infinite potential …
An analytic quasi-periodic cocycle is a linear cocycle over a fixed ergodic torus translation of one or several variables, where the fiber action depends analytically on the base point. Consider the space of all such cocycles of any given dimension and endow it with the uniform norm. Assume that the translation vector satisfies a generic Diophantine condition. We prove large deviation type estimates for the iterates of such cocycles, which, moreover, are stable under small perturbations of the cocycle. As a consequence of these uniform estimates, we establish continuity properties of the Lyapu…
Given a hyperbolic homeomorphism on a compact metric space, consider the space of linear cocycles over this base dynamics which are Hölder continuous and whose projective actions are partially hyperbolic dynamical systems. We prove that locally near any typical cocycle, the Lyapunov exponents are Hölder continuous functions relative to the uniform topology. This result is obtained as a consequence of a uniform large deviations type estimate in the space of cocycles. As a byproduct of our approach, we also establish other statistical properties for the iterates of such cocycles, namely a centra…
In this paper, two types of Lyapunov exponents: random Lyapunov exponents and directional Lyapunov exponents, and the corresponding entropies: random entropy and directional entropy, are considered for smooth $\mathbb{Z}^k$-actions. The close relation among these quantities are investigated and the formulas of them are given via the Lyapunov exponents of the generators.
We prove that, for semi-invertible linear cocycles, Lyapunov exponents of ergodic measures may be approximated by Lyapunov exponents on periodic points.
We prove that if $μ$ is a finitely supported measure on $\text{SL}_2(\mathbb{R})$ with positive Lyapunov exponent but not uniformly hyperbolic, then the Lyapunov exponent function is not $α$-Hölder around $μ$ for any $α$ exceeding the Shannon entropy of $μ$ over the Lyapunov exponent of $μ$.
One knows that the set of quasi-periodic Schrödinger cocycles with positive Lyapunov exponent is open and dense in the analytic topology. In this paper, we construct cocycles with positive Lyapunov exponent which can be approximated by ones with zero Lyapunov exponent in the space of ${\cal C}^ l$ ($1 \le l\le \infty$) smooth quasi-periodic cocycles. As a consequence, the set of quasi-periodic Schrödinger cocycles with positive Lyapunov exponent is not ${\cal C}^ l$ open.
In this work we study relations between regularity of invariant foliations and Lyapunov exponents of partially hyperbolic diffeomorphisms. We suggest a new regularity condition for foliations in terms of desintegration of Lebesgue measure which can be considered as a criterium for rigidity of Lyapunov exponents.
We prove that Sp(2d;R), HSp(2d) and pseudo unitary cocycles with at least one non-zero Lyapunov exponent are dense in all usual regularity classes for non periodic dynamical systems. For Schrödinger operators on the strip, we prove a similar result for density of positive Lyapunov exponents.
We show that SL(2,R) cocycles with a positive Lyapunov exponent are dense in all regularity classes and for all non-periodic dynamical systems. For Schrödinger cocycles, we show prevalence of potentials for which the Lyapunov exponent is positive for a dense set of energies.
This paper is concerned with relationships of Lyapunov exponents with sensitivity and stability for non-autonomous discrete systems. Some new concepts are introduced for non-autonomous discrete systems, including Lyapunov exponents, strong sensitivity at a point and in a set, Lyapunov stability, and exponential asymptotical stability. It is shown that the positive Lyapunov exponent at a point implies strong sensitivity for a class of non-autonomous discrete systems. Furthermore, the uniformly positive Lyapunov exponents in a totally invariant set imply strong sensitivity in this set under cert…
The Lyapunov exponents of GL(2)-cocycles over Markov shifts depend continuously on the underlying data, that is, on the matrix coefficients and the Markov measure transition probabilities.
Consider a $C^1$ vector field together with an ergodic invariant probability that has $\ell$ nonzero Lyapunov exponents. Using orthonormal moving frames along certain transitive orbits we construct a linear system of $\ell$ differential equations which is a reduced form of Liao's "standard system". We show that the Lyapunov exponents of this linear system coincide with all the nonzero exponents of the given vector field with respect to the given probability. Moreover, we prove that these Lyapunov exponents have a persistence property that implies that a "Liao perturbation" preserves both sign …
Given a finite set of quasi-periodic cocycles the random product of them is defined as the random composition according to some probability measure. We prove that the set of $C^r$, $0\leq r \leq \infty$ (or analytic) $k+1$-tuples of quasi periodic cocycles taking values in $SL_2(\mathbb{R})$ such that the random product of them has positive Lyapunov exponent contains a $C^0$ open and $C^r$ dense subset which is formed by $C^0$ continuity point of the Lyapunov exponent For $k+1$-tuples of quasi periodic cocycles taking values in $GL_d(\mathbb{R})$ for $d>2$, we prove that if one of them is diag…
We construct an invariant measure for a piecewise analytic interval map whose Lyapunov exponent is not defined. Moreover, for a set of full measure, the pointwise Lyapunov exponent is not defined. This map has a Lorenz-like singularity and non-flat critical points.
We show that the top Lyapunov exponent $λ_+(p)$ , $p = (p_1, \cdots, p_N)$ with $p_i >0$ for each $i$, associated with a random product of quasi-periodic cocycles depends real analytically on the transition probabilities $p$ whenever $λ_+(p)$ is simple. Moreover if the spectrum at $p$ is simple (all Lyapunov exponents having multiplicity one ) then all Lyapunov exponents depend real analytically on $p$.
We prove that in an open and dense set, Symplectic linear cocycles over time one maps of Anosov flows, have positive Lyapunov exponents for SRB measures.
We study the connection between the Lyapunov exponents and the volume growth of boundary distortion of regions in the phase space of the dynamical system.
It has been recently realized that for abundant dynamical systems on a compact manifold, the set of points for which Lyapunov exponents fail to exist, called the Lyapunov irregular set, has positive Lebesgue measure. In the present paper, we show that under any physical noise, the Lyapunov irregular set has zero Lebesgue measure and the number of such Lyapunov exponents is finite. This result is a Lyapunov exponent version of Araújo's theorem on the existence and finitude of time averages. Furthermore, we numerically compute the Lyapunov exponents for a surface flow with an attracting heterocl…
In this article, we consider the ergodic optimization of the top Lyapunov exponent. We prove that there is a unique maximising measure of top Lyapunov expoent for typical matrix cocyles. By using the results we obtain, we prove that in any non-uniquely ergodic minimal dynamical system, the Lyapunov-irregular points are typical for typical matrix cocyles.