Uncertain fractional forward difference equations for Riemann–Liouville type

Abstract

To model complex systems with discrete-time features and memory effects in the uncertain environment, a definition of an uncertain fractional forward difference equation with Riemann–Liouville-like forward difference is introduced. Moreover, analytic solutions to a type of special linear uncertain fractional difference equations are presented by the Picard iteration method. Then, an existence and uniqueness theorem of the solutions is proved by applying Banach contraction mapping theorem. Finally, two examples are provided to illustrate the validity of the existence and uniqueness theorem.

Introduction

Since 1965, fractional calculus has been a topic of interest and has become a useful tool for tackling problems in physics, biology, economics, and several fields in engineering [1,2,3,4]. In fact, due to the discrete-time features of these complex systems, some efforts have been made within discretization of continuous time methods. That is, numerical versions of continuous fractional calculus can result in the discrete models, but this treatment can readily lead to cumulate errors and cannot accurately depict the non-locality of complex systems. Consequently, research on discrete fractional calculus provides a very new idea to model the systems with memory effects and discrete-time features. In addition, with the improvement of computer technology, fractional difference equations are more easily solved by computers. Therefore fractional difference equations have been increasingly brought into focus. In this new area, a ground-breaking work has been set up by Miller and Ross. After that, the definitions and basic properties [5,6,7], correlation transformations [8], and equations [9,10,11,12,13] of fractional order difference have been studied in succession.

On the other hand, any system has its inherent structure and is disturbed by external factors in the practical application. Thereby, the fuzzy fractional differential equations (FFDEs) [14] and stochastic fractional differential equations (SSDEs) [15] have been extensively researched. A system disturbed by external objective random noises is popularly governed by SSDEs. This noise is usually characterized by Brownian motion. Nevertheless, when the system is interfered by external subjective noises, how to depict the subjective noises in mathematical language is a question. In general, external subjective noises make it difficult to accurately describe the behavior of systems. Fortunately, in 2007 [16] Liu established uncertainty theory for modeling belief degrees and refined it in 2010 [17] to do so. Then subjective noises may be described by canonical Liu process in the uncertainty theory. In recent years, more and more systems have been found to have memory effects such as stock price movement. To investigate systems with memory effects in the uncertain environment, the conception of uncertain fractional differential equations (UFDEs) rested on the uncertain theory was introduced in [18]. Furthermore, existence of their solutions was discussed in [19]. Recently, UFDEs were extended and applied to European option pricing in [20]. Meanwhile, comparison principles of the fractional differential equations were proposed in [21]. Furthermore, a numerical approach for solving UFDEs was also provided in [22] by the comparison principles in [21]. To our knowledge, research on the fractional equations in the uncertain environment is just beginning, and a lot of work needs to be done. So the uncertain fractional difference equations should be also explored to adjust to the need of theory and applications.

Motivated by the works mentioned above, to develop modeling techniques with discrete fractional calculus, we will define an uncertain fractional forward difference equation (UFFDE) and present an existence and uniqueness theorem of solutions to UFFDEs. The rest is arranged as follows: In Sect. 2, some facts in discrete fractional calculus are revisited. In Sect. 3, the fractional sum and difference for uncertain sequences are introduced. In Sect. 4, UFFDEs for Riemann–Liouville type are defined and the analytic solutions for a type of the linear UFFDEs for Riemann–Liouville type are obtained. In Sect. 5, an existence and uniqueness theorem of solutions is stated and verified. In Sect. 6, a conclusion is drawn.

Preliminaries

Some important facts in uncertainty theory, such as uncertainty space, uncertain measure, uncertain variable, and uncertainty distribution, may be adopted in the following sections. More details can be found in [16, 17, 19]. This section is concerned with some facts in fractional order sum. The μth order fractional sum is defined in [8] as

$$ \Delta _{s}^{-\mu }f(t)=\frac{1}{\varGamma (\mu )}\sum _{l=s}^{t-\mu }\bigl(t- \sigma (l)\bigr)^{(\mu -1)}f(l), $$

where $\mu >0$, s is a real number, $f(t)$ is a real-value function defined on $\mathbb{N}_{s}=\{s,s+1,\ldots \}$, $\Delta _{s}^{-\mu }f(t)$ is defined on $\mathbb{N}_{s+\mu }$, $\sigma (l)=l+1$, $t^{(\mu )}=\frac{ \varGamma (t+1)}{\varGamma (t+1-\mu )}$, and $\varGamma (\mu )$ is the gamma function.

