Skip to content


  • Research
  • Open Access

Bounded solutions for fuzzy integral equations of fractional order

Advances in Difference Equations20182018:45

  • Received: 4 July 2017
  • Accepted: 15 January 2018
  • Published:


In this paper, we consider sufficient conditions for the boundedness of every solution of fractional order fuzzy integral equations. Some examples are given to illustrate our results.


  • boundedness
  • fractional order
  • generalized Gronwall inequality


  • 34C11
  • 26E50
  • 45G10

1 Introduction

The concept of fuzzy derivative was first introduced by Chang and Zadeh [1]. Kaleva [2], Puri and Ralescu [3] introduced the notion of fuzzy derivative as an extension of the Hukuhara derivative and the fuzzy integral, which was the same as that proposed by Dubois and Prade [4]. There has been a significant development in the study of fuzzy differential and integral equations (see, for example, [58], and the references therein). Under suitable conditions, it was proved in [9] that the boundedness of solutions of the following fuzzy integral equation:
$$ x(t)= \int_{0}^{t} G(t,s)x(s)\,ds+f(t), $$
$$ G:\Delta:=\bigl\{ (t,s):0\leq s\leq t< \infty\bigr\} \rightarrow\mathbb{R}, $$
is continuous and \(f:[0,+\infty)\rightarrow E^{n}\) is bounded. Furthermore, authors considered the boundedness of solutions of the fuzzy differential equation
$$ x'(t)=f\bigl(t,x(t)\bigr),\quad t\in\mathbb{R}^{+}=[0,+ \infty), $$
where \(f:\mathbb{R}^{+}\times E^{n}\rightarrow E^{n}\) is continuous.
The purpose of this paper is to investigate the boundedness of solutions of the following fuzzy functional integral equation with fractional order:
$$ x(t)= \int_{0}^{t} (t-s)^{q-1} \bigl[G_{1}(t,s)x(s)+G_{2}(t,s)x\bigl(\theta(s)\bigr)\bigr] \,ds+f(t), $$
$$ G_{i}:\Delta:=\bigl\{ (t,s):0\leq s\leq t< \infty\bigr\} \rightarrow \mathbb{R} $$
are continuous for \(i=1,2\), \(0< q\leq1\), \(f\in C(\mathbb{R}^{+}, E^{n})\), \(0\leq\theta(t)\leq t\).
Moreover, we also study the boundedness of solutions of the fuzzy integral equation
$$ x(t)= \int_{0}^{t} (t-s)^{q-1}G(t,s)x(s)\,ds+f(t), $$
where \(G\in C(\Delta,\mathbb{R})\) and \(f\in C_{1-q}(\mathbb{R}^{+}, E^{n})\),
$$ C_{1-q}\bigl(\mathbb{R}^{+}, E^{n}\bigr)=\bigl\{ x\in C \bigl((0,+\infty),E^{n}\bigr):t^{1-q}x(t)\in C\bigl( \mathbb{R}^{+}, E^{n}\bigr)\bigr\} . $$

Inspired by the work of [9, 10], in the present paper we aim to establish some sufficient conditions for the boundedness of every solution of fractional order fuzzy integral equations as well as certain fuzzy differential equations. The paper is organized as follows. In Section 2, we present some preliminaries and lemmas. We also correct and complete some previous results. In Section 3, we discuss the boundedness of solution for a particular fuzzy fractional differential equation. In Section 4, the boundedness of solutions for problems (1.3) and (1.4) are given, respectively.

2 Preliminaries and lemmas

Let \(P_{k}(\mathbb{R}^{n})\) be the family of all nonempty compact convex subsets of \(\mathbb{R}^{n}\). For \(A,B\in P_{k}(\mathbb{R}^{n})\), the Hausdorff-Pompeiu metric is defined by
$$d_{H}(A,B)=\max \Bigl\{ \sup_{a\in A} \inf _{b\in B} \Vert a-b \Vert , \sup_{b\in B} \inf _{a\in A} \Vert a-b \Vert \Bigr\} . $$
A fuzzy set in \(\mathbb{R}^{n}\) is a function with domain \(\mathbb{R}^{n}\) and values in \([0,1]\), that is, an element of \([0,1]^{\mathbb{R}^{n}}\).
We denote by \(E^{n}\) the space of all fuzzy sets \(u:\mathbb{R}^{n}\rightarrow[0,1]\) with the following properties:
  1. (i)

    u is normal, that is, there exists \(x_{0}\in \mathbb{R}^{n}\) such that \(u(x_{0})=1\);

  2. (ii)

    u is fuzzy convex;

  3. (iii)

    u is upper-semicontinuous;

  4. (iv)

    \([u]^{0}=\operatorname{cl} \{x\in\mathbb{R}^{n}| u(x)>0\}\) is compact.


\(E^{1}\) is called the space of fuzzy numbers. Obviously \(\mathbb{R}\subset E^{1}\). Here \(\mathbb{R}\subset E^{1}\) is understood as \(\mathbb{R}=\{\chi_{\{x\}}: x \text{ is the usual real number}\}\).

Let \(u\in E^{n}\), then the set
$$[u]^{\alpha}=\bigl\{ x\in\mathbb{R}^{n}:u(x)\geq\alpha\bigr\} , \quad\alpha\in (0,1], $$
is called the α-level set of u.
The fuzzy zero is defined by
$$ \chi_{\{0\}}(x)= \textstyle\begin{cases} 0,& x\neq0,\\ 1,& x=0. \end{cases} $$
Let \(d_{\infty}:E^{n}\times E^{n}\rightarrow[0,+\infty)\) be defined by
$$d_{\infty}(u,v)=\sup\bigl\{ d_{H}\bigl([u]^{\alpha},[v]^{\alpha}\bigr):\alpha\in[0,1]\bigr\} , $$
where \(d_{H}\) is the Hausdorff-Pompeiu metric for nonempty compact convex subsets of \(\mathbb{R}^{n}\). Then \((E^{n},d_{\infty})\) is a complete metric space. This defines a linear structure on \(E^{n}\) such that, for all \(u,v,w,z\in E^{n}\) and \(\lambda\in\mathbb{R}\), we have \(d_{\infty}(u+w,v+w)=d_{\infty}(u,v)\) and \(d_{\infty}(\lambda u,\lambda v)=|\lambda|d_{\infty}(u,v)\). Also, we can prove that \(d_{\infty}(u+v,w+z)\leq d_{\infty}(u,w)+d_{\infty}(v,z)\).
A mapping \(u:T\rightarrow E^{n}\) is bounded, where T is an interval of the real line, if there exists \(r>0\) such that
$$ d_{\infty}\bigl(u(x),\chi_{\{0\}}\bigr)\leq r,\quad\forall x\in T. $$
Let \(u,v\in E^{n}\) and c be a positive number, the addition \(u+v\) and cv in \(E^{n}\) are defined in terms of the α-level sets by
for every \(\alpha\in[0,1]\).

A fuzzy function \(f:T\rightarrow E^{n}\) is measurable if, for all \(\alpha\in[0,1]\), the set-valued mapping \(f_{\alpha}:T\rightarrow P_{k}(\mathbb{R}^{n})\) defined by \(f_{\alpha}(t)=[f(t)]^{\alpha}\) is measurable.

We denote by \(S_{f}^{1}\) the set of all Lebesgue integrable section of \(F:T\rightarrow P_{k}(\mathbb{R}^{n})\), that is, \(S_{f}^{1}=\{g\in L^{1}(T,\mathbb{R}^{n}):g(t)\in f(t) \text{ a.e.}\}\).

A fuzzy function \(f:T\rightarrow E^{n}\) is integrably bounded if there exists an integrable function h such that \(\Vert x \Vert\leq h(t)\) for all \(x\in f_{0}(t)\). A measurable and integrably bounded fuzzy function \(f:T\rightarrow E^{n}\) is said to be integrable over T if there exists \(F\in E^{n}\) such that \(F_{\alpha}=\int_{T} f_{\alpha}(t)\,dt= \{\int_{T}g(t)\,dt:g\in S_{f_{\alpha}}^{1} \}\) for all \(\alpha\in[0,1]\).

Definition 2.1


The Riemann-Liouville fractional integral of order \(\beta>0\) for a function \(f:\mathbb{R}^{+}\rightarrow\mathbb{R}\) is given by
$$I^{\beta}f(t)=\frac{1}{\Gamma(\beta)} \int_{0}^{t}(t-s)^{\beta-1}f(s)\,ds. $$

Definition 2.2


The Riemann-Liouville fractional derivative of order \(0<\beta<1\) for a function \(f:\mathbb{R}^{+}\rightarrow\mathbb{R}\) is defined by
$$D^{\beta}f(t)=\frac{1}{\Gamma(1-\beta)}\frac{d}{dt} \int_{0}^{t} (t-s)^{-\beta}f(s)\,ds. $$

Definition 2.3


Let \(f:\mathbb{R}^{+}\rightarrow E^{n}\) be an integrable fuzzy function. The fuzzy fractional integral of order \(\beta>0\) of the function f,
$$I^{\beta}f(t)=\frac{1}{\Gamma(\beta)} \int_{0}^{t} (t-s)^{\beta-1}f(s)\,ds, $$
is defined by
$$I^{\beta}f(t) (x)=\sup\bigl\{ \alpha\in[0,1]:x\in I^{\beta}f_{\alpha}\bigr\} . $$
Its level sets are given by
$$\bigl[I^{\beta}f(t)\bigr]^{\alpha}=\bigl\{ x\in \mathbb{R}^{n}: I^{\beta}f(t) (x)\geq\alpha\bigr\} ,\quad\alpha \in[0,1]; $$
that is, we have
$$\bigl[I^{\beta}f(t)\bigr]^{\alpha}=\frac{1}{\Gamma(\beta)} \int_{0}^{t} (t-s)^{\beta -1}\bigl[f(s) \bigr]^{\alpha}\,ds. $$

