A new approach to practical stability of impulsive functional differential equations in terms of two measures

In this work, we consider a new approach to the practical stability theory of impulsive functional differential equations. With Lyapunov functionals and Razumikhin technique, we use a new technique in the division of Lyapunov functions, given by Shunian Zhang, and obtain conditions sufficient for the uniform practical (asymptotical) stability of impulsive delay differential equations. An example is also discussed to illustrate the advantage of the proposed results.     

Analytic normalization of analytic integrable systems and the embedding flows

This paper provides the normal forms of analytic integrable differential systems and diffeomorphisms via analytic normalizations. Furthermore, we consider the existence of embedding flows of an analytic integrable diffeomorphism.     

Varieties of local integrability of analytic differential systems and their applications

In this paper we provide a characterization of local integrability for analytic or formal differential systems in Rⁿ${\mathbb{R}}^n$ or Cⁿ${\mathbb{C}}^n$ via the integrability varieties. Our result generalizes the classical one of Poincaré and Lyapunov on local integrability of planar analytic differential systems to any finitely dimensional analytic differential systems. As an application of our theory we study the integrability of a family of four-dimensional quadratic Hamiltonian systems.     

A new criterion for global robust stability of interval delayed neural networks

A novel criterion for the global robust stability of Hopfield-type interval neural networks with delay is presented. An example showing the effectiveness of the present criterion is given.     

Smooth center manifolds for nonuniformly partially hyperbolic trajectories

We establish the existence of unique smooth center manifolds for ordinary differential equations v^′=A(t)v+f(t,v) in Banach spaces, assuming that v^′=A(t)v admits a nonuniform exponential trichotomy. This allows us to show the existence of unique smooth center manifolds for the nonuniformly partially hyperbolic trajectories. In addition, we prove that the center manifolds are as regular as the vector field. Our proof of the Ck smoothness of the manifolds uses a single fixed point problem in an appropriate complete metric space. To the best of our knowledge we establish in this paper the first smooth center manifold theorem in the nonuniform setting.     

The reversibility and the center problem

In this work we study the narrow relation between reversibility and the center problem and also between reversibility and the integrability problem. It is well known that an analytic system having either a non-degenerate or nilpotent center at the origin is analytically reversible or orbitally analytically reversible, respectively. In this paper we prove the existence of a smooth map that transforms an analytic system having a degenerate center at the origin with either an analytic first integral or a C^∞ inverse integrating factor into a reversible linear system (after rescaling the time). Moreover, if the degenerate center has an analytic or a C^∞ reversing symmetry, then the transformed system by the map also has a reversing symmetry. From the knowledge of a first integral near the center we give a procedure to detect reversing symmetries.     

Asymptotic and exponential stability of certain third-order non-linear delayed differential equations: Frequency domain method

We use the frequency domain method to prove that the zero solution of certain third order nonlinear delayed differential equations is asymptotically stable, (when there is no forcing term). We also prove the existence of a bounded solution which is exponentially stable, (when there is a bounded forcing term). The situation for which the non-linear term is delayed is also proved.     

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.     

Symmetry of the restricted 4 + 1 body problem with equal masses

We consider the problem of symmetry of the central configurations in the restricted 4 + 1 body problem when the four positive masses are equal and disposed in symmetric configurations, namely, on a line, at the vertices of a square, at the vertices of a equilateral triangle with a mass at the barycenter, and finally, at the vertices of a regular tetrahedron [1–3]. In these situations, we show that in order to form a non collinear central configuration of the restricted 4 + 1 body problem, the null mass must be on an axis of symmetry. In our approach, we will use as the main tool the quadratic forms introduced by A. Albouy and A. Chenciner [4]. Our arguments are general enough, so that we can consider the generalized Newtonian potential and even the logarithmic case. To get our results, we identify some properties of the Newtonian potential (in fact, of the function ϕ(s) = −s ^k, with k < 0) which are crucial in the proof of the symmetry.     

Center manifolds theorem for parameterized delay differential equations with applications to zero singularities

