On general algebraic mechanisms for producing centers in polynomial differential systems

We classify nondegenerate centers of systems of the form

On implicit systems of differential equations

This article considers implicit systems of differential equations. The implicit systems that are considered are given by polynomial relations on the coordinates of the indeterminate function and the coordinates of the time derivative of the indeterminate function. For such implicit systems of differential equations, we are concerned with computing algebraic constraints such that on the algebraic variety determined by the constraint equations the original implicit system of differential equations has an explicit representation. Our approach is algebraic. Although there have been a number of articles that approach implicit differential equations algebraically, all such approaches have relied heavily on linear algebra. The approach of this article is different, we have no linearity requirements at all, instead we rely on algebraic geometry. In particular, we use birational mappings to produce an explicit system. The methods developed in this article are easily implemented using various computer algebra systems.     

Least squares completions for nonlinear differential algebraic equations

Summary A method has been proposed for numerically solving lower dimensional, nonlinear, higher index differential algebraic equations for which more classical methods such as backward differentiation or implicit Runge-Kutta may not be appropriate. This method is based on solving nonlinear DAE derivative arrays using nonlinear singular least squares methods. The theoretical foundations, generality, and limitations of this approach remain to be determined. This paper carefully examines several key aspects of this approach. The emphasis is on general results rather than specific results based on the structure of various applications.Research supported in part by the U.S. Army Research Office under DAALO3-89-D-0003 and the National Science Foundation under ECS-9012909 and DMS-9122745     

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.     

Analytic normalization of analytically integrable differential systems near a periodic orbit

For an analytic differential system in Rⁿ${\mathbb{R}}^n$ with a periodic orbit, we will prove that if the system is analytically integrable around the periodic orbit, i.e. it has n−1$n-1$ functionally independent analytic first integrals defined in a neighborhood of the periodic orbit, then the system is analytically equivalent to its Poincaré–Dulac type normal form. This result is an extension of analytically integrable differential systems around a singularity to the ones around a periodic orbit.     

Integrability and algebraic limit cycles for polynomial differential systems with homogeneous nonlinearities

We consider the class of polynomial differential equations , where P_n and Q_n are homogeneous polynomials of degree n. These systems have a focus at the origin if λ≠0, and have either a center or a focus if λ=0. Inside this class we identify a new subclass of Darbouxian integrable systems having either a focus or a center at the origin. Additionally, under generic conditions such Darbouxian integrable systems can have at most one limit cycle, and when it exists is algebraic. For the case n=2 and 3, we present new classes of Darbouxian integrable systems having a focus.     

Integrability and algebraic limit cycles for polynomial differential systems with homogeneous nonlinearities

We consider the class of polynomial differential equations , where P_n and Q_n are homogeneous polynomials of degree n. These systems have a focus at the origin if λ≠0, and have either a center or a focus if λ=0. Inside this class we identify a new subclass of Darbouxian integrable systems having either a focus or a center at the origin. Additionally, under generic conditions such Darbouxian integrable systems can have at most one limit cycle, and when it exists is algebraic. For the case n=2 and 3, we present new classes of Darbouxian integrable systems having a focus.     

Generalized rational first integrals of analytic differential systems

In this paper we mainly study the necessary conditions for the existence of functionally independent generalized rational first integrals of ordinary differential systems via the resonances. The main results extend some of the previous related ones, for instance the classical Poincaré?s one (Poincaré, 1891, 1897 [16]), the Furta?s one (Furta, 1996 [8]), part of Chen et al.?s ones (Chen et al., 2008 [4]), and the Shi?s one (Shi, 2007 [18]). The key point in the proof of our main results is that functionally independence of generalized rational functions implies the functionally independence of their lowest order rational homogeneous terms.     

Polynomial differential systems having a given Darbouxian first integral

The Darbouxian theory of integrability allows to determine when a polynomial differential system in has a first integral of the kind f₁^λ₁?f_p^λ_pexp(g/h) where f_i, g and h are polynomials in , and for i=1,…,p. The functions of this form are called Darbouxian functions. Here, we solve the inverse problem, i.e. we characterize the polynomial vector fields in having a given Darbouxian function as a first integral.On the other hand, using information about the degree of the invariant algebraic curves of a polynomial vector field, we improve the conditions for the existence of an integrating factor in the Darbouxian theory of integrability.     

Orbital formal normal forms for general Bogdanov-Takens singularity

We solve completely the problem of classification of germs of complex planar vector fields with nilpotent singularity with respect to formal orbital equivalence.     

On then-th order iterative ordinary linear differential equations

Summary It is shown that a change of the basis in the solution space of a second order linear differential equation induces a covariant change in the solution space of the corresponding iterative equation. Also studied is the problem to what extent a solution of an iterative equation determines the equation.Dedicated to the memory of Alexander M. Ostrowski on the occasion of the 100th anniversary of his birth.     

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.     

Normal form for linear systems with respect to its vector relative degree

For multi-input multi-output (MIMO) linear systems with existing vector relative degree a normal form is constructed. This normal form is not only structural simple but allows to characterize the system’s zero dynamics for the design of feedback controllers. A characterization of the zero dynamics in terms of the normal form is given.     

Limit behavior of solutions of ordinary linear differential equations

A classification of classes of equivalent linear differential equations with respect to -limit sets of their canonical representations is introduced. Some consequences of this classification with respect to the oscillatory behavior of solution spaces are presented.     

Algebraic properties of first integrals for systems of second-order ordinary differential equations of maximal symmetry

Symmetries of the first integrals for scalar linear or linearizable secondorder ordinary di?erential equations (ODEs) have already been derived and shown to exhibit interesting properties. One of these is that the symmetry algebra sl(3, IR) is generated by the three triplets of symmetries of the functionally independent first integrals and its quotient. In this paper, we first investigate the Lie-like operators of the basic first integrals for the linearizable maximally symmetric system of two second-order ODEs represented by the free particle system, obtainable from a complex scalar free particle equation, by splitting the corresponding complex basic first integrals and its quotient as well as their associated symmetries. It is proved that the 14 Lie-like operators corresponding to the complex split of the symmetries of the functionally independent first integrals I₁, I₂ and their quotient I₂/I₁ are precisely the Lie-like operators corresponding to the complex split of the symmetries of the scalar free particle equation in the complex domain. Then, it is shown that there are distinguished four symmetries of each of the four basic integrals and their quotients of the two-dimensional free particle system which constitute four-dimensional Lie algebras which are isomorphic to each other and generate the full symmetry algebra sl(4, IR) of the free particle system. It is further shown that the (n + 2)-dimensional algebras of the n + 2 first integrals of the system of n free particle equations are isomorphic to each other and generate the full symmetry algebra sl(n + 2, IR) of the free particle system.     

On the 16th Hilbert problem for algebraic limit cycles

For a polynomial planar vector field of degree n?2 with generic invariant algebraic curves we show that the maximum number of algebraic limit cycles is 1+(n−1)(n−2)/2 when n is even, and (n−1)(n−2)/2 when n is odd. Furthermore, these upper bounds are reached.