Tema 3: Espacios L p

Problemas resueltos
I SABEL M ARRERO
Departamento de Análisis Matemático
Universidad de La Laguna
imarrero@[Link]

Índice
1 Espacios normados, espacios de Banach y espacios L p 1
1.1 Espacios normados y de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Espacios L p : definición y primeras propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

2 Desigualdades 4
2.1 Funciones convexas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.2 Desigualdades de Jensen y Young . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.3 Desigualdades de Hölder y Minkowski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

3 Otras propiedades de los espacios L p 14

3.1 Completitud . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
3.2 Relaciones de inclusión . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.3 El rango 0 < p < 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18

M EDIDA E I NTEGRACIÓN OCW-ULL 2024

T EMA 3: E SPACIOS L p • P ROBLEMAS RESUELTOS 1/19

1 Espacios normados, espacios de Banach y espacios L p

1.1 Espacios normados y de Banach

1. Sea (X, ∥ · ∥) un espacio vectorial normado. Demostrar la equivalencia de los siguientes asertos:

a) X es un espacio de Banach.
∞
b) Toda serie absolutamente convergente de elementos de X es convergente en X: si {xn }∞
n=1 ⊂ X y ∑ ∥xn ∥ < ∞,
n=1
∞
entonces ∑ xn converge en X.
n=1

n ∞
Resolución. a) ⇒ b) Sea sn = ∑ xk (n ∈ N) la n-ésima suma parcial de la serie ∑ xk . Dado ε > 0, existe N ∈ N tal que
k=1 n=1
m > n ≥ N implica
m m ∞
∥sm − sn ∥ = ∑ xk ≤ ∑ ∥xk ∥ ≤ ∑ ∥xk ∥ < ε.
k=n+1 k=n+1 k=n+1

Esto significa que la sucesión {sn }∞

n=1 es de Cauchy en X, y al ser X completo, converge.

b) ⇒ a) Sea {xn }∞ ∞
n=1 una sucesión de Cauchy en X. Construimos una subsucesión {xnm }m=1 de esta sucesión haciendo
xn0 = 0 y eligiendo
1
n1 ∈ N : ∥xn1 − xm ∥ < (m > n1 )
2
1
n2 > n1 : ∥xn2 − xm ∥ < 2 (m > n2 )
2
..
.
1
nk > nk−1 : xnk − xm < (m > nk ).
2k
Entonces ∞ ∞
1
∑ xnk − xnk−1 ≤ ∥xn1 ∥ + ∑ k
< ∞.
k=1 k=1 2
∞

Como, por hipótesis, ∑ xnk − xnk−1 es convergente, sigue que
k=1

∞
m

x= ∑ xnk − xnk−1 = lim ∑ xnk − xnk−1 = lim xnm .
m→∞ m→∞
k=1 k=1

Si una sucesión de Cauchy admite una subsucesión convergente, la propia sucesión converge. Por tanto, {xn }∞
n=1 converge,
y X es completo.

2. Probar, mediante un contraejemplo, que el recíproco del enunciado del Ejercicio 1 b) es falso, es decir, que no toda serie
convergente en un espacio de Banach converge absolutamente.
Resolución. Recordemos que en el espacio de Banach más simple, (R, | · |), la serie alternada

∞
(−1)n+1
∑ = ln 2
n=1 n

(cuya suma se obtiene evaluando en x = 1 el desarrollo de Maclaurin de la función y = ln(x + 1)) no es absolutamente
convergente, ya que
∞
1
∑ n = ∞.
n=1

M EDIDA E I NTEGRACIÓN OCW-ULL 2024

2/19 I. M ARRERO

1.2 Espacios L p : definición y primeras propiedades

1/2
3. Demostrar que si f , g ∈ L1 (µ), entonces f 2 + g2 ∈ L1 (µ).
1/2
Resolución. Se tiene que f 2 + g2 ≤ | f | + |g|, donde la función mayorante es integrable.

4. Probar que si 0 < a < ∞ y 0 < p < ∞, entonces:

a) x−1/p ∈ L p−σ (0, a) si 0 < σ < p, pero no si σ = 0.

b) x−1/p (ln 1/x)−2/p ∈ L p+σ (0, a) si σ = 0, pero no si σ > 0.

Resolución.

a) Esto es inmediato: si 0 < σ < p,

p xσ /p p aσ /p
Z a Z a a
1 1
dx = dx = = ;
0 x(p−σ )/p 0 x1−σ /p σ 0 σ

si σ = 0, Z a Z a
1 1 a
dx = lim dx = lim ln x = ∞.
0 x(1/p)p n→∞ 1/n x n→∞ 1/n

−1
b) Si σ = 0, integramos sobre n−1 , a para obtener ln a−1 − (ln n)−1 , con límite finito cuando n → ∞:

Z a Z a Z ln a ln a
1 1 1 1
dx = dx = dt = −
1/n x (1/p)p (ln 1/x)(2/p)p 1/n x(ln x)2 − ln n t2 t − ln n
1 1 1
=− − −→ − cuando n → ∞.
ln a ln n ln a

Si σ > 0, que la integral es infinita se sigue del hecho de que α > 0 implica xα ln x → 0 cuando x → 0:

1 1 1 1 1 1
: = 1+σ /p : = r−1 2r
= r−1 −→ ∞
x(1/p)(p+σ ) (ln 1/x)(2/p)(p+σ ) x x (ln x)2(1+σ /p) x x (ln x) (x 2r ln x)2r

cuando x → 0, donde r = 1 + σ /p > 1 (cf. Ejemplo 3.10).

5. Demostrar que si 0 < a < ∞ y 0 < p < ∞, entonces ln x−1 ∈ L p (0, a).

Resolución. Aplicaremos el criterio de comparación cerca del origen. Se tiene que

p
ln x−1 (−1) p (ln x) p  1 p
−1/2
= −1/2
= (−1) p x 2p ln x −→ 0
x x

p
cuando x → 0. Por tanto, para x pequeño, ln x−1 ≤ x−1/2 , donde la función mayorante es integrable en (0, a).

6. Probar que si 0 < a < ∞, entonces e1/x ∈

/ L p (0, a) para ningún p, 0 < p ≤ ∞.

p
Resolución. Si α > 0, entonces t α e1/t → ∞ cuando t → 0. Por tanto, para x pequeño, e1/x > x−1 :

p
e1/x
p
p
−1
= x e1/x = x1/p e1/x −→ ∞
x

cuando x → 0. Por otra parte, es claro que e1/x no está acotada en (0, a) y, siendo continua, tampoco está esencialmente
acotada.

OCW-ULL 2024 M EDIDA E I NTEGRACIÓN

T EMA 3: E SPACIOS L p • P ROBLEMAS RESUELTOS 3/19

7. Demostrar que x−1/2 (1 + | ln x|)−1 ∈ L p (0, ∞) si p = 2, pero no si p ̸= 2.

Resolución. Este ejercicio se reduce al Ejemplo 3.10.

■ Si p = 2, integramos explícitamente sobre (0, 1) y (1, ∞) para obtener una integral finita.
Z 1
■ Si p > 2, x−p/2 (1 − ln x)−p dx es infinita, como en el Ejercicio 4 b).
0
Z ∞ Z ∞
■ Si p < 2, x−p/2 (1 + ln x)−p dx es, de nuevo, infinita, por comparación con x−1 dx.
1 1

