Skip to main content

Theory and Modern Applications

Fuzzy stochastic differential equations driven by fractional Brownian motion


In this paper, we consider fuzzy stochastic differential equations (FSDEs) driven by fractional Brownian motion (fBm). These equations can be applied in hybrid real-world systems, including randomness, fuzziness and long-range dependence. Under some assumptions on the coefficients, we follow an approximation method to the fractional stochastic integral to study the existence and uniqueness of the solutions. As an example, in financial models, we obtain the solution for an equation with linear coefficients.

1 Introduction

The FSDEs are used in real-world systems that the phenomena are related to randomness and fuzziness as two kinds of uncertainties, such as in economics and finance. There are papers on FSDEs that each one is different from the others in the approach. The author in [9] presented a definition of the fuzzy stochastic Itô integral. In [1215] the author used the fuzzy non-anticipating stochastic processes and Wiener process to drive the fuzzy Itô stochastic integral. The method deals with the embedding of a crisp Itô stochastic integral into fuzzy space to build a fuzzy random variable.

On the other hand, in the modeling of many stochastic systems, the fBm which shows a long-range dependence, is suggested to replace the Brownian motion as the driving process. The fBm with \(H \in (0,1)\) as Hurst parameter is a Gaussian process with beneficial properties, long-range dependence, self-similarity and stationary of increments. This process is appropriate for the analysis of phenomena which present long-range and scale-invariant correlations. Nevertheless, when \(H \neq \frac{1}{2}\), the fBm is not a semimartingale.

In this paper, we introduce FSDEs with respect to the fBm. These equations can be helpful in the modeling of hybrid dynamic systems, including randomness, fuzziness and long-range dependence. We apply an approximation procedure to fractional stochastic integral to find the explicit solutions. We consider the Liouville form of the fBm with parameter \(H \in (\frac{1}{2},1)\) to study the existence and uniqueness of strong solutions. Moreover, we consider an application of the equations in financial models.

The organization of the paper is as follows. In Sect. 2, the definition of the fBm and the Liouville form of this process are reviewed. Then some preliminaries on fuzzy stochastic processes and fuzzy stochastic integrals are recalled. In Sect. 3, a class of FSDEs driven by fBm is introduced. Besides, an approximation approach is used to prove the existence and uniqueness of the solutions. Finally, some conclusions are given in Sect. 4.

2 Preliminaries

2.1 Fractional Brownian motion

The fBm \(B^{H}= \{ B^{H}(t), t \in [0,T] \} \) with Hurst parameter \(H \in (0, 1)\) is a zero mean Gaussian process with the following covariance function:

$$\begin{aligned} R_{B^{H}}(t,s)={\mathbb{E}} \bigl(B^{H}(t)B^{H}(s) \bigr)=\frac{1}{2} \bigl(s^{2H}+t^{2H}- \vert t-s \vert ^{2H} \bigr). \end{aligned}$$

This process was introduced in [10] and studied in [16], where a stochastic integral representation was established in terms of the Brownian motion. The long-range dependence and self-similarity properties of this process, for \(H > 1/2\), yield a suitable driving noise in stochastic models, such as networks, finance, and physics. The classical Itô theory cannot be used to construct a stochastic integral in terms of the fBm, because \(B^{H}\) is not a semimartingale if \(H \neq 1/2\). Two approaches have been used to define stochastic integrals with respect to fBm. In the first one, the Riemann–Stieltjes stochastic integral can be defined using Young’s integral [19] in the case of \(H >1/2\). The second approach to defining a stochastic integral with respect to the fBm is based on the Malliavin calculus (see [24, 6]). In [16] a representation of \(B_{H}(t)\) was given as follows:

$$ B^{H}(t)=\frac{1}{\Gamma (1+\alpha )} \biggl( \int ^{0}_{-\infty } \bigl[(t-s)^{ \alpha }-(-s)^{\alpha } \bigr] \,dW(s)+B_{H}(t) \biggr), $$

where W is a Brownian motion, \(\alpha =H-\frac{1}{2}\) and \(B_{H}(t)=\int ^{t}_{0}(t-s)^{\alpha } \,dW(s)\). The process \(B_{H}(t)\), with \(H \in (0,1)\) is called the Liouville form of a fractional Brownian motion (LfBm) which holds many properties of the fBm except that it has non-stationary of increments. In [2] the Malliavin calculus technique was used to approximate \(B_{H}(t)\) by a semimartingale process as follows:

$$\begin{aligned} B_{H,\epsilon }(t)= \int ^{t}_{0}(t-s+\epsilon )^{\alpha } \,dW(s),\quad \epsilon >0. \end{aligned}$$


$$\begin{aligned} B_{H,\epsilon }(t)=\alpha \int ^{t}_{0} \varphi ^{\epsilon }(s) \,ds + \epsilon ^{\alpha } W(t), \end{aligned}$$


$$\begin{aligned} \varphi ^{\epsilon }(t)= \int ^{t}_{0}(t-s+\epsilon )^{\alpha -1} \,dW(s). \end{aligned}$$

The process \(B_{H,\epsilon }(t)\) converges to \(B_{H}(t)\) in \(L^{2}(\Omega )\) when ϵ tends to zero [18].

2.2 Fuzzy background

In this section, we provide some preliminaries on fuzzy random variable, fuzzy stochastic process and fuzzy stochastic integral (see [7, 11, 13]). Let us denote by \({\mathcal{K}}({\mathbb{R}})\) the family of all nonempty, compact and convex subsets of \({\mathbb{R}}\). The Hausdorff metric, denoted by \(d_{H}\), 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\} . $$

The space \({\mathcal{K}}({\mathbb{R}})\) is a complete and separable metric space with respect to \(d_{H}\). If \(A, B, C \in {\mathcal{K}}({\mathbb{R}})\), then

$$ d_{H}(A+C,B+C)=d_{H}(A,B). $$

Let \((\Omega,{\mathcal{A}},P)\) be a probability space. The mapping \(F: \Omega \rightarrow {\mathcal{K}}({\mathbb{R}})\) is called \({\mathcal{A}}\)-measurable if it satisfies

$$ \bigl\{ \omega \in \Omega: F(\omega )\cap C \neq \phi \bigr\} \in { \mathcal{A}}, $$

for every closed set \(C \subset {\mathbb{R}}\). Let \({\mathcal{M}}(\Omega, {\mathcal{A}};{\mathcal{K}}({\mathbb{R}}))\) denote a family of \({\mathcal{A}}\)-measurable multifunctions with values in \({\mathcal{K}}({\mathbb{R}})\). A multifunction \(F \in {\mathcal{M}}\) is said to be \(L^{p}\)-integrably bounded, for \(p\geq 1\), if there exists \(h \in L^{p}(\Omega, {\mathcal{A}}, P; {\mathbb{R}}_{+})\) such that \(\vert \!\vert \!\vert F\vert \!\vert \!\vert \leq h \) P-a.e, \({\mathbb{R}}_{+}=[0,\infty )\), and

$$ \vert \!\vert \!\vert F\vert \!\vert \!\vert =d_{H} \bigl(F, \{ 0 \} \bigr)=\sup_{f \in F} \vert f \vert . $$

It is well known that (see [8]) \(F \in {\mathcal{M}}\) is \(L^{p}\)-integrably bounded if and only if \(\vert \!\vert \!\vert F\vert \!\vert \!\vert \in L^{p}(\Omega, {\mathcal{A}}, P; {\mathbb{R}}_{+})\). Let us denote

$$ {\mathcal{L}}^{p} \bigl(\Omega, {\mathcal{A}},P;{\mathcal{K}}({ \mathbb{R}}) \bigr)= \bigl\{ F \in {\mathcal{M}} \bigl(\Omega, {\mathcal{A}};{ \mathcal{K}}({\mathbb{R}}) \bigr): \vert \!\vert \!\vert F\vert \!\vert \!\vert \in L^{p}(\Omega, { \mathcal{A}}, P; {\mathbb{R}}_{+}) \bigr\} . $$

The membership function \(u: {\mathbb{R}}\rightarrow [0,1]\) is defined for a fuzzy set \(u \in {\mathbb{R}}\), where \(u(x)\) is the degree of membership of x in the fuzzy set u. Let us denote by \({\mathcal{F}}({\mathbb{R}})\) the fuzzy sets \(u: {\mathbb{R}}\rightarrow [0,1]\) such that \([u]^{\alpha } \in {\mathcal{K}}({\mathbb{R}})\) for every \(\alpha \in [0,1]\), where \([u]^{\alpha }= \{ x \in {\mathbb{R}}: u(x)\geq \alpha \} \).

Define \(d_{\infty }:{\mathcal{F}}({\mathbb{R}}) \times {\mathcal{F}}({\mathbb{R}}) \rightarrow [0,\infty )\) by

$$ d_{\infty }(u,v)=\sup_{\alpha \in [0,1]}d_{H} \bigl([u]^{\alpha },[v]^{ \alpha } \bigr), $$

then \(d_{\infty }\) is a metric in \({\mathcal{F}}({\mathbb{R}})\) and \(({\mathcal{F}}({\mathbb{R}}),d_{\infty })\) is a complete metric space. For every \(u,v,w,z \in {\mathcal{F}}({\mathbb{R}})\), \(\lambda \in {\mathbb{R}}\), we have the following properties:

  • \(d_{\infty }(u+w,v+w)=d_{\infty }(u,v)\),

  • \(d_{\infty }(u+v,w+z)=d_{\infty }(u,w)+d_{\infty }(v,z)\)

  • \(d_{\infty }(u,v) \leq d_{\infty }(u,w)+d_{\infty }(w,v)\)

  • \(d_{\infty }(\lambda u,\lambda v)=|\lambda |d_{\infty }(u,v)\).

We use \(\langle 0 \rangle \in {\mathcal{F}}({\mathbb{R}})\) as 0:= 1 { 0 } , where for \(y \in {\mathbb{R}}\), 1 { y } (x)=1 if \(x=y\) and 1 { y } (x)=0 if \(x\neq y\).

Definition 2.1


Let \((\Omega,{\mathcal{A}},P)\) be a probability space. A fuzzy random variable is a function \(X: \Omega \rightarrow {\mathcal{F}}({\mathbb{R}})\), if the mapping \([X]^{\alpha }: \Omega \rightarrow {\mathcal{K}}({\mathbb{R}})\) is an \({\mathcal{A}}\)-measurable multifunction for all \(\alpha \in [0,1]\).

Let us consider a metric ρ in the set \({\mathcal{F}}({\mathbb{R}})\), and σ-algebra \({\mathcal{B}}_{\rho }\) generated by the topology induced by ρ. A fuzzy random variable can be viewed as a measurable mapping between two measurable spaces, namely \((\Omega,{\mathcal{A}})\) and \(({\mathcal{F}}({\mathbb{R}}),{\mathcal{B}}_{\rho })\), we call X is \({\mathcal{A}}|{\mathcal{B}}_{\rho }\)-measurable. Consider the following metric:

