Lower bounds for the local cyclicity for families of centers
Introduction
The study of limit cycles began at the end of the 19th century with Poincaré. Years later, in 1900, Hilbert presents a list of unsolved problems. From the original 23 problems of this list, the 16th is still open. The second part of this problem consists in determining a uniform bound of the maximal number of limit cycles (named ), and their relative positions, of a planar polynomial system of degree n. However, there are also weak versions of 16th Hilbert's problem. Arnol'd in [1] proposed a version focused on studying the number of limit cycles bifurcating from the period annulus of Hamiltonian systems. In this paper, we are interested in providing the maximal number of small amplitude limit cycles bifurcating from an elementary center or an elementary focus, in special for degrees 3 and 4. The main idea is to study the local cyclicity of families of centers depending on a finite number of parameters.
As it is well known, for , Bautin proved in [2] that . The case but without quadratic terms (homogeneous cubic perturbation) was studied in [3], [19] and solved in [23], then . In [24], [26] Żoła̧dek shown that . Christopher, in [5], gave a simple proof of Żoła̧dek's result perturbing another cubic center with a rational first integral, using only the linear parts of the Lyapunov constants. The interest of this result is that we can compute these linear parts [5], in a parallelized way [13], [17], near a center without having the complete expressions of the Lyapunov constants. Basically the used technique consists in to choose a point on the center variety and at this point consider the linear term of the Lyapunov constants, if the point is chosen on a component of the center variety of codimension k, then the first k linear terms of the Lyapunov constants are independent. This is a direct application of the Implicit Function Theorem to prove that . Usually, we use this technique to provide lower bounds for the local cyclicity problem in the class of polynomial vector fields of degree n. In [10], [11], Giné presents a conjecture that the number is bounded below by and studies the cyclicity of different families of centers presented in [9]. In [14], [13] new lower bounds for and n small have been obtained. The new values are , , , , , and .
In [21], Yu and Tian point out that the 1-parameter family of centers labeled by in [25] is quite special because it can exhibit one more limit cycle than expected in Giné's conjecture. This family has the next rational first integral and it has, following Żoła̧dek computations, codimension 12. The original proof has some crucial missing points in the arguments that we correct here, proving effectively that there exist some special values of the parameter a in (1) such that 12 limit cycles of small amplitude bifurcate from the origin when we perturb in the class of complete cubic polynomial vector fields. This family was also studied by Christopher in [5] and it was the first clear proof about the existence of at least 11 limit cycles of small amplitude bifurcating from an equilibrium in polynomial vector fields of degree three.
The main result of this paper is the following. Theorem 1.1 The number of limit cycles of small amplitude bifurcating from an equilibrium of monodromic type in the classes of polynomial vector fields of degrees 3 and 4 is and , respectively.
After the above result, clearly, the commented general lower bound for should be updated to be . We remark that the total number of parameters for polynomial vector fields of degree n is . Then, the new conjecture removes 8 to this total number of parameters. Six corresponding to an affine change of variables that writes the linear part in its normal form, one corresponding to a rotation and another to a rescaling. The previous conjecture took into account that the number of limit cycles in a center component does not change. But this is only generically. In this work, we will provide examples where this property fails. Hence we establish the following conjecture.
Conjecture 1.2 The number of limit cycles of small amplitude bifurcating from an equilibrium of monodromic type in the class of polynomial vector fields of degree n is .
The proof of the above theorem is based on an extension of Christopher results ([5]) for linear and higher-order studies when the considered center has parameters. This new result, Theorem 3.1, is proved in Section 3. For completeness we also include here the Christopher results, see Theorem 2.2, Theorem 2.4 in the next section, where we have also added a detailed description of how they should be used together. We remark that the parallelization algorithm introduced in [13], [17] is crucial to get the results because facilitates all the needed computations. In Section 4 we do the proof of the statement of Theorem 1.1 corresponding to degree 3 vector fields. Moreover, we study also the bifurcation diagrams of limit cycles of small amplitude bifurcating from three families of centers. The first is 1-parametric and it is the rational reversible center family labeled by in [25]. The second is a 2-parameter holomorphic cubic center family. The third is labeled by in [25], it has also 2 parameters and no maximal codimension 12 but, from it, also 12 limit cycles bifurcate from the center inside the cubic polynomial class. In Section 5 we study the bifurcation diagram for a 2-parameter center family of degree 4 that allows us to prove the statement of Theorem 1.1 corresponding to vector fields of degree 4. Finally, we also study partially the bifurcation diagram for a 4-parameter quartic holomorphic family of centers.
We have used a cluster of computers with 128 processors simultaneously with 725 GB of total ram memory. All the computations have been made with Maple [18].
Section snippets
Lyapunov constants and parallelization
Let us consider the system with and polynomials of degree n in variables . Writing the system in complex coordinates, we have where are polynomials of degree n in variables . We seek for a first integral in the form in a neighborhood of the origin such as where is the vector field associated to (2) and the k-Lyapunov constant. Clearly, the origin will be a center if, and only if
Local cyclicity depending on parameters
This section is devoted to extend Theorem 2.2, Theorem 2.4 to families of centers that depend on some parameters. Let be a family of polynomial centers of degree n depending on a parameter , having a center equilibrium point at the origin. We consider the perturbed polynomial system with polynomials of degree n having no constant nor linear terms. More concretely,
Bifurcation diagrams for local cyclicity in families of cubic centers
In this section we use Theorem 3.1 to study the bifurcation diagram for some families of cubic centers, lying in components of the center variety of codimension 11, 10, and 9. The first, in Proposition 4.1, is the family labeled that has generically cyclicity 11 and was studied previously by Christopher in [5], for only one parameter value in (1), and by Yu and Tian in [21]. This proposition proves partially the main Theorem 1.1. The family labeled as in [25], which
Bifurcation diagrams for local cyclicity in families of quartic centers
This section is devoted to proving the second part of the statement of our main result, Theorem 1.1. It follows from the next proposition. We provide the bifurcation diagram of the local cyclicity of the cubic center given by Bondar and Sadovskiĭ in [4] adding a straight line of equilibria. This problem can be studied to get 19 limit cycles. Here show a curious fact, the cyclicity depends on the selected straight line. We work with two parameters , showing the existence of a curve with
Final comments
The computations in this work are quite high although basically we have worked only with developments of order 1 in the Lyapunov constants but center depending on parameters. This is because the existence of parameters in the unperturbed centers makes the things more complicated. Before the simplifications, the polynomials appearing as coefficients of the perturbation parameters are of very high degree and with rational coefficients with a high number of digits. In fact, this is why we have
Accurate interval analysis
Next two technical results will help us to find upper and lower bounds for a polynomial of n variables in a n-dimensional cube. The proofs of them can be found in [6].
Lemma 7.1 Consider , , q real numbers such that , with , and , with . Then, , where If , for and denoting , for the multiindex , we have , where[6]
Acknowledgements
We would like to thank the referee for his/her careful reading to help us to improve the clarity in the exposition of the results.
This work has been realized thanks to the Catalan AGAUR 2017SGR1617 and 2017SGR1276 grants, the Spanish Ministerio de Ciencia, Innovación y Universidades - Agencia estatal de investigación MTM2017-84383-P (FEDER) and PID2019-104658GB-I00 (FEDER) grants, the European Community Marie Skłodowska-Curie H2020-MSCA-RISE-2017-777911 grant and the Brazilian CNPq 200484/2015-0
References (26)
- et al.
New lower bound for the Hilbert number in piecewise quadratic differential systems
J. Differ. Equ.
(2019) Higher order limit cycle bifurcations from non-degenerate centers
Appl. Math. Comput.
(2012)Limit cycle bifurcations from a non-degenerate center
Appl. Math. Comput.
(2012)- et al.
Lower bounds for the local cyclicity of centers using high order developments and parallelization
J. Differ. Equ.
(2021) - et al.
Parallelization of the Lyapunov constants and cyclicity for centers of planar polynomial vector fields
J. Differ. Equ.
(2015) - et al.
Twelve limit cycles around a singular point in a planar cubic-degree polynomial system
Commun. Nonlinear Sci. Numer. Simul.
(2014) Loss of stability of self-oscillations close to resonance and versal deformations of equivariant vector fields
Funct. Anal. Appl.
(Apr. 1977)On the number of limit cycles which appear with the variation of coefficients from an equilibrium position of focus or center type
Am. Math. Soc. Transl.
(1954)- et al.
The number of limit cycles of certain polynomial differential equations
Proc. R. Soc. Edinb. A
(1984) - et al.
On a theorem of Zoladek
Differ. Uravn.
(2008)
Estimating limit cycle bifurcations from centers
Local and global phase portrait of equation
Discrete Contin. Dyn. Syst.
Über die abgrenzung der eigenwerte einer matrix
Izv. Akad. Nauk SSSR Otd. Fiz.-Mat.
Cited by (16)
New lower bound for the Hilbert number in low degree Kolmogorov systems
2023, Chaos, Solitons and FractalsBifurcation of limit cycles in piecewise quadratic differential systems with an invariant straight line
2022, Journal of Mathematical Analysis and ApplicationsSimultaneous integrability and non-linearizability at arbitrary double weak saddles and sole weak focus of a cubic Liénard system
2022, Chaos, Solitons and FractalsCitation Excerpt :It has been proved by Yu and Tian [48] 12 small-amplitude limit cycles can exist around a center by perturbing a cubic integrable system. The original proof has some crucial missing points in the arguments that are correct in [20]. Li et al. [36] studied the integrability and linearization of a class of quadratic quasi-analytic switching systems.
First-order perturbation for multi-parameter center families
2022, Journal of Differential EquationsHopf bifurcation in 3-dimensional polynomial vector fields
2022, Communications in Nonlinear Science and Numerical SimulationNew lower bounds of the number of critical periods in reversible centers
2021, Journal of Differential EquationsCitation Excerpt :In this section we will prove a theorem which outlines how the criticality of such a family can increase under some conditions on the isochronicity parameters. The idea behind this result is inspired by [16] but better developed in [14], a recent work about cyclicity in families of centers. First we present a technical result which shows the structure of the first order terms of the period constants for a perturbed family of isochronous centers.