Desarrollemos la resolución con más detalle.

a) Para p = 2 tenemos (cambio de variable ln x = t, con dt = dx/x y t entre −∞ y 0):

Z 1 Z 0 0
1 1 1
dx = dt = = 1,
0 x(1 − ln x)2 −∞ (1 − t)
2 1−t −∞

y también (cambio de variable ln x = t, con dt = dx/x y t entre 0 e ∞):

1 1 1
Z ∞ Z ∞ ∞
dx = dt = − = 1.
1 x(1 + ln x)2 0 (1 + t)2 1+t 0

Por tanto, la integral es finita y vale 2.

b) Si p > 2, comparamos con x−1 en (0, 1): se tiene

1 1 1 1
: = = h p−2 ip
x p/2 (1 − ln x) p x x p/2−1 (1 − ln x) p x 2p (1 − ln x)
1 1
=  p−2 p−2 p = α −−→ ∞,
α ln x) p x→0
x 2p − x 2p ln x (x − x

p−2
ya que α = > 0 y en tal caso, xα −−→ 0 y xα ln x −−→ 0. La integral es infinita.
2p x→0 x→0

c) Si 0 < p < 2, comparamos con x−1 en (1, ∞): se tiene

1 1 1 1
: = p/2−1 = h p−2 ip
x p/2 (1 + ln x) p x x (1 + ln x) p
x 2p (1 + ln x)
1 1
=  p−2 p−2 p = α −−−→ ∞,
α ln x) p x→∞
x 2p + x 2p ln x (x + x

p−2
ya que α = < 0 y en tal caso, xα −−−→ 0 y xα ln x −−−→ 0. La integral es infinita.
2p x→∞ x→∞

Por último, nótese que x−1/2 (1 + | ln x|)−1 ∈

/ L∞ (0, ∞), porque esta función tiende a ∞ cuando x → 0.

8. Sea f : X → [0, ∞) una función medible, esencialmente acotada. Probar que si 0 < µ(X) < ∞ y se define
Z 1/n
In = f n dµ (n ∈ N),

entonces limn→∞ In = ess sup f .

Resolución. Sea M = ess sup f , de modo que f ≤ M c.t.p.. Se quiere ver que para todo ε > 0, existe N ∈ N tal que n ≥ N
implica |In − M| < 2ε.

M EDIDA E I NTEGRACIÓN OCW-ULL 2024

4/19 I. M ARRERO

Por una parte, como limn→∞ µ(X)1/n = 1, dado 0 < ε < M/2, existe n1 ∈ N tal que
 
2ε
In ≤ M µ(X)1/n < M 1 + = M + 2ε (n ≥ n1 ). (1)
M

Por otra parte, pongamos

X(ε) = {x : f (x) > M − ε}.

Se tiene que Z Z
f n dµ ≥ f n dµ ≥ (M − ε)n µ(X(ε)).
X(ε)

Puesto que µ(X(ε)) > 0 (de lo contrario, M − ε sería una cota esencial de f menor que M), existe n2 ∈ N tal que n ≥ n2
implica µ(X(ε))1/n ≥ 1 − ε(M − ε)−1 . Así,
 ε 
In ≥ (M − ε) µ(X(ε))1/n ≥ (M − ε) 1 − = M − 2ε (n ≥ n2 ). (2)
M−ε

Sin más que tomar N ≥ max{n1 , n2 }, la combinación de (1) y (2) proporciona el resultado que se busca.

2 Desigualdades

2.1 Funciones convexas

9. Demostrar que toda función convexa admite derivadas laterales, luego es continua, en todo punto interior de su intervalo
de definición. Más precisamente, sean I = (a, b) un intervalo abierto, ψ : I → R una función convexa, y c ∈ I. Entonces:

a) ψ es derivable por la izquierda y por la derecha en c. De hecho, en la notación del Corolario 2.5,

ψ−′ (c) = sup {ψc (x) : x ∈ I, x < c} , ψ+′ (c) = inf {ψc (x) : x ∈ I, x > c} .

b) ψ es continua en c.

Resolución.

a) Nos apoyaremos en el hecho de que la función ψc es creciente (Corolario 2.5). Tomando t ∈ I con t > c, para x ∈ I
con x < c se tiene ψc (x) ≤ ψc (t), luego el conjunto {ψc (x) : x ∈ I, x < c} es no vacío y acotado superiormente. Si
Sc es su supremo, entonces ψ−′ (c) = Sc . En efecto, dado ε > 0, por definición de supremo existirá s ∈ I, con s < c,
tal que ψc (s) > Sc − ε. Tomando δ = c − s > 0, para s = c − δ < x < c tendremos Sc − ε < ψc (s) ≤ ψc (x) ≤ Sc , de
donde |Sc − ψc (x)| = Sc − ψc (x) < ε. Esto prueba que limx→c− ψc (x) = Sc , como se quería. El cálculo de la derivada
por la derecha es análogo.
b) Supongamos que existe
ψ(x) − ψ (c)
lim .
x→c+ x−c
Entonces,

lim ψ(x) = ψ (c) + lim [ψ(x) − ψ (c)]

x→c+ x→c+
 
ψ(x) − ψ (c)
= ψ (c) + lim (x − c)
x→c+ x−c
ψ(x) − ψ (c)
= ψ (c) + lim (x − c) lim
x→c+ x→c+ x−c

OCW-ULL 2024 M EDIDA E I NTEGRACIÓN

T EMA 3: E SPACIOS L p • P ROBLEMAS RESUELTOS 5/19

= ψ (c) .

Análogamente, si existe
ψ(x) − ψ (c)
lim ,
x→c− x−c
también existe limx→c− ψ(x) = ψ (c). Como ψ es continua por la derecha y por la izquierda de c, es continua en
c.

2.2 Desigualdades de Jensen y Young

n
10. Sean zi > 0, αi > 0 (i = 1, . . . , n), con ∑ αi = 1. Probar que
i=1

n n
∏ zαi i ≤ ∑ αi zi ,
i=1 i=1

y que se da la igualdad si, y sólo si, z1 = . . . = zn .

Resolución. En la desigualdad de Jensen discreta (Ejemplo 2.15), tomamos xi = ln zi (i = 1, . . . , n) y ψ(x) = ex para obtener
!
n n n
∏ zαi i = exp ∑ αi ln zi ≤ ∑ αi zi ,
i=1 i=1 i=1

con igualdad si, y sólo si, todos los zi (i = 1, . . . , n) son iguales entre sí.

11. (Desigualdad entre la media aritmética y la geométrica) Demostrar que si ξi > 0 (i = 1, . . . , n), entonces
!1/n
n
1 n
∏ ξi ≤ ∑ ξi ,
i=1 n i=1

con igualdad si, y sólo si, todos los ξi (i = 1, . . . , n) tienen el mismo valor.
Resolución. Este es un caso particular del Ejercicio 10, para zi = ξi y αi = 1/n (i = 1, . . . , n).

12. Supóngase que ψ es una función definida en R tal que ψ ◦ f es integrable sobre [0, 1] y

