Abstract

We consider a system of boundary value problems for fractional differential equation given by , , , , where , , , , are eigenvalues, subject either to the boundary conditions , , , , , or , , , , , , where , and , , are continuous functions. The Krasnoselskiis fixed point theorem is applied to prove the existence of at least one positive solution for both fractional boundary value problems. As an application, an example is given to demonstrate some of main results.

1. Introduction

Fractional calculus is the field of mathematical analysis which deals with the investigation and applications of integrals and derivatives of arbitrary order; the fractional calculus may be considered an old and yet novel topic.

Recently, fractional differential equations have found numerous applications in various fields of physics and engineering [1, 2]. It should be noted that most of the books and papers on fractional calculus are devoted to the solvability of initial value problems for differential equations of fractional order. In contrast, the theory of boundary value problems for nonlinear fractional differential equations has received attention quite recently and many aspects of this theory need to be explored. For more details and examples, see [39] and the references therein; moreover, fractional derivative arises from many physical processes, such as a charge transport in amorphous semiconductors [10]; electrochemistry and material science are also described by differential equations of fractional order [1115]. In [16], Bai and Lü considered the boundary value problem of fractional order differential equation where is the standard Riemann-Liouville fractional derivative of order and is continuous.

In [17], Salem considered the following nonlinear -point boundary value problem of fractional type: where , with , is a real valued continuous function, and is a nonlinear Pettis integrable function.

The turbulent flow in a porous medium is a fundamental mechanics problem. For studying this type of problems, Leibenson [18] introduced the -Laplacian equation as follows: where , . Obviously, is invertible and its inverse operator is , where is a constant such that .

Ahmad et al. [19] also considered the existence of solutions for the following three-point boundary value problem of Langevin equation with two different fractional orders: where is the Caputo fractional derivative, is a given continuous function, and is a real number.

Dai [20] considered the following problem of ordinary differential equations: By means of global bifurcation techniques and the approximation of connected components, existence and multiplicity results for positive solutions were obtained.

Motivated by the works above, our purpose in this paper is to show the existence of at least one positive solution for the following fractional -Laplacian system: where , , , is the Riemann-Liouville fractional derivative of order , , and is integer.

We first consider the problem (6) with following boundary condition: We then consider the case in which the boundary conditions are changed to where are continuous functions, where means the set of continuous, real valued functions on the unit interval .

In the cases, we assume that .

In the past few decades, many important results relative to (6) with certain boundary value conditions have been obtained; we refer the reader to [2125] and the references therein.

The following conditions will be used in this paper:(H1) , is a -laplacian operator. Obviously, is invertible and , where is a constant such that ;(H2) for and ;(H3) is a given continuous function and is a positive real valued continuous function, .

The rest of the paper is organized as follows: in Section 2, we will recall certain results from the theory of the continuous fractional calculus; in Section 3, we will provide some conditions under which the problem (6) and (7) has at least one positive solution; in Section 4, by suitable conditions, we will prove that the problem (6) and (8) has at least one positive solution; finally, in Section 4, we will provide some numerical examples, which will explicate the applicability of our results.

2. Preliminaries

In this section, we present some notations and preliminary lemmas that will be used in the proofs of the main results.

Definition 1. Let be a real Banach space. A nonempty closed set is called a cone of if it satisfies the following conditions:(1) , , implies (2) , , implies .

Definition 2 (see [26, 27]). The Riemann-Liouville fractional integral operator of order of function is defined as where is the Euler gamma function.

Definition 3 (see [26, 27]). The Riemann-Liouville fractional derivative of order of a continuous function is defined as where .

Lemma 4 (see [28]). The equality , , holds for .

Lemma 5 (see [28]). Let . Then the differential equation has a unique solution , , , where .

Lemma 6 (see [28]). Let . Then the following equality holds for , , , , where .

In the following, we present the Green function of fractional differential equation boundary value problem.

Let then, the problem where , is turned into problem

Lemma 7. Suppose that , then the boundary value problem (15) has a unique solution where

Proof. The proof is similar to that of Lemma 2.3 in [16], so we omit it here.

Lemma 8 (see [16]). For and ,

Lemma 9 (see [29]). Suppose that and , are two constants such that ; then,

Lemma 10. Suppose that (H1) and (H2) hold. Then, for , the boundary value problem has a unique solution where , for ,

Proof. By applying Lemma 6, (20) is equivalent to the following integral equation: for some arbitrary constants .
By the boundary condition , we conclude that ; then we have It follows from Lemmas 8 and 9 that So, by the boundary condition , we obtain that Then, the unique solution of (20) is given by the formula Then, the proof is completed.

Lemma 11. Assume , then; for all , we have(i) , , for any ;(ii)there exists a positive function such that , ,where with .

Proof. (i) If , we have If , we get Thus, , for any . It is obvious that .
Now, we show that for any . We define One can get on the other hand, it is obvious that , .
Thus For any , then, is nonincreasing with respect to on ; hence, we obtain that Also, we have then, is increasing with respect to on . Then, by the fact that , we have
(ii) Since is nonincreasing and is nondecreasing, for all , we have where is the solution of so, we get where is given in (28). This completes the proof.

Remark 12. If and , then Lemma 11 satisfies.

In this paper, we assume that and .

Now, we consider system (6). Assume that (H1), (H2), and (H3) hold; then, by applying Lemmas 7 and 10, is a solution of system (6) if and only if is a solution of the following nonlinear integral system:

We next recall the Krasnoselskii's fixed point theorem (see [30]). This lemma will be of use in Sections 3 and 4 of this paper.

