Skip to main content

Theory and Modern Applications

Existence, uniqueness and stability of fuzzy fractional differential equations with local Lipschitz and linear growth conditions


Fuzzy fractional differential equations (FFDEs) driven by Liu’s process are a type of fractional differential equations. In this paper, we intend to provide and prove a novel existence and uniqueness theorem for the solutions of FFDEs under local Lipschitz and linear growth conditions. We also investigate the stability of solutions to FFDEs by a theorem. Finally, some examples are provided.

1 Introduction

A large number of physical processes such as real-life phenomena appear to display fractional-order demeanor that may vary with space or time. The fractional calculus has authorized the operations of differentiation and integration to all fractional order [13]. The order may take on all real or imaginary values. Multitude systems modeled with the support of fractional calculus also demonstrate fractional dynamical conduct such as viscoelastic systems [4, 5], colored noise [6], boundary layer effects in ducts and electromagnetic waves [7].

In recent decades, the theory of fractional differential equations (FDEs) has enticed many researchers, such as [814], who have applied FDEs for acoustic models, thermal systems, signal processing, system identification, robotics and control, etc.

A FDE is a differential equation which includes fractional derivatives. The results of various studies have clearly declared that fractional derivatives seem to arise universally and generally from major mathematical reasons. There are different kinds of fractional derivatives, like Riemann-Liouville and Caputo. For details, one can refer to [12] and [4].

Stochastic fractional differential equations were used to model dynamical systems affected by random noises [1523].

As already known, the concepts of fuzzy sets have been first investigated by Zadeh via the membership function [24]. The literature concerning the applications of nonlinear FDEs has grown rapidly in the recent years [2528].

In this paper, we investigate the theory of fuzzy FDEs (FFDEs) in the sense of Liu’s process. Liu introduced credibility theory for the first time and presented the concept of credibility measure to facilitate the measurement of fuzzy events [29]. It is worthy to note that this measurement is a powerful tool for dealing with fuzzy phenomena and is based on normality, monotonicity, self-duality, and maximality axioms.

Also, Liu has proposed the concept of fuzzy process [3032]. Liu’s process is a particular fuzzy process with stationary and independent increment, which is just like a stochastic process described by Brownian motion.

A large number of researches have been recently published on the Liu process and its applications in other sciences such as economics and optimal control [3338]. Many researchers were inspired by stochastic notions and the Ito process introduced fuzzy differential equations which were driven by Liu’s process for better understanding of the fuzzy phenomenon [37, 3943].

Qin and Li applied fuzzy differential equations, driven by Liu’s process, to solve European pricing problems in a fuzzy environment [44].

Regarding the importance of the existence and uniqueness of the solution to fuzzy differential equations driven by Liu’s process, You investigated the existence and uniqueness of the solution to the fuzzy differential equations by employing Lipschitz and linear growth conditions [45]. Afterwards, Fei studied the uniqueness of the solution to the fuzzy differential equations driven by Liu’s process with non-Lipschitz coefficients [46], but unfortunately, the existence and uniqueness of the solution to the FFDEs driven by Liu’s process have not been adequately investigated. Moreover, stability, which is one of the most important issues in differential equations, has not been studied with regard to such equations.

In this paper, weaker conditions are provided in order to guarantee the existence and uniqueness of the solution to the FFDEs, which makes it possible for more functions to be verified in such conditions. Furthermore, stability can also be investigated by considering such conditions.

The basic concepts of credibility theory are first discussed in this paper since they are needed in the later sections. FFDEs driven by Liu’s process are taken into consideration in the second section. The existence and uniqueness theorem of the solution with regard to weaker conditions such as the local Lipschitz and Linear growth conditions is proved in the third section, and finally in the last and the most important section, the stability of FFDEs in weaker conditions is elaborated.

2 Preliminaries

The emphasis in this section is mainly on introducing some concepts such as credibility measure, credibility space, fuzzy variables, independence of fuzzy variables, expected value, variance, fuzzy process, Liu process, and stopping time.

Suppose that Θ is a non-empty set and \(\mathcal{P}\) is the power set of Θ. Each element of κ in \(\mathcal{P}\) is called an event. For the purpose of presenting a basic definition of credibility, it is needed to grant a number like \(\operatorname{\mathbf{Cr}}\{\kappa\}\) to each event κ. In order to make sure the number \(\operatorname{\mathbf{Cr}}\{\kappa\}\) has certain mathematical features that are intuitively expected, these four axioms are accepted [17]:

  1. 1.

    Axiom (normality) \(\operatorname{\mathbf{Cr}}\{\Theta\}= 1\).

  2. 2.

    Axiom (monotonicity) \(\operatorname{\mathbf{Cr}}\{\kappa\} \leq\operatorname{\mathbf{Cr}}\{ \beta\}\) whenever \(\kappa\subset\beta\).

  3. 3.

    Axiom (self-duality) \(\operatorname{\mathbf{Cr}}\{\kappa\} + \operatorname{\mathbf{Cr}}\{ \kappa^{c}\} = 1\) for any event κ.

  4. 4.

    Axiom (maximality) \(\operatorname{\mathbf{Cr}}\{\mathbf{U}_{i}\kappa_{i}\} = \sup_{i} \operatorname{\mathbf{Cr}}\{\kappa_{i}\}\) for any events \(\{\kappa_{i}\}\) with

    $$ \sup_{i} \operatorname{\mathbf{Cr}}\{\kappa_{i}\} < 0.5. $$

Definition 2.1


The set function Cr is called a credibility measure if it satisfies the normality, monotonicity, self-duality, and maximality axioms.

A family \(\mathcal{P}\) with the above mentioned four properties is called a σ-algebra. The pair \((\Theta,\mathcal{P})\) is called a measurable space, and each element of \(\mathcal{P}\) is consequently called \(\mathcal{P}\)-measurable sets instead of events.

Definition 2.2


The triple \((\Theta,\mathcal{P},\operatorname{\mathbf{Cr}})\) is a credibility space if Θ is a non-empty set, \(\mathcal{P}\) the power set of Θ, and Cr a credibility measure.

Let \((\Theta,\mathcal{P},\operatorname{\mathbf{Cr}})\) be a credibility space. A filtration is a family \(\{\mathcal{P}_{t}\}_{t\geq0}\) of increasing sub-σ-algebras of \(\mathcal{P}\) (i.e. \(\mathcal {P}_{t}\subset\mathcal{P}_{s}\subset\mathcal{P}\) for all \(0 \leq t < s < \infty\)). The filtration is said to be right continuous if \(\mathcal{P}_{t} = \bigcap_{s>t}\mathcal{P}_{s}\) for all \(t\leq0\). When the credibility space is complete, the filtration is said to satisfy the usual conditions if it is right continuous and \(\mathcal{P}_{0}\) contains all Cr-null sets.