$$ d_{s}(u,v):=\inf_{\lambda \in \Lambda } \max \Bigl\{ \sup _{t \in [0,1]} \bigl\vert \lambda (t)-t \bigr\vert , \sup _{t \in [0,1]} d_{H} \bigl({\mathcal{X}}_{u}(t), { \mathcal{X}}_{u} \bigl(\lambda (t) \bigr) \bigr) \Bigr\} , $$

where Λ denotes the set of strictly increasing continuous functions \(\lambda: [0,1]\rightarrow [0,1]\) such that \(\lambda (0)=0\), \(\lambda (1)=1\), and \({\mathcal{X}}_{u}, {\mathcal{X}}_{v}: [0,1]\rightarrow {\mathcal{F}}({\mathbb{R}})\) are càdlàg representations for the fuzzy sets \(u, v \in {\mathcal{F}}({\mathbb{R}})\) (see [5]). The space \(({\mathcal{F}}({\mathbb{R}}), d_{\infty })\) is complete and non-separable, and the space \(({\mathcal{F}}({\mathbb{R}}), d_{s})\) is a Polish metric space.

For a mapping \(X: \Omega \rightarrow {\mathcal{F}}({\mathbb{R}})\) on the probability space \((\Omega,{\mathcal{A}},P)\), we have:

X is a fuzzy random variable if and only if X is \({\mathcal{A}}|{\mathcal{B}}_{d_{s}}\)-measurable.

– If X is \({\mathcal{A}}|{\mathcal{B}}_{d_{\infty }}\)-measurable, then it is a fuzzy random variable; the opposite is not true.

Definition 2.2

A fuzzy random variable \(X: \Omega \rightarrow {\mathcal{F}}({\mathbb{R}})\), is \(L^{p}\)-integrably bounded, for \(p\geq 1\), if \([X]^{\alpha } \in {\mathcal{L}}^{p}(\Omega, {\mathcal{A}},P;{\mathcal{K}}({ \mathbb{R}}))\), for every \(\alpha \in [0,1]\).

Let us denote by \({\mathcal{L}}^{p}(\Omega, {\mathcal{A}},P;{\mathcal{F}}({\mathbb{R}}))\) the set of all \(L^{p}\)-integrably bounded fuzzy random variables. The random variables \(X,Y \in {\mathcal{L}}^{p}(\Omega, {\mathcal{A}},P;{\mathcal{F}}({\mathbb{R}}))\) are identical if \(P(d_{\infty } (X,Y)=0)=1\). For a fuzzy random variable \(X: \Omega \rightarrow {\mathcal{F}}({\mathbb{R}})\), and \(p\geq 1\), the following conditions are equivalent:

a) \(X \in {\mathcal{L}}^{p}(\Omega, {\mathcal{A}},P;{\mathcal{F}}({\mathbb{R}}))\),

b) \([X]^{0} \in {\mathcal{L}}^{p}(\Omega, {\mathcal{A}},P;{\mathcal{K}}({\mathbb{R}}))\),

c) \(\vert \!\vert \!\vert [X]^{0}\vert \!\vert \!\vert \in L^{p}(\Omega, {\mathcal{A}}, P; { \mathbb{R}}_{+})\).

Let \(I:=[0,T]\), and \((\Omega, {\mathcal{A}}, P)\) be a complete probability space with a filtration \(\{ {\mathcal{A}}_{t} \} _{t \in I}\) satisfying the hypotheses, an increasing and right continuous family of sub σ-algebras of \({\mathcal{A}}\), and containing all P-null sets.

Definition 2.3

If the mapping \(X(t): \Omega \rightarrow {\mathcal{F}}({\mathbb{R}})\), for every \(t \in I\), is a fuzzy random variable, then \(X: I\times \Omega \rightarrow {\mathcal{F}}({\mathbb{R}})\) is a fuzzy stochastic process.

Definition 2.4

A fuzzy stochastic process X is \(d_{\infty }\)-continuous, if almost all its trajectories, i.e. the mappings \(X(\cdot, \omega ): I\times \Omega \rightarrow {\mathcal{F}}({\mathbb{R}})\) are \(d_{\infty }\)-continuous functions.

A fuzzy stochastic process X is a measurable, if \([X]^{\alpha }: I \times \Omega \rightarrow {\mathcal{K}}({\mathbb{R}})\) is \({\mathcal{B}}(I)\otimes {\mathcal{A}}\)-measurable multifunction for all \(\alpha \in [0,1]\), where \({\mathcal{B}}(I)\) denotes the Borel σ-algebra of subsets of I.

A process X is nonanticipating if and only if for every \(\alpha \in [0,1]\), the multifunction \([X]^{\alpha}\) is measurable with respect to the σ-algebra \({\mathcal {N}}\), which is defined as follows

$${\mathcal {N}}:=\bigl\{ A \in {\mathcal{B}}(I)\otimes {\mathcal{A}}: A^{t} \in {\mathcal {A}}_{t} \text{ for every } t \in I \bigr\} ,$$

where \(A^{t}=\left\{\omega: (t,\omega) \in A \right\}\).

Definition 2.5

A fuzzy stochastic process X is called \(L^{p}\)-integrably bounded \((p\geq 1)\), if there exists a real-valued stochastic process \(h \in L^{p}(I \times \Omega, {\mathcal {N}}; {\mathbb{R}}_{+})\) such that

$$ \bigl\vert \!\bigl\vert \!\bigl\vert \bigl[X(t,\omega ) \bigr]^{0} \bigr\vert \!\bigr\vert \! \bigr\vert \leq h(t,\omega ), $$

for almost all \((t,\omega )\in I\times \Omega \).

Let us denote by \({\mathcal{L}}^{p}(I \times \Omega, {\mathcal {N}}; {\mathcal{F}}({ \mathbb{R}}))\) the set of nonanticipating and \(L^{p}\)-integrably bounded fuzzy stochastic processes. Let \(X \in {\mathcal{L}}^{p}(I \times \Omega, {\mathcal {N}}; { \mathcal{F}}({\mathbb{R}}))\), by the Fubini theorem, the fuzzy integral is defined by

$$ \int ^{T}_{0}X(s,\omega )\,ds, $$

for \(\omega \in \Omega \backslash N_{x}\), where \(N_{x} \in {\mathcal{A}}\) and \(P(N_{x})=0\). The fuzzy integral \(\int ^{T}_{0}X(s,\omega )\,ds\) can be defined level-wise. For every \(\alpha \in [0,1]\), and every \(\omega \in \Omega \backslash N_{x}\), the Aumann integral \(\int ^{T}_{0}[X(s,\omega )]^{\alpha }\,ds\) belongs to \({\mathcal{K}}({\mathbb{R}})\), so a fuzzy random variable \(\int ^{T}_{0}X(s,\omega )\,ds\) belongs to \({\mathcal{F}}({\mathbb{R}})\) for every \(\omega \in \Omega \backslash N_{x}\).

Definition 2.6

The fuzzy stochastic Lebesgue–Aumann integral of \(X \in {\mathcal{L}}^{1}(I \times \Omega, {\mathcal {N}}; { \mathcal{F}}({\mathbb{R}}))\) is defined as

L x (t,ω)= { 0 T 1 [ 0 , t ] ( s ) X ( s , ω ) d s for every  ω Ω N x , 0 for every  ω N x .

Proposition 2.1


For the integral \(L_{x}\), one can show the following properties:

  1. 1)

    Let \(p\geq 1\). If \(X \in {\mathcal{L}}^{p}(I \times \Omega, {\mathcal {N}}; { \mathcal{F}}({\mathbb{R}}))\), then \(L_{x}(\cdot, \cdot ) \in {\mathcal{L}}^{p}(I \times \Omega, {\mathcal {N}}; {\mathcal{F}}({\mathbb{R}}))\).

  2. 2)

    Let \(X \in {\mathcal{L}}^{1}(I \times \Omega, {\mathcal {N}}; { \mathcal{F}}({\mathbb{R}}))\), then \(\{ L_{x}(t) \} _{t \in I}\) is \(d_{\infty }\)-continuous.

  3. 3)

    Let \(X, Y \in {\mathcal{L}}^{p}(I \times \Omega, {\mathcal {N}}; { \mathcal{F}}({\mathbb{R}}))\), for \(p\geq 1\), then

    $$ \sup_{u \in [0,t]}d^{p}_{\infty } \bigl(L_{t,x}(u),L_{t,y}(u) \bigr)\leq t^{p-1} \int ^{t}_{0}d^{p}_{\infty } \bigl(X(s),Y(s) \bigr)\,ds,\quad \textit{a.e}. $$

Let us denote by \(\langle \cdot \rangle: {\mathbb{R}}\rightarrow {\mathcal{F}}({ \mathbb{R}})\) an embedding of \({\mathbb{R}}\) into \({\mathcal{F}}({\mathbb{R}})\) i.e. for \(r \in {\mathbb{R}}\),

$$\begin{aligned} \langle r \rangle (a)= \textstyle\begin{cases} 1 &\text{for $a=r$,} \\ 0 &\text{for $a \in {\mathbb{R}} \backslash \{ r \} $.}\end{cases}\displaystyle \end{aligned}$$

If \(X: \Omega \rightarrow {\mathbb{R}}\) is a random variable on the probability space \((\Omega, {\mathcal{A}},P)\), then \(\langle X \rangle: \Omega \rightarrow {\mathcal{F}}({ \mathbb{R}})\) is a fuzzy random variable. For stochastic processes we have a similar property.

We define the fuzzy stochastic Itô integral by using the fuzzy random variable as \(\langle \int ^{T}_{0} X(s) \,dW(s) \rangle \), where W is a Wiener process. The following properties will be useful [13].

Proposition 2.2

Let \(X \in L^{2}(I \times \Omega, {\mathcal {N}}; {\mathbb{R}})\), then \(\{ \langle \int ^{t}_{0} X(s) \,dW(s) \rangle \} _{t \in I}\) is a fuzzy stochastic process and we have \(\langle \int ^{t}_{0} X(s) \,dW(s) \rangle \in {\mathcal{L}}^{2}(I \times \Omega, {\mathcal {N}}; {\mathcal{F}}({\mathbb{R}}))\).

Proposition 2.3

Let \(X \in L^{2}(I\times\Omega, {\mathcal {N}}; {\mathbb{R}})\), then \(\{ \langle \int ^{t}_{0} X(s) \,dW(s) \rangle \} _{t \in I}\) is \(d_{\infty }\)-continuous.

3 Application to fuzzy stochastic differential equation

In this section we consider a class of FSDEs driven by the fBm which is given as follows:

