`Abstract and Applied AnalysisVolumeΒ 2011Β (2011), Article IDΒ 390543, 16 pageshttp://dx.doi.org/10.1155/2011/390543`
Research Article

## Positive Solutions to Boundary Value Problems of Nonlinear Fractional Differential Equations

1School of Science, University of Jinan, Jinan, Shandong 250022, China
2Department of Mathematics and Statistics, Missouri University of Science and Technology Rolla, MO 65409-0020, USA

Received 23 September 2010; Revised 5 November 2010; Accepted 6 December 2010

Copyright Β© 2011 Yige Zhao et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

We study the existence of positive solutions for the boundary value problem of nonlinear fractional differential equations , , , where is a real number, is the Riemann-Liouville fractional derivative, is a positive parameter, and is continuous. By the properties of the Green function and Guo-Krasnosel'skii fixed point theorem on cones, the eigenvalue intervals of the nonlinear fractional differential equation boundary value problem are considered, some sufficient conditions for the nonexistence and existence of at least one or two positive solutions for the boundary value problem are established. As an application, some examples are presented to illustrate the main results.

#### 1. Introduction

Fractional differential equations have been of great interest recently. It is caused both by the intensive development of the theory of fractional calculus itself and by the applications; see [1β4]. It should be noted that most of papers and books on fractional calculus are devoted to the solvability of linear initial fractional differential equations on terms of special functions.

Recently, there are some papers dealing with the existence of solutions (or positive solutions) of nonlinear initial fractional differential equations by the use of techniques of nonlinear analysis (fixed-point theorems, Leray-Schauder theory, Adomian decomposition method, etc.); see [5β11]. In fact, there has the same requirements for boundary conditions. However, there exist some papers considered the boundary value problems of fractional differential equations; see [12β19].

Yu and Jiang [19] examined the existence of positive solutions for the following problem: where is a real number, , and is the Riemann-Liouville fractional differentiation. By using the properties of the Green function, they obtained some existence criteria for one or two positive solutions for singular and nonsingular boundary value problems by means of the Krasnosel'skii fixed point theorem and a mixed monotone method.

To the best of our knowledge, there is very little known about the existence of positive solutions for the following problem: where is a real number, is the Riemann-Liouville fractional derivative, is a positive parameter and is continuous.

On one hand, the boundary value problem in [19] is the particular case of problem (1.2) as the case of . On the other hand, as Yu and Jiang discussed in [19], we also give some existence results by the fixed point theorem on a cone in this paper. Moreover, the purpose of this paper is to derive a -interval such that, for any lying in this interval, the problem (1.2) has existence and multiplicity on positive solutions.

In this paper, by analogy with boundary value problems for differential equations of integer order, we firstly give the corresponding Green function named by fractional Green's function and some properties of the Green function. Consequently, the problem (1.2) is reduced to an equivalent Fredholm integral equation. Finally, by the properties of the Green function and Guo-Krasnosel'skii fixed point theorem on cones, the eigenvalue intervals of the nonlinear fractional differential equation boundary value problem are considered, some sufficient conditions for the nonexistence and existence of at least one or two positive solutions for the boundary value problem are established. As an application, some examples are presented to illustrate the main results.

#### 2. Preliminaries

For the convenience of the reader, we give some background materials from fractional calculus theory to facilitate analysis of problem (1.2). These materials can be found in the recent literature; see [19β21].

Definition 2.1 (see [20]). The Riemann-Liouville fractional derivative of order of a continuous function is given by where , denotes the integer part of number Ξ±, provided that the right side is pointwise defined on .

Definition 2.2 (see [20]). The Riemann-Liouville fractional integral of order of a function is given by provided that the right side is pointwise defined on .

From the definition of the Riemann-Liouville derivative, we can obtain the following statement.

Lemma 2.3 (see [20]). Let . If we assume , then the fractional differential equation has , , , as unique solutions, where is the smallest integer greater than or equal to Ξ±.

