1 Introduction

One of open problems for planar polynomial differential systems is how to characterize their centers and isochronous centers. Article [1] points out that ‘A center of an analytic system is isochronous if and only if there exists an analytic change of coordinates such that the original system is reduced to a linear system’, so an isochronous center is also called a linearizable center. If all solutions of the system rotate around the origin, and their angular speeds are constant along rays, finding isochronous centers is equivalent to proving the existence of centers, and the center is called to be a uniform isochronous center. Polynomial systems with a uniform isochronous center can always be written in the following form:

d x d t = y + x H ( x , y ) , d y d t = x + y H ( x , y ) ,
(1.1)

where H(x,y) is a polynomial.

The system has a unique fixed point O(0,0) which is a center for the linear approximation and enjoys the property of uniform isochronicity: the motion along the trajectories occurs with the constant angular velocity equal to one. The fixed point can then be a focus or a center. If it is a center, it will automatically be isochronous. The problem of characterizing the centers of polynomial uniformly isochronous systems attracted the attention of many authors. When H(x,y) is a homogeneous polynomial, the problem of characterizing the centers has been solved; see [2]. But when H(x,y) is a nonhomogeneous polynomial, the problem remains open; see [36] and the references therein.

In this work, we study the uniformly isochronous system, not necessarily polynomial one:

d x d t = y + x ( ( x 2 + y 2 ) λ 1 ( A 20 x 2 + A 11 x y + A 02 y 2 ) + ( x 2 + y 2 ) 4 ( λ 1 ) ( A 80 x 8 + A 71 x 7 y d x d t = + A 62 x 6 y 2 + A 53 x 5 y 3 + A 44 x 4 y 4 + A 35 x 3 y 5 + A 26 x 2 y 6 + A 17 x y 7 + A 08 y 8 ) ) , d y d t = x + y ( ( x 2 + y 2 ) λ 1 ( A 20 x 2 + A 11 x y + A 02 y 2 ) + ( x 2 + y 2 ) 4 ( λ 1 ) ( A 80 x 8 + A 71 x 7 y d y d t = + A 62 x 6 y 2 + A 53 x 5 y 3 + A 44 x 4 y 4 + A 35 x 3 y 5 + A 26 x 2 y 6 + A 17 x y 7 + A 08 y 8 ) ) .
(1.2)

Similar systems have been investigated; see [712]. The main goal of this paper is to use the integral factor method theory to distinguish center-focus and give the conditions of a uniform isochronous center.

As far as we know, there were few results about a nonanalytic Poincarè system. This paper is divided into four sections. In Section 2, we restate some known results necessary to demonstrate the main results. In Section 3, we use the recursive algorithm to obtain the conditions of a uniform isochronous center for the system. In Section 4, the bifurcations of limit circles are investigated, and five limit circles could be bifurcated from the origin.

2 Preliminary knowledge

The ideas of this section come from [13], where the center-focus problem of critical points in the planar dynamical systems are studied. We first recall the related notions and results. For more details, please refer to [13].

In [13], the authors defined a complex center and a complex isochronous center for the following complex system:

d z d T = z + k = 2 α + β = k a α β z α w β = Z ( z , w ) , d w d T = w k = 2 α + β = k b α β w α z β = W ( z , w ) ,
(2.1)

and gave two recursive algorithms to determine necessary conditions for a center and an isochronous center. We now restate the definitions and algorithms.

Lemma 2.1 [13]

For system (2.1), we can derive uniquely the following formal series:

ξ=z+ k + j = 2 c k j z k w j ,η=w+ k + j = 2 d k j w k z j ,
(2.2)

where c k + 1 , k = d k + 1 , k =0, k=1,2, , such that

d ξ d T =ξ+ j = 1 p j ξ j + 1 η j , d η d T =η j = 1 q j η j + 1 ξ j .
(2.3)

Definition 2.1 [13]

Let μ 0 =0, μ k = p k q k , τ k = p k + q k , k=1,2, . μ k is called the k th singular point quantity of the origin of system (2.1) and τ k is called the k th period constant of the origin of system (2.1).

Theorem 2.1 [13]

For system (2.1), the origin is a complex center if and only if μ k =0, k=1,2, . The origin is a complex isochronous center if and only if μ k = τ k =0, k=1,2, .

Theorem 2.2 [13]

For system (2.1), we can derive successively the terms of the following formal series:

M(z,w)= α + β = 0 c α β z α w β
(2.4)

such that

( M Z ) z ( M W ) w = m = 1 (m+1) μ m ( z w ) m ,
(2.5)

where c 00 =1, c k k R, k=1,2, , and for any integer m, μ m is determined by the following recursive formulae:

