Numerical determination of the basin of attraction for exponentially asymptotically autonomous dynamical systems

Numerical methods to determine the basin of attraction for autonomous equations focus on a bounded subset of the phase space. For non-autonomous systems, any relevant subset of the phase space, which now includes the time as one coordinate, is unbounded in the t-direction. Hence, a numerical method would have to use infinitely many points.To overcome this problem, we introduce a transformation of the phase space. Restricting ourselves to exponentially asymptotically autonomous systems, we can map the infinite time interval to a finite, compact one. The basin of attraction of a solution becomes the basin of attraction of an exponentially stable equilibrium for an autonomous system. Now we are able to generalise numerical methods from the autonomous case. More precisely, we characterise a Lyapunov function as a solution of a suitable linear first-order partial differential equation and approximate it using radial basis functions.     

Existence and estimation of the Hausdorff dimension of attractors for an epidemic model

We prove the existence of pullback and uniform attractors for the process associated to a non‐autonomous SIR model, with several types of non‐autonomous features. The Hausdorff dimension of the pullback attractor is also estimated. We illustrate some examples of pullback attractors by numerical simulations. Copyright © 2016 John Wiley & Sons, Ltd.     

Nonautonomous bifurcation patterns for one-dimensional differential equations

Although, bifurcation theory of ordinary differential equations with autonomous and periodic time dependence is a major object of research in the study of dynamical systems since decades, the notion of a nonautonomous bifurcation is not yet established. In this article, two different approaches are discussed which are based on special notions of attractivity and repulsivity. Generalizations of the well-known one-dimensional transcritical and pitchfork bifurcation are obtained.     

Digitization of nonautonomous control systems

Methods of the theory of nonautonomous differential equations are used to study the extent to which the properties of local null controllability and local feedback stabilizability are preserved when a control system with time-varying coefficients is digitized, e.g., approximated by piecewise autonomous systems on small time subintervals.     

Digitization of nonautonomous control systems

Methods of the theory of nonautonomous differential equations are used to study the extent to which the properties of local null controllability and local feedback stabilizability are preserved when a control system with time-varying coefficients is digitized, e.g., approximated by piecewise autonomous systems on small time subintervals.     

On limit behavior of skew‐product transformation semigroups

This paper introduces both the notions of topological transitivity and topological mixing in the general setting of semigroup actions on topological spaces. A discussion on limit behavior of skew‐product transformation semigroups is presented. The main purpose is to characterize the lifts and the projections of recurrent points, attractors and Morse decompositions for transformation semigroups associated to skew‐product transformation semigroups. The results play a role to the existence of the finest Morse decomposition for control systems and their control flows.     

Discontinuous local semiflows for Kurzweil equations leading to LaSalle's invariance principle for differential systems with impulses at variable times

In this paper, we consider an initial value problem for a class of generalized ODEs, also known as Kurzweil equations, and we prove the existence of a local semidynamical system there. Under certain perturbation conditions, we also show that this class of generalized ODEs admits a discontinuous semiflow which we shall refer to as an impulsive semidynamical system. As a consequence, we obtain LaSalle's invariance principle for such a class of generalized ODEs. Due to the importance of LaSalle's invariance principle in studying stability of differential systems, we include an application to autonomous ordinary differential systems with impulse action at variable times.     

Minimal sets in monotone and sublinear skew-product semiflows I: The general case

The dynamics of a general monotone and sublinear skew-product semiflow is analyzed, paying special attention to the long-term behavior of the strongly positive semiorbits and to the minimal sets. Four possibilities arise depending on the existence or absence of strongly positive minimal sets and bounded semiorbits, as well as on the coexistence or not of bounded and unbounded strongly positive semiorbits. Previous results are unified and extended, and scenarios which are impossible in the autonomous or periodic cases are described.     

Semicocycle extensions and the stroboscopic property

