Desigualdades de Young, H older y Minkowski

Objetivos. Demostrar las desigualdades de Young, H older y Minkowski. Requisitos. Funciones convexas, criterio de funci on convexa en t erminos de su segunda derivada, la integral de Lebesgue, propiedad mon otona de la integral de Lebesgue.

Desigualdad de Young
1. Convexidad de la funci on exponencial. Consideremos la funci on exponencial en el eje real. Para todo x R se tiene que exp (x) = exp(x) > 0, por lo tanto f es convexa. Esto signica 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 ap b q + . p q 1 1 + = 1. Entonces p q (2)

Demostraci on. 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, H older y Minkowski, p agina 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 +1 = 1. Entonces p q |f | |g | d
X X

1/p |f |p d
X

1/q |g |q d . (3)

Demostraci on. Denotemos por y a los factores que est an en el lado derecho de (3): 1/p 1/q :=
X

|f |p d

:=
X

|g |q d

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 := Entonces |u|p d =
X

f ,

v :=

g . 1 q
X

1 p
X

|f |p d = 1,
X

|v |q d =

|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 : |uv | d

X

1 1 + = 1, p q

esto es,

|f g | d .

1 5. Tarea adicional. Sean (X, F, ) un espacio de medida, p, q > 0 con p + 1 = 1. q Determine qu e condici on sobre las funciones f y g es necesaria y suciente para que la desigualdad de H older se convierta en una igualdad.

Desigualdades de Young, H older y Minkowski, p agina 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
X

|f + g |p d

|f |p d

+
X

|g |p d

(4)

Demostraci on. En el caso p = 1 la demostraci on es muy simple: |f + g | d

X X

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

|f | d +
X

|g | d.

Sea p > 1. Si al menos uno de los sumandos en el lado derecho de (4) es innito, entonces la desigualdad se cumple. Supongamos que ambos sumandos son nitos. Denimos 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 funci on |f + g |p es integrable: |f + g |p d =
X Y

|f + g |p d +
X \Y

|f + g |p d |g |p d 2p
X

2p
Y

|f |p d + 2p
X \Y

|f |p d + 2p
X

|g |p d < +.

Si X |f + g |p d = 0, entonces la desigualdad es obvia. Suponemos que Escribimos |f + g |p en forma

|f + g |p d > 0.

|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 H older: 1/p 1/p 1/q |f + g |p d |f |p d + |g |p d |f + g |q(p1) d . (5)
X X 1 p X X

De la condici on
X

1 q

= 1 sigue que q (p 1) = p. Dividamos ambos lados de (5) entre

1 q 1 =p .

|f + g |

p 1/q

y notemos que 1

Desigualdades de Young, H older y Minkowski, p agina 3 de 3