Search arXivSearch

arXiv · 2112.11388

Strong Fast Invertibility and Lyapunov Exponents for Linear Systems

Abstract

In 2019 Anthony Quas, Philippe Thieullen and Mohamed Zarrabi introduced the concept of strong fast invertibility for linear cocycles. It relates the growth of volumes between different initial times and, together with a condition on singular value gaps, yields the existence of a dominated splitting of the dynamics. The properties of this splitting largely coincide with those for systems with stable Lyapunov exponents. In this article, we take a closer look at strongly fast invertible systems with bounded coefficients. By linking the dimensions at which a system admits strong fast invertibility to the multiplicities of Lyapunov exponents, we are able to give a full characterization of regular strongly fast invertible systems similar to that of systems with stable Lyapunov exponents. In particular, we show that the stability of Lyapunov exponents implies strong fast invertibility (even in the absence of regularity). Central to our arguments are certain induced systems on spaces of exterior products that represent the evolution of volumes. Finally, we derive convergence results for the computation of Lyapunov exponents via Benettin's algorithm using perturbation theory. While the stronger assumption of stable Lyapunov exponents clearly leaves more freedom on how to choose stepsizes, we derive conditions for the stepsizes with which convergence can be ensured even if a system is only strongly fast invertible.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Florian Noethen. 2024-06-07. Strong Fast Invertibility and Lyapunov Exponents for Linear Systems. https://doi.org/10.14232/ejqtde.2025.1.33

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Equidistribution of saddle periodic points for Hénon-like maps

We prove that under a natural assumption on the dynamical degrees, the saddle periodic points of a Hénon-like map in any dimension equidistribute with respect to the equilibrium measure. Our work is a generalization of the results of Bedford-Lyubich-Smillie, Dujardin, and Dinh-Sibony along with improvements of their techniques. We also investigate some fine properties of Green currents associated with the map.

math.DS

A flux-based approach for analyzing the disguised toric locus of reaction networks

Dynamical systems with polynomial right-hand sides are very important in various applications, e.g., in biochemistry and population dynamics. The mathematical study of these dynamical systems is challenging due to the possibility of multistability, oscillations, and chaotic dynamics. One important tool for this study is the concept of reaction systems, which are dynamical systems generated by reaction networks for some choices of parameter values. Among these, disguised toric systems are remarkably stable: they have a unique attracting fixed point, and cannot give rise to oscillations or chaotic dynamics. The computation of the set of parameter values for which a network gives rise to disguised toric systems (i.e., the disguised toric locus of the network) is an important but difficult task. We introduce new ideas based on network fluxes for studying the disguised toric locus. We prove, under mild assumptions, that the disguised toric locus of any network $G$ is a contractible manifold with boundary, and introduce an associated graph $G^{\max}$ that characterizes its interior. These theoretical tools allow us, for the first time, to compute the full disguised toric locus for many networks of interest.

math.DS

On dissonance and orthogonal projections of self-conformal measures

Let $μ$ be a self-conformal measure on $\mathbb{R}^d$. We establish conditions for $μ$ under which $\dim(μ*ν) = \min\lbrace d,\dimμ+\dimν\rbrace$ holds when $ν$ is any Ahlfors-regular or self-conformal measure on $\mathbb{R}^d$. Our main result states the following sufficient condition: $μ$ is totally non-linear and not supported on a smooth hypersurface. We also establish sufficient (likely non-sharp) algebraic conditions for self-conformal measures which are not totally non-linear. In addition, we show that $\dim μ\circπ^{-1} = \min\{ k, \dim μ\}$ for every ortohogonal projection $π:\mathbb{R}^d\to\mathbb{R}^k$, $0<k<d$, when either $d=2$ and $μ$ is not self-similar and not supported on a line, or $d\geq 3$ and $μ$ is totally non-linear and not supported on a smooth hypersurface.

math.DS