We indicate a large class of almost 1-1 extensions over minimal systems, which do not possess the stroboscopic property, as defined by Misiurewicz and studied by Jimenez and Snoha [Topology Appl. 129 (2003) 301-316]. Sturmian flows and all Toeplitz flows belong to this class. This generalizes a theorem of [Topology Appl. 129 (2003) 301-316] for Sturmian flows. Our result allows to easily construct minimal weakly mixing systems without the stroboscopic property, which answers in the negative a question posed in [Topology Appl. 129 (2003) 301-316]. Finally we prove that even the strong stroboscopic property does not imply the stroboscopic property for induced (first return time) systems.     

Uniform exponential attractors for first order non-autonomous lattice dynamical systems

In Abdallah (2008, 2009) [2] and [3], we have investigated the existence of exponential attractors for first and second order autonomous lattice dynamical systems. Within this work, in l², we carefully study the existence of a uniform exponential attractor for the family of processes associated with an abstract family of first order non-autonomous lattice dynamical systems with quasiperiodic symbols acting on a closed bounded set.     

Periodic solutions of fully nonlinear autonomous equations of Benjamin–Ono type

We prove the existence of time-periodic, small amplitude solutions of autonomous quasi-linear or fully nonlinear completely resonant pseudo-PDEs of Benjamin–Ono type in Sobolev class. The result holds for frequencies in a Cantor set that has asymptotically full measure as the amplitude goes to zero.     

Stabilities in multi-valued dynamical systems

For the study of the various stabilities in multi-valued dynamical systems, we obtain some necessary and sufficient conditions of the notions of stability and Lyapunov stability, and investigate the connection between the concepts of attractions and the suitable versions of limit sets. Also we consider the notion of characteristic 0⁺ in multi-valued dynamical systems and obtain necessary and sufficient conditions for the concept of characteristic 0⁺.     

Examples with minimal number of brake orbits and homoclinics in annular potential regions

We use a geometric construction to exhibit examples of autonomous Lagrangian systems admitting exactly two homoclinics emanating from a nondegenerate maximum of the potential energy and reaching a regular level of the potential having the same value of the maximum point. Similarly, we show examples of Hamiltonian systems that admit exactly two brake orbits in an annular potential region connecting the two connected components of the boundary of the potential well. These examples show that the estimates proven in [2] are sharp.     

Averaging, Conley index continuation and recurrent dynamics in almost-periodic parabolic equations

We study a non-autonomous parabolic equation with almost-periodic, rapidly oscillating principal part and nonlinear interactions. We associate to the equation a skew-product semiflow and, for a special class of nonlinearities, we define the Conley index of isolated compact invariant sets. As the frequency of the oscillations tends to infinity, we prove that every isolated compact invariant set of the averaged autonomous equation can be continued to an isolated compact invariant set of the skew-product semiflow associated to the non-autonomous equation. Finally, we illustrate some examples in which the Conley index can be explicitly computed and can be exploited to detect the existence of recurrent dynamics in the equation.     

On persistent centers

For real planar autonomous analytic differential equations we introduce the notion of persistent center and show a list of equations with this property. We face the problem of whether our list is exhaustive or not and we prove that it is for several families of planar systems, like cubic or rigid systems.     

The approximate decomposition of exponential order of slow-fast motions in multifrequency systems

This paper deals with multifrequency slow-fast systems. It is shown that, under a suitable change of coordinates, the system can be reduced to a simple form such that slow motions are described by autonomous equations except for exponential error of perturbations. Hence, the fast and slow motions are decoupled. The Newton rapid iteration is used. In addition, for a perturbation, only the smallness condition is needed.     

Lyapunov-Razumikhin pairs in the instability problem for infinite delay equations

Some theorems on complete instability of the zero solution relative to a set for nonautonomous nonlinear equations with infinite delay are provided. The right-hand side of the equation is assumed to be defined in a fading memory space and to satisfy conditions that allow the construction of limiting equations. We use conceptions of Lyapunov-Razumikhin pairs and limiting equations to obtain new instability results, which are applicable, in particular, to autonomous, periodic and almost periodic in t delay differential equations.     

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.