## Journal of Inequalities and Applications

Impact Factor 0.791

Open Access

# On a Generalized Retarded Integral Inequality with Two Variables

Journal of Inequalities and Applications20082008:518646

DOI: 10.1155/2008/518646

Accepted: 22 April 2008

Published: 5 May 2008

## Abstract

This paper improves Pachpatte's results on linear integral inequalities with two variables, and gives an estimation for a general form of nonlinear integral inequality with two variables. This paper does not require monotonicity of known functions. The result of this paper can be applied to discuss on boundedness and uniqueness for a integrodifferential equation.

## 1. Introduction

Gronwall-Bellman inequality [1, 2] is an important tool in the study of existence, uniqueness, boundedness, stability, and other qualitative properties of solutions of differential equations and integral equations. There can be found a lot of its generalizations in various cases from literature (see, e.g., [112]). In [11], Pachpatte obtained an estimation for the integral inequality
(1.1)
His results were applied to a partial integrodifferential equation:
(1.2)

for boundedness and uniqueness of solutions.

In this paper, we discuss a more general form of integral inequality:
(1.3)

for all . Obviously, appears linearly in (1.1), but in our (1.3) it is generalized to nonlinear terms: and . Our strategy is to monotonize functions s with other two nondecreasing ones such that one has stronger monotonicity than the other. We apply our estimation to an integrodifferential equation, which looks similar to (1.2) but includes delays, and give boundedness and uniqueness of solutions.

## 2. Main Result

Throughout this paper, are given numbers. Let and . Consider inequality (1.3), where we suppose that is strictly increasing such that , and are nondecreasing, such that and , , and are given, and are functions satisfying and for all .

Define functions
(2.1)
Obviously, , and in (2.1) are all nondecreasing and nonnegative functions and satisfy . Let
(2.2)
(2.3)
(2.4)
Obviously, , and are strictly increasing in , and therefore the inverses , and are well defined, continuous, and increasing. We note that
(2.5)

Furthermore, let which is also nondecreasing in for each fixed , and and satisfies .

Theorem 2.1.

If inequality (1.3) holds for the nonnegative function , then
(2.6)
for all , where
(2.7)
and is arbitrarily given on the boundary of the planar region
(2.8)

Here denotes the domain of a function.

Proof.

By the definition of functions and , from (1.3) we get
(2.9)

for all .

Firstly, we discuss the case that for all . It means that for all . In such a circumstance, is positive and nondecreasing on and
(2.10)
Regarding (1.3), we consider the auxiliary inequality
(2.11)
for all , where is chosen arbitrarily. We claim that
(2.12)

for all , where is defined by (2.8).

Let denote the right-hand side of (2.11), which is a nonnegative and nondecreasing function on . Then, (2.11) is equivalent to
(2.13)
By the fact that for and the monotonicity of , and , we have
(2.14)
for all . Integrating the above from to , we get
(2.15)
for all . Let
(2.16)
From (2.15), (2.16), we obtain
(2.17)
for all . Let denote the right-hand side of (2.17), which is a nonnegative and nondecreasing function on . Then, (2.17) is equivalent to
(2.18)
From (2.13), (2.16), and (2.18), we have
(2.19)
for all , where is defined by (2.8). By the definitions of , and , is continuous and nondecreasing on and satisfies for . Let . Since and for , from (2.19) we have
(2.20)
for all . Integrating the above from to , by (2.4) we get
(2.21)
for all . By (2.19) and the above inequality, we obtain
(2.22)
for all , where is defined by (2.8). It follows from (2.5) that
(2.23)

which proves the claimed (2.12).

We start from the original inequality (1.3) and see that
(2.24)
for all ; namely, the auxiliary inequality (2.11) holds for . By (2.12), we get
(2.25)

for all . This proves (2.6).

The remainder case is that for some . Let
(2.26)
where is an arbitrary small number. Obviously, for all . Using the same arguments as above, where is replaced with , we get
(2.27)

for all . Letting , we obtain (2.6) because of continuity of in and continuity of , and . This completes the proof.

## 3. Applications

In [11], the partial integrodifferential equation (1.2) was discussed for boundedness and uniqueness of the solutions under the assumptions that
(3.1)
respectively. In this section, we further consider the nonlinear delay partial integrodifferential equation
(3.2)

for all , where , and are supposed to be as in Theorem 2.1; , , , and are all continuous functions such that . Obviously, the estimation obtained in [11] cannot be applied to (3.2).

We first give an estimation for solutions of (3.2) under the condition
(3.3)

Corollary 3.1.

If is nondecreasing in and and (3.3) holds, then every solution of (3.2) satisfies
(3.4)
where
(3.5)

and , and are defined as in Theorem 2.1.

Corollary 3.1 actually gives a condition of boundedness for solutions. Concretely, if there is a positive constant such that
(3.6)

on , then every solution of (3.2) is bounded on .

Next, we give the condition of the uniqueness of solutions for (3.2).

Corollary 3.2.

Suppose
(3.7)
where are defined as in Theorem 2.1. There is a positive number such that
(3.8)

on . Then, (3.2) has at most one solution on , where are defined as in Theorem 2.1.

## Declarations

### Acknowledgments

This work is supported by the Scientific Research Fund of Guangxi Provincial Education Department (no. 200707MS112), the Natural Science Foundation (no. 2006N001), and the Applied Mathematics Key Discipline Foundation of Hechi College of China.

## Authors’ Affiliations

(1)
Department of Mathematics, Hechi College, Guangxi
(2)
Department of Mathematics, Sichuan University

## References

1. Bellman R: The stability of solutions of linear differential equations. Duke Mathematical Journal 1943,10(4):643–647. 10.1215/S0012-7094-43-01059-2
2. Gronwall TH: Note on the derivatives with respect to a parameter of the solutions of a system of differential equations. The Annals of Mathematics 1919,20(4):292–296. 10.2307/1967124
3. Agarwal RP, Deng S, Zhang W: Generalization of a retarded Gronwall-like inequality and its applications. Applied Mathematics and Computation 2005,165(3):599–612. 10.1016/j.amc.2004.04.067
4. Bihari I: A generalization of a lemma of Bellman and its application to uniqueness problems of differential equations. Acta Mathematica Hungarica 1956, 7: 81–94. 10.1007/BF02022967
5. Cheung W-S: Some new nonlinear inequalities and applications to boundary value problems. Nonlinear Analysis: Theory, Methods & Applications 2006,64(9):2112–2128. 10.1016/j.na.2005.08.009
6. Dafermos CM: The second law of thermodynamics and stability. Archive for Rational Mechanics and Analysis 1979,70(2):167–179.
7. Dannan FM: Integral inequalities of Gronwall-Bellman-Bihari type and asymptotic behavior of certain second order nonlinear differential equations. Journal of Mathematical Analysis and Applications 1985,108(1):151–164. 10.1016/0022-247X(85)90014-9
8. Medina R, Pinto M: On the asymptotic behavior of solutions of certain second order nonlinear differential equations. Journal of Mathematical Analysis and Applications 1988,135(2):399–405. 10.1016/0022-247X(88)90163-1
9. Mitrinović DS, Pečarić JE, Fink AM: Inequalities Involving Functions and Their Integrals and Derivatives, Mathematics and Its Applications. Volume 53. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1991:xvi+587.
10. Pachpatte BG: Inequalities for Differential and Integral Equations, Mathematics in Science and Engineering. Volume 197. Academic Press, San Diego, Calif, USA; 1998:x+611.
11. B. G. Pachpatte, Bounds on certain integral inequalities, Journal of Inequalities in Pure and Applied Mathematics, vol. 3, no. 3, article 47, 10 pages, 2002.Google Scholar
12. Wang W-S: A generalized sum-difference inequality and applications to partial difference equations. Advances in Difference Equations 2008, 2008:-12.Google Scholar