Abstract

This paper focuses on a kind of mixed fractional-order nonlinear delay difference equations with parameters. Under some new criteria and by applying the Brouwer theorem and the contraction mapping principle, the new existence and uniqueness results of the solutions have been established. In addition, we deduce that the solution of the addressed equation is Hyers–Ulam stable. Some results in the literature can be generalized and improved. As an application, three typical examples are delineated to demonstrate the effectiveness of our theoretical results.

1. Introduction

Fractional differential equations arise naturally in promoting contemporary mathematics development, see [114]. Fractional differential theories have been widely applied, especially in dynamics mechanics, heat energy, automation, medicine, traffic signal, and communication engineering. Sometimes differential equations are discretized in order to approximate their solutions. In the past ten years, there has been a significant increase in the quantity of research in discrete fractional calculus. For an extensive collection of more knowledge in this field, we refer the readers to [1527] and the references therein. In [16], Goodrich investigated a discrete fractional boundary value problem (FBVP) of the formwhere and is a continuous function, and we let is a given functional, and . Using the contraction mapping theorem, the Brouwer theorem, and the Krasnosel’skii theorem, the author proved the existence and uniqueness of solution to this problem.

For a fractional difference system, we not only study the existence and uniqueness of its solution but also investigate the stability. The famous Hyers–Ulam problem goes back to the years 1940-1941 when Ulam [28] and Hyers [29] firstly proposed this issue. Many mathematicians had considered the wide scope of this same problem for fractional equations of different types. Such problem may be found in [25, 3035] and other papers. In [25], the authors firstly considered the following antiperiodic boundary value problem:where is a Caputo fractional difference operator, , and is a continuous function with respect to the second variable, when satisfies Lipschitz condition, that is to say, there exists a constant such that for each . Then, the boundary value problem (2) has a unique solution ifholds. Secondly, the authors researched the Hyers–Ulam stability of solutions for the following boundary value problem:where is a solution of inequality , and let be a solution of boundary value problem (4). Then, the solution is the Hyers–Ulam stable provided that

However, the nonlinear terms in (1), (2), and (4) are too simple to portray the development of things well. We adopt mixed fractional equation which makes the model more generalized, such as in [3638]. Inspired by the abovementioned articles, in this paper, we are concerned with the existence, uniqueness, and Hyers–Ulam stability of solutions for the following discrete fractional equation:where , , and are positive real numbers, and , is given, is a continuous function, denotes the fractional difference operator of order , and is the th fractional sum operator, are given. Equation (6) is an important parameters system and also is a mixed fractional system, which is quite different from (1) and (2), and it can enrich the description of the mathematical model. Besides, the most interesting thing is that, in Theorem 2, we find the necessary conditions are only dependent on (independent on and ).

Compared with some new achievements in the articles, such as [1618, 25], the major contributions of our research contain at least the following three:(1)The Hyers–Ulam stability is introduced into the mixed fractional order nonlinear difference equation.(2)The model we are concerned with is more generalized, and some ones in the articles are the special cases of it. Moreover, we provide more ecumenical boundary value conditions in researching Hyers–Ulam stability of solutions for the fractional difference equation. Thus, the comprehensive model is originally discussed in the present paper.(3)A ground-breaking approach based on contraction mapping and the Brouwer theorem is utilized to discuss the existence and uniqueness of the solutions for the mixed fractional-order difference equation. The results established are essentially new.

The following article is organized as follows. In Section 2, we will recall some known results for our consideration. Some lemmas and definitions are useful to our works. Section 3 is devoted to researching the existence and uniqueness of solutions for equation (6). In Section 4, we will investigate the Hyers–Ulam stability of this fractional order difference equation, and then we will come up with the main theorem. To explain the results clearly, we finally provide three examples in Section 5.

2. Preliminaries

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

Definition 1. (see [16, 18]). 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. (see [18]). The th fractional sum of a function , for , is defined to bewhere . We also define the th fractional difference, where and with , to be where .

Lemma 1 (see [16]). Let . Then, , for some , with .

Lemma 2 (see [18]). Let and , such that is well defined, then .

Lemma 3 (see Theorem 2.40 in [15]). Assume that and , , thenfor .

Lemma 4 (see [24]). A function is a solution of the boundary value problem:if and only if has the formwhereand , are given functionals.

Lemma 5. Green function satisfies the inequalitiesfor any .

Proof. For ,Note thatHence, is decreasing in . Then, we haveFor each , we have . Then, is increasing in . We haveTherefore, for all , inequality (15) holds.

Lemma 6. The function is strictly decreasing in , for all , and . In addition, the function is strictly increasing in , and .

Definition 3. We say that equation (6) has the Hyers–Ulam stability if there exists a constant with the following property. Let be a given arbitrary constant. If a function satisfiesfor all , then there exists a solution of equation (6) such that for all .

