Open Access

Computing center conditions for non-analytic ninth degree vector fields with constant angular speed

Advances in Difference Equations20122012:231

https://doi.org/10.1186/1687-1847-2012-231

Received: 17 October 2012

Accepted: 30 November 2012

Published: 28 December 2012

Abstract

We investigate the planar ninth degree non-analytic Poincare systems which have center-focus equilibriums at the origins. Those systems could be changed into analytic systems by two transformations with the help of computer algebra system MATHEMATICA. The conditions of uniform isochronous center are obtained. Furthermore, we prove that five limit cycles could be bifurcated from the origin.

MSC:34C05, 34C07.

Keywords

non-analyticcenter-focus problemLyapunov constantuniform isochronous center

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 ˜ = x cos θ + y sin θ , y ˜ = x sin θ + y cos θ 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]. □

Declarations

Acknowledgements

This research is partially supported by the National Nature Science Foundation of China (11201211, 61273012) and Nature Science Foundation of Shandong Province (ZR2012AL04).

Authors’ Affiliations

(1)
School of Science, Linyi University

References

  1. Lin Y, Li J: Normal form and critical points values of the period of closed orbits for planar autonomous systems. Acta Math. Sin. 1991, 34: 490–501.Google Scholar
  2. Conti R:Uniform isochronous centers of polynomial systems in R 2 . Lecture Notes in Pure and Appl. Math. 152. Differential Equations, Dynamical Systems, and Control Science 1994, 21–31.Google Scholar
  3. Chavarriga J, Sabatini M: A survey of isochronous centers. Qual. Theory Dyn. Syst. 1999, 1: 1–70. 10.1007/BF02969404MathSciNetView ArticleGoogle Scholar
  4. Algaba A, Reyes M, Bravo A: Geometry of the uniformly isochronous centers with polynomial commutators. Differ. Equ. Dyn. Syst. 2002, 10: 257–275.MathSciNetGoogle Scholar
  5. Algaba A, Reyes M: Computing center conditions for vector fields with constant angular speed. J. Comput. Appl. Math. 2003, 154: 143–159. 10.1016/S0377-0427(02)00818-XMathSciNetView ArticleGoogle Scholar
  6. Conti R: Centers of planar polynomial systems, a review. Matematiche 1998, 53: 207–240.Google Scholar
  7. Libre J, Valls C: Classification of the centers, their cyclicity and isochronicity for a class of polynomial differential systems generalizing the linear systems with cubic homogeneous nonlinearities. J. Differ. Equ. 2009, 246: 2192–2204. 10.1016/j.jde.2008.12.006View ArticleGoogle Scholar
  8. Libre J, Valls C: Classification of the centers and isochronous centers for a class of quartic-like systems. Nonlinear Anal. 2009, 71: 3119–3128. 10.1016/j.na.2009.01.223MathSciNetView ArticleGoogle Scholar
  9. Libre J, Valls C: Classification of the centers, their cyclicity and isochronicity for the generalized quadratic polynomial differential systems. J. Math. Anal. Appl. 2009, 357: 427–437. 10.1016/j.jmaa.2009.04.036MathSciNetView ArticleGoogle Scholar
  10. Libre J, Valls C: Classification of the centers, of their cyclicity and isochronicity for two classes of generalized quintic polynomial differential systems. Nonlinear Differ. Equ. Appl. 2009, 16: 657–679. 10.1007/s00030-009-0029-6View ArticleGoogle Scholar
  11. Libre J, Valls C: Centers and isochronous centers for two classes of generalized seventh and ninth systems. J. Dyn. Differ. Equ. 2010, 22: 657–675. 10.1007/s10884-010-9175-0View ArticleGoogle Scholar
  12. Chen X, Huang W: Linearizability conditions of a time-reversible quartic-like system. J. Math. Anal. Appl. 2011. doi:10.1016/j.jmaa.2011.05.018Google Scholar
  13. Liu Y, Li J: Theory of values of singular point in complex autonomous differential system. Sci. China Ser. A 1989, 3: 245–255.Google Scholar
  14. Liu Y, Li J: Theory of values of singular point in complex autonomous differential system. Sci. China Ser. A 1989, 3: 245–255.Google Scholar

Copyright

© Ren et al.; licensee Springer 2012

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.