Let \(x,y\in E^{n}\). If there exists \(z\in E^{n}\) such that \(x=y+z\), then we call z the H-difference of x and y, denoted by \(x-_{H}y\).

A fuzzy function \(f:T\rightarrow E^{n}\) is said to be differentiable at \(t\in T\) if there exists \(\frac{d}{dt}f(t)\in E^{n}\) such that the limits
$$\lim_{h\rightarrow0+}\frac{f(t+h)-_{H}f(t)}{h}\quad \text{and}\quad\lim _{h\rightarrow0+}\frac{f(t)-_{H}f(t-h)}{h} $$
exist and are equal to \(\frac{d}{dt}f(t)\).

Definition 2.4


If \(f:[0,+\infty)\rightarrow E^{n}\), then the Riemann-Liouville fractional derivative of order \(0<\beta\leq1\) of f is defined as
$$D^{\beta}f(t)=\frac{1}{\Gamma(1-\beta)}\frac{d}{dt} \int_{0}^{t} (t-s)^{-\beta}f(s)\,ds, $$
provided that the equation defines a fuzzy number \(D^{\beta}f(t)\in E^{n}\). It is easy to see that \(D^{\beta}f(t)=\frac{d}{dt}I^{1-\beta}f(t)\), \(t\in[0,+\infty)\).

Definition 2.5


For \(\alpha>0\), the classical Mittag-Leffler function \(E_{\alpha}(z)\) and the generalized Mittag-Leffler function \(E_{\alpha,\beta}(z)\) are defined by
$$ E_{\alpha}(z)=\sum_{k=0}^{\infty}\frac{z^{k}}{\Gamma(\alpha k+1)},\qquad E_{\alpha,\beta}(z)=\sum_{k=0}^{\infty}\frac{z^{k}}{\Gamma(\alpha k+\beta)}. $$

Definition 2.6


\(f:\mathbb{R}\rightarrow\mathbb{R}\) is locally Hölder continuous in \(t_{1}\) if there exist a neighborhood U of \(t_{1}\) and constants \(c>0\), \(0<\nu<1\) such that, for all \(t,s\in U\),
$$ \bigl\vert f(t)-f(s) \bigr\vert \leq c \vert t-s \vert ^{\nu}. $$

Lemma 2.1


Let \(m:\mathbb{R}^{+}\rightarrow\mathbb{R}\) be locally Hölder continuous with exponent \(\lambda>q\) such that, for any \(t_{1}>0\), we have
$$ m(t_{1})=0\quad\textit{and}\quad m(t)\leq0\quad \textit{for }0\leq t\leq t_{1}. $$
Then it follows that \(D^{q}m(t_{1})\geq0\).

We note that Lemma 2.1 is very limited in the sense that the condition imposed on the m is quite restrictive. We shall be concerned with the problem of finding the appropriate modifications that are needed to prove the results when m satisfies a weaker assumption. To illustrate this idea, we shall next give the result which is an improvement of Lemma 2.1.

Lemma 2.2

Let \(m:\mathbb{R}^{+}\rightarrow\mathbb{R}\). If there exists \(\delta\geq0\) such that \(t^{\delta}m(t)\) is locally Hölder continuous with exponent \(\lambda>q\) such that, for any \(t_{1}>0\), (2.1) holds, then it follows that \(D^{q}m(t_{1})\geq0\).


The proof is similar to Lemma 2.1, but for the sake of completeness, we give the details of it. Let \(H(t)=\int_{0}^{t}(t-s)^{-q}m(s)\,ds\). Consider, for sufficiently small \(h>0\) such that \(t_{1}-h>0\),
$$ \begin{aligned} H(t_{1})-H(t_{1}-h)&= \int_{0}^{t_{1}-h}\bigl[(t_{1}-s)^{-q}-(t_{1}-h-s)^{-q} \bigr]m(s)\,ds \\ &\quad{}+ \int_{t_{1}-h}^{t_{1}}(t_{1}-s)^{-q}m(s) \,ds=I_{1}+I_{2}. \end{aligned} $$
Since \([(t_{1}-s)^{-q}-(t_{1}-h-s)^{-q}]<0\) for \(0\leq s\leq t_{1}-h\) and \(m(s)\leq0\) by hypothesis, we have \(I_{1}\geq0\). Also, \(H(t_{1})-H(t_{1}-h)\geq I_{2}\). Since \(t^{\delta}m(t)\) is locally Hölder continuous and \(m(t_{1})=0\), there exists a constant \(K(t_{1})>0\) such that, for \(t_{1}-h\leq s\leq t_{1}+h\),
$$ -K(t_{1}) (t_{1}-s)^{\lambda}\leq s^{\delta}m(s) \leq K(t_{1}) (t_{1}-s)^{\lambda}, $$
where \(\lambda>q\) and \(0<\lambda<1\). We then get
$$ \begin{aligned} I_{2}&= \int_{t_{1}-h}^{t_{1}}(t_{1}-s)^{-q}s^{-\delta}s^{\delta}m(s)\,ds\geq -K(t_{1}) \int_{t_{1}-h}^{t_{1}}(t_{1}-s)^{\lambda-q}s^{-\delta} \,ds \\ &\geq\frac{-K(t_{1})}{(t_{1}-h)^{\delta}(\lambda+1-q)}h^{\lambda+1-q}. \end{aligned} $$
Hence \(H(t_{1})-H(t_{1}-h)\geq-\frac{K(t_{1})}{(t_{1}-h)^{\delta}(\lambda +1-q)}h^{\lambda+1-q}\). Letting \(h\rightarrow0^{+}\), we obtain \(H'(t_{1})\geq0\), which implies \(D^{q}m(t_{1})=\frac{1}{\Gamma(1-q)}H'(t_{1})\geq0\) and the proof is complete. □

Remark 2.1

If there exists \(0\leq\delta<1\) such that \(t^{\delta}m(t)\) is locally Hölder continuous with exponent λ, then for any \(c\in \mathbb{R}\), \(t^{\delta}(m(t)-c)\) is also locally Hölder continuous with exponent \(\max\{\lambda,\delta\}\).

In Theorem 4.1 of [14], authors considered the global existence of solution of the problem
$$ D^{q}u(t)=g\bigl(t,u(t)\bigr),\qquad\lim _{t\rightarrow0^{+}}t^{1-q}u(t)=u_{0}, $$
by constructing the auxiliary problem
$$ D^{q}u(t)=g\bigl(t,u(t)\bigr)+\epsilon,\qquad \lim_{t\rightarrow0^{+}}t^{1-q}u(t)=u_{0}+ \epsilon,\quad\epsilon>0. $$
The idea is very interesting, but we find out that there are no conditions to ensure the existence of solution for \(\epsilon>0\). So, we revise the corresponding theorem as follows. Next, we give the notion of maximal solution which is of the same form as that in [15].

Definition 2.7

Let \(r(t)\) be a solution of the scalar differential equation (2.2) on \((0, +\infty)\). Then \(r(t)\) is said to be a maximal solution of (2.2) if, for every solution \(u(t)\) of (2.2) existing on \((0, +\infty)\), the inequality \(u(t)\leq r(t)\), \(t\in(0, +\infty)\) holds.

Theorem 2.1

Let \(C_{1-q}(\mathbb{R}^{+},\mathbb{R})=\{x\in C((0,+\infty),\mathbb{R}):t^{1-q}x(t)\in C(\mathbb{R}^{+}, \mathbb{R})\}\). Assume that \(m-\eta\in C_{1-q}(\mathbb{R}^{+},\mathbb{R})\), there exists \(0\leq\delta<1\) such that \(t^{\delta}(m-\eta)\) is locally Hölder continuous with exponent \(\lambda>q\), \(g\in C((0,+\infty)\times\mathbb{R},\mathbb{R})\) satisfies
$$ g(t,x)-g(t,y)\geq\frac{L(x-y)}{t^{q}\Gamma(1-q)},\quad \textit{wherever } t \in(0,+\infty), x\geq y, L>1 $$
$$ D^{q}m(t)\leq g\bigl(t,m(t)\bigr),\quad t\in(0,+\infty). $$
Let \(\eta(t)\) be the maximal solution of (2.2) in \((0,+\infty)\) such that \(\lim_{t\rightarrow0^{+}}t^{1-q}m(t)< u_{0}\), then we have \(m(t)\leq\eta(t)\), \(t\in(0,+\infty)\).