1
Z  Z1
ψ f dx ≤ ψ ◦ f dx
0 0

para toda función medible acotada f . Probar que ψ es convexa.

Resolución. Si ψ no es convexa, existen a, b, λ , µ tales que a < b, λ , µ > 0, λ + µ = 1, y ψ(λ a + µb) > λ ψ(a) + µψ(b).
Sea l cualquier número tal que 0 < l < λ , sea m = 1 − l/λ = (λ − l)λ , y sea n = l(1/λ − 1) = lµ/λ . Entonces, l, m, n > 0
y l + m + n = 1. Definimos una función medible acotada f sobre [0, 1] de la siguiente manera:



a, x ∈ [0, l)

f (x) = λ a + µb, x ∈ [l, l + m)


x ∈ [l + m, 1].

b,

Se tiene Z 1
f dx = la + (λ a + µb)m + nb = (l + λ m)a + (n + µm)b = λ a + µb,
0

M EDIDA E I NTEGRACIÓN OCW-ULL 2024

6/19 I. M ARRERO

pero
Z 1
ψ ◦ f dx = lψ(a) + mψ(λ a + µb) + nψ(b)
0
l
= ψ(λ a + µb) − [ψ(λ a + µb) − λ ψ(a) − µψ(b)]
λ
< ψ(λ a + µb).

Por tanto, Z 1 1
Z 
ψ ◦ f dx < ψ f dx ,
0 0

una contradicción.

2.3 Desigualdades de Hölder y Minkowski

13. Justificar la siguiente generalización de las desigualdades de Hölder (Teorema 2.20) y Minkowski (Teorema 2.22): Sean
(X, S , µ) un espacio de medida, f , g : X → [0, ∞] funciones medibles, 1 < p < ∞ y p + q = pq. Entonces:

a) Desigualdad de Hölder:
Z Z 1/p Z 1/q
p q
f g dµ ≤ f dµ g dµ .

b) Desigualdad de Minkowski:
Z 1/p Z 1/p Z 1/p
p p p
( f + g) dµ ≤ f dµ + g dµ .

Resolución.

a) Llamamos
Z 1/p Z 1/q
A= f p dµ , B= gq dµ .

Los casos en que A = 0 ó B = 0, o bien 0 < A, B < ∞, fueron discutidos en el Teorema 2.20. Si 0 < A ≤ ∞ y B = ∞,
o bien A = ∞ y 0 < B ≤ ∞, el segundo miembro es infinito, y la desigualdad se verifica trivialmente.
b) Llamamos ahora
Z 1/p
p
C= ( f + g) dµ .

Los casos C = 0 ó 0 < C < ∞ ya fueron contemplados en el Teorema 2.22. Supongamos que C = ∞, de modo que
/ L p (µ). Como, por el Teorema 1.12, L p (µ) es un espacio vectorial, si la suma de dos funciones no está en
f +g ∈
L p (µ), al menos una de ellas tampoco pertenecerá a este espacio; luego, el segundo miembro es infinito y se da la
igualdad.

14. Enunciar y demostrar análogas discretas de las desigualdades de Hölder (Teoremas 2.20 y 2.24) y Minkowski (Teoremas
2.22 y 2.26), similares a la proporcionada en el Ejemplo 2.15 para la desigualdad de Jensen.
Resolución. Sean ai , bi ≥ 0 (i = 1, 2, . . . , n). Se verifica:

a) (Hölder) Si 1 < p < ∞ y 1/p + 1/q = 1,

( )1/p ( )1/q
n n n
∑ ai bi ≤ ∑ aip ∑ bqi .
i=1 i=1 i=1

OCW-ULL 2024 M EDIDA E I NTEGRACIÓN

T EMA 3: E SPACIOS L p • P ROBLEMAS RESUELTOS 7/19

b) (Hölder)
n n
∑ ai bi ≤ 1≤i≤n
max bi ∑ ai .
i=1 i=1

c) (Minkowski) Si 1 ≤ p < ∞,
( )1/p ( )1/p ( )1/p
n n n
∑ (ai + bi ) p ≤ ∑ aip + ∑ bip .
i=1 i=1 i=1

d) (Minkowski)
max (ai + bi ) ≤ max ai + max bi .
1≤i≤n 1≤i≤n 1≤i≤n

Z n
Para establecer, por ejemplo, a), se toma X = {1, . . . , n}, a(i) = ai , µ({i}) = 1 (i = 1, 2, . . . , n), de modo que a dµ = ∑ ai ,
i=1
y se aplica la desigualdad de Hölder (Teorema 2.20).
Alternativamente, basta con particularizar sucesiones eventualmente nulas en las desigualdades discretas obtenidas en el
Ejemplo 3.7.

15. Probar que Z π

x−1/4 sen x dx ≤ π 3/4 .
0
Resolución. Aplicamos la desigualdad de Cauchy-Schwarz (cf. Teorema 2.20):

Z π Z π
1/2 Z π
1/2
−1/4 −1/2 2
x sen x dx ≤ x dx sen x dx
0 0 0
n √ π o1/2 n π o1/2
= 2 x = π 1/4 π 1/2 = π 3/4 .
0 2

16. Demostrar que las siguientes desigualdades son inconsistentes para funciones f ∈ L2 (0, π):

4 1
Z π Z π
2
[ f (x) − sen x] dx ≤ , [ f (x) − cos x]2 dx ≤ .
0 9 0 9

Resolución. Las funciones sen x y cos x están en L2 (0, π):

Z π Z π
π
sen2 x dx = cos2 x dx = .
0 0 2

Conjuntamente con la desigualdad de Minkowski (Teorema 2.22) para p = 2, las desigualdades del enunciado implican

2 1
∥ sen x − cos x∥2 = ∥( f − sen x) − ( f − cos x)∥2 ≤ ∥ f − sen x∥2 + ∥ f − cos x∥2 ≤ + = 1.
3 3
√
Pero el primer término de esta desigualdad vale π > 1:
Z π
∥ sen x − cos x∥22 = (sen x − cos x)2 dx
0
Z π Z π Z π
= sen2 x dx − sen 2x + cos2 x dx
0 0 0
Z π Z π
= sen2 x dx + cos2 x dx = π.
0 0

17. Probar que si f , g ∈ L1 (µ), entonces:

p
a) | f g| ∈ L1 (µ).

M EDIDA E I NTEGRACIÓN OCW-ULL 2024

8/19 I. M ARRERO

b) | f | p |g|q ∈ L1 (µ) si p, q ∈ (0, 1), p + q = 1.

Resolución. Tomando p = q = 1/2, el apartado a) es un caso particular de b). Para probar b), escribimos | f | p = F,
|g|q = G, α = 1/p, β = 1/q. Entonces α, β ∈ (1, ∞) son exponentes conjugados, con F ∈ Lα (µ) y G ∈ Lβ (µ), así que,
por la desigualdad de Hölder (Teorema 2.20), FG ∈ L1 (µ).

18. Sean fn ∈ L2 (a, b) (n ∈ N), f ∈ L2 (a, b), y limn→∞ ∥ fn − f ∥2 = 0.