Note that the fractional sum $\Delta _{s}^{-\mu }$ maps functions whose domains are $\mathbb{N}_{s}$ to functions whose domains are $\mathbb{N}_{s+\mu }$. In the rest of this paper, the starting point s is generally a real number.

An important result on the fractional sum operator will be presented.

Lemma 1

([8])

Let $\nu \in R\setminus \{\ldots ,-2,-1 \}$, where R represents the set of real numbers, $\mu >0$, and $t\in \mathbb{N} _{s+\mu +\nu }$. Then

$$ \Delta _{s+\nu }^{-\mu }(t-s)^{(\nu )}=\frac{\varGamma (\nu +1)}{\varGamma ( \mu +1+\nu )}(t-s)^{(\mu +\nu )}. $$

Fractional sum and fractional Riemann–Liouville-like forward difference for uncertain sequences

In this section, at first, the integer order difference and sum for uncertain sequences will be given. Then the fractional sum and the fractional Riemann–Liouville-like forward difference for uncertain sequences will be defined. The properties of the fractional sum operator for uncertain sequences will be finally obtained.

Definition 1

Let $h>0$ and $\xi _{t}$ be an uncertain sequence which is actually a series of uncertain variables indexed by $t=s+ih$, $i\in \mathbb{N}_{0}$. Then

$$ \Delta _{h}\xi _{t}=\frac{\xi _{t+h}-\xi _{t}}{h} $$

is called first order forward difference of uncertain sequence $\xi _{t}$, where h is a step size, and

$$ \Delta _{h}^{n}\xi _{t}:= \Delta _{h} \bigl(\Delta _{h}^{n-1}\xi _{t}\bigr) $$

is called nth order forward difference of uncertain sequence $\xi _{t}$, where $n\geq 2$ is a natural number.

Definition 2

Let $h>0$ and $\xi _{t}$ be an uncertain sequence which is a series of uncertain variables indexed by $t=s+jh$, $j\in \mathbb{N}_{1}$. Then

$$ _{s}\Delta _{h}^{-1}\xi _{t}=\sum_{l=s/h}^{t/h-1}\xi _{lh}h $$

(1)

is called first order forward sum of uncertain sequence $\xi _{t}$, and

$$ _{s}\Delta _{h}^{-n}\xi _{t}:={_{s}\Delta _{h}^{-1}} \bigl(_{s}\Delta _{h}^{-(n-1)} \xi _{t} \bigr) $$

(2)

is called nth order forward sum of uncertain sequence $\xi _{t}$, where $n\geq 2$ is a natural number.

Lemma 2

The following equality holds:

$$ \Delta _{h}\bigl(_{s}\Delta _{h}^{-1} \xi _{t}\bigr)=\xi _{t}. $$

Proof

The equality is easily obtained by Definition 1 and Definition 2. □

According to Eq. (1) and Eq. (2), we can readily obtain the positive integer nth order forward sum for uncertain sequence $\xi _{t}$ as follows:

$$ _{s}\Delta _{h}^{-n}\xi _{t}=\frac{1}{\varGamma (n)}\sum_{l=s/h} ^{t/h-n}(t-lh-h)_{h}^{(n-1)}\xi _{lh}h, $$

(3)

where

$$ (t-lh-h)_{h}^{(n)}=(t-lh-h) (t-lh-2h)\cdots(t-lh-nh) $$

and $(t)_{h}^{(0)}=1$. Obviously, the right-hand side of formula (3) makes sense for all positive real number n. Generally, we consider the case with $h=1$. So we have a definition of any order sum of uncertain sequence as follows.

Definition 3

Assume that $\mu >0$ and $\xi _{t}$ is an uncertain sequence. Then

$$ \Delta _{s}^{-\mu }\xi _{t}=\frac{1}{\varGamma (\mu )}\sum _{l=s} ^{t-\mu }\bigl(t-\sigma (l) \bigr)^{(\mu -1)}\xi _{l} $$

is called μth order forward fractional sum for uncertain sequence $\xi _{t}$, where $t\in \mathbb{N}_{s+\mu }$, $\sigma (l)=l+1$.

Definition 4

