Uncertain fractional forward difference equations for Riemann–Liouville type

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 , and Γ (μ) is the gamma function. Note that the fractional sum -μ s maps functions whose domains are N s to functions whose domains are N s+μ . 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.

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 ξ t be an uncertain sequence which is actually a series of uncertain variables indexed by t = s + ih, i ∈ N 0 . Then is called first order forward difference of uncertain sequence ξ t , where h is a step size, and Definition 2 Let h > 0 and ξ t be an uncertain sequence which is a series of uncertain variables indexed by t = s + jh, j ∈ N 1 . Then is called first order forward sum of uncertain sequence ξ t , and s -n is called nth order forward sum of uncertain sequence ξ t , where n ≥ 2 is a natural number.

Lemma 2
The following equality holds: 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 ξ t as follows: where and (t) (0) h = 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 μ > 0 and ξ t is an uncertain sequence. Then -μ

Definition 4
The fractional Riemann-Liouville-like forward difference for uncertain se- where ν > 0 and q -1 < ν ≤ q, q represents a positive integer.

Lemma 3
Let μ, ν > 0 and ξ t be an uncertain sequence. Then we have the following equalities: Proof According to the definition of fractional sum for uncertain sequences, conclusion is easy to be verified.

Lemma 4 For any real number
where ξ t is an uncertain sequence, and ξ t = ξ t+1ξ 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. We will just explore the solution of the following UFFDE with the initial condition in this paper: where μ μ-1 denotes fractional Riemann-Liouville-like forward difference, G, H : [0, ∞) × R → R are two functions. t ∈ N 0 ∩ [0, T], μ ∈ (0, 1], Y 0 is a crisp number, and ξ μ , ξ μ+1 , . . . , ξ μ+t are t + 1 i.i.d. uncertain variables that have linear uncertainty distribution 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].

Since the series
are absolutely convergent for |λ| < 1 by the d' Alembert ratio comparison test, the limitation lim n→∞ Y n exists. Write Y n (t) →Ȳ (t) as n → ∞. We havē Taking limit on both sides of Eq. (14) yields That is,Ȳ (t) satisfies Eq. (13). HenceȲ (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.

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 and there is a positive number L that satisfies the following inequality: where Q = |a| ∨ |b|. Then UFFDE (5) with initial value condition (6) has a unique solution Y (t) for t ∈ N μ ∩ [0, T] almost surely.
Proof Let l k μ be the set of all finite real sequences x = {x(t)} k μ which has k terms with the norm x = max t∈N μ ∩[0,T] |x(t)|. It is evident that (l k μ , · ) is a Banach space. For any X t , Y t ∈ l k μ , the operator P is defined as follows: At each time t, since ξ t (t ∈ N μ ∩ [0, T]) is an uncertain variable who has linear uncertainty distribution L(a, b), we have M{(ξ t < a) ∪ (ξ t > b)} = 0. For any given γ ∈ Γ \ {(ξ t < a) ∪ (ξ t > b)}, |ξ t (γ )| ≤ Q (Q = |a| ∨ |b|) holds almost surely for t ∈ N μ ∩ [0, T], where Γ is the universal set on the uncertainty space. Then When 0 < L < Γ (μ+1)Γ (T+1-μ) Γ (T+1)(1+Q) , P is a contraction mapping in l k μ almost surely. Thus we obtain a unique fixed point Y t (γ ) of P in l k μ almost surely by the Banach contraction mapping theorem. Furthermore, Y t (γ ) = lim n→∞ Y n t (γ ), where Y n t (γ ) = P(Y n-1 t (γ )) for Y 0 t (γ ) = Y 0 Γ (μ) t (μ-1) . For any given t ∈ N μ ∩ [0, T], as G and H are Lipschitz continuous functions, the operator P is measurable. Note that Y 0 t (γ ) is an uncertain variable, Y 1 t , Y 2 t , . . . , Y n t , . . . 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→∞ Y n t is an uncertain variable by Theorem 3 in [19].
Here are two examples to illustrate Theorem 2.
Then UFFDE (19) has a unique solution almost surely by Theorem 2.
Example 2 Consider the following UFFDE: