Chapter Five Multidimensional Nonlinear Integral Inequalities 5.1 Introduction In recent years considerable interest has been shown in developing vari...
Chapter Five Multidimensional Nonlinear Integral Inequalities 5.1 Introduction In recent years considerable interest has been shown in developing various aspects of the theory of partial differential and integral equations both for their own sake and for their applications in science and technology. One of the most useful tools in the development of the qualitative theory of partial differential and integral equations is integral inequalities involving functions of many independent variables, which provide explicit bounds on the unknown functions. In the past few years, many new and useful integral inequalities involving multivalued functions and their partial derivatives have been found. This chapter gives some basic nonlinear multidimensional integral inequalities recently discovered in the literature. These inequalities can be used as ready and powerful tools in the study of various problems in the theory of certain partial differential, integral and integro-differential equations. Some applications are discussed to illustrate how these inequalities may be used to study the qualitative behaviour of solutions of certain partial differential and integro-differential equations, and miscellaneous inequalities which can be used in certain applications are also given.
459
460
MULTIDIMENSIONALNONLINEAR INTEGRAL INEQUALITIES
5.2 Generalizations of Wendroff's Inequality The fundamental role played by Wendroff' s inequality and its generalizations and variants in the development of the theory of partial differential and integral equations is well known. In this section we present some basic nonlinear generalizations of Wendroff's inequality established by Bondge and Pachpatte (1979b, 1980a) and some new variants, which can be used as tools in the study of certain partial differential and integral equations. Bondge and Pachpatte (1979b) proved the following useful nonlinear generalization of Wendroff's inequality. Theorem 5.2.1 Let u(x, y) and p(x, y) be nonnegative continuous functions defined for x, y ~ R+. Let g(u) be a continuously differentiable function defined for u > O, g(u) > 0 for u > 0 and g' (u) > 0 for u > O. If x
u(x, y) < a(x) + b(y) +
y
ff 0
(5.2.1)
t)g(u(s, t)) ds dt,
0
for x, y ~ R+, where a(x) > O, b(y) > O, a'(x) > O, b'(y) > 0 are continuous functions defined for x, y ~ R+, then for 0 < x < Xl, 0 < y < Yl, u(x, y)
<
-
f2(a(0) + b(y)) +
~"2- 1
x
y
+ffp(s,t)dsdt 0
0
]
g(a(s) + b(0))
ds
0
(5.2.2)
,
where
ds
f2(r) --
g(s)
r > 0, ro > 0,
(5.2.3)
ro
g2-1 is the inverse function of f2 and Xl, yl are chosen so that x
f2(a(0) + b(y)) +
x
y
i g(a(s)a'
0
for all x, y lying in the subintervals 0 < x <
0 Xl,
0 ~ y < Yl of R+. Vl
MULTIDIMENSIONAL NONLINEAR INTEGRAL INEQUALITIES
461
Proof: We note that since g'(u) > 0 on R+, the function g(u) is monotonically increasing on (0, 0r Define a function z(x, y) by the fight-hand side of (5.2.1), then z(x, O) = a(x) 4- b(O), z(O, y) -- a(O) 4- b(y), and Zxy(X,
y ) - p(x, y)g(u(x, y)).
(5.2.4)
Using u(x, y) < z(x, y) in (5.2.4) and the fact that z(x, y) > 0, we observe that
Y) < p(x, y). g(z(x, y)) Zxy( x,
(5.2.5)
From (5.2.5) and by using the facts that Zx(X, y ) > 0, z(x, y) > O, g'(z(x, y)) > 0 for x, y 6 R+, we observe that Zxy( X, Y)
< p(x, y) + g(z(x, y)) -
Zy(X, y ) >
0,
Zx(x, y)g' (z(x, y))Zy (x, y) [g(z(x, y))]2
i.e.
( Zx(X, y) ) < p(x, y). Oy k,g(-~, y))_ -
(5.2.6)
Keeping x fixed in (5.2.6), we set y - t; then, integrating with respect to t from 0 to y and using the fact that z(x, O) - a(x) + b(O), we have y
Keeping y fixed in (5.2.8), set x = s; then, integrating with respect to s from 0 to x and using the fact that z(O, y) - a(O) + b(y) we have x
f2(z(x, y)) < ~(a(0) 4- b(y)) 4- f g(a(s)a'(s) 4- b(0)) ds 0 x y
+ffp(s,t)dsdr 0 0
(5.2.9)
462
MULTIDIMENSIONAL NONLINEAR INTEGRAL INEQUALITIES
Now substituting the bound on z(x, y) from (5.2.9) in u(x, y) < z(x, y), we obtain the desired bound in (5.2.2). The subintervals for x and y are obvious. II R e m a r k 5.2.1 From the proof of Theorem 5.2.1, it is easy to observe that, in addition to (5.2.2), we can conclude that
where the expression in the square bracket on the fight-hand side of (5.2.10) belongs to the domain of ~2-1 . We also note that the above conclusion applies to the following Theorems 5.2.3 and 5.2.4 and also some of the results given in our subsequent discussion. A Bondge and Pachpatte (1980a) gave the following generalization of Wendroff' s inequality. Theorem 5.2.2 Let u(x, y), a(x, y), b(x, y) and c(x, y) be nonnegative
continuous functions defined for x, y ~_R+. Let g(u), h(u) be continuously differentiable functions defined for u > O, g(u) > O, h(u) > 0 for u > 0 and g'(u) > 0, h'(u) > Ofor u > O, and let g(u) be subadditive and submultiplicative for u > O. If u(x,y)
(5.2.11)