1. Introduction
The differential and integral inequalities occupy a very privileged position in the theory of differential and integral equations. In recent years, these inequalities have been greatly enriched by the recognition of their potential and intrinsic worth in many applications of the applied sciences. The integrodifferential inequalities recently established by Gronwall and others [1] -[12] have attracted considerable attention in the theory of differential and integral equations. This fact encourages us to find the explicit bounds on some fundamental integrodifferential inequalities which can be applied fairly well to achieve a diversity of desired goals. In [3] , Pachpatte (1977) gave the following useful integrodifferential inequality:
Let, and be nonnegative continuous functions defined on and is constant. If
(1.1)
for and is defined by
then
for where
.
Our goal in this paper is to establish new explicit bounds on some basic integrodifferential inequalities of one independent variable which will be equally important in handling the inequality (1.1). Given application in this paper also illustrates the usefulness of our result.
2. Main Results
Theorem 2.1: Let, and be nonnegative continuous functions defined on for which the inequality
(2.1)
holds, where is positive constant and. If
(2.2)
and
(2.3)
then
, (2.4)
, and
(2.5)
also
(2.6)
Proof: Define a function by the right-hand side of (2.1). Then
(2.7)
where
(2.8)
Then from (2.1) and (2.7), we have
(2.9)
Integrating both sides of (2.9) from 0 to t, we observe that
(2.10)
Differentiating both sides of (2.7) with respect to and using (2.9) and (2.10), we get
(2.11)
Define a function by the right-hand side of (2.11), then
(2.12)
where
(2.13)
It is clear that
(2.14)
By using (2.12) in (2.11), we have
(2.15)
Differentiating both sides of (2.12) with respect to, we get
By using (2.14) and (2.15) in the above equation, we observe that
(2.16)
Let
(2.17)
where
(2.18)
and
(2.19)
Using (2.17) in (2.16), we get
(2.20)
Differentiating both sides of (2.17) with respect to, we get
(2.21)
Inequality (2.21) by using (2.19) and (2.20), and since if takes the form
(2.22)
Let
(2.23)
where
(2.24)
Differentiating both sides of (2.23) with respect to, we get
(2.25)
Inequality (2.22) by using (2.23) and (2.25), takes the form
(2.26)
Multiplying both sides of (2.26) by and integrating the resulting inequality from 0 to, and using (2.24), we have
By using (2.23) in the above inequality, it can be seen that
which can be rewritten as
(2.27)
Using (2.27) in (2.20), we observe that
(2.28)
Let
(2.29)
where
(2.30)
Differentiating both sides of (2.29) with respect to, we get
(2.31)
Inequality (2.28) by using (2.29) and (2.31), takes the form
(2.32)
Multiplying both sides of (2.32) by and integrating the resulting inequality from 0 to, and using (2.29) and (2.30), we have
which can be rewritten as
(2.33)
From (2.15) and (2.33), we get
Integrating both sides of the above inequality from 0 to, and from (2.8), we observe that
(2.34)
From (2.9) and (2.34), we have
Application: As an application we obtain the bound on the solution of the differential equation of the formulation of the form
(2.35)
with the given initial conditions
(2.36)
where is a continuous function and are real constants.,. Here we assume that the solution of (2.35) and (2.36) exists on Assume that the function in (2.35) satisfies the condition
(2.37)
where is a real valued nonnegative continuous function defined on. If
and
then the bounds on the solution (2.35) takes the form
(2.38)
, where, , and
Also
Proof: Integrating both sides of (2.35) from 0 to, and using (2.36), we observe that
Taking absolute values of both sides of the above equation and using (2.37), we get
(2.39)
The remaining proof is the same as Theorem 2.1 by following the same steps from (2.7)-(2.35) in (2.39) with suitable modifications, we get the required bound of (2.35).
We note that many generalizations, extensions, variants and applications of the inequality given in this paper are possible and we hope that the result given here will assure greater importance in near future.