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.     

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.     

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.     

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.     

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.     

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.     

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.     

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.     

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.     

Robustness of general dichotomies

For a linear equation v^′=A(t)v we consider general dichotomies that may exhibit stable and unstable behaviors with respect to arbitrary asymptotic rates ecρ(t) for some function ρ(t). This includes as a special case the usual exponential behavior when ρ(t)=t. We also consider the general case of nonuniform exponential dichotomies. We establish the robustness of the exponential dichotomies in Banach spaces, in the sense that the existence of an exponential dichotomy for a given linear equation persists under sufficiently small linear perturbations. We also establish the continuous dependence with the perturbation of the constants in the notion of dichotomy.     

Existence of nonuniform exponential dichotomies and a Fredholm alternative

We consider linear equations x^′=A(t)x in a Banach space, with nonuniform exponential dichotomies in and , and we give an admissibility condition for the existence of nonuniform exponential dichotomies in the whole line under sufficiently small perturbations. We also obtain a Fredholm alternative for the existence of bounded solutions under nonlinear perturbations.     

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.     

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.     

HOMOCLINIC SOLUTIONS FOR AUTONOMOUS DIFFERENTIAL EQUATIONS

ＨＯＭＯＣＬＩＮＩＣ　ＳＯＬＵＴＩＯＮＳ　ＦＯＲ　ＡＵＴＯＮＯＭＯＵＳ　ＤＩＦＦＥＲＥＮＴＩＡＬ　ＥＱＵＡＴＩＯＮＳ￥ＺｅｎｇＷｅｉｙａｏ（曾唯尧）（ＨｕｎａｎＬｉｇｈｔＩｎｄｕｓｔｒｉａｌＣｏｌｌｅｇｅ）＆ＷａｎｇＸｕｅｘｉｎ（王学鑫）（Ｚｈｅｊｉ...     

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.     

Robust nonuniform dichotomies and parameter dependence

We establish the robustness of linear cocycles with an exponential dichotomy, under sufficiently small Lipschitz perturbations, in the sense that the existence of an exponential dichotomy for a given cocycle persists under these perturbations. We consider cocycles in Banach spaces, as well as the general case of nonuniform exponential dichotomies, and also the general case of an exponential behavior ecρ(n), given by an arbitrary sequence ρ(n) including the usual exponential behavior ρ(n)=n as a very special case. Moreover, we show that the projections of the exponential dichotomies obtained from the perturbation vary continuously with the parameter, and in fact that they are locally Lipschitz on finite-dimensional parameters.     

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.     

Center manifolds for nonuniformly partially hyperbolic diffeomorphisms

We establish the existence of smooth invariant center manifolds for the nonuniformly partially hyperbolic trajectories of a diffeomorphism in a Banach space. This means that the differentials of the diffeomorphism along the trajectory admit a nonuniform exponential trichotomy. We also consider the more general case of sequences of diffeomorphisms, which corresponds to a nonautonomous dynamics with discrete time. In addition, we obtain an optimal regularity for the center manifolds: if the diffeomorphisms are of class C^k then the manifolds are also of class C^k. As a byproduct of our approach we obtain an exponential control not only for the trajectories on the center manifolds, but also for their derivatives up to order k.     

Dichotomies for generalized ordinary differential equations and applications

In this work we establish the theory of dichotomies for generalized ordinary differential equations, introducing the concepts of dichotomies for these equations, investigating their properties and proposing new results. We establish conditions for the existence of exponential dichotomies and bounded solutions. Using the correspondences between generalized ordinary differential equations and other equations, we translate our results to measure differential equations and impulsive differential equations. The fact that we work in the framework of generalized ordinary differential equations allows us to manage functions with many discontinuities and of unbounded variation.     

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.