 Research
 Open access
 Published:
Existence of positive solutions for nonlocal secondorder boundary value problem with variable parameter in Banach spaces
Fixed Point Theory and Applications volume 2011, Article number: 43 (2011)
Abstract
By obtaining intervals of the parameter λ, this article investigates the existence of a positive solution for a class of nonlinear boundary value problems of secondorder differential equations with integral boundary conditions in abstract spaces. The arguments are based upon a specially constructed cone and the fixed point theory in cone for a strict set contraction operator.
MSC: 34B15; 34B16.
1 Introduction
The existence of positive solutions for secondorder boundary value problems has been studied by many authors using various methods (see [1–6]). Recently, the integral boundary value problems have been studied extensively. Zhang et al. [7] investigated the existence and multiplicity of symmetric positive solutions for a class of pLaplacian fourthorder differential equations with integral boundary conditions. By using Mawhin's continuation theorem, some sufficient conditions for the existence of solution for a class of secondorder differential equations with integral boundary conditions at resonance are established in [8]. Feng et al. [9] considered the boundary value problems with onedimensional (1D) pLaplacian and impulse effects subject to the integral boundary condition. This study in this article is motivated by Feng and Ge [1], who applied a fixed point theorem [10] in cone to the secondorder differential equations.
Let E be a real Banach space with norm  ·  and P ⊂E be a cone of E. The purpose of this article is to investigate the existence of positive solutions of the following secondorder integral boundary value problem:
where q ∈ C[0, 1], λ > 0 is a parameter, f(t, x) ∈ C([0, 1] × P, P), and g ∈ L^{1}[0, 1] is nonnegative, θ is the zero element of E.
The main features of this article are as follows. First, the author discusses the existence results in the case q ∈ C[0, 1], not q(t) = 0 as in [1]. Second, comparing with [1], let us consider the existence results in the case λ > 0, not λ = 1 as in [1]. To our knowledge, no article has considered problem (1.1) in abstract spaces.
The organization of this article is as follows. In Section 2, the author provides some necessary background. In particular, the author states some properties of the Green function associated with problem (1.1). In Section 3, the main results will be stated and proved.
Basic facts about ordered Banach space E can be found in [10, 11]. In this article, let me just recall a few of them. The cone P in E induces a partial order on E, i.e., x ≤ y if and only if y  x ∈ P. P is said to be normal if there exists a positive constant N such that θ ≤ x ≤ y implies x ≤ Ny. Without loss of generality, let us suppose that, in the present article, the normal constant N = 1.
Now let us consider problem (1.1) in C[I, E], in which I = [0, 1]. Evidently, (C[I, E],  · _{ c }) is a Banach space with norm x _{ c } = max _{ t∈I } x(t) for x ∈ C[I, E]. In the following, x ∈ C[I, E] is called a solution of (1.1) if it satisfies (1.1). x is a positive solution of (1.1) if, in addition, x(t) > θ for t ∈ (0, 1).
In the following, the author denotes Kuratowski's measure of noncompactness by α(·).
Lemma 1.1[10]Let K be a cone of Banach space E and K_{ r, R } = {x ∈ K, r ≤ x ≤ R}, R > r > 0. Suppose that A:K_{ r, R } → K is a strict set contraction such that one of the following two conditions is satisfied:
Then, A has a fixed point x ∈ K_{ r, R } such that r ≤ x ≤ R.
2 Preliminaries
To establish the existence and nonexistence of positive solutions in C[I, P] of (1.1), let us list the following assumptions, which will hold throughout this article:

