Advanced Theoretical and Applied Studies of Fractional Differential Equations 2013View this Special Issue
Research Article | Open Access
Yanan Li, Shurong Sun, Zhenlai Han, Hongling Lu, "The Existence of Positive Solutions for Boundary Value Problem of the Fractional Sturm-Liouville Functional Differential Equation", Abstract and Applied Analysis, vol. 2013, Article ID 301560, 20 pages, 2013. https://doi.org/10.1155/2013/301560
The Existence of Positive Solutions for Boundary Value Problem of the Fractional Sturm-Liouville Functional Differential Equation
We study boundary value problems for the following nonlinear fractional Sturm-Liouville functional differential equations involving the Caputo fractional derivative: + , , , , , , , where , denote the Caputo fractional derivatives, is a nonnegative continuous functional defined on , , , , are suitably small, , and , . By means of the Guo-Krasnoselskii fixed point theorem and the fixed point index theorem, some positive solutions are obtained, respectively. As an application, an example is presented to illustrate our main results.
Fractional calculus is a branch of mathematics, it is an emerging field in the area of the applied mathematics that deals with derivatives and integrals of arbitrary orders as well as with their applications. The origins can be traced back to the end of the seventeenth century. During the history of fractional calculus, it was reported that the pure mathematical formulations of the investigated problems started to be addressed with more applications in various fields. With the help of fractional calculus, we can describe natural phenomena and mathematical models more accurately. Therefore, fractional differential equations have received much attention, and the theory and its applications have been greatly developed; see [1–6].
Recently, there have been many papers focused on boundary value problems of fractional ordinary differential equations [7–19] and initial value problems of fractional functional differential equations [10, 20–27]. But the results dealing with the boundary value problems of fractional functional differential equations with delay are relatively scarce [28–32]. It is well known that in practical problems, the behavior of systems not only depends on the status just at the present but also on the status in the past . Thus, in many cases, we must consider fractional functional differential equations with delay in order to solve practical problems. Consequently, our aim in this paper is to study the existence of solutions for boundary value problems of fractional functional differential equations.
In 2005, by means of the fixed point index theorem, Bai and Ma  established some criteria for the existence of solutions for the boundary value problem expressed by second order differential equations with delay: where , are suitably small and , , .
In 2011, Li et al.  investigated the existence of positive solutions for the nonlinear Caputo fractional functional differential equation: where is the Caputo fractional order derivative, subject to the following boundary conditions: They obtained the existence results of positive solutions by using some fixed point theorems.
In 2012, Zhao et al.  studied the existence of positive solutions for the nonlinear Caputo fractional functional differential equation: By constructing a special cone and using the Guo-Krasnoselskii fixed point theorem, they obtained the existing results.
Motivated by the works above, in this paper, we study the existence of positive solutions of boundary value problems for nonlinear fractional functional differential equation: where denote the Caputo fractional derivatives, is a nonnegative continuous functional defined on , , , , are suitably small, with and , with , and is a positive measurable continuous function defined on and satisfies the following condition: where , , and is a constant.
When , problem (5) is reduced to the problem of second order differential equations with delay and has been studied by Bai and Ma . To the best of our knowledge, no one has studied the existence of positive solutions for boundary value problem (5). Key tools in finding our main results are fixed point index theorem and the Guo-Krasnoselskii fixed point theorem, and our main results of this paper are to extend and supplement some results in [21, 22, 34].
The paper is organized as follows. In Section 2, we will introduce some definitions and lemmas to prove our main results. In Section 3, we investigate the existence of positive solution for boundary value problems (5) by the Guo-Krasnoselskii fixed point theorem and the fixed point index theorem. As an application, an example is presented to illustrate our main results.
In the following section, we introduce the definitions and lemmas which are used throughout the paper.
Definition 1 (see ). The fractional integral of order ( of a function is given by where is the gamma function, provided that the right side is pointwise defined on .
Definition 2 (see ). The Caputo fractional derivative of order () of a function is given by
where is the gamma function, provided that the right side is pointwise defined on .
Obviously, the Caputo derivative for every constant function is equal to zero.
From the definition of the Caputo derivative, we can acquire the following statements.
Lemma 3 (see ). Let . Then,
Lemma 4 (see ). Let . Then, for some , , where is the smallest integer greater than or equal to .
Assume that is the solution of (5) with ; then it can be expressed as where
Next, we introduce the Green function of boundary value problems for fractional functional differential equations.
Lemma 5. Let and be continuous. Then, the boundary value problem for fractional functional differential equation has a unique solution: where
Proof. It is easy to know that for and for . From (13), we know that From Lemma 4, we have Then, we get that According to (14) and conditions , we imply that Then, we obtain Therefore, where is defined by (17). The proof is completed.
Lemma 6. Let , and be continuous. Then, the boundary value problem for fractional functional differential equation has a unique solution: where is defined by (17), and
Proof. From (25), we know that From Lemma 4, we have According to the conditions and , we derive that Therefore, Thus, Then boundary value problem (25) is equivalent to the following problem: Lemma 5 implies that boundary value problem (33) has a unique solution: where and are defined as (17) and (27), respectively. The proof is completed.
The following properties of the Green function play important roles in this paper.
Remark 8. From the definition of and , we know that . Furthermore, its easy to get from the proof of Lemma 3.3 in  that there exists a positive number such that where .
The following lemmas are fundamental in proof of our main results.
Lemma 10 (see ). Let be a Banach space, and let be a cone. Assume that , are open and bounded subsets of with , , and let be a completely continuous operator such that(i), , and , ; (ii), , and , .
Then, has a fixed point in .
Lemma 11 (see ). Assume that is a Banach space and is a cone. Let . Furthermore, assume that is compact and for . Thus, one has the following conclusions: (i)if for , then ; (ii)if for , then .
3. Main Results
In this section, we discuss the existence of positive solutions for boundary value problem (5).
Let be a Banach space with the maximum norm for . Let be a cone in defined by
Let . Noting that for , we have where Define an operator on as follows:
Lemma 12. The operator is completely continuous.
Proof. For , we have , from properties of and . It follows from (55) that we have for ,
and for ,
Hence, we get that
By Lemma 7 and Remark 8, we have
Let be a bounded subset in , that is, there exists a positive constant such that , for all . Let . Then, for , in view of Lemma 9, we have Hence, is bounded in .
Now, we divide three cases to prove that is equicontinuous.
Case 1. If , .
Case 2. If , .
Case 3. If , .
Then, Let . Then, for , , we obtain Thus, is equicontinuous.
Next, we show that is continuous. For any , , with as . Then, for , we have This implies that as . Hence, is continuous. According to the Ascoli-Arzelà Theorem, is completely continuous. The proof is completed.
For convenience, we give some conditions, which will play roles in this paper for as follows...
Lemma 13. Let and hold. Then, there exist positive numbers such that