- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents

Journal of Function Spaces and Applications

Volume 2013 (2013), Article ID 676045, 7 pages

http://dx.doi.org/10.1155/2013/676045

## Existence Results for a Riemann-Liouville-Type Fractional Multivalued Problem with Integral Boundary Conditions

^{1}Mathematics Department, Faculty of Science, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia^{2}Department of Mathematics, University of Ioannina, 451 10 Ioannina, Greece

Received 12 December 2012; Revised 29 December 2012; Accepted 2 January 2013

Academic Editor: Gennaro Infante

Copyright © 2013 Hamed H. Alsulami 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 discuss the existence of solutions for a boundary value problem of Riemann-Liouville fractional differential inclusions of order with integral boundary conditions. We establish our results by applying the standard tools of fixed point theory for multivalued maps when the right-hand side of the inclusion has convex as well as nonconvex values. An illustrative example is also presented.

#### 1. Introduction

In the last few decades, fractional calculus is found to be an effective modeling tool in many branches of physics, economics, and technical sciences [1–3]. A fractional-order differential operator is nonlocal in its character in contrast to its counterpart in classical calculus. It means that the future state of a dynamical system or process based on fractional-order derivative depends on both its current and past states. Thus, the application of fractional calculus in various materials and processes enables an investigator to study the complete behavior (ranging from past to current states) of such stuff. This is indeed an important feature that makes fractional-order models more realistic and practical than the integer-order models and has accounted for the popularity of the subject. For some recent development on the topic, see [4–17] and the references therein.

Differential inclusions appear in the mathematical modeling of certain problems in economics, optimal control, and so forth and are widely studied by many authors. Examples and details can be found in a series of papers [18–23] and the references cited therein.

In this paper, we study the following boundary value problem: where is the standard Riemann-Liouville fractional derivative of order ,is a multivalued map, is the family of all subsets of , and is a continuous function.

Here we remark that the present work is motivated by a recent paper [17], where problem (1) is considered with as single valued and the results on existence and nonexistence of positive solutions are obtained.

The main tools of our study include nonlinear alternative of Leray-Schauder type, a selection theorem due to Bressan and Colombo for lower semicontinuous multivalued maps, and Covitz and Nadler's fixed point theorem for contraction multivalued maps. The application of these results is new in the framework of the problem at hand. We recall some preliminaries in Section 2 while the main results are presented in Section 3.

#### 2. Preliminaries

##### 2.1. Fractional Calculus

Let us recall some basic definitions of fractional calculus [1, 2].

*Definition 1. *The Riemann-Liouville derivative of fractional order is defined as
provided the integral exists, where denotes the integer part of the real number .

*Definition 2. *The Riemann-Liouville fractional integral of order is defined as
provided the integral exists.

*Definition 3. *A function is called a solution of problem (1) if there exists a function with , a.e. such that , a.e. and , .

Lemma 4 (see [17]). *Given , then the unique solution of the problem
**
is given by
**
where
*

Lemma 5 (see [17]). *The functions have the following properties: *(i)*, for all ;*(ii)* for all ;*(iii)* for all .*

##### 2.2. Basic Concepts of Multivalued Maps

Let be a normed space and let be a multivalued map. is said to be(i) convex (closed) valued if is convex (closed) for all ;(ii) bounded on bounded sets if is bounded in for all , where , (i.e., );(iii) upper semicontinuous (u.s.c.) on if the set is a nonempty closed subset of for each and if for each open set of containing there exists an open neighborhood of such that ; (iv) completely continuous if is relatively compact for every .

*Definition 6. *If the multivalued map is completely continuous with nonempty compact values, then is u.s.c. if and only if has a closed graph; that is, imply that when .

*Definition 7. * has a fixed point if there is such that . The fixed point set of the multivalued operator will be denoted by .

*Definition 8. *Let . A multivalued map is said to be measurable if the function
is measurable for every .

In the sequel, by we mean a Banach space of continuous functions from into with the norm whereas is the Banach space of measurable functions which are Lebesgue integrable and normed by .

*Definition 9. *A multivalued map is said to be Carathéodory if the map is measurable for each and the map is upper semicontinuous for almost all . Further, a Carathéodory function is called -Carathéodory if for each , there exists such that for all and for a. e. .

*Definition 10. *For each , the set of selections of is defined by

*Definition 11. *For a nonempty closed subset of a Banach space , let be a nonempty multivalued operator with closed values. We call to be lower semi-continuous (l.s.c.) if the set is open for any open set in .

*Definition 12. *A subset of is measurable if belongs to the -algebra generated by all sets of the form , where is Lebesgue measurable in and is Borel measurable in .

*Definition 13. *A subset of is said be decomposable if for all and measurable , the function , where stands for the characteristic function of .

*Definition 14. *A multivalued operator has a property (BC) if is lower semi-continuous (l.s.c.) and has nonempty closed and decomposable values, where is a separable metric space.

*Definition 15. *Let be a multivalued map with nonempty compact values. We say that is of lower semi-continuous type (l.s.c. type) if its associated Nemytskii operator is lower semi-continuous and has nonempty closed and decomposable values, where

*Definition 16. *Let be a metric space induced from the normed space and let be defined by
where and . Then is a metric space and is a generalized metric space (see [24]).

*Definition 17. *A multivalued operator is called -Lipschitz if and only if there exists such that
and a contraction if and only if it is -Lipschitz with .

For further details on multi-valued maps, we refer the reader to the books [25, 26].

#### 3. Existence Results for the Multivalued Problem

In this section, we present some existence results for the problem (1). Our first result deals with the case when is Carathéodory. We make use of the following known results to establish the proof.

Lemma 18 (see [27]). *Let be a Banach space. Let be an -Carathéodory multivalued map with compact and convex values and let be a linear continuous mapping from to . Then the operator
**
is a closed graph operator in .*

Lemma 19 (nonlinear alternative for Kakutani maps [28]). *Let be a Banach space, a closed convex subset of an open subset of , and . Suppose that is an upper semicontinuous compact map; here denotes the family of nonempty, compact convex subsets of . Then either *(i)* has a fixed point in , or *(ii)*there is a and with . *

Theorem 20. *Assume that ** is Carathéodory and has nonempty compact and convex values; **there exists a continuous nondecreasing function and a function such that
**there exists a constant such that
**Then the boundary value problem (1) has at least one solution on . *

*Proof. *In view of Lemma 4, we define an operator by
and show that it satisfies the hypotheses of Lemma 19. Since is convex ( has convex values), therefore, it can be easily shown that is convex for each .

As a next step, we prove that maps the bounded sets (balls) into bounded sets in . For a positive number , let be a bounded ball in . Then, for each , , there exists such that
Then, for , , we have
Thus,
Now we show that maps the bounded sets into equicontinuous sets of .

Let , with and . For each , we obtain
Obviously the right-hand side of the above inequality tends to zero independently of as . As satisfies the above three assumptions, therefore, by the Ascoli-Arzelá theorem, it follows that is completely continuous.

In our next step, we show that has a closed graph. Let , and . Then we need to show that . Associated with , there exists such that for each ,
Thus, it suffices to show that there exists such that for each ,
Define a linear operator as
Notice that
Thus, it follows from Lemma 18 that is a closed graph operator. Further, we have , since . Thus, for some , we have
In the last step, we show that there exists an open set with for any and all . Let and . Then there exists with such that for , we have
and using the computations used in the second step, we obtain
In consequence, we have
By the assumption , there exists such that . Let us set
Observe that the operator is upper semicontinuous and completely continuous. From the choice of , there is no such that for some . Consequently, by Lemma 19, we have that has a fixed point which is a solution of the problem (1). This completes the proof.

*Example 21. *Consider the following boundary value problem:
where is a multivalued map given by
For , we have
Here , , , with , and . Using the given values in the condition :
we find that
Clearly, all the conditions of Theorem 20 are satisfied. Hence, the conclusion of Theorem 20 applies to the problem (31).

In our next result, we assume that is not necessarily convex valued. We complete the proof of this result by applying the nonlinear alternative of Leray-Schauder type together with the selection theorem of Bressan and Colombo [29] for lower semi-continuous maps with decomposable values, which is stated below.

Lemma 22 (see [29, 30]). *Let be a separable metric space and let be a multivalued operator satisfying the property (BC). Then has a continuous selection; that is, there exists a continuous function (single-valued) such that for every . *

Theorem 23. *Suppose that and hold. In addition, we assume the following condition: ** is a nonempty compact-valued multivalued map such that (a) is measurable, (b) is lower semicontinuous for each . *

*Then the problem (1) has at least one solution on .*

*Proof. *Observe that the assumptions and imply that is of l.s.c. type. Then, by Lemma 22, there exists a continuous function such that for all .

Let us consider the problem
One can note that if is a solution of (36), then is a solution to the problem (1). To convert the problem (36) to a fixed point problem, we define an operator as
It is easy to show that the operator is continuous and completely continuous. The rest of the proof is similar to that of Theorem 20. So we omit it. This completes the proof.