c α β = 1 β α k + j = 3 α + β + 2 [ ( α + 1 ) a k , j 1 ( β + 1 ) b j , k 1 ] c α k + 1 , β j + 1 , μ m = k + j = 3 2 m + 2 ( a k , j 1 b j , k 1 ) c m k + 1 , m j + 1 .
(2.6)

3 Conditions of a uniform isochronous center

Now, the conditions of a uniform isochronous center of a class of systems will be investigated with the help of Mathematics.

Through the transformations

u = x ( x 2 + y 2 ) λ 1 2 , v = y ( x 2 + y 2 ) λ 1 2 , z = u + i v , w = u i v , T = i t , i = 1 ,

system (1.2) can be transformed into the following system:

d z d T = z 1 4 A 11 λ z 3 + 1 4 A 11 λ z w 2 d z d T = + 1 256 i ( A 08 i A 17 + A 26 + i A 35 A 44 i A 53 + A 62 + i A 71 A 80 ) λ z 9 d z d T = + 1 1 , 290 , 240 i ( 40 , 320 A 08 + 30 , 240 i A 17 20 , 160 A 26 10 , 080 i A 35 10 , 080 i A 53 d z d T = + 20 , 160 A 62 + 30 , 240 i A 71 40 , 320 A 80 ) λ z 8 w d z d T = + 1 368 , 640 i ( 40 , 320 A 08 20 , 160 i A 17 + 5 , 760 A 26 2 , 880 i A 35 + 5 , 760 A 44 d z d T = + 2 , 880 i A 53 + 5 , 760 A 62 + 20 , 160 i A 71 40 , 320 A 80 ) λ z 7 w 2 d z d T = + 1 184 , 320 i ( 40 , 320 A 08 + 10 , 080 i A 17 + 2 , 880 A 26 + 4 , 320 i A 35 + 4 , 320 i A 53 d z d T = 2 , 880 A 62 + 10 , 080 i A 71 40 , 320 A 80 ) λ z 6 w 3 d z d T = + 1 147 , 456 i ( 40 , 320 A 08 5 , 760 A 26 3 , 456 A 44 d z d T = 5 , 760 A 62 40 , 320 A 80 ) λ z 5 w 4 d z d T = + 1 184 , 320 i ( 40 , 320 A 08 10 , 080 i A 17 + 2 , 880 A 26 4 , 320 i A 35 4 , 320 i A 53 d z d T = 2 , 880 A 62 10 , 080 i A 71 40 , 320 A 80 ) λ z 4 w 5 d z d T = + 1 368 , 640 i ( 40 , 320 A 08 + 20 , 160 i A 17 + 5 , 760 A 26 + 2 , 880 i A 35 + 5 , 760 A 44 d z d T = 2 , 880 i A 53 + 5 , 760 A 62 20 , 160 i A 71 40 , 320 A 80 ) λ z 3 w 6 d z d T = + 1 1 , 290 , 240 i ( 40 , 320 A 08 30 , 240 i A 17 20 , 160 A 26 + 10 , 080 i A 35 + 10 , 080 i A 53 d z d T = + 20 , 160 A 62 30 , 240 i A 71 40 , 320 A 80 ) λ z 2 w 7 d z d T = + 1 10 , 321 , 920 i ( 40 , 320 A 08 + 40 , 320 i A 17 + 40 , 320 A 26 40 , 320 i A 35 d z d T = 40 , 320 A 44 + 40 , 320 i A 53 + 40 , 320 A 62 40 , 320 i A 71 40 , 320 A 80 ) λ z w 8 ;
(3.1)
d w d T = w + 1 256 i ( 64 A 02 64 i A 11 64 A 20 ) λ w 3 + 1 256 i ( 128 A 02 128 A 20 ) λ w 2 z d w d T = + 1 512 i ( 128 A 02 + 128 i A 11 128 A 20 ) λ w z 2 d w d T = + 1 256 i ( A 08 + i A 17 + A 26 i A 35 A 44 + i A 53 + A 62 i A 71 A 80 ) λ w 9 d w d T = + 1 1 , 290 , 240 i ( 40 , 320 A 08 30 , 240 i A 17 20 , 160 A 26 + 10 , 080 i A 35 + 10 , 080 i A 53 d w d T = + 20 , 160 A 62 30 , 240 i A 71 40 , 320 A 80 ) λ w 8 z d w d T = + 1 368 , 640 i ( 40 , 320 A 08 + 20 , 160 i A 17 + 5 , 760 A 26 + 2 , 880 i A 35 + 5 , 760 A 44 d w d T = 2 , 880 i A 53 + 5 , 760 A 62 20 , 160 i A 71 40 , 320 A 80 ) λ w 7 z 2 d w d T = + 1 184 , 320 i ( 40 , 320 A 08 10 , 080 i A 17 + 2 , 880 A 26 4 , 320 i A 35 4 , 320 i A 53 d w d T = 2 , 880 A 62 10 , 080 i A 71 40 , 320 A 80 ) λ w 6 z 3 d w d T = + 1 147 , 456 i ( 40 , 320 A 08 5 , 760 A 26 3 , 456 A 44 d w d T = 5 , 760 A 62 40 , 320 A 80 ) λ w 5 z 4 d w d T = + 1 184 , 320 i ( 40 , 320 A 08 + 10 , 080 i A 17 + 2 , 880 A 26 + 4 , 320 i A 35 + 4 , 320 i A 53 d w d T = 2 , 880 A 62 + 10 , 080 i A 71 40 , 320 A 80 ) λ w 4 z 5 d w d T = + 1 368 , 640 i ( 40 , 320 A 08 20 , 160 i A 17 + 5 , 760 A 26 2 , 880 i A 35 + 5 , 760 A 44 d w d T = + 2 , 880 i A 53 + 5 , 760 A 62 + 20 , 160 i A 71 40 , 320 A 80 ) λ w 3 z 6 d w d T = + 1 1 , 290 , 240 i ( 40 , 320 A 08 + 30 , 240 i A 17 20 , 160 A 26 10 , 080 i A 35 10 , 080 i A 53 d w d T = + 20 , 160 A 62 + 30 , 240 i A 71 40 , 320 A 80 ) λ w 2 z 7 d w d T = + 1 10 , 321 , 920 i ( 40 , 320 A 08 + 40 , 320 i A 17 + 40 , 320 A 26 + 40 , 320 i A 35 d w d T = 40 , 320 A 44 40 , 320 i A 53 + 40 , 320 A 62 + 40 , 320 i A 71 40 , 320 A 80 ) λ w z 8 .
(3.2)