Lemma 2.4 (see [20]). Assume that with a fractional derivative of order that belongs to . Then for some , , where is the smallest integer greater than or equal to Ξ±.

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

Lemma 2.5 (see [19]). Let and . The unique solution of problem is where Here is called the Green function of boundary value problem (2.5).

The following properties of the Green function play important roles in this paper.

Lemma 2.6 (see [19]). The function defined by (2.7) satisfies the following conditions: (1), for ; (2), for ; (3), for ; (4), for .

The following lemma is fundamental in the proofs of our main results.

Lemma 2.7 (see [21]). Let be a Banach space, and let be a cone in . Assume are open subsets of with , and let be a completely continuous operator such that, either (1), , , or (2), , , . Then has a fixed point in .

For convenience, we set ; then

#### 3. Main Results

In this section, we establish the existence of positive solutions for boundary value problem (1.2).

Let Banach space be endowed with the norm . Define the cone by

Suppose that is a solution of boundary value problem (1.2). Then

We define an operator as follows:

By Lemma 2.6, we have Thus, .

Then we have the following lemma.

Lemma 3.1. is completely continuous.

Proof. The operator is continuous in view of continuity of and . By means of the Arzela-Ascoli theorem, is completely continuous.
For convenience, we denote

Theorem 3.2. If there exists such that holds, then for each the boundary value problem (1.2) has at least one positive solution. Here we impose if and if .

Proof. Let satisfy (3.6) and be such that By the definition of , we see that there exists such that So if with , then by (3.7) and (3.8), we have Hence, if we choose , then
Let be such that If with , then by (3.7) and (3.11), we have Thus, if we set , then Now, from (3.10), (3.13), and Lemma 2.7, we guarantee that has a fixed-point with , and clearly is a positive solution of (1.2). The proof is complete.

Theorem 3.3. If there exists such that holds, then for each the boundary value problem (1.2) has at least one positive solution. Here we impose if and if .

Proof. Let satisfy (3.14) and be such that From the definition of , we see that there exists such that Further, if with , then similar to the second part of Theorem 3.2, we can obtain that . Thus, if we choose , then
Next, we may choose such that We consider two cases.Case 1. Suppose is bounded. Then there exists some , such that We define , and with , then Hence, Case 2. Suppose is unbounded. Then there exists some , such that Let with . Then by (3.15) and (3.18), we have Thus, (3.21) is also true.In both Cases 1 and 2, if we set , then Now that we obtain (3.17) and (3.24), it follows from Lemma 2.7 that has a fixed-point with . It is clear is a positive solution of (1.2). The proof is complete.

Theorem 3.4. Suppose there exist , such that , and satisfy Then the boundary value problem (1.2) has a positive solution with .

Proof. Choose ; then for , we have
On the other hand, choose , then for , we have Thus, by Lemma 2.7, the boundary value problem (1.2) has a positive solution with . The proof is complete.

For the reminder of the paper, we will need the following condition., where .

Denote

In view of the continuity of and , we have and .

Theorem 3.5. Assume holds. If and , then the boundary value problem (1.2) has at least two positive solutions for each .

Proof. Define By the continuity of , and , we have that is continuous and By (3.28), there exists , such that then for , there exist constants with Thus,
On the other hand, applying the conditions and , there exist constants , with Then By (3.34) and (3.37), (3.35) and (3.38), combining with Theorem 3.4 and Lemma 2.7, we can complete the proof.

Corollary 3.6. Assume holds. If or , then the boundary value problem (1.2) has at least one positive solution for each .

Theorem 3.7. Assume holds. If and , then for each , the boundary value problem (1.2) has at least two positive solutions.

Proof. Define By the continuity of , and , we easily see that is continuous and By (3.29), there exists , such that For , there exist constants , with Therefore,
βOn the other hand, using , we know that there exists a constant with In view of , there exists a constant such that
Let It is easily seen that By (3.45) and (3.48), combining with Theorem 3.4 and Lemma 2.7, the proof is complete.

Corollary 3.8. Assume holds. If or , then for each , the boundary value problem (1.2) has at least one positive solution.

By the above theorems, we can obtain the following results.

Corollary 3.9. Assume holds. If , , or , , then for any , the boundary value problem (1.2) has at least one positive solution.

Corollary 3.10. Assume holds. If ,, or if , , then for any , the boundary value problem (1.2) has at least one positive solution.

Remark 3.11. For the integer derivative case , Theorems 3.2β3.7 also hold; we can find the corresponding existence results in [22].

#### 4. Nonexistence

In this section, we give some sufficient conditions for the nonexistence of positive solution to the problem (1.2).

Theorem 4.1. Assume holds. If and , then there exists a such that for all , the boundary value problem (1.2) has no positive solution.

Proof. Since and , there exist positive numbers , and , such that and Let . Then we have Assume is a positive solution of (1.2). We will show that this leads to a contradiction for . Since for , which is a contradiction. Therefore, (1.2) has no positive solution. The proof is complete.

Theorem 4.2. Assume holds. If and , then there exists a such that for all , the boundary value problem (1.2) has no positive solution.

Proof. By and , we know that there exist positive numbers , and , such that and Let . Then we get Assume is a positive solution of (1.2). We will show that this leads to a contradiction for . Since for , which is a contradiction. Thus, (1.2) has no positive solution. The proof is complete.

#### 5. Examples

In this section, we will present some examples to illustrate the main results.

Example 5.1. Consider the boundary value problem
Since , we have Let . Then we have , . Choose . Then . So holds. Thus, by Theorem 3.2, the boundary value problem (5.1) has a positive solution for each .

Example 5.2. Discuss the boundary value problem
Since , we have and . Let . Then we have . Choose . Then . So holds. Thus, by Theorem 3.3, the boundary value problem (5.3) has a positive solution for each .

Example 5.3. Consider the boundary value problem
Since , we have and . Let . Then we have , , and .
(i)Choose . Then . So holds. Thus, by Theorem 3.2, the boundary value problem (5.4) has a positive solution for each .(ii)By Theorem 4.1, the boundary value problem (5.4) has no positive solution for all .(iii)By Theorem 4.2, the boundary value problem (5.4) has no positive solution for all .

Example 5.4. Consider the boundary value problem
Since , we have and . Let . Then we have , , , and .
(i)Choose . Then . So holds. Thus, by Theorem 3.3, the boundary value problem (5.5) has a positive solution for each .(ii)By Theorem 4.1, the boundary value problem (5.5) has no positive solution for all .(iii)By Theorem 4.2, the boundary value problem (5.5) has no positive solution for all .

#### Acknowledgments

The authors sincerely thank the reviewers for their valuable suggestions and useful comments that have led to the present improved version of the original manuscript. This research is supported by the Natural Science Foundation of China (11071143, 11026112, 60904024), the Natural Science Foundation of Shandong (Y2008A28, ZR2009AL003), University of Jinan Research Funds for Doctors (XBS0843) and University of Jinan Innovation Funds for Graduate Students (YCX09014).

#### References

