THE CENTER-FOCUS PROBLEM AND BIFURCATION OF LIMIT CYCLES IN A CLASS OF 7TH-DEGREE POLYNOMIAL SYSTEMS

Similar documents
TWELVE LIMIT CYCLES IN A CUBIC ORDER PLANAR SYSTEM WITH Z 2 -SYMMETRY. P. Yu 1,2 and M. Han 1

The center problem for a 2 : 3 resonant cubic Lotka Volterra system

On the fixed points set of differential systems reversibilities arxiv: v1 [math.ds] 6 Oct 2015

Preprint Preprint Preprint Preprint

Period function for Perturbed Isochronous Centres

PLANAR ANALYTIC NILPOTENT GERMS VIA ANALYTIC FIRST INTEGRALS

Local bifurcation of limit cycles and center problem for a class of quintic nilpotent systems

Cubic Systems and Abel Equations

HOMOLOGICAL LOCAL LINKING

Hopf Bifurcation and Limit Cycle Analysis of the Rikitake System

EXACT SOLITARY WAVE AND PERIODIC WAVE SOLUTIONS OF THE KAUP-KUPERSCHMIDT EQUATION

ZERO-HOPF BIFURCATION FOR A CLASS OF LORENZ-TYPE SYSTEMS

SIMPLE CHAOTIC FLOWS WITH ONE STABLE EQUILIBRIUM

Computations of Critical Groups at a Degenerate Critical Point for Strongly Indefinite Functionals

LIMIT CYCLES OF POLYNOMIAL DIFFERENTIAL EQUATIONS WITH QUINTIC HOMOGENOUS NONLINEARITIES

Generalized Liénard Equations, Cyclicity and Hopf Takens Bifurcations

SUB-MANIFOLD AND TRAVELING WAVE SOLUTIONS OF ITO S 5TH-ORDER MKDV EQUATION

Introduction to fractal analysis of orbits of dynamical systems. ZAGREB DYNAMICAL SYSTEMS WORKSHOP 2018 Zagreb, October 22-26, 2018

A Novel Three Dimension Autonomous Chaotic System with a Quadratic Exponential Nonlinear Term

SHADOWING PROPERTY FOR INDUCED SET-VALUED DYNAMICAL SYSTEMS OF SOME EXPANSIVE MAPS

A quartic system and a quintic system with fine focus of order 18

Additive resonances of a controlled van der Pol-Duffing oscillator

Dynamics at infinity and a Hopf bifurcation arising in a quadratic system with coexisting attractors

Polynomial vector fields in R 3 having a quadric of revolution as an invariant algebraic surface

Stability and bifurcation in a two species predator-prey model with quintic interactions

Prolongation structure for nonlinear integrable couplings of a KdV soliton hierarchy

A new four-dimensional chaotic system

An improved lower bound on the number of limit cycles bifurcating from a quintic Hamiltonian planar vector field under quintic perturbation

Solutions of two-point boundary value problems via phase-plane analysis

Time-delay feedback control in a delayed dynamical chaos system and its applications

Boundedness of solutions to a retarded Liénard equation

LIMIT CYCLES AND INVARIANT PARABOLAS FOR AN EXTENDED KUKLES SYSTEM

vii Contents 7.5 Mathematica Commands in Text Format 7.6 Exercises

Constructing a chaotic system with any number of equilibria

Chini Equations and Isochronous Centers in Three-Dimensional Differential Systems

A New Hyperchaotic Attractor with Complex Patterns

ON THE CONSTRUCTION OF DUALLY FLAT FINSLER METRICS

Invariant manifolds of the Bonhoeffer-van der Pol oscillator

On the existence of limit cycles for some planar vector fields

Dynamical Systems with Applications using Mathematica

Explicit expression for a first integral for some classes of polynomial differential systems

Recent new examples of hidden attractors

COEXISTENCE OF ALGEBRAIC AND NON-ALGEBRAIC LIMIT CYCLES FOR QUINTIC POLYNOMIAL DIFFERENTIAL SYSTEMS

B5.6 Nonlinear Systems

Controlling a Novel Chaotic Attractor using Linear Feedback

1. Introduction and statement of the main results

Diagonalization of the Coupled-Mode System.

ADAPTIVE DESIGN OF CONTROLLER AND SYNCHRONIZER FOR LU-XIAO CHAOTIC SYSTEM

Finite-time hybrid synchronization of time-delay hyperchaotic Lorenz system

Bifurcations of Traveling Wave Solutions for a Generalized Camassa-Holm Equation

Some Dynamical Behaviors In Lorenz Model

Introduction to Applied Nonlinear Dynamical Systems and Chaos