For \(\epsilon>0\), let \(\eta_{\epsilon}(t)=\eta(t)-\epsilon\), \(t\in(0,+\infty)\). Then, by Definition 2.2 and (2.3),
$$ \begin{aligned} D^{q}\eta_{\epsilon}(t)&=D^{q} \eta(t)-\frac{\epsilon}{t^{q}\Gamma(1-q)} \\ &=g\bigl(t,\eta_{\epsilon}(t)+\epsilon\bigr)-\frac{\epsilon}{t^{q}\Gamma(1-q)} \\ &\geq g\bigl(t,\eta_{\epsilon}(t)\bigr)+\frac{(L-1)\epsilon}{t^{q}\Gamma(1-q)} \\ &>g\bigl(t,\eta_{\epsilon}(t)\bigr),\quad t\in(0,+\infty) \end{aligned} $$
and \(\lim_{t\rightarrow0^{+}}t^{1-q}\eta_{\epsilon}(t)=u_{0}\). Next, we claim \(m(t)-\eta_{\epsilon}(t)<0\), \(t\in(0,+\infty)\). Assume that it is not true. Then, for \(\lim_{t\rightarrow0^{+}}t^{1-q}(m(t)-\eta_{\epsilon}(t))<0\), it follows that there exists \(t_{1}\in(0,+\infty)\) such that \(m(t_{1})-\eta_{\epsilon}(t_{1})=0\) and \(m(t)-\eta_{\epsilon}(t)<0\), \(t\in(0,t_{1})\). Using Lemma 2.2 and Remark 2.1, we obtain \(D^{q}m(t_{1})\geq D^{q}\eta_{\epsilon}(t_{1})\). So, we have
$$ g\bigl(t_{1},m(t_{1})\bigr)\geq D^{q}m(t_{1}) \geq D^{q}\eta_{\epsilon}(t_{1})>g\bigl(t_{1}, \eta_{\epsilon}(t_{1})\bigr), $$
which contradicts with \(m(t_{1})=\eta_{\epsilon}(t_{1})\). That is, \(m(t)<\eta_{\epsilon}(t)\), \(t\in(0,+\infty)\). By the arbitrariness of ϵ, we can get \(m(t)\leq\eta(t)\), \(t\in(0,+\infty)\). □

Corollary 2.1

Let \(g\in C((0,+\infty)\times\mathbb{R},\mathbb{R})\) satisfy (2.3). Let \(v,\eta\in C_{1-q}(\mathbb{R}^{+},\mathbb{R})\), and there exists \(1-q\leq\delta<1\) such that \(t^{\delta}[I^{q} g(t,v(t))-\eta]\) is locally Hölder continuous with exponent \(\lambda>q\). Moreover, \(\eta(t)\) is the maximal solution of (2.2) existing in \((0,+\infty)\). If
$$ v(t)\leq t^{q-1}v_{0}+ \int_{0}^{t}(t-s)^{q-1}g\bigl(s,v(s)\bigr) \,ds,\quad t\in(0,+\infty), $$
where \(v_{0}< u_{0}\), then \(v(t)\leq\eta(t)\) holds in \((0,+\infty)\).


Let \(V(t)\) be the right-hand side of (2.5), so that \(v(t)\leq V(t)\) and \(D^{q}V(t)=g(t,v(t))\), \(\lim_{t\rightarrow0^{+}}t^{1-q}V(t)=v_{0}< u_{0}\). By (2.3), \(D^{q}V(t)\leq g(t,V(t))\). Hence Theorem 2.1 implies that \(V(t)\leq\eta(t)\) in \((0,+\infty)\), thus \(v(t)\leq\eta(t)\) holds. □

Theorem 2.2

Let \(g:(0,+\infty)\times\mathbb{R}\rightarrow\mathbb{R}\)
$$ (t,u)\rightarrow g(t,u) $$
be continuous and satisfy inequality (2.3), and let η be the maximal solution of (2.2) existing for \(t\in(0,+\infty)\). Let \(f:(0,+\infty)\times E^{n}\rightarrow E^{n}\) be continuous such that
$$ d_{\infty}\bigl(f(s,x),\chi_{\{0\}}\bigr)\leq g \bigl(s,d_{\infty}(x,\chi_{\{0\}})\bigr),\quad\forall s\in(0,+ \infty), x\in E^{n}. $$
If there exists \(1-q\leq\delta<1\) such that \(t^{\delta}[I^{q} g(t,d_{\infty}(x(t),\chi_{\{0\}}))-\eta]\) is locally Hölder continuous with exponent \(\lambda>q\) such that
$$ d_{\infty}(x_{0},\chi_{\{0\}})< u_{0}, $$
then all solutions x of
$$ x(t)=t^{q-1}x_{0}+ \int_{0}^{t}(t-s)^{q-1}f\bigl(s,x(s)\bigr) \,ds $$
$$ d_{\infty}\bigl(x(t),\chi_{\{0\}}\bigr)\leq\eta(t),\quad t\in(0,+ \infty). $$
Moreover, if η is bounded, then x is bounded.


Let \(m(t)=d_{\infty}(x(t),\chi_{\{0\}})\), \(t\in(0,+\infty)\). Then
$$ \begin{aligned} m(t)&=d_{\infty}\biggl(t^{q-1}x_{0}+ \int_{0}^{t}(t-s)^{q-1}f\bigl(s,x(s)\bigr) \,ds,\chi_{\{ 0\}} \biggr) \\ &\leq t^{q-1}d_{\infty}(x_{0},\chi_{\{0\}})+ \int_{0}^{t}(t-s)^{q-1}d_{\infty}\bigl(f\bigl(s,x(s)\bigr),\chi_{\{0\}}\bigr)\,ds \\ &\leq t^{q-1}d_{\infty}(x_{0},\chi_{\{0\}})+ \int_{0}^{t}(t-s)^{q-1}g\bigl(s,m(s)\bigr) \,ds,\quad t\in(0,+\infty). \end{aligned} $$
The conclusion is obtained by using Corollary 2.1. □

Here, we list some basic properties of class and generalized Mittag-Leffler functions which will be used in the later discussion.

Lemma 2.3


Let \(0< q<1\), \(\lambda>0\). Then functions \(E_{q}\) and \(E_{q,q}\) are nonnegative and have the following properties:
  1. (i)

    For any \(t>0\), \(E_{q}(-\lambda t^{q})\leq1\), \(E_{q,q}(-\lambda t^{q})\leq\frac{1}{\Gamma(q)}\). Moreover, \(E_{q}(0)=1\), \(E_{q,q}(0)=\frac{1}{\Gamma(q)}\).

  2. (ii)

    For any \(t_{1},t_{2}>0\) and \(t_{1}\leq t_{2}\), \(E_{q}(-\lambda t_{2}^{q})\leq E_{q}(-\lambda t_{1}^{q})\), \(E_{q,q}(-\lambda t_{2}^{q})\leq E_{q,q}(-\lambda t_{1}^{q})\).


Lemma 2.4


Let \(q>0\), then the relation between \(E_{q}(\cdot)\) and \(E_{q,q}(\cdot)\) is given by the following integration:
$$ \int_{0}^{t}(t-s)^{q-1}E_{q,q} \bigl(-\lambda(t-s)^{q}\bigr)\,ds=\frac{1-E_{q}(-\lambda t^{q})}{\lambda}. $$

Lemma 2.5


Let \(\alpha,\beta,\mu>0\), then the following formulas hold:
$$ \begin{gathered} \frac{1}{\Gamma(\mu)} \int_{t}^{x}(x-s)^{\mu-1}(s-t)^{\beta-1}E_{\alpha,\beta} \bigl(\lambda(s-t)^{\alpha}\bigr)\,ds=(x-t)^{\beta+\mu-1}E_{\alpha,\beta+\mu} \bigl(\lambda(x-t)^{\alpha}\bigr), \\ \frac{1}{\Gamma(\mu)} \int_{t}^{x}(s-t)^{\mu-1}(x-s)^{\beta-1}E_{\alpha,\beta} \bigl(\lambda(x-s)^{\alpha}\bigr)\,ds=(x-t)^{\beta+\mu-1}E_{\alpha,\beta+\mu} \bigl(\lambda(x-t)^{\alpha}\bigr). \end{gathered} $$

3 A particular equation

In this section, firstly, we consider the problem
$$ \textstyle\begin{cases} D^{q} x(t)+Mx(t)=\sigma(t),& t\in(0,+\infty),\\ \lim_{t\rightarrow0^{+}}t^{1-q}x(t)=x_{0}\in E^{1}, \end{cases} $$
where \(0< q\leq1\), \(M>0\) and \(\sigma\in C(\mathbb{R}^{+},E^{1})\). Secondly, we discuss the boundedness of solution for problem (3.1).

Lemma 3.1