First, we consider a special case of system (1.2),

d x d t = y + x ( ( x 2 + y 2 ) λ 1 A 11 x y + ( x 2 + y 2 ) 4 ( λ 1 ) ( A 80 x 8 + A 71 x 7 y d x d t = + A 62 x 6 y 2 + A 53 x 5 y 3 + A 44 x 4 y 4 + A 35 x 3 y 5 + A 26 x 2 y 6 + A 17 x y 7 + A 08 y 8 ) ) , d y d t = x + y ( ( x 2 + y 2 ) λ 1 A 11 x y + ( x 2 + y 2 ) 4 ( λ 1 ) ( A 80 x 8 + A 71 x 7 y d y d t = + A 62 x 6 y 2 + A 53 x 5 y 3 + A 44 x 4 y 4 + A 35 x 3 y 5 + A 26 x 2 y 6 + A 17 x y 7 + A 08 y 8 ) ) .
(3.3)

Namely, we discuss the calculation of singular point quantities and center conditions at the origin of system (3.1) when A 20 = A 02 =0. Applying the recursive formulae in Theorem 2.2, we compute singular point quantities and simplify them, then we have the following.

Theorem 3.1 The first eight singular point quantities at the origin of system (3.1) | A 20 = A 02 = 0 are as follows:

u 1 = 0 , u 2 = 0 , u 3 = 0 , u 4 = i 64 ( 35 A 08 + 5 A 26 + 3 A 44 + 5 A 62 + 35 A 80 ) λ , u 5 = 3 i 64 A 11 ( 14 A 08 + A 26 A 62 14 A 80 ) λ 2 , u 6 = i 32 A 11 2 ( 7 A 08 + A 62 + 21 A 80 ) λ 3 , u 7 = 5 i 32 A 11 3 ( A 08 A 80 ) λ 4 , u 8 = 15 i 128 A 11 4 A 80 λ 5 .

From Theorem 3.1, we get the following.

Theorem 3.2 For system (3.1) | A 20 = A 02 = 0 , the first eight singular point quantities are zero if and only if one of the following conditions holds:

A 11 =0,35 A 08 +5 A 26 +3 A 44 +5 A 62 +35 A 80 =0;
(3.4)
A 08 = A 26 = A 44 = A 62 = A 80 =0.
(3.5)

We can readily verify the following.

Theorem 3.3 For system (3.1) | A 20 = A 02 = 0 , all the singular point quantities at the origin are zero if and only if the first eight singular point quantities are zero, i.e., one of the conditions in Theorem  3.2 holds. Correspondingly, the conditions in Theorem  3.2 are the center conditions of the origin.

Proof If condition (3.4) holds, system (3.1) | A 20 = A 02 = 0 has an analytic first integral

