Abstract and Applied Analysis

Volume 2014, Article ID 795456, 7 pages

http://dx.doi.org/10.1155/2014/795456

## On Weakly Singular Versions of Discrete Nonlinear Inequalities and Applications

^{1}School of Science, Southwest University of Science and Technology, Mianyang 621010, China^{2}School of Business, Sichuan University, Chengdu 610064, China

Received 17 March 2014; Accepted 13 August 2014; Published 27 August 2014

Academic Editor: Jehad Alzabut

Copyright © 2014 Kelong Cheng et al. 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

Some new weakly singular versions of discrete nonlinear inequalities are established, which generalize some existing weakly singular inequalities and can be used in the analysis of nonlinear Volterra type difference equations with weakly singular kernels. A few applications to the upper bound and the uniqueness of solutions of nonlinear difference equations are also involved.

#### 1. Introduction

Recently, along with the development of the theory of integral inequalities and difference equations, many authors have researched some discrete versions of Gronwall-Bellman type inequalities [1–5]. Starting from the basic form, discussed originally by Pachpatte in [4], various such new inequalities have been established, which can be used as a powerful tool in the analysis of certain classes of finite difference equations. Among these results, discrete weakly singular integral inequalities also play an important role in the study of the behavior and numerical solutions for singular integral equations [6, 7] and the theory for parabolic equations [8–10]. For example, Dixon and McKee [7] investigated the convergence of discretization methods for the Volterra integral and integrodifferential equations using the following inequality: and Beesack [6] also discussed the inequality, for the second kind Abel-Volterra singular integral equations. Henry [9] presented a linear inequality to investigate some qualitative properties for a parabolic equation. In particular, to avoid the shortcoming of analysis, Medved [11–13] used a new method to discuss some nonlinear weakly singular integral inequalities and difference inequalities. Following Medved’s work, Ma and Yang [14] improved his method to discuss a more general nonlinear weakly singular integral inequality, and a nonlinear difference inequality [15], As for other new weakly singular inequalities, recent work can be found, for example, in [16–25] and references therein.

In this paper, we investigate some new nonlinear discrete weakly singular inequalities Compared to the existing result, our result is more concise and can be used to obtain pointwise explicit bounds on solutions of a class of more general weakly singular difference equations of Volterra type. Finally, to illustrate the usefulness of the result, we give some applications to Volterra type difference equation with weakly singular kernels.

For convenience, before giving our main results, we first cite some useful lemmas here.

Lemma 1 (discrete Jensen inequality, see [15]). *Let be nonnegative real numbers and a real number. Then
*

*Lemma 2 (discrete Hölder inequality, see [15]). Let be nonnegative real numbers, and positive numbers such that (or ). Then
*

*Lemma 3 (see [14]). Let , and be positive constants. Then
where is the well-known -function and .*

*In what follows, denote to be the set of real numbers. Let and . denotes the collection of continuous functions from the set to the set . As usual, the empty sum is taken to be .*

*2. Some New Nonlinear Weakly Singular Difference Inequalities*

*2. Some New Nonlinear Weakly Singular Difference Inequalities*

*Lemma 4. Suppose that is nondecreasing with for . Let be nonnegative and nondecreasing in . If is nonnegative such that
then
where , is the inverse function of , and is defined by
*

*Assume that) and such that ;() are nonnegative functions for , respectively;() is nondecreasing and .*

*Lemma 5. Suppose that satisfies assumption (); then for sufficiently small , one has
*

*Proof. *Consider the -function in (15). Consider
and denote for , where and . If , then is symmetric about . According to assumption (),
that is,
On the other hand, the zero-point of can be obtained as follows:
Therefore, the function is decreasing on the interval while increasing sharply on the interval . Consequently, for some given sufficiently small , by the properties of the left-rectangle integral formula, we have
where . For the general interval , we can easily obtain the corresponding result (15) by the similar method and omit the details here.

Denote and , where is the variable time step. Next, we first discuss inequality (7) and obtain the following result.

*Theorem 6. Under assumptions , , and , if is nonnegative such that (7), then
for , where , , is the inverse function of , , and is the largest integer number such that
*

*Proof. *Since , according to assumption (), is nonnegative and nondecreasing, and . From (7), we have

Due to assumption (), take suitable indices such that . An application of Lemma 2 yields
By Lemma 1, it follows from the inequality above that
Considering
in which we apply Lemma 5, we have

Let , , and . Obviously, are nondecreasing for and satisfies assumption . Equation (27) can be rewritten as
which is similar to inequality (12). Using Lemma 4 to (28), we have
for , where , , is the inverse function of , and is the largest integer number such that
Therefore, by , (21) holds for .