Let \(f:T\rightarrow E^{1}\) be differentiable. Denote \([f(t)]^{\alpha}=[f_{\alpha l}(t),f_{\alpha r}(t)]\), \(\alpha\in[0,1]\). Then \(f_{\alpha l}\) and \(f_{\alpha r}\) are differentiable and \([f'(t)]^{\alpha}=[f_{\alpha l}'(t),f_{\alpha r}'(t)]\).

Lemma 3.2

Let \(x:(0,+\infty)\rightarrow E^{1}\). If for each \(t\in(0,+\infty)\) there exists \(h_{0}>0\) such that the H-differences
$$ x(t+h)-_{H} x(t),\quad\textit{and}\quad x(t)-_{H} x(t-h) $$
exist for all \(0< h< h_{0}\), then for each \(t\in(0,+\infty)\) and \(q>0\), the H-differences
$$ I^{q}x(t+h)-_{H} I^{q}x(t),\quad\textit{and}\quad I^{q}x(t)-_{H} I^{q}x(t-h) $$
also exist for all \(0< h< h_{0}\).


We shall prove that the H-differences of \(I^{q}x(t+h)-_{H} I^{q}x(t)\) exist. Similar reasoning can be used for \(I^{q}x(t)-_{H} I^{q}x(t-h)\). First, for \(0< h< h_{0}\) and \(0\leq\alpha\leq\beta\leq1\), it is clear that
$$\begin{aligned}& \int_{0}^{h}(t+h-s)^{q-1}x_{\alpha l}(s) \,ds\leq \int_{0}^{h}(t+h-s)^{q-1}x_{\alpha r}(s) \,ds, \end{aligned}$$
$$\begin{aligned}& \int_{0}^{h}(t+h-s)^{q-1}x_{\alpha l}(s) \,ds\leq \int_{0}^{h}(t+h-s)^{q-1}x_{\beta l}(s) \,ds \end{aligned}$$
$$ \int_{0}^{h}(t+h-s)^{q-1}x_{\beta r}(s) \,ds\leq \int_{0}^{h}(t+h-s)^{q-1}x_{\alpha r}(s) \,ds. $$
On the one hand, since the H-differences \(x(t+h)-_{H} x(t)\) exist, we have
$$ x_{\alpha l}(s+h)-x_{\alpha l}(s)\leq x_{\alpha r}(s+h)-x_{\alpha r}(s). $$
Multiply (3.5) by \((t-s)^{q-1}\) and then integrate on \([0,t]\) to obtain
$$ \begin{aligned} \int_{h}^{t+h}(t+h-s)^{q-1}x_{\alpha l}(s) \,ds- \int_{0}^{t}(t-s)^{q-1}x_{\alpha l}(s) \,ds&\leq \int_{h}^{t+h}(t+h-s)^{q-1}x_{\alpha r}(s) \,ds \\ &\quad{}- \int_{0}^{t}(t-s)^{q-1}x_{\alpha r}(s) \,ds \end{aligned} $$
together with (3.2), we can see that
$$ I^{q}x_{\alpha l}(t+h)-I^{q}x_{\alpha l}(t)\leq I^{q}x_{\alpha r}(t+h)-I^{q}x_{\alpha r}(t). $$
On the other hand, we check that the family of intervals
$$ \bigl\{ \bigl[I^{q}x_{\alpha l}(t+h)-I^{q}x_{\alpha l}(t), I^{q}x_{\alpha r}(t+h)-I^{q}x_{\alpha r}(t) \bigr]: \alpha\in[0,1] \bigr\} $$
defines a fuzzy interval. Indeed, for \(0\leq\alpha\leq\beta\leq1\),
$$ x_{\alpha l}(s+h)-x_{\alpha l}(s)\leq x_{\beta l}(s+h)-x_{\beta l}(s), \qquad x_{\beta r}(s+h)-x_{\beta r}(s)\leq x_{\alpha r}(s+h)-x_{\alpha r}(s). $$
Multiplying both sides of the above two inequalities by \((t-s)^{q-1}\) and integrating on \([0,t]\), together with (3.3), (3.4), we can get
$$ I^{q}x_{\alpha l}(t+h)-I^{q}x_{\alpha l}(t)\leq I^{q}x_{\beta l}(t+h)-I^{q}x_{\beta l}(t) $$
$$ I^{q}x_{\beta r}(t+h)-I^{q}x_{\beta r}(t)\leq I^{q}x_{\alpha r}(t+h)-I^{q}x_{\alpha r}(t). $$
Finally, the left continuity of \(I^{q}x_{\alpha l}(t+h)-I^{q}x_{\alpha l}(t)\) and \(I^{q}x_{\alpha r}(t+h)-I^{q}x_{\alpha r}(t)\) at \((0,1]\) and their right continuity at 0 with respect to α are guaranteed. Given \(\epsilon>0\), for fixed \(h\in(0,h_{0})\), by the right continuity of \(x_{\alpha l}(t+h)\), \(x_{\alpha r}(t+h)\), \(x_{\alpha l}(t+h)-x_{\alpha l}(t)\) and \(x_{\alpha r}(t+h)-x_{\alpha r}(t)\) at 0, the following inequalities are satisfied:
$$\begin{aligned}& \bigl\vert x_{\alpha l}(t+h)-x_{0 l}(t+h) \bigr\vert \rightarrow0, \qquad \bigl\vert \bigl[x_{\alpha l}(t+h)-x_{\alpha l}(t) \bigr]-\bigl[x_{0 l}(t+h)-x_{0 l}(t)\bigr] \bigr\vert \rightarrow0, \\& \bigl\vert x_{\alpha r}(t+h)-x_{0 r}(t+h) \bigr\vert \rightarrow0, \qquad \bigl\vert \bigl[x_{\alpha r}(t+h)-x_{\alpha r}(t) \bigr]-\bigl[x_{0 r}(t+h)-x_{0 r}(t)\bigr] \bigr\vert \rightarrow0 \end{aligned}$$
as \(\alpha\rightarrow0^{+}\). Hence, we have
$$ \begin{aligned} & \bigl\vert \bigl[I^{q}x_{\alpha l}(t+h)-I^{q}x_{\alpha l}(t) \bigr]-\bigl[I^{q}x_{0 l}(t+h)-I^{q}x_{0 l}(t) \bigr] \bigr\vert \\ &\quad\leq\frac{1}{\Gamma(q)} \int_{-h}^{0}(t-s)^{q-1} \bigl\vert x_{\alpha l}(s+h)-x_{0 l}(s+h) \bigr\vert \,ds \\ &\qquad{}+\frac{1}{\Gamma(q)} \int_{0}^{t}(t-s)^{q-1} \bigl\vert \bigl[x_{\alpha l}(s+h)-x_{\alpha l}(s)\bigr]-\bigl[x_{0 l}(s+h)-x_{0 l}(s) \bigr] \bigr\vert \,ds\rightarrow0, \quad\alpha\rightarrow0^{+}, \end{aligned} $$
and similarly for \(I^{q}x_{\alpha r}(t+h)-I^{q}x_{\alpha r}(t)\), so that \(I^{q}x_{\alpha l}(t+h)-I^{q}x_{\alpha l}(t)\) and \(I^{q}x_{\alpha r}(t+h)-I^{q}x_{\alpha r}(t)\) are right continuous at 0, respectively. Following the same steps as above, we can show the left continuity of \(I^{q}x_{\alpha l}(t+h)-I^{q}x_{\alpha l}(t)\) and \(I^{q}x_{\alpha r}(t+h)-I^{q}x_{\alpha r}(t)\) at \((0,1]\). Therefore, for \(t>0\), \(I^{q}x(t+h)-_{H} I^{q}x(t)\) exists for \(0< h< h_{0}\) and the proof is complete. □

Theorem 3.1

Problem (3.1) has a unique solution in \((0,+\infty)\), given by
$$ x(t)=x_{0}\chi_{\{\Gamma(q)t^{q-1}E_{q,q}(-Mt^{q})\}}+ \int_{0}^{t}\sigma(s)\chi _{\{(t-s)^{q-1}E_{q,q}(-M(t-s)^{q})\}}\,ds,\quad t\in(0,+\infty), $$
if for each \(t\in(0,+\infty)\), there exists \(h_{0}>0\) such that the H-differences
$$ x(t+h)-_{H} x(t),\quad\textit{and}\quad x(t)-_{H} x(t-h) $$
exist for all \(0< h< h_{0}\).


Taking \([x(t)]^{\alpha}=[x_{\alpha l}(t),x_{\alpha r}(t)]\), then by Definitions 2.3, 2.4 and Lemma 3.1, problem (3.1) is written level-wise as follows:
$$ \textstyle\begin{cases} D^{q} x_{\alpha l}(t)+Mx_{\alpha l}(t)=\sigma_{\alpha l}(t),& t\in(0,+\infty),\\ D^{q} x_{\alpha r}(t)+Mx_{\alpha r}(t)=\sigma_{\alpha r}(t),&t\in (0,+\infty),\\ \lim_{t\rightarrow0^{+}}t^{1-q}x_{\alpha l}(t)=(x_{0})_{\alpha l},&\lim_{t\rightarrow0^{+}}t^{1-q}x_{\alpha r}(t)=(x_{0})_{\alpha r}. \end{cases} $$
Using Theorem 4.1 in [11] and \(\lim_{t\rightarrow0^{+}}t^{1-q}x_{\alpha l}(t)=\frac{D^{q-1}x_{\alpha l}(0^{+})}{\Gamma(q)}\), we get
$$ x_{\alpha l}(t)=\Gamma(q) (x_{0})_{\alpha l}t^{q-1}E_{q,q} \bigl(-Mt^{q}\bigr)+ \int_{0}^{t}\sigma_{\alpha l}(s) (t-s)^{q-1}E_{q,q}\bigl(-M(t-s)^{q}\bigr)\,ds, $$
and analogously for \(x_{\alpha r}(t)\), producing (3.6).
Now we study the fractional differentiability of x. Let \(t\in (0,+\infty)\) and \(h>0\), by Lemma 3.2, the H-differences of \(I^{1-q} x(t+h)-_{H}I^{1-q}x(t)\) and \(I^{1-q}x(t)-_{H}I^{1-q} x(t-h)\) also exist. Then, for every \(\alpha\in[0,1]\), with Lemma 2.5, we have
$$ \begin{aligned} \biggl(\frac{I^{1-q} x(t+h)-_{H}I^{1-q}x(t)}{h} \biggr)_{\alpha l}&=(x_{0})_{\alpha l} \Gamma(q)\frac{E_{q}(-M(t+h)^{q})-E_{q}(-Mt^{q})}{h} \\ &\quad{}+ \int_{0}^{t}\sigma_{\alpha l}(s) \frac{E_{q}(-M(t+h-s)^{q})-E_{q}(-M(t-s)^{q})}{h}\,ds \\ &\quad{}+ \int_{t}^{t+h}\sigma_{\alpha l}(s) \frac{E_{q}(-M(t+h-s)^{q})}{h}\,ds \end{aligned} $$
$$ \begin{aligned} \biggl(\frac{I^{1-q} x(t+h)-_{H}I^{1-q}x(t)}{h} \biggr)_{\alpha r}&=(x_{0})_{\alpha r} \Gamma(q)\frac{E_{q}(-M(t+h)^{q})-E_{q}(-Mt^{q})}{h} \\ &\quad{}+ \int_{0}^{t}\sigma_{\alpha r}(s) \frac{E_{q}(-M(t+h-s)^{q})-E_{q}(-M(t-s)^{q})}{h}\,ds \\ &\quad{}+ \int_{t}^{t+h}\sigma_{\alpha r}(s) \frac{E_{q}(-M(t+h-s)^{q})}{h}\,ds. \end{aligned} $$
The limits of these functions as \(h\rightarrow0^{+}\) uniformly in α are, respectively,
$$ z_{\alpha l}(t)=\sigma_{\alpha l}(t)-\Gamma(q)Mt^{q-1}(x_{0})_{\alpha l}E_{q,q} \bigl(-Mt^{q}\bigr) -M \int_{0}^{t}\sigma_{\alpha l}(s) (t-s)^{q-1}E_{q,q}\bigl(-M(t-s)^{q}\bigr)\,ds $$
$$ z_{\alpha r}(t)=\sigma_{\alpha r}(t)-\Gamma(q)Mt^{q-1}(x_{0})_{\alpha r}E_{q,q} \bigl(-Mt^{q}\bigr) -M \int_{0}^{t}\sigma_{\alpha r}(s) (t-s)^{q-1}E_{q,q}\bigl(-M(t-s)^{q}\bigr)\,ds $$
since \(E_{q}'(t)=\frac{E_{q,q}(t)}{q}\), \((x_{0})_{\alpha l}\), \((x_{0})_{\alpha r}\) are bounded uniformly in \(\alpha\in[0,1]\), \(\sigma_{\alpha l}(s)\), \(\sigma_{\alpha r}(s)\) are bounded on \([0,t]\) uniformly in α (σ is bounded in the compact \([0,t]\) by continuity). The same behavior can be checked for the left-sided quotients
$$ \biggl(\frac{I^{1-q} x(t)-_{H}I^{1-q}x(t-h)}{h} \biggr)_{\alpha l},\quad \text{and}\quad \biggl( \frac{I^{1-q} x(t)-_{H}I^{1-q}x(t-h)}{h} \biggr)_{\alpha r}, \quad h>0. $$
This proves that
$$ \lim_{h\rightarrow0^{+}}d_{H} \biggl( \biggl[ \biggl( \frac{I^{1-q} x(t+h)-_{H}I^{1-q}x(t)}{h} \biggr) \biggr]^{\alpha}, \bigl[z_{\alpha l}(t),z_{\alpha r}(t) \bigr] \biggr)=0 $$
uniformly in α by Definition 2.4, so that
$$ \lim_{h\rightarrow0^{+}}d_{\infty}\bigl(D^{q} x(t), z(t) \bigr)=0, $$
where for \(t\in(0,+\infty)\), \([z(t)]^{\alpha}=[z_{\alpha l}(t),z_{\alpha r}(t)]\) is a fuzzy number since \(E^{1}\) is complete. Note that
$$ D^{q} x(t)+Mx(t)=z(t)+Mx(t)=\sigma(t),\quad t\in(0,+\infty), $$
and \(\lim_{t\rightarrow0^{+}}t^{1-q}x(t)=x_{0}\), so that we obtain the solution of (3.1). □

Theorem 3.2

If the nonnegative map
$$ t\rightarrow t^{1-q} \int_{0}^{t}(t-s)^{q-1}E_{q,q} \bigl(-M(t-s)^{q}\bigr)d_{\infty}\bigl(\sigma(s),\chi _{\{0\}}\bigr)\,ds,\quad t\in\mathbb{R}^{+} $$
is bounded and x is the unique solution of problem (3.1), then \(t^{1-q}x\) is bounded. If \(x_{0}=\chi_{\{0\}}\) and the nonnegative map
$$ t\rightarrow \int_{0}^{t}(t-s)^{q-1}E_{q,q} \bigl(-M(t-s)^{q}\bigr)d_{\infty}\bigl(\sigma(s), \chi_{\{0\} }\bigr)\,ds,\quad t\in\mathbb{R}^{+} $$
is bounded, then x is bounded.


For \(t\in\mathbb{R}^{+}\), we have
$$ \begin{aligned} d_{\infty}\bigl(t^{1-q}x(t), \chi_{\{0\}}\bigr)&\leq \Gamma(q)E_{q,q}\bigl(-Mt^{q} \bigr)d_{\infty}(x_{0},\chi_{\{0\}}) \\ &\quad{}+t^{1-q} \int_{0}^{t}(t-s)^{q-1}E_{q,q} \bigl(-M(t-s)^{q}\bigr)d_{\infty}\bigl(\sigma (s), \chi_{\{0\}}\bigr)\,ds \\ &\leq d_{\infty}(x_{0},\chi_{\{0\}}) \\ &\quad{}+t^{1-q} \int_{0}^{t}(t-s)^{q-1}E_{q,q} \bigl(-M(t-s)^{q}\bigr)d_{\infty}\bigl(\sigma (s), \chi_{\{0\}}\bigr)\,ds, \end{aligned} $$
which implies that \(t^{1-q}x\) is bounded.
If \(x_{0}=\chi_{\{0\}}\), we conclude that
$$ d_{\infty}\bigl(x(t),\chi_{\{0\}}\bigr)\leq \int_{0}^{t}(t-s)^{q-1}E_{q,q} \bigl(-M(t-s)^{q}\bigr)d_{\infty}\bigl(\sigma(s), \chi_{\{0\}}\bigr)\,ds, $$
and the proof is complete. □

Corollary 3.1

If \(t^{1-q}\sigma(t)\) is bounded, and x is the unique solution of problem (3.1), then \(t^{1-q}x\) is bounded. If \(x_{0}=\chi_{\{0\}}\) and σ is bounded, then x is bounded.


Firstly, it is easy to calculate that
$$ t^{2q-1}E_{q,2q}\bigl(-Mt^{q}\bigr)= \frac{t^{q-1}}{-M} \biggl(E_{q,q}\bigl(-Mt^{q}\bigr)- \frac {1}{\Gamma(q)} \biggr). $$
Then it follows from Lemmas 2.3, 2.5 that
$$ \begin{aligned} &t^{1-q} \int_{0}^{t}(t-s)^{q-1}E_{q,q} \bigl(-M(t-s)^{q}\bigr)d_{\infty}\bigl(\sigma(s),\chi _{\{0\}}\bigr)\,ds \\ &\quad=t^{1-q} \int_{0}^{t}(t-s)^{q-1}E_{q,q} \bigl(-M(t-s)^{q}\bigr)s^{q-1}d_{\infty}\bigl(s^{1-q}\sigma(s),\chi_{\{0\}}\bigr)\,ds \\ &\quad\leq Kt^{1-q} \int_{0}^{t}(t-s)^{q-1}E_{q,q} \bigl(-M(t-s)^{q}\bigr)s^{q-1}\,ds \\ &\quad=Kt^{1-q}\Gamma(q)t^{2q-1}E_{q,2q} \bigl(-Mt^{q}\bigr) \\ &\quad=K\Gamma(q)\frac{1}{-M} \biggl(E_{q,q}\bigl(-Mt^{q} \bigr)-\frac{1}{\Gamma (q)} \biggr)\leq\frac{K}{M}. \end{aligned} $$
Finally, by hypothesis, there exists \(K\geq0\) such that
$$ d_{\infty}\bigl(t^{1-q}\sigma(t),\chi_{\{0\}}\bigr)\leq K, \quad t\in \mathbb{R}^{+}. $$
Therefore, in this case, for \(t\in\mathbb{R}^{+}\),
$$ d_{\infty}\bigl(t^{1-q}x(t),\chi_{\{0\}}\bigr)\leq \Gamma(q)E_{q,q}\bigl(-Mt^{q}\bigr)d_{\infty}(x_{0}, \chi_{\{0\}})+\frac{K}{M}\leq d_{\infty}(x_{0}, \chi_{\{0\}})+\frac{K}{M}. $$
In the case of \(x_{0}=\chi_{\{0\}}\), if σ is bounded, then there exists \(K\geq0\) such that
$$ d_{\infty}\bigl(\sigma(t),\chi_{\{0\}}\bigr)\leq K,\quad t\in \mathbb{R}^{+}. $$
Hence, by Lemmas 2.3, 2.4, for \(t\in\mathbb{R}^{+}\),
$$ \begin{aligned} d_{\infty}\bigl(x(t),\chi_{\{0\}}\bigr)& \leq K \int_{0}^{t}(t-s)^{q-1}E_{q,q} \bigl(-M(t-s)^{q}\bigr)\,ds \\ &=K\frac{1-E_{q}(-Mt^{q})}{M}\leq\frac{K}{M}. \end{aligned} $$
The proof is therefore complete. □

Example 3.1

Consider the following problem:
$$ \textstyle\begin{cases} D^{\frac{1}{2}} x(t)+x(t)=\sigma(t),&t\in(0,+\infty),\\ \lim_{t\rightarrow0^{+}}t^{1-q}x(t)=\chi_{\{0\}}, \end{cases} $$
where \(q=\frac{1}{2}\), \(M=1\) and σ is a 0-symmetric constant fuzzy number with level sets \([\sigma]^{\alpha}= [-\frac{1}{1+\alpha},\frac{1}{1+\alpha} ]\) for every \(\alpha\in[0,1]\).
Firstly, by (3.6) and Lemma 2.4, we have
$$ \begin{aligned} \operatorname{diam}\bigl(\bigl[x(t) \bigr]^{\alpha}\bigr)&= \int_{0}^{t}\operatorname{diam}\bigl(\bigl[\sigma (s) \bigr]^{\alpha}\bigr) (t-s)^{-\frac{1}{2}}E_{\frac{1}{2},\frac {1}{2}} \bigl(-(t-s)^{\frac{1}{2}}\bigr)\,ds \\ &=\frac{2}{1+\alpha} \bigl(1-E_{\frac{1}{2}}\bigl(-t^{\frac{1}{2}}\bigr) \bigr) \end{aligned} $$
is a nondecreasing function in t for every \(\alpha\in[0,1]\).
Secondly, using Lemmas 2.3 and 2.4, we obtain
$$ \begin{aligned} x(t+h)_{\alpha l}-x(t)_{\alpha l}&= \int_{0}^{t+h}\sigma_{\alpha l}(s) (t+h-s)^{-\frac{1}{2}}E_{\frac{1}{2},\frac{1}{2}}\bigl(-(t+h-s)^{\frac {1}{2}}\bigr)\,ds \\ &\quad{}- \int_{0}^{t}\sigma_{\alpha l}(s) (t-s)^{-\frac{1}{2}}E_{\frac {1}{2},\frac{1}{2}}\bigl(-(t-s)^{\frac{1}{2}}\bigr)\,ds \\ &=-\frac{1}{1+\alpha}\bigl(E_{\frac{1}{2}}\bigl(-t^{\frac{1}{2}} \bigr)-E_{\frac {1}{2}}\bigl(-(t+h)^{\frac{1}{2}}\bigr)\bigr), \end{aligned} $$
which implies that \(x(t+h)_{\alpha l}-x(t)_{\alpha l}\) is nondecreasing in α. Similarly, we have \(x(t)_{\alpha l}-x(t-h)_{\alpha l}\) is a nondecreasing function in α and \(x(t+h)_{\alpha r}-x(t)_{\alpha r}\), \(x(t)_{\alpha r}-x(t-h)_{\alpha r}\) are nonincreasing functions in α.

Hence, the H-differences \(x(t+h)-_{H} x(t)\) and \(x(t)-_{H} x(t-h)\) exist. By Corollary 3.1, it follows that the unique solution x of problem (3.7) is bounded.

In fact, the solution of problem (3.7) can be solved by \([x(t)]^{\alpha}= [-\frac{1-E_{\frac{1}{2}}(-t^{\frac {1}{2}})}{1+\alpha},\frac{1-E_{\frac{1}{2}}(-t^{\frac{1}{2}})}{1+\alpha } ]\), which is represented for \(t\in[0,20]\) in Figure 1.
Figure 1
Figure 1

The level sets of x in ( 3.7 ), \(\pmb{\alpha=0,0.1, \ldots,1}\).

4 Main results

Lemma 4.1


Let \(m,h,q,v\in C(\mathbb{R}^{+}, \mathbb{R}^{+})\) and suppose that
$$ m(t)\leq h(t)+ \int_{t_{0}}^{t}q(t)v(s)m(s)\,ds,\quad t\geq t_{0}. $$
$$ m(t)\leq h(t)+q(t) \int_{t_{0}}^{t}e^{\int_{s}^{t}v(\xi)q(\xi)\,d\xi} v(s)h(s)\,ds,\quad t \geq t_{0}. $$

Theorem 4.1

Let \(m,v_{1},v_{2},q_{1},q_{2},h\in C(\mathbb{R}^{+}, \mathbb{R}^{+})\) such that
$$ m(t)\leq h(t)+ \int_{0}^{t}q_{1}(t)v_{1}(s)m(s) \,ds+ \int_{0}^{t}q_{2}(t)v_{2}(s) \sup_{0\leq \theta\leq s}m(\theta)\,ds,\quad t\in\mathbb{R}^{+}. $$
$$ m(t)\leq \Bigl(1+\sup_{0\leq s\leq t}h(s) \Bigr)e^{\sup_{0\leq r\leq t}Q(r)\int_{0}^{t}V(\xi)\,d\xi},\quad t\in\mathbb{R}^{+}, $$
where \(V(t)=v_{1}(t)+v_{2}(t)\) and \(Q(t)=\sup\{q_{1}(t),q_{2}(t)\}\).


$$ x(t)= \textstyle\begin{cases} 1,& 0\leq m(t)\leq1,\\ m(t),& m(t)>1. \end{cases} $$
Then, for \(t\in\mathbb{R}^{+}\), we have \(\max\{1,m(t)\}\leq x(t)\leq 1+m(t)\), and hence by (4.1)
$$ \begin{aligned}[b] x(t)&\leq1+ h(t)+ \int_{0}^{t}q_{1}(t)v_{1}(s)x(s) \,ds+ \int_{0}^{t}q_{2}(t)v_{2}(s) \sup_{0\leq \theta\leq s}x(\theta)\,ds \\ &\leq1+h(t)+Q(t) \int_{0}^{t}V(\tau)\sup_{0\leq\theta\leq \tau}x( \theta)\,d\tau. \end{aligned} $$
$$ \sup_{0\leq s\leq t}x(s)\leq1+\sup_{0\leq s\leq t}h(s)+ \sup_{0\leq s\leq t}Q(s) \int_{0}^{t}V(\tau)\sup_{0\leq\theta\leq \tau}x( \theta)\,d\tau. $$
Together with Lemma 4.1, we can get
$$ \begin{aligned}[b] \sup_{0\leq s\leq t}x(s)& \leq1+\sup_{0\leq s\leq t}h(s) +\sup_{0\leq s\leq t}Q(s) \int_{0}^{t} e^{\int_{\tau}^{t}V(\xi)\sup_{0\leq r\leq \xi}Q(r)\,d\xi} \\ &\quad{}\times V(\tau) \Bigl(1+\sup_{0\leq r\leq\tau}h(r) \Bigr)\,d\tau \\ &\leq \Bigl(1+\sup_{0\leq s\leq t}h(s) \Bigr) \biggl(1+\sup _{0\leq s\leq t}Q(s) \int_{0}^{t} e^{\int_{\tau}^{t}V(\xi)\sup_{0\leq r\leq \xi}Q(r)\,d\xi} V(\tau)\,d\tau \biggr) \\ &\leq \Bigl(1+\sup_{0\leq s\leq t}h(s) \Bigr) \biggl(1+\sup _{0\leq s\leq t}Q(s) \int_{0}^{t} e^{\sup_{0\leq r\leq t}Q(r)\int_{\tau}^{t}V(\xi)\,d\xi} V(\tau)\,d\tau \biggr) \\ &= \Bigl(1+\sup_{0\leq s\leq t}h(s) \Bigr)e^{\sup_{0\leq r\leq t}Q(r)\int_{0}^{t}V(\xi)\,d\xi}, \end{aligned} $$
where we used the fact that
$$ \sup_{0\leq s\leq t}Q(s) \int_{0}^{t} e^{\sup_{0\leq r\leq t}Q(r)\int_{\tau}^{t}V(\xi)\,d\xi} V(\tau)\,d \tau=e^{\sup_{0\leq r\leq t}Q(r)\int_{0}^{t}V(\xi)\,d\xi}-1, $$
note that \(m(t)\leq x(t)\leq\sup_{0\leq s\leq t}x(s)\), we can complete the proof. □

Remark 4.1

If h in Theorem 4.1 is nondecreasing, \(q_{1}(t)=q_{2}(t)\equiv1\), we can obtain the estimate
$$ m(t)\leq\bigl[1+h(t)\bigr]e^{\int_{0}^{t} V(\xi)\,d\xi} . $$

Theorem 4.2

(Generalized Gronwall inequality)

For \(\beta_{i},\gamma_{i}\in(0,1]\), \(i=1,2\), let \(1< p<\min \{\frac{1}{1-\beta_{i}},\frac{1}{1-\gamma_{i}}:i=1,2 \}\) and \(m,h,v_{1},v_{2},t^{p(\beta_{1}+\gamma_{1}-2)+1}q_{1}^{p},t^{p(\beta_{2}+\gamma _{2}-2)+1}q_{2}^{p}\in C(\mathbb{R}^{+}, \mathbb{R}^{+})\) such that
$$ \begin{aligned} m(t)&\leq h(t)+ \int_{0}^{t}(t-s)^{\beta_{1}-1}s^{\gamma_{1}-1}q_{1}(t)v_{1}(s)m(s) \,ds \\ &\quad{}+ \int_{0}^{t}(t-s)^{\beta_{2}-1}s^{\gamma_{2}-1}q_{2}(t)v_{2}(s) \sup_{0\leq \theta\leq s}m(\theta)\,ds,\quad t\in\mathbb{R}^{+}. \end{aligned} $$
$$ m(t)\leq \Bigl[ \Bigl(1+3^{\frac{1}{p-1}}\sup_{0\leq s\leq t}h^{\frac{p}{p-1}}(s) \Bigr)e^{3^{\frac{1}{p-1}}\sup_{0\leq r\leq t}Q(r)\int_{0}^{t}V(\xi)\,d\xi} \Bigr]^{\frac{p-1}{p}},\quad t\in \mathbb{R}^{+}, $$
where \(V(t)=v_{1}^{\frac{p}{p-1}}(t)+v_{2}^{\frac{p}{p-1}}(t)\) and
$$ Q(t)=\sup \bigl\{ q_{i}^{\frac{p}{p-1}}(t) \bigl[B \bigl(p(\gamma_{i}-1)+1,p(\beta _{i}-1)+1 \bigr)t^{p(\beta_{i}+\gamma_{i}-2)+1} \bigr]^{\frac{1}{p-1}}, i=1,2 \bigr\} . $$


We know that \(\int_{0}^{t}(t-s)^{p(\beta-1)}s^{p(\gamma-1)}\,ds=B(p(\gamma-1)+1,p(\beta -1)+1)t^{p(\beta+\gamma-2)+1} \). Here, \(B(\cdot,\cdot)\) denotes the beta function.

It follows from condition (4.5) and the Hölder inequality that
$$ \begin{aligned}[b] m(t)&\leq h(t)+ \int_{0}^{t}(t-s)^{\beta_{1}-1}s^{\gamma_{1}-1}q_{1}(t)v_{1}(s)m(s) \,ds \\ &\quad{}+ \int_{0}^{t}(t-s)^{\beta_{2}-1}s^{\gamma_{2}-1}q_{2}(t)v_{2}(s) \sup_{0\leq \theta\leq s}m(\theta)\,ds \\ &\leq h(t)+q_{1}(t) \biggl[ \int_{0}^{t}(t-s)^{p(\beta_{1}-1)}s^{p(\gamma_{1}-1)}\,ds \biggr]^{\frac{1}{p}} \biggl[ \int_{0}^{t} \bigl(v_{1}(s)m(s) \bigr)^{\frac{p}{p-1}} \,ds \biggr]^{\frac{p-1}{p}} \\ &\quad{}+q_{2}(t) \biggl[ \int_{0}^{t}(t-s)^{p(\beta_{2}-1)}s^{p(\gamma _{2}-1)}\,ds \biggr]^{\frac{1}{p}} \biggl[ \int_{0}^{t} \Bigl(v_{2}(s)\sup _{0\leq\theta\leq s}m(\theta) \Bigr)^{\frac{p}{p-1}} \,ds \biggr]^{\frac{p-1}{p}}. \end{aligned} $$
Note that \((\sup_{0\leq s\leq t}m(s) )^{\frac{p}{p-1}}=\sup_{0\leq s\leq t}m^{\frac{p}{p-1}}(s)\); consequently,
$$ \begin{aligned} m^{\frac{p}{p-1}}(t) &\leq3^{\frac{1}{p-1}}h^{\frac{p}{p-1}}(t)+3^{\frac{1}{p-1}}Q(t) \int _{0}^{t} \bigl(v_{1}(s)m(s) \bigr)^{\frac{p}{p-1}} \,ds \\ &\quad{}+3^{\frac{1}{p-1}}Q(t) \int_{0}^{t} \Bigl(v_{2}(s)\sup _{0\leq \theta\leq s}m(\theta) \Bigr)^{\frac{p}{p-1}} \,ds. \end{aligned} $$
By Theorem 4.1, one can see that
$$ m^{\frac{p}{p-1}}(t)\leq \Bigl(1+3^{\frac{1}{p-1}}\sup_{0\leq s\leq t}h^{\frac{p}{p-1}}(s) \Bigr)e^{3^{\frac{1}{p-1}}\sup_{0\leq r\leq t}Q(r)\int_{0}^{t}V(\xi)\,d\xi}, $$
then we can complete the rest of the proof immediately. □

Corollary 4.1

For \(\beta,\gamma\in(0,1]\), let \(1< p<\min \{\frac{1}{1-\beta},\frac{1}{2-\gamma-\beta} \}\) and \(m,h\in C_{1-\beta}(\mathbb{R}^{+}, \mathbb{R}^{+})\), v, \(t^{p(\gamma+\beta-2)+1}q^{p}\in C(\mathbb{R}^{+}, \mathbb{R}^{+})\) such that
$$ m(t)\leq h(t)+ \int_{0}^{t}(t-s)^{\beta-1}s^{\gamma-1}q(t)v(s)m(s) \,ds,\quad t\in(0,+\infty). $$
Then, for \(t\in(0,+\infty)\),
$$ t^{1-\beta}m(t)\leq \Bigl[ \Bigl(1+3^{\frac{1}{p-1}}\sup _{0\leq s\leq t}\bigl(s^{1-\beta}h(s)\bigr)^{\frac{p}{p-1}} \Bigr)e^{3^{\frac{1}{p-1}}\sup _{0\leq r\leq t}Q(r)\int_{0}^{t}V(\xi)\,d\xi} \Bigr]^{\frac{p-1}{p}}, $$
where \(V(t)=v^{\frac{p}{p-1}}(t)\) and
$$ Q(t)=\bigl(t^{1-\beta}q(t)\bigr)^{\frac{p}{p-1}} \bigl[B \bigl(p(\gamma+\beta -2)+1,p(\beta-1)+1\bigr)t^{p(\gamma+2\beta-3)+1} \bigr]^{\frac{1}{p-1}}. $$


Using (4.8), we obtain
$$ t^{1-\beta}m(t)\leq t^{1-\beta}h(t)+t^{1-\beta}q(t) \int_{0}^{t}(t-s)^{\beta-1}s^{\gamma+\beta -2}v(s)s^{1-\beta}m(s) \,ds,\quad t\in(0,+\infty), $$
then the conclusion follows from Theorem 4.2. □

We now apply the previous results to obtain bounds for the solutions of fuzzy fractional integral equations.

Theorem 4.3

Let \(1< p<\frac{1}{1-q}\) and \(f\in C(\mathbb{R}^{+}, E^{n})\) be bounded and
$$ G_{i}:\Delta=\bigl\{ (t,s):0\leq s\leq t< +\infty\bigr\} \rightarrow \mathbb{R} $$
be continuous such that
$$ \bigl\vert G_{i}(t,s) \bigr\vert \leq w_{i}(t)v_{i}(s), \quad\forall(t,s)\in \Delta, i=1,2, $$
where \(t^{p(q-1)+1}w_{i}^{p}, v_{i}\in C(\mathbb{R}^{+}, \mathbb{R}^{+})\). Assume that the map
$$ t\rightarrow\sup_{0\leq r\leq t}Q(r) \int_{0}^{t}V(\xi)\,d\xi,\quad t\in \mathbb{R}^{+} \textit{ is bounded}, $$
where \(V(t)=v_{1}^{\frac{p}{p-1}}(t)+v_{2}^{\frac{p}{p-1}}(t)\) and
$$ Q(t)=\sup \bigl\{ w_{i}^{\frac{p}{p-1}}(t) \bigl[B \bigl(1,p(q-1)+1\bigr)t^{p(q-1)+1} \bigr]^{\frac{1}{p-1}}:i=1,2 \bigr\} . $$
Then all the solutions of fuzzy fractional functional integral equation (1.3) are bounded.


Let x be a solution of (1.3), and let \(m(t)=d_{\infty}(x(t),\chi_{\{0\}})\), \(t\in\mathbb{R}^{+}\), then
$$ \begin{aligned} m(t)&=d_{\infty}\biggl( \int_{0}^{t} (t-s)^{q-1} \bigl[G_{1}(t,s)x(s)+G_{2}(t,s)x\bigl(\theta(s)\bigr)\bigr] \,ds+f(t),\chi_{\{0\}} \biggr) \\ &\leq d_{\infty}\biggl( \int_{0}^{t} (t-s)^{q-1}G_{1}(t,s)x(s) \,ds,\chi_{\{0\}} \biggr) \\ &\quad{}+d_{\infty}\biggl( \int_{0}^{t}(t-s)^{q-1}G_{2}(t,s)x \bigl(\theta(s)\bigr)\,ds,\chi _{\{0\}} \biggr)+d_{\infty}\bigl(f(t), \chi_{\{0\}}\bigr) \\ &\leq \int_{0}^{t} (t-s)^{q-1} \bigl\vert G_{1}(t,s) \bigr\vert m(s)\,ds \\ &\quad{}+ \int_{0}^{t} (t-s)^{q-1} \bigl\vert G_{2}(t,s) \bigr\vert m\bigl(\theta(s)\bigr)\,ds+d_{\infty}\bigl(f(t),\chi_{\{0\}}\bigr) \\ &\leq w_{1}(t) \int_{0}^{t} (t-s)^{q-1}v_{1}(s)m(s) \,ds \\ &\quad{}+w_{2}(t) \int_{0}^{t} (t-s)^{q-1}v_{2}(s)m \bigl(\theta(s)\bigr)\,ds +d_{\infty}\bigl(f(t),\chi_{\{0\}}\bigr), \quad t\in\mathbb{R}^{+}. \end{aligned} $$
Applying Theorem 4.2, we get
$$ m(t)\leq \Bigl[ \Bigl(1+3^{\frac{1}{p-1}}\sup_{0\leq s\leq t}d_{\infty}^{\frac{p}{p-1}} \bigl(f(s),\chi_{\{0\}}\bigr) \Bigr) e^{3^{\frac{1}{p-1}}\sup_{0\leq r\leq t}Q(r)\int_{0}^{t}V(\xi)\,d\xi} \Bigr]^{\frac{p-1}{p}}, $$
and the proof is complete. □

Example 4.1

Let us consider the fuzzy fractional order functional integral equation
$$ x(t)= \int_{0}^{t} (t-s)^{-0.25}\frac{1}{e^{s}\sqrt{1+t}}x \bigl(\theta(s)\bigr)\,ds+f(t), $$
where \(f:\mathbb{R}^{+}\rightarrow E^{1}\) is defined by the α-cut \([f(t)]^{\alpha}= [\frac{\alpha}{1+t},\frac{2-\alpha}{1+t} ]\), \(0\leq\theta(t)\leq t\), \(p=2\), \(q=0.75\), \(G_{1}(t,s)=0\), \(G_{2}(t,s)=\frac{1}{e^{s}\sqrt{1+t}}\). Observe that \(d_{\infty}(f(t),\chi_{\{0\}})=\sup_{\alpha\in[0,1]}\max \{\frac {\alpha}{1+t},\frac{2-\alpha}{1+t} \}\leq1\), which implies that f is bounded.

Let \(w(t)=\frac{1}{\sqrt{1+t}}\), \(v(t)=e^{-t}\), then \(V(t)=e^{-2t}\) and \(Q(t)=\frac{\sqrt{t}}{1+t}B(1,0.5)\). Obviously, \(\sup_{0\leq r\leq t}Q(r)\int_{0}^{t}V(\xi)\,d\xi\leq\frac{B(1,0.5)}{2}\). Now, conditions in Theorem 4.3 are satisfied, which guarantees all the solutions of this fuzzy fractional functional integral equation are bounded.

Theorem 4.4

Let \(1< p<\frac{1}{1-q}\), \(f\in C_{1-q}(\mathbb{R}^{+},E^{n})\) and \(t^{1-q}f\) be bounded and
$$ G:\Delta=\bigl\{ (t,s):0\leq s\leq t< +\infty\bigr\} \rightarrow\mathbb{R} $$
be continuous such that
$$ \bigl\vert G(t,s) \bigr\vert \leq w(t)v(s),\quad\forall(t,s)\in\Delta, $$
where \(t^{p(q-1)+1}w^{p}, v\in C(\mathbb{R}^{+}, \mathbb{R}^{+})\). Assume that the map
$$ t\rightarrow\sup_{0\leq r\leq t}Q(r) \int_{0}^{t}V(\xi)\,d\xi,\quad t\in\mathbb{R}^{+} \textit{ is bounded}, $$
where \(V(t)=v^{\frac{p}{p-1}}(t)\) and
$$ Q(t)= \bigl(t^{1-q}w(t) \bigr)^{\frac{p}{p-1}} \bigl[B \bigl(p(q-1)+1,p(q-1)+1\bigr)t^{2p(q-1)+1} \bigr]^{\frac{1}{p-1}}. $$
Then, for all solutions x of (1.4), \(t^{1-q}x\) are bounded.


If x is a solution of (1.4) and \(m(t)=d_{\infty}(x(t),\chi_{\{0\}})\), \(t\in(0,+\infty)\), then
$$ m(t)\leq w(t) \int_{0}^{t} (t-s)^{q-1}v(s)m(s) \,ds+d_{\infty}\bigl(f(t),\chi_{\{0\}}\bigr),\quad t\in(0,+\infty). $$
Thus, the conditions of Corollary 4.1 are satisfied, and hence
$$ t^{1-q}m(t)\leq \Bigl[ \Bigl(1+3^{\frac{1}{p-1}}\sup _{0\leq s\leq t}\bigl(s^{1-q}d_{\infty}\bigl(f(s), \chi_{\{0\}}\bigr)\bigr)^{\frac{p}{p-1}} \Bigr) e^{3^{\frac{1}{p-1}}\sup_{0\leq r\leq t}Q(r)\int_{0}^{t}V(\xi)\,d\xi} \Bigr]^{\frac{p-1}{p}}. $$
This completes the proof. □

Example 4.2

Consider the following fractional order fuzzy integral equation:
$$ x(t)= \int_{0}^{t} (t-s)^{\frac{2}{3}} \frac{1}{1+t^{\frac{2}{3}}}x(s)\,ds+f(t), $$
where \(f\in C_{\frac{1}{3}}(\mathbb{R}^{+}, E^{1})\) is given by the α-cut \([f(t)]^{\alpha}= [t^{-\frac{1}{3}}(\alpha-1),t^{-\frac {1}{3}}(1-\alpha) ]\), \(p=\frac{5}{4}\), \(q=\frac{2}{3}\) and \(G(t,s)=\frac{s}{1+t^{\frac{2}{3}}}\). It is easy to see that \(t^{\frac{1}{3}}f\) is bounded. Moreover, \(w(t)=\frac{1}{1+t^{\frac{2}{3}}}\), \(v(t)=1\), \(Q(t)=\frac{t^{\frac{7}{3}}}{ (1+t^{\frac{2}{3}} )^{5}}B^{5} (\frac{7}{12},\frac{7}{12} )\) and \(\sup_{0\leq r\leq t}Q(r)\int_{0}^{t}V(\xi)\,d\xi\leq B^{5} (\frac{7}{12},\frac{7}{12} )\). Theorem 4.4 implies that, for all solutions x of this fuzzy fractional integral equation, \(t^{\frac{1}{3}}x\) are bounded.

5 Conclusions

In the present paper, we consider the boundedness of solutions of certain fractional fuzzy differential equations as well as fuzzy integral equations. By introducing some differential and integral inequalities, which are more general than those in the previous literature, we obtain some results for the boundedness of solutions of fractional fuzzy integral equations.



The author is grateful to the editor and the anonymous reviewers for their constructive comments and suggestions which improved the quality of the paper.

Availability of data and materials

Not applicable.


This research was funded by Research Fund of Hunan Provincial Education Department (15C0538).

Authors’ contributions

The author contributed to the writing of this paper and approved the final manuscript.

Ethics approval and consent to participate

Not applicable.

Competing interests

The author declares that he has no competing interests.

Consent for publication

Not applicable.

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, 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.

Authors’ Affiliations

Department of Mathematics, Hunan University of Science and Technology, Xiangtan, People’s Republic of China


  1. Chang, SSL, Zadeh, LA: On fuzzy mapping and control. IEEE Trans. Syst. Man Cybern. 2, 30-34 (1972) MathSciNetView ArticleMATHGoogle Scholar
  2. Kaleva, O: Fuzzy differential equations. Fuzzy Sets Syst. 24, 301-317 (1987) MathSciNetView ArticleMATHGoogle Scholar
  3. Puri, ML, Ralescu, DA: Differentials for fuzzy functions. J. Math. Anal. Appl. 91, 552-558 (1983) MathSciNetView ArticleMATHGoogle Scholar
  4. Dubois, D, Prade, H: Towards fuzzy differential calculus. I. Integration of fuzzy mappings. Fuzzy Sets Syst. 8, 1-17 (1982) MathSciNetView ArticleMATHGoogle Scholar
  5. Kaleva, O: The Cauchy problem for fuzzy differential equations. Fuzzy Sets Syst. 35, 389-396 (1990) MathSciNetView ArticleMATHGoogle Scholar
  6. Park, JY, Jeong, JU: A note on fuzzy integral equations. Fuzzy Sets Syst. 108, 193-200 (1999) MathSciNetView ArticleMATHGoogle Scholar
  7. O’Regan, D, Lakshmikantham, V, Nieto, JJ: Initial and boundary value problems for fuzzy differential equations. Nonlinear Anal. 54, 405-415 (2003) MathSciNetView ArticleMATHGoogle Scholar
  8. Seikkala, S: On the fuzzy initial value problem. Fuzzy Sets Syst. 24, 319-330 (1987) MathSciNetView ArticleMATHGoogle Scholar
  9. Nieto, JJ, Rodríguez-López, R: Bounded solutions for fuzzy differential and integral equations. Chaos Solitons Fractals 27, 1376-1386 (2006) MathSciNetView ArticleMATHGoogle Scholar
  10. Georgiou, DN, Kougias, IE: Bounded solutions for fuzzy integral equations. Int. J. Math. Math. Sci. 31, 109-114 (2002) MathSciNetView ArticleMATHGoogle Scholar
  11. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006) View ArticleMATHGoogle Scholar
  12. Agarwal, RP, Arshad, S, O’Regan, D, Lupulescu, V: Fuzzy fractional integral equations under compactness type condition. Fract. Calc. Appl. Anal. 15, 572-590 (2012) MathSciNetView ArticleMATHGoogle Scholar
  13. Hale, JK: Asymptotic Behavior of Dissipative Systems, vol. 25. Am. Math. Soc., Providence (1988) MATHGoogle Scholar
  14. Lakshmikantham, V, Vatsala, AS: Theory of fractional differential inequalities and applications. Commun. Appl. Anal. 11, 871-879 (2007) MathSciNetMATHGoogle Scholar
  15. Lakshmikantham, V, Leela, S: Differential and Integral Inequalities. Academic Press, New York (1969) MATHGoogle Scholar
  16. Wang, JR, Fečkan, M, Zhou, Y: Presentation of solutions of impulsive fractional Langevin equations and existence results. Eur. Phys. J. Spec. Top. 222, 1857-1874 (2013) View ArticleGoogle Scholar
  17. Prabhakar, TR: A singular integral equation with a generalized Mittag-Leffler function in the kernel. Yokohama Math. J. 19, 7-15 (1971) MathSciNetMATHGoogle Scholar
  18. Lakshmikantham, V, Mohapatra, RN: Theory of Fuzzy Differential Equations and Inclusions. Taylor & Francis, London (2003) View ArticleMATHGoogle Scholar
  19. Lakshmikantham, V, Leela, S, Martynyuk, AA: Stability Analysis of Nonlinear Systems. Dekker, New York (1989) MATHGoogle Scholar