This paper focuses on the uniqueness and novel finite-time stability of solutions for a kind of fractional-order nonlinear difference equations with time-varying delays. Under some new criteria and by applying the generalized Gronwall inequality, the new constructive results have been established in the literature. As an application, two typical examples are delineated to demonstrate the effectiveness of our theoretical results.

1. Introduction

The time difference of fractional order was firstly studied by Kuttner [1] in 1957; since then, various kinds of definitions of fractional difference were studied by many authors. We know fractional difference equations play an important role in promoting modern mathematics development and have been widely applied, especially in physics, dynamic mechanics, medicines, and communications. There is a growing tendency nowadays that many experts show their great enthusiasm for fractional difference equations, and in the past few years, a lot of achievements have been done. For an extensive collection of such results, we recommend the readers to monograph [2] and papers [316].

The study about uniqueness of discrete solutions for fractional difference equations is one of the most interesting and valuable topics. Recently, Abdeljawad et al. [3] studied the following nonlinear fractional difference systemLet satisfy Lipschitz condition: there exists a constant such that and and . By Banach Contraction Principle, authors obtained that system (1) had a unique solution , , if where is a normalization positive constant depending on satisfying , and is a fractional operator defined as in Definition 4 of paper [3].

In [4], Abdeljawad and M. Al-Mdallal considered the fractional difference systemsuch that , . Let admit the Lipschitz condition, be a Lipschitz constant, and . Then system (4) had a unique solution provided that where is a fractional operator, and we can see it in Definition 4 of paper [4].

What will happen if the nonlinear equations (1) and (4) subjecting the initial value condition extend into fractional delay difference equation? We are particularly interested in fractional difference equation involving time-varying delays.

On the other hand, stability analysis is also one of the most crucial themes for fractional nonlinear systems, such as [17, 18] researching stability in nondelay fractional systems and [14, 1922] in delay fractional difference systems. Specifically, in [17, 18], using Lyapunov’s direct method, the stability of discrete nonautonomous systems with the nabla Caputo fractional difference was studied. In [19], the authors studied a class of linear fractional difference equations with impulse effects, and they provided the generalized Mittag-Leffler stability by numerical illustration. In papers [20, 22], asymptotic stability of a fractional discrete system was discussed and the theorem for a discrete fractional Lyapunov direct method was proved. In [21], the researchers investigated the stability of the equilibrium solution of a linear fractional difference equation with the initial condition, and to achieve this target, the well-known unilateral transform was successfully employed. In paper [14], the researchers considered the following linear fractional difference equations with a constant delay where , is a fixed positive integer, and denotes the Caputo delta fractional difference of on the discrete time. The finite-time stable conclusions are presented in the addressed paper.

Deeply inspired by [3, 4, 14] and other mentioned papers, in this paper, we are concerned with the uniqueness and finite-time stability of solutions for the following fractional discrete equation with time-varying delayswhere denotes the Caputo fractional difference operator with , and , and , , is a positive integer; is the state vector, is the disturbance vector, is a function satisfying , and is the given function; , , are constant matrices, and .

Compared with some recent results in the literatures, such as [14, 17, 1922], the chief contributions of this study contain at least the following three:(1)In [14, 17, 1922], the literatures investigated the stability of fractional difference equations with constant delays, but the delay term we studied in system (7) is a bounded function with respect to the variable . This is a significant breakthrough in dealing with fractional difference system with time-varying delays.(2)The model we are concerned with is more generalized, some ones in the articles are the special cases of it. In [19, 22], the coefficients of the fractional discrete system researched by authors are one-dimensional real numbers which are too simple to describe the mathematical model well, and we adopt constant matrices as coefficients in (7). Therefore, the generalized models are originally discussed in the present paper. Furthermore, our conclusions can also be applied to the equations with function matrices, and you can see it by the following Corollaries 10 and 13.(3)An innovative method based on the generalized Gronwall inequality is exploited to discuss the uniqueness and finite-time stability of the solutions for the fractional-order difference equation with time-varying delays. The results established are essentially new.

The following article is organized as follows: in Section 2, we will recall some known results for our considerations. Some lemmas and definitions are useful to our work. Section 3 is devoted to researching the uniqueness of solutions for the fractional-order difference equation with time delay. Subsequently, we investigate the finite-time stability of the addressed equation, and then we will come up with the main theorem. To explain the results clearly, we finally provide two examples in Section 4.

2. Preliminaries

In this section, we plan to introduce some basic definitions and lemmas which are used throughout this paper.

Definition 1 ([23, 24]). We defineas for any and for which the right-hand side is defined. Here and in what follows denotes the gamma function. We also appeal to the common convention that if is a pole of the gamma function and is not a pole, then .

Definition 2 ([24]). The -th fractional sum of a function , for , is defined to be where . We also define the -th fractional difference, where and with , to be , where .

Lemma 3 ([15]). Assume that and is defined on . Then where is the smallest integer greater than or equal to , , .

Lemma 4 ([10]). Let and , such that is well defined, then

Definition 5 ([14]). Given positive numbers , satisfying , system (7) is finite-time stable if and only if for all disturbances satisfying the following condition:

Definition 6. A function is called the solution of (7) if satisfies

Lemma 7 (generalized Gronwall inequality). Let , and , be nonnegative functions and be nonnegative, nondecreasing function for such that , where is a constant. Ifthen

Proof. Define operatorthen from (14), we knowwhich implies that . The following proof process is similar to the relevant conclusion, and we can refer to Theorem 3.2 in [14].

3. Main Results

Let be the set of all eigenvalues of and . Assume that denotes the spectral norm defined by , and let be the norm of defined by . Suppose that denotes the set of all nonnegative bounded functions on . Assume that the nonlinear function satisfies the condition : there exists a positive constant such that where . In this section, we always assume that

Theorem 8. Assume that , then system (7) has a unique solution on if the condition holds.

Proof. Let and be any two different solutions to system (7), then and both satisfy (13). Let .
We can easily obtain for . That is to say, system (7) has a unique solution as .
When , and , , we getIf , thenNow applying the norm on both sides of (21), we getApplying the Generalized Gronwall Inequality in Lemma 7, we have Namely, for .
If , then applying the norm on both sides of (20), it follows thatLet , , then we haveSimilarly, applying the generalized Gronwall inequality in Lemma 7, it follows that Hence we can obtain . This completes the proof.

Remark 9. When we demonstrate the uniqueness of solutions for the fractional discrete system with time delay, we find that the conditions we needed have nothing to do with the disturbance vector . That is to say, disturbance vector does not affect the uniqueness of solution for the system.

One can extend the constant matrices in (7) to the function form as follows:Our conclusion (Theorem 8) can also be applied to (27) if satisfies the condition . In the case, let , , in the same proof.

Corollary 10. Assume that , then system (27) has a unique solution on if the condition holds.

Theorem 11. Suppose that holds, and , and there exist positive numbers , and , then system (7) is finite-time stable on if

Proof. Let , for . We have , and , . According to (12) and (13), one can obtainAs for all , we haveTherefore, we haveAccording to Lemma 7, we can getHence,As for , obviously, system (7) has finite-time stability. According to Definition 5, we can obtain that system (7) is finite-time stable. This completes the proof of Theorem 11.

Remark 12. Different from the research in uniqueness of solutions, the disturbance vector plays a key role in studying the finite-time stability. It can be easily analyzed by (33).

When , , are function matrices instead of constant ones, our conclusion about the finite-time stability (Theorem 11) also can be applied to system (27). In this case, we assume that , , in the same proof.

Corollary 13. Given positive numbers , , , such that , then system (27) is finite-time stable on if all the conditions in Theorem 11 hold.

4. Example

In this section, we will present the following two examples to illustrate our main results.

Example 14. Suppose that , and with . Consider system (7), whereWe have , , and , , which imply that the condition referred to in Theorem 8 holds. Therefore, the specific system (7) has a unique solution.

Remark 15. Since there are few papers researching the uniqueness of solutions for the nonlinear fractional-order difference equation with time-varying delay, one can see that all the results in [23, 2528] can not directly be applicable to Example 14 to obtain the uniqueness of the solution. This implies that the results in this paper are essentially new.

Example 16. Suppose thatand letLet , , , , , , , , We have , , , . One can assume that , , . By Mathematica software, we can get which implies that inequality (28) holds, and we conclude that all conditions in Theorem 11 are satisfied. Therefore, the specific system (7) is finite-time stable.

5. Conclusion

In this paper, we are concerned with a nonlinear fractional-order difference equation. The addressed equation has time delay terms, which are quite different from the related references discussed in the literature [18, 23, 24, 28, 29]. The nonlinear fractional-order difference system studied in the present paper is more generalized and more practical. By applying the generalized Gronwall inequality and the definition of the finite-time stability, we employ a novel argument and the easily verifiable sufficient conditions have been provided to determine the uniqueness and finite-time stability of the solutions for the considered equation. Finally, two typical examples have been presented at the end of this paper to illustrate the effectiveness and feasibility of the proposed criterion. Consequently, this paper shows theoretically and numerically that some related references known in the literature can be enriched and complemented.

Data Availability

The data in this study were mainly collected via discussion during our class. Readers wishing to access these data can do so by contacting the corresponding author.

Conflicts of Interest

The authors declare that they have no conflicts of interest.


This work was supported by the National Natural Science Foundation of China (Grant No. 11471109).