A fixed point theorem for a Ćirić-Berinde type mapping in orbitally complete metric spaces

AVERAGING THEORY AT ANY ORDER FOR COMPUTING PERIODIC ORBITS

Construction of a New Fractional Chaotic System and Generalized Synchronization

Some explicit formulas of Lyapunov exponents for 3D quadratic mappings

Part II. Dynamical Systems. Year

Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems

A quantitative approach to syndetic transitivity and topological ergodicity

LIMIT CYCLES COMING FROM THE PERTURBATION OF 2-DIMENSIONAL CENTERS OF VECTOR FIELDS IN R 3

THE SET OF RECURRENT POINTS OF A CONTINUOUS SELF-MAP ON AN INTERVAL AND STRONG CHAOS

BOUNDARY VALUE PROBLEMS OF A HIGHER ORDER NONLINEAR DIFFERENCE EQUATION

A Novel Hyperchaotic System and Its Control

CHALMERS, GÖTEBORGS UNIVERSITET. EXAM for DYNAMICAL SYSTEMS. COURSE CODES: TIF 155, FIM770GU, PhD

STABILITY. Phase portraits and local stability

FOUR LIMIT CYCLES FROM PERTURBING QUADRATIC INTEGRABLE SYSTEMS BY QUADRATIC POLYNOMIALS*

Difference Resonances in a controlled van der Pol-Duffing oscillator involving time. delay

Centers of projective vector fields of spatial quasi-homogeneous systems with weight (m, m, n) and degree 2 on the sphere

Ahmed Abbas Mizeal and Mudhir A. Abdul Hussain

Dynamical Systems with Applications

Bidirectional Partial Generalized Synchronization in Chaotic and Hyperchaotic Systems via a New Scheme

New Integrable Decomposition of Super AKNS Equation

A Comparison of Two Predator-Prey Models with Holling s Type I Functional Response

Applied Mathematics Letters

Singular Value Inequalities for Real and Imaginary Parts of Matrices

Control and synchronization of Julia sets of the complex dissipative standard system

DIFFERENTIAL EQUATIONS, DYNAMICAL SYSTEMS, AND AN INTRODUCTION TO CHAOS

Strongly persistent centers for trigonometric Abel equations

Projective synchronization of a complex network with different fractional order chaos nodes

Chapter 6 Nonlinear Systems and Phenomena. Friday, November 2, 12

B5.6 Nonlinear Systems

A POLAR, THE CLASS AND PLANE JACOBIAN CONJECTURE

PUBLICATIONS. Bo Zhang

3 Stability and Lyapunov Functions

Complete Synchronization, Anti-synchronization and Hybrid Synchronization Between Two Different 4D Nonlinear Dynamical Systems

THE HARMONIC INDEX OF UNICYCLIC GRAPHS WITH GIVEN MATCHING NUMBER

An Improved F-Expansion Method and Its Application to Coupled Drinfel d Sokolov Wilson Equation

On the simplest expression of the perturbed Moore Penrose metric generalized inverse

arxiv: v1 [math.dg] 19 Nov 2009

CHALMERS, GÖTEBORGS UNIVERSITET. EXAM for DYNAMICAL SYSTEMS. COURSE CODES: TIF 155, FIM770GU, PhD

ADAPTIVE CHAOS SYNCHRONIZATION OF UNCERTAIN HYPERCHAOTIC LORENZ AND HYPERCHAOTIC LÜ SYSTEMS

On the spectral radii of quasi-tree graphs and quasiunicyclic graphs with k pendent vertices

EXACT BREATHER-TYPE SOLUTIONS AND RESONANCE-TYPE SOLUTIONS OF THE (2+1)-DIMENSIONAL POTENTIAL BURGERS SYSTEM

Bifurcation control and chaos in a linear impulsive system

CHALMERS, GÖTEBORGS UNIVERSITET. EXAM for DYNAMICAL SYSTEMS. COURSE CODES: TIF 155, FIM770GU, PhD

Generalized projective synchronization of a class of chaotic (hyperchaotic) systems with uncertain parameters

MULTIPLE SOLUTIONS FOR AN INDEFINITE KIRCHHOFF-TYPE EQUATION WITH SIGN-CHANGING POTENTIAL

Localization of Compact Invariant Sets of Nonlinear Systems

1. < 0: the eigenvalues are real and have opposite signs; the fixed point is a saddle point

CONTROLLING IN BETWEEN THE LORENZ AND THE CHEN SYSTEMS

Transcription:

Journal of Applied Analysis and Computation Volume 6, Number 3, August 016, 17 6 Website:http://jaac-online.com/ DOI:10.1194/01605 THE CENTER-FOCUS PROBLEM AND BIFURCATION OF LIMIT CYCLES IN A CLASS OF 7TH-DEGREE POLYNOMIAL SYSTEMS Bo Sang,1, and Qinlong Wang,3 Abstract By computing singular point values, the center conditions are established for a class of 7th-degree planar polynomial systems with 15 parameters. It is proved that such systems can have 13 small-amplitude limit cycles in the neighborhood of the origin. To the best of our knowledge, this is the first example of a 7th-degree system having non-homogeneous nonlinearities with thirteen limit cycles bifurcated from a fine focus. Keywords Limit cycle, center variety, singular point value, time-reversibility. MSC(010) 34C05, 34C07. 1. Introduction Consider a planar differential system du dt = λ u v + P n(u, v), dv dt = u + λ v + Q n(u, v), (1.1) where P n (u, v), Q n (u, v) R[u, v] are polynomials of degree n without constants and linear terms. If λ = 0, it is well-known that the singularity at the origin is a fine focus (surrounded by spirals) or a center (surrounded by closed trajectories). The center-focus problem for system (1.1) is to determine conditions on the coefficients of P n and Q n, under which an open neighborhood of the origin is covered by closed trajectories. the corresponding author. Email address: sangbo 76@163.com(B. Sang) 1 School of Mathematical Sciences, Liaocheng University, Liaocheng 5059, P. R. China Guangxi Education Department Key Laboratory of Symbolic Computation and Engineering Data Processing, Hezhou University, Hezhou 5499, Guangxi, P.R. China 3 School of Science, Hezhou University, Hezhou 5499, P.R. China The authors were supported by National Natural Science Foundation of China (1146101), Guangxi Education Department Key Laboratory of Symbolic Computation and Engineering Data Processing (FH01505), Scientific Research Foundation of Guangxi Education Department (ZD014131), Foundation for Research in Experimental Techniques of Liaocheng University (LDSY014110) and PhD research startup foundation of Liaocheng University.

1 B. Sang & Q. Wang For system (1.1), there exists a unique formal power series k H (u, v) = u + v + B k,j u k j v j = u + v + H 3 (u, v) + H 4 (u, v) +, k=3 j=0 (1.) where B k,k = 0 with k even and H k (u, v) are homogeneous polynomials of degree k, so that dh = V n (u + v ) (n+1), (1.3) dt (1.1) n=0 where V n is called the n-th Poincaré-Liapunov constant of system (1.1) at the origin. The origin is called a center if V 0 = V 1 = V = = 0. The origin is said to be a fine focus of order k if V k is the first non-zero Poincaré-Liapunov constant. In this case at most k small-amplitude limit cycles can bifurcate from the fine focus. The classification of centers for system (1.1) starting from quadratic terms can be found in the survey article [3]. The analysis for cubic systems without quadratic terms is given in [17]. Some sufficient center conditions for quartic homogeneous systems are obtained in [3]. Consider the following autonomous system dx dt =x + a α,β x α y β = X(x, y), dy dt = y α+β= α+β= b α,β y α x β = Y (x, y), (1.4) where X(x, y), Y (x, y) C, α 0, β 0, a α,β = b α,β, and x, y, t C. By means of transformation x = u + iv, y = u iv, t = it 1, i = 1, (1.5) system (1.4) can be transformed into the following real system du = v + h.o.t. = U(u, v), dt 1 dv =u + h.o.t. = V (u, v), dt 1 (1.6) which is system (1.4) s concomitant real system. For system (1.4), we can derive a formal power series of the form F (x, y) = xy + with B s,s = 0, s =, 3,, such that k=3 j=0 k B k,j x k j y j, (1.7) df = F dt (1.4) x X + F y Y = W n (xy) n+1, (1.) n=1

Center-focus problem and bifurcation of limit cycles 19 where W n is called the n-th singular point value (also known as 1:-1 resonant focus number) of system (1.4) at the origin. The origin of system (1.4) is called a complex center if and only if W 1 = W = = 0. The ideal B := W 1, W, is called the Bautin ideal and its variety V (B) is called the center variety. Lemma 1.1 (see [16]). Let W n be the n-th singular point value of system (1.4) at the origin, and V n be the n-th Poincaré-Liapunov constant of system (1.6) at the origin. Then we have W n V n i mod V 1, V,, V n 1. From Lemma 1.1, we have the following result. Lemma 1.. The origin of system (1.4) is a complex center if and only if the origin of system (1.6) is a center. Żo l adek [34] generalized the notion of center to the case of a p : q resonant singular point of the following complex polynomial vector field dx dt = p x + X m(x, y), dy dt = q y + Y m(x, y), in C, where p, q N, p q, (p, q) = 1, and X m (x, y) = m k= j=0 k m a k,j x k j y j, Y m (x, y) = k= j=0 k b k,j x k j y j. (1.9) Definition 1.1 (see [0]). System (1.9) is said to have a p : q resonant center at the origin if it admits a formal first integral of the form F (x, y) = x q y p + k=p+q+1 j=0 k B k,j x k j y j. (1.10) For system (1.9), we can derive a formal power series of the form (1.10) with B s(p+q),sp = 0, s =, 3,, such that df = F dt (1.9) x (px + X m) + F y ( qy + Y m) = W n (x q y p ) n+1, (1.11) where W n is called the nth order p : q resonant focus number (or generalized singular point value). For some algorithms to compute these numbers, see [16, 1, 1]. According to Theorem 3.1 of Wang [5], the algorithm of Sang [1] based on pseudo-divisions can be generalized to the situation of three-dimensional polynomial differential systems with two purely imaginary eigenvalues. A stable limit cycle is the one which attracts all neighboring trajectories. Stable limit cycles model systems that exhibit self-sustained oscillations. Finding limit cycles is of great importance in the theory of nonlinear oscillations and the qualitative theory of dynamical systems, see [9, 14, 7, 9]. n=1

0 B. Sang & Q. Wang The second part of Hilbert s 16th problem is to find an upper bound, called Hilbert number H(n), on the number of limit cycles of all polynomial vector fields with degree n. This problem has not been completely solved even for quadratic systems. The maximum number of bifurcating limit cycles from singular points or from periodic orbits is known for a reduced classes of systems (e.g. see [7,10 13,4, 6,, 30 33]). For a 7th-degree planar system with homogeneous nonlinearities, Giné [7] found a system with 13 small limit cycles by using center bifurcation. In this paper we will use multiple Hopf bifurcation rather than center bifurcation to find the same number of small limit cycles in a 7th-degree system with non-homogeneous nonlinearities. In general for a family of polynomial differential systems, finding the same number of limit cycles by multiple Hopf bifurcation is much more complicated than by center bifurcations, especially for system with non-homogeneous nonlinearities. Consider a class of Z 4 -equivariant 7th-degree systems in C, i.e., dx dt =(1 iλ)x + (a 1 + ib 1 )x 5 + (a + ib )y x 3 + (a 3 + ib 3 )y 4 x + (a 4 + ib 4 )yx 6 + (a 5 + ib 5 )y 3 x 4 + (a 6 + ib 6 )y 5 x + (a 7 + ib 7 )y 7, dy dt = (1 + iλ)y (a 1 ib 1 )y 5 (a ib )x y 3 (a 3 ib 3 )x 4 y (a 4 ib 4 )xy 6 (a 5 ib 5 )x 3 y 4 (a 6 ib 6 )x 5 y (a 7 ib 7 )x 7, (1.1) which has 15 independent real parameters. For the definition of Z n -equivariant complex system, see [6, 15]. By means of transformation (1.5), system (1.1) can be transformed into the real system du =λu v + ( b 1 b b 3 )u 5 + ( 5 a 1 a + 3 a 3 )vu 4 dt 1 + (10 b 1 b + b 3 )v u 3 + (10 a 1 a + a 3 )v 3 u + ( 5 b 1 b + 3 b 3 )v 4 u + ( a 1 a a 3 )v 5 + ( b 5 b 6 b 7 b 4 )u 7 + ( 5 a 4 a 5 + 3 a 6 + 7 a 7 )vu 6 + (9 b 4 3 b 5 + b 6 + 1 b 7 )v u 5 + (5 a 4 3 a 5 + 5 a 6 35 a 7 )v 3 u 4 + (5 b 4 3 b 5 + 5 b 6 35 b 7 )v 4 u 3 + (9 a 4 3 a 5 + a 6 + 1 a 7 )v 5 u + ( 5 b 4 b 5 + 3 b 6 + 7 b 7 )v 6 u + ( a 4 a 5 a 6 a 7 )v 7, dv dt 1 =u + λv + ( b 1 b b 3 )v 5 + (5 a 1 + a 3 a 3 )uv 4 Let + (10 b 1 b + b 3 )u v 3 + ( 10 a 1 + a a 3 )u 3 v + ( 5 b 1 b + 3 b 3 )u 4 v + (a 1 + a + a 3 )u 5 + ( b 5 b 6 b 7 b 4 )v 7 + (5 a 4 + a 5 3 a 6 7 a 7 )uv 6 + (9 b 4 3 b 5 + b 6 + 1 b 7 )u v 5 + ( 5 a 4 + 3 a 5 5 a 6 + 35 a 7 )u 3 v 4 + (5 b 4 3 b 5 + 5 b 6 35 b 7 )u 4 v 3 + ( 9 a 4 + 3 a 5 a 6 1 a 7 )u 5 v + ( 5 b 4 b 5 + 3 b 6 + 7 b 7 )u 6 v + (a 5 + a 6 + a 7 + a 4 )u 7. I 1 = b 3 + 5 b 1, a 3 5 a 1, b 4 + 1 3 b 6, a 4 1 3 a 6, b, b 5, (1.13)

