Abstract
In this paper, we consider a kind of SturmLiouville boundary value problems with impulsive effects. By using the mountain pass theorem and Ekeland’s variational principle, the existence of two positive solutions and two negative solutions is established. Moreover, we do not assume that the nonlinearity satisfies the wellknown ARcondition.
MSC: 34B15, 34B37, 58E30.
Keywords:
pLaplacian; boundary value problem; variational; impulsive1 Introduction
Impulsive effects exist widely in many evolution processes, in which their states are changed abruptly at a certain moment of time. Impulsive differential equations have become more important in recent years in mathematical models of real processes and phenomena studied in control theory [1,2], population dynamics and biotechnology [3,4], physics and mechanics problems [5]. There has been a significant development in the area of impulsive differential equations with fixed moments. We refer the reader to [6,7] and the references therein. Fixedpoint theorems in cones [810] and the method of lower and upper solutions with monotone iterative technique [1113], have been used to study impulsive differential equations.
Moreover, the SturmLiouville boundary value problems (for short BVPs) have received a lot of attention. Many works have been carried out to discuss the existence of at least one solution, multiple solutions. The methods used therein mainly depend on the LeraySchauder continuation theorem, Mawhin’s continuation theorem. Since it is very difficult to give the corresponding Euler functional for SturmLiouville BVPs and verify the existence of the critical points for the Euler functional, few people consider the existence of solutions for SturmLiouville BVPs by critical point theory, and many works considered the existence of solutions for Dirichlet BVPs [14]. Recently, few researchers have used variational methods to study the existence of solutions for impulsive differential equations with Dirichlet boundary conditions [15,16]. In [17], by mountain pass theorem, Tian and Ge considered the existence of positive solutions of a kind of SturmLiouville boundary value problems with impulsive effects. The authors require that the nonlinearity and . They have not obtained the existence of both positive solutions and negative solutions.
Based on the knowledge mentioned above, in this paper, we consider the constantsign solutions of the following BVP
where , , , , , . Here and denote the right and left limits, respectively. Assume that , is continuous, is continuous on R, , .
Ambrosetti and Rabinowitz [18] established the existence of nontrival solutions for Dirichlet problems under the wellknown AmbrosettiRabinowitz condition: there exist some and such that
for all and . Since then, the ARcondition has been used extensively. By the usual ARcondition, it is easy to show that the EulerLagrange functional associated with the system has the mountain pass geometry, and the PalaisSmale sequence is bounded. For example, in [16,17], based on (1.2), the authors considered the boundary value problems with impulsive effects.
In this paper, we study the existence of constantsign solutions of BVP (1.1) without the ARcondition. The paper is organized as follows. In the forthcoming section, we give the Euler functional of BVP (1.1) and some basic lemmas. The aim of Section 3 is to prove the existence of at least two positive solutions of BVP (1.1) based on the mountain pass theorem and Ekeland’s variational principle. At last, we give some results of the existence of at least two negative solutions.
2 Preliminary
The Sobolev space is defined by
and is endowed with the norm
Then, from [19], is a sparable and reflexive Banach space.
Definition 2.1 We say that x is a classical solution of BVP (1.1) if it satisfies the equation of BVP (1.1) a.e. on , the limits and , , exist and the SturmLiouville boundary conditions hold.
However, if , then x is absolutely continuous and . In this case, the onesided derivatives , may not exist. As a consequence, we need to introduce a different concept of solution.
Definition 2.2 We say that is a weak solution of BVP (1.1) if it satisfies
It is clear φ is continuously differentiable on and by computation, one has
Hence, a critical point of φ gives us a weak solution of BVP (1.1).
Lemma 2.1[20]
There exists a positive constantsuch that
Lemma 2.3[17]
For, let, then, the following properties hold:
(iv) ifuniformly converges toxin, then, uniformly converges to ;
In the following, let H be a Banach space, let φ be continuously differentiable, and we state (C) condition [21].
(C) Every sequence such that the following conditions hold: has a subsequence, which converges strongly in H.
This condition is weaker than the usual PalaisSmale condition, but can be used in place of it when constructing deformations of sublevel sets via negative pseudogradient flows, and, therefore, also in minimax theorems such as the mountain pass lemma and the saddle point theorem.
Lemma 2.4Ifis a weak solution of BVP (1.1), thenis a classical solution of BVP (1.1).
Proof The proof of this lemma is similar to that of [22]. For the sake of completeness, we give a simple proof here.
Whence, by the fundamental lemma,
Hence, , that is, , exist, and x satisfies the equation of BVP (1.1) a.e. on . Moreover,
Now multiplying the equation by and integrating between 0 and 1, together with (2.1), we get
Assume that , then, and (). Let , we arrive x satisfies the impulsive condition and
by (2.5). Let , then, , that is, . Let , then, , that is, . Hence, x is a solution of BVP (1.1). □
3 Existence of constantsign solutions
Assume that , , a.e. on , for a.e. and ; for a.e. and ; , for , for , . Define , , and
It is obvious that is continuously differentiable and , , .
Lemma 3.1Assume that
(A_{2}) there exits a constantsuch that for a.e. , , , , ;
Then, satisfies (C) condition.
Remark 3.1 Let
Then, satisfies (A_{1})(A_{3}). However, it does not satisfy the ARcondition while x is large.
Remark 3.2 The condition of for , , a.e. , is weaker than the following condition:
there is such that is increasing in ,
which is equivalent to the condition:
Proof Let be a sequence such that
In order to prove that is bounded in , there are several steps.
We know that is an absolutely continuous function on , and so, the fundamental theorem of calculus ensures the existence of a set such that and is differentiable on , then, let ,
Suppose that as . Set for all . Obviously, , that is, is a bounded sequence in . Going to a subsequence if necessary, we may assume that
It is clear that and from the inequality as , there exists a sequence , and as such that
Hence,
Moreover, , , and from (A_{1}), one has
Let , then, as for . By the hypothesis,
Let , then, for all . If , then,
Hence, by Fatou’s lemma,
Then, from (3.5), we reach a contradiction, that is, . Since , we conclude that for a.e. . Then, for .
that is, . Since , there exists an integer , for , one has . Whence,
Since uniformly for , then, uniformly for , and for as . Hence,
Therefore, we have as . Since and are bounded, then, is bounded. Together with , one has for all . Then,
Moreover,
Since is bounded, there exists such that
Since is an arbitrary integer, let , we have a contradiction. This proves that is bounded.
From step 1 and step 2, we obtain that is bounded. Hence, we may assume that
Since is a Cauchy sequence in , , is bounded in , , as , one has as . Moreover, is continuous in x, is continuous, uniformly in , whence, , , and
If , from Lemma 2.1, there exists a positive constant such that
If , by Lemma 2.1, the Hölder inequality and the boundedness of in , one has
Then, we have as . Hence, , that is, is a Cauchy sequence in . By the completeness of , one has that is a convergence sequence. □
Theorem 3.1Assume that (A_{1})(A_{3}) and
hold, then, BVP (1.1) has at least one positive solution.
Proof From (A_{4}), one has and
Let , then, . Hence, there exists such that . Obviously, , then, . We infer that there exists an such that for all .
Moreover, choose , , , . For, , there exists such that for . Choose , one has . Hence, and
Since is arbitrary, we have , that is, . Hence, from the mountain pass theorem, we obtain , such that
It follows . If for a.e. , then, . Hence, a.e. , that is and . This implies that is a positive solution of BVP (1.1). □
Theorem 3.2Assume (A_{1})(A_{5}) and
hold, then, BVP (1.1) has two positive solutions.
If is small enough and x is positive, we have , then,
Let with and consider the functional , we can apply Ekeland’s variational principle [19] and obtain such that
and
From (3.13), we have . Define , then, is a minimizer of on . Therefore, for small and all with , we have
then,
that is,
Define , then, , that is, is a maximum of on . Therefore, for small and all with , with the same discussion above, one has
Hence,
Let and set . Then, and . Since satisfies (C) condition, we may assume that in . Hence,
which implies that and is a critical point of . Moreover,
so, . If a.e. , with the same discussion in Theorem 3.1, a.e. . Hence, and , which implies is another positive solution of BVP (1.1). □
With the similar discussion above, we have the following result.
Theorem 3.3Assume (A_{1}), (A_{3})(A_{6}) and
() there existssuch that for all, we havefor a.e. , all, , ,
hold, then, BVP (1.1) has at least two positive solutions.
Theorem 3.4Assume that (A_{5}) and
hold, then, BVP (1.1) has at least two negative solutions.
Theorem 3.5Assume that (B_{1}), (B_{3})(B_{5}), (A_{5}) and
() there existssuch that for all, we havefor a.e. , all, , ,
hold, then, BVP (1.1) has at least two negative solutions.
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the manuscript and read and approved the final manuscript.
Acknowledgements
The authors are thankful to the referees for their useful suggestions, which helped to enrich the content and considerably improved the presentation of this paper. This research is supported by the Beijing Natural Science Foundation (No. 1122016), the Scientific Research Common Program of Beijing Municipal Commission of Education (No. KM201311417006) and the New Departure Plan of Beijing Union University (No. zk201203).
References

