About this Journal Submit a Manuscript Table of Contents
Abstract and Applied Analysis
Volume 2013 (2013), Article ID 804152, 9 pages
http://dx.doi.org/10.1155/2013/804152
Research Article

Some Difference Inequalities for Iterated Sums with Applications

1School of Mathematics and Statistics, Hechi University, Yizhou, Guangxi 546300, China
2Department 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 [314].

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 [1535]. 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

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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 Zentralblatt MATH · View at MathSciNet
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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 Zentralblatt MATH · View at MathSciNet
  17. 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 MathSciNet
  18. 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 Zentralblatt MATH · View at MathSciNet
  19. 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 Zentralblatt MATH · View at MathSciNet
  20. 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 Zentralblatt MATH · View at MathSciNet
  21. E. Yang, “A new nonlinear discrete inequality and its application,” Annals of Differential Equations, vol. 17, no. 3, pp. 261–267, 2001. View at Zentralblatt MATH · View at MathSciNet
  22. 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 Zentralblatt MATH · View at MathSciNet
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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