Abstract
This paper is devoted to study a center problem and a weak center problem for cubic systems in -equivariant vector fields. By computing the Lyapunov constants and periodic constants carefully, we show that there exit five weak centers of second order, and center conditions and weak center conditions are given for this system. In terms of the problem of multiple weak centers, there are few results studied and thus our work is new and interesting. At the same time, we investigate the critical periodic bifurcation from a weak center.
Similar content being viewed by others
1 Introduction
For the following planar differential system
the qualitative analysis has attracted much attention from mathematicians who deal with limit cycles bifurcation problems, center and isochronous center problems, critical periods bifurcations problems etc. For center-type planar differential systems, the study about the integrability and order of weak centers is worth investigating, because the order number of a weak center is related to critical period bifurcations. Ref. [1] gave the critical period bifurcations theory and proved that a quadratic system can occur in two critical periods at most. Ref. [1, 2] obtained the result that k critical points can bifurcate from a weak center of order k. Ref. [3] studied weak centers and bifurcations of critical periods for a class of homogeneous nonlinear cubic systems. Ref. [4] studied weak centers and bifurcations of critical periods for a class of Kukles systems. Ref. [5] studied weak centers and bifurcations of critical periods in reversible cubic systems.
For weak center-type planar differential systems, the study of the number of orders for weak center and isochronous center problems is a hot topic, and it is significant to compute Lyapunov constants and periodic constants. If all Lyapunov constants of a singular point vanish, then this singular point is a center. At the same time, it is an isochronous center if all periodic constants of a center vanish, and it is a weak center if there exists a k th-order non-zero periodic constant. For the study on an isochronous center problem, many good results have been obtained, for example, articles [6–10]etc. At present, in terms of the study of a weak center problem and an isochronous center problem, much attention has been paid to a sole singular point, and there are less results about multiple centers or multiple weak centers. Based on such considerations, we study the weak center problem for a class of -equivariant cubic systems, and the investigated system is as follows:
in which .
Under transformations of rotation , , the form of system (1.2) is invariant, hence system (1.2) lies in -equivariant vector field. Obviously, system (1.2) has five elementary singular points, i.e., the origin and and , in which and have the same topological structure.
This paper includes three sections. In Section 2, we give the sufficient and necessary conditions for the origin and and to become five centers by analyzing the Lyapunov constants and finding their first integral. In Section 3, we give the method to compute periodic constants and obtain that five elementary singular points of system (1.2) become weak centers of order 2 respectively. It is worth mentioning that because there are few results of multiple singular points becoming weak centers at the same time, our work is interesting. Finally, we introduce our definition of critical periodic bifurcation function and investigate the critical periodic bifurcation from each weak center.
2 Center conditions for five elementary singular points of system (1.2)
System (1.2) lies in -equivariant vector field, and have the same topological structure, so we only need to study the center problem of one singular point when the center problem of and is investigated. Without loss of generality, we may as well study the case of . Hence, next we will consider the center problem of the origin and .
2.1 Method to obtain the center condition
Consider the following real system:
where , . Under the polar coordinates , , system (2.1) takes the following form:
where
For sufficiently small h, let
be the Poincaré succession function and a solution of Eq. (2.2) which satisfies the initial-value condition . It is evident that
Definition 2.1 For system (2.1), in the expression (2.3), if , then the origin is called the rough focus (strong focus); if and , , then the origin is called fine focus (weak focus) of order k, and the quantity of , is called the k th focal value (or Lyapunov constant) at the origin; if , and for any positive integer k, , then the origin is called a center.
Remark 1 In fact, it is impossible to show all the expressions of Lyapunov constants, hence we are only able to find the necessary condition to decide whether a singular point can become a center, i.e., finite Lyapunov constants vanish.
Ref. [11, 12] give the necessary condition to decide whether a singular point can become a center and the method to compute the Lyapunov constant. We may as well introduce this kind of method.
Under transformation
system (2.1) can be transformed into the following complex system:
where z, w, T are complex variables and
Obviously, the coefficients of (2.4) satisfy the conjugate condition, i.e.,
System (2.1) and system (2.4) are called concomitant systems.
For system (2.4), we can derive successively the terms of the following formal series:
such that
where , , for all , , and to any integer m, is determined by the following formulas:
otherwise
in Lemma 2.1 is called kth-order singular point value at the origin of system (2.4).
Lemma 2.2 (see [11])
For system (2.1) and any positive integer m, among , and , there exists the following relation:
where are all polynomials of and with rational coefficients.
Obviously, we can imply that when , , .
Lemma 2.3 (see [11])
For system (2.1), (2.4) and any positive integer m, the following assertion holds:
where (), are polynomial functions of the coefficients of system (2.4).
According to Lemma 2.2 and Lemma 2.3, we have the following result.
Lemma 2.4 For system (2.1) and (2.4), the following relation holds:
when , .
From the above analysis, we have the following theorem.
Theorem 2.5 If the origin of system (2.1) is a center, then we obtain , .
If we want to obtain the sufficient condition that the origin of system (2.1) is a center, then it is valid to find the first integral or integral factors of system (2.1).
2.2 The center condition of four symmetrical singular points and the origin for system (1.2)
At first, we investigate the center problem of four symmetrical singular points. Because system (1.2) lies in -equivariant vector field, its four symmetrical singular points have the same bifurcation behavior. Without loss of generality, we only need to consider the center problem of .
By means of transformation
system (1.2) is changed into the following form:
Clearly, the equilibrium of system (1.2) becomes the origin of (2.6) correspondingly.
Under the transformation
system (2.7) becomes
Clearly, system (2.8) belongs to the type of (2.1). According to the method in the article [11, 12], to compute the Liyapunov constants (or focal values) of the origin of system (2.8), we obtain the Lyapunov constants (or focal values) of the origin of (2.8) (namely the focal values of the equilibrium of model (1.2)) as follows.
Under the following transformation
system (2.8) can be transformed into the following complex system:
According to the formulas of Lemma 2.1, the singular values of the origin of system (2.9) are obtained by computing carefully.
Theorem 2.6 The first singular values of the origin of system (2.9) are as follows:
From Theorem 2.6, we have the following result.
Theorem 2.7 The first singular values of the origin of system (2.9) vanish if and only if .
Obviously, Theorem 2.7 gives the necessary condition that the origin of system (2.6) or (2.8) becomes a center. Moreover, we can obtain that it is also a sufficient condition, namely the following theorem.
Theorem 2.8 The origin of system (2.6) or (2.8) is a center if and only if .
Proof From Theorem 2.7, is the necessary condition for the origin of system (2.6) or (2.8) to become a center. Next we prove it is also a sufficient condition. If holds, then system (2.6) becomes
System (2.10) has the first integral as follows:
Hence, the origin of system (2.6) or (2.8) is a center if and only if . The proof is completed. □
Obviously, is the sufficient and necessary condition for the four symmetrical singular points , of system (1.2) to become four centers at the same time. Moreover, we can deduce that the origin of system (1.2) is a center if .
Theorem 2.9 The origin of system (1.2) is a center if .
Proof If , system (1.2) has the first integral as follows:
Hence, the origin of system (1.2) is a center if . The proof is completed. □
From the above analysis, it is clear that the following theorem holds.
Theorem 2.10 The origin and four symmetrical singular points , of system (1.2) become five centers if and only if .
3 Period constant, the order of weak centers and bifurcation of critical periods
After studying the center conditions of system (1.2), ulteriorly we consider whether the five singular points of system (1.2) can be isochronous centers or weak centers, and investigate bifurcation of critical period problem of weak centers. In order to study this class of problems, at first we introduce a kind of methods to compute periodic constants which is necessary for finding the order number of weak centers.
3.1 Method to compute periodic constant and find the order number of weak centers
In Ref. [1], periodic constants and the order number of a weak center are defined as follows.
Definition 3.1 Suppose that the origin of system (2.1) is a center, is the period of periodic trail passing point (), then can be expressed as follows:
here is called a periodic constant. At the same time, if
then the origin is called a weak center of order k. If , then the origin is called an isochronous center.
Next we introduce our method to compute the periodic constant. Considering complex analytic system (2.4) and making the transformation
system (2.4) can be transformed into
According to the relation between system (2.1) and (2.4), we get
For the complex constant h, , we write the solution of (3.4) associated with the initial condition as
and denote
Evidently, if system (2.1) is a real system, () is the k th focal value of the origin.
Definition 3.2 For a sufficiently small complex constant h, the origin of system (2.4) or (3.4) is called a complex center if . The origin is a complex isochronous center if
Example 1 The origin of the system
is a complex center and a complex isochronous center.
Lemma 3.1 (see [9])
For system (2.4), we can derive uniquely the formal series
where , , and are polynomials in , with rational coefficients, such that
Let , , , . As in Definition 3.2, is called the kth singular point value of the origin of system (2.4).
Definition 3.3 For any positive integer k, we say that is the k th complex period constant of the origin of system (2.4) or (3.4).
Theorem 3.1 Suppose that the origin of system (2.4) or (3.4) is a complex center (i.e., , ). If there exists a positive integer k such that , , then
Proof By using the transformations
system (3.4) can be reduced to
Under the assumptions that for all , and , , system (3.13) becomes
For a sufficiently small complex constant h, we see from (3.10), (3.12) and (3.14) that , so that we have
□
From Theorem 3.1, we obtain the following.
Theorem 3.2 If the coefficients of system (2.4) satisfy
then we have
where is the first nonzero complex period constant and is the first nonzero period constant of its associated system (2.4). For systems (2.4) and (3.4), the origin is a complex isochronous center if and only if , .
We now introduce the method of computation of in Ref. [9].
Lemma 3.2 (see [9])
For system (2.4), we can derive uniquely the formal series
where , , such that
and when , and are determined by the recursive formulas
and for any positive integer j, and are determined by the recursive formulas
In (3.17) and (3.18), we have taken , , and if or , we take .
We next consider the relations between , and , ().
Lemma 3.3 (see [9])
Let . If there is a positive integer m such that
then
and vice versa.
Actually, the above two lemmas give an algorithm to compute . For any positive integer m, in order to compute , we only need to carry out the addition, substraction, multiplication and division of the coefficients of system (2.4). The algorithm is recursive. It avoids some complicated integrating operations and solving equations. In addition, it can be easily realized by computer algebra systems.
Notice that the complex period constants are polynomials of the coefficients of system (2.4) or (3.4). By the Hilbert basis theorem, there exists such that all () if and only if . We say that the set is a period constant basis of system (2.4) or (3.4).
From Theorem 3.2, the definitions of periodic constants from Definition 3.1 and Definition 3.3 are coincident, and their relation is if . Hence, we can give the following definition.
Definition 3.4 If , of (3.11), then is called the k th periodic constant and the origin is called a weak center of order k. If , then the origin is called an isochronous center.
3.2 Weak center problem of system (1.2) and bifurcation of critical periods
According to the formulas of Lemma 3.2, we can find the period constants of four symmetrical singular points and the origin for system (1.2), namely the following several theorems.
Theorem 3.3 If , then the first two period constants of four symmetrical singular points of system (1.2) are as follows:
and if , then
Theorem 3.4 For system (1.2), if , then the first two period constants of the origin are as follows:
and if , then
From Theorem 3.3 and Theorem 3.4, we have the following theorems.
Theorem 3.5 Four symmetrical singular points of system (1.2) (namely and ) are four weak centers of order 2 if , .
Theorem 3.6 The origin of system (1.2) is a weak center of order 2 if , .
From Theorem 3.5 and Theorem 3.6, the following two theorems hold.
Theorem 3.7 The origin of system (1.2) is a weak center of order 2 and four symmetrical singular points of system (1.2) (namely and ) are four weak centers of order 1 if , .
Theorem 3.8 The origin of system (1.2) is a weak center of order 1 and four symmetrical singular points of system (1.2) (namely and ) are four weak centers of order 2 if , .
After considering the weak center problem, ulteriorly we investigate the bifurcation of critical periods from a weak center.
From Definition 3.1, suppose that the origin of system (2.1) is a center, is the period of periodic trail passing point (), then can be expressed as follows:
in which the first nonzero is an even number.
According to (3.11) and Theorem 3.2, we can obtain
in which is the k th periodic constant.
From (3.22), we have
If the origin of system (2.1) is a weak center of order k, let coefficients of system (2.1) disturb with small amplitude, then the periodic function will have some critical zero points, namely some critical periods will occur. At the same time, the number of critical points will decide the number of critical periodic bifurcations. Next we discuss the number of critical points from the periodic function problem.
Let λ be the disturbed coefficients’ group of system (2.1), parameter , then
Note that
Obviously, the number of zero points of about ρ is equal to the number of critical points from the periodic function problem. We may as well give the following definition.
Definition 3.5 The function expressed by (3.25) is called a critical periodic function of the origin from system (2.1).
Next we investigate the critical periodic bifurcation problem of system (1.2). We have the following two theorems.
Theorem 3.9 If the four symmetrical singular points of system (1.2) (namely and ) are four weak centers of order 2, then each one of the four symmetrical singular points of system (1.2) can bifurcate one critical periodic when the coefficient groups (, ) of system (1.2) are disturbed via an appropriate way.
Proof Let coefficient group , be disturbed in the following way:
in which ε is a small amplitude disturbance, .
Under (3.26), the critical periodic function of each one of the four symmetrical singular points of system (1.2) is as follows:
Obviously, equation (3.27) has a positive zero point about ρ near 1.
Hence, each one of the four symmetrical singular points of system (1.2) can occur one critical periodic bifurcation if the coefficient groups , of system (1.2) are disturbed as (3.26). The proof is completed. □
Theorem 3.10 If the origin of system (1.2) is a weak center of order 2, then one critical periodic bifurcation can occur at the origin of system (1.2) if the coefficient groups , are disturbed via an appropriate way.
Proof Let the coefficient groups , be disturbed in the following way
in which ε is a small amplitude disturbance, .
Under (3.28), the critical periodic function of the origin of system (1.2) is as follows:
Obviously, equation (3.29) has a positive zero point about ρ near 1.
Hence, one critical periodic bifurcation can occur at the origin of system (1.2) if the coefficient groups , of system (1.2) are disturbed as (3.28). □
References
Chicone C, Jacobs M: Bifurcations of critical periods. Trans. Am. Math. Soc. 1989, 312: 433-486.
Cherkas LA, Romanovski VG, Zoladek H: The centre conditions for a certain cubic system. Differ. Equ. Dyn. Syst. 1997, 5: 299-302.
Rousseau C, Toni B: Local bifurcation of critical periods in vector fields with homogeneous nonlinearities of the third degree. Can. Math. Bull. 1993, 36: 473-486.
Rousseau C, Toni B: Local bifurcation of critical periods in the reduced Kukles system. Can. Math. Bull. 1997, 49: 338-358.
Zhang W, et al.: Weak and center bifurcation of critical periods in reversible cubic systems. Comput. Math. Appl. 2000, 40: 771-782.
Chavarriga J, Giné J, Garcia IA: Isochronous centers of linear center perturbed by fourth degree homogeneous polynomial. Bull. Sci. Math. 1999, 123: 77-96.
Chavarriga J, Giné J, Garcia IA: Isochronous centers of a linear center perturbed by fifth degree homogeneous polynomial. Bull. Sci. Math. 2000, 126: 351-368.
Pleshkan I: A new method of investigating the isochronicity of system of two differential equations. Differ. Equ. 1969, 5: 796-802.
Liu Y, Huang W: A new method to determine isochronous center conditions for polynomial differential systems. Bull. Sci. Math. 2003, 127: 133-148.
Du C, et al.: A class of ninth degree system with four isochronous centers. Comput. Math. Appl. 2008, 56: 2609-2620.
Liu Y, Li J: Theory of values of singular point in complex autonomous differential system. Sci. China Ser. A 1990, 33: 10-24.
Liu Y: Theory of center-focus for a class of higher-degree critical points and infinite points. Sci. China Ser. A 2001, 44: 37-48.
Acknowledgements
This research is partially supported by the National Natural Science Foundation of China (11071222, 11261013) and the Hunan provincial Natural Science Foundation of China (12JJ3008) and the Research Fund of Hunan provincial education department (11B113).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Each of the authors, CD, YL and CL, contributed to each part of this study equally and read and approved the final version of the manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Du, C., Liu, Y. & Liu, C. Weak center problem and bifurcation of critical periods for a -equivariant cubic system. Adv Differ Equ 2013, 197 (2013). https://doi.org/10.1186/1687-1847-2013-197
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1847-2013-197