Positive solutions to boundary value problems of a high-order fractional differential equation in a Banach space
© Zhao et al.; licensee Springer. 2013
Received: 9 July 2013
Accepted: 29 October 2013
Published: 27 November 2013
In this paper, by using the fixed-point theorem in the cone of strict-set-contraction operators, we study a class of higher-order boundary value problems of nonlinear fractional differential equation in a Banach space. The sufficient conditions for the existence of at least two positive solutions is obtained. In addition, an example to illustrate the main results is given.
Fractional calculus is a generalization of ordinary differentiation and integration to arbitrary noninteger order. The fractional differential equations have been of great interest recently. This is because of both the intensive development of the theory of fractional calculus itself and its numerous applications in various fields of science and engineering including fluid flow, rheology, control, electrochemistry, electromagnetic, porous media and probability, etc. (see [1–4]).
in a reflexive Banach space E, where is the pseudo fractional differential operator of order , .
where is the Caputo derivative of order .
in a Banach space E. is the Riemann-Liouville fractional derivative.
where θ is the zero element of E, , α, β, γ and δ are nonnegative constants satisfying , and is the Caputo fractional derivative. Note that the nonlinear term f depends on u and its derivatives .
The paper is organized as follows. In Section 2 we give some basic definitions in Riemann-Liouville fractional calculus and the Kuratowski noncompactness. In Section 3 we present the expression and properties of Green’s function associated with BVP (1.1), and by using the fixed-point theorem for strict-set-contraction operators and introducing a new cone Ω, we obtain the existence of at least two positive solutions for BVP (1.1) under certain conditions on the nonlinearity. Moreover, an example illustrating our main result is given in Section 4.
2 Preliminaries and lemmas
For convenience of the reader, we present here some definitions and preliminaries which are used throughout the paper. These definitions and lemmas can be found in the recent literature such as [1, 5].
Definition 2.1 ()
provided that the right-hand side is defined pointwise.
Definition 2.2 ()
where , denotes the integer part of number q, provided that the right-hand side is defined pointwise. In particular, for , .
Lemma 2.3 ()
has the unique solution , , , here .
Lemma 2.4 ()
for some , , here N is the smallest integer greater than or equal to q.
Let the real Banach space E with the norm be partially ordered by a cone P of E, i.e., if and only if , and P is said to be normal if there exists a positive constant N such that implies , where the smallest N is called the normal constant of P. For details on cone theory, see .
The basic space used in this paper is . For any , evidently, is a Banach space with the norm , and is a cone of the Banach space . We use α, to denote the Kuratowski noncompactness measure of bounded sets in the spaces E, , respectively. As for the definition of the Kuratowski noncompactness measure, we refer to Ref. .
Definition 2.5 (, Strict-set contraction operator)
Let , be real Banach spaces, . is a continuous and bounded operator. If there exists a constant k such that , then T is called a k-set contraction operator. When , T is called a strict-set contraction operator.
Lemma 2.6 ()
Lemma 2.7 ()
, and , , or
, and , ,
then T has a fixed point in .
(H0) , where is defined as
(H1) There exist and such that(2.1)
(H2) for any , f is uniformly continuous on and there exist nonnegative constants , , with(2.2)such that(2.3)
3 Main results
where is Green’s function defined by (3.3). This completes the proof. □
Moreover, there is one paper  in which the following statement was shown.
Lemma 3.2 ()
is continuous on ;
if , then for any .
where , , . Moreover, if is a solution of problem (3.3) and , , then the function is a positive solution of (1.1).
Lemma 3.5 Assume that (H0)-(H2) hold. Then is a strict-set contraction operator.
Then , which implies , i.e., .
Next we prove that T is continuous on Ω. Let and (). Hence is a bounded subset of Ω. Thus, there exists such that and .
for , .
This implies T is continuous on Ω.
By the properties of continuity of , it is easy to see that T is equicontinuous on I.
Noticing that (2.3), we obtain that T is a strict-set contraction operator. This completes the proof. □
Now we are in a position to give the main result of this work.
(H3) There exist , and such thatand
(H4) There exist , and such thatand
(H5) There exists such that
Then problem (1.1) has at least two different positive solutions.
where satisfies .
where satisfies .
Applying Lemma 2.7 to (3.12), (3.13) and (3.14) yields that T has a fixed point , , and a fixed point , . Noticing (3.13), we get and . This and Lemma 3.4 complete the proof. □
Theorem 3.7 Let the cone P be normal and conditions (H0) ∼ (H3) hold. In addition, assume that the following condition is satisfied:
Then problem (1.1) has at least one positive solution.
Since , applying Lemma 2.7 to (3.11) and (3.17) yields that T has a fixed point , . This and Lemma 3.5 complete the proof. □
4 An example
Conclusion Problem (4.1) has at least two positive solutions.
i.e., condition (H2) holds for , .
From Theorem 3.6, the conclusion follows and the proof is complete. □
The authors are highly grateful for the referees’s careful reading and comments on this paper. The first author is supported financially by Hunan Provincial Natural Science Foundation of China (Grant No: 13JJ3106).
- Podlubny I: Fractional Differential Equations. Academic Press, San Diego; 1999.MATHGoogle Scholar
- Kilbas AA, Srivastava HM, Trujillo JJ North-Holland Mathematics Studies 204. In Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.Google Scholar
- Sabatier J, Agrawal OP, Machado JAT (Eds): Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering. Springer, Dordrecht; 2007.MATHGoogle Scholar
- Baleanu D, Diethelm K, Scalas E, Trujillo JJ Series on Complexity, Nonlinearity and Chaos. In Fractional Calculus Models and Numerical Methods. World Scientific, Boston; 2012.Google Scholar
- Lakshmikantham V: Theory of fractional functional differential equations. Nonlinear Anal. 2008, 69: 337-3343. 10.1016/j.na.2007.05.022MathSciNetView ArticleMATHGoogle Scholar
- Zhang S: Positive solutions to singular boundary value problem for nonlinear fractional differential equation. Comput. Math. Appl. 2010, 59: 1300-1309. 10.1016/j.camwa.2009.06.034MathSciNetView ArticleMATHGoogle Scholar
- Bai Z: On positive solutions of a nonlocal fractional boundary value problem. Nonlinear Anal. 2010, 72: 916-924. 10.1016/j.na.2009.07.033MathSciNetView ArticleMATHGoogle Scholar
- Jankowski T: Initial value problems for neutral fractional differential equations involving a Riemann-Liouville derivative. Appl. Math. Comput. 2013, 219: 7772-7776. 10.1016/j.amc.2013.02.001MathSciNetView ArticleMATHGoogle Scholar
- Goodrich CS: Existence of a positive solution to a class of fractional differential equations. Appl. Math. Lett. 2010, 23: 1050-1055. 10.1016/j.aml.2010.04.035MathSciNetView ArticleMATHGoogle Scholar
- Zhao Y, Chen H, Huang L: Existence of positive solutions for nonlinear fractional functional differential equation. Comput. Math. Appl. 2012, 64: 3456-3467. 10.1016/j.camwa.2012.01.081MathSciNetView ArticleMATHGoogle Scholar
- Zhang X, Liu L, Wu Y: Multiple positive solutions of a singular fractional differential equation with negatively perturbed term. Math. Comput. Model. 2012, 55: 1263-1274. 10.1016/j.mcm.2011.10.006MathSciNetView ArticleMATHGoogle Scholar
- Wang G: Monotone iterative technique for boundary value problems of a nonlinear fractional differential equations with deviating arguments. J. Comput. Appl. Math. 2012, 236: 2425-2430. 10.1016/j.cam.2011.12.001MathSciNetView ArticleMATHGoogle Scholar
- Wang G, Baleanu D, Zhang L: Monotone iterative method for a class of nonlinear fractional differential equations. Fract. Calc. Appl. Anal. 2012, 15: 244-252.MathSciNetView ArticleMATHGoogle Scholar
- Zhao Y, Ye G, Chen H: Multiple positive solutions of a singular semipositone integral boundary value problem for fractional q -derivatives equation. Abstr. Appl. Anal. 2013., 2013: Article ID 643571Google Scholar
- El-Shahed M, Nieto JJ: Nontrivial solutions for a nonlinear multi-point boundary value problem of fractional order. Comput. Math. Appl. 2010, 59: 3438-3443. 10.1016/j.camwa.2010.03.031MathSciNetView ArticleMATHGoogle Scholar
- Zhao Y, Chen H, Zhang Q: Existence results for fractional q -difference equations with nonlocal q -integral boundary conditions. Adv. Differ. Equ. 2013., 2013: Article ID 48Google Scholar
- Ahmad B: Existence of solutions for irregular boundary value problems of nonlinear fractional differential equations. Appl. Math. Lett. 2010, 23: 390-394. 10.1016/j.aml.2009.11.004MathSciNetView ArticleMATHGoogle Scholar
- Wang J, Zhou Y, Fečkan M: Abstract Cauchy problem for fractional differential equations. Nonlinear Dyn. 2013, 71: 685-700. 10.1007/s11071-012-0452-9View ArticleMathSciNetMATHGoogle Scholar
- Salem AH: On the fractional order m -point boundary value problem in reflexive Banach spaces and weak topologies. J. Comput. Appl. Math. 2009, 224: 565-572. 10.1016/j.cam.2008.05.033MathSciNetView ArticleMATHGoogle Scholar
- Balachandran K, Trujillo JJ: The nonlocal Cauchy problem for nonlinear fractional integrodifferential equations in Banach spaces. Nonlinear Anal. 2010, 72: 4587-4593. 10.1016/j.na.2010.02.035MathSciNetView ArticleMATHGoogle Scholar
- Balachandran K, Kiruthika S, Trujillo JJ: Existence results for fractional impulsive integrodifferential equations in Banach spaces. Commun. Nonlinear Sci. Numer. Simul. 2011, 16: 1970-1977. 10.1016/j.cnsns.2010.08.005MathSciNetView ArticleMATHGoogle Scholar
- Lv Z, Liang J, Xiao T: Solutions to the Cauchy problem for differential equations in Banach spaces with fractional order. Comput. Math. Appl. 2011, 62: 1303-1311. 10.1016/j.camwa.2011.04.027MathSciNetView ArticleMATHGoogle Scholar
- Su X: Solutions to boundary value problem of fractional order on unbounded domains in a Banach space. Nonlinear Anal. 2011, 74: 2844-2852. 10.1016/j.na.2011.01.006MathSciNetView ArticleMATHGoogle Scholar
- Zhang L, Ahmad B, Wang G, Agarwal RP: Nonlinear fractional integro-differential equations on unbounded domains in a Banach space. J. Comput. Appl. Math. 2013, 249: 51-56.MathSciNetView ArticleMATHGoogle Scholar
- Guo D, Lakshmikantham V: Nonlinear Problems in Abstract Cones. Academic Press, New York; 1988.MATHGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.