Z b Z b
a) Demostrar que f 2 dx = lim fn2 dx.
a n→∞ a
Z t Z t
b) Probar que si a y b son finitos, entonces f dx = lim fn dx (a ≤ t ≤ b).
a n→∞ a
n
(−1)r−1 x
c) Verificar los apartados a) y b) para (a, b) = (−π, π), fn (x) = ∑ sen rx, y f (x) = .
r=1 r 2
Resolución.

a) La desigualdad de Minkowski (Teorema 2.22), con p = 2, proporciona ∥ f ∥2 − ∥ fn ∥2 ≤ ∥ f − fn ∥2 (n ∈ N).

b) Por la desigualdad de Cauchy-Schwarz (cf. Teorema 2.20),
Z t Z t Z b √
f dx − fn dx = χ(a,t) ( f − fn ) dx ≤ t − a ∥ f − fn ∥2 (a ≤ t ≤ b, n ∈ N).
a a a

∞
c) Para comprobar a), integramos explícitamente usando que ∑ 1/n2 = π 2 /6; para verificar b), integramos usando la
n=1
serie de Fourier estándar de t 2 .
Procedemos con a):
Z π 2
1 x3 π3
Z b
x π
f 2 dx = dx = = ,
a −π 4 4 3 −π 6
" #2
n n n n
(−1)r−1
Z b
1 1 1 − cos 2rx 1
Z π Z π Z π
fn2 dx = ∑ r sen rx dx = ∑ r2 sen2 rx dx = ∑ r2 =π ∑ r2 .
a −π r=1 r=1 −π r=1 −π 2 r=1

Luego,
n
π3
Z b Z b
1
lim fn2 dx = lim π ∑ r2 = 6 = f 2 dx.
n→∞ a n→∞ a
r=1

En el desarrollo anterior hemos usado la relación

!2
n n n
∑ ar = ∑ a2r + 2 ∑ ar as
r=1 r=1 r,s=1
r̸=s

particularizada en

(−1)r−1 (−1)r+s
ar = sen rx, ar as = sen rx sen sx (x ∈ [−π, π], r, s = 1, . . . , n),
r rs

con
1
Z π Z π
sen rx sen sx dx = [cos(r − s)x − cos(r + s)x] dx = 0.
−π 2 −π

Procedemos con b). La serie de Fourier de una función g tiene la forma

∞
a0
g(x) ∼ + ∑ an cos nx + bn sen nx,
2 n=1

OCW-ULL 2024 M EDIDA E I NTEGRACIÓN

T EMA 3: E SPACIOS L p • P ROBLEMAS RESUELTOS 9/19

donde los coeficientes vienen dados por

1
Z π
an = g(x) cos nx dx (n ∈ N0 ),
π −π

1
Z π
bn = g(x) sen nx dx (n ∈ N).
π −π

Determinemos la serie de la función g(x) = x2 . Como esta función es par, los coeficientes bn (n ∈ N) se anulan. Por
su parte, los coeficientes an (n ∈ N0 ) son

1 2
Z π Z π
an = g(x) cos nx dx = x2 cos nx dx.
π −π π 0

Luego,
2 2π 2
Z π
a0 = x2 dx =
π 0 3
e, integrando por partes dos veces,

2  2 4 π
π Z
an = x sen nx 0 − x sen nx dx
nπ nπ 0
4x cos nx π
 
4
Z π
= − cos nx dx
n2 π 0 n2 π 0
4 4 π 4
= (−1)n − sen nx = (−1)n .
n2 n3 π 0 n2

Además, g(x) = x2 es el límite uniforme de su serie de Fourier, porque esta función admite derivadas de cualquier
orden. Obtenemos así la representación

a0 ∞
π2 ∞
(−1)n
x2 = + ∑ an cos nx = +4 ∑ 2
cos nx.
2 n=1 3 n=1 n

Fijemos a ≤ t ≤ b; entonces,

x2 t2 − π2
Z t Z t t
x
f dx = dx = = ,
a −π 2 4 −π 4
" #
n n
(−1)r−1 (−1)r−1 t
Z t Z t Z
fn dx = ∑ r sen rx dx = ∑ r sen rx dx
a −π r=1 r=1 −π

n n
(−1)r t (−1)r
= ∑ 2
cos rx = ∑ 2
(cos rt − cos rπ)
r=1 r −π r=1 r

n n n
(−1)r (−1)r 1
= ∑ 2
[cos rt − (−1)r ] = ∑ 2
cos rt − ∑ 2 .
r=1 r r=1 r r=1 r

Atendiendo ahora al desarrollo en serie de Fourier de t 2 , encontramos que

(−1)r 1 2 π2 π2 t2 − π2
Z t ∞ ∞  
1
lim f dx = ∑ r2 cos rt − ∑ r2 4= t − − = ,
n→∞ a
r=1 r=1 3 6 4

con lo cual queda verificado b).

19. Sea 1 ≤ p < ∞, y sea limn→∞ ∥ fn − f ∥ p = 0. Demostrar que limn→∞ ∥ fn ∥ p = ∥ f ∥ p .

M EDIDA E I NTEGRACIÓN OCW-ULL 2024

10/19 I. M ARRERO

Resolución. Por la desigualdad de Minkowski (Teorema 2.22), ∥ fn ∥ p − ∥ f ∥ p ≤ ∥ fn − f ∥ p → 0 cuando n → ∞.

20. Sea f ≥ 0, f ∈ L1 (x, 1) para cada x ∈ (0, 1]. Supóngase que t p−1 f p (t) ∈ L1 (0, 1), donde 1 < p < ∞. Probar que F(x) =
Z 1
f dt satisface F(x) = o(ln 1/x)1−1/p cuando x → 0+.
x

Resolución. El Ejemplo 1.52 del Tema 2 proporciona una función ϕ ≥ 1, medible en [0, 1], tal que ϕ(t)t p−1 f p (t) ∈ L1 [0, 1]
y ϕ(0+) = ∞. Si q es el exponente conjugado de p, la desigualdad de Hölder (Teorema 2.20) permite escribir
Z 1 Z 1
1
F(x) = f dt = ϕ 1/p (t)t (p−1)/p f (t) dt
x x ϕ 1/p (t)t (p−1)/p

Z 1
1/p Z 1
1/q
≤ t p−1 ϕ(t) f p (t) dt t −1 ϕ −q/p (t) dt .
x x

Luego,
Z 1
1/q
−1 −q/p
F(x) ≤ M t ϕ (t) dt ,
x

donde M es una constante. Dado ε > 0, existe x0 tal que ϕ −q/p (x) < ε si 0 < x < x0 , y entonces, para x pequeño (ln 1/x >
1/ε−1
(1/ε − 1) ln 1/x0 , o bien 0 < x < x0 ),
Z 1 Z x0 Z 1
t −1 ϕ −q/p (t) dt = t −1 ϕ −q/p (t) dt + t −1 ϕ −q/p (t) dt
x x x0

≤ ε (ln 1/x − ln 1/x0 ) + ln 1/x0 = (1 − ε) ln 1/x0 + ε ln 1/x

≤ 2ε ln 1/x.

Combinando esta estimación con la precedente, queda resuelto el ejercicio.

Z x
21. Sean 1 < p < ∞, f ≥ 0, f ∈ L p (0, ∞), y F(x) = f dx. Demostrar que si p y q son exponentes conjugados, entonces
0
F(x) = o x1/q cuando x → 0 y cuando x → ∞.