1. K. S. Miller and B. Ross, An Introduction to the Fractional Calculus and Fractional Differential Equation, A Wiley-Interscience Publication, John Wiley & Sons, New York, NY, USA, 1993.
2. K. B. Oldham and J. Spanier, The Fractional Calculus, Academic Press, New York, NY, USA, 1974.
3. I. Podlubny, Fractional Differential Equations, vol. 198 of Mathematics in Science and Engineering, Academic Press, San Diego, Calif, USA, 1999.
4. S. G. Samko, A. A. Kilbas, and O. I. Marichev, Fractional Integral and Derivative: Theory and Applications, Gordon and Breach Science, Yverdon, Switzerland, 1993.
5. Q. Li and S. Sun, βOn the existence of positive solutions for initial value problem to a class of fractional differential equation,β in Proceedings of the 7th Conference on Biological Dynamic System and Stability of Differential Equation, pp. 886β889, World Academic Press, Chongqing, China, 2010.
6. Q. Li, S. Sun, M. Zhang, and Y. Zhao, βOn the existence and uniqueness of solutions for initial value problem of fractional differential equations,β Journal of University of Jinan, vol. 24, pp. 312β315, 2010.
7. Q. Li, S. Sun, Z. Han, and Y. Zhao, βOn the existence and uniqueness of solutions for initial value problem of nonlinear fractional differential equations,β in Proceedings of the 6th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA '10), pp. 452β457, Qingdao, China, 2010.
8. D. Delbosco and L. Rodino, βExistence and uniqueness for a nonlinear fractional differential equation,β Journal of Mathematical Analysis and Applications, vol. 204, no. 2, pp. 609β625, 1996.
9. S. Zhang, βThe existence of a positive solution for a nonlinear fractional differential equation,β Journal of Mathematical Analysis and Applications, vol. 252, no. 2, pp. 804β812, 2000.
10. S. Zhang, βExistence of positive solution for some class of nonlinear fractional differential equations,β Journal of Mathematical Analysis and Applications, vol. 278, no. 1, pp. 136β148, 2003.
11. H. Jafari and V. Daftardar-Gejji, βPositive solutions of nonlinear fractional boundary value problems using Adomian decomposition method,β Applied Mathematics and Computation, vol. 180, no. 2, pp. 700β706, 2006.
12. S. Zhang, βPositive solutions for boundary-value problems of nonlinear fractional differential equations,β Electronic Journal of Differential Equations, vol. 36, pp. 1β12, 2006.
13. T. Qiu and Z. Bai, βExistence of positive solutions for singular fractional differential equations,β Electronic Journal of Differential Equations, vol. 146, pp. 1β9, 2008.
14. Z. Bai and H. LΓΌ, βPositive solutions for boundary value problem of nonlinear fractional differential equation,β Journal of Mathematical Analysis and Applications, vol. 311, no. 2, pp. 495β505, 2005.
15. M. Zhang, S. Sun, Y. Zhao, and D. Yang, βExistence of positive solutions for boundary value problems of fractional differential equations,β Journal of University of Jinan, vol. 24, pp. 205β208, 2010.
16. Y. Zhao and S. Sun, βOn the existence of positive solutions for boundary value problems of nonlinear fractional differential equations,β in Proceedings of the 7th Conference on Biological Dynamic System and Stability of Differential Equation, pp. 682β685, World Academic Press, Chongqing, China, 2010.
17. Y. Zhao, S. Sun, Z. Han, and M. Zhang, βExistence on positive solutions for boundary value problems of singular nonlinear fractional differential equations,β in Proceedings of the 6th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, pp. 480β485, Qingdao, China, 2010.
18. Y. Zhao, S. Sun, Z. Han, and Q. Li, βThe existence of multiple positive solutions for boundary value problems of nonlinear fractional differential equations,β Communications in Nonlinear Science and Numerical Simulation, vol. 16, no. 4, pp. 2086β2097, 2011.
19. Y. Yu and D. Jiang, βMultiple Positive Solutions for the Boundary Value Problem of A Nonlinear Fractional Differential Equation,β Northeast Normal University, 2009.
20. A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo, Theory and Applications of Fractional Differential Equations, vol. 204 of North-Holland Mathematics Studies, Elsevier Science, Amsterdam, The Netherlands, 2006.
21. M. A. Krasnoselskii, Positive Solutions of Operator Equations, Noordhoff, Groningen, The Netherlands, 1964.
22. W. Ge, Boundary Value Problem of Nonlinear Ordinary Differential Equations, Science Press, Beijing, China, 2007.