SOME COMPANIONS OF AN OSTROWSKI TYPE INEQUALITY AND APPLICATIONS

advertisement
Volume 10 (2009), Issue 2, Article 52, 12 pp.
SOME COMPANIONS OF AN OSTROWSKI TYPE INEQUALITY AND
APPLICATIONS
ZHENG LIU
I NSTITUTE OF A PPLIED M ATHEMATICS , S CHOOL OF S CIENCE
U NIVERSITY OF S CIENCE AND T ECHNOLOGY L IAONING
A NSHAN 114051, L IAONING , C HINA
lewzheng@163.net
Received 11 February, 2009; accepted 12 May, 2009
Communicated by S.S. Dragomir
A BSTRACT. We establish some companions of an Ostrowski type integral inequality for functions whose derivatives are absolutely continuous. Applications for composite quadrature rules
are also given.
Key words and phrases: Ostrowski type inequality, Perturbed trapezoid rule, Midpoint rule, Composite quadrature rule.
2000 Mathematics Subject Classification. 26D15.
1. I NTRODUCTION
Motivated by [1], Dragomir in [2] has proved the following companion of the Ostrowski
inequality:
(1.1)
Z b
1
1
[f (x) + f (a + b − x)] −
f (t) dt
2
b−a a
 3a+b 2 
x− 4
1


(b − a) kf 0 k[a,b],∞
+2

b−a
8




a+b q+1 1q

1
1
−x
x−a q+1
2q
(b − a) q kf 0 k[a,b],p ,
+ 2b−a
1
≤
b−a
(q+1) q





3a+b i
h



 1 + x− 4 kf 0 k[a,b],1
b−a
4
if f 0 ∈ L∞ [a, b] ;
if p > 1, p1 +
= 1,
and f 0 ∈ Lp [a, b] ;
if f 0 ∈ L1 [a, b] ,
for all x ∈ a, a+b
, where f : [a, b] → R is an absolutely continuous function.
2
041-09
1
q
2
Z HENG L IU
In particular, the best result in (1.1) is obtained for x = a+3b
, giving the following trapezoid
4
type inequalities:
Z b
1
3a
+
b
a
+
3b
1
(1.2) f
+f
−
f (t) dt
2
4
4
b−a a

1

(b − a) kf 0 k[a,b],∞ if f 0 ∈ L∞ [a, b] ;

8



1
1 (b−a) q
0
≤
if f 0 ∈ Lp [a, b] , p > 1, p1 + 1q = 1;
·
1 kf k[a,b],p ,
4
q

(q+1)



 1 kf 0 k
if f 0 ∈ L1 [a, b] .
[a,b],1
4
Some natural applications of (1.1) and (1.2) are also provided in [2].
In [3], Dedić et al. have derived the following trapezoid type inequality:
Z b
1
(b − a)2 00
3a + b
a + 3b
1
≤
(1.3)
f
+
f
−
f
(t)
dt
kf k∞ ,
2
4
4
b−a a
32
for a function f : [a, b] → R whose derivative f 0 is absolutely continuous and f 00 ∈ L∞ [a, b].
In [4], we find that for a function f : [a, b] → R whose derivative f 0 is absolutely continuous,
the following perturbed trapezoid inequalities hold:
Z
b
(b − a)2 0
b−a
[f (a) + f (b)] +
[f (b) − f 0 (a)]
(1.4) f (t) dt −
a
2
8

(b−a)3

if f 00 ∈ L∞ [a, b] ;
 24 kf 00 k∞




2+ 1
(b−a) q
00
≤
if f 00 ∈ LP [a, b] , p > 1, p1 + 1q = 1;
1 kf kp ,
q

8(2q+1)




 (b−a)2 kf 00 k
