J I P A

advertisement
Journal of Inequalities in Pure and
Applied Mathematics
ON CEBYSEV-GRÜSS TYPE INEQUALITIES VIA PEČARIĆ’S
EXTENSION OF THE MONTGOMERY IDENTITY
volume 7, issue 1, article 11,
2006.
B.G. PACHPATTE
57 Shri Niketan Colony
Near Abhinay Talkies
Aurangabad 431 001
(Maharashtra) India.
Received 15 August, 2005;
accepted 19 January, 2006.
Communicated by: J. Sándor
EMail: bgpachpatte@gmail.com
Abstract
Contents
JJ
J
II
I
Home Page
Go Back
Close
c
2000
Victoria University
ISSN (electronic): 1443-5756
022-06
Quit
Abstract
In the present note we establish new Čebyšev-Grüss type inequalities by using
Pečarič’s extension of the Montgomery identity.
2000 Mathematics Subject Classification: 26D15, 26D20.
Key words: Čebyšev-Grüss type inequalities, Pečarić’s extension, Montgomery identity.
On Cebysev-Grüss Type
Inequalities via Pecarić’s
Extension of the Montgomery
Identity
Contents
1
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2
Statement of Results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3
Proofs of Theorems 2.1 and 2.2 . . . . . . . . . . . . . . . . . . . . . . . . .
References
3
4
7
B.G. Pachpatte
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 2 of 10
J. Ineq. Pure and Appl. Math. 7(1) Art. 11, 2006
http://jipam.vu.edu.au
1.
Introduction
For two absolutely continuous functions f, g : [a, b] → R consider the functional
Z b
1
T (f, g) =
f (x) g (x) dx
b−a a
Z b
Z b
1
1
−
f (x) dx
g (x) dx ,
b−a a
b−a a
where the involved integrals exist. In 1882, Čebyšev [1] proved that if f 0 , g 0 ∈
L∞ [a, b], then
(1.1)
1
|T (f, g)| ≤
(b − a)2 kf 0 k∞ kg 0 k∞ .
12
|T (f, g)| ≤
B.G. Pachpatte
Title Page
In 1935, Grüss [2] showed that
(1.2)
On Cebysev-Grüss Type
Inequalities via Pecarić’s
Extension of the Montgomery
Identity
1
(M − m) (N − n) ,
4
provided m, M, n, N are real numbers satisfying the condition −∞ < m ≤
M < ∞, −∞ < n ≤ N < ∞ for x ∈ [a, b] .
Many researchers have given considerable attention to the inequalities (1.1),
(1.2) and various generalizations, extensions and variants of these inequalities
have appeared in the literature, to mention a few, see [4, 5] and the references
cited therein. The aim of this note is to establish two new inequalities similar
to those of Čebyšev and Grüss inequalities by using Pečarič’s extension of the
Montgomery identity given in [6].
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 3 of 10
J. Ineq. Pure and Appl. Math. 7(1) Art. 11, 2006
http://jipam.vu.edu.au
2.
Statement of Results
Let f : [a, b] → R be differentiable on [a, b] and f 0 : [a, b] → R is integrable on
[a, b]. Then the Montgomery identity holds [3]:
(2.1)
1
f (x) =
b−a
Z
b
Z
f (t) dt +
a
b
P (x, t) f 0 (t) dt,
a
where P (x, t) is the Peano kernel defined by
( t−a
, a ≤ t ≤ x,
b−a
(2.2)
P (x, t) =
t−b
, x < t ≤ b.
b−a
Let w : [a, b] → [0, ∞) be some probability density function, that is, an
Rb
Rt
integrable function satisfying a w (t) dt = 1, and W (t) = a w (x) dx for
t ∈ [a, b], W (t) = 0 for t < a, and W (t) = 1 for t > b. In [6] Pečarić has given
the following weighted extension of the Montgomery identity:
Z b
Z b
(2.3)
f (x) =
w (t) f (t) dt +
Pw (x, t) f 0 (t) dt,
a
a
where Pw (x, t) is the weighted Peano kernel defined by
(
W (t) ,
a ≤ t ≤ x,
(2.4)
Pw (x, t) =
W (t) − 1, x < t ≤ b.
On Cebysev-Grüss Type
Inequalities via Pecarić’s
Extension of the Montgomery
Identity
B.G. Pachpatte
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 4 of 10
J. Ineq. Pure and Appl. Math. 7(1) Art. 11, 2006
http://jipam.vu.edu.au
We use the following notation to simplify the details of presentation. For some
suitable functons w, f, g : [a, b] → R,we set
Z
T (w, f, g) =
a
b
w (x) f (x) g (x) dx
Z b
Z b
−
w (x) f (x) dx
w (x) g (x) dx ,
a
a
and define k·k∞ as the usual Lebesgue norm on L∞ [a, b] that is, khk∞ :=
ess sup |h (t)| for h ∈ L∞ [a, b] .
t∈[a,b]
Our main results are given in the following theorems.
B.G. Pachpatte
0
0
Theorem 2.1. Let f, g : [a, b] → R be differentiable on [a, b] and f , g :
[a, b] → R are integrable on [a, b]. Let w : [a, b] → [0, ∞) be an integrable
Rb
function satisfying a w (t) dt = 1. Then
(2.5)
|T (w, f, g)| ≤ kf 0 k∞ kg 0 k∞
Z
b
w (x) H 2 (x) dx,
a
where
Title Page
Contents
JJ
J
II
I
Go Back
Z
(2.6)
On Cebysev-Grüss Type
Inequalities via Pecarić’s
Extension of the Montgomery
Identity
b
|Pw (x, t)| dt
H (x) =
a
for x ∈ [a, b] and Pw (x, t) is the weighted Peano kernel given by (2.4).
Close
Quit
Page 5 of 10
J. Ineq. Pure and Appl. Math. 7(1) Art. 11, 2006
http://jipam.vu.edu.au
Theorem 2.2. Let f, g, f 0 , g 0 , w be as in Theorem 2.1. Then
Z
1 b
(2.7) |T (w, f, g)| ≤
w (x) [|g (x)| kf 0 k∞ + |f (x)| kg 0 k∞ ]H (x) dx,
2 a
where H(x) is defined by (2.6).
On Cebysev-Grüss Type
Inequalities via Pecarić’s
Extension of the Montgomery
Identity
B.G. Pachpatte
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 6 of 10
J. Ineq. Pure and Appl. Math. 7(1) Art. 11, 2006
http://jipam.vu.edu.au
3.
Proofs of Theorems 2.1 and 2.2
Proof of Theorem 2.1. From the hypotheses the following identities hold [6]:
Z b
Z b
f (x) =
(3.1)
w (t) f (t) dt +
Pw (x, t) f 0 (t) dt,
a
a
Z b
Z b
(3.2)
g (x) =
w (t) g (t) dt +
Pw (x, t) g 0 (t) dt,
a
a
From (3.1) and (3.2) we observe that
Z b
Z b
f (x) −
w (t) f (t) dt g (x) −
w (t) g (t) dt
a
a
Z b
Z b
0
0
=
Pw (x, t) f (t) dt
Pw (x, t) g (t) dt ,
a
a
i.e.,
On Cebysev-Grüss Type
Inequalities via Pecarić’s
Extension of the Montgomery
Identity
B.G. Pachpatte
Title Page
Contents
Z
b
Z
b
(3.3) f (x) g (x) − f (x)
w (t) g (t) dt − g (x)
w (t) f (t) dt
a
a
Z b
Z b
+
w (t) f (t) dt
w (t) g (t) dt
a
a
Z b
Z b
0
0
=
Pw (x, t) f (t) dt
Pw (x, t) g (t) dt .
a
a
Multiplying both sides of (3.3) by w(x) and then integrating both sides of
the resulting identity with respect to x from a to b and using the fact that
JJ
J
II
I
Go Back
Close
Quit
Page 7 of 10
J. Ineq. Pure and Appl. Math. 7(1) Art. 11, 2006
http://jipam.vu.edu.au
Rb
a
w (t) dt = 1 , we have
Z
(3.4)
T (w, f, g) =
b
Z
w (x)
a
a
b
Pw (x, t) f (t) dt
Z b
0
×
Pw (x, t) g (t) dt dx.
0
a
From (3.4) and using the properties of modulus we observe that
Z b
Z b
Z b
0
0
|T (w, f, g)| ≤
w (x)
|Pw (x, t)| |f (t)| dt
|Pw (x, t)| |g (t)| dt dx
a
a
a
Z b
0
0
≤ kf k∞ kg k∞
w (x) H 2 (x) dx.
On Cebysev-Grüss Type
Inequalities via Pecarić’s
Extension of the Montgomery
Identity
B.G. Pachpatte
a
This completes the proof of Theorem 2.1.
Title Page
Proof of Theorem 2.2. Multiplying both sides of (3.1) and (3.2) by w(x)g(x)
and w(x)f (x), adding the resulting identities and rewriting we have
(3.5) w (x) f (x) g (x)
Z b
Z b
1
=
w (x) g (x)
w (t) f (t) dt + w (x) f (x)
w (t) g (t) dt
2
a
a
Z b
1
+
w (x) g (x)
Pw (x, t) f 0 (t) dt
2
a
Z b
0
+w (x) f (x)
Pw (x, t) g (t) dt .
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 8 of 10
a
J. Ineq. Pure and Appl. Math. 7(1) Art. 11, 2006
http://jipam.vu.edu.au
Integrating both sides of (3.5) with respect to x from a to b and rewriting we
have
Z Z b
1 b
(3.6)
T (w, f, g) =
w (x) g (x)
Pw (x, t) f 0 (t) dt
2 a
a
Z b
0
+ w (x) f (x)
Pw (x, t) g (t) dt dx.
a
From (3.6) and using the properties of modulus we observe that
|T (w, f, g)|
Z
Z b
1 b
w (x) |g (x)|
|Pw (x, t)| |f 0 (t)| dt
≤
2 a
a
Z b
0
+ |f (x)|
|Pw (x, t)| |g (t)| dt dx
a
Z
1 b
w (x) [|g (x)| kf 0 (t)k∞ + |f (x)| kg 0 (t)k∞ ] H (x) dx.
≤
2 a
The proof of Theorem 2.2 is complete.
On Cebysev-Grüss Type
Inequalities via Pecarić’s
Extension of the Montgomery
Identity
B.G. Pachpatte
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 9 of 10
J. Ineq. Pure and Appl. Math. 7(1) Art. 11, 2006
http://jipam.vu.edu.au
References
[1] P.L. ČEBYŠEV, Sue les expressions approxmatives des intégrales définies
par les autres prises entre les mêmes limites, Proc. Math. Soc. Charkov, 2
(1882), 93–98.
[2] G. RGRÜSS, Über das maximum
absoluten Betrages von
Rb
Rdes
b
b
1
1
f (x) g (x) dx− (b−a)2 a f (x) dx a g (x) dx, Math. Z., 39 (1935),
b−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 multivariate 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] J.E. PEČARIĆ, On the Čebyšev inequality, Bul. Şti. Tehn. Inst. Politehn.
"Train Vuia" Timişora, 25(39)(1) (1980), 5–9.
On Cebysev-Grüss Type
Inequalities via Pecarić’s
Extension of the Montgomery
Identity
B.G. Pachpatte
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 10 of 10
J. Ineq. Pure and Appl. Math. 7(1) Art. 11, 2006
http://jipam.vu.edu.au
Download