#### Abstract

We establish some new nonlinear retarded finite difference inequalities. The results that we propose here can be used as tools in the theory of certain new classes of finite difference equations in various difference situations. We also give applications of the inequalities to show the usefulness of our results.

#### 1. Introduction

An integral inequality that provides an explicit bound to the unknown function furnishes a handy tool to investigate qualitative properties of solutions of differential and integral equations. One of the best known and widely used inequalities in the study of nonlinear differential equations is Gronwall-Bellman inequality [1, 2], which can be stated as follows. If and are nonnegative continuous functions on an interval satisfying for some constant , then Being an important tool in the study of qualitative properties of solutions of differential equations and integral equations, various generalizations of Gronwall inequalities [1, 2] and their applications have attracted great interests of many mathematicians [35]. Some recent works can be found in [612] and the references therein. Along with the development of the theory of integral inequalities and the theory of difference equations, more and more attentions are paid to discrete versions of Gronwall-type inequalities; see [1336] and the references cited therein.

Sugiyama [13] established the most precise and complete discrete analogue of the Gronwall inequality [1] in the following form. Let and be nonnegative functions defined for , and suppose that for every . If where is the set of points (), is a given integer, and is a nonnegative constant, then Pachpatte [15] established some generalized discrete analogue of the Gronwall inequality in the following form. Let be a positive and monotone nondecreasing function on , and let be nonnegative functions on . If satisfies then where

Lemma 1 (see [16]). Suppose that is a nonnegative constant and , , , , and are nonnegative functions defined on , for all . If satisfies the inequality then where in which and for all .

Lemma 2 (see [14, 18]). Let be a real-valued function defined for , and monotone nondecreasing with respect to for any fixed . Let be a real-valued function defined for such that Let be a solution of such that . Then

Pachpatte [18, 19] also established some difference inequalities of product form as follows. Let be nonnegative functions defined on and let be a nonnegative constant. Let be a nonnegative function defined for , and monotone nondecreasing with respect to for any fixed . If satisfies then where is defined by (7), and is a solution of Let be nonnegative functions defined for and let be a nonnegative constant. Let be a nonnegative function defined for , and monotone nondecreasing with respect to for any fixed . If satisfies then where is defined by (7), and is a solution of the difference equation

Motivated by the results given in [16, 18, 19], in this paper, we discuss new nonlinear finite difference inequalities: Our inequalities can be used as tools in the study of certain classes of finite difference equations. We also present some immediate applications to show the importance of our results to study the various problems in the theory of finite difference equations.

#### 2. Main Results

Throughout this paper, let , . Let and . For function , , we define the operator by . Obviously, the linear difference equation with the initial condition has the solution . For convenience, in the sequel we complementarily define that and .

Theorem 3. Let be a constant, positive functions defined on , a monotone increasing function, and a monotone decreasing function. Let be a nonnegative function defined on such that (i)Suppose . If , then (ii)Suppose . Then

Proof. (i) We apply mean value theorem for differentiation to the function and then there exists between and such that Because is monotone increasing and is monotone decreasing and , we see that and . So for all values of between and we have From (22) and (27), we have Since , from (26) and (28) we have Taking in (29) and summing up over from to , we obtain From (30), we obtain our required estimation (23).
(ii) Now by following the same steps as in the proof of (i) before (29) we have because . Taking in (31) and summing up over from to , we obtain From (32), we obtain our required estimation (24).

Theorem 4. Let be a positive and monotone nondecreasing function defined on and nonnegative functions defined on . If satisfies then where in which and for all .

Proof. Fix , where is chosen arbitrarily, since is a nonnegative and monotone nondecreasing function, from (33), we have Define a function by the right-hand side of (37). Then is a positive and monotone nondecreasing function defined on . We have Using the definitions of the operator and , we obtain Let Then It follows that Adding to both sides of the above inequality we have Put and then , and We see that the inequality Define a function Multiplying by to both sides of (46) we obtain Let , , , and . Because is monotone increasing, is monotone decreasing and ; applying Theorem 3 to (48) we obtain where , are used. Define a function of the right-hand side of (49). Substituting (49) in (43) we obtain Performing the same derivation as in (46)–(49), we obtain from (50) that Define a function of the right-hand side of (51). Substituting (51) in (39) we obtain Using (38), from (52) it follows that Since is arbitrary, from (53), we get the required estimate (35).

Theorem 5. Let be nonnegative functions defined for and a nonnegative constant. Let be a real-valued function defined for , , and monotone nondecreasing with respect to for any fixed . If satisfies (21), then where in which and is a solution of the difference equation where in which and for all .

Proof. We first assume that and define a function by the right-hand side of (21). Then is a positive and monotone nondecreasing function defined on . We have Using the definitions of the operator and , we obtain From (61) it follows that the inequality holds for all . Setting in (62) and substituting , successively, we get Define a function by Then and Using (64), the inequality (63) can be written as Since is positive and monotone nondecreasing for , satisfy the conditions in Theorem 4. Now an application of Theorem 4 to (66) yields where in which Since is monotone nondecreasing with respect to for any fixed , from (65) and (67), we have Now as a suitable application of Lemma 2, we obtain where is a solution of (57). Using (60), (67), and (71), we obtain our required estimation (54).
If is nonnegative, we can carry out the above procedure with instead of where is an arbitrary small number. Letting , we obtain (54).

#### 3. Application to Finite Difference Equations

In this section, we consider the following difference equation: where , , are real-valued functions defined, respectively, on , , , is as defined in Theorem 5, and is a constant. We assume that where , , are as defined in Theorem 5. Using the definitions of the operator , from (72), we see that the inequality holds for all . It follows that From (76), we have Using the conditions (74), we obtain Now an application of Theorem 5 to (78) yields the estimation of the difference equation (72), that is, where in which and is a solution of the difference equation where in which and for all .

#### Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

#### Acknowledgments

This research was supported by National Natural Science Foundation of China (Project no. 11161018,11171079), the NSF of Guangxi Zhuang Autonomous Region (no. 2012GXNSFAA053009), and the SRF of the Education Department of Guangxi Zhuang Autonomous Region (nos. 201106LX599 and 201106LX591).