- Research
- Open Access

# Weak center problem and bifurcation of critical periods for a ${Z}_{4}$-equivariant cubic system

- Chaoxiong Du
^{1}Email author, - Yirong Liu
^{2}and - Canhui Liu
^{1}

**2013**:197

https://doi.org/10.1186/1687-1847-2013-197

© Du et al.; licensee Springer 2013

**Received: **17 May 2013

**Accepted: **20 June 2013

**Published: **4 July 2013

## Abstract

This paper is devoted to study a center problem and a weak center problem for cubic systems in ${Z}_{4}$-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.

## Keywords

- ${Z}_{4}$-equivariant
- Lyapunov constants
- center condition
- weak center

## 1 Introduction

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.

*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 ${Z}_{4}$-equivariant cubic systems, and the investigated system is as follows:

in which ${A}_{10},{A}_{21},{B}_{21}\in R$.

Under transformations of rotation $\tilde{x}=xcos\frac{\pi}{2}-ysin\frac{\pi}{2}$, $\tilde{y}=xcos\frac{\pi}{2}+ysin\frac{\pi}{2}$, the form of system (1.2) is invariant, hence system (1.2) lies in ${Z}_{4}$-equivariant vector field. Obviously, system (1.2) has five elementary singular points, *i.e.*, the origin and $(\pm 1,0)$ and $(0,\pm 1)$, in which $(\pm 1,0)$ and $(0,\pm 1)$ have the same topological structure.

This paper includes three sections. In Section 2, we give the sufficient and necessary conditions for the origin and $(\pm 1,0)$ and $(0,\pm 1)$ 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 ${Z}_{4}$-equivariant vector field, $(\pm 1,0)$ and $(0,\pm 1)$ have the same topological structure, so we only need to study the center problem of one singular point when the center problem of $(\pm 1,0)$ and $(0,\pm 1)$ is investigated. Without loss of generality, we may as well study the case of $(1,0)$. Hence, next we will consider the center problem of the origin and $(1,0)$.

### 2.1 Method to obtain the center condition

*h*, let

**Definition 2.1** For system (2.1), in the expression (2.3), if ${v}_{1}(2\pi )\ne 1$, then the origin is called the rough focus (strong focus); if ${v}_{1}(2\pi )=1$ and ${v}_{2}(2\pi )={v}_{3}(2\pi )=\cdots ={v}_{2k}(2\pi )=0$, ${v}_{2k+1}(2\pi )\ne 0$, then the origin is called fine focus (weak focus) of order *k*, and the quantity of ${v}_{2k+1}(2\pi )$, $k=1,2,\dots $ is called the *k* th focal value (or Lyapunov constant) at the origin; if ${v}_{1}(2\pi )=1$, and for any positive integer *k*, ${v}_{2k+1}(2\pi )=0$, 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.

*z*,

*w*,

*T*are complex variables and

*i.e.*,

System (2.1)${|}_{\delta =0}$ 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*${c}_{11}=1$, ${c}_{20}={c}_{02}=0$,

*for all*${c}_{kk}\in R$, $k=2,3,\dots $ ,

*and to any integer*

*m*, ${\mu}_{m}$

*is determined by the following formulas*:

*otherwise*

${\mu}_{k}$ *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*${v}_{2m}(2\pi )$, ${v}_{k}(2\pi )$

*and*${v}_{k}(\pi )$,

*there exists the following relation*:

*where* ${\xi}_{m}^{(k)}$ *are all polynomials of* ${v}_{1}(\pi ),{v}_{2}(\pi ),\dots ,{v}_{m}(\pi )$ *and* ${v}_{1}(2\pi ),{v}_{2}(2\pi ),\dots ,{v}_{m}(2\pi )$ *with rational coefficients*.

Obviously, we can imply that ${v}_{2m}(2\pi )=0$ when ${v}_{1}(2\pi )=1$, ${v}_{2k+1}(2\pi )=0$, $k=1,2,\dots ,m-1$.

**Lemma 2.3** (see [11])

*For system*(2.1)${|}_{\delta =0}$, (2.4)

*and any positive integer*

*m*,

*the following assertion holds*:

*where* ${\xi}_{m}^{(k)}$ ($k=1,2,\dots ,m-1$), *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)${|}_{\delta =0}$

*and*(2.4),

*the following relation holds*:

*when* ${\mu}_{k}=0$, $k=1,2,\dots ,m-1$.

From the above analysis, we have the following theorem.

**Theorem 2.5** *If the origin of system* (2.1)${|}_{\delta =0}$ *is a center*, *then we obtain* ${\mu}_{k}=0$, $k=1,2,\dots $ .

If we want to obtain the sufficient condition that the origin of system (2.1)${|}_{\delta =0}$ is a center, then it is valid to find the first integral or integral factors of system (2.1)${|}_{\delta =0}$.

### 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 ${Z}_{4}$-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 $(1,0)$.

Clearly, the equilibrium $(1,0)$ of system (1.2) becomes the origin of (2.6) correspondingly.

Clearly, system (2.8) belongs to the type of (2.1)${|}_{\delta}=0$. 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 $(1,0)$ of model (1.2)) as follows.

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* ${B}_{21}=0$.

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* ${B}_{21}=0$.

*Proof*From Theorem 2.7, ${B}_{21}=0$ 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 ${B}_{21}=0$ holds, then system (2.6) becomes

Hence, the origin of system (2.6) or (2.8) is a center if and only if ${B}_{21}=0$. The proof is completed. □

Obviously, ${B}_{21}=0$ is the sufficient and necessary condition for the four symmetrical singular points $(\pm 1,0)$, $(0,\pm 1)$ 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 ${B}_{21}=0$.

**Theorem 2.9** *The origin of system* (1.2) *is a center if* ${B}_{21}=0$.

*Proof*If ${B}_{21}=0$, system (1.2) has the first integral as follows:

Hence, the origin of system (1.2) is a center if ${B}_{21}=0$. 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* $(\pm 1,0)$, $(0,\pm 1)$ *of system* (1.2) *become five centers if and only if* ${B}_{21}=0$.

## 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, $T(\rho )$ is the period of periodic trail passing point $(\rho ,0)$ ($\rho \in (0,a)$), then $T(\rho )$ can be expressed as follows:

then the origin is called a weak center of order *k*. If $k=\mathrm{\infty}$, then the origin is called an isochronous center.

*h*, $|h|\ll 1$, we write the solution of (3.4) associated with the initial condition $r{|}_{\theta =0}=h$ as

Evidently, if system (2.1) is a real system, ${v}_{2k+1}(2\pi )$ ($k=1,2,\dots $) 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 $\tilde{r}(2\pi ,h)\equiv h$. 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*${c}_{k+1,k}={d}_{k+1,k}=0$, $k=1,2,\dots $ , ${p}_{k}$

*and*${q}_{k}$

*are polynomials in*${a}_{\alpha \beta}$, ${b}_{\alpha \beta}$

*with rational coefficients*,

*such that*

*Let* ${\mu}_{0}={\tau}_{0}=0$, ${\mu}_{k}={p}_{k}-{q}_{k}$, ${\tau}_{k}={p}_{k}+{q}_{k}$, $k=1,2,\dots $ . *As in Definition * 3.2, ${\mu}_{k}$ *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 $\tau (k)={p}_{k}+{q}_{k}$ 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*., ${\mu}_{m}=0$, $m=1,2,\dots $).

*If there exists a positive integer*

*k*

*such that*${\tau}_{0}={\tau}_{1}=\cdots ={\tau}_{k-1}=0$, ${\tau}_{k}\ne 0$,

*then*

*Proof*By using the transformations

*h*, we see from (3.10), (3.12) and (3.14) that ${\rho}^{2}={h}^{2}+o({h}^{2})$, 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* ${\tau}_{k}$ *is the first nonzero complex period constant and* ${\rho}_{2k}$ *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* ${\mu}_{k}={\tau}_{k}=0$, $k=1,2,3,\dots $ .

We now introduce the method of computation of ${\tau}_{k}$ in Ref. [9].

**Lemma 3.2** (see [9])

*For system*(2.4),

*we can derive uniquely the formal series*

*where*${c}_{k+1,k}^{\prime}={d}_{k+1,k}^{\prime}=0$, $k=1,2,\dots $ ,

*such that*

*and when*$k-j-1\ne 0$, ${c}_{kj}^{\prime}$

*and*${d}_{kj}^{\prime}$

*are determined by the recursive formulas*

*and for any positive integer*

*j*, ${p}_{j}^{\prime}$

*and*${q}_{j}^{\prime}$

*are determined by the recursive formulas*

*In* (3.17) *and* (3.18), *we have taken* ${c}_{1,0}^{\prime}={d}_{1,0}^{\prime}=1$, ${c}_{0,1}^{\prime}={d}_{0,1}^{\prime}=0$, *and if* $\alpha <0$ *or* $\beta <0$, *we take* ${a}_{\alpha \beta}={b}_{\alpha \beta}={c}_{\alpha \beta}^{\prime}={d}_{\alpha \beta}^{\prime}=0$.

We next consider the relations between ${p}_{j}$, ${q}_{j}$ and ${p}_{j}^{\prime}$, ${q}_{j}^{\prime}$ ($j=1,2,\dots $).

**Lemma 3.3** (see [9])

*Let*${p}_{0}={q}_{0}={p}_{0}^{\prime}={q}_{0}^{\prime}=0$.

*If there is a positive integer*

*m*

*such that*

*then*

*and vice versa*.

Actually, the above two lemmas give an algorithm to compute ${\tau}_{m}$. For any positive integer *m*, in order to compute ${\tau}_{m}$, 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 $m\in \mathbf{N}$ such that all ${\tau}_{k}=0$ ($k=1,2,\dots $) if and only if ${\tau}_{1}={\tau}_{2}=\cdots ={\tau}_{m}=0$. We say that the set $\{{\tau}_{1},{\tau}_{2},\dots ,{\tau}_{m}\}$ 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 ${\tau}_{k}={p}_{2k}$ if ${\tau}_{1}={\tau}_{2}=\cdots ={\tau}_{k-1}=0$. Hence, we can give the following definition.

**Definition 3.4** If ${\tau}_{1}={\tau}_{2}=\cdots ={\tau}_{k-1}=0$, ${\tau}_{k}\ne 0$ of (3.11), then ${\tau}_{k}$ is called the *k* th periodic constant and the origin is called a weak center of order *k*. If $k=\mathrm{\infty}$, 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*${B}_{21}=0$,

*then the first two period constants of four symmetrical singular points of system*(1.2)

*are as follows*:

*and if*${A}_{21}=-\frac{3}{4}{A}_{10}$,

*then*

**Theorem 3.4**

*For system*(1.2),

*if*${B}_{21}=0$,

*then the first two period constants of the origin are as follows*:

*and if*${A}_{21}=0$,

*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* $(\pm 1,0)$ *and* $(0,\pm 1)$) *are four weak centers of order* 2 *if* ${B}_{21}=0$, ${A}_{21}=-\frac{3}{4}{A}_{10}$.

**Theorem 3.6** *The origin of system* (1.2) *is a weak center of order* 2 *if* ${B}_{21}=0$, ${A}_{21}=0$.

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* $(\pm 1,0)$ *and* $(0,\pm 1)$) *are four weak centers of order* 1 *if* ${B}_{21}=0$, ${A}_{21}=0$.

