We investigate certain sumdifference inequalities in two variables which provide explicit bounds on unknown functions. Our result enables us to solve those discrete inequalities considered by Sheng and Li (2008). Furthermore, we apply our result to a boundary value problem of a partial difference equation for estimation.
1. Introduction
Various generalizations of the Gronwall inequality [1, 2] are fundamental tools in the study of existence, uniqueness, boundedness, stability, invariant manifolds, and other qualitative properties of solutions of differential equations and integral equation. There are a lot of papers investigating them (such as [3–8]). Along with the development of the theory of integral inequalities and the theory of difference equations, more attentions are paid to some discrete versions of GronwallBellmantype inequalities (such as [9–11]). Some recent works can be found, for example, in [12–17] and some references therein.
We first introduce two lemmas which are useful in our main result.
Lemma 1.1 (the Bernoulli inequality [18]).
Let and , then .
Lemma 1.2 ([19]).
Assume that are nonnegative functions and is nonincreasing for all natural numbers, if for all natural numbers,
then for all natural numbers,
Sheng and Li [16] considered the inequalities
where for .
In this paper, we investigate certain new nonlinear discrete inequalities in two variables:
where for .
Furthermore, we apply our result to a boundary value problem of a partial difference equation for estimation. Our paper gives, in some sense, an extension of a result of [16].
2. Main Result
Throughout this paper, let denote the set of all real numbers, let be the given subset of , and denote the set of nonnegative integers. For functions , their firstorder differences are defined by , , and . We use the usual conventions that empty sums and products are taken to be 0 and 1, respectively. In what follows, we assume all functions which appear in the inequalities to be realvalue, and are constants, and .
Lemma 2.1.
Assume that are nonnegative functions defined for , and is nonincreasing in each variable, if
then
Proof.
Define a function by
The function is nonincreasing in each variable, so is , we have
Using Lemma 1.2, the desired inequality (2.2) is obtained from (2.1), (2.3), and (2.4). This completes the proof of Lemma 2.1.
Theorem 2.2.
Suppose that and are nonnegative functions defined for , satisfies the inequality (1.4). Then
where
Proof.
Define a function by
From (1.4), we have
By applying Lemma 1.1, from (2.8), we obtain
It follows from (2.9) and (2.10) that
where we note the definitions of and in (2.6). From (2.6), we see is nonnegative and nonincreasing in each variable. By applying Lemma 2.1, the desired inequality (3.3) is obtained from (2.9) and (2.11). This completes the proof of Theorem 2.2.
Theorem 2.3.
Suppose that and are nonnegative functions defined for , satisfies
where , and satisfies the inequality (1.5). Then
where
Proof.
Define a function by
Then, as in the proof of Theorem 2.2, we have (2.8), (2.9), and (2.10). By (2.12),
It follows from (2.8), (2.9), (2.10), and (2.17) that
where we note the definitions of and in (2.14) and (2.15). From (2.14) we see is nonnegative and nonincreasing in each variable. By applying Lemma 2.1, the desired inequality (2.19) is obtained from (2.9) and (2.18). This completes the proof of Theorem 2.3.
Theorem 2.4.
Suppose that are the same as in Theorem 2.3, satisfies the inequality (1.6). Then
where
Proof.
Define a function by
Then, as in the proof of Theorem 2.2, we have (2.8), (2.9), and (2.10). By (2.12),
It follows from (2.8), (2.9), (2.10), and (2.23) that
where and are defined by (2.20) and (2.21), respectively. From (2.20), we see is nonnegative and nonincreasing in each variable. By applying Lemma 2.1, the desired inequality (2.19) is obtained from (2.9) and (2.24). This completes the proof of Theorem 2.4.
3. Applications to Boundary Value Problem
In this section, we apply our result to the following boundary value problem (simply called BVP) for the partial difference equation:
satisfies
where and are constants, , functions are given, and functions are nonincreasing. In what follows, we apply our main result to give an estimation of solutions of (3.1).
Corollary 3.1.
All solutions of BVP (3.1) have the estimate
where
Proof.
Clearly, the difference equation of BVP (3.1) is equivalent to
It follows from (3.2) and (3.5) that
Let . Equation (3.6) is of the form (1.4), here . Applying our Theorem 2.2 to inequality (3.6), we obtain the estimate of as given in Corollary 3.1.
Acknowledgments
This work is supported by Scientific Research Foundation of the Education Department Guangxi Province of China (200707MS112) and by Foundation of Natural Science and Key Discipline of Applied Mathematics of Hechi University of China.
References

Bellman, R: The stability of solutions of linear differential equations. Duke Mathematical Journal. 10(4), 643–647 (1943). Publisher Full Text

Gronwall, TH: Note on the derivatives with respect to a parameter of the solutions of a system of differential equations. Annals of Mathematics. 20(4), 292–296 (1919). Publisher Full Text

Agarwal, RP, Deng, S, Zhang, W: Generalization of a retarded Gronwalllike inequality and its applications. Applied Mathematics and Computation. 165(3), 599–612 (2005). Publisher Full Text

Lipovan, O: Integral inequalities for retarded Volterra equations. Journal of Mathematical Analysis and Applications. 322(1), 349–358 (2006). Publisher Full Text

Ma, QH, Yang, EH: On some new nonlinear delay integral inequalities. Journal of Mathematical Analysis and Applications. 252(2), 864–878 (2000). Publisher Full Text

Pachpatte, BG: Inequalities for Differential and Integral Equations, Mathematics in Science and Engineering,p. x+611. Academic Press, San Diego, Calif, USA (1998)

Wang, WS: A generalized sumdifference inequality and applications to partial difference equations. Advances in Difference Equations. 2008, (2008)

Zhang, W, Deng, S: Projected GronwallBellman's inequality for integrable functions. Mathematical and Computer Modelling. 34(34), 393–402 (2001). Publisher Full Text

Hull, TE, Luxemburg, WAJ: Numerical methods and existence theorems for ordinary differential equations. Numerische Mathematik. 2(1), 30–41 (1960). Publisher Full Text

Pachpatte, BG, Deo, SG: Stability of discretetime systems with retarded argument. Utilitas Mathematica. 4, 15–33 (1973)

Willett, D, Wong, JSW: On the discrete analogues of some generalizations of Gronwall's inequality. Monatshefte für Mathematik. 69, 362–367 (1965). PubMed Abstract  Publisher Full Text

Cheung, WS, Ren, J: Discrete nonlinear inequalities and applications to boundary value problems. Journal of Mathematical Analysis and Applications. 319(2), 708–724 (2006). Publisher Full Text

Li, WN, Sheng, W: Some nonlinear integral inequalities on time scales. Journal of Inequalities and Applications. 2007, (2007)

Pachpatte, BG: On some new inequalities related to certain inequalities in the theory of differential equations. Journal of Mathematical Analysis and Applications. 189(1), 128–144 (1995). Publisher Full Text

Pang, PYH, Agarwal, RP: On an integral inequality and its discrete analogue. Journal of Mathematical Analysis and Applications. 194(2), 569–577 (1995). Publisher Full Text

Sheng, W, Li, WN: Bounds on certain nonlinear discrete inequalities. Journal of Mathematical Inequalities. 2(2), 279–286 (2008)

Wang, WS, Shen, CX: On a generalized retarded integral inequality with two variables. Journal of Inequalities and Applications. 2008, (2008)

Mitrinović, DS: Analytic Inequalities, Die Grundlehren der Mathematischen Wissenschaften,p. xii+400. Springer, New York, NY, USA (1970)

Pachpatte, BG: On some fundamental finite difference inequalities. Tamkang Journal of Mathematics. 32(3), 217–223 (2001)