Abstract
In this work, we investigate the existence of positive solutions of SturmLiouville boundary value problems for singular nonlinear secondorder impulsive integro differential equation in a real Banach space. Some new existence results of positive solutions are established by applying fixedpoint index theory together with comparison theorem. Some discussions and an example are given to demonstrate the applications of our main results.
MSC: 34B15, 34B25, 45J05.
Keywords:
measure of noncomparison; positive solution; boundary value problem; impulsive integrodifferential equation1 Introduction
In this paper, we study the existence of positive solutions to secondorder singular nonlinear impulsive integrodifferential equation of the form:
where , , , , , , , , , , , , and P is a positive cone in E. θ is a zero element of E, , , and
in which , , , and , . and denote the jump of and at , i.e.,
where , and , represent the righthand limit and lefthand limit of and at , respectively. and may be singular at and/or .
Boundary value problems for impulsive differential equations arise from many nonlinear problems in sciences, such as physics, population dynamics, biotechnology, and economics etc. (see [1,2,414,1618]). As it is well known that impulsive differential equations contain jumps and/or impulses which are main characteristic feature in computational biology. Over the past 15 years, a significant advance has been achieved in theory of impulsive differential equations. However, the corresponding theory of impulsive integrodifferential equations in Banach spaces does not develop rapidly. Recently, Guo [58] established the existence of a solution, multiple solutions and extremal solutions for nonlinear impulsive integrodifferential equations with nonsingular argument in Banach spaces. The main tools of Guo [58] are the Schauder fixedpoint theorem, fixedpoint index theory, upper and lower solutions together with the monotone iterative technique, respectively. The conditions of the Kuratowski measure of noncompactness in Guo [58] play an important role in the proof of the results. But all kinds of compactness type conditions is difficult to verify in abstract spaces. As a result, it is an interesting and important problem to remove or weak compactness type conditions.
Inspired and motivated greatly by the above works, the aim of the paper is to consider the existence of positive solutions for the boundary value problem (1.1) under simpler conditions. The main results of problem (1.1) are obtained by making use of fixedpoint index theory and fixedpoint theorem. More specifically, in the proof of these theorems, we construct a special cone for strict set contraction operator. Our main results in essence improve and generalize the corresponding results of Guo [58]. Moreover, our method is different from those in Guo [58].
The rest of the paper is organized as follows: In Section 2, we present some known results and introduce conditions to be used in the next section. The main theorem formulated and proved in Section 3. Finally, in Section 4, some discussions and an example for singular nonlinear integrodifferential equations are presented to demonstrate the application of the main results.
2 Preliminaries and lemmas
In this section, we shall state some necessary definitions and preliminaries results.
Definition 2.1 Let E be a real Banach space. A nonempty closed set is called a cone if it satisfies the following two conditions:
A cone is said solid if it contains interior points, . A cone P is called to be generating if , i.e., every element can be represented in the form , where . A cone P in E induces a partial ordering in E given by if . If and , we write ; if cone P is solid and , we write .
Definition 2.2 A cone is said to be normal if there exists a positive constant N such that , , , .
Definition 2.3 Let E be a metric space and S be a bounded subset of E. The measure of noncompactness of S is defined by
Definition 2.4 An operator is said to be completely continuous if it is continuous and compact. B is called a ksetcontraction () if it is continuous, bounded and for any bounded set , where denotes the measure of noncompactness of S.
A ksetcontraction is called a strictset contraction if . An operator B is said to be condensing if it is continuous, bounded, and for any bounded set with .
Obviously, if B is a strictset contraction, then B is a condensing mapping, and if operator B is completely continuous, then B is a strictset contraction.
It is well known that is a solution of the problem (1.1) if and only if is a solution of the following nonlinear integral equation:
where
where . In what follows, we write , (), . By making use of (2.1), we can prove that has the following properties.
Let . It is easy to verify is a Banach space with norm . Obviously, is a cone in Banach space .
Let , . It is easy to see that is a Banach space with the norm . Evidently, and is a cone in Banach space . For any , by making use of the mean value theorem (), obviously we see that exists and .
A map is called a nonnegative solution of problem (1.1) if , for and satisfies problem (1.1). An operator is called a positive solution of problem (1.1) if y is a nonnegative solution of problem (1.1) and .
For convenience and simplicity in the following discussion, we denote
where ν denote 0 or ∞.
To establish the existence of multiple positive solutions in E of problem (1.1), let us list the following assumptions, which will stand throughout the paper:
where and are Lebesgue integrable functionals on J () and satisfying
(H_{2}) , and there exist positive constants , and () satisfying
such that
(H_{3}) for any bounded set , , and together with are relatively compact sets,
We shall reduce problem (1.1) to an integral equation in E. To this end, we first consider operator defined by
Lemma 2.1is a solution of problem (1.1) if and only ifis a solution of the following impulsive integral equation:
i.e., yis a fixed point of operatorAdefined by (2.6) in.
Proof First suppose that is a solution of problem (1.1). It is easy to see by the integration of problem (1.1) that
Integrate again, we get
Letting in (2.8) and (2.9), we find that
Since
We get
Substituting (2.12) and (2.13) into (2.9), we obtain
Conversely, if is a solution of the integral equation (2.7). Evidently, (). For , direct differentiation of the integral equation (2.7) implies
and . So and (). It is easy to verify that and . The proof is complete. □
Thanks to (2.1), we know that
In the following, let . For , we denote , and ().
Lemma 2.2 ([12])
Letbe a bounded set. Suppose thatis equicontinuous on each (). Then
where ϒ anddenote the Kuratowski measures of noncompactness of bounded sets inEand, respectively.
Lemma 2.3 ([15])
Letbe bounded equicontinuous, thenis continuous onJand
Lemma 2.4 ([15])
is relatively compact if and only if each elementandare uniformly bounded and equicontinuous on each ().
Lemma 2.5 ([15])
LetEbe a Banach space andifHis countable and there existssuch that, , . Thenis integrable onJ, and
Proof For any , from Proposition 2.1 and (2.6), we obtain
On the other hand, for any , by (2.6) and Proposition 2.2, we know that
Lemma 2.7Suppose that (H_{1}) and (H_{3}) hold. Thenis completely continuous.
Proof Firstly, we show that is continuous. Assume that and , (). Since , and , then
and
Thus, for any , from the Lebesgue dominated convergence theorem together with (2.14) and (2.15), we know that
Let be any bounded set, then there exists a positive constant such that . Thus, for any , , we know that
Therefore,
Integrating from 0 to 1 and exchanging integral sequence, then
Thus, by (H_{1}) and (2.17), we have . Hence, for any and for all , from (2.16), we know that
From (2.17), (2.18), and the absolutely continuity of integral function, we see that is equicontinuous.
On the other hand, for any and , we know that
Therefore, is uniformly bounded. By virtue of Lemma 2.3 and (H_{3}), we know that
So, . Therefore, A is compact. To sum up, the conclusion of Lemma 2.7 follows. □
The main tools of the paper are the following wellknown fixedpoint index theorems (see [24]).
Lemma 2.8Letbe a completely continuous mapping andfor. Thus, we have the following conclusions:
3 Main results
In this section, we establish the existence of positive solutions for problem (1.1) by making use of Lemma 2.8.
Theorem 3.1Suppose that (H_{1})(H_{4}) hold. Then problem (1.1) has at least one positive solution.
Proof From (H_{4}), there exists such that and also there exists such that for any and , we have
Set . Then for any , by virtue of (3.1), we know that
Let . Then is a bounded open subsets in E, and so for any and , we obtain
From (3.2) and (3.3), we get
Therefore, A has at least one fixed point on . Consequently, problem (1.1) has at least one positive solution. □
Theorem 3.2Suppose that (H_{1})∼(H_{3}) and (H_{5}) are satisfied. Then problem (1.1) has at least one positive solution.
Proof From (H_{5}), we can choose such that and also there exists such that for any and , we have
Let . By virtue of (3.4), we know that
Set . Then for any , by virtue of (3.5), we know that
By the same method as the selection of in Theorem 3.1, we can obtain satisfying
According to (3.6) and (3.7), we get
Therefore, A has at least one fixed point on . Consequently, problem (1.1) has at least one positive solution. The proof is complete. □
4 Concerned results and applications
In this section, we deal with a special case of the problem (1.1). The method is just similar to what we have done in Section 3, so we omit the proof of some main results of the section. Case is treated in the following theorem. Under the case, the problem (1.1) reduces to the following boundary value problems:
Theorem 4.1Assume that (H_{2}) holds, and the following conditions are satisfied:
whereandare Lebesgue integrable functionals onJ () and satisfying
(C_{2}) for any bounded set (), andtogether withare relatively compact sets.
(C_{3}) , wheremis defined by (2.4). Then the problem (4.1) has at least one positive solution.
Theorem 4.2Assume that (H_{2}) and (C_{1})∼(C_{2}) hold, and the following condition is satisfied:
(C_{4}) , wheremis defined by (2.4). Then the problem (4.1) has at least one positive solution.
To illustrate how our main results can be used in practice, we present an example.
Example 4.1 Consider the following boundary value problem for scalar secondorder impulsive integrodifferential equation:
5 Conclusion
The problem (4.2) has at least one positive solution .
Choose . By simple computation, we know that
Then conditions (H_{1})∼(H_{4}) are satisfied. Therefore, by Theorem 3.1, the problem (4.2) has at least one positive solution.
Remark 5.1 In [12], by requiring that f satisfies some noncompact measure conditions and P is a normal cone, Guo established the existence of positive solutions for initial value problem. In the paper, we impose some weaker condition on f, we obtain the positive solution of the problem (1.1).
Remark 5.2 For the special case when the problem (1.1) has no singularities and , our results still hold. Obviously, our theorems generalize and improve the results in [912].
Competing interests
The author declares that she has no competing interests.
Acknowledgements
The author is very grateful to Professor Lishan Liu and Professor R. P. Agarwal for their making many valuable comments. The author would like to express her thanks to the editor of the journal and the anonymous referees for their carefully reading of the first draft of the manuscript and making many helpful comments and suggestions which improved the presentation of the paper. The author was supported financially by the Foundation of Shanghai Municipal Education Commission (Grant Nos. DYL201105).
References