The goal of this paper is to develop a center manifold theory for delay differential equations with parameters. As applications, we use the center manifold theorem to establish fold and Bogdanov-Takens bifurcations. In particular, we obtain the versal unfoldings of delayed predator-prey systems with predator harvesting at the Bogdanov-Takens singularity.     

Smoothness of the carrying simplex for discrete-time competitive dynamical systems: A characterization of neat embedding

The paper is concerned with the question of smoothness of the carrying simplex S for a discrete-time dissipative competitive dynamical system. We give a necessary and sufficient criterion for S being a C¹ submanifold-with-corners neatly embedded in the nonnegative orthant, formulated in terms of inequalities between Lyapunov exponents for ergodic measures supported on the boundary of the orthant. This completes one thread of investigation occasioned by a question posed by M.W. Hirsch in 1988. Besides, amenable conditions are presented to guarantee the Cr (r?1) smoothness of S in the time-periodic competitive Kolmogorov systems of ODEs. Examples are also presented, one in which S is of class C¹ but not neatly embedded, the other in which S is not of class C¹.     

Novel delay-dependent asymptotic stability criteria for neural networks with time-varying delays

The problem of delay-dependent asymptotic stability criteria for neural networks (NNs) with time-varying delays is investigated. An improved linear matrix inequality based on delay-dependent stability test is introduced to ensure a large upper bound for time-delay. A new class of Lyapunov function is constructed to derive a novel delay-dependent stability criteria. Finally, numerical examples are given to indicate significant improvement over some existing results.     

A new method to determine isochronous center conditions for polynomial differential systems

The computation of period constants is a way to study isochronous center for polynomial differential systems. In this article, a new method to compute period constants is given. The algorithm is recursive and easy to realize with computer algebraic system. As an application, we discuss the center conditions and isochronous centers for a class of high-degree system.     

The stability of the equilibrium of a nonlinear planar system and application to the relativistic oscillator

In this paper we present a sufficient condition for the stability of the equilibrium of a nonlinear planar system. The proof is based on the computation of the corresponding Birkhoff normal forms. The result does not involve small parameters. Applications to the relativistic oscillator are also given.     

The average-shadowing property and topological ergodicity

In this note we prove that a Lyapunov stable map having the average-shadowing property from a compact metric space onto itself is topologically ergodic, but it is not topologically weakly mixing.     

Borg’s criterion for almost periodic differential equations

Borg’s criterion is used to prove the existence of an exponentially asymptotically stable periodic orbit of an autonomous differential equation and to determine its domain of attraction. In this article, this method is generalized to almost periodic differential equations. Both sufficient and necessary conditions are obtained for the existence of an exponentially stable almost periodic solution. The condition uses a Riemannian metric, and an example for the explicit construction of such a metric is presented.     

A remark on the genericity of multiplicity results for forced oscillations on manifolds

We discuss the genericity of some multiplicity results for periodically perturbed autonomous first- and second-order ODEs on manifolds.?In particular, the genericity of the following property is investigated: if the differentiable manifold M is compact, then the equation _π=h(x,)+f(t,x,) on M has |χ(M)| geometrically distinct T-periodic solutions for any small enough T-periodic perturbing function f. Received: January 24, 2000; in final form: January 16, 2001?Published online: March 19, 2002     

Permanence and stability of a predator–prey system with stage structure for predator

A stage-structured predator–prey system with delays for prey and predator, respectively, is proposed and analyzed. Mathematical analysis of the model equations with regard to boundedness of solutions, permanence and stability are analyzed. Some sufficient conditions which guarantee the permanence of the system and the global asymptotic stability of the boundary and positive equilibrium, respectively, are obtained.     

Covering relations, cone conditions and the stable manifold theorem

We show how to effectively link covering relations with cone conditions. We give a new, ‘geometric,’ proof of the stable manifold theorem for hyperbolic fixed point of a map.     

Some simple conditions implying topological transitivity for interval maps

Summary. We provide some sufficient conditions for topological transitivity of piecewise monotonic maps on [0,1]. Our theorems provide shorter and elementary proofs for some known recent results.