On nonuniform exponential dichotomy of evolution operators in Banach spaces

The problem of nonuniform exponential dichotomy of evolution operators in Banach spaces is considered. Connections between this concept and admissibility of the pair (C ₀,C ₀) are established. Generalizations to the nonuniform case of some results of Van Min, Räbiger and Schnaubelt ([MRS]) are obtained. It is shown that an implication from the uniform case is not true for nonuniform exponential dichotomy. The results are applicable for general time-varying linear equations with unbounded coefficients in Banach spaces.     

A note on the dichotomy spectrum

In many ways, exponential dichotomies are an appropriate hyperbolicity notion for nonautonomous linear differential or difference equations. The corresponding dichotomy spectrum generalizes the classical set of eigenvalues or Floquet multipliers and is therefore of eminent importance in a stability theory for explicitly time-dependent systems, as well as to establish a geometric theory of nonautonomous problems with ingredients like invariant manifolds and normal forms, or to deduce continuation and bifurcation techniques.

In this note, we derive some invariance and perturbation properties of the dichotomy spectrum for nonautonomous linear difference equations in Banach spaces. They easily follow from the observation that the dichotomy spectrum is strongly related to a weighted shift operator on an ambient sequence space.     

Existence and robustness of exponential dichotomy of linear skew-product semiflows over semiflows

In this paper we investigate the exponential dichotomy of linear skew-product semiflows over semiflows by considering the operators generated by the integral equation related to strongly continuous cocycles over metric spaces acting on Banach bundles. We characterize the existence of exponential dichotomy by properties of these operators and use this characterization to prove the robustness of exponential dichotomy.     

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.     

On nonuniform dichotomy for stochastic skew-evolution semiflows in Hilbert spaces

In this paper we study a general concept of nonuniform exponential dichotomy in mean square for stochastic skew-evolution semiflows in Hilbert spaces. We obtain a variant for the stochastic case of some well-known results, of the deterministic case, due to R. Datko: Uniform asymptotic stability of evolutionary processes in a Banach space, SIAM J. Math. Anal., 3(1972), 428–445. Our approach is based on the extension of some techniques used in the deterministic case for the study of asymptotic behavior of skew-evolution semiflows in Banach spaces.     

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 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.     

Exponential dichotomies of evolution operators in Banach spaces

This paper considers three dichotomy concepts (exponential dichotomy, uniform exponential dichotomy and strong exponential dichotomy) in the general context of non-invertible evolution operators in Banach spaces. Connections between these concepts are illustrated. Using the notion of Green function, we give necessary conditions and sufficient ones for strong exponential dichotomy. Some illustrative examples are presented to prove that the converse of some implication type theorems are not valid.     

On admissible perturbations for exponential dichotomy

In this work we obtain an optimal upper bound for exponential dichotomy roughness in infinite-dimensional Banach spaces. Unlike some previous works, we do not assume bounded growth. We consider linear, non-autonomous ordinary differential equations with bounded and unbounded coefficients.     

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.     

Banach空间中线性离散时间系统的一致多项式膨胀性

给出了Banach 空间中线性离散时间系统一致多项式膨胀性的概念,并讨论了其离散特征。借助Lyapunov函数给出了线性离散时间系统满足一致多项式膨胀的充要条件。所得结论将一致指数稳定性、指数膨胀性及多项式稳定性中的若干经典结论推广到了一致多项式膨胀性的情形。     

Exponential instability of linear skew-product semiflows in terms of Banach function spaces

In this paper we obtain necessary and sufficient conditions for uniform exponential instability of linear skew-product semiflows in terms of Banach sequence spaces and Banach function spaces, respectively. We deduce the versions of some theorems due to Datko, Neerven, Przyluski, Rolewicz and Zabczyk, for the case of instability of linear skew-product semiflows.     

Nonuniform exponential dichotomy for linear skew-product semiflows over semiflows

The aim of this paper is to obtain necessary and sufficient conditions for the existence of a nonuniform exponential dichotomy over a general class of linear skew-product semiflows (over semiflows) on a Banach space. We extend Datko’s classical result to the case of the exponential nonuniform dichotomy of linear skew-product semiflows over semiflows on a Banach space, by using Lyapunov norms.     

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.     

Criterions for detecting the existence of the exponential dichotomies in the asymptotic behavior of the solutions of variational equations

We prove that the admissibility of any pair of vector-valued Schäffer function spaces (satisfying a very general technical condition) implies the existence of a “no past” exponential dichotomy for an exponentially bounded, strongly continuous cocycle (over a semiflow). Roughly speaking the class of Schäffer function spaces consists in all function spaces which are invariant under the right-shift and therefore our approach addresses most of the possible pairs of admissible spaces. Complete characterizations for the exponential dichotomy of cocycles are also obtained. Moreover, we involve a concept of a “no past” exponential dichotomy for cocycles weaker than the classical concept defined by Sacker and Sell (1994) in [23]. Our definition of exponential dichotomy follows partially the definition given by Chow and Leiva (1996) in [4] in the sense that we allow the unstable subspace to have infinite dimension. The main difference is that we do not assume a priori that the cocycle is invertible on the unstable space (actually we do not even assume that the unstable space is invariant under the cocycle). Thus we generalize some known results due to O. Perron (1930) [14], J. Daleckij and M. Krein (1974) [7], J.L. Massera and J.J. Schäffer (1966) [11], N. van Minh, F. Räbiger and R. Schnaubelt (1998) [26].     

Exponential behavior in Banach spaces: robustness of trichotomies in discrete time

For difference equations in Banach spaces, we consider a generalization of the notion of exponential dichotomy, usually called trichotomy in the literature, for which the behaviors in \(\mathbb {Z}^+\) and \(\mathbb {Z}^-\) are still exponential but need not agree at the origin. Our main aim is to show that this exponential behavior is robust, in the sense that it persists under sufficiently small linear perturbations.     

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.     

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.     

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.     

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.