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.     

Nonuniform Dichotomies via Lyapunov Functions

For a nonautonomous linear equation x′ =  A(t)x we show how to characterize a nonuniform exponential dichotomy using strict Lyapunov functions. In particular, the stable and unstable subspaces are obtained from invariant families of cones determined by each Lyapunov function. We also obtain converse theorems, constructing explicitly a family of strict Lyapunov functions for each nonuniform exponential dichotomy. We emphasize that nonuniform exponential dichotomies include as a very particular case (uniform) exponential dichotomies.     

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.     

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.     

Lyapunov functions for trichotomies with growth rates

We consider linear equations x^′=A(t)x that may exhibit stable, unstable and central behaviors in different directions, with respect to arbitrary asymptotic rates ecρ(t) determined by a function ρ(t). For example, the usual exponential behavior with ρ(t)=t is included as a very special case, and when ρ(t)=logt we obtain a polynomial behavior. We emphasize that we also consider the general case of nonuniform exponential behavior, which corresponds to the existence of what we call a ρ-nonuniform exponential trichotomy. This is known to occur in a large class of nonautonomous linear equations. Our main objective is to give a complete characterization in terms of strict Lyapunov functions of the linear equations admitting a ρ-nonuniform exponential trichotomy. This includes criteria for the existence of a ρ-nonuniform exponential trichotomy, as well as inverse theorems providing explicit strict Lyapunov functions for each given exponential trichotomy. In the particular case of quadratic Lyapunov functions we show that the existence of strict Lyapunov sequences can be deduced from more algebraic relations between the quadratic forms defining the Lyapunov functions. As an application of the characterization of nonuniform exponential trichotomies in terms of strict Lyapunov functions, we establish the robustness of ρ-nonuniform exponential trichotomies under sufficiently small linear perturbations. We emphasize that in comparison with former works, our proof of the robustness is much simpler even when ρ(t)=t.     

Lyapunov sequences for exponential dichotomies

For a linear nonautonomous dynamics with discrete time, we study the relation between nonuniform exponential dichotomies and strict Lyapunov sequences. Given such a sequence, we obtain the stable and unstable subspaces from the intersection of the images and preimages of the cones defined by each element of the sequence. The main difficulty is to extract some information about the angles between the stable and unstable subspaces (or some appropriate notion in the case of Banach spaces) from the Lyapunov sequence. In particular, for a large class of nonuniform exponential dichotomies we give a complete characterization in terms of strict quadratic Lyapunov sequences, that is, strict Lyapunov sequences defined by quadratic forms. We also construct explicitly families of strict Lyapunov sequences for each nonuniform exponential dichotomy, in terms of Lyapunov norms.     

Optimal regularity of robustness for parameterized perturbations

For exponential dichotomies defined by nonautonomous linear equations, we show that sufficiently small C¹-parameterized perturbations originate a family of exponential dichotomies of class C¹ in the parameter. We consider the general case of nonuniform exponential dichotomies, and also the general case of arbitrary growth rates of the form eλρ(t) where ρ is an arbitrary function. This includes the usual exponential behavior as a very special case when ρ(t)=t.     

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.     

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.     

Lyapunov sequences for exponential trichotomies

For a linear cocycle with discrete time, we give a complete characterization of nonuniform exponential trichotomies in terms of strict Lyapunov sequences. We also obtain inverse theorems by constructing explicitly strict Lyapunov sequences for each nonuniform exponential trichotomy. These are constructed in terms of Lyapunov norms, with respect to which the nonuniform behavior of the trichotomies becomes uniform. We also obtain a corresponding version of the results for cocyles over measure-preserving transformations.     

Smooth robustness of parameterized perturbations of exponential dichotomies

We establish the robustness of nonuniform exponential dichotomies in Banach spaces, under sufficiently small C¹-parameterized perturbations. Moreover, we show that the stable and unstable subspaces of the exponential dichotomies obtained from the perturbation are also of class C¹ on the parameter, thus yielding an optimal smoothness.     

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.     

Stable manifolds for nonautonomous equations without exponential dichotomy

We consider nonautonomous ordinary differential equations v^′=A(t)v in Banach spaces and, under fairly general assumptions, we show that for any sufficiently small perturbation f there exists a stable invariant manifold for the perturbed equation v^′=A(t)v+f(t,v), which corresponds to the set of negative Lyapunov exponents of the original linear equation. The main assumption is the existence of a nonuniform exponential dichotomy with a small nonuniformity, i.e., a small deviation from the classical notion of (uniform) exponential dichotomy. In fact, we showed that essentially any linear equation v^′=A(t)v admits a nonuniform exponential dichotomy and thus, the above assumption only concerns the smallness of the nonuniformity of the dichotomy. This smallness is a rather common phenomenon at least from the point of view of ergodic theory: almost all linear variational equations obtained from a measure-preserving flow admit a nonuniform exponential dichotomy with arbitrarily small nonuniformity. We emphasize that we do not need to assume the existence of a uniform exponential dichotomy and that we never require the nonuniformity to be arbitrarily small, only sufficiently small. Our approach is related to the notion of Lyapunov regularity, which goes back to Lyapunov himself although it is apparently somewhat forgotten today in the theory of differential equations.     

