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.     

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

Schäffer spaces and uniform exponential stability of linear skew-product semiflows

We study the exponential stability of linear skew-product semiflows on locally compact metric space with Banach fibers. Our main tool is the admissibility of a pair of the so-called Schäffer spaces. This characterization is a very general one, it includes as particular cases many interesting situations among them we can mention some results due to Clark, Datko, Latushkin, van Minh, Montgomery-Smith, Randolph, Räbiger, Schnaubelt.     

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.     

Input–output control systems and dichotomy of variational difference equations

We propose a new and unified approach for the study of dichotomy of variational difference equations, establishing a link between control methods and basic techniques from interpolation theory. We obtain necessary and sufficient conditions for the existence of uniform dichotomy and, respectively, for uniform exponential dichotomy of variational difference equations in terms of the admissibility of general pairs of sequence spaces. We provide a classification of the main classes of sequence spaces where the input spaces and the output spaces may belong to, for each dichotomy property and prove that the hypotheses on the underlying sequence spaces cannot be removed. The obtained results extend the framework to the study of dichotomy of variational difference equations, hold without any requirement on the coefficients and are applicable to all systems of variational difference equations.     

Admissibility and nonuniform polynomial dichotomies

For a general one-sided nonautonomous dynamics defined by a sequence of linear operators, we consider the notion of a polynomial dichotomy with respect to a sequence of norms and we characterize it completely in terms of the admissibility of bounded solutions. As a nontrivial application, we establish the robustness of the notion of a nonuniform polynomial dichotomy.     

An extension of some theorems of L. Barreira and C. Valls for the nonuniform exponential dichotomous evolution operators

The aim of this paper is to study the connection between the (non)uniform exponential dichotomy of a non(uniform) exponentially bounded, strongly continuous evolution family and the admissibility of some function spaces. Thus, there are extended recent results established by L. Barreira and C. Valls (2010, 2011) in [10] and [11].     

Admissibility on the half line for evolution families

For an arbitrary evolution family, we consider the notion of an exponential dichotomy with respect to a family of norms and characterize it completely in terms of the admissibility of bounded solutions, that is, the existence of a unique bounded solution for each bounded perturbation. In particular, by considering a family of Lyapunov norms, we recover the notion of a nonuniform exponential dichotomy. As a nontrivial application of the characterization, we establish the robustness of the notion of an exponential dichotomy with respect to a family of norms under sufficiently small Lipschitz and C ¹ parameterized perturbations. Moreover, we establish the optimal regularity of the dependence on the parameter of the projections onto the stable spaces of the perturbation.     

Admissibility for nonuniform exponential contractions

We study the relation between the notions of nonuniform exponential stability and admissibility. In particular, using appropriate adapted norms (which can be seen as Lyapunov norms), we show that if any of their associated Lp spaces, with p∈(1,∞], is admissible for a given evolution process, then this process is a nonuniform exponential contraction. We also provide a collection of admissible Banach spaces for any given nonuniform exponential contraction.     

Admissible control and observation operators for Volterra integral equations

The admissibility of observation operators and control operators for linear Volterra systems is studied by means of the theory of composition operators on Hardy spaces.Under certain assumptions it is shown to be equivalent to admissibility for the classical Cauchy problem. A duality between control and observation operators is also established,extending known results for the Cauchy problem,which is a special case.     

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.     

Integral Equations, Dichotomy of Evolution Families on the Half-Line and Applications

The purpose of this paper is to provide a new, unified and complete study for uniform dichotomy and exponential dichotomy on the half-line. First we deduce conditions for the existence of uniform dichotomy, using classes of function spaces over _+{\mathbb {R}_+} which are invariant under translations. After that, we obtain a classification of the main classes of function spaces over \mathbb R₊{\mathbb {R}_+}, in order to deduce necessary and sufficient conditions for the existence of exponential dichotomy, emphasizing on the main technical qualitative properties of the underlying spaces. We motivate our approach by illustrative examples and show that the main hypotheses cannot be dropped. We provide optimal methods regarding the input space in the study of dichotomy and deduce as particular cases some interesting situations as well as several dichotomy results published in the past few years.     

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.     

Perron Conditions for Pointwise and Global Exponential Dichotomy of Linear Skew-Product Flows

The aim of this paper is to give necessary and sufficient conditions for pointwise and uniform exponential dichotomy of linear skew-product flows. We shall obtain that the pointwise exponential dichotomy of a linear skew-product flow is equivalent to the pointwise admissibility of the pair As a consequence, we prove that a linear skew-product flow on is uniformly exponentially dichotomic if and only if the pair is uniformly admissible for .     

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.     

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.     

Integral Equations on Function Spaces and Dichotomy on the Real Line

The purpose of this paper is to give new and general characterizations for uniform dichotomy and uniform exponential dichotomy of evolution families on the real line. We consider two general classes denoted and and we prove that if V,W are Banach function spaces with and , then the admissibility of the pair for an evolution family implies the uniform dichotomy of . In addition, we consider a subclass and we prove that if , then the admissibility of the pair implies the uniform exponential dichotomy of the family . This condition becomes necessary if . Finally, we present some applications of the main results.     

Admissibility of Unbounded Operators and Wellposedness of Linear Systems in Banach Spaces

We study linear systems, described by operators A, B, C for which the state space X is a Banach space.We suppose that − A generates a bounded analytic semigroup and give conditions for admissibility of B and C corresponding to those in G. Weiss’ conjecture. The crucial assumptions on A are boundedness of an H^∞-calculus or suitable square function estimates, allowing to use techniques recently developed by N. Kalton and L. Weis. For observation spaces Y or control spaces U that are not Hilbert spaces we are led to a notion of admissibility extending previous considerations by C. Le Merdy. We also obtain a characterisation of wellposedness for the full system. We give several examples for admissible operators including point observation and point control. At the end we study a heat equation in X = L^p(Ω), 1 < p < ∞, with boundary observation and control and prove its wellposedness for several function spaces Y and U on the boundary ∂Ω.     

Exponential Dichotomy on the Real Line and Admissibility of Function Spaces

The purpose of this paper is to give characterizations for uniform exponential dichotomy of evolution families on the real line. We consider a general class of Banach function spaces denoted and we prove that if with and the pair is admissible for an evolution family then is uniformly exponentially dichotomic. By an example we show that the admissibility of the pair for an evolution family is not a sufficient condition for uniform exponential dichotomy. As applications, we deduce necessary and sufficient conditions for uniform exponential dichotomy of evolution families in terms of the admissibility of the pairs and with