ON GENERALIZATION OF ˇ CEBYŠEV TYPE INEQUALITIES JJ

advertisement
ON GENERALIZATION OF ČEBYŠEV TYPE
INEQUALITIES
K. BOUKERRIOUA AND A. GUEZANE-LAKOUD
Department of Mathematics
University of Guelma
Guelma, Algeria
EMail: khaledV2004@yahoo.fr
vol. 8, iss. 2, art. 55, 2007
and
a_guezane@yahoo.fr
Received:
19 April, 2006
Accepted:
24 January, 2007
Communicated by:
N.S. Barnett
2000 AMS Sub. Class.:
Primary 30C45.
Key words:
Montgomery and Čebyšev-Grüss type inequalities, Pečarić’s extension, Montgomery
identity.
Abstract:
Generalization of Čebyšev
Type Inequalities
K. Boukerrioua and
A. Guezane-Lakoud
A generalization of Pečarić’s extension of Montgomery’s identity is established and
used to derive new Čebyšev type inequalities.
Title Page
Contents
JJ
II
J
I
Page 1 of 9
Go Back
Full Screen
Close
Contents
1
Introduction
3
2
Statement of Results
4
Generalization of Čebyšev
Type Inequalities
K. Boukerrioua and
A. Guezane-Lakoud
vol. 8, iss. 2, art. 55, 2007
Title Page
Contents
JJ
II
J
I
Page 2 of 9
Go Back
Full Screen
Close
1.
Introduction
In the present work we establish a generalization of Pečarić’s extension of ‘Montgomery’s’ identity and use it to derive new Čebyšev type inequalities.
We recall the Čebyšev inequality [1], given by the following:
(1.1)
|T (f, g)| ≤
1
(b − a)2 kf 0 k∞ kg 0 k∞ ,
12
where f, g : [a, b] → R are absolutely continuous functions, whose first derivatives
f 0 and g 0 are bounded,
(1.2)
1
T (f, g) =
b−a
Z
a
Generalization of Čebyšev
Type Inequalities
K. Boukerrioua and
A. Guezane-Lakoud
vol. 8, iss. 2, art. 55, 2007
b
f (x) g (x) dx
Z b
Z b
1
1
−
f (x) dx
g (x) dx
b−a a
b−a a
Title Page
Contents
JJ
II
and k·k∞ denotes the norm in L∞ [a, b] defined as kpk∞ = ess sup |p (t)|.
J
I
Pachpatte in [6] established new inequalities of the Čebyšev type by using Pečariċ’s
extension of the Montgomery identity [7].
Page 3 of 9
t∈[a,b]
Go Back
Full Screen
Close
2.
Statement of Results
From [3], if f : [a, b] → R is differentiable on [a, b] with the first derivative f 0 (t)
integrable on [a, b] , then the Montgomery identity holds:
Z b
Z b
1
(2.1)
f (x) =
f (t) dt +
P (x, t) f 0 (t) dt,
b−a a
a
where P (x, t) is the Peano kernel defined by

t−a



 b − a, a ≤ t ≤ x
P (x, t) =


t−b