We also define \(\mathcal{P_{\infty}}=\sigma(U_{t\geq0}\mathcal {P}_{t})\) (i.e. a σ-algebra generated by \(U_{t\geq 0}\mathcal{P}_{t}\)). \(\mathcal{P}\)-measurable fuzzy variables are denoted by \(\mathbf{L}^{p}(\Theta,\mathbf{R^{d}})\), which will be defined later. A process is called \(\mathcal{P}\)-adapted if for all \(t\in[0,t]\) the fuzzy variable \(x(t)\) is \(\mathcal{P}\)-measurable.

Definition 2.3


A fuzzy variable is defined as a (measurable) function \(\xi: (\Theta,\mathcal{P}, \operatorname{\mathbf{Cr}})\longrightarrow\mathbf{R}\).

Definition 2.4


Supposing ς is a fuzzy variable, the expected value of ς is as follows:

$$ \mathbf{E}[\varsigma] = \int_{0}^{+\infty} \operatorname{\mathbf{Cr}}\{\varsigma\geq s\}\, ds- \int_{-\infty}^{0}\operatorname{\mathbf{Cr}}\{\varsigma\leq s\}\, ds, $$

where two integrals are finite.

Definition 2.5


The credibility distribution \(\eta(x)\) of a fuzzy variable ς is defined by

$$ \eta(w) = \max\bigl\{ 1, 2\operatorname{\mathbf{Cr}} (\varsigma= w)\bigr\} ,\quad w \in \mathbf{R}. $$

Definition 2.6


A credibility distribution \(\eta(w)\) is regular on condition that it is a continuous and strictly increasing function with respect to w for which \(0<\eta(w)<1\), and

$$ \lim_{w\rightarrow-\infty}\eta(w)=0,\qquad \lim_{w\rightarrow+\infty} \eta(w)=1. $$

Moreover, the inverse function \(\eta^{-1}(\alpha)\) can be called the inverse credibility distribution of ς.

Definition 2.7


Considering T to be an index set and \((\Theta,\mathcal {P},\operatorname{\mathbf{Cr}})\) to be a credibility space, a fuzzy process can be described as a function from \(\mathbf{T} \times(\Theta,\mathcal {P},\operatorname{\mathbf{Cr}})\) to the set of real numbers.

A fuzzy process is basically a sequence of fuzzy variables indexed by time or space.

Definition 2.8


A fuzzy process \(\mathbf{C}_{t}\) is a Liu process if the following conditions are met:

  1. 1.

    \(\mathbf{C}_{0} = 0\),

  2. 2.

    \(\mathbf{C}_{t}\) has stationary and independent increments,

  3. 3.

    every increment \(\mathbf{C}_{t+s} - \mathbf{C}_{s}\) is a normally distributed fuzzy variable with expected value et and variance \(\sigma ^{2}t^{2}\) whose membership function is

    $$ \eta(w)=2\biggl(1+\exp\biggl(\frac{\pi \vert w-et \vert }{\sqrt {6}\sigma t}\biggr)\biggr)^{-1}, \quad -\infty< w< +\infty. $$

Based on the Liu process, a Liu integral is defined as a fuzzy counterpart of an Ito integral as follows:

Theorem 2.1


Let \(\mathbf{C}_{t}\) be a standard Liu process, and \(f(t, c)\) a continuously differentiable function. Define \(w(t) = f(t,\mathbf{C}_{t})\). Then we have the following chain rule:

$$ dw(t) =\frac{\partial f}{\partial t} (t,\mathbf{C}_{t})\,dt + \frac{\partial f}{\partial c} (t,\mathbf{C}_{t})\,d\mathbf{C}_{t}, $$

which is called Liu formula.

Let us define a sequence of credibilistic stopping times.

Definition 2.9


A fuzzy variable \(\tau: \Theta\rightarrow[0,\infty]\) (it may take the value ∞) is called a \(\{\mathcal{P}_{t}\}\)-stopping time (or simply, stopping time) if \(\{\theta: \tau(\theta)\leq t\} \in\mathcal {P}_{t} \) for any \(t\geq0\)

$$ \textstyle\begin{cases} \tau_{h}= \inf\{t\geq0 : \vert w(t) \vert \geq k\}, \\ \sigma_{1}= \inf\{t\geq0 : x(w(t))\geq2\varepsilon\}, \\ \sigma_{2i}= \inf\{t\geq\sigma_{2i-1} : x(w(t))\leq\varepsilon\}, & i=1,2,\ldots, \\ \sigma_{2i+1}= \inf\{t\geq\sigma_{2i} : x(w(t))\geq2\varepsilon\}, & i=1,2,\ldots, \end{cases} $$

where throughout this paper we set \(\inf\phi= \infty\).

Definition 2.10


If \(W = \{W_{t}\}_{t\geq0}\) is a measurable process and τ is a stopping time, then \(\{W_{\tau\wedge t}\}_{t\geq0}\) is called a stopped process of W.

There are some useful inequalities for fuzzy variables such as the Hölder inequality and the Chebyshev inequality. In this sequence, we introduce generalized inequalities for fuzzy variables.

Theorem 2.2

Hölder’s inequality, [47]

Let n and m be two positive real numbers with \(\frac{1}{\mathbf{n}}+\frac{1}{\mathbf{m}}=1\), ξ and η be independent fuzzy variables with

$$ \mathbf{E} \bigl[ \vert \varsigma \vert ^{\mathbf{n}} \bigr]\leq + \infty\quad \textit{and}\quad \mathbf{E} \bigl[ \vert \rho \vert ^{\mathbf{m}} \bigr] \leq+\infty. $$

We have

$$ \mathbf{E} \bigl[ \vert \varsigma\rho \vert \bigr] \leq\sqrt [ \mathbf{n} ]{ \mathbf{E} \bigl[ \vert \varsigma \vert ^{\mathbf{n}} \bigr]}\sqrt[ \mathbf{m} ]{\mathbf{E} \bigl[ \vert \rho \vert ^{\mathbf{m}} \bigr]}. $$

Theorem 2.3

Chebychev’s inequality

Let \(\varsigma: \theta\rightarrow\mathbf{R}^{k}\) be a fuzzy variable such that \(\mathbf{E} [ \vert \varsigma \vert ^{\mathbf{n}} ]\leq +\infty\) for some n, \(0 \leq\mathbf{n} \leq\infty\). Then we have the following Chebychev inequality:

$$ \operatorname{\mathbf{Cr}}\bigl[ \vert \varsigma \vert \geq\lambda \bigr] \leq \frac{1}{\lambda^{\mathbf{n}}} \mathbf{E} \bigl[ \vert \varsigma \vert ^{\mathbf{n}} \bigr]\quad \textit{for all } \lambda\geq0 . $$