Finally we show the existence of solutions for the problem (1) with a nonconvex valued right-hand side by applying a fixed point theorem for multivalued maps according to Covitz and Nadler [31].

Lemma 24 ([31]). *Let be a complete metric space. If is a contraction, then . *

Theorem 25. *Assume that ** is such that is measurable for each ; ** for almost all and with and for almost all . **Then the boundary value problem (1) has at least one solution on if
*

*Proof. *By the assumption , it follows that the set is nonempty for each . So has a measurable selection (see [32, Theorem III.6]). Now it will be shown that the operator defined by (17) satisfies the hypotheses of Lemma 24. To show that for each , let be such that in . Then and there exists such that, for each ,
As has compact values, we pass onto a subsequence (if necessary) to obtain that converges to in . Thus, and for each , we have
Hence, .

Next, we show that there exists such that
Let and . Then there exists such that, for each ,
By , we have that
So, there exists such that
Define by
Since the multivalued operator is measurable ([32, Proposition III.4]), there exists a function which is a measurable selection for . So and for each , we have that .

For each , let us define
Thus,
Hence,
Analogously, interchanging the roles of and , we obtain
Since is a contraction, it follows from Lemma 24 that has a fixed point which is a solution of (1). This completes the proof.

#### Acknowledgments

The authors thank the editor and the reviewer for their constructive comments that led to the improvement of the paper. The research of H. H. Alsulami and B. Ahmad was partially supported by Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia.

#### References

