Research Article | Open Access

# An Existence Theorem for Fractional Hybrid Differential Inclusions of Hadamard Type with Dirichlet Boundary Conditions

**Academic Editor:**Guotao Wang

#### Abstract

This paper studies the existence of solutions for a boundary value problem of nonlinear fractional hybrid differential inclusions by using a fixed point theorem due to Dhage (2006). The main result is illustrated with the aid of an example.

#### 1. Introduction

The intensive development of fractional calculus in recent years clearly indicates the popularity of the subject. It has been mainly due to applications of the subject in various fields such as physics, mechanics, chemistry, and engineering [1–3]. In particular, the tools of fractional calculus have considerably improved the modelling techniques and several important models describing biological, ecological, and engineering phenomena are now based on fractional derivatives and integrals. Another factor attracting the attention of many scientists is the nonlocal nature of fractional-order operators which accounts for the hereditary properties of many materials and processes.

Much of the work on fractional differential equations involves either Riemann-Liouville derivative or Caputo derivative; for instance, see [4–33] and the references therein. However, there is another concept of fractional derivative in the literature which was introduced by Hadamard in 1892 [34]. This derivative is known as Hadamard fractional derivative and differs from aforementioned derivatives in the sense that the kernel of the integral in its definition contains logarithmic function of arbitrary exponent. Further details of Hadamard fractional derivatives and integrals can be found in [2].

In this paper, we study a Dirichlet boundary value problem of nonlinear fractional hybrid differential inclusions given by where is the Hadamard fractional derivative, , is a multivalued map, and is the family of all nonempty subsets of .

The main objective of the present study is to establish an existence result for the problem (1) under Lipschitz and Carathéodory conditions by applying a fixed point theorem in Banach algebras due to Dhage [35]. Some recent details on hybrid fractional differential equations can be found in [36–40] and the references cited therein. We emphasize that our work is new in the present configuration and contributes to the present literature on Hadamard type fractional differential equations and inclusions [41–44].

The paper is organized as follows: in Section 2 we recall some preliminary facts that we need in the sequel and Section 3 contains our main result.

#### 2. Preliminaries

##### 2.1. Fractional Calculus

*Definition 1 (see [2]). *The Hadamard derivative of fractional order for a function is defined as
where denotes the integer part of the real number and .

*Definition 2 (see [2]). *The Hadamard fractional integral of order for a function is defined as
provided the integral exists.

Lemma 3. *Let . Then the integral solution of the problem
**
is given by
*

*Proof . *As argued in [2], the solution of Hadamard differential equation in (4) can be written as
where are arbitrary constants. Using the given boundary conditions in (6), we find that
Substituting the values of in (6), we obtain (5).

*Remark 4. *It is interesting to note that solution (5) for corresponds to the one for a Dirichlet boundary value problem of Cauchy-Euler type hybrid differential equation:

##### 2.2. Multivalued Analysis

Let us recall some basic definitions on multivalued maps [45, 46].

For a normed space , let , , , and . A multivalued map is convex (closed) valued if is convex (closed) for all . The map is bounded on bounded sets if is bounded in for all (i.e., ). is called upper semicontinuous (u.s.c.) on if for each , the set is a nonempty closed subset of , and if for each open set of containing , there exists an open neighborhood of such that . is said to be completely continuous if is relatively compact for every . 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, , , and imply . has a fixed point if there is such that . The fixed point set of the multivalued operator will be denoted by . A multivalued map is said to be measurable if for every , the function is measurable.

Let denote a Banach space of continuous functions from into with the norm . Let be the Banach space of measurable functions which are Lebesgue integrable and normed by .

*Definition 5. *A multivalued map is said to be Carathéodory if (i) is measurable for each ;(ii) is upper semicontinuous for almost all .

Further, a Carathéodory function is called -Carathéodory if (iii)there exists a function such that
for all and for a.e. .

For each , define the set of selections of by

The following lemma is used in the sequel.

Lemma 6 (see [47]). *Let be a Banach space. Let be an -Carathéodory multivalued map, and let be a linear continuous mapping from to . Then the operator
**
is a closed graph operator in .*

The following fixed point theorem due to Dhage [35] is fundamental in the proof of our main result.

Lemma 7. *Let be a Banach algebra, let be a single-valued, and let be a multivalued operator satisfying the following:*(a)* is single-valued Lipschitz with a Lipschitz constant ,*(b)* is compact and upper semicontinuous,*(c)*, where .**Then either *(i)*the operator inclusion has a solution, or*(ii)*the set is unbounded.*

#### 3. Main result

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

Theorem 9. *Assume that *(H_{1})*the function is continuous and there exists a bounded function , with bound , such that , a.e and
*(H_{2})* is -Carathéodory and has nonempty compact and convex values;*(H_{3})*there exists a positive real number such that
* *where , .**Then, the boundary value problem (1) has at least one solution on .*

