# Center-focus and Hopf bifurcation for a class of quartic Kukles-like systems

- Yusen Wu
^{1}Email author and - Changjin Xu
^{2}

**2014**:245

https://doi.org/10.1186/1687-1847-2014-245

© Wu and Xu; licensee Springer. 2014

**Received: **6 August 2014

**Accepted: **1 September 2014

**Published: **24 September 2014

## Abstract

In the present article, we solve the center-focus problem for a class of quartic Kukles-like systems with third-order nilpotent singularities and prove the existence of five limit cycles in the neighborhood of the origin.

**MSC:**34C05, 37G15.

## Keywords

## 1 Introduction

One of the most classical problems in the qualitative theory of planar analytic differential systems is to characterize the local phase portrait at an isolated singular point. This problem has been solved except if the singular point is a center or a focus. The problem in distinguishing between a center and a focus is called the *center-focus problem*. Once we have made a distinction between a center and a focus, another problem is to find the number of limit cycles bifurcated from the focus.

where $X(x,y)$ and $Y(x,y)$ are real analytic functions without constant and linear terms, defined in a neighborhood of the origin. Takens [1] proved that the Lyapunov system can be formally transformed into a generalized Liénard system. Moussu [2] found the ${\mathcal{C}}^{\mathrm{\infty}}$ normal form for analytic nilpotent centers. Stróżyna and Żoła̧dek [3] studied orbital normal forms for analytic planar vector fields with nilpotent singularity. Álvarez and Gasull [4] proved that the generalized Liénard system could be simplified even more by a reparameterization of the time. At the same time, Giacomini *et al.* [5, 6] showed that the analytic nilpotent systems with a center can be expressed as limit of non-degenerate systems with a center. The conditions of center and isochronous center at the origin for a class of non-analytic quintic systems are studied in [7].

Remember that the so-called stability problem and the center problem can be solved for smooth non-degenerate critical points via the Lyapunov constants. On the other hand the same problem but for nilpotent singular point is far to be solved in general, due to the invalidation of classical methods. In 2011, Liu and Li [8] dealt with the integral factor method for solving the above mentioned problems of third-order nilpotent singularities. This method is based into a different way of computing the so-called *quasi-Lyapunov constants*. Using the integral factor method, [9] investigated center conditions and bifurcation of limit cycles at the nilpotent critical point in a class of septic polynomial differential systems.

The rest of paper is organized as follows. In Section 2, we give some preliminary knowledge presented in [8], which is helpful throughout the paper. In Section 3, we compute the first several quasi-Lyapunov constants at the third-order nilpotent singular point of system (1.2) and provide sufficient and necessary conditions in order that system (1.2) have a center in a neighborhood of the origin. We end this paper in Section 4 by applying Theorem 2.1 to generate limit cycles for system (1.2).

## 2 Some preliminary results

Before state our results we need to introduce some well-known definitions, lemmas, and theorems.

*i.e.*, a center or a focus) if and only if

where *n* is a positive integer.

**Definition 2.1**Let $y=f(x)=-{a}_{20}{x}^{2}+o({x}^{2})$ be the unique solution of the function equation $X(x,f(x))=0$, $f(0)=0$ at a neighborhood of the origin. If there are an integer

*m*and a non-zero real number

*α*, such that

we say that the origin is a high-order singular point of system (2.1) with the multiplicity *m*.

By using the results in [10], we attain the following conclusion.

**Lemma 2.1** *The origin of system* (2.1) *is a three*-*order singular point which is a saddle point or a center*, *if and only if* ${b}_{20}=0$, ${(2{a}_{20}-{b}_{11})}^{2}+8{b}_{30}<0$.

Otherwise, by letting ${(2{a}_{20}-{b}_{11})}^{2}+8{b}_{30}=-16{\lambda}^{2}$, $2{a}_{20}+{b}_{11}=4\lambda \mu $ and making the transformation $\xi =\lambda x$, $\eta =\lambda y+\frac{1}{4}(2{a}_{20}-{b}_{11})\lambda {x}^{2}$, we obtain the mentioned result.

*h*is small and

*r*, we have $d\theta /dt<0$. In a small neighborhood, we can define the successor function of system (2.5) as follows:

We have the following result.

**Lemma 2.2**

*For any positive integer*

*m*, ${\nu}_{2m+1}(-2\pi )$

*has the form*

