Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Espacios LP 9789587619492
Espacios LP 9789587619492
Espacios Lp
2014
Espacios Lp
ISBN 978-958-761-949-2
EDICIÓN
Coordinación de Publicaciones – Facultad de Ciencias
Reservados todos los derechos. Esta publicación no puede ser reproducida ni en su todo ni en sus
partes, ni registrada en o transmitida por un sistema de recuperación de información, en ninguna forma
ni por ningún medio sea mecánico, fotoquímico, electrónico, magnético, electroóptico, por fotocopia
o cualquier otro, sin el permiso previo por escrito de la editorial.
ISBN: 978-958-761-949-2
Introducción 1
2. Los espacios Lp 23
2.1. Funciones en Lp y sus normas . . . . . . . . . . . . . . . . . . 23
2.2. Supremo esencial . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.3. Lp no es un espacio normado . . . . . . . . . . . . . . . . . . 29
2.4. Los espacios lp . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.4.1. Desigualdad de Hölder y Minkowski versión discreta . . 40
2.4.2. El espacio lp y su norma . . . . . . . . . . . . . . . . . 42
2.4.3. Desigualdad de Hardy en lp . . . . . . . . . . . . . . . 47
2.4.4. Desigualdad de Hilbert en lp . . . . . . . . . . . . . . . 49
2.4.5. El espacio l∞ . . . . . . . . . . . . . . . . . . . . . . . 52
2.5. Aproximaciones en Lp (µ) . . . . . . . . . . . . . . . . . . . . . 59
2.6. Funcionales Lineales y Acotados sobre el Espacio Lp (µ) . . . . 69
2.7. Espacios duales . . . . . . . . . . . . . . . . . . . . . . . . . . 88
2.8. Convergencia débil en Lp . . . . . . . . . . . . . . . . . . . . . 91
2.9. Continuidad de la traslación en Lp (Ω) para 1 ≤ p < ∞. . . . . 105
5. Convolución 159
5.1. Resultados básicos . . . . . . . . . . . . . . . . . . . . . . . . 159
5.2. El soporte y la convolución . . . . . . . . . . . . . . . . . . . . 170
5.3. Convolución con funciones suaves . . . . . . . . . . . . . . . . 172
5.4. Aproximaciones de la identidad . . . . . . . . . . . . . . . . . 174
6. Potenciales 181
6.1. Potencial de Riesz . . . . . . . . . . . . . . . . . . . . . . . . . 181
6.2. Potenciales en Lp . . . . . . . . . . . . . . . . . . . . . . . . . 188
9. Isometrı́a en Lp 219
B. σ-homomorfismo 231
Bibliografı́a 234
Introducción
El presente texto no pretende ser un tratado en espacios Lp (0 < p ≤ ∞),
lo cual serı́a una utopı́a, el objetivo del mismo es estudiar (en la medida de
lo posible) de manera exhaustiva los espacios Lp , dado que de alguna manera
podemos ver el espacio Lp como el padre de todos los espacios de funciones
integrables, por ejemplo, los espacios de Sobolev se definen vı́a los espacios Lp .
Este texto está dividido en capı́tulos y a su vez cada capı́tulo está sub-
dividido en secciones. La mayorı́a de los capı́tulos finaliza con una sección
de ejercicios. El objetivo de esta sección es que el lector, a través de la re-
solución de los mismos, pueda comprobar el grado de dominio alcanzado de
las ideas y técnicas presentadas en cada capı́tulo. Por supuesto, cada sección
de ejercicios contiene problemas de diferentes grados de complejidad, existen
algunos de rutina y otros que pueden verse como un reto. Todas las crı́ticas
constructivas que redunden en beneficio de este trabajo, serán bienvenidas.
Cualquier error de transcripción o de cálculo es absoluta responsabilidad del
autor.
Funciones Convexas y
Desigualdades
x−a b−x
1−t=1− =
b−a b−a
por otra parte nótese que
x (b − a) xb − xa xb − ab + ba − xa
x= = =
b−a b−a b−a
5
6 Funciones Convexas y Desigualdades
x−a b−x
x= b+ a,
b−a b−a
ahora bien de la convexidad de f resulta
x−a b−x
f (x) ≤ f (b) + f (a)
b−a b−a
(b − a) f (x) ≤ (x − a) f (b) + (b − x) f (a)
(b − a) f (x) ≤ (x − a) f (b) + af (a) − af (a) + (b − x) f (a)
≤ (x − a) f (b) − (x − a) f (a) + (b − a) f (a)
f (x) − f (a) f (b) − f (a)
≤ .
x−a b−a
Recı́procamente, sea a < x < y < b y 0 < t < 1, luego 0 < 1 − t, entonces
es claro que tx < ty y (1 − t) x < (1 − t) y ası́
x = tx + (1 − t) x ≤ tx + (1 − t) y < ty + (1 − t) y = y
es decir,
x < tx + (1 − t) y < y,
entonces por hipótesis
Corolario 1.3. Sea f convexa en (a, b) y a < x < y < z < b, entonces
Demostración. Sean x, y, z tales que x < y < z, entonces por el Teorema 1.2
ahora bien, por otra parte x < y < z implica que −z < −y < −x de
aquı́ obtenemos 0 < z − y < z − x, luego
z−y
0< <1
z−x
hacemos
z−y
t=
z−x
ası́
y−x
1−t= .
z−x
Nótese que
z−x yz − yx y−x z−y
y=y = = z+ x
z−x z−x z−x z−x
luego
y−x z−y
f (y) = f z+ x
z−x z−x
de la convexidad de f tenemos que
y−x z−y
f (y) ≤ f (z) + f (x)
z−x z−x
(z − x) f (y) ≤ (z − y) f (x) + (y − x) f (z)
(z − x) f (y) ≤ (z − y) f (x) + zf (z) − zf (z) + (y − x) f (z)
(z − x) f (y) ≤ (z − y) f (x) − (z − y) f (z) + (z − x) f (z)
(z − y) (f (z) − f (x)) ≤ (z − x) (f (z) − f (y))
f (z) − f (x) f (z) − f (y)
≤
z−x z−y
por lo tanto
f (y) − f (x) f (z) − f (x) f (z) − f (y)
≤ ≤ .
y−x z−x z−y
de la continuidad de f tenemos
kn kn
f (λx + (1 − λ) y) = f lı́m n x + 1 − lı́m n y
n→∞ 2 n→∞ 2
kn kn
f (λx + (1 − λ) y) = lı́m f x+ 1− n y
n→∞ 2n 2
1.1 Funciones Convexas 9
kn kn
≤ lı́m n f (x) + lı́m 1 − n f (y)
n→∞ 2 n→∞ 2
f (λx + (1 − λ) y) ≤ λf (x) + (1 − λ) f (y) .
u = δ (sign (x − x0 ))−1 ,
x = t (x0 + u) + (1 − t) x0
x t
x0 = + (x0 − u)
1+t 1+t
puesto que f es convexa
[M − f (x0 )]
|f (x) − f (x0 )| ≤ |x − x0 | . (1.4)
δ
Al considerar la posibilidad (b) también se obtiene (1.4), concluyéndose que
f es continua en (a, b).
Observación 1.6. El teorema 1.5 no es cierto para un intervalo cerrado. En
efecto, la función (
0, si 0 ≤ x < 1
f (x) =
1, si x = 1
es convexa en [0, 1] pero no es continua en [0, 1].
Teorema 1.7 (Desigualdad de Jensen). Sea µ una medida positiva sobre
una σ-álgebra A en un conjunto Ω, tal que µ (Ω) = 1. Sea f una función
integrable sobre Ω, es decir,
Z
f dµ < ∞
Ω
si a < f (x) < b para todo x ∈ Ω y ϕ es una función convexa en (a, b),
entonces Z Z
ϕ f dµ ≤ ϕ ◦ f dµ.
Ω Ω
ϕ (t0 ) − ϕ (y)
β≥ ,
t0 − y
luego ϕ (y) ≥ ϕ (t0 ) + β (y − t0 ).
ϕ (y) − ϕ (t0 )
β≥
y − t0
de donde ϕ (y) ≥ ϕ (t0 ) + β (y − t0 ).
12 Funciones Convexas y Desigualdades
ϕ (y) ≥ ϕ (t0 ) + β (y − t0 )
Corolario 1.12. Bajo las hipótesis del Teorema 1.7 se cumple que
R R
f gdµ ϕ (f ) gdµ
ϕ RΩ ≤ ΩR
Ω
gdµ Ω
gdµ
para todo y de (a, b). Ahora bien escribiendo y = f (x) y multiplicando (1.7)
por una función g positiva e integrando obtenemos
Z Z Z Z Z
ϕ (f ) gdµ ≥ ϕ (t0 ) gdµ + ϕ (f ) gdµ + β f gdµ − βt0 gdµ. (1.8)
Ω Ω Ω Ω Ω
Definamos R
f gdµ
t0 = RΩ
Ω
gdµ
sustituyendo en (1.8) resulta
R Z R Z
f gdµ f gdµ
Z Z
Ω Ω
ϕ (f ) gdµ ≥ ϕ R gdµ + β f gdµ − β R gdµ
Ω Ω
gdµ Ω Ω Ω
gdµ Ω
de donde R R
f gdµ ϕ (f ) gdµ
ϕ RΩ ≤ ΩR .
Ω
gdµ Ω
gdµ
Observación 1.13. El corolario 1.12 generaliza la desigualdad de Jensen.
14 Funciones Convexas y Desigualdades
Ejercicios
i. ϕ es convexa.
ii. ϕ(x) = 0 ⇔ x = 0.
Demostrar que:
R
9. Supóngase que µ(Ω) = 1 y h : Ω → [0, +∞) medible. Si A = Ω
h dµ.
Demuéstrese que
√ Z √
2
1+A ≤ 1 + h2 dµ ≤ 1 + A.
Ω
13. Sea g una función no negativa y medible en [0, 1]. Demuestre que
Z 1 Z 1
log g(t) dt ≥ log g(t) dt.
0 0
a) Z
1
log(f ) dµ ≤ µ(E) log
E µ(E)
b) Z
f p dµ ≤ (µ(E))1−p (0 < p < 1)
E
son válidas para todo conjunto medible E con 0 < µ(E) < ∞.
16 Funciones Convexas y Desigualdades
15. Sea {αn }n∈N una sucesión de números no negativos tal que nk=1 αk = 1
P
y {ξn }n∈N una sucesión de números positivos. Demuestre que
n
Y n
X
ξkαk ≤ αk ξk .
k=1 k=1
16. Use el ejercicio anterior para demostrar que la media geométrica siem-
pre es menor o igual que la media aritmética, es decir
p
n ξ1 + ξ2 + · · · + ξn
ξ1 · ξ2 · · · · · ξn ≤ .
n
18. Sea (Ω, A, µ) un espacio de medida tal que µ(Ω) = 1 y f ∈ L1 (Ω) con
a < f (x) < b para todo x ∈ Ω. Demuestre que si ψ es cóncava en (a, b)
entonces Z Z
ψ f dµ ≥ ψ ◦ f dµ.
Ω Ω
19. Sea f una función medible positiva en [0, 1]. ¿Cuál de las dos cantidades
Z 1 Z 1 Z 1
f (x) log f (x) dx; f (s) ds log f (t) dt
0 0 0
es mayor?
1.2 Desigualdad de Young 17
Nótese que
Z a Z 0 Z a
f (x) dx = f (x) dx + f (x) dx
r r 0
Z a Z r Z a
f (x) dx = − f (x) dx + f (x) dx.
r 0 0
18 Funciones Convexas y Desigualdades
Por (1.10),
Z r Z f (r)
f (x) dx = rf (r) − f −1 (y) dy, (1.13)
0 0
luego,
Z a Z b
f (x) dx = ab − f −1 (y) dy
0 0
Z a Z b
ab = f (x) dx + f −1 (y) dy.
0 0
Corolario 1.15 (Young). Sea 1 < p < q < ∞ tal que p1 + 1q = 1, entonces
p q
ab ≤ ap + bq para a y b reales positivos. La igualdad se cumple si ap = bq .
1.2 Desigualdad de Young 19
a = bq/p
luego,
a = bq−1 ,
por lo tanto,
ab = bq .
Ası́,
q 1 1
ab = b + ,
p q
es decir,
ap b q
ab = + .
p q
Ahora, consideremos f (x) = xα con α > 0 y f −1 (y) = y 1/α , nótese que f
satisface las hipótesis del Teorema 1.14, entonces
Z a Z b
α
ab ≤ x dx + y 1/α dy
0 0
α+1 1/α+1
a b
= + .
α + 1 1/α + 1
α+1 1 1
Si p = α + 1 y q = α
. Note que p
+ q
= 1. Ası́,
ap b q
ab ≤ + .
p q
ab ≤ a log+ a + eb−1 ,
donde
+ log x si x > 1;
log x =
0 si 0 ≤ x ≤ 1.
20 Funciones Convexas y Desigualdades
Entonces,
Z a Z b
ab − (a + b) + 1 ≤ ϕ(u) du + ψ(t) dt − (a + b) + 2
1 1
Z a Z b
ab ≤ ϕ(u) du +
ψ(t) dt + 1
1 1
Z a Z b
ab ≤ (log u + 1) du + et−1 dt + 1
1 1
= a log+ a + e−1 [eb − e] + 1
= a log+ a + eb−1 − 1 + 1,
finalmente,
ab ≤ a log+ a + eb−1 .
1.2 Desigualdad de Young 21
Ejercicios
1. Sean p y q dos números reales con 0 < p < 1 y −∞ < q < 0 tal que
1
p
+ 1q = 1. Demostrar que
ap b q
ab ≥ +
p q
para a y b reales positivos.
ap b q 1 1
ab ≤ + con + = 1.
p q p q
ab ≤ εap + c(ε)bq
(εp)−q/p
donde c(ε) = .
q
Capı́tulo 2
Los espacios Lp
Es decir,
Z
Lp (µ) = f : f : X → R medible y p
|f | dµ < ∞ .
X
Ejemplo 2.2. Sea X = [0, 16] y f : X → R definida por f (x) = x−1/4 , note
que f ∈ L1 (m), pero f ∈
/ L4 (m) donde m denota la medida de Lebesgue.
23
24 Los espacios Lp
Observación 2.3. El ejemplo 2.2 nos dice que en general los espacios Lp
no son comparables.
entonces f ∈ L1 (m)
0 ≤ f + ≤ |f |
0 ≤ f − ≤ |f |
implican que f + , f − y |f | están en Lp (µ).
A = {M > 0 : µ(EM ) = 0}
= {M > 0 : |f (x)| ≤ M c.t.p}.
2.2 Supremo esencial 25
luego,
|f (x)| ≤ kf k∞ c.t.p.
Definición 2.9.
Ası́ f ∈ Lp (µ).
Ejemplo 2.15. Sean 1 ≤ p < q < ∞, entonces Lq (µ) ⊆ Lp (µ) con µ(X) <
∞.
En efecto, sea f ∈ Lq (µ), si A = {x ∈ X : |f (x)| ≤ 1}, entonces
χX = χA + χX\A
y
|f (x)|p < |f (x)|q para x ∈ X \ A y |f (x)| ≤ 1,
para x ∈ A, luego
Z
kf kpp = |f |p dµ
ZX Z
p
= χA |f | dµ + χX\A |f |p dµ
ZX Z X
≤ χA dµ + χX\A |f |p dµ
X Z X
≤ µ(A) + χX\A |f |q dµ
X
≤ µ(X) + kf kqq < ∞,
ası́, f ∈ Lp (µ).
28 Los espacios Lp
Observación 2.16. Los ejemplos 2.14 y 2.15 nos dicen bajo que condiciones
se pueden comparar los espacios Lp .
Observación 2.17. a) Las inclusiones en los ejemplos precedentes 2.14 y
2.15 son estrictas. Para ver esto, consideremos el siguiente ejemplo.
Lq (m) Lp (m).
k · kp : Lp (µ) → R+
por
Z 1/p
p
kf kp = |f | dµ
X
con 1 ≤ p < ∞.
Ejemplo 2.18. Sea X = [0, 1], consideremos la función
1 si x ∈ Q ∩ [0, 1];
f (x) =
0 si x ∈ I ∩ [0, 1].
sin embargo, note que f no es idénticamente la función nula. Esto nos dice
que tanto k · k1 como k · k∞ no definen una norma en L1 y L∞ respectiva-
mente.
Ahora bien, para corregir esta debilidad del espacio Lp , tomemos dos
funciones f y g en Lp de modo que f esté relacionada con g si y sólo si f = g
c.t.p, en sı́mbolos f ∼ g ⇔ f = g c.t.p. Es sólo un asunto de rutina verificar
que ∼ define una relación de equivalencia.
g1 ∼ f si y sólo si g1 = f c.t.p
y
g2 ∼ f si y sólo si g2 = f c.t.p,
por lo tanto g1 = g2 c.t.p, entonces
kg1 kp = kg2 kp .
Esto nos dice que k[f ]kp = kgkp esta bien definida por ser independiente del
representante de la clase [f ].
kf + gkp ≤ kf kp + kgkp .
B
kf + gkp = g+g
A p
B+A
= kgkp
A
B
= kgkp + kgkp
A
= kf kp + kgkp .
α β
Ahora, consideremos λ = α+β
y 1−λ = α+β
, note que 0 < λ < 1, lue-
go
|f (x) + g(x)|p ≤ (|f (x)| + |g(x)|)p
= (αf0 (x) + βg0 (x))p
= [(α + β)λf0 (x) + (α + β)(1 − λ)g0 (x)]p
= (α + β)p (λf0 (x) + (1 − λ)g0 (x))p
≤ (α + β)p [λ(f0 (x))p + (1 − λ)(g0 (x))p ]. (2.3)
Dado que ϕ(t) = tp es convexa en [0, ∞), integrando en (2.3) tenemos
Z
|f (x) + g(x)|p dµ ≤ (α + β)p [λkf0 kpp + (1 − λ)kg0 kpp ]
X
= (α + β)p < ∞,
es decir, f + g ∈ Lp (µ). Finalmente,
kf + gkpp ≤ (kf kp + kgkp )p
ası́,
kf + gkp ≤ kf kp + kgkp .
Demostración. Definamos
ϕ(t) ≥ ϕ(0)
(a + tb)p ≥ ap + ptbap−1 .
ası́, Z
|f g| dµ ≤ kf k1 kgk∞ .
X
ası́, khkp−1
p = kgkq . Por lo tanto,
Z
f g dµ ≤ kf kp kgkq .
X
|g|q/p
|f | = kf kp q/p
,
kgkq
integrando, resulta Z
|f g| dµ = kf kp kgkq .
X
34 Los espacios Lp
n
X 1
Corolario 2.25. Sea pk > 1, k = 1, 2, 3, ..., n tal que = 1, para fk ∈
k=1
pk
Lpk (µ) tenemos que f1 , f2 , . . . , fn ∈ L1 (µ) y
Z n
Y n
Y
fk dµ ≤ kf kpk .
X k=1 k=1
2.3 Lp no es un espacio normado 35
entonces,
kf gk1 kgk−1
q ≤ kf kp
para g 6= 0, luego
−1 1 1
sup kf gk1 kgkq : g 6= 0, + = 1 ≤ kf kp . (2.4)
g∈Lq (µ) p q
Por otra parte, supongamos f 6= 0 y g = c|f |p−1 (c constante), entonces
|f g| = c|f |p ,
ası́,
kf gk1 = ckf kpp .
Si escogemos c = kf k1−p
p , obtenemos
kf gk1 = kf k1−p p
p kf kp = kf kp . (2.5)
Ahora bien,
|g|q = cq |f |q(p−1)
e integrando ambos lados tenemos que
Z 1/q
p
kgkq = c |f | dµ
= kf kp1−p kf kp/q
p
= kf kp1−p kf kpp−1
= 1.
Como f 6= 0, entonces kgk−1
q = 1.
b) lı́m kf kp = kf k∞ .
p→∞
luego
1
lı́m inf kf kp ≥ (kf k∞ − ) lı́m inf [µ(A)] p ,
p→∞ p→∞
de la arbitrariedad de resulta
Ası́ que
lı́m kf kp = kf k∞ .
p→∞
2.3 Lp no es un espacio normado 37
Ası́ f ∈ Lp (µ). Invocando una vez más el Lema de Fatou podemos ver
que
Z Z
kfn − f kp = |fn − f | dµ ≤ lı́m inf |fn − fnk |p dµ < p
p p
k→∞
Caso 2. p = ∞. Sea {fn }n∈N una sucesión de Cauchy en L∞ (µ). Para cada
n ∈ N definamos
Ak = {x : |fk (x)| > kfk k∞ }
y para cada n, m ∈ N, sea
entonces µ(E) = 0. Note que cada fn (x) es una función real y además
Esto último nos dice que {fn }n∈N es una sucesión uniforme de Cauchy
en X \ E. Ahora, definamos
(
lı́m fn (x) si x ∈ X \ E;
f (x) = n→∞
0 si x ∈ E.
lı́m kfn − f k∞ = 0.
n→∞
En efecto, dado > 0, existe n1 ∈ N tal que |fn (x) − f (x)| < /4
∀x ∈ X \ E siempre que n ≥ n1 . Ası́,
Observación 2.30. Como una consecuencia del Teorema 2.29 podemos ver
que para 1 ≤ p ≤ ∞, Lp (µ) es un espacio de Banach, es decir, un espacio
normado el cual es completo con respecto a la métrica inducida por la norma.
2.3 Lp no es un espacio normado 39
Teorema 2.31. Sea {fn }n∈N una sucesión de funciones en Lp (µ) con 1 ≤
p < ∞, la cual converge c.t.p a una función f ∈ Lp (µ). Entonces,
es decir,
Z Z Z
p p p p
2 |f | dµ ≤ 2 |f | − lı́m sup |fn − f |p dµ,
X X X
por lo tanto Z
lı́m sup |fn − f |p dµ ≤ 0.
X
Como
Z Z
p
0 ≤ lı́m inf |fn − f | dµ ≤ lı́m sup |fn − f |p dµ ≤ 0,
X X
entonces,
lı́m kfn − f kp = 0
n→∞
40 Los espacios Lp
si lı́m kfn kp = kf kp .
n→∞
|kfn kp − kf kp | ≤ kfn − f kp .
se sigue el resultado.
n n
!1/p n
!1/q
X X X
p q
|xk yk | ≤ |xk | |yk |
k=1 k=1 k=1
para todo x, y ∈ Rn .
|xk |p |yk |q
Demostración. Sean α = 1/p yβ= 1/q .
n
P n
P
|xk |p |yk |q
k=1 k=1
En virtud del corolario 1.15, resulta
2.4 Los espacios lp 41
y de aquı́
n n
!1/p n
!1/q
X X X
|xk yk | ≤ |xk |p |yk |q ,
k=1 k=1 k=1
1 1
Como+ = 1, entonces p = (p − 1)q, de donde
p q
!1/p !1/p n !1/q
n
X n
X n
X X
|xk + yk |p ≤ |xk |p + |yk |p |xk + yk |p ,
k=1 k=1 k=1 k=1
42 Los espacios Lp
ası́
n
!1− 1q n
!1/p n
!1/p
X X X
|xk + yk |p ≤ |xk |p + |yk |p .
k=1 k=1 k=1
Finalmente
n
!1/p n
!1/p n
!1/p
X X X
p p p
|xk + yk | ≤ |xk | + |yk | ,
k=1 k=1 k=1
n
!1/p n
!1/p n
!1/p
X X X
p p p
|αk + βe
k | ≤ |α| |k | + |β| |e
k |
k=1 k=1 k=1
n
!1/p ∞
!1/p ∞
!1/p
X X X
k |p
|αk + βe ≤ |α| |k |p + |β| k |p
|e .
k=1 k=1 k=1
Por lo tanto
∞
!1/p ∞
!1/p ∞
!1/p
X X X
k |p
|αk + βe ≤ |α| |k |p + |β| k |p
|e , (2.11)
k=1 k=1 k=1
dejamos como ejercicio demostrar que en efecto esta función define una nor-
ma sobre lp . En consecuencia lp resulta un espacio normado.
ahora
Z n
X
|f (k)|p µ Z+ ∩ {k}
ϕn dµ =
k=1
Z+
n
X
|f (k)|p µ {k}
=
k=1
n
X
= |f (k)|p ,
k=1
44 Los espacios Lp
ya que µ {k} = 1.
Como ∞ Z
X
p
|f (k)| = |f (k)|p dµ.
k=1
Z+
p
Esto último muestra que |f | es integrable si y sólo si
∞
X
|f (k)|p < ∞.
k=1
∞
!1/p
X (n) (m)
|j − j |p < , siempre que n, m ≥ n0 , (2.12)
j=1
de aquı́
k
X k
X
(n) (m) (n)
|j − j |p = | lı́m j − j |p < p .
m→∞
j=1 j=1
∞
!1/p ∞
!1/p
X X
|x|p = |xn + x − xn |p
n=1 n=1
∞
!1/p ∞
!1/p ∞
!1/p
X X X
|x|p ≤ |xn |p + |x − xn |p ,
n=1 n=1 n=1
luego
p
|k − nk |p < ,
2n
ası́
n
X
|k − nk |p < p /2.
k=1
entonces
n
X ∞
X
p p
kx − yk = |k − nk | + |k |p < p ,
k=1 k=n+1
por lo cual
kx − yk < .
Mostrándose ası́ que M es denso en lp , luego resulta lp separable.
Ahora, como 0 < p < q, entonces 0 < q − p, ası́ |n |q−p < 1 si n > n0 , por
lo cual
|n |q < |n |p si n > n0 .
Sea M = máx{|1 |q−p , |2 |q−p , . . . , |n0 |q−p , 1}, luego
∞
X ∞
X
q
|n | = |n |p |n |q−p
n=1 n=1
∞
X
<M |n |p < +∞,
n=1
por lo tanto x ∈ lq .
2.4 Los espacios lp 47
por lo tanto xn ∈
/ lp .
∞ n
!p ∞
p X
X 1X p
ak ≤ apn .
n=1
n k=1 p−1 n=1
An
Demostración. Sea αn = n
donde An = a1 + a2 + · · · + an , luego
An = nαn ,
ası́
a1 + a2 + · · · + an = nαn , (2.14)
de donde
an = nαn − (a1 + a2 + · · · + an−1 )
por (2.14)
an = nαn − (n − 1)αn−1 .
Consideremos ahora
p p
αnp − αnp−1 an = αnp − [nαn − (n − 1)αn−1 ] αnp−1
p−1 p−1
pn p(n − 1)
= αnp − αn αnp−1 + αn−1 αnp−1 .
p−1 p−1
48 Los espacios Lp
luego
∞
!1− 1q ∞
! p1
X p X
αnp ≤ apn
n=1
p − 1 n=1
∞ p p X∞
X a1 + a2 + · · · + an p
≤ apn
n=1
n p − 1 n=1
∞ ∞
!p ∞
X 1X p
p X
ak ≤ apn .
n=1
n k=1
p − 1 n=1
Consideremos la función
1
f (z) = √ (p > 1)
p
z(z + 1)
luego
∞
X 1
f (z) = (−1)n z n− p . (2.16)
n=0
1
g(z) = 1+ p1 1
z 1+ z
50 Los espacios Lp
1
definida en la región D2 = {z ∈ C : |z| > 1}, dado que z
< 1, entonces
∞ n
1 1 X 1
= = −
1 + z1 1 − (− z1 ) n=0 z
∞
X
= (−1)n z −n .
n=0
Por lo tanto ∞
X 1
g(z) = (−1)n z −n−1− p . (2.17)
n=0
Proposición 2.43. Para cada número positivo m y para cada número real
p > 1 se tiene que
∞ 1
X mp π
1 ≤ .
n=1 n (m + n)
p
sen πp
π
= .
π
sen p
∞ ∞
! p1 ∞
! 1q
X am b n π X X
≤ apm bqn
m,n=1
m + n sen πp m=1 n=1
∞ 1
! ! p1 ∞ 1
! ! 1q
X mq X n p
≤ 1 apm 1 bqn
m,n=1 n (m + n)
q
m,n=1 m (m + n)
p
1 ! ! 1q
∞ ∞ 1 1
! ! p ∞ ∞
X X mq X X n p
= 1 apm 1 bqn
n=1 n (m + n) m=1 m (m + n)
q p
m=1 n=1
1 1
∞
! p ∞
! q
X π p X π q
≤ a b
m=1
sen πq m n=1
sen πp n
∞
! p1 ∞ ! 1q
X π p X π
q
≤ π am π bn
m=1
sen p n=1
sen p
! p1 ! 1q ∞
! p1 ∞ ! 1q
π π X
p
X
= a m bqn
sen πp sen πp m=1 n=1
∞
! p1 ∞ ! 1q
π X
p
X
= a bqn .
sen πp m=1 m n=1
52 Los espacios Lp
∞ ∞
! p1 ∞
! 1q
X am b n π X X
≤ apm bqn .
m,n=1
m+n sen πp m=1 n=1
2.4.5. El espacio l∞
l∞ representará al conjunto de todas las sucesiones reales {αn }n∈N aco-
tadas, es claro que l∞ es un espacio vectorial. Como norma de x ∈ l∞ ,
x = (α1 , α2 , . . . , αn , . . .) tomaremos
lı́m xn = x
n→∞
y ası́ l∞ es completo.
El siguiente resultado nos muestra una manera “natural”de introducir la
norma en el espacio l∞ .
Teorema 2.46. lı́mp→∞ kxkp = kxk∞ , donde
n
! p1
X
kxkp = |xk |p .
k=1
Pn 1
Demostración. Observe que |xk | ≤ ( k=1 |xk |p ) p , ası́
|xk | ≤ kxkp
para k = 1, 2, 3, . . . , n, de donde
luego
kxk∞ ≤ lı́m inf kxkp . (2.20)
p→∞
luego
1
kxkp ≤ n p kxk∞ ,
ası́
1
lı́m sup |xkp ≤ lı́m sup n kxk∞ = kxk∞ ,
p
p→∞ p→∞
54 Los espacios Lp
es decir
lı́m sup |xkp ≤ kxk∞ . (2.21)
p→∞
Ejercicios
lı́m kf kp = kf k∞ .
p→∞
donde Z
αn = |f |n dµ, n = 1, 2, 3, . . .
X
2.4 Los espacios lp 55
11. Sea f ∈ Lp0 (X, A, µ) para algún 0 < p0 < ∞. Demostrar que
Z
lı́m |f |p dµ = µ ({x ∈ X : f (x) 6= 0}) .
p→0 X
17. Usar el problema 13 para dar una demostración alternativa del corolario
2.24.
que Z
lı́m |fn (x)| dx = 0.
n→∞ (0,1)
con 1 < p < ∞, donde el supremo se toma sobre todas las particiones
de [a, b]. El conjunto de todas las funciones con p-variación se denota
por BVp ([a, b]). Si f ∈ BVp ([a, b]) demostrar que f 0 ∈ Lp ([a, b], L, m) y
además
Vp (f, [a, b]) = kf 0 kp .
T
36. (a) Sea f ∈ 1≤p<∞ Lp (Ω) y supongamos que hay una constante C tal
que kf kp ≤ C, ∀ 1 6 p < ∞. Demuestre que f ∈ LT∞ (Ω).
(b) Dé un ejemplo de una función f tal que f ∈ 1≤p<∞ Lp (Ω) pero
f∈/ L∞ (Ω).
p 1/p
P∞ 1 1
a) |Cn | ≤ k 1/q m=−∞ |an−m ||bm | donde p
+ q
= 1.
p 1/p p 1/p
P∞ P∞
b) n=−∞ |C n | ≤ k n=−∞ |b n | .
n
!1/α n
!1/β
X X
aαk ≤ aβk .
k=1 k=1
En otro orden de ideas, sea (X, A, µ) un espacio de medida. Que una función
simple s se anule fuera de un conjunto de medida finita significa que
Caso 1 f ≥ 0. Sabemos que existe una sucesión {sn }n∈N de funciones sim-
ples no negativas y A-medibles tal que sn → f puntualmente en X,
dado que 0 ≤ sn ≤ f para todo n y f ∈ Lp (µ) se tiene que sn ∈ Lp (µ),
60 Los espacios Lp
lı́m |sn − f |p = 0 en X
n→∞
y
|sn − f |p ≤ (|sn | + |f |)p ≤ (2|f |)p = 2p |f |p ,
dado que f ∈ Lp (µ), entonces 2p f p ∈ L1 (µ). En virtud del Teorema de
la convergencia dominada tendremos que
Z
lı́m |sn − f |p dµ = 0,
n→∞ X
es decir,
lı́m ksn − f kpp = 0,
n→∞
ks − f k < .
Teorema 2.51. Sea f ∈ Lp (R, L, m) con 1 ≤ p < ∞, para todo > 0, existe
una función continua g ∈ Lp (R, L, m) tal que kf − gkp < .
{x : g(x) 6= f (x)} ⊂ V \ F,
{x : g(x) 6= f (x)} ⊂ V \ F.
Entonces, Z Z
p
|f − g| dm ≤ |f − g|p dm.
R V \F
Pero |f − g| ≤ 2, entonces
Z Z
p p
|f − g| dm ≤ 2 dm
R V \F
= 2p m(V \ F )
p
< 2p p ,
2
es decir,
kf − gkp < .
Demostrándose ası́ el caso 1.
y m( Ek ) < ∞, Ek ∈ A.
Por el caso 1, para todo k ∈ N existe una función continua gk tal que
kχEk − gk kp < .
n|αk |
Note que g = nk=1 αk gk es una función continua en R y además en
P
virtud de la desigualdad de Minkowski
n
X
kg − f kp = αk (gk − χEk )
k=1 p
n
X
≤ |αk |kgk − χEk kp
k=1
n
X
< |αk |
k=1
n|αk |
= .
Caso 3 Sea f una función arbitraria. En virtud del Lema 1 existe una fun-
ción s simple la cual se anula fuera de un conjunto de medida finita tal
que
kf − skp < /2,
por el caso 2 existe una función continua g tal que
Entonces,
kf − gkp ≤ kf − skp + ks − gkp < .
Esto último significa que (f − g) ∈ Lp .
y
|χ(a,b) (x1 ) − g(x1 )| < ,
es decir,
|1 − g(x0 )| < y |g(x1 )| < . (2.22)
Como g es continua en a, entonces
y
−/2 < g(x1 ) < /2. (2.25)
Por (2.24),
esto significa que g(a+) 6= g(a−), lo cual contradice (2.23), por lo cual tal g
no existe.
2.5 Aproximaciones en Lp (µ) 65
por lo tanto,
kf − ϕkp < .
De esta manera queda demostrado el caso 1.
n
X
Caso 2 f = αk χEk donde αk 6= 0 para todo k y m(Ek ) < ∞. Por el caso
k=1
1 existe una función escalonada ϕk tal que
kχEk − ϕk kp < .
n|αk |
66 Los espacios Lp
Note que
n
X
ϕ= αk ϕk
k=1
Caso 3 Sea f una función arbitraria, en virtud del Lema 2.48 existe una
función simple s que se anula fuera de un conjunto de medida finita tal
que
kf − skp < /2,
por el caso 2 podemos hallar una función escalonada ϕ tal que
Finalmente,
kf − ϕkp < .
Demostración. Definamos
( n )
X
S= bk χJk : n ∈ N, bk ∈ Q ,
k=1
tal que
n
X
ak χIk − f < /2.
k=1 p
2.5 Aproximaciones en Lp (µ) 67
Ahora, sea δ > 0, para todo 1 ≤ k ≤ n, escojamos bk ∈ Q tal que |bk − ak | <
δ/2 y Jk un intervalo con extremos racionales de modo que Ik ⊂ Jk con
m(Jk \ Ik ) < δ/n.
Entonces, en virtud de la desigualdad de Minkowski tenemos
n
X n
X
ak χIk − bk χJk
k=1 k=1 p
n
X
= (ak χIk − bk χIk + bk χIk − bk χJk )
k=1 p
n
X n
X
= (ak − bk )χIk + bk (χIk − χJk )
k=1 k=1 p
n
X n
X
≤ (ak − bk )χIk + bk (χIk − χJk )
k=1 p k=1 p
n
X n
X
≤ |ak − bk | kχIk kp + |bk | kχIk − χJk kp
k=1 k=1
Xn n
X
= |ak − bk | (m(Ik ))1/p + |bk | (m(Jk \ Ik ))1/p
k=1 k=1
n
δ X 1/p δ
< (m(Ik )) + + máx |ak | δ 1/p
2 k=1
2 1≤k≤n
= δ0 ,
dado que |bk | ≤ |ak − bk | + |ak | ≤ 2δ + máx1≤k≤n |ak |. Ahora, note que δ0 → 0
si δ → 0, ası́, podemos escoger δ tal que δ0 < /2. Entonces, invocando una
vez más la desigualdad de Minkowski tendremos que
n
X
f− bk χJk
k=1 p
n
X n
X n
X
≤ f− ak χIk + ak χIk − bk χJk
k=1 p k=1 k=1 p
< /2 + /2
=
Finalmente, note que S es un conjunto contable en virtud que
[
Q×Q×Q= Q × Q × {q}
q∈Q
68 Los espacios Lp
kF (f )k ≤ M kf k
|F (f )|
kF k = sup .
f 6=0 kf k
esto último muestra que F es acotado. Por otra parte, para 1 < p < ∞,
definamos
f = |g q−1 | sign(g),
entonces
f g = |g|q−1 sign(g)g = |g|q .
Por otra parte,
|f | = |g|q−1 | sign(g)|,
de donde |f | = |g|q−1 , entonces |f |p = |g|p(q−1) , ası́ |f |p = |g|q , ahora bien
Z Z
F (f ) = f g dµ = |g|q dµ = kgkqq ,
X X
luego
kgkpq
Z
q
|g|q dµ = kgkqq = kgkp(q−1) = ,
X
q
kgkpq
de donde Z
kgkpq |g|q dµ = kgkpq
q ,
X
por lo tanto Z
kgkpq |f |p dµ = kgkpq
q ,
X
de aquı́ se obtiene
kgkqq = kf kp kgkq ,
por lo cual
F (f ) = kf kp kgkq ,
ası́
|F (f )|
≥ kgkq ,
kf kp
luego existe f = |g|q−1 sign(g) para el cual
|F (f )|
≥ kgkq ,
kf kp
en consecuencia, kF k ≥ kgkq . Por lo tanto la norma alcanza el supremo y
kF k = kgkq .
Ahora, consideremos los casos p = 1 y p = ∞. Sea g ∈ L1 (µ) y f = sign(g),
entonces kf k∞ = 1 y
Z Z Z
f g dµ = g sign(g) dµ = |g| dµ = kgk1 ,
X X X
2.6 Funcionales Lineales y Acotados sobre el Espacio Lp (µ) 71
luego
F (f ) = kf k∞ kgk1
ası́,
F (f )
= kgk1 ,
kf k∞
por lo tanto
kF k ≥ kgk1 .
La otra desigualdad se obtiene usando la desigualdad de Hölder, por lo cual
resulta
kF k = kgk1 .
Ahora, si g ∈ L∞ (µ)], entonces para > 0 dado se tendrá
f g = g sign(g) = |g|,
luego Z Z Z
f g dµ = |g| dµ > (kgk∞ − ) dµ
X X X
esto es, Z
f g dµ > (kgk∞ − )
X
pero Z
kf k1 = | sign(g)| dµ = 1,
X
entonces Z
f g dµ > (kgk∞ − )kf k1 ,
X
por lo cual
F (f )
> kgk∞ − ,
kf k1
por la arbitrariedad de podemos escribir
F (f )
> kgk∞
kf k1
pero
|F (f )| F (f )
≥ ,
kf k1 kf k1
72 Los espacios Lp
luego
kF k ≥ kgk∞ . (2.26)
Por otra parte, |g| ≤ kgk∞ c.t.p luego |f g| ≤ |f |kgk∞ , entonces
Z Z
|f g| dµ ≤ |f | dµ kgk∞
X X
pero Z Z
f g dµ ≤ |f g| dµ,
X X
por lo tanto Z
|F (f )| ≤ |f | dµ kgk∞ ,
X
ası́
|F (f )|
≤ kgk∞ ,
kf k1
de aquı́ obtenemos
kF k ≤ kgk∞ , (2.27)
en vista de (2.26) y (2.27) resulta
kF k = kgk∞ .
y además, kF k = kgkq .
Lema 2.58. Sea g una función integrable en [0, 1] y supongamos que existe
una constante M tal que
Z 1
f g dµ ≤ M kf kp
0
y definamos
fn = |gn |q−1 sign(gn ),
de aquı́
|fn | = |gn |q−1 ,
luego
|fn |p = |gn |p(q−1) ,
entonces
kfn kpp = kgn kqq
y además, |fn |p = |g|q , por otra parte,
pero fn gn = fn g, luego
Z 1
kgn kqq = fn g dµ ≤ M kfn kp = M kgn kq/p
q ,
0
de aquı́
kgn kqq ≤ M kgn kq/p
q ,
entonces
q− pq
kgn kq ≤M
pero
qp − q q(p − 1) p
= = = 1,
p p p
entonces
kgn kq ≤ M
y
Z 1
|gn |q dµ ≤ M q
0
puesto que
lı́m |gn |q = |g|q
n→∞
74 Los espacios Lp
kgkq ≤ M.
E = {x : |g(x)| ≥ M + }
kf k1 = µ(E),
de donde Z 1
M µ(E) = M kf k1 ≥ f g dµ ≥ (M + )µ(E),
0
Lema 2.59. Sea (X, A, µ) un espacio de medida finita. Sea g ∈ L1 (µ) tal
que para algún M > 0 y para toda función simple s se cumple que
Z
sg dµ ≤ M kskq
X
es decir Z Z
g dµ ≤ M µ(A) = M dµ,
A A
de donde Z
(g − M ) dµ ≤ 0.
A
µ(B) = 0.
Entonces kgk∞ ≤ M .
Caso 1 < p < ∞. Dado que |g|q > 0 podemos hallar {sn } una sucesión de
funciones simples no negativas tal que sn → |g|q (puntualmente).
1/p
Definamos tn = sn (sign(g)) (n ∈ N), observe que cada tn es una fun-
ción simple y
Z 1/p
p
ktn k = |tn | dµ)
X
Z 1/p
= sn dµ .
X
Como
≥ s1/p
n sn
1/q
= sn ,
entonces Z Z
0≤ sn dµ ≤ gtn dµ ≤ M ktn kp .
X X
76 Los espacios Lp
R R 1/p
X
sn dµ ≤ M X
sn dµ
R 1/q
X
sn dµ ≤ M
R
X
s n dµ ≤ M q.
kF k = kgkq .
φ : [0, 1] → R
entonces si
αk = sign φ(Sbk ) − φ(Sk ))
2.6 Funcionales Lineales y Acotados sobre el Espacio Lp (µ) 77
tenemos que
n
X n
X
|φ(Sbk ) − φ(Sk )| = φ(Sbk ) − φ(Sk ) sign φ(Sbk ) − φ(Sk )
k=1 k=1
n
X
= F (χSbk ) − F (χSk ) αk
k=1
n
X
= F (αk (χSbk − χSk ))
k=1
n
!
X
=F αk (χSbk − χSk ) ,
k=1
luego
n
X
φ(Sbk ) − φ(Sk ) = F (f ),
k=1
de donde
n
X
f= αk (χSbk − χSk )
k=1
por lo cual
kf kpp < δ.
Ahora bien,
n
X
|φ(Sbk ) − φ(Sk )| = F (f ) ≤ kF kkf kp < kF kδ 1/p ,
k=1
si
p
δ= ,
kf kp
entonces n
X
|φ(Sbk ) − φ(Sk )| <
k=1
Por otra parte, como toda función escalonada ψ de [0, 1] se puede escribir
como n
X
ψ= ck χS ,
k=1
2.6 Funcionales Lineales y Acotados sobre el Espacio Lp (µ) 79
Ahora, consideremos una función f medible y acotada en [0, 1], entonces por
un teorema conocido de teorı́a de la medida existe una sucesión {ψn }n∈N de
funciones escalonadas tal que ψ → f c.t.p, de donde resulta que la sucesión
{|ψ − f |p }n∈N es uniformemente acotada y tiende a cero en casi todo [0, 1],
entonces por el teorema de la convergencia acotada
lı́m kψn − f kp = 0
n→∞
|F (f ) − F (ψn )| = |F (f − ψn )| ≤ kF kkf − ψn kp ,
entonces
lı́m F (ψn ) = F (f ).
n→∞
|ψn | ≤ M
entonces
|gψn | ≤ gM ≤ M |g|,
80 Los espacios Lp
por lo cual
Z 1 Z 1
lı́m gψn dµ = f g dµ
n→∞ 0 0
Z 1
lı́m F (ψn ) = f g dµ
n→∞ 0
Z 1
F (f ) = f g dµ
0
para cada f ∈ Lp [0, 1]. Sea f una función arbitraria de Lp [0, 1]. En virtud
del Teorema 2.55 para cada > 0 existe una función escalonada ϕ tal que
kf − ψkp < .
Puesto que ψ es acotada, tenemos entonces que
Z 1
F (ψ) = ψg dµ,
0
luego
Z 1 Z 1
F (f ) − f g dµ = F (f ) − F (ψ) + F (ψ) − f g dµ
0 0
Z 1
≤ |F (f ) − F (ψ)| + F (ψ) − f g dµ
0
Z 1
= |F (f − ψ)| + (ψ − f )g dµ
0
≤ kF kkf − ψkp + kgkq kf − ψkp
< (kF k + kgkq ) ,
2.6 Funcionales Lineales y Acotados sobre el Espacio Lp (µ) 81
kT k = kgkq . (2.29)
es decir Z Z
g1 dµ = g2 dµ
E E
para todo E ∈ A con µ(E) < ∞. Luego
Z Z
g1 dµ = g2 dµ,
Xn ∩A Xn ∩A
ası́ Z
(g1 − g2 ) dµ = 0,
Xn ∩A
µ(Xn ∩ A) = 0 ∀n ∈ N.
82 Los espacios Lp
Entonces
∞
X
µ(A) = µ(A ∩ Xn ) = 0.
n=1
g1 = g2 c.t.p [µ].
A demostrar la existencia de g.
χE ∈ Lp (µ).
ν(φ) = T (χφ ) = 0.
entonces
∞
[
An = E,
n=1
obsérvese que {An }n∈N es una sucesión creciente, por inducción es fácil
demostrar que
Xn
χ An = χEk .
k=1
es decir
n
X
T (χAn ) = ν(Ek ).
k=1
es decir
lı́m [µ(E) − µ(An )] = 0,
n→∞
ası́
lı́m kχAn − χE kpp = 0,
n→∞
luego
lı́m kχAn − χE kp = 0.
n→∞
Entonces
ν(E) = T (χE )
= lı́m T (χAn )
n→∞
n
X
= lı́m ν(Ek ),
n→∞
k=1
esto último nos dice que ν es una medida con signo. Ahora queremos
demostrar que
ν << µ.
84 Los espacios Lp
∀ E ∈ A. Luego
Z
g dµ = ν(X)
X
= T (χX )
= T (1)
< ∞,
ası́ g ∈ L1 (µ).
Verifiquemos que g satisface las hipótesis del Lema 2.59, sea s ∈ Lp (µ)
una función simple A-medible con representación canónica
n
X
s= αk χEk ,
k=1
entonces
n
!
X
T (s) = T αk χEk
k=1
n
X
= αk ν(Ek )
k=1
n
X Z
= αk g dµ
k=1 Ek
Z n
!
X
= g αk χEk dµ
X k=1
2.6 Funcionales Lineales y Acotados sobre el Espacio Lp (µ) 85
Z
= gs dµ.
X
por lo cual Z
T (s) = sg dµ
X
para toda función simple s ∈ Lp (µ), de aquı́ se sigue que
Z
sg dµ = |T (s)|
X
≤ kT kkskp .
|T (f )| ≤ kgkq kf kp
de donde
kT k ≤ kgkq , (2.31)
de (2.30) y (2.31) resulta
kT k = kgkq ,
Caso 2. µ(X) = ∞.
∞
[
En virtud de la σ-finitud de µ, existe {Xn }n∈N tal que X = Xn
n=1
con Xn ⊂ Xn+1 y µ(Xn ) < ∞ ∀n. Aplicaremos el caso 1 al espacio de
medida (Xn , A ∩ Xn , µn ) donde µn = µ|A∩Xn .
Sea Tn = T |Lp (µn ) , por el caso 1 para todo n ∈ N existe gn ∈ Lq (µn ) tal
que Z
Tn (h) = hgn dµn (2.32)
Xn
Definamos
gn (x) si x ∈ Xn ;
gn (x) =
0 si x ∈
/ Xn .
entonces
g ∈ Lq (µ) y kgkq ≤ kT k. (2.35)
Sea f ∈ Lp (µ) y fn = f χXn , note que fn se anula fuera de Xn y fn → f
(puntualmente) en X. Claramente
|fn − f | ≤ |f |,
ası́
|fn − f |p ≤ |f |p ,
por el Teorema de la convergencia dominada tenemos que
Z
lı́m |fn − f |p dµ = 0.
n→∞ X
T (fn ) → T (f ) (n → ∞).
Ası́, hemos demostrado (2.28), una vez más por Hölder se tiene que
|T (f )| ≤ kf kp kgkq ,
es decir
kT k ≤ kgkq ,
por (2.35)
kgkq ≤ kT k.
Por lo tanto kT k = kgkq , que era lo que querı́amos demostrar.
X 0 = {f : X → R | f es lineal}
Observación 2.63. Los teoremas 2.60 y 2.61 nos demuestran que el espacio
dual de Lp (µ)(1 ≤ p < ∞) es Lq (µ). Es decir [Lp (µ)]∗ = Lq (µ).
1 1
Teorema 2.64. El espacio dual de lp es lq si p
+ q
= 1, (1 < p < ∞).
∞ ∗
Demostración. Una P base de Schauder de lp es ek = (δkj )j=1 . Si f ∈ (lp ) ,
entonces f (x) = k∈Nαk f (ek ) . Una vez más, definamos T (f ) = (f (ek ))k∈N .
Queremos demostrar que la imagen de T está en lq . Para ello, se define la
(n)
sucesión χ(n) = (ξk )∞k=1 para cada n con
(
|f (ek )|q
(n) f (ek )
si k ≤ n y f (ek ) 6= 0,
ξk =
0 si k > n ó f (ek ) = 0.
Entonces
X n
X
n (n)
f (x ) = ξk f (ek ) = |f (ek )|q .
k∈N k=1
Como además
f (xn ) ≤ kf kkxn kp
n
! p1
X (n)
= kf k |ξk |p
k=1
n
! p1
X
= kf k |f (ek )|qp−p
k=1
n
! p1
X
= kf k |f (ek )|q ,
k=1
resulta que
n
!1− p1 n
! 1q
X X
|f (ek )|q = |f (ek )|q
k=1 k=1
≤ kf k.
90 Los espacios Lp
Haciendo n → ∞, obtenemos
n
! p1
X
|f (ek )|q ≤ kf k
k=1
X
|f (x)| = αk f (ek )
k∈N
! p1 ! 1q
X X
≤ |αk |p |f (ek )|q
k∈N k∈N
! 1q
X
= kxk |f (ek )|q .
k∈N
n
X
x− αk ek = (0, . . . , 0, αn+1 , . . .)
| {z }
k=1 n
2.8 Convergencia débil en Lp 91
y
n
X ∞
X
x− αk ek = αk ek → 0
k=1 k=n+1
P∞
en virtud que la serie k=1 αk ek es convergente.
∗
P Definamos la aplicación T (f ) = (f (ek ))k∈N , ∀f ∈ (l1 ) . Como f (x) =
k∈N αk f (ek ), entonces |f (ek ) ≤ kf kkek k, pues kek k = 1. En consecuencia,
supk∈N |f (ek )| ≤ kf k, donde (f (ek ))k∈N ∈ l∞ .
Afirmamos que:// i) T es sobreyectiva,
P en efecto ∀b = (βk )k∈N ∈ l∞ ,
definamos q : l1 → E como g(x) = k∈N αk βk si x = (αk )k∈N ∈ l∞ .
El funcional g es lineal y acotado dado que
X X
|g(x)| ≤ |αk βk | ≤ sup |βk | |αk | = kxk1 · sup |βk |,
k∈N k∈N
k∈N k∈N
y
X X
|f (x)| = αk f (ek ) ≤ sup |f (ek )| |αk | = kxk sup |f (ek )|
j∈N k∈N
k∈N k∈N
Ası́,
kf k ≤ sup |f (ek )| = kT f k∞ (2.37)
k∈N
Observe que Z 2φ
lı́m ϕ(x) cos(nx)dx = 0.
m→∞ 0
Los ejemplos anteriores motivan la siguiente definición.
Definición 2.66. Sea (X, A, µ) un espacio de medida y 1 ≤ p, q ≤ ∞ tal que
1/p + 1/q = 1. Una sucesión de funciones {fn }n∈N en Lp (µ) (1 ≤ p ≤ ∞) se
dice que converge débilmente a f ∈ Lp (µ) si
Z Z
lı́m fn gdµ = f gdµ
n→∞ X X
Por hipótesis
sup |ϕ(fn )| < ∞.
n∈N
implica que
sup kϕ(fn )k < ∞,
n∈N
ası́
sup kfn kp < ∞.
n∈N
para todo h ∈ Lp (µ). Dado que g ∈ Lq (µ), entonces |g|q ∈ L1 (µ), luego
existe δ > 0 para todo E ∈ A tal que µ(E) < δ implica que
Z q
q
|g| dµ < ,
E 4M
si n ≥ n0 .
Corolario 2.68. Sea {fn }n∈N una sucesión de funciones en Lp 1 < p < ∞
la cual converge casi en todas las partes a una función f ∈ Lp y además su-
pongamos que existe una constante M tal que kfn kp ≤ M , ∀n ∈ N. Entonces
para cada g ∈ Lq se tiene que
Z Z
lı́m fn gdµ = f gdµ.
n→∞
Sea M ≥ 1, luego
Ası́ g ∈ L∞ [0, 1]. Por otra parte sea fn = nχ(0,1/n) , note que fn → 0 (n → ∞)
R1
puntualmente y kfn k1 = 0 fn dm = 1. Pero
Z 1 Z
fn gdm = fn ndm = n.
0 Q∩[0,1]
Por lo tanto Z 1
lı́m fn gdm = ∞.
n→∞ 0
2.8 Convergencia débil en Lp 95
Sin embargo el Corolario 2.68 es cierto para el caso p = ∞. Sea {fn }n∈N
una sucesión de funciones en L∞ , entonces kfn k∞ < ∞, luego |fn | ≤ kfn k∞
c.t.p. Dado que fn → f puntualmente, obtenemos |f | ≤ kf nk∞ c.t.p. Sea
g ∈ L1 , entonces |f g| ≤ kfn k∞ |g| ∈ L1 y |fn g| ≤ kfn k∞ |g| ∈ L1 . En virtud
del teorema de la convergencia dominada se tiene
Z Z
lı́m fn gdµ = f gdµ.
n→∞
1 1
Teorema 2.70. Sea 1 < p < ∞ y + = 1. Supongamos que {fn }n∈N ⊂
p q
Lp (R) con 1 = sup kfn kp < ∞. Entonces existe f ∈ Lp (R) tal que kf kp ≤ M
n
y una subsucesión {fnk }k∈N ⊂ {fn }n∈N tal que
Z Z
lı́m fnk g dm = f g dm,
n→∞ R R
con g ∈ Lq (R).
Dado que {Ck,1 }k∈N es una sucesión de números reales y además, por (2.38)
es acotada, entonces podemos invocar el Teorema de Bolzano-Weierstrass
para obtener una subsucesión {Ck1 ,1 } ⊂ {Ck,1 } tal que
lı́m Ck1 ,1
k1 →∞
96 Los espacios Lp
existe. Podemos repetir este argumento con {Ck1 ,1 } para obtener una nueva
subsucesión {Ck2 ,h } con h = 1, 2 tal que
lı́m Ck2 ,h
k2 →∞
lı́m Ckm ,h
km →∞
existe.
Por otra parte, podemos escoger de {gn }n∈N una familia densa en Lq (R),
denotemos ésta por G y definamos
Z
T (g) = lı́m fkm g dm
m→∞ R
para todo gn1 , gn2 ∈ G. Una vez mas por la desigualdad de Hölder se tiene
lı́m kg − gn kq = 0
t→∞
y
lı́m kgn kq = kgkq .
n→∞
Observe que
|T (gn ) − T (gL )| ≤ M kgn − gL kq → 0
cuando n → ∞, esto nos dice que {T (gn )}n∈N es una sucesión de Cauchy en
R, por lo tanto converge en R, digamos que su limite es T (g), es decir
para λ > 0.
Queremos demostrar que ({x ∈ X : |f (x)| > λ}) es medible sobre [0, ∞).
Para ello consideremos el conjunto
lı́m tp µ({x ∈ X : |f (x)| > t}) = lı́m tp µ({x ∈ X : |f (x)| > t})
t→0 t→∞
luego
lı́m tp µ({x ∈ X : |f (x)| > t}) = 0.
t→0
Ası́, Z
1
µ({x : |f (x)| > n}) ≤ p |f |p dµ,
n X
de donde
lı́m µ({x : |f (x)| > n}) = 0,
n→∞
entonces
Por lo tanto
|f | < ∞ c.t.p[µ].
100 Los espacios Lp
Entonces, Z Z
lı́m p
|f | dµ = lı́m ftp dµ = 0,
t→∞ {x:|f (x)|>t} t→∞ X
finalmente
Z
p
lı́m t µ({x ∈ X : |f (x)| > t}) ≤ lı́m |f |p dµ = 0.
t→∞ t→∞ {x:|f (x)|>t}
De este hecho podemos definir una medida de Borel en (0, ∞) dada por
luego
Ası́, resulta
µ({x ∈ X : a < |f (x)| ≤ b}) =
µ({x ∈ X : |f (x)| > a}) − µ({x ∈ X : |f (x)| > b}) =
Df (a) − Df (b).
En virtud de (2.40) podemos escribir
ν((a, b]) = −[Df (a) − Df (b)]
= −µ({x ∈ X : a < |f (x)| ≤ b})
= −µ(|f |−1 (a, b]).
En vista del teorema de extensión única de la medida, se sigue que
ν(E) = −µ(|f |−1 (E))
para todo conjunto de Borel E ⊂ [0, ∞).
Ahora, consideremos
a) ϕ = χE y observemos que
ϕ ◦ |f |(x) = χE ◦ |f |(x)
1, si |f (x)| ∈ E;
=
0, si |f (x)| ∈ / E,
−1
1, si x ∈ |f | (E);
=
0, si x ∈ / |f |−1 (E),
Pn
b) Si ϕ = k=1 ak χEk , entonces
Z n
X Z
ϕ ◦ |f | dµ = ak χ|f |−1 (Ek ) (x) dµ
X k=1 X
n
X
= ak µ(|f |−1 (Ek ))
k=1
n
X
=− ak ν(Ek )
k=1
Xn Z ∞
=− ak χEk dν
0
Zk=1∞
=− ϕ dν
0
Z ∞
=− ϕ dDf .
0
Ejercicios
kf k∞ ≤ lı́m inf kf kp .
p→∞
kf k∞ ≤ M kf k2 ∀ f ∈ S.
2.8 Convergencia débil en Lp 105
∞ X ∞
X 1 1
p+1
m |f | > + np−1 m ({|f | > n}) < ∞.
n=1
n n n=1
1/p
8. Sea kxkp = ( nk=1 |xk |p ) 1 ≤ p < ∞ y lpn = {x : kxkp < ∞}.
P
Blpn (0, 1) = {x : kxkp ≤ 1} denota la bola unitaria en lpn . Denotemos
Obsérvese que Rn ∼
= lpn . Calcular vn (p). Ayuda: Calcule la integral
Z
p
Ip = e−kxkp dx
Rn
sup kTh f − f kp ≤ ε.
|h|≤δ
E − λ = {x ∈ Rn : x + λ ∈ E}.
Para ε > 0 (dado) existe δ > 0 tal que para todo E ⊂ Ω medible con
m(E) < δ entonces
εp
Z
|f |p dm < p+1 .
E 2
En virtud de que la medida de Lebesgue es invariante por traslación se tiene
que
m ((E − λ) ∩ Ω) < δ.
Por lo tanto
εp
Z Z Z
p p−1 p p
|Th f − f | dm ≤ 2 |f | dm + |f | dm ≤ .
E E (E−λ)∩Ω 2
Por lo tanto
+ 2kf kp,Ω∩{|x|>R}
< ε.
Operadores Integrales
y Z
|K(x, y)| dµ(y) ≤ C para casi todo x ∈ X.
X
109
110 Operadores Integrales
T : Lp (µ) −→ Lp (µ)
dado por Z
T f (x) = K(x, y)f (y) dµ(y)
X
es compacto para 1 ≤ p ≤ ∞.
se tiene
Z
|K(x, y)f (y)| dµ(y) ≤
X
Z 1/q Z 1/p
p
|K(x, y)| dµ(y) |K(x, y)||f (y)| dµ(y) ≤
X X
Z 1/p
1/q p
C |K(x, y)||f (y)| dµ(y)
X
es decir
kT f kp ≤ Ckf kp .
3.1 Desigualdades básicas y algunos operadores importantes 111
para p = 1, entonces
Z Z Z Z
f (x, y) dν dµ ≤ |f (x, y)| dνdµ,
X Y X Y
por Fubini Z Z Z Z
f (x, y) dν dµ ≤ |f (x, y)| dµdν.
X Y Y X
112 Operadores Integrales
Ahora, si p = ∞, entonces
Z Z
f (x, y) dν ≤ |f (x, y)| dν
Y Y
Z
≤ kf (·, y)k∞ dν,
Y
Ahora, supongamos que 1 < p < ∞, entonces por Fubini y el Teorema 2.22
(Desigualdad de Hölder) tenemos
Z Z p
f (x, y) dν dµ
X Y
!
Z Z Z p−1
= f (x, y) dν f (x, y) dν dµ
X Y Y
Z Z Z p−1
≤ |f (x, y)| dν f (x, y) dν dµ
X Y Y
!
Z Z Z p−1
= |f (x, y)| f (x, y) dν dµ dν
Y X Y
!1/q
Z Z 1/p Z Z q(p−1)
p
≤ |f (x, y)| dµ f (x, y) dν dµ dν
Y X X Y
luego
Z Z p 1−1/q Z Z p1/p
f (x, y) dν dµ = f (x, y) dν dµ
X Y X Y
Z Z 1/p
p
≤ |f (x, y)| dµ dν
Y X
3.1 Desigualdades básicas y algunos operadores importantes 113
Teorema 3.7. Sea K una función medible en (0, ∞) × (0, ∞) tal que
K(λx, λy) = λ−1 K(x, y) para todo λ > 0 y además
Z ∞
|K(x, 1)|x−1/p dx = C < ∞.
0
∞ ∞ ∞ ∞
|f (y)g(x)|
Z Z Z Z
f (y)g(x)
dydx ≤ dxdy.
0 0 x+y 0 0 x+y
∞ ∞ ∞ ∞
|f (y)g(x)| |f (xz)g(x)|
Z Z Z Z
dydx = xdzdx
0 0 x+y 0 0 x(1 + z)
Z ∞Z ∞
|f (xz)g(x)|
= dzdx
0 0 1+z
Z ∞ Z ∞
1
= |f (xz)g(x)| dxdz.
0 1+z 0
Z ∞
Z ∞
1
|f (xz)g(x)| dxdz
0 1+z 0
Z ∞ Z ∞
1 u
−1
= f (u)g z du dz
0 1+z 0 z
Z ∞ Z ∞ 1/p Z ∞ 1/q
1 u q −q
≤ |f (u)| du g z du dz.
0 1+z 0 0 z
3.1 Desigualdades básicas y algunos operadores importantes 115
u
Ahora, para w = z
tenemos zw = u y zdw = du, por lo tanto
Z ∞ Z ∞ 1/p Z ∞ 1/q
1 q −q+1
≤ |f (u)| du |g(w)| z du dz
0 1+z 0 0
1
!
∞
z q −1
Z
= dz kf kp kgkq .
0 1+z
1
!
∞
z −(1− q )
Z
= dz kf kp kgkq .
0 1+z
1
!
∞
z − p dz
Z
= kf kp kgkq .
0 1+z
π
= kf kp kgkq ,
π
sin
p
ver Lema A.2. Finalmente,
Z ∞Z ∞
f (y)g(x) π
dxdy ≤ kf kp kgkq .
0 0 x+y sen πp
Observación 3.11. Este último resultado nos dice que H ∈ B(Lp (m)) donde
B(Lp (m)) denota al conjunto de todos los funcionales acotados en Lp (m).
Definición 3.12. Sea T un operador lineal y acotado, un operador T ∗ se
dice que es el operador adjunto del operador T si satisface la identidad de
dualidad, es decir, si
hT x, yi = hx, T ∗ yi
para todo x ∈ X, y ∈ Y donde X e Y son espacios de Banach.
Teorema 3.13. Al menos de manera formal el adjunto del operador de Hardy
está dado por Z ∞
∗ dx
H f (y) = f (x)
y x
para f ≥ 0.
Por lo tanto Z ∞
∗ dx
H g(y) = g(x) .
y x
f (y) = 0
para todo y ∈ Y ,
f (x0 ) = 1
y
1
kf k = .
δ
Observación 3.15. Sean X e Y dos espacios vectoriales, un funcional lineal
T : X −→ Y
φ(x)(f ) = f (x)
118 Operadores Integrales
|φ(x)(f )| ≤ kf kkxk,
kφ(x)k ≤ kxk.
Ası́ φ(x) ∈ X ∗∗
1
g(x) = 1 y kgk = .
kxk
1
kf k = kxkkgk = kxk =1
kxk
y
f (x) = kxkg(x) = kxk,
luego
kxk ≤ sup{|f (x)| : f ∈ X ∗ , kf k = 1} ≤ kxk,
por lo tanto
kxk = sup{|f (x)| : f ∈ X ∗ , kf k = 1}.
3.2 Lp es un espacio reflexivo para 1 < p < ∞ 119
1 1
Demostración. Si 1 < p < ∞ y p
+ q
= 1, consideremos
definido por
ψ(g) = φ(Fg )
R
para g ∈ Lq (µ) donde Fg (f ) = X gf dµ.
Observe que ψ es un funcional lineal y acotado, la acotación la obtenemos
del hecho que
3.3. El espacio L2
Definición 3.20 (Producto interior). Sea (X, +, .) un espacio vectorial, una
función h·, ·i : X × X → F, donde F = R o F = C, tal que satisface:
Teorema 3.23. Una norma k · k sobre un espacio vectorial está inducida por
un producto interno si y sólo si satisface la ley del paralelogramo, es decir, si
y sólo si
kf + gk2 + kf − gk2 = 2(kf k2 + kgk2 )
para cualesquiera vectores f, g.
L2 (µ) = L2 (X, A, µ) = L2 / ∼ .
f, g ∈ L2 (µ).
Observemos que este producto interno genera la norma k · k2 y además
k · k2 satisface la ley del paralelogramo (ver ejercicio 1). Por lo tanto se tiene
la siguiente
Definición 3.25. (L2 (µ), k · k1 ) es un espacio de Hilbert.
Sea X un espacio con un producto interior. Si A es un subconjunto (no
vacı́o) de X, entonces el complemento ortogonal A⊥ de A es el conjunto de
todos los vectores que son ortogonales a cualquier vector de A, esto es,
A⊥ = {x ∈ X | x ⊥ y para todo y ∈ A} ,
x ⊥ y si y sólo si hx, yi = 0.
De la linealidad y continuidad del producto interior es claro que A ⊥ es
un subespacio cerrado de X tal que A⊥ = (A)⊥ y A ∩ A⊥ = {0}.
Teorema 3.26. Si M es un subespacio cerrado de un espacio de Hilbert H,
entonces H = M ⊕ M ⊥ .
122 Operadores Integrales
f (x) = hx, yi
a) fy + fz = fy+z
b) αfy = fαy
c) kfy k = kyk
3.3 El espacio L2 123
para cada y ∈ H, de esto último se tiene que x̂ = F , esto nos dice que
la inmersión natural es sobreyectiva en H ∗∗∗ , por lo tanto H es un espacio
reflexivo.
y Z Z
|f |dµ ≤ |f |dλ (µ < λ).
X X
124 Operadores Integrales
Además esto nos dice que F está bien definida, no es difı́cil ver que F es un
funcional lineal.
Además
Z 12
1
2
|F (f )| ≤ (µ(X)) 2 |f | dµ
X
Z 12
1
2
≤ (µ(X)) 2 |f | dλ
X
1
≤ (µ(X)) kf kL2 (λ)
2
R 1
donde kf kL2 (λ) = kf k2 = X |f |2 dλ 2 , de esta manera hemos demostrado
que F es un funcional lineal y acotado en L2 (λ).
Lema 3.31. Sea g ∈ L2 (λ) tal que F (f ) = hf, gi. Entonces 0 ≤ g ≤ 1 c.t.p.
y
R
i) µ(E) = E gdλ.
R
ii) µ(E) = E (1 − g)dλ con E ⊂ X.
1
Sea En = g ≥ 1 + n
, entonces
Z Z
1
µ(En ) = F (χEn ) = hχEn , gi = χEn gdλ = gdλ ≥ (1 + )λ(En ).
E En n
Ası́
1 1
µ(En ) ≥ (1 + )λ(En ) ≥ (1 + )(λ(En ) + ν(En ))
n n
µ(En ) 1
≥ µ(En ) + + (1 + )ν(En )
n n
de donde tenemos que
µ(En )
0≥ + ν(En ),
n
3.3 El espacio L2 125
µ(En ) = 0 = ν(En )
y An = {g ≤ −1/n}. Entonces
Z
1 1
µ(An ) = F (χAn ) = hχAn , gi = gdλ ≤ − λ(An ) ≤ − [µ(An ) + ν(An )],
An n n
luego
1 1
0 ≤ µ(An ) + ν(An ) ≤ − µ(An ) ≤ 0,
n n
por lo tanto µ(An ) = 0 = ν(An ).
Ası́ λ(An ) = 0, entonces λ({g < 0}) = 0. Con esto, hemos demostrado
que
0 ≤ g ≤ 1 c.t.p.
Finalmente, para cualquier conjunto E ⊂ X se tiene que
Z
µ(E) = F (χE ) = hχE , gi = gdλ,
E
es decir, Z
µ(E) = gdλ.
E
Por otra parte como
ν(E) = λ(E) − µ(E),
entonces
Z Z Z Z Z
ν(E) = χEn dλ − gdλ = dλ − gdλ = (1 − g)dλ.
X E E E E
Z Z Z Z
−1
g dµ = χE χA dµ = χE∩A dµ = µ(E ∩ A) = gdλ
E X X Z E∩A Z
= χA gdλ = g −1 gdλ.
E E
Demostración. Si ν µ, entonces
Z Z Z
−1 −1
(1 − g)g dµ = g dµ − gg −1 dµ
E E E Z
= λ(E) − dµ = λ(E) − µ(E) = λ(E).
E
(1 − g)g −1 dµ.
R
Por lo tanto, ν(E) = E
Ejercicios
R
1. Demostrar que hf, gi = X
f gdµ con f, g ∈ L2 (µ) es un producto in-
terno.
Demostrar que Z Z
lı́m fn gn dµ = f gdµ.
n→∞ X X
10. Sea I = [0, 1]. Sea f una función Lebesgue medible. Demostrar que
f ∈ L2 (I, L, m) si y sólo si f ∈ L1 (I, L, m) tal que existe una función
g creciente de modo que para todo intervalo cerrado [a, b] ⊂ [0, 1] se
cumple que
Z b 2
f (x) dx ≤ (g(b) − g(a)) |b − a|.
a
R1
11. Sea f ∈ L2 ([0, 1], L, m) tal que kf k2 = 1 y 0 f dm ≥ α > 0. También,
para β ∈ R, sea Eβ = {x ∈ [0, 1] : f (x) ≥ β}. Si 0 < β < α, demostrar
que
m(Eβ ) ≥ (β − α)2 .
Esta desigualdad se conoce en la literatura como la desigualdad de
Paley-Zygmund.
3.4 Espectro de un Operador 129
15. Sea f una función definida en R tal que f (x) y xf (x) pertenecen a
L2 (R). Demostrar que
Z ∞ 2 Z ∞ 1/2 Z ∞ 1/2
2 2 2
|f (x)| dx ≤8 |f (x)| dx |x| |f (x)| dx .
−∞ −∞ −∞
16. Usar el Teorema 3.10 para demostrar el Teorema 2.42. Ayuda: Escoja
una sucesión {anP
}n∈N de números positivos
P∞ tal que an+1 ≥ an ∀n ∈ N.
Considere AN = N a
n=1 n y defina f = n=1 an χ(n−1,n) .
σ(T ) = {λ ∈ C : T − λI es no invertible}
T (x) = λx.
130 Operadores Integrales
Obsérvese que los valores propios de T son exactamente los números com-
plejos λ para los cuales T − λI no es uno a uno, además ellos pertenecen al
espectro de T . El conjunto de todos los valores propios de T se conoce como
el espectro puntual de T y se denota por
σp (T ) = {λ ∈ σ(T ) : T − Iλ es no uno-uno}
= {λ ∈ σ(T ) : T (x) = λx para x 6= 0}.
b) H es uno-uno.
d) H es no compacto.
para cada x ∈ [0, 1], en virtud del teorema fundamental del cálculo obte-
nemos Z x
d
f (x) = f (y) dy = 0
dx 0
para cada x ∈ [0, 1]. Ası́ H es uno-uno, de este hecho se concluye que H
es estrictamente positivo.
1 x
Z
H(1)(x) = 1(y) dy = 1,
x 0
Para hallar los valores propios de H, debemos hallar todos los números
complejos λ = α + βi para los cuales existe una función continua distinta
de cero (f : [0, 1] −→ C) tal que
1 x
Z
Hf (x) = f (y) dy = λf (x) (3.3)
x 0
ası́
λxf 0 (x) + (λ − 1)f (x) = 0,
buscamos valores propios diferentes de 0 y 1, en este caso
f 0 (x)
1 1
= −1 ,
f (x) λ x
integrando
1
ln f (x) = − 1 ln x
λ
132 Operadores Integrales
1
ln f (x) = ln x λ −1 ,
luego
1
f (x) = x λ −1 = e( λ −1) ln x
1
Luego,
1 1
x λ −1 = x α+iβ −1
α−iβ
−1 ln x
=e α2 +β 2
α−α2 −β 2 iβ
ln x − ln x
=e α2 +β 2 e α2 +β 2
Además,
0, si x = 0;
lı́m Hfn (x) =
n→∞
1, si 0 < x ≤ 1,
pero g ∈
/ C[0, 1] donde
0, si x = 0;
g(x) =
1, si 0 < x ≤ 1.
Ejercicios
Γ(1 − 1/p)
kJα f kp ≤ kf kp .
Γ(α + 1 − 1/p)
R∞ f (y)
4. Sea F (x) = 0 x+y
dy; 0 < x < ∞. Si 1 < p < ∞. Demostrar que
π
kF kp ≤ kf kp .
π
sen p
5. Demostrar que
Z ∞ Z ∞
f (x)g(y)
dx dy ≤ πkf k2 kgk2
0 0 x+y
entonces
|T f | = kT k|f |.
11. Si f ∈ L1 ((0, ∞), L, m), demostrar que:
a) Z ∞ Rx
Z ∞
1
ln f (t) dt
e x 0 ≤e f (x) dx
0 0
b) Z ∞ Z ∞
1 Rx e
e x 0 ln f (t)dt xp dx ≤ f (x)xp dx
0 1−p 0
para 0 < p < 1.
c) Sea f una función no negativa y medible en (0, b), 0 < b ≤ ∞ tal
Rb
que 0 < 0 [f (x)]p dx < ∞. Demostrar
(c1 ) para p ≥ 1,
Z b Z x p Z b
1 dx t dt
f (t)dt ≤ 1− [f (t)]p .
0 x 0 x 0 b t
(c2 ) para p ≥ 1,
Z b Z b p
− p1 +1 1
x f (t)dt dx
0 x 0
Z b x p−1
p p−1 p
≤ b p 1− [f (x)]p dx.
p−1 0 b
1 1
12. Sea 1 < q < ∞ y p tal que +
= 1. Definamos
p q
Z
T (f )(x) = k(x, t)f (t) dt
Rx
13. Dado 1 < p < ∞ y T f (x) = x−1/p 0 f (t) dt con p1 + 1q = 1. Demostrar
que T es un operador lineal y acotado de Lq (0, ∞) en C0 ((0, ∞)).
14. Sean s < r − 1 y r > 1. Sea f definida en (0, ∞) tal que
Z ∞
|f (x)|r xs dx < ∞.
0
Rx
Sea F (x) = f (t) dt. Demostrar que
0
Z ∞ r 1/r Z ∞ 1/r
F (x) s r r s
x dx ≤ |f (x)| x dx .
0 x r−s−1 0
15. Sean s < r − 1 y r > 1. Sea f una función diferenciable en casi todo
(0, ∞) tal que Z ∞
|f 0 (x)|r xs dx < ∞,
0
además f satisface las siguientes propiedades:
a) f (0) = 0.
b) f (∞) = lı́mt→∞ f (t) = 0.
Demostrar que
Z ∞ 1/r Z ∞ 1/r
r s−r r 0 r s
|f (x)| x dx ≤ |f (x)| x dx .
0 r−s−1 0
22. Sea g una función medible y positiva en (0, ∞). Sea ϕ una función
convexa en (0, ∞). Demostrar que
Z ∞ Z x Z ∞
1 dx dx
ϕ g(t) dt ≤ ϕ(g(x)) .
0 x 0 x 0 x
Capı́tulo 4
Operador Maximal
139
140 Operador Maximal
Nota: E no está cubierto por bolas disjuntas sin embargo está cubierto
por bolas concéntricas de radio tres veces su radio original.
donde B(x, r) = y ∈ Rn : |y − x| < r es una bola abierta en Rn .
(i) 0 ≤ M f (x) ≤ ∞
M f (x) ≤ kf k∞
Pero M f ∈ L1 (Rn ).
Proposición 4.4. M f es semicontinua inferiormente y por lo tanto medible.
Demostración. Para demostrar que M f es semicontinua
inferiormente, de-
bemos verificar que para cada λ > 0, el conjunto x ∈ Rn : M f (x) > λ
es abierto, para ello demostremos que el conjunto x ∈ Rn : M f (x) ≤ λ
es cerrado. Fijemos λ > 0 y supongamos que x ∈ x∈ Rn : M f (x) ≤ λ ,
entonces existe una sucesión {xk }k∈N en el conjunto x ∈ Rn : M f (x) ≤
λ tal que xk → x en Rn cuando k → ∞. Primero observemos que, co-
mo xk → x, tendremos lı́m B(xk , r)∆B(x, r) = ∅ para todo r > 0. Sea
k→∞
Ak = B(xk , r)∆B(x, r) y fk = f χAk , luego, se tiene que
|fk | ≤ |f (y)| y lı́m fk = 0, c.t.p.
k→∞
Pero
B(x, r) ⊆ B(xk , r) 4 B(x, r) ∪ B(xk , r)
y
m B(xk , r) = m B(x, r) ,
entonces
Z
1
|f (y)| dy ≤
m B(x, r)
B(x,r)
Z Z
1 1
|f (y)| dy + |f (y)| dy.
m B(xk , r) m B(xk , r)
B(xk ,r)∆B(x,r) B(xk ,r)
142 Operador Maximal
Z
1
M f (x) ≥ |f (y)| dy
m B(x, 2|x|)
B(x,2|x|)
Z
1
≥ |f (y)| dy
m B(0, 2|x|)
B(0,a)
Z
const
= |f (y)| dy,
|x|n
B(0,a)
Z2x
1
M f (x) ≥ |f (y)| dy
2x
0
Zx
1 dy
≥
2x y log2 y
0
−1
= .
2x log x
4.3 Función Maximal de Hardy-Littlewood 143
Como
−1
2x log x
no es integrable en la cercanı́as de x = 0, se tiene que M f ∈
/ L1 (R). Ahora
bien, en descargo de esta situación negativa, tendremos que si f ∈ L1 (Rn ),
entonces M f pertenece a L1 -débil.
Definición 4.5. Sea (X, A, µ) un espacio de medida, una función f A −
medible, se dice que pertenece al espacio de las funciones Lp -débil denotado
por WeakLp = Lp,∞ (0 < p < ∞) si
C p
f L = ı́nf C > 0 : Df (λ) ≤ ∀λ > 0
(p,∞) λ
es finito. Bajo el convenio de que ı́nf ∅ = ∞. Como es usual dos funciones
en L(p,∞) se consideran iguales si ellas son iguales µ-c.t.p.
Ejercicios
|x|−1/2
1. Dada f (x) = 1+|x|−1/2
para x ∈ R, demostrar que f ∈
/ L∞ (m) pero
f ∈ WeakL2 .
Ası́ M f ∈ L(1,∞) .
Demostración. Para cada λ ∈ R+ , definimos Aλ = x : M f (x) > λ , de la
definición 4.3, se desprende que para cada x ∈ Aλ , existe 0 < r < ∞ (el cual
depende de x) tal que
Z
1
|f (y)| dm > λ.
m B(x, r)
B(x,r)
si k → ∞, se tiene que
3n
Z
m(Aλ ) ≤ |f (y)| dm,
λ
Rn
es decir
3n
Z
n
m {x ∈ R : M f (x) > λ} ≤ |f (y)| dm.
λ
Rn
Z
1
|g(y)| dm − g(x) ≤
m B(x, r)
B(x,r)
Z
1
|g(y) − g(x)| dm < ,
m B(x, r)
B(x,r)
es decir Z
1
lı́m |g(y)| dm = g(x).
r→0 m B(x, r)
B(x,r)
Z
1
lı́m sup |f (y)| dm − f (x) =
r→0 m B(x, r)
B(x,r)
Z
1
lı́m sup f (y) − g(y) dm+
r→0 m B(x, r)
B(x,r)
Z
1
g(y) dm − g(x) + (g(x) − f (x))
m B(x, r)
B(x,r)
Z
1
Eλ = x : lı́m sup |f (y)| dm − f (x) > λ
r→0 m B(x, r)
B(x,r)
Fλ = {x : M (f − g)(x) > λ}
146 Operador Maximal
luego
2
m Fλ/2 < .
λ
Además, en vista del teorema 4.6 tenemos
Z
2c 2c
m Hλ/2 ≤ |f (x) − g(x)| dm <
λ λ
Rn
de donde
m Eλ ≤ m Fλ/2 + m Hλ/2
2(1 + c) → 0 si → 0.
λ
Por lo tanto
m Eλ = 0,
ası́ hemos demostrado que
Z
1
lı́m sup |f (y)| dm − f (x) = 0
r→0 m B(x, r)
B(x,r)
[m]-c.t.p. Como
Z
1
0 ≤ lı́m inf |f (y)| dm − f (x)
r→0 m B(x, r)
B(x,r)
Z
1
≤ lı́m sup |f (y)| dm − f (x) = 0 [m] − c.t.p,
r→0 m B(x, r)
B(x,r)
4.3 Función Maximal de Hardy-Littlewood 147
Z
1
lı́m inf |f (y)| dm − f (x)
r→0 m B(x, r)
B(x,r)
Z
1
= lı́m sup |f (y)| dm − f (x) = 0 [m] − c.t.p,
r→0 m B(x, r)
B(x,r)
Z
1
lı́m |f (y)| dm − f (x) = 0 [m] − c.t.p
r→0 m B(x, r)
B(x,r)
de aquı́ obtenemos
Z
1
lı́m |f (y)| dm − f (x) = 0 [m] − c.t.p
r→0 m B(x, r)
B(x,r)
kM f kLp ≤ C(p)kf kp .
kM f kL∞ ≤ kf k∞ .
ası́
|M f (x)| ≤ M fλ (x)| + λ/2,
148 Operador Maximal
luego
x : M f (x) > λ ⊂ x : M fλ (x) > λ/2 .
De esto último obtenemos
m x : M f (x) > λ ≤ m x : M fλ (x) > λ/2 ,
ası́
C
m x : |T f (x)| > λ ≤ q kT f kqLq
λ
q
C
≤ kf kLp .
λ
150 Operador Maximal
−1/q
m(E) kf kLp
Z
≤r λr−1 m(E) dλ
0
Z∞
Cq
+r λ r−1
kf kqLp dλ
λq
−1/q
m(E) kf kLp
1− rq
h i−r/q m(E)
= m(E) m(E) kf krLp + rC q kf krLp
q−r
rC q 1− rq
= 1+ m(E) kf krLp .
q−r
Finalmente
Z
rC q
1− rq
r
|T f (x)| dm ≤ 1 + m(E) kf krLp ,
q−r
E
ası́ Z 1− rq
|T f (x)|r dm ≤ Cr,q m(E) kf krLp ,
E
4.3 Función Maximal de Hardy-Littlewood 151
rC q
donde Cr,q = 1 + .
q−r
i1− rq
Z h
r
|T f (x)| dm ≤ Cr,q m {x ∈ E : |T f (x)| > λ kf krLp .
{x:|T f (x)|>λ}
luego
r
h i1− rq
λ m x : |T f (x)| > λ ≤ Cr,q m {x ∈ E : |T f (x)| > λ kf krLp
r
h i rq −1
λ m x : |T f (x)| > λ m {x ∈ E : |T f (x)| > λ ≤ Cr,q kf krLp
!q
1/r
h ir/q Cr,q
m x : |T f (x)| > λ ≤ kf kLp .
λ
152 Operador Maximal
donde
fλ (x) = f (x)χ{s:|f (s)|≤λ/A} (x)
y
f λ (x) = f (x)χ{s:|f (s)|>λ/A} (x).
ası́
m {x : |T f (x)| > λ} ≤ m {x : |T fλ/2 (x)| > λ/2}
+ m {x : |T f λ/2 (x)| > λ/2} .
λ
Por otra parte, nótese que kfλ/2 kL∞ ≤ , entonces por hipótesis
2A
kT f (x)kL∞ ≤ λ/2,
por lo tanto
m {x : |T f (x)| > λ/2} = 0.
4.3 Función Maximal de Hardy-Littlewood 153
luego
λ/2
m {x : |T f (x)| > λ} ≤ m {x : |T f (x)| > λ/2}
Z
C
≤ |f λ/2 (x)| dm
λ
Rn
Z
C
= |f (x)| dm
λ
λ
{x:|f (x)|> 2A }
Z
C
= m x : |f (x)| > t dt
λ
[λ/A,∞)
λ
Observación 4.15. Si reemplazamos 2A por cero, obtenemos
que T es de
tipo débil (1, 1); además nótese que m x : |f (x)| > t = 0 siempre y
cuando t ≥ kf kL∞ , ası́, la integral de arriba se anula, entonces m x :
|T f (x)| > λ = 0,si escogemos t = Aλ , resulta kT f kL∞ ≤ Akf kL∞ . De esta
manera hemos demostrado que el recı́proco del teorema 4.14 se cumple.
donde
fλ (x) = f (x)χ{x:|f (x)|≤λ} (x)
y
f λ (x) = f (x)χ{x:|f (x)|>λ} (x).
ası́ fλ ∈ Lp0 (Rn ). Por un argumento similar al dado en las lı́neas de arriba
podemos demostrar que f λ ∈ Lp1 (Rn ). En virtud de la sublinealidad de T se
sigue que
x : |T f (x)| > λ ⊂ x : |T fλ/2 (x)| > λ/2 ∪ x : |T f λ/2 (x)| > λ/2 .
0 {x:|f (x)|>λ/2}
4.3 Función Maximal de Hardy-Littlewood 155
Z∞
C p1
Z
+p λp−1 |f (x)|p1 dm dλ,
λp1
0 {x:|f (x)|≤λ/2}
2|f
Z (x)|
Z
kT f kpLp ≤ pC p0 |f (x)|p0 λp−p0 −1 dλ dm
Rn 0
Z Z∞
+ pC p1 p
|f (x)| 1 λp−p1 −1 dλ dm
Rn 2|f (x)|
p−p0 p0 Z
2 pC
= |f (x)|p0 |f (x)|p−p0 dm
p − p0
Rn
p−p1 p1 Z
2 pC
+ |f (x)|p1 |f (x)|p−p1 dm,
p1 − p
Rn
esto es
2p−p0 C p0 2p−p1 C p1
Z
kT f kpLp ≤p + |f (x)|p dm
p − p0 p1 − p
Rn
ası́
kT f kpLp ≤ C(p0 , p, p1 )kf kLp ,
donde
1/p
2p−p0 C p0 2p−p1 C p1
C(p0 , p, p1 ) = p +
p − p0 p1 − p
luego
Z
q 1
|T f (x)| ≤ |Sf (y)|q dm
m C(x, re)
C(x,e
r)
m B(x, 4er)
Z
≤ |Sf (y)|q dm (4.4)
m C(x, re) m C(x, 4e
r)
B(x,4e
r)
4.3 Función Maximal de Hardy-Littlewood 157
Donde B(x, re) denota la bola de centro en x y radio re. Entonces por (4.4)
Con C independiente de x y f .
Note que en virtud del teorema 4.6 M es de tipo débil (1, 1) y por el
q n
teorema 4.8 M |Sf | ∈ L∞ (R ) y además
Z
q q
C
1/q
m x : M (|Sf | (x)) > λ /2 ≤ q m x : |Sf (x)| > t dt
λ
[Cλq ,∞)
Z
C
≤ q kf kpLp t−p/q dt
λ
[Cλq ,∞)
= Cλ−p kf kpLp .
Ası́ kf k p
Lp
m x : |T f (x)| > λ ≤C .
λ
Ejercicios
lo que es equivalente a
Z b Z a
a f (x) dx ≤ b f (x) dx.
0 0
Demuestre que
R
a) (0,x) f (t) dt = −1/ ln x para x ∈ (0, 1/e).
Rr
b) 0 M f (x) dx = ∞.
Capı́tulo 5
Convolución
159
160 Convolución
i. h es continua en 0.
∞
T ∞
T
vi. σ En = σ(En ).
n=1 n=1
(ii)
Entonces m(H r K) = 0.
Es claro que σ(K) ⊂ σ(E) ⊂ (H).
Nótese que para todo A ⊂ R tenemos que
Ası́
162 Convolución
Z
χσ(H) − χσ(K) dm × m = 0. (5.5)
C×R
es decir
Z
χσ(H)−σ(K) dm × m = m × m [σ(H) − σ(K)] ∩ C × R .
C×R
En particular
m × m [σ(H) − σ(K)] ∩ [−n, n] × R = 0. ∀n ∈ N
pero
∞
[
[σ(H) − σ(K)] ∩ [−n, n] × R = σ(H) − σ(K),
n=1
h(x, y) = x − y.
Note que
F (x, y) = f (h(x, y)) = f ◦ h(x, y)
Sea α ∈ R, luego
= (f ◦ h)−1 (−∞, α)
= h−1 f −1 (−∞, α) .
Z Z Z
|φ(x, y)| dm × m = |f (x − y)| dx |g(y)| dy
R×R R R
Z Z
= |f (x)| dx |g(y)| dy
R R
Z
= kf k1 |g(y)| dy
R
= kf k1 kgk1 < ∞,
Teorema 5.7. Sean f, g ∈ L1 R, L, m . Para cada x ∈ R definamos
Z
C(x) = f (x − y)g(y) dy
R
Z Z Z
|C(x)| dx ≤ |f (x − y)||g(y)| dy dx
R R
R
Z Z
= |f (x − y)| dx |g(y)| dy
R
R
Z Z
= |f (x)| dx |g(y)| dy
R R
= kf k1 kgk1 .
Ası́
kCk1 ≤ kf k1 kgk1 .
kf ∗ gk1 ≤ kf k1 kgk1 .
a) f ∗ g = g ∗ f (Conmutatividad)
5.1 Resultados básicos 165
b) (f ∗ g) ∗ h = f ∗ (g ∗ h) (Asociatividad)
c) f ∗ (αg + βh) = α(f ∗ g) + β(f ∗ h) (Distributividad)
Demostración. Ejercicio.
Teorema 5.10. Sea g ∈ L1 (m) y f ∈ Lp (m) con 1 ≤ p ≤ ∞. Entonces
kf ∗ gkp ≤ kgk1 kf kp
Demostración. Si p = ∞ y f ∈ L∞ , entonces
Z
|(f ∗ g)(x)| ≤ |f (x − y)||g(y)| dy
R
Z
≤ kf k∞ |g(y)| dy
R
= kgk1 kf k∞ .
De donde
k(f ∗ g)(x)k∞ ≤ kgk1 kf k∞ .
Sea 1 < p < ∞ y 1 < q < ∞ el ı́ndice conjugado de p, es decir p1 + 1q = 1.
Ahora, note que por la desigualdad de Hölder, el teorema de Tonelli y la
invariancia por traslación de la integral, tenemos
p
Z Z
1/p 1/q
kf ∗ gkpp = |f (x − y)| g(y)
(g(y) dy dx
RR
1/p p p/q
Z Z Z
≤ |f (x − y)|p |g(y)| dy |g(y)| dy dx
R R R
Z Z
p/q
= |f (x − y)|p |g(y)| dy kgk1 dx
R R
Z Z
p/q
= kgk1 |f (x − y)|p |g(y)| dy dx
R R
Z Z
p/q
= kgk1 |f (x − y)|p dx |g(y)| dy
R R
p/q
= kgk1 kf kpp kgk1
p
+1
= kgk1q kf kpp .
166 Convolución
finalmente
1
+1
kf ∗ gkp ≤ kgk1q p kf kp
≤ kgk1 kf kp .
pero
Z Z √
1 −
|x|2 1 −y 2 π
kGt k1 = √ e 4t dx = √ e dy = √ = 1.
4πt π π
R R
nos conduce a
Zs
s/p s −s/q
e Hf (e ) = e et/p f (et )et/q dt
−∞
Zs
s−t
= et/p f (et )e− q dt
−∞
Zs
= et/p f (et )g(s − t) dt,
−∞
donde
−y/q
e si 0 < y < ∞
g(y) =
0 si −∞ < y < 0.
Como
Z∞ Z∞
kgk1 = |g(y)| dy = |g(y)| dy
−∞ 0
Z∞
= e−y/q dy
0
=q
p
= ,
p−1
Finalmente
p
kHf kp ≤ kf kp .
p−1
T (f ) = f ∗ g.
Teorema 5.14 (W.H. Young). Sean p, q y r números reales tales que p > 1,
q > 1 y p1 + 1q − 1 = 1r > 0. Sean f ∈ Lp (m) y g ∈ Lq (m). Entonces
f ∗ g ∈ Lr (m) y
kf ∗ gkr ≤ kf kp kgkq .
1 1
Demostración. Sean a, b y c números reales tales que p
= a
+ 1b , 1
q
= 1
a
+ 1
c
y a = r. Note que
1 1 1 1 1 1 1 1
+ + = + + + −
a b c a b a c a
1 1 1
= + − = 1.
p q r
Ahora, escribamos
|f (x − y)g(y)| = |f (x − y)||g(y)|
p/a q/a
p( p1 − a1 ) q( 1q − a1 )
= |f (x − y)| |g(y)| |f (x − y)| |g(y)| .
5.1 Resultados básicos 169
1 1 1 1 1 1
pero − = y − = , ası́
p a b q a c
Z
|f (x − y)g(y)| dy ≤
R
1/a 1/b 1/c
Z Z Z
|f (x − y)|p |g(y)|q dy |f (x − y)|p dy |g(y)|q dy
R R R
1/r
Z Z
|f (x − y)g(y)| dy ≤ |f (x − y)|p |g(y)|q dy kf kp/b q/c
p kgkq .
R R
Definamos Z
h(x) = |f (x − y)g(y)| dy,
R
entonces
Z
rp rq
|h(x)|r ≤ |f (x − y)|p |g(y)|q dy kf kp b kgkq c ,
R
luego
Z Z Z
r pb r qc
|h(x)|r dx ≤ kf kp kgkq |f (x − y)|p |g(y)|q dy dx
R R R
r pb r qc
≤ kf kp kgkq kf kpp kgkqq
Z
p( rb +1) q( rc +1)
|h(x)|r dx ≤ kf kp kgkq
R
170 Convolución
1/r
Z
p( 1b + r1 ) q( 1c + r1 )
|h(x)|r dx ≤ kf kp kgkq .
R
Note que
1 1 1 1
p( + ) = p( + ) = 1
b r b a
y
1 1 1 1
q( + ) = q( + ) = 1.
c r c a
Ası́ 1/r
Z
|h(x)|r dx ≤ kf kp kgkq ,
R
kf ∗ gkr ≤ kf kp kgkq .
supp(f ) = {x ∈ Rn : f (x) 6= 0}
(siempre es cerrado).
Corolario 5.16. Si x ∈
/ supp(f ), entonces existe un entorno abierto de x
donde f se anula.
Observación 5.17. Brezis observó que esta noción no es adecuada cuando
trabajamos con clases de equivalencia tales como el espacio Lp , en virtud que
con la definición 5.15 no es cierto que si f = g c.t.p entonces supp(f ) =
supp(g).
En tal sentido, se da la siguiente definición.
Definición 5.18. x ∈/ supp(f ) si y sólo si existe una abierto V tal que x ∈ V
y f = 0 casi en todo punto de V .
Si f es una función continua en Rn no es difı́cil verificar que esta nueva
definición coincide con la definición 5.15.
Por otra parte, si f = g c.t.p. en Rn (con la nueva definición) es claro que
supp(f ) = supp(g). Ası́, podemos hablar del soporte de una función f ∈ Lp
sin preocuparnos cual representante de la clase escogemos.
5.2 El soporte y la convolución 171
pues si t ∈
/ supp(f ), entonces f (t) = 0.
Análogamente si x−t ∈ supp(g), entonces t ∈ x−supp(g), luego g(x−t) =
0 si t ∈
/ x − supp(g). Se deduce que
Z
(f ∗ g)(x) = f (t)g(x − t) dt.
supp(f )∩(x−supp(g))
Dα (f ∗ k)(x) = (f ∗ Dα k)(x)
Si u = x − t, entonces t = x − u, luego
Z
= f (t)[k(u + h) − k(u)] du
Rn
Z 1/p Z 1/q
p q
≤ |f (x − u)| du |k(u + h) − k(u)| du .
Rn Rn
Afirmamos que
Z 1/q
q
lı́m |k(u + h) − k(u)| du = 0.
h→0 Rn
5.3 Convolución con funciones suaves 173
Por lo tanto
Z
|fε (x) − f (x)| = [f (x − t) − f (x)]kε (t) dt
Rn
Z
≤ |f (x − t) − f (x)||kε (t)| dt
n
ZR
= |f (x − t) − f (x)||kε (t)|1/p |kε (t)|1/q dt
Rn
entonces
Z Z Z Z p/q
p p
|fε (x) − f (x)| dx ≤ |f (x − t) − f (x)| |kε (t)| dt |kε (t)| dt dx
Rn Rn Rn Rn
Z Z
p
= kkk1 |f (x − t) − f (x)| |kε (t)| dt dx.
Rn Rn
176 Convolución
R
haciendo φ(t) = Rn
|f (x − t) − f (x)|p dx = kf (· − t) − f (·)kpp tenemos
Z
p p/q
kfε − f kp ≤ kkk1 |kε (t)|φ(t) dt.
Rn
donde Z
Aε,δ = |kε (t)|φ(t) dt
|t|<δ
y Z
Bε,δ = |kε (t)|φ(t) dt.
|t|≥δ
Dado η > 0, podemos elegir δ > 0 tan pequeño que φ(t) < η si |t| < δ, ya
que φ(t) → 0 cuando |t| → 0 pues f ∈ Lp (m)
Z
Aε,δ ≤ n |kε (t)| dt ≤ nkkk1 ,
|t|<δ
para todo ε > 0. Por otra parte, por la desigualdad de Minkowski φ es una
función acotada, de hecho
Z 1/p
1/p p
[φ(t)] = |f (x − t) − f (x)| dx
Rn
Z 1/p Z 1/p
p p
≤ |f (x − t)| dx + |f (x)| dx
Rn Rn
= 2kf kp ,
de modo que
kφk∞ ≤ (2kf kp )p = C,
5.4 Aproximaciones de la identidad 177
luego
Z
Bε,δ = |kε (t)|φ(t) dt
|t|≥δ
Z
≤C |kε (t)| dt → 0.
|t|≥δ
Si f es continua en x, dado ε > 0, existe δ > 0 tal que si |t| < δ, entonces
|f (x − t) − f (x)| < ε y obtenemos
Z Z
|fε (x) − f (x)| ≤ |f (x − t) − f (x)||kε (t)| dt + ε |kε (t)| dt
|t|≥δ |t|<δ
Z
≤ 2kf k∞ |t| ≥ δ|kε (t)| dt + εkkk1 .
R
Como |t|≥δ
|kε (t)| dt → 0 cuando ε → 0 para un δ fijo, se sigue que
Ejercicios
1. Sean
3. Sean
( )
X
l1 (L∞ )(Rn ) = f ∈ Lloc,∞ : kf k∞,1 = kf kL∞ (Qk ) < ∞
k∈Zn
n
l∞ (L1 )(R ) = f ∈ Lloc,1 : kf k1,∞ = sup kf kL1 (Qk ) <∞
k∈Zn
5. Sea [a, b] ⊂ R y ε > 0 tal que a + ε < b − ε donde ϕ está definida como
Rb
en el problema 1. Definamos h : R → R por h(x) = a ϕ t−x
ε
dt para
todo x ∈ R. Demostrar que:
a) supp h ⊂ [a − ε, a + ε]
b) h(x) = c (función constante) para todo x ∈ [a + ε, b − ε]
5.4 Aproximaciones de la identidad 179
Rb ∂n
c) h es de clase C ∞ y h(n) (x) = t−x
a ∂xn
ϕ ε
dt para todo x ∈ R y
∞
d) La función f = h/c de clase C satisface 0 ≤ R f (x) ≤ 1 para todo
x ∈ R, f (x) = 1 para todo x ∈ [a + ε, b − ε] y R |χ(a,b) − f |dm < 4ε.
Potenciales
n
!
∂ 2f
Xd
(−∆f
d )(x) = − (x)
k=1
∂x2k
n
X
=− (i2πxk )2 fb(x)
k=1
Xn
2
= 4π x2k fb(x)
k=1
= 4π |x|2 fb(x).
2
181
182 Potenciales
Con esta idea en mente, junto con el hecho que |ξ|−α para 0 < α < n es
localmente integrable, podemos ver al laplaciano fraccional como un elemento
de S 0 (S 0 el dual del espacio de Schwartz S ). Ahora, definamos el siguiente
operador
Iα : S 0 −→ S 0 ,
donde
α
Iα (f ) = (−∆)− 2 f = F −1 (|ξ|−α fb(ξ)) (6.1)
para 0 < α < n, donde F −1 representa la transformada inversa de Fourier
de |ξ|−α (en el sentido de distribuciones). Usando la fórmula
Z ∞
−α 1 α |ξ|2
|ξ| = λ 2 −1 e−π λ dλ,
Cα 0
α
donde Cα = π − 2 Γ( α2 ), el Teorema de Fubini nos permite demostrar que
Z
1 f (y)
Iα f (x) = dy, (6.2)
γ(α) Rn |x − y|n−α
donde n
π 2 2α Γ( α2 )
γ(α) = .
Γ( n−α2
)
En efecto, dado que |ξ|−α fb(x) es integrable obtenemos
Z Z ∞
−1 −α 2πiξx 1 α
−1 −π
|ξ|2
F (|ξ| fb(x))(x) = e λ 2 e λ dλ fb(ξ) dξ
Cα 0
Rn
Z ∞ Z
1 |ξ|2
e2πiξx e−π λ fb(ξ) dξ λ α2 −1 dλ
=
Cα 0
Rn
Z ∞ Z Z
1 |ξ|2
e2πiξx e−π λ e2πiξy dy dξ λ α2 −1 dλ
=
Cα 0
Rn Rn
6.1 Potencial de Riesz 183
Z ∞ Z Z
1 |ξ|2
f (y) e2πiξ(x−y) e−π λ dξ dy λ α2 −1 dλ
=
Cα 0
Rn Rn
Z ∞ Z
1 π|x−y|2
f (y)λ− n2 e− λ dy λ α2 −1 dλ
=
Cα 0
Rn
Z Z ∞
1 −
π|x−y|2 α
−1
= f (y) e λ λ 2 dλ dy
Cα 0
Rn
Z
= Cn−α |x − y|α−n f (y) dy
Rn
para ϕ ∈ S .
(ii) La identidad
−α b
(Id
α f )(x) = (2π|x|) f (x),
se obtiene en el siguiente sentido
Z Z
Iα (f )(x)g(x) dx = fb(x)(2π|x|)−α gb(x) dx,
Rn Rn
para f, g ∈ S .
(2π)α
Z Z
f (x − y)|y|α−n
dy = |y|−α fb(x − y)dy,
γ(α)
Rn Rn
pero
d+ x)(ξ) = e−2πixy fb(−y).
− y)(ξ) = f (−y
f (xd
Entonces
(2π)α
Z Z
α−n
f (x − y)|y| dy = |y|−α fb(−y)e−2πixy dy
γ(α)
Rn Rn
α Z Z
(2π) f (x − y)|y|α−n dy g(x)dx =
γ(α)
Rn Rn
Z Z
|y|−α fb(−y)e−2πixy dy g(x)dx,
Rn Rn
6.1 Potencial de Riesz 185
luego
Z Z Z
(2π)α Iα f (x)g(x) dx = |y|−α fb(−y) g(x)e−2πixy dx dy
Rn Rn Rn
Z Z
(2π)α Iα f (x)g(x) dx = |y|−α fb(−y)b
g (y)dy.
Rn Rn
Dado que b
g (y) = gb(−y), entonces
Z Z
(2π) α
Iα f (x)g(x) dx = |y|−α fb(−y)b
g (−y)dy
Rn Rn
Z Z
Iα f (x)g(x) dx = (2π|x|)−α fb(x)b
g (x)dy.
Rn Rn
(ii)
n
!
∂ 2 Iα f (x)
X d
(∆(I
d α f ))(ξ) = (ξ)
k=1
∂x2k
n
X
=− 4π 2 x2k (Id
α f )(ξ)
k=1
Z −t Z ∞
|f (x)| dx + |f (x)| dx < .
−∞ t
6.1 Potencial de Riesz 187
R∞
Finalmente, sea a < δt , M = −∞
|f (x)| dx y K = máx |ϕ(x)|, entonces
x
Z t h u i Z h u i
= f (u) ϕ − ϕ(0) du + f (u) ϕ − ϕ(0) du
−t a a
{|u>t|}
Z ∞ u
≤ |f (u)| du máx ϕ − ϕ(0)
−∞ |u≤t| a
Z u
+ |f (u)| du máx ϕ − ϕ(0) .
|u≤/t| a
|u|>t
además
Z u
|f (u)| du máx ϕ − ϕ(0) < 2K,
a
|u≤t|
|u|>t
luego
t
|hfa (·), ϕi − hδ, ϕi| < (M + 2K) si a> ,
δ
lo que significa que
lı́m hfa , ϕi = hδ, ϕi.
a→∞
Ejercicios
6.2. Potenciales en Lp
En la Sección 2.1, consideramos el potencial de Riesz desde un punto de vista
formal. En particular operamos con funciones suaves que se comportan bien
en el infinito. Dado que el potencial de Riesz es un operador integrable, es
natural estudiar su acción en los espacios Lp (Rn ). Por esta razón, formulamos
el siguiente problema; dado α con 0 < α < n ¿para cuáles valores de p y q el
operador
Iα : Lp (Rn ) −→ Lq (Rn )
es acotado? En otras palabras, ¿cuándo se tiene la siguiente desigualdad
Z
1 βλ (f )(y)
= dy
γ(α) |λ−1 x − y|n−α
Rn
= λ−α Iα f (x).
Ası́
Si
kIλ (βλ f )kq ≤ ckf kq ,
6.2 Potenciales en Lp 189
Ası́ n n
kIλ (βλ f )kq ≤ λ( p − q −α) ckβλ (f )kp ,
donde si np − nq − α 6= 0, entonces λ → 0 o λ → ∞.
Si obtenemos la desigualdad deseada, necesariamente tendremos
1 1 α
= − .
q p n
Veremos que esta condición es suficiente para dos casos excepcionales. Éstos
n
suceden cuando p = 1, el cual implica que q = n−α y cuando q = ∞, entonces
n
p = α . Consideremos la función
(
1, si |x| < 21 ,
ϕ(x) =
0, si |x| ≥ 21 .
Note que Z
ϕ(x) dx = 1.
Rn
ϕk (x) = 2k n ϕ(kx),
observe que
1
supp ϕk = B 0,
2k
y Z
ϕk (x) dx = 1.
Rn
kϕk k n−α
n ≤ ckϕk k1 .
es decir n
Z Z n−α
ϕ(y) n
dy dx ≤ C n−α .
|x − y|n−α
Rn Rn
Si
1
g(y) = ,
|x − y|n−α
notemos que g ∈ S , entonces con la ayuda del Teorema 6.5, obtenemos
Z Z
lı́m g(y)ϕk (y)dy = g(y)δ(y)dy = g(0).
k→∞
Rn Rn
n
≤ C n−α .
|x|
Rn
Esto último nos conduce a una contradicción. El segundo caso atı́pico ocurre
cuando q = ∞, de nuevo la desigualdad del tipo (6.5), no se puede obtener.
Una razón inmediata es que este es el caso dual del caso p = 1; sin embargo,
este caso (q = ∞) lo podemos ver directamente considerando la siguiente
función, sea
αn (1+)
|x|−α log |x|
1
si |x| ≤ 21
f (x) =
si |x| > 21 .
0
con αn (1 + ) donde es un número positivo suficientemente pequeño. Ahora
queremos demostrar que f ∈ L αn (Rn ), en efecto
Z Z −(1+)
n
−n 1
|f (x)| α dx = |x| log dx
|x|
Rn |x|≤ 21
Z 1
2 dr
= ωn (1+)
0 r log 1r
< ∞.
6.2 Potenciales en Lp 191
Ahora bien, si tomamos un subconjunto Ω ⊆ Rn (α < n), tal que 0 < m(Ω) <
∞, obtenemos el siguiente resultado.
Lema 6.6. Sea Ω ⊆ Rn un conjunto medible con 0 < m(Ω) < ∞ y 0 < α <
n, entonces existe una constante C > 0, tal que
= Rα−n |B \ Ω|
Z Z
α−n
|y| dy ≤ |y|α−n dy. (6.8)
Ω\B B\Ω
de donde
Z Z
α−n
|y| dy ≤ |y|α−n dy.
Ω B
192 Potenciales
Como
Z Z R
α−n
|y| dy = σn |B(0, 1)| rn−1 rα−n dr
B 0
σn
= |B(0, 1)|Rα
α
= Rα |B(0, 1)||B(0, 1)|−α/n |B(0, 1)|α/n
= |B(0, 1)|1−α/n (Rn |B(0, 1)|)α/n
= |B(0, 1)|1−α/n |B(0, R)|α/n .
Finalmente obtenemos
Z
|y|α−n dy ≤ |B(0, 1)|1−α/n |B(0, R)|α/n ;
Ω
es decir
kIα (χΩ )k∞ ≤ CkχΩ k αn .
resulta
1
!!
Z ∞ n−α Z ∞
1
rα−n−1 µ B(x, r) dr.
µ B x, dλ = (n − α)
0 λ 0
Finalmente
Z Z ∞
dµ(y)
rα−n−1 µ B(x, r) dr.
= (n − α)
Rn |x − y|n−α 0
Z Z 1/p
α−n 1−1/p p α−n
|f (y)||x − y| dy ≤ C |f (y)| |x − y| dy
Ω Ω
Z p Z
α−n p−1 p α−n
|f (y)||x − y| dy ≤ C |f (y)| |x − y| dy
Ω Ω
Z Z Z
p p−1 p α−n
|Iα f (x)| dx ≤ C |f (y)| |x − y| dy dx
Ω Ω Ω
Z Z
p−1 p
|x − y|α−n dx
=C |f (y)| dy
Z Ω Ω
≤ C p |f (y)|p dy.
Ω
Ası́,
|f (y)|
Z
n−α
dy ≤ Cα δ α M f (x),
B(x,δ) |x − y|
donde Cα = αn |B(0, 1)|.
Z ∞ Z
dr
= (n − α) |f (y)|dy
0 B(x,r)∩B(x,δ) rn−α+1
Z δ Z ∞
dr dr
≤ (n − α) |B(0, 1)| M f (x)rn + |B(0, 1)| M f (x)δ n
0 rn−α+1 δ rn−α+1
n
= |B(0, 1)|M f (x)δ α .
α
6.2 Potenciales en Lp 195
|f (y)|
Z
nm(B(0, 1)) α α− n
dy ≤ δ M f (x) + kf kp δ p . (6.12)
|x − y|n−α n − q(n − α)
Rn
− np
M f (x)
Si escogemos δ = kf kp
, entonces (6.12) se transforma en
nm(B(0, 1)) αp αp
|Iα f (x)| ≤ (M f (x))1− n kf kpn .
n − q(n − α)
196 Potenciales
Iα : Lp −→ Lq ;
esto es, n
n−α
kf k1
m({x : Iα f (x) > λ}) ≤ c .
λ
Ejercicios
Donde
Cn t
P (y, t) =
(|y|2 + t2 )(n+1)/2
−(n+1)/2 n+1
Cn = π Γ
2
y
|x|2
W (x, t) = (4πt)−n/2 e− 4t .
Sea ϕ ∈ Lp (Rn , L, m) con 1 < p < n/α. Demostrar que
Z ∞
1
Iα ϕ(x) = α−1 tα−1 Pt ϕ(x) dt
2 Γ(α) 0
Z ∞
1
= tα/2−1 Wt ϕ(x) dt.
Γ(α/2) 0
Capı́tulo 7
Demostración. Sea {fn }n∈N una sucesión de Cauchy en Lp (µ) con 0 < p < 1,
entonces Z
d(fn , fm ) = lı́m |fn (x) − fm (x)|p dµ = 0,
n→∞ X
m→∞
de aquı́ se sigue que para cada número natural k existe un menor número
natural nk tal que
Z
1
|fn (x) − fm (x)|p dµ < k para m ≥ nk , n ≥ nk ,
X 3
en particular, podemos tomar n = nk+1 y m = nk de modo que
Z
1
|fnk +1 (x) − fnk (x)|p dµ < k para k = 1, 2, 3, . . . (7.1)
X 3
Definamos
1
Ek = x ∈ X : |fnk +1 − fnk (x)| > k/p ,
2
entonces,
Z Z p
p 1 1
|fnk +1 (x) − fnk (x)| dµ ≥ dµ = µ(Ek )
Ek Ek 2k/p 2k
luego por (7.1) se tiene que
1 1
k
µ(Ek ) < k
2 3
199
200 Espacios Lp (µ) con 0 < p < 1
es decir,
k
2
µ(Ek ) < .
3
Consideremos ahora
∞ ∞
[ [ 1
Ek = x ∈ X : |fnk +1 − fnk (x)| > k/p . (7.2)
k=N k=n
2
la cual tiende a cero cuando N tiende a infinito. Esto muestra que el conjunto
de todas la x para las cuales (7.3) no converge es de medida cero, es decir,
la serie (7.3) converge casi en todas partes, entonces también lo hace la serie
∞
X
(fnk +1 (x) − fnk (x))
k=1
se sigue que
∞
X
lı́m fnk (x) = fn1 (x) + (fnj +1 (x) − fnj (x))
k→∞
j=1
A demostrar que {fn }n∈N converge a f . Para ello observamos que por el Lema
de Fatou
Z Z
p
|fnk (x) − f (x)| dµ = lı́m inf |fnk (x) − fnj (x)|p dµ
X X j→∞ Z
≤ lı́m inf |fnk (x) − fnj (x)|p dµ
j→∞ X
p
< /2.
Finalmente,
Z Z Z
p p
|fnk (x) − f (x)| dµ ≤ |fn (x) − fnk (x)| dµ + |fnk (x) − f (x)|p dµ
X X X
< p
ası́, (fn − f ) ∈ Lp (µ) y f = (f − fn ) + fn ∈ Lp (µ).
Proposición 7.2. Sea
Z 1
Lp = f : [0, 1] → R : f es L − medible y p
|f (t)| dt < ∞ .
0
Entonces,
R1
a) d(f, g) = 0
|f (t) − g(t)|p dt es una métrica en Lp .
b) d es invariante por traslación y ası́ (Lp , d) es un espacio vectorial topológi-
co.
c) Si A es convexo abierto no vacı́o, entonces A = Lp .
d) f : Lp → Y es lineal e Y es localmente convexo. Entonces f es constante.
e) (Lp )∗ = {0}.
entonces d(f, g) ≥ 0.
Si d(f, g) = 0, entonces Z 1
|f − g|p dt = 0,
0
202 Espacios Lp (µ) con 0 < p < 1
es decir, d(f, g) = 0.
es decir,
d(f, g) = d(g, f ).
(a + b)p−1 ≤ bp−1
y
(a + b)p−1 ≤ ap−1
de donde,
b(a + b)p−1 ≤ bp
y
a(a + b)p−1 ≤ ap ,
sumando
luego,
Z 1
knf kpp = |nf (t)|p dt < nr
0
es decir,
Z 1
1
knf kpp = |f (t)|p dt < r
n1−p 0
204 Espacios Lp (µ) con 0 < p < 1
Ahora, para s ∈ [0, 1] definamos gs = χ[0,s] f y ϕ(s) = kgs kpp . Sea s, s0 ∈ [0, 1]
tal que s ≥ s0 , entonces
Dado que ϕ(0) = 0 y ϕ(1) = kf kpp , por el teorema del valor intermedio
existe λj ∈ (0, 1) j = 1, 2, . . . , n tal que
ϕ(1)
ϕ(0) ≤ ≤ ϕ(1),
n
kf kpp
0≤ ≤ kf kpp ,
n
1
kgλj kpp = ϕ(λj ) = kf kpp ,
n
Z λj Z 1
1
|f (x)|p dx = |f (x)|p dx.
0 n 0
Definamos
nf si 0 ≤ x ≤ λj ;
hλj (x) =
0 en otro caso.
Note que
Z 1 Z λ
p
|hλj (x)| dx = |nf (x)|p dx
0 0
Z 1
p−1
=n |f (x)|p dx
Z0 1
1
= 1−p |f (x)|p dx
n 0
< r,
7.1 Nociones básicas 205
|f (h)| <
luego,
lı́m |f (h)| < lı́m = 0,
→0 →0
De la parte d) es claro que (Lp [0, 1])∗ = {0}, con lo cual se obtiene e).
Proposición 7.5. Sea {fn }n∈N una sucesión en Lp ([0, 1], L, m). Entonces
no existe una norma k · k en Lp (m) tal que si fn → 0 en Lp (m) implica que
kfn k → 0 cuando n → ∞, para cualquier sucesión {fn }n∈N ⊂ Lp (m).
αδf
kf kp
∈ B(0, δ) con 0 < |α| < 1, donde B(0, δ) es la bola de centro 0 y radio
δ. Por lo tanto
αδf
≤1
kf kp
implica que
1
kf k ≤ kf kp (7.4)
αδ
Si α → 1, entonces (7.4) se cumple para C = 1δ . Escojamos
kf k ≤ kgk + khk
≤ C(kgkp + khkp )
C
= 1/p−1 kf kp .
2
Como p ∈ (0, 1), entonces
C
≤ C,
21/p−1
de donde C = 0, ası́ kf k = 0 ∀f ∈ Lp (m) lo que contradice el hecho que
k.k es una norma.
Teorema 7.7. Sean (X, A, µ) un espacio medible y p un número real tal que
0 < p < 1. Sean f y g funciones de Lp (X), tal que g 6= 0, entonces
1
kf + gkp ≤ 2 p −1 (kf kp + kgkp ). (7.5)
7.1 Nociones básicas 207
(1 + t)p−1 ≤ tp−1
y
(1 + t)p−1 ≤ 1. (7.6)
De (7.6) obtenemos
t(1 + t)p−1 ≤ tp , (7.7)
sumando (7.6) y (7.7) se tiene que
(1 + tp ) ≤ 1 + tp . (7.8)
|f |
Definamos t = |g|
, sustituyendo en (7.8) resulta
kf + gkpp
R R R
|f + g|p dµ |f |p dµ + |g|p dµ
= ≤ ,
2 2 2
entonces
R p1 R R p1
kf + gkp |f + g|p dµ |f |p dµ + |g|p dµ
1 = ≤
2p 2 2
1
≤ 2 p −1 [kf kp + kgkp ]
no es norma en Lp (X) con 0 < p < 1 el resultado que sigue nos garantiza
con más precisión esta última afirmación.
208 Espacios Lp (µ) con 0 < p < 1
Teorema 7.9. Sean p y q dos números reales con 0 < p < 1 y −∞ < q < 0
tales que
1 1
+ = 1,
p q
sean f y g funciones positivas tales que f p y g q son integrables y, además,
supongamos que f g es integrable, entonces
Z
kf kp kgkq ≤ f g dµ.
X
f p = f p g p g −p = (f g)p g −p ,
de donde
Z 1/p Z Z −1/q
p q
|f | dµ ≤ f g dµ |g| dµ ,
X X X
7.1 Nociones básicas 209
de aquı́
Z 1/p Z 1/q Z
p q
|f | dµ |g| dµ ≤ f g dµ ,
X X X
por lo tanto Z
kf kp kgkq ≤ f g dµ.
X
kf + gkp ≥ kf kp + kgkp .
de aquı́
Z 1− 1q Z 1/p Z 1/p
p p p
(f + g) dµ ≥ f dµ + g dµ ,
X x X
210 Espacios Lp (µ) con 0 < p < 1
finalmente,
kf + gkp ≥ kf kp + kgkp .
Ejercicios
1−p
además demuestre que N p es la mejor constante.
Capı́tulo 8
Lp es un espacio uniformemente
convexo
211
212 Lp es un espacio uniformemente convexo
de aquı́ obtenemos r
2 x+y
1− 1− ≤1− ,
4 2
de donde r
2
δ() ≥ 1 − 1− .
4
Lema 8.2. Si p ≥ 2 entonces
1/2
(|a + b|p + |a − b|p )1/p ≤ |a + b|2 + |a − b|2
para todo a, b ∈ R.
p−2
≤2 p (|a|p + |b|p )2/p ,
de aquı́ obtenemos
√ √ p−2
2(|a|2 + |b|2 )1/2 ≤ 2·2 2p (|a|p + |b|p )1/p
p−1
=2 p (|a|p + |b|p )1/p ,
Notese que
f 0 (0) = f 0 (1) = f (0) = f (1) = 0
y que f 0 (t) ≥ 0 para todo t ∈ [0, 1], lo que significa que f es creciente en
[0, 1], luego si 0 ≤ t, entonces f (0) ≤ f (t), de donde
q/p q q
1 + |t|p
1+t 1−t
0≤ − − ,
2 2 2
de aquı́
q q q/p
1 + |t|p
1+t 1−t
+ ≤ ,
2 2 2
por lo cual
q q 1/q 1/p
1 + |t|p
1+t 1−t
+ ≤ , (8.2)
2 2 2
integrando tenemos
Z Z Z Z
p p p−1 p p
|f + g| dµ + |f − g| dµ ≤ 2 |f | dµ + |g| dµ ,
es decir,
kf + gkpp + kf − gkpp ≤ 2p−1 (kf kpp + kgkpp ).
Ahora bien, si kf kp = kgkp = 1 y kf − gkp ≥ , entonces
implica que
kf + gkpp ≤ 2p−1 2 − p
= 2p − p ,
por lo tanto
p
f +g
≤1− ,
2 p 2
de donde
f +g 1/p p
≤ 1− ≤1− ,
2 p 2 2
de esto último obtenemos que
p f +g
≤1− ,
2 2 p
ası́ p
δLp () ≥ .
2
216 Lp es un espacio uniformemente convexo
ası́ 1/2 p
|f + g|2 |f − g|2 kf kpp + kgkpp
+ ≤ ,
2 2 2
p
de donde 1/2
|f + g|2 |f − g|2
+ ≤ 1.
2 2
p
en consecuencia
2 2
f +g f −g
≤1−
2 p 2 p
2
≤1− ,
2
por lo tanto
2
r
f +g 2 2
≤ 1− ≤1− .
2 p 2 2
8.1 Convexidad Uniforme 217
Teorema 8.7 (M.M. Day). Existen espacios de Banach los cuales son sepa-
rables, reflexivos y estrictamente convexos, pero no son isomorfos a ningún
espacio uniformemente convexo.
Ejercicios
1. Consideremos en R2 las normas k(x, y)k2 = (|x|2 +|y|2 )1/2 y k(x, y)k1 =
|x| + |y|. Demuestre que estas normas son equivalentes, es decir
1 √
k(x, y)k1 ≤ k(x, y)k2 ≤ 2k(x, y)k1 .
2
Capı́tulo 9
Isometrı́a en Lp
kT (f )kp = kf kp (f ∈ Lp (µ)).
y
|ξ + ν|p + |ξ − ν|p ≥ 2(|ξ|p + |ν|p ).
para p < 2. Si p 6= 2, la igualdad ocurre si ξ o ν es cero.
Demostración. Si p = 2, tenemos la igualdad para todo ξ y ν. Si 2 < p < ∞,
entonces 1 ≤ p/2, luego con los exponentes conjugados p/2 y p/(p − 2)
aplicamos la desigualdad de Hölder a α2 + β 2 (ver Lema 2.33) ası́
2 p−2
α2 + β 2 ≤ (αp + β r ) p (1 + 1) p
219
220 Isometrı́a en Lp
o
2−p p
αp + β p ≤ 2 2 (α2 + β 2 ) 2 . (9.2)
Dado que
ξ2
0≤ ≤1
ξ2 + ν 2
y
ν2
0≤ ≤1
ξ2 + ν 2
para 2 < p resulta
|ξ|2(p−2)
0≤ 2 ≤1
(ξ + ν 2 )p−2
y
|ν|2(p−2)
0≤ ≤1
(ξ 2 + ν 2 )p−2
lo que es equivalente a
|ξ|p−2
0≤ p−2 ≤1
(ξ 2 + ν 2 ) 2
y
|ν|p−2
0≤ p−2 ≤ 1.
(ξ 2 + ν 2 ) 2
Ası́,
|ξ|p |ξ|1
0≤ p ≤
(ξ 2 + ν 2 ) 2 ξ2 + ν 2
y
|ν|p |ν|1
0≤ 2 p ≤ .
(ξ + ν 2 ) 2 ξ2 + ν 2
Sumando estas dos últimas desigualdades obtenemos
p
|ξ|p + |ν|p ≤ (ξ 2 + ν 2 ) 2 si 2 < p. (9.3)
= kf kpp + kgkpp
(9.5)
Similarmente obtenemos
luego Z
[|f + g|p + |f − g|p − 2(|f |p + |g|p )] dµ = 0.
X
222 Isometrı́a en Lp
o
|f + g|p + |f − g|p − 2(|f |p + |g|p ) ≤ 0.
En ambos casos, por un resultado conocido de la teorı́a de integración de
Lebesgue resulta
Demostración. Para cada conjunto A ⊂ R Lebesgue medible tal que m(A) <
∞, definimos ϕ(A) por
Del hecho que T es una isometrı́a en Lp (m) y en virtud del Lema 9.3 se sigue
que
T (χA ) · T (χB ) = 0, c.t.p.[µ] en R.
Además χA S B = χA + χB y T (χA S B ) = T (χA ) + T (χB ), luego
[ [
ϕ(A B) = ϕ(A) ϕ(B), si A ∩ B = ∅.
223
y [ [
ϕ(A B) = ϕ(A\(A ∩ B)) ϕ(B)
es claro que para conjuntos A y B Lebesgue medibles tal que m(A) < ∞ y
m(B) < ∞ [ [
ϕ(A B) ϕ(A ∩ B) = ϕ(A) ∩ ϕ(B).
Por otra parte, sea {Xj }j∈N una sucesión creciente
S∞ de subconjuntos de R
S∞ que m(Xj ) < ∞ para j = 1, 2, . . . y R = j=1 Xj , además sea E =
tal
j=1 ϕ(Xj ). Entonces ϕ envı́a subconjuntos medibles en R en subconjuntos
medibles de E y ϕ(R\A) = E\ϕ(A).
También, si {Aj }j∈N es una sucesión de subconjuntos
S∞ de R Lebesgue
medibles con m(Aj ) < ∞, j = 1, 2, . . . y si A = j=1 Aj entonces χA =
lı́mk→∞ kj=1 χAj , de la continuidad y acotamiento de T , se tiene que
P
k
X
T (χA ) = lı́m T (χAj ).
k→∞
j=1
Sin embargo, la sucesión {supp T (χAj )}j∈N es una clase disjunta, ası́
∞
! ∞
[ [
ϕ = ϕ(Aj ).
j=1 j=1
hC = T (χX ),
ası́ 1
kT (χc )kp = khC kp = (m(C)) p ,
luego, para cada conjunto medible A, tenemos
χC = χC∩A + χC∩Ac ,
224 Isometrı́a en Lp
de aquı́, resulta
hC = T (χC∩A ) + T (χC∩Ac ).
Sin embargo, arriba hemos demostrado que
Ası́,
T (χC∩A ) = hC χϕ(C∩A)
= hC χC∩A (φ(·)).
Para la sucesión {Xj }i∈N considerada una linea arriba, definamos una función
h Lebesgue medible dada por
h = lı́m hXj .
j→∞
= hχA (φ(·)).
Ası́, para cada función f simple y medible se tiene que
T (f ) = hf (φ(·)).
Sea f ∈ Lp (m), entonces en virtud del Lema 2.47 existe una sucesión {sn }n∈N
de funciones simples tal que
kf − sn kp → 0 cuando n → ∞.
Ahora
= h(x)f (φ(x)).
Finalmente, para cada conjunto A Lebesgue medible con m(a) < ∞, tenemos
Z Z
p
m(A) = (χA (x)) dm = |T (χA )(x)|p dm
ZR R
= |h(x)|p χA (φ(x))dm
ZR
= |h(x)|p dm.
φ−1 (A)
Teorema A.1 (Teorema del residuo). Sea f una función analı́tica dentro
y sobre una curva simple cerrada γ excepto en los puntos z1 , . . . , zn que se
encuentra en el interior de ésta. Entonces
I Xn
f (z)dz = 2πi Res(f, z = zk ).
γ k=1
y
D
r A B
H G
E J x
227
228 El teorema del residuo
Luego
En efecto,
1 1
!
2π
(Reθi )− p 2π
(Reθi )− p
Z Z
lı́m iReθi dθ = lı́m iReθi dθ
R→∞ 0 1 + Reθi 0 R→∞ 1 + Reθi
2π
iReθi
Z
= lı́m 1 dθ
0 R→∞
(Reθi ) p (1 + Reθi )
Z 2π
i
= lı́m 1 dθ
0 R→∞ (Reθi ) p
Z 2π
= 0dθ
0
=0.
1
! !
0
(reθi )− p θi 0
ieθi
Z Z
r
lı́m ire dθ = θi lı́m 1 dθ
r→0 2π 1 + reθi 2π e p r→0 r p (1 + reθi )
0
ieθi up
Z
= θi lı́m θi
dθ
2π e p u→0 u(1 + ue )
0
ieθi
Z
= θi (0)dθ
2π ep
=0.
Finalmente, resulta
1
∞
x− p 0
(xe2πi )−f rac1p
Z Z
− πi
2πie p = dx + dx
0 1+x ∞ 1 + xe2πi
− p1 1 2πi
∞ ∞
x− p e − p
Z Z
x
= dx − dx
0 1+x 0 1 + xe2πi
− p1 1
∞
x− p
Z Z ∞
x 2πi
= dx − e− p dx
0 1+x 0 1 + x(cos(2π) + i sin(2π))
Z ∞ − p1
− 2πi x
=(1 − e p ) dx.
0 1+x
230 El teorema del residuo
Por lo tanto
1 πi
∞
x− p 2πie− p
Z
dx = 2πi
0 1+x 1− e− p
2πi 1
= πi 1 − 2π
ep ep
π
= πi πi
p − p
e −e
2i
π
= .
π
sin p
Apéndice B
σ-homomorfismo
231
232 σ-homomorfismo
Ar = f −1 ([−∞, r]) .
Alfabeto griego
1. α-alpha
2. β-beta
3. γ, Γ-gamma
4. δ, ∆-delta
5. ε-epsilon
6. ζ-zeta
7. η-eta
8. θ, Θ-theta
9. ι-iota
10. κ-kappa
11. λ, Λ-lambda
12. µ-mu
13. ν-nu
14. ξ, Ξ-xi
15. o-omicron
16. π, Π-pi
17. ρ-rho
233
234 Alfabeto griego
18. σ, Σ-sigma
19. τ -tau
20. υ, Υ-upsilon
21. ϕ, Φ-phi
22. χ-chi
23. ψ, Ψ-psi
24. ω, Ω-omega
Bibliografı́a
[3] Haim Brezis. Functional Analysis, Sobolev Spaces and Partial Differen-
tial Equations. Springer, New York, 2010.
[5] Gerald Folland. Real Analysis, Modern Tecniques and Their Applica-
tions. John Wiley and Sons, Inc., New York, second edition, 1999.
[8] John McDonald and Neil Weiss. A Course in Real Analysis. Academic
Press, New York, 1999.
[11] H.L. Royden. Real Analysis. Prentice Hall, New Jersey, third edition,
1988.
235
236 BIBLIOGRAFÍA
[12] Walter Rudin. Real and complex analysis, volume 693. Mc Graw-Hill
Book Company, New York, second edition, 1987.
237
238 ÍNDICE ALFABÉTICO
de Bolzano-Weierstrass, 93
de Cotlar, 154
de cubrimiento de Vitali, 138
de descomposición de Hahn, 121
de diferenciación de Lebesgue, 142
de Fubini, 108–110, 112, 114, 180
de Hahn-Banach, 115
de la convergencia dominada, 86
de Lamberti, 220
de Radon-Nikodym, 121, 124
de representación de Riesz, 74, 79
de Riesz, 120–122
de Sikorki, 229
de Tonelli, 159, 163
de W.H. Young, 166
del residuo, 225
cálculo, 129
Interpolación de Marcinkiewick, 151
Transformada
de Fourier, 179
inversa de Fourier, 180
Traslación
continuidad de, 103
Urysohn
lema de, 59
Young, 18, 19
Espacios Lp,
editado por la Facultad de Ciencias de la
Universidad Nacional. Se utilizó papel Propalcote de 240 g
para la cubierta y Bond de 75 g para las páginas interiores.
Se imprimió en los talleres de Proceditor Ltda.,
Bogotá, Colombia, mayo de 2014.