Center-focus problem and bifurcation of limit cycles 1 I = a 1 b 3 + a 3 b 1, 1 5 b 1b 4 3 5 b 1b 6 + b 3 b 4 + 1 5 b 3b 6, 1 5 a 1b 4 + 3 5 a 1b 6 + a 3 b 4 + 1 5 a 3b 6, a 4 b 6 + a 6 b 4, 1 5 a 4b 1 + a 4 b 3 + 3 5 a 6b 1 1 5 a 6b 3, 1 5 a 1a 4 3 5 a 1a 6 + a 3 a 4 1 5 a 3a 6, b 7, a 7, b, b 5, I 3 = 1 a 1 b 7 + a 1 a 7 b 1 1 b 1 b 7, a 1 b 6 + a 6 b 1, a 1 a 6 b 7 a 1 a 7 b 6 + b 1 b 6 b 7, a 6 b 7 a 6 a 7 b 6 b 6 b 7, a 1 b 3 + a 3 b 1, a 1 a 3 b 7 a 1 a 7 b 3 + b 1 b 3 b 7, a 3 b 6 a 6 b 3, a 3 a 6 b 7 a 3 a 7 b 6 b 3 b 6 b 7, a 3 b 7 a 3 a 7 b 3 b 3 b 7, a 1 b 4 + a 4 b 1, a 1 a 4 b 7 + a 1 a 7 b 4 b 1 b 4 b 7, a 4 b 6 + a 6 b 4, a 4 a 6 b 7 a 4 a 7 b 6 + b 4 b 6 b 7, a 3 b 4 + a 4 b 3, a 3 a 4 b 7 a 4 a 7 b 3 + b 3 b 4 b 7, a 4 b 7 + a 4 a 7 b 4 b 4 b 7, b, b 5. Theorem 1.1. For system (1.1) λ=0, the center variety V (B) has three irreducible components: V (B) = V (B 15 ) = V (I 1 ) V (I ) V (I 3 ). Lemma 1.3. Suppose that a 1 = 7 a 3, b 1 = 7 b 3, ( ) 1 a = 4 (a 57 3 + b 3) 1, ( ) 1 4 a 4 = 10 b3 (a 3 + b 57 3) 1 4, a 6 = 57 3 5 4 4 b 3 (a 3 + b 3) 1 4, 19 a 7 = 16 [ ] 1 3 a 4 3b 3, b 7 = 3 57 (a 3 + b 3) ( ) 1 4 b 4 = 10 a3 (a 3 + b 57 3) 1 4, b 6 = 57 3 5 4 4 a 3 (a 3 + b 3) 1 4 19 ( 57 ) 1, 4 (a 3 b 3)(a 3 + b 3) 1 4, λ = a5 = b = b 5 = 0, then the origin of system (1.13) is a fifteenth order weak focus. (1.14) Remark 1.1. From the proof of Theorem 1.1 in the next section, it follows that the essential focal basis (see [1]) of Poincaré-Liapunov constants for (1.13) is V 0, V, V 3,, V 15, hence the highest order of weak focus is fifteen. Theorem 1.. If condition (1.14) holds, then there are perturbations of system (1.13) yielding 13 small-amplitude limit cycles bifurcating from the origin.. Proofs of the results Using the algorithm of [1], we compute the first fifteen singular point values W 1 = iu 1, W = iu,, W 15 = iu 15 of system (1.1) λ=0, where the quantity U k is

