J I P A

advertisement
Journal of Inequalities in Pure and
Applied Mathematics
ON AN INEQUALITY OF OSTROWSKI TYPE
JOSIP PEČARIĆ AND SIME UNGAR
volume 7, issue 4, article 151,
2006.
Received 22 August, 2006;
accepted 28 August, 2006.
Faculty of Textile Technology
University of Zagreb
Pierottijeva 6
10000 Zagreb, Croatia
EMail: pecaric@hazu.hr
Communicated by: W.-S. Cheung
Department of Mathematics
University of Zagreb
Pierottijeva 6
10000 Zagreb, Croatia
EMail: ungar@math.hr
Abstract
Contents
JJ
J
II
I
Home Page
Go Back
Close
c 2000 Victoria University
ISSN (electronic): 1443-5756
225-06
Quit
Abstract
We prove an inequality of Ostrowski type for p-norm, generalizing a result of
Dragomir [1].
2000 Mathematics Subject Classification: 26D15, 26D10.
Key words: Ostrowski’s inequality, p-norm.
Contents
1
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2
The Main Result . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
3
The Weighted Case . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
References
On an Inequality of Ostrowski
type
Josip Pečarić and Sime Ungar
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 2 of 12
J. Ineq. Pure and Appl. Math. 7(4) Art. 151, 2006
http://jipam.vu.edu.au
1.
Introduction
For a differentiable function f : [a, b] → R, a · b > 0, Dragomir has in [1]
proved, using Pompeiu’s mean value theorem [3], the following Ostrowski type
inequality:
Z b
1
a + b f (x)
·
−
f (t) dt ≤ D(x) · kf − ι f 0 k∞ ,
(1.1)
2
x
b−a a
On an Inequality of Ostrowski
type
where ι(t) = t, t ∈ [a, b], and

(1.2)
b − a 1
D(x) =
+
|x|
4
a+b
2
x−
b−a
!2 
Josip Pečarić and Sime Ungar
.
Title Page
We are going to prove a general estimate with the p-norm, 1 ≤ p ≤ ∞,
which will for p = ∞ give the Dragomir result.
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 3 of 12
J. Ineq. Pure and Appl. Math. 7(4) Art. 151, 2006
http://jipam.vu.edu.au
2.
The Main Result
Theorem 2.1. Let the function f : [a, b] → R be continuous on [a, b] and differentiable on (a, b) with 0 < a < b. Then for p1 + 1q = 1, with 1 ≤ p, q ≤ ∞, and
all x ∈ [a, b], the following inequality holds:
Z b
a + b f (x)
1
(2.1)
·
−
f (t) dt ≤ P U (x, p) · kf − ι f 0 kp
2
x
b−a a
where ι(t) = t, t ∈ [a, b], and
On an Inequality of Ostrowski
type
1
x2−q − a1+q x1−2q q
a2−q − x2−q
·
+
(2.2) P U (x, p) = (b − a)
(1 − 2q)(2 − q)
(1 − 2q)(1 + q)
2−q
1 #
b
− x2−q
x2−q − b1+q x1−2q q
+
+
.
(1 − 2q)(2 − q)
(1 − 2q)(1 + q)
1
−1
p
"
Note that in cases (p, q) = (1, ∞), (∞, 1), and (2, 2) the constant P U (x, p)
has to be taken as the limit as p → 1, ∞, and 2, respectively.
Proof. Define F : [1/b, 1/a] → R by F (t) := t f ( 1t ). The function F is continuous and is differentiable on (1/b, 1/a), and for all x1 , x2 ∈ [1/b, 1/a] we
have
Z x1
F (x1 ) − F (x2 ) =
F 0 (t) dt
x
Z 2x1 1
1 0 1
1
(2.3)
=
f
− f
dt
u :=
t
t
t
t
x2
Josip Pečarić and Sime Ungar
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 4 of 12
J. Ineq. Pure and Appl. Math. 7(4) Art. 151, 2006
http://jipam.vu.edu.au
Z
(2.4)
1/x1
=−
(f (u) − uf 0 (u))
1/x2
1
du .
u2
Denote x1 =: 1/x and x2 =: 1/t. Then for all x, t ∈ [a, b] from (2.4) we get
Z t
1
1
1
f (x) − f (t) =
(f (u) − uf 0 (u)) 2 du,
x
t
u
x
i.e.,
Z
(2.5)
tf (x) − xf (t) = x t
x
t
1
(f (u) − uf (u)) 2 du .
u
0
Integrating on t and dividing by x, we obtain
Z b
Z b Z t
b2 − a2 f (x)
1
0
·
−
f (t) dt =
t
(f (u) − uf (u)) 2 du dt ,
2
x
u
a
a
x
and therefore
b
b2 − a2 f (x)
·
−
f (t) dt
2
x
a
Z b Z t
t
≤
(f (u) − uf 0 (u)) 2 du dt
u
Za x Zx x
t
=
(f (u) − uf 0 (u)) 2 du dt
u
a
t
Z b Z t
t
+
(f (u) − uf 0 (u)) 2 du dt .
u
x
x
Z
(2.6)
On an Inequality of Ostrowski
type
Josip Pečarić and Sime Ungar
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 5 of 12
J. Ineq. Pure and Appl. Math. 7(4) Art. 151, 2006
http://jipam.vu.edu.au
First, consider the case 1 < p, q < ∞. Applying Hölder’s inequality, the sum
in the last line of (2.5) is
Z x Z x
p1 Z x Z x q
1q
t
p
0
≤
|f (u) − uf (u)| du dt ·
du dt
(2.7)
2q
a
t
a
t u
Z b Z t
p1 Z b Z t q 1q
t
p
0
+
|f (u) − uf (u)| du dt ·
du dt
2q
x
x
x
x u
Z b Z b
p1
p
≤
|f (u) − uf 0 (u)| du dt
a
a
" Z Z
1q #
1q Z b Z t q
x q
x
t
t
.
+
du dt
×
du dt
2q
2q
x u
a
t u
x
The first factor in (2.7) equals
Z b Z b
p1
1
p
(2.8)
|f (u) − uf 0 (u)| du dt
= (b − a) p kf − ι f 0 kp ,
a
a
and for the second factor, for p, q 6= 2, we get
Z x Z x q
1q Z b Z t q
1q
t
t
(2.9)
du dt
+
du dt
2q
2q
a
t u
x
x u
1
2−q
a
− x2−q
x2−q − a1+q x1−2q q
=
+
(1 − 2q)(2 − q)
(1 − 2q)(1 + q)
1
2−q
x2−q − b1+q x1−2q q
b
− x2−q
+
+
.
(1 − 2q)(2 − q)
(1 − 2q)(1 + q)
On an Inequality of Ostrowski
type
Josip Pečarić and Sime Ungar
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 6 of 12
J. Ineq. Pure and Appl. Math. 7(4) Art. 151, 2006
http://jipam.vu.edu.au
Putting (2.8) and (2.9) into (2.7) and dividing (2.6) and (2.7) by (b − a)
gives the required inequality (2.1) in the case 1 < p, q < ∞, p, q 6= 2.
For p = q = 2, instead of (2.9) we obtain
Z
x
12 Z b Z t 2
12
t2
t
du dt
+
du dt
4
4
t u
x
x u
21 12 !
x 3 a3
x 3 b3
1
=
ln
+ 3 −1
+ ln
+ 3 −1
3
a
x
b
x
Z
(2.10)
a
x
which is easily shown to be equal to the limit of the right hand side in (2.9) for
q → 2, i. e.
(2.11)
p→2
12 12 !
x 3 a3
x 3 b3
ln
+ 3 −1
+ ln
+ 3 −1
.
a
x
b
x
1
1
3(b − a) 2
Now consider the case p = ∞, q = 1. The last line in (2.6) is
(2.12)
Josip Pečarić and Sime Ungar
Title Page
lim P U (x, p)
=
On an Inequality of Ostrowski
type
≤ sup |f (u) − u f 0 (u)|
Contents
JJ
J
II
I
Go Back
Close
a≤u≤b
Z b Z t
t
t
×
du dt +
du dt
2
2
a
t u
x
x u
2
a + b2
0
= kf − ι f k∞ ·
+x−a−b .
2x
Z
x
Z
x
Quit
Page 7 of 12
J. Ineq. Pure and Appl. Math. 7(4) Art. 151, 2006
http://jipam.vu.edu.au
Putting (2.12) into (2.6) and dividing by (b − a) gives
1
a + b f (x)
·
−
2
x
b−a
b
Z
f (t) dt
a
1
≤
b−a
a2 + b 2
+ x − a − b · kf − ι f 0 k∞
2x
which reproves the Dragomir’s result [1].
It is easy to see that
2
1
a + b2
+ x − a − b = lim P U (x, p)
p→∞
b−a
2x
proving (2.1) in the case p = ∞, q = 1.
Finally consider the case p = 1, q = ∞. In this case the last line of (2.6) is
x
Z
(2.13)
Z
x
|f (u) − uf 0 (u)| max
≤
a
t≤u≤x
a≤t≤x
t
Z
b
Z
t
du dt
u2
t
t
du dt
x≤u≤t u2
x
x
x≤t≤b
Z bZ b
1
b
0
≤
|f (u) − u f (u)| du dt ·
+
a x2
a
a
1
b
= (b − a)
+
· kf − ι f 0 k1 .
a x2
+
|f (u) − uf 0 (u)| max
On an Inequality of Ostrowski
type
Josip Pečarić and Sime Ungar
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 8 of 12
J. Ineq. Pure and Appl. Math. 7(4) Art. 151, 2006
http://jipam.vu.edu.au
Appending (2.13) to (2.6) and dividing by (b − a) gives
Z b
1
a + b f (x)
1
b
(2.14)
·
−
f (t) dt ≤
+ 2 · kf − ι f 0 k1 .
2
x
b−a a
a x
It is not too difficult to show that
(2.15)
lim P U (x, p) =
p→1
1
b
+ 2,
a x
so (2.14) proves formula (2.1) for p = 1, q = ∞, proving the theorem.
Remark 1. We have considered only the positive case, 0 < a < b. In the case
a < b < 0, a similar but more cumbersome formula holds, where most a’s, b’s
and x’s have to be replaced by their absolute values.
On an Inequality of Ostrowski
type
Josip Pečarić and Sime Ungar
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 9 of 12
J. Ineq. Pure and Appl. Math. 7(4) Art. 151, 2006
http://jipam.vu.edu.au
3.
The Weighted Case
In the weighted case we have the following result:
Theorem 3.1. Let the function f : [a, b] → R be continuous on [a, b] and differentiable on (a, b) with 0 < a < b, and let w : [a, b] → R be a nonnegative
integrable function. Then for p1 + 1q = 1, with 1 ≤ p, q ≤ ∞, and all x ∈ [a, b],
the following inequality holds:
f (x)
x
Z
b
Z
b
t w(t) dt −
f (t) w(t) dt
a
a
"
1
1q
Z x
Z x
p
(b
−
a)
q
q
1−2q
q
1−q
0
x
t (w(t)) dt −
t
(w(t)) dt
≤ kf − ιf kp ·
1 ·
a
a
(1 − 2q) q
Z b
1q #
Z b
.
+
t1−q (w(t))q dt − x1−2q
tq (w(t))q dt
(3.1)
x
x
Proof. Multiplying (2.5) by w(t)/x and integrating on t, we get
f (x)
x
Z
b
Z
t w(t) dt −
a
b
f (t) w(t) dt
Z t
Z b
1
0
=
t w(t)
(f (u) − u f (u)) 2 du dt ,
u
a
x
a
On an Inequality of Ostrowski
type
Josip Pečarić and Sime Ungar
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 10 of 12
J. Ineq. Pure and Appl. Math. 7(4) Art. 151, 2006
http://jipam.vu.edu.au
and as in the proof of Theorem 2.1 we have
Z
Z b
f (x) b
t w(t) dt −
f (t) w(t) dt
x a
a
Z x Z x
t w(t)
du dt
≤
(f (u) − uf 0 (u))
u2
a
t
Z b Z t
t w(t)
+
(f (u) − uf 0 (u))
du dt
u2
x
x
Z x Z x
p1 Z
p
0
≤
|f (u) − u f (u)| du dt
·
1q
t (w(t))q
du dt
u2q
a
t
a
t
1q
Z b Z t
p1 Z b Z t q
q
t
(w(t))
p
du dt
+
|f (u) − u f 0 (u)| du dt
·
u2q
x
x
x
x
Z b Z b
p1
p
0
≤
|f (u) − u f (u)| du dt
a
a
" Z Z
1q Z b Z t q
1q #
x
x q
t (w(t))q
t (w(t))q
·
du dt
+
du dt
u2q
u2q
a
t
x
x
which gives (3.1).
x
Z
x q
On an Inequality of Ostrowski
type
Josip Pečarić and Sime Ungar
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 11 of 12
J. Ineq. Pure and Appl. Math. 7(4) Art. 151, 2006
http://jipam.vu.edu.au
References
[1] S.S. DRAGOMIR, An inequality of Ostrowski type via Pompeiu’s mean
value theorem, J. of Inequal. in Pure and Appl. Math., 6(3) (2005),
Art. 83. [ONLINE: http://jipam.vu.edu.au/article.php?
sid=532].
[2] A. OSTROWSKI, Über die Absolutabweichung einer differentienbaren
Funktionen von ihren Integralmittelwert, Comment. Math. Hel., 10 (1938),
226–227.
[3] D. POMPEIU, Sur une proposition analogue au théorème des accroissements finis, Mathematica (Cluj, Romania), 22 (1946), 143–146.
On an Inequality of Ostrowski
type
Josip Pečarić and Sime Ungar
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 12 of 12
J. Ineq. Pure and Appl. Math. 7(4) Art. 151, 2006
http://jipam.vu.edu.au
Download