$$\begin{aligned} X(t)=X_{0}+ \int ^{t}_{0}f \bigl(s,X(s) \bigr)\,ds+ \biggl\langle \int ^{t}_{0}g \bigl(s,X(s) \bigr) \,dB_{H}(s) \biggr\rangle ,\quad X_{0}=X(0), \end{aligned}$$

where \(B_{H}\) is a Liouville form fBm with \(H \in (\frac{1}{2},1)\), \(X_{0}:\Omega \rightarrow {\mathcal{F}}({\mathbb{R}})\) is an FRV, \(f: I \times \Omega \times {\mathcal{F}}({\mathbb{R}})\rightarrow {\mathcal{F}}({ \mathbb{R}})\), and \(g: I \times \Omega \times {\mathcal{F}}({\mathbb{R}})\rightarrow { \mathbb{R}}\). The corresponding approximation equation (3.1) is

$$\begin{aligned} X^{\epsilon }(t)=X_{0}+ \int ^{t}_{0} f \bigl(s,X^{\epsilon }(s) \bigr) \,ds+ \biggl\langle \int ^{t}_{0} g \bigl(s,X^{\epsilon }(s) \bigr) \,dB^{\epsilon }_{H}(s) \biggr\rangle . \end{aligned}$$

Assumptions 3.1

Consider the following assumptions on the equation coefficients:

  1. A1)

    The mappings \(f: I \times \Omega \times {\mathcal{F}}({\mathbb{R}})\rightarrow {\mathcal{F}}({ \mathbb{R}})\) and \(g: I \times \Omega \times {\mathcal{F}}({\mathbb{R}})\rightarrow { \mathbb{R}}\) are \({\mathcal {N}} \otimes {\mathcal{B}}_{d_{s}}|{\mathcal{B}}_{d_{s}}\)-measurable and \({\mathcal {N}} \otimes {\mathcal{B}}_{d_{s}}|{\mathcal{B}}({ \mathbb{R}})\)-measurable, respectively.

  2. A2)

    For every \(u, v \in {\mathcal{F}}({\mathbb{R}})\) and every \(t \in I\), there exists a constant \(L > 0\) such that

    $$ \max \bigl\{ d_{\infty } \bigl(f(t,\omega,u),f(t,\omega,v) \bigr), \bigl\vert g(t, \omega,u)-g(t,\omega,v) \bigr\vert \bigr\} \leq Ld_{\infty }(u,v). $$
  3. A3)

    For every \(u, v \in {\mathcal{F}}({\mathbb{R}})\) and every \(t \in I\), there exists a constant \(C > 0\) such that

    $$ \max \bigl\{ d_{\infty } \bigl(f(t,\omega,u), \langle 0 \rangle \bigr), \bigl\vert g(t,\omega,u) \bigr\vert \bigr\} \leq C \bigl(1+d_{\infty } \bigl(u, \langle 0 \rangle \bigr) \bigr). $$

Proposition 3.1


Consider \(X,Y \in L^{2}(I \times \Omega, {\mathcal {N}}; { \mathbb{R}})\), then

$$\begin{aligned} {\mathbb{E}}\sup_{u \in [0,t]}d^{2}_{\infty } \biggl( \biggl\langle \int ^{u}_{0} X(s)\,dW(s) \biggr\rangle , \biggl\langle \int ^{u}_{0} Y(s) \,dW(s) \biggr\rangle \biggr)\leq 4{\mathbb{E}} \int ^{t}_{0}d^{2}_{ \infty } \bigl( \bigl\langle X(s) \bigr\rangle , \bigl\langle Y(s) \bigr\rangle \bigr)\,ds, \end{aligned}$$

for every \(t \in I\).

Theorem 3.2

Suppose that \(f: I \times \Omega \times {\mathcal{F}}({\mathbb{R}})\rightarrow {\mathcal{F}}({ \mathbb{R}})\) and \(g: I \times \Omega \times {\mathcal{F}}({\mathbb{R}})\rightarrow { \mathbb{R}}\) as mappings satisfy assumptions (A1)(A3) and \(X_{0} \in {\mathcal{L}}^{2}(\Omega, {\mathcal{A}}_{0},P; {\mathcal{F}}({\mathbb{R}}))\). Then Eq. (3.2) has a strong unique solution.


Consider the SDE (3.2),

$$\begin{aligned} X^{\epsilon }(t)=X_{0}+ \int ^{t}_{0} f \bigl(s,X^{\epsilon }(s) \bigr) \,ds+ \biggl\langle \int ^{t}_{0} g \bigl(s,X^{\epsilon }(s) \bigr) \,dB^{\epsilon }_{H}(s) \biggr\rangle . \end{aligned}$$

By Eq. (2.3), we can write

$$\begin{aligned} X^{\epsilon }(t)={}&X_{0}+ \int ^{t}_{0} f \bigl(s,X^{\epsilon }(s) \bigr) \,ds \\ &{}+ \biggl\langle \int ^{t}_{0}\alpha \varphi ^{\epsilon }(s) g \bigl(s,X^{\epsilon }(s) \bigr) \,ds+ \int ^{t}_{0}\epsilon ^{\alpha } g \bigl(s,X^{\epsilon }(s) \bigr)\,dW(s) \biggr\rangle . \end{aligned}$$

Let us consider the Picard iterations

$$\begin{aligned} X^{\epsilon }_{n}(t)={}&X_{0}+ \int ^{t}_{0}f \bigl(s,X^{\epsilon }_{n-1}(s) \bigr)\,ds \\ &{}+ \biggl\langle \int ^{t}_{0}\alpha \varphi ^{\epsilon }(s) g \bigl(s,X^{ \epsilon }_{n-1}(s) \bigr) \,ds+ \int ^{t}_{0}\epsilon ^{\alpha } g \bigl(s,X^{ \epsilon }_{n-1}(s) \bigr)\,dW(s) \biggr\rangle ,\quad \text{a.e.}, \end{aligned}$$

for \(n = 1, 2,\ldots\) , and for every \(t \in I\), and \(X_{0}(t)=X_{0}\). For \(t \in I\) and \(n \in {\mathbb{N}}\) we denote

$$ j_{n}(t)={\mathbb{E}}\sup_{u \in [0,t]}d^{2}_{\infty } \bigl(X^{ \epsilon }_{n}(u),X^{\epsilon }_{n-1}(u) \bigr). $$

Then, by Propositions 2.1, 3.1, and assumption A3, it can be written as

$$\begin{aligned} j_{1}(t)= {}&{\mathbb{E}}\sup_{u \in [0,t]}d^{2}_{\infty } \biggl( \int ^{u}_{0}f \bigl(s,X^{ \epsilon }_{0}(s) \bigr)\,ds \\ &{}+ \biggl\langle \int ^{u}_{0}\alpha \varphi ^{\epsilon }(s) g \bigl(s,X^{ \epsilon }_{0}(s) \bigr) \,ds+ \int ^{u}_{0}\epsilon ^{\alpha } g \bigl(s,X^{\epsilon }_{0}(s) \bigr)\,dW(s) \biggr\rangle , \langle 0 \rangle \biggr) \\ \leq{}& 3 {\mathbb{E}}\sup_{u \in [0,t]}d^{2}_{\infty } \biggl( \int ^{u}_{0}f \bigl(s,X^{ \epsilon }_{0}(s) \bigr)\,ds, \langle 0 \rangle \biggr) \\ &{}+ 3{ \mathbb{E}}\sup_{u \in [0,t]}d^{2}_{\infty } \biggl( \biggl\langle \int ^{u}_{0}\alpha \varphi ^{\epsilon }(s) g \bigl(s,X^{\epsilon }_{0}(s) \bigr) \,ds \biggr\rangle , \langle 0 \rangle \biggr) \\ &{}+3{\mathbb{E}}\sup_{u \in [0,t]}d^{2}_{\infty } \biggl( \biggl\langle \int ^{u}_{0}\epsilon ^{\alpha } g \bigl(s,X^{\epsilon }_{0}(s) \bigr)\,dW(s) \biggr\rangle , \langle 0 \rangle \biggr) \\ \leq{}& 3t {\mathbb{E}} \int ^{t}_{0}d^{2}_{\infty } \bigl( f \bigl(s,X^{\epsilon }_{0}(s) \bigr), \langle 0 \rangle \bigr)\,ds+ 3 \alpha ^{2}{\mathbb{E}} \sup_{u \in [0,t]}d^{2}_{\infty } \biggl( \biggl\langle \int ^{u}_{0} \varphi ^{\epsilon }(s) g \bigl(s,X^{\epsilon }_{0}(s) \bigr) \,ds \biggr\rangle , \langle 0 \rangle \biggr) \\ &{}+ 12 \epsilon ^{2\alpha } {\mathbb{E}} \int ^{t}_{0}d^{2}_{\infty } \bigl( \bigl\langle g \bigl(s,X^{\epsilon }_{0}(s) \bigr) \bigr\rangle , \langle 0 \rangle \bigr)\,ds \\ \leq {}&6C^{2} \bigl(T+4\epsilon ^{2\alpha } \bigr) \bigl(1+{ \mathbb{E}} \bigl\vert \!\bigl\vert \!\bigl\vert \bigl[X^{ \epsilon } \bigr]^{0} \bigr\vert \!\bigr\vert \! \bigr\vert ^{2} \bigr)t\\ &{}+ 3\alpha ^{2}{ \mathbb{E}}\sup_{u \in [0,t]}d^{2}_{\infty } \biggl( \biggl\langle \int ^{u}_{0} \varphi ^{ \epsilon }(s) g \bigl(s,X^{\epsilon }_{0}(s) \bigr) \,ds \biggr\rangle , \langle 0 \rangle \biggr), \end{aligned}$$

for \(\alpha =H-\frac{1}{2}>0\). Hence

$$\begin{aligned} j_{1}(t)\leq{} & 6C^{2} \bigl(T+4 \epsilon ^{2\alpha } \bigr) \bigl(1+{\mathbb{E}} \bigl\vert \!\bigl\vert \!\bigl\vert \bigl[X^{\epsilon } \bigr]^{0} \bigr\vert \!\bigr\vert \! \bigr\vert ^{2} \bigr)t \\ &{}+ 3\alpha ^{2}{\mathbb{E}}\sup_{u \in [0,t]}d^{2}_{\infty } \biggl( \biggl\langle \int ^{u}_{0} \varphi ^{\epsilon }(s) g \bigl(s,X^{\epsilon }_{0}(s) \bigr) \,ds \biggr\rangle , \langle 0 \rangle \biggr). \end{aligned}$$

We have

