- Research
- Open Access
- Published:

# Bifurcation of limit cycles at degenerate singular point and infinity in a septic system

*Advances in Difference Equations*
**volume 2013**, Article number: 5 (2013)

## Abstract

In this paper, the problem of bifurcation of limit cycles from degenerate singular point and infinity in a class of septic polynomial differential systems is investigated. Using the computer algebra system Mathematica, the limit cycle configurations of \{(8),3\} and \{(3),6\} are obtained under synchronous perturbation at degenerate singular point and infinity. To our knowledge, up to now, this is the first time that the problem of limit cycles bifurcated from degenerate singular point and infinity under synchronous perturbed conditions in a septic system has been investigated.

**MSC:**34C05, 34C07.

## 1 Introduction

In the qualitative theory of planar dynamical systems, bifurcation of limit cycles for planar polynomial differential system

which belongs to the second part of the Hilbert 16th problem, is known as a hot but intractable issue. In the case of limit cycles bifurcated from the origin, a lot of work has been done (see [1, 2]). Let {I}_{n} be the maximum possible number of limit cycles in the neighborhood of the infinity (large amplitude limit cycles) of system (1.1) when P(x,y), Q(x,y) are of degree at most *n*. As far as the number of limit cycles bifurcated from infinity is concerned, representative results are as follows: cubic systems, [3] got {I}_{3}\ge 4, [4] got {I}_{3}\ge 5, [5] got {I}_{3}\ge 6, [6, 7] got {I}_{3}\ge 7; quintic systems, [8] got {I}_{5}\ge 4, [9] got {I}_{5}\ge 6, [10] got {I}_{5}\ge 8, [11] got {I}_{5}\ge 11; septic systems, [12] got {I}_{7}\ge 8, [13] got {I}_{7}\ge 9, [14] got {I}_{7}\ge 13.

**Definition 1.1** [4]

We call the configuration \{({k}_{1}),{k}_{2}\} the configuration of a vector field with {k}_{1} ‘small’ limit cycles and {k}_{2} ‘large’ ones.

Few papers are concerned with bifurcation of limit cycles from the origin and infinity under synchronous perturbation: [4] obtained the limit cycle configurations of \{(5),2\} and \{(2),4\} in a cubic polynomial differential system; [15] and [16] respectively got the limit cycle configurations of \{(5),2\}, \{(2),4\} and \{(7),2\}, \{(2),6\} in two certain quintic systems. However, for a higher degree system, there is not any result.

In this paper, we deal with limit cycles bifurcated from degenerate singular point and infinity under synchronous perturbation in the following real septic polynomial differential system:

where \lambda \ne 0 and

This paper is organized as follows. In Section 2, some preliminaries are given and system (1.2) is transferred to its complex concomitant system. In Sections 3 and 4, the first nine singular point quantities at degenerate singular point and the first seven singular point quantities at infinity are deduced. At the same time, their center conditions are obtained. In Section 5, the sufficient conditions of limit cycle configurations \{(8),3\} and \{(3),6\} are presented.

## 2 Conversion of the system

Obviously, the origin of system (1.2) is either a center or a focus, and it is also a degenerate singular point. System (1.2) contains no real singular point on the equator {\mathrm{\Gamma}}_{\mathrm{\infty}} of the Poincaré compactification on the sphere. {\mathrm{\Gamma}}_{\mathrm{\infty}} is called infinity on the Gauss sphere or the equator of system (1.2).

By means of polar coordinate transformation

system (1.2) takes the form

For a sufficiently small *h*, let

be the solution of Eq. (2.2) satisfying the initial value condition r{|}_{\theta =0}=h, where

The 0th focal value at the origin of system (1.2) is {\nu}_{1}(2\pi )-1, *i.e.*, {e}^{2\pi {\delta}_{1}}-1, the *k* th one is {\nu}_{2k+1}(2\pi ), k=1,2,\dots .

By means of generalized polar coordinate transformation

system (1.2) takes the form

For a sufficiently small *h*, let

be the solution of Eq. (2.6) satisfying the initial value condition r{|}_{\theta =0}=h, where

The 0th focal value at infinity of system (1.2) is {\nu}_{1}(2\pi )-1, *i.e.*, {e}^{-2\pi {\delta}_{2}}-1, the *k* th one is {\nu}_{2k+1}(2\pi ), k=1,2,\dots .

By means of transformation

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

where

It is obvious that the coefficients of system (2.10) satisfy the conjugate condition, *i.e.*,

We call that systems (1.2) and (2.10) are associated.

## 3 Singular point quantities and center conditions at degenerate singular point

From Theorem 3.2 in [3], we have