Resolución.
Z x
1/p
■ Para x → 0, la desigualdad de Hölder (Teorema 2.20) proporciona F(x) ≤ x1/q f p dt , donde, por el Teorema
Z x 0

2.8 del Tema 2, f p dt → 0 cuando x → 0.

0
Z ∞
■ Para x → ∞: dado ε > 0, existe y tal que f p dt < ε p (teorema de la convergencia monótona); sea, pues, x > y.
y
Entonces,
Z x
1/p
F(x) − F(y) ≤ f p dt (x − y)1/q ≤ εx1/q ,
y

o bien F(x) ≤ F(y) + εx1/q . Por otra parte, es claro que limx→∞ x−1/q F(y) = 0. Consecuentemente, para x grande,
F(x) < 2εx1/q .

22. Extender la desigualdad de Hölder (Teorema 2.20) a n funciones. Más precisamente, probar que si 1 < k1 , k2 , . . . , kn < ∞,
n
con ∑ 1/ki = 1, y si fi ∈ Lki (µ) (i = 1, 2, . . . , n), entonces
i=1

Z Z 1/k1 Z 1/kn
| f1 f2 · · · fn | dµ ≤ | f1 |k1 dµ ··· | fn |kn dµ . (3)

OCW-ULL 2024 M EDIDA E I NTEGRACIÓN

T EMA 3: E SPACIOS L p • P ROBLEMAS RESUELTOS 11/19

Resolución. Para n = 2, obtenemos la desigualdad de Hölder. Procediendo por inducción, supongamos que el resultado
se verifica para n − 1, n ≥ 3, y sea α = (1 − kn−1 )−1 . Como 1 < α, kn < ∞ son exponentes conjugados, la desigualdad de
Hölder conduce a Z 1/α Z 1/kn
Z
α α kn
| f1 · · · fn | dµ ≤ | f1 | · · · | fn−1 | dµ | fn | dµ . (4)

Pero, para cada i = 1, 2, . . . , n − 1, se cumple que 1 < ki α −1 < ∞ (porque ki−1 + kn−1 < 1 implica ki > (1 − kn−1 )−1 = α), y
n−1
además ∑ αki−1 = 1, así que, por hipótesis inductivas,
i=1

Z n−1 Z α/ki
| f1 |α · · · | fn−1 |α dµ ≤ ∏ | fi |ki dµ . (5)
i=1

La inserción de (5) en (4) establece (3) y completa la inducción.

23. Extender el Ejemplo 2.21 a n funciones. Más precisamente, demostrar que se da la igualdad en la desigualdad del Ejercicio
22 si, y sólo si, alguna de las fi (i = 1, . . . , n) es nula c.t.p., o para cada par i, j = 1, . . . , n, existen constantes no nulas ci , c j
tales que
kj
ci | fi |ki = c j f j . (6)

Resolución. Si fi = 0 c.t.p. para algún i = 1, . . . , n, o se cumple (6), la igualdad es trivial. En este último caso podríamos
escribir, por ejemplo,
k−1 −1
| fi | = ri i | f1 |k1 ki

para ciertas constantes ri > 0 (i = 1, . . . , n), con lo que el primer y el segundo miembro de (3) adoptarían, respectivamente,
la forma
n n
k−1 k−1
Z Z Z
−1
 n

| f1 · · · fn | dµ = ∏ ri i | f1 |k1 ∑i=1 ki dµ = ∏ ri i | f1 |k1 dµ,
i=1 i=1
1/k1 1/kn ∑n −1
n i=1 ki n
Z Z  Z
k−1 k−1
  Z
| f1 |k1 dµ ··· | fn |kn dµ = ∏ ri i | f1 |k1 dµ = ∏ ri i | f1 |k1 dµ.
i=1 i=1

Recíprocamente, el caso n = 2 viene dado por el Ejemplo 2.21. Supongamos que el resultado es cierto para n − 1 funciones
y consideremos el caso de n funciones, descartando que fi = 0 c.t.p. para algún i = 1, . . . , n. Sin más que combinar la
hipótesis de que (6) se verifica para n − 1 funciones con la condición a la que obliga la igualdad en (4), se prueba (6) en el
caso de n funciones. En efecto, si se da la igualdad en (4), entonces

| f1 |α · · · | fn−1 |α = rα | fn |kn ,

mientras que, por hipótesis inductivas,

−1
| fi | = ri | f1 |k1 ki (i = 1, . . . , n − 1);

aquí, rα y ri (i = 1, . . . , n − 1) son constantes positivas apropiadas. Así pues,

 n−1 α n−1 −1 −1
rα | fn |kn = | f1 |α · · · | fn−1 |α = ∏ ri | f1 |α k1 ∑i=1 ki = r | f1 |α k1 (1−kn ) = r | f1 |k1 ,
i=1

α −1
donde r = ∏n−1
i=1 ri . Se concluye que | fn | = rn | f1 |k1 kn para cierta constante rn > 0, completando la inducción.

M EDIDA E I NTEGRACIÓN OCW-ULL 2024

12/19 I. M ARRERO

24. Probar que si α, β , γ > 0 y 0 < p < (α + β + γ)−1 , entonces

Z 2
dx

p < ∞.
0 xα |x − 1|β |x − 2|γ

Resolución. En el Ejercicio 22, tomamos n = 3, f1 (x) = x−pα , f2 (x) = |x − 1|−pβ , f3 (x) = |x − 2|−pγ , δ = p(α +β +γ) < 1,
3
k1 = δ /(pα), k2 = δ /(pβ ), y k3 = δ /(pγ) (nótese que 1 < k1 , k2 , k3 < ∞, con ∑ 1/ki = 1), para obtener el resultado:
i=1

Z 2
dx

p
0 xα |x − 1|β |x − 2|γ
Z 2
(pα)/δ Z 2
(pβ )/δ Z 2
(pγ)/δ
(−pα)δ /(pα) (−pβ )δ /(pβ ) (−pγ)δ /(pγ)
≤ x dx |x − 1| dx |x − 2| dx
0 0 0
Z 2
 pα/δ Z 2
 pβ /δ Z 2
 pγ/δ
−δ −δ −δ
= x dx |x − 1| dx |x − 2| dx < ∞,
0 0 0

por cuanto δ < 1.

25. Extender la desigualdad de Minkowski (Teoremas 2.22 y 2.26) a n funciones.

Resolución. Sea 1 ≤ p ≤ ∞, y sean fi ∈ L p (µ) (i = 1, . . . , n). Entonces,

n n
∑ fi ≤ ∑ ∥ fi ∥ p .
i=1 p i=1

La demostración es inmediata, por inducción finita a partir del caso n = 2.

26. Sea f una función medible no negativa esencialmente acotada, con ess sup f = M > 0. Si 0 < µ(X) < ∞, demostrar que
Z
f n+1 dµ
lim Z = M.
n→∞
f n dµ

