Growth Rates for Semiflows on Hausdorff Spaces

In this paper, we present a theory of vector-valued growth rates for discrete- and continuous-time semiflows on Hausdorff spaces. For a given compact flow-invariant set M and an associated growth rate, we introduce the uniform growth spectrum over M, and associated real-valued spectra via projections of the vector-valued spectrum onto one-dimensional subspaces. We show that these real-valued spectra are closed intervals if M is additionally connected. We also define the Morse spectrum associated with a growth rate by evaluating the growth rate along chains. Moreover, we relate the uniform growth spectrum to the Morse spectrum and we analyze the meaning of limit sets for the long-time behavior of growth rates.     

Exponential attractors of optimal Lyapunov dimension for Navier-Stokes equations

In this paper we present a new construction of exponential attractors based on the control of Lyapunov exponents over a compact, invariant set. The fractal dimension estimate of the exponential attractor thus obtained is of the same order as the one for global attractors estimated through Lyapunov exponents. We discuss various applications to Navier-Stokes systems.     

Morse Decompositions and Spectra on Flag Bundles

For linear flows on vector bundles, the chain recurrent components of the induced flows on flag bundles are described and a corresponding Morse spectrum is constructed.     

Negatively Invariant Sets and Entire Solutions

Negatively invariant compact sets of autonomous and nonautonomous dynamical systems on a metric space, the latter formulated in terms of processes, are shown to contain a strictly invariant set and hence entire solutions. For completeness the positively invariant case is also considered. Both discrete and continuous time systems are considered. In the nonautonomous case, the various types of invariant sets are in fact families of subsets of the state space that are mapped onto each other by the process. A simple example shows the usefulness of the result for showing the occurrence of a bifurcation in a nonautonomous system.     

Numbering homoclinic points of diffeomorphisms in the plane

In this paper we introduce a numerical conjugacy invariant for planar maps with homoclinic points. This invariant can be estimated based on partial information about the location of compact pieces of the stable and unstable manifolds of the system. The invariant is also related to topological entropy, and we indicate a method by which good bounds on the entropy of a system can be obtained.     

Exponential Dichotomy for a Nonautonomous System of Parabolic Equations

In this paper we study the existence and roughness of exponential dichotomy (ED) of a non-autonomous system of parabolic equations with Neumann boundary conditions. In order to do that, we first set the problem in the Linear Skew-Product Semiflow (LSPS) framework. Then we prove that the ED is not destroyed by small perturbation (roughness). Next, we compute the dynamical spectrum for this LSPS. Finally, under some conditions we prove that zero does not belong to the dynamical spectrum corresponding to this LSPS. i.e., the system has ED (existence).     

Invariant Measures for Dissipative Systems and Generalised Banach Limits

Inspired by a theory due to Foias and coworkers (see, for example, Foias et al. Navier–Stokes equations and turbulence, Cambridge University Press, Cambridge, 2001) and recent work of Wang (Disc Cont Dyn Sys 23:521–540, 2009), we show that the generalised Banach limit can be used to construct invariant measures for continuous dynamical systems on metric spaces that have compact attracting sets, taking limits evaluated along individual trajectories. We also show that if the space is a reflexive separable Banach space, or if the dynamical system has a compact absorbing set, then rather than taking limits evaluated along individual trajectories, we can take an ensemble of initial conditions: the generalised Banach limit can be used to construct an invariant measure based on an arbitrary initial probability measure, and any invariant measure can be obtained in this way. We thus propose an alternative to the classical Krylov–Bogoliubov construction, which we show is also applicable in this situation.     

Dichotomy Spectrum for Nonautonomous Differential Equations

For nonautonomous linear differential equations x=A(t) x with locally integrable A: RR ^N×N the so-called dichotomy spectrum is investigated in this paper. As the closely related dichotomy spectrum for skew product flows with compact base (Sacker–Sell spectrum) our dichotomy spectrum for nonautonomous differential equations consists of at most N closed intervals, which in contrast to the Sacker–Sell spectrum may be unbounded. In the constant coefficients case these intervals reduce to the real parts of the eigenvalues of A. In any case the spectral intervals are associated with spectral manifolds comprising solutions with a common exponential growth rate. The main result of this paper is a spectral theorem which describes all possible forms of the dichotomy spectrum.     

Regularity of Invariant Manifolds for Nonuniformly Hyperbolic Dynamics

For any sufficiently small perturbation of a nonuniform exponential dichotomy, we show that there exist invariant stable manifolds as regular as the dynamics. We also consider the general case of a nonautonomous dynamics defined by the composition of a sequence of maps. The proof is based on a geometric argument that avoids any lengthy computations involving the higher order derivatives. In addition, we describe how the invariant manifolds vary with the dynamics.      

The Full Study of Planar Quadratic Differential Systems Possessing a Line of Singularities at Infinity

In this article we make a full study of the class of non-degenerate real planar quadratic differential systems having all points at infinity (in the Poincaré compactification) as singularities. We prove that all such systems have invariant affine lines of total multiplicity 3, give all their configurations of invariant lines and show that all these systems are integrable via the method of Darboux having cubic polynomials as inverse integrating factors. After constructing the topologically distinct phase portraits in this class we give invariant necessary and sufficient conditions in terms of the 12 coefficients of the systems for the realization of each one of them and give representatives of the orbits under the action of the affine group and time rescaling. We construct the moduli space of this class for this action and give the corresponding bifurcation diagram. Dedicated to Professor Zhifen Zhang on the occasion of her 80th birthday     