Put \(\mathbf{A} = \{ x \mid \vert \varsigma(x) \vert \geq\lambda\}\). Then

$$ \int_{\theta} \bigl\vert \varsigma(x) \bigr\vert ^{\mathbf{p}}\, d\operatorname{\mathbf{Cr}}_{x} \geq \int_{A} \bigl\vert \varsigma(x) \bigr\vert ^{\mathbf{n}}\,d\operatorname{\mathbf{Cr}}_{x} \geq\lambda^{n} \operatorname{\mathbf{Cr}}_{A}. $$


Before ending this section it is essential to introduce some symbols that are used in the next sections.

Notation 1

\(\mathbf{L}^{\mathbf{n}}(\theta,\mathbf{R}^{\mathbf{d}})\) the family of \(\mathbf{R}^{\mathbf{d}}\)-valued fuzzy variables ς with \(\mathbf {E} \vert \xi \vert ^{\mathbf{p}}<\infty\).

Notation 2

\(\ell^{\mathbf{p}}([a,b],\mathbf{R}^{\mathbf{d}})\) the family of \(\mathbf {R}^{\mathbf{d}}\)-valued \(\mathcal{P}_{t}\)-adapted processes \(\{h(t)\}_{ a \leq t \leq b}\) such that \(\int^{b}_{a} \vert h(t) \vert ^{\mathbf{n}}\,\mathrm{d}t<\infty\) almost surely.

Notation 3

\(M^{\mathbf{n}}([a,b],\mathbf{R}^{\mathbf{d}}) \) the family of processes \(\{h(t)\}_{ a \leq t \leq b}\) in \(\ell^{\mathbf{n}}([a,b],\mathbf {R}^{\mathbf{d}})\) such that \(\int^{b}_{a} \vert h(t) \vert ^{\mathbf{n}}\,dt<\infty\).

Notation 4

\(\ell^{\mathbf{n}}(\mathbf{R}_{+},\mathbf{R}^{\mathbf{d}})\) the family of processes \(\{h(t)\}_{t >0}\) such that, for every \(T > 0\), \(\{h(t)\}_{ a \leq t \leq T} \in\ell^{\mathbf{n}}([0,T],\mathbf {R}^{\mathbf{d}}) \).

Remark 2.1


A Liu process C is Lipschitz continuous, that is, for any given \(\theta\in\Theta\), there exists \(\mathbf{K}(\theta) > 0\) such that for all \(t,s\geq0\)

$$ \vert \mathbf{C}_{t_{\theta}}-\mathbf{C}_{s_{\theta}} \vert \leq \vert t-s \vert . $$

Lemma 2.1


Suppose that \(\mathbf{C}_{t}\) is a standard Liu process and \(x(t)\) is a fuzzy process on \([a, b]\) with respect to t. If \(\mathbf{K}(\Theta) > 0\) is the Lipschitz constant for path \(\mathbf{C}_{t_{\theta}}\) with \(\theta\in\Theta\) fixed, then we have

$$ \biggl\vert \int_{a}^{b} x(t) \,d\mathbf{C}_{t} \biggr\vert \leq\mathbf {K}(\theta) \int_{a}^{b} \bigl\vert x(t) \bigr\vert \,dt. $$

3 Fuzzy fractional differential equations

In this section, some basic definitions, notations and lemmas which will be used throughout the paper are provided in order to establish our main results.

Two common notations for the fractional differential operator also need to be introduced, which are Riemann-Liouville and Caputo. See [12] and [4] for more details.

Definition 3.1


The Riemann-Liouville fractional derivative of f is defined as

$$ {}^{R}D^{\alpha}f(t)=\frac{1}{\Gamma(1-\alpha)} \frac{d}{dt} \int ^{t}_{0}(t-s)^{-\alpha}f(s)\,ds, $$

where \(\Gamma(\cdot)\) stands for the gamma function \(\Gamma(x)=\int ^{\infty}_{0}t^{x-1}e^{-t}\,dt\), \(\alpha\in(0,1]\), and \(t>0\).

Definition 3.2


The Caputo derivative of order α for a function f can be written as

$$ {}^{C}D^{\alpha}f(t)=\frac{1}{\Gamma(1-\alpha)} \int^{t}_{0}(t-s)^{-\alpha}f'(s) \,ds, $$