Smooth stable invariant manifolds and arbitrary growth rates

For nonautonomous linear equations v^′=A(t)v with a generalized exponential dichotomy, we show that there is a smooth stable invariant manifold for the perturbed equation v^′=A(t)v+f(t,v) provided that f is sufficiently small. The generalized exponential dichotomies may exhibit stable and unstable behaviors with respect to arbitrary growth rates for some function ρ(t). We consider the general case of nonuniform exponential dichotomies, and the result is obtained in Banach spaces. Moreover, we show that for an equivariant system, the dynamics on the stable manifold in a certain class of graphs is also equivariant. We emphasize that this result cannot be obtained by averaging over the symmetry.     

Nonuniform behavior and robustness

We establish the robustness of linear cocycles in Banach spaces admitting a nonuniform exponential dichotomy. We first obtain robustness results for positive and negative time, by establishing exponential behavior along certain subspaces, and showing that the associated sequences of projections have bounded exponential growth. We then establish a robustness result in Z by constructing explicitly appropriate projections on the stable and unstable subspaces. We emphasize that in general these projections may be different from those obtained separately from the robustness for positive and negative time. We also consider the case of strong nonuniform exponential dichotomies.     

A definition of spectrum for differential equations on finite time

Hyperbolicity of an autonomous rest point is characterised by its linearization not having eigenvalues on the imaginary axis. More generally, hyperbolicity of any solution which exists for all times can be defined by means of Lyapunov exponents or exponential dichotomies. We go one step further and introduce a meaningful notion of hyperbolicity for linear systems which are defined for finite time only, i.e. on a compact time interval. Hyperbolicity now describes the transient dynamics on that interval. In this framework, we provide a definition of finite-time spectrum, study its relations with classical concepts, and prove an analogue of the Sacker-Sell spectral theorem: For a d-dimensional system the spectrum is non-empty and consists of at most d disjoint (and often compact) intervals. An example illustrates that the corresponding spectral manifolds may not be unique, which in turn leads to several challenging questions.     

A Grobman-Hartman theorem for nonuniformly hyperbolic dynamics

We establish a version of the Grobman-Hartman theorem in Banach spaces for nonuniformly hyperbolic dynamics. We also consider the case of sequences of maps, which corresponds to a nonautonomous dynamics with discrete time. More precisely, we consider sequences of Lipschitz maps Am+fm such that the linear parts Am admit a nonuniform exponential dichotomy, and we establish the existence of a unique sequence of topological conjugacies between the maps Am+fm and Am. Furthermore, we show that the conjugacies are Hölder continuous, with Hölder exponent determined by the ratios of Lyapunov exponents with the same sign. To the best of our knowledge this statement appeared nowhere before in the published literature, even in the particular case of uniform exponential dichotomies, although some experts claim that it is well known in this case. We are also interested in the dependence of the conjugacies on the perturbations fm: we show that it is Hölder continuous, with the same Hölder exponent as the one for the conjugacies. We emphasize that the additional work required to consider the case of nonuniform exponential dichotomies is substantial. In particular, we need to consider several additional Lyapunov norms.     

Nonautonomous equations with arbitrary growth rates: A Perron-type theorem

For a linear equation x^′=A(t)x$x^{\prime }=A\left(t\right)x$, we show that the asymptotic behavior of its solutions is reproduced by the solutions of the nonlinear equation x^′=A(t)x+f(t,x)$x^{\prime }=A\left(t\right)x+f(t,x)$ for any sufficiently small perturbation f$f$. More precisely, we show that if the Lyapunov exponents of the linear equation are limits, even for general exponential rates e^cρ(t)$e^{c\rho \left(t\right)}$ for an arbitrary function ρ$\rho$, then the same happens with the Lyapunov exponents of the solutions of the nonlinear equations, without introducing new values. Our approach is based on Lyapunov’s theory of regularity.     

Center manifolds for impulsive equations under nonuniform hyperbolicity

We establish the existence of smooth center manifolds under sufficiently small perturbations of an impulsive linear equation. In particular, we obtain the C¹ smoothness of the manifolds outside the jumping times. We emphasize that we consider the general case of nonautonomous equations for which the linear part has a nonuniform exponential trichotomy.     

Robustness for impulsive equations

For nonautonomous linear impulsive differential equations in Banach spaces, we establish the robustness of exponential contractions and exponential dichotomies, in the sense that the exponential behavior persists under sufficiently small linear perturbations. We also consider the more general case of nonuniform exponential behavior.