Resolución. Fijemos n ∈ N. Reemplazando f por f /M, no se pierde generalidad al suponer que ess sup f = 1. En tal caso,
f n+1 ≤ f n c.t.p., de modo que el límite superior requerido no es mayor que 1. Pero (n + 1)/n y n + 1 son exponentes
conjugados, así que, por la desigualdad de Hölder (Teorema 2.20),
Z  n
n+1
Z
n n+1 1
f dµ ≤ f dµ µ(X) n+1 ,

o bien Z n+1 Z n
n n+1
f dµ ≤ f dµ µ(X).

Luego, nZ
Z
n n+1
f dµ f dµ
≤ Z n .
µ(X)
f n dµ

Extráiganse raíces n-ésimas, hágase n → ∞ y aplíquese el Ejercicio 8 para obtener que el límite inferior requerido no es
menor que 1 y resolver el ejercicio.

OCW-ULL 2024 M EDIDA E I NTEGRACIÓN

T EMA 3: E SPACIOS L p • P ROBLEMAS RESUELTOS 13/19

27. Probar que la sucesión de la que se toma límite en el Ejercicio 26 es creciente.

Z
Resolución. Pongamos In = f n dµ (n ∈ N). Por la desigualdad de Schwarz, para n ≥ 2,

Z 2
(n−1)/2 (n+1)/2
In2 = f f dµ ≤ In−1 In+1 .

28. Demostrar que si f ∈ L p1 (µ) y g ∈ L p2 (µ), con 0 < p1 , p2 < ∞, entonces f g ∈ L p (µ) para algún p.
Resolución. Escribimos p′1 = p1 λ , p′2 = p2 λ , donde λ = 1/p1 + 1/p2 , de manera que 1 < p′1 , p′2 < ∞ son exponentes
′ ′
conjugados. Como f ∈ L p1 (µ), se tiene que f 1/λ ∈ L p1 (µ) y, similarmente, g1/λ ∈ L p2 (µ). El Teorema 2.20 (desigualdad
de Hölder) asegura que ( f g)1/λ ∈ L1 (µ), así que el índice p buscado es

1 p1 p2
p= = .
λ p1 + p2

29. Encontrar el mínimo de Z  Z 

1
Pf = f dµ dµ
E E f
tomado sobre el conjunto de las funciones f que son medibles y positivas c.t.p. en un conjunto medible E, de medida
finita. ¿En qué funciones se alcanza este mínimo? Para un espacio de medida y conjunto E apropiados, probar que Pf no
está acotado superiormente.
√ √
Resolución. Aplicando la desigualdad de Cauchy-Schwarz (cf. Teorema 2.20) al producto de f y 1/ f encontramos
que Z
p
Pf ≥ 1 dµ = µ(E),
E

lo que resuelve la primera parte del ejercicio: el mínimo es µ(E)2 (se alcanza en f ≡ 1). Por el Ejemplo 2.21, se da la
igualdad cuando s f + t/ f = 0 c.t.p. para ciertas constantes no nulas s y t, es decir, cuando f es constante c.t.p.. Respecto
a la última parte, considerando E = (a, b) como subconjunto de R con la medida de Lebesgue y tomando f (x) = (x − a)2 ,
resulta Pf = ∞.

30. Sean f y g funciones integrables esencialmente acotadas, y sean 0 < p = ess inf f ≤ ess sup f = P, 0 < q = ess inf g ≤
ess sup g ≤ Q. Demostrar que
(s r )2 Z 2
PQ pq
Z Z
2 2
4 f dµ g dµ ≤ + f g dµ .
pq PQ

Resolución. Se tiene que pq g ≤ qQ f ≤ PQ g c.t.p., o bien

p P
g≤ f ≤ g c.t.p..
Q q

Escribamos √ √   √  √ 
PQ pq PQ pq
Fy = f 2 + y f g √ +√ + y2 g2 = f + yg √ f + yg √ .
pq PQ pq PQ
√ √
Si α = Pp/ Qq, entonces   
P p
F−α = f− g f− g ≤0 c.t.p.,
q Q
mientras que   
P p
Fα = f+ g f+ g >0
q Q

M EDIDA E I NTEGRACIÓN OCW-ULL 2024

14/19 I. M ARRERO

en un conjunto de medida positiva (de lo contrario, Fα ≤ 0 c.t.p., obligando

Z a que f ≤ 0 c.t.p.; una contradicción, salvo en
el caso trivial de que el espacio ambiente tenga medida nula). Luego, Fy dµ no es mayor que cero para y = −α, y es
positiva para y = α. Como la función
√ √ Z
PQ pq
Z Z Z
2
Fy dµ = f dµ + y √ + √ f g dµ + y2 g2 dµ
pq PQ

es cuadrática en y, debe tener una raíz real (discriminante no negativo), lo que proporciona la estimación deseada.

3 Otras propiedades de los espacios L p

3.1 Completitud

31. Sean 1 ≤ p < ∞ y f ∈ L p (µ), con f ≥ 0. Probar que fn = min{ f , n} ∈ L p (µ) (n ∈ N) y limn→∞ ∥ f − fn ∥ p = 0.
Resolución. Fijado n ∈ N, se tiene que 0 ≤ fnp ≤ f p , así que fn ∈ L p (µ); además, 0 ≤ ( f − fn ) p ≤ f p , donde la función
mayorante es integrable. Puesto que limn→∞ fn = f (Ejercicio 7 del Tema 2), aplicando el teorema de la convergencia
dominada (Teorema 2.13 del Tema 2) se concluye que
Z
lim ( fn − f ) p dµ = 0.
n→∞

32. Demostrar que si 1 ≤ p < ∞, el conjunto de las funciones medibles acotadas es denso en L p (µ).
Resolución. Dados f ∈ L p (µ) y ε > 0, se ha de encontrar una función acotada g ∈ L p (µ), tal que ∥ f − g∥ p < ε. La
desigualdad de Minkowski (Teorema 2.22) permite considerar f + y f − por separado. Suponiendo, pues, que f ≥ 0, el
Ejercicio 31 garantiza la aproximación requerida.

33. Sea f ∈ L p (a, b), con 1 ≤ p < ∞ y a, b finitos, y sea ε > 0. Probar que existen:
Z b
a) Una función escalonada h tal que | f − h| p dx < ε.
a
Z b
b) Una función continua g, de soporte compacto, tal que | f − g| p dx < ε.
a

Resolución. En vista del Ejercicio 32 se puede suponer que f es medible y acotada, lo que permite imitar la prueba del
Teorema 1.61 del Tema 2 con las modificaciones oportunas. Concretamente, aplicando la desigualdad de Minkowski
(Teorema 2.22) encontramos que, si f = g + h,
Z b Z b
|g − g1 | p dx < ε y |h − h1 | p dx < ε
a a

implica
Z b
| f − (g1 + h1 )| p dx < 2 p ε.
a

34. Demostrar que cada una de las siguientes clases de funciones: funciones simples medibles; funciones escalonadas; y
funciones continuas, son densas en el espacio métrico L p (a, b) (1 ≤ p < ∞), donde a y b son finitos.
Resolución. Queremos probar que si f ∈ L p (a, b), existe una sucesión { fn }∞
n=1 en cada una de las clases consideradas tal
que limn→∞ ∥ fn − f ∥ p = 0. Por la desigualdad de Minkowski (Teorema 2.22), no se pierde generalidad suponiendo f ≥ 0.
En tal caso, para funciones simples el resultado se sigue del teorema de aproximación de Lebesgue (Teorema 2.6 del

OCW-ULL 2024 M EDIDA E I NTEGRACIÓN

T EMA 3: E SPACIOS L p • P ROBLEMAS RESUELTOS 15/19

Tema 2) y del teorema de la convergencia dominada (Teorema 2.13 del Tema 2). Para funciones escalonadas y funciones
continuas, fue establecido en el Ejercicio 33.

