Abstract and Applied Analysis

Volume 2013 (2013), Article ID 804152, 9 pages

http://dx.doi.org/10.1155/2013/804152

## Some Difference Inequalities for Iterated Sums with Applications

^{1}School of Mathematics and Statistics, Hechi University, Yizhou, Guangxi 546300, China^{2}Department of Mathematics and Computer Science, Longyan University, Longyan, Fujian 364012, China

Received 4 September 2013; Revised 13 November 2013; Accepted 28 November 2013

Academic Editor: Jaume Giné

Copyright © 2013 Wu-Sheng Wang and Shanhe Wu. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

The main objective of this paper is to establish two new nonlinear sum-difference inequalities with multiple iterated sums. Under several practical assumptions, the inequalities are solved through rigorous analysis, and explicit bounds for the unknown functions are given clearly. These new inequalities can be used as handy tools in the study of the estimation of solutions of difference equations.

#### 1. Introduction

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

It has become one of the very few classic and most influential results in the theory and applications of inequalities. Because of its fundamental importance, over the years, many generalizations and analogous results of (2) have been established, such as [3–14].

Among these references, Baĭnov and Simeonov [4, P. 107] considered the following interesting Gronwall-type inequality: Kim [8] considered analogous Gronwall-type integral inequalities involving iterated integrals,

In 2011, Abdeldaim and Yakout [12] studied some new integral inequalities of Gronwall-Bellman-Pachpatte type such as

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; for detailed information, please refer to the literatures [15–35]. For instance, Pachpatte [19] considered the following discrete inequality:

In 2006, Cheung and Ren [24] studied

Later, Zheng et al. [31] discussed the following discrete inequality:

In 2012, Zhou et al. [33] studied the following inequalities:

However, the above results are not applicable to some certain inequalities with multiple iterated sums. Hence, it is desirable to consider more general difference inequalities of these extended types. They can be used in the study of certain classes of difference equations or applied in many practical engineering problems.

Motivated by the results given in [7, 8, 12, 19, 24, 25, 29, 33], in this paper we discuss the following two types of inequalities:

All the assumptions on (10) and (11) are given in the next sections. The inequalities (10) and (11) consist of multiple iterated sums. Under several practical assumptions, the inequalities are solved through rigorous analysis, and explicit bounds for the unknown functions are given clearly. Further, the derived results are applied to study the estimation of solutions of difference equations.

#### 2. Main Results

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

Lemma 1. *Let , and be real-valued nonnegative functions defined on and satisfy the inequality
**
where is a nonnegative constant. Then,
*

*Proof. *From (12), we have

Multiplying by on both sides of the above inequality (14) and summing up both sides from to , we obtain

From (15), we obtain the desired estimate (13).

Theorem 2. *Let and be nonnegative functions defined on with nondecreasing on . Moreover, let , , be nonnegative functions for and nondecreasing in for fixed . If and is not equal to 1, then the discrete inequality (10) gives
**
where can be successively determined from the formulas
**
for , ,
**
where is the inverse functions of , , is chosen arbitrarily, and is the largest natural number such that
*

*Remark 3. *Firstly, from (17) and (18), we obtain ; then let , and we get since is chosen arbitrarily.

*Remark 4. *We can obtain using MATLAB program: firstly let , when ; let , when ; let , and so on until . If , for all , then .

*Proof. *Fix , where is chosen arbitrarily and is defined by (20). For , from (10) we have

Now we introduce the functions

For and , then , , are all positive and nondecreasing functions on with , , and the inequalities (22) and (23) imply that

From (22), we observe that

We claim that
for , .

Now we prove (26) and (27) by induction. Obviously, (26) is true for by (26). We make the inductive assumption that (26) is true for . By the inductive assumption and (24), from (23) we obtain

It actually proves (26) by induction. From (23) and (26), we have

It proves (27). From (27), we have

On the other hand, by the mean-value theorem for integrals, for arbitrarily given integers , there exists in the open interval such that

By setting in (31) and substituting , successively, we obtain

Let denote the right-hand side of (32), which is a positive and nondecreasing function on with

Then, (32) is equivalent to

By the definition of , we obtain

From (34) and (35), we get

Once again, performing the similar procedure from (30) to (32), (36) gives
where is defined by (19). By combining (33), (34), and (37), we can obtain that
where is defined by (17). Applying Lemma 1 to (26) for , we have
where is defined by (18). From (24) and (39), we have

Since is arbitrary, from (40), we get the required estimate
where is defined by (20). Theorem 2 is proved.

Theorem 5. *Let , , and be nonnegative functions defined on with and nondecreasing on , and let , , be nonnegative functions for , , which are nondecreasing in for fixed . Suppose that is a nondecreasing continuous function on with for . The inequality (11) implies that
**
where is the inverse function of ,
**
and is the largest natural number such that
*