(H)
m\left(t\right)={\int}_{0}^{t}q\left(s\right)ds,{\int}_{0}^{1}{e}^{m\left(x\right)}dx=c\in R, inf_{ t∈I }{m(t)} = d > ∞, and for any r > 0, f is uniformly continuous on I × P_{ r } . f(t, P_{ r } ) is relatively compact, and there exist a, b ∈ L(I, R ^{+}), and w ∈ C(R ^{+}, R ^{+}), such that f(t, x) ≤ a(t) + b(t)w(x), a.e. t ∈ I, x ∈ P, where P_{ r } = P ∩ T_{ r } .
In the case of main results of this study, let us make use of the following lemmas.
Lemma 2.1 Assume that (H) holds, then x is a nonnegative solution of (1.1) if and only if x is a fixed point of the following integral operator:
where
Proof. By
we get
Therefore,
Moreover, by G(0, s) = G(1, s) = 0, it is easy to verify that Tx\left(0\right)={\int}_{0}^{1}g\left(s\right)Tx\left(s\right)ds, Tx(1) = θ. The lemma is proved.
For convenience, let us define
For the Green's function G(t, s), it is easy to prove that it has the following two properties.
Proposition 2.1 For t, s ∈ I, we have 0 ≤ H(t, s) ≤ h(s) ≤ k_{0}.
Proposition 2.2 For t, w, s ∈ I, we have H(t, t) ≥ e(s)H(w, s).
To obtain a positive solution, let us construct a cone K by
where Q = {x ∈ C[I, E]: x(t) ≥ θ, t ∈ I}.
It is easy to see that K is a cone of C[I, E] and K_{ r, R } = {x ∈ K: r ≤ x ≤ R} ⊂K, K ⊂Q.
In the following, let B_{ l } = {x ∈ C[I, E]: x _{ c } ≤ l}, l > 0.
Lemma 2.2[10]Let H be a countable set of strongly measurable function x: J → E such that there exists a M ∈ L[I, R^{+}] such that x(t) ≤ M(t) a.e. t ∈ I for all x ∈ H. Then α(H(t)) ∈ L[I, R^{+}] and
Lemma 2.3 Suppose that (H) holds. Then T(K) ⊂K and T: K_{ r, R } → K is a strict set contraction.
Proof. Observing H(t, s) ∈ C(I × I) and f ∈ C(I × P, P), we can get Tu ∈ C(I, E). For any u ∈ K, we have
Tu\left(t\right)=\lambda {\int}_{0}^{1}H\left(t,s\right)f\left(s,u\left(s\right)\right)ds\ge \lambda e\left(t\right){\int}_{0}^{1}H\left(w,s\right)f\left(s,u\left(s\right)\right)ds=e\left(t\right)Tu\left(w\right),\phantom{\rule{1em}{0ex}}t,w\in \left(0,1\right), thus, T: K → K. Therefore, by (H), it is easily seen that T ∈ C(K, K). On the other hand, let V={\left\{{u}_{n}\right\}}_{n=1}^{\infty}, be a bounded sequence, u_{ n }  _{ c } ≤ r, let M_{ r } = {w(v): 0 ≤ v ≤ r}, be (H), then we have
Then
Hence, T: K_{ r, R } → K is a strict set contraction. The proof is complete.
3 Main results
Definition 3.1 Let P be a cone of real Banach space E. If P* = {φ ∈ E* φ(x) ≥ 0, x ∈ P}, then P* is a dual cone of cone P. Write
where β denotes 0 or ∞, φ ∈ P*, and φ = 1.
In this section, let us apply Lemma 1.1 to establish the existence of a positive solution for problem (1.1).
Theorem 3.1 Assume that (H) holds, P is normal and for any x ∈ P, A(φf)_{∞} > Bf^{0}. Then problem (1.1) has at least one positive solution in K provided
Proof. Let T be a cone preserving, strict set contraction that was defined by (2.1).
According to (3.1), there exists ε > 0 such that
Considering f^{0} < ∞, there exists r_{1} > 0 such that f(t, x) ≤ (f^{0} + ε)x, for x ≤ r_{1}, x ∈ P, and t ∈ I.
Therefore, for t ∈ I, x ∈ K, x _{ c } = r_{1}, we have
Therefore,
Next, turning to (φf)_{∞} > 0, there exists r_{2} > r_{1}, such that φ(f(t, x(t))) ≥ [(φf)_{∞}  ε] x, for x ≥ r_{2}, x ∈ P, t ∈ I. Then, for t ∈ I, x ∈ K, x _{ c } = r_{2}, we have by Proposition 2.2 and (2.8),
Therefore,
Applying (b) of Lemma 1.1 to (3.3) and (3.4) yields that T has a fixed point {x}^{*}\in {K}_{{r}_{1},{r}_{2}},{r}_{1}\le \parallel {x}^{*}{\parallel}_{c}\le {r}_{2} and x*(t) ≤ e(t)x*(s) > θ, t ∈ I, s ∈ I.
The proof is complete.
Similar to the proof of Theorem 3.1, we can prove the following results.
Theorem 3.2 Assume that (H) holds, P is normal and for any x ∈ P, A(φf)_{0} > Bf^{∞}. Then problem (1.1) has at least one positive solution in K provided
Proof. Considering (φf)_{0} > 0, there exists r_{3} > 0 such that φ(f(t, x)) ≥ [(φf)_{0}  ε]x, for x ≤ r_{3}, x ∈ P, t ∈ I.
Therefore, for t ∈ I, x ∈ K, x _{ c } = r_{3}, similar to (3.3), we have
Therefore,
Using a similar method, we can get r_{4} > r_{3}, such that
Applying (a) of Lemma 1.1 to (3.3) and (3.4) yields that T has a fixed point {x}^{*}\in {K}_{{r}_{3},{r}_{4}},{r}_{3}\le \parallel {x}^{*}{\parallel}_{c}\le {r}_{4} and x*(t) ≤ e(t)x*(s) > θ, t ∈ I, s ∈ I.
The proof is complete.
Theorem 3.3 Assume that (H) holds, P is normal and for any f(t, x) ≤ x, x > 0. Then problem (1.1) has no positive solution in K provided λB < 1.
Proof. Assume to the contrary that x(t) is a positive solution of the problem (1.1). Then x ∈ K, x _{ c } > 0 for t ∈ I, and
which is a contradiction, and completes the proof.
Similarly, we have the following results.
Theorem 3.4 Assume that (H) holds, P is normal and for any f(t, x) ≥ x, x > 0 Then problem (1.1) has no positive solution in K provided λA > 1.
Remark 3.1 When q(t) ≡ 0, λ = 1, the problem (1.1) reduces to the problem studied in[1], and so our results generalize and include some results in[1].
References
Feng M, Ji D, Ge W: Positive solutions for a class of boundaryvalue problem with integral boundary conditions in Banach spaces. J Comput Appl Math 2008,222(2):351–363. 10.1016/j.cam.2007.11.003
Li F, Sun J, Jia M: Monotone iterative method for the secondorder threepoint boundary value problem with upper and lower solutions in the reversed order. Appl Math Comput 2011,217(9):4840–4847. 10.1016/j.amc.2010.11.003
Sun Y, Liu L, Zhang J, Agarwal R: Positive solutions of singular threepoint boundary value problems for secondorder differential equations. J Comput Appl Math 2009,230(2):738–750. 10.1016/j.cam.2009.01.003
Li F, Jia M, Liu X, Li C, Li G: Existence and uniqueness of solutions of secondorder threepoint boundary value problems with upper and lower solutions in the reversed order. Nonlinear Anal. Theory Methods Appl 2008,68(8):2381–2388. 10.1016/j.na.2007.01.065
Lee Y, Liu X: Study of singular boundary value problems for second order impulsive differential equations. J Math Anal Appl 2007,331(1):159–176. 10.1016/j.jmaa.2006.07.106
Zhang G, Sun J: Multiple positive solutions of singular secondorder mpoint boundary value problems. J Math Anal Appl 2006,317(2):442–447. 10.1016/j.jmaa.2005.08.020
Zhang X, Feng M, Ge W: Symmetric positive solutions for pLaplacian fourthorder differential equations with integral boundary conditions. J Comput Appl Math 2008,222(2):561–573. 10.1016/j.cam.2007.12.002
Zhang X, Feng M, Ge W: Existence result of secondorder differential equations with integral boundary conditions at resonance. J Math Anal Appl 2009,353(1):311–319. 10.1016/j.jmaa.2008.11.082
Feng M, Du B, Ge W: Impulsive boundary value problems with integral boundary conditions and onedimensional pLaplacian. Nonlinear Anal 2009,70(9):3119–3126. 10.1016/j.na.2008.04.015
Guo D, Lakshmikantham V, Liu X: Nonlinear Integral Equations in Abstract Spaces. Kluwer Academic Publishers, Dordrecht; 1996.
Guo D, Lakskmikantham V: Nonlinear Problems in Abstract Cones. Academic Press, New York; 1988.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declare that they have no competing interests.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Zhang, P. Existence of positive solutions for nonlocal secondorder boundary value problem with variable parameter in Banach spaces. Fixed Point Theory Appl 2011, 43 (2011). https://doi.org/10.1186/16871812201143
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/16871812201143