*Proof . *Set . Transform the problem (1) into a fixed point problem. Consider the operator defined by

Now we define two operators by
and by
Observe that . We will show that the operators and satisfy all the conditions of Lemma 7. For the sake of convenience, we split the proof into several steps.*Step 1*. is a Lipschitz on ; that is, (a) of Lemma 7 holds.

Let . Then by (H_{1}), we have
for all . Taking the supremum over the interval , we obtain
for all . So is a Lipschitz on with Lipschitz constant .*Step 2*. The multivalued operator is compact and upper semicontinuous on ; that is, (b) of Lemma 7 holds.

First, we show that has convex values. Let . Then there are such that
, . For any , we have
where for all . Hence and consequently is convex for each . As a result defines a multivalued operator .

Next we show that maps bounded sets into bounded sets in . To see this, let be a bounded set in . Then there exists a real number such that , for all .

Now for each , there exists a such that
Then, for each , using (H_{2}) we have

This further implies that
and so is uniformly bounded.

Next we show that maps bounded sets into equicontinuous sets. Let be, as above, a bounded set and for some . Then there exists a such that
Then, for any , we have

Obviously the right hand side of the above inequality tends to zero independently of as . Therefore, it follows by the Arzelá-Ascoli theorem 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 ,

Let us consider the linear operator given by

Observe that

Thus, it follows by Lemma 6 that is a closed graph operator. Further, we have . Since , therefore, we have
for some .

As a result we have that the operator is compact and upper semicontinuous operator on .*Step 3*. Now we show that ; that is, (c) of Lemma 7 holds.

This is obvious by (H_{3}) since we have and .

Thus all the conditions of Lemma 7 are satisfied and a direct application of it yields that either conclusion (i) or conclusion (ii) holds. We show that conclusion (ii) is not possible.

Let be arbitrary. Then we have, for , . Then there exists such that, for any , one has
for all . Then we have
where we have put . Then with , we have
Thus condition (ii) of Lemma 7 does not hold by (14). Therefore the operator equation and consequently problem (1) have a solution on . This completes the proof.

Theorem 10. *Assume that (H _{1}) holds. In addition, one supposes that*(H2)

*there exists a continuous nondecreasing function and a function such that*(H3)

*there exists a constant such that*

*where*

*and .*

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

*Proof. *The proof is similar to that of Theorem 9 and is omitted.

*Example 11. *Consider the boundary value problem
where is a multivalued map given by

By condition (H_{1}), with . For , we have
Clearly,
and . Hence all the conditions of Theorem 9 are satisfied and, accordingly, the problem (38) has a solution on .

#### Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

#### Acknowledgments

This work was supported by Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia. The authors thank the referees for their useful comments. Sotiris K. Ntouyas is a member of Nonlinear Analysis and Applied Mathematics (NAAM), Research Group at King Abdulaziz University, Jeddah, Saudi Arabia.

#### References

