Research Article | Open Access
On Fractional Order Hybrid Differential Equations
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.
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  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  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.  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.  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).
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.
Below we present some definitions and theorems used in the rest of this paper.
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.
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
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.
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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- B. C. Dhage, “On a fixed point theorem in Banach algebras with applications,” Applied Mathematics Letters, vol. 18, no. 3, pp. 273–280, 2005.
- B. C. Dhage, “Nonlinear functional boundary value problems in Banach algebras involving Caratheodories,” Kyungpook Mathematical Journal, vol. 46, no. 4, pp. 527–541, 2006.
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.