Abstract
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.
Similar content being viewed by others
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 [12–15] 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:
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 [2–4, 6]). In [16] a representation of \(B_{H}(t)\) was given as follows:
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:
Furthermore,
where
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
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
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
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
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
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
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 , where for \(y \in {\mathbb{R}}\), if \(x=y\) and if \(x\neq y\).
Definition 2.1
([17])
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:
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
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
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
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
Proposition 2.1
([13])
For the integral \(L_{x}\), one can show the following properties:
-
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)
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)
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}}\),
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:
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
Assumptions 3.1
Consider the following assumptions on the equation coefficients:
-
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.
-
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). $$ -
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
([13])
Consider \(X,Y \in L^{2}(I \times \Omega, {\mathcal {N}}; { \mathbb{R}})\), then
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.
Proof
Consider the SDE (3.2),
By Eq. (2.3), we can write
Let us consider the Picard iterations
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
Then, by Propositions 2.1, 3.1, and assumption A3, it can be written as
for \(\alpha =H-\frac{1}{2}>0\). Hence
We have
By applying (2.4) to (3.8), and the Hölder inequality we get
Hence, from (3.7) and (3.9) we obtain
for every \(t \in I\). Then, similarly,
Therefore
Apply the Chebyshev inequality, it follows that
The series \(\sum^{\infty }_{n=1}2^{n}j_{n}(T)\) is convergent. From the Borel–Cantelli lemma, we derive
For almost all \(\omega \in \Omega \), there exists \(n_{0}(\omega )\) such that
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
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
tends to zero. Then
Therefore
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
then, by computations similar to the existence case, we have
The implementation of the Gronwall inequality leads to \(j(t)=0\) for \(t \in I\). Then
by which the proof of uniqueness is completed. □
Lemma 3.1
For every \(\epsilon >0\) and \(0<\alpha < \frac{1}{2}\) we have
Proof
We apply the finite-increments formula to the function \(f(x)=x^{\alpha -1}\) to obtain
then
Hence
Therefore
□
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]\).
Proof
Consider Eq. (3.1) and the corresponding approximation of equations as follows:
We can write
Then
Apply Eq. (2.3) to get
Then
Apply the Doob inequality, the Hölder inequality and the Itô isometry property to obtain
By similar arguments to (3.9), from (3.11) and assumptions \((A1)\)–\((A3)\), we infer that
Hence
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:
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:
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:
then
By equation (2.3), the approximation form of Eq. (3.25) is
Hence, from the explicit solution of the crisp linear SDEs, one has a unique solution,
Now, for every \(\alpha \in [0,1]\), we apply a similar procedure to obtain the following systems:
For \(\mu \geq 0\), we apply the solution (3.27) to get the following system:
or in terms of the Wiener process W, we have
Apply Theorem 8.5.2 in [1] to obtain the unique solution to (3.28) in a form:
Then
Therefore, the approximation fuzzy solution for \(\mu \geq 0\) is
For \(\mu <0\), we can show that
The unique solution to (3.30) is of the following matrix form:
Then
Consequently, the approximation fuzzy solution for \(\mu < 0\) is
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.
References
Allen, E.: Modeling with Itô Stochastic Differential Equations. Springer, Berlin (2007)
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)
Alòs, E., Nualart, D.: Stochastic integration with respect to the fractional Brownian motion. Stoch. Stoch. Rep. 75, 129–152 (2002)
Carmona, P., Coutin, L., Montseny, G.: Stochastic integration with respect to fractional Brownian motion. Ann. Inst. Henri Poincaré 39, 27–68 (2003)
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)
Decreusefond, L., Üstünel, A.S.: Stochastic analysis of the fractional Brownian motion. Potential Anal. 10, 177–214 (1998)
Diamond, P., Kloeden, P.E.: Metric Spaces of Fuzzy Sets: Theory and Applications. World Scientific, Singapore (1994)
Hiai, F., Umegaki, H.: Integrals, conditional expectation, and martingales of multivalued functions. J. Multivar. Anal. 7, 149–182 (1977)
Kim, J.H.: On fuzzy stochastic differential equations. J. Korean Math. Soc. 42, 153–169 (2005)
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)
Lakshmikantham, V., Mohapatra, R.N.: Theory of Fuzzy Differential Equations and Inclusions. Taylor & Francis, London (2003)
Malinowski, M.T.: Stochastic fuzzy differential equations with an application. Kybernetika 47, 123–143 (2011)
Malinowski, M.T.: Strong solutions to stochastic fuzzy differential equations of Itô type. Math. Comput. Model. 55, 918–928 (2012)
Malinowski, M.T.: Itô type stochastic fuzzy differential equations with delay. Syst. Control Lett. 61, 692–701 (2012)
Malinowski, M.T.: Some properties of strong solutions to stochastic fuzzy differential equations. Information Sciences 252, 62–80 (2013)
Mandelbrot, B.B., Van Ness, J.W.: Fractional Brownian motions, fractional noises and applications. SIAM Rev. 10, 422–437 (1968)
Puri, M.L., Ralescu, D.A.: Fuzzy random variables. J. Math. Anal. Appl. 114, 409–422 (1986)
Thao, T.H.: An approximate approach to fractional analysis for finance. Nonlinear Anal., Real World Appl. 7(1), 124–132 (2006)
Young, L.C.: An inequality of the Hölder type connected with Stieltjes integration. Acta Math. 67, 251–282 (1936)
Acknowledgements
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
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
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 http://creativecommons.org/licenses/by/4.0/.
About this article
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). https://doi.org/10.1186/s13662-020-03181-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-03181-z