Nonuniform exponential contractions and Lyapunov sequences

For a nonautonomous dynamics with discrete time obtained from the product of linear operators, we show that a nonuniform exponential contraction can be completely characterized in terms of what we call strict Lyapunov sequences. We note that nonuniform exponential contractions include as a very particular case the uniform exponential contractions that correspond to have a uniform asymptotic stability of the dynamics. We also obtain “inverse theorems” that give explicitly strict Lyapunov sequences for each nonuniform exponential contraction. Essentially, the Lyapunov sequences are obtained in terms of what are usually called Lyapunov norms, that is, norms with respect to which the behavior of a nonuniform exponential contraction becomes uniform. We also show how the characterization of nonuniform exponential contractions in terms of quadratic Lyapunov sequences can be used to establish in a very simple manner the persistence of the asymptotic stability of a nonuniform exponential contraction under sufficiently small linear or nonlinear perturbations. Moreover, we describe an appropriate version of our results in the context of ergodic theory showing that the existence of an eventually strict Lyapunov function implies that all Lyapunov exponents are negative almost everywhere.     

Stability of dichotomies in difference equations with infinite delay

For delay difference equations with infinite delay we consider the notion of nonuniform exponential dichotomy. This includes the notion of uniform exponential dichotomy as a very special case. Our main aim is to establish a stable manifold theorem under sufficiently small nonlinear perturbations. We also establish the robustness of nonuniform exponential dichotomies under sufficiently small linear perturbations. Finally, we characterize the nonuniform exponential dichotomies in terms of strict Lyapunov sequences. In particular, we construct explicitly a strict Lyapunov sequence for each exponential dichotomy.     

Polynomial growth rates

We consider linear equations v^′=A(t)v with a polynomial asymptotic behavior, that can be stable, unstable and central. We show that this behavior is exhibited by a large class of differential equations, by giving necessary and sufficient conditions in terms of generalized “polynomial” Lyapunov exponents for the existence of polynomial behavior. In particular, any linear equation in block form in a finite-dimensional space, with three blocks having “polynomial” Lyapunov exponents respectively negative, positive, and zero, has a nonuniform version of polynomial trichotomy, which corresponds to the usual notion of trichotomy but now with polynomial growth rates. We also obtain sharp bounds for the constants in the notion of polynomial trichotomy. In addition, we establish the persistence under sufficiently small nonlinear perturbations of the stability of a nonuniform polynomial contraction.     

Lyapunov functions versus exponential contractions

For nonautonomous linear equations in a Banach space admitting a nonuniform version of exponential contraction, we give an optimal characterization of the exponential behavior in terms of strict Lyapunov sequences. In particular, we construct explicitly strict Lyapunov sequences for each exponential contraction. We also consider the particular case of quadratic Lyapunov functions, and we use the corresponding characterization of the exponential behavior in terms of these functions to show that the stability of an exponential contraction persists under sufficiently small perturbations.     

Stability theory and Lyapunov regularity

We establish the stability under perturbations of the dynamics defined by a sequence of linear maps that may exhibit both nonuniform exponential contraction and expansion. This means that the constants determining the exponential behavior may increase exponentially as time approaches infinity. In particular, we establish the stability under perturbations of a nonuniform exponential contraction under appropriate conditions that are much more general than uniform asymptotic stability. The conditions are expressed in terms of the so-called regularity coefficient, which is an essential element of the theory of Lyapunov regularity developed by Lyapunov himself. We also obtain sharp lower and upper bounds for the regularity coefficient, thus allowing the application of our results to many concrete dynamics. It turns out that, using the theory of Lyapunov regularity, we can show that the nonuniform exponential behavior is ubiquitous, contrarily to what happens with the uniform exponential behavior that although robust is much less common. We also consider the case of infinite-dimensional systems.     

Lyapunov regularity of impulsive differential equations

For linear impulsive differential equations, we give a simple criterion for the existence of a nonuniform exponential dichotomy, which includes uniform exponential dichotomies as a very special case. For this we introduce the notion of Lyapunov regularity for a linear impulsive differential equation, in terms of the so-called regularity coefficient. The theory is then used to show that if the Lyapunov exponents are nonzero, then there is a nonuniform exponential behavior, which can be expressed in terms of the Lyapunov exponents of the differential equation and of the regularity coefficient. We also consider the particular case of nonuniform exponential contractions when there are only negative Lyapunov exponents. Having this relation in mind, it is also of interest to provide alternative characterizations of Lyapunov regularity, and particularly to obtain sharp lower and upper bound for the regularity coefficient. In particular, we obtain bounds expressed in terms of the matrices defining the impulsive linear system, and we obtain characterizations in terms of the exponential growth rate of volumes. In addition we establish the persistence of the stability of a linear impulsive differential equation under sufficiently small nonlinear perturbations.     

Stability of delay equations via Lyapunov functions

The importance of Lyapunov functions is well known. In the general setting of nonautonomous linear delay equations v^′=L(t)vt, we show how to characterize completely the existence of a nonuniform exponential contraction or of a nonuniform exponential dichotomy in terms of Lyapunov functions. This includes uniform exponential behavior as a very special case, and it provides an alternative (usually simpler and particularly more direct) approach to verify the existence of exponential behavior or to obtain the robustness of the dynamics under sufficiently small perturbations.     

Conjugacies for linear and nonlinear perturbations of nonuniform behavior

We construct topological conjugacies between linear and nonlinear evolution operators that admit either a nonuniform exponential contraction or a nonuniform exponential dichotomy. We consider evolution operators defined by nonautonomous differential equations x^′=A(t)x+f(t,x) in a Banach space. The conjugacies are obtained by first considering sufficiently small linear and nonlinear perturbations of linear equations x^′=A(t)x. In the case of linear perturbations, we construct in a more or less explicit manner topological conjugacies between the two linear flows. In the case of nonlinear perturbations, we obtain a version of the Grobman-Hartman theorem for nonuniformly hyperbolic dynamics. Furthermore, all the conjugacies that we construct are locally Hölder continuous provided that the vectors fields are of class C¹. As a byproduct of our approach, we give conditions for the robustness of strong nonuniform exponential behavior, in the sense that under sufficiently small perturbations the structure determined by the stable and unstable bundles persists up to small variations. We also show that the constants determining the nonuniform exponential contraction or nonuniform exponential dichotomy vary continuously with the perturbation. All the results are obtained in Banach spaces.     

Robustness for Stable Impulsive Equations via Quadratic Lyapunov Functions

For a linear impulsive differential equation, we give a complete characterization of the existence of a nonuniform exponential contraction in terms of quadratic Lyapunov functions and of the operators defining them. This corresponds to consider a nonuniform exponential stability of the dynamics, which is typical for example in the context of ergodic theory. As an application, we use this characterization to establish in a very simple manner the robustness property of a nonuniform exponential contraction under sufficiently small linear perturbations. In addition, we obtain versions of the robustness property for perturbations of the jumping times and of a strong nonuniform exponential contraction. The latter corresponds to consider not only an upper bound for the dynamics but also a lower bound.     

Robustness of exponential dichotomies in mean

We consider the notion of an exponential dichotomy in mean, in which the exponential behavior in the classical notion of an exponential dichotomy is replaced by the much weaker requirement that the same happens in mean with respect to some probability measure. This includes as a special case any linear cocycle over a measure-preserving flow with nonzero Lyapunov exponents almost everywhere, such as the geodesic flow on a compact manifold of negative curvature. Our main aim is to show that the exponential behavior in mean is robust, in the sense that it persists under sufficiently small linear perturbations.     

Nonuniform exponential dichotomies and Lyapunov functions

For the nonautonomous dynamics defined by a sequence of bounded linear operators acting on an arbitrary Hilbert space, we obtain a characterization of the notion of a nonuniform exponential dichotomy in terms of quadratic Lyapunov sequences. We emphasize that, in sharp contrast with previous results, we consider the general case of possibly noninvertible linear operators, thus requiring only the invertibility along the unstable direction. As an application, we give a simple proof of the robustness of a nonuniform exponential dichotomy under sufficiently small linear perturbations.     

Lyapunov Functions for General Nonuniform Dichotomies

For nonautonomous linear equations x′ = A(t)x, we give a complete characterization of the existence of exponential behavior in terms of Lyapunov functions. In particular, we obtain an inverse theorem giving explicitly Lyapunov functions for each exponential dichotomy. The main novelty of our work is that we consider a very general type of nonuniform exponential dichotomy. This includes for example uniform exponential dichotomies, nonuniform exponential dichotomies and polynomial dichotomies. We also consider the case of different growth rates for the uniform and the nonuniform parts of the dichotomy. As an application of our work, we establish in a very direct manner the robustness of nonuniform exponential dichotomies under sufficiently small linear perturbations.     

Stability in delay difference equations with nonuniform exponential behavior

We study the stability under perturbations for delay difference equations in Banach spaces. Namely, we establish the (nonuniform) stability of linear nonuniform exponential contractions under sufficiently small perturbations. We also obtain a stable manifold theorem for perturbations of linear delay difference equations admitting a nonuniform exponential dichotomy, and show that the stable manifolds are Lipschitz in the perturbation.     

Exponential stability of nonlinear differential equations in the presence of perturbations or delays

The exponential stability of nonlinear nonautonomous nonsmooth differential equations in finite dimensional linear spaces is investigated. It turns out that exponential stability is preserved under sufficiently small perturbations or delays. Explicit estimates for the relation between the exponential decay rates and the size of the perturbation or delay are presented. The results are valid for differential equations given by Lipschitz continuous vector fields.     

Quadratic Lyapunov functions and nonuniform exponential dichotomies

For nonautonomous linear equations x^′=A(t)x, we show how to characterize completely nonuniform exponential dichotomies using quadratic Lyapunov functions. The characterization can be expressed in terms of inequalities between matrices. In particular, we obtain converse theorems, by constructing explicitly quadratic Lyapunov functions for each nonuniform exponential dichotomy. We note that the nonuniform exponential dichotomies include as a very special case (uniform) exponential dichotomies. In particular, we recover in a very simple manner a complete characterization of uniform exponential dichotomies in terms of quadratic Lyapunov functions. We emphasize that our approach is new even in the uniform case.Furthermore, we show that the instability of a nonuniform exponential dichotomy persists under sufficiently small perturbations. The proof uses quadratic Lyapunov functions, and in particular avoids the use of invariant unstable manifolds which, to the best of our knowledge, are not known to exist in this general setting.     

Robustness of nonuniform exponential dichotomies in Banach spaces

We give conditions for the robustness of nonuniform exponential dichotomies in Banach spaces, in the sense that the existence of an exponential dichotomy for a given linear equation x^′=A(t)x persists under a sufficiently small linear perturbation. We also establish the continuous dependence with the perturbation of the constants in the notion of dichotomy and of the “angles” between the stable and unstable subspaces. Our proofs exhibit (implicitly) the exponential dichotomies of the perturbed equations in terms of fixed points of appropriate contractions. We emphasize that we do not need the notion of admissibility (of bounded nonlinear perturbations). We also obtain related robustness results in the case of nonuniform exponential contractions. In addition, we establish an appropriate version of robustness for nonautonomous dynamical systems with discrete time.     

Stable invariant manifolds for parabolic dynamics

We consider nonautonomous equations v^′=A(t)v in a Banach space that exhibit stable and unstable behaviors with respect to arbitrary growth rates ecρ(t) for some function ρ(t). This corresponds to the existence of a “generalized” exponential dichotomy, which is known to be robust. When ρ(t)≠t this behavior can be described as a type of parabolic dynamics. We consider the general case of nonuniform exponential dichotomies, for which the Lyapunov stability is not uniform. We show that for any sufficiently small perturbation f of a “generalized” exponential dichotomy there is a stable invariant manifold for the perturbed equation v^′=A(t)v+f(t,v). We also consider the case of exponential contractions, which allow a simpler treatment, and we show that they persist under sufficiently small nonlinear perturbations.     

关于辛算法稳定性的若干注记

我们讨论辛算法的线性稳定性和非线性稳定性,从动力系统和计算的角度论述了研究辛算法的这两类稳定性问题的重要性,分析总结了相关重要结果.我们给出了解析方法的明确定义,证明了稳定函数是亚纯函数的解析辛方法是绝对线性稳定的.绝对线性稳定的辛方法既有解析方法（如Runge-Kutta辛方法）,也有非解析方法（如基于常数变易公式对线性部分进行指数积分而对非线性部分使用其它数值积分的方法）.我们特别回顾并讨论了R.I.McLachlan,S.K.Gray和S.Blanes,F.Casas,A.Murua等关于分裂算法的线性稳定性结果,如通过选取适当的稳定多项式函数构造具有最优线性稳定性的任意高阶分裂辛算法和高效共轭校正辛算法,这类经优化后的方法应用于诸如高振荡系统和波动方程等线性方程或者线性主导的弱非线性方程具有良好的数值稳定性.我们通过分析辛算法在保持椭圆平衡点的稳定性,能量面的指数长时间慢扩散和KAM不变环面的保持等三个方面阐述了辛算法的非线性稳定性,总结了相关已有结果.最后在向后误差分析基础上,基于一个自由度的非线性振子和同宿轨分析法讨论了辛算法的非线性稳定性,提出了一个新的非线性稳定性概念,目的是为辛算法提供一个实际可用的非线性稳定性判别法.     

Robustness via Lyapunov functions

For nonautonomous linear equations x^′=A(t)x, we give a complete characterization of nonuniform exponential dichotomies in terms of strict quadratic Lyapunov functions. Nonuniform exponential dichotomies include as a very special case uniform exponential dichotomies. In particular, we construct explicitly strict Lyapunov functions for each exponential dichotomy. As a nontrivial application, we establish in a simple and direct manner the robustness of nonuniform exponential dichotomies under sufficiently small linear perturbations. This represents a considerable simplification of former work.     

Nonlinear perturbations of nonuniform exponential dichotomy on measure chains

This paper focuses on nonlinear perturbations of flows in Banach spaces, corresponding to a nonautonomous dynamical system on measure chains admitting a nonuniform exponential dichotomy. We first define the nonuniform exponential dichotomy of linear nonuniformly hyperbolic systems on measure chains, then establish a new version of the Grobman-Hartman theorem for nonuniformly hyperbolic dynamics on measure chains with the help of nonuniform exponential dichotomies. Moreover, we also construct stable invariant manifolds for sufficiently small nonlinear perturbations of a nonuniform exponential dichotomy. In particular, it is shown that the stable invariant manifolds are Lipschitz in the initial values provided that the nonlinear perturbation is a sufficiently small Lipschitz perturbation.