Original articles
Center conditions for nilpotent cubic systems using the Cherkas method

https://doi.org/10.1016/j.matcom.2016.04.002Get rights and content

Abstract

In this study, we consider the center problem of a cubic polynomial differential system with a nilpotent linear part. The analysis is based on the application of the Cherkas method to the Takens normal form. The analysis requires many computations, which are verified by employing one algebraic manipulator and extensive use of the computer algebra system called Singular.

Section snippets

Introduction and preliminary results

We consider the following differential system with a nilpotent linear part ẋ=y+P(x,y),ẏ=Q(x,y), where P and Q are analytic in a neighborhood of the origin without constants as linear terms. We assume that the origin is an isolated singular point. The monodromy problem involves characterizing when a singular point is either a focus or a center. Andreev  [4] solved this problem for nilpotent singular points.

Theorem 1.1 Andreev

Let y=ϕ(x) be the solution of y+P(x,y)=0that passes through the origin. Consider the

Proof of Theorem 1.7

By applying Theorem 1.1 to system (1.10), we find that the solution passing through the origin has the form ϕ(x)=a2x2+(a2b1a3)x3+O(x3), and by computing the first terms of the functions ψ(x) and Δ(x), we obtain ψ(x)=c2x2+(c3a2d1)x3+O(x4),Δ(x)=(2a2+d1)x+(3a3a2b1+d22a2e0)x2+O(x3). A first necessary condition to have a center or a focus for system (1.10) is that the function ψ(x) has a power development that begins with terms of odd degree. Hence, we require that ψ2=c2 is equal to zero.

We

Proof of Theorem 1.8

In order to apply Theorem 1.5, we consider the analytic function (1.9), which we write as F(ξ(u))=i=1fiui.Theorem 1.5 states that all the centers of (1.8) are characterized by the condition that f2i1=0 for i1. Therefore, computing the necessary conditions requires the computation of the function ξ(u), which can be achieved by a formal substitution of ξ(u) and solving the recursive linear system obtained from the equation u=ξ(u)2lG(ξ(u))ξ(u)2l2l. Next, we substitute the expression of ξ(u)

References (35)

  • J. Giné et al.

    Weierstrass integrability in Liénard differential systems

    J. Math. Anal. Appl.

    (2011)
  • J. Giné et al.

    A method for characterizing nilpotent centers

    J. Math. Anal. Appl.

    (2014)
  • J. Giné et al.

    The reversibility and the center problem

    Nonlinear Anal.

    (2011)
  • J. Llibre et al.

    Limit cycles bifurcating from a degenerate center

    Math. Comput. Simulation

    (2016)
  • V.G. Romanovski et al.

    An approach to solving systems of polynomials via modular arithmetics with applications

    J. Comput. Appl. Math.

    (2011)
  • E. Strózyna et al.

    The analytic and formal normal form for the nilpotent singularity

    J. Differential Equations

    (2002)
  • Y. Wu et al.

    Calculation of singular point quantities at infinity for a type of polynomial differential systems

    Math. Comput. Simulation

    (2015)
  • Cited by (3)

    The author was partially supported by MINECO/FEDER grant number MTM2014-53703-P and AGAUR (Generalitat de Catalunya) grant number 2014SGR 1204.

    View full text