B. Sang & Q. Wang reduced w.r.t. the Gröbner basis of {U j : j < k}, and U 1 = 0, U = b, U 3 = b 5, U 4 = a 1 b 3 a 3 b 1, U 5 = 1 (b 4 3 b 6 )a 1 + 1 ( 5 b 4 b 6 )a 3 + 1 ( a 4 3 a 6 )b 1 + 1 ( 5 a 4 + a 6 )b 3, U 6 = a 4 b 6 a 6 b 4, U 7 = 5 a 1 b 7 16 5 b 1 b 7 16 + 17 a 1a 3 b 7 + 17 b 1b 3 b 7 U = 5 a 1a 4 b 7 + 15 a 1a 6 b 7 3 4 a 4a 7 b 1 39 a 4a 7 b 3 4 + 3 b 3b 4 b 7 + 11 b 3b 6 b 7. + 5 a 1a 7 b 1 7 a 3 b 7 16 + 7 b 3 b 7, 16 + 17 a 3a 7 b 1 4 + a 1 a 7 b 4 6 a 1 a 7 b 6 + 3 a 3a 4 b 7 + 7 a 3a 7 b 3 11 a 3a 6 b 7 9 4 a 6a 7 b 1 + 11 4 a 6a 7 b 3 5 b 1b 4 b 7 + 15 b 1b 6 b 7 4 a 3 a 7 b 4 The other polynomials for U j, 9 j 15 are too long to be presented in this paper. However, the interested reader can compute them with the help of computer algebra system Maple. According to Lemma 1.1, the first fifteen Poincaré-Liapunov constants of system (1.13) λ=0 are V j = U j, 1 j 15. Proof of Theorem 1.1. By the Hilbert Basis Theorem V (B) = V (B k ) for some k N. Using the Radical Membership Test one can verify that W / W 1,, W 15 / W 1, W,, W 14, W 16, W 17 W 1, W,, W 15, which leads us to expect that V (B 15 ) = V (B). To verify that this is the case we compute the minimal decomposition of the variety of the ideal B 15 with Singular routine minassgtz (see []) and find that thus we have V (B 15 ) = V (I 1 ) V (I ) V (I 3 ), V (B) V (B 15 ) = V (I 1 ) V (I ) V (I 3 ). Now to prove the inclusion in the other direction, we verify that each point of V (I k ), k = 1,, 3 corresponds to a system with a complex center at the origin. System (1.1) λ=0 that corresponds to component V (I 1 ) can be written as dx dt =x + (a 1 + ib 1 )x 5 + a y x 3 + (5 a 1 5 ib 1 )y 4 x + (a 4 + ib 4 )yx 6 + a 5 y 3 x 4 + (3 a 4 3 ib 4 )y 5 x + (a 7 + ib 7 )y 7, dy dt = y (a 1 ib 1 )y 5 a x y 3 (5 a 1 + 5 ib 1 )x 4 y (a 4 ib 4 )xy 6 a 5 x 3 y 4 (3 a 4 + 3 ib 4 )x 5 y (a 7 ib 7 )x 7. System (.1) is Hamiltonian with Hamiltonian function Φ(x, y) = xy + (a 1 + ib 1 )yx 5 + 1/3 a x 3 y 3 + (a 1 ib 1 )y 5 x + ( i/b 7 + 1/ a 7 )x +(i/b 4 + 1/ a 4 )y x 6 + 1/4 a 5 x 4 y 4 + ( i/b 4 + 1/ a 4 )y 6 x +(i/b 7 + 1/ a 7 )y, (.1)