*where* ${\zeta}_{k}^{(m)}$ *is a polynomial of* ${\nu}_{j}(\pi )$, ${\nu}_{j}(2\pi )$, ${\nu}_{j}(-2\pi )$ ($j=2,3,\dots ,2m$) *with rational coefficients*.

It is differential from the center-focus problem for the elementary critical points, we know from Lemma 2.2 that when $k>1$ for the first non-zero ${\nu}_{k}(-2\pi )$, *k* is an even integer.

**Definition 2.2**

- 1.
For any positive integer

*m*, ${\nu}_{2m}(-2\pi )$ is called the*m*th focal value of system (2.5) in the origin. - 2.
If ${\nu}_{2}(-2\pi )\ne 0$, then the origin of system (2.5) is called one-order weakened focus. In addition, if there is an integer $m>1$, such that ${\nu}_{2}(-2\pi )={\nu}_{4}(-2\pi )=\cdots ={\nu}_{2m-2}(-2\pi )=0$, but ${\nu}_{2m}(-2\pi )\ne 0$, then the origin is called a

*m*-order weakened focus of system (2.5). - 3.
If for all positive integer

*m*, we have ${\nu}_{2m}(-2\pi )=0$, then the origin of system (2.5) is called a center.

**Definition 2.3**Let ${f}_{k}$, ${g}_{k}$ be two bounded functions with respect to

*μ*and all ${a}_{ij}$, ${b}_{ij}$, $k=1,2,\dots $ . If for some integer

*m*, there exist ${\xi}_{1}^{(m)},{\xi}_{2}^{(m)},\dots ,{\xi}_{m-1}^{(m)}$, which are continuous bounded functions with respect to

*μ*and all ${a}_{ij}$, ${b}_{ij}$, $i=1,2,\dots $ , such that

We say that ${f}_{m}$ is equivalent to ${g}_{m}$, denoted by ${f}_{m}\sim {g}_{m}$.

If ${f}_{1}={g}_{1}$ and for all positive integers *m*, ${f}_{m}\sim {g}_{m}$, we say that the function sequences $\{{f}_{m}\}$ and $\{{g}_{m}\}$ are equivalent, denoted by $\{{f}_{m}\}\sim \{{g}_{m}\}$.

We know from Lemma 2.2 and Definition 2.2 that for the sequence $\{{\nu}_{k}(-2\pi )\}$, $k\ge 2$, we have ${\nu}_{2k+1}(-2\pi )\sim 0$, $k=1,2,\dots $ .

*h*is sufficiently small and

*x*,

*y*with a non-zero convergence radius and have continuous partial derivatives with respect to

*γ*. In addition,

For an integer *k*, letting ${\nu}_{2k}(-2\pi ,\gamma )$ be the *k*-order focal value of the origin of system (2.24)$\delta =0$.

**Theorem 2.1**

*If for*$\gamma ={\gamma}_{0}$,

*the origin of system*(2.24)$\delta =0$

*is a*

*m*-

*order weak focus*,

*and the Jacobin*

*then there exist two positive numbers* ${\delta}^{\ast}$ *and* ${\gamma}^{\ast}$, *such that for* $0<|\delta |<{\delta}^{\ast}$, $0<\parallel \gamma -{\gamma}_{0}\parallel <{\gamma}^{\ast}$, *in a neighborhood of the origin*, *system* (2.24) *has at most* *m* *limit cycles which enclose the origin* (*an elementary node*) $O(0,0)$. *In addition*, *under the above conditions*, *there exist* $\tilde{\gamma}$, $\tilde{\delta}$, *such that when* $\gamma =\tilde{\gamma}$, $\delta =\tilde{\delta}$, *there exist exactly* *m* *limit cycles of* (2.24) *in a small neighborhood of the origin*.

We give the following key results, which define the quasi-Lyapunov constants and provide a way of computing them.

**Theorem 2.2**

*For system*(2.5),

*one can construct successively a formal series*

*such that*

*i*.

*e*.,

*where*

*s*

*is a given positive integer*,

*and*

*with*

We see from (2.27) and (2.30) that when (2.8) holds, $M={y}^{2}+{x}^{4}+o({r}^{4})$.

**Definition 2.4** For system (2.5), ${\lambda}_{m}$ is called the *m* th quasi-Lyapunov constant of the origin.

**Theorem 2.3**

*For any positive integer*

*s*

*and a given number sequence*

*one can construct successively the terms with the coefficients*${c}_{\alpha \beta}$

