 Research
 Open Access
 Published:
Triple solutions for a damped impulsive differential equation
Advances in Difference Equationsvolume 2019, Article number: 316 (2019)
Abstract
In this paper, we aim to obtain the existence of at least three classical solutions for nonlinear impulsive problems neither adding superlinear or local sublinear conditions to nonlinear term at zero nor adding superlinear assumptions to nonlinear term at infinity. Our approach relies on variational methods, more specifically, on a three critical points theorem.
Introduction
Recently, a great deal of work has been done in dealing with the existence of solutions for impulsive differential equations, for example, [1,2,3,4,5,6,7,8,9,10,11,12] and the references therein.
Nieto initially introduced a new approach via variational methods to obtain the existence of a weak solution to linear impulsive problems in [1] by the Lax–Milgram theorem, and also obtained at least one weak solution to nonlinear problems via Mountain Pass Theorem.
Moreover, Nieto in [2], by using the Lax–Milgram theorem studied the existence of a unique weak solution for a differential equations with impulses and with a discontinuous damped term.
In [3], by exploiting critical point theory and variational methods, we obtained the existence of one and infinity many solutions for some impulsive boundary value problems with a parameter when the nonlinear term satisfied the Ambrosetti–Rabinowitz type superlinear condition.
In [4], we considered impulsive differential equations with small nonautonomous perturbations via variational methods and a three critical points theorem. The existence of at least three classical solutions was obtained when the primitive function of nonlinearity \(f(t,u)\) satisfied some superlinear conditions at infinity.
In contrast to [3] and [4], the aim of this paper is to deal with the existence of at least three classical solutions of the following damped impulsive differential equations:
where λ is a parameter, \(T>0\), \(g\in C[0,T]\), \(f\in C([0,T] \times \mathbb{R},\mathbb{R})\) and \(I_{i }:\mathbb{R}\to \mathbb{R}\ (i=1,2, \dots, p)\) are continuous, \(0=t_{0}< t_{1}<\cdots <t_{p}<t_{p+1}=T\), \(\Delta u'(t_{i})=u'(t_{i}^{+})u'(t_{i}^{})=\lim_{t\to t_{i}^{+}}u'(t) \lim_{t\to t_{i}^{}}u'(t)\), without assuming asymptotic conditions neither at zero nor at infinity on the nonlinear term. Our main tools are variational methods and a three critical points theorem by Bonanno and Marano.
We need the following assumptions:
 \((H_{1})\) :

\(I_{i}(u)\) are nondecreasing, and \(I_{i}(u)u\geq 0\) for any \(u\in \mathbb{R}\).
 \((H_{2})\) :

There exist positive constants \(C_{0}, a, l\) with \(l < 2\), and a function \(b \in L^{1}[0,T]\) such that for all \(u>C_{0}\) and \(t\in [0,T]\)
$$ \bigl\vert F(t,u) \bigr\vert \leq b(t) \bigl(a+ \vert u \vert ^{l}\bigr), $$where \(F(t,u)= \int _{0}^{u}f(t,s)\,ds\).
It is worth pointing out that conditions \((H_{2})\) and \((H_{4})\) in Theorem 3.1 of this paper are not local conditions at zero, thus we neither add any superlinear or sublinear assumptions to the nonlinear term at zero nor add superlinear assumptions to the nonlinear term at infinity.
We would also like to mention the work of Candito, Carl and Livrea in [13,14,15], in which noncoercive differential problems involving a positive parameter λ were investigated. Authors presented novel variational approaches to obtain multiplicity, regularity, and a priori estimates of solutions by assuming certain growth conditions on the nonlinearity prescribed only near zero.
The rest of the paper is organized as follows: In Sect. 2, we give variational structure. In Sect. 3, we formulate and prove our results, and an example is presented to illustrate our results.
Variational structure
Our aim is to get the existence of at least three classical solutions for nonlinear impulsive problems by using variational methods. The main tool we used is the following three critical points theorem obtained in [16] or [17].
Theorem 2.1
Let X be a reflexive real Banach space, \(\varphi:X \to \mathbb{R}\) a sequentially weakly lower semicontinuous, coercive and continuously Gâteaux differentiable functional whose Gâteaux derivative admits a continuous inverse on \(X^{*}\), and let \(\phi:X \to \mathbb{R}\) be a sequentially weakly upper semicontinuous, continuously Gâteaux differentiable functional whose Gâteaux derivative is compact. Assume that there exist \(r \in \mathbb{R}\) and \(x_{0}, \bar{x} \in X\), with \(\varphi (x_{0})< r<\varphi (\bar{x}) \), and \(\phi (x_{0})=0\) such that

(i)
\(\sup_{\varphi (x)\leq r}\phi (x) <(r\varphi (x_{0})) \frac{ \phi (\bar{x})}{\varphi (\bar{x})\varphi (x_{0})} \),

(ii)
For each λ in \(\varLambda _{r}:=(\frac{\varphi ( \bar{x})\varphi (x_{0})}{\phi (\bar{x})}, \frac{r\varphi (x_{0})}{ \sup_{\varphi (x)\leq r}\phi (x)} )\), the functional \(\varphi \lambda \phi \) is coercive.
Then, for each \(\lambda \in \varLambda _{r}\) the functional \(\varphi  \lambda \phi \) has at least three distinct critical points in X.
Let \(\alpha =\min_{t\in [0,T]}e^{G(t)},\beta =\max_{t\in [0,T]}e^{G(t)}\), and \(G(t)= \int _{0}^{t}g(s)\,ds\).
Denote by \(H:=H_{0}^{1}(0,T)= \{ u:[0,T]\to \mathbb{R}  u\text{ is absolutely continuous}, u'\in L^{2}(0,T), u(0)=u(T)=0 \}\) the Sobolev space with the inner product and induced norm given by
It is well known that H is a reflexive Banach space [18, p. 7].
Consider the functional \(\varphi (u)\lambda \phi (u):H\rightarrow \mathbb{R}\), where
In view of the continuity of f and \(I_{i}\ (i=1,2,\dots,p)\), we obtain that φ and ϕ are Gateaux differentiable and
for any \(v\in H\). Hence, a critical point of the functional \(\varphi \lambda \phi \) gives us a weak solution of problem (1.1).
Definition 2.2
We say that \(u\in H\) is a weak solution of problem (1.1) if
holds for any \(v\in H\).
By the same calculations as in [6], we get the following lemma.
Lemma 2.3
([6])
If \(u\in H\) is a weak solution of problem (1.1), then u is a classical solution of problem (1.1), and there exists \(M > 0\) such that \(\u\_{\infty } \leq M\u\_{H}\), where \(u\in H\), \(\u\_{\infty }= \max_{t\in [0,T ]} u(t)\).
Definition 2.4
([18])
Let E be a Banach space. A functional \(\varphi:E\to \mathbb{R}\) is said to be sequentially weakly lower semicontinuous if \(\liminf_{n\rightarrow + \infty } \varphi (x_{n})\geq \varphi (x)\) as \(x_{n}\rightharpoonup x\) in E.
Lemma 2.5
Assume that \((H_{1})\) holds. Then the functional φ is sequentially weakly lower semicontinuous, coercive, and its derivative admits a continuous inverse on \(H^{*}\).
Proof
Firstly, we prove that φ is sequentially weakly lower semicontinuous.
Let \(u_{n}\rightharpoonup u \) in H, then one has \(\u\\leq \liminf_{n\to \infty }\u_{n}\\), and \(u_{n}\rightrightarrows u\) in \([0,T]\) when \(n\rightarrow \infty \), hence
Thus, by Definition 2.4, φ is sequentially weakly lower semicontinuous.
Moreover, condition \((H_{1})\) implies that \(\sum_{i=1}^{p}\int _{0} ^{u(t_{i})}I_{i}(t)\,dt\geq 0\), thus
so the functional φ is coercive.
Secondly, we prove that \(\varphi '\) admits a continuous inverse on \(H^{*}\).
For any \(u \in H\setminus {\{0\}}\), one has
thus
and so \(\varphi '\) is coercive.
In view of the assumption that \(I_{i}(u)\ (i=1,2,\dots,p)\) are nondecreasing, for any \(u,v\in H\), one has
thus we have that \(\varphi '\) is uniformly monotone. Taking account of [19, Theorem 26], we get that \((\varphi ')^{1}\) exists and is continuous on \(H^{*}\). □
Lemma 2.6
The functional ϕ is a sequentially weakly upper semicontinuous continuously Gâteaux differentiable functional and its derivative is compact.
Proof
Let \(\{u_{n}\}\in H\) satisfying \(u_{n}\rightharpoonup u \in H\), then \(u_{n}\rightrightarrows u\) in \([0,T]\) as \(n\rightarrow + \infty \). By using the Reverse Fatou Lemma, one has
Thus, ϕ is sequentially weakly upper semicontinuous. Now, we prove that \(\phi '\) is strongly continuous on H. Noting that \(f(t,u)\) is continuous on u, \(f(t,u_{n})\rightarrow f(t,u)\) as \(n\rightarrow + \infty \), and then
Thus we get that \(\phi '\) is strongly continuous on H, which implies that \(\phi '\) is compact by [19, Proposition 26.2]. In addition, \(\phi '\) is continuous taking into account that it is strongly continuous. □
Main results
Without adding any superlinear or sublinear local condition on the potential F at zero, we get the following theorems.
Theorem 3.1
Suppose that \((H_{1})\) and \((H_{2})\) hold, and there exist positive constants \(c,d\) such that
 \((H_{3})\) :

\(\frac{c^{2}}{M^{2}}< d^{2}\e^{G(t)}\_{L^{1 }}+2\sum_{i=1} ^{p}e^{G(t_{i})}\int _{0}^{d} I_{i}(t)\,dt \),
 \((H_{4})\) :

\(\frac{M^{2}\int _{0}^{T} \max_{s\leq c} F(t,s)\,dt}{c^{2}}< \frac{ \int _{0}^{T} e^{G(t)} F(t,d)\,dt}{d^{2}\e^{G(t)}\_{L^{1}}+2\sum_{i=1} ^{p}e^{G(t_{i})}\int _{0}^{d} I_{i}(t)\,dt} \),
Proof
For all \(t\in [0,T]\), we choose \(u_{0}(t)=0, \bar{u}(t)=d \). Then, obviously, \(u_{0}, \bar{u}\in H, \varphi (u_{0})=\phi (u_{0})=0\), \(\varphi (\bar{u}) =\frac{d^{2}}{2} \e^{G(t)}\_{L^{1 }}+ \sum_{i=1}^{p}e^{G(t_{i})}\int _{0}^{d}I_{i}(t)\,dt\), and \(\phi ( \bar{u})=\int _{0}^{T}e^{G(t)}F(t,d)\,dt\).
Set \(r=\frac{c^{2}}{2M^{2}}\), by simple calculations, we get
and combining with \((H_{3})\), we obtain \(\varphi (u_{0}) < r < \varphi (\bar{u})\).
For all \(u\in H\) satisfying \(\varphi (u) \leq r\), combining with (2.1), one has \(\u\_{H}\leq \sqrt{2r}\), thus \(\u\_{\infty } \leq M\u\_{H}\leq M\sqrt{2r}=c\). Therefore,
Taking in account of (3.1), (3.2) and \((H_{4})\), we have that condition (i) in Theorem 2.1 is satisfied.
Let \(T_{n}=\{t\in [0,T]:u(t)>C_{0}\} \). Then from \((H_{2})\), there is \(C_{1}>0\) such that for all \(u>C_{0}\) and \(t\in [0,T]\),
Taking account of \(l<2\), one has \(\lim_{\u\_{H}\rightarrow +\infty }(\varphi (u)\lambda \phi (u))=+\infty \) for any \(\lambda \in \varLambda _{r}\), so condition (ii) in Theorem 2.1 is also satisfied. Hence, combining with Lemmas 2.5 and 2.6, we get the conclusion. □
Particularly, we consider \(f(t,u)=v(t)h(u)\), where \(v\in L^{1}[0,T], h \in C(\mathbb{R},\mathbb{R})\). Letting \(H(u)= \int _{0}^{u}h(s)\,ds\), we get the following result.
Theorem 3.2
Suppose that \((H_{1})\) and \((H_{3})\) hold, in addition, assume that
 \((H_{2})^{\prime }\) :

there exist positive constants \(C_{0}, a, l\) with \(l < 2\), and a function \(b \in L^{1}[0,T]\) such that for all \(u>C_{0}\) and \(t\in [0,T]\)
$$ \bigl\vert v(t)H(u) \bigr\vert \leq b(t) \bigl(a+ \vert u \vert ^{l}\bigr), $$  \((H_{4})^{\prime }\) :

there exist \(c,d>0\) such that \(\frac{M^{2}\max_{s \leq c} H(s)\v(t)\_{L_{1}}}{c^{2}}< \frac{H(d)\e^{G(t)}v(t)\_{L ^{1 }}}{d^{2}\e^{G(t)}\_{L^{1}}+2\sum_{i=1}^{p}e^{G(t_{i})}\int _{0} ^{d} I_{i}(t)\,dt}\) hold, then for any \(\lambda \in (\frac{d^{2}\e^{G(t)} \_{L^{1 }}+2 \sum_{i=1}^{p}e^{G(t_{i})}\int _{0}^{d}I_{i}(t)\,dt}{2H(d) \e^{G(t)}v(t)\_{L^{1 }}},\frac{c^{2}}{2M^{2}\max_{s\leq c} H(s)\v(t) \_{L_{1}}})\), problem (1.1) has at least three classical solutions.
Example 3.3
Taking \(T=1\), \(t_{1}=\frac{1}{2}\), \(g(t)=1\), \(f(t,u)=e^{t}u^{\frac{1}{4}}\), \(I_{1}(u)=u\). Consider the problem
We choose \(d=1\) and two positive constants c and M such that \(\frac{c^{2}}{M^{2}}<3.366\), by direct calculations and applying Theorem 3.1 or Theorem 3.2, for any \(\lambda \in (2.103,\frac{5ec^{\frac{3}{4}}}{8M^{2}(e1)})\) problem (3.3) has at least three classical solutions.
Conclusion
We get the existence of at least three classical solutions for nonlinear impulsive problems with a parameter. Our approach relies on variational methods, more specifically on a three critical points theorem by Bonanno and Marano. We show the results by neither adding superlinear or local sublinear assumptions on nonlinear terms at zero nor adding superlinear assumptions on the nonlinearity at infinity.
References
 1.
Nieto, J., O’Regan, D.: Variational approach to impulsive differential equations. Nonlinear Anal. 10, 680–690 (2009)
 2.
Nieto, J.: Variational formulation of a damped Dirichlet impulsive problem. Appl. Math. Lett. 23, 940–942 (2010)
 3.
Liu, J., Zhao, Z.Q.: An application of variational methods to second order impulsive differential equation with derivative dependence. Electron. J. Differ. Equ. 2014, 62 (2014)
 4.
Liu, J., Zhao, Z.Q.: Multiple solutions for impulsive problems with nonautonomous perturbations. Appl. Math. Lett. 64, 143–149 (2017)
 5.
Samoilenko, A.M., Perestyuk, N.A.: Impulsive Differential Equations. World Scientific, Singapore (1995)
 6.
Sun, J., Chen, H., Nieto, J., OteroNovoa, M.: Multiplicity of solutions for perturbed secondorder Hamiltonian systems with impulsive effects. Nonlinear Anal. 72, 4575–4586 (2010)
 7.
Tian, Y., Ge, W.: Applications of variational methods to boundary value problem for impulsive differential equations. Proc. Edinb. Math. Soc. 51, 509–527 (2008)
 8.
Zhang, T.Q., Meng, X.Z., Song, Y., Zhang, T.H.: A stagestructured predator–prey SI model with disease in the prey and impulsive effects. Math. Model. Anal. 4, 505–528 (2013)
 9.
Zhang, T.Q., Meng, X.Z., Zhang, T.H., Song, Y.: Global dynamics for a new highdimensional SIR model with distributed delay. Appl. Math. Comput. 218, 11806–11819 (2012)
 10.
Liu, K.Y., Zhang, T.Q., Chen, L.S.: Statedependent pulse vaccination and therapeutic strategy in an SI epidemic model with nonlinear incidence rate. Comput. Math. Methods Med. 2019, Article ID 3859815 (2019)
 11.
Zhang, T.Q., Ma, W.B., Meng, X.Z.: Global dynamics of a delayed chemostat model with harvest by impulsive flocculant input. Adv. Differ. Equ. 2017, 115 (2017)
 12.
Liu, J., Zhao, Z.Q., Zhang, T.Q.: Multiple solutions to damped Hamiltonian systems with impulsive effects. Appl. Math. Lett. 91, 173–180 (2019)
 13.
Candito, P., Carl, S., Livrea, R.: Multiple solutions for quasilinear elliptic problems via critical points in open sublevels and truncation principles. J. Math. Anal. Appl. 395, 156–163 (2012)
 14.
Candito, P., Carl, S., Livrea, R.: Critical points in open sublevels and multiple solutions for parameterdepending quasilinear elliptic equations. Adv. Differ. Equ. 19, 11/12 (2014)
 15.
Candito, P., Carl, S., Livrea, R.: Variational versus pseudomonotone operator approach in parameterdependent nonlinear elliptic problems. Dyn. Syst. Appl. 22, 397–410 (2013)
 16.
Bonanno, G., Marano, S.A.: On the structure of the critical set of nondifferentiable functions with a weak compactness condition. Appl. Anal. 89, 1–10 (2010)
 17.
Bonanno, G., Riccobono, G.: Multiplicity results for Sturm–Liouville boundary value problems. Appl. Math. Comput. 210, 294–297 (2009)
 18.
Mawhin, J., Willem, M.: Critical Point Theory and Hamiltonian System. Springer, Berlin (1989)
 19.
Zeidler, E.: Nonlinear Functional Analysis and Its Applications. Springer, Berlin (1990)
Acknowledgements
The authors wish to thank anonymous referees for their valuable suggestions.
Availability of data and materials
Not applicable.
Funding
Supported by the Natural Science Foundation of Shandong Province (ZR2017MA048, ZR2018MG002), the Humanities and Social Sciences Project of the Ministry Education of China (16YJC630070, 19YJA910002), the Taishan Scholars Program of Shandong Province (tsqn20161041), National Natural Science Foundation of China (11571197, 11301303), the Fostering Project of Dominant Discipline and Talent Team of Shandong Province Higher Education Institutions (1716009), Research Funds for Joint Innovative Center for Safe and Effective Mining Technology and Equipment of Coal Resources by Shandong Province and SDUST Research Fund (2014TDJH102).
Author information
Affiliations
Contributions
All authors contributed equally to the writing of this paper. The authors read and approved the final manuscript.
Corresponding authors
Correspondence to Jian Liu or Wenguang Yu.
Ethics declarations
Ethics approval and consent to participate
All authors contributed to each part of this study equally and declare that they have no competing interests.
Competing interests
The authors declare that they have no competing interests.
Additional information
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
Received
Accepted
Published
DOI
MSC
 34B15
 35B38
Keywords
 Triple solutions
 Damped term
 Impulsive effects