if f 00 ∈ L1 [a, b] .
1
8
In this paper, we provide some companions of Ostrowski type inequalities for functions
whose first derivatives are absolutely continuous and whose second derivatives belong to the
Lebesgue spaces Lp [a, b], 1 ≤ p ≤ ∞. These improve (1.3) and recapture (1.4). Applications
for composite quadrature rules are also given.
2. S OME I NTEGRAL I NEQUALITIES
Lemma 2.1. Let f : [a, b] → R be such that the derivative f 0 is absolutely continuous on [a, b].
Then we have the equality
Z b
1
1
1
3a + b
(2.1)
f (t) dt− [f (x)+f (a+b−x)]+
x−
[f 0 (x)−f 0 (a + b − x)]
b−a a
2
2
4
"Z
2
Z a+b−x x
1
a+b
2 00
=
(t − a) f (t) dt +
t−
f 00 (t) dt
2 (b − a) a
2
x
Z b
2 00
+
(t − b) f (t) dt
a+b−x
for any x ∈ a, a+b
.
2
J. Inequal. Pure and Appl. Math., 10(2) (2009), Art. 52, 12 pp.
http://jipam.vu.edu.au/
O STROWSKI T YPE I NEQUALITY
3
Proof. Using the integration by parts formula for Lebesgue integrals, we have
Z x
Z x
2 00
2 0
(t − a) f (t) dt = (x − a) f (x) − 2 (x − a) f (x) + 2
f (t) dt,
a
Z
a+b−x
x
and
Z
a
a+b
t−
2
2
2
a+b
f (t) dt = x −
[f 0 (a + b − x) − f 0 (x)]
2
Z a+b−x
a+b
+2 x−
[f (x) + f (a + b − x)] + 2
f (t) dt,
2
x
00
b
2
2
00
0
Z
b
(t − b) f (t) dt = − (x − a) f (a + b − x)−2 (x − a) f (a + b − x)+2
a+b−x
f (t) dt.
a+b−x
Summing the above equalities, we deduce the desired identity (2.1).
Theorem 2.2. Let f : [a, b] → R be such that the derivative f 0 is absolutely continuous on
[a, b]. Then we have the inequality
Z b
1
1
(2.2)
f (t) dt − [f (x) + f (a + b − x)]
b − a
2
a
1
3a + b
0
0
+
x−
[f (x) − f (a + b − x)]
2
4
"Z
2
Z a+b−x x
1
a+b
2
00
(t − a) |f (t) | dt +
t−
|f 00 (t) | dt
≤
2 (b − a) a
2
x
Z b
+
(t − b)2 |f 00 (t) | dt
a+b−x
:= M (x)
for any x ∈ a, a+b
.
2
00
If f ∈ L∞ [a, b], then we have the inequalities
"
1
(x − a)3 00
(2.3)
M (x) ≤
kf k[a,x],∞
2 (b − a)
3
#
3
2 a+b
(x − a)3 00
00
+
− x kf k[x,a+b−x],∞ +
kf k[a+b−x,b]
3
2
3
 3a+b 2 1
1 x− 4


(b − a)2 kf 00 k[a,b],∞ ;
 96 + 2
b−a




3α α1

3α x− a+b

1
x−a

2

+ b−a

2α−1 b−a



h
i β1
(b−a)2
00 β
00 β
00 β
≤
×
kf
k
+
kf
k
+
kf
k
[a,x],∞
[x,a+b−x],∞
[a+b−x,b],∞
3


1
1


if α > 1, α + β = 1;


a+b 3 

3
x−


max 12 x−a
, b−a2

b−a



2

