Abstract
This paper is devoted to investigating the following p-Laplacian neutral damped Duffing equation with singularity:
where g has a singularity at \(u=0\). Applying the Manásevich–Mawhin theorem on a continuous case of topological degree, we obtain the existence of a positive periodic solution for this equation.
Similar content being viewed by others
1 Introduction
In recent years, there has been a fairly great amount of work on periodic solutions for Duffing equations with a singularity (see [1,2,3,4,5, 7,8,9,10,11] and the references cited therein), in account of its applications in applied sciences. For example, the Brillouin electron beam focusing problem [2, 8] is to prove the existence of a positive π-periodic solutions of
where a is a positive constant.
In 2012, Cheng and Ren [1] discussed the existence and multiplicity of positive periodic solutions for the following Duffing equation:
where the nonlinear term g has a strong singularity of repulsive type at \(u=0\) and satisfies super-linearity condition at \(u=+\infty \). It is concluded that there exist infinitely many positive periodic solutions for Eq. (1.1) by applications of the generalized Poincaré–Birkhoff twist theorem. Afterwards, Wang and Ma [11] investigated Eq. (1.1) with g has a strong singularity of repulsive type at \(u = 0\) and a semi-linearity condition at \(x =+\infty \), using the Poincaré–Birkhoff theorem, the authors proved the existence of infinitely many 2π-periodic solutions.
Proceeding from [1, 2, 8, 11], in this paper, we further consider the following p-Laplacian neutral Duffing equation with singularity:
where \(p\geq 2\), \(\varphi _{p}(u)=|u|^{p-2}u\) for \(u\neq 0\) and \(\varphi _{p}(0)=0\), c is a constant and \(|c|\neq 1\), P, τ are constants and \(0\leq \tau < T\); \(e\in L^{2}(\mathbb{R})\) is a T-periodic function; \(g:(0,+\infty )\to \mathbb{R}\) is a \(L^{2}\)-Carathéodory function, the nonlinear term g of (1.2) has a singularity at \(u=0\), i.e., we have a strong singularity of repulsive type (\(g_{1}\)):
or a strong singularity of attractive type (\(g_{2}\)):
Applying topological degree theory [6], we obtain the following conclusions.
Theorem 1.1
Assume that conditions \(|c|<1\) and (\(g_{1}\)) hold. Suppose the following conditions hold:
- (\(\mathrm{H}_{1}\)):
-
There exist two positive constants \(d_{1}\), \(d_{2}\) with \(d_{1}< d_{2}\) such that \(g(u)-e(t)<0\) for \((t,u)\in [0,T]\times (0,d _{1})\) and \(g(u)-e(t)>0\) for \((t,u)\in [0,T]\times (d_{2},+\infty )\).
Then Eq. (1.2) has at least one positive T-periodic solution.
Theorem 1.2
Assume that the conditions \(|c|>1\), (\(g_{1}\)) and (\(\mathrm{H}_{1}\)) hold. Suppose the following condition holds:
- (\(\mathrm{H}_{2}\)):
-
There exist two positive constants α, β such that
$$ g(u)\leq \alpha u^{p-1}+\beta , \quad \textit{for all } u>0. $$
Then Eq. (1.2) has at least one positive T-periodic solution if \(\alpha ^{\frac{1}{p}}(1+2|c|)^{\frac{1}{p}}T<|c|-1\).
Remark 1.3
It is worth mentioning that the condition of the nonlinear term g is relatively weak in the case that \(|c|<1\), i.e., the nonlinear term g may satisfy the sub-linearity, semi-linearity or super-linearity conditions at \(x=\infty \). The nonlinear term g in the case that \(|c|>1\) only satisfies the semi-linearity condition at \(u=\infty \). Obviously, our result can be more general.
Remark 1.4
The condition (\(g_{2}\)) contradicts the condition (\(g_{1}\)). Therefore, the above methods of [1, 11] and condition of Theorems 1.1–1.2 are no long applicable to prove the existence of a positive periodic solutions for Eq. (1.2) with strong singularity of attractive type. We need to give another method and conditions to get over this problem.
Theorem 1.5
Assume that conditions \(|c|<1\) and (\(g_{2}\)) hold. Furthermore, suppose the following condition holds:
- (\(\mathrm{H}_{3}\)):
-
There exist two positive constants \(d_{3}\), \(d_{4}\) with \(d_{3}< d_{4}\) such that \(g(u)-e(t)>0\) for \((t,u)\in [0,T]\times (0,d _{3})\) and \(g(u)-e(t)<0\) for \((t,u)\in [0,T]\times (d_{4},+\infty )\).
Then Eq. (1.2) has at least one positive T-periodic solution.
Theorem 1.6
Assume that conditions \(|c|>1\), (\(g_{2}\)) and (\(\mathrm{H}_{3}\)) hold. Suppose the following condition holds:
- (\(\mathrm{H}_{4}\)):
-
There exist two positive constants m, n such that
$$ -g(u)\leq m u^{p-1}+n, \quad \textit{for all } u>0. $$
Then Eq. (1.2) has at least one positive T-periodic solution if \(m^{\frac{1}{p}}(1+2|c|)^{\frac{1}{p}}T<|c|-1\).
2 Periodic solution for Eq. (1.2) with strong singularity of repulsive type
Firstly, let \(A: C_{T}\rightarrow C_{T}\) be the operator on \(C_{T}:=\{u\in C(\mathbb{R}, \mathbb{R}): u(t+T)\equiv u(t)\ \forall t\in \mathbb{R}\}\) given by
Lemma 2.1
(see [12])
The operator A has a continuous inverse \(A^{-1}\) on \(C_{T}\), satisfying
-
(1)
\(\vert [A^{-1}f ](t) \vert \leq \frac{\|f\|}{|1-|c||}\), \(\forall f\in C_{T}\), where \(\|f\|:= \max_{t\in \mathbb{R}}|f(t)| \).
-
(2)
\(\int ^{T}_{0} \vert [A^{-1}f ](t) \vert \,dt \leq \frac{1}{|1-|c||}\int ^{T}_{0}|f(t)|\,dt\), \(\forall f\in C_{T}\).
Secondly, we embed Eq. (1.2) into the following equation family with a parameter \(\lambda \in (0,1]\):
The following lemma is a consequence of Theorem 3.1 of [6].
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 u to Eq. (2.1) such that \(E_{1}< u(t)< E_{2}\), for all \(t\in [0,T]\) and \(\|u'\|< E_{3}\).
-
(2)
Each possible solution C to the equation
$$ g(C)-\frac{1}{T} \int ^{T}_{0} e(t)\,dt=0 $$satisfies \(C\in (E_{1},E_{2})\).
-
(3)
We have
$$ \biggl(g(E_{1})-\frac{1}{T} \int ^{T}_{0} e(t)\,dt \biggr) \biggl(g(E_{2})- \frac{1}{T} \int ^{T}_{0} e(t)\,dt \biggr)< 0. $$
Then Eq. (1.2) has at least one T-periodic solution.
2.1 Proof of Theorem 1.1
Proof of Theorem 1.1
Firstly, integrating both sides of Eq. (2.1) over \([0,T]\), we get
In view of the mean value theorem of integrals, there exists a point \(\xi \in (0,T)\) such that
From condition (\(\mathrm{H}_{1}\)) and \(u(t)\) being continuous, we have
Multiplying both sides of Eq. (2.1) by \((Au)'(t)\) and integrating from 0 to T, we deduce
Moreover,
and
since \((Au)'(t)=(Au')(t)\) and \(du(t)=\frac{du(t-\tau )}{d(t-\tau )}\,dt=du(t- \tau )\).
Substituting Eqs. (2.5) and (2.6) into (2.4), we obtain
From Eq. (2.7), we arrive at
From the Hölder inequality and \(\int ^{T}_{0}|u'(t-\tau )|^{2}\,dt= \int ^{T}_{0}|u'(t)|^{2}\,dt\), we see that
where \(\|e\|_{2}:= (\int ^{T}_{0}|e(t)|^{2}\,dt )^{ \frac{1}{2}}\). Obviously, \(|P|-|P||c|>0\), since \(|c|<1\). Hence, we deduce
From Eqs. (2.3), (2.8) and the Hölder inequality, we see that
On the other hand, from Eq. (2.2), it is clear that
Case (I). If \(\overline{e}:=\frac{1}{T}\int ^{T}_{0}e(t)\,dt\leq 0\), from Eq. (2.10), we have
where \(g^{+}(u):=\max \{g(u),0\}\). Since \(g^{+}(u(t))-e(t)\geq 0\), from condition (\(\mathrm{H}_{1}\)), we know \(u(t)\geq d_{2}\). Then we deduce
where \(\|g^{+}_{M_{1}}\|:=\max_{d_{2}\leq u\leq M_{1}}g^{+}(u)\). As \((Au)(0)=(Au)(T)\), there exists a point \(t_{1}\in [0,T]\) such that \((Au)'(t_{1})=0\), from Eqs. (2.2), (2.8) and (2.11), we have
We claim that there exists a positive constant \(M_{2}^{**}>M_{2}'+1\) such that, for all \(t\in \mathbb{R,}\)
In fact, if \(x'\) is not bounded, there exists a positive constant \(M_{2}''\) such that \(\|u'\|>M_{2}''\) for some \(u'\in \mathbb{R}\). Therefor, it is clear that
Then we have a contradiction. So, Eq. (2.13) holds. By Lemma 2.1 and Eq. (2.13), we get
since \(|c|<1\).
Case (II). If \(\overline{e}>0\), from Eq. (2.10), we obtain
Since \(g^{+}(u(t))\geq 0\), from condition (\(\mathrm{H}_{1}\)), we know that there exists a positive constant \(d_{2}^{*}\) such that \(u(t)\geq d_{2}^{*}\). Therefore, we see that
where \(\|g^{+}_{M}\|:=\max_{d_{2}^{*}\leq u\leq M_{1}}g^{+}(x)\). Similarly, we deduce \(\|u'\|\leq M_{2}\).
Multiplying both sides of Eq. (2.1) by \(u'(t)\) and integrating on the interval \([\xi ,t]\), where \(\xi \in [0,T]\) is defined in Eq. (2.3), we get
Furthermore, from Eqs. (2.12), (2.8) and (2.14), we get
From the repulsive condition (\(g_{1}\)), we know that there exists a constant \(M_{3}>0\) such that
Similarly, we can discuss \(t\in [0,\xi ]\).
From Eqs. (2.3), (2.9), (2.14) and (2.16), it is obvious that a periodic solution u to Eq. (2.1) satisfies
Then the condition (1) of Lemma 2.2 is satisfied. For a possible solution C to the equation
we have \(C\in (E_{1},E_{2})\). Hence, the condition (2) of Lemma 2.2 holds. Finally, it is clear that the condition (3) of Lemma 2.2 is also satisfied. In fact, from condition (\(\mathrm{H}_{1}\)), we can get
and
Using Lemma 2.2, it is concluded that Eq. (1.2) has at least one positive periodic solution. □
2.2 Proof of Theorem 1.2
Proof of Theorem 1.2
The same strategy and notation are followed as in the proof of Theorem 1.1. Then we see that
Multiplying both sides of Eq. (2.1) by \((Au)(t)\) and integrating on the interval \([0,T]\), it is clear that
Substituting \(\int ^{T}_{0}(\phi _{p}(Au)'(t))'(Au)(t)\,dt=-\int ^{T}_{0}|(Au)'(t)|^{p}\,dt\) and \(P\int ^{T}_{0}u'(t)u(t)\,dt=0\) into Eq. (2.18), we have
Furthermore, we deduce
From condition (\(\mathrm{H}_{2}\)) and \(u(t)>0\), we see that
Substituting Eqs. (2.20) and (2.21) into (2.19), applying the Hölder inequality, we obtain
From Eq. (2.10) and condition (\(\mathrm{H}_{2}\)), we get
Substituting Eqs. (2.17) and (2.23) into (2.22), we see that
where \(N_{1}:=(1+2|c|)(\beta T+T^{\frac{1}{2}}\|e\|_{2})\). Applying Lemma 2.1, we have
since \(\frac{1}{p}+\frac{1}{q}=1\) and \(|c|>1\). We apply the inequality
Substituting Eqs. (2.24) into (2.25), we have
Since \(\alpha ^{\frac{1}{p}}(1+2|c|)^{\frac{1}{p}}T<|c|-1\), we know that there exists a positive constant \(M_{1}'\) such that
From Eqs. (2.17) and (2.26), we have
The proof is left for the reader, being the same as that of Theorem 1.1. □
3 Periodic solution for Eq. (1.2) with strong singularity of attractive type
3.1 Proof of Theorem 1.5
Proof of Theorem 1.5
We follow the same strategy and notation as in the proof of Theorem 1.1. We can get
From Eq. (2.10), we have
where \(g^{-}:=\min \{g(u),0\}\).
Case (I). If \(\overline{e}\geq 0\), from Eq. (3.1), we obtain
Since \(g^{-}(u(t))-e(t)\leq 0\), from condition (\(\mathrm{H}_{3}\)), we know that \(u(t)\geq d_{4}\). Then we deduce
where \(\|g^{-}_{M_{1}}\|:=\max_{d_{4}\leq u\leq M_{1}}(-g^{-}(u))\). From Eqs. (2.12) and (3.2), we see that
Case (II). If \(\overline{e}<0\), from Eq. (3.1), we arrive at
Since \(g^{-}(u(t))\leq 0\), from condition (\(\mathrm{H}_{3}\)), we know that there exists a positive constant \(d_{4}^{*}\) such that \(u(t)\geq d_{4}^{*}\). Therefore, we have
where \(\|g^{-}_{M}\|:=\max_{d_{4}^{*}\leq u\leq M_{1}}(-g^{-}(u))\). Similarly, we can get \(|\phi _{p}((Au)'(t))|\leq M_{2}'\).
The proof left for the reader, being the same as that of Theorem 1.1. □
3.2 Proof of Theorem 1.6
Proof of Theorem 1.6
The same strategy and notation are followed as in the proof of Theorem 1.2. We only consider \(\int ^{T}_{0}|g(u(t))|\,dt\). From Eqs. (2.23), (3.1) and condition (\(\mathrm{H}_{4}\)), we deduce
From Eqs. (2.24) and (3.1), we obtain
The proof left for the reader, being the same as that of Theorem 1.1. □
4 Examples
Example 4.1
Consider the following neutral Duffing equation with strong singularity of repulsive type:
where τ is a positive constant and \(0<\tau <T\), P and μ are constants and \(\mu \geq 1\), n is an integer.
Comparing Eqs. (4.1) to (1.2), we know that \(g(u)=\sum_{i=1}^{n}u^{2i}(t)-\frac{1}{u^{\mu }}\), \(T=2\pi \), \(c= \frac{1}{2}<1\). Obviously, there exist constants \(d_{1}=0.1\) and \(d_{2}=1\) such that condition (\(\mathrm{H}_{1}\)) holds. In fact, \(\lim_{u\to 0^{+}}\int ^{u}_{1}g(s)\,ds=\lim_{u\to 0^{+}}\int ^{u}_{1} (\sum_{i=1}^{n}u^{2i}(t)-\frac{1}{u^{\mu }} )\,ds=+ \infty \), thus, the condition (\(\mathrm{H}_{2}\)) holds. Therefore, applying Theorem 1.1, we know that Eq. (4.1) has at least one positive 2π-periodic solution.
Example 4.2
Consider the following neutral Duffing equation with strong singularity of attractive type:
where \(p=4\), τ is a constant and \(0\leq \tau < T\).
It is clear that \(T=\pi \), \(P=8\), \(c=40>1\), \(g(u)=16u^{3}-\frac{1}{u}\), \(e(t)=e^{\sin 2t}\). Obviously, it is easy to see that there exist constants \(d_{3}=\frac{1}{4}\) and \(d_{4}=\frac{3}{5}\) such that condition (\(\mathrm{H}_{3}\)) holds. \(\lim_{u\to 0^{+}}\int ^{u}_{1}g(s)\,ds= \lim_{u\to 0^{+}}\int ^{u}_{1}(-16s^{3}+\frac{1}{s})\,ds=-\infty \), thus, the condition (\(\mathrm{g}_{2}\)) holds. Consider \(-g(u)\leq 16u^{3}+1\), where \(m=16\), \(n=1\). So, condition (\(\mathrm{H}_{4}\)) is satisfied. Next, it is verified that
Therefore, using Theorem 1.6, it is concluded that Eq. (4.2) has at least one positive π-periodic solution.
5 Conclusion
In this paper, using the Manásevich–Mawhin theorem on the continuous case of topological degree, we discuss the existence of a positive periodic solution for the p-Laplacian neutral Duffing equation (1.2). The nonlinear term g satisfies the strong singularity of attractive and repulsive type at \(u=0\) and may obey the sub-linearity, semi-linearity or super-linearity conditions at \(u=\infty \). First, we obtain the existence of a positive periodic solution for Eq. (1.2) with a strong singularity of repulsive type. Afterwards, we prove the existence of a positive periodic solution for Eq. (1.2) with a strong singularity of attractive type. Our results improve and extend the results in [1, 2, 8, 11].
References
Cheng, Z., Ren, J.: Periodic and subharmonic solutions for Duffing equation with a singularity. Discrete Contin. Dyn. Syst., Ser. A 32(5), 1557–1574 (2013)
Cheng, Z., Yao, S.: New results for Brillouin electron beam focusing system. Bound. Value Probl. 2017, 70 (2017)
Chu, J., Wang, F.: Prevalence of stable periodic solutions for Duffing equations. J. Differ. Equ. 260(11), 7800–7820 (2016)
Ding, T., Zanolin, F.: Periodic solutions of Duffing’s equations with superquadratic potential. J. Differ. Equ. 97(2), 328–378 (1992)
Fonda, A., Manásevich, R., Zanolin, F.: Subharmonic solutions for some second-order differential equations with singularities. Proc. R. Soc. Edinb. 120(3–4), 231–243 (1992)
Lu, S.: Periodic solutions to a second order p-Laplacian neutral functional differential system. Nonlinear Anal. TMA 69(11), 4215–4229 (2008)
Mishra, L., Agarwal, R., Sen, M.: Solvability and asymptotic behavior for some nonlinear quadratic integral equation involving Erdelyi–Kober fractional integrals on the unbounded interval. Prog. Fract. Differ. Appl. 2(3), 153–168 (2016)
Ren, J., Cheng, Z., Siegmund, S.: Positive periodic solution for Brillouin electron beam focusing system. Discrete Contin. Dyn. Syst., Ser. B 16(1), 385–392 (2011)
Torres, P.: Weak singularities may help periodic solutions to exist. J. Differ. Equ. 232(1), 277–284 (2007)
Wang, H.: Positive periodic solutions of singular systems with a parameter. J. Differ. Equ. 249(12), 2986–3002 (2010)
Wang, Z., Ma, T.: Existence and multiplicity of periodic solutions of semilinear resonant Duffing equations with singularities. Nonlinearity 25(2), 279–307 (2012)
Zhang, M.: Periodic solutions of linear and quasilinear neutral functional differential equations. J. Math. Anal. Appl. 189(3), 378–392 (1995)
Acknowledgements
SWY and XZZ 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 National Natural Science Foundation of China (Nos. 71601072, 11501170).
Author information
Authors and Affiliations
Contributions
SWY and XZZ 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
SWY and XZZ contributed to each part of this study equally and declare that they have no competing interests.
Competing interests
SWY and XZZ declare that they have no competing interests.
Consent for publication
SWY and XZZ read and approved the final version of the manuscript.
Additional information
Abbreviations
Not applicable.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
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.
About this article
Cite this article
Yao, S., Zhang, X. Positive periodic solution for p-Laplacian neutral damped Duffing equation with strong singularities of attractive and repulsive type. J Inequal Appl 2019, 102 (2019). https://doi.org/10.1186/s13660-019-2057-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-019-2057-z