George, PK, Nandakumaran, AK, Arapostathis, A: A note on controllability of impulsive systems. J. Math. Anal. Appl.. 241, 276–283 (2000). Publisher Full Text

Akhmetov, MU, Zafer, A: Controllability of the ValléePoussin problem for impulsive differential systems. J. Optim. Theory Appl.. 102, 263–276 (1999). Publisher Full Text

Nenov, S: Impulsive controllability and optimization problems in population dynamics. Nonlinear Anal. TMA. 36, 881–890 (1999). Publisher Full Text

Georescu, P, Morosanu, G: Pest regulation by means of impulsive controls. Appl. Math. Comput.. 190, 790–803 (2007). Publisher Full Text

Liu, X, Willms, AR: Impulsive controllability of linear dynamical systems with applications to maneuvers of spacecraft. Math. Probl. Eng.. 2, 277–299 (1996). Publisher Full Text

Lakshmikantham, V, Bainov, DD, Simeonov, PS: Theory of Impulsive Differential Equations, World Scientific, Singapore (1989)

Samonlenko, AM, Perestyuk, NA: Impulsive Differential Equations, World Scientific, Singapore (1995)

Agarwal, RP, O’Regan, D: Multiple nonnegative solutions for secondorder impulsive differential equations. Appl. Math. Comput.. 114, 51–59 (2000). Publisher Full Text

