- Research
- Open access
- Published:
Existence of positive solutions of third-order boundary value problems with integral boundary conditions in Banach spaces
Advances in Difference Equations volume 2013, Article number: 65 (2013)
Abstract
This paper deals with positive solutions of a third-order differential equation in ordered Banach spaces,
subject to the following integral boundary conditions:
where θ is the zero element of E, is nonnegative, is an increasing and positive homomorphism, and . The arguments are based upon the fixed-point principle in cone for strict set contraction operators. Meanwhile, as an application, we also give an example to illustrate our results.
1 Introduction
The theory of boundary value problems is experiencing a rapid development. Many methods are used to study this kind of problems such as fixed point theorems, shooting method, iterative method with upper and lower solutions, etc. We refer the readers to the papers [1–14]. Among them, the fixed-point principle in cone has become an important tool used in the study of existence and multiplicity of positive solutions. Many papers that use this method have been published in recent years (see [15–20]).
Recently, scientists have noticed that the boundary conditions in many areas of applied mathematics and physics come down to integral boundary conditions. For instance, the models on chemical engineering, heat conduction, thermo-elasticity, plasma physics, and underground water flow can be reduced to the nonlocal problems with integral boundary conditions. For more information about this subject, we refer the readers to the excellent survey by Gallardo [21–23], Corduneanu [24], and Agarwal and O’Regan [25].
In [23], Lomtatidze and Malaguti considered the second-order nonlinear singular differential equations
where satisfies the local Carathéodory conditions and is the function of bounded variation. These criteria apply to the case where the function f has nonintegrable singularities in the first argument at the points a and b.
In [22], Karakostas and Tsamatos considered multiple positive solutions of some Fredholm integral equations arising from the nonlocal boundary-value problems
where the kernel satisfies a continuity assumption in the -sense and it is monotone and concave. The main method is the Krasnosel’skii fixed point theorem on a suitable cone, then the above equation has at least one positive solution.
Motivated by the above works, this paper studies the following system:
where , , θ is the zero element of E, E is a real Banach space with the norm , and is nonnegative; is an increasing and positive homomorphism (see Definition 1.2) and .
According to Definition 1.2, we know that many problems, such as the problems with p-Laplacian operator, three-order boundary-value problems and so on, are special cases of (1). To the best of our knowledge, there have been few results on the positive solutions for odd-order boundary-value problems (or p-Laplacian problems) with integral boundary conditions in Banach spaces (see [26–31]).
The plan of this paper is as follows. We introduce some notations and lemmas in the rest of this section. In Section 2, we provide some necessary backgrounds. In particular, we state some properties of the Green’s function associated with BVP (1). In Section 3, we establish the main results of the paper. Finally, one example is also included to illustrate the main results.
Definition 1.1 Let be a real Banach space. A nonempty, closed, and convex set is said to be a cone provided that the following conditions are satisfied:
-
(a)
If and , then ;
-
(b)
If and , then .
If is a cone, we denote the order induced by P on E by ≤, that is, if and only if . P is said to be normal if there exists a positive constant N such that implies . N is called the normal constant of P.
Definition 1.2 A projection is called an increasing and positive homomorphism if the following conditions are satisfied:
-
(1)
If , then for all ;
-
(2)
φ is a continuous bijection and its inverse is also continuous;
-
(3)
for all .
In the above definition, condition (3) can be replaced by the following stronger condition:
-
(4)
for all , where .
Definition 1.3 Let E be a real Banach space and be a cone in E. If , then is a dual cone of the cone P.
Definition 1.4 Let S be a bounded set in a real Banach space E. Let = inf{ be expressed as the union of a finite number of sets such that the diameter of each set does not exceed δ, i.e., with , }. Clearly, . is called Kuratowski’s measure of noncompactness.
Definition 1.5 Let E be an ordered Banach space, D be a bounded set of E. The operator is said to be a k-set contraction if is continuous and bounded, and there is a constant such that for any bounded ; a k-set contraction with is called a strict set contraction.
More facts about the properties on the Banach space E can be found in [15–18]. For a bounded set C in the Banach space E, we denote by the Kuratowski’s measure of noncompactness. In the following, we denote by , the Kuratowski’s measure of noncompactness of a bounded subset in E and in , respectively. And we set
where , β denotes 0 or ∞, , , and .
Lemma 1.1 [1]
If is bounded and equicontinuous, then , where , .
Lemma 1.2 [1]
Let D be a bounded set of E; if f is uniformly continuous and bounded from into E, then
where is a nonnegative constant.
Lemma 1.3 Let K be a cone of the Banach space E and , with . Suppose that is a strict set contraction such that one of the following two conditions is satisfied:
-
(a)
, , ; , , .
-
(b)
, , ; , , .
Then A has a fixed point .
2 Preliminaries
To establish the existence of positive solutions in of (1), let us list the following assumptions:
(H0) , and for any , f is uniformly continuous on . Further suppose that is nonnegative, , and , , , where .
(H1) There exists a nonnegative constant with such that
Evidently, is a Banach space, and the norm is defined as .
In the following, we construct a cone , where , and let , . It is easy to see that K is a cone of and , .
In our main results, we will make use of the following lemmas.
Lemma 2.1 Assume that (H0) is satisfied. Then is a solution of problem (1) if and only if is a solution of the integral equation
Here, we define an operator A by
where
That is, x is a fixed point of the operator A in K.
Lemma 2.2 If condition (H0) is satisfied, then the operator A defined by (5) is a continuous operator.
Proof It can be verified easily by the definition of , we omit it here. □
Lemma 2.3 For , .
Proof It is obvious that for any . When , , thus when , , therefore , which implies the proof is complete. □
Lemma 2.4 Assume that (H0) holds, choose and let , then for all ,
where γ is as defined in (H0).
Proof First, we prove that . Obviously, for , , hold. And for , we have the following four cases.
Case I: , then
Case II: , then
Case III: , then
Case IV: , then
To sum up, we get that .
For ,
For , we have
So, we complete the proof. □
Proof of Lemma 2.1 Necessity. First, we suppose that x is a solution of equation (1). By taking the integral of (1) on , we have
By the boundary value condition and together with , we have
By taking the integral of (8) on , we can get
Integrating (9) from 0 to t, we have
By the boundary value condition , we can get
Letting , we find that
thus
Substituting into (11), we obtain
Substituting (12) into (10), we can get
Thus,
Then we obtain that
Therefore,
By Lemma 2.3, holds, that is, . Together with Lemma 2.4, we have
which implies . To sum up, we know that x is a solution of the integral equation (4) in K.
Sufficiency. Let x be as in (4). Taking the derivative of (4), it implies that
Moreover,
hold, which implies is a solution of (1). The proof is complete. □
Lemma 2.5 Suppose that (H0) and (H1) hold. Then, for each , A is a strict set contraction on , i.e., there exists a constant such that for any .
Proof By Lemmas 2.1 and 2.3, we know that is continuous and bounded. Now, let S be a bounded set in Q. Then by (H1), we get that
Thus,
For , we can get that
where , . The proof is complete. □
3 Main results
In this section, we impose growth conditions on f which allow us to apply Lemma 1.3 to establish the existence of positive solutions of (1). At the beginning, we introduce the notation
Theorem 3.1 Suppose (H0) and (H1) hold and P is normal. If , then problem (1) has at least one positive solution.
Proof A is defined as (5). Considering , there exists such that for , , , where satisfies .
Let . Then, for , , , by Lemma 2.4, we can get
i.e., for , , holds.
Next, turning to , there exists such that , , , , where satisfies .
Let . Then for , , , we have and , thus
i.e., for , , holds.
Lemma 1.3 yields that A has at least one fixed point , and , . Thus, BVP (1) has at least one positive solution . The proof is complete. □
Remark 3.1 If , where I denotes a unit operator, then the differential equation can change into the general differential equation
This system has been studied in Ref. [1]. By Theorem 3.1, we can easily obtain the main result (Theorem 3.1 in Ref. [1]).
Corollary 3.1 Assume that (H0) holds and P is normal. If , then problem (14) has at least one positive solution.
Remark 3.2 If for some , where , then (1) can be written as a BVP with a p-Laplace operator,
First, we reduce (H0) as .
, and for any , f is uniformly continuous on . Further suppose that is nonnegative, , and , , , where .
Then we can get the following similar conclusion.
Corollary 3.2 Suppose and (H1) hold and P is normal. If , then problem (15) has at least one positive solution.
4 Example
Next, we will give an example to illustrate our results.
Example 4.1
Consider the finite system of scalar third-order differential equations,
where , and
Let with the norm , and . Then we have the following result.
Theorem 4.1 For any , system (16) has at least one positive solution .
Proof First, according to (16), (17), we have and . Then, when , we have . Moreover, we can get that . Choose , then it is clear that (H0) and (H1) are satisfied.
Next, we try to prove that all the conditions in Theorem 3.1 are satisfied. It is easy to prove that , . And
Choose , then .
From (17), we can get that
Then .
Since
thus we have .
On the other hand, because , , we have
which implies that . So, all the conditions in Theorem 3.1 are satisfied, then the conclusion follows, and the proof is complete. □
References
Zhao JF, Wang PG, Ge WG: Existence and nonexistence of positive solutions for a class of third order BVP with integral boundary conditions in Banach spaces. Commun. Nonlinear Sci. Numer. Simul. 2011, 16: 402-413. 10.1016/j.cnsns.2009.10.011
Zhang XM, Feng MQ, Ge WG: Existence of solutions of boundary value problems with integral boundary conditions for second-order impulsive integro-differential equations in Banach spaces. J. Comput. Appl. Math. 2010, 233: 1915-1926. 10.1016/j.cam.2009.07.060
Liang SH, Zhang JH: Existence of three positive solutions of three-order with m -point impulsive boundary value problems. Acta Appl. Math. 2010, 110: 1265-1292.
Gupta CP: A note on a second order three-point boundary value problem. J. Math. Anal. Appl. 1994, 186: 277-281. 10.1006/jmaa.1994.1299
Ma RY: Existence theorems for a second order three-point boundary value problem. J. Math. Anal. Appl. 1997, 212: 430-442. 10.1006/jmaa.1997.5515
Ma RY, Castaneda N: Existence of solutions of nonlinear m -point boundary-value problems. J. Math. Anal. Appl. 2001, 256: 556-567. 10.1006/jmaa.2000.7320
Guo DJ, Lakshmikanntham V: Multiple solutions of two-point boundary-value problems of ordinary differential equations in Banach spaces. J. Math. Anal. Appl. 1988, 129: 211-222. 10.1016/0022-247X(88)90243-0
Guo DJ: Multiple positive solutions of impulsive nonlinear Fredholm integral equations and application. J. Math. Anal. Appl. 1993, 173: 318-324. 10.1006/jmaa.1993.1069
Guo DJ: Existence of solutions of boundary value problems for second order impulsive differential equations in Banach spaces. J. Math. Anal. Appl. 1994, 181: 407-421. 10.1006/jmaa.1994.1031
Guo DJ, Liu XZ: Multiple positive solutions of boundary value problems for impulsive differential equations. Nonlinear Anal. 1995, 25: 327-337. 10.1016/0362-546X(94)00175-H
Guo DJ: Periodic boundary value problem for second order impulsive integro-differential equations in Banach spaces. Nonlinear Anal. 1997, 28: 938-997.
Guo DJ: Second order impulsive integro-differential equations on unbounded domains in Banach spaces. Nonlinear Anal. 1999, 35: 413-423. 10.1016/S0362-546X(97)00564-6
Wei ZL, Pang CC: Positive solutions of some singular m -point boundary value problems at non-resonance. Appl. Math. Comput. 2005, 171: 433-449. 10.1016/j.amc.2005.01.043
Zhang ZX, Wang JY: The upper and lower solution method for a class of singular nonlinear second order three-point boundary value problems. J. Comput. Appl. Math. 2002, 147: 41-52. 10.1016/S0377-0427(02)00390-4
Demling K: Ordinary Differential Equations in Banach Spaces. Springer, Berlin; 1977.
Guo DJ: Multiple positive solutions for first order nonlinear impulsive integro-differential equations in a Banach space. Comput. Appl. Math. 2003, 143: 233-249. 10.1016/S0096-3003(02)00356-9
Guo DJ, Lakshmikanntham V, Liu XZ: Nonlinear Integral Equations in Abstract Spaces. Kluwer Academic, Dordrecht; 1996.
Lakshmikanntham V, Leela S: Nonlinear Differential Equations in Banach Spaces. Pergamon, Oxford; 1981.
Zhou YM, Su H: Positive solutions of four-point boundary value problem for higher-order with p -Laplacian operator. Electron. J. Differ. Equ. 2007., 2007: Article ID 5
Liang SH, Zhang JH: The existence of countably many positive solutions for nonlinear singular m -point boundary value problems. J. Comput. Appl. Math. 2005, 309: 505-516.
Gallardo JM: Second order differential operator with integral boundary conditions and generation of semigroups. Rocky Mt. J. Math. 2000, 30: 925-931.
Karakostas GL, Tsamatos PC: Multiple positive solutions of some Fredholm integral equations arisen from nonlocal boundary-value problems. Electron. J. Differ. Equ. 2002., 2002: Article ID 30
Lomtatidze A, Malaguti L: On a nonlocal boundary value problems for second order nonlinear singular differential equations. Georgian Math. J. 2000, 7: 133-154.
Corduneanu C: Integral Equations and Applications. Cambridge University Press, Cambridge; 1991.
Agarwal RP, O’Regan D: Infinite Interval Problems for Differential, Difference and Integral Equations. Kluwer Academic, Dordrecht; 2001.
Avery RI, Henderson J: Existence of three positive pseudo-symmetric solutions for a one-dimensional p -Laplacian. J. Comput. Appl. Math. 2003, 277: 395-404.
Feng M, Du B, Ge WG: Impulsive boundary value problems with integral boundary conditions and one-dimensional p -Laplacian. Nonlinear Anal. 2008. doi:10.1016/j.na.2008.04.015
Guo Y, Ji Y, Liu X: Multiple positive solutions for some multi-point boundary value problems with p -Laplacian. J. Comput. Appl. Math. 2008, 216: 144-156. 10.1016/j.cam.2007.04.023
Li J, Shen J: Existence of three positive solutions for boundary value problems with p -Laplacian. J. Comput. Appl. Math. 2005, 311: 457-465.
Zhou CL, Ma DX: Existence iteration of positive solutions for a generalized right-focal boundary value problem with p -Laplacian operator. J. Comput. Appl. Math. 2008. doi:10.1016/j.cam.2008.07.039
Sang Y, Su H: Positive solutions of nonlinear third-order m -point BVP for an increasing homeomorphism and homomorphism with sign-changing nonlinearity. J. Comput. Appl. Math. 2008. doi:10.1016/j.cam.2008.07.039
Acknowledgements
This work was supported by the NNSF of China under Grant (No. 11271261), Natural Science Foundation of Shanghai (No. 12ZR1421600), Shanghai municipal education commission (No. 10YZ74), and Shanghai Normal University Leading Academic Discipline project (No. DZW912).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
DF carried out the example and drafted the manuscript. WD participated in the design of the study and revised the manuscript. 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
Fu, D., Ding, W. Existence of positive solutions of third-order boundary value problems with integral boundary conditions in Banach spaces. Adv Differ Equ 2013, 65 (2013). https://doi.org/10.1186/1687-1847-2013-65
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1847-2013-65