- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Journal of Applied Mathematics
Volume 2013 (2013), Article ID 401740, 11 pages
Existence and Multiplicity of Solutions to a Boundary Value Problem for Impulsive Differential Equations
1Department of Mathematics, Yunnan University, Kunming, Yunnan 650091, China
2School of Mathematics and Computer Science, Panzhihua University, Panzhihua, Sichuan 617000, China
Received 24 October 2012; Revised 20 December 2012; Accepted 21 December 2012
Academic Editor: Wan-Tong Li
Copyright © 2013 Chunyan He et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
We investigate the existence and multiplicity of solutions to a boundary value problem for impulsive differential equations. By using critical point theory, some criteria are obtained to guarantee that the impulsive problem has at least one solution, at least two solutions, and infinitely many solutions. Some examples are given to illustrate the effectiveness of our results.
In this paper, we will investigate the existence and multiplicity of solutions to the boundary value problem for impulsive differential equations: where , , , with ess , ess , and ; ; , , is continuous, are continuous.
Recently, there have been many papers concerned with boundary value problems for impulsive differential equations. Impulsive effects exist widely in many evolution processes in which their states are changed abruptly at certain moments of time. The theory of impulsive differential systems has been developed by numerous mathematicians (see [1–6]).
Impulsive and periodic boundary value problems have been studied extensively in the literature. There have been many approaches to study periodic solutions of differential equations, such as the method of lower and upper solutions, fixed point theory, and coincidence degree theory (see [7–10]). However, the study of solutions for impulsive differential equations using variational method has received considerably less attention (see, [11–18]). Variational method is, to the best of our knowledge, novel and it may open a new approach to deal with nonlinear problems with some type of discontinuities such as impulses.
Teng and Zhang in  studied the existence of solutions to the boundary value problem for impulsive differential equations By using variational methods and iterative methods they showed that there exists a solution for problem (2).
In this paper, we will need the following conditions.(A) is measurable in for every and continuously differentiable in for a.e. and there exist such that for all and a.e. , where .() There exist constants and such that () There exist constants and such that () There exist constants and such that () There exist constants and such that () uniformly, for and . () there exist and such that () there exists such that
We recall some facts which will be used in the proof of our main results. It has been shown, for instance, in  that the set of all eigenvalues of the following problem: is given by the sequence of positive numbers where Each eigenvalue is simple with the associated eigenfunction denotes the eigenspace associated to , then .
An outline of this paper is given as follows. In the next section, we present some preliminaries including some basic knowledge and critical point theory. In Section 3, by using the critical point theory, we will establish some sufficient conditions for the existence of solutions of system (1). In Section 4, some examples are given to verify and support the theoretical findings.
In this section, we recall some basic facts which will be used in the proofs of our main results. In order to apply the critical point theory, we make a variational structure. From this variational structure, we can reduce the problem of finding solutions of (1) to the one of seeking the critical points of a corresponding functional.
In , the Sobolev space be the endowed with the norm
Throughout the paper, we also consider the norm By Poincaré inequality: where is precisely the largest for which the above inequality holds true. Then while it minimizes and equals to zero exactly on the ray generated by the first eigenfunction .
Let us recall that We denote by the usual -norm. The -dimensional Lebesgue measure of a set is denoted by . By the Sobolev embedding theorem, continuously for , and there exists such that
Lemma 1. There exist , such that
Proof. Since ess , ess , , and , we have that ess , ess , where is a positive number and that there exists such that . Thus, by Poincaré inequality, we have
for all . Thereby, for every ,
On the other hand, by Poincaré inequality, one has
Take , , then
The proof is complete.
Lemma 2. There exists such that if , then
Proof. If , it follows from the mean value theorem that for some . Hence, for , by Hölder inequality and Poincaré inequality Hence, . The proof is complete.
Take and multiply the two sides of the equality by and integrate it from to , we have Moreover, Combining (28), we have Considering the above, we introduce the following concept solution for problem (1).
Definition 3. We say that a function is a solution of problem (1) if the identity
holds for any .
Consider the functional defined by Using the continuity of and , , one has that . For any , we have Thus, the solutions of problem (1) are the corresponding critical points of .
Definition 4. Let be a normed space. A minimizing sequence for a function is a sequence such that whenever .
Definition 5. Let be a Banach space and let . is said to be sequentially weakly lower semicontinuous if as in .
Definition 6. Let be a Banach space and let . For any sequence in , if is bounded and as possesses a convergent subsequence, then we say that satisfies the Palais-Smale condition (denoted by condition for short). We say that satisfies the Palais-Smale condition at level (denoted by condition for short) if there exists a sequence in such that and as implies that is a critical value of .
Definition 7. Let be a Banach space and let . is said to be coercive if as .
Lemma 8 (see ). If is sequentially weakly lower semicontinuous on a reflexive Banach space and has a bounded minimizing sequence, then has a minimum on .
Definition 9. Let be a real Banach space with a direct sum decomposition . The functional is said to have a local linking at , with respect to , if, for some ,(i),(ii).
If has a local linking at 0, then 0 is critical point (the trivial one). Suppose, furthermore, that there are two sequences of finite dimensional subspaces and such that
Definition 10 (see [13, Definition 2.2]). Let . The functional satisfies the condition if every sequence such that is admissible and contains a subsequence which converges to a critical point of .
Lemma 11 (see ). Suppose that satisfies the following assumptions: (1) satisfies the condition,(2) has a local linking at 0,(3) maps bounded sets into bounded sets,(4)for every , as , . Then has at least two critical points.
Lemma 12 (see ). Let E be a Banach space. Let be an even functional which satisfies the condition and . If , where is finite dimensional, and satisfies the following conditions:(1)there exist constants such that , where ,(2)for each finite-dimensional subspace there is such that , for all with . Then has an unbounded sequence of critical values.
3. Existence of Periodic Solutions
Theorem 13. Assume that , , and are satisfied, then problem (1) has at least one solution.
Proof. Let , . By Lemma 2, we have
for all . This implies that , and is coercive.
On the other hand, we show that is weakly lower semicontinuous. If , , then we have that converges uniformly to on and . Thus
By Lemma 8, has a minimum point on , which is a critical point of . Hence, problem (1) has at least one solution. The proof is complete.
We readily have the following corollary.
Corollary 14. Assume that , , and are satisfied and and the impulsive functions are bounded. Then problem (1) has at least one solution.
Lemma 15. Assume that , , and are satisfied, then satisfies the condition.
Proof. Assume that satisfies that is bounded and as . We will prove that the sequence is bounded.
It follows from , , , and Lemma 2, we have Hence, is bounded in .
Since is a reflexive Banach space, passing to a subsequence if necessary, we may assume that there is a such that Notice that Recalling the following well-known inequality: for any , for some constant (Lemma 4.2 in ) and using Schwarz inequality, we have Since By the assumption , we have From (39), it follows that in . Thus, satisfies the condition. The proof is complete.
Lemma 16. Assume that , , , and are satisfied, then satisfies the condition.
Proof. Let be a sequence in such that is admissible and
then there exist a constant such that
for all large . On the other hand, by , there are constants and such that
for all and a.e. . By one has
for all and a.e. . It follows from (47) and (48) that
From and Lemma 2, we have that for all , where , . Combining (49), (50), and Hölder’s inequality, we have for all large , where . On the other hand, by , there exist and such that for all and a.e. . By , for all and a.e. , where . Combining (52) and (53), one has for all and a.e. . According to , there exists such that Thus by (46), (54), and (55), we obtain for all large . From (56), is bounded. If , by Hölder’s inequality, we have Since for all , by (51) and (57), is bounded in . If , by Lemma 2, we obtain Since , , by (51) and (58), is also bounded in . Hence, is also bounded in . Going if necessary to a subsequence, we can assume that in . As the same the proof of Lemma 15, Therefore, in . Hence satisfies the condition.
Theorem 17. Assume that , , , , , and are satisfied and the following conditions hold.() There exist constants , , such that () is nondecreasing. Then the problem (1) has at least two critical points.
Proof. Let , for . Then . If one has , and if , we have .
Step 1. has a local linking at 0 with respect to .
For , using we have It follows from that Thus, for with , where is small enough.
For , with , we have since . Thus, From and it follows that Take . We know that has a local linking at 0 with respect to .
Step 2. maps bounded sets into bounded sets.
Assume , where is a constant. By , one has which implies that maps bounded sets into bounded sets.
Step 3. For every , as .
By , for any , there exists a constant such that for all . Since is of finite dimension, there exists such that for all , which implies Choosing , we have as .
Summing up the above, and by Lemma 16, satisfies all the assumptions of Lemma 11. Hence by Lemma 11, problem (1) has at least one nontrivial solution. The proof of Theorem 17 is completed.
Theorem 18. Assume that , , , , and are satisfied and the following conditions hold. . and nondecreasing. Then the problem (1) has an infinite number of nontrivial solutions.
Proof. , by () and (), is an even functional and .
First, we verify the condition (2) of Lemma 12. Integrating (65) for from and , respectively, we have That is, Combining (67) and (68), we have where On the other hand, by the continuity of , is bounded on , there exists such that Combining (69) and (71), we have where .
For arbitrary finite-dimensional subspace , and any , there exists such that By , (72), (73), and Lemma 2, we have for every . This implies that as and . So there exists such that on for all with .
In the following, we verify the condition (1) of Lemma 12.
Let , , then and is finite dimensional. Using () we have By and , we have Hence, for , there exists such that for every with , Hence, for any with , , by (18), (54) and (55), we have Take , then Hence, by Lemma 12 and Lemma 15, possesses infinite critical points, that is, problem (1) has infinite nontrivial solutions. The proof is complete.
Example 20. Let , , , . Consider the boundary value problem It is easy to check that all the conditions of Theorem 17 are satisfied. Thus, according to Theorem 17, problem (81) has at least two critical points.
Example 21. Let , , , . Consider the boundary value problem It is easy to check that all the conditions of Theorem 18 are satisfied. Therefore, according to Theorem 18, problem (82) has infinite nontrivial solutions.
This work is supported by the National Natural Sciences Foundation of China under Grant no. 10971183.
- M. Benchohra, J. Henderson, and S. Ntouyas, Impulsive Differential Equations and Inclusions, vol. 2 of Contemporary Mathematics and Its Applications, Hindawi Publishing Corporation, New York, NY, USA, 2006.
- A. M. Samoĭlenko and N. A. Perestyuk, Impulsive Differential Equations, vol. 14 of World Scientific Series on Nonlinear Science. Series A: Monographs and Treatises, World Scientific Publishing, River Edge, NJ, USA, 1995.
- J. J. Nieto and R. Rodríguez-López, “Boundary value problems for a class of impulsive functional equations,” Computers & Mathematics with Applications, vol. 55, no. 12, pp. 2715–2731, 2008.
- W. M. Haddad, V. Chellaboina, and S. G. Nersesov, Impulsive and Hybrid Dynamical Systems: Stability, Dissipativity, and Control, Princeton Series in Applied Mathematics, Princeton University Press, Princeton, NJ, USA, 2006.
- Z. Luo and J. J. Nieto, “New results for the periodic boundary value problem for impulsive integro-differential equations,” Nonlinear Analysis: Theory, Methods & Applications, vol. 70, no. 6, pp. 2248–2260, 2009.
- J. Chu and J. J. Nieto, “Impulsive periodic solutions of first-order singular differential equations,” Bulletin of the London Mathematical Society, vol. 40, no. 1, pp. 143–150, 2008.