New Trends on Fractional and Functional Differential EquationsView this Special Issue
Research Article | Open Access
Positive Solutions for Class of State Dependent Boundary Value Problems with Fractional Order Differential Operators
We consider the following state dependent boundary-value problem , ; , where is the standard Riemann-Liouville fractional derivative of order , , , , the function is defined as , and the function is defined as , are continuous on and , . Using Banach contraction mapping principle and Leray-Schauder continuation principle, we obtain some sufficient conditions for the existence and uniqueness of the positive solutions for the above fractional order differential equations, which extend some references.
Fractional order differential equations has useful applications in many fields, such as physics, mechanics, chemistry, engineering, biology, and so on. There has been a significant development in fractional differential equations (e.g., [1–9]). In the previous papers, some authors investigated fractional order partial differential equations [10–15]. For example, Wu  used the wavelet operational method for solving fractional partial differential equations numerically. Since it is one of the important fields to be concerned with the boundary value problems for fractional order differential equations, some authors considered the existence of positive solutions for fractional differential equations or systems with boundary value conditions [16–25] and the stability .
As early as 1994, Delbosco  investigated the nonlinear Dirichlet-type problem where is order Riemann-Liouville derivative. The author had proved that if is a Lipschitz function, then the problem has at least one solution in a certain subspace of in which the fractional derivative has a Hölder property.
Later, using some fixed point theorems, Bai and Lü  obtained the existence of positive solutions of the following equation with boundary value conditions
More recently, Bai  also considered the following boundary value problem By constructing a Green’s function, and using contraction map principle, the author obtained some existence conditions of positive solutions for (3).
Motivated by the above references, we consider a state dependent boundary value problem with fractional order differential operators where is the standard Riemann-Liouville fractional derivative of order , , , , , ; the function is defined as , and ; the function is defined as and , are continuous on and .
By using Banach contraction mapping principle and Leray-Schauder continuation principle, we obtain some sufficient conditions for the existence and uniqueness of the positive solutions for boundary value problem (4). Furthermore, we give an example to illustrate our results.
In this section, we introduce some definitions and preliminary facts which are used in this paper.
It is well known that if , then , . Furthermore, if and , then for , we have which is with the semigroup property for and .
We also need to introduce some Lemmas as follows, which will be used in the proof of our main theorems.
Lemma 6 (see , the Banach contraction mapping theorem). Let be a contraction mapping of a complete metric space . Then has one and only one fixed point.
Lemma 7 (see [28–30], the Leray-Schauder continuation principle). Let be a Banach space with being closed and convex. Assume that is a relatively open subset of with and is completely continuous. Then either(a)has a fixed point in , or(b)there exists and with .
Throughout this paper, we assume that and we satisfy the following(H):(i) is Lebesgue measurable with respect to on ; (ii) is continuous with respect to on .
3. Main Results
For convenience, we rewrite (4) as follows:
Combining (14) with (17), we obtain According to (15) and (18), it follows that Let According to (19)–(21), it follows that which means that if satisfies (13)-(14), then it satisfies (22). It is easy to show that if satisfies (22), then it also satisfies (13)-(14). Thus, the boundary value problem (13)-(14) is actually equivalent to integral equation (22). Therefore, we have the following.
Lemma 9. For any , are continuous and , .
Proof. It is obvious that are continuous on . We first prove that on . Let
We first show that , , . We rewrite as follows:
Since , then
Differentiating both sides of (25) with respect to , it follows that
which means that is nondecreasing with respect to on . Thus, for any , , therefore, .
Using the similar method, we can prove that , and it is obvious that , . Hence, combining (20) and (23), we obtain that .
Now, we prove that . Denote Let Since , then Differentiating both sides of (29) with respect to , it follows that which means that is nonincreasing with respect to on . Thus, for any , , therefore, .
Using the similar method, we can prove that , and the case that , is obvious. Combining (21) and (28) and using the above argument, we obtain that . The proof is complete.
Lemma 10. For any , are nondecreasing functions with respect to ; that is, for any , .
Proof. According to the proof of Lemma 9, we notice that At the same time, for , we have The proof is complete.
Now, we present our main results.
Proof. Set with the maximum norm It is easy to show that is a complete metric space. We denote a operator as follows: From Lemma 9 and the conditions , , , it follows that maps into itself and we only need to prove the contraction. In fact, according (H) and (34), for any , we have which means that By the Banach contraction mapping principle (Lemma 6), we obtain that has a unique fixed point which is a positive solution of (13)-(14). The proof is complete.
Proof. We also consider the operator defined in (38). We divide the proof into four steps.
Step 1. is continuous.
Let be a sequence in such that as . Noticing that are continuous with respect to , then for each , we have thus, which implies that Step 2. maps bounded sets into bounded sets in .
Indeed, it suffices to show that for any , there exists a positive constant such that for , we have . From (38)–(43), we have which means Step 3. maps bounded sets into equicontinuous sets in .
For any , and for each , we have