Abstract
In this paper, the existence of positive periodic solutions is studied for super-linear neutral Liénard equation with a singularity of attractive type
where \(f:(0,+\infty)\rightarrow R\), \(\varphi(t)>0\) and \(\alpha(t)>0\) are continuous functions with T-periodicity in the t variable, c, γ are constants with \(|c|<1\), \(\gamma\geq1\). Many authors obtained the existence of periodic solutions under the condition \(0<\mu\leq1\), and we extend the result to \(\mu>1\) by using Mawhin’s continuation theorem as well as the techniques of a priori estimates. At last, an example is given to show applications of the theorem.
Similar content being viewed by others
1 Introduction
The second order differential equations with singularities have a wide range of applications in many subjects, such as physics, engineering, mechanics, and so on (see [1–5]). After the pioneering paper [6] came out, many scholars put their attention to the periodic problems of second order singular differential equations without friction term (see [7–13] and the references therein). Beginning with the paper of Habets–Sanchez in [14], the interest in the problem of periodic solution for second order singular differential equations with friction term has increased [15–21]. Hakl, Torres, and Zamora considered the periodic problem for the singular equation of attractive type
where \(\mu\in(0,1]\) is a constant, φ is a T-periodic function with \(\varphi\in L^{1}([0,T], R)\), \(f\in C((0,+\infty),R)\). By using Schauder’s fixed point theorem, as well as upper and lower functions method, they obtained the following result (Theorem 3.16, [22]).
Theorem 1.1
Let \(\mu=1\) and \(g_{1}>0\). If \(\int_{0}^{T}\varphi(s)\,ds>0\) and
where \(\varphi_{+}(t)=\max\{\varphi(t),0\}\) and \(\varphi_{-}(t)=\min\{\varphi(t),0\}\), then there exists at least one positive periodic solution to Eq. (1.1). However, the study of periodic solutions for delay functional differential equation with a singularity is relatively infrequent [23–25]. For example, Wang in [23] studied the problem of periodic solutions for the singular delay Liénard equation of repulsive type
and the periodic problem for neutral Liénard equation of repulsive type
has been investigated in [24] and [25], where \(\varphi(t)\) and \(e(t)\) are T-periodic with \(\varphi, e\in L^{1}[0,T]\), γ and μ are positive constants. We notice that the degree associated with the term \(\varphi(t)x^{\mu}\) is required \(\mu\in(0,1)\).
Motivated by these, in this paper, we continue to study the periodic problem for neutral Liénard equation with a singularity of attractive type
where f, φ are the same as the ones of Eq. (1.4). e is a T-periodic function with \(e\in L^{1}([0,T],R)\) and \(\int_{0}^{T}e(s)\,ds=0\). By means of a continuation theorem of the coincidence degree principle developed by Manásevich and Mawhin, as well as the techniques of a priori estimates, some new results on the existence of positive periodic solutions are obtained. The interesting point in this paper is that the constant μ is allowed \(\mu\in(0,2]\). It is easy to see that if \(\mu\in(1,2]\), the restoring force term \(\varphi(t)x^{\mu}\) is super-linear with respect to x.
The rest of this paper is organized as follows. In Sect. 2, we state some necessary definitions and lemmas. In Sect. 3, we prove the main result. At last, we give an example of an application in Sect. 4.
2 Essential definitions and lemmas
In this section, we define \(X=C^{1}_{T}=\{x\in C^{1}(R,R) :x(t+T)=x(t),\forall t\in[0,T]\}\) with the norm \(\|x\|_{C^{1}_{T}} = \max\{\|x\|_{\infty},\|x'\|_{\infty}\}\) and \(Y=C_{T}=\{x\in C(R,R) :x(t+T)=x(t),\forall t\in[0,T]\}\) with the norm \(\|x\|_{\infty} = \max_{t\in[0,T]}|x(t)|\). For \(y\in C_{T}\), \(y_{m}\) is denoted by \(\min_{t\in[0,T]}y(t)\). Clearly, \(C_{T}\) and \(C^{1}_{T}\) are Banach spaces. Denote the operator L as follows:
where \(A:C_{T}\rightarrow C_{T}\), \((Ax)(t)= x(t)-cx(t-\sigma)\), and \(D(L)=\{x\in C^{1}_{T}: Ax\in C^{2}(R,R)\}\), and
where \(\triangle=\{x\in C^{1}_{T}: x(t)>0,\forall t\in[0,T]\}\). Then Eq. (1.5) (or Eq. (2.1)) can be rewritten as \(Lx=Nx\).
Lemma 2.1
([27])
If \(|c|< 1\), then A has continuous inverse on \(C_{T}\) and
(1) \(\|A^{-1}x\|_{\infty} \leq\frac{\|x\|_{\infty}}{|1-|c||}\) for all \(x\in C_{T}\);
(2) \(\int^{T}_{0} |(A^{-1}f)(t)|\,dt \leq\frac{1}{|1-|c||}\int^{T}_{0}|f(t)|\,dt\) for all \(f\in C_{T}\);
(3) \(\int^{T}_{0} |(A^{-1}f)|^{2}(t)|\,dt \leq\frac{1}{(1-|c|)^{2}}\int ^{T}_{0}f^{2}(t)\,dt\) for all \(f\in C_{T}\).
Lemma 2.2
([23])
Let \(x(t)\) be a continuously differentiable T-periodic function. Then there is a point \(\xi\in[0,T]\)
Lemma 2.3
([22])
Let \(u(t):[0,\omega]\rightarrow R\) be an arbitrary absolutely continuous function with \(u(0)=u(\omega)\). Then the inequality
holds.
Lemma 2.4
([26])
Let X and Y be two real Banach spaces, let Ω be an open and bounded set of X, and let L: \(D(L)\subset X \rightarrow Y\) be a Fredholm operator of index zero, and the operator \(N: \overline{\Omega}\subset X \rightarrow Y\) is said to be L-compact in Ω̅. In addition, if the following conditions hold:
(1) \(Lx\neq\lambda Nx\) for all \((x,\lambda)\in\partial\Omega\times(0,1)\);
(2) \(QNx\neq0\) for all \(x \in\ker L \bigcap\partial\Omega\);
(3) \(\deg\{JQN, \Omega\bigcap\ker L, 0\}\), where \(J: \operatorname{Im}Q \rightarrow\ker L\) is a homeomorphism.
Then \(Lx=Nx\) has at least one solution in \(D(L)\bigcap\overline{\Omega}\).
Remark 2.5
If \(\overline{\varphi}>0\), \(\overline{e}=0\), then there are constants \(C_{1}\) and \(C_{2}\) with \(0< C_{1}< C_{2}\) such that
and
Now, we list the following assumptions, which will be used in Sect. 3 for investigating the existence of positive T-periodic solution to Eq. (2.1):
(H1) \(1-|c|> 0\),
(H2) \(1-\frac{\sqrt{TN_{2}}}{2}> 0\), where \(N_{2}= \frac{T\overline{\varphi}(\frac{1}{|\varphi|_{\infty}})^{\frac {1}{\mu+\gamma}}}{1-|c|}\).
3 Main results
Now, we embed Eq. (1.3) into the following equations family with a parameter \(\lambda\in(0,1]\):
Let
Theorem 3.1
Assume \(\overline{\varphi}>0\), \(\alpha(t)>0\), and \(\overline{e}=0\), then there are two constants \(\tau_{0}, \tau_{1} \in[0,T]\) for each \(u\in D\) such that
and
Proof
Let \(u \in D\), then
Integrating both sides of Eq. (3.5) over the interval \([0,T]\), we obtain that
If \(u(t)> 1\), combine with the mean value theorem of integrals and \(\varphi(t)>0\), then
which yields
So there exists a point \(\tau_{0}\in[0,T]\) such that
On the other hand, when \(\varphi(t)>0\) for every \(\mu\in D\), there always exists a point \(\tau_{1}\in[0,T]\) such that
□
Theorem 3.2
Suppose that assumptions of [\(\mathrm{H}_{1}\)] and [\(\mathrm{H}_{2}\)] hold, and \(\overline{\varphi}>0\), \(\overline{e}=0\), then Eq. (2.1) has at least one positive T-periodic solution.
Proof
Suppose \(u\in D\), then Eq. (3.5) holds. By multiplying both sides of Eq. (3.5) by \(u(t)\) and integrating it over the interval \([0,T]\), we get
Since
it is easy to verify that
Let \(A_{2}=(\frac{\alpha_{m}}{|\varphi|_{\infty}})^{ \frac{1}{\mu+ \gamma}}\) and \(A_{3}=(\frac{|\alpha|_{\infty}}{\varphi_{m}})^{ \frac{1}{\mu+ \gamma}}\). Set \(E_{1}=\{ t\in[0,T]: 0< u(t)< A_{2}\}\), \(E_{2}=\{ t\in[0,T]: A_{2}\leq u(t)\leq A_{3}\}\), \(E_{3}=\{ t\in[0,T]: u(t)>A_{3}\}\), and \(E_{1}\bigcup E_{2}\bigcup E_{3} = [0,T]\). We can obtain
It follows that
where \(N_{0}=T \max_{A_{2}< x< A_{3},t\in[0,T]}\{ | \frac{\alpha(t)}{x^{\gamma}}-\varphi(t)x^{\mu}|\}\). On the other hand,
Combining it with Eq. (3.9) we get that
From the condition, we see that
Let \(N_{1}= \frac{[(A_{2}+A_{3})N_{0} +\frac{A_{2}T\overline{\alpha }}{A_{3}}]}{1-|c|}\), \(N_{2}= \frac{A_{2}T\overline{\varphi}}{1-|c|}\), and \(N_{3}=\frac{T\overline{e_{-}}}{1-|c|}\), we have
By using Lemma 2.2, we obtain that
Now, we begin to estimate a priori upper bounds of \(u(t)\). In order to do this, we divide the estimation into two cases.
Case 1: \(0<\mu<2\). From Eq. (3.12), it is easy to see that there exists a constant \(M_{1}>0\) such that
Case 2: \(\mu=2\). For this case, Eq. (3.12) can be rewritten as
which together with assumption \([H_{2}]\) yields that there exists a constant \(M_{2}> 0\) such that
Thus, in either case 1 or case 2, we have
Substituting Eq. (3.13) into Eq. (3.11), we have that there exists a constant \(M_{4}>0\) such that \(\int^{T}_{0}|u'(t)|^{2}\,dt< M_{4}\). Since \(Au\in C_{T}^{1}\), there is \(t_{0}\in[0,T]\) such that \((Au)'(t_{0})=0\). From Eq. (3.5), we get
where \(|f|_{M_{3}}:=\max_{0\le x\le M_{3}}|f(x)|\). By using Lemma 2.1, we get the inequality
In what follows, we will show the estimation
where \(\gamma_{0}>0\) is a constant, D is determined in Eq. (3.2).
Let \(\tau_{1}\) be determined in Eq. (3.8). Multiplying both sides of Eq. (3.5) by \(u'(t)\) and integrating it over the interval \([t,\tau_{1}]\), we obtain that
Because of \(\int^{\tau_{1}}_{t}\frac{u'(s)\alpha(s)}{u^{\gamma(s)}}\,ds= \int^{ \tau_{1}}_{t} \frac{\alpha(s)du(s)}{u^{\gamma(s)}}= \int^{u(\tau _{1})}_{u(t)} \frac{\alpha(s)\,dv}{v^{\gamma}} \), we can get from Eq. (3.13) and Eq. (3.14) that
Furthermore, integrating Eq. (3.5) over the interval \([0,T]\),
i.e.,
it is clear that
Now, substituting Eq. (3.17) into Eq. (3.16), we have
and so
On the other hand, when \(\gamma\geq1\), we have \(\int^{A_{1}}_{0}\frac{\alpha_{m}}{v^{\gamma}}\,dv = +\infty\), then there exists \(\gamma_{0}\in(0, A_{1})\) such that
And if \(t^{*}\in[\tau_{1},\tau_{1}+T]\) such that \(u(t^{*})\leq\gamma_{0}\), from Eq. (3.19) we see that
which contradicts Eq. (3.18). This contradiction verifies Eq. (3.15). From Eq. (3.13), Eq. (3.14), and Eq. (3.15), as well as the inequality in Remark 2.5, we can verify all the conditions of Lemma 2.4. Thus, by using Lemma 2.4, we see that Eq. (3.5) has at least one positive T-periodic solution. □
4 Example
In this section, we present an example to demonstrate the main results.
Example 4.1
Consider the following equation:
Corresponding to Eq. (3.5), in (4.1), \(c =0.1\), \(\varphi(t)=a(1+\cos t)\), \(a>0\), \(e(t)=\sin t\), and \(T=2\pi\). Obviously, \(\overline{\varphi}=a\) and \(\overline{e}=0\) for all \(t \in[0,T]\) with \(|\varphi|_{\infty}= 2a\), \(A_{2}=(\frac{1}{2a})^{\frac{1}{3}} \), and \(N_{2}=\frac{(\frac{1}{2a})^{\frac{1}{3}}2\pi a}{1-0.1}= \frac{\frac{1}{\sqrt[3]{2}}2\pi a^{\frac{2}{3}}}{0.9}\). Since (4.1) satisfies (H2)
i.e.,
we get that \(a < \frac{\sqrt{2}(0.9)^{\frac{3}{2}}}{\pi^{3}}\). Thus, by using Theorem 3.1 and Theorem 3.2, when \(a < \frac{\sqrt{2}(0.9)^{\frac{3}{2}}}{\pi^{3}}\), Eq. (4.1) has at least one positive 2π-periodic solution.
Remark 4.2
From the above example, we see that the degree μ associated with the restoring force term \(\varphi(t)x^{\mu}\) is \(\mu=\frac{3}{2}\), which is different from the corresponding ones of \(\mu\in(0,1]\) in [23–25]. Furthermore, since the degree μ in (1.1) is required \(\mu\in(0,1]\), even if \(c=0\), the results of the present paper are different from Theorem 1.1.
References
Torres, P.J.: Mathematical Models with Singularities–a Zoo of Singular Creatures. Atlantis Press (2015)
Plesset, M.S.: The dynamics of cavitation bubbles. J. Appl. Mech. 16, 228–231 (1949)
Nagumo, M.: On the periodic solution of an ordinary differential equation of second order. In: Zenkokou Shijou Suudaku Danwakai, pp. 54–61. Springer, Berlin (1944) (in Japanese). English translation in Mitio Nagumo Collected papers, 1993
Lei, J., Zhang, M.: Twist property of periodic motion of an atom near a charged wire. Lett. Math. Phys. 60(1), 9–17 (2002)
Huang, J., Ruan, S., Song, J.: Bifurcations in a predator-prey system of Leslie type with generalized Holling type functional response. J. Differ. Equ. 257(6), 1721–1751 (2014)
Lazer, A., Solimlni, S.: On periodic solutions of nonlinear differential equations with singularities. Proc. Am. Math. Soc. 99, 109–114 (1987)
Torres, P.J.: Weak singularities may help periodic solutions to exist. J. Differ. Equ. 232, 277–284 (2007)
Hakl, R., Torres, P.J.: On periodic solutions of second-order differential equations with attractive-repulsive singularities. J. Differ. Equ. 248, 111–126 (2010)
Lu, S., Jia, X.: Existence and uniqueness of homoclinic solution for a Rayleigh equation with a singularity. Qual. Theory Dyn. Syst. 19, 17 (2020). https://doi.org/10.1007/s12346-020-00357-6
Lu, S., Xue, R.: Periodic solutions for a singular Liénard equation with indefinite weight. Topol. Methods Nonlinear Anal. 54(1), 203–218 (2019)
Chu, J., Torres, P.J., Zhang, M.: Periodic solutions of second order non-autonomous singular dynamical systems. J. Differ. Equ. 239, 196–212 (2007)
Cheng, Z., Ren, J.: Multiplicity results of positive solutions foe fourth-order nonlinear differential equation with singularity. Math. Methods Appl. Sci. 38, 5284–5304 (2016)
Cheng, Z., Ren, J.: Positive solutions for fourth-order singular nonlinear differential equation with variable-coefficient. Math. Methods Appl. Sci. 39, 2251–2274 (2016)
Habets, P., Sanchez, L.: Periodic solutions of some Liénard equations with singularities. Proc. Am. Math. Soc. 109, 1135–1144 (1990)
Lu, S., Guo, Y., Chen, L.: Periodic solutions for Liénard equation with an indefinite singularity. Nonlinear Anal., Real World Appl. 45, 542–556 (2019)
Cheng, Z., Cui, X., Bi, Z.: Attractive singularity problems for super-linear Liénard equation. Positivity (2019). https://doi.org/10.1007/s11117-018-0615-0
Lu, S., Yu, X.: Periodic solutions for second order differential equations with indefinite singularities. Adv. Nonlinear Anal. 9, 994–1007 (2019)
Jebelean, P., Mawhin, J.: Periodic solutions of singular nonlinear differential perturbations of the ordinary p-Laplacian. Adv. Nonlinear Stud. 2(3), 299–312 (2002)
Zhang, M.: Periodic solutions of Liénard equations with singular forces of repulsive type. J. Math. Anal. Appl. 203(1), 254–269 (1996)
Lu, S., Yu, X.: Existence of positive periodic solutions for a neutral Liénard equation with a singularity of repulsive type. J. Fixed Point Theory Appl. 21, 31 (2019). https://doi.org/10.1007/s11784-019-0669-z
Martins, R.: Existence of periodic solutions for second-order differential equations with singularities and the strong force condition. J. Math. Anal. Appl. 317, 1–13 (2006)
Hakl, R., Torres, P.J., Zamora, M.: Periodic solutions of singular second order differential equations: upper and lower functions. Nonlinear Anal. 74, 7078–7093 (2011)
Wang, Z.: Periodic solutions of Liénard equation with a singularity and a deviating argument. Nonlinear Anal., Real World Appl. 16(1), 227–234 (2014)
Kong, F., Liang, Z.: Positive periodic solutions for singular fourth-order differential equations with a deviating argument. Proc. R. Soc. Edinb., Sect. A 148, 605–617 (2018)
Kong, F., Lu, S., Liang, Z.: Existence of positive periodic solutions for neutral Liénard differential equations with a singularity. Electron. J. Differ. Equ. 2015, 242 (2015)
Gaines, R., Mawhin, J.: Coincidence Degree and Nonlinear Differential Equations. Springer, Berlin (1977)
Lu, S., Ge, W.: On the existence of periodic solutions for a kind of second order neutral functional differential equation. Appl. Math. Comput. 157, 433–448 (2004)
Acknowledgements
The author would like to thank the handling editors and the anonymous reviewers.
Availability of data and materials
Not applicable.
Authors’ information
School of Tencent Cloud Big Data, Ma’anshan University, 243100, China.
Funding
This work is supported by the Supporting Plan for Excellent Young Talents in Colleges and Universities of Anhui Province (No. gxyq2019166).
Author information
Authors and Affiliations
Contributions
The author conceived of the study, drafted the manuscript, and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that they have no competing interests.
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
Zhu, Y. Existence of positive periodic solutions for super-linear neutral Liénard equation with a singularity of attractive type. Bound Value Probl 2020, 164 (2020). https://doi.org/10.1186/s13661-020-01462-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-020-01462-w