**Lemma 3.1** *For system* {\text{(2.10)}}_{{\delta}_{1}={\delta}_{2}=0}, *we can determine uniquely an extended formal power series*

*such that*

*where* {c}_{00}=1, {c}_{kk}=0, k=1,2,\dots , {f}_{5k}(z,w)={\sum}_{\alpha +\beta =5k}{c}_{\alpha \beta}{z}^{\alpha}{w}^{\beta}, *and for any positive integer* *m*, *the* *mth singular point quantity at the origin* {\mu}_{m}^{(0)} *can be determined by the following recursion formulas*:

Using the recursion formulas to do symbolic computation, we have

**Theorem 3.1** *The first nine singular point quantities at the origin of system* {\text{(2.10)}}_{{\delta}_{1}={\delta}_{2}=0} *are as follows*:

*In the above expression of* {\mu}_{k}^{(0)}, *we have already let* {\mu}_{1}^{(0)}=\cdots ={\mu}_{k-1}^{(0)}=0, k=2,3,\dots ,9.

From Theorem 3.1, it is easy to get

**Theorem 3.2** *For system* {\text{(2.10)}}_{{\delta}_{1}={\delta}_{2}=0}, *the first nine singular point quantities at the origin are zero if and only if one of the following conditions holds*:

*Proof* Putting condition (I) or (II) into expression (3.5) can easily complete the proof of sufficiency.

Now, let us prove the necessity. If {a}_{12}={b}_{12}=0, then {\mu}_{2}^{(0)}={\mu}_{4}^{(0)}={\mu}_{5}^{(0)}={\mu}_{6}^{(0)}={\mu}_{7}^{(0)}={\mu}_{8}^{(0)}={\mu}_{9}^{(0)}=0, {\mu}_{3}^{(0)}=-\frac{9({a}_{03}{a}_{30}^{2}-{b}_{03}{b}_{30}^{2})}{8{\lambda}^{2}}. Therefore, {\mu}_{k}^{(0)}=0 (k=1,2,\dots ,9) yields

If {a}_{12}{b}_{12}\ne 0, notice that {\mu}_{1}^{(0)}=-{a}_{21}+{b}_{21}=0, {\mu}_{2}^{(0)}=\frac{{a}_{12}{a}_{30}-{b}_{12}{b}_{30}}{\lambda}=0, there exist {r}_{32} and *p* such that

Substituting (3.7) into expression (3.5), we get

405{a}_{03}^{2}{b}_{03}^{2}-8\text{,}928{a}_{03}{a}_{12}{b}_{03}{b}_{12}+6\text{,}400{a}_{12}^{2}{b}_{12}^{2}=0 and -224\text{,}181{a}_{03}{b}_{03}+164\text{,}000{a}_{12}{b}_{12}=0 do not simultaneously hold, thus from {\mu}_{2}^{(0)}={\mu}_{7}^{(0)}={\mu}_{9}^{(0)}=0, we have (i) p=\frac{1}{3} or (ii) {a}_{12}{a}_{30}-{b}_{12}{b}_{30}=0, {a}_{12}^{2}{b}_{03}-{a}_{03}{b}_{12}^{2}=0. At this moment, {\mu}_{3}^{(0)}={\mu}_{4}^{(0)}={\mu}_{5}^{(0)}={\mu}_{8}^{(0)}=0. Condition (i) or (ii) combining with {\mu}_{1}^{(0)}=0 implies the following conditions, respectively:

Condition (3.6) plus (3.10) is equivalent to condition (II). The proof is completed. □

From the definition of elementary Lie invariants in [17], we can obtain

**Lemma 3.2** *All the elementary Lie invariants of system* {\text{(2.10)}}_{{\delta}_{1}={\delta}_{2}=0} *are as follows*:

**Theorem 3.3** *For system* {\text{(2.10)}}_{{\delta}_{1}={\delta}_{2}=0}, *all the singular point quantities at the origin are zero if and only if the first nine singular point quantities are zero*, *i*.*e*., *one of the two conditions in Theorem * 3.2 *holds*. *Correspondingly*, *the two conditions in Theorem * 3.2 *are the center conditions of the origin*.

*Proof* When condition (I) holds, system {\text{(2.10)}}_{{\delta}_{1}={\delta}_{2}=0} has the integrating factor M(z,w)={(zw)}^{-5}; when condition (II) holds, system {\text{(2.10)}}_{{\delta}_{1}={\delta}_{2}=0} satisfies the conditions of the extended symmetric principle (Theorem 2.6 in [17]). □

## 4 Singular point quantities and center conditions at infinity

**Lemma 4.1** [18]

*For the system*

*where*

*to any integer* s\ne 0, \gamma \ne 0, *we can derive successively the terms of the following formal series*:

*such that*

*and for any integer* *m*,

*where* {\mu}_{m} *is the* *mth singular point quantity at infinity*, *‘*∼*’ is the symbol of algebraic equivalence*, {c}_{00}=1, {c}_{(2n+1)k,(2n+1)k} *can be taken arbitrarily*, k=1,2,\dots . *When* \alpha \ne \beta, {\lambda}_{m} *is determined by the following recursion formulas*:

Take s=-1, \gamma =1, n=3, applying Lemma 4.1 to system {\text{(2.10)}}_{{\delta}_{1}={\delta}_{2}=0} and executing calculation in Mathematica, we have

**Theorem 4.1** *The first seven singular point quantities at infinity of system* {\text{(2.10)}}_{{\delta}_{1}={\delta}_{2}=0} *are as follows*:

*In the above expression of* {\mu}_{k}^{(\mathrm{\infty})}, *we have already let* {\mu}_{1}^{(\mathrm{\infty})}=\cdots ={\mu}_{k-1}^{(\mathrm{\infty})}=0, k=2,3,\dots ,7.

By the similar method used in the proof of Theorem 3.1, we can obtain the following result.

**Theorem 4.2** *For system* {\text{(2.10)}}_{{\delta}_{1}={\delta}_{2}=0}, *the first seven singular point quantities at infinity are zero if and only if condition* (I) *or* (II) *is satisfied*.

The following result is immediate from Theorems 3.3 and 4.2.

**Theorem 4.3** *The degenerate singular point and infinity of system* {\text{(2.10)}}_{{\delta}_{1}={\delta}_{2}=0} *have the same center conditions*.

## 5 Bifurcation of limit cycles under synchronous perturbation

From Theorems 3.1 and 4.1, we have

**Theorem 5.1**
*The degenerate singular point of system*
{\text{(1.2)}}_{{\delta}_{1}={\delta}_{2}=0}
*is a fine focus of order nine if and only if the coefficients of its associated complex system*
{\text{(2.10)}}_{{\delta}_{1}={\delta}_{2}=0}
*satisfy*

**Theorem 5.2**
*The infinity of system*
{\text{(1.2)}}_{{\delta}_{1}={\delta}_{2}=0}
*is a fine focus of order seven if and only if the coefficients of its associated complex system*
{\text{(2.10)}}_{{\delta}_{1}={\delta}_{2}=0}
*satisfy*

Actually, when the degenerate singular point of system {\text{(1.2)}}_{{\delta}_{1}={\delta}_{2}=0} is a fine focus of order nine, its infinity is at most a fine focus of order three; when the infinity of system {\text{(1.2)}}_{{\delta}_{1}={\delta}_{2}=0} is a fine focus of order seven, its degenerate singular point is at most a fine focus of order three. Therefore, we have

**Theorem 5.3** *By synchronous perturbation at degenerate singular point and infinity*, *system* (1.2) *has the limit cycle configurations of* \{(8),3\} *and* \{(3),6\}.

For the sake of simplicity, we will prove the first case of Theorem 5.3. The other case can be proved with the same principle.

**Theorem 5.4** *Let the coefficients in* (2.10) *satisfy*

(*accordingly*, *the coefficients of system* (1.2) *are determined by* (1.4), (2.11) *and* (5.3)), *where* {\u03f5}_{i}, i=1,\dots ,8 *are small parameters with*

*Then for system* (1.2), *there are eight limit cycles bifurcating from the degenerate singular point*, *and at the same time*, *there are three limit cycles bifurcating from infinity*.

*Proof* For the degenerate singular point of system (1.2), from {\nu}_{1}(2\pi )={e}^{2\pi {\delta}_{1}}, {\nu}_{2m+1}(2\pi ,{\delta}_{1})={\nu}_{2m+1}(2\pi ,0)+{\delta}_{1}{\varphi}_{2m+1}({a}_{\alpha \beta},{b}_{\alpha \beta},{\delta}_{1}), Theorem 3.1 and {\nu}_{2m+1}(2\pi )\sim i\pi {\mu}_{m}, after computing carefully, we have the following:

where {\omega}_{i}({\u03f5}_{1},{\u03f5}_{2},{\u03f5}_{3},{\u03f5}_{4},{\u03f5}_{5},{\u03f5}_{6},{\u03f5}_{7}) are analytic at (0,0,0,0,0,0,0) and {\omega}_{i}(0,0,0,0,0,0,0)=0, i=1,\dots ,7.

Simultaneously, for the infinity of system (1.2), we have

According to the classical theory of Bautin, there exist eight limit cycles in a small enough neighborhood of the degenerate singular point and three limit cycles in a small enough neighborhood of the infinity. □

## 6 Concluding remarks

We have presented the solution to the problem of bifurcation of limit cycles at degenerate singular point and infinity for a class of seventh degree polynomial vector field. There are two important points to make here. Firstly, by computing the first several singular point quantities with Mathematica and vanishing them, the same center conditions at degenerate singular point (Theorem 3.2) and at infinity (Theorem 4.2) are obtained. Secondly, by synchronous perturbation of degenerate singular point and infinity, the limit cycle configurations of \{(8),3\} and \{(3),6\} are determined. We hope that our work could make some contributions in this direction.

## References

Li J: Hilbert’s 16th problem and bifurcations of planar polynomial vector fields.

*Int. J. Bifurc. Chaos*2003, 13: 47-106. 10.1142/S0218127403006352Ye Y:

*Qualitative Theory of Polynomial Differential Systems*. Shanghai Sci. Technol., Shanghai; 1995. (in Chinese)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.Blows TR, Rousseau C: Bifurcation at infinity in polynomial vector fields.

*J. Differ. Equ.*1993, 104: 215-242. 10.1006/jdeq.1993.1070Liu Y, Chen H: Stability and bifurcations of limit cycles of the equator in a class of cubic polynomial systems.

*Comput. Math. Appl.*2002, 44: 997-1005. 10.1016/S0898-1221(02)00209-2Liu Y, Huang W: Seven large-amplitude limit cycles in a cubic polynomial system.

*Int. J. Bifurc. Chaos*2006, 16: 473-485. 10.1142/S0218127406014940Zhang Q, Liu Y: A cubic polynomial system with seven limit cycles at infinity.

*Appl. Math. Comput.*2006, 177: 319-329. 10.1016/j.amc.2005.11.011Liu Y, Zhao M: Stability and bifurcation of limit cycles of the equator in a class of fifth polynomial systems.

*Chin. J. Contemp. Math.*2002, 23: 75-78.Chen H, Liu Y: Limit cycle of the equator in a quintic polynomial system.

*Chin. J. Contemp. Math. Ser. A*2003, 24: 219-224. (in Chinese)Huang W, Liu Y: Bifurcations of limit cycles from infinity for a class of quintic polynomial system.

*Bull. Sci. Math.*2004, 128: 291-302. 10.1016/j.bulsci.2004.02.002Zhang Q, Liu Y: A quintic polynomial differential system with eleven limit cycles at the infinity.

*Comput. Math. Appl.*2007, 53: 1518-1526. 10.1016/j.camwa.2006.02.029Huang W, Liu Y: A polynomial differential system with eight limit cycles at infinity.

*J. Math. (Wuhan)*2004, 24(5):551-556.Huang W, Liu Y: A polynomial differential system with nine limit cycles at infinity.

*Comput. Math. Appl.*2004, 48: 577-588. 10.1016/j.camwa.2003.08.008Zhang Q, Gui W, Liu Y: Bifurcation of limit cycles at the equator for a class of polynomial differential system.

*Nonlinear Anal., Real World Appl.*2009, 10: 1042-1047. 10.1016/j.nonrwa.2007.11.021Huang W, Liu Y, Tang Q: Singular point quantities and bifurcations of limit cycles for a class of quintic polynomial systems.

*Acta Math. Sci. Ser. A*2005, 25: 744-752. (in Chinese)Zhang Q, Liu Y, Chen H: Bifurcation at the equator for a class of quintic polynomial differential system.

*Appl. Math. Comput.*2006, 181: 747-755. 10.1016/j.amc.2006.02.003Liu Y, Li J: Theory of values of singular point in complex autonomous differential system.

*Sci. China Ser. A*1990, 3: 10-24.Chen H, Liu Y, Zeng X: Algebraic recursion formulas for quantities of equator in a planar polynomial differential system.

*Acta Math. Sin.*2005, 48: 963-972. (in Chinese)

## Acknowledgements

Acknowledgments are due to the referees for their useful suggestions and valuable comments. This work is supported in part by the National Nature Science Foundation of China (No. 11101126, 11126114 and 11201211), the Fund of Henan Education Commission (No. 2011B110014), and the Scientific Research Foundation for Doctoral Scholars of Haust (09001524).

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

The study was carried out in collaboration between both of the authors. YW completed the main part of this paper, FL corrected the main theorems and polished the manuscript. All authors read and approved the final 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

Wu, Y., Li, F. Bifurcation of limit cycles at degenerate singular point and infinity in a septic system.
*Adv Differ Equ* **2013**, 5 (2013). https://doi.org/10.1186/1687-1847-2013-5

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/1687-1847-2013-5

### Keywords

- degenerate singular point
- infinity
- bifurcation of limit cycles
- septic system