Theorem 13. Let be a Banach space and let be a cone. Assume that and are open sets contained in such that and . Assume, further, that is a completely continuous operator. If eigher (1) for and for or(2) for and for ,
then, has at least one fixed point in .

3. Existence of a Positive Solution: Case I

Let and , and define In this section, we consider the following assumption:(L1)There exist numbers and , with , such that (L2)There exist numbers and , with , such that (L3)There are numbers and , where such that , .

The basic space used in this paper is a real Banach space with the norm , where .

Then, choose a cone , by and define an operator by where

Lemma 14. Suppose that (H1), (H2), and (H3) hold. Then, the operator is well defined, that is, .

Proof. For any , by (H1), (H2), (H3) and Lemma 11, , , , and it follows from (47) that Thus, for any , it follows from Lemma 11 and (49) that In the same way, for any , we have
Therefore, From the above, we conclude that , that is, . This completes the proof.

It is clear that the existence of a positive solution for system (6) is equivalent to the existence of a nontrivial fixed point of in .

Theorem 15. Assume that (L1), (L2), and (L3) are satisfied. Then, system (6) and (7) has at least one positive solution.

Proof. It follows from Lemma 14 that . Furthermore, by the application of the Ascoli-Arzela theorem, which we omit, is a completely continuous operator.
Condition (L3) implies that there is sufficiently small such that
Now given this , it follows from condition (L1) that there exists some number such that whenever . Similarly, by condition (L1), for the same , there exists some number such that whenever . In particular, by putting , we conclude that both (54) and (55) hold whenever . So, define by Then, for , we have Also, by similarly argument, we get for . Thus, for , we have
On the other hand, letting be the same number selected at the beginning this proof, it follows from condition (L2) that there exists number such that whenever . Let Moreover, let Then, .
If , then it follows that for any ,
Thus, (63) shows that for , (60) holds, whenever .
So, for each , we have Similarly, we obtain that for . Thus, for , we have Thus, all conditions of Theorem 13 are satisfied. Consequently, we conclude that has a fixed point on . This is a positive solution of systems (6) and (7). The proof is completed.

4. Existence of a Positive Solution: Case II

In this section, we assume that and . We now provide a set of conditions under which the problem (6) and (8) will have at least one positive solution. we need conditions (L1) and (L2) in this section. furthermore, we use notations , , and which were defined in Section 3. we will introduce new conditions.

(L4) The functionals and are continuous in and and nonnegative for and satisfy

(L5) There are numbers and , where such that , .

Remark 16. Condition (67) in (L4) is true only if for each there is such that whenever , it follows that . The same is true for condition (68) involving .

By repeating the way that we used in Section 3, with a minor modification, we can get that is a solution of systems (6) and (8) if and only if is a solution of the following nonlinear integral system: Thus, we define defined by , where

Lemma 17. Suppose that (H1), (H2), and (H3) hold. Then, the operator is well defined, that is, .

Proof. For any , by (H1), (H2), (H3), and Lemma 11, , , , and it follows from (71) that Thus, for any , it follows from Lemma 11 and (73) that In the same way, for any , we have Therefore, From the above, we conclude that , that is, . This completes the proof.

It is obvious that existence of a solution for the problem (6) and (8) is equivalent to existence of a fixed point for on .

Theorem 18. Suppose that conditions (L1), (L2), (L4), and (L5) hold. Then, systems (6) and (8) has at least one positive solution.

Proof. Lemma 17 shows that . Moreover, from continuity of , , , and , it is obvious that both and are completely continuous operators by the application of the Ascoli-Arzela theorem. Then, is a completely continuous operator. Also, condition (L3) implies that there is sufficiently small such that
Now given this , just as before, conditions (54) and (55) remain true whenever , exactly as in the proof of Theorem 15. It follows from (L4) and Remark 16 that there is such that whenever , and there is such that whenever . In particular and without loss of generality, let us suppose that Now, let . Observe that for any we have that . Then, we obtain that for all satisfying we have So, define by . We obtain for that Also, by similarly argument, we obtain that for . Thus, for , we have This implies that for , we have
On the other hand, letting be the same number selected at the beginning this proof, as before, condition (L2) implies that there exists number such that whenever . Let Moreover, if we let then, .
If , then, it follows that for any , Thus, (87) shows that for , (84) holds, whenever .
In addition, recall that by condition (L4), and are assumed to be nonnegative for . So, for each , we have Similarly, one can get for . Thus, for , we have Thus, all conditions of Theorem 13 are satisfied. Consequently, we conclude that has a fixed point on . This is a positive solution of systems (6) and (8). The proof is completed.

5. Application

Example 19. Consider the following singular boundary value problem: subject to the boundary conditions
Here, , , , , , , , , , , and . Now, we have ,
It is easy to check that are continuous. The functions and are obviously nonnegative for all . We now check that all conditions of Theorem 15 hold. By definition of functions and , we get Thus, let
On the other hand, we have Thus, let It follows from (94)–(97) that conditions (L1) and (L2) hold.
Choose , . Then, by direct calculations, we can obtain that , , and
Then, for and , condition (L3) holds. Thus, all conditions of Theorem 15 hold. Hence, system (91) with boundary conditions (92) has at least one positive solution.
Now, consider the problem (91) with following boundary conditions: where In this case, we check that all conditions of Theorem 18 hold. It follows from (94)–(97) that conditions (L1) and (L2) hold. We now show that (L4) and (L5) hold: So, condition (L4) is satisfied. Now, by direct calculation, one can get Then, for and , condition (L5) holds. Thus, all conditions of Theorem 18 hold. Hence, system (91) with the boundary conditions (99) has at least one positive solution.

Acknowledgment

The authors would like to thank the anonymous referees for their valuable suggestions and comments.