, x < t ≤ b.
b−a
We assume that w : [a, b] → [0, +∞[ is some probability density function, i.e.
Rb
Rt
w (t) dt = 1, and set W (t) = a w (x) dx for a ≤ t ≤ b, W (t) = 0 for t < a
a
and for t > b. We then have the following identity given by Pečarić in [7], that is the
weighted generalization of the Montgomery identity:
Z b
Z b
(2.2)
f (x) =
w (t) f (t) dt +
Pw (x, t) f 0 (t) dt,
a
a
where the weighted Peano kernel Pw is:
(
W (t) ,
a≤t≤x
(2.3)
Pw (x, t) =
W (t) − 1, x < t ≤ b
Let ϕ : [0, 1] → R be a differentiable function on [0, 1], with ϕ (0) = 0, ϕ (1) 6= 0
and ϕ0 integrable on [0, 1]. To simplify the notation, for some given functions w, f,
Generalization of Čebyšev
Type Inequalities
K. Boukerrioua and
A. Guezane-Lakoud
vol. 8, iss. 2, art. 55, 2007
Title Page
Contents
JJ
II
J
I
Page 4 of 9
Go Back
Full Screen
Close
g : [a, b] → R, we set
b
Z
0
Z
x
(2.4) T (w, f, g, ϕ ) =
w (x) ϕ
w (t) dt f (x) g (x) dx
a
a
Z b
Z x
1
0
−
w (x) ϕ
w (t) dt f (x) dx
ϕ (1) a
a
Z b
Z x
0
×
w (x) ϕ
w (t) dt g (x) dx .
0
a
a
Theorem 2.1. Let f : [a, b] → R be differentiable and f 0 (t) integrable on [a, b] ,
then,
Z t
Z b
1
0
(2.5)
f (x) =
w (t) ϕ
w (s) ds f (t) dt
ϕ (1) a
a
Z b
1
Pw,ϕ (x, t) f 0 (t)dt,
+
ϕ (1) a
where Pw,ϕ is a generalization of the weighted Peano kernel defined by:
(
ϕ (W (t)) ,
a ≤ t ≤ x;
(2.6)
Pw,ϕ (x, t) =
ϕ (W (t)) − ϕ (1) , x < t ≤ b.
Proof. Using the hypothesis on ϕ,
Z b
(2.7)
Pw,ϕ (x, t) f 0 (t)dt
a
Z x
Z b
0
=
ϕ (W (t)) f (t)dt +
(ϕ (W (t)) − ϕ (1)) f 0 (t)dt
a
x
Generalization of Čebyšev
Type Inequalities
K. Boukerrioua and
A. Guezane-Lakoud
vol. 8, iss. 2, art. 55, 2007
Title Page
Contents
JJ
II
J
I
Page 5 of 9
Go Back
Full Screen
Close
Z
b
0
Z
b
ϕ (W (t)) f (t)dt − ϕ (1)
f 0 (t)dt
a
x
Z b
= [ϕ (W (t)) f (t)]ba −
w (t) ϕ0 (W (t)) f (t) dt − ϕ (1) [f (b) − f (x)]
a
Z t
Z b
0
= ϕ (1) f (x) −
w (t) ϕ
w (s) ds f (t) dt.
=
a
a
Multiplying both sides by 1/ϕ (1), we obtain,
Z t
Z b
Z b
1
1
0
f (x) =
w (t) ϕ
w (s) ds f (t) dt +
Pw,ϕ (x, t) f 0 (t)dt
ϕ (1) a
ϕ
(1)
a
a
Generalization of Čebyšev
Type Inequalities
K. Boukerrioua and
A. Guezane-Lakoud
vol. 8, iss. 2, art. 55, 2007
and this completes the proof.
Title Page
Theorem 2.2. Let f, g [a, b] → R be differentiable on [a, b] and f 0 , g 0 be integrable
on [a, b] and let w, ϕ be as in Theorem 2.1, then,
Z b
1
0
0
0
0
|T (w, f, g, ϕ )| ≤ 2
kf k∞ kg k∞ kϕ k∞
w (x) H 2 (x) dx,
ϕ (1)
a
Rb
where H (x) = a |Pw,ϕ (x, t)| dt and kϕ0 k∞ = ess sup |ϕ0 (t)| .
Contents
t∈[0,1]
Since the functions f and g satisfy the hypothesis of Theorem 2.1, the following
identities hold:
Z t
Z b
1
0
(2.8)
f (x) =
w (t) ϕ
w (s) ds f (t) dt
ϕ (1) a
a
Z b
1
+
Pw,ϕ (x, t) f 0 (t)dt
ϕ (1) a
JJ
II
J
I
Page 6 of 9
Go Back
Full Screen
Close
and
(2.9)
1
g (x) =
ϕ (1)
Z
b
w (t) ϕ
0
a
Z
a
t
w (s) ds g (t) dt
Z b
1
Pw,ϕ (x, t) g 0 (t) dt .
+
ϕ (1) a
Using (2.8) and (2.9) we obtain,
f (x) −
b
Z
0
Z
t
w (t) ϕ
w (s) ds f (t) dt
a
a
Z t
Z b
1
0
w (t) ϕ
w (s) ds g (t) dt
× g (x) −
ϕ (1) a
a
Z b
Z b
1
0
0
= 2
Pw,ϕ (x, t) f (t)dt
Pw,ϕ (x, t) g (t) dt .
ϕ (1) a
a
1
ϕ (1)
Consequently,
Generalization of Čebyšev
Type Inequalities
K. Boukerrioua and
A. Guezane-Lakoud
vol. 8, iss. 2, art. 55, 2007
Title Page
Contents
JJ
II
J
I
Page 7 of 9
Z t
Z b
1
0
(2.10) f (x) g (x) −
f (x)
w (t) ϕ
w (s) ds g (t) dt
ϕ (1)
a
a
Z t
Z b
1
0
−
g (x)
w (t) ϕ
w (s) ds f (t) dt
ϕ (1)
a
a
Z b
Z t
1
0
+ 2
w (t) ϕ
w (s) ds f (t) dt
ϕ (1)
a
a
Z b
Z t
0
×
w (t) ϕ
w (s) ds g (t) dt
a
a
Go Back
Full Screen
Close
1
= 2
ϕ (1)
Z
b
Z b
0
Pw,ϕ (x, t) f (t)dt
Pw,ϕ (x, t) g (t) dt .
0
a
a
Rx
Multiplying both sides of (2.10) by w (x) ϕ0 a w (s) ds and then integrating the
resultant identity with respect to x from a to b, we get,
Z x
Z b
1
0
(2.11) T (w, f, g, ϕ ) = 2
w (x) ϕ
w (t) dt
ϕ (1) a
a
Z b
Z b
0
0
×
Pw,ϕ (x, t) f (t)dt
Pw,ϕ (x, t) g (t) dt dx.
0
a
Generalization of Čebyšev
Type Inequalities
K. Boukerrioua and
A. Guezane-Lakoud
vol. 8, iss. 2, art. 55, 2007
a
Finally,
Title Page
|T (w, f, g, ϕ0 )| ≤
1
kf 0 k∞ kg 0 k∞ kϕ0 k∞
ϕ2 (1)
Z
a
b
Contents
w (x) H 2 (x) dx.
JJ
II
J
I
Page 8 of 9
Go Back
Full Screen
Close
References
[1] P.L. ČEBYŠEV, Sur les expressions approximatives des intégrales définies par
les autres prises entre les mêmes limites, Proc. Math. Soc. Charkov, 2 (1882),
93–98.
[2] G. R GRÜSS. Über das Rmaximum R des absoluten Betrages von
b
b
b
1
1
f (x) g (x) dx − (b−a)
f (x) dx a g (x) dx, Math. Z., 39 (1935),
2
b−a a
a
215–226.
[3] D.S. MITRINOVIĆ, J.E. PEČARIĆ AND A.M. FINK, Inequalities Involving
Functions and their Integrals and Derivatives, Kluwer Academic Publishers,
Dordrecht, 1991.
[4] D.S. MITRINOVIĆ, J.E. PEČARIĆ AND A.M. FINK, Classical and New Inequalities in Analysis, Kluwer Academic Publishers, Dordrecht, 1993.
[5] B.G. PACHPATTE, New weighted multivariable Grüss type inequalities, J.
Inequal. Pure and Appl. Math., 4(5) (2003), Art 108. [ONLINE: http://
jipam.vu.edu.au/article.php?sid=349].
[6] B.G. PACHPATTE, On Čebysev-Grüss type inequalities via Pečarić’s extention
of the Montgomery identity, J. Inequal. Pure and Appl. Math., 7(1) (2006),
Art 108. [ONLINE: http://jipam.vu.edu.au/article.php?sid=
624].
[7] J.E. PEČARIĆ, On the Čebysev inequality, Bul. Sti. Tehn. Inst. Politehn. "Tralan
Vuia" Timişora (Romania), 25(39) (1) (1980), 5–9.
Generalization of Čebyšev
Type Inequalities
K. Boukerrioua and
A. Guezane-Lakoud
vol. 8, iss. 2, art. 55, 2007
Title Page
Contents
JJ
II
J
I
Page 9 of 9
Go Back
Full Screen
Close
Download