Center-focus problem and bifurcation of limit cycles 3 thus the origin of it is a complex center. The zero set of the ideal I consists of four solutions: (i) a 3 = 3a 1, b 3 = 3b 1, a 4 = a 7 = b = b 4 = b 5 = b 7 = 0. In this case, system (1.1) λ=0 admits an integrating factor of the form µ(x, y) = (xy), (ii) a 6 = 5a 4, b 6 = 5b 4, a 1 = a 7 = b 1 = b = b 5 = b 7 = 0. In this case, system (1.1) λ=0 admits an integrating factor of the form µ(x, y) = (xy) 1, (iii) b 3 = (3a6+a4)b1 a 6 5a 4, b 4 = a4b6 a 6, a 1 = a 3 = a 7 = b = b 5 = b 7 = 0. In this case, system (1.1) λ=0 admits an integrating factor of the form µ(x, y) = (xy) (a 6 3a 4 ) a 4 a 6, (iv) b 6 = (5b3+b1)b4 3b 1 b 3, a 1 = a 3 = a 4 = a 6 = a 7 = b = b 5 = b 7 = 0. In this case, system (1.1) λ=0 admits an integrating factor of the form µ(x, y) = (xy) b 3 +5b 1 b 1 +b 3. According to Theorem 4.13 of [5], for any system that corresponds to component V (I ), there exists a Lyapunov first integral on a neighborhood of the origin, which is thus a center. For the component V (I 3 ), using the algorithm from [19], we find that the Zariski closure of all time-reversible systems in the family (1.1) λ=0, denoted by R, is the variety of the ideal J 3, where J 3 = ib, ib 5, i( a 3 b 6 a 6 b 3 ), i( b 7 (a 3 b 3 ) 4 a 3 a 7 b 3 ), i( a 3 a 6 b 7 a 3 a 7 b 6 a 6 a 7 b 3 b 3 b 6 b 7 ), i( b 7 (a 6 b 6 ) 4 a 6 a 7 b 6 ), i( a 1 b 3 a 3 b 1 ), i( a 1 b 6 a 6 b 1 ), i( a 1 a 3 b 7 + a 1 a 7 b 3 a 3 a 7 b 1 b 1 b 3 b 7 ), i( a 1 a 6 b 7 + a 1 a 7 b 6 a 6 a 7 b 1 b 1 b 6 b 7 ), i( b 7 (a 1 b 1 ) + 4 a 7 a 1 b 1 ), i( a 1 b 4 a 4 b 1 ), i( a 3 b 4 a 4 b 3 ), i( a 4 b 6 a 6 b 4 ), i( a 3 a 4 b 7 a 3 a 7 b 4 + a 4 a 7 b 3 b 3 b 4 b 7 ), i( a 4 a 6 b 7 + a 4 a 7 b 6 a 6 a 7 b 4 b 4 b 6 b 7 ), i( a 1 a 4 b 7 + a 1 a 7 b 4 + a 4 a 7 b 1 b 1 b 4 b 7 ), i( b 7 (a 4 b 4 ) + 4 a 4 a 7 b 4 ). Because J 3 and I 3 have the same reduced Gröbner basis, then J 3 = I 3. Thus every system from V (I 3 ) admits a first integral of the form (1.7), and therefore has a center. Proof of Lemma 1.3. Let condition (1.14) be satisfied, then the first fifteenth order Poincaré-Liapunov constants of system (1.13) are as follows: V 0 = V 1 = = V 14 = 0, V 15 = 1390 ( ) 3 4 (a 57 3 + b 3) 15 4 0, and thus the origin of the system is a fifteenth order fine focus. Proof of Theorem 1.. Under condition (1.14), the Jacobian matrix of Poincaré- Liapunov constants V 0, V,, V 13 of system (1.13) with respect to λ, a 5, a,

4 B. Sang & Q. Wang b 5, b, a 4, b 4, a 6, b 6, a 7, b 7, a 1, b 1 has full rank, i.e., [ ] (V0, V, V 3, V 4, V 5, V 6, V 7, V, V 9, V 10, V 11, V 1, V 13 ) rank (λ, a 5, a, b 5, b, a 4, b 4, a 6, b 6, a 7, b 7, a 1, b 1 ) Furthermore, we have [ ] (V0, V, V 3, V 4, V 5, V 6, V 7, V, V 9, V 10, V 11, V 1, V 13, V 14 ) rank (λ, a 5, a, b 5, b, a 4, b 4, a 6, b 6, a 7, b 7, a 1, b 1 ) (1.14) (1.14) = 13. = 13, which implies that the linear parts of V 0, V,, V 13 at the critical values (1.14) are independent in the parameters and hence by Theorem 1 of [4] only 13 limit cycles can be bifurcated from the origin. Acknowledgements The authors are grateful to Prof. V. G. Romanovski for his warmful discussions about his algorithm in [19]. The authors are also grateful to the referees for the valuable remarks which helped to improve the manuscript. References [1] T.R. Blows and N.G. Lloyd, The number of limit cycles of certain polynomial differential equations, Proc. Roy. Soc. Edinburgh Sect. A, 9(194)(3-4), 15 39. [] J. Carr, Applications of centre manifold theory, Applied Mathematical Sciences, Vol. 35, Springer-Verleg, New York, 191. [3] J. Chavarriga and J. Giné, Integrability of a linear center perturbed by fourth degree homogeneous polynomial, Publ. Mat., 40(1996)(1), 1 39. [4] C. Christopher and S. Lynch, Small-amplitude limit cycle bifurcations for Lienard systems with quadratic or cubic damping or restoring forces, Nonlinearity, 1(1999)(4), 1099 111. [5] C. Christopher, P. Mardešić and C. Rousseau, Normalizable, integrable, and linearizable saddle points for complex quadratic systems in C, J. Dyn. Control Sys., 9(003)(3), 311 363. [6] C. Du, Y. Liu and H. Chen, The bifurcation of limit cycles in Z n -equivariant vector fields, Appl. Math. Comput., 17(010)(5), 041 056. [7] J. Giné, Limit cycle bifurcations from a non-degenerate center, Appl. Math. Comput., 1(01)(9), 4703 4709. [] G.M. Greuel and G. Pfister, A Singular Introduction to Commutative Algebra, second edition, Springer, Heidelberg, 00. [9] M. Han and P. Yu, Normal Forms, Melnikov Functions, and Bifurcation of Limit Cycles, Springer-Verlag, New York, 01. [10] M. Han, Y. Tian and P. Yu, Small-amplitude limit cycles of polynomial Lienard systems, Sci. China Math., 56(013)(), 1543 1556. [11] M. Han, Bifurcation Theory of Limit Cycles, Mathematics Monograph Series, Vol. 5, Science Press, Beijing, 013.

