Desigualdades de Young, H

older y Minkowski
Objetivos. Demostrar las desigualdades de Young, Holder y Minkowski.
Requisitos. Funciones convexas, criterio de funcion convexa en terminos de su segunda
derivada, la integral de Lebesgue, propiedad monotona de la integral de Lebesgue.

Desigualdad de Young
1. Convexidad de la funci
on exponencial. Consideremos la funcion exponencial en
el eje real. Para todo x R se tiene que exp00 (x) = exp(x) > 0, por lo tanto f es convexa.
Esto significa que para todos x, y R y todos , 0 con + = 1 se cumple la
desigualdad
exp(x + y) exp(x) + exp(y).
(1)
2. Desigualdad de Young. Sean a, b 0, p, q > 1,
ab

1 1
+ = 1. Entonces
p q

ap b q
+ .
p
q

(2)

Demostracion. Si a = 0 o b = 0, entonces el lado izquierdo de la desigualdad (2) es 0,

mientras al lado derecho es no negativo, y la desigualdad se cumple. Sean a > 0 y b > 0.
Entonces (2) se obtiene de (1) al hacer el siguiente cambio de variables:
1
= ,
p

1
= ,
q

x = p ln(a),

y = q ln(b).

3. Tarea adicional. Encuentre otras demostraciones de la desigualdad de Young.

Desigualdades de Young, Holder y Minkowski, pagina 1 de 3

Desigualdad de H
older
4. Teorema. Sean (X, F, ) un espacio de medida, f, g M(X, F, C) y p, q > 1 tales que
1
+ 1q = 1. Entonces
p
1/p

Z
|f | |g| d

|f |p d

1/q
Z

|g|q d

(3)

Demostracion. Denotemos por y a los factores que estan en el lado derecho de (3):

1/p

1/q
Z
Z
:= |f |p d ,
:= |g|q d .
X

Si = 0, entonces f = 0 casi en todas partes, y la desigualdad (3) se convierte en la

igualdad trivial 0 = 0. De manera similar se considera el caso cuando g = 0. Si > 0, > 0
y = + o = +, entonces el lado derecho de (3) es +, y (3) se cumple de manera
trivial.
Consideremos el caso principal cuando , (0, +). Denotemos por u y v a las
funciones f y g normalizadas de la siguiente manera:
u :=

f
,

v :=

g
.

Entonces
Z

1
|u| d = p

|f | d = 1,
X

1
|v| d = q

|g|q d = 1.

Para todo x X aplicamos la desigualdad de Young a los n

umeros |u(x)| y |v(x)|:
|u(x)v(x)|

|u(x)|p |v(x)|q
+
,
p
q

luego integramos ambos lados sobre X respecto a la medida :

Z
1 1
|uv| d + = 1,
p q
X

esto es,

R
X

|f g| d .

5. Tarea adicional. Sean (X, F, ) un espacio de medida, p, q > 0 con p1 + 1q = 1.

Determine que condicion sobre las funciones f y g es necesaria y suficiente para que la
desigualdad de Holder se convierta en una igualdad.

Desigualdades de Young, Holder y Minkowski, pagina 2 de 3

Desigualdad de Minkowski
6. Teorema. Sean (X, F, ) un espacio de medida, f, g M(X, F, C) y p [1, +).
Entonces

1/p
1/p
1/p
Z
Z
Z
|f + g|p d |f |p d + |g|p d .
(4)
X

Demostracion. En el caso p = 1 la demostracion es muy simple:

Z
Z
Z
Z
|f + g| d (|f | + |g|) d = |f | d + |g| d.
X

Sea p > 1. Si al menos uno de los sumandos en el lado derecho de (4) es infinito, entonces
la desigualdad se cumple. Supongamos que ambos sumandos son finitos. Definimos un
conjunto auxiliar:
Y = {x X : |f (x)| |g(x)|}.
Entonces para todo x Y acotamos |f (x) + g(x)| por 2|f (x)|:
|f (x) + g(x)| |f (x)| + |g(x)| 2|f (x)|,
y para todo x X \ Y acotamos |f (x) + g(x)| por 2|g(x)|. Usando estas cotas mostramos
que la funcion |f + g|p es integrable:
Z
Z
Z
p
p
|f + g| d = |f + g| d +
|f + g|p d
X

X\Y
p

|f | d + 2
Y

|g| d 2

|f | d + 2
X

X\Y

|g|p d < +.

R
R
Si X |f + g|p d = 0, entonces la desigualdad es obvia. Suponemos que X |f + g|p d > 0.
Escribimos |f + g|p en forma
|f + g|p = |f + g| |f + g|p1 |f | |f + g|p1 + |g| |f + g|p1 ,
luego integramos ambos lados y aplicamos la desigualdad de Holder:

1/p
1/p
1/q
Z
Z
Z
Z

|f + g|p d |f |p d + |g|p d |f + g|q(p1) d . (5)

X

De la condicion p1 + 1q = 1 sigue que q(p 1) = p. Dividamos ambos lados de (5) entre

R
p 1/q
|f
+
g|
y notemos que 1 1q = p1 .
X

Desigualdades de Young, Holder y Minkowski, pagina 3 de 3