Bifurcation of Limit Cycles and Center Conditions for Two Families of Kukles-Like Systems with Nilpotent Singularities
We solve theoretically the center problem and the cyclicity of the Hopf bifurcation for two families of Kukles-like systems with their origins being nilpotent and monodromic isolated singular points.
One of the main open problems in the qualitative theory of planar analytic differential systems is the case when the singular point is monodromic (the orbits move around the singular point). A monodromic point of an analytic system is either a center (i.e., a singular point with a punctures neighborhood filled with periodic orbits) or a focus (i.e., a singular point with a neighborhood where all the orbits are spirals which arrive at the equilibrium point in forward or backward time). The problem of distinguishing when a monodromic singular point is either a center or a focus is called the center problem.
The so-called center problem for planar vector fields has been intensively and extensively studied over the last century and is also closely related to Hilbert’s 16th problem. The singular point can be elementary or not in the sense whether the corresponding Jacobian matrix has zero eigenvalues. If the eigenvalues of the quoted matrix are imaginary with real part null, the singular point may be a focus or a center, which is known as the celebrated Poincaré-Lyapunov center problem and has been theoretically solved by Poincaré  and Liapunov . If the matrix of the linear part at the singular point has its two eigenvalues equal to zero, but it is not identically null, by Andreev  we know what is the behavior of the solutions in a neighborhood of the singular point, except if it is a center of a focus (nilpotent center problem).
Yet for the bifurcation of limit cycles and center problem of nilpotent singular points in a planar vector field, its intrinsic dynamics is still far away from understanding due to the complexity and technical difficulties. Therefore, it is natural to restrict our study to nilpotent singularities. An analytic system of differential equations in the plane having an isolated nilpotent singularity, in some suitable coordinates, can be written as with and real analytic functions without constant nor linear terms defined in a certain neighborhood of the singularity.
The study of nilpotent singularities and their unfolding for vector fields is important not only for mathematical interest but also for practical reasons. To solve the finite cyclicity problem in the second part of Hilbert’s 16th problem, Dumortier et al. [4, 5] presented an impressive list of 121 graphics that occur in quadratic systems, among which many are nilpotent cases, studied in [6–11]. On the other hand, the center problem for nilpotent singularities is another interesting issue and has been partially solved; see [3, 12–19], and so forth.
Liu and Li  originated a method in studying the center problem of third-order nilpotent singularities by integral factor method, where a new definition of the focal values, quasi-Lyapunov constants, is provided. At the same time, the equivalence of quasi-Lyapunov constants and focal values is proved. A linear recursive formula for computing quasi-Lyapunov constants is also derived. Afterward, they proved that if the third-order nilpotent origin is a -order weakened focus, then, by a small perturbation for the unperturbed system, there exist limit cycles in a neighborhood of the origin. Meanwhile, the origin becomes an elementary critical point and two complex singular points.
In the present paper, we are interested in the study of two families of Kukles-like systems with third-order nilpotent part of the form and, respectively, nonlinear part given by quartic and quintic homogeneous polynomial with an isolated singular point at the origin; that is,
This paper will be organized as follows. In Section 2 we summarize some general definitions and results about third-order nilpotent singularities. In Section 3 we present the conditions for third-order nilpotent singularities to be a center and give the proof of the cyclicity for system (2). In the last section, we present the parallel results for system (3).
2. The Formula to Compute the Quasi-Lyapunov Constants
The origin is a third-order monodromic critical point if and only if the system is of the following form:
The quasi-Lyapunov constant is defined and a way of computing them is provided in .
Theorem 1. For any positive integer and a given number sequence one can construct successively the terms with the coefficients satisfying of the formal series such that where for all , is a -homogeneous polynomial of and .
Clearly, the recursive formulas presented by Theorem 2 are linear with respect to all . Therefore, it is convenient to realize the computations of quasi-Lyapunov constants by using computer algebraic system like MATHEMATICA.
3. Center Conditions and Limit Cycles of System (2)
Lemma 3. Assume that is a natural number. One can derive a power series (6) for system (2) under which (7) is satisfied, where In addition, for any natural numbers , is given by the following recursive formula: and, for any natural number , is given by the following recursive formula:
The straightforward computing according to Lemma 3 with MATHEMATICA gives
To make , we will consider two different cases: and .
Now we can prove the following result.
Theorem 4. In this case, the origin of system (2) is a center if and only if the first four quasi-Lyapunov constants vanish; that is, one of the following two series is satisfied:
Proof. It is direct to obtain conditions (19) and (20) by imposing , .
On the other hand, when condition (19) holds, system (2) goes over to whose vector field is symmetric with respect to the -axis. When condition (20) holds, system (2) goes over to whose vector field is symmetric with respect to the -axis. This ends the proof.
For the same reason as before, we obtain the following.
Theorem 5. In this case, the origin of system (2) is a center if and only if the first five quasi-Lyapunov constants vanish; that is, the following series is satisfied:
Proof. It is direct to obtain conditions (24) by imposing , .
On the other hand, when condition (24) holds, system (2) goes over to whose vector field is symmetric with respect to the -axis. Then, we have proved the theorem.
Theorem 6. System (2) has a center at the origin if and only if one of the following two sets of conditions holds:
Remark 7. Indeed, in the light of the theory of , the origin is not only a center but also an analytic center under condition (I).
Lemma 8. The origin of system (2) is a fine focus of maximum order five. Further, it is of order five if and only if
Consider the perturbed system of (2)
Theorem 9. Under a small perturbation of system (2), for a small parameter , in a neighborhood of the origin of system (27), there exist exactly 5 small amplitude limit cycles enclosing the elementary node .
The next example shows this fact.
Example 10. Take Straightforward computations by using expression (23) give the first 5 quasi-Lyapunov constants of the origin of system (27): Thereby, for , system (27) has 5 limit cycles in a small neighborhood of the origin, where , .
4. Center Conditions and Limit Cycles of System (3)
Similar to Lemma 3, we have the following.
Lemma 11. Assume that is a natural number. One can derive a power series (6) for system (3) under which (7) is satisfied, where In addition, for any natural numbers , is given by the following recursive formula: and, for any natural number , is given by the following recursive formula:
Hence, we arrive at the following.
Theorem 12. System (3) has a center at the origin if and only if the following set of conditions holds:
Proof. It is direct to obtain condition (III) by imposing , .
On the other hand, when condition (III) is satisfied, system (3) reduces to whose vector field is symmetric with respect to the origin. The claim follows.
Remark 13. Indeed, in the light of the theory of , the origin is not only a center but also an analytic center under condition (III).
We obtain the following by expression (33).
Lemma 14. The origin of system (3) is a fine focus of maximum order four. Further, it is of order four if and only if
Consider the perturbed system of (3):
Theorem 15. Under a small perturbation of system (3), for a small parameter , in a neighborhood of the origin of system (36), there exist exactly 4 small amplitude limit cycles enclosing the elementary node .
Example 16. Take Straightforward computations by using expression (33) give the first 4 quasi-Lyapunov constants of the origin of system (36): Thereby, for , system (36) has 4 limit cycles in a small neighborhood of the origin, where , .
This work is supported in part by the National Nature Science Foundation of China (11101126 and 11271110) and Scientific Research Start-up Fund for Doctoral Scholars of HAUST (09001524).
H. Poincaré, “Mémoire sur les courbes définies par les équations différentielles,” Journal de Mathématiques, vol. 37, pp. 375–422, 1881.View at: Google Scholar
M. A. Liapunov, Problème Général De La Stabilité Du Mouvement, vol. 17 of Annals of Mathematics Studies, 1947.
A. A. Andronov, E. A. Leontovich, I. I. Gordon, and A. G. Maĭer, Qualitative Theory of Second-Order Dynamic Systems, Wiley, New York, NY, USA, 1973.View at: MathSciNet