35. Probar que los resultados del Ejercicio 34 valen para L p (−∞, ∞) (1 ≤ p < ∞).
Resolución. Sea fn = f χ(−n,n) (n ∈ N). Como

p
| f − fn | p = f [1 − χ(−n,n) ] ≤ | f |p (n ∈ N),

el teorema de la convergencia dominada (Teorema 2.13 del Tema 2) proporciona limn→∞ ∥ f − fn ∥ p = 0. El Ejercicio 34 y
la desigualdad de Minkowski completan la resolución.

36. Sean 1 < p, q < ∞ exponentes conjugados, y sean f ∈ L p (−∞, ∞), g ∈ Lq (−∞, ∞). Demostrar que
Z
F(t) = f (x + t) g(x) dx

es una función continua de t.

Resolución. Se tiene que
Z 1/p Z 1/q
|F(t + h) − F(t)| ≤ | f (x + t + h) − f (x + t)| p dx |g|q dx .

Z
Por tanto, basta probar que | f (x + t + h) − f (x + t)| p dx tiende a cero con h, y a tal fin, en virtud de la invariancia por
Z
traslaciones de la integral (Ejercicio 42 del Tema 2), sólo necesitamos demostrar lo propio para | f (x + h) − f (x)| p dx.
Dado ε > 0, el Ejercicio 34 proporciona una función continua k, de soporte compacto, tal que ∥ f − k∥ p < ε. Por tanto, si
fh (x) = f (x + h), kh (x) = k(x + h) tenemos, de nuevo por el Ejercicio 42 del Tema 2, que

∥ f − fh ∥ p ≤ ∥ f − k∥ p + ∥k − kh ∥ p + ∥kh − fh ∥ p ≤ ∥k − kh ∥ p + 2ε.

Como k, kh tienen soporte compacto y k es uniformemente continua, ∥k − kh ∥ p < ε para todo h suficientemente pequeño,
lo que resuelve el ejercicio.

37. Sean 1 ≤ p, q ≤ ∞ exponentes conjugados. Supongamos que limn→∞ ∥ fn − f ∥ p = 0, y que limn→∞ ∥gn − g∥q = 0. Probar
que limn→∞ ∥ fn gn − f g∥1 = 0.
Resolución. Por las desigualdades de Minkowski (Teorema 2.22) y Hölder (Teoremas 2.20 y 2.24),

∥ fn gn − f g∥1 ≤ ∥ f g − f gn ∥1 + ∥ f gn − fn gn ∥1 ≤ ∥ f ∥ p ∥g − gn ∥q + ∥ f − fn ∥ p ∥gn ∥q (n ∈ N). (7)

Pero, de nuevo por la desigualdad de Minkowski (Teoremas 2.22 y 2.26),

∥gn ∥q − ∥g∥q ≤ ∥gn − g∥q (n ∈ N),

así que, para n grande, ∥gn ∥q ≤ ∥g∥q + 1. Teniendo en cuenta esta acotación en (7) y tomando límites cuando n → ∞, se
concluye el resultado.

38. Dadas f , fn ∈ L2 (µ) (n ∈ N), se dice que { fn }∞

n=1 converge débilmente a f si supn∈N ∥ f n ∥2 < ∞ y
Z
lim ( fn − f ) g dµ = 0
n→∞

M EDIDA E I NTEGRACIÓN OCW-ULL 2024

16/19 I. M ARRERO

para toda g ∈ L2 (µ). Demostrar que:

a) Si { fn }∞ 2
n=1 converge a f en L , entonces { f n }n=1 converge débilmente a f , pero no a la inversa.
∞

n=1 converge débilmente a f , entonces ∥ f ∥2 ≤ lim infn→∞ ∥ f n ∥2 .

b) Si { fn }∞

c) Si X = [a, b], con a y b finitos, entonces { fn }∞

n=1 converge débilmente a f si, y sólo si,
Z x Z x
lim fn dt = f dt (x ∈ [a, b]) y sup ∥ fn ∥2 < ∞.
n→∞ a a n∈N

2
n=1 converge débilmente a f y si limn→∞ ∥ f n ∥2 = α ≤ ∥ f ∥2 , entonces { f n }n=1 converge a f en L (µ).
d) Si { fn }∞ ∞

Resolución.

a) Por la desigualdad de Cauchy-Schwarz (cf. Teorema 2.20), se verifica que

Z
( fn − f ) g dµ ≤ ∥ fn − f ∥2 ∥g∥2 −→ 0 cuando n → ∞.

Como contraejemplo, tómese X = (−π, π), fn (x) = sen nx (n ∈ N), de modo que

1 − cos 2nx
Z π Z π
∥ fn ∥22 = sen2 nx dx dx = π (n ∈ N),
−π −π 2

aunque
Z π
∥ fn − fm ∥22 = (sen2 nx − 2 sen nx sen mx + sen2 mx) dx
−π
Z π
= 2π − 2 sen nx sen mx dx
−π
Z π
= 2π − [cos(n − m)x − cos(n + m)x] dx
−π

= 2π (n, m ∈ N, n ̸= m),
Z π
impidiendo que { fn }∞ 2 2
n=1 converja en L (−π, π). Pero si g ∈ L (−π, π), se tiene que limn→∞ g(x) sen nx dx = 0
−π
en virtud de, por ejemplo, el lema de Riemann-Lebesgue (Ejercicio 48 del Tema 2).

b) Sea C > lim infn→∞ ∥ fn ∥2 = supk∈N infn≥k ∥ fn ∥2 . Entonces infn≥k ∥ fn ∥2 < C (k ∈ N). Por definición de ínfimo, dado
k = 1 debe existir n1 ≥ 1 tal que ∥ fn1 ∥2 ≤ C. De nuevo por la definición de ínfimo, dado k = n1 + 1 debe existir
n2 ≥ n1 + 1 > n1 tal que ∥ fn2 ∥2 ≤ C. En general, elegido ni tal que ∥ fni ∥2 ≤ C, debe existir ni+1 ≥ ni + 1 > ni tal
que fni+1 2 ≤ C. Se obtiene así una subsucesión { fni }∞
i=1 , con ∥ f ni ∥2 ≤ C (i ∈ N). Como esta subsucesión continúa
convergiendo débilmente a f , resulta que
Z
C∥ f ∥2 ≥ fni f dµ −→ ∥ f ∥22 cuando i → ∞.

Suponiendo que ∥ f ∥2 > 0 (de lo contrario, no habría nada que probar), basta con dividir por ∥ f ∥2 para obtener
∥ f ∥2 ≤ C, la estimación buscada.

c) Si { fn }∞
n=1 converge débilmente a f , la sucesión está acotada y, para todo x ∈ [a, b],

Z b Z b
χ[a,x] fn dt −→ χ[a,x] f dt cuando n → ∞.
a a