- I. Podlubny,
*Fractional Differential Equations*, vol. 198 of*Mathematics in Science and Engineering*, 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 B.V., Amsterdam, The Netherlands, 2006. View at: MathSciNet - J. Sabatier, O. P. Agrawal, and J. A. T. Machado, Eds.,
*Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering*, Springer, Dordrecht, The Netherlands, 2007. - B. Ahmad and J. J. Nieto, “Riemann-Liouville fractional integro-differential equations with fractional nonlocal integral boundary conditions,”
*Boundary Value Problems*, vol. 2011, article 36, 2011. View at: Google Scholar | Zentralblatt MATH | MathSciNet - A. Alsaedi, S. K. Ntouyas, and B. Ahmad, “Existence results for Langevin fractional differential inclusions involving two fractional orders with four-point multiterm fractional integral boundary conditions,”
*Abstract and Applied Analysis*, vol. 2013, Article ID 869837, 17 pages, 2013. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - D. Băleanu, O. G. Mustafa, and R. P. Agarwal, “On ${L}^{p}$-solutions for a class of sequential fractional differential equations,”
*Applied Mathematics and Computation*, vol. 218, no. 5, pp. 2074–2081, 2011. View at: Publisher Site | Google Scholar | 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 Site | Google Scholar | Zentralblatt MATH | MathSciNet - J. R. Graef, L. Kong, and Q. Kong, “Application of the mixed monotone operator method to fractional boundary value problems,”
*Fractional Differential Calculus*, vol. 2, no. 1, pp. 87–98, 2012. View at: Google Scholar | 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: Real World Applications*, vol. 12, no. 6, pp. 2919–2930, 2011. View at: Publisher Site | Google Scholar | Zentralblatt MATH | 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: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - Z. Bai and W. Sun, “Existence and multiplicity of positive solutions for singular fractional boundary value problems,”
*Computers & Mathematics with Applications*, vol. 63, no. 9, pp. 1369–1381, 2012. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - R. Sakthivel, N. I. Mahmudov, and J. J. Nieto, “Controllability for a class of fractional-order neutral evolution control systems,”
*Applied Mathematics and Computation*, vol. 218, no. 20, pp. 10334–10340, 2012. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - B. Ahmad and J. J. Nieto, “Anti-periodic fractional boundary value problems with nonlinear term depending on lower order derivative,”
*Fractional Calculus and Applied Analysis*, vol. 15, no. 3, pp. 451–462, 2012. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - R. P. Agarwal, D. O'Regan, and S. Staněk, “Positive solutions for mixed problems of singular fractional differential equations,”
*Mathematische Nachrichten*, vol. 285, no. 1, pp. 27–41, 2012. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - J. Wang, Y. Zhou, and M. Medveud, “Qualitative analysis for nonlinear fractional differential equations via topological degree method,”
*Topological Methods in Nonlinear Analysis*, vol. 40, no. 2, pp. 245–271, 2012. View at: Google Scholar | Zentralblatt MATH | MathSciNet - A. Cabada and G. Wang, “Positive solutions of nonlinear fractional differential equations with integral boundary value conditions,”
*Journal of Mathematical Analysis and Applications*, vol. 389, no. 1, pp. 403–411, 2012. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - L. Zhang, B. Ahmad, G. Wang, and R. P. Agarwal, “Nonlinear fractional integro-differential equations on unbounded domains in a Banach space,”
*Journal of Computational and Applied Mathematics*, vol. 249, pp. 51–56, 2013. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - W.-X. Zhou, Y.-D. Chu, and D. Băleanu, “Uniqueness and existence of positive solutions for a multi-point boundary value problem of singular fractional differential equations,”
*Advances in Difference Equations*, vol. 2013, article 114, 2013. View at: Publisher Site | Google Scholar | MathSciNet - B. Ahmad, S. K. Ntouyas, and A. Alsaedi, “A study of nonlinear fractional differential equations of arbitrary order with Riemann-Liouville type multistrip boundary conditions,”
*Mathematical Problems in Engineering*, vol. 2013, Article ID 320415, 9 pages, 2013. View at: Publisher Site | Google Scholar | MathSciNet - B. Ahmad and S. K. Ntouyas, “Existence results for higher order fractional differential inclusions with multi-strip fractional integral boundary conditions,”
*Electronic Journal of Qualitative Theory of Differential Equations*, no. 20, 19 pages, 2013. View at: Google Scholar | MathSciNet - M. Faieghi, S. Kuntanapreeda, H. Delavari, and D. Baleanu, “LMI-based stabilization of a class of fractional-order chaotic systems,”
*Nonlinear Dynamics*, vol. 72, no. 1-2, pp. 301–309, 2013. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - J. J. Nieto, A. Ouahab, and P. Prakash, “Extremal solutions and relaxation problems for fractional differential inclusions,”
*Abstract and Applied Analysis*, vol. 2013, Article ID 292643, 9 pages, 2013. View at: Publisher Site | Google Scholar | MathSciNet - D. O'Regan and S. Staněk, “Fractional boundary value problems with singularities in space variables,”
*Nonlinear Dynamics*, vol. 71, no. 4, pp. 641–652, 2013. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - J. Wang, Y. Zhou, and W. Wei, “Fractional sewage treatment models with impulses at variable times,”
*Applicable Analysis: An International Journal*, vol. 92, no. 9, pp. 1959–1979, 2013. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - C. Zhai and M. Hao, “Mixed monotone operator methods for the existence and uniqueness of positive solutions to Riemann-Liouville fractional differential equation boundary value problems,”
*Boundary Value Problems*, vol. 2013, article 85, 2013. View at: Publisher Site | Google Scholar | MathSciNet - B. Ahmad and S. K. Ntouyas, “Existence results for fractional differential inclusions arising from real estate asset securitization and HIV models,”
*Advances in Difference Equations*, vol. 2013, article 216, 2013. View at: Publisher Site | Google Scholar | MathSciNet - B. Ahmad and S. K. Ntouyas, “New existence results for differential inclusions involving Langevin equation with two indices,”
*Journal of Nonlinear and Convex Analysis*, vol. 14, no. 3, pp. 437–450, 2013. View at: Google Scholar | MathSciNet - J. Wang, Y. Zhou, and M. Fečkan, “On the nonlocal Cauchy problem for semilinear fractional order evolution equations,”
*Central European Journal of Mathematics*, vol. 12, no. 6, pp. 911–922, 2014. View at: Publisher Site | Google Scholar | MathSciNet - J. R. Graef, L. Kong, and M. Wang, “Existence and uniqueness of solutions for a fractional boundary value problem on a graph,”
*Fractional Calculus and Applied Analysis*, vol. 17, no. 2, pp. 499–510, 2014. View at: Publisher Site | Google Scholar | MathSciNet - F. Punzo and G. Terrone, “On the Cauchy problem for a general fractional porous medium equation with variable density,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 98, pp. 27–47, 2014. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - X. Liu, Z. Liu, and X. Fu, “Relaxation in nonconvex optimal control problems described by fractional differential equations,”
*Journal of Mathematical Analysis and Applications*, vol. 409, no. 1, pp. 446–458, 2014. View at: Publisher Site | Google Scholar | MathSciNet - K. Razminia, A. Razminia, and J. A. Tenreiro Machado, “Analysis of diffusion process in fractured reservoirs using fractional derivative approach,”
*Communications in Nonlinear Science and Numerical Simulation*, vol. 19, no. 9, pp. 3161–3170, 2014. View at: Publisher Site | Google Scholar | MathSciNet - S. Choudhary and V. Daftardar-Gejji, “Nonlinear multi-order fractional differential equations with periodic/anti-periodic boundary conditions,”
*Fractional Calculus and Applied Analysis*, vol. 17, no. 2, pp. 333–347, 2014. View at: Publisher Site | Google Scholar | MathSciNet - J. Hadamard, “Essai sur l'etude des fonctions donnees par leur developpment de Taylor,”
*Journal de Mathématiques Pures et Appliquées Série*, vol. 8, pp. 101–186, 1892. View at: Google Scholar - B. C. Dhage, “Existence results for neutral functional differential inclusions in Banach algebras,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 64, no. 6, pp. 1290–1306, 2006. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - M. M. El Borai and M. I. Abbas, “On some integro-differential equations of fractional orders involving Carathéodory nonlinearities,”
*International Journal of Modern Mathematics*, vol. 2, no. 1, pp. 41–52, 2007. View at: Google Scholar | MathSciNet - Y. Zhao, S. Sun, Z. Han, and Q. Li, “Theory of fractional hybrid differential equations,”
*Computers & Mathematics with Applications*, vol. 62, no. 3, pp. 1312–1324, 2011. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - S. Sun, Y. Zhao, Z. Han, and Y. Li, “The existence of solutions for boundary value problem of fractional hybrid differential equations,”
*Communications in Nonlinear Science and Numerical Simulation*, vol. 17, no. 12, pp. 4961–4967, 2012. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - M. R. Sidi Ammi, E. H. El Kinani, and D. F. M. Torres, “Existence and uniqueness of solutions to functional integro-differential fractional equations,”
*Electronic Journal of Differential Equations*, no. 103, 9 pages, 2012. View at: Google Scholar | Zentralblatt MATH | MathSciNet - B. C. Dhage and S. K. Ntouyas, “Existence results for boundary value problems for fractional hybrid differential inclucions,”
*Topological Methods in Nonlinear Analysis*. In press. View at: Google Scholar - M. D. Kassim and N.-E. Tatar, “Well-posedness and stability for a differential problem with Hilfer-Hadamard fractional derivative,”
*Abstract and Applied Analysis*, vol. 2013, Article ID 605029, 12 pages, 2013. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - B. Ahmad, S. K. Ntouyas, and A. Alsaedi, “On fractional differential inclusions with anti-periodic type integral boundary conditions,”
*Boundary Value Problems*, vol. 2013, 82 pages, 2013. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - B. Ahmad and S. K. Ntouyas, “A fully Hadamard type integral boundary value problem of a coupled system of fractional differential equations,”
*Fractional Calculus and Applied Analysis*, vol. 17, no. 2, pp. 348–360, 2014. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - B. Ahmad and S. K. Ntouyas, “On Hadamard fractional integro-differential boundary value problems,”
*Journal of Applied Mathematics and Computing*, 2014. View at: Publisher Site | Google Scholar - K. Deimling,
*Multivalued Differential Equations*, vol. 1 of*de Gruyter Series in Nonlinear Analysis and Applications*, Walter de Gruyter, Berlin, Germany, 1992. View at: Publisher Site | Zentralblatt MATH | MathSciNet - S. Hu and N. S. Papageorgiou,
*Handbook of Multivalued Analysis. Vol. I, Theory*, vol. 419 of*Mathematics and its Applications*, Kluwer Academic, Dordrecht, The Netherlands, 1997. View at: Publisher Site | 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: Série des Sciences Mathématiques, Astronomiques et Physiques*, vol. 13, pp. 781–786, 1965. View at: Google Scholar | MathSciNet

#### Copyright

Copyright © 2014 Bashir Ahmad and Sotiris K. Ntouyas. 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.