- I. Podlubny,
*Fractional Differential Equations*, vol. 198, Academic Press, San Diego, Calif, USA, 1999. View at MathSciNet - 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. View at MathSciNet - D. Baleanu, K. Diethelm, E. Scalas, and J. J. Trujillo,
*Fractional Calculus Models and Numerical Methods*, vol. 3 of*Series on Complexity, Nonlinearity and Chaos*, World Scientific Publishing, Boston, Mass, USA, 2012. View at MathSciNet - R. P. Agarwal, B. Andrade, and C. Cuevas, “Weighted pseudo-almost periodic solutions of a class of semilinear fractional differential equations,”
*Nonlinear Analysis*, vol. 11, no. 5, pp. 3532–3554, 2010. View at Publisher · View at Google Scholar · View at MathSciNet - Z. Bai, “On positive solutions of a nonlocal fractional boundary value problem,”
*Nonlinear Analysis*, vol. 72, no. 2, pp. 916–924, 2010. View at Publisher · View at Google Scholar · View at MathSciNet - K. Balachandran and J. J. Trujillo, “The nonlocal Cauchy problem for nonlinear fractional integrodifferential equations in Banach spaces,”
*Nonlinear Analysis*, vol. 72, no. 12, pp. 4587–4593, 2010. View at Publisher · View at Google Scholar · View at MathSciNet - D. Băleanu, O. G. Mustafa, and D. O'Regan, “A Nagumo-like uniqueness theorem for fractional differential equations,”
*Journal of Physics A*, vol. 44, no. 39, Article ID 392003, 6 pages, 2011. View at Publisher · View at Google Scholar - C. Cuevas, H. Soto, and A. Sepúlveda, “Almost periodic and pseudo-almost periodic solutions to fractional differential and integro-differential equations,”
*Applied Mathematics and Computation*, vol. 218, no. 5, pp. 1735–1745, 2011. View at Publisher · View at Google Scholar · View at MathSciNet - R. P. Agarwal, M. Benchohra, and S. Hamani, “A survey on existence results for boundary value problems of nonlinear fractional differential equations and inclusions,”
*Acta Applicandae Mathematicae*, vol. 109, no. 3, pp. 973–1033, 2010. View at Publisher · View at Google Scholar · View at MathSciNet - S. Bhalekar, V. Daftardar-Gejji, D. Baleanu, and R. Magin, “Fractional Bloch equation with delay,”
*Computers & Mathematics with Applications*, vol. 61, no. 5, pp. 1355–1365, 2011. View at Publisher · View at Google Scholar · View at MathSciNet - B. Ahmad and S. K. Ntouyas, “A four-point nonlocal integral boundary value problem for fractional differential equations of arbitrary order,”
*Electronic Journal of Qualitative Theory of Differential Equations*, no. 22, article 15, 2011. View at MathSciNet - N. J. Ford and M. L. Morgado, “Fractional boundary value problems: analysis and numerical methods,”
*Fractional Calculus and Applied Analysis*, vol. 14, no. 4, pp. 554–567, 2011. View at Publisher · View at Google Scholar · View at MathSciNet - F. T. Akyildiz, H. Bellout, K. Vajravelu, and R. A. Van Gorder, “Existence results for third order nonlinear boundary value problems arising in nano boundary layer fluid flows over stretching surfaces,”
*Nonlinear Analysis*, vol. 12, no. 6, pp. 2919–2930, 2011. View at Publisher · View at Google Scholar · View at MathSciNet - B. Ahmad and J. J. Nieto, “Riemann-Liouville fractional integro-differential equations with fractional nonlocal integral boundary conditions,”
*Boundary Value Problems*, vol. 36, 9 pages, 2011. View at MathSciNet - B. Ahmad and J. J. Nieto, “Sequential fractional differential equations with three-point boundary conditions,”
*Computers & Mathematics with Applications*, vol. 64, no. 10, pp. 3046–3052, 2012. View at MathSciNet - B. Ahmad, J. J. Nieto, A. Alsaedi, and M. El-Shahed, “A study of nonlinear Langevin equation involving two fractional orders in different intervals,”
*Nonlinear Analysis: Real World Applications*, vol. 13, no. 2, pp. 599–606, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - X. Zhao, C. Chai, and W. Ge, “Existence and nonexistence results for a class of fractional boundary value problems,”
*Journal of Applied Mathematics and Computing*, vol. 41, no. 1-2, pp. 17–31, 2013. View at Publisher · View at Google Scholar - J. Henderson and A. Ouahab, “Fractional functional differential inclusions with finite delay,”
*Nonlinear Analysis*, vol. 70, no. 5, pp. 2091–2105, 2009. View at Publisher · View at Google Scholar · View at MathSciNet - G. Infante and P. Pietramala, “Perturbed Hammerstein integral inclusions with solutions that change sign,”
*Commentationes Mathematicae Universitatis Carolinae*, vol. 50, no. 4, pp. 591–605, 2009. View at MathSciNet - S. K. Ntouyas, “Neumann boundary value problems for impulsive differential inclusions,”
*Electronic Journal of Qualitative Theory of Differential Equations*, no. 22, 13 pages, 2009. View at MathSciNet - B. Ahmad, “Existence results for fractional differential inclusions with separated boundary conditions,”
*Bulletin of the Korean Mathematical Society*, vol. 47, no. 4, pp. 805–813, 2010. View at Publisher · View at Google Scholar · View at MathSciNet - B. Ahmad and S. K. Ntouyas, “Some existence results for boundary value problems of fractional differential inclusions with non-separated boundary conditions,”
*Electronic Journal of Qualitative Theory of Differential Equations*, no. 71, pp. 1–17, 2010. View at MathSciNet - R. P. Agarwal and B. Ahmad, “Existence theory for anti-periodic boundary value problems of fractional differential equations and inclusions,”
*Computers & Mathematics with Applications*, vol. 62, no. 3, pp. 1200–1214, 2011. View at Publisher · View at Google Scholar · View at MathSciNet - M. Kisielewicz,
*Differential Inclusions and Optimal Control*, Kluwer Academic, Dordrecht, The Netherlands, 1991. - K. Deimling,
*Multivalued Differential Equations*, vol. 1, Walter de Gruyter, Berlin, Germany, 1992. View at Publisher · View at Google Scholar · View at MathSciNet - S. Hu and N. Papageorgiou,
*Handbook of Multivalued Analysis. I*, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1997. View at MathSciNet - A. Lasota and Z. Opial, “An application of the Kakutani-Ky Fan theorem in the theory of ordinary differential equations,”
*Bulletin de l'Académie Polonaise des Sciences*, vol. 13, pp. 781–786, 1965. View at MathSciNet - A. Granas and J. Dugundji,
*Fixed Point Theory*, Springer, New York, NY, USA, 2005. View at MathSciNet - A. Bressan and G. Colombo, “Extensions and selections of maps with decomposable values,”
*Studia Mathematica*, vol. 90, no. 1, pp. 69–86, 1988. View at MathSciNet - M. Frigon, “Théorèemes d'existence de solutions d'inclusions différentielles,” in
*Topological Methods in Differential Equations and Inclusions*, A. Granas and M. Frigon, Eds., vol. 472 of*NATO ASI Series C*, pp. 51–87, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1995. - H. Covitz and S. B. Nadler Jr., “Multi-valued contraction mappings in generalized metric spaces,”
*Israel Journal of Mathematics*, vol. 8, pp. 5–11, 1970. View at MathSciNet - C. Castaing and M. Valadier,
*Convex Analysis and Measurable Multifunctions*, vol. 580 of*Lecture Notes in Mathematics*, Springer, Berlin, Germany, 1977. View at MathSciNet