OCW-ULL 2024 M EDIDA E I NTEGRACIÓN

T EMA 3: E SPACIOS L p • P ROBLEMAS RESUELTOS 17/19

Recíprocamente, si se verifica lo anterior entonces, para cualquier función escalonada g,

Z b Z b
g fn dx −→ g f dx cuando n → ∞,
a a

de modo que, dado ε > 0, para n grande se tiene

Z b
(g f − g fn ) dx < ε.
a

Ahora, si h ∈ L2 (a, b) existe, por el Ejercicio 34, una función escalonada g tal que ∥h − g∥2 < ε, con
Z b Z b
(h f − h fn ) dx ≤ ∥h f − g f ∥1 + (g f − g fn ) dx + ∥g fn − h fn ∥1 .
a a

Tomando M = supn∈N ∥ fn ∥2 , sigue que

Z b Z b
(h f − h fn ) dx ≤ ∥ f ∥2 ∥h − g∥2 + (g f − g fn ) dx + ∥ fn ∥2 ∥g − h∥2
a a
< ε∥ f ∥2 + ε + Mε

para n grande, probando que { fn }∞

n=1 converge débilmente a f .

d) Se tiene que Z Z Z
0 ≤ ∥ fn − f ∥22 = f 2 dµ + fn2 dµ − 2 fn f dµ −→ α 2 − ∥ f ∥22 ≤ 0.

Luego, α = ∥ f ∥2 y { fn }∞ 2
n=1 converge a f en L (µ).

3.2 Relaciones de inclusión

39. Supongamos que 0 < µ(X) < ∞ y que limn→∞ ∥ f − fn ∥ p = 0, con 1 ≤ p < ∞. Probar que limn→∞ ∥ f − fn ∥ p′ = 0 para todo
p′ tal que 1 ≤ p′ < p.

Resolución. Sean p1 = p/p′ > 1 y q1 exponentes conjugados. Entonces,

Z
′ ′ ′
| fn − f | p dµ ≤ ∥ ( fn − f ) p ∥ p1 µ(X)1/q1 = ∥ fn − f ∥ pp µ(X)1/q1 −→ 0

cuando n → ∞, como se requería.

También bastaría con apelar a los Ejemplos 1.16 ó 3.8 y al Lema 3.3: como µ(X) < ∞, se da la inclusión conjuntista
′ ′
L p (µ) ⊂ L p (µ) y, por lo tanto, la aplicación inclusión ı : L p (µ) ,→ L p (µ) es continua.

40. Demostrar que si 0 < µ(X) < ∞, si | fn | ≤ K c.t.p. (n ∈ N), y si limn→∞ ∥ f − fn ∥ p = 0 para algún p con 1 ≤ p < ∞, entonces
limn→∞ ∥ f − fn ∥ p′′ = 0 para todo 1 ≤ p′′ < ∞.

Resolución. El teorema de Riesz-Fischer (Teorema 3.1) proporciona una subsucesión { fni }∞ i=1 de { f n }n=1 que converge a
∞

f c.t.p.. Por tanto, | f | ≤ K c.t.p. y | fn − f | ≤ 2K c.t.p., para todo n ∈ N. Si p′′ > p (en caso contrario, aplíquese el Ejercicio
39), entonces
′′ ′′ −p
∥ fn − f ∥ pp′′ ≤ (2K) p ∥ fn − f ∥ pp −→ 0 cuando n → ∞.

M EDIDA E I NTEGRACIÓN OCW-ULL 2024

18/19 I. M ARRERO

3.3 El rango 0 < p < 1

41. Sean f , g funciones medibles no negativas. Probar que si 0 < k < 1 ó k < 0, y si k + m = km, entonces

Z Z 1/k Z 1/m
f g dµ ≥ f k dµ gm dµ .

Resolución. Cuando 0 < k < 1 se tiene m < 0 y recíprocamente, así que basta considerar el caso en que 0 < k < 1.
Z
Si gm dµ = 0 entonces gm = 0 c.t.p. y, como m < 0, necesariamente g = ∞ c.t.p., es decir, A = {x : g(x) < ∞} tiene
medida nula. Excluyendo el caso trivial en que µ(X) = 0, encontramos que Ac = {x : g(x) = ∞} tiene medida positiva.
Z 1/m
Además, al ser m < 0 se tiene que gm dµ = ∞. Por consiguiente:

Z Z Z Z
f g dµ = f g dµ = ∞ f dµ = ∞ f dµ.
Ac Ac

Z Z 1/k
k
Si f dµ = 0 entonces f = 0 c.t.p., así que f dµ = 0. En este caso, los dos miembros de la desigualdad son
Z
nulos, y el resultado se verifica trivialmente. Si f dµ > 0, tanto el primer miembro como el segundo son infinitos (nótese
Z 1/k Z
k
que f dµ = 0 implicaría f = 0 c.t.p., de modo que f dµ = 0) y, de nuevo, se da la igualdad.
Z Z
m
Consecuentemente, supondremos que g dµ > 0 y también que gm dµ < ∞, pues de lo contrario el segundo miembro
es nulo y no hay nada que demostrar.
Escribiendo p = k−1 , las ecuaciones f = (uv) p , g = v−p definen funciones medibles u = ( f g)1/p , v = g−1/p , no negativas
c.t.p. y, por la desigualdad de Hölder generalizada (Ejercicio 13),

Z Z 1/p Z 1/q
p q
uv dµ ≤ u dµ v dµ ,

donde q = (1 − k)−1 es el exponente conjugado de p. Teniendo en cuenta que −q/p = k/(k − 1) = m, obtenemos

Z Z k Z 1−k
k m
f dµ ≤ f g dµ g dµ .

Z
Como 0 < gm dµ < ∞, basta dividir ambos miembros de la desigualdad precedente por el segundo factor del segundo
miembro y tomar raíces k-ésimas para alcanzar la conclusión deseada.
Compárese con la Proposición 3.11.

42. Sean 0 < k < 1 y f , g funciones medibles no negativas. Demostrar que

Z 1/k Z 1/k Z 1/k
k k k
( f + g) dµ ≥ f dµ + g dµ .

Z
Resolución. Sea m tal que k + m = km. Asumimos que 0 < ( f + g)k dµ < ∞, pues de lo contrario no hay nada que probar.
Por el Ejercicio 41, tenemos:
Z Z Z
( f + g)k dµ = f ( f + g)k−1 dµ + g( f + g)k−1 dµ
Z 1/k Z 1/m Z 1/k Z 1/m
≥ f k dµ ( f + g)(k−1)m dµ + gk dµ ( f + g)(k−1)m dµ

OCW-ULL 2024 M EDIDA E I NTEGRACIÓN

T EMA 3: E SPACIOS L p • P ROBLEMAS RESUELTOS 19/19

Z 1/k Z 1/m Z 1/k Z 1/m

k k k k
= f dµ ( f + g) dµ + g dµ ( f + g) dµ .

Z 1/m
k
Ahora basta con dividir ambos miembros por ( f + g) dµ , que suponemos positiva y finita, para conseguir el
resultado.
Compárese con la Proposición 3.11.

M EDIDA E I NTEGRACIÓN OCW-ULL 2024