**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* $(\pm 1,0)$ *and* $(0,\pm 1)$) *are four weak centers of order* 2 *if* ${B}_{21}=0$, ${A}_{21}=-\frac{3}{4}{A}_{10}$.

After considering the weak center problem, ulteriorly we investigate the bifurcation of critical periods from a weak center.

in which the first nonzero ${p}_{k}$ is an even number.

in which ${\tau}_{k}$ is the *k* th periodic constant.

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.

*λ*be the disturbed coefficients’ group of system (2.1), parameter $\epsilon \to 0$, then

Obviously, the number of zero points of $P(\lambda ,\epsilon \rho )$ 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)${|}_{{B}_{21}=0}$. We have the following two theorems.

**Theorem 3.9** *If the four symmetrical singular points of system* (1.2) (*namely* $(\pm 1,0)$ *and* $(0,\pm 1)$) *are four weak centers of order* 2, *then each one of the four symmetrical singular points of system* (1.2)${|}_{{B}_{21}=0}$ *can bifurcate one critical periodic when the coefficient groups* (${A}_{21}$, ${A}_{10}$) *of system* (1.2) *are disturbed via an appropriate way*.

*Proof*Let coefficient group ${A}_{21}$, ${A}_{10}$ be disturbed in the following way:

in which *ε* is a small amplitude disturbance, $\epsilon \to 0$.

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)${|}_{{B}_{21}=0}$ can occur one critical periodic bifurcation if the coefficient groups ${A}_{21}$, ${A}_{10}$ 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)${|}_{{B}_{21}=0}$ *if the coefficient groups* ${A}_{21}$, ${A}_{10}$ *are disturbed via an appropriate way*.

*Proof*Let the coefficient groups ${A}_{21}$, ${A}_{10}$ be disturbed in the following way

in which *ε* is a small amplitude disturbance, $\epsilon \to 0$.

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)${|}_{{B}_{21}=0}$ if the coefficient groups ${A}_{21}$, ${A}_{10}$ of system (1.2) are disturbed as (3.28). □

## Declarations

### 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).

## Authors’ Affiliations

## References

- Chicone C, Jacobs M: Bifurcations of critical periods.
*Trans. Am. Math. Soc.*1989, 312: 433-486.MathSciNetView ArticleGoogle Scholar - Cherkas LA, Romanovski VG, Zoladek H: The centre conditions for a certain cubic system.
*Differ. Equ. Dyn. Syst.*1997, 5: 299-302.MathSciNetGoogle Scholar - 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.MathSciNetView ArticleGoogle Scholar - Rousseau C, Toni B: Local bifurcation of critical periods in the reduced Kukles system.
*Can. Math. Bull.*1997, 49: 338-358.MathSciNetView ArticleGoogle Scholar - Zhang W,
*et al*.: Weak and center bifurcation of critical periods in reversible cubic systems.*Comput. Math. Appl.*2000, 40: 771-782.MathSciNetView ArticleGoogle Scholar - Chavarriga J, Giné J, Garcia IA: Isochronous centers of linear center perturbed by fourth degree homogeneous polynomial.
*Bull. Sci. Math.*1999, 123: 77-96.MathSciNetView ArticleGoogle Scholar - 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.Google Scholar - Pleshkan I: A new method of investigating the isochronicity of system of two differential equations.
*Differ. Equ.*1969, 5: 796-802.Google Scholar - Liu Y, Huang W: A new method to determine isochronous center conditions for polynomial differential systems.
*Bull. Sci. Math.*2003, 127: 133-148.MathSciNetView ArticleGoogle Scholar - Du C,
*et al*.: A class of ninth degree system with four isochronous centers.*Comput. Math. Appl.*2008, 56: 2609-2620.MathSciNetView ArticleGoogle Scholar - Liu Y, Li J: Theory of values of singular point in complex autonomous differential system.
*Sci. China Ser. A*1990, 33: 10-24.MathSciNetGoogle Scholar - 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.Google Scholar

## Copyright

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.