*Remark 6. *We can obtain using Matlab program similar to Remark 4.

*Proof. *Let the function be positive. Fix , where is chosen arbitrarily and is defined by (45). For , from (11) we have

We denote the right-hand side of (46) by for . Then , the function is positive and nondecreasing in , , and

Define a function by
for all . From (47) and (48), we have

From (48), we have

From (50), we get
where
for all .

Continuing in this way, we obtain
where

From (54) and the inequality , we have

We define the functions , which are nondecreasing and continuously differentiable on with , on .

On the other hand, by the formula of partial integration, we have

By the monotonicity of , , from (56) we have

By the mean-value theorem for integrals, for arbitrarily given integers , there exists in the open interval such that

From (55), (57), and (58), we have

Next, from the inequalities (53) and (59), we have

Once again, applying the same procedure from (56) to (59) to the inequality (60), we get

Proceeding in this way, we obtain

Using the inequalities (49) and (62), we have
where is defined by (44).

Once again, using the mean-value theorem for integrals, for arbitrarily given integers , there exists in the open interval such that
where is defined by (43). Using (63), (64), and , we obtain

In (65), let ; we have

Due to the randomness of , (42) is achieved immediately from (66).

#### 3. Application

In this section, we apply Theorem 5 to the following difference equation:

Corollary 7. *Assume that is defined on , and there exist nonnegative functions , , such that
**
where the function is as in Theorem 5. If is any solution of the problem (67), then
**
where the functions , are as in Theorem 5,
**
and is the largest natural number such that
*

*Proof. *The difference equation (67) is equivalent to

Using (68), from (72), we have

Notice that, by the assumption, all functions in (73) satisfy the conditions of Theorem 5. Applying Theorem 5 to the inequality (73), (69) is immediately derived. This completes the proof of Corollary 7.

#### Conflict of Interests

The authors declare that they have no competing interests.

#### Acknowledgments

This research was supported, in part, by the National Natural Science Foundation of China under Grant 11161018 by the Guangxi Natural Science Foundation of China under Grant 2012GXNSFAA053009, and by the Natural Science Foundation of Fujian province of China under Grant 2012J01014. The authors are grateful to the anonymous referees for their careful comments and valuable suggestions on this paper.

#### References

