Wang and Zhao Advances in Difference Equations (2017) 2017:46 DOI 10.1186/s13662-017-1075-8
RESEARCH
Open Access
Existence and multiplicity of solutions for a second-order impulsive differential equation via variational methods Yaqi Wang1* and Zengqin Zhao2 *
Correspondence:
[email protected] 1 Southeast University, Nanjing, P.R. China Full list of author information is available at the end of the article
Abstract In this paper, we study the existence and multiplicity of solutions for an impulsive differential equation via some critical point theory and the variational method. We extend and improve some recent results and reduce conditions. Keywords: impulsive differential equation; critical point theory; variational structure
1 Introduction As an important research field of study, the impulsive differential equation has been attracting the attention of several mathematicians. In the early years, the main way to resolve this kind of problems is based on the fixed point theory, the theorem of topological degree, the upper and lower solutions method coupled with the monotone iterative technique, and so on; see for example [–]. Recently, many authors have tried to use the variational method and some specific critical point theorems, such as mountain pass lemma, fountain theorem, linking theorem, symmetric mountain pass lemma, and so on, to study the existence (see [–]) and multiplicity (see [–]) of solutions for some impulsive differential equations. In [], authors have shown the variational structure of an impulsive differential equation and proved the existence of a solution by using the mountain pass lemma. In [], the authors studied the following equation: ⎧ ⎪ ⎪ ⎨–(p(t)u ) (t) + r(t)u (t) + q(t)u(t) = f (t, u(t)), a.e. t ∈ J, ⎪ ⎪ ⎩
–(p(t)u (ti )) = Ii (u(ti )), u() = ,
i = , , . . . , p,
α u(t) + u () = ,
where J = [, ], = t < t < t < · · · < tp < tp+ = , f ∈ C[J × R, R], p ∈ C[J, R+ ], q, r ∈ C[, T]. © The Author(s) 2017. 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.
Wang and Zhao Advances in Difference Equations (2017) 2017:46
Page 2 of 9
Then Zhang in [] proved the existence of two solutions and the existence of infinitely many solutions of problem given by ⎧ ⎪ ⎪ ⎨–u (t) + λu(t) = f (t, u(t)), a.e. t ∈ [, T], ⎪ ⎪ ⎩
u (ti ) = Ii (u(ti )),
i = , , . . . , p,
u() = u(T) = .
In this paper, we study the existence and multiplicity of solutions for the following nonlinear impulsive problem: ⎧ ⎪ ⎪ ⎨–u (t) + r(t)u (t) + λu(t) = f (t, u(t)), a.e. t ∈ J, u (ti ) = u (ti +) – u (ti –) = Ii (u(ti )), i = , , . . . , p, ⎪ ⎪ ⎩ u() = u(T) = ,
()
where J = [, T], = t < t < t < · · · < tp < tp+ = T, r ∈ C[, T], Ii ∈ C[R, R], λ is a parameu ter, f ∈ C[J × R, R], with F(t, u) = f (t, ξ ) dξ . We will prove that equation () has at least two classical solutions and infinitely many classical solutions under different conditions. Our main results extend the existing result in [, , ]. We prove the same impulsive problem in [] cannot only have two solutions but also have infinitely many classical solutions. Compared with [], we do not require the impulsive functions Ij and F to satisfy the sublinear growth condition and the superlinear growth condition about uμ , which such that the problem more general. Different from [] in which F is a negative function, in this paper, our results relax the restriction of F with a wider range of applications. The rest of the paper is organized as follows: In Section , we give the variational structure and several important lemmas. The main theorems are formulated and proved in Section .
2 Preliminaries t Let R(t) = r(s) ds, M = maxt∈[,T] e–R(t) , m = mint∈[,T] e–R(t) . Multiplying the first equation of () by e–R(t) , we obtain ⎧ –R(t) ⎪ u (t)) + λe–R(t) u(t) = e–R(t) f (t, u(t)), a.e. t ∈ J, ⎪ ⎨–(e ⎪ ⎪ ⎩
u (ti ) = Ii (u(ti )),
i = , , . . . , p,
()
u() = u(T) = .
Obviously, the solutions of equation () are solutions of equation (). Consider the Hilbert space H (, T) with the inner product and norm
T
(u, v) =
e–R(t) u (t)v (t) dt,
u =
T
e–R(t) u (t) dt
/ .
Wang and Zhao Advances in Difference Equations (2017) 2017:46
Page 3 of 9
Multiply the first equation of () by v ∈ H (, T), integrate it on the interval [, T]. It follows from the boundary conditions u() = , u(T) = that
T
e–R(t) u (t)v (t) dt + λ
T
e–R(t) u(t)v(t) dt +
T
=
p
e–R(t) Ii u(ti ) v(ti )
i=
e–R(t) f t, u(t) v(t) dt.
Now, define the function ϕ : H (, T) → R
ϕ(u) = L(u, u) +
p
Ii (s) ds
e
i=
T
–
u(ti )
–R(t)
e–R(t) F t, u(t) dt,
where L(u, v) =
T
e
λ u (t)v (t) dt +
–R(t)
T
e–R(t) u(t)v(t) dt,
and for all v ∈ H (, T), we have ϕ (u)v =
T
e–R(t) u (t)v (t) dt + λ
+
T
e–R(t) u(t)v(t) dt
p
e–R(t) Ii u(ti ) v(ti ) –
T
e–R(t) f t, u(t) v(t) dt.
()
i=
Definition A weak solution of problem () is a function u ∈ H (, T) such that the integral equation () holds for all v ∈ H (, T). Let λk (k = , , . . .) be the eigenvalue of the following Dirichlet problem, where λ = is the first eigenvalue: ⎧ ⎨–u (t) = λu(t),
t ∈ [, T],
()
⎩u() = u(T) = . We assume Xk is the feature space corresponding with λk , then H (, T) =
π T
i∈N
Xi .
Lemma There exists a constant C > , such that u∞ ≤ Cu, where u∞ = maxt∈[,T] |u(t)|. , then there exist < a < a , such that Lemma ([]) If λ > – mλ M
a u ≤ L(u, u) ≤ a u .
Wang and Zhao Advances in Difference Equations (2017) 2017:46
Page 4 of 9
Remark If |λ| < mλ , then < a < a < . In fact, if λ > , then let a = , and by the M Poincaré inequality we have
λ T –R(t) e–R(t) u (t) dt + e u (t) dt λM T u (t) dt ≤ u + λM T u (t) dt ≤ u + λ T
λM e–R(t) u (t) dt ≤ u + mλ λM = + u . mλ
L(u, u) =
T
λM Then letting a = + mλ , we can get the result. Similarly, if – mλ < λ < , then let a = , M and by the Poincaré inequality we have
λ T –R(t) e–R(t) u (t) dt + e u (t) dt λM T u (t) dt ≥ u + λM T u (t) dt ≥ u + λ T
λM ≥ u + e–R(t) u (t) dt mλ λM u . = + mλ
L(u, u) =
T
We can also let a =
+
λM mλ
to get the result.
Lemma ([]) For the function F : M ⊆ E → R with M = ∅, minu∈M F(u) = α has a solution in the case that the following hold: (F ) E is a real reflexive Banach space, (F ) M is bounded and weak sequentially closed, (F ) F is weak sequentially lower semi-continuous on M, i.e., by definition, for each sequence {un } in M such that un u as n → ∞, we have F(u) ≤ lim infn→∞ F(un ).
Lemma ([]) Let E be a real Banach space with E = V W , where V is finite dimensional. Suppose φ ∈ C (E, R) satisfies P.S. condition, and: (φ ) there are constants ρ, τ > such that φ|∂Bρ ∩W ≥ τ , and (φ ) there is e ∈ ∂B ∩ W and R > ρ such that if Q = (BR ∩ V ) ⊕ {re| < r < R}, then φ|∂Q ≤ . Then φ possesses a critical value c ≥ τ which can be characterized as c = infh∈ maxu∈Q φ(h(u)), where = {h ∈ C(Q, E), h|∂Q = id}.
Wang and Zhao Advances in Difference Equations (2017) 2017:46
Page 5 of 9
Lemma ([]) Let E be an infinite-dimensional real Banach space and ϕ ∈ C (E, R) be even, satisfying the P.S. condition and u() = . If E = V ⊕W , where V is finite-dimensional, and ϕ satisfies the following conditions: (ϕ ) there exist constants ρ, τ > , such that ϕ|∂Bρ ∩W ≥ τ , (ϕ ) for each finite-dimensional subspace V ⊂ E, there is R = R(V ) such that, for all u ∈ {u ∈ V , u ≥ R}, we have ϕ(u) ≤ . Then ϕ has an unbounded sequence of critical values.
3 Main results In this paper, we assume: u (H ) There exists μ > such that μF(t, u) ≤ uf (t, u) and Ii (u)u ≤ μ Ii (s) ds < . u (H ) There exists ρ > , δi > such that Ii (s) ds ≥ –δi |u|μ for all u ≤ ρ . T . (H ) For all u ∈ X ∪ X , we have F(t, u(t)) dt ≥ a u m The main results are the following theorems. Theorem Assume (H )-(H ) hold and |λ| < least two weak solutions.
mλ , M
then the impulsive problem () has at
. If f (t, u) and Ii (u) are odd Theorem Suppose that (H )-(H ) are satisfied and λ ≥ – mλ M about u, then the problem () has infinitely many weak solutions.
Next, we give the main lemma used in this paper. Lemma ([]) Suppose that (H ) holds, then for all t ∈ [, T] we can obtain u |u|μ , F(t, u) ≤ F t, |u| u |u|μ , F(t, u) ≥ F t, |u|
< |u| ≤ , () |u| ≥ .
Remark For the convenience of the reader, we denote M = sup{F(t, u), t ∈ [, T], |u| = }, m = inf{F(t, u), t ∈ [, T], |u| = }. Lemma Suppose that (H ) and (H ) hold, then ϕ satisfies the P.S. condition. Proof Let {un } ∈ H (, T) be such a sequence that {ϕ(un )} is bounded and limn→∞ ϕ (un ) = , we will show that un has a convergent subsequence. In view of the given condition, there exists C > such that ϕ(un ) ≤ C ,
ϕ (un ) ≤ C ,
for all n. By the definition of ϕ and () we obtain T T
– e–R(t) u (t) dt + e–R(t) u (t) dt μ T p un (ti )
e–R(t) Ii (s) ds + e–R(t) F t, un (t) dt = ϕ(u) – i=
Wang and Zhao Advances in Difference Equations (2017) 2017:46
Page 6 of 9
–R(t) ϕ (un )un + e Ii un (ti ) un – μ μ i= μ p
–
e–R(t) f t, un (t) un (t) dt
T
un (ti ) p
–R(t) Ii un (ti ) un – e Ii (s) ds = C + C un + μ μ i= T
e–R(t) F t, un (t) – f t, un (t) un (t) dt. + μ Combining (H ), we have – a un ≤ C + C un . μ μ This implies that {un } is bounded and, if necessary going to a sequence we can suppose that un u ∈ H (, T). By () and Lemma we have
ϕ (un ) – ϕ (u) (un – u) =
T –R(t)
e
p
+
un (t) – u (t) dt
T
+λ
e–R(t) un – un (t) dt
e–R(t) Ii un (ti ) – Ii u(ti ) un (t) – u(t)
i=
T
–
e–R(t) f t, un (t) – f t, u(t) un (t) – u(t) dt
≥ a un – u +
p
e–R(t) Ii un (ti ) – Ii u(ti ) un (t) – u(t)
i=
T
–
e–R(t) f t, un (t) – f t, u(t) un (t) – u(t) dt.
()
Hence, un → u in C[, T]. Furthermore
ϕ (un ) – ϕ (u) (un – u) → ,
p
e–R(t) Ii un (ti ) – Ii u(ti ) un (t) – u(t) → ,
i=
e–R(t) f t, un (t) – f t, u(t) un (t) – u(t) dt → .
T
Combining with (), we know un – u → . So, ϕ satisfies the P.S. condition.
Proof of Theorem Because H (, T) is Hilbert space, Bρ is bounded and weak sequentially closed for all ρ > . We will show ϕ is weak sequentially lower semi-continuous on Bρ . In fact suppose un u in H (, T), then u ≤ lim infn→∞ un , and un → u in C[, T], so λ
T
→
e–R(t) un (t) dt +
p
T
e–R(t) u (t) dt +
Ii (s) ds –
i=
λ
un (ti )
e–R(t) p i=
T
e–R(t) F t, un (t) dt
e–R(t)
u(ti )
Ii (s) ds –
T
e–R(t) F t, u(t) dt.
Wang and Zhao Advances in Difference Equations (2017) 2017:46
Page 7 of 9
By the definition of ϕ, we can obtain ϕ(u) ≤ lim infn→∞ ϕ(un ). From Lemma , there exists u such that ϕ(u ) = min{ϕ(u), u ∈ Bρ }. Noting that ϕ() = , so ϕ(u ) ≤ . Combining with Lemma , Lemma , and (H ), there exists a small ρ with ρ < ρ such that when u(t) ∈ ∂Bρ we have
ϕ(u) ≥ a u +
p
p
≥ a u –
= a ρ –
T
e–R(t) δi |u|μ – m
μ e–R(t) u(t) dt
p
δi M + δMm T Cuμ
i=
e–R(t) F t, u(t) dt
i=
T
Ii (s) ds –
i=
≥ a u –
u(ti )
e–R(t)
p
δi M + δMm T Cρ μ = τ > .
i=
ϕ(u ) ≤ implies that ϕ possesses a critical point u ∈ Bρ .
Let V = X ⊕ X , W = ∞ i= Xi , then there exists ρ, τ > , such that ϕ|∂Bρ ∩W ≥ τ . Hence ϕ satisfies the condition (φ ). Taking e ∈ W such that e = . By Lemma , we claim that there exist C , M > , such that e ≤ C |e|L ,
u ≤ C |u|L ,
F(t, u) ≥ C |u| – M ,
u ∈ V,
(t, u) ∈ [, T] × R.
By (H ), for all r > , u ∈ V , we have
ϕ(re + u) = L(re + u, re + u) +
p i=
T
≤ a re + u –
re+u
e–R(t)
T
e–R(t) F(t, re + u) dt
Ii (s) ds –
e–R(t) C |re + u| – M dt
≤ a r + a u + a ru + TM M – C |re|L + |u|L – |re|L |u|L
≤ a r + a u + a ru + TM M – r – u + ru = –( – a )r – ( – a )u + (a + )ru + TM M. Combining with a < , there exists R > , such that the following conclusions hold: when u ≥ R, ϕ(re + u) < for all < r < R; when r ≥ R, ϕ(re + u) <
for all u ≤ R.
Wang and Zhao Advances in Difference Equations (2017) 2017:46
Page 8 of 9
For any u(t) ∈ V , u ≤ R, we can obtain
T
ϕ(u) ≤ a u – m
F t, u(t) dt ≤ .
Let = (BR ∩ V ) ⊕ {re| < r < R}, ∂ = ∪ ∪ , where = u ∈ V , u ≤ R , = Re ⊕ u ∈ V , u ≤ R , = {re| < r < R} ⊕ u ∈ V , u = R . So ϕ|∂ Q ≤ . From Lemma we know that ϕ has a critical point c with c ≥ τ > . In other words, there exists u such that ϕ(u ) = c. Hence u and u are classical solutions of the impulsive problem (). Proof of Theorem Since f (t, u) and Ii are odd about u, ϕ(u) is even and ϕ() = . Lemma shows that ϕ satisfies the P.S. condition. In the same way as in Theorem , we can verify ϕ satisfies the condition (ϕ ) in Lemma . Finally we prove that ϕ also satisfies the condition (ϕ ). According to Lemma and (H ), for every V , u ∈ V , there exists C , M > such that ϕ(u) ≤ a u +
p
–R(t)
u(ti )
i=
≤ a u – m
T
T
Ii (s) ds –
e
e–R(t) F t, u(t) dt
μ
m u(t) – C dt
≤ a u – M uμ + mTC , then we can find R > such that ϕ(u) ≤ when u ≥ R. By Lemma , ϕ possesses infinitely many critical points. Hence, BVP () has infinitely many classical solutions. Example Take x(t) ∈ C[, T], t ∈ (, T) and k > . Consider the following impulsive problem: ⎧ –t ⎪ ⎪ ⎨–u (t) + tu (t) + λu(t) = e x(t)u (t), t = t , u (t ) = u (t +) – u (t –) = –ku(t ), ⎪ ⎪ ⎩ u() = u(T) = .
()
Let μ = ., δ = and ρ = , then the differential equation () has infinity many weak solutions by Theorem .
4 Conclusion A second-order impulsive differential equation is considered in this paper. Some necessary conditions for the existence and multiplicity of solutions are presented by critical point theories and variational methods. We also proposed a numerical example to show the advantage.
Wang and Zhao Advances in Difference Equations (2017) 2017:46
Page 9 of 9
Competing interests The authors declare that they have no competing interests. Authors’ contributions All authors have made equal contributions. All authors read and approved the final manuscript. Author details 1 Southeast University, Nanjing, P.R. China. 2 Qufu Normal University, Qufu, P.R. China. Acknowledgements The authors are very grateful to the anonymous referee for his/her valuable comments and suggestions. Received: 4 November 2016 Accepted: 4 January 2017 References 1. Lin, Z, Wang, J, Wei, W: Multipoint bvps for generalized impulsive fractional differential equations. Appl. Math. Comput. 258, 608-616 (2015) 2. Fec, M, Zhou, Y, Wang, J, et al.: On the concept and existence of solution for impulsive fractional differential equations. Commun. Nonlinear Sci. Numer. Simul. 17(7), 3050-3060 (2012) 3. Pierri, M, O’Regan, D, Rolnik, V: Existence of solutions for semi-linear abstract differential equations with not instantaneous impulses. Appl. Math. Comput. 219(12), 6743-6749 (2013) 4. Nieto, JJ: Variational formulation of a damped Dirichlet impulsive problem. Appl. Math. Lett. 23(8), 940-942 (2010) 5. Xiao, J, Nieto, JJ: Variational approach to some damped Dirichlet nonlinear impulsive differential equations. J. Franklin Inst. 348(2), 369-377 (2011) 6. He, X, Wu, X: Periodic solutions for a class of nonautonomous second order Hamiltonian systems. J. Math. Anal. Appl. 341(2), 1354-1364 (2008) 7. Zhang, Z, Yuan, R: An application of variational methods to Dirichlet boundary value problem with impulses. Nonlinear Anal., Real World Appl. 11(1), 155-162 (2010) 8. Nieto, JJ, O’Regan, D: Variational approach to impulsive differential equations. Nonlinear Anal., Real World Appl. 10(2), 680-690 (2009) 9. Luo, Z, Xie, J, Chen, G: Existence of solutions of a second-order impulsive differential equation. Adv. Differ. Equ. 2014(1), 118 (2014) 10. Xiao, J, Nieto, JJ, Luo, Z: Multiplicity of solutions for nonlinear second order impulsive differential equations with linear derivative dependence via variational methods. Commun. Nonlinear Sci. Numer. Simul. 17(1), 426-432 (2012) 11. Zhang, D: Multiple solutions of nonlinear impulsive differential equations with Dirichlet boundary conditions via variational method. Results Math. 63(1-2), 611-628 (2013) 12. Zhou, J, Li, Y: Existence and multiplicity of solutions for some Dirichlet problems with impulsive effects. Nonlinear Anal. 71(7), 2856-2865 (2009) 13. Bai, L, Dai, B: Existence and multiplicity of solutions for an impulsive boundary value problem with a parameter via critical point theory. Math. Comput. Model. 53(9), 1844-1855 (2011) 14. Bai, L, Dai, B: Three solutions for a p-Laplacian boundary value problem with impulsive effects. Appl. Math. Comput. 217(24), 9895-9904 (2011) 15. Xie, J, Luo, Z: Subharmonic solutions with prescribed minimal period of an impulsive forced pendulum equation. Appl. Math. Lett. 52, 169-175 (2016) 16. Zeidler, E: Nonlinear Functional Analysis and Its Applications: III: Variational Methods and Optimization. Springer, Media (2013) 17. Rabinowitz, PH, et al.: Minimax Methods in Critical Point Theory with Applications to Differential Equations. Am. Math. Soc., Providence (1986)