Limit cycles for perturbing Hamiltonian system inside piecewise smooth polynomial differential system
- Kuilin Wu^{1, 2} and
- Shimin Li^{3}Email author
https://doi.org/10.1186/s13662-016-0957-5
© Wu and Li 2016
Received: 15 June 2016
Accepted: 26 August 2016
Published: 1 September 2016
Abstract
In this paper, we obtain the first-order Melnikov function of piecewise smooth polynomial perturbation of a Hamiltonian system. As application, we consider the number of limit cycles for perturbing the global center and truncated pendulum inside a piecewise smooth cubic polynomial differential system. Our results show that a piecewise smooth differential system can bifurcate more limit cycles than the smooth one.
Keywords
MSC
1 Introduction and statement of the main results
The second part of Hilbert’s 16th problem and its weak version are two open problems in the qualitative theory of real planar differential systems; see [1–4]. Since both problems are difficult, mathematicians try to study particular and simple cases. For example, Smale’s 13th problem restricts Hilbert’s 16th problem to the Liénard systems [5].
In recent years, stimulated by nonsmooth phenomena in the real world, piecewise smooth differential systems have attracted a good deal of attention; see, for instance, [6, 7]. There are several papers [8, 9] considering the limit cycles for piecewise smooth Liénard systems. The authors of [10] studied the Hopf bifurcation for a piecewise smooth planar Hamiltonian system. In the paper [11], the authors considered the Poincaré bifurcation for piecewise smooth Hamiltonian systems and obtained the first-order Melnikov function. Then, they applied the first-order Melnikov function to study the number of limit cycles that bifurcate from the period annulus of the center and obtained some new results. Later, by introducing multiple parameters, in [12], some new formulas are obtained for piecewise smooth systems. In the paper [13], the authors considered the number of limit cycles that bifurcate from the period annulus of the center for a piecewise smooth quadratic isochronous center. Generally speaking, a piecewise smooth system can bifurcate more limit cycles than a smooth one. In a recent paper [9], the authors studied the limit cycles for m-piecewise smooth Liénard system, They conjecture that the number of limit cycles decreases as m increases.
Note that the unperturbed system \(\mbox{(1)}|_{\varepsilon=0}\) is a Hamiltonian system with the first integral \(H(x,y)\), and there is a family of periodic orbits \(L_{h}=L^{+}_{h}\cup L^{-}_{h}\) surrounding the center, where \(L^{\pm}_{h}:H(x,y)=h,x>0\) (\(x<0\)), \(h\in(h_{1},h_{2})\). Without loss of generality, we suppose that \(L_{h}\) has the clockwise orientation.
In this paper, we try to study the first-order Melnikov function for piecewise smooth system (1). Applying the first-order Melnikov function, we consider the number of limit cycles that bifurcate from the period annulus of the center for unperturbed system \(\mbox{(1)}|_{\varepsilon=0}\) under piecewise smooth polynomial perturbation.
Theorem 1
Moreover, if \(M_{1}(h^{*})=0\) and \(M_{1}^{\prime}(h^{*})\neq0\) for some \(h^{*}\in(h_{1},h_{2})\), then for \(|\varepsilon|>0\) sufficiently small, system (1) has a unique limit cycle near \(L_{h^{*}}\).
Remark 2
If \(f^{+}(x,y)\equiv f^{-}(x,y)\) and \(g^{+}(x,y)\equiv g^{-}(x,y)\), then system (1) is a smooth near-Hamiltonian system, and the first-order Melnikov function is well known; see [3]. Let \(\operatorname{deg} H(x,y)=m\). There are many papers considering the number of limit cycles that bifurcate from the period annulus of the center. See, for instance, \(m=2\) (e.g. [14]), \(m=3\) (e.g. [15]), \(m=4\) (e.g. [16]), \(m=5\) (e.g. [17, 18]), \(m=6\) (e.g. [19]).
Applying the first-order Melnikov function given by (2), we consider the number of limit cycles that can bifurcate from the period annuls surrounding the origin of systems (3) and (4) under piecewise smooth cubic polynomial perturbation. Our result is the following theorem.
Theorem 3
There are at least five limit cycles that can bifurcate from the period annulus surrounding the origin of (3) (resp. (4)) by the first-order Melnikov function.
Remark 4
If \(a_{i}=c_{i},b_{i}=d_{i},i=1,2,\ldots,9\), then systems (3) and (4) become smooth near-Hamiltonian systems and have been studied in the papers [14, 20], where the authors obtained that there are at most two limit cycles that bifurcate from the period annulus of the origin for the smooth systems (3) and (4). Our result shows that planar piecewise smooth differential systems (3) and (4) can bifurcate three more limit cycles than the smooth one.
2 Proof of Theorem 1
We need the following lemma derived from [11] to prove Theorem 1.
Lemma 5
- (I)There exist an interval \(J=(\alpha,\beta)\) and two points \(A(h)=(0,\alpha(h))\) and \(A_{1}(h)=(0,\alpha_{1}(h))\), where \(\alpha(h)\neq\alpha_{1}(h)\), such that, for \(h\in J\), we have$$ \begin{aligned} &H^{+} \bigl(A(h) \bigr)=H^{+} \bigl(A_{1}(h) \bigr)=h, \\ &H^{-} \bigl(A(h) \bigr)=H^{-} \bigl(A_{1}(h) \bigr). \end{aligned} $$(7)
- (II)
The system has an orbital arc \(L^{+}_{h}\) starting from \(A(h)\) and ending at \(A_{1}(h)\) defined by \(H^{+}(x,y)=h,x>0\). The system has an orbital arc \(L^{-}_{h}\) starting from \(A_{1}(h)\) and ending at \(A(h)\) defined by \(H^{-}(x,y)=h,x\leqslant0\).
Under assumptions (I) and (II), system \(\mbox{(6)}|_{\varepsilon=0}\) has a family of periodic orbits \(L_{h} = L^{+}_{h}\cup L^{-}_{h}\) for \(h\in J\). Each of the closed curves \(L_{h}\) is piecewise smooth in general. Further, without loss of generality, suppose that \(L_{h}\) has a clockwise orientation.
Further, if \(M_{1}(h^{*})=0\) and \(M_{1}^{\prime}(h^{*})\neq0\) for some \(h^{*}\in J\), then for \(|\varepsilon|>0\) sufficiently small, system (6) has a unique limit cycle near \(L_{h^{*}}\).
Proof of Theorem 1
Replacing (12) and (13) by (10), we obtain the first-order Melnikov function (2). According to Lemma 5, every simple zero of the first-order Melnikov function (2) provides a limit cycle of system (1). This completes the proof. □
3 Proof of Theorem 3
In order to estimate the number of the zeros of the first-order Melnikov function, we need the following lemma.
Lemma 6
[21]
Consider \(p+1\) linearly independent analytical functions \(f_{i}: U \rightarrow\mathbb{R}\), \(i=0,1,\ldots,p\), where \(U \in\mathbb{R}\) is an interval. Suppose that there exists \(j \in \{0,1,\ldots,p\}\) such that \(f_{j}\) has constant sign. Then there exist \(p+1\) constants \(C_{i}, i=0,1,\ldots,p\), such that \(f(r)=\sum^{p}_{i=0}C_{i}f_{i}(r)\) has at least p simple zeros in U.
Proof of Theorem 3
Lemma 7
- (i)
\(I_{0,1}(h)=I_{1,1}(h)=I_{2,1}(h)=I_{0,3}(h)=0\);
- (ii)
\(I_{0,0}(h),I_{1,0}(h),I_{2,0}(h),I_{0,2}(h),I_{3,0}(h),I_{1,2}(h)\) are linearly independent functions.
Proof
From \(F^{\prime}(0)=-k_{1}=0\) we have \(k_{1}=0\). Substituting \(k_{1}=0\) into (21), from \(\lim_{h\rightarrow0^{+}}\frac{F(h)}{h^{\frac {3}{2}}}=-\sqrt{2}k_{2}=0\) we have \(k_{2}=0\). Substituting \(k_{1}=k_{2}=0\) into (21), from \(F^{\prime\prime}(0)=-4k_{3}=0\) we have \(k_{3}=0\). Similarly, we can obtain that \(k_{4}=k_{5}=k_{6}=0\). □
Declarations
Acknowledgements
The authors would like to thank the editor and the anonymous reviewers for their useful and valuable suggestions. This work is supported by the National Natural Science Foundation of China (Nos. 11301105, 11401111) and Science Technology fund of Foundation Guizhou Province (No. [2015]2036), Guizhou Science Foundation for Distinguished Young Scholars (201313), and Science and Technical Innovative Personnel Foundation of Guizhou Education Department (2012085).
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Authors’ Affiliations
References
- Gavrilov, L: The infinitesimal 16th Hilbert problem in the quadratic case. Invent. Math. 143, 449-497 (2001) MathSciNetView ArticleMATHGoogle Scholar
- Li, C, Li, W: Weak Hilbert’s 16th problem and the relative research. Adv. Math. 39, 513-526 (2010) Google Scholar
- Li, J: Hilbert’s 16th problem and bifurcations of planar polynomial vector fields. Int. J. Bifurc. Chaos 13, 47-106 (2003) View ArticleMATHGoogle Scholar
- Xiong, Y, Han, M, Xiao, D: New lower bounds for the Hilbert number of polynomial systems of Liénard type. J. Differ. Equ. 257, 2565-2590 (2014) View ArticleMATHGoogle Scholar
- Smale, S: Mathematical problems for the next century. Math. Intell. 20, 7-15 (1998) MathSciNetView ArticleMATHGoogle Scholar
- Banerjee, S, Verghese, G: Nonlinear Phenomena in Power Electronics: Attractors, Bifurcations, Chaos, and Nonlinear Control. Wiley-IEEE Press, New York (2001) View ArticleGoogle Scholar
- di Bernardo, M, et al.: Bifurcations in nonsmooth dynamic systems. SIAM Rev. 50, 629-701 (2008) MathSciNetView ArticleMATHGoogle Scholar
- Martins, R, Mereu, A: Limit cycles in discontinuous classical Liénard equations. Nonlinear Anal., Real World Appl. 20, 67-73 (2014) MathSciNetView ArticleMATHGoogle Scholar
- Llibre, J, Teixeira, M: Limit cycles for m-piecewise discontinuous polynomial Liénard differential equations. Z. Angew. Math. Phys. (2014). doi:10.1007/s00033-013-0393-2 MathSciNetMATHGoogle Scholar
- Yang, J, Han, M, Huang, W: On Hopf bifurcations of piecewise planar Hamiltonian systems. J. Differ. Equ. 250, 1026-1051 (2011) MathSciNetView ArticleMATHGoogle Scholar
- Liu, X, Han, M: Bifurcation of limit cycles by perturbing piecewise Hamiltonian systems. Int. J. Bifurc. Chaos 20, 1379-1390 (2010) MathSciNetView ArticleMATHGoogle Scholar
- Xiong, Y: Limit cycle bifurcations by perturbing piecewise smooth Hamiltonian systems with multiple parameters. J. Math. Anal. Appl. 421, 260-275 (2015) MathSciNetView ArticleMATHGoogle Scholar
- Llibre, J, Mereu, A: Limit cycles for discontinuous quadratic differential systems with two zones. J. Math. Anal. Appl. 413, 763-775 (2014) MathSciNetView ArticleMATHGoogle Scholar
- Giacomini, H, Llibre, J, Viano, M: On the nonexistence, existence and uniqueness of limit cycles. Nonlinearity 9, 501-516 (1996) MathSciNetView ArticleMATHGoogle Scholar
- Li, C, Llibre, J: A unified study on the cyclicity of period annulus of the reversible quadratic Hamiltonian systems. J. Dyn. Differ. Equ. 16, 271-295 (2004) MathSciNetView ArticleMATHGoogle Scholar
- Zhao, Y, Zhang, Z: Linear estimate of the number of zeros of Abelian integrals for a kind of quartic Hamiltonians. J. Differ. Equ. 155, 73-88 (1999) MathSciNetView ArticleMATHGoogle Scholar
- Gavrilov, L, Iliev, ID: Complete hyperelliptic integrals of the first kind and their non-oscillation. Trans. Am. Math. Soc. 356, 1185-1207 (2004) MathSciNetView ArticleMATHGoogle Scholar
- Wang, J, Xiao, D: On the number of limit cycles in small perturbations of a class of hyper-elliptic Hamiltonian systems with one nilpotent saddle. J. Differ. Equ. 250, 2227-2243 (2011) MathSciNetView ArticleMATHGoogle Scholar
- Xiong, Y: Bifurcation of limit cycles by perturbing a class of hyper-elliptic Hamiltonian systems of degree five. J. Math. Anal. Appl. 411, 559-573 (2014) MathSciNetView ArticleMATHGoogle Scholar
- Iliev, ID, Perko, LM: Higher order bifurcations of limit cycles. J. Differ. Equ. 154, 339-363 (1999) MathSciNetView ArticleMATHGoogle Scholar
- Coll, B, Gasull, A, Prohens, R: Bifurcation of limit cycles from two families of centers. Dyn. Contin. Discrete Impuls. Syst., Ser. A Math. Anal. 12, 275-287 (2005) MathSciNetMATHGoogle Scholar