Wu, CZ, Teo, KL, Zhou, Y, Yan, WY: An optimal control problem involving impulsive integrodifferential systems. Optim. Methods Softw.. 22, 531–549 (2007). Publisher Full Text

Wu, CZ, Teo, KL, Zhou, Y, Yan, WY: Solving an identification problem as an impulsive optimal parameter selection problem. Comput. Math. Appl.. 50, 217–229 (2005). Publisher Full Text

Guo, D, Lakshmikantham, V: Nonlinear Problems in Abstract Cones, Academic Press, Boston (1988)

Guo, D: Boundary value problems for impulsive integrodifferential equations on unbounded domains in a Banach space. Appl. Math. Comput.. 99, 1–15 (1999). Publisher Full Text

Guo, D: Existence of positive solutions for nth order nonlinear impulsive singular integrodifferential equations in a Banach space. Nonlinear Anal.. 68, 2727–2740 (2008). Publisher Full Text

Guo, D: Existence of solutions for nth order impulsive integrodifferential equations in Banach space. Nonlinear Anal.. 44, 1339–1356 (2002)

Guo, D: Extremal solutions for nth order impulsive integrodifferential equations on the halfline in Banach space. Nonlinear Anal.. 65, 677–696 (2006). Publisher Full Text

Guo, D: Multiple positive solutions for nth order impulsive integrodifferential equations in Banach space. Nonlinear Anal.. 60, 955–976 (2005). Publisher Full Text