*satisfying*$\alpha \ne 0$

*of the formal series*

*such that*

*where for all* *k*, ${M}_{k}(x,y)$ *is a* *k*-*homogeneous polynomial in* *x*, *y* *and* $s\mu =0$.

It is easy to see that (2.36) is linear with respect to the function *M*, so that we can easily find the following recursive formulas for the calculation of ${c}_{\alpha \beta}$ and ${\omega}_{m}(s,\mu )$.

**Theorem 2.4**

*For*$\alpha \ge 1$, $\alpha +\beta \ge 3$

*in*(2.34)

*and*(2.35), ${c}_{\alpha \beta}$

*can be uniquely determined by the recursive formula*

*For*$m\ge 1$, ${\omega}_{m}(s,\mu )$

*can be uniquely determined by the recursive formula*

*where*

*Notice that in*(2.39),

*we set*

Clearly, the recursive formulas presented by Theorem 2.4 is linear with respect to all ${c}_{\alpha \beta}$. Accordingly, it is convenient to realize the computations of quasi-Lyapunov constants by using a computer algebraic system like *Mathematica*.

## 3 Quasi-Lyapunov constants and center conditions

It is easy to see that the origin of system (1.2) is a third-order nilpotent singular point which is a center or a focus. Now we start the preparation of computing the quasi-Lyapunov constants at the origin of system (1.2).

**Lemma 3.1**

*Assume that*

*s*

*is a natural number*.

*One can derive a power series*(2.34)

*for system*(1.2)

*under which*(2.36)

*is satisfied*,

*where*

*in addition*,

*for any natural numbers*

*α*,

*β*, ${c}_{\alpha \beta}$

*is given by the following recursive formula*:

*and*,

*for any natural number*

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

*is given by the following recursive formula*:

One of our main results is the following.

**Theorem 3.1**

*Consider system*(1.2);

*the following are satisfied*.

- (I)
*By letting*$\begin{array}{r}{c}_{03}=0,\\ {c}_{04}=\frac{1}{75,600s{(s+1)}^{2}}(5,775{b}_{12}^{2}-3,415{b}_{22}{b}_{40}+2,925{b}_{12}{b}_{40}^{2}\\ \phantom{{c}_{04}=}-3,402{b}_{40}^{4}-13,650{b}_{12}^{2}s+10,880{b}_{22}{b}_{40}s\\ \phantom{{c}_{04}=}+17,325{b}_{12}{b}_{40}^{2}s-3,024{b}_{40}^{4}s-7,875{b}_{12}^{2}{s}^{2}-6,095{b}_{22}{b}_{40}{s}^{2}\\ \phantom{{c}_{04}=}-9,405{b}_{12}{b}_{40}^{2}{s}^{2}+4,158{b}_{40}^{4}{s}^{2}+43,050{b}_{12}^{2}{s}^{3}-20,390{b}_{22}{b}_{40}{s}^{3}\\ \phantom{{c}_{04}=}-23,805{b}_{12}{b}_{40}^{2}{s}^{3}+3,780{b}_{40}^{4}{s}^{3}),\\ {c}_{05}=-\frac{{b}_{13}(175{b}_{12}+216{b}_{40}^{2}-875{b}_{12}s-24{b}_{40}^{2}s+1,190{b}_{12}{s}^{2}-240{b}_{40}^{2}{s}^{2})}{2,100{(s+1)}^{2}},\end{array}$(3.4)

*its first five quasi*-

*Lyapunov constants are*

*where in the expression of* ${\lambda}_{k}$, *we have already let* ${\lambda}_{1}={\lambda}_{2}=\cdots ={\lambda}_{k-1}=0$, $k=2,3,4,5$.

*It has a center at the origin if and only if*${\lambda}_{1}={\lambda}_{2}={\lambda}_{3}={\lambda}_{4}={\lambda}_{5}=0$.

*Furthermore this situation happens if and only if one of the following two conditions is satisfied*:

- (i)
${b}_{21}={b}_{03}={b}_{13}=0$;

- (ii)
${b}_{21}={b}_{03}={b}_{40}={b}_{22}={b}_{04}=0$.

*Proof*When condition (i) holds, system (1.2) could be written as

the vector field of system (3.6) is symmetric with respect to axis *x*, so the origin is a center.

the vector field of system (3.7) is symmetric with respect to axis *y*, so the origin is also a center. □