- T. H. Gronwall, “Note on the derivatives with respect to a parameter of the solutions of a system of differential equations,”
*Annals of Mathematics*, vol. 20, no. 4, pp. 292–296, 1919. View at Publisher · View at Google Scholar · View at MathSciNet - R. Bellman, “The stability of solutions of linear differential equations,”
*Duke Mathematical Journal*, vol. 10, pp. 643–647, 1943. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - I. Bihari, “A generalization of a lemma of Bellman and its application to uniqueness problems of differential equations,”
*Acta Mathematica Academiae Scientiarum Hungaricae*, vol. 7, pp. 81–94, 1956. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - D. Baĭnov and P. Simeonov,
*Integral Inequalities and Applications*, vol. 57 of*Mathematics and Its Applications*, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1992. View at MathSciNet - B. G. Pachpatte,
*Inequalities for Differential and Integral Equations*, vol. 197 of*Mathematics in Science and Engineering*, Academic Press, San Diego, Calif, USA, 1998. View at MathSciNet - O. Lipovan, “A retarded Gronwall-like inequality and its applications,”
*Journal of Mathematical Analysis and Applications*, vol. 252, no. 1, pp. 389–401, 2000. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - W. Zhang and S. Deng, “Projected Gronwall-Bellman's inequality for integrable functions,”
*Mathematical and Computer Modelling*, vol. 34, no. 3-4, pp. 393–402, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B.-I. Kim, “On some Gronwall type inequalities for a system integral equation,”
*Bulletin of the Korean Mathematical Society*, vol. 42, no. 4, pp. 789–805, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B. G. Pachpatte, “On certain nonlinear integral inequalities involving iterated integrals,”
*Tamkang Journal of Mathematics*, vol. 37, no. 3, pp. 261–271, 2006. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - W.-S. Cheung, “Some new nonlinear inequalities and applications to boundary value problems,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 64, no. 9, pp. 2112–2128, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - W.-S. Wang, “A generalized retarded Gronwall-like inequality in two variables and applications to BVP,”
*Applied Mathematics and Computation*, vol. 191, no. 1, pp. 144–154, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. Abdeldaim and M. Yakout, “On some new integral inequalities of Gronwall-Bellman-Pachpatte type,”
*Applied Mathematics and Computation*, vol. 217, no. 20, pp. 7887–7899, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Z. Guo, X. Zhou, and W.-S. Wang, “Interval oscillation criteria of second order mixed nonlinear impulsive differential equations with delay,”
*Abstract and Applied Analysis*, vol. 2012, Article ID 351709, 23 pages, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - W. S. Wang, D. Huang, and X. Li, “Generalized retarded nonlinear integral inequalities involving iterated integrals and an application,”
*Journal of Inequalities and Applications*, vol. 2013, article 376, 2013. View at Publisher · View at Google Scholar - T. E. Hull and W. A. J. Luxemburg, “Numerical methods and existence theorems for ordinary differential equations,”
*Numerische Mathematik*, vol. 2, no. 1, pp. 30–41, 1960. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - D. Willett and J. S. W. Wong, “On the discrete analogues of some generalizations of Gronwall's inequality,”
*Monatshefte für Mathematik*, vol. 69, pp. 362–367, 1965. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Sugiyama, “On the stability problems of difference equations,”
*Bulletin of Science and Engineering Research Laboratory. Waseda University*, vol. 45, pp. 140–144, 1969. View at Google Scholar · View at MathSciNet - B. G. Pachpatte and S. G. Deo, “Stability of discrete-time systems with retarded argument,”
*Utilitas Mathematica*, vol. 4, pp. 15–33, 1973. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B. G. Pachpatte, “On discrete inequalities related to Gronwall's inequality,”
*Proceedings of the Indian Academy of Sciences A*, vol. 85, no. 1, pp. 26–40, 1977. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B. G. Pachpatte, “Finite difference inequalities and discrete time control systems,”
*Indian Journal of Pure and Applied Mathematics*, vol. 9, no. 12, pp. 1282–1290, 1978. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - E. Yang, “A new nonlinear discrete inequality and its application,”
*Annals of Differential Equations*, vol. 17, no. 3, pp. 261–267, 2001. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B. G. Pachpatte, “On some fundamental integral inequalities and their discrete analogues,”
*Journal of Inequalities in Pure and Applied Mathematics*, vol. 2, no. 2, article 15, 2001. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - F. W. Meng and W. N. Li, “On some new nonlinear discrete inequalities and their applications,”
*Journal of Computational and Applied Mathematics*, vol. 158, no. 2, pp. 407–417, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - W.-S. Cheung and J. Ren, “Discrete non-linear inequalities and applications to boundary value problems,”
*Journal of Mathematical Analysis and Applications*, vol. 319, no. 2, pp. 708–724, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B. G. Pachpatte,
*Integral and Finite Difference Inequalities and Applications*, vol. 205 of*North-Holland Mathematics Studies*, Elsevier Science, Amsterdam, The Netherlands, 2006. View at MathSciNet - W. Sheng and W. N. Li, “Bounds on certain nonlinear discrete inequalities,”
*Journal of Mathematical Inequalities*, vol. 2, no. 2, pp. 279–286, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Q.-H. Ma and W.-S. Cheung, “Some new nonlinear difference inequalities and their applications,”
*Journal of Computational and Applied Mathematics*, vol. 202, no. 2, pp. 339–351, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Y. J. Cho, S. S. Dragomir, and Y.-H. Kim, “On some integral inequalities with iterated integrals,”
*Journal of the Korean Mathematical Society*, vol. 43, no. 3, pp. 563–578, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - W.-S. Wang, “A generalized sum-difference inequality and applications to partial difference equations,”
*Advances in Difference Equations*, vol. 2008, Article ID 695495, 12 pages, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - W.-S. Wang, “Estimation on certain nonlinear discrete inequality and applications to boundary value problem,”
*Advances in Difference Equations*, vol. 2009, Article ID 708587, 8 pages, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - K.-L. Zheng, S.-M. Zhong, and M. Ye, “Discrete nonlinear inequalities in time control systems,” in
*Proceedings of the International Conference on Apperceiving Computing and Intelligence Analysis (ICACIA '09)*, pp. 403–406, October 2009. View at Publisher · View at Google Scholar · View at Scopus - W.-S. Wang, Z. Li, and W.-S. Cheung, “Some new nonlinear retarded sum-difference inequalities with applications,”
*Advances in Difference Equations*, vol. 2011, no. 1, article 41, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - H. Zhou, D. Huang, W.-S. Wang, and J.-X. Xu, “Some new difference inequalities and an application to discrete-time control systems,”
*Journal of Applied Mathematics*, vol. 2012, Article ID 214609, 14 pages, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Q. He, T. Sun, and H. Xi, “Dynamics of a family of nonlinear delay difference equations,”
*Abstract and Applied Analysis*, vol. 2013, Article ID 456530, 4 pages, 2013. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Z.-X. Chen and K. H. Shon, “Fixed points of meromorphic solutions for some difference equations,”
*Abstract and Applied Analysis*, vol. 2013, Article ID 496096, 7 pages, 2013. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet