 Research
 Open Access
 Published:
Symmetric positive solutions to a secondorder boundary value problem with integral boundary conditions
Boundary Value Problems volume 2013, Article number: 150 (2013)
Abstract
This paper investigates the existence of concave symmetric positive solutions and establishes corresponding iterative schemes for a secondorder boundary value problem with integral boundary conditions. The main tool is a monotone iterative technique. Meanwhile, an example is worked out to demonstrate the main results.
1 Introduction
The theory of boundary value problems with integral boundary conditions for ordinary differential equations arises in different areas of applied mathematics and physics. For example, heat conduction, chemical engineering, underground water flow, thermoelasticity, and plasma physics can be reduced to the nonlinear problems with integral boundary conditions; we refer readers to [1–3] for examples and references.
At the same time, boundary value problems with integral boundary conditions constitute a very interesting and important class of problems. They include two, three, multipoint and nonlocal boundary value problems as special cases.
Hence, increasing attention is paid to boundary value problems with integral boundary conditions [4–8]. Generally, the GuoKrasnosel’ skii fixed point theorem in a cone, the LeggettWilliams fixed point theorem, the method of upper and lower solutions and the monotone iterative technique play extremely important roles in proving the existence of solutions to boundary value problems. In particular, we would like to mention some excellent results.
In [4], Ma studied the following problem:
where p,q\in {L}^{1}[0,1], h and f are continuous. The existence of at least one symmetric positive solution is obtained by the application of the fixed point index in cones.
In 2010, Wang et al. [7] considered the secondorder boundary value problem with the integral boundary conditions
where ϕ, f, {h}_{1} and {h}_{2} are continuous, {k}_{1} and {k}_{2} are nonnegative constants. The existence result was obtained by applying the method of upper and lower solutions and LeraySchauder degree theory. Theorem 1 (see [7]) supposed that the upper and lower solutions exist, and then, the theory of differential inequalities was used to prove that there is a solution to the boundary value problem between the upper and lower solutions.
Different from [7], [9] is not based on the assumption that the upper and lower solutions to the boundary value problem should exist, but constructs the specific form of the symmetric upper and lower solutions. The author in [9] investigated a secondorder SturmLiouville boundary value problem
And by applying monotone iterative techniques, author proved the existence of n symmetric positive solutions.
To the best of our knowledge, no contribution exists concerning the existence of solutions for a boundary value problem with integral boundary conditions by applying monotone iterative techniques. Inspired by the work mentioned above, we concentrate on the following problem:
where p\in {L}^{1}[0,1]. We construct a specific form of the symmetric upper and lower solutions, and by applying monotone iterative techniques, we construct successive iterative schemes for approximating solutions.
The difficulty of this paper is that the nonlinear term f depends on {u}^{\prime}, which leads to complexities to prove the properties of the operator T, especially the monotonicity of the operator T. In Lemma 2.2, we skillfully use the cone’s character to overcome the mentioned obstacle. In addition, it is worth stating that the first term of our iterative scheme is a simple function or a constant function. Therefore, the iterative scheme is feasible. Under the appropriate assumptions on nonlinear term, this paper aims to establish a new and general result on the existence of a symmetric positive solution to BVP (1.1) and (1.2).
2 Preliminaries
Definition 2.1 Let E be a Banach space, a nonempty convex closed set P\subset E is said to be a cone provided the following hypotheses are satisfied:

(i)
if u\in P, \lambda \u2a7e0, then \lambda u\in P;

