 Research
 Open access
 Published:
Existence and approximation of solutions to fractional order hybrid differential equations
Advances in Difference Equations volume 2016, Article number: 278 (2016)
Abstract
We consider fractional hybrid differential equations involving the Caputo fractional derivative of order \(0<\alpha<1\). Using fixed point theorems developed by Dhage et al. in Applied Mathematics Letters 34, 7680 (2014), we prove the existence and approximation of mild solutions. In addition, we provide a numerical example to illustrate the results obtained.
1 Introduction
Fractional differential equations are of interest in many areas of applications, such as economics, signal identification and image processing, optical systems, aerodynamics, biophysics, thermal system materials and mechanical systems, control theory (see [2–6]). There are several results that investigate the existence of solutions of various classes of fractional differential equations. Much attention has been focused on the study of the existence and multiplicity of solutions as well as positive solutions for boundary value problem of fractional differential equations [7–9]. The main techniques used in these studies are fixed point techniques, LeraySchauder theory, or upper and lower solutions methods (see, for example, [10–12] and the above references).
Recently, Dhage and Jahav [13] studied the existence and uniqueness of solutions of the first order ordinary differential equation which involves a perturbation of the addition or subtraction term given by
This type of equation has been called the hybrid differential equation. The existence result for solutions has been generalized to the fractional order hybrid differential equation
by Lu et al. [14] using the RiemannLiouville fractional derivative. Later, Herzallah and Beleanu [15] discussed the existence of mild solutions for the above fractional order hybrid differential equation (1.1) using the Caputo fractional derivative instead of taking it in the RiemannLiouville sense. The importance of the investigation of the above hybrid differential equations is that these equations are a perturbation of nonlinear equations which generalizes various dynamic systems as a special case (see [16]).
Apart from the study of the existence of solutions, an approximation of the solution is also of interest. Dhange et al. in [1] imposed the concept of partial continuity and partial compactness to generalize the approach of Kranoselskii fixed point theorem and obtained the approximation of solutions to hybrid differential equation. Other results on the approximation of solutions to various types of equations can be found, for example, in [17, 18].
The main objective of this work is to extend the existence results in Herzallah and Beleanu [15] by following the approach in [17] to construct an iterative sequence that approximates the solution based on some fixed point theorem. We note that in [15], only the existence of a solution is proved. Our result gives both the existence and approximation of solutions to Caputo fractional order hybrid differential equations and also extends the existence results for ordinary hybrid differential equations. Moreover, the procedure in this paper allows us to approximate the solutions numerically.
This paper is organized as follows. In the next section, we introduce the notation and concepts of fractional order hybrid differential equations and discuss the frameworks of our problem. Section 3 is devoted to a proof of the existence and approximation of mild solutions of fractional order hybrid differential equations (1.1). Finally, in Section 4, we provide numerical example to illustrate the obtained results.
2 Preliminaries and framework
In this work, let \(J=[t_{0},t_{0}+a]\) be a closed and bounded interval in \(\mathbb{R}\), where \(t_{0} \geq0\) and \(a>0\). We denote the function space \(C(J,\mathbb{R})\) for the space of continuous functions \(x:J\rightarrow \mathbb{R}\). The space \(C(J,\mathbb{R})\) is a Banach space when equipped with the supremum norm \(\Vert \cdot \Vert \) given by
for \(x \in C(J,\mathbb {R})\).
We consider the fractional order nonlinear hybrid ordinary differential equation with initial value problem given by (1.1), where \(f \in C(J \times \mathbb{R},\mathbb{R}), g \in C(J \times \mathbb{R},\mathbb{R})\) and the initial data \(x_{0} \in \mathbb {R}\). The fractional order derivative used in this paper is taken in the sense of Caputo, which is defined as follows.
Definition 2.1
For \(\alpha>0\), the left Caputo fractional derivative of order α is defined by
where n is a natural number such that \(n1<\alpha<n\) and \(D=d/d\tau\).
Note that the integrability of the nth order derivative of f is required for the Caputo fractional derivative.
We shall study the existence and approximation of mild solutions in the following sense.
Definition 2.2
The function \(x \in C(J,\mathbb{R})\) is called a mild solution of the fractional nonlinear hybrid ordinary differential equation (1.1) if it satisfies the integral equation
We remark that the mild solution given in (2.1) can be obtained from (1.1) by applying the fractional integral \(I^{\alpha}\) defined by
to both sides (see Lemma 11 in [15]).
In this paper, we consider the Banach space \(C(J,\mathbb{R})\) together with a partial order relation. For any \(x,y \in C(J, \mathbb {R})\), it is well known that the order relation \(x \leq y\) given by \(x(t)\leq y(t)\) for all \(t \in J\) gives a partial ordering in \(C(J,\mathbb{R})\). We shall mention the following important properties of the partially ordered Banach space \((C(J,\mathbb{R}),\leq)\), necessary for our study, from the work of [1, 18–20].
Let \(E=(E,\preceq, \Vert \cdot \Vert )\) be a normed linear space equipped with a partial order relation ⪯. The space E is said to be regular if, for any nondecreasing sequence \(\{x_{n}\}_{n\in\mathbb{N}}\) in E such that \(x_{n}\rightarrow x^{*}\) as \(n\rightarrow\infty\), we have \(x_{n}\preceq x^{*}\) for all \(n\in\mathbb{N}\). In particular, the space \(C(J,\mathbb{R})\) is regular [1].
Definition 2.3
[19]
An operator \(T:E\rightarrow E\) is called nondecreasing if the order relation is preserved under T, that is, for any \(x,y \in E\) such that \(x\leq y\), we have \(Tx \leq Ty\).
Definition 2.4
[20]
An operator \(T:E \rightarrow E\) is called partially continuous at \(a \in E\) if for any \(\varepsilon>0\), there exists \(\delta>0\) such that \(\Vert TxTa\Vert <\varepsilon\) for all x comparable to a in E with \(\Vert xa\Vert <\delta\). T is called partially continuous on E if it is partially continuous at every \(a \in E\). In particular, if T is partially continuous on E, then it is continuous on every chain \(\mathcal{C}\) in E. An operator T is called partially bounded if \(T(\mathcal{C})\) is bounded for every chain \(\mathcal{C}\) in E. An operator T is said to be uniformly partially bounded if all chains \(T(\mathcal{C})\) in E are bounded by the same constant.
Definition 2.5
[20]
An operator \(T:E\rightarrow E\) is called partially compact if for any chains \(\mathcal{C}\) in E, the set \(T(\mathcal{C})\) is a relatively compact subset of E. An operator T is said to be partially totally bounded if for any totally ordered and bounded subset \(\mathcal{C}\) of E, the set \(T(\mathcal{C})\) is a relatively compact subset of E. If T is partially continuous and partially totally bounded, then we call it a partially completely continuous operator on E.
Definition 2.6
[19]
Let E be a nonempty set equipped with an order relation ⪯ and a metric d. We say that the order relation ⪯ and the metric d are compatible if the following property is satisfied: if \(\{x_{n}\}_{n\in \mathbb{N}}\) is a monotone sequence in E for which a subsequence \(\{x_{n_{k}}\}_{k\in \mathbb{N}}\) of \(\{x_{n}\}_{n\in \mathbb{N}}\) converges to \(x^{*}\), then the whole sequence \(\{x_{n}\}_{n\in \mathbb{N}}\) converges to \(x^{*}\). Similarly, if \((E,\preceq, \Vert \cdot \Vert )\) is a partially ordered normed linear space, we say that the order relation ⪯ and the norm \(\Vert \cdot \Vert \) are compatible whenever the order relation ⪯ and the metric d induced by the norm \(\Vert \cdot \Vert \) are compatible.
We point out that the order relations and norms of \((\mathbb{R},\leq,\cdot)\) and \((C(J,\mathbb{R}),\leq, \Vert \cdot \Vert )\) are compatible.
Definition 2.7
[19]
An upper semicontinuous and nondecreasing function \(\psi:\mathbb{R}_{+} \rightarrow \mathbb{R}_{+}\) is called a \(\mathcal{D}\)function if \(\psi(0)=0\).
Definition 2.8
[20]
Let \((E,\preceq, \Vert \cdot \Vert )\) be a normed linear space equipped with a partial order relation ⪯. A mapping \(T:E \rightarrow E\) is called a partially nonlinear \(\mathcal{D}\)Lipschitz if there is a \(\mathcal{D}\)function \(\psi:\mathbb{R}_{+} \rightarrow \mathbb{R}_{+}\) such that
for all comparable points \(x,y\in E\). If \(\psi(r)=kr\) for some positive constant k, then T is called a partially Lipschitz with a Lipschitz constant k. If \(k<1\), we say that T is a partial contraction with contraction constant k. Moreover, T is said to be a nonlinear \(\mathcal{D}\)contraction if it is nonlinear \(\mathcal{D}\)Lipschitz with \(\psi(j)< j\) for all \(j>0\).
The following hybrid fixed point result of [19] is often applied to establish the existence and approximation of solutions of various differential and integral equations.
Theorem 2.1
[20]
Let \((E,\preceq, \Vert \cdot \Vert )\) be a regular partially ordered complete normed linear space. Suppose that the order relation ⪯ and the norm \(\Vert \cdot \Vert \) are compatible. Let \(\mathcal{P}:E\rightarrow E\) and \(\mathcal{Q}: E\rightarrow E\) be two nondecreasing operators such that:

(a)
\(\mathcal{P}\) is a partially nonlinear \(\mathcal{D}\)contraction.

(b)
\(\mathcal{Q}\) partially continuous and partially compact.

(c)
There exists an element \(x_{0}\in E\) such that \(x_{0}\preceq \mathcal{P}x_{0}+\mathcal{Q}x_{0}\).
Then there exists a solution \(x^{*}\) in E of the operator equation \(\mathcal{P}x+\mathcal{Q}x=x\). In addition, the sequence \(\{x_{n}\}_{n=0}^{\infty}\) of successive iterations given by
converges monotonically to \(x^{*}\).
We shall state the framework and assumptions for our study now.
Assumption 1
We assume the following conditions.

(A0)
The functions \(f: J\times\mathbb{R}\rightarrow\mathbb{R}\) and \(g:J\times\mathbb{R}\rightarrow\mathbb{R}\) are continuous.

(A1)
f is nondecreasing in x for each \(t\in J\) and \(x\in \mathbb{R}\).

(A2)
There exists a constant \(M_{f}>0\) such that \(0 \leq f(t,x)\leq M_{f}\) for all \(t\in J\) and \(x\in \mathbb{R} \).

(A3)
There exists a \(\mathcal {D}\)contraction ϕ such that \(0\leq f(t,x)f(t,y)\leq \phi(xy)\) for \(t\in J\), and \(x,y\in\mathbb{R}\) with \(x\geq y\).

(B1)
g is nondecreasing in x for each \(t\in J\) and \(x\in \mathbb{R}\).

(B2)
There exists a constant \(M_{g}>0\) such that \(0\leq g(t,x)\leq M_{g}\) for all \(t\in J\) and \(x\in \mathbb{R} \).

(B3)
There exists a function \(u\in C(J,\mathbb{R})\) such that u is a lower solution the problem (1.1), that is,
$$ \begin{aligned} &\frac{d^{\alpha}}{dt^{\alpha}} \bigl[u(t)f \bigl(t,u(t) \bigr) \bigr] \leq g \bigl(t,u(t) \bigr),\quad t\in J=[t_{0},t_{0}+a], \\ &u(t_{0}) \leq x_{0} \in \mathbb{R.} \end{aligned} $$(2.2)
3 Existence and approximation of mild solutions
This section is devoted to a proof of our main result on the existence and approximation of mild solutions of fractional order hybrid differential equations.
Theorem 3.1
Suppose that the hypotheses (A0)(A3) and (B1)(B3) are satisfied. Then the initial value problem (1.1) has a mild solution \(x^{*}:J\rightarrow\mathbb{R}\) and the sequence of successive approximations \(x_{n}\), \(n=1,2,\ldots\) , defined by
converges monotonically to \(x^{*}\).
Proof
We take the partially ordered Banach space \(E=C(J,\mathbb{R})\). We prove the existence of a solution to problem (1.1) by considering the equivalent operator equation
where
for \(t\in J\). We shall show that the operators \(\mathcal{P}\) and \(\mathcal{Q}\) satisfy all the conditions in Theorem 2.1.
Step I: First of all, we prove that \(\mathcal{P}\) and \(\mathcal{Q}\) are nondecreasing operators. For any \(x,y\in E\) with \(x\geq y\), we obtain from assumption (A3)
This means \(\mathcal{P}\) is nondecreasing. For \(\mathcal{Q}\), we have from assumption (B1)
for any \(x\geq y\) in E. Therefore, the operator \(\mathcal{Q}\) is also nondecreasing.
Step II: In this step, we show that the operator \(\mathcal{P}\) satisfies condition (a) in Theorem 2.1, that is, \(\mathcal{P}\) is a partially bounded and partially nonlinear \(\mathcal{D}\)contraction on E. For this purpose, let \(x \in E\) be arbitrary. By the boundedness of f in condition (A2), we see that
for all \(t \in J\). Therefore, we get \(\Vert \mathcal{P}x\Vert \leq M_{f}\), which shows that \(\mathcal{P}\) is bounded on E and so \(\mathcal{P}\) is partially bounded. Moreover, for any \(x, y\in E\) such that \(x\geq y\), we see from assumption (A3) that
for each \(t\in J\), where the last inequality is obtained from the condition that ϕ is nondecreasing. Hence, we have \(\Vert \mathcal{P}x \mathcal{P}y \Vert \leq\phi(\Vert xy\Vert )\) for all \(x,y\in E\) with \(x\geq y\). This means that \(\mathcal{P}\) is a partially nonlinear \(\mathcal{D}\)contraction on E and, thus, partially continuous.
Step III: We verify the first property of \(\mathcal{Q}\) in condition (b) of Theorem 2.1, that is, we prove that \(\mathcal{Q}\) is partially continuous on E. Let \(\{x_{n}\}_{n\in \mathbb{N}}\) be a sequence in a chain \(\mathcal{C}\) in E satisfying \(x_{n}\rightarrow x\) as \(n\rightarrow \infty\). We obtain from the boundedness of g in (B2), the continuity of g in (A0), and the dominated convergence theorem
for each \(t \in J\). This implies that \(\mathcal{Q}x_{n}\) converges to \(\mathcal{Q}x\) pointwise on J and the convergence is monotonic by the property of g. Next, we show that \(\{\mathcal{Q}x_{n}\}_{n\in \mathbb{N}}\) is equicontinuous in E. Let \(t_{1}, t_{2}\in J = [t_{0}, t_{0} + a]\) with \(t_{1} < t_{2}\). We have
as \(t_{2}t_{1}\rightarrow 0\) uniformly for all \(n\in \mathbb{N}\), where we use the dominated convergence theorem for the limit in the second term above. This implies that \(\mathcal{Q}x_{n}\rightarrow \mathcal{Q}x \) uniformly. Therefore, \(\mathcal{Q}\) is partially continuous on E.
Step IV: Next we need to prove the remaining condition of operator \(\mathcal{Q}\) in Theorem 2.1, that is, \(\mathcal{Q}\) is partially compact. Let \(\mathcal{C}\) be a chain in E. We shall show that \(\mathcal{Q}(\mathcal{C})\) is uniformly bounded and equicontinuous in E. Let \(y \in\mathcal{Q}(\mathcal{C})\) be arbitrary. We have \(y =\mathcal{Q}(x)\) for some \(x \in \mathcal{C}\). By hypothesis (B2), we see that
for all \(t\in J\). Hence, we obtain \(\Vert y(t)\Vert =\Vert (\mathcal{Q})x\Vert \leq K\) for all \(y\in \mathcal{Q}(\mathcal{C})\). This means \(\mathcal{Q}(\mathcal{C})\) is uniformly bounded. We next show that \(\mathcal{Q}(\mathcal{C})\) is equicontinuous. Let \(y\in \mathcal{Q}(\mathcal{C})\) be arbitrary and take \(t_{1}, t_{2} \in J\) with \(t_{1}< t_{2}\). We have
as \(t_{2}t_{1}\rightarrow0\) uniformly for \(y\in \mathcal{Q}(\mathcal{C})\). This means \(\mathcal {Q}(\mathcal {C})\) is equicontinuous. It follows that \(\mathcal{Q}(\mathcal{C})\) is relatively compact. Hence, \(\mathcal{Q}\) is partially compact.
Step V: By hypothesis (B3), the fractional hybrid equation (1.1) has a lower solution u defined on J, that is,
By formulating a mild solution, we see that
for \(t\in J\). It follows that u satisfies the operator inequality \(u\leq \mathcal{P}u+\mathcal{Q}u\).
Thus, we conclude that the operators \(\mathcal{P}\) and \(\mathcal{Q}\) satisfy all conditions in Theorem 2.1. Then the operator equation \(\mathcal{P}x+\mathcal{Q}x=x\) has a solution. Moreover, we have the approximation of solutions \(x_{n}\) as \(n=1, 2,\ldots \) for equation (1.1). □
4 Numerical examples
In this section, we give an example of hybrid fractional differential equation and show that our main result can be applied to construct an approximate sequence for a solution. We also illustrate it by showing a numerical result.
Example 4.1
Consider the following hybrid fractional differential equation:
where
We have \(g(t, x) = \frac{1}{2}\tan^{1} x\). The graphs of these two functions are shown in Figure 1.
It is clear that f and g are continuous functions on \(J \times \mathbb{R}\). The assumption (A0) is satisfied. Moreover, both functions f and g are nondecreasing. This verifies assumption (A1) and (B1). The conditions (A2) and (B2) are also true since the function f is bounded by \(M_{f} =\frac{4}{5}\), that is,
and the function g is bounded by \(M_{g}=\frac{\pi}{4}\), that is,
for all t \(x\in \mathbb{R}\).
To verify assumption (A3), we show that there exists a \(\mathcal{D}\)contraction \(\phi:\mathbb{R_{+}}\rightarrow\mathbb{R_{+}}\) defined by \(\phi(t)=\frac{4}{5}t\) for all \(t>0\) such that \(0\leq f(t,x)f(t,y)\leq \phi (xy)\) for all \(t\in[0,1]\) and \(x, y \in \mathbb{R}\) with \(x\geq y\). First consider \(x\geq y\geq0\), we see that
for all \(t \in [0, 1]\). It is easy to see that \(0 \leq f(t,x)f(t,y) \leq \phi (xy)\) for all \(t \in [0, 1]\) also holds for \(0 > x \geq y\) and \(x \geq 0 > y\). Hence, (A3) is satisfied.
Finally, for assumption (B3), we see that \(u(t) = 0.5\) for all \(t\in [0, 1]\) is a lower solution of (3.1). This can be seen from
for \(t\in[0,1]\). This means
for \(t \in [0, 1]\) and \(u(t) = 0.5\) is a lower solution. Since all assumptions are satisfied, we conclude from our main result in Theorem 3.1 that (4.1) has a solution \(u^{*}:[0, 1]\rightarrow\mathbb{R}\), which is a limit of the monotone sequence \(u_{n}\), \(n=0, 1, 2, \ldots \) , defined by
for all \(t \in [0, 1]\), where \(u_{0}(t) = 0.5\) for \(t \in [0, 1]\).
The iterative sequence for the solution of (4.1) is numerically illustrated in Figure 2 for the fractional order derivative \(\alpha= 0.1, 0.5\), and \(\alpha = 0.9\). In the above iteration scheme for the sequence \(u_{n}\) defined by (4.2), we apply the trapezoidal rule for a numerical integration with step size 0.002. Since the exact solution is not explicitly known, we use the relative error between two iterates \(\Vert u_{n}  u_{n1}\Vert \) as a criterion to stop the iteration when its value is less than 0.002. In our example, the relative errors between two iterates \(\Vert u_{6}  u_{5}\Vert \) are \(1.67 \times 10^{3}\), \(1.04 \times 10^{3}\), and \(6.62 \times 10^{4}\) for the case of \(\alpha= 0.1, 0.5\), and \(\alpha = 0.9\), respectively. The results show that the sequence of approximate solutions \(u_{n}\) converges monotonically.
References
Dhage, BC, Dhage, SB, Ntouyas, SK: Approximating solutions of nonlinear hybrid differential equations. Appl. Math. Lett. 34, 7680 (2014)
Oldham, KB, Spanier, J: The Fractional Calculus: Theory and Applications of Differentiation and Integration to Arbitrary Order. Mathematics in Science and Engineering. Academic Press, New York (1974)
Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. Elsevier Science Inc., New York, NY, USA (2006)
Anastassiou, GA: On right fractional calculus. Chaos Solitons Fractals 42, 365376 (2009)
Atangana, A: Convergence and stability analysis of a novel iteration method for fractional biological population equation. Neural Comput. Appl. 25(5), 10211030 (2014)
Hilfer, R: Applications of Fractional Calculus in Physics. World Scientific Publishing Co., Singapore (2000)
Bai, Z, Lu, H: Positive solutions for boundary value problem of nonlinear fractional differential equation. J. Math. Anal. Appl. 311(2), 495505 (2005)
Zhao, Y, Sun, S, Han, Z, Li, Q: The existence of multiple positive solutions for boundary value problems of nonlinear fractional differential equations. Commun. Nonlinear Sci. Numer. Simul. 16(4), 20862097 (2011)
Feng, W, Sun, S, Han, Z, Zhao, Y: Existence of solutions for a singular system of nonlinear fractional differential equations. Comput. Math. Appl. 62(3), 13701378 (2011)
Zhao, Y, Sun, S, Han, Z, Li, Q: Theory of fractional hybrid differential equations. Comput. Math. Appl. 62(3), 13121324 (2011)
ur Rehman, M, Khan, RA: Existence and uniqueness of solutions for multipoint boundary value problems for fractional differential equations. Appl. Math. Lett. 23(9), 10381044 (2010)
Sun, S, Zhao, Y, Han, Z, Li, Y: The existence of solutions for boundary value problem of fractional hybrid differential equations. Commun. Nonlinear Sci. Numer. Simul. 17(12), 49614967 (2012)
Dhage, B: Basic results in the theory of hybrid differential equations with linear perturbations os second type. Tamkang J. Math. 44(2), 171186 (2012)
Lu, H, Sun, S, Yang, D, Teng, H: Theory of fractional hybrid differential equations with linear perturbations of second type. Bound. Value Probl. 2013, 23 (2013)
Herzallah, MAE, Baleanu, D: On fractional order hybrid differential equations. Abstr. Appl. Anal., 2014, Article ID 389386 (2014)
Dhage, B: Quadratic perturbations of boundary value problems of second order ordinary differential equations. Differ. Equ. Appl. 2(4), 465486 (2010)
Pathak, HK, RodriguezLopez, R: Existence and approximation of solutions to nonlinear hybrid ordinary differential equations. Appl. Math. Lett. 39, 101106 (2015)
Dhage, BC, Dhage, SB: Approximating positive solutions of nonlinear first order ordinary quadratic differential equations. Cogent Mathematics 2(1), 1023671 (2015)
Dhage, BC: Hybrid fixed point theory in partially ordered normed linear spaces and applications to fractional integral equations. Differ. Equ. Appl. 5(2), 155184 (2013)
Dhage, B: Partially condensing mappings in partially ordered normed linear spaces and applications to functional integral equations. Tamkang J. Math. 45(4), 397426 (2014)
Acknowledgements
The authors would like to thank referees for valuable comments and suggestions to improve the manuscript. This project was supported by the Theoretical and Computational Science Center (TaCS) under Computational and Applied Science for Smart Innovation Research Cluster (CLASSIC), Faculty of Science, KMUTT.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The main idea of this paper was proposed and mainly proved by P. SN, while D.S. performed some proofs and provided a numerical example. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Somjaiwang, D., Sa Ngiamsunthorn, P. Existence and approximation of solutions to fractional order hybrid differential equations. Adv Differ Equ 2016, 278 (2016). https://doi.org/10.1186/s1366201609998
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366201609998