$$\begin{aligned} &{\mathbb{E}}\sup_{u \in [0,t]}d^{2}_{\infty } \biggl( \biggl\langle \int ^{u}_{0} \varphi ^{\epsilon }(s) g \bigl(s,X^{\epsilon }_{0}(s) \bigr) \,ds \biggr\rangle , \langle 0 \rangle \biggr) \\ &\quad\leq { \mathbb{E}}\sup_{u \in [0,t]}d^{2}_{H} \biggl( \biggl\{ \int ^{u}_{0} \varphi ^{\epsilon }(s) g \bigl(s,X^{\epsilon }_{0}(s) \bigr) \,ds \biggr\} , \{ 0 \} \biggr) \\ &\quad\leq {\mathbb{E}}\sup_{u \in [0,t]} \biggl( \int ^{u}_{0} \varphi ^{ \epsilon }(s) g \bigl(s,X^{\epsilon }_{0}(s) \bigr) \,ds \biggr)^{2}. \end{aligned}$$

By applying (2.4) to (3.8), and the Hölder inequality we get

$$\begin{aligned} & {\mathbb{E}}\sup_{u \in [0,t]} \biggl( \int ^{u}_{0} \varphi ^{ \epsilon }(s) g \bigl(s,X^{\epsilon }_{0}(s) \bigr) \,ds \biggr)^{2} \\ &\quad= { \mathbb{E}} \sup_{u \in [0,t]} \biggl( \int ^{u}_{0} \biggl( \int ^{s}_{0}(s-r+ \epsilon )^{\alpha -1} \,dW(r) \biggr) g \bigl(s,X^{\epsilon }_{0}(s) \bigr) \,ds \biggr)^{2} \\ &\quad= {\mathbb{E}}\sup_{u \in [0,t]} \biggl( \int ^{u}_{0} \int ^{u}_{s} g \bigl(r,X^{ \epsilon }_{0}(r) \bigr) (r-s+\epsilon )^{\alpha -1} \,dr\, dW(s) \biggr)^{2} \\ &\quad\leq 4{\mathbb{E}} \int ^{t}_{0} \biggl( \int ^{t}_{s} g \bigl(r,X^{\epsilon }_{0}(r) \bigr) (r-s+ \epsilon )^{\alpha -1} \,dr \biggr)^{2} \,ds \\ &\quad \leq 4{\mathbb{E}} \int ^{t}_{0} \biggl( \int ^{t}_{s} g^{2} \bigl(r,X^{ \epsilon }_{0}(r) \bigr) (r-s+\epsilon )^{\alpha -1} \,dr \biggr) \biggl( \int ^{t}_{s} (r-s+\epsilon )^{\alpha -1} \,dr \biggr) \,ds \\ &\quad \leq \frac{4}{\alpha ^{2}}(t+\epsilon )^{\alpha }{\mathbb{E}} \int ^{t}_{0} g^{2} \bigl(r,X^{\epsilon }_{0}(r) \bigr) (r+\epsilon )^{\alpha } \,dr \\ &\quad\leq \frac{4}{\alpha ^{2}}(t+\epsilon )^{2\alpha }{\mathbb{E}} \int ^{t}_{0} g^{2} \bigl(r,X^{\epsilon }_{0}(r) \bigr) \,dr \\ &\quad\leq \frac{8C^{2}}{\alpha ^{2}}(T+\epsilon )^{2\alpha } \bigl(1+{ \mathbb{E}} \bigl\vert \!\bigl\vert \!\bigl\vert \bigl[X^{\epsilon }_{0} \bigr]^{0} \bigr\vert \!\bigr\vert \! \bigr\vert ^{2} \bigr) t. \end{aligned}$$

Hence, from (3.7) and (3.9) we obtain

$$\begin{aligned} j_{1}(t)\leq 6C^{2} \bigl(T+4 \epsilon ^{2\alpha }+4(T+\epsilon )^{2 \alpha } \bigr) \bigl(1+{ \mathbb{E}} \bigl\vert \!\bigl\vert \!\bigl\vert \bigl[X^{\epsilon }_{0} \bigr]^{0} \bigr\vert \!\bigr\vert \! \bigr\vert ^{2} \bigr)t, \end{aligned}$$

for every \(t \in I\). Then, similarly,

$$\begin{aligned} j_{n+1}(t)&\leq 3 \bigl(t+4\epsilon ^{2\alpha }+4(t+\epsilon )^{2 \alpha } \bigr)L^{2}{\mathbb{E}} \int ^{t}_{0}d^{2}_{\infty } \bigl(X^{ \epsilon }_{n}(u),X^{\epsilon }_{n-1}(u) \bigr) \,ds \\ &\leq 3 \bigl(t+4\epsilon ^{2\alpha }+4(t+\epsilon )^{2\alpha } \bigr)L^{2} \int ^{t}_{0}{\mathbb{E}}\sup_{u \in [0,s]}d^{2}_{\infty } \bigl(X^{ \epsilon }_{n}(u),X^{\epsilon }_{n-1}(u) \bigr) \,ds \\ &\leq 3 \bigl(t+4\epsilon ^{2\alpha }+4(t+\epsilon )^{2\alpha } \bigr)L^{2} \int ^{t}_{0}j_{n}(s)\,ds. \end{aligned}$$


$$ j_{n}(t) \leq 2C^{2}3^{n} \bigl(t+4\epsilon ^{2\alpha }+4(t+\epsilon )^{2 \alpha } \bigr)^{n} \bigl(1+{ \mathbb{E}} \bigl\vert \!\bigl\vert \!\bigl\vert \bigl[X^{\epsilon }_{0} \bigr]^{0} \bigr\vert \!\bigr\vert \! \bigr\vert ^{2} \bigr)L^{2(n-1)}\frac{t^{n}}{n!},\quad t \in I, n \in { \mathbb{N}}. $$

Apply the Chebyshev inequality, it follows that

$$ P \biggl( \sup_{u \in I}d^{2}_{\infty } \bigl(X^{\epsilon }_{n}(u),X^{\epsilon }_{n-1}(u) \bigr)> \frac{1}{2^{n}} \biggr)\leq 2^{n}j_{n}(T). $$

The series \(\sum^{\infty }_{n=1}2^{n}j_{n}(T)\) is convergent. From the Borel–Cantelli lemma, we derive

$$ P \biggl( \sup_{u \in I}d^{2}_{\infty } \bigl(X^{\epsilon }_{n}(u),X^{ \epsilon }_{n-1}(u) \bigr)> \frac{1}{(\sqrt{2})^{n}} \text{ infinitely often} \biggr)=0. $$

For almost all \(\omega \in \Omega \), there exists \(n_{0}(\omega )\) such that

$$ \sup_{u \in I}d^{2}_{\infty } \bigl(X^{\epsilon }_{n}(u),X^{\epsilon }_{n-1}(u) \bigr) \leq \frac{1}{(\sqrt{2})^{n}}, \quad \text{if }n\geq n_{0}. $$

The sequence \(\{ X^{\epsilon }_{n}(\cdot, \omega ) \} \) is uniformly convergent to a \(d^{2}_{\infty }\)-continuous fuzzy process \(\widetilde{X}^{\epsilon }(\cdot, \omega )\) for every \(\omega \in \Omega _{c}\), in which \(\Omega _{c} \in {\mathcal{A}}\) and \(P(\Omega _{c})=1\). We can define the mapping \(X^{\epsilon }: I\times \Omega \rightarrow {\mathcal{F}}({\mathbb{R}})\), as \(X^{\epsilon }(\cdot, \omega )=\widetilde{X}^{\epsilon }(\cdot, \omega )\) if \(\omega \in \Omega _{c}\) and \(X^{\epsilon }(\cdot, \omega )\) as freely chosen fuzzy function when \(\omega \in \Omega \) \(\Omega _{c}\). For every \(\alpha \in [0,1]\) and every \(t \in I\) with a.e., we have

$$ d_{H} \bigl( \bigl[X^{\epsilon }_{n}(t) \bigr]^{\alpha }, \bigl[X^{\epsilon }(t) \bigr]^{\alpha } \bigr) \rightarrow 0\quad \text{as }n \rightarrow \infty. $$

Hence, \(X^{\epsilon }\) will be a continuous fuzzy stochastic process. Then, by \(X^{\epsilon }_{n} \in {\mathcal{L}}^{2}(I \times \Omega, {\mathcal {N}}; {\mathcal{F}}({\mathbb{R}}))\), we get \(X^{\epsilon } \in {\mathcal{L}}^{2}(I \times \Omega, {\mathcal {N}}; {\mathcal{F}}({\mathbb{R}}))\). Hence, as n goes to infinity, we can verify that

$$ {\mathbb{E}}\sup_{t \in I} \biggl[d^{2}_{\infty } \bigl( X^{\epsilon }_{n}(t), X^{ \epsilon }(t) \bigr)+ d^{2}_{\infty } \biggl( X^{\epsilon }_{n}(t), X^{\epsilon }_{0}+ \int ^{t}_{0}f \bigl(s,X^{\epsilon }(s) \bigr) \,ds+ \biggl\langle \int ^{t}_{0}g \bigl(s,X^{ \epsilon }(s) \bigr) \,dB^{\epsilon }_{H}(s) \biggr\rangle \biggr) \biggr]^{2} $$

tends to zero. Then

$$ {\mathbb{E}}\sup_{t \in I}d^{2}_{\infty } \biggl[ \biggl( X^{\epsilon }(t), X^{\epsilon }_{0}+ \int ^{t}_{0}f \bigl(s,X^{\epsilon }(s) \bigr) \,ds+ \biggl\langle \int ^{t}_{0}g \bigl(s,X^{\epsilon }(s) \bigr) \,dB^{\epsilon }_{H}(s) \biggr\rangle \biggr) \biggr]=0. $$


$$ \sup_{t \in I}d^{2}_{\infty } \biggl[ \biggl( X^{\epsilon }(t), X^{ \epsilon }_{0}+ \int ^{t}_{0}f \bigl(s,X^{\epsilon }(s) \bigr) \,ds+ \biggl\langle \int ^{t}_{0}g \bigl(s,X^{ \epsilon }(s) \bigr) \,dB^{\epsilon }_{H}(s) \biggr\rangle \biggr) \biggr]=0, $$

which shows the existence of the strong solution.

Now, \(X^{\epsilon },Y^{\epsilon }:I \times \Omega \rightarrow {\mathcal{F}}({ \mathbb{R}})\) are assumed to be strong solutions. Consider

$$ j(t)= {\mathbb{E}}\sup_{u \in [0,t]}d^{2}_{\infty } \bigl(X^{\epsilon }(u),Y^{ \epsilon }(u) \bigr), $$

then, by computations similar to the existence case, we have

$$ j(t)\leq 3 \bigl(t+4\epsilon ^{2\alpha }+4(t+\epsilon )^{2\alpha } \bigr)L^{2} {\mathbb{E}} \int ^{t}_{0}d^{2}_{\infty } \bigl(X^{\epsilon }(s),Y^{ \epsilon }(s) \bigr)\,ds \leq 3 \bigl(T+4\epsilon ^{2\alpha }+\alpha ^{2} \bigr)L^{2} \int ^{t}_{0}j(s)\,ds. $$