Lee, EK, Lee, YH: Multiple positive solutions of singular two point boundary value problems for second order impulsive differential equations. Appl. Math. Comput.. 158, 745–759 (2004). Publisher Full Text

Liu, Y: Positive solutions of periodic boundary value problems for nonlinear first order impulsive differential equations. Nonlinear Anal. TMA. 70, 2106–2122 (2009). Publisher Full Text

Liu, X, Guo, D: Periodic boundary value problems for a class of second order impulsive integrodifferential equations in Banach spaces. Appl. Math. Comput.. 216, 284–320 (1997)

Yang, A, Wang, H, Wang, D: The unique solution for periodic differential equations with upper and lower solutions in reverse order. Bound. Value Probl.. 2013, Article ID 88. http://www.boundaryvalueproblems.com/content/2013/1/88 (2013)

Yang, A: An extension of LeggettWilliams normtype theorem for coincidences and its application. Topol. Methods Nonlinear Anal.. 37, 177–191 (2011)

Papageorgiou, NS, Rocha, EM: Pairs of positive solutions for pLaplacian equations with sublinear and superlinear nonlinearities which do not satisfy the ARcondition. Nonlinear Anal. (2008). Publisher Full Text

Nieto, JJ, O’Regan, D: Variational approach to impulsive differential equations. Nonlinear Anal., Real World Appl.. 10, 680–690 (2009). Publisher Full Text

Zhang, Z, Yuan, R: An application of variational methods to Dirichlet boundary problems with impulsives. Nonlinear Anal., Real World Appl. (2008). Publisher Full Text

Tian, Y, Ge, W: Applications of variational methods to boundary value problems for impulsive differential equations. Proc. Edinb. Math. Soc.. 51, 509–527 (2008)

Ambrosetti, A, Rabinowitz, PH: Dual variational methods in critical point theory and applications. J. Funct. Anal.. 14, 349–381 (1973). Publisher Full Text

Mawhin, J, Willen, M: Critical Point Theorem and Hamiltonian Systems, Springer, New York (1989)

Simon, J: Regularite de la solution d’une equation non lineaire dans Rn$R^{n}$, pp. 205–227. Springer, Berlin (1978)

Giovanna, C: An existence criterion for the critical points on unbounded manifolds. Ist. Lombardo Accad. Sci. Lett., Rend., Sez. A. 112, 332–336 (1979)

Tian, Y, Ge, W: Variational methods to SturmLiouville boundary value problem for impulsive differential equations. Nonlinear Anal.. 72, 277–287 (2010). Publisher Full Text