(ii)
if u\in P and u\in P, then u=0.
Every cone P\subset E induces a partial ordering ‘⩽’ on E defined by
Definition 2.2 Let (E,\u2a7d) be an ordered Banach space. An operator \phi :E\to E is said to be nondecreasing (nonincreasing) provided that \phi (u)\u2a7d\phi (v) (\phi (u)\u2a7e\phi (v)) for all u,v\in E with u\u2a7dv. If the inequality is strict, then φ is said to be strictly nondecreasing (nonincreasing).
Definition 2.3 Let E={C}^{1}[0,1], u\in E is said to be concave on [0,1] if
for any {x}_{1},{x}_{2}\in [0,1] and \lambda \in [0,1].
We consider the Banach space E={C}^{1}[0,1] equipped with the norm \parallel u\parallel =max\{{\parallel u\parallel}_{\mathrm{\infty}},{\parallel {u}^{\prime}\parallel}_{\mathrm{\infty}}\}, where {\parallel u\parallel}_{\mathrm{\infty}}={max}_{x\in [0,1]}u(x). In this paper, a symmetric positive solution {u}^{\ast} of (1.1) means a function which is symmetric and positive on (0,1) and satisfies equation (1.1) as well as the boundary conditions (1.2).
In this paper, we always suppose that the following assumptions hold:
(H_{1}) f\in C([0,1]\times [0,+\mathrm{\infty})\times R,[0,+\mathrm{\infty})), f(x,u,v)=f(1x,u,v) for x\in [\frac{1}{2},1], and f(x,u,v)>0 for all (x,u,v)\in [0,1]\times [0,+\mathrm{\infty})\times R;
(H_{2}) f(x,\cdot ,v) is nondecreasing for each (x,v)\in [0,\frac{1}{2}]\times R, f(x,u,\cdot ) is nondecreasing for (x,u)\in [0,\frac{1}{2}]\times [0,+\mathrm{\infty});
(H_{3}) p\in {L}^{1}[0,1] is nonnegative and 0\le \mu <1, where \mu ={\int}_{0}^{1}p(s)\phantom{\rule{0.2em}{0ex}}ds.
Denote
It is easy to see that P is a cone in E.
For any y\in {C}^{+}[0,1], suppose that u is a solution of the following BVP:
Then we can easily get the solution:
where
and
During the process of getting the above solution, we can also know
for x\in [0,1].
Lemma 2.1 If (H_{3}) is satisfied, the following results are true:

1.
H(x,t)\u2a7e0, for x,t\in [0,1]; H(x,t)>0 for x,t\in (0,1).