The implementation of the Gronwall inequality leads to \(j(t)=0\) for \(t \in I\). Then

$$ \sup_{t \in I}d^{2}_{\infty } \bigl(X^{\epsilon }(t),Y^{\epsilon }(t) \bigr)=0,\quad \text{a.e.}, $$

by which the proof of uniqueness is completed. □

Lemma 3.1

For every \(\epsilon >0\) and \(0<\alpha < \frac{1}{2}\) we have

$$\begin{aligned} \int ^{t}_{s} \bigl((r-s+\epsilon )^{\alpha -1}-(r-s)^{\alpha -1} \bigr) \,dr\leq \frac{\alpha +1}{\alpha } { \epsilon }^{\alpha }. \end{aligned}$$


We apply the finite-increments formula to the function \(f(x)=x^{\alpha -1}\) to obtain

$$\begin{aligned} (x+\epsilon )^{\alpha -1}-x^{\alpha -1}=(\alpha -1) (x+\theta \epsilon )^{(\alpha -2)} \epsilon,\quad 0< \theta < 1, \end{aligned}$$


$$\begin{aligned} \bigl\vert (r-s+\epsilon )^{\alpha -1}-(r-s)^{\alpha -1} \bigr\vert \leq \vert \alpha -1 \vert \vert r-s \vert ^{\alpha -2} \epsilon. \end{aligned}$$


$$\begin{aligned} \int ^{t}_{s} \bigl\vert (r-s+\epsilon )^{\alpha -1}-(r-s)^{\alpha -1} \bigr\vert \,dr={}& \int ^{s+\epsilon }_{s} \bigl\vert (r-s+\epsilon )^{\alpha -1}-(r-s)^{ \alpha -1} \bigr\vert \,dr \\ &{}+ \int ^{t}_{s+\epsilon } \bigl\vert (r-s+\epsilon )^{\alpha -1}-(r-s)^{ \alpha -1} \bigr\vert \,dr \\ \leq{} & \int ^{s+\epsilon }_{s} \bigl\vert \bigl(2(r-s) \bigr)^{\alpha -1}-(r-s)^{ \alpha -1} \bigr\vert \,dr \\ &{}+ \vert \alpha -1 \vert {\epsilon } \int ^{t}_{s+\epsilon } \vert r-s \vert ^{\alpha -2} \,dr. \end{aligned}$$


$$\begin{aligned} \int ^{t}_{s} \bigl\vert (r-s+\epsilon )^{\alpha -1}-(r-s)^{\alpha -1} \bigr\vert \,dr&\leq \int ^{s+\epsilon }_{s} (r-s)^{\alpha -1} \,dr+ \vert \alpha -1 \vert {\epsilon } \int ^{t}_{s+\epsilon } (r-s)^{\alpha -2} \,dr \\ &\leq \frac{1}{\alpha } {\epsilon }^{\alpha } + \vert \alpha -1 \vert \epsilon \biggl(\frac{1}{\alpha -1} {\epsilon }^{\alpha -1} \biggr) \\ &= \frac{\alpha +1}{\alpha } {\epsilon }^{\alpha }. \end{aligned}$$


Proposition 3.2

The solution \(X^{\epsilon }(t)\) of Eq. (3.2) converges to the solution \(X(t)\) of Eq. (3.1) in \({\mathcal{L}}^{2}(I \times \Omega )\) as \(\epsilon \rightarrow 0\) uniformly with respect to \(t \in [0,T]\).


Consider Eq. (3.1) and the corresponding approximation of equations as follows:

$$\begin{aligned} &X(t)=X_{0}+ \int ^{t}_{0} f \bigl(s,X(s) \bigr)\,ds+ \biggl\langle \int ^{t}_{0} g \bigl(s,X(s) \bigr) \,dB_{H}(s) \biggr\rangle , \end{aligned}$$
$$\begin{aligned} & X^{\epsilon }(t)=X_{0}+ \int ^{t}_{0} f \bigl(s,X^{\epsilon }(s) \bigr) \,ds+ \biggl\langle \int ^{t}_{0} g \bigl(s,X^{\epsilon }(s) \bigr) \,dB^{\epsilon }_{H}(s) \biggr\rangle . \end{aligned}$$

We can write

$$\begin{aligned} &{\mathbb{E}}\sup_{u \in [0,t]}d^{2}_{\infty } \bigl(X(u),X^{\epsilon }(u) \bigr)\\ &\quad \leq 2{\mathbb{E}} \sup _{u \in [0,t]} \int ^{u}_{0}d^{2}_{ \infty } \bigl( f \bigl(s,X(s) \bigr), f \bigl(s,X^{\epsilon }(s) \bigr) \bigr)\,ds \\ &\qquad{}+ 2{\mathbb{E}} \sup_{u \in [0,t]} d^{2}_{\infty } \biggl( \biggl\langle \int ^{u}_{0} g \bigl(s,X(s) \bigr) \,dB_{H}(s) \biggr\rangle , \biggl\langle \int ^{u}_{0} g \bigl(s,X^{\epsilon }(s) \bigr) \,dB^{\epsilon }_{H}(s) \biggr\rangle \biggr). \end{aligned}$$