Liu, L, Xu, Y, Wu, Y: On unique solution of an initial value problem for nonlinear firstorder impulsive integrodifferential equations of Volterra type in Banach spaces. Dyn. Contin. Discrete Impuls. Syst., Ser. A Math. Anal.. 13, 641–652 (2006)

Xu, Y: A global solutions of initial value problems for second order impulsive integro differential equations in Banach spaces. Acta Math. Sin., Chin. Ser.. 25(1), 47–56 (2005)

Liu, L, Wu, Y, Zhang, X: On wellposedness of an initial value problem for nonlinear second order impulsive integro differential equations of Volterra type in Banach spaces. J. Math. Anal. Appl.. 317, 634–649 (2006). Publisher Full Text

Zhang, X, Liu, L: Initial value problem for nonlinear second order impulsive integro differential equations of mixed type in Banach spaces. Nonlinear Anal.. 64, 2562–2574 (2006). Publisher Full Text

Guo, D: Existence of solutions for nthorder impulsive integrodifferential equations in a Banach space. Nonlinear Anal.. 47, 741–752 (2001). Publisher Full Text

Liu, L, Wu, C, Guo, F: A unique solution of initial value problems for first order impulsive integrodifferential equations of mixed type in Banach spaces. J. Math. Anal. Appl.. 275, 369–385 (2002). Publisher Full Text

Liu, L: Iterative method for solution and coupled quasisolutions of nonlinear integro differential equations of mixed type in Banach spaces. Nonlinear Anal.. 42, 583–598 (2000). Publisher Full Text

Liu, L: The solutions of nonlinear integrodifferential equations of mixed type in Banach spaces. Acta Math. Sin., Chin. Ser.. 38, 721–731 (1995)

Zhang, X, Feng, M, Ge, W: Existence of solutions of boundary value problems with integral boundary conditions for secondorder impulsive integrodifferential equations in Banach spaces. J. Comput. Appl. Math.. 233, 1915–1926 (2010). Publisher Full Text

Feng, M, Pang, H: A class of threepoint boundaryvalue problems for secondorder impulsive integrodifferential equations in Banach spaces. Nonlinear Anal.. 70, 64–82 (2009). Publisher Full Text