Vol.4 No.6(2014), Article ID:47282,6 pages DOI:10.4236/apm.2014.46038

On a Class of Gronwall-Bellman Type Inequalities

Zareen A. Khan

Department of Mathematics, Princess Noura Bint Abdurehman University, Riyadh, KSA

Email: dr.zareenkhan@ymail.com

Received 25 March 2014; revised 20 April 2014; accepted 11 May 2014

ABSTRACT

The aim of the present paper is to establish some new integral inequalities of Gronwall type involving functions of two independent variables which provide explicit bounds on unknown functions. The inequalities given here can be used as tools in the qualitative theory of certain partial differential and integral equations.

Keywords:Integral Inequalities, Two Independent Variables, Partial Differential Equations, Nondecreasing, Nonincreasing

1. Introduction

The Gronwall type integral inequalities provide a necessary tool for the study of the theory of diﬀerential equations, integral equations and inequalities of the various types (please, see Gronwall [1] and Guiliano [2] ). Some applications of this result to the study of stability of the solution of linear and nonlinear diﬀerential equations may be found in Bellman [3] . Numerous applications to the existence and uniqueness theory of diﬀerential equations may be found in Nemyckii-Stepanov [4] , Bihari [5] , and Langenhop [6] . During the past few years several authors (see references below and some of the references cited therein) have established several Gronwall type integral inequalities in one or two independent real variables [1] -[14] . Of course, such results have application in the theory of partial diﬀerential equations and Volterra integral equations.

In [14] , Pachpatte investigated the following inequality:

Lemma: Let be nonnegative continuous functions defined on and be nonnegative constant. Let be a nonnegative continuous function defined for, and monotonic nondecreasing with respect to for ant fixed. If

For, then

where is the maximal solution of

For.

2. Main Results

Theorem 2.1: Let and be nonnegative continuous functions defined on. Let be a positive continuous and nondecreasing functions in both variables and defined for. If

(2.1)

Then

where and

, (2.2)

and is the maximal solution of

(2.3)

Proof: Define a function by the right-hand side of (2.1).Then

(2.4)

By using (2.4) in (2.1), we get

(2.5)

Since is a positive continuous and nondecreasing function, then

(2.6)

Let

(2.7)

From (2.6) and (2.7), we observe that

(2.8)

And

(2.9)

Differentiating both sides of (2.8) with respect to and, we get

(2.10)

By keeping first fixed in (2.10) and set and integrate from 0 to then again keeping fixed, set and integrate from 0 to respectively and using (2.9), we get

(2.11)

From (2.7) and (2.11), it is clear that

From (2.4), it can be restated as

where is the maximal solution of

This completes the proof.

Theorem 2.2: Let be defined as in Theorem 2.1. If

(2.12)

Then

where and

, (2.13)

where is the maximal solution of

Proof: Define a function by the right-hand side of (2.12).Then

(2.14)

By using (2.14) in (2.12), we get

(2.15)

By following the same steps of Theorem 2.1 from (2.5)-(2.11), we get

(2.16)

From (2.7), (2.14) and (2.16), we observe that

where is the maximal solution of

This completes the proof.

Theorem 2.3: Let be defined as in Theorem 2.1. If

(2.17)

Then

where and

, (2.18)

where is the maximal solution of

Proof: Define a function by the right-hand side of (2.17).Then

(2.19)

where

By using (2.19) in the above equation, we get

(2.20)

and

(2.21)

Since is a positive continuous and nondecreasing function, then from (2.20),

(2.22)

Let

(2.23)

where

(2.24)

And

(2.25)

Differentiating both sides of (2.24) with respect to and, and from (2.23), we get

(2.26)

By keeping first x fixed in (2.26) and set and integrate from 0 to y then again keeping y fixed, set and integrate from 0 to x respectively and using (2.25), we get

(2.27)

From (2.19), (2.23) and (2.27), it is clear that

where is the maximal solution of

This completes the proof.

Application: As an application, let us consider the bound on the solution of a nonlinear hyperbolic partial differential equation of the form

(2.28)

with the given boundary conditions

(2.29)

where and such that

(2.30)

(2.31)

where and be nonnegative continuous functions defined on a domain D

. The Equation (2.28) with (2.29) is equivalent to the integral equation

(2.32)

Let be any solution of (2.28) with (2.29) and taking absolute values of both sides, we get

(2.33)

Using (2.30)-(2.32) in (2.33) and assuming that, where be a positive continuous and nondecreasing function defined in the respective domain, we have

Then

where, and is the maximal solution of

The remaining proof will be the same as the proof of Theorem 2.1 with suitable modifications.

We note that Theorem 2.1 can be used to study the stability, boundedness and continuous dependence of the solutions of (2.28).

References

1. Gronwall, T.H. (1919) Note on the Derivatives with Respect to a Parameter of Solutions of a System of Differential Equations. Annals of Mathematics, 20, 292-296. http://dx.doi.org/10.2307/1967124
2. Guiliano, L. (1946) Generalazzioni di un lemma di Gronwall. Rend.Acad.Lecci, 1264-1271.
3. Bellman, R. (1943) The Stability of Solutions of Linear Differential Equations. Duke Mathematical Journal, 10, 643-647. http://dx.doi.org/10.1215/S0012-7094-43-01059-2
4. Nemyckii, V.V and Stepanov, V.V. (1947) Qualitative Theory of Differential Equations (Russian), Moscow, OGIZ.
5. Bihari, I. (1956) A Generalization of a Lemma of Bellman and Its Application to Uniqueness Problem of Differential Equations. Acta Mathematica Hungarica, 7, 71-94. http://dx.doi.org/10.1007/BF02022967
6. Langenhop, C.E. (1960) Bounds on the Norm of a Solution of a General Differential Equation. Proceedings of the American Mathematical Society, 11, 795-799.
7. Beckenbach, E.F and Bellman, R. (1961) Inequalities. Springer-Verlag, New York. http://dx.doi.org/10.1007/978-3-642-64971-4
8. Bainov, D. and Simeonov, P. (1992) Integral Inequalities and Applications. Kluwer Academic Publishers, Dordrecht.
9. Dragomir, S.S and Kim, Y.H. (2002) On Certain New Integral Inequalities and Their Applications. Journal of Inequalities in Pure and Applied Mathematics, 3, 1-8.
10. Dragomir, S.S and Kim, Y.H. (2003) Some Integral Inequalities for Functions of Two Variables. Electronic Journal of Differential Equations, 10, 1-13.
11. Mitrinovic, D.S, Pecaric, J.E. and Fink, A.M. (1991) Inequalities Involving Functions and Their Integrals and Derivatives. Kluwer Academic Publishers, Dordrecht, Boston, London. http://dx.doi.org/10.1007/978-94-011-3562-7
12. Pachpatte, B.G. (2001) On Some Fundamental Integral Inequalities and Their Discrete Analogues. Journal of Inequalities in Pure and Applied Mathematics, 2, Article 15.
13. Pachpatte, B.G. (1994b) On Some Fundamental Integral Inequalities Arising in the Theory of Differential Equations. Chinese Journal of Mathematics, 22, 261-273.
14. Pachpatte, B.G. (1996) Comparison Theorems Related to a Certain Inequality Used in the Theory of Differential Equations. Soochow Journal of Mathematics, 22, 383-394.