Abstract and Applied Analysis

Volume 2013 (2013), Article ID 912874, 6 pages

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

## Some New Nonlinear Weakly Singular Inequalities and Applications to Volterra-Type Difference Equation

^{1}School of Science, Southwest University of Science and Technology, Mianyang, Sichuan 621010, China^{2}Department of Mathematics, University of Tennessee, Knoxville, TN 37996-0612, USA^{3}School of Business, Sichuan University, Chengdu, Sichuan 610064, China

Received 3 August 2013; Revised 21 September 2013; Accepted 25 September 2013

Academic Editor: Josef Diblík

Copyright © 2013 Kelong Zheng 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 nonlinear weakly singular difference inequalities are discussed, which generalize some known weakly singular inequalities and can be used in the analysis of nonlinear Volterra-type difference equations with weakly singular kernel. An application to the upper bound of solutions of a nonlinear difference equation is also presented.

#### 1. Introduction

The discrete version of the well-known Gronwall-Bellman inequality is an important tool in the development of the theory of difference equations as well as the analysis of the numerical schemes of differential equations. A great deal of interest has been given to these inequalities, and many results on their generalizations have been found; for example, see [1–4]. Among them, one of the fundamental cases is Pachpatte’s result [3] for the difference inequality:

In particular, due to the study of the behavior and numerical solutions for the singular integral equations, some discrete weakly singular integral inequalities also have drawn more and more attention [5–7]. Dixon and McKee [8] investigated the convergence of discretization methods for the Volterra integral and integrodifferential equations, by using the following inequality:

Henry [9] presented a linear integral inequality with weakly kernel: to investigate some qualitative properties for a parabolic equation. The corresponding discrete version was discussed by Slodika [10]. But he studied the case , that is, the case of constant differences. Furthermore, the first formulation of the inequality with a nonlinearity and nonconstant was studied in [6], in which the general nonlinear discrete case as follows: was considered. However, his results are based on the so-called “ condition”: (1) satisfies ; (2) there exists such that . Recently, a new nonlinear difference inequality: was discussed by Yang et al. [11]. For other new weakly singular inequalities, lots of work can be found, for example, in [12–22] and references therein.

In this paper, we investigate the new nonlinear weakly singular inequality: where , , , , and . Compared to the existing result, our result does not need the so-called “ condition” proposed in [6] and can be used to obtain pointwise explicit bounds on solutions for a class of more general weakly singular inequalities of Volterra type. Finally, we also present an application to Volterra-type difference equation with weakly singular kernel.

#### 2. Preliminaries

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

Lemma 1 (Discrete Jensen inequality, [11]). *Let be nonnegative real numbers, and let be a real number. Then,
*

Lemma 2 (Discrete Hölder inequality, [11]). *Let , be nonnegative real numbers, and let , be positive numbers such that (or ). Then,
**Furthermore, take ; then, one gets the discrete Cauchy-Schwarz inequality.*

Lemma 3. *Suppose that is nondecreasing. Let , be nonnegative and nondecreasing in . If is nonnegative such that
**
Then,
**
where ,, is the inverse function of , and is defined by
*

#### 3. Main Results

Assume that (*A*_{1}) , are nonnegative functions for , respectively; (*A*_{2}) is nondecreasing and .

Define and , where is the variable time step.

Theorem 4. *Under assumptions () and (), if is nonnegative such that (6), then*(1)*for , letting and , one has
for , where ,, is the inverse function of ,
and is the largest integer number such that
*(2)*for , letting and , one has
for , where ,
and is the largest integer number such that
*

*Proof. *By definition of and assumption (), is nonnegative and nondecreasing and . It follows from (6) that
(1)If , using Lemma 2 with the indices , for (18), we get
By Lemma 1, the inequality above yields
Consider that
where and is the well-known -function. Thus, we have
Let , , and . Obviously, , are nondecreasing for and satisfies the assumption (). Equation (22) can be rewritten as
which is similar to inequality (9). Using Lemma 3, from (23), we have
for , where is the largest integer number such that
Therefore, by , (12) holds for .(2)If , applying Cauchy-Schwarz inequality for (18), that is, , we get
By Lemma 1, the inequality above yields
Because
where ,, it follows from (27) that
Let , , and . Similarly, , also are nondecreasing for and also satisfies the assumption (). Equation (29) can be rewritten as
which also is similar to inequality (9). Using Lemma 3, from (30), we have
for , and is the largest integer number such that
Clearly, by , (15) also holds for .

*Remark 5. *Here, we note that the most significant work in the study of weakly singular inequalities is Medve’s method, originally presented in the paper [6] and also applied in the paper [18]. But his result holds under the assumption “ satisfies the condition (q),” that is, “, where is a continuous, nonnegative function.” In our result, the condition (*q*) is eliminated.

Corollary 6. *Under assumptions () and (), let , . If is nonnegative such that
**
then*(1)*if , let and , and one gets
for , where is defined as in Theorem 4;*(2)*if , let , and one gets
for , where is defined as in Theorem 4*

*Proof. *Let , then and . From (33), we have

Clearly, satisfies the assumption . According to the definition of in Theorem 4, for , letting , we have

It can be seen easily from (38) that . Substituting (37) and (38) into (12), we get

In view of , we can obtain (34). For the case that , in fact, and are the same as (37) and (38), respectively. So, it follows from (37), (38), and (15) that
for .

*Remark 7. *In [11], Yang et al. investigated inequality (33), under the assumption that is nondecreasing. Clearly, our result does not need such condition, and we get a more concise formula.

*Remark 8. *Letting and , we can get the interesting Henry version of the Ou-Iang-Pachpatte-type difference inequality [3]. Thus, our result is a more general discrete analogue for such inequality.

Corollary 9. *Under assumptions () and (), if is nonnegative such that
**
then*(1)*if , let and , and one gets
for , where is defined as in Theorem 4;*(2)*if , let , and one gets
for , where is defined as in Theorem 4.*

*Proof. *In (41), also satisfies the assumption . Thus, we have

Similarly to the computation in Corollary 6, the estimates (42) and (43) hold, respectively.

#### 4. Application

In this section, we apply our results to discuss the upper bound of solution of a Volterra type difference equation with weakly singular kernel.

Consider the following the inequality:

Obviously, (45) is the special case of inequality (6), then we get

Thus, we can take and ; then, . Moreover,

According to Theorem 4, we obtain for , which indicates that we get the upper bound of .

#### Conflict of Interests

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

#### Acknowledgments

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). The work is also supported by the Applied Basic Research Project of Sichuan Province (no. 2013JY0096).

#### 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 - 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 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 MathSciNet - Y. Wu, X. Li, and S. Deng, “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 Google Scholar · 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 - M. Medveď, “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 - K. Zheng, H. Wang, and C. Guo, “On nonlinear discrete weakly singular inequalities and applications to Volterra-type difference equations,”
*Advances in Difference Equations*, vol. 2013, article 239, 2013. 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 - D. Henry,
*Geometric Theory of Semilinear Parabolic Equations*, vol. 840 of*Lecture Notes in Mathematics*, Springer, New York, NY, USA, 1981. View at MathSciNet - M. Slodička, “Semigroup formulation of Rothe's method: application to parabolic problems,”
*Commentationes Mathematicae Universitatis Carolinae*, vol. 33, no. 2, pp. 245–260, 1992. 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 inequalities,”
*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 - 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 - 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 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 - 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 - 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 - M. Medveď, “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 - 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 - 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, 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, 12 pages, 2010. View at Publisher · View at Google Scholar · View at MathSciNet - 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 MathSciNet