2.
G(1x,1t)=G(x,t), G(x,t)\u2a7dG(x,x) for x,t\in [0,1].
For any y\in {C}^{+}[0,1], T:P\to E is defined
Lemma 2.2 If (H_{3}) is satisfied, T:P\to P is completely continuous, i.e., T is continuous and compact. Moreover, T is nondecreasing provided that (H_{2}) holds.
Proof For any y\in P, from the definition of Ty, we know
Obviously, Ty is concave. From the expression of Ty, combining with Lemma 2.1, we know that Ty is nonnegative on [0,1]. We now prove that Ty is symmetric about \frac{1}{2}.
For x\in [0,\frac{1}{2}], then(1x)\in [\frac{1}{2},1], and
Similarly, we have
So, TP\subset P. The continuity of T is obvious. We now prove that T is compact. Let \mathrm{\Omega}\subset P be a bounded set. Then there exists R such that
For any y\in \mathrm{\Omega}, we have
Therefore, from (2.3), we have
So, \parallel (Ty)\parallel is uniformly bounded. Now we prove Ty is equicontinuous. For 0\u2a7d{x}_{1}\u2a7d{x}_{2}\u2a7d\frac{1}{2}, we have
Moreover,
And the similar results can be obtained for \frac{1}{2}\u2a7d{x}_{1}\u2a7d{x}_{2}\u2a7d1 and 0\u2a7d{x}_{1}\u2a7d\frac{1}{2}\u2a7d{x}_{2}\u2a7d1.
The ArzelàAscoli theorem guarantees that T Ω is relatively compact, which means T is compact.
Finally, we show that Ty is nondecreasing about y.
For any {y}_{i}(x)\in P (i=1,2) with {y}_{1}(x)\u2a7d{y}_{2}(x). By the properties of a cone, we have {y}_{2}(x){y}_{1}(x)\in P for x\in [0,1]. Then {y}_{2}(x){y}_{1}(x)\u2a7e0 is concave and symmetric about \frac{1}{2}. Therefore,
Hence, for x\in [0,\frac{1}{2}], by (H_{2}) and the definition of Ty, we have
Furthermore, we have
In order to prove (T{y}_{2})(x)(T{y}_{1})(x) is concave, we need to prove {(T{y}_{2})}^{\prime}(x){(T{y}_{1})}^{\prime}(x) is nonincreasing. Let 0\u2a7d{x}_{1}\u2a7d{x}_{2}\u2a7d\frac{1}{2}, then
A similar result can be obtained for x\in [\frac{1}{2},1]. And it is easy to see that (T{y}_{2})(x)(T{y}_{1})(x) is symmetric about \frac{1}{2}. So, (T{y}_{2}T{y}_{1})\in P and thus T is nondecreasing. □
3 Existence and iterative of solutions for BVP (1.1) and (1.2)
Theorem 3.1 Assume that (H_{1})(H_{3}) hold. If there exist two positive numbers {a}_{1}<a such that
where a and {a}_{1} satisfy
then problem (1.1) and (1.2) has a concave symmetric positive solution {w}^{\ast},{v}^{\ast}\in P with
Proof We denote {P}_{a}=\{w\in P:\parallel w\parallel \u2a7da\}. In what follows, we first prove T{P}_{a}\subset {P}_{a}.
Let w\in {P}_{a}, then 0\u2a7dw(x)\u2a7d{max}_{x\in [0,1]}w(x)={\parallel w\parallel}_{\mathrm{\infty}}\u2a7da, {max}_{x\in [0,1]}{w}^{\prime}(x)={w}^{\prime}(0)\u2a7da.
By assumption (H_{2}) and (3.1), for x\in [0,\frac{1}{2}], we have
For any w(x)\in {P}_{a}, by Lemma 2.2, we know Tw\in P and, as a result,
and
Hence, \parallel Tw\parallel \u2a7da. Thus, we get T{P}_{a}\subset {P}_{a}. Let {w}_{0}(x)=ax(1x)+\frac{3}{4}a for x\in [0,1], then \parallel {w}_{0}\parallel =a and {w}_{0}(x)\in {P}_{a}. Let {w}_{1}(x)=T{w}_{0}, then {w}_{1}\in {P}_{a}. We denote
Since T{P}_{a}\subset {P}_{a}, we have {w}_{n}\in {P}_{a} (n=0,1,2,\dots). From Lemma 2.2, T is compact, we assert that {\{{w}_{n}\}}_{n=1}^{\mathrm{\infty}} has a convergent subsequence {\{{w}_{{n}_{k}}\}}_{k=1}^{\mathrm{\infty}} and there exists {w}^{\ast}\in {P}_{a} such that {w}_{{n}_{k}}\to {w}^{\ast}. From the definition of T, (3.1) and (3.2), we have
On the other hand, we notice that
So, {w}_{0}(x){w}_{1}(x)\in {P}_{a}. By Lemma 2.2, we know T{w}_{1}\u2a7dT{w}_{0}, which means {w}_{2}\u2a7d{w}_{1}, 0<x<1. By induction, {w}_{n+1}\u2a7d{w}_{n}, 0<x<1 (n=0,1,2,\dots). Hence, we assert that {w}_{n}\to {w}^{\ast}. Let n\to \mathrm{\infty} in (3.4) to obtain T{w}^{\ast}={w}^{\ast} since T is continuous. It is well known that the fixed point of the operator T is the solution of BVP (1.1) and (1.2). Therefore, {w}^{\ast} is a concave symmetric positive solution of BVP (1.1) and (1.2).
Let {v}_{0}=0, x\in [0,1], then {v}_{0}\in {P}_{a}. Let {v}_{1}=T{v}_{0}, then {v}_{1}\in {P}_{a}, we denote
Similarly to {\{{v}_{n}\}}_{n=1}^{\mathrm{\infty}}, we assert that {\{{v}_{n}\}}_{n=1}^{\mathrm{\infty}} has a convergent subsequence {\{{v}_{{n}_{k}}\}}_{k=1}^{\mathrm{\infty}} and there exists {v}^{\ast}\in {P}_{a} such that {v}_{{n}_{k}}\to {v}^{\ast}. Now, since {v}_{1}\u2a7e{v}_{0}, by Lemma 2.2, we know T{v}_{1}\u2a7eT{v}_{0}, which means {v}_{2}\u2a7e{v}_{1}, 0<x<1. By induction, {v}_{n+1}\u2a7e{v}_{n}, 0<x<1 (n=0,1,2,\dots). Hence, we assert that {v}_{n}\to {v}^{\ast}, T{v}^{\ast}={v}^{\ast}, and {v}^{\ast}(x)>0, x\in (0,1). Therefore, {v}^{\ast} is a concave symmetric positive solution of BVP (1.1) and (1.2). □
Remark The existence of a solution under the assumptions of Theorem 3.1 is just a consequence of Schauder’s fixed point theorem. The monotone iterative technique adds the information about the approximation sequences.
Example Consider the following secondorder boundary value problem with integral boundary conditions:
And we have
It is easy to check that the assumptions (H_{1})(H_{3}) hold and \mu =1/2. Set a=10, {a}_{1}=15. Then we can verify that condition (3.1) is satisfied. Then applying Theorem 3.1, BVP (3.6) has a concave symmetric positive solution {w}^{\ast},{v}^{\ast}\in P with
References
Gallardo JM: Second order differential operators with integral boundary conditions and generation of semigroups. Rocky Mt. J. Math. 2000, 30: 1265–1292. 10.1216/rmjm/1021477351
Karakostas GL, Tsamatos PC: Multiple positive solutions of some Fredholm integral equations arisen from nonlocal boundaryvalue problems. Electron. J. Differ. Equ. 2002, 30: 1–17.
Lomtatidze A, Malaguti L: On a nonlocal boundaryvalue problems for second order nonlinear singular differential equations. Georgian Math. J. 2000, 7: 133–154.
Ma H: Symmetric positive solutions for nonlocal boundary value problems of fourth order. Nonlinear Anal. 2008, 68: 645–651. 10.1016/j.na.2006.11.026
Boucherif A: Secondorder boundary value problems with integral boundary conditions. Nonlinear Anal. 2009, 70: 364–371. 10.1016/j.na.2007.12.007
Feng M: Existence of symmetric positive solutions for a boundary value problem with integral boundary conditions. Appl. Math. Lett. 2011, 24: 1419–1427. 10.1016/j.aml.2011.03.023
Wang Y, Liu G, Hu Y: Existence and uniqueness of solutions for a second order differential equation with integral boundary conditions. Appl. Math. Comput. 2010, 216: 2718–2727. 10.1016/j.amc.2010.03.118
Jankowski T: Secondorder boundary value problems with integral boundary conditions. J. Comput. Appl. Math. 2002, 147: 1–8. 10.1016/S03770427(02)003710
Yao Q: Existence and iteration of n symmetric positive solutions for a singular twopoint boundary value problem. Comput. Math. Appl. 2004, 47: 1195–1200. 10.1016/S08981221(04)901137
Acknowledgements
The authors are highly grateful for the referees’ careful reading and comments on this paper. The research is supported by Chinese Universities Scientific Fund (Project No. 2013QJ004).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.
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
Pang, H., Tong, Y. Symmetric positive solutions to a secondorder boundary value problem with integral boundary conditions. Bound Value Probl 2013, 150 (2013). https://doi.org/10.1186/168727702013150
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168727702013150
Keywords
 integral boundary conditions
 iterative
 monotone positive solution
 symmetric
 completely continuous