- Research Article
- Open Access
- Published:

# Volterra Discrete Inequalities of Bernoulli Type

*Journal of Inequalities and Applications*
**volume 2010**, Article number: 546423 (2010)

## Abstract

We obtain the discrete versions of integral inequalities of Bernoulli type obtained in Choi (2007) and give an application to study the boundedness of solutions of nonlinear Volterra difference equations.

## 1. Introduction

Integral inequalities of Gronwall type have been very useful in the study of ordinary differential equations. Sugiyama [1] proved the discrete analogue of the well-known Gronwall-Bellman inequality [2–5] which find numerous applications in the theory of finite difference equations. See [6–11] for differential inequalities and difference inequalities.

Willett and Wong [12] established some discrete generalizations of the results of Gronwall [5]. The discrete analogue of the result of Bihari [13] was partially given by Hull and Luxemburg [14] and was used by them for the numerical treatment of ordinary differential equations. Pachpatte [15] obtained some general versions of Gronwall-Bellman inequality. Oguntuase [16] established some generalizations of the inequalities obtained in [15]. However, there were some defects in the proofs of Theorems 2.1 and 2.7 in [16]. Choi et al. [17] improved the results of [16] and gave an application to boundedness of the solutions of nonlinear integrodifferential equations.

In this paper, we establish the discrete analogues of integral inequalities of Bernoulli type in [17] and give an application to study the boundedness of solutions of nonlinear Volterra difference equations.

## 2. Main Results

Pachpatte [11] proved the following useful discrete inequality which can be used in the proof of various discrete inequalities. Let and for fixed nonnegative integers and .

Lemma 2.1 (see [11, Theorem 2.3.4]).

Let be a positive sequence defined on , and let and be nonnegative sequences defined on . Suppose that

where , is a constant. Then, one has

where and

If we set in Lemma 2.1, then we can obtain the following corollary.

Corollary 2.2.

Suppose that

Then,

where

Willet and Wong [12, Theorem 4] proved the nonlinear difference inequality by using the mean value theorem. We obtain the following result which is slightly different from Willet and Wong's Theorem 4.

Theorem 2.3.

Let be nonnegative sequences defined on and for each . Suppose that

where , and is a positive constant. Then one has

where

Proof.

Let the right hand of (2.7) denote by

Then, we have

since is nondecreasing. Multiplying (2.11) by the factor , we obtain

since is a positive sequence on . From Corollary 2.2, we obtain

where

Since and , this implies that our inequality holds.

Remark 2.4.

Note that (2.7) with in Theorem 2.3 implies

Hence, we can obtain a comparison result for linear difference inequalities.

The following theorem can be regarded as an extension of the inequality given by Willett and Wong in [12] which is the discrete analogue of the inequality given by Choi et al. in [17, Theorem 2.7].

Theorem 2.5.

Let and be nonnegative sequences defined on , and let be a nonnegative function for with . Suppose that

where is a positive constant and , is a constant. Then, one has

where , , , and

Proof.

Define by the right member of (2.16). Then,

by and for . Letting

we obtain

for each . By Theorem 2.3, we have

where and

Substituting (2.22) into (2.19) and then summing it from to , we have

where . Hence, the proof is complete.

Remark 2.6.

We suppose further that is a nonnegative function for with in Theorem 2.5. Then, we have

where

If we set in Theorem 2.5, then we obtain the following corollary from Theorem 2.5. This is an analogue of the nonlinear difference inequality in [17, Corollary 2.8].

Corollary 2.7.

Let be nonnegative sequences defined on , and let be a positive constant. Suppose that

where , is a constant. Then, one has

where , , and

If we use Lemma 2.1 in the proof of Theorem 2.5, then we obtain the following bound of which contains double fold summations.

Corollary 2.8.

Let and be nonnegative sequences defined on , and let be a nonnegative function for with . Suppose that

where is a positive constant, and , is a constant. Then, one has

where and

Proof.

Define by the right member of (2.30). Then, we have

since and is nondecreasing in . From Lemma 2.1, we obtain

where and

Since , the proof is complete.

If we set in Theorem 2.5, then we can obtain the following discrete analogue of Theorem 2.2 in [17] which improve in [16, Theorem 2.1].

Corollary 2.9.

Let and be nonnegative sequences defined on and be a nonnegative function for each with . Suppose that

where is a positive constant. Then, one has

where .

The proof of this corollary follows by the similar argument as in the proof of Theorem 2.5. We omit the details.

## 3. An Application

In this section, we present an application of nonlinear difference inequalities established in Theorem 2.5 to study the boundedness of the solutions of nonlinear Volterra difference equations.

Consider the difference equation of Volterra type

where and are matrices for each and .

Lemma 3.1 (see [18, Theorem 2.9.1]).

Assume that there exists a matrix defined on and satisfying

where .

Then, (3.1) is equivalent to the ordinary linear difference equation

where and

Consider the linear nonhomogeneous difference equation

where is a matrix over and . We present the variation of constants formula of difference equations.

Lemma 3.2.

The solution of (3.5) is given by the variation of constants formula

where is a fundamental matrix solution of the difference equation such that is the identity matrix.

Now, we give an application of our results. We consider the perturbation of linear Volterra difference equation (3.1) with

with initial condition , where .

Theorem 3.3.

Suppose that the following conditions hold for , :

(i),

(ii),

(iii), ,

where and are some positive constants and is a nonnegative sequence defined on with . Then, all solutions of (3.7) are bounded in .

Proof.

By Lemma 3.1, (3.7) is equivalent to

with , where and is a solution of (3.2). It follow from Lemma 3.2 that the solution of (3.8) is given by

By using the conditions (i)–(iii), we obtain

Letting , and

and employing the above estimate by Corollary 2.9, then we have

where , because

and . Hence, the solutions of (3.7) are bounded in , and the proof is complete.

## References

Sugiyama S: On the stability problems of difference equations.

*Bulletin of Science and Engineering Research Laboratory*1969, 45: 140–144.Bellman R: The stability of solutions of linear differential equations.

*Duke Mathematical Journal*1943, 10: 643–647. 10.1215/S0012-7094-43-01059-2Bellman R:

*Stability Theory of Differential Equations*. McGraw-Hill, New York, NY, USA; 1953:xiii+166.Bellman R, Cooke KL:

*Differential-Difference Equations*. Academic Press, New York, NY, USA; 1963:xvi+462.Gronwall TH: Note on the derivatives with respect to a parameter of the solutions of a system of differential equations.

*Annals of Mathematics. Second Series*1919, 20(4):292–296. 10.2307/1967124Agarwal RP:

*Difference Equations and Inequalities. Theory, Methods, and Applications, Monographs and Textbooks in Pure and Applied Mathematics*.*Volume 228*. 2nd edition. Marcel Dekker, New York, NY, USA; 2000:xvi+971.Baĭnov D, Simeonov P:

*Integral Inequalities and Applications, Mathematics and Its Applications (East European Series)*.*Volume 57*. Kluwer Academic Publishers, Dordrecht, UK; 1992:xii+245.Choi SK, Deng S, Koo NJ, Zhang W: Nonlinear integral inequalities of Bihari-type without class .

*Mathematical Inequalities & Applications*2005, 8(4):643–654.Lakshmikantham V, Trigiante D:

*Theory of Difference Equations. Numerical Methods and Applications, Mathematics in Science and Engineering*.*Volume 181*. Academic Press, Boston, Mass, USA; 1988:x+242.Lakshmikantham V, Leela S, Martynyuk AA:

*Stability Analysis of Nonlinear Systems, Monographs and Textbooks in Pure and Applied Mathematics*.*Volume 125*. Marcel Dekker, New York, NY, USA; 1989:xii+315.Pachpatte BG:

*Inequalities for Finite Difference Equations, Monographs and Textbooks in Pure and Applied Mathematics*.*Volume 247*. Marcel Dekker, New York, NY, USA; 2002:x+514.Willett D, Wong JSW: On the discrete analogues of some generalizations of Gronwall's inequality.

*Monatshefte für Mathematik*1965, 69(4):362–367. 10.1007/BF01297622Bihari I: A generalization of a lemma of Bellman and its application to uniqueness problems of differential equations.

*Acta Mathematica Academiae Scientiarum Hungaricae*1956, 7: 81–94. 10.1007/BF02022967Hull TE, Luxemburg WAJ: Numerical methods and existence theorems for ordinary differential equations.

*Numerische Mathematik*1960, 2: 30–41. 10.1007/BF01386206Pachpatte BG: A note on Gronwall-Bellman inequality.

*Journal of Mathematical Analysis and Applications*1973, 44: 758–762. 10.1016/0022-247X(73)90014-0Oguntuase JA: On an inequality of Gronwall.

*Journal of Inequalities in Pure and Applied Mathematics*2001, 2(1, article 9):6.Choi SK, Kang B, Koo N: On inequalities of Gronwall type.

*Journal of Chungcheong Mathematical Society*2007, 20: 561–568.Lakshmikantham V, Rama Mohana Rao M:

*Theory of Integro-Differential Equations, Stability and Control: Theory, Methods and Applications*.*Volume 1*. Gordon and Breach Science, Lausanne, Switzerland; 1995:x+362.

## Acknowledgments

This work was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science, and Technology (NRF-2010-0008835). The authors are thankful to the referee for giving valuable comments for the improvement of this paper.

## Author information

### Authors and Affiliations

### Corresponding author

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Choi, S., Koo, N. Volterra Discrete Inequalities of Bernoulli Type.
*J Inequal Appl* **2010**, 546423 (2010). https://doi.org/10.1155/2010/546423

Received:

Revised:

Accepted:

Published:

DOI: https://doi.org/10.1155/2010/546423

### Keywords

- Difference Equation
- Nonnegative Function
- Integral Inequality
- Discrete Analogue
- Positive Sequence