Center-focus problem and bifurcation of limit cycles 5 [1] M. Han and P. Yu, Ten limit cycles around a center-type singular point in a 3-d quadratic system with quadratic perturbation, Appl. Math. Lett., 44(015)(6), 17 0. [13] C. Li, C. Liu and J. Yang, A cubic system with thirteen limit cycles, J. Diff. Equ., 46(009)(9), 3609 3619. [14] J. Li, Hilbert s 16th problem and bifurcations of planar polynomial vector fields, Int. J. Bifur. Chaos, 13(003)(1), 47 106. [15] J. Li and Y. Liu, New results on the study of Z q -equivariant planar polynomial vector fields, Qual. Theory Dyn. Syst., 9(010)(1-), 167 19. [16] Y. Liu, J. Li and W. Huang, Singular Point Values, Center Problem and Bifurcations of Limit Cycles of Two Dimensional Differential Autonomous Systems, Nonlinear Sciences Series, Vol. 6, Science Press, Beijing, 00. [17] K.E. Malkin, Criteria for the center for a certain differential equation, Volg. Matem. Sbornik, (1964), 7 91. [1] V.G. Romanovski and D.S. Shafer, On the center problem for p : q resonant polynomial vector fields, B. Belg. Math. Soc-Sim., 15(00)(5), 71 7. [19] V.G. Romanovski, Time-Reversibility in -Dimensional systems, Open Sys., Inf. Dynamics, 15(00)(4), 359 370. [0] V.G. Romanovski and D.S. Shafer, The Center and Cyclicity Problems: A Computational Algebra Approach, Birkhäuser, Boston, 009. [1] B. Sang, Center problem for a class of degenerate quartic systems, Electron. J. Qual. Theory Differ. Equ., 74(014), 1 17. [] B. Sang, Q. Wang and W. Huang, Computation of focal values and stability analysis of 4-dimensional systems, Electron. J. Diff. Equ., 09(015), 1 11. [3] D. Schlomiuk, Algebraic particular integrals, integrability and the problem of the center, Trans. Amer. Math. Soc., 33(1993)(), 799 41. [4] Y. Shao and K. Wu, The cyclicity of the period annulus of two classes of cubic isochronous systems, J. Appl. Anal. Comput., 3(013)(3), 79 90. [5] Q. Wang, Y. Liu and H. Chen, Hopf bifurcation for a class of three-dimensional nonlinear dynamic systems, Bull. Sci. Math., 134(010)(7), 76 79. [6] J. Yang, M. Han, J. Li and P. Yu, Existence conditions of thirteen limit cycles in a cubic system, Int. J. Bifurcation and Chaos, 0(010)(), 569 577. [7] P. Yu, Computation of normal forms via a perturbation technique, J. Sound Vib., 11(199)(1), 19 3. [] P. Yu and M. Han, Twelve limit cycles in a 3rd-order planar system with Z symmetry, Commun. Pure Appl. Anal., 3(004)(3), 515 56. [9] P. Yu and J. Lu, Bifurcation control for a class of Lorenz-like systems, Int. J. Bifurcation and Chaos, 1(011)(9), 647 664. [30] P. Yu and M. Han, Four limit cycles from perturbing quadratic integrable systems by quadratic polynomials, Int. J. Bifurcation and Chaos, (01)(10), 15054( pages). [31] P. Yu and M. Han, Bifurcation of limit cycles in quadratic Hamiltonian systems with various degree polynomial perturbations, Chaos Solitons Fractals, 45(01)(6), 77 794.

6 B. Sang & Q. Wang [3] P. Yu and M. Han, Bifurcation of limit cycles in 3rd-order Z Hamiltonian planar vector fields with 3rd-order perturbations, Commun. Nonl. Sci. Numer. Simulat., 1(013)(4), 97 9. [33] P. Yu and Y. Tian, Twelve limit cycles around a singular point in a planar cubic-degree polynomial system, Commun. Nonl. Sci. Numer. Simulat., 19(014)(), 690 705. [34] H. Żo l adek, The problem of center for resonant singular points of polynomial vector fields, J. Diff. Equ., 137(1997)(1), 94 11.