Document 10709047

advertisement
Journal of Inequalities in Pure and
Applied Mathematics
ON SOME RETARDED INTEGRAL INEQUALITIES
AND APPLICATIONS
volume 3, issue 2, article 18,
2002.
B.G. PACHPATTE
57, Shri Niketen Colony
Aurangabad - 431 001,
(Maharashtra) India.
EMail: bgpachpatte@hotmail.com
Received 11 July, 2001;
accepted 13 November, 2001.
Communicated by: S.S. Dragomir
Abstract
Contents
JJ
J
II
I
Home Page
Go Back
Close
c
2000
Victoria University
ISSN (electronic): 1443-5756
056-01
Quit
Abstract
The aim of this paper is to establish explicit bounds on certain retarded integral
inequalities which can be used as convenient tools in some applications. The
two independent variable generalizations of the main results and some applications are also given.
2000 Mathematics Subject Classification: 26D15, 26D20.
Key words: Retarded Integral Inequalities, Explicit Bounds, Two Independent Variable Generalizations, Qualitative Study, Nondecreasing, Change of Variable, Integrodifferential Equation, Uniqueness of Solutions.
Contents
1
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2
Statement of Results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
3
Proofs of Theorems 2.1 and 2.2 . . . . . . . . . . . . . . . . . . . . . . . . . 7
4
Some Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
References
On Some Retarded Integral
Inequalities and Applications
B.G. Pachpatte
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 2 of 16
J. Ineq. Pure and Appl. Math. 3(2) Art. 18, 2002
http://jipam.vu.edu.au
1.
Introduction
Integral inequalities which provide explicit bounds on unknown functions have
played a fundamental role in the development of the theory of differential and
integral equations. Over the years, various investigators have discovered many
useful integral inequalities in order to achieve a diversity of desired goals, see
[1] – [6] and the references given therein. In a recent paper [5] Lipovan has
given a useful nonlinear generalisation of the celebrated Gronwall inequality
and presented some of its applications. However, the integral inequalities available in the literature do not apply directly in certain general situations and it is
desirable to find integral inequalities useful in some new applications. The main
purpose of the present paper is to establish explicit bounds on more general retarded integral inequalities which can be used as tools in the qualitative study
of certain retarded integrodifferential equations. Some immediate applications
of one of the result to convey the importance of our results to the literature are
also given.
On Some Retarded Integral
Inequalities and Applications
B.G. Pachpatte
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 3 of 16
J. Ineq. Pure and Appl. Math. 3(2) Art. 18, 2002
http://jipam.vu.edu.au
2.
Statement of Results
In what follows, R denotes the set of real numbers, R+ = [0, ∞), I = [t0 , T ),
J1 = [x0 , X), J2 = [y0 , Y ) are the given subsets of R, ∆ = J1 × J2 and 0
denotes the derivative. The partial derivatives of a function z (x, y), x, y ∈ R
with respect to x and y are denoted by D1 z (x, y) and D2 z (x, y) respectively.
Our main results are given in the following theorems.
Theorem 2.1. Let u (t) , a (t) ∈ C (I, R+ ) , b (t, s) ∈ C (I 2 , R+ ) for t0 ≤ s ≤
t ≤ T and α (t) ∈ C 1 (I, I) be nondecreasing with α (t) ≤ t on I and k ≥ 0 be
a constant.
On Some Retarded Integral
Inequalities and Applications
B.G. Pachpatte
(a1 ) If
α(t)
Z
(2.1)
u (t) ≤ k +
Z
a (s) u (s) +
α(t0 )
s
b (s, σ) u (σ) dσ ds,
α(t0 )
u (t) ≤ k exp (A (t)) ,
Close
Z
α(t)
A (t) =
α(t0 )
for t ∈ I.
II
I
Go Back
for t ∈ I, where
(2.3)
Contents
JJ
J
for t ∈ I, then
(2.2)
Title Page
Z
a (s) +
s
α(t0 )
b (s, σ) dσ ds,
Quit
Page 4 of 16
J. Ineq. Pure and Appl. Math. 3(2) Art. 18, 2002
http://jipam.vu.edu.au
(a2 ) Let g ∈ C (R+ , R+ ) be a nondecreasing function with g (u) > 0 for u > 0.
If
Z α(t) Z s
(2.4) u (t) ≤ k +
a (s) g (u (s)) +
b (s, σ) g (u (σ)) dσ ds,
α(t0 )
α(t0 )
for t ∈ I, then for t0 ≤ t ≤ t1 ,
(2.5)
u (t) ≤ G−1 [G (k) + A (t)] ,
where A (t) is defined by (2.3), G−1 is the inverse function of
Z r
ds
(2.6)
G (r) =
, r > 0, r0 > 0,
r0 g (s)
On Some Retarded Integral
Inequalities and Applications
B.G. Pachpatte
and t1 ∈ I is chosen so that
G (k) + A (t) ∈ Dom G−1 ,
Title Page
for all t lying in the interval [t0 , t1 ] .
Contents
Theorem 2.2. Let u (x, y) , a (x, y) ∈ C (∆, R+ ) , b (x, y, s, t) ∈ C (∆2 , R+ ) ,
for x0 ≤ s ≤ x ≤ X, y0 ≤ t ≤ y ≤ Y, α (x) ∈ C 1 (J1 , J1 ) , β (y) ∈ C 1 (J2 , J2 )
be nondecreasing with α (x) ≤ x on J1 , β (y) ≤ y on J2 and k ≥ 0 be a
constant.
(b1 ) If
JJ
J
II
I
Go Back
Close
Z
α(x)
Z
β(y)
"
(2.7) u (x, y) ≤ k +
Quit
a (s, t) u (s, t)
α(x0 )
Page 5 of 16
β(y0 )
Z
s
Z
t
+
b (s, t, σ, η) u (σ, η) dηdσ dtds,
α(x0 )
β(y0 )
J. Ineq. Pure and Appl. Math. 3(2) Art. 18, 2002
http://jipam.vu.edu.au
for (x, y) ∈ ∆, then
u (x, y) ≤ k exp (A (x, y)) ,
(2.8)
for (x, y) ∈ ∆, where
(2.9) A (x, y)
Z α(x) Z
=
α(x0 )
β(y)
Z
a (s, t) +
β(y0 )
s
Z
t
b (s, t, σ, η) dηdσ dtds,
α(x0 )
β(y0 )
On Some Retarded Integral
Inequalities and Applications
for (x, y) ∈ ∆.
B.G. Pachpatte
(b2 ) Let g be as in Theorem 2.1, part (a2 ) . If
"
Z
Z
α(x)
β(y)
(2.10) u (x, y) ≤ k +
Title Page
a (s, t) g (u (s, t))
α(x0 )
Z
s
β(y0 )
Z
Contents
t
+
b (s, t, σ, η) g (u (σ, η)) dηdσ dtds,
α(x0 )
β(y0 )
for (x, y) ∈ ∆, then for x0 ≤ x ≤ x1 , y0 ≤ y ≤ y1 ,
(2.11)
u (x, y) ≤ G−1 [G (k) + A (x, y)] ,
where A (x, y) is defined by (2.9), G, G−1 are as defined in Theorem 2.1,
part (a2 ) and x1 ∈ J1 , y1 ∈ J2 are chosen so that
G (k) + A (x, y) ∈ Dom G−1 ,
for all x and y lying in [x0 , x1 ] and [y0 , y1 ] respectively.
JJ
J
II
I
Go Back
Close
Quit
Page 6 of 16
J. Ineq. Pure and Appl. Math. 3(2) Art. 18, 2002
http://jipam.vu.edu.au
3.
Proofs of Theorems 2.1 and 2.2
From the hypotheses, we observe that α0 (t) ≥ 0 for t ∈ I, α0 (x) ≥ 0 for
x ∈ J1 , β 0 (y) ≥ 0 for y ∈ J2 .
(a1 ) Let k > 0 and define a function z (t) by the right hand side of (2.1). Then
z (t) > 0, z (t0 ) = k, u (t) ≤ z (t) and
"
#
Z
α(t)
(3.1) z 0 (t) = a (α (t)) u (α (t)) +
[b (α (t) , σ) u (σ) dσ] α0 (t)
α(t0 )
"
Z
#
α(t)
≤ a (α (t)) z (α (t)) +
On Some Retarded Integral
Inequalities and Applications
[b (α (t) , σ) z (σ) dσ] α0 (t) .
B.G. Pachpatte
α(t0 )
From (3.1) it is easy to observe that
"
#
Z α(t)
0
z (t)
≤ a (α (t)) +
b (α (t) , σ) dσ α0 (t) .
(3.2)
z (t)
α(t0 )
Integrating (3.2) from t0 to t, t ∈ I and by making the change of variables
yields
Title Page
Contents
JJ
J
II
I
Go Back
Close
(3.3)
z (t) ≤ k exp (A (t)) ,
for t ∈ I. Using (3.3) in u (t) ≤ z (t) we get the inequality in (2.2). If
k ≥ 0, we carry out the above procedure with k + ε instead of k, where
ε > 0 is an arbitrary small constant, and subsequently pass to the limit as
ε → 0 to obtain (2.2).
Quit
Page 7 of 16
J. Ineq. Pure and Appl. Math. 3(2) Art. 18, 2002
http://jipam.vu.edu.au
(a2 ) Let k > 0 and define a function z (t) by the right hand side of (2.4). Then
z (t) > 0, z (t0 ) = k, u (t) ≤ z (t) and as in the proof of (a1 ) we get
"
#
Z α(t)
z 0 (t)
(3.4)
≤ a (α (t)) +
b (α (t) , σ) dσ α0 (t) .
g (z (t))
α(t0 )
From (2.6) and (3.4) we have
(3.5)
d
G (z (t))
dt
On Some Retarded Integral
Inequalities and Applications
"
#
Z α(t)
z 0 (t)
=
≤ a (α (t)) +
b (α (t) , σ) dσ α0 (t) .
g (z (t))
α(t0 )
Integrating (3.5) from t0 to t, t ∈ I and by making the change of variables
we have
(3.6)
G (z (t)) ≤ G (k) + A (t) .
Since G−1 (z) is increasing, from (3.6) we have
B.G. Pachpatte
Title Page
Contents
JJ
J
II
I
Go Back
z (t) ≤ G−1 [G (k) + A (t)] .
Close
Using (3.7) in u (t) ≤ z (t) we get (2.5). The case k ≥ 0 can be completed
as mentioned in the proof of (a1 ) . The subinterval t0 ≤ t ≤ t1 for t is
obvious.
Quit
(3.7)
Page 8 of 16
J. Ineq. Pure and Appl. Math. 3(2) Art. 18, 2002
http://jipam.vu.edu.au
(b1 ) Let k > 0 and define a function z (x, y) by the right hand side of (2.7).
Then z (x, y) > 0, z (x0 , y) = z (x, y0 ) = k, u (x, y) ≤ z (x, y) and
(3.8)D1 z (x, y)
"Z
"
β(y)
=
a (α (x) , t) u (α (x) , t)
β(y0 )
Z
α(x)
Z
#
t
b (α (x) , t, σ, η) u (σ, η) dηdσ dt α0 (x)
+
α(x0 )
"Z
β(y)
≤
#
On Some Retarded Integral
Inequalities and Applications
β(y0 )
"
a (α (x) , t) z (α (x) , t)
B.G. Pachpatte
β(y0 )
Z
α(x)
Z
#
t
b (α (x) , t, σ, η) z (σ, η) dηdσ dt α0 (x) .
+
α(x0 )
#
β(y0 )
Contents
From (3.8) it is easy to observe that
"Z
"
β(y)
D1 z (x, y)
(3.9)
≤
a (α (x) , t)
z (x, y)
β(y0 )
# #
Z α(x) Z t
+
b (α (x) , t, σ, η) dηdσ dt α0 (x) .
α(x0 )
Title Page
β(y0 )
Keeping y fixed in (3.9), setting x = ξ and integrating it with respect to ξ
from x0 to x and making the change of variables we get
JJ
J
II
I
Go Back
Close
Quit
Page 9 of 16
J. Ineq. Pure and Appl. Math. 3(2) Art. 18, 2002
(3.10)
z (x, y) ≤ k exp (A (x, y)) .
http://jipam.vu.edu.au
Using (3.10) in u (x, y) ≤ z (x, y), we get the required inequality in (2.8).
The case k ≥ 0 follows as mentioned in the proof of (a1 ) .
(b2 ) The proof can be completed by following the proof of (a2 ) and closely
looking at the proof of (b1 ) . Here we omit the details.
On Some Retarded Integral
Inequalities and Applications
B.G. Pachpatte
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 10 of 16
J. Ineq. Pure and Appl. Math. 3(2) Art. 18, 2002
http://jipam.vu.edu.au
4.
Some Applications
In this section, we present some immediate applications of the inequality (a1 )
in Theorem 2.1 to study certain properties of solutions of the integrodifferential
equation
Z t
0
(P )
x (t) = F t, x (t − h (t)) ,
f (t, σ, x (σ − h (σ))) dσ ,
t0
On Some Retarded Integral
Inequalities and Applications
with the given initial condition
x (t0 ) = x0 ,
(P0 )
where f ∈ C (I 2 × R, R), F ∈ C (I × R2 , R), x0 is a real constant and h ∈
C 1 (I, I) be nondecreasing with t − h (t) ≥ 0, h0 (t) < 1, h (t0 ) = 0.
The following theorem deals with the estimate on the solution of (P ) – (P0 ).
Theorem 4.1. Suppose that
(4.1)
(4.2)
|f (t, s, x)| ≤ b (t, s) |x| ,
|F (t, x, w)| ≤ a (t) |x| + |w| ,
B.G. Pachpatte
Title Page
Contents
JJ
J
II
I
Go Back
Close
where a (t) , b (t, s) are as defined in Theorem 2.1 and let
(4.3)
M = max
t∈I
1
.
1 − h0 (t)
Quit
Page 11 of 16
J. Ineq. Pure and Appl. Math. 3(2) Art. 18, 2002
http://jipam.vu.edu.au
If x (t) is any solution of (P ) – (P0 ), then
Z
(4.4)
t−h(t)
|x (t)| ≤ |x0 | exp
"
M a (s + h (η))
t0
Z
s
M b (s + h (η) , σ + h (τ )) dσ ds ,
2
+
t0
for t, η, τ in I.
Proof. The solution x (t) of (P ) – (P0 ) can be written as
Z t Z s
(4.5) x (t) = x0 +
F s, x (s − h (s)) ,
f (s, σ, x (σ − h (σ))) dσ ds.
t0
t0
t−h(t)
|x (t)| ≤ |x0 | +
Contents
JJ
J
"
M a (s + h (η)) |x (s)|
t0
Z
s
2
M b (s + h (η) , σ + h (τ )) |x (σ)| dσ ds,
+
t0
for t, η, τ in I. Now a suitable application of the inequality in (a1 ) given in
Theorem 2.1 yields the required estimate in (4.4).
Next, we shall prove the uniqueness of the solutions of (P ) – (P0 ).
B.G. Pachpatte
Title Page
Using (4.1) – (4.3) in (4.5) and making the change of variables we have
Z
On Some Retarded Integral
Inequalities and Applications
II
I
Go Back
Close
Quit
Page 12 of 16
J. Ineq. Pure and Appl. Math. 3(2) Art. 18, 2002
http://jipam.vu.edu.au
Theorem 4.2. Suppose that the functions f, F in (P ) satisfy the conditions
(4.6)
(4.7)
|f (t, s, x) − f (t, s, y)| ≤ b (t, s) |x − y| ,
|F (t, x, x̄) − F (t, y, ȳ)| ≤ a (t) |x − y| + |x̄ − ȳ| ,
where a (t) , b (t, s) are as defined in Theorem 2.1 and let M be as in (4.3). Then
the problem (P ) – (P0 ) has at most one solution on I.
Proof. Let x (t) and x̄ (t) be two solutions of (P ) – (P0 ) on I, then we have
(4.8) x (t) − x̄ (t)
Z t Z s
=
F s, x (s − h (s)) ,
f (s, σ, x (σ − h (σ))) dσ
t0
t0
Z s
− F s, x̄ (s − h (s)) ,
f (s, σ, x̄ (σ − h (σ))) dσ
ds.
t0
t−h(t)
≤
Title Page
JJ
J
|x (t) − x̄ (t)|
Z
B.G. Pachpatte
Contents
Using (4.6), (4.7) in (4.8) and making the change of variables we have
(4.9)
On Some Retarded Integral
Inequalities and Applications
II
I
"
Go Back
M a (s + h (η)) |x (s) − x̄ (s)|
t0
Close
Z
s
+
M 2 b (s + h (η) , σ + h (τ )) |x (σ) − x̄ (σ)| dσ ds
t0
for t, η, τ in I. A suitable application of the inequality in (a1 ) given in Theorem
2.1 yields |x (t) − x̄ (t)| ≤ 0. Therefore x (t) = x̄ (t) , i.e., there is at most one
solution of (P ) – (P0 ).
Quit
Page 13 of 16
J. Ineq. Pure and Appl. Math. 3(2) Art. 18, 2002
http://jipam.vu.edu.au
Our next result shows the dependency of solutions of (P ) – (P0 ) on initial
values.
Theorem 4.3. Let x1 (t) and x2 (t) be the solutions of (P ) with the given initial
conditions
(P1 )
x1 (t0 ) = x1 ,
and
(P2 )
x2 (t0 ) = x2 ,
respectively, where x1 , x2 , are real constants. Suppose that the functions f and
F in (P ) satisfy the conditions (4.6) and (4.7) in Theorem 4.2 and let M be as
in (4.3). Then
Z t−h(t) "
(4.10) |x1 (t) − x2 (t)| ≤ |x1 − x2 | exp
M a (s + h (η))
t0
Z
s
+
M b (s + h (η) , σ + h (τ )) dσ ds ,
2
t0
for t, η, τ in I.
Proof. By using the facts that x1 (t) and x2 (t) are the solutions of (P ) – (P1 )
and (P ) – (P2 ) respectively, we have
(4.11) x1 (t) − x2 (t)
Z t Z s
= x1 − x2 +
F s, x1 (s − h (s)) ,
f (s, σ, x1 (σ − h (σ))) dσ
t0
t0
Z s
f (s, σ, x2 (σ − h (σ))) dσ
ds.
− F s, x2 (s − h (s)) ,
t0
On Some Retarded Integral
Inequalities and Applications
B.G. Pachpatte
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 14 of 16
J. Ineq. Pure and Appl. Math. 3(2) Art. 18, 2002
http://jipam.vu.edu.au
Using (4.6), (4.7) in (4.11) and by making the change of variables, we have
(4.12)
|x1 (t) − x2 (t)|
t−h(t)
Z
≤ |x1 − x2 | +
"
M a (s + h (η)) |x1 (s) − x2 (s)|
t0
Z
s
2
M b (s + h (η) , σ + h (τ )) |x1 (σ) − x2 (σ)| dσ ds,
+
t0
for t, η, τ in I. Now a suitable application of the inequality in (a1 ) given in
Theorem 2.1 to (4.12) yields the required estimate in (4.10).
In concluding we note that the inequality in (b1 ) given in Theorem 2.2 can be
used to study the similar properties as in Theorems 4.1 – 4.3 for the hyperbolic
partial integrodifferential equation
(4.13)
D1 D2 z (x, y) = F (x, y, z (x − h1 (x) , y − h2 (y)) , T z (x, y)) ,
with the given initial boundary conditions
(4.14)
z (x, y0 ) = a1 (x) , z (x0 , y) = a2 (y) , a1 (x0 ) = a2 (y0 ) ,
B.G. Pachpatte
Title Page
Contents
JJ
J
II
I
Go Back
where
Z
(4.15)
On Some Retarded Integral
Inequalities and Applications
xZ
y
K (x, y, s, t, z (s − h1 (s) , t − h2 (t))) dtds,
T z (x, y) =
x0
y0
under some suitable conditions on the functions involved in (4.13) – (4.15).
Since the formulations of these results are very close to those given above, we
omit it here. Various other applications of the inequalities given here is left to
another work.
Close
Quit
Page 15 of 16
J. Ineq. Pure and Appl. Math. 3(2) Art. 18, 2002
http://jipam.vu.edu.au
References
[1] D. BAINOV AND P. SIMEONOV, Integral Inequalities and Applications,
Kluwer Academic Publishers, Dordrecht, 1992.
[2] R. BELLMAN, The stability of solutions of linear differential equations,
Duke Math. J., 10 (1943), 643–647.
[3] I. BIHARI, A generalization of a lemma of Bellman and its application
to uniqueness problems of differential equations, Acta. Math. Acad. Sci.
Hungar., 7 (1965), 81–94.
On Some Retarded Integral
Inequalities and Applications
[4] T.H. GRONWALL, Note on the derivatives with respect to a parameter of
the solutions of a system of differential equations, Ann. Math., 20 (1919),
292–296.
B.G. Pachpatte
[5] O. LIPOVAN, A retarded Gronwall-like inequality and its applications, J.
Math. Anal. Appl., 252 (2000), 389–401.
Contents
[6] B.G. PACHPATTE, Inequalities for Differential and Integral Equations,
Academic Press, New York, 1998.
Title Page
JJ
J
II
I
Go Back
Close
Quit
Page 16 of 16
J. Ineq. Pure and Appl. Math. 3(2) Art. 18, 2002
http://jipam.vu.edu.au
Download