where \(f'(s)\) is the first-order derivative of \(f(s)\).

Remark 3.1

The relationship between the Riemann-Liouville derivative and the Caputo derivative can be written as

$$ {}^{R}D^{\alpha}f(t)={}^{C}D^{\alpha}f(t)+ \frac{t^{- \alpha}}{\Gamma (1-\alpha)}f(0). $$

In this study, we consider the Caputo fractional derivative of order α, and the initial value problem of fuzzy fractional-order differential equation is given as follows:

$$ \textstyle\begin{cases} {}^{C}D^{\alpha}w(t)=f(w(t),t)+g(w(t),t)\dot{C}(t), \\ w(t)=w_{t}, \end{cases} $$

where the functions \(f(w(t),t)\) and \(g(w(t),t):[0,T]\times R\rightarrow R\). The term \(\dot{C}(t) = \frac{dC}{dt}\) describes a state dependent random noise. \(C(t)\) is a standard Liu process defined on a given filtered credibility space \((\Theta,\mathcal{P},\{ \mathcal{P}_{t}\}_{t\geq0} ,\operatorname{\mathbf{Cr}})\) with a normal filtration \(\{ \mathcal{P}_{t}\}_{t\geq0}\), which is an increasing and continuous family of σ-algebras of \(\mathcal{P}\), and contains all of Θ-null sets, and \(C(t)\) is \(\mathcal{P}\)-measurable for each \(t >0\). Here, let us recall the definitions of fractional calculus; the fractional integral operator of order α is given as follows:

$$ I^{\alpha}g(t)=\frac{1}{\Gamma(\alpha)} \int^{t}_{0}(t-s)^{\alpha -1}g(s)\,ds,\quad t>0. $$

Applying the integral operator (3.5) to both sides of initial value problem (3.4), the Volterra integral equation is obtained:

$$ w(t)=w_{0}+\frac{1}{\Gamma(\alpha)} \int^{t}_{0}(t-s)^{\alpha -1}f\bigl(w(s),s\bigr) \,ds+\frac{1}{\Gamma(\alpha)} \int^{t}_{0}(t-s)^{\alpha -1}g\bigl(w(s),s\bigr) \,dC(s), $$

in which \(\alpha\in(0,1)\) and \(t>0\).

Lemma 3.1

Let function \(K(u,t)\) be locally integrable in t for each fixed \(u \in[0,\infty]\) and be continuously non-decreasing in u for each fixed \(t \in[0, T ]\), for \(K(0,t) = 0\) and \(\gamma> 0\). If a non-negative continuous function \(z(t)\) satisfies

$$ z(t) \leq\gamma \int^{ t}_{0} K\bigl(z(s),s\bigr)\,ds,\quad t\in R, z(0) = 0, $$

then \(z(t) = 0 \) for all \(t \in[0, T ]\).

3.1 Existence and uniqueness of the solution for FFDEs

In this section, existence and uniqueness of the solution for FFDEs are taken into consideration. It is worth noting that, if FFDE is a mathematical model of a physical problem:

  1. 1.

    We expect initial conditions of the mathematical model to have a solution.

  2. 2.

    According to initial conditions, we want any mathematical model to have a unique solution.

First, a suitable condition proposes a uniqueness solution to FFDEs.

At this point the following conditions, lemmas, and remarks for the proof of the uniqueness and existence should be elaborated on.

  1. (I)

    Local Lipschitz condition: There exists a positive constant number L such that

    $$ \bigl\vert p \bigl(w(t), t\bigr)-p \bigl(y(t), t\bigr) \bigr\vert + \bigl\vert q\bigl(w(t), t\bigr)-q\bigl(y(t), t\bigr) \bigr\vert \leq\mathbf{L} \bigl\vert w(t)-y(t) \bigr\vert , $$

    for those \(w(t),y(t)\in\mathbf{R}^{n} \).

  2. (II)

    Linear growth condition: There exists a positive number L such that

    $$ \bigl\vert p \bigl(w(t), t\bigr) \bigr\vert + \bigl\vert q\bigl(w(t), t \bigr) \bigr\vert \leq\mathbf{L}\bigl( 1+ \bigl\vert w(t) \bigr\vert \bigr). $$

Now, we introduce the mapping A on \(\mathbf{C}[0,\mathbf {T}]\) for \(W(t)\in\mathbf{C}[0,\mathbf{T}]\) as follows:

$$ \mathbf{A}\bigl(w(t)\bigr)=w_{0}+\frac{1}{\Gamma(\alpha)} \int ^{t}_{0}(t-s)^{p-1}f\bigl(w(s),s\bigr) \,ds+\frac{1}{\Gamma(\alpha)} \int ^{t}_{0}(t-s)^{p-1}g\bigl(w(s),s\bigr) \,dC(s), $$

where \(t\in[0,T],\tau\geq0\).

Lemma 3.2

For any \(\tau\in\Theta\), and \(w(t,\tau) \in\mathbf{C}([-\tau,\mathbf {R}],\mathbf{R})\) we have \(A(w(t,\tau))\in\mathbf{C}([-\tau,\mathbf {R}],\mathbf{R})\).


Let \(s_{1},s_{2} \in[0,T]\) and \(s_{2} > s_{1}>0\). We have

$$ \begin{aligned} & \bigl\vert \mathbf{A}\bigl(w(s_{2}, \theta)\bigr)-\mathbf{A}\bigl(w(s_{1},\theta)\bigr) \bigr\vert \\ &\quad=\frac{1}{\Gamma(p)}\biggl\vert \int _{0}^{s_{1}}(s_{2}-s)^{p-1}f \bigl(w(s,\tau),s\bigr)\,ds+ \int _{0}^{s_{1}}(s_{2}-s)^{p-1}g \bigl(w(s,\tau),s\bigr)\,d\mathbf{C}_{s}(\tau) \\ &\qquad{} + \int_{s_{1}}^{s_{2}}(s_{2}-s)^{p-1}f \bigl(w(s,\tau),s\bigr)\,ds+ \int_{s_{1} }^{s_{2}}(s_{2}-s)^{p-1}g \bigl(w(s,\tau),s\bigr)\,d\mathbf{C}_{s}(\tau) \\ &\qquad{} - \int_{0}^{s_{1}}(s_{1}-s)^{p-1}f \bigl(w(s,\tau),s\bigr)\,ds+ \int_{0 }^{s_{1}}(s_{1}-s)^{p-1}g \bigl(w(s,\tau),s\bigr)\,d\mathbf{C}_{s}(\tau)\biggr\vert \\ &\quad=\frac{1}{\Gamma(p)}\biggl\vert \int _{0}^{s_{1}}\bigl[(s_{2}-s)^{p-1}-(s_{1}-s)^{p-1} \bigr]f\bigl(w(s,\tau),s\bigr)\,ds \\ &\qquad{}+ \int_{0}^{s_{1}}\bigl[(s_{2}-s)^{p-1}-(s_{1}-s)^{p-1} \bigr]g\bigl(w(s,\tau ),s\bigr)\,d\mathbf{C}_{s}(\tau) \\ &\qquad{}+ \int_{s_{1}}^{s_{2}}(s_{2}-s)^{p-1}f \bigl(w(s,\tau),s\bigr)\,ds+ \int_{s_{1} }^{s_{2}}(s_{2}-s)^{p-1}g \bigl(x(s,\tau),s\bigr)\,d\mathbf{C}_{s}(\tau)\biggr\vert \\ &\quad\leq\frac{1}{\Gamma(p)} \int _{0}^{s_{1}}\bigl[(s_{2}-s)^{p-1}-(s_{1}-s)^{p-1} \bigr] \bigl\vert f\bigl(w(s,\tau ),s\bigr) \bigr\vert \,ds \\ &\qquad{}+ \biggl\vert \int _{0}^{s_{1}}\bigl[(s_{2}-s)^{p-1}-(s_{1}-s)^{p-1} \bigr]g\bigl(w(s,\tau),s\bigr)\,d\mathbf {C}_{s}(\tau) \biggr\vert \\ &\qquad{} + \int_{s_{1}}^{s_{2}}(s_{2}-s)^{p-1} \bigl\vert f\bigl(w(s,\tau ),s\bigr) \bigr\vert \,ds+ \biggl\vert \int_{s_{1} }^{s_{2}}(s_{2}-s)^{p-1}g \bigl(w(s,\tau ),s\bigr)\,d\mathbf{C}_{s}(\tau) \biggr\vert . \end{aligned} $$

By Lemma 2.1,

$$ \begin{aligned} &\leq\frac{1}{\Gamma(p)} \int _{0}^{s_{1}}\bigl[(s_{2}-s)^{p-1}-(s_{1}-s)^{p-1} \bigr] \bigl\vert f\bigl(w(s,\tau ),s\bigr) \bigr\vert \,ds \\ &\quad{}+k(\tau) \int_{0}^{s_{1}}\bigl[(s_{2}-s)^{p-1}-(s_{1}-s)^{p-1} \bigr] \bigl\vert g\bigl(w(s,\tau),s\bigr) \bigr\vert \,d\mathbf{C}_{s}( \tau) \\ &\quad{} + \int_{s_{1}}^{s_{2}}(s_{2}-s)^{p-1} \bigl\vert f\bigl(w(s,\tau ),s\bigr) \bigr\vert \,ds+k(\tau) \int_{s_{1} }^{s_{2}}(s_{2}-s)^{p-1} \bigl\vert g\bigl(w(s,\tau),s\bigr) \bigr\vert \,d\mathbf{C}_{s}( \tau). \end{aligned} $$

By a linear growth condition,

$$ \leq\frac{1}{\Gamma(p+1)}\bigl[\mathbf{L}\bigl(1+ \bigl\Vert w(t,\tau) \bigr\Vert \bigr) \bigl(1+\mathbf{K}(\tau)\bigr) \bigl(s_{2}^{p}-s_{1}^{p} \bigr)\bigr]. $$

Thus \(\vert \mathbf{A}(w(s_{2},\tau))-\mathbf{A}(w(s_{1},\tau)) \vert \rightarrow0\) as \(\vert s_{2}-s_{1} \vert \rightarrow0\). So, \(\mathbf{A}(w(s,\tau)) \) is sample-continuous on \(\mathbf{C}([-\tau,\mathbf{R}],\mathbf{R})\). □

Theorem 3.1

Existence and uniqueness

The FFDE (3.4) has a unique solution \(w(t)\) in \([0,+\infty)\) if the coefficients \(f(w(t),t)\) and \(g(w(t),t)\) satisfy (I) and (II).


Let \(c > 0\) be an arbitrarily given number, and let \(\mathbf {A}(w(\xi))\) be a mapping defined by (3.4) on \(w(\xi) \in C[t, t + c]\),

$$ \mathbf{A}\bigl(w(\xi)\bigr)=w_{0}+\frac{1}{\Gamma(\alpha)} \int^{\xi }_{t}(t-s)^{p-1}f\bigl(w(s),s\bigr) \,ds+\frac{1}{\Gamma(\alpha)} \int^{\xi }_{t}(t-s)^{p-1}g\bigl(w(s),s\bigr) \,dC(s). $$

The proof of Lemma 3.2 implies that \(\mathbf{A}(w(\xi)) \in\mathbf {C}[t, t + c]\) for \(x(\xi) \in C[t, t + c]\).

For any \(\xi\in[t, t + c]\), we have

$$ \begin{aligned} \bigl\Vert \mathbf{A}\bigl(w(\xi,\tau)\bigr)- \mathbf{A}\bigl(y(\xi,\tau)\bigr) \bigr\Vert &=\max_{t\in[0,T]} \bigl\vert \mathbf{A}\bigl(w(\xi,\tau)\bigr)-\mathbf{A}\bigl(y(\xi ,\tau)\bigr) \bigr\vert \\ &\leq\max_{t\in[0,T]}\frac{1}{\Gamma(p)} \biggl\vert \int_{t}^{\xi}(\xi -s)^{p-1}\bigl[f \bigl(w(s,\tau),s\bigr)-f\bigl(y(s,\tau),s\bigr)\bigr]\,ds \\ &\quad{}+ \int_{t}^{\xi}(\xi-s)^{p-1}\bigl[g\bigl(w(s, \tau),s\bigr)-g\bigl(y(s,\tau ),s\bigr)\bigr]\,d\mathbf{C}_{s}(\tau) \biggr\vert . \end{aligned} $$

By Lemma 2.1,

$$ \begin{aligned} &\leq\max_{t\in[0,T]}{\frac{1}{\Gamma(p)} \int_{t}^{\xi}(\xi -s)^{p-1} \bigl\vert f \bigl(w(s,\tau),s\bigr)-f\bigl(y(s,\tau),s\bigr) \bigr\vert \,ds} \\ &\quad{}+\frac{k(\tau)}{\Gamma(p)} \int_{t}^{\xi}(\xi-s)^{p-1} \bigl\vert g \bigl(w(s,\tau),s\bigr)-g\bigl(y(s,\tau),s\bigr) \bigr\vert \,d \mathbf{C}_{s}(\tau). \end{aligned} $$

By the Lipschitz condition,

$$ \begin{aligned} &\leq\frac{(1+k(\tau))L}{\Gamma(p)}\max_{t\in[0,T]} \int_{t}^{\xi}(\xi -s)^{p-1} \bigl\vert \bigl(w(s,\tau),s\bigr)-y(s,\tau),s) \bigr\vert \,ds \\ &\leq\frac{(1+k(\tau))L}{\Gamma(p)} \int_{t}^{\xi}(\xi-s)^{p-1}\sup _{t\leq s \leq t+c} \bigl\vert w\bigl((s,\tau),s\bigr)-y\bigl((s,\tau),s \bigr) \bigr\vert \,ds \\ &\leq\frac{(1+k(\tau))Lc^{p}}{\Gamma(p+1)} \bigl\Vert w(s,\tau )-y(s,\tau) \bigr\Vert . \end{aligned} $$

