- Open Access
Existence results of positive solutions for boundary value problems of fractional differential equations
© Chai; licensee Springer. 2013
Received: 15 October 2012
Accepted: 15 April 2013
Published: 29 April 2013
In this paper, we are concerned with the following fractional equation:
with the boundary value conditions
where is the standard Caputo derivative with and δ, γ are constants with , . By applying a new fixed point theorem on cone and Krasnoselskii’s fixed point theorem, some existence results of positive solution are obtained.
MSC: 34A08, 34B15, 34B18.
where is the standard Caputo derivative with and δ, γ are constants with , .
Differential equations of fractional order have recently proved to be valuable tools in the modeling of many phenomena in various fields of science and engineering. Indeed, we can find numerous applications in viscoelasticity, electrochemistry, control, porous media, electromagnetism, etc. (see [1–5]). There has been a significant development in the study of fractional differential equations and inclusions in recent years, see the monographs of Podlubny , Kilbas et al. , Lakshmikantham et al. , Samko et al. , Diethelm , and the survey by Agarwal et al. . For some recent contributions on fractional differential equations, see [9–25] and the references therein.
On the other hand, it is well known that the fourth-order boundary value problem describes the deformations of an elastic beam in equilibrium state. Owing to its importance in physics, the existence of solutions to this problem has been studied by many authors; see, for example, [26–30] and references therein. Recently, there have been a few papers dealing with the existence of solutions for fractional equations of order .
where and is nonnegative, is the Riemann-Liouville fractional derivative of order α. The existence results of positive solutions are obtained by applying the Leray-Schauder nonlinear alternative theorem.
where , is nondecreasing relative to u, is the Riemann-Liouville fractional derivative of order α. By means of the lower and upper solution method and fixed point theorems, some results on the existence of positive solutions were obtained.
where . The existence results were obtained by the nonlinear alternative theorem.
Inspired by above work, the author will be concerned with the boundary value problem (BVP for short in the sequel) (1.1)-(1.2). To the best of our knowledge, no contribution exists concerning the existence of solutions for BVP (1.1)-(1.2). In the present paper, by applying a new fixed point theorem on cone and Krasnoselskii’s fixed point theorem, some existence results of positive solution for BVP (1.1)-(1.2) are obtained. It is worth to point out that the results in this paper are also new even for relative to the corresponding literature with regard to the fourth-order boundary value problem. In addition, the conditions imposed in this paper are easily verified.
The organization of this paper is as follows. In Section 2, we present some necessary definitions and preliminary results that will be used to prove our main results. In Section 3, we put forward and prove our main results. Finally, we give two examples to demonstrate our main results.
In this section, we introduce some preliminary facts which are useful throughout this paper.
Let ℕ be the set of positive integers, ℝ be the set of real numbers, , and . Let . Denote by the Banach space endowed with the norm , where for .
Definition 2.1 
Definition 2.2 
where , denotes the integer part of α.
Definition 2.3 
Lemma 2.1 
holds on .
Lemma 2.2 
holds on .
For convenience, we first list some hypotheses which will be used throughout this paper.
() , , .
We have the following lemma, which is important in this paper.
hold for , and u satisfies the boundary condition (2.2).
Again, from (2.16) and Lemma 2.1, we have that , . In addition, noting that , it is easy to see that from (2.19). □
For the forthcoming analysis, we need to introduce some new notations.
It is easy to verify that , and noting that , , .
We also need the following lemma, which will play an important role in obtaining our main results in Section 3.
Lemma 2.4 Under the assumption (), Green’s function has the following properties:
(1) G is continuous on ;
(2) , ; , , ;
(3) , ; , , ;
, , ; , , , .
Proof (1) Observing the expression of Green’s function given by (2.4)-(2.6), the conclusion (1) of Lemma 2.4 is obvious.
(2) We first show that , , .
Owing to the fact that and , we have that . Thus, we immediately obtain that for from (2.20) together with the condition , .
for , and so for .
To summarize, for all with .
Now, since for , and for with , it follows that for all .
(3) The proof is divided into four steps.
Step 1. We show that for .
Step 2. We show that for and .
where , because .
So, by (2.23)-(2.24), we have
for , and .
The proof is complete. □
It is easy to check that the above set P is a cone in the space , which will be used in the sequel.
where , , , , and , are given by (2.20)-(2.21), respectively.
A function is a positive solution of BVP (1.1)-(1.2) if , , , and u satisfies BVP (1.1)-(1.2).
By Lemma 2.3, it is easy to know that a function is a positive solution of BVP (1.1)-(1.2) iff is a nonzero fixed point of T. So, we can focus on seeking the existence of a nonzero fixed point of T in P.
Finally, for the remainder of this section, we give the following two theorems, which are fundamental in the proof of our main results.
Let X be a Banach space, and let be a cone. Suppose that the functions α, β satisfy the following condition:
(D) are continuous convex functionals satisfying , for , ; for , and for with , where is a constant.
Lemma 2.5 
Set . Suppose that is a completely continuous operator satisfying
() , ; , ;
() , ;
() there is a such that and for all and .
Then T has at least one fixed point in .
Lemma 2.6 
Assume that , are two open subsets of X with , and let be a completely continuous operator such that either
(i) , ; , , or
(ii) , ; , .
Then T has a fixed point in .
3 Main results
We first prove the following lemma to obtain our main results.
Lemma 3.1 Suppose that ()-() hold. Then the operator T defined by (2.26) maps P into P, and T is completely continuous.
Proof It is well known that the norms and are equivalent on . So, we can consider that the Banach space is equipped with the norm in the following proof.
In addition, . Thus, .
Now, we show that the operator T is compact on P.
In fact, let U be an arbitrary bounded set in P. Then there exists a positive number L such that for all , and so such that , for all .
Because the functions and are integrable on I, the formulae (3.3)-(3.4) yield that , , where . So, . That is, TU is uniformly bounded.
holds for any and with . That is, the set TU is equicontinuous.
Similarly, we can deduce that the set is also equicontinuous in terms of (2.27).
So, as a consequence of the Arzelà-Ascoli theorem, we have that TU is a compact set.
Now, we come to prove the operator T is continuous on P.
for all , whenever .
whenever . That is, T is continuous on P. □
We are now in a position to state and prove the first theorem in the article. Let constants , satisfy , .
Theorem 3.1 Suppose that ()-() hold. In addition, there are two constants , with such that f satisfies the following condition:
() , for ;
, for .
Then BVP (1.1)-(1.2) has at least one positive solution u satisfying and .
Proof We already know that is completely continuous by Lemma 3.1.
Let , for . It is easy to verify that the functions α, β satisfy the condition (D).
Choose a constant L large enough so that , where , and , . Set , , . Define the function on as , , where , .
Obviously, the function is continuous on according to the continuity of f. Thus, by an argument similar to that in Lemma 3.1, the operator given by is also completely continuous on P and maps P into P.
We will prove that T has at least one nonzero fixed point in P by applying Lemma 2.5. The approach is divided into four steps.
In fact, for any , owing to the condition , we have that , , and so .
keeping in mind that , for .
Step 2. Now, we come to verify that the conditions corresponding to () in Lemma 2.5 hold.
Thus, , noting that the assumption . That is, .
Thus, , noting that . That is, .
Step 3. We verify that the conditions corresponding to () in Lemma 2.5 hold.
Hence, , and so from the choice of L. Thus, .
for any , .
So, the conditions corresponding to () in Lemma 2.5 hold.
Summing up the above steps 1-4 and applying Lemma 2.5, we obtain that BVP (3.10) has at least one positive solution . That is, . , and so from the fact that and by (3.13). Thus, , , , , and . Hence, , , and so u is a positive solution of BVP (1.1)-(1.2). The proof is complete. □
Now, we state another theorem in this paper. Let us begin with introducing some notations.
Let . Denote with , and with . Put , , where , , , and () are given in Lemma 2.4.
Theorem 3.2 Assume that ()-() hold. If , , then BVP (1.1)-(1.2) has at least one positive solution.
holds when with , .
So, the relation (3.13) holds.
whenever with , .
So, the relation (3.19) holds.
Summing up (3.13) and (3.19), applying Lemma 2.6, the operator T has at least one fixed point . Thus u is a positive solution of BVP (1.1)-(1.2). The proof is complete. □
where constants , are two positive numbers. Then BVP (3.23) has at least one positive solution.
holds for .
So, by Theorem 3.1, BVP (3.23) has at least one positive solution.
where constants , are two positive numbers and a constant . Then BVP (3.24) has at least one positive solution.
In fact, observing that , , the conclusion follows from Theorem 3.2.
The author sincerely thanks the anonymous referees for their valuable suggestions and comments which have greatly helped improve this article. Article is supported by the Natural Science Foundation of Hubei Provincial Education Department (D20102502).
- Glockle WG, Nonnenmacher TF: A fractional calculus approach of self-similar protein dynamics. Biophys. J. 1995, 68: 46-53. 10.1016/S0006-3495(95)80157-8View ArticleGoogle Scholar
- Hilfer R: Applications of Fractional Calculus in Physics. World Scientific, Singapore; 2000.View ArticleGoogle Scholar
- Metzler F, Schick W, Kilian HG, Nonnenmacher TF: Relaxation in filled polymers: a fractional calculus approach. J. Chem. Phys. 1995, 103: 7180-7186. 10.1063/1.470346View ArticleGoogle Scholar
- Podlubny I: Geometric and physical interpretation of fractional integration and fractional differentiation. Fract. Calc. Appl. Anal. 2002, 5: 367-386.MathSciNetGoogle Scholar
- Podlubny I: Fractional Differential Equations. Academic Press, San Diego; 1999.Google 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
- Lakshmikantham V, Leela S, Vasundhara J: Theory of Fractional Dynamic Systems. Cambridge Academic Publishers, Cambridge; 2009.Google Scholar
- Samko SG, Kilbas AA, Marichev IO: Fractional Integrals and Derivatives. Theory and Applications. Gordon & Breach, Yverdon; 1993.Google Scholar
- Diethelm K: The Analysis of Fractional Differential Equations. Springer, New York; 2010.View ArticleGoogle Scholar
- Agarwal RP, Benchohra N, Hamani S: A survey on existence result for boundary value problems of nonlinear fractional differential equations and inclusions. Acta Appl. Math. 2010, 109: 973-1033. 10.1007/s10440-008-9356-6MathSciNetView ArticleGoogle Scholar
- Agarwal RP, O’Regan D, Stanek S: Positive solutions for Dirichlet problems of singular nonlinear fractional differential equations. J. Math. Anal. Appl. 2010, 371: 57-68. 10.1016/j.jmaa.2010.04.034MathSciNetView ArticleGoogle Scholar
- Cabada A, Wang G: Positive solutions of nonlinear fractional differential equations with integral boundary value conditions. J. Math. Anal. Appl. 2012, 389: 403-411. 10.1016/j.jmaa.2011.11.065MathSciNetView ArticleGoogle Scholar
- Ahmad B, Nieto JJ: Sequential fractional differential equations with three-point boundary conditions. Comput. Math. Appl. 2012, 64: 3046-3052. 10.1016/j.camwa.2012.02.036MathSciNetView ArticleGoogle Scholar
- Xu X, Jiang D, Yuan C: Multiple positive solutions for the boundary value problem of a nonlinear fractional differential equation. Nonlinear Anal. 2009, 71: 4676-4688. 10.1016/j.na.2009.03.030MathSciNetView ArticleGoogle Scholar
- Liang S, Zhang J: Positive solutions for boundary value problems of nonlinear fractional differential equation. Nonlinear Anal. 2009, 71: 5545-5550. 10.1016/j.na.2009.04.045MathSciNetView ArticleGoogle Scholar
- Agarwal RP, Ahmad B: Existence theory for anti-periodic boundary value problems of fractional differential equations and inclusions. Comput. Math. Appl. 2011, 62: 1200-1214. 10.1016/j.camwa.2011.03.001MathSciNetView ArticleGoogle Scholar
- Chai G: Existence results for boundary value problems of nonlinear fractional differential equations. Comput. Math. Appl. 2011, 62: 2374-2382. 10.1016/j.camwa.2011.07.025MathSciNetView ArticleGoogle Scholar
- Chai G: Positive solutions for boundary value problem of fractional differential equation with p -Laplacian operator. Bound. Value Probl. 2012., 2012: Article ID 18Google Scholar
- Zhai C, Hao M: Fixed point theorems for mixed monotone operators with perturbation and applications to fractional differential equation boundary value problems. Nonlinear Anal. 2012, 75: 2542-2551. 10.1016/j.na.2011.10.048MathSciNetView ArticleGoogle Scholar
- Guezane-Lakoud A, Khaldi R: Solvability of fractional boundary value problem with fractional integral condition. Nonlinear Anal. 2012, 75: 2692-2700. 10.1016/j.na.2011.11.014MathSciNetView ArticleGoogle Scholar
- Karthikeyan K, Trujjllo JJ: Existence and uniqueness results for fractional integrodifferential equations with boundary value conditions. Commun. Nonlinear Sci. Numer. Simul. 2012, 17: 4037-4043. 10.1016/j.cnsns.2011.11.036MathSciNetView ArticleGoogle Scholar
- Abmad B, Ntouyas S: Existence results for nonlocal boundary value problems of fractional differential equations and inclusions with strip conditions. Bound. Value Probl. 2012., 2012: Article ID 55Google Scholar
- Goodrich CS: On a fractional boundary value problem with fractional boundary conditions. Appl. Math. Lett. 2012, 25: 1101-1105. 10.1016/j.aml.2011.11.028MathSciNetView ArticleGoogle Scholar
- Debbouche A, Baleanu D, Agarwal RP: Nonlocal nonlinear integrodifferential equations of fractional orders. Bound. Value Probl. 2012., 2012: Article ID 78Google Scholar
- Zhang L, Wang G, Song G: On mixed boundary value problem of impulsive semilinear evolution equations of fractional order. Bound. Value Probl. 2012., 2012: Article ID 17Google Scholar
- Webb JRL, Zima M: Multiple positive solutions of resonant and non-resonant non-local four-order boundary value problem. Glasg. Math. J. 2012, 54: 225-240. 10.1017/S0017089511000590MathSciNetView ArticleGoogle Scholar
- Chai G: Existence of positive solutions for fourth-order boundary value problem with variable parameters. Nonlinear Anal. 2007, 66: 870-880. 10.1016/j.na.2005.12.028MathSciNetView ArticleGoogle Scholar
- Guo Y, Yang F, Liang Y: Positive solutions for nonlocal fourth-order boundary value problems with all order derivatives. Bound. Value Probl. 2012., 2012: Article ID 29Google Scholar
- Chai G: Positive solution of fourth-order integral boundary value problem with two parameters. Abstr. Appl. Anal. 2011., 2011: Article ID 859497Google Scholar
- Cai J, Liu G: Positive solutions for a class of fourth-order boundary value problems in Banach spaces. Abstr. Appl. Anal. 2011., 2011: Article ID 831730Google Scholar
- Guo Y, Ge W: Positive solutions for three-point boundary value problems with dependence on the first order derivative. J. Math. Anal. Appl. 2004, 290: 291-301. 10.1016/j.jmaa.2003.09.061MathSciNetView ArticleGoogle Scholar
- Guo D, Lakshimikantham V: Nonlinear Problems in Abstract Cones. Academic Press, New York; 1988.Google 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.