Remark 1. is a solution of inequality (20) if and only if there exists a function such that

Lemma 7. Let and be a continuous function; then, is a solution of the fractional difference equation:subject to the fractional boundary value problemif and only if has the formherewhere , , , and , , and are continuous functionals, and is defined as in Definition 3.

Proof. From equation (21), we can get , and let us multiply both sides of this equation by ; by Definition 2 and Lemma 1, we can get the general solution of equation (21) as follows:where are constants, and we haveTherefore,By the boundary conditions (22) and (23), we can solve as follows:Substituting and into (26), then we can obtain (24).

3. Existence and Uniqueness of Solutions

In this section, we consider the following boundary value problem (BVP):where is a continuous function, and also are given functionals.

Denote that and endowed with the norm . Then, is a Banach space. Define the operator:where and are defined as (12) and (13) and is given as (14). Obviously, is a solution of (30) if it is a fixed point of the operator .

With all the preparatory works done, we will give the main conclusions. First, we provide the uniqueness result by contraction mapping as follows.

Theorem 1. Assume that is a continuous function For all , , , , , there exist two positive constants , such that satisfy Lipschitz conditions, namely, there exist such thatThen, BVP (30) has a unique solution on provided that

Proof. Let , ; then, for each and by Definition 2 and Lemma 5, we haveand by condition (34), we get that is a contraction mapping. Therefore, the Banach fixed-point theorem (see Lemma 7 in [25]) implies that the operator has a unique fixed point which is a unique solution of (30).
Now, we plan to adopt Brouwer theorem to give the existence result of solutions.

Theorem 2. Suppose that there exists a constant such that when , we havefor each . Then, (30) has at least one solution , satisfying .

Proof. Consider the Banach space . Let be the operator defined in (31). It is clear that is a continuous operator. Therefore, the main objective in establishing this result is to show that , that is, whenever , it follows that . Note thatThus, we deduce that . Consequently, it follows from the Brouwer theorem that there exists a fixed point of the map . This function is a solution of (30). Moreover, satisfies , for each . This completes the proof of the theorem.

4. Hyers–Ulam Stability

In this section, we study the Hyers–Ulam stability of the fractional-order difference system:where satisfies (20). According to Lemma 7, we have

Theorem 3. Assume that hold, andIf satisfies (20) and is a solution of (40), then the fractional difference equation (6) is Hyers–Ulam stable.

Proof. If satisfies (20) and due to the Remark 1, we can obtainWe can solve equation (43) with the corresponding boundary value conditions (22) and (23) as follows:Then, we haveAccording to Lemma 2, we knowand with the help of condition , we can obtainand we obtainBy (45)–(48), we can conclude thatBy condition (42) in Theorem 3, we haveand we note that the quantity on the left-hand side of the inequality is the constant “” in Definition 3. We can deduce that system (40) is Hyers–Ulam stable.

5. Examples

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

Example 1. Suppose that , , , , , and . In addition, let , , and . Then, the following boundary value problem (BVP)is problem (30). By analysing, let , , and . By Mathematica, in this case inequality (34) isTherefore, we deduce from Theorem 1 that problem (51) has a unique solution.

Example 2. Assume that , , , , , , and . Suppose that , , and . We can deduce that (36)–(38) hold, and the following boundary value problem (BVP)is problem (30). According to Theorem 2, we can obtain that (30) has at least one solution , and .

Remark 2. Since there are few papers research solutions of the mixed fractional-order nonlinear difference equation, one can see that all the results in [1618, 2325, 3638] cannot directly be applicable to (51) and (53) to obtain the existence and uniqueness of the solution. These imply that the results in this paper are essentially new.

Example 3. Assume that , , , , , , , , , , , and . We let and . System (40) turns intowhere and are continuous functionals and satisfiesBy Mathematica, we note thatTherefore, (42) holds. If is a solution of (54), then fractional difference system (54) is Hyers–Ulam stable.

6. Conclusion

In this paper, we are concerned with the nonlinear mixed fractional order difference equations, which are quite different from the related references discussed in the literature. The fractional order difference equation studied in the present paper is more generalized and more practical. By applying the Brouwer theorem and contraction mapping principle and the definition of Hyers–Ulam stability, the easily verifiable sufficient conditions have been provided to determine the existence, uniqueness, and Hyers–Ulam stability of the solutions for the considered equation. Finally, the necessary three typical numerical 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.

The proposed method by the authors could be applied to other fractional difference equation of other similar type, such as [3944].

An interesting extension of our study would be to discuss Ulam–Hyers–Mittag–Leffler stability and finite-time stability for the mixed fractional nonlinear difference equation with time-varying delay terms or fractional stochastic system based on [45, 46]. This topic will be the subject of a forthcoming paper.

Data Availability

The data in this study were mainly collected via discussion during our class and obtained from the corresponding author upon request.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

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