If we set \(A(w(\xi,\tau))=w(t)\) for \(\xi\in[t, t+c]\), then

$$ \bigl\Vert \mathbf{A}\bigl(w(\xi,\tau)\bigr)-\mathbf{A}\bigl(y(\xi,\tau)\bigr) \bigr\Vert \leq\beta(\tau) \bigl\Vert w\bigl((s,\tau),s\bigr)-y\bigl((s, \tau),s\bigr) \bigr\Vert , $$

where \(\beta(\tau)=\frac{(1+k(\tau))Lc^{p}}{\Gamma(p+1)}\). That is, A is a contraction mapping on \(\mathbf{C}[t, t + c]\). Thus by the well-known Banach fixed point theorem we have a unique fixed point \(w(\xi,\tau)\mathbf{C}[t, t+c]\) which satisfies (3.9) in \([t, t+c]\).

Furthermore, \(W(\xi,\tau)=\lim_{k\rightarrow0}\mathbf{A}(W((\xi,k),\tau )) \) where

$$w(\xi,k),\tau)=\mathbf{A}\bigl(w(\xi,k-1),\tau\bigr)), \quad k=1,2,\ldots. $$

Suppose that \([0, c], [c, 2c], \ldots, [kc, T]\) are the subsets of \([0, T]\) with \(kc < T\leq(k + 1)c\). The above process implies that the mapping A has a unique fixed point \(W^{(i+1)}(\xi,\tau)\) with \(W^{(i+1)}(ic,\tau)=W^{(i)}(ic,\tau)\) on the interval \([(i - 1)c, ic]\) for \(i = 1, 2, \ldots, k + 1\) and setting \((k + 1)c = T\). Define \(W(\xi ,\tau)\) on the interval \([0, T]\) by setting

$$w(\xi,\tau)= \textstyle\begin{cases} w^{1}(\xi,\tau), & t\in[0,c], \\ \vdots\\ x^{k}(\xi,\tau), & t\in[(k-1)c,kc],\\ x^{k+1}(\xi,\tau), & t\in[kc,T]. \end{cases} $$

It is easy to see that \(W(\xi,\tau) \) is the unique fixed point of A defined by (3.8) in \(C[0,T]\). In addition, \(W(\xi,\tau)=\lim_{k\rightarrow\infty}\mathbf{A}(W((\xi ,k),\tau)) \) where

$$ W\bigl((\xi,k),\tau\bigr)=\mathbf{A}\bigl(W(\xi,k-1),\tau\bigr)), \quad k=1,2, \ldots, $$

for any given \(W((\xi,0),\tau) = w(\xi) \in C[0,T]\). It follows from the arbitrariness of \(T \geq0\) that \(W(\xi)\) is the unique solution of FFDE (3.4). Furthermore, since \(W(\xi,\tau)\) is in \(C[0,T]\), \(W(\xi )\) is sample-continuous. The theorem is proved. □

3.2 Stability theorem for FFDEs

Regarding the fact that if a physical examination is repeated twice with the same conditions and how much measurements are conducted carefully, the initial imposed conditions will not be exactly the same. It is expected that the results of two physical examinations have a little difference with each other. This means that very small changes in initial conditions are expected to cause only small changes in the answer. In other words, the answer to the mathematical model is stable. In this section, the concept of stability for a FFDE in the sense of fuzzy measure is proposed. A sufficient condition will also be derived for a FFDE to be stable.

Corollary 3.1

Let \(\mathbf{C}_{t}\) be a fuzzy process on a credibility space \((\Theta ,\mathcal{P},\operatorname{\mathbf{Cr}})\). Then there exists a fuzzy variable K in a way that \(\mathbf{K}(\theta)\) is a Lipschitz constant of the sample path \(\mathbf{C}_{t_{\theta}}\) for each θ, and

$$ \lim_{x\rightarrow+\infty}\operatorname{\mathbf{Cr}}\bigl\{ \theta\in\Theta\vert \mathbf{K}( \theta) \leq x \bigr\} =1. $$



$$ \mathbf{K}(\theta)= \sup_{0< t< s}\frac{ \vert \mathbf{C}_{t_{\theta }}-\mathbf{C}_{s_{\theta}} \vert }{t-s} $$

for each sample path \(\mathbf{C}_{t_{\theta}}\). Then K is a fuzzy variable on \((\Theta,\mathcal{P},\operatorname{\mathbf{Cr}})\), and

$$ \vert \mathbf{C}_{t_{\theta}}-\mathbf{C}_{s_{\theta}} \vert \leq \mathbf{K}(\theta) \vert t-s \vert $$

for any \(t_{1},t_{2} \in\mathbf{R}^{+}\). That is, \(\mathbf{K}(\theta)\) is a Lipschitz constant of the sample path \(\mathbf{C}_{t _{\theta}}\). Given \(x\in\mathbf{R}\), if

$$ \biggl\vert \frac{d\mathbf{C}_{t}}{dt}(\theta) \biggr\vert \leq x\quad \forall t>0, $$

then we have

$$ \vert \mathbf{C}_{t_{\theta}}-\mathbf{C}_{s_{\theta}} \vert \leq \int_{t}^{s} \biggl\vert \frac{d\mathbf{C}_{t}}{dt}( \theta) \biggr\vert \,dt\leq x(s-t) $$

for any \(t_{1},t_{2} \in\mathbf{R}^{+}\), which means that

$$ \sup_{0< t< s}\frac{ \vert \mathbf{C}_{t_{\theta}}-\mathbf {C}_{s_{\theta}} \vert }{s-t} \leq x. $$

Thus we obtain

$$ \begin{gathered} \operatorname{\mathbf{Cr}}\bigl\{ \theta\in\Theta\vert \mathbf{K}( \theta)\leq x\bigr\} =\operatorname{\mathbf{Cr}}\biggl\{ \sup\frac{\mathbf{C}_{s}-\mathbf{C}_{t}}{s-t} \leq x\biggr\} , \\ \operatorname{\mathbf{Cr}}\biggl\{ \biggl\vert \frac{d\mathbf{C}_{t}}{dt} \biggr\vert \leq x, \forall t>0\biggr\} \leq2\phi(x)-1, \end{gathered} $$

where ϕ is the credibility distribution of standard normal fuzzy variable \(\mathbf{N}(0, 1)\). Since \(\phi(x)\rightarrow1\) as \(x \rightarrow+\infty\), we have

$$ \lim_{x\rightarrow+\infty}\operatorname{\mathbf{Cr}}\bigl\{ \theta\in\Theta\vert\mathbf {K}( \theta)\leq x\bigr\} =1. $$


Corollary 3.2

Let \(\mathbf{C}_{t}\) be a fuzzy process on a credibility space \((\Theta ,\mathcal{P},\operatorname{\mathbf{Cr}})\), and \(K(\theta)\) be the least Lipschitz constant of the sample path \(\mathbf {C}_{t_{\theta}}\). Then

$$ \operatorname{\mathbf{Cr}}\{\mathbf{K} < +\infty\} = 1. $$


We will prove this by a contradiction method. Assume that \(\operatorname{\mathbf{Cr}}\{ \mathbf{K} < +\infty\} < 1\). Then there exists a positive number \(\zeta> 0\) such that \(\operatorname{\mathbf{Cr}}\{ \mathbf{K} < +\infty\} \leq1 - \zeta\), so we have \(\operatorname{\mathbf{Cr}}\{\mathbf{K} \leq x\} \leq1 - \zeta\) for any \(x \in \mathbf{R}\). It means that

$$ \lim_{x \rightarrow+\infty}\operatorname{\mathbf{Cr}}\bigl\{ \theta\in\Theta\vert \mathbf{K} ( \theta)\leq x\bigr\} \leq1 - \zeta, $$

which contradicts

$$ \lim_{x \rightarrow+\infty}\operatorname{\mathbf{Cr}}\bigl\{ \theta\in\Theta\vert \mathbf{K} ( \theta)\leq x\bigr\} = 1. $$


Definition 3.3

Let \(w_{t}\) and \(y_{t}\) be two solutions of the FFDE

$$ \textstyle\begin{cases} {}^{C}D^{\alpha}w(t)=f(w(t),t)+g(w(t),t)\dot{C}(t), \\ w(t)=w_{t}. \end{cases} $$

Then the FFDE (3.10) is said to be stable if for any given number \(\xi>0\), there exists a real number δ such that

$$\operatorname{\mathbf{Cr}}\bigl\{ \bigl\vert w(t)-y(t) \bigr\vert >\varepsilon\bigr\} \leq \varepsilon, $$


$$\lim_{ \vert w_{0}-y_{0} \vert \rightarrow0} \operatorname{\mathbf{Cr}}\bigl\{ \bigl\vert w(t)-y(t) \bigr\vert >\varepsilon\bigr\} = 0,\quad\forall t>0, $$

holds for any \(t\geq0\) provided \(\vert w_{0}-y_{0} \vert \leq \delta\).

Theorem 3.2

The FFDE (3.10) is stable if the coefficients \(f(w,t)\) and \(g(w,t)\) satisfy (I) and (II).


Assume that \(w(t)\) and \(y(t)\) are two solutions of the FFDE (3.10) with different initial values \(w(0)\) and \(y(0)\), respectively. Then

$$\begin{gathered} w(t)=w_{0}+\frac{1}{\Gamma(\alpha)} \int^{t}_{0}(t-s)^{\alpha -1}f\bigl(w(s),s\bigr) \,ds+\frac{1}{\Gamma(\alpha)} \int^{t}_{0}(t-s)^{\alpha -1}g\bigl(w(s),s\bigr) \,dC(s), \\ y(t)=y_{0}+\frac{1}{\Gamma(\alpha)} \int^{t}_{0}(t-s)^{\alpha -1}f\bigl(y(s),s\bigr) \,ds+\frac{1}{\Gamma(\alpha)} \int^{t}_{0}(t-s)^{\alpha -1}g\bigl(y(s),s\bigr) \,dC(s). \end{gathered} $$

For a Lipschitz-continuous sample path \(\mathbf{C}_{t_{\theta}}\), we have

$$\begin{gathered} \bigl\vert w(t,\theta)-y(t,\theta) \bigr\vert \\ \quad\leq \bigl\vert w(0)-y(0) \bigr\vert +\frac{1}{\Gamma(p)} \int _{0}^{t}(t-s)^{p-1} \bigl\vert f \bigl(w(s,\theta)\bigr)-f\bigl(y(s,\theta)\bigr) \bigr\vert \,ds \\ \qquad{}+\frac{1}{\Gamma(p)} \int_{0}^{t}(t-s)^{p-1} \bigl\vert g \bigl(w(s,\theta)\bigr)-g\bigl(y(s,\theta)\bigr) \bigr\vert \vert d \mathbf{C}_{s} \vert \\ \quad\leq \bigl\vert w(0)-y(0) \bigr\vert +\frac{1}{\Gamma(p)} \int _{0}^{t}(t-s)^{p-1}\mathbf{L}(s) \bigl\vert w(s,\theta)-y(s,\theta) \bigr\vert \,ds \\ \qquad{}+ \frac{1}{\Gamma(p)} \int_{0}^{t}(t-s)^{p-1}\mathbf {L}(s) \mathbf{K}(\theta) \bigl\vert w(s,\theta)-y(s,\theta) \bigr\vert \,ds \\ \quad= \bigl\vert w(0)-y(0) \bigr\vert +\frac{1}{\Gamma(p)} \int _{0}^{t}(t-s)^{p-1}\mathbf{L}(s) \bigl(1+\mathbf{K}(\theta)\bigr) \bigl\vert w(s,\theta)-y(s,\theta) \bigr\vert \,ds. \end{gathered} $$

Thus we have

$$\bigl\vert w(t,\theta)-y(t,\theta) \bigr\vert \leq \bigl\vert w(0)-y(0) \bigr\vert +\exp\bigl(1+\mathbf{K}(\theta)\bigr)\frac{c^{p}}{\Gamma (p+1)} \int_{0}^{\infty}\mathbf{L}(s)\,ds, $$

by the Grownwall equality.

For any given \(\varepsilon>0\), there exists a real number H such that \(\operatorname{\mathbf{Cr}} \{\theta\vert \mathbf{K}(\theta)\leq\mathbf {H}\}\geq1-\varepsilon\), by Corollary 3.1 take

$$\delta=\exp\biggl(-(1+\mathbf{H}) \int_{\tau}^{\infty}\mathbf {L}(s)\,ds\biggr)\varepsilon. $$

Then \(\vert w(t,\theta)-y(t,\theta) \vert \leq\varepsilon\) for any positive real number t, provided that \(\vert x(0)-y(0) \vert \leq\delta\) and \(\mathbf{K}(\theta)\leq\mathbf {H}\). It means \(\operatorname{\mathbf{Cr}}\{ \vert w(t)-y(t) \vert >\varepsilon\}<\varepsilon\) for any \(t\leq0\) as long as \(\vert w(0)-y(0) \vert \leq\delta\). In other words, \(\lim_{ \vert w_{0}-y_{0} \vert \rightarrow0} \operatorname{\mathbf{Cr}}\{ \vert x(t)-y(t) \vert >\varepsilon\} = 0\) so the FFDE is stable. □

4 Conclusion

In this paper, weaker conditions are provided in order to guarantee the existence and uniqueness of the solution to the fuzzy fractional deferential equations driven by Liu’s process, which makes it possible for more functions to be verified in such conditions. Furthermore, stability can also be investigated by considering such conditions.


  1. Miller, KS, Ross, B: An Introduction to the Fractional Calculus and Differential Equations. Wiley, New York (1993)

    MATH  Google Scholar 

  2. Oldham, KB, Spanier, J: The Fractional Calculus. Academic Press, New York (1974)

    MATH  Google Scholar 

  3. Samko, SG, Kilbas, AA, Marichev, OI: Fractional Integrals and Derivatives, Theory and Applications. Gordon & Breach, New York (1993)

    MATH  Google Scholar 

  4. Lakshmikantham, V, Leela, S, Vasundhara, D: Theory of Fractional Dynamic Systems. Cambridge Academic Publishers (2009)

    MATH  Google Scholar 

  5. Liu, W, Jiang, W: Uniform stability of fractional neutral systems: a Lyapunov Krasovskii functional approach. Adv. Differ. Equ. 2013, article 379 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  6. Ahmood, WA, Kiliman, A: On some applications of the space-time fractional derivative. Adv. Differ. Equ. 2016, article 288 (2016)

    Article  MathSciNet  Google Scholar 

  7. Hale, J: Theory of Functional Differential Equations. Springer, New York (1997)

    Google Scholar 

  8. Ahmad, B, Nieto, JJ: Existence results for a coupled system of nonlinear fractional differential equations with three-point boundary conditions. Comput. Math. Appl. 58, 1838-1843 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  9. Ahmad, B, Ntouyas, SK, Agarwal, RP, Alsaedi, A: On fractional differential equations and inclusions with nonlocal and average-valued (integral) boundary conditions. Adv. Differ. Equ. 2016, article 80 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  10. Ding, Z, Ma, M, Kandel, A: Existence of the solutions of fuzzy differential equations with parameters. Inf. Sci. 99(1), 1205-1217 (1999)

    MathSciNet  Google Scholar 

  11. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)

    MATH  Google Scholar 

  12. Lakshmikantham, V, Vatsala, AS: Basic theory of fractional differential equations. Nonlinear Anal. 69, 2677-2682 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  13. Podlubny, I: Fractional Differential Equation. Academic Press, San Diego (1999)

    MATH  Google Scholar 

  14. Sakulrang, S, Moore, EJ, Sungnul, S, de Gaetano, A: A fractional differential equation model for continuous glucose monitoring data. Adv. Differ. Equ. 2017, article 150 (2017)

    Article  MathSciNet  Google Scholar 

  15. Bao, H, Cao, J: Existence of solutions for fractional stochastic impulsive neutral functional differential equations with infinite delay. Adv. Differ. Equ. 2017, article 66 (2017)

    Article  MathSciNet  Google Scholar 

  16. Ciotir, I, Răşcanu, A: Viability for differential equations driven by fractional Brownian motion. J. Differ. Equ. 247, 1505-1528 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  17. Cui, J, Yan, L: Existence result for fractional neutral stochastic integro-differential equations with infinite delay. J. Phys. A, Math. Theor. 44(33), 335201 (2011)

    Article  MathSciNet  Google Scholar 

  18. El-Borai, MM, EI-Said EI-Nadi, K, Fouad, HA: On some fractional stochastic delay differential equations. Comput. Math. Appl. 59, 1165-1170 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  19. Lu, Y, Yao, Z, Zhu, Q, Yao, Y, Zhou, H: Comparison principle and stability for a class of stochastic fractional differential equations. Adv. Differ. Equ. 2014, article 221 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  20. Merdan, M, Bekiryazici, Z, Kesemen, T, Khaniyev, T: Comparison of stochastic and random models for bacterial resistance. Adv. Differ. Equ. 2017, article 133 (2017)

    Article  MathSciNet  Google Scholar 

  21. Pei, B, Xu, Y: On the non-Lipschitz stochastic differential equations driven by fractional Brownian motion. Adv. Differ. Equ. 2016, article 194 (2016)

    Article  MathSciNet  Google Scholar 

  22. Xia, D, Yan, L: Some properties of the solution to fractional heat equation with a fractional Brownian noise. Adv. Differ. Equ. 2017, article 107 (2017)

    Article  MathSciNet  Google Scholar 

  23. Zhang, X, Agarwal, P, Liu, Z, Peng, H, You, F, Zhu, Y: Existence and uniqueness of solutions for stochastic differential equations of fractional-order \(q > 1\) with finite delays. Adv. Differ. Equ. 2017, article 123 (2017)

    Article  MathSciNet  Google Scholar 

  24. Zadeh, LA: Fuzzy sets. Inf. Control 8(1), 338-353 (1965)

    Article  MATH  Google Scholar 

  25. Ahmadian, A, Suleiman, M, Salahshour, S, Baleanu, D: A Jacobi operational matrix for solving a fuzzy linear fractional differential equation. Adv. Differ. Equ. 2013, article 104 (2013)

    Article  MathSciNet  Google Scholar 

  26. Friedman, M, Ming, M, Kandel, A: Numerical procedures for solving fuzzy differential and integral equations. In: International Conference Fuzzy Logic and Applications, Israel, pp. 18-21 (1997)

    Google Scholar 

  27. Kaleva, O: Fuzzy differential equation. Fuzzy Sets Syst. 24, 301-317 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  28. Salahshour, S, Allahviranloo, T, Abbasbandy, S, Baleanu, D: Existence and uniqueness results for fractional differential equations with uncertainty. Adv. Differ. Equ. 2012, article 112 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  29. Liu, B: Uncertainty Theory. Springer, Berlin (2004)

    Book  Google Scholar 

  30. Li, X, Liu, B: A sufficient and necessary condition for credibility measures. Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 14(5), 527-535 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  31. Liu, B: A survey of credibility theory. Fuzzy Optim. Decis. Mak. 5(4), 387-408 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  32. Liu, B: Uncertainty Theory, 2nd edn. Springer, Berlin (2007)

    MATH  Google Scholar 

  33. Dai, W: Lipschitz continuity of Liu process. In: Proceedings of the Eighth International Conference on Information and Management Science, China, pp. 756-760 (2009)

    Google Scholar 

  34. Gao, J: Credibilistic option pricing. J. Uncertain Syst. 2(4), 243-247 (2008)

    Google Scholar 

  35. Liu, B: Fuzzy process, hybrid process and uncertain process. J. Uncertain Syst. 2(1), 3-16 (2008)

    MathSciNet  Google Scholar 

  36. Liu, B, Liu, Y: Expected value of fuzzy variable and fuzzy expected value models. IEEE Trans. Fuzzy Syst. 10(4), 445-450 (2002)

    Article  Google Scholar 

  37. Liu, B: Some research problems in uncertainty theory. J. Uncertain Syst. 3(1), 3-10 (2009)

    Google Scholar 

  38. Peng, J: A general stock model for fuzzy markets. J. Uncertain Syst. 2(4), 248-254 (2008)

    Google Scholar 

  39. Liu, H, Fei, W: Neutral uncertain delay differential equations. Information 16(2), 1225-1232 (2013)

    Google Scholar 

  40. Qin, Z, Gao, X: Fractional Liu process with application to finance. Math. Comput. Model. 50(9), 1538-1543 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  41. Yao, K: A type of nonlinear uncertain differential equations with analytic solution. J. Uncertain. Anal. Appl. 8(1), 10-21 (2013)

    Google Scholar 

  42. You, C: Multi-dimensional Liu process, differential and integral. In: Proceedings of the First Intelligent Computing Conference, China, pp. 153-158 (2007)

    Google Scholar 

  43. Zhu, Y: Existence and uniqueness of the solution to uncertain fractional differential equation. J. Uncertain. Anal. Appl. 3(5), 1-11 (2015)

    Google Scholar 

  44. Qin, Z, Li, X: Option pricing formula for fuzzy financial market. J. Uncertain Syst. 2(1), 17-21 (2008)

    MathSciNet  Google Scholar 

  45. You, C, Wang, W, Huo, H: Existence and uniqueness theorems for fuzzy differential equations. J. Uncertain Syst. 7(4), 303-315 (2013)

    Google Scholar 

  46. Fei, W: Uniqueness of solutions to fuzzy differential equations driven by Lius process with non-Lipschitz coefficients. In: International Conference on Fuzzy and Knowledge Discovery, pp. 565-569 (2009)

    Google Scholar 

  47. Chen, X, Qin, X: A new existence and uniqueness theorem for fuzzy differential equations. Int. J. Fuzzy Syst. 13(2), 148-151 (2013)

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations


Corresponding author

Correspondence to M Gachpazan.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors read and approved the final manuscript.

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Mansouri, S., Gachpazan, M. & Fard, O.S. Existence, uniqueness and stability of fuzzy fractional differential equations with local Lipschitz and linear growth conditions. Adv Differ Equ 2017, 240 (2017).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: