- Research Article
- Open access
- Published:
On a Generalized Retarded Integral Inequality with Two Variables
Journal of Inequalities and Applications volume 2008, Article number: 518646 (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., [1–12]). In [11], Pachpatte obtained an estimation for the integral inequality
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ1_HTML.gif)
His results were applied to a partial integrodifferential equation:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ2_HTML.gif)
for boundedness and uniqueness of solutions.
In this paper, we discuss a more general form of integral inequality:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ3_HTML.gif)
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
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ4_HTML.gif)
Obviously, , and
in (2.1) are all nondecreasing and nonnegative functions and satisfy
. Let
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ5_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ6_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ7_HTML.gif)
Obviously, , and
are strictly increasing in
, and therefore the inverses
, and
are well defined, continuous, and increasing. We note that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ8_HTML.gif)
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
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ9_HTML.gif)
for all , where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ10_HTML.gif)
and is arbitrarily given on the boundary of the planar region
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ11_HTML.gif)
Here denotes the domain of a function.
Proof.
By the definition of functions and
, from (1.3) we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ12_HTML.gif)
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
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ13_HTML.gif)
Regarding (1.3), we consider the auxiliary inequality
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ14_HTML.gif)
for all , where
is chosen arbitrarily. We claim that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ15_HTML.gif)
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
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ16_HTML.gif)
By the fact that for
and the monotonicity of
, and
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ17_HTML.gif)
for all . Integrating the above from
to
, we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ18_HTML.gif)
for all . Let
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ19_HTML.gif)
From (2.15), (2.16), we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ20_HTML.gif)
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
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ21_HTML.gif)
From (2.13), (2.16), and (2.18), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ22_HTML.gif)
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
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ23_HTML.gif)
for all . Integrating the above from
to
, by (2.4) we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ24_HTML.gif)
for all . By (2.19) and the above inequality, we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ25_HTML.gif)
for all , where
is defined by (2.8). It follows from (2.5) that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ26_HTML.gif)
which proves the claimed (2.12).
We start from the original inequality (1.3) and see that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ27_HTML.gif)
for all ; namely, the auxiliary inequality (2.11) holds for
. By (2.12), we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ28_HTML.gif)
for all . This proves (2.6).
The remainder case is that for some
. Let
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ29_HTML.gif)
where is an arbitrary small number. Obviously,
for all
. Using the same arguments as above, where
is replaced with
, we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ30_HTML.gif)
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
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ31_HTML.gif)
respectively. In this section, we further consider the nonlinear delay partial integrodifferential equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ32_HTML.gif)
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
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ33_HTML.gif)
Corollary 3.1.
If is nondecreasing in
and
and (3.3) holds, then every solution
of (3.2) satisfies
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ34_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ35_HTML.gif)
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
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ36_HTML.gif)
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
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ37_HTML.gif)
where are defined as in Theorem 2.1. There is a positive number
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F518646/MediaObjects/13660_2007_Article_1823_Equ38_HTML.gif)
on . Then, (3.2) has at most one solution on
, where
are defined as in Theorem 2.1.
References
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
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
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
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
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
Dafermos CM: The second law of thermodynamics and stability. Archive for Rational Mechanics and Analysis 1979,70(2):167–179.
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
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
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.
Pachpatte BG: Inequalities for Differential and Integral Equations, Mathematics in Science and Engineering. Volume 197. Academic Press, San Diego, Calif, USA; 1998:x+611.
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.
Wang W-S: A generalized sum-difference inequality and applications to partial difference equations. Advances in Difference Equations 2008, 2008:-12.
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.
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
Wang, WS., Shen, CX. On a Generalized Retarded Integral Inequality with Two Variables. J Inequal Appl 2008, 518646 (2008). https://doi.org/10.1155/2008/518646
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2008/518646