$$\begin{aligned} &{\mathbb{E}}\sup_{u \in [0,t]}d^{2}_{\infty } \bigl(X(u),X^{\epsilon }(u) \bigr)\\ &\quad \leq 2{\mathbb{E}} \sup _{u \in [0,t]} \int ^{u}_{0}d^{2}_{ \infty } \bigl( f \bigl(s,X(s) \bigr), f \bigl(s,X^{\epsilon }(s) \bigr) \bigr)\,ds \\ &\qquad{}+ 4{\mathbb{E}} \sup_{u \in [0,t]} d^{2}_{\infty } \biggl( \biggl\langle \int ^{u}_{0} g \bigl(s,X(s) \bigr) \,dB_{H}(s) \biggr\rangle , \biggl\langle \int ^{u}_{0} g \bigl(s,X(s) \bigr) \,dB^{\epsilon }_{H}(s) \biggr\rangle \biggr) \\ &\qquad{}+ 4{\mathbb{E}} \sup_{u \in [0,t]} d^{2}_{\infty } \biggl( \biggl\langle \int ^{u}_{0} g \bigl(s,X(s) \bigr) \,dB^{\epsilon }_{H}(s) \biggr\rangle , \biggl\langle \int ^{u}_{0} g \bigl(s,X^{\epsilon }(s) \bigr) \,dB^{\epsilon }_{H}(s) \biggr\rangle \biggr) \\ &\quad = 2{\mathbb{E}} \int ^{t}_{0}d^{2}_{\infty } \bigl( f \bigl(s,X(s) \bigr), f \bigl(s,X^{ \epsilon }(s) \bigr) \bigr)\,ds \\ &\qquad{}+ 4{\mathbb{E}} \sup_{u \in [0,t]} \biggl\vert \int ^{u}_{0} g \bigl(s,X^{ \epsilon }(s) \bigr) \bigl(dB^{\epsilon }_{H}(s)-dB_{H}(s) \bigr) \biggr\vert ^{2} \\ &\qquad{}+ 4{\mathbb{E}} \sup_{u \in [0,t]} \biggl| \int ^{u}_{0} (g \bigl(s,X(s) \bigr)-g \bigl(s,X^{ \epsilon }(s) \bigr)\,dB^{\epsilon }_{H}(s)\biggr|^{2}. \end{aligned}$$

Apply Eq. (2.3) to get

$$\begin{aligned} & {\mathbb{E}}\sup_{u \in [0,t]}d^{2}_{\infty } \bigl(X(u),X^{\epsilon }(u) \bigr) \\ &\quad\leq 2{\mathbb{E}} \int ^{t}_{0}d^{2}_{\infty } \bigl( f \bigl(s,X(s) \bigr), f \bigl(s,X^{\epsilon }(s) \bigr) \bigr)\,ds \\ &\qquad{}+8{\epsilon }^{2\alpha }{\mathbb{E}} \sup_{u \in [0,t]} \biggl\vert \int ^{u}_{0} g \bigl(s,X^{\epsilon }(s) \bigr) \,dW(s) \biggr\vert ^{2} \\ &\qquad{}+ 8{\alpha }^{2}{\mathbb{E}} \sup_{u \in [0,t]} \biggl\vert \int ^{u}_{0} g \bigl(s,X^{\epsilon }(s) \bigr) \biggl( \int ^{s}_{0} \bigl((s-r+\epsilon )^{ \alpha -1}-(s-r)^{\alpha -1} \bigr) \,dW(r) \biggr)\,ds \biggr\vert ^{2} \\ &\qquad{}+ 8{\alpha }^{2}{\mathbb{E}} \sup_{u \in [0,t]} \biggl\vert \int ^{u}_{0} (g \bigl(s,X(s) \bigr)-g \bigl(s,X^{\epsilon }(s) \bigr) \biggl( \int ^{s}_{0}(s-r+\epsilon )^{ \alpha -1} \,dW(r) \biggr) \,ds \biggr\vert ^{2} \\ &\qquad{}+ 8{\epsilon }^{2\alpha } {\mathbb{E}} \sup_{u \in [0,t]} \biggl\vert \int ^{u}_{0} (g \bigl(s,X(s) \bigr)-g \bigl(s,X^{\epsilon }(s) \bigr)\,dW(s)\biggr\vert ^{2}. \end{aligned}$$


$$\begin{aligned} & {\mathbb{E}}\sup_{u \in [0,t]}d^{2}_{\infty } \bigl(X(u),X^{\epsilon }(u) \bigr) \\ &\quad\leq 2{\mathbb{E}} \int ^{t}_{0}d^{2}_{\infty } \bigl( f \bigl(s,X(s) \bigr), f \bigl(s,X^{\epsilon }(s) \bigr) \bigr)\,ds \\ &\qquad{}+ 8{\epsilon }^{2\alpha }{\mathbb{E}} \sup_{u \in [0,t]} \biggl\vert \int ^{u}_{0} g \bigl(s,X^{\epsilon }(s) \bigr) \,dW(s) \biggr\vert ^{2} \\ &\qquad{}+ 8{\alpha }^{2}{\mathbb{E}} \sup_{u \in [0,t]} \biggl\vert \int ^{u}_{0} \int ^{u}_{s} g \bigl(r,X^{\epsilon }(r) \bigr) \bigl((r-s+\epsilon )^{\alpha -1}-(r-s)^{ \alpha -1} \bigr) \,dr\,dW(s) \biggr\vert ^{2} \\ &\qquad{}+ 8{\alpha }^{2}{\mathbb{E}} \sup_{u \in [0,t]}\biggl\vert \int ^{u}_{0} \int ^{u}_{s} (g \bigl(r,X(r) \bigr)-g \bigl(s,X^{\epsilon }(s) \bigr) (r-s+\epsilon )^{ \alpha -1} \,dr\, dW(s) \biggr\vert ^{2} \\ &\qquad{}+ 8{\epsilon }^{2\alpha } {\mathbb{E}} \sup_{u \in [0,t]} \biggl\vert \int ^{u}_{0} (g \bigl(s,X(s) \bigr)-g \bigl(s,X^{\epsilon }(s) \bigr)\,dW(s)\biggr\vert ^{2}. \end{aligned}$$

Apply the Doob inequality, the Hölder inequality and the Itô isometry property to obtain

$$\begin{aligned} &{\mathbb{E}}\sup_{u \in [0,t]}d^{2}_{\infty } \bigl(X(u),X^{\epsilon }(u) \bigr) \\ &\quad\leq 2{\mathbb{E}} \int ^{t}_{0}d^{2}_{\infty } \bigl( f \bigl(s,X(s) \bigr), f \bigl(s,X^{\epsilon }(s) \bigr) \bigr)\,ds+ 32{\epsilon }^{2\alpha }{\mathbb{E}} \int ^{t}_{0} g^{2} \bigl(s,X^{\epsilon }(s) \bigr) \,ds \\ &\qquad{}+ 32{\alpha }^{2}{\mathbb{E}} \int ^{t}_{0} \biggl[ \int ^{t}_{s} g^{2} \bigl(r,X^{ \epsilon }(r) \bigr) \bigl((r-s+\epsilon )^{\alpha -1}-(r-s)^{\alpha -1} \bigr) \,dr \\ &\qquad{}\times\int ^{t}_{s} \bigl((r-s+\epsilon )^{\alpha -1}-(r-s)^{ \alpha -1} \bigr) \,dr \biggr] \,ds \\ &\qquad{}+ 32{\alpha }^{2}{\mathbb{E}} \int ^{t}_{0} ( \int ^{t}_{s} \bigl(g \bigl(r,X(r) \bigr)-g \bigl(s,X^{ \epsilon }(s) \bigr)^{2} (r-s+\epsilon )^{\alpha -1} \,dr \bigr) \\ &\qquad{}\times \biggl( \int ^{t}_{s} (r-s+\epsilon )^{\alpha -1} \,dr \biggr)\,ds \\ &\qquad{}+ 32{\epsilon }^{2\alpha } {\mathbb{E}} \int ^{t}_{0} (g \bigl(s,X(s) \bigr)-g \bigl(s,X^{ \epsilon }(s) \bigr)^{2}\,ds. \end{aligned}$$

By similar arguments to (3.9), from (3.11) and assumptions \((A1)\)\((A3)\), we infer that

$$\begin{aligned} &{\mathbb{E}}\sup_{u \in [0,t]}d^{2}_{\infty } \bigl(X(u),X^{\epsilon }(u) \bigr) \\ &\quad\leq 2L^{2} {\mathbb{E}} \int ^{t}_{0}d^{2}_{\infty } \bigl( X(s), X^{\epsilon }(s) \bigr)\,ds + 64{\epsilon }^{2\alpha } C^{2} \int ^{t}_{0} \bigl(1+{\mathbb{E}} \bigl\vert \!\bigl\vert \!\bigl\vert \bigl[X^{\epsilon }(s) \bigr]^{0} \bigr\vert \!\bigr\vert \! \bigr\vert ^{2} \bigr) \,ds \\ &\qquad{}+ 64C^{2}(T+\epsilon )^{2\alpha } \frac{\alpha +1}{\alpha } {\epsilon }^{ \alpha } \int ^{t}_{0} \bigl(1+{\mathbb{E}} \bigl\vert \!\bigl\vert \!\bigl\vert \bigl[X^{\epsilon }(s) \bigr]^{0} \bigr\vert \!\bigr\vert \! \bigr\vert ^{2} \bigr)\,ds \\ &\qquad{}+32L^{2}(T+\epsilon )^{2\alpha } {\mathbb{E}} \int ^{t}_{0}d^{2}_{ \infty } \bigl( X(s), X^{\epsilon }(s) \bigr)\,ds \\ &\qquad{}+32L^{2}{\epsilon }^{2\alpha } {\mathbb{E}} \int ^{t}_{0}d^{2}_{\infty } \bigl( X(s), X^{\epsilon }(s) \bigr)\,ds. \end{aligned}$$


$$\begin{aligned} & {\mathbb{E}}\sup_{u \in [0,t]}d^{2}_{\infty } \bigl(X(u),X^{\epsilon }(u) \bigr) \\ &\quad\leq \bigl( 2L^{2}+32L^{2}(T+ \epsilon )^{2\alpha }+32L^{2}{ \epsilon }^{2\alpha } \bigr) \int ^{t}_{0} {\mathbb{E}}\sup_{u \in [0,s]}d^{2}_{ \infty } \bigl( X(u), X^{\epsilon }(u) \bigr)\,ds \\ &\qquad{}+ \biggl( 64{\epsilon }^{2\alpha } C^{2}+ 64C^{2}(T+ \epsilon )^{2 \alpha } \frac{\alpha +1}{\alpha } {\epsilon }^{\alpha } \biggr) \int ^{t}_{0} \bigl(1+{\mathbb{E}}\bigl\vert \!\bigl\vert \!\bigl\vert \bigl[X^{\epsilon }(s) \bigr]^{0} \bigr\vert \!\bigr\vert \! \bigr\vert ^{2} \bigr) \,ds. \end{aligned}$$

By Gronwall’s lemma, \({\mathbb{E}}\sup_{u \in [0,t]}d^{2}_{\infty } (X(u),X^{\epsilon }(u) ) \rightarrow 0\) as \(\epsilon \rightarrow 0\), which completes the proof. □

3.1 Example in finance

The following crisp SFDE is typically used in financial modeling:

$$\begin{aligned} X(t)=X_{0}+ \int ^{t}_{0} \mu X(s)\,ds+ \int ^{t}_{0} \sigma X(s)\,dB_{H}(s),\quad X_{0}=X(0), \end{aligned}$$

where the underlying stochastic process is the fBm. The long-range dependence and self-similarity property of fBm make this process suitable to describe the financial quantities. On the other hand, we can model the price dynamics by the equation which involves the uncertainties. This leads to modeling with fuzzy processes in equations. In the case of linear coefficients, we obtain an explicit solution of Eq. (3.1). Thus, consider the fractional FSDE which satisfy assumptions of Theorem 3.2 as follows:

$$\begin{aligned} X(t)=X_{0}+ \int ^{t}_{0} \mu X(s)\,ds+ \biggl\langle \int ^{t}_{0} \frac{\sigma }{2} \bigl(X^{1}_{l}(s)+X^{1}_{u}(s) \bigr) \,dB_{H}(s) \biggr\rangle , \end{aligned}$$

where \(X: {\mathbb{R}}_{+} \times \Omega \rightarrow {\mathcal{F}}({\mathbb{R}})\), \(B_{H}\) is an fBm, \(X^{1}_{l}, X^{1}_{u}: {\mathbb{R}}_{+} \times \Omega \rightarrow { \mathbb{R}}\) such that \([X(t)]^{1}=[X^{1}_{l}(t), X^{1}_{u}(t)]\), \(X_{0} \in {\mathcal{L}}^{2}(\Omega, {\mathcal{A}}_{0},P; {\mathcal{F}}({\mathbb{R}}))\), and \(\mu,\sigma \in {\mathbb{R}}\). In order to find a closed explicit form of a solution to (3.24), for \(\mu \geq 0\), we obtain the following system of equations:

$$\begin{aligned} \textstyle\begin{cases} X^{1}_{l}(t)=X^{1}_{l}(0)+\int ^{t}_{0} \mu X^{1}_{l}(s) \,ds+\int ^{t}_{0} \frac{\sigma }{2} (X^{1}_{l}(s)+X^{1}_{u}(s))\,dB_{H}(s), \\ X^{1}_{u}(t)=X^{1}_{u}(0)+\int ^{t}_{0} \mu X^{1}_{u}(s) \,ds+\int ^{t}_{0} \frac{\sigma }{2} (X^{1}_{l}(s)+X^{1}_{u}(s))\,dB_{H}(s), \end{cases}\displaystyle \end{aligned}$$


$$\begin{aligned} X^{1}_{l}(t)+X^{1}_{u}(t)={}&X^{1}_{l}(0)+X^{1}_{u}(0)+ \int ^{t}_{0} \mu \bigl(X^{1}_{l}(s)+X^{1}_{u}(s) \bigr) \,ds \\ &{}+ \int ^{t}_{0} \sigma \bigl(X^{1}_{l}(s)+X^{1}_{u}(s) \bigr)\,dB_{H}(s). \end{aligned}$$

By equation (2.3), the approximation form of Eq. (3.25) is

$$\begin{aligned} X^{\epsilon 1}_{l}(t)+X^{ \epsilon 1}_{u}(t)={}&X^{\epsilon 1}_{l}(0)+X^{ \epsilon 1}_{u}(0)+ \int ^{t}_{0} \bigl(\mu +\sigma \alpha \varphi ^{ \epsilon }(s) \bigr) \bigl(X^{\epsilon 1}_{l}(s)+X^{\epsilon 1}_{u}(s) \bigr) \,ds \\ &{}+ \int ^{t}_{0} \sigma \epsilon ^{\alpha } \bigl(X^{\epsilon 1}_{l}(s)+X^{ \epsilon 1}_{u}(s) \bigr) \,dW(s). \end{aligned}$$

Hence, from the explicit solution of the crisp linear SDEs, one has a unique solution,

$$\begin{aligned} X^{\epsilon 1}_{l}(t)+X^{ \epsilon 1}_{u}(t)&= \bigl(X^{\epsilon 1}_{l}(0)+X^{ \epsilon 1}_{u}(0) \bigr) \exp \biggl(\mu t+\sigma \alpha \int ^{t}_{0} \varphi ^{\epsilon }(s)\,ds - \frac{1}{2}\sigma ^{2}\epsilon ^{2\alpha }t+ \sigma \epsilon ^{\alpha } W(t) \biggr) \\ &= \bigl(X^{\epsilon 1}_{l}(0)+X^{\epsilon 1}_{u}(0) \bigr) \exp \biggl(\mu t+\sigma B^{\epsilon }_{H}(t) - \frac{1}{2}\sigma ^{2} \epsilon ^{2\alpha }t \biggr). \end{aligned}$$

Now, for every \(\alpha \in [0,1]\), we apply a similar procedure to obtain the following systems:

$$\begin{aligned} \textstyle\begin{cases} X^{\epsilon \alpha }_{l}(t)=X^{\epsilon \alpha }_{l}(0)+\int ^{t}_{0} \mu X^{\epsilon \alpha }_{l}(s) \,ds+\int ^{t}_{0} \frac{\sigma }{2} (X^{ \epsilon 1}_{l}(s)+X^{\epsilon 1}_{u}(s))\,dB^{\epsilon }_{H}(s), \\ X^{\epsilon \alpha }_{u}(t)=X^{\epsilon \alpha }_{u}(0)+\int ^{t}_{0} \mu X^{\epsilon \alpha }_{u}(s) \,ds+\int ^{t}_{0} \frac{\sigma }{2} (X^{ \epsilon 1}_{l}(s)+X^{\epsilon 1}_{u}(s))\,dB^{\epsilon }_{H}(s). \end{cases}\displaystyle \end{aligned}$$

For \(\mu \geq 0\), we apply the solution (3.27) to get the following system:

$$\begin{aligned} X^{\epsilon \alpha }_{l}(t)={}&X^{\epsilon \alpha }_{l}(0)+ \int ^{t}_{0} \mu X^{\epsilon \alpha }_{l}(s) \,ds \\ &{}+ \int ^{t}_{0} \frac{\sigma }{2} \bigl(X^{\epsilon 1}_{l}(0)+X^{ \epsilon 1}_{u}(0) \bigr) \exp \biggl(\mu s+\sigma B^{\epsilon }_{H}(s) - \frac{1}{2} \sigma ^{2}\epsilon ^{2\alpha }s \biggr)\,dB^{\epsilon }_{H}(s), \\ X^{\epsilon \alpha }_{u}(t)={}&X^{\epsilon \alpha }_{u}(0)+ \int ^{t}_{0} \mu X^{\epsilon \alpha }_{u}(s) \,ds \\ &{}+ \int ^{t}_{0} \frac{\sigma }{2} \bigl(X^{\epsilon 1}_{l}(0)+X^{ \epsilon 1}_{u}(0) \bigr) \exp \biggl(\mu s +\sigma B^{\epsilon }_{H}(s) - \frac{1}{2} \sigma ^{2}\epsilon ^{2\alpha }s \biggr)\,dB^{\epsilon }_{H}(s) , \end{aligned}$$

or in terms of the Wiener process W, we have

$$\begin{aligned} X^{\epsilon \alpha }_{l}(t)={}&X^{\epsilon \alpha }_{l}(0)+ \int ^{t}_{0} \mu X^{\epsilon \alpha }_{l}(s) \,ds \\ &{}+\alpha \frac{\sigma }{2} \bigl(X^{\epsilon 1}_{l}(0)+ X^{\epsilon 1}_{u}(0) \bigr) \\ &{}\times \int ^{t}_{0} \varphi ^{\epsilon }(s) \exp \biggl( \mu s+\sigma \alpha \int ^{s}_{0}\varphi ^{\epsilon }(u)\,du - \frac{1}{2}\sigma ^{2} \epsilon ^{2\alpha }s+ \sigma \epsilon ^{\alpha } W(s) \biggr)\,ds \\ &{}+\epsilon ^{\alpha } \frac{\sigma }{2} \bigl(X^{\epsilon 1}_{l}(0)+ X^{ \epsilon 1}_{u}(0) \bigr) \\ &{}\times\int ^{t}_{0} \exp \biggl(\mu s+\sigma \alpha \int ^{s}_{0}\varphi ^{\epsilon }(u)\,du - \frac{1}{2}\sigma ^{2} \epsilon ^{2\alpha }s+ \sigma \epsilon ^{\alpha } W(s) \biggr)\,dW(s), \\ X^{\epsilon \alpha }_{u}(t)={}&X^{\epsilon \alpha }_{u}(0)+ \int ^{t}_{0} \mu X^{\epsilon \alpha }_{u}(s) \,ds \\ &{}+\alpha \frac{\sigma }{2} \bigl(X^{\epsilon 1}_{l}(0)+ X^{\epsilon 1}_{u}(0) \bigr) \\ &{}\times\int ^{t}_{0} \varphi ^{\epsilon }(s) \exp \biggl( \mu s+\sigma \alpha \int ^{s}_{0}\varphi ^{\epsilon }(u)\,du - \frac{1}{2}\sigma ^{2} \epsilon ^{2\alpha }s+ \sigma \epsilon ^{\alpha } W(s) \biggr)\,ds \\ &{}+\epsilon ^{\alpha } \frac{\sigma }{2} \bigl(X^{\epsilon 1}_{l}(0)+ X^{ \epsilon 1}_{u}(0) \bigr) \\ &{}\times\int ^{t}_{0} \exp \biggl(\mu s+\sigma \alpha \int ^{s}_{0}\varphi ^{\epsilon }(u)\,du - \frac{1}{2}\sigma ^{2} \epsilon ^{2\alpha }s+ \sigma \epsilon ^{\alpha } W(s) \biggr)\,dW(s). \end{aligned}$$

Apply Theorem 8.5.2 in [1] to obtain the unique solution to (3.28) in a form:

$$\begin{aligned} X^{\epsilon \alpha }_{l}(t)={}&e^{\mu t}X^{\epsilon \alpha }_{l}(0) \\ &{}+e^{\mu t}\alpha \frac{\sigma }{2} \bigl(X^{\epsilon 1}_{l}(0)+ X^{ \epsilon 1}_{u}(0) \bigr) \\ &{}\times \int ^{t}_{0} \varphi ^{\epsilon }(s) \exp \biggl( \sigma \alpha \int ^{s}_{0}\varphi ^{\epsilon }(u)\,du - \frac{1}{2}\sigma ^{2}\epsilon ^{2\alpha }s+ \sigma \epsilon ^{\alpha } W(s) \biggr)\,ds \\ &{}+e^{\mu t}\epsilon ^{\alpha } \frac{\sigma }{2} \bigl(X^{\epsilon 1}_{l}(0)+ X^{\epsilon 1}_{u}(0) \bigr) \\ &{}\times \int ^{t}_{0} \exp \biggl(\sigma \alpha \int ^{s}_{0}\varphi ^{\epsilon }(u)\,du - \frac{1}{2}\sigma ^{2} \epsilon ^{2\alpha }s+ \sigma \epsilon ^{\alpha } W(s) \biggr)\,dW(s), \\ X^{\epsilon \alpha }_{u}(t)={}& e^{\mu t} X^{\epsilon \alpha }_{u}(0) \\ &{}+e^{\mu t}\alpha \frac{\sigma }{2} \bigl(X^{\epsilon 1}_{l}(0)+ X^{ \epsilon 1}_{u}(0) \bigr) \\ &{}\times \int ^{t}_{0} \varphi ^{\epsilon }(s) \exp \biggl( \sigma \alpha \int ^{s}_{0}\varphi ^{\epsilon }(u)\,du - \frac{1}{2}\sigma ^{2}\epsilon ^{2\alpha }s+ \sigma \epsilon ^{\alpha } W(s) \biggr)\,ds \\ &{}+e^{\mu t}\epsilon ^{\alpha } \frac{\sigma }{2} \bigl(X^{\epsilon 1}_{l}(0)+ X^{\epsilon 1}_{u}(0) \bigr) \\ &{}\times \int ^{t}_{0} \exp \biggl(\sigma \alpha \int ^{s}_{0}\varphi ^{\epsilon }(u)\,du - \frac{1}{2}\sigma ^{2} \epsilon ^{2\alpha }s+ \sigma \epsilon ^{\alpha } W(s) \biggr)\,dW(s). \end{aligned}$$


$$\begin{aligned} X^{\epsilon \alpha }_{l}(t)={}&e^{\mu t} \biggl[X^{\epsilon \alpha }_{l}(0)+ \frac{\sigma }{2} \bigl(X^{\epsilon 1}_{l}(0)+ X^{\epsilon 1}_{u}(0) \bigr) \\ &{}\times \int ^{t}_{0} \exp \biggl(\sigma B^{\epsilon }_{H}(s) - \frac{1}{2}\sigma ^{2}\epsilon ^{2\alpha }s \biggr) \,dB^{\epsilon }_{H}(s) \biggr], \\ X^{\epsilon \alpha }_{u}(t)={}& e^{\mu t} \biggl[X^{\epsilon \alpha }_{u}(0)+ \frac{\sigma }{2} \bigl(X^{\epsilon 1}_{l}(0)+ X^{\epsilon 1}_{u}(0) \bigr) \\ &{}\times \int ^{t}_{0} \exp \biggl(\sigma B^{\epsilon }_{H}(s) - \frac{1}{2}\sigma ^{2}\epsilon ^{2\alpha }s \biggr) \,dB^{\epsilon }_{H}(s) \biggr]. \end{aligned}$$

Therefore, the approximation fuzzy solution for \(\mu \geq 0\) is

$$\begin{aligned} X^{\epsilon }(t)={}&e^{\mu t}X(0) \\ &{}+ \biggl\langle \frac{\sigma }{2} \bigl(X^{ \epsilon 1}_{l}(0)+ X^{\epsilon 1}_{u}(0) \bigr)e^{\mu t} \int ^{t}_{0} \exp \biggl(\sigma B^{\epsilon }_{H}(s) - \frac{1}{2}\sigma ^{2} \epsilon ^{2\alpha }s \biggr) \,dB^{\epsilon }_{H}(s) \biggr\rangle . \end{aligned}$$

For \(\mu <0\), we can show that

$$\begin{aligned} \begin{aligned} X^{\epsilon \alpha }_{l}(t)={}&X^{\epsilon \alpha }_{l}(0)+ \int ^{t}_{0} \mu X^{\epsilon \alpha }_{u}(s) \,ds \\ &{}+\alpha \frac{\sigma }{2} \bigl(X^{\epsilon 1}_{l}(0)+ X^{\epsilon 1}_{u}(0) \bigr)\\ &{}\times \int ^{t}_{0} \varphi ^{\epsilon }(s) \exp \biggl( \mu s+\sigma \alpha \int ^{s}_{0}\varphi ^{\epsilon }(u)\,du - \frac{1}{2}\sigma ^{2} \epsilon ^{2\alpha }s+ \sigma \epsilon ^{\alpha } W(s) \biggr)\,ds \\ &{}+\epsilon ^{\alpha } \frac{\sigma }{2} \bigl(X^{\epsilon 1}_{l}(0)+ X^{ \epsilon 1}_{u}(0) \bigr)\\ &{}\times \int ^{t}_{0} \exp \biggl(\mu s+\sigma \alpha \int ^{s}_{0}\varphi ^{\epsilon }(u)\,du - \frac{1}{2}\sigma ^{2} \epsilon ^{2\alpha }s+ \sigma \epsilon ^{\alpha } W(s) \biggr)\,dW(s), \\ X^{\epsilon \alpha }_{u}(t)={}&X^{\epsilon \alpha }_{u}(0)+ \int ^{t}_{0} \mu X^{\epsilon \alpha }_{l}(s) \,ds \\ &{}+\alpha \frac{\sigma }{2} \bigl(X^{\epsilon 1}_{l}(0)+ X^{\epsilon 1}_{u}(0) \bigr)\\ &{}\times \int ^{t}_{0} \varphi ^{\epsilon }(s) \exp \biggl( \mu s+\sigma \alpha \int ^{s}_{0}\varphi ^{\epsilon }(u)\,du - \frac{1}{2}\sigma ^{2} \epsilon ^{2\alpha }s+ \sigma \epsilon ^{\alpha } W(s) \biggr)\,ds \\ &{}+\epsilon ^{\alpha } \frac{\sigma }{2} \bigl(X^{\epsilon 1}_{l}(0)+ X^{ \epsilon 1}_{u}(0) \bigr)\\ &{}\times \int ^{t}_{0} \exp \biggl(\mu s+\sigma \alpha \int ^{s}_{0}\varphi ^{\epsilon }(u)\,du - \frac{1}{2}\sigma ^{2} \epsilon ^{2\alpha }s+ \sigma \epsilon ^{\alpha } W(s) \biggr)\,dW(s). \end{aligned} \end{aligned}$$

The unique solution to (3.30) is of the following matrix form:

$$\begin{aligned} X^{\epsilon \alpha }_{l}(t)={}&X^{\epsilon \alpha }_{l}(0) \cosh (\mu t)+ X^{ \epsilon \alpha }_{u}(0) \sinh (\mu t) \\ &{}+e^{\mu t}\alpha \frac{\sigma }{2} \bigl(X^{\epsilon 1}_{l}(0)+ X^{ \epsilon 1}_{u}(0) \bigr) \\ &{}\times \int ^{t}_{0} \varphi ^{\epsilon }(s) \exp \biggl( \sigma \alpha \int ^{s}_{0}\varphi ^{\epsilon }(u)\,du - \frac{1}{2}\sigma ^{2}\epsilon ^{2\alpha }s+ \sigma \epsilon ^{\alpha } W(s) \biggr)\,ds \\ &{}+e^{\mu t}\epsilon ^{\alpha } \frac{\sigma }{2} \bigl(X^{\epsilon 1}_{l}(0)+ X^{\epsilon 1}_{u}(0) \bigr) \\ &{}\times \int ^{t}_{0} \exp \biggl(\sigma \alpha \int ^{s}_{0}\varphi ^{\epsilon }(u)\,du - \frac{1}{2}\sigma ^{2} \epsilon ^{2\alpha }s+ \sigma \epsilon ^{\alpha } W(s) \biggr)\,dW(s), \\ X^{\epsilon \alpha }_{u}(t)={}& X^{\epsilon \alpha }_{l}(0) \sinh ( \mu t)+ X^{ \epsilon \alpha }_{u}(0) \cosh (\mu t) \\ &{}+e^{\mu t}\alpha \frac{\sigma }{2} \bigl(X^{\epsilon 1}_{l}(0)+ X^{ \epsilon 1}_{u}(0) \bigr) \\ &{}\times \int ^{t}_{0} \varphi ^{\epsilon }(s) \exp \biggl( \sigma \alpha \int ^{s}_{0}\varphi ^{\epsilon }(u)\,du - \frac{1}{2}\sigma ^{2}\epsilon ^{2\alpha }s+ \sigma \epsilon ^{\alpha } W(s) \biggr)\,ds \\ &{}+e^{\mu t}\epsilon ^{\alpha } \frac{\sigma }{2} \bigl(X^{\epsilon 1}_{l}(0)+ X^{\epsilon 1}_{u}(0) \bigr) \\ &{}\times \int ^{t}_{0} \exp \biggl(\sigma \alpha \int ^{s}_{0}\varphi ^{\epsilon }(u)\,du - \frac{1}{2}\sigma ^{2} \epsilon ^{2\alpha }s+ \sigma \epsilon ^{\alpha } W(s) \biggr)\,dW(s). \end{aligned}$$


$$\begin{aligned} X^{\epsilon \alpha }_{l}(t)={}&X^{\epsilon \alpha }_{l}(0) \cosh (\mu t)+ X^{ \epsilon \alpha }_{u}(0) \sinh (\mu t) \\ &{}+e^{\mu t} \frac{\sigma }{2} \bigl(X^{\epsilon 1}_{l}(0)+ X^{ \epsilon 1}_{u}(0) \bigr) \int ^{t}_{0} \exp \biggl(\sigma B^{\epsilon }_{H}(s) - \frac{1}{2}\sigma ^{2}\epsilon ^{2\alpha }s \biggr) \,dB^{\epsilon }_{H}(s), \\ X^{\epsilon \alpha }_{u}(t)={}& X^{\epsilon \alpha }_{l}(0) \sinh ( \mu t)+ X^{ \epsilon \alpha }_{u}(0) \cosh (\mu t) \\ &{}+e^{\mu t} \frac{\sigma }{2} \bigl(X^{\epsilon 1}_{l}(0)+ X^{ \epsilon 1}_{u}(0) \bigr) \int ^{t}_{0} \exp \biggl(\sigma B^{\epsilon }_{H}(s) - \frac{1}{2}\sigma ^{2}\epsilon ^{2\alpha }s \biggr) \,dB^{\epsilon }_{H}(s). \end{aligned}$$

Consequently, the approximation fuzzy solution for \(\mu < 0\) is

$$\begin{aligned} X^{\epsilon }(t)={}&X(0) \cosh (\mu t)+ X(0) \sinh ( \mu t) \\ &{}+ \biggl\langle \frac{\sigma }{2} \bigl(X^{\epsilon 1}_{l}(0)+ X^{ \epsilon 1}_{u}(0) \bigr)e^{\mu t} \int ^{t}_{0} \exp \biggl(\sigma B^{ \epsilon }_{H}(s) - \frac{1}{2}\sigma ^{2}\epsilon ^{2\alpha }s \biggr) \,dB^{ \epsilon }_{H}(s) \biggr\rangle . \end{aligned}$$

4 Conclusions

We introduced a fuzzy stochastic differential equation with respect to the Liouville form fBm, which has many properties like a long-range dependence. We applied an approximation approach to fractional stochastic integrals and the embedding of classical Itô integral into fuzzy set space. Using the Picard iteration method we studied the existence and uniqueness of the solutions. We proved that the approximate solution converges uniformly to the exact solution.

Availability of data and materials

Not applicable.


  1. Allen, E.: Modeling with Itô Stochastic Differential Equations. Springer, Berlin (2007)

    MATH  Google Scholar 

  2. Alòs, E., Mazet, O., Nualart, D.: Stochastic calculus with respect to fractional Brownian motion with Hurst parameter lesser than 1/2. Stoch. Process. Appl. 86, 121–139 (2000)

    Article  MathSciNet  Google Scholar 

  3. Alòs, E., Nualart, D.: Stochastic integration with respect to the fractional Brownian motion. Stoch. Stoch. Rep. 75, 129–152 (2002)

    Article  MathSciNet  Google Scholar 

  4. Carmona, P., Coutin, L., Montseny, G.: Stochastic integration with respect to fractional Brownian motion. Ann. Inst. Henri Poincaré 39, 27–68 (2003)

    Article  MathSciNet  Google Scholar 

  5. Colubi, A., Dominguez-Menchero, J.S., Lopez-Diaz, M., Ralescu, D.A.: A \(D_{E} [0, 1]\) representation of random upper semi continuous functions. Proc. Am. Math. Soc. 130, 3237–3242 (2002)

    Article  Google Scholar 

  6. Decreusefond, L., Üstünel, A.S.: Stochastic analysis of the fractional Brownian motion. Potential Anal. 10, 177–214 (1998)

    Article  MathSciNet  Google Scholar 

  7. Diamond, P., Kloeden, P.E.: Metric Spaces of Fuzzy Sets: Theory and Applications. World Scientific, Singapore (1994)

    Book  Google Scholar 

  8. Hiai, F., Umegaki, H.: Integrals, conditional expectation, and martingales of multivalued functions. J. Multivar. Anal. 7, 149–182 (1977)

    Article  MathSciNet  Google Scholar 

  9. Kim, J.H.: On fuzzy stochastic differential equations. J. Korean Math. Soc. 42, 153–169 (2005)

    Article  MathSciNet  Google Scholar 

  10. Kolmogorov, A.N.: Wienersche Spiralen und einige andere interessante Kurven im Hilbertschen Raum. (German) C. R. (Doklady) Acad. URSS (N.S.) 26, 115–118 (1940)

    MathSciNet  MATH  Google Scholar 

  11. Lakshmikantham, V., Mohapatra, R.N.: Theory of Fuzzy Differential Equations and Inclusions. Taylor & Francis, London (2003)

    Book  Google Scholar 

  12. Malinowski, M.T.: Stochastic fuzzy differential equations with an application. Kybernetika 47, 123–143 (2011)

    MathSciNet  MATH  Google Scholar 

  13. Malinowski, M.T.: Strong solutions to stochastic fuzzy differential equations of Itô type. Math. Comput. Model. 55, 918–928 (2012)

    Article  Google Scholar 

  14. Malinowski, M.T.: Itô type stochastic fuzzy differential equations with delay. Syst. Control Lett. 61, 692–701 (2012)

    Article  Google Scholar 

  15. Malinowski, M.T.: Some properties of strong solutions to stochastic fuzzy differential equations. Information Sciences 252, 62–80 (2013)

    Article  MathSciNet  Google Scholar 

  16. Mandelbrot, B.B., Van Ness, J.W.: Fractional Brownian motions, fractional noises and applications. SIAM Rev. 10, 422–437 (1968)

    Article  MathSciNet  Google Scholar 

  17. Puri, M.L., Ralescu, D.A.: Fuzzy random variables. J. Math. Anal. Appl. 114, 409–422 (1986)

    Article  MathSciNet  Google Scholar 

  18. Thao, T.H.: An approximate approach to fractional analysis for finance. Nonlinear Anal., Real World Appl. 7(1), 124–132 (2006)

    Article  MathSciNet  Google Scholar 

  19. Young, L.C.: An inequality of the Hölder type connected with Stieltjes integration. Acta Math. 67, 251–282 (1936)

    Article  MathSciNet  Google Scholar 

Download references


Not applicable.


Not applicable.

Author information

Authors and Affiliations



The main idea of this paper was proposed by MTM. HJ prepared the manuscript initially and performed all the steps of the proofs in this research. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Hossein Jafari.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Jafari, H., Malinowski, M.T. & Ebadi, M.J. Fuzzy stochastic differential equations driven by fractional Brownian motion. Adv Differ Equ 2021, 16 (2021).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: