- About this Journal ·
- Abstracting and Indexing ·
- Advance Access ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Abstract and Applied Analysis
Volume 2013 (2013), Article ID 804152, 9 pages
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.
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.
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  considered analogous Gronwall-type integral inequalities involving iterated integrals,
In 2011, Abdeldaim and Yakout  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  considered the following discrete inequality:
In 2006, Cheung and Ren  studied
Later, Zheng et al.  discussed the following discrete inequality:
In 2012, Zhou et al.  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.
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,
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 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).
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.
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.
- 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.
- R. Bellman, “The stability of solutions of linear differential equations,” Duke Mathematical Journal, vol. 10, pp. 643–647, 1943.
- 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.
- D. Baĭnov and P. Simeonov, Integral Inequalities and Applications, vol. 57 of Mathematics and Its Applications, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1992.
- B. G. Pachpatte, Inequalities for Differential and Integral Equations, vol. 197 of Mathematics in Science and Engineering, Academic Press, San Diego, Calif, USA, 1998.
- O. Lipovan, “A retarded Gronwall-like inequality and its applications,” Journal of Mathematical Analysis and Applications, vol. 252, no. 1, pp. 389–401, 2000.
- 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.
- 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.
- B. G. Pachpatte, “On certain nonlinear integral inequalities involving iterated integrals,” Tamkang Journal of Mathematics, vol. 37, no. 3, pp. 261–271, 2006.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- S. Sugiyama, “On the stability problems of difference equations,” Bulletin of Science and Engineering Research Laboratory. Waseda University, vol. 45, pp. 140–144, 1969.
- B. G. Pachpatte and S. G. Deo, “Stability of discrete-time systems with retarded argument,” Utilitas Mathematica, vol. 4, pp. 15–33, 1973.
- 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.
- 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.
- E. Yang, “A new nonlinear discrete inequality and its application,” Annals of Differential Equations, vol. 17, no. 3, pp. 261–267, 2001.
- 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.
- 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.
- 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.
- B. G. Pachpatte, Integral and Finite Difference Inequalities and Applications, vol. 205 of North-Holland Mathematics Studies, Elsevier Science, Amsterdam, The Netherlands, 2006.
- W. Sheng and W. N. Li, “Bounds on certain nonlinear discrete inequalities,” Journal of Mathematical Inequalities, vol. 2, no. 2, pp. 279–286, 2008.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.