The fractional Riemann–Liouville-like forward difference for uncertain sequence $\xi _{t}$ is defined by

$$ \Delta _{s}^{\nu }\xi _{t}=\Delta ^{q} \bigl(\Delta _{s}^{-(q-\nu )}\xi _{t}\bigr), $$

where $\nu >0$ and $q-1<\nu \le q$, q represents a positive integer.

Lemma 3

Let $\mu ,\nu >0$ and $\xi _{t}$ be an uncertain sequence. Then we have the following equalities:

$$ \Delta _{s+\mu }^{-\nu }\bigl(\Delta _{s}^{-\mu } \xi _{t}\bigr)=\Delta _{s}^{-( \mu +\nu )}\xi _{t}=\Delta _{s+\nu }^{-\mu }\bigl(\Delta _{s}^{-\nu }\xi _{t}\bigr). $$

Proof

According to the definition of fractional sum for uncertain sequences, conclusion is easy to be verified. □

Lemma 4

For any real number $\nu >0$, we have

$$ \Delta _{s}^{-\nu }\Delta \xi _{t} =\Delta \Delta _{s}^{-\nu }\xi _{t}-\frac{(t-s)^{( \nu -1)}}{\varGamma (\nu )}\xi _{s}, $$

(4)

where $\xi _{t}$ is an uncertain sequence, and $\Delta \xi _{t}=\xi _{t+1}- \xi _{t}$.

Proof

By similar derivation to [9], the lemma is easy to be verified. □

Uncertain fractional forward difference equation for Riemann–Liouville type

A definition of the UFFDE with Riemann–Liouville type will be exhibited in this section. The analytic solutions to a class of the linear UFFDEs with Riemann–Liouville type will be provided along with ones for linear uncertain first order forward difference equations.

Definition 5

A fractional difference equation is called an uncertain fractional difference equation if it is driven by an uncertain sequence. Further, an uncertain fractional forward difference equation for Riemann–Liouville type is the uncertain fractional difference equation with Riemann–Liouville-like forward difference.

We will just explore the solution of the following UFFDE with the initial condition in this paper:

$$\begin{aligned} &\Delta _{\mu -1}^{\mu }Y(t)=G\bigl(t+\mu ,Y(t+\mu )\bigr)+H \bigl(t+\mu ,Y(t+\mu )\bigr) \xi _{t+\mu }, \end{aligned}$$

(5)

$$\begin{aligned} &\Delta _{\mu -1}^{\mu -1}Y(t)|_{t=0}=Y_{0}, \end{aligned}$$

(6)

where $\Delta _{\mu -1}^{\mu }$ denotes fractional Riemann–Liouville-like forward difference, $G,H:[0,\infty )\times R \to R$ are two functions. $t\in {\mathbb{N} _{0}}\cap [0,T]$, $\mu \in (0,1]$, $Y_{0}$ is a crisp number, and $\xi _{\mu },\xi _{\mu +1},\ldots , \xi _{\mu +t}$ are $t+1$ i.i.d. uncertain variables that have linear uncertainty distribution $\mathcal{L}(a,b)$. A solution of UFFDE (5) with the initial condition (6) is an uncertain sequence $Y(t)$ that satisfies Eq. (5) uniformly in t.

Note that i.i.d. uncertain variables means that they are independent and have the same uncertainty distribution. More details can be seen in [17].

Remark 1

According to Definition 3 and Lemma 4, UFFDE (5) is equivalent to the uncertain fractional sum equation

$$\begin{aligned} Y(t)= {}&\frac{1}{\varGamma (\mu )}\sum_{l=0}^{t-\mu } \bigl(t-\sigma (l)\bigr)^{( \mu -1)}\bigl(G\bigl(l+\mu ,Y(l+\mu )\bigr)+H \bigl(l+\mu ,Y(l+\mu )\bigr)\xi _{l+\mu }\bigr) \\ &{}+\frac{Y_{0}}{\varGamma (\mu )}t^{(\mu -1)} \end{aligned}$$

for $t\in {\mathbb{N}_{\mu }}\cap [0,T]$.

The following special linear UFFDE will be considered in the sequel:

$$\begin{aligned} &\Delta _{\mu -1}^{\mu }Y(t)=\lambda Y(t+\mu )+\lambda \xi _{t+\mu }, \end{aligned}$$

(7)

$$\begin{aligned} &\Delta _{\mu -1}^{\mu -1}Y(t)|_{t=0}=Y_{0} \end{aligned}$$

(8)

for $t\in {\mathbb{N}_{0}}\cap [0,T]$, where $\Delta _{\mu -1}^{\mu }$ denotes the fractional Riemann–Liouville-like forward difference, $\mu \in (0,1]$, $0<\lambda <1$, $\xi _{\mu },\xi _{\mu +1}, \ldots ,\xi _{\mu +t}$ are $t+1$ i.i.d. uncertain variables that have linear uncertainty distribution $\mathcal{L}(a,b)$, $Y_{0}$ is a crisp number.

Theorem 1

UFFDE (7) with the initial value condition (8) has a solution

$$ Y(t)=Y_{0}F_{\mu ,\lambda }(t)+\zeta _{t}, \quad t\in { \mathbb{N}_{\mu }\cap [0,T]} $$

(9)

for $0<\lambda <1$, where $\zeta _{t}$ is an uncertain sequence with the linear uncertainty distribution $\mathcal{L}(a\cdot e_{\mu ,\lambda }(t),b \cdot e_{\mu ,\lambda }(t))$, and

$$ F_{\mu ,\lambda }(t)=\sum_{k=0}^{\infty }\lambda ^{k}\frac{(t+k \mu -1)^{((k+1)\mu -1)}}{\varGamma ((k+1)\mu )}, $$

(10)

and

$$ e_{\mu ,\lambda }(t)=\sum_{k=1}^{\infty }\lambda ^{k}\frac{(t+(k-1) \mu )^{(k\mu )}}{\varGamma (k\mu +1)}. $$

(11)

Proof

The Picard approximation can be adopted to derive the solution. First, apply the $\Delta _{0}^{-\mu }=\Delta ^{-\mu }$ operator to Eq. (7) to get

$$ \Delta ^{-\mu }\Delta _{\mu -1}^{\mu }Y(t)= \lambda \Delta ^{-\mu } Y(t+ \mu )+\lambda \Delta ^{-\mu }\xi _{t+\mu }, \quad t\in {\mathbb{N}_{\mu }}\cap [0,T]. $$

(12)

Apply Lemma 2, Lemma 3, and Lemma 4 to the left-hand side of Eq. (12) to obtain

$$\begin{aligned} \Delta ^{-\mu }\Delta _{\mu -1}^{\mu }Y(t) &=\Delta ^{-\mu }\Delta \Delta _{\mu -1}^{-(1-\mu )}Y(t) \\ &=\Delta \Delta ^{-\mu }\Delta _{\mu -1}^{-(1-\mu )}Y(t)- \frac{t^{( \mu -1)}}{\varGamma (\mu )}Y_{0} \\ &=\Delta \Delta ^{-1}Y(t)-\frac{t^{(\mu -1)}}{\varGamma (\mu )}Y_{0} \\ &=Y(t)-\frac{t^{(\mu -1)}}{\varGamma (\mu )}Y_{0}, \quad t\in {\mathbb{N}_{\mu }} \cap [0,T]. \end{aligned}$$

According to Eq. (12), we have

$$ Y(t)-\frac{t^{(\mu -1)}}{\varGamma (\mu )}Y_{0}=\lambda \Delta ^{-\mu } Y(t+ \mu )+\lambda \Delta ^{-\mu }\xi _{t+\mu }. $$

That is, the solution of UFFDE (7) is the solution of the sum equation as follows:

$$ Y(t)=\frac{t^{(\mu -1)}}{\varGamma (\mu )}Y_{0}+\lambda \Delta ^{-\mu } Y(t+ \mu )+\lambda \Delta ^{-\mu }\xi _{t+\mu }, \quad t\in {\mathbb{N}_{\mu }}\cap [0,T]. $$

(13)

Define $Y_{0}(t)=\frac{t^{(\mu -1)}}{\varGamma (\mu )}Y_{0}$ for $t\in {\mathbb{N}_{\mu -1}}\cap [0,T]$ and

$$ Y_{n}(t)=\frac{t^{(\mu -1)}}{\varGamma (\mu )}Y_{0}+\lambda \Delta ^{- \mu } Y_{n-1}(t+\mu )+\lambda \Delta ^{-\mu }\xi _{t+\mu },\quad t\in {\mathbb{N} _{\mu }}\cap [0,T],n\in \mathbb{N}_{0}. $$

(14)

Since $\xi _{\mu },\xi _{\mu +1},\ldots ,\xi _{\mu +t}$ are $t+1$ i.i.d. uncertain variables, write $\xi _{\mu +t}=\xi$ in distribution. By Lemma 1 and the fact (Theorem 1.21 [17]) that the linear combination of finite independent linear uncertain variables is a linear uncertain variable with positive linear combination coefficient, we get

$$\begin{aligned} Y_{1}(t) ={}&\frac{t^{(\mu -1)}}{\varGamma (\mu )}Y_{0}+\lambda \Delta ^{- \mu } Y_{0}(t+\mu -1)+\lambda \Delta ^{-\mu }\xi \\ ={}&\frac{t^{(\mu -1)}}{\varGamma (\mu )}Y_{0}+\lambda \frac{(t+\mu -1)^{(2 \mu -1)}}{\varGamma (2\mu )}Y_{0} +\lambda \frac{t^{(\mu )}}{\varGamma ( \mu +1)}\xi , \\ Y_{2}(t) ={}&\frac{t^{(\mu -1)}}{\varGamma (\mu )}Y_{0}+\lambda \Delta ^{- \mu } Y_{1}(t+\mu )+\lambda \Delta ^{-\mu }\xi _{t+\mu } \\ ={}&\frac{t^{(\mu -1)}}{\varGamma (\mu )}Y_{0}+\lambda \frac{(t+\mu -1)^{(2 \mu -1)}}{\varGamma (2\mu )}Y_{0} +\lambda ^{2}\frac{(t+2\mu -1)^{(3 \mu -1)}}{\varGamma (3\mu )}Y_{0} \\ &{}+\lambda \frac{t^{(\mu )}}{\varGamma (\mu +1)}\xi +\lambda ^{2}\frac{(t+ \mu )^{(2\mu )}}{\varGamma (2\mu +1)}\xi , \\ &\vdots \\ Y_{n}(t) ={}&\sum_{k=1}^{n}\lambda ^{k}\frac{(t+(k-1)\mu )^{(k \mu )}}{\varGamma (k\mu +1)}\xi +\sum_{k=0}^{n} \lambda ^{k}\frac{(t+k \mu -1)^{((k+1)\mu -1)}}{\varGamma ((k+1)\mu )}Y_{0}, \quad t\in { \mathbb{N}_{\mu }}\cap [0,T], \\ &\vdots \end{aligned}$$

Since the series

$$ \sum_{k=0}^{\infty }\lambda ^{k} \frac{(t+(k-1)\mu )^{(k\mu )}}{ \varGamma (k\mu +1)} $$

and

$$ \sum_{k=0}^{\infty }\lambda ^{k} \frac{(t+k\mu -1)^{((k+1)\mu -1)}}{ \varGamma ((k+1)\mu )} $$

are absolutely convergent for $\vert \lambda \vert <1$ by the d’Alembert ratio comparison test, the limitation $\lim_{n\to \infty }Y_{n}$ exists. Write $Y_{n}(t)\to \bar{Y}(t)$ as $n\to \infty$. We have

$$\begin{aligned} \bar{Y}(t)=\sum_{k=1}^{\infty }\lambda ^{k}\frac{(t+(k-1)\mu )^{(k \mu )}}{\varGamma (k\mu +1)}\xi +\sum_{k=0}^{\infty } \lambda ^{k}\frac{(t+k \mu -1)^{((k+1)\mu -1)}}{\varGamma ((k+1)\mu )}Y_{0}, \quad t\in { \mathbb{N}_{\mu }}\cap [0,T]. \end{aligned}$$

Taking limit on both sides of Eq. (14) yields

$$ \bar{Y}(t)=\frac{t^{(\mu -1)}}{\varGamma (\mu )}Y_{0}+\lambda \Delta ^{- \mu } \bar{Y}(t+\mu )+\lambda \Delta ^{-\mu }\xi _{t+\mu },\quad t\in {\mathbb{N} _{\mu }}\cap [0,T],n\in \mathbb{N}_{0}. $$

That is, $\bar{Y}(t)$ satisfies Eq. (13). Hence $\bar{Y}(t)$ is a solution of Eq. (7) with the initial value condition (8). The proof is completed. □