f = 1 3 , 072 z 5 w 5 ( 768 + 3 ( A 17 A 35 + A 53 A 71 128 i A 80 ) λ z 8 8 ( 3 A 17 A 35 A 53 + 3 A 71 ) λ z 7 w + 12 ( 7 A 17 + A 35 A 53 7 A 71 ) λ z 6 w 2 24 ( 7 A 17 + 3 A 35 + 3 A 53 + 7 A 71 ) λ z 5 w 3 24 ( 7 A 17 + 3 A 35 + 3 A 53 + 7 A 71 ) λ z 3 w 5 + 12 ( 7 A 17 + A 35 A 53 7 A 71 ) λ z 2 w 6 8 ( 3 A 17 A 35 A 53 + 3 A 71 ) λ z w 7 + 3 ( A 17 A 35 + A 53 A 71 + 128 i A 80 ) λ w 8 ) .
(3.6)

In the case (3.5), system (3.1) | A 20 = A 02 = 0 could be written as

d x d t = y + x ( ( x 2 + y 2 ) λ 1 A 11 x y + ( x 2 + y 2 ) 4 ( λ 1 ) d x d t = × ( A 71 x 7 y + A 53 x 5 y 3 + A 35 x 3 y 5 + A 17 x y 7 ) ) , d y d t = x + y ( ( x 2 + y 2 ) λ 1 A 11 x y + ( x 2 + y 2 ) 4 ( λ 1 ) d y d t = × ( A 71 x 7 y + A 53 x 5 y 3 + A 35 x 3 y 5 + A 17 x y 7 ) ) .
(3.7)

It is reversible and its trajectories are symmetric with respect to both coordinate axes. □

Theorem 3.4 The origin of system (3.1) | A 20 = A 02 = 0 is a uniform isochronous center if and only if one of the conditions in Theorem  3.3 holds.

In the previous discussion, we considered a particular case. Now, we consider the general system (1.2). Applying the recursive formulae in Theorem 2.2, we compute singular point quantities and simplify them. The first one singular point quantities at the origin of system (3.1) is

u 1 =i( A 20 + A 02 )λ.

If A 20 = A 02 , then the change of variables x ˜ =xcosθ+ysinθ, y ˜ =xsinθ+ycosθ with θ defined from the condition

A 20 cos 2 θ+ A 11 sinθcosθ+ A 02 sin 2 θ=0

reduces (1.2) to a system of the special form. We still denote x ˜ , y ˜ with x, y for simple

d x d t = y + x ( ( x 2 + y 2 ) λ 1 ( A ˜ 11 x y ) + ( x 2 + y 2 ) 4 ( λ 1 ) d x d t = × ( A ˜ 60 x 6 + A ˜ 51 x 5 y + A ˜ 42 x 4 y 2 + A ˜ 33 x 3 y 3 + A ˜ 24 x 2 y 4 + A ˜ 15 x y 5 + A ˜ 06 y 6 ) ) , d y d t = x + y ( ( x 2 + y 2 ) λ 1 ( A ˜ 11 x y ) + ( x 2 + y 2 ) 4 ( λ 1 ) d y d t = × ( A ˜ 60 x 6 + A ˜ 51 x 5 y + A ˜ 42 x 4 y 2 + A ˜ 33 x 3 y 3 + A ˜ 24 x 2 y 4 + A ˜ 15 x y 5 + A ˜ 06 y 6 ) ) ,
(3.8)

whose coefficients are expressible in terms of the coefficients of (1.2). In particular, we have

A ˜ 11 = A 11 cos 2 θ4 A 20 cosθsinθ A 11 sin 2 θ.

Using Theorem 3.2, we could get the center conditions of (3.1).

4 Bifurcations of limit circle

Now, we will discuss the bifurcations of limit circle at the origin of the system. It is obvious that the following theorem holds.

Theorem 4.1 The origin of system (3.1) is a fifth-order weak focus if and only if

A 44 = 5 3 ( 7 A 08 + A 26 + A 62 + 7 A 80 ) , A 26 = 14 A 08 + A 62 + 14 A 80 , A 62 = 7 ( A 08 + 3 A 80 ) , A 08 = A 80 , A 11 A 80 0 .

Theorem 4.2 Suppose that (0,0) is a fine focus of order five of system (3.1), the perturbed system (3.1) has at least five small amplitude limit circles.

Proof Under the conditions of Theorem 4.1, the Jacobian determinant of the function group ( u 4 , u 5 , u 6 , u 7 ) with respect to variables ( A 44 , A 26 , A 62 , A 08 ) has the following form:

J= A 11 6 λ 10 4 , 194 , 304

because A 11 A 80 0. The conclusion of Theorem 4.2 follows according to the theory of the article [14]. □