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

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

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.     

Stability by the linear approximation for discrete equations

This paper is concerned with exponential stability of solutions of perturbed discrete equations. For a given m>1 we will provide necessary and sufficient conditions for exponential stability of all perturbed systems with perturbation of order m under the assumption that the unperturbed linear system is exponentially stable. Basing on this result we obtained necessary and sufficient conditions for exponential stability of the perturbed system for all perturbations of order m>1 for regular systems. Our results are expressed in terms of regular coefficients of the unperturbed system.     

On index-2 linear implicit difference equations

This paper deals with an index-2 notion for linear implicit difference equations (LIDEs) and with the solvability of initial value problems (IVPs) for index-2 LIDEs. Besides, the cocycle property as well as the multiplicative ergodic theorem of Oseledets type are also proved.     

Pseudo-almost periodic solutions of neutral integral and differential equations with applications

The existence and uniqueness of pseudo-almost periodic solutions to general neutral integral equations with deviations are obtained. For this, pseudo-almost periodic functions in two variables are considered. The results extend the corresponding ones to the convolution type integral equations. They are used to study pseudo-almost periodic solutions of general neutral differential equations and to the so-called scalar neutral logistic equation version.     

Exponential stability of nonautonomous linear differential equations with linear perturbations by Liao methods

In this paper, the author considers, by Liao methods, the stability of Lyapunov exponents of a nonautonomous linear differential equations: with linear small perturbations. It is proved that, if A(t) is a upper-triangular real n by n matrix-valued function on R₊, continuous and uniformly bounded, and if there is a relatively dense sequence in R₊, say 0=T₀<T₁<?<Ti<?, such that

     

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.     

Dichotomy spectra and Morse decompositions of linear nonautonomous differential equations

Recently, the existence of Morse decompositions for nonautonomous dynamical systems was shown for three different time domains: the past, the future and—in the linear case—the entire time. In this article, notions of exponential dichotomy are discussed with respect to the three time domains. It is shown that an exponential dichotomy gives rise to an attractor-repeller pair in the projective space, which is a building block of a Morse decomposition. Moreover, based on the notions of exponential dichotomy, dichotomy spectra are introduced, and it is proved that the corresponding spectral manifolds lead to Morse decompositions in the projective space.     

Stable manifolds for delay equations and parameter dependence

We establish the existence of Lipschitz stable invariant manifolds for semiflows generated by a delay equation x^′=L(t)_xt+f(t,_xt,λ)$x^{\prime }=L\left(t\right)x_t+f(t,x_t,\lambda )$, assuming that the linear equation x^′=L(t)_xt$x^{\prime }=L\left(t\right)x_t$ admits a nonuniform exponential dichotomy and that f$f$ is a sufficiently small Lipschitz perturbation. We also show that the stable invariant manifolds are Lipschitz in the parameter λ$\lambda$.     

Differential equations with bounded positive Green’s functions and generalized Aizerman’s hypothesis

We derive conditions for the positivity and boundedness of the Green functions of the higher order linear nonautonomous ODE. By virtue of these conditions, the existence of positive solutions for a class of nonlinear equations is proved. In addition, upper and lower estimates for the Green functions are established. Moreover, it is shown that nonlinear equations, having separated nonautonomous linear parts, satisfy the generalized Aizerman hypothesis on absolute stability, if they have the positive Green functions.     

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.     

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.     

On Uniform Exponential Trichotomy of Evolution Operators in Banach Spaces

This paper presents necessary and sufficient conditions for uniform exponential trichotomy of nonlinear evolution operators in Banach spaces. Thus are obtained results which extend well-known results for uniform exponential stability in the linear case.      

New filter design for linear time-delay systems

This paper develops new robust delay-dependent filter design for a class of linear systems with time-varying delays and convex-bounded parameter uncertainties. The design procedure hinges upon the constructive use of an appropriate Lyapunov functional plus a free-weighting matrices in order to exhibit the delay-dependent dynamics. The developed approach utilizes smaller number of LMI decision variables thereby leading to less conservative solutions to the delay-dependent stability and filtering problems. Subsequently, linear matrix inequalities (LMIs)-based conditions are characterized such that the linear delay system is robustly asymptotically stable with an γ-level L₂-gain. All the developed results are tested on representative examples.     

On Positive Linear Volterra-Stieltjes Differential Systems

We first introduce the notion of positive linear Volterra-Stieltjes differential systems. Then, we give some characterizations of positive systems. An explicit criterion and a Perron-Frobenius type theorem for positive linear Volterra-Stieltjes differential systems are given. Next, we offer a new criterion for uniformly asymptotic stability of positive systems. Finally, we study stability radii of positive linear Volterra-Stieltjes differential systems. It is proved that complex, real and positive stability radius of positive linear Volterra-Stieltjes differential systems under structured perturbations coincide and can be computed by an explicit formula. The obtained results in this paper include ones established recently for positive linear Volterra integro-differential systems [36] and for positive linear functional differential systems [32]-[35] as particular cases. Moreover, to the best of our knowledge, most of them are new. The first author is supported by the Alexander von Humboldt Foundation.     

Abstract wave equations with generalized Wentzell boundary conditions

We introduce a general framework which allows to verify if abstract wave equations with generalized Wentzell boundary conditions are well-posed, i.e., are governed by a cosine family. As an example we study wave equations for second order differential operators on C[0,1] with non-local Wentzell-type boundary conditions. Moreover, in Appendix A we give a perturbation result for sine and cosine families.