The following corollary will give the solutions of linear uncertain first order forward difference equations in light of Theorem 1.

Corollary 1

Uncertain first order forward difference equation

$$\begin{aligned} &\Delta Y(t)=\alpha Y(t+1)+\alpha \xi _{t+1} , \quad t\in { \mathbb{N}_{0}}\cap [0,T] , \end{aligned}$$

(15)

$$\begin{aligned} &Y(t)|_{t=0}=Y_{0} \end{aligned}$$

(16)

has a solution

$$ Y(t)=Y_{0}\frac{1}{(1-\alpha )^{t}}+\eta _{t}, \quad t\in { \mathbb{N}_{1}}\cap [0,T] $$

for $0<\alpha <1$, where $\eta _{t}$ is an uncertain sequence with linear uncertainty distribution $\mathcal{L}(\frac{a}{(1-\alpha )^{t}}-a, \frac{b}{(1- \alpha )^{t}}-b)$.

Proof

Since $\sum_{k=0}^{\infty }\alpha ^{k} \frac{(t+k-1)^{(k)}}{ \varGamma (k+1)}= \frac{1}{(1-\alpha )^{t}}$, uncertain first order forward difference equation (15) with initial value condition (16) has a solution $Y(t)=\frac{1}{(1-\alpha )^{t}}Y_{0}+\eta (t)$ by Theorem 1, where $\eta (t)$ is an uncertain sequence with linear uncertainty distribution $\mathcal{L}(\frac{a}{(1-\alpha )^{t}}-a, \frac{b}{(1- \alpha )^{t}}-b)$. The conclusion is proved. □

Existence and uniqueness

Analytic solution is provided only for a special linear UFFDE. To find out the conditions that UFFDEs have solutions, an existence and uniqueness theorem is provided in this section.

Theorem 2

(Existence and uniqueness)

Assume that $G(t,x)$ and $H(t,x)$ satisfy the Lipschitz condition

$$ \bigl\vert G(t,x)-G(t,y) \bigr\vert + \bigl\vert H(t,x)-H(t,y) \bigr\vert \leq L \vert x-y \vert , $$

(17)

and there is a positive number L that satisfies the following inequality:

$$ L< \frac{\varGamma (\mu +1)\varGamma (T+1-\mu )}{\varGamma (T+1)(1+Q)}, $$

(18)

where $Q= \vert a \vert \vee \vert b \vert$. Then UFFDE (5) with initial value condition (6) has a unique solution $Y(t)$ for $t\in \mathbb{N}_{\mu }\cap [0,T]$ almost surely.

Proof

Let $l_{\mu }^{k}$ be the set of all finite real sequences $x= \{x(t) \} _{\mu }^{k}$ which has k terms with the norm $\|x\|=\max_{t\in \mathbb{N}_{\mu }\cap [0,T]} \vert x(t) \vert$. It is evident that $(l_{\mu }^{k},\| \cdot \|)$ is a Banach space. For any $X_{t},Y_{t}\in l_{\mu }^{k}$, the operator P is defined as follows:

$$\begin{aligned} PX_{t}= {}&\frac{1}{\varGamma (\mu )}\sum _{l=0}^{t-\mu }\bigl(t-\sigma (l)\bigr)^{( \mu -1)} \bigl(G(l+\mu ,X_{l+\mu })+H(l+\mu ,X_{l+\mu })\xi _{l+\mu } \bigr) \\ &{}+\frac{Y_{0}}{\varGamma (\mu )}t^{(\mu -1)}. \end{aligned}$$

At each time t, since $\xi _{t}$ ($t\in \mathbb{N}_{\mu }\cap [0,T]$) is an uncertain variable who has linear uncertainty distribution $\mathcal{L}(a,b)$, we have $\mathcal{M} \{(\xi _{t}< a)\cup (\xi _{t}>b) \}=0$. For any given $\gamma \in \varGamma \setminus \{(\xi _{t}< a)\cup (\xi _{t}>b) \}$, $\vert \xi _{t}(\gamma ) \vert \leq Q$ $(Q= \vert a \vert \vee \vert b \vert )$ holds almost surely for $t\in \mathbb{N}_{\mu }\cap [0,T]$, where Γ is the universal set on the uncertainty space. Then

