 Research
 Open Access
 Published:
The Cauchy type problem for intervalvalued fractional differential equations with the RiemannLiouville gHfractional derivative
Advances in Difference Equations volume 2016, Article number: 102 (2016)
Abstract
In this paper, we establish the relationship between the Cauchy type problem for intervalvalued fractional differential equations with the RiemannLiouville gHfractional derivative and the corresponding intervalvalued integral equation. Moreover, we also consider the existence of the solutions to the intervalvalued integral equation. Furthermore, we obtain the solutions to the Cauchy type problem under certain conditions.
Introduction
Fractional calculus can be regarded as a generalization of ordinary differentiation and integration to any real or complex order. In the past few decades, the subject has gained considerable popularity and importance due mainly to its demonstrated applications in many fields, such as rheology, viscoelasticity, electrochemistry, electromagnetism, diffusion processes, and so on. It does indeed provide several potentially useful tools for solving differential and integral equations, and various other problems involving special functions of mathematical physics. For more details, the reader can refer to several important monographs, such as Oldham and Spanier [1], Miller and Ross [2], Podlubny [3], Kilbas et al. [4], Laksmikantham et al. [5], etc.
In practice, many problems are often associated with different types of imprecision, for instance, randomness and uncertainty. Accordingly, it is necessary to take into account imprecision to study some dynamical systems. Interval numbers and fuzzy numbers are two important tools to deal with uncertainty problems. In 2010, Agarwal et al. [6] first introduced the concept of solution for fractional differential equations in the space of fuzzy numbers. In the following year, Arshad and Lupulescu [7] defined the concepts of fuzzy fractional integral and fuzzy fractional derivative by means of level sets of fuzzy numbers. Meantime, they also proved the existence and uniqueness to the initial value problem for fuzzy fractional differential equations. Hereafter, Allahviranloo et al. [8] introduced the notion of fuzzy RiemannLiouville fractional derivative (or RiemannLiouville Hderivative) based on the Hukuhara difference (or Hdifference) of fuzzy numbers. In essence, this definition is based on the strongly generalized derivative (Gderivative) of fuzzy numbervalued functions introduced by Bede and Gal [9]. Subsequently, Salahshour et al. [10] considered the solutions of fuzzy fractional differential equations under RiemannLiouville Hderivative by using the fuzzy Laplace transform method. In the same year, they together with Baluanu [11] defined the concept of Caputo Hderivative in a similar way, and further studied the existence, uniqueness and approximate solutions of fuzzy fractional differential equations. Later, Malinowski [12] studied the existence and uniqueness of the solutions of two types of random fuzzy fractional integral equations. Meantime, the author established the boundedness of solutions and the insensitivity to small changes of parameters. Unlike previous methods, Takači et al. [13] analyzed fractional differential equations with fuzzy coefficients by Mikusińki fuzzy operators. Recently, Allahviranloo et al. [14] and Hoa [15] independently introduced the concept of Caputo gHderivative by using the generalized Hukuhara difference (or gHdifference). In fact, the gHdifference is considered as an improvement of the Hdifference of fuzzy numbers. But the gHdifference of two fuzzy numbers does not always exist. However, the gHdifference for interval numbers is well defined. Interval analysis emerged as a special case of setvalued analysis has a long history [16]. To a certain degree, interval analysis was introduced as an effective method to deal with interval uncertainty that appears in many practical problems. For this reason, it is very necessary to study intervalvalued differential equations.
In a recent paper [17], the author introduced fractional calculus for intervalvalued functions based on gHdifference of interval numbers. Based on these concepts, Lupulescu and Hoa [18] considered the solvability of the interval Abel integral equation. However, the purpose of the present paper is to establish the relationship between the Cauchy type problem for intervalvalued fractional differential equations and the corresponding intervalvalued integral equation. Furthermore, we shall characterize the solutions to the Cauchy type problem by the intervalvalued integral equation under certain conditions.
Preliminaries
Let \(\mathbb{N}\), \(\mathbb{R}\), and \(\mathcal{K}\) denote the set of all natural numbers, the set of all real numbers and the set of all nonempty compact convex subsets of the real line \(\mathbb{R}\), respectively. Moreover, let \(T=[a,b]\), \(\infty< a< b<\infty\), denote a finite interval on the real line \(\mathbb{R}\).
For \(A=[a^{},a^{+}]\), \(B=[b^{},b^{+}]\in\mathcal{K}\), \(\lambda\in \mathbb{R}\), the Minkowski addition \(A+B\) and scalar multiplication \(\lambda\cdot{A}\) (or λA) can be defined by
and
respectively. Then the opposite \(A:=(1)\cdot A=[a^{+},a^{}]\). However, in general, \(A+(A)\neq\{0\}\), which implies that the opposite of A is not the inverse of A with respect to the Minkowski addition, unless A is a singleton.
Let \(A,B\in\mathcal{K}\). If there exists \(C\in\mathcal{K}\) such that \(A=B+C\), then C is called the Hukuhara difference (Hdifference for short) of A and B, and it is denoted by \(C:=A\ominus B\). Note that the Hdifference is unique, but it does not always exist. A necessary condition for \(A\ominus B\) to exist is that A contains a translation of B, i.e., there exists an element c such that \(\{c\}+B\subseteq A\). To overcome this shortcoming, a generalized Hukuhara difference (gHdifference for short) is introduced by Stefanini [19].
Definition 2.1
The generalized Hukuhara difference (or gHdifference) of two intervals A and B is defined as follows:
For \(A=[a^{},a^{+}]\), \(B=[b^{},b^{+}]\in\mathcal{K}\), it is easy to verify that the following equalities hold:
where \(w(\cdot)\) denotes the width of the interval, that is, \(w(A)=a^{+}a^{}\).
Now we define a functional \(\Vert \cdot \Vert :\mathcal{K}\rightarrow[0,\infty)\) by \(\Vert A\Vert =\max\{\vert a^{}\vert ,\vert a^{+}\vert \}\) for every \(A=[a^{},a^{+}]\in\mathcal{K}\). It can easily be shown that \(\Vert \cdot \Vert \) is a norm on \(\mathcal{K}\), and thus the quadruple \((\mathcal{K},+,\cdot, \Vert \cdot \Vert )\) is a normed quasilinear space [20].
Given two intervals \(A=[a^{},a^{+}]\), \(B=[b^{},b^{+}]\in\mathcal{K}\), the HausdorffPompeiu metric between A and B is defined by \(H(A,B)=\max\{\vert a^{}b^{}\vert ,\vert a^{+}b^{+}\vert \}\). It is well known that \((\mathcal{K},H)\) is a complete and separable metric space. Furthermore, the following relationships exist between the HausdorffPompeiu metric H and the norm \(\Vert \cdot \Vert \):
Throughout this paper, we denote by \(AC([a,b],\mathcal{K})\) the set of all absolutely continuous intervalvalued functions from \([a,b]\) to \(\mathcal{K}\). For \(1\leq p\leq\infty\), we denote by \(L^{p}([a,b],\mathcal{K})\) the set of all intervalvalued functions \(F:[a,b]\rightarrow\mathcal {K}\) such that \(\Vert F(t)\Vert \in L^{p}[a,b]\). The space \(L^{p}([a,b],\mathcal{K})\) is a complete metric space with respect to the metric \(\mathcal{H}_{p}\) defined by \(\mathcal{H}_{p}(F,G):=\Vert F\ominus_{g}G\Vert _{p}\), where
In particular, when \(p=1\), \(L^{1}([a,b],\mathcal{K})=L([a,b],\mathcal {K})\). Moreover, for \(F,G\in L([a,b],\mathcal{K})\), we can obtain
Let \(F:T\rightarrow\mathcal{K}\) be an intervalvalued function. We say that F is wincreasing (wdecreasing) on T if \(w(F(t))\) is increasing (decreasing) on T. Especially, we call F is wmonotonic on T if \(w(F(t))\) is increasing or decreasing on T.
Definition 2.2
(See Stefanini [21])
Let \(F:T\rightarrow\mathcal{K}\) be an intervalvalued function and let \(t_{0}\in{T}\) such that \(t_{0}+h\in{T}\). If the limit
exists, written as \(F'(t_{0})\), we say that F is generalized Hukuhara differentiable (gHdifferentiable for short) at \(t_{0}\). Meantime, \(F'(t_{0})\) is referred to as the generalized Hukuhara derivative (or gHderivative) at \(t_{0}\). At the endpoints of the interval T, we consider only the one sided gHderivatives.
Definition 2.3
(See Allahviranloo et al. [8], Lupulescu [17])
Let \(F=[f^{},f^{+}]\in L([a,b],\mathcal{K})\) and \(\alpha>0\). The intervalvalued RiemannLiouville fractional integral of order α is defined as follows:
where
denote the classical RiemannLiouville fractional integrals of orders α of the real valued functions \(f^{}(t)\) and \(f^{+}(t)\), respectively. Here, \(\Gamma (\cdot)\) stands for the Gamma function.
Definition 2.4
(See Allahviranloo et al. [8], Lupulescu [17])
Let \(F=[f^{},f^{+}]\in L([a,b],\mathcal{K})\) and \(\alpha\in[0,1]\). Define the intervalvalued function \(F_{1\alpha}:T\rightarrow\mathcal{K}\) by
If \(F_{1\alpha}(t)\) is gHdifferentiable for almost everywhere (i.e., a.e.) \(t\in[a,b]\), then the gHderivative \(F'_{1\alpha}(t)\) is called the intervalvalued RiemannLiouville gHfractional derivative of order α and it is denoted by
for a.e. \(t\in[a,b]\).
In particular, when \(\alpha=0\) and \(\alpha=1\), we have \(\mathcal {D}_{a+}^{0}F(t)=F(t)\), \(\mathcal{D}_{a+}^{1}F(t)=F'(t)\).
Lemma 2.1
(See Markov [22])
Let \(f:T\rightarrow\mathbb{R}\) be a differentiable real valued function and let \(C\in\mathcal{K}\). Then the intervalvalued function \(f\cdot{C}:T\rightarrow\mathcal{K}\) is gHdifferentiable and \({(f(t)\cdot{C})'}=f'(t)\cdot{C}\).
Lemma 2.2
(See Lupulescu [17])
The intervalvalued RiemannLiouville fractional integration operator \(\mathcal{J}^{\alpha}_{a+}\) with \(\alpha>0\) is a bounded operator from \(L^{p}([a,b],\mathcal{K})\) into \(L^{p}([a,b],\mathcal {K})\), \(1\leq p\leq\infty\). More precisely, we have
Based on Lemma 1.1 in [4], we can obtain the following characterization of the space \(AC([a,b],\mathcal{K})\).
Lemma 2.3
The space \(AC([a,b],\mathcal{K})\) consists of those and only those intervalvalued functions \(F=[f^{},f^{+}]\) that can be represented in the form
where \(\Phi=[\varphi^{},\varphi^{+}]\in L([a,b],\mathcal{K})\), \(C=[c^{},c^{+}]\in\mathcal{K}\).
Proof
By Proposition 4 in [17] and Lemma 1.1 in [4], we can obtain
□
Lemma 2.4
Let \(f\in L[a,b]\) with \(f(t)\geq0\) or \(f(t)\leq0\) and let \(C=[c^{},c^{+}]\in\mathcal{K}\). If \(\alpha>0\) and \(0<\beta\leq1\), then
where \(D_{a+}^{\beta}\) denotes the classical RiemannLiouville fractional differential operator of order β.
Proof
(i) If \(f(t)\geq0\), by Definition 2.3, we have
Similarly, if \(f(t)\leq0\), then we can obtain
(ii) According to Definition 2.4 and Lemma 2.1, we get
□
Lemma 2.5
Let \(C=[c^{},c^{+}]\in\mathcal{K}\) and let \(\alpha\in(0,1]\). Define the intervalvalued function \(G(t):=\frac{(ta)^{\alpha1}}{\Gamma(\alpha)}C\) on \((a,b]\). Then \(w(G_{1\alpha}(t))=c^{+}c^{}\) is a constant function on \([a,b]\).
Proof
By Definition 2.4, we get
Substituting \(G(t)\) into the above equality gives
Setting \(M(t)=\int_{a}^{t}(ts)^{\alpha}(sa)^{\alpha1}\,ds\). Make the substitution \(s=a+\theta(ta)\), we obtain
where \(\mathbf{B}(\cdot,\cdot)\) denotes the Beta function. This implies that \(M(t)\) is constant function on \((a,b]\). Using the relation \(\mathbf{B}(\alpha,\beta)=\frac{\Gamma(\alpha)\Gamma (\beta)}{\Gamma(\alpha+\beta)}\), we get
Since C is a constant interval, it is easy to know that \(w(G_{1\alpha }(t))\) is a constant function on \((a,b]\). □
The Cauchy problem for intervalvalued fractional differential equations
This section is devoted to deriving the relationship between the solutions to the Cauchy type problem for intervalvalued differential equations of fractional order and the solutions to the corresponding intervalvalued integral equation.
Let \(F\in L([a,b]\times\mathcal{K},\mathcal{K})\). Consider the following intervalvalued fractional differential equation of order \(\alpha\in(0,1]\):
with the initial condition
In particular, if \(\alpha=1\), then, according to Definition 2.4 and (2), the problem in (1)(2) is reduced to the Cauchy problem for the intervalvalued differential equation:
Therefore, the problem (1)(2) is referred to as a Cauchy type problem for the intervalvalued fractional differential equation.
First we introduce the following intervalvalued integral equation in order to discuss the solution of the Cauchy type problem (1)(2):
Theorem 3.1
Let G be an open set in \(\mathcal{K}\) and let \(F:[a,b]\times G\rightarrow\mathcal{K}\) be an intervalvalued function such that \(F(t,Y(t))\in L([a,b],\mathcal{K})\) for any \(Y\in{G}\). If \(Y(t)\in L([a,b],\mathcal{K})\) satisfies a.e. the relations (1) and (2) (i.e., \(Y(t)\) is a solution of the problem (1)(2)), and it satisfies either \(\frac{d}{dt}w(Y_{1\alpha}(t))\geq0\) for a.e. \(t\in[a,b]\) or \(\frac{d}{dt}w(Y_{1\alpha}(t))\leq0\) for a.e. \(t\in[a,b]\), then \(Y(t)\) is also a solution of the integral equation (4).
Proof
Suppose that \(Y(t)\) satisfies a.e. equations (1) and (2). Since \(F(t,Y)\in L([a,b],\mathcal{K})\), it follows that the intervalvalued fractional gHderivative \(\mathcal {D}_{a+}^{\alpha}Y(t)\in L([a,b],\mathcal{K})\) exists a.e. on \([a,b]\). By Definition 2.4, we have
Then, by Lemma 2.3, we obtain \(\mathcal{J}_{a+}^{1\alpha }Y(t)=Y_{1\alpha}(t)\in AC([a,b],\mathcal{K})\). Using Theorem 7 in [17], we can infer that
for a.e. \(t\in[a,b]\). According to Definition 2.4, we know that
Using the above equality and (2), equation (5) can be rewritten as follows:
Applying the operator \(\mathcal{J}_{a+}^{\alpha}\) to both sides of (1) and using Definition 2.3 and (6), we can obtain the integral equation (4). □
Theorem 3.2
Let G be an open set in \(\mathcal{K}\) and let \(F:[a,b]\times G\rightarrow\mathcal{K}\) be an intervalvalued function such that \(F(t,Y(t))\in L([a,b],\mathcal{K})\) for any \(Y\in{G}\). Assume that \(Y(t)\in L([a,b],\mathcal{K})\) is wmonotonic and satisfies a.e. the intervalvalued integral equation (4) with \(w(Y(t))\frac{(ta)^{\alpha1}}{\Gamma(\alpha)}w(B)\) has a constant sign on \([a,b]\). If \(Y_{1\alpha}(t)\) is wmonotonic, then \(Y(t)\) is also a solution of the problem (1)(2).
Proof
Assume that \(Y(t)\in L([a,b],\mathcal{K})\) satisfies the integral equation (4). Applying the operator \(\mathcal{D}_{a+}^{\alpha}\) to both sides of (4) gives
According to Theorems 4 and 5 in [17] and using Lemma 2.5, we can obtain the following two possible equalities:
or
Further, in accordance with (2.1.21) in [4] and Lemma 2.4, the second term on the left side of the previous two equalities are equal to \(\{0\}\). Thus, we arrive at the equation (1).
Now we show that equation (2) also holds. Applying the operator \(\mathcal{J}_{a+}^{1\alpha}\) to both sides of (4) gives
By Theorem 1 and Remark 5 in [17], we can infer that
Using Lemma 2.4 and Definition 2.3, it follows that
In accordance with (2.1.16) in [4], we get
Taking the limit as \(t\rightarrow a+\), we have \(\mathcal{D}_{a+}^{\alpha 1}Y(a+)\ominus_{g}B=\{0\}\), and hence equation (2) holds. □
Remark 1
Theorems 3.1 and 3.2 show that, in general, the Cauchy type problem (1)(2) for intervalvalued fractional differential equations and the corresponding intervalvalued integral equation (4) are not equivalent in the sense that, if \(Y(t)\in L([a,b],\mathcal{K})\) satisfies one of these relations, then it also satisfies the other, unless the solutions satisfy some strict conditions.
Next we shall establish an important result related to the existence of a solution to the intervalvalued integral equation (4), and then we can obtain the existence of a solution to the Cauchy type problem (1)(2) under certain conditions.
Theorem 3.3
Let G be an open set in \(\mathcal{K}\) and let \(F:[a,b]\times G\rightarrow\mathcal{K}\) be an intervalvalued function such that \(F(t,Y)\in L([a,b],\mathcal{K})\) for any \(Y\in{G}\). Let \(M>0\) such that \(w(F(t,Y(t)))\leq M\) for any \(t\in[a,b]\). Assume that F satisfies the Lipschitz condition
for all \(t\in[a,b]\) and all \(Y_{1},Y_{2}\in L([a,b],\mathcal{K})\). Then there exist two unique solutions Ỹ, Ŷ to the intervalvalued integral equation (4) in the space \(\mathcal {L}^{\alpha}([a,t^{\ast}],\mathcal{K})\), where
\(t^{\ast}=\min\{t_{2},\frac{\alpha}{M}w(B),b\}\) if \(w(B)>0\) and \(t^{\ast }=\min\{t_{2},b\}\) if \(w(B)=0\), while \(t_{2}\in(a,b]\) is chosen such that \(L\frac{(t_{2}a)^{\alpha}}{\Gamma (\alpha+1)}<1\).
Proof
In essence, it follows from Definition 2.1 that the two cases of the existence of gHdifference imply that the intervalvalued integral equation (4) is a unified formulation for one of the following integral equations:
and
Setting \(Y_{0}(t)=\frac{(ta)^{\alpha1}}{\Gamma(\alpha)}{B}\). If \(w(B)=0\), then \(Y_{0}(t)\) is an ordinary real valued function. This implies that the integral equation (9) is a classical singlevalued integral equation. In this case, the integral equations (8) and (9) are identical. Without loss of generality, we assume that \(w(B)>0\). First, we choose \(t_{1}=\min\{a+\frac{\alpha }{M}w(B),b\}\), then we can obtain \(0\leq ta\leq\frac{\alpha}{M}w(B)\) for any \(t\in [a,t_{1}]\). Further, we can infer that
for any \(t\in[a,t_{1}]\). Therefore, it follows from (10) that
Next, we choose \(t_{2}\in(a,b]\) such that the inequality
holds. Take \(t^{\ast}=\min\{t_{1},t_{2}\}\). Then we shall prove the existence of two unique solutions \({\widetilde{Y}},\widehat{Y}\in L([a,b],\mathcal{K})\) to the integral equations (8) and (9) on the interval \([a,t^{\ast}]\), respectively.
Using the form of the integral equation (8) and (9), we define the operators \(P,Q:L([a,t^{\ast}],\mathcal{K})\rightarrow L([a,t^{\ast }],\mathcal{K})\), where
and
Notice that the operator P is always well defined, while the operator Q is also well defined by the inequality (11).
To apply the Banach contraction principle, we have to prove the following:

(i)
if \(Y\in L([a,t^{\ast}],\mathcal{K})\), then \((PY)(t),(QY)(t)\in L([a,t^{\ast}],\mathcal{K})\);

(ii)
for any \(Y_{1},Y_{2}\in L([a,t^{\ast}],\mathcal{K})\), the following estimates hold:
$$\begin{aligned} & \mathcal{H}_{1}(PY_{1},PY_{2})\leq\omega \mathcal {H}_{1}(Y_{1},Y_{2}), \end{aligned}$$(15)$$\begin{aligned} & \mathcal{H}_{1}(QY_{1},QY_{2})\leq\omega \mathcal{H}_{1}(Y_{1},Y_{2}), \end{aligned}$$(16)where \(\omega=L\frac{(t^{*}a)^{\alpha}}{\Gamma(\alpha+1)}\).
Obviously, \(Y_{0}(t)\in L([a,t^{\ast}],\mathcal{K})\). By Lemma 2.2, we know that the intervalvalued integrals in the righthand side of (13) and (14) belong to \(L([a,t^{\ast}],\mathcal{K})\), since \(F(t,Y(t))\in L([a,t^{\ast}],\mathcal{K})\).
By the Lipschitz condition (7) and Lemma 3.1 in [4], we can from equations (13) and (14) infer that
Using the same argument, we can obtain
Therefore, the inequalities (15) and (16) hold. In accordance with (12), we know that \(0<\omega<1\). So the Banach contraction principle implies that there exist a unique solution \(\widetilde{Y}\in L([a,t^{\ast}],\mathcal{K})\) and a unique solution \(\widehat{Y}\in L([a,t^{\ast}],\mathcal{K})\) to the integral equations (8) and (9), respectively. This completes the proof of the theorem. □
Remark 2
Actually, we can apply the method of successive approximations to obtain a unique solution \(\widetilde{Y}(t)\) and \(\widehat{Y}(t)\) to the integral equations (8) and (9) on the interval \([a,t^{\ast}]\), respectively. According to the Banach contraction principle, the solutions Ỹ and Ŷ can be obtained as a limit of the convergent sequences \(P^{m}Y_{0}^{\ast}\) and \(Q^{m}Y_{0}^{\ast}\), respectively. Specifically, we have
where \(Y_{0}^{\ast}\) is any intervalvalued function in \(L([a,t^{\ast }],\mathcal{K})\). By equations (13) and (14), the iterative sequences \(\{(P^{m}Y_{0}^{\ast})(t)\}\) and \(\{(Q^{m}Y_{0}^{\ast})(t)\}\) are defined by
Combining Theorem 3.2 with Theorem 3.3, we can formulate the following result associated with the existence of the solutions to the Cauchy type problem (1)(2).
Theorem 3.4
Let G be an open set in \(\mathcal{K}\) and let \(F:[a,b]\times G\rightarrow\mathcal{K}\) be an intervalvalued function such that \(F(t,Y(t))\in L([a,b],\mathcal{K})\) for any \(Y\in L([a,b],G)\). Let \(M>0\) such that \(w(F(t,Y(t)))\leq M\) for any \(t\in[a,b]\). Assume that F satisfies the Lipschitz condition (7) for all \(t\in[a,b]\) and all \(Y_{1},Y_{2}\in L([a,b],\mathcal{K})\). Then there exist two unique solutions Ỹ, Ŷ to the intervalvalued integral equation (4) in the space \(\mathcal {L}^{\alpha}([a,t^{\ast}],\mathcal{K})\).
Furthermore, if \(Y(t)\in L([a,b],\mathcal{K})\) is wmonotonic and \(w(\widetilde{Y}(t))w(B)\) and \(w(\widehat{Y}(t))w(B)\) has a constant sign on \([a,t^{\ast}]\), \(\widetilde{Y}_{1\alpha}(t)\) and \(\widehat{Y}_{1\alpha}(t)\) are wmonotonic, then \(\widehat{Y}(t)\) and \(\widehat{Y}(t)\) are also two unique solutions to the Cauchy type problem (1)(2), where \(t^{\ast}\) is given as in Theorem 3.3.
Remark 3
According to Lemma 4.1 in [7], when \(0<\alpha\leq1\), the result of Theorem 3.4 remains true for the following weighted Cauchy type problem:
Conclusions
Usually, the existence of the solutions to the Cauchy problem (or initial value problem) for a differential equation is characterized by the existence of the solutions to the equivalent integral equation. Accordingly, it also becomes a fundamental way to construct the successive approximation sequence by means of the integral equation. In this paper, we note that, in general, the Cauchy type problem for intervalvalued fractional differential equations and the corresponding integral equation are not equivalent. However, under certain conditions, we have derived the relationship between the solutions to the Cauchy type problem and the ones to the intervalvalued integral equation. Therefore, these results provide the possibility for us to solve the Cauchy type problem for intervalvalued fractional equations by the corresponding integral equation.
References
 1.
Oldham, KB, Spanier, J: The Fractional Calculus. Academic Press, New York (1974)
 2.
Miller, KS, Ross, B: An Introduction to the Fractional Calculus and Differential Equations. Wiley, New York (1993)
 3.
Podlubny, I: Fractional Differential Equations. Academic Press, San Diego (1999)
 4.
Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
 5.
Lakshmikantham, V, Leela, S, Vasundhara Devi, J: Theory of Fractional Dynamic Systems. Cambridge Scientific Publishers, Cambridge (2009)
 6.
Agarwal, RP, Lakshmikantham, V, Nieto, JJ: On the concept of solution for fractional differential equations with uncertainty. Nonlinear Anal. 72, 28592862 (2010)
 7.
Arshad, S, Lupulescu, V: On the fractional differential equations with uncertainty. Nonlinear Anal. 74, 36853693 (2011)
 8.
Allahviranloo, T, Salahshour, S, Abbasbandy, S: Explicit solutions of fractional differential equations with uncertainty. Soft Comput. 16, 297302 (2012)
 9.
Bede, B, Gal, SG: Generalizations of differentiability of fuzzy number valued function with application to fuzzy differential equations. Fuzzy Sets Syst. 151, 581599 (2005)
 10.
Salahshour, S, Allahviranloo, T, Abbasbandy, S: Solving fuzzy fractional differential equations by fuzzy Laplace transforms. Commun. Nonlinear Sci. Numer. Simul. 17, 13721381 (2012)
 11.
Salahshour, S, Allahviranloo, T, Abbasbandy, S, Baleanu, D: Existence and uniqueness results for fractional differential equations with uncertainty. Adv. Differ. Equ. 2012, 112 (2012)
 12.
Malinowski, MT: Random fuzzy fractional integral equations  theoretical foundations. Fuzzy Sets Syst. 265, 3962 (2015)
 13.
Takači, D, Takači, A, Takači, A: On the operational solutions of fuzzy fractional differential equations. Fract. Calc. Appl. Anal. 17, 11001113 (2014)
 14.
Allahviranloo, T, Armand, A, Gouyandeh, Z: Fuzzy fractional differential equations under generalized fuzzy Caputo derivative. J. Intell. Fuzzy Syst. 26, 14811490 (2014)
 15.
Hoa, NV: Fuzzy fractional functional differential equations under Caputo gHdifferentiability. Commun. Nonlinear Sci. Numer. Simul. 22, 11341157 (2015)
 16.
Moore, RE: Interval Analysis. Prentice Hall, Englewood Cliffs (1966)
 17.
Lupulescu, V: Fractional calculus for intervalvalued functions. Fuzzy Sets Syst. 265, 6385 (2015)
 18.
Lupulescu, V, Hoa, NV: Interval Abel integral equation. Soft Comput. (2016). doi:10.1007/s0050001519802
 19.
Stefanini, L: A generalization of Hukuhara difference and division for interval and fuzzy arithmetic. Fuzzy Sets Syst. 161, 15641584 (2010)
 20.
Markov, S: On the algebraic properties of convex bodies and some applications. J. Convex Anal. 7, 129166 (2000)
 21.
Stefanini, L, Bede, B: Generalized Hukuhara differentiability of intervalvalued functions and interval differential equations. Nonlinear Anal. 71, 13111328 (2009)
 22.
Markov, S: Calculus for interval functions of a real variable. Computing 22, 325337 (1979)
Acknowledgements
This work was supported by the ‘Qing Lan’ Talent Engineering Funds by Tianshui Normal University and the Research Project of Higher Learning of Gansu Province (No. 2014B080).
Author information
Additional information
Competing interests
The author declares that he has no competing interests.
Author’s contributions
YS drafted the manuscript and completed all proofs of the results in this paper.
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
Received
Accepted
Published
DOI
Keywords
 generalized Hukuhara difference
 intervalvalued function
 intervalvalued RiemannLiouville fractional integral
 RiemannLiouville gHfractional derivative
 Cauchy type problem