Research Article | Open Access

# On Fractional Order Hybrid Differential Equations

**Academic Editor:**Robert A. Van Gorder

#### Abstract

We develop the theory of fractional hybrid differential equations with linear and nonlinear perturbations involving the Caputo fractional derivative of order . Using some fixed point theorems we prove the existence of mild solutions for two types of hybrid equations. Examples are given to illustrate the obtained results.

#### 1. Introduction

Fractional calculus is a field of mathematics that deals with derivatives and integrals of arbitrary orders. Fractional differential equations have been of great interest because of their intensive development of fractional calculus and its applications [1–11].

Recently, the quadratic perturbation of nonlinear differential equations (called hybrid differential equations) has captured much attention. The importance of the investigations of hybrid differential equation lies in the fact that they include several dynamic systems as special cases. Dhage and Lakshmikantham [12] discussed the existence and uniqueness theorems of the solution to the ordinary first-order hybrid differential equation with perturbation of first type where and , where is a bounded interval in for some and with is the class of continuous functions and is called the Caratheodory class of functions which are Lebesgue integrable bounded by a Lebesgue integrable function on . Moreover (i)the map is measurable for each ;(ii)the map is continuous for each .

Dhage and Jadhav [13] discussed the existence and uniqueness theorems of the solution of the ordinary first-order hybrid differential equation with perturbation of second type

Fractional hybrid differential equations have been studied using Riemman-Liouville derivative in literature (see, e.g., [14–16] and the references therein). Ammi et al. [14] discussed a generalization of (1) by replacing the ordinary by fractional derivative in Riemann-Liouvile sense with delay in the form where and is the continuous function defined by for all . They used that is a solution to (3) if and only if it is a solution to the integral equation then they studied this integral equation. However, it is easy to see that this concept of a solution is not realistic because of neglecting the initial condition. In fact, if we consider the following trivial example with we get the function which is a solution to (3) but not to (4).

Lu et al. [15] discussed a generalization of (2) by replacing the classical differentiation by fractional derivative in the Riemann-Liouvile sense as They proved that is a solution to (5) if and only if it is a solution to the integral equation then they studied this integral equation. Again, we recall that this concept of a solution is not realistic because of neglecting the initial condition. In fact, consider the following trivial example with ; we get that the function is a solution to (5) but not for (6).

Here we discuss the existence of solutions to hybrid fractional differential equations in both types using the Caputo fractional derivative instead of the classical one in both (1) and (2).

Our paper is organized as follows. In Section 2 some basic definitions and theorems are given. Fractional hybrid differential equation of type 1 is discussed in Section 3 while in Section 4 we discuss the fractional hybrid differential equation of type 2. Our conclusion is presented in Section 5.

#### 2. Preliminaries

Below we present some definitions and theorems used in the rest of this paper.

*Definition 1 (see [1, 8–11]). *If , the set of all integrable functions, and then the left Riemann-Liouville fractional integral of order , is defined by

*Definition 2 (see [8–11]). *For the left Riemann-Liouville fractional derivative of order is defined by
where is such that and .

*Definition 3 (see [8–11]). *For the left Caputo fractional derivative of order is defined by
where is such that and .

The following two fixed point theorems are used in our paper (see [12, 13, 17–19]).

Theorem 4. *Let and be open and closed balls in a Banach algebra centered at origin of radius , for some real number , and let be two operators satisfying the following.*(a)* is Lipschitz with Lipschitz constant ;*(b)* is continuous and compact;*(c)*, where .** Then, either *(i)*the equation has a solution in , or*(ii)*there is an element such that satisfying , for some .*

*Definition 5. *Let be a Banach space. A mapping is called -Lipschitzian if there exists a continuous and nondecreasing function such that for all , where . If is not necessarily nondecreasing and satisfies , for , the mapping is called a nonlinear contraction with a contraction function .

Theorem 6. *Let be a closed convex and bounded subset of the Banach space and let and be two operators such that *(a)* is nonlinear contraction,*(b)* is continuous and compact, and*(c)* for all .** Then the operator equation has a solution in .*

#### 3. Fractional Hybrid Differential Equation of the First Type

Consider the fractional hybrid differential equation in the form we have the following Lemma.

Lemma 7. *Any function satisfies (10) with will also satisfy the integral equation
**
In addition if the function is injective, and is an absolutely continuous function, then the converse is true.*

*Proof. *Assume that satisfies (10). Then, is absolutely continuous that we get that exists and is Lebesgue integrable on . Applying the fractional integration to both sides of (10) we get (11).

Conversely, assume that satisfies (11) with is absolutely continuous we get that is absolutely continuous. Then by differentiating both sides and then operating by the fractional integration we get
and for the initial condition substitute by in (11) we get
and since is injective then .

Now consider the fractional hybrid differential equation of first type in the form
where, and .

*Definition 8. * The function is called a mild solution of the hybrid differential equation of first type (14) if it satisfies the integral equation

The function , the space of absolutely continuous real-valued functions defined on , is called a strong solution of (14) if (a)the function is absolutely continuous for each , and(b) satisfies (14).

Theorem 9. *Assume the following. *(H1)*There exists a constant such that for all and .*(H2)*There exists a function such that a.e. for all .*(H3)*.*(H4)*There exists such that , where .**Then (14) has a mild solution on .*

*Proof. *Let be an open ball centered at the origin and of radius in the Banach algebra (the Banach space of continuous valued functions defined on the interval equipped with the sup-norm, , and with multiplication defined by , for ). We prove the existence of a mild solution to problem (14) by discussing the solution to the integral equation (15) which is equivalent to the operator equation
where are defined by

Now we divide our proof in several steps.*Step **1. *The operator is Lipschitz on .

Let and ; then by we get
Taking the supremum over we get that is Lipschitz on with Lipschitz constant .*Step **2*. The operator is continuous operator on .

Let be a convergent sequence in converging to . Then, by the Lebesgue dominated converging theorem,
for all with prove the continuity of the operator .*Step **3*. The operator is compact operator on .

Let be arbitrary in . By hypothesis (H2) and using Young’s inequality for convolutions we get
which by taking the supremum over gives
which proves that is a uniformly bounded set in . Now, we prove that is an equicontinuous set in . For we have
Hence, for , there exists a such that
This shows that is an equicontinuous set in . By the Arzela Ascoli Theorem we get that the operator is a compact operator.*Step **4. *, where .

Using results in Step 3 we get
which gives from the hypothesis (H3) that
It remains to prove that the conclusion (ii) of Theorem 4 cannot be realizable.

Let and be such that and . It follows that
Taking supremum over and using (H4) and we get
which contradicts ; thus (ii) of Theorem 4 is not possible; hence the operator has a solution in . As a result problem (14) has a mild solution on which completes the proof of our theorem.

We finish this section by the following example.

*Example 10. *Consider the fractional hybrid differential equation
It is easy to see that all hypotheses of Theorem 9 are satisfied with
We conclude that
hence (28) has a mild solution in .

#### 4. Fractional Hybrid Differential Equation of Second Type

Consider the fractional hybrid differential equation in the form similar to Lemma 7 we can prove

Lemma 11. *Any function satisfies (31) with will also satisfy the integral equation
**
In addition if the function is injective, and is an absolutely continuous function then the converse is true.*

Now consider the fractional hybrid differential equation of second type in the form where, and .

*Definition 12. *One has the following functions.(1)The function is called a mild solution of the hybrid differential equation of second type (33) if it satisfies the integral equation
(2)The function is called a strong solution of (14) if(a)the function is absolutely continuous for each , and(b) satisfies (33).

Theorem 13. *Assume the following. *(A1)*There exists constants such that for all and .*(A2)*There exists a function such that a.e. for all .*(A3)*There exists such that where .**Then (33) has a mild solution on .*

*Proof. *Set and define the set by . We prove the existence of a mild solution to problem (33) by discussing the solution to the integral equation (34) which is equivalent to the operator equation
where

Now we prove our theorem by proving that the conditions of Theorem 6 are satisfied.(a)Using the hypothesis (A1) we get
thus the operator is a nonlinear contraction with the function defined by .(b)Similarly, in proving Theorem 9 we can prove that is continuous and compact.(c)Let be fixed and be arbitrary such that . Then we get
which proves that ; thus .

Thus the conditions of Theorem 6 are satisfied; then the operator equation has a solution in which proves the existence of a mild solution to problem (33) in .

We finish this section with the following example.

*Example 14. *Consider the fractional hybrid differential equation
we get that
and where we get that all hypotheses of Theorem 13 are satisfied with
We conclude that
hence (39) has a mild solution in .

#### 5. Conclusions

In this paper we gave definitions of both strong and mild solutions to the fractional hybrid boundary value problems in two types using the Caputo fractional derivative of order and then we discussed the existence of at least one mild solution for each type. We gave examples proving the importance of taking into account of the initial conditions, therefore our results are realistic. We mention that in [14, 15] the initial conditions were neglected.

#### Conflict of Interests

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

#### References

- D. Baleanu, K. Diethelm, E. Scalas, and J. J. Trujillo,
*Fractional Calculus Models and Numerical Methods*, Series on Complexity, Nonlinearity and Chaos, World Scientific, 2012. - C. Cattani, “Fractional calculus and Shannon wavelet,”
*Mathematical Problems in Engineering*, vol. 2012, Article ID 502812, 26 pages, 2012. View at: Publisher Site | Google Scholar - M. A. E. Herzallah, A. M. A. El-Sayed, and D. Baleanu, “On the fractional-order diffusion-wave process,”
*Romanian Journal in Physics*, vol. 55, no. 3-4, pp. 274–284, 2010. View at: Google Scholar - M. A. E. Herzallah and D. Baleanu, “Existence of a periodic mild solution for a nonlinear fractional differential equation,”
*Computers and Mathematics with Applications*, vol. 64, no. 10, pp. 3059–3064, 2012. View at: Publisher Site | Google Scholar | MathSciNet - M. A. E. Herzallah, M. El-Shahed, and D. Baleanu, “Mild and strong solutions for a fractional nonlinear Neumann boundary value problem,”
*Journal of Computational Analysis and Applications*, vol. 15, no. 2, pp. 341–352, 2013. View at: Google Scholar | MathSciNet - M. A. E. Herzallah, “Mild and strong solutions to few types of fractional order nonlinear equations with periodic boundary conditions,”
*Indian Journal of Pure and Applied Mathematics*, vol. 43, no. 6, pp. 619–635, 2012. View at: Google Scholar | MathSciNet - R. Hilfer,
*Applications of Fractional Calculus in Physics*, World Scientific, New Jersey, NJ, USA, 2000. - A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo,
*Theory and Applications of Fractional Differential Equations*, vol. 204 of*North-Holland Mathematical Studies*, Elsevier, Amsterdam, The Netherlands, 2006. - K. S. Miller and B. Ross,
*An Introduction to the Fractional Calculus and Fractional Differential Equations*, John Wiley and Sons, New York, NY, USA, 1993. - I. Podlubny,
*Fractional Differential Equations*, Academic Press, New York, NY, USA, 1999. - S. G. Samko, A. A. Kilbas, and O. I. Marichev,
*Fractional Integrals and Derivatives: Theory and Applcations*, Gordon and Breach, New York, NY, USA, 1993. - B. C. Dhage and V. Lakshmikantham, “Basic results on hybrid differential equations,”
*Nonlinear Analysis: Hybrid Systems*, vol. 4, no. 3, pp. 414–424, 2010. View at: Publisher Site | Google Scholar | MathSciNet - B. Dhage and N. Jadhav, “Basic results in the theory of hybrid differential equations with linear perturbations of second type,”
*Tamkang Journal of Mathematics*, vol. 44, no. 2, pp. 171–186, 2013. View at: Google Scholar | MathSciNet - M. R. Ammi, E. El Kinani, and D. F. Torres, “Existence and uniqueness of solutions to functional integro-differential fractional equations,”
*Electronic Journal of Differential Equations*, vol. 2012, no. 103, pp. 1–9, 2012. View at: Google Scholar - H. Lu, S. Sun, D. Yang, and H. Teng, “Theory of fractional hybrid differential equations with linear perturbations of second type,”
*Boundary Value Problems*, vol. 2013, article 23, 2013. View at: Publisher Site | Google Scholar - Y. Zhao, S. Sun, Z. Han, and Q. Li, “Theory of fractional hybrid differential equations,”
*Computers and Mathematics with Applications*, vol. 62, no. 3, pp. 1312–1324, 2011. View at: Publisher Site | Google Scholar | MathSciNet - B. C. Dhage, “A fixed point theorem in Banach algebras involving three operators with applications,”
*Kyungpook Mathematical Journal*, vol. 44, no. 1, pp. 145–155, 2004. View at: Google Scholar | MathSciNet - B. C. Dhage, “On a fixed point theorem in Banach algebras with applications,”
*Applied Mathematics Letters*, vol. 18, no. 3, pp. 273–280, 2005. View at: Publisher Site | Google Scholar - B. C. Dhage, “Nonlinear functional boundary value problems in Banach algebras involving Caratheodories,”
*Kyungpook Mathematical Journal*, vol. 46, no. 4, pp. 527–541, 2006. View at: Google Scholar | MathSciNet

#### Copyright

Copyright © 2014 Mohamed A. E. Herzallah and Dumitru Baleanu. 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.