$$\begin{aligned} & \bigl\Vert PX_{t}(\gamma )-PY_{t}(\gamma ) \bigr\Vert \\ &\quad =\max_{t\in \mathbb{N}_{\mu }\cap [0,T]} \bigl\vert PX_{t}(\gamma )-PY _{t}(\gamma ) \bigr\vert \\ &\quad \leq \frac{1}{\varGamma (\mu )}\max_{t\in \mathbb{N}_{\mu }\cap [0,T]}\sum _{l=0}^{t-\mu }\bigl(t- \sigma (l)\bigr)^{(\mu -1)} \bigl( \bigl\vert G\bigl(l+\mu ,X_{l+\mu }(\gamma )\bigr)-G\bigl(l+ \mu ,Y_{l+\mu }(\gamma )\bigr) \bigr\vert \\ &\qquad {}+ \bigl\vert \bigl[H\bigl(l+\mu ,X_{l+\mu }(\gamma )\bigr)-H\bigl(l+\mu ,Y_{l+\mu }(\gamma )\bigr)\bigr] \xi _{l+\mu }(\gamma ) \bigr\vert \bigr) \\ &\quad \leq \frac{1}{\varGamma (\mu )}\max_{t\in \mathbb{N}_{\mu }\cap [0,T]}\sum _{l=0}^{t-\mu }\bigl(t- \sigma (l)\bigr)^{(\mu -1)} \bigl( \bigl\vert G\bigl(l+\mu ,X_{l+\mu }(\gamma )\bigr)-G\bigl(l+ \mu ,Y_{l+\mu }(\gamma )\bigr) \bigr\vert \\ &\qquad {}+Q \bigl\vert H\bigl(l+\mu ,X_{l+\mu }(\gamma )\bigr)-H\bigl(l+\mu ,Y_{l+\mu }(\gamma )\bigr) \bigr\vert \bigr) \\ &\quad \leq L(1+Q)\max_{t\in \mathbb{N}_{\mu }\cap [0,T]}\frac{1}{ \varGamma (\mu )}\sum _{l=0}^{t-\mu }\bigl(t-\sigma (l)\bigr)^{(\mu -1)} \bigl\vert X _{l+\mu }(\gamma )-Y_{l+\mu }(\gamma ) \bigr\vert \\ &\quad \leq L(1+Q) \bigl\Vert X_{t}(\gamma )-Y_{t}(\gamma ) \bigr\Vert \max_{t\in \mathbb{N}_{\mu }\cap [0,T]} \frac{1}{\varGamma (\mu )} \sum _{l=0}^{t-\mu }\bigl(t-\sigma (l)\bigr)^{(\mu -1)} \\ &\quad = L(1+Q) \bigl\Vert X_{t}(\gamma )-Y_{t}(\gamma ) \bigr\Vert \max_{t\in \mathbb{N}_{\mu }\cap [0,T]} \Delta _{0}^{-\mu }t^{(0)} \\ &\quad = L(1+Q) \bigl\Vert X_{t}(\gamma )-Y_{t}(\gamma ) \bigr\Vert \max_{t\in \mathbb{N}_{\mu }\cap [0,T]} \frac{1}{\varGamma (\mu +1)}t ^{(\mu )} \quad \mbox{(by Lemma 1)} \\ &\quad = L(1+Q) \bigl\Vert X_{t}(\gamma )-Y_{t}(\gamma ) \bigr\Vert \frac{1}{\varGamma (\mu +1)} \max_{t\in \mathbb{N}_{\mu }\cap [0,T]}t^{(\mu )} \\ &\quad \leq \frac{L(1+Q)T^{(\mu )}}{\varGamma (\mu +1)} \bigl\Vert X _{t}(\gamma )-Y_{t}(\gamma ) \bigr\Vert . \end{aligned}$$

When $0< L<\frac{\varGamma (\mu +1)\varGamma (T+1-\mu )}{\varGamma (T+1)(1+Q)}$, P is a contraction mapping in $l_{\mu }^{k}$ almost surely. Thus we obtain a unique fixed point $Y_{t}(\gamma )$ of P in $l_{\mu }^{k}$ almost surely by the Banach contraction mapping theorem. Furthermore, $Y_{t}(\gamma )=\lim_{n\to \infty }Y_{t}^{n}(\gamma )$, where $Y_{t}^{n}(\gamma )=P(Y_{t}^{n-1}(\gamma ))$ for $Y_{t}^{0}(\gamma )=\frac{Y _{0}}{\varGamma (\mu )}t^{(\mu -1)}$.

