Abstract
This paper is devoted to an investigation of the existence of a positive periodic solution for the following singular Liénard equation:
where the external force \(e(t)\) may change sign, α is a constant and \(\alpha >0\). The novelty of the present article is that for the first time we show that weak and strong singularities enables the achievement of a new existence criterion of positive periodic solution through an application of the Manásevich–Mawhin continuation theorem. Recent results in the literature are generalized and significantly improved, and we give the existence interval of periodic solution of this equation. At last, two examples and numerical solution (phase portraits and time portraits of periodic solutions of the example) are given to show applications of the theorem.
Similar content being viewed by others
1 Introduction
The main purpose of this paper is to consider the existence of a periodic solution for the Liénard equation with weak and strong singularities of repulsive type,
where \(a,b\in C(\mathbb{R},(0,+\infty ))\) are ω-periodic functions, \(f\in C(\mathbb{R},\mathbb{R})\), the external force \(e\in C(\mathbb{R},\mathbb{R})\) is an ω-periodic function. Moreover, note that when \(f(x(t))\equiv 0\), Eq. (1.1) becomes
In 1987, Lazer and Solimini [1] investigated the following second-order differential equation with singularity of repulsive type:
and obtained the result that if the external force \(h(t)\) was continuous and ω-periodic, then for all \(\alpha >0\) a positive periodic solution existed if and only if the external force \(h(t)\) has a positive mean value. We say the equation to obey the strong force condition if \(\alpha \geq 1\) and the weak force condition if \(0<\alpha <1\).
Lazer and Solimini’s work has attracted the attention of many scholars in singular equations. More recently, the Poincaré–Birkhoff twist theorem [2–4], Schauder’s fixed point theorem [5–8], the Leray–Schauder alternative principle [9–11], coincidence degree theory [12–15],the Krasnoselskii fixed point theorem in cones [16, 17] and Leray–Schauder degree theory [18, 19] have been employed to discuss the existence of a positive periodic solution of singular equations.
Among these papers, there have been published some results on Eq. (1.2) (see [5, 6, 8, 10, 17]). Chu et al. [10] in 2007 discussed the existence of a positive periodic solution for Eq. (1.2) if the external force \(e(t)\geq 0\) and \(\|a\|:=\max_{t\in [0,\omega ]}|a(t)|< \frac{\pi ^{2}}{\omega ^{2}}\). Their results were based on a nonlinear alternative principle of Leray–Schauder and are applicable to the case of a strong singularity and the case of a weak singularity. Afterwards, Torres [8] proved Eq. (1.2) in the cases of weak and strong singularities had at least one positive periodic solution if the external force \(e(t)>0\) and \(\|a\|<\frac{\pi ^{2}}{\omega ^{2}}\). Moreover, the author obtained the result that there was one positive periodic solution for Eq. (1.2) in the case of a weak singularity if one of the following conditions holds:
(i) \(e(t)\equiv 0\) and \(\|a\|<\frac{\pi ^{2}}{\omega ^{2}}\); or (ii) \(e(t)<0\) and \(\|a\|<\frac{\pi ^{2}}{\omega ^{2}}\).
Wang [17] in 2010 improved the above result and presented a new assumption, which is weaker than the singular condition in [8]. The author obtained the result that Eq. (1.2) in the cases that weak and strong singularities have at least one positive periodic solution if and only if one of the following conditions holds:
(i) \(e(t)\geq 0\) and \(\|a\|<\frac{\pi ^{2}}{\omega ^{2}}\); or (ii) \(e(t)<0\) and \(\|a\|<\frac{\pi ^{2}}{\omega ^{2}}\).
The proof of their results was based on the Krasnoselskii fixed point theorem in a cone.
All the aforementioned results are related to Eq. (1.2) with the external force \(e(t)\) not changing sign. Naturally, a new question arises: how may Eq. (1.1) with weak and strong singularities work on the external force \(e(t)\) changing sign? In this paper, we fill the gap and provide sufficient conditions for the existence of a positive periodic solution for Eq. (1.1) with weak and strong singularities, where the external force \(e(t)\) may change sign, α is a constant and \(\alpha >0\). By applications of the Manásevich–Mawhin continuation theorem [20, Theorem 3.1], we obtain the following conclusion.
Theorem 1.1
Assume that the following conditions are satisfied:
- \((H_{1})\):
-
\(\int ^{\omega }_{0}e(t)\,dt=0\);
- \((H_{2})\):
-
\(\|a\|<\frac{\pi ^{2}}{\omega ^{2}}\);
- \((H_{3})\):
-
$$\sigma _{*}> \biggl(\frac{\omega ^{\frac{1}{2}}}{2} \biggl( \frac{\pi ^{2}\omega ( \Vert a \Vert (\sigma ^{*})^{\frac{2}{1+\alpha }} + \Vert e \Vert (\sigma ^{*})^{\frac{1}{1+\alpha }} )}{\pi ^{2}- \Vert a \Vert \omega ^{2}} \biggr)^{\frac{1}{2}} + \frac{\pi \omega ^{2} (2 \Vert a \Vert (\sigma ^{*})^{\frac{1}{1+\alpha }}+ \Vert e \Vert )}{2(\pi ^{2}- \Vert a \Vert \omega ^{2})} \biggr)^{1+\alpha }, $$
where \(\sigma ^{*}:=\frac{b^{*}}{a_{*}}\), \(\sigma _{*}:=\frac{b_{*}}{a^{*}}\), \(b^{*}:= \max_{t\in [0,\omega ]}b(t)\), \(b_{*}:=\min_{t\in [0, \omega ]}b(t)\).
Then Eq. (1.1) has at least one positive periodic solution x with
Remark 1.1
The techniques used are quite different from that in [5, 8, 10, 17] and our results are more general than those in [5, 8, 10, 17] in two aspects. We first obtain the existence of a positive periodic solution for equation (1.1) with weak and strong singularities if the external force \(e(t)\) may change sign. Secondly, we give the existence interval of positive periodic solution of Eq. (1.1).
In the following, we consider the existence of a periodic solution for Eq. (1.1) without the external force \(e(t)\).
Corollary 1.1
Assume that \((H_{2})\)holds. Furthermore, suppose the following conditions are satisfied:
- \((H_{1}')\):
-
\(e(t)=0\);
- \((H_{3}')\):
-
\(\sigma _{*}> (\frac{\omega ^{\frac{1}{2}}}{2} ( \frac{\pi ^{2}\omega \|a\|(\sigma ^{*})^{\frac{2}{1+\alpha }} }{\pi ^{2}-\|a\|\omega ^{2}} )^{\frac{1}{2}} + \frac{\pi \omega ^{2}\|a\|(\sigma ^{*})^{\frac{1}{1+\alpha }}}{(\pi ^{2}-\|a\|\omega ^{2})} )^{1+\alpha }\).
Then Eq. (1.1) has at least one positive periodic solution x with
Obviously, the condition \((H_{3})\) (or \((H_{3}')\)) is hard restrictive for the existence of a positive periodic solution to Eq. (1.1). In the following, we study the existence of a positive periodic solution for Eq. (1.1) with strong singularity (i.e. \(\alpha \geq 1\)) if conditions \((H_{1})\) and \((H_{2})\) are satisfied.
Theorem 1.2
Assume that conditions \((H_{1})\)and \((H_{2})\)hold. Furthermore, suppose the following condition is satisfied:
- \((H_{4})\):
-
\(b(t)\equiv b\)and b is a positive constant.
Then Eq. (1.1) has at least one positive periodic solution if \(\alpha \geq 1\).
2 Proof of theorems
We first recall the Sobolev inequality recently proved in [21, P. 357] and the topological degree theorem by Mawhin [20].
Lemma 2.1
(Sobolev inequality; see [21])
Let \(u\in W^{1,p}(\mathbb{R})\)and \(u(0)=u(\omega )=0\). Then we have
where \(S(\sigma )\)is the Sobolev constant, σ is a positive constant and \(\sigma >1\), \(S(\sigma )= \frac{4 (1+\frac{\sigma }{2} )^{2}B^{2} (\frac{1}{\sigma },\frac{1}{2} )}{\sigma ^{2} (1+\frac{1}{\sigma } )}\)and \(B(\cdot ,\cdot )\)is the Beta function.
Remark 2.1
When \(\sigma =2\), we get \(S(2)=\pi ^{2}\).
Next, we investigate a family of (1.1) as follows:
Using [20, Theorem 3.1], we obtain the following conclusion.
Lemma 2.2
Assume that there exist positive constants \(E_{1}\), \(E_{2}\), \(E_{3}\)and \(E_{1}< E_{2}\)such that the following conditions hold:
-
(1)
Each possible periodic solution x to Eq. (2.2) such that \(E_{1}< x(t)< E_{2}\), \(\forall t\in [0,\omega ]\)and \(\|x'\|< E_{3}\).
-
(2)
Each possible solution C to the equation
$$ \int ^{\omega }_{0} \biggl(a(t)C-\frac{b(t)}{C^{\alpha }} \biggr)\,dt=0 $$satisfies \(C\in (E_{1},E_{2})\).
-
(3)
We have
$$ \int ^{\omega }_{0} \biggl(a(t)E_{1}- \frac{b(t)}{E_{1}^{\alpha }} \biggr)\,dt \cdot \int ^{\omega }_{0} \biggl(a(t)E_{2}- \frac{b(t)}{E_{2}^{\alpha }} \biggr)\,dt< 0. $$
Then Eq. (1.1) has at least one positive periodic solution.
We investigate the existence of a periodic solution for Eq. (1.1) with weak and strong singularities.
Proof of Theorem 1.1
Integrating Eq. (2.2) from 0 to ω, we get
In view of the mean value theorem of integrals, we know that there exists a point \(\xi \in (0,\omega )\) such that
since \(\int ^{\omega }_{0}x''(t)\,dt=0\) and \(\int ^{\omega }_{0}e(t)\,dt=0\) from condition \((H_{1})\). Furthermore, we deduce
Multiplying both sides of Eq. (2.2) by \(x(t)\) and integrating on the interval \([0,\omega ]\), we obtain
Substituting \(\int ^{\omega }_{0}x''(t)x'(t)\,dt=-\int ^{\omega }_{0}|x'(t)|^{2}\,dt\) and \(\int ^{T}_{0}f(x(t))x(t)x'(t)\,dt=0\) into Eq. (2.5), applying the Hölder inequality, we have
since \(b(t)>0\) and \(x(t)>0\). Define \(u(t):=x(t+\xi )-x(\xi )\), where ξ is as in Eq. (2.4), then \(u(0)=u(\omega )=0\). Using Eq. (2.4), Lemma 2.1 and the Minkowski inequality, we deduce
since \(u'(t)=x'(t)\) and \(S(2)=\pi ^{2}\) from Remark 2.1. Substituting Eqs. (2.7) into (2.6), we arrive at
where \(N_{1}:=\frac{\omega ^{\frac{3}{2}}}{\pi } (2\|a\|(\sigma ^{*})^{ \frac{1}{1+\alpha }}+\|e\| )\) and \(N_{2}:= (\|a\|(\sigma ^{*})^{\frac{2}{1+\alpha }}+\|e\|(\sigma ^{*})^{ \frac{1}{1+\alpha }} )\omega \). From condition \((H_{2})\), we see that
It is clear that
Furthermore, we obtain
Therefore, the above inequality implies
where the lase inequality holds because of a classical inequality, i.e.,
From Eqs. (2.4), (2.8) and the Hölder inequality, we deduce
On the other hand, from Eqs. (2.4), (2.8) and (2.9), we get
since \(\sigma _{*}> (\frac{\omega ^{\frac{1}{2}}}{2} ( \frac{\pi ^{2}\omega (\|a\|(\sigma ^{*})^{\frac{2}{1+\alpha }} +\|e\|(\sigma ^{*})^{\frac{1}{1+\alpha }} )}{\pi ^{2}-\|a\|\omega ^{2}} )^{\frac{1}{2}} + \frac{\pi \omega ^{2} (2\|a\|(\sigma ^{*})^{\frac{1}{1+\alpha }}+\|e\| )}{2(\pi ^{2}-\|a\|\omega ^{2})} )^{1+\alpha }\) from condition \((H_{3})\).
Next, we are going to obtain a uniform bound on \(x'(t)\). In fact, in view of \(x(0)=x(\omega )\), there exists a point \(t_{1}\in (0,\omega )\) such that \(x'(t_{1})=0\), from Eqs. (2.2), (2.9) and (2.10), it is easy to see that
where \(|f_{M_{1}}|:=\max_{M_{2}\leq x\leq M_{1}}|f(x)|\).
Having in mind Eqs. (2.9), (2.10) and (2.11), we define
where \(X:=\{x\in C(\mathbb{R},\mathbb{R}): x(0)\equiv x(\omega ), \forall t \in \mathbb{R}\}\), \(0< E_{1}< M_{2}\), \(E_{2}>M_{1} \) and \(E_{3}>M_{3}\). Then the conditions (i) and (ii) of Lemma 2.2 are satisfied. From Eqs. (2.4), (2.9) and (2.10), we have
Therefore, applying 2.2, we see that Eq. (1.1) has at least one positive periodic solution x with
□
Next, we address the condition on the existence of a periodic solution for Eq. (1.1) with strong singularity.
Proof of Theorem 1.2
Similar to the proof of Theorem 1.1, from (2.4) and condition \((H_{4})\), we know that there exists a point \(\zeta \in (0,\omega )\) such that
where \(\eta ^{*}:=\frac{b}{\min_{t\in [0,\omega ]}a(t)}\), \(\eta _{*}:= \frac{b}{\max_{t\in [0,\omega ]}a(t)}\). From Eq. (2.9), we get
Next, we claim that there exist two positive constants \(M_{2}^{*}\) and \(M_{3}^{*}\) such that
In fact, we first consider \(\int ^{\omega }_{0} \vert \frac{b}{x^{\alpha }(t)} \vert \,dt\) from condition \((H_{4})\). Since \(b>0\) and \(x(t)>0\), from Eqs. (2.3) and (2.9), we obtain
Afterwards, from Eqs. (2.9), (2.11) and (2.13), we have
On the other hand, multiplying both sides of Eq. (2.2) by \(x'(t)\) and integrating on \([\zeta ,t]\), where \(x(\zeta )\geq (\sigma _{*})^{\frac{1}{1+\alpha }}\) is as in Eq. (2.12), we see that
Furthermore, from Eq. (2.9) and (2.14), it is clear that
since \(b>0\). Therefore, the above inequality implies
Since \(\alpha \geq 1\), we get
From Eq. (2.16) and \(x(\zeta )\geq (\eta _{*})^{\frac{1}{1+\alpha }}\), there exists a constant \(M_{2}^{*}\in (0,(\eta _{*})^{\frac{1}{1+\alpha }} )\) such that
Thus, if there is a point \(\zeta _{1}\in [\zeta ,t]\) such that \(x(\zeta _{1})\leq M_{2}^{*}\), then
which contradicts (2.15). Therefore, we get \(x(t)>M_{2}^{*}\) for all \(t\in [\zeta ,\omega ]\). For the case \(t\in [0,\zeta ]\), we can proceed similarly.
The proof is the same as Theorem 1.1. □
Remark 2.2
It is worth mentioning that the method of Theorem 1.2 is no longer applicable to the proof of existence of a positive periodic solution for Eq. (1.1) with weak singularity (i.e. \(0<\alpha <1\)). Due to \(0<\alpha <1\), we cannot get the result that Eq. (2.16) holds, so we do not deduce that Eqs. (2.15) and (2.18) are a contradiction.
Remark 2.3
In condition \((H_{4})\), we require that \(b(t)\equiv b\). Actually, if \(b(t)\) is a continuous periodic function rather than a positive constant, the work on estimating a lower bound of a positive periodic solution for Eq. (1.1) is no longer applicable. In fact, due to \(b(t)\) being a function and \(b(t)\not \equiv \)constant, it is easy to verify that \(\vert \int ^{t}_{\zeta }\frac{b(s)x'(s)}{x^{\alpha }(s)}\,ds \vert \neq |b| \vert \int ^{x(t)}_{x(\zeta )}\frac{d\nu }{\nu ^{\alpha }}\,ds \vert \). Therefore, we cannot get Eq. (2.15).
Finally, we illustrate our results with two numerical examples.
Example 2.1
Consider the following Liénard equation with weak singularity:
It is clear that \(T=\frac{1}{4}\), \(\alpha =\frac{1}{2}\), \(f(x)=x^{3}\), \(a(t)=\frac{1}{4}\sin 8\pi t+\frac{1}{2} \), \(b(t)=\sin ^{2} 4\pi t+6\), \(e(t)=\cos 8\pi t\), \(\sigma _{*}=8\), \(\sigma ^{*}=28\), and \(\|a\|=\frac{3}{4}<16\pi ^{2}\), conditions \((H_{1})\) and \((H_{2})\) are satisfied. Next, we consider condition \((H_{3})\),
Furthermore, we get
Therefore, applying Theorem 1.1, we know that Eq. (2.19) has at least one positive \(\frac{1}{4}\)-periodic solution x with \(x\in (2.3332,10.8878)\). Moreover, using Matlab, we can find a positive periodic solution for this equation as shown in Fig. 1.
Example 2.2
Consider the following Liénard equation with strong singularity:
It is obvious that \(T=\frac{\pi }{2}\), \(a(t)=\sin ^{2}2t+\frac{1}{2}\), \(b=5\)\(\|a\|=\frac{3}{2}<4\), \(\alpha =4\), then conditions \((H_{1})\), \((H_{2})\) and \((H_{4})\) are satisfied. Hence, applying Theorem 1.2, we see that Eq. (2.20) has at least one positive \(\frac{\pi }{2}\)-periodic solution. Moreover, using Matlab, we can find a positive periodic solution for this equation as shown in in Fig. 2.
3 Conclusions
In this paper, applying an extension of the Manásevich–Mawhin continuation theorem, we investigate the existence of a periodic solution for Eq. (1.1), where the external force \(e(t)\) may change sign, the singular term \(\frac{b(t)}{x^{\alpha }}\) satisfies weak and strong singularities of repulsive type. Besides, we give the existence interval of periodic solution of Eq. (1.1). At last, two examples and numerical solutions (phase portraits and time portraits of periodic solutions of the example) are given to show applications of the theorem. The techniques used of this paper are quite different from that in [5, 8, 10, 17] and our results are more general than those in [5, 8, 10, 17] in two aspects. We first obtain the existence of a positive periodic solution for Eq. (1.1) with weak and strong singularities if the external force \(e(t)\) may change sign. Secondly, we give the existence interval of positive periodic solution of Eq. (1.1).
References
Lazer, A., Solimini, S.: On periodic solutions of nonlinear differential equations with singularities. Proc. Am. Math. Soc. 99, 109–114 (1987)
Cheng, Z., Yuan, Q.: Damped superlinear Duffing equation with strong singularity of repulsive type. J. Fixed Point Theory Appl. 22, 37 (2020)
Fonda, A., Manasevich, R., Zanolin, F.: Subharmonics solutions for some second order differential equations with singularities. SIAM J. Math. Anal. 24, 1294–1311 (1993)
Sun, X., Yu, P.: Exact bound on the number of zeros of Abelian integrals for two hyper-elliptic Hamiltonian systems of degree. J. Differ. Equ. 267, 7369–7384 (2019)
Cheng, Z., Ren, J.: Periodic solution for second order damped differential equations with attractive-repulsive singularities. Rocky Mt. J. Math. 48, 753–768 (2018)
Chu, J., Torres, P.: Applications of Schauder’s fixed point theorem to singular differential equations. Bull. Lond. Math. Soc. 39, 653–660 (2007)
Liu, J., Cheng, Z., Wang, Y.: Positive periodic solution for second-order nonlinear differential equation with singularity of attractive type. J. Appl. Anal. Comput. 10, 1636–1650 (2020)
Torres, P.: Weak singularities may help periodic solutions to exist. J. Differ. Equ. 232, 277–284 (2007)
Cheng, Z., Li, F.: Weak and strong singularities for second-order nonlinear differential equations with a linear difference operator. J. Fixed Point Theory Appl. 21, 48 (2019)
Chu, J., Torres, P., Zhang, M.: Periodic solution of second order non-autonomous singular dynamical systems. J. Differ. Equ. 239, 196–212 (2007)
Sun, X., Yu, P.: Periodic traveling waves in a generalized BBM equation with weak backward diffusion and dissipation terms. Discrete Contin. Dyn. Syst., Ser. B 24, 965–987 (2019)
Wang, Z.: Periodic solutions of Liénard equation with a singularity and a deviating argument. Nonlinear Anal., Real World Appl. 16, 227–234 (2014)
Xin, Y., Liu, H.: Singularities of attractive and repulsive type for p-Laplacian generalized Liénard equation. Adv. Differ. Equ. 2018, 471 (2018)
Xin, Y., Hu, G.: Periodic solution for prescribed mean curvature Rayleigh equation with a singularity. Adv. Differ. Equ. 2020, 269 (2020)
Zhang, M.: Periodic solutions of Liènard equation singular forces of repulsive type. J. Math. Anal. Appl. 203, 254–269 (1996)
Cheng, Z., Li, F.: Positive periodic solutions for a kind of second-order neutral differential equations with variable coefficient and delay. Mediterr. J. Math. 15, 134 (2018)
Wang, H.: Positive periodic solutions of singular systems with a parameter. J. Differ. Equ. 249, 2986–3002 (2010)
Hakl, R., Zamora, M.: Existence and uniqueness of a periodic solution to an indefinite attractive singular equation. Ann. Mat. Pura Appl. 195, 995–1009 (2016)
Hakl, R., Zamora, M.: Periodic solutions to second-order indefinite singular equations. J. Differ. Equ. 263, 451–469 (2017)
Mawhin, J.: Topological degree and boundary value problems for nonlinear differential equations. Topol. Methods Ordinary Differ. Equ. 1537, 74–142 (1993)
Talenti, G.: Best constant in Sobolev inequality. Ann. Mat. Pura Appl. 110, 353–372 (1976)
Acknowledgements
YX and GXH are grateful to anonymous referees for their constructive comments and suggestions, which have greatly improved this paper.
Availability of data and materials
Not applicable.
Funding
This work was supported by Education Department of Henan Province project (No. 16B110006), Fundamental Research Funds for the Universities of Henan Province (NSFRF170302).
Author information
Authors and Affiliations
Contributions
YX and GXH contributed equally and significantly in writing this article. Both authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
YX and GXH contributed to each part of this study equally and declare that they have no competing interests.
Competing interests
YX and GXH declare that they have no competing interests.
Consent for publication
YX and GXH read and approved the final version of the manuscript.
Additional information
Abbreviations
Not applicable.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Xin, Y., Hu, G. Weak and strong singularities problems to Liénard equation. Bound Value Probl 2020, 143 (2020). https://doi.org/10.1186/s13661-020-01441-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-020-01441-1