*Remark 7. *When and , the inequality was discussed by Medved [12] which is the special case of our result. Moreover, his result holds under the assumption “ satisfies the condition ;” that is, “, where is a continuous, nonnegative function.” In our result, the condition is eliminated.

*Corollary 8. Under assumptions () and (), let , . If is nonnegative such that
then
for .*

*Proof. *Let ; then or . From (31) we have
Denote . Clearly, satisfies assumption . With the definition of in Theorem 6, letting , we have
Substituting (34) and (35) into (29), we get
In view of , we can obtain (32).

*Remark 9. *In [15], Yang et al. investigated inequality (6). Clearly, let and in (31), and we can get the same formula.

*Remark 10. *Let and ; we can get the interesting Henry’s version of the Ou-Iang-Pachpatte type difference inequality [26]. Thus, our results are a more general discrete analogue for such inequality.

*Remark 11. *Ma and Pečarić discussed the continuous case of (2.15) in [27] and here we present the discrete version of their result. Furthermore, the result in [27] is established for the cases when the ordered parameter group obeys distribution I or II (for details, see [27]) which makes the application of inequality more inconvenient. Clearly, our result is based on the concise assumption to overcome this weakness.

*Corollary 12. Under assumptions () and (), if is nonnegative such that
then
for .*

*Proof. *In (7), also satisfies assumption . Thus, we have
Similar to the computation in Corollary 8, estimate (38) holds.

Now, we discuss inequality (8)
Since there are two different parameter groups and , assumption is revised as follows: () , and , such that and .

*Theorem 13. Under assumptions () and (), suppose that are nonnegative for . If is nonnegative such that (8), then
for , where and are defined as in Theorem 6,
and is the largest integer number such that
*

*Proof. *By the definition of , we have
Let
which yields directly
Using Corollary 12, from the inequality above, we get
where . Letting
from (47), we get
Clearly, inequality (49) is similar to (7). According to Theorem 6, we obtain
for .

*Remark 14. *Our result for inequality (8) is also the discrete analogue of inequality (5). In fact, with the different choice of the parameter groups and in [14], the complicate results must be presented by four cases, respectively. Apparently, compared to their results, our result is quite simple.

*3. Applications*

*3. Applications**In this section, we apply our results to discuss the upper bound and the uniqueness of solutions of a Volterra type difference equation with certain weakly singular kernels.*

*Example 15. *Consider the following inequality:
Obviously, (51) is the special case of inequality (8), and we get
Next, we discuss the choice of parameter . By assumption (), from the conditions and , we have . From the conditions and , we have . Thus, we can take ; then , . According to Theorem 13, we obtain
Substituting the results above into (41), we can get the upper bound of and omit the details for its complicated formula.

*Example 16. *Consider the linear weakly singular difference equation
where , is an arbitrary positive number, and the parameter group satisfies assumption . From (54) and (55), we get
which is the form of inequality (37). Applying Corollary 12, we have
for . If , let and we obtain the uniqueness of the solution of (54).

*Conflict of Interests*

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

*Acknowledgments*

*Acknowledgments**The authors are very grateful to the referees for their helpful comments and valuable suggestions. This work is supported by the Doctoral Program Research Funds of Southwest University of Science and Technology (no. 11zx7129) and the Fundamental Research Funds for the Central Universities (no. skqy201324).*

*References*

*References*

- R. P. Agarwal, S. Deng, and W. Zhang, “Generalization of a retarded Gronwall-like inequality and its applications,”
*Applied Mathematics and Computation*, vol. 165, no. 3, pp. 599–612, 2005. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - S. Deng, “Nonlinear discrete inequalities with two variables and their applications,”
*Applied Mathematics and Computation*, vol. 217, no. 5, pp. 2217–2225, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - A. A. Martyniuk, V. Lakshamikantham, and S. Leela,
*Motion Stability: The Method of Integral Inequalities*, Naukova Dumka, Kiev, Russia, 1977. - 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 MathSciNet - S. Deng, Y. Wu, and X. Li, “Nonlinear delay discrete inequalities and their applications to Volterra type difference equations,”
*Advances in Difference Equations*, vol. 2010, Article ID 795145, 14 pages, 2010. View at Publisher · View at Google Scholar · View at Scopus - P. R. Beesack, “More generalised discrete Gronwall inequalities,”
*Zeitschrift für Angewandte Mathematik und Mechanik*, vol. 65, no. 12, pp. 583–595, 1985. View at Publisher · View at Google Scholar · View at MathSciNet - J. Dixon and S. McKee, “Weakly singular discrete Gronwall inequalities,”
*Zeitschrift für Angewandte Mathematik und Mechanik*, vol. 66, no. 11, pp. 535–544, 1986. View at Publisher · View at Google Scholar · View at MathSciNet - J. P. Dauer and N. I. Mahmudov, “Integral inequalities and mild solutions of semilinear neutral evolution equations,”
*Journal of Mathematical Analysis and Applications*, vol. 300, no. 1, pp. 189–202, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - D. Henry,
*Geometric Theory of Semilinear Parabolic Equations*, vol. 840 of*Lecture Notes in Mathematics*, Springer, New York, NY, USA, 1981. View at MathSciNet - J. Januszewski, “On Volterra integral equations with weakly singular kernels in Banach spaces,”
*Demonstratio Mathematica*, vol. 26, no. 1, pp. 131–136, 1993. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. Medveď, “A new approach to an analysis of Henry type integral inequalities and their Bihari type versions,”
*Journal of Mathematical Analysis and Applications*, vol. 214, no. 2, pp. 349–366, 1997. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - M. Medved, “Nonlinear singular difference inequalities suitable for discretizations of parabolic equations,”
*Demonstratio Mathematica*, vol. 33, no. 3, pp. 517–525, 2000. View at Google Scholar · View at MathSciNet - M. Medved, “On singular versions of Bihari and Wendroff-Pachpatte type integral inequalities and their application,”
*Tatra Mountains Mathematical Publications*, vol. 38, pp. 163–174, 2007. View at Google Scholar · View at MathSciNet - Q. H. Ma and E. H. Yang, “Estimates on solutions of some weakly singular Volterra integral inequalities,”
*Acta Mathematicae Applicatae Sinica*, vol. 25, no. 3, pp. 505–515, 2002. View at Google Scholar · View at MathSciNet - E. H. Yang, Q. H. Ma, and M. C. Tan, “Discrete analogues of a new class of nonlinear Volterra singular integral inequalitie,”
*Journal of Jinan University*, vol. 28, no. 1, pp. 1–6, 2007. View at Google Scholar - W. S. Cheung, Q. H. Ma, and S. Tseng, “Some new nonlinear weakly singular integral inequalities of wendroff type with applications,”
*Journal of Inequalities and Applications*, vol. 2008, Article ID 909156, 12 pages, 2008. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - S. Deng and C. Prather, “Generalization of an impulsive nonlinear singular Gronwall-Bihari inequality with delay,”
*Journal of Inequalities in Pure and Applied Mathematics*, vol. 9, no. 2, article 34, 2008. View at Google Scholar · View at MathSciNet - K. M. Furati and N. Tatar, “Power-type estimates for a nonlinear fractional differential equation,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 62, no. 6, pp. 1025–1036, 2005. View at Publisher · View at Google Scholar · View at Scopus - F. Lakhal, “A new nonlinear integral inequality of Wendroff type with continuous and weakly singular kernel and its application,”
*Journal of Mathematical Inequalities*, vol. 6, no. 3, pp. 367–379, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - S. Mazouzi and N.-E. Tatar, “New bounds for solutions of a singular integro-differential inequality,”
*Mathematical Inequalities & Applications*, vol. 13, no. 2, pp. 427–435, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - S. Szufla, “On the Volterra integral equation with weakly singular kernel,”
*Mathematica Bohemica*, vol. 131, no. 3, pp. 225–231, 2006. View at Google Scholar · View at MathSciNet - S. Szufla, “On the Hammerstein integral equation with weakly singular kernel,”
*Funkcialaj Ekvacioj*, vol. 34, no. 2, pp. 279–285, 1991. View at Google Scholar · View at MathSciNet - N.-E. Tatar, “On an integral inequality with a kernel singular in time and space,”
*Journal of Inequalities in Pure and Applied Mathematics*, vol. 4, no. 4, article 82, 9 pages, 2003. View at Google Scholar · View at MathSciNet - H. Wang and K. Zheng, “Some nonlinear weakly singular integral inequalities with two variables and applications,”
*Journal of Inequalities and Applications*, vol. 2010, Article ID 345701, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - K. Zheng, “Bounds on some new weakly singular Wendroff-type integral inequalities and applications,”
*Journal of Inequalities and Applications*, vol. 2013, article 159, 2013. View at Publisher · View at Google Scholar · View at Scopus - B. G. Pachpatte, “On some new inequalities related to certain inequalities in the theory of differential equations,”
*Journal of Mathematical Analysis and Applications*, vol. 189, no. 1, pp. 128–144, 1995. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - Q. H. Ma and J. Pečarić, “Some new explicit bounds for weakly singular integral inequalities with applications to fractional differential and integral equations,”
*Journal of Mathematical Analysis and Applications*, vol. 341, no. 2, pp. 894–905, 2008. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus

*
*