Desigualdad de Hölder

Objetivos. Demostrar la desigualdades de Hölder y el teorema inverso de Hölder.

Requisitos. Desigualdad de Young, la integral de Lebesgue, la propiedad monótona de

la integral de Lebesgue.

Aplicaciones. Desigualdad de Minkowski.

1 1
1. Exponentes conjugados, repaso. Dos números p, q > 1 tales que + = 1 se llaman
p q
exponentes conjugados. Tal vez otro nombre adecuado serı́a exponentes complementarios.
Es fácil ver que la condición p1 + 1q = 1 se puede escribir también en la siguiente forma
equivalente:
(p − 1)q = p. (1)
1 1
2. Desigualdad de Young, repaso. Sean p, q > 1 tales que + = 1, y sean a, b ≥ 0.
p q
Entonces
ap b q
ab ≤ + . (2)
p q

3. Teorema (desigualdad de Hölder para funciones positivas). Sean (X, F, µ) un

espacio de medida, f, g ∈ M(X, F, R+ ) y p, q > 1 tales que p1 + 1q = 1. Entonces
 1/p  1/q
Z Z Z
f g dµ ≤  f p dµ  g q dµ . (3)
X X X

Demostración. Denotemos por α y β los factores que están en el lado derecho de (4):
 1/p  1/q
Z Z
α :=  f p dµ , β :=  g q dµ .
X X

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

la igualdad trivial 0 = 0. De manera similar se considera el caso cuando β = 0. Si
α > 0, β > 0 y α = +∞ o β = +∞, entonces el lado derecho de (4) es +∞, y (4) se
cumple de manera trivial.
Consideremos el caso principal cuando α y β son números finitos y estrictamente
positivos: α, β ∈ (0, +∞). Denotemos por u y v a las funciones que se obtienen de f y g
después de “normalizarlas” de la siguiente manera:
f g
u := , v := .
α β

Desigualdad de Hölder, página 1 de 3

Entonces Z Z Z Z
p 1 p q 1
u dµ = p f dµ = 1, v dµ = q g q dµ = 1.
α β
X X X X

Para todo x ∈ X aplicamos la desigualdad de Young (2) a los números u(x) y v(x):

u(x)p v(x)q
u(x)v(x) ≤ + ,
p q
luego integramos ambos lados sobre X respecto a la medida µ:
Z
1 1
uv dµ ≤ + = 1.
p q
X

1
R R
Hemos demostrado que αβ X
uv dµ ≤ 1, esto es, X
f g dµ ≤ αβ.

4. Teorema (desigualdad de Hölder para funciones reales o complejas). Sean

(X, F, µ) un espacio de medida, f, g ∈ M(X, F, C) y p, q > 1 tales que p1 + 1q = 1. Entonces
 1/p  1/q
Z Z Z
|f | |g| dµ ≤  |f |p dµ  |g|q dµ . (4)
X X X

Demostración. Aplicamos el Teorema 3 a las funciones |f | y |g| en vez de f y g, respec-

tivamente.

5. Observación (la desigualdad de Hölder para los casos p = 1 y p = ∞). Luego

vamos a definir el supremo esencial de una función medible no negativa (definida en un
espacio de medida) y mostrar que la desigualdad de Hölder tiene sentido para p = 1 y
q = +∞, o bien para p = +∞ y q = 1.

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

Determine qué condición sobre las funciones f y g es necesaria y suficiente para que la
desigualdad de Hölder se convierta en una igualdad.

El siguiente teorema se llama a veces “el teorema inverso de Hölder”.

7. Teorema. Sean (X, F, µ) un espacio de medida, p, q > 1 tales que p1 + 1q = 1, y sea

1/p
f ∈ M(X, F, C) tal que 0 < α < +∞, donde α := X |f |p dµ
R
. Entonces existe una
función g ∈ M(X, F, C) tal que
Z Z
q
|g| dµ = 1 y f g dµ = α. (5)
X X

Desigualdad de Hölder, página 2 de 3

Idea de demostración. Para todo punto x ∈ X definimos g(x) de la siguiente manera:
(
α−p/q |f (x)|p−2 f (x), si f (x) 6= 0;
g(x) :=
0, si f (x) = 0.

Se puede verificar que g ∈ M(X, F, C). Con ayuda de (1) se prueba fácilmente que se
cumplen las propiedades (5).

8. Observación. Los Teoremas 4 y 7 juntos implican que

 1/p   
Z Z  Z 
g ∈ M(X, F, C),

 |f |p dµ = sup  f g dµ :
 q
|g| dµ = 1 . (6)
  
X X X

Después de definir los espacios Lp (X, F, C), veremos que (6) describe la norma k · kp en
términos de la norma k · kq . Además la identidad (6) (o los Teoremas 4 y 7 juntos) hace
un papel importante en la descripción del espacio dual del espacio Lp (X, F, C).

Desigualdad de Hölder, página 3 de 3