Symbolic computation of limit cycles associated with Hilbert’s 16th problem

Abstract This paper is concerned with the practical complexity of the symbolic computation of limit cycles associated with Hilbert’s 16th problem. In particular, in determining the number of small-amplitude limit cycles of a non-linear dynamical system, one often faces computing the focus values of Hopf-type critical points and solving lengthy coupled polynomial equations. These computations must be carried out through symbolic computation with the aid of a computer algebra system such as Maple or Mathematica, and thus usually gives rise to very large algebraic expressions. In this paper, efficient computations for the focus values and polynomial equations are discussed, showing how to deal with the complexity in the computation of non-linear dynamical systems.

[1]  Maoan Han,et al.  The Hopf cyclicity of Lienard systems , 2001, Appl. Math. Lett..

[2]  Pei Yu,et al.  Twelve Limit Cycles in a cubic Case of the 16TH Hilbert Problem , 2005, Int. J. Bifurc. Chaos.

[3]  S. Smale Mathematical problems for the next century , 1998 .

[4]  Songling Shi,et al.  A CONCRETE EXAMPLE OF THE EXISTENCE OF FOUR LIMIT CYCLES FOR PLANE QUADRATIC SYSTEMS , 1980 .

[5]  Víctor Mañosa,et al.  Algebraic Properties of the Liapunov and Period Constants , 1997 .

[6]  Jibin Li,et al.  Bifurcation set and limit cycles forming compound eyes in a perturbed Hamiltonian system , 1991 .

[7]  Maoan Han,et al.  Cyclicity of planar homoclinic loops and quadratic integrable systems , 1997 .

[8]  N. G. Lloyd,et al.  Some cubic systems with several limit cycles , 1988 .

[9]  Pei Yu,et al.  COMPUTATION OF NORMAL FORMS VIA A PERTURBATION TECHNIQUE , 1998 .

[10]  韩茂安 LIAPUNOV CONSTANTS AND HOPF CYCLICITY OF LIENARD SYSTEMS , 1999 .

[11]  J. M. Pearson,et al.  Computing centre conditions for certain cubic systems , 1992 .

[12]  Pei Yu,et al.  Small limit cycles bifurcating from fine focus points in cubic order Z2-equivariant vector fields , 2005 .

[13]  Ping Bi,et al.  A new cubic system having eleven limit cycles , 2005 .

[14]  H. Zoladek,et al.  Eleven small limit cycles in a cubic vector field , 1995 .

[15]  Tonghua Zhang,et al.  Some bifurcation methods of finding limit cycles. , 2006, Mathematical biosciences and engineering : MBE.

[16]  John Guckenheimer,et al.  Degenerate homoclinic cycles in perturbations of quadratic Hamiltonian systems , 1989 .

[17]  Joan Torregrosa,et al.  A new algorithm for the computation of the Lyapunov constants for some degenerated critical points , 2001 .

[18]  Jibin Li,et al.  Hilbert's 16th Problem and bifurcations of Planar Polynomial Vector Fields , 2003, Int. J. Bifurc. Chaos.

[19]  Li Xin Cheng,et al.  On Hereditarily Indecomposable Banach Spaces , 2006 .

[20]  L. Perko Differential Equations and Dynamical Systems , 1991 .

[21]  Liu Yi-Reng,et al.  THEORY OF VALUES OF SINGULAR POINT IN COMPLEX AUTONOMOUS DIFFERENTIAL SYSTEMS , 1990 .

[22]  Maoan Han,et al.  On Hopf Cyclicity of Planar Systems , 2000 .

[23]  Wang Dongming,et al.  A class of cubic differential systems with 6-tuple focus , 1990 .

[24]  P. Yu,et al.  Twelve limit cycles in a cubic order planar system with $Z_2$- symmetry , 2004 .

[25]  Arjeh M. Cohen,et al.  Some tapas of computer algebra , 1999, Algorithms and computation in mathematics.

[26]  Chen Hai-bo,et al.  Linear recursion formulas of quantities of singular point and applications , 2004, Appl. Math. Comput..

[27]  Y. Il'yashenko Centennial History of Hilbert’s 16th Problem , 2002 .

[28]  Fabrice Rouillier,et al.  Symbolic Recipes for Real Solutions , 1999 .

[29]  N. G. Lloyd,et al.  A Cubic System with Eight Small-Amplitude Limit Cycles , 1991 .

[30]  N. N. Bautin,et al.  On the number of limit cycles which appear with the variation of coefficients from an equilibrium position of focus or center type , 1954 .

[31]  Yirong Liu,et al.  A cubic system with twelve small amplitude limit cycles , 2005 .

[32]  Jean-Pierre Francoise,et al.  Successive derivatives of a first return map, application to the study of quadratic vector fields , 1996, Ergodic Theory and Dynamical Systems.

[33]  Yirong Liu,et al.  CENTER AND ISOCHRONOUS CENTER AT INFINITY IN A CLASS OF PLANAR DIFFERENTIAL SYSTEMS , 2008 .