For any given $t\in \mathbb{N}_{\mu }\cap [0,T]$, as G and H are Lipschitz continuous functions, the operator P is measurable. Note that $Y_{t}^{0}(\gamma )$ is an uncertain variable, $Y_{t}^{1}, Y_{t} ^{2}, \ldots , Y_{t}^{n}, \ldots$ are uncertain variables since a real-valued measurable function of uncertain variables is an uncertain variable by Theorem 1.10 in [17]. Thus $Y_{t}=\lim_{n\to \infty }Y_{t}^{n}$ is an uncertain variable by Theorem 3 in [19].

Hence UFFDE (5) with initial value condition (6) has a unique solution $Y_{t}$ for $t\in \mathbb{N}_{\mu }\cap [0,T]$ almost surely. □

Here are two examples to illustrate Theorem 2.

Example 1

Consider the following UFFDE:

$$ \Delta ^{\frac{1}{2}}_{-\frac{1}{2}}Y(t)=\frac{\sin Y(t+\frac{1}{2})}{50+(t+ \frac{1}{2})^{2}}+\xi _{t+\frac{1}{2}}, \quad t\in \mathbb{N}_{0}\cap [0,4], $$

(19)

where $\xi _{\frac{1}{2}},\xi _{\frac{1}{2}+1},\ldots , \xi _{\frac{1}{2}+4}$ are 5 i.i.d. uncertain variables with linear uncertainty distribution $\mathcal{L}(-1,2)$.

It is easy to verify that

$$ \bigl\vert G(t,x)-G(t,y) \bigr\vert + \bigl\vert H(t,x)-H(t,y) \bigr\vert \leq \frac{1}{50} \vert x-y \vert $$

and

$$ \frac{\varGamma (\frac{1}{2}+1)\varGamma (4+1-\frac{1}{2})}{3\varGamma (4+1)} \approx 0.143>\frac{1}{50}. $$

Then UFFDE (19) has a unique solution almost surely by Theorem 2.

Example 2

Consider the following UFFDE:

$$ \Delta ^{\frac{1}{4}}_{-\frac{1}{4}}X(t)=0.025X^{2} \biggl(t+\frac{1}{4}\biggr)+ \xi _{t+\frac{1}{4}}, \quad t\in \mathbb{N}_{0}\cap [0,3], $$

(20)

with $X_{0}=\frac{1}{2}$, where $\xi _{\frac{1}{4}},\xi _{\frac{1}{4}+1}, \xi _{\frac{1}{4}+2}$ and $\xi _{\frac{1}{4}+3}$ are 4 i.i.d. uncertain variables with linear uncertainty distribution $\mathcal{L}(-1,3)$.

Since the solution of Eq. (20) is the solution of the following sum equation with $X_{0}=\frac{1}{2}$

$$ X(t)=\frac{t^{(-0.75)}}{\varGamma (0.25)}X_{0}+ \frac{1}{\varGamma {(0.25)}}\sum _{l=0}^{t-0.25}(t-l-1)^{(-0.75)}\bigl(0.025X ^{2}(l+0.25)+\xi _{l+0.25}\bigr), $$

we have $X(t)\in [-20,20]$. It is easy to verify that

$$ \bigl\vert G(t,x)-G(t,y) \bigr\vert + \bigl\vert H(t,x)-H(t,y) \bigr\vert \leq 0.025 \vert x-y \vert \vert x+y \vert \leq 0.1 \vert x-y \vert $$

for $x,y\in [-20,20]$ and

$$ \frac{\varGamma (\frac{1}{4}+1)\varGamma (3+1-\frac{1}{4})}{4\varGamma (3+1)} \approx 0.167>0.1. $$

Then UFFDE(20) has a unique solution almost surely by Theorem 2.

Conclusions

We mainly give a definition of an UFFDE and analytic solutions to a type of linear UFFDEs. Furthermore, a Lipschitz condition with an upper bounded constant results in that there is a unique solution almost surely provided to an UFFDE. Our results pave the way for our future work that is to explore the stability analysis and applications of UFFDEs.