J I P A

advertisement
Journal of Inequalities in Pure and
Applied Mathematics
A NOTE ON THE HÖLDER INEQUALITY
J. PEČARIĆ AND V. ŠIMIĆ
Faculty of Textile Technology
University of Zagreb
Prilaz baruna Filipovića 30
10000 Zagreb, Croatia
volume 7, issue 5, article 176,
2006.
Received 22 November, 2006;
accepted 30 November, 2006.
Communicated by: W.S. Cheung
EMail: pecaric@hazu.hr
EMail: vidasim@ttf.hr
Abstract
Contents
JJ
J
II
I
Home Page
Go Back
Close
c
2000
Victoria University
ISSN (electronic): 1443-5756
301-06
Quit
Abstract
In the present paper the authors present some new results concerning the
Hölder inequality.
2000 Mathematics Subject Classification: 26D15.
Key words: Hölder inequality, Young’s inequality, Arithmetic-geometric inequality.
A Note on the Hölder Inequality
J. Pečarić and V. Šimić
In the following, (Ω, F) is a measure space and µ is a positive measure on
Ω. Let f, g : Ω → [0, ∞) be two measurable functions. For p, q ≥ 1 such that
1
+ 1q = 1, the classical Hölder’s integral inequality is the following one ([2],
p
[3])
1q
p1 Z
q
f (x)dµ(x)
g (x)dµ(x) .
Z
Z
Ω
Contents
JJ
J
II
I
p
f (x)g(x)dµ(x) ≤
(1)
Title Page
Ω
Ω
Inequality (1) may be written equivalently as
Go Back
Close
Quit
(2)
kf gk1 ≤ kf kp kgkq ,
where
Z
kf kp =
Ω
p1
f (x)dµ(x)
p
Page 2 of 6
J. Ineq. Pure and Appl. Math. 7(5) Art. 176, 2006
http://jipam.vu.edu.au
The classical proof of (1) is based on Young’s inequality
uv ≤
(3)
up v q
+ ,
p
q
where u, v ≥ 0 and p, q ≥ 1 such that p1 + 1q = 1.
Moveover, recently the following result about (3) were obtained in ([1]):
Lemma 1. Let u, v ≥ 0 and p, q ≥ 1 such that
1
p
+
1
q
= 1. Then for p ≥ 2
A Note on the Hölder Inequality
1
P (u, v) ≤ u2−p (v − up−1 )2 ,
2
(4)
where
P (u, v) =
J. Pečarić and V. Šimić
up v q
+
− uv.
p
q
Title Page
Contents
If p ∈ (1, 2], then the reverse inequality in (4) is valid. For p = 2 we have the
identity in (4).
First, we shall give a new proof of Lemma 1.
JJ
J
II
I
Go Back
Proof. Inequality (4) is equivalent to the following
1 2−p 2
1 1
vq
u v +
−
up −
≥ 0,
2
2 p
q
Close
Quit
Page 3 of 6
i.e.
(5)
u2−p
q
q 2 q(p − 2) 2(p−1)
v +
u
− v q up−2
2
2p
J. Ineq. Pure and Appl. Math. 7(5) Art. 176, 2006
≥ 0.
http://jipam.vu.edu.au
Let us denote by Q(u, v) the left-hand side of (5). Observe that
q q(p − 2)
+
= 1.
2
2p
Suppose that p ≥ 2, that is q ≤ 2. Using the known arithmetic-geometric
inequality ([2], [3]) we obtain
q(p−2)
q
q 2 q(p − 2) 2(p−1)
v +
u
≥ (v 2 ) 2 (u2(p−1) ) 2p ≡ v q up−2 .
2
2p
Thus Q(u, v) ≥ 0 and (5) is valid. For p ∈ (1, 2] applying the reverse
arithmetic-geometric inequality we have the reverse inequality in (5).
We will prove the next theorem.
Theorem 2. Suppose that p1 + 1q = 1 for 1 < q ≤ 2 ≤ p < ∞. Then the
following inequalities are valid
2 q
2−q p
q−1
g
f kgkq − g kf kp 1
1
(6)
≤ kf kp kgkq − kf gk1
q
2
kf kp kgkqp
2 p
2−p q
p−1
f
gkf kp − f kgkq 1
1
≤
.
p
q
2
kf kp kgkq
A Note on the Hölder Inequality
J. Pečarić and V. Šimić
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 4 of 6
Proof. If we set in (4)
(7)
f (x)
u=
,
kf kp
g(x)
v=
,
kgkq
J. Ineq. Pure and Appl. Math. 7(5) Art. 176, 2006
http://jipam.vu.edu.au
we obtain
1 f p (x)
f (x) g(x) 1 g q (x)
1 f 2−p (x)
−
+
≤
p kf kpp
kf kp kgkq q kgkqq
2 kf k2−p
p
Integrating the last inequality, we obtain
1
kf gk1
2−p
1−
≤
f
2−p kf kp kgkq
2kf kp g(x) f p−1 (x)
−
kgkq
kf kp−1
p
2
.
! f
g
2
−
1,
p
kgkq kf k q
p−1
p
A Note on the Hölder Inequality
J. Pečarić and V. Šimić
i.e.,
kf kp kgkq − kf gk1 ≤
1
2
2 p
2−p q
p−1
f
gkf kp − f kgkq 1
p
q
,
kf kp kgkq
which proves the right-hand side of (6).
For the left-hand side of (6) we use the reverse of the inequality in (4). After
the substitutions u → v, v → u, p → q and q → p we have
1
P (u, v) ≥ v 2−q (u − v q−1 )2 .
2
For u and v from (7) we can similarly obtain the first inequality in (6).
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 5 of 6
J. Ineq. Pure and Appl. Math. 7(5) Art. 176, 2006
http://jipam.vu.edu.au
References
[1] O. DOŠLÝ AND Á. ELBERT, Integral charcterization of the principal solution of the half-linear second order differential equations, Studia Scientiarum Mathematicarum Hungarica, 36 (2000), 455–469.
[2] G.H. HARDY, J.E. LITTLEWOOD AND G. POLYA, Inequalities , 2nd ed.,
Cambridge Univ. Press, Cambridge, 1959.
[3] D.S. MITRINOVIĆ, J.E. PEČARIĆ AND A.M. FINK, Classical and New
Inequalities in Analysis, Kluwer Academic Publishers, Dordrecht 1993.
A Note on the Hölder Inequality
J. Pečarić and V. Šimić
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 6 of 6
J. Ineq. Pure and Appl. Math. 7(5) Art. 176, 2006
http://jipam.vu.edu.au
Download