Dissipation and Compact Attractors

We present an approach to the study of the qualitative theory of infinite dimensional dynamical systems. In finite dimensions, most of the success has been with the discussion of dynamics on sets which are invariant and compact. In the infinite dimensional case, the appropriate setting is to consider the dynamics on the maximal compact invariant set. In dissipative systems, this corresponds to the compact global attractor. Most of the time is devoted to necessary and sufficient conditons for the existence of the compact global attractor. Several important applications are given as well as important results on the qualitative properties of the flow on the attractor.     

Uniform persistence and flows near a closed positively invariant set

In this paper, the behavior of a continuous flow in the vicinity of a closed positively invariant subset in a metric space is investigated. The main theorem in this part in some sense generalizes previous results concerning classification of the flow near a compact invariant set in a locally compact metric space which was described by Ura-Kimura (1960) and Bhatia (1969). By applying the obtained main theorem, we are able to prove two persistence theorems. In the first one, several equivalent statements are established, which unify and generalize earlier results based on Liapunov-like functions and those about the equivalence of weak uniform persistence and uniform persistence. The second theorem generalizes the classical uniform persistence theorems based on analysis of the flow on the boundary by relaxing point dissipativity and invariance of the boundary. Several examples are given which show that our theorems will apply to a wider varity of ecological models.     

Topological Fixed Point Theorems Do Not Hold for Random Dynamical Systems

The aim of this paper is to demonstrate that topological fixed point theorems have no canonical generalization to the case of random dynamical systems. This is done by using tools from algebraic ergodic theory. We give a criterion for the existence of invariant probability measures for group valued cocycles. With that, examples of continuous random dynamical systems on a compact interval without random invariant points, which are an appropriate generalization of fixed points, are constructed.     

Shadowing Property, Weak Mixing and Regular Recurrence

We show that a non-wandering dynamical system with the shadowing property is either equicontinuous or has positive entropy and that in this context uniformly positive entropy is equivalent to weak mixing. We also show that weak mixing together with the shadowing property imply the specification property with a special kind of regularity in tracing (a weaker version of periodic specification property). This in turn implies that the set of ergodic measures supported on the closures of orbits of regularly recurrent points is dense in the space of all invariant measures (in particular, invariant measures in such a system form the Poulsen simplex, up to an affine homeomorphism).     

Dependence of Topological Conjugacies on Parameters

For impulsive differential equations, we establish the existence of invariant stable manifolds under sufficiently small perturbations of a linear equation. We consider the general case of nonautonomous equations for which the linear part has a nonuniform exponential dichotomy. One of the main advantages of our work is that our results are optimal, in the sense that for vector fields of class C ¹ outside the jumping times, we show that the invariant manifolds are also of class C ¹ outside these times. The novelty of our proof is the use of the fiber contraction principle to establish the smoothness of the invariant manifolds. In addition, using the same approach we can also consider linear perturbations.     

Dynamical properties of 2-torus parabolic maps

In this paper, a class of linear maps on the 2-torus are discussed. Discussions are focused on the case that the maps are parabolic. It is shown that the maximal invariant set for a 2-torus parabolic map is indeed invariant, and is almost closed, and the Lebesgue measure restricted to a maximal invariant set is invariant. Under this invariant measure, all Lyapunov exponents of a parabolic map are zero. In certain simple cases, the Lebesgue measure of the maximal invariant sets are computed and estimated. For the case the maps are invertible, it is shown that the inverse of a non-horocyclic parabolic map is no longer a parabolic map. Interesting properties of the conjugation of invertible parabolic maps by automorphisms of the torus are characterized, and a conjugation invariant for such maps are obtained. And it is proven that all these maps can be reduced to a family of one parameter rigid rotations. Mathematics Subject Classification: 37C15, 37D50     

Attractors for Second-Order Evolution Equations with a Nonlinear Damping

We study long-time dynamics of abstract nonlinear second-order evolution equations with a nonlinear damping. Under suitable hypotheses we prove existence of a compact global attractor and finiteness of its fractal dimension. We also show that any solution is stabilized to an equilibrium and estimate the rate of the convergence which, in turn, depends on the behaviour at the origin of the function describing the dissipation. If the damping is bounded below by a linear function, this rate is exponential. Our approach is based on far reaching generalizations of the Ceron–Lopes theorem on asymptotic compactness and Ladyzhenskayas theorem on the dimension of invariant sets. An application of our results to nonlinear damped wave and plate equations allow us to obtain new results pertaining to structure and properties of global attractors for nonlinear waves and plates.     

Symbolic Image, Hyperbolicity, and Structural Stability

The aim of the paper is substantiation of a constructive method for verification of hyperbolicity and structural stability of discrete dynamical systems. The main tool here is a symbolic image which is a directed graph constructed by a finite covering of the projective bundle. Hyperbolicity is tested by calculation of the Morse spectrum (the limit set of Lyapunov exponents of pseudo trajectories) which can be found for a given accuracy by the symbolic image [24]. If the Morse spectrum does not contain 0, then the chain recurrent set is hyperbolic and the system is Ω-stable. Thus, the symbolic image gives an opportunity to verify these properties. A diffeomorphism f is shown to be structurally stable if and only if the Morse spectrum does not contain 0 and for the complementary differential there is no connection CR ⁺→CR ^? on the protective bundle. These conditions are verified by an algorithm based on the symbolic image of the complementary differential.