## 4 Limit cycle bifurcation

Next we will prove that the third-order nilpotent singular $O(0,0)$ is at most a weak focus of order five, moreover, based on this conclusion, the perturbed system of (1.2) can produce five limit cycles enclosing an elementary node at the origin.

${\lambda}_{1}={\lambda}_{2}={\lambda}_{3}={\lambda}_{4}=0$, ${\lambda}_{5}\ne 0$ easily yields.

**Theorem 4.1**

*For system*(1.2),

*the origin is a five*-

*order weak focus if and only if*

The above considerations imply the following main result.

**Theorem 4.2** *If the origin of system* (1.2) *is a five*-*order weak focus*, *for* $0<\delta \ll 1$, *making a small perturbation to the coefficients of system* (1.2), *then*, *for system* (4.2), *in a small neighborhood of the origin*, *there exist exactly five small amplitude limit cycles enclosing the origin* $O(0,0)$, *which is an elementary node*.

**Example 4.1**Take

where ${c}_{1}$, ${c}_{2}$ are arbitrary non-zero real constants, *s* (≥3) is a natural number.

Then, for $0<\epsilon \ll 1$, system (4.2) has five limit cycles ${\mathrm{\Gamma}}_{k}:r=\tilde{r}(\theta ,{h}_{k}(\epsilon ))$ in a small neighborhood of the origin, where ${h}_{k}(\epsilon )=O({\epsilon}^{k})$, $k=1,2,3,4,5$.

## Declarations

### Acknowledgements

The authors are grateful to both reviewers for their helpful suggestions and comments. This work is supported in part by the National Nature Science Foundation of China (11101126 and 11261010) and Scientific Research Foundation for Doctoral Scholars of HAUST (09001524).

## Authors’ Affiliations

## References

- Takens F: Singularities of vector fields.
*Publ. Math. IHÉS*1974, 43: 47-100. 10.1007/BF02684366MathSciNetView ArticleMATHGoogle Scholar - Moussu R: Symétrie et forme normale des centres et foyers dégénérés.
*Ergod. Theory Dyn. Syst.*1982, 2: 241-251.MathSciNetView ArticleMATHGoogle Scholar - Stróżyna E, Żołądek H: The analytic and formal normal form for the nilpotent singularity.
*J. Differ. Equ.*2002, 179: 479-537. 10.1006/jdeq.2001.4043View ArticleMathSciNetMATHGoogle Scholar - Álvarez MJ, Gasull A: Generating limit cycles from a nilpotent critical point via normal forms.
*J. Math. Anal. Appl.*2006, 318: 271-287. 10.1016/j.jmaa.2005.05.064MathSciNetView ArticleMATHGoogle Scholar - Giacomini H, Giné J, Llibre J: The problem of distinguishing between a center and a focus for nilpotent and degenerate analytic systems.
*J. Differ. Equ.*2006, 227(2):406-426. 10.1016/j.jde.2006.03.012View ArticleMathSciNetMATHGoogle Scholar - Giacomini H, Giné J, Llibre J: Corrigendum to: ‘The problem of distinguishing between a center and a focus for nilpotent and degenerate analytic systems’ [J. Differential Equations 227 (2006), no. 2, 406-426].
*J. Differ. Equ.*2007, 232(2):702. 10.1016/j.jde.2006.10.004View ArticleGoogle Scholar - Li F, Qiu J, Li J: Bifurcation of limit cycles, classification of centers and isochronicity for a class of non-analytic quintic systems.
*Nonlinear Dyn.*2014, 76(1):183-197. 10.1007/s11071-013-1120-4MathSciNetView ArticleMATHGoogle Scholar - Liu Y, Li J: On third-order nilpotent critical points: integral factor method.
*Int. J. Bifurc. Chaos*2011, 21: 1293-1309. 10.1142/S0218127411029161View ArticleMathSciNetMATHGoogle Scholar - Li F, Liu Y, Li H: Center conditions and bifurcation of limit cycles at three-order nilpotent critical point in a septic Lyapunov system.
*Math. Comput. Simul.*2011, 81(12):2595-2607. 10.1016/j.matcom.2011.05.001View ArticleMathSciNetMATHGoogle Scholar - Amelkin VV, Lukashevich NA, Sadovskii AN:
*Nonlinear Oscillations in the Second Order Systems*. BGU Publ., Minsk; 1982. (in Russian)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/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.