× kf 00 k[a,x],∞ + kf 00 k[x,a+b−x],∞ + kf 00 k[a+b−x,b],∞ (b−a)
;
3
a+b for any x ∈ a, 2 .
J. Inequal. Pure and Appl. Math., 10(2) (2009), Art. 52, 12 pp.
http://jipam.vu.edu.au/
4
Z HENG L IU
The inequality (2.2), the first inequality in (2.3) and the constant
1
96
are sharp.
Proof. The inequality (2.2) follows by Lemma 2.1 on taking the modulus and using its properties.
If f 00 ∈ L∞ [a, b], then
Z x
(x − a)3 00
2
00
(t − a) |f (t) | dt ≤
kf k[a,x],∞ ,
3
a
2
3
Z a+b−x 2 a+b
a+b
00
t−
|f (t) | dt ≤
− x kf 00 k[x,a+b−x],∞ ,
2
3
2
x
Z b
(x − a)3 00
2
00
(t − b) |f (t) | dt ≤
f k[a+b−x,b],∞
3
a+b−x
and the first inequality in (2.3) is proved.
Denote
3
(x − a)3 00
1 a+b
(x − a)3 00
00
M̄ (x) :=
kf k[a,x],∞ +
− x kf k[x,a+b−x],∞ +
kf k[a+b−x,b]
6
3
2
6
for x ∈ a, a+b
.
2
Firstly, observe that
M̄ (x) ≤ max kf 00 k[a,x],∞ , kf 00 k[x,a+b−x],∞ , kf 00 k[a+b−x,b],∞
"
#
3
(x − a)3 1 a + b
(x − a)3
×
+
−x +
6
3
2
6
"
#
2
2
(b − a)
1
3a + b
= kf 00 k[a,b],∞
+
x−
(b − a)
96
2
4
and the first part of the second inequality in (2.3) is proved.
Using the Hölder inequality for α > 1, α1 + β1 = 1, we also have
M̄ (x) ≤
1
3
("
3
(x − a)
2
#α
+ x−
3α
"
3
#α ) α1
a+b
(x − a)
+
2
2
h
i β1
× kf 00 kβ[a,x],∞ + kf 00 kβ[x,a+b−x],∞ + kf 00 kβ[a+b−x,b],∞
giving the second part of the second inequality in (2.3)
Finally, we also observe that
(
3 )
1
(x − a)3
a+b
M̄ (x) ≤ max
, x−
3
2
2
00
× kf k[a,x],∞ + kf 00 k[x,a+b−x],∞ + kf 00 k[a+b−x,b],∞ .
The sharpness of the inequalities mentioned
follows
from the fact that we can choose a function
f : [a, b] → R, f (t) = t2 for any x ∈ a, a+b
to
obtain
the corresponding equalities.
2
Remark 1. If in Theorem 2.2 we choose x = a, then we recapture the first part of the inequality
(1.4), i.e.,
Z b
1
1
b−a 0
0
≤ 1 (b − a)2 kf 00 k∞
f
(t)
dt
−
[f
(a)
+
f
(b)]
+
[f
(b)
−
f
(a)]
b − a
24
2
8
a
J. Inequal. Pure and Appl. Math., 10(2) (2009), Art. 52, 12 pp.
http://jipam.vu.edu.au/
O STROWSKI T YPE I NEQUALITY
with
1
24
5
as a sharp constant. If we choose x = a+b
, then we get
2
Z b
i
1
a + b 1 h 00
00
+
kf
k
f
(t)
dt
−
f
≤
kf
k
a+b
a+b
b − a
48
[a, 2 ],∞
[ 2 ,b],∞
2
a
1
≤
(b − a)2 kf 00 k[a,b],∞
24
with the constants
1
48
1
24
and
being sharp.
Corollary 2.3. With the assumptions in Theorem 2.2, one has the inequality
1 Z b
a+3b 3a+b
+
f
f
1
4
4
(b − a)2 kf 00 k[a,b],∞ .
(2.4)
f (t) dt −
≤
96
b − a a
2
1
The constant 96
is best possible in the sense that it cannot be replaced by a smaller constant.
Clearly (2.4) is an improvement of (1.3).
Theorem 2.4. Let f : [a, b] → R be such that the derivative f 0 is absolutely continuous on [a, b]
and f 00 ∈ Lp [a, b], p > 1. If M (x) is as defined in (2.2), then we have the bounds:
"
1
(2.5) M (x) ≤
2 (2q + 1)
a+b
2
−x
b−a
1
+2 q
≤
1
1
1
q
×
2 (2q + 1) q





































2
x−a
b−a
!2+ 1q
2+ 1q
kf 00 k[a,x],p
kf 00 k[x,a+b−x],p
1
x−a 2+ q
b−a
+2
1
q
a+b
−x
2
b−a
x−a
b−a
2+ 1q

1
kf 00 k[a+b−x,b],p  (b − a)1+ q
2+ 1q 1
× max kf 00 k[a,x],p , kf 00 k[x,a+b−x],p , kf 00 k[a+b−x,b],p (b − a)1+ q ;
a+b 2α+ αq α1
α
α
−x
x−a 2α+ q
2
q
+2
2 b−a
b−a
h
i β1
1
× kf 00 kβ[a,x],p + kf 00 kβ[x,a+b−x],p + kf 00 kβ[a+b−x,b],p (b − a)1+ q
if α > 1, α1 + β1 = 1,
2+ 1q
1 1 a+b
−x
x−a 2+ q
2
q
,2
max
b−a
b−a
00
1
× kf k[a,x],p + kf 00 k[x,a+b−x],p + kf 00 k[a+b−x,b],p (b − a)1+ q ;
.
for any x ∈ a, a+b
2
Proof. Using Hölder’s integral inequality for p > 1,
Z
x
2
(t − a) |f 00 (t) | dt ≤
a
Z
1
p
+
1
q
= 1, we have
x
2q
(t − a)
1q
dt kf 00 k[a,x],p
a
1
=
(x − a)2+ q
(2q + 1)
J. Inequal. Pure and Appl. Math., 10(2) (2009), Art. 52, 12 pp.
1
q
kf 00 k[a,x],p ,
http://jipam.vu.edu.au/
6
Z HENG L IU
Z
a+b−x
x
a+b
t−
2
2
1q
a + b 2q
|f (t) | dt ≤
|t −
| dt kf 00 k[x,a+b−x],p
2
x
2+ 1q
1
2 q a+b
−
x
2
=
kf 00 k[x,a+b−x],p ,
1
q
(2q + 1)
Z
00
a+b−x
and
Z
b
2
Z
00
b
(t − b) |f (t) | dt ≤
a+b−x
2q
(b − t)
1q
dt kf 00 k[a+b−x,b],p
a+b−x
1
=
(x − a)2+ q
1
q
kf 00 k[a+b−x,b],p .
(2q + 1)
Summing the above inequalities, we deduce the first bound in (2.5).
The last part may be proved in a similar fashion to the one in Theorem 2.2, and we omit the
details.
Remark 2. If in (2.5) we choose α = q, β = p, p1 + 1q = 1, p > 1, then we get the inequality

!2q+1  1q
1
2q+1
a+b
1
−x
2q
2
 x−a
 (b − a)1+ q kf 00 k[a,b],p ,
(2.6) M (x) ≤
+
1
b−a
b−a
2 (2q + 1) q
for any x ∈ a, a+b
.
2
Remark 3. If in Theorem 2.4 we choose x = a, then we recapture the second part of the
inequality (1.4), i.e.,
Z b
1
1
b
−
a
0
0
(2.7)
f (t) dt − [f (a) + f (b)] +
[f (b) − f (a)]
b − a
2
8
a
1
1+
1 (b − a) q kf 00 k[a,b],p
≤ ·
.
1
8
(2q + 1) q
The constant
1
8
is best possible in the sense that it cannot be replaced by a smaller constant.
Proof. Indeed, if we assume that (2.7) holds with a constant C > 0, instead of 81 , i.e.,
Z b
1
1
b−a 0
0
(2.8)
f
(t)
dt
−
[f
(a)
+
f
(b)]
+
[f
(b)
−
f
(a)]
b − a
2
8
a
1
≤C·
(b − a)1+ q kf 00 k[a,b],p
1
,
(2q + 1) q
then for the function f : [a, b] → R, f (x) = k x −
a+b 2
,
2
k > 0, we have
f (a) + f (b)
(b − a)2
=k·
,
2
4
f 0 (b) − f 0 (a) = 2k (b − a) ,
Z b
1
(b − a)2
f (t) dt = k ·
,
b−a a
12
1
kf 00 k[a,b],p = 2k (b − a) p ;
J. Inequal. Pure and Appl. Math., 10(2) (2009), Art. 52, 12 pp.
http://jipam.vu.edu.au/
O STROWSKI T YPE I NEQUALITY
7
and by (2.8) we deduce
k (b − a)2 k (b − a)2 k (b − a)2 2C · k (b − a)2
−
+
,
≤
1
12
4
4
(2q + 1) q
1
giving C ≥
proved.
(2q+1) q
24
. Letting q → 1+, we deduce C ≥ 18 , and the sharpness of the constant is
Remark 4. If in Theorem 2.4 we choose x = a+b
, then we get the midpoint inequality
2
Z b
1
a + b (2.9)
f (t) dt − f
b − a
2
a
1
i
1 (b − a)1+ q h 00
00
≤ · 1
kf k[a, a+b ],p + kf k[ a+b ,b],p
2
2
8 2 q (2q + 1) 1q
1
1 (b − a)1+ q 00
≤ ·
kf k[a,b],p ,
8 (2q + 1) 1q
In both inequalities the constant
constant.
1
8
p > 1,
1 1
+ = 1.
p q
is sharp in the sense that it cannot be replaced by a smaller
To show this fact, assume that (2.9) holds with C, D > 0, i.e.,
Z b
1
a + b (2.10)
f (t) dt − f
b − a
2
a
1
i
(b − a)1+ q h 00
00
≤C· 1
kf
k
+
kf
k
a+b
a+b
1
[a, 2 ],p
[ 2 ,b],p
2 q (2q + 1) q
1
≤D·
(b − a)1+ q
(2q + 1)
1
q
kf 00 k[a,b],p .
2
, k > 0, we have
For the function f : [a, b] → R, f (x) = k x − a+b
2
Z b
a+b
1
k (b − a)2
f
= 0,
f (t) dt =
,
2
b−a a
12
1
1
1
b−a p
00
00
kf k[a, a+b ],p + kf k[ a+b ,b],p = 4k
= 21+ q (b − a) p k,
2
2
2
1
kf 00 k[a,b],p = 2 (b − a) p k;
and then by (2.10) we deduce
k (b − a)2
2k (b − a)2
2k (b − a)2
≤
D
·
≤C·
1 ,
1
12
(2q + 1) q
(2q + 1) q
1
q
for any q > 1. Letting q → 1+, we deduce C, D ≥ 18 and the sharpness
giving C, D ≥ (2q+1)
24
of the constants in (2.9) is proved.
The following result is useful in providing the best quadrature rule in the class for approximating the integral of a function f : [a, b] → R whose first derivative is absolutely continuous
on [a, b] and whose second derivative is in Lp [a, b].
J. Inequal. Pure and Appl. Math., 10(2) (2009), Art. 52, 12 pp.
http://jipam.vu.edu.au/
8
Z HENG L IU
Corollary 2.5. With the assumptions in Theorem 2.4, one has the inequality
(2.11)
Z b
1
3a
+
b
a
+
3b
1
f
+
f
−
f
(t)
dt
2
4
4
b−a a
1
1 (b − a)1+ q 00
kf k[a,b],p ,
≤
·
32 (2q + 1) 1q
where p1 + 1q = 1.
1
The constant 32
is the best possible in the sense that it cannot be replaced by a smaller
constant.
Proof. The inequality follows by Theorem 2.4 and (2.6) on choosing x = 3a+b
.
4
To prove the sharpness of the constant, assume that (2.11) holds with a constant E > 0, i.e.,
Z b
1+ 1q
1
3a
+
b
a
+
3b
1
(b
−
a)
00
(2.12) f
+f
−
f (t) dt ≤ E ·
1 kf k[a,b],p .
2
4
4
b−a a
(2q + 1) q
Consider the function f : [a, b] → R,
 1
2
− 2 x − 3a+b


4




 1 x − 3a+b 2
2
4
f (x) =

1
a+3b 2

 −2 x − 4



2
 1
x − a+3b
2
4
if
x ∈ a, 3a+b
,
4
if
x∈
3a+b a+b
, 2
4
,
if
x∈
a+b a+3b
, 4
2
,
if
x∈
a+3b
,b
4
.
We have
  x −
0
f (x) =
 x−
3a+b 4
if
x ∈ a, a+b
,
2
if
x∈
a+3b 4
a+b
,b
2
.
Then f 0 is absolutely continuous and f 00 ∈ Lp [a, b], p > 1. We also have
1
3a + b
a + 3b
f
+f
= 0,
2
4
4
Z b
1
(b − a)2
f (t) dt =
,
b−a a
96
1
kf 00 k[a,b],p = (b − a) p ,
and then, by (2.12), we obtain
(b − a)2
(b − a)2
≤E·
1 ,
96
(2q + 1) q
1
giving E ≥
(2q+1) q
96
for any q > 1, i.e., E ≥
J. Inequal. Pure and Appl. Math., 10(2) (2009), Art. 52, 12 pp.
1
,
32
and the corollary is proved.
http://jipam.vu.edu.au/
O STROWSKI T YPE I NEQUALITY
9
Theorem 2.6. Let f : [a, b] → R be such that the derivative f 0 is absolutely continuous on [a, b]
and f 00 ∈ L1 [a, b]. If M (x) is as defined in (2.2), then we have the bounds:
"
2
x−a
b−a
kf 00 k[a,x],1
(2.13)
M (x) ≤
2
b−a

!2
2
a+b
−x
x−a
2
kf 00 k[x,a+b−x],1 +
kf 00 k[a+b−x,b],1 
+
b−a
b−a

2 2 a+b
−x
b−a
x−a

2

2 b−a + b−a

2





× max kf 00 k[a,x],1 , kf 00 k[x,a+b−x],1 , kf 00 k[a+b−x,b],1 ;



2α α1


−x
 b−a 2 x−a 2α + a+b
2
2
b−a
b−a
≤
h
i β1



00 β
00 β
00 β

×
kf
k
+
kf
k
+
kf
k

[a,x],1
[x,a+b−x],1
[a+b−x,b],1




if α > 1, α1 + β1 = 1;


h
i2


 b−a | x− 3a+b
4
| + 1 kf 00 k
;
2
b−a
[a,b],1
4
for any x ∈ a, a+b
.
2
The proof is as in Theorem 2.2 and we need only to prove the third inequality of the last part
as


2
a+b
2
!2 
−x 
x−a
b−a
max
,
 b−a

2
b−a
× kf 00 k[a,x],1 + kf 00 k[x,a+b−x],1 + kf 00 k[a+b−x,b],1
"
#
1 2
b − a x − 3a+b
4
=
kf 00 k[a,b],1 .
+
b−a 4
2
M (x) ≤
Remark 5. By the use of Theorem 2.6, for x = a, we recapture the third part of the inequality
(1.4), i.e.,
Z b
1
1
1
b
−
a
0
0
f (t) dt − [f (a) + f (b)] +
[f (b) − f (a)] ≤ (b − a) kf 00 k[a,b],1 .
b − a
2
8
8
a
If in (2.13) we choose x =
a+b
,
2
then we get the mid-point inequality
Z b
1
1
a
+
b
≤ (b − a) kf 00 k[a,b],1 .
f
(t)
dt
−
f
b − a
8
2
a
Corollary 2.7. With the assumptions in Theorem 2.6, one has the inequality
1 Z b
a+3b f 3a+b
+
f
1
4
4
f (t) dt −
(b − a) kf 00 k[a,b],1 .
≤
b − a a
32
2
J. Inequal. Pure and Appl. Math., 10(2) (2009), Art. 52, 12 pp.
http://jipam.vu.edu.au/
10
Z HENG L IU
3. A C OMPOSITE Q UADRATURE F ORMULA
We use the following inequalities obtained in the previous section:
Z b
1
3a + b
a + 3b
1
(3.1) f
+f
−
f (t) dt
2
4
4
b−a a

2
1

(b − a) kf 00 k[a,b],∞ if f 00 ∈ L∞ [a, b] ;

96



1+ 1
(b−a) q
1
00
≤
if f 00 ∈ Lp [a, b] , p > 1,
·
1 kf k[a,b],p
32
q

(2q+1)



 1
(b − a) kf 00 k[a,b],1
if f 00 ∈ L1 [a, b] .
32
1
p
+
1
q
= 1;
Let In : a = x0 < x1 < · · · < xn−1 < xn = b be a division of the interval [a, b] and
hi := xi+1 − xi (i = 0, . . . , n − 1) and ν (In ) := max {hi |i = 0, . . . , n − 1}.
Consider the composite quadrature rule
n−1 1X
3xi + xi+1
xi + 3xi+1
(3.2)
Qn (In , f ) :=
f
+f
hi .
2 i=0
4
4
The following result holds.
Theorem 3.1. Let f : [a, b] → R be such that the derivative f 0 is absolutely continuous on
[a, b]. Then we have
Z b
f (t) dt = Qn (In , f ) + Rn (In , f ) ,
a
where Qn (In , f ) is defined by the formula (3.2), and the remainder satisfies the estimates

n−1
P 3

1
00

kf
k
hi
if f 00 ∈ L∞ [a, b] ;

[a,b],∞

96

i=0


n−1
1q

P
1
(3.3)
|Rn (In , f ) | ≤
kf 00 k[a,b],p
h2q+1
if f 00 ∈ Lp [a, b] ,
i
 32(2q+1) 1q

i=0



p > 1, p1 + 1q = 1;


 1 00
kf k[a,b],1 [ν (In )]2
if f 00 ∈ L1 [a, b] .
32
Proof. Applying inequality (3.1) on the interval [xi , xi+1 ], we may state that
Z xi+1
1
3x
+
x
x
+
3x
i
i+1
i
i+1
(3.4) f (t) dt −
f
+f
hi 2
4
4
xi
 1 3 00
h kf k[xi ,xi+1 ],∞ ;

96 i



2+ 1q
1
≤
kf 00 k[xi ,xi+1 ],p , p > 1,
h
1
i
q

32(2q+1)


 1 2 00
h kf k[xi ,xi+1 ],1 ;
32 i
1
p
+
1
q
= 1;
for each i ∈ {0, . . . , n − 1}.
Summing the inequality (3.4) over i from 0 to n − 1 and using the generalized triangle
inequality, we get
 Pn−1
1
3
00


i=0 hi kf k[xi ,xi+1 ],∞ ;
96



Pn−1 2+ 1q 00
1
(3.5)
|Rn (In , f ) | ≤
kf k[xi ,xi+1 ],p , p > 1, p1 + 1q = 1;
1
i=0 hi
q

32(2q+1)



 1 Pn−1 2 00
i=0 hi kf k[xi ,xi+1 ],1 .
32
J. Inequal. Pure and Appl. Math., 10(2) (2009), Art. 52, 12 pp.
http://jipam.vu.edu.au/
O STROWSKI T YPE I NEQUALITY
11
Now, we observe that
n−1
X
h3i kf 00 k[xi ,xi+1 ],∞
00
≤ kf k[a,b],∞
i=0
n−1
X
h3i .
i=0
Using Hölder’s discrete inequality, we may write that
n−1
X
2+ 1
hi q kf 00 k[xi ,xi+1 ],p
≤
i=0
n−1
X
(2+ 1 )q
hi q
! 1q
n−1
X
i=0
=
kf 00 kp[xi ,xi+1 ],p
i=0
n−1
X
! 1q
n−1 Z
X
h2q+1
i
i=0
=
! p1
i=0
n−1
X
xi+1
! p1
|f 00 (t) |p dt
xi
! 1q
h2q+1
i
kf 00 k[a,b],p .
i=0
Also, we note that
n−1
X
h2i kf 00 k[xi ,xi+1 ],1
n−1
2 X
≤ max hi
kf 00 k[xi ,xi+1 ],1
0≤i≤n−1
i=0
2
i=0
00
= [ν (In )] kf k[a,b],1 .
Consequently, by the use of (3.5), we deduce the desired result (3.3).
For the particular case where the division In is equidistant, i.e.,
In := xi = a + i ·
b−a
,
n
i = 0, . . . , n,
we may consider the quadrature rule:
(3.6)
n−1 b−aX
4i + 1
4i + 3
Qn (f ) :=
f a+
(b − a) + f a +
(b − a) .
2n i=0
4n
4n
The following corollary will be more useful in practice.
Corollary 3.2. With the assumption of Theorem 3.1, we have
Z b
f (t) dt = Qn (f ) + Rn (f ) ,
a
where Qn (f ) is defined by (3.6) and the remainder Rn (f ) satisfies the estimate:

3
1

kf 00 k[a,b],∞ (b−a)
;
2

96
n



2+ 1
(b−a) q
1
00
|Rn (In , f ) | ≤
kf
k
, p > 1, p1 + 1q = 1;
1
[a,b],p
n2
q

32(2q+1)




(b−a)2
1
00
kf
k
.
[a,b],1
32
n2
J. Inequal. Pure and Appl. Math., 10(2) (2009), Art. 52, 12 pp.
http://jipam.vu.edu.au/
12
Z HENG L IU
R EFERENCES
[1] A. GUESSAB AND G. SCHMEISSER, Sharp integral inequalities of the Hermite-Hadamard type,
J. Approx. Theory, 115 (2002), 260–288.
[2] S. S. DRAGOMIR, Some companions of Ostrowski’s inequality for absolutely continuous functions
and applications, Bull. Korean Math. Soc., 42(2) (2005), 213–230.
[3] Lj. DEDIĆ, M.MATIĆ AND J.PEČARIĆ, On generalizations of Ostrowski inequality via some
Euler-type identities, Math. Inequal. Appl., 3(3) (2000), 337–353.
[4] P. CERONE AND S.S. DRAGOMIR, Trapezoidal type rules from an inequalities point of view,
Handbook of Analytic-Computational Methods in Applied Mathematics, CRC Press N.Y. (2000),
65–134.
J. Inequal. Pure and Appl. Math., 10(2) (2009), Art. 52, 12 pp.
http://jipam.vu.edu.au/
Download