Escolar Documentos
Profissional Documentos
Cultura Documentos
Departamento de Matematicas
Universidad Nacional de Colombia
Bogota - Colombia
ii
Introducci
on 1
2. Los espacios Lp 21
2.1. Funciones en Lp y sus normas . . . . . . . . . . . . . . . . . . 21
2.2. Supremo esencial . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.3. Lp no es un espacio normado . . . . . . . . . . . . . . . . . . 27
2.4. Los espacios lp . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.4.1. Desigualdad de Holder y Minkowski version discreta . . 38
2.4.2. El espacio lp y su norma . . . . . . . . . . . . . . . . . 40
2.4.3. Desigualdad de Hardy en lp . . . . . . . . . . . . . . . 45
2.4.4. Desigualdad de Hilbert en lp . . . . . . . . . . . . . . . 47
2.4.5. El espacio l . . . . . . . . . . . . . . . . . . . . . . . 50
2.5. Aproximaciones en Lp () . . . . . . . . . . . . . . . . . . . . . 57
2.6. Funcionales Lineales y Acotados sobre el Espacio Lp () . . . . 67
2.7. Espacios duales . . . . . . . . . . . . . . . . . . . . . . . . . . 86
2.8. Convergencia debil en Lp . . . . . . . . . . . . . . . . . . . . . 89
2.9. Continuidad de la traslacion en Lp () para 1 p < . . . . . 103
iii
iv INDICE GENERAL
5. Convoluci on 157
5.1. Resultados basicos . . . . . . . . . . . . . . . . . . . . . . . . 157
5.2. El soporte y la convolucion . . . . . . . . . . . . . . . . . . . . 168
5.3. Convolucion con funciones suaves . . . . . . . . . . . . . . . . 170
5.4. Aproximaciones de la identidad . . . . . . . . . . . . . . . . . 172
6. Potenciales 179
6.1. Potencial de Riesz . . . . . . . . . . . . . . . . . . . . . . . . . 179
6.2. Potenciales en Lp . . . . . . . . . . . . . . . . . . . . . . . . . 186
9. Isometra en Lp 217
B. -homomorfismo 229
Bibliografa 232
Indice alfab
etico 232
INDICE GENERAL 1
Introducci
on
El presente texto no pretende ser un tratado en espacios Lp (0 < p ),
lo cual sera una utopa, 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 va los espacios Lp .
Este texto esta dividido en captulos y a su vez cada captulo esta sub-
dividido en secciones. La mayora de los captulos finaliza con una seccion
de ejercicios. El objetivo de esta seccion es que el lector, a traves de la re-
solucion de los mismos, pueda comprobar el grado de dominio alcanzado de
las ideas y tecnicas presentadas en cada captulo. Por supuesto, cada seccion
de ejercicios contiene problemas de diferentes grados de complejidad, existen
algunos de rutina y otros que pueden verse como un reto. Todas las crticas
constructivas que redunden en beneficio de este trabajo, seran bienvenidas.
Cualquier error de transcripcion o de calculo es absoluta responsabilidad del
autor.
Erln Castillo
Rene
Bogota, Colombia
Funciones Convexas y
Desigualdades
xa bx
1t=1 =
ba ba
por otra parte notese que
x (b a) xb xa xb ab + ba xa
x= = =
ba ba ba
5
6 Funciones Convexas y Desigualdades
xa bx
x= b+ a,
ba ba
ahora bien de la convexidad de f resulta
xa bx
f (x) f (b) + f (a)
ba ba
(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)
.
xa ba
Recprocamente, 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 hipotesis
Corolario 1.3. Sea f convexa en (a, b) y a < x < y < z < b, entonces
Demostracion. 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
zy
0< <1
zx
hacemos
zy
t=
zx
as
yx
1t= .
zx
Notese que
zx yz yx yx zy
y=y = = z+ x
zx zx zx zx
luego
yx zy
f (y) = f z+ x
zx zx
de la convexidad de f tenemos que
yx zy
f (y) f (z) + f (x)
zx zx
(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)
zx zy
por lo tanto
f (y) f (x) f (z) f (x) f (z) f (y)
.
yx zx zy
de la continuidad de f tenemos
kn kn
f (x + (1 ) y) = f lm n x + 1 lm n y
n 2 n 2
kn kn
f (x + (1 ) y) = lm f x+ 1 n y
n 2n 2
1.1 Funciones Convexas 9
kn kn
lm n f (x) + lm 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
1 t
f (x0 ) f (x) + f (x0 u) (1.3)
1+t 1+t
teniendo en cuenta que f es acotada sobre B (x0 ) y operando adecuadamente
en (1.2) y (1.3) se tiene que
[M f (x0 )]
|f (x) f (x0 )| |x x0 | . (1.4)
Al considerar la posibilidad (b) tambien se obtiene (1.4), concluyendose que
f es continua en (a, b).
si a < f (x) < b para todo x y es una funcion convexa en (a, b),
entonces Z Z
f d f d.
( f )1 (A) = f 1 (1 (A)) A,
(t0 ) (y)
,
t0 y
(y) (t0 )
y t0
(y) (t0 ) + (y t0 )
Corolario 1.11. Bajo las hipotesis del Teorema 1.6 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 funcion 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
on 1.12. El corolario 1.11 generaliza la desigualdad de Jensen.
Ejercicios
i. es convexa.
14 Funciones Convexas y Desigualdades
ii. (x) = 0 x = 0.
Demostrar que:
n
! n
X X
f j xj j f (xj ),
j=1 j=1
son validas para todo conjunto medible E con 0 < (E) < .
13. Sea f una funcion medible positiva en [0, 1]. Cual 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?
umeros no negativos tal que
P
14. Sea {n }nN una sucesion de n n=1 n = 1
y {n }nN una sucesion de numeros positivos. Demuestre que
Y
X
nn n n .
n=1 n=1
16 Funciones Convexas y Desigualdades
15. Use el ejercicio anterior para demostrar que la media geometrica siem-
pre es menor o igual que la media aritmetica, es decir
p
n 1 + 2 + + n
1 2 n .
n
18. Sea g una funcion no negativa y medible en [0, 1]. Demuestre que
Z 1 Z 1
log g(t) dt log g(t) dt.
0 0
Notese 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
Por (1.10),
Z r Z f (r)
f (x) dx = rf (r) f 1 (y) dy, (1.13)
0 0
reemplazando (1.13) en (1.12) resulta
Z f (r) Z a
1
af (r) rf (r) rf (r) + f (y) dy + f (x) dx
0 0
Z a Z f (r)
af (r) f (x) dx + f 1 (y) dy.
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.14 (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 .
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 + et1 dt + 1
1 1
+ 1 b
= a log a + e [e e] + 1
= a log+ a + eb1 1 + 1,
20 Funciones Convexas y Desigualdades
finalmente,
ab a log+ a + eb1 .
Ejercicios
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
Captulo 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) = x1/4 , note
que f L1 (m), pero f
/ L4 (m) donde m denota la medida de Lebesgue.
21
22 Los espacios Lp
Observacion 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 | estan en Lp ().
A = {M > 0 : (EM ) = 0}
= {M > 0 : |f (x)| M c.t.p}.
2.2 Supremo esencial 23
luego,
|f (x)| kf k c.t.p.
Definici
on 2.9.
L () = {f : f : X R medible y kf k < } .
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 ().
26 Los espacios Lp
Observaci on 2.16. Los ejemplos 2.14 y 2.15 nos dicen bajo que condiciones
se pueden comparar los espacios Lp .
Observacion 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 funcion
1 si x Q [0, 1];
f (x) =
0 si x I [0, 1].
sin embargo, note que f no es identicamente la funcion 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 este relacionada con g si y solo si f = g
c.t.p, en smbolos f g f = g c.t.p. Es solo un asunto de rutina verificar
que define una relacion de equivalencia.
g1 f si y solo si g1 = f c.t.p
y
g2 f si y solo 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 .
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 .
Observaci
on 2.20. Consideremos la funcion
|x|1/2 si |x| < 1;
f (x) =
0 si |x| 1.
Observe que Z Z
dx
f (x) dx = p = 4,
R [1,1] |x|
as, f L1 (m), pero
Z Z
2 dx
f (x) dx = ,
R [1,1] |x|
as, f 2
/ L1 (m).
Ahora, queremos estudiar bajo que condiciones el producto de dos fun-
ciones de L1 () se queda en L1 (). El siguiente resultado nos dice que si
f Lp () y g Lq () para p y q n umeros conjugados es decir, p1 + 1q = 1, se
tendra que f g L1 (). Previo a la demostracion de este poderoso resultado,
necesitaremos el siguiente Lema.
30 Los espacios Lp
Demostracion. Definamos
(t) (0)
(a + tb)p ap + ptbap1 .
as, Z
|f g| d kf k1 kgk .
X
as, khkp1
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
32 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 Y n
Yn
fk d kf kpk .
X k=1
k=1
2.3 Lp no es un espacio normado 33
entonces,
kf gk1 kgk1
q kf kp
para g 6= 0, luego
1 1 1
sup kf gk1 kgkq : g 6= 0, + = 1 kf kp . (2.4)
gLq () p q
Por otra parte, supongamos f 6= 0 y g = c|f |p1 (c constante), entonces
|f g| = c|f |p ,
as,
kf gk1 = ckf kpp .
Si escogemos c = kf k1p
p , obtenemos
kf gk1 = kf k1p p
p kf kp = kf kp . (2.5)
Ahora bien,
|g|q = cq |f |q(p1)
e integrando ambos lados tenemos que
Z 1/q
p
kgkq = c |f | d
= kf kp1p kf kp/q
p
= kf kp1p kf kpp1
= 1.
Como f 6= 0, entonces kgk1
q = 1.
b) lm kf kp = kf k .
p
lm sup kf kp kf k . (2.8)
p
luego
1
lm inf kf kp (kf k ) lm inf [(A)] p ,
p p
de la arbitrariedad de resulta
lm inf kf k , (2.9)
p
kf k lm inf kf kp lm sup kf kp kf k .
p p
As que
lm kf kp = kf k .
p
2.3 Lp no es un espacio normado 35
Caso 2. p = . Sea {fn }nN una sucesion 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 funcion real y ademas
ltimo nos dice que {fn }nN es una sucesion uniforme de Cauchy
Esto u
en X \ E. Ahora, definamos
(
lm fn (x) si x X \ E;
f (x) = n
0 si x E.
lm 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 on 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 metrica inducida por la norma.
2.3 Lp no es un espacio normado 37
es decir,
Z Z Z
p p p p
2 |f | d 2 |f | lm sup |fn f |p d,
X X X
por lo tanto Z
lm sup |fn f |p d 0.
X
Como
Z Z
p
0 lm inf |fn f | d lm sup |fn f |p d 0,
X X
entonces,
lm kfn f kp = 0
n
38 Los espacios Lp
si lm kfn kp = kf kp .
n
|kfn kp kf kp | kfn f kp .
se sigue el resultado.
Observaci on 2.32. Para p = , el Teorema 2.31 es falso. En efecto, sea
{fn }nN L ([0, 1]) definida por fn = (1/n,1] , note que fn 1 c.t.p en
[0, 1]. Ademas,
kfn k = nf M : x [0, 1] : (1/n,1] (x) > M = 0 = 1
y k1k = 1, luego lm kfn k = k1k . Pero
n
kfn 1k = sup (1/n,1] (x) 1 = 1.
x(0,1]
n n
!1/p n
!1/q
X X X
|xk yk | |xk |p |yk |q
k=1 k=1 k=1
n
para todo x, y R .
|xk |p |yk |q
Demostracion. = P
n y = n
P .
|xk |p |yk |q
k=1 k=1
En virtud del corolario 1.14, resulta
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
n
!1/p n
!1/p n
!1/p
X X X
|xk + yk |p |xk |p + |yk |p
k=1 k=1 k=1
para todo x, y Rn .
Demostracion. Consideremos
n
X n
X
p
|xk + yk | = |xk + yk |p1 |xk + yk |
k=1 k=1
Xn n
X
p1
|xk ||xk + yk | + |yk ||xk + yk |p1
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
p p p p
|xk + yk | |xk | + |yk | |xk + yk | ,
k=1 k=1 k=1 k=1
as
40 Los espacios Lp
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
k |p
|k + e || |k |p + || k |p
|e
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
p p p
|k + e
k | || |k | + || |e
k | , (2.11)
k=1 k=1 k=1
esto u
ltimo muestra que x + y es un elemento de lp y por ende lp es un
subespacio de R .
2.4 Los espacios lp 41
Observaci
on 2.35. El resultado (2.11) generaliza la desigualdad de Min-
kowski.
Sea x lp , tomemos como norma de x la funcion
!1/p
X
kxkp = |k |p ,
k=1
dejamos como ejercicio demostrar que en efecto esta funcion 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
42 Los espacios Lp
ya que {k} = 1.
Como Z
X
p
|f (k)| = |f (k)|p d.
k=1
Z+
p
ltimo muestra que |f | es integrable si y solo si
Esto u
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 = | lm 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 < .
Mostrandose as que M es denso en lp , luego resulta lp separable.
Ahora, como 0 < p < q, entonces 0 < q p, as |n |qp < 1 si n > n0 , por
lo cual
|n |q < |n |p si n > n0 .
Sea M = max{|1 |qp , |2 |qp , . . . , |n0 |qp , 1}, luego
X
X
q
|n | = |n |p |n |qp
n=1 n=1
X
<M |n |p < +,
n=1
por lo tanto x lq .
2.4 Los espacios lp 45
La u
ltima serie es convergente en virtud del criterio de las series p,
as xn lq , por otra parte
X
p
X 1
|xn | = , (Serie armonica)
n=1 n=1
n
por lo tanto xn
/ lp .
n
!p
p X
X 1X p
ak apn .
n=1
n k=1 p1 n=1
An
Demostracion. Sea n = n
donde An = a1 + a2 + + an , luego
An = nn ,
as
a1 + a2 + + an = nn , (2.14)
de donde
an = nn (a1 + a2 + + an1 )
por (2.14)
an = nn (n 1)n1 .
Consideremos ahora
p p
np np1 an = np [nn (n 1)n1 ] np1
p1 p1
pn p(n 1)
= np n np1 + n1 np1 .
p1 p1
46 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 funcion
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
48 Los espacios Lp
definida en la region D2 = {z C : |z| > 1}, dado que z1 < 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 n1 p . (2.17)
n=0
= .
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
50 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 representara al conjunto de todas las sucesiones reales {n }nN aco-
tadas, es claro que l es un espacio vectorial. Como norma de x l ,
x = (1 , 2 , . . . , n , . . .) tomaremos
kxk = sup |n |,
nN
lm xn = x
n
y as l es completo.
El siguiente resultado nos muestra una manera naturalde introducir la
norma en el espacio l .
Teorema 2.46. lmp kxkp = kxk , donde
n
! p1
X
kxkp = |xk |p .
k=1
Pn 1
Demostracion. Observe que |xk | ( k=1 |xk |p ) p , as
|xk | kxkp
para k = 1, 2, 3, . . . , n, de donde
luego
kxk lm inf kxkp . (2.20)
p
luego
1
kxkp n p kxk ,
as
1
lm sup |xkp lm sup n kxk = kxk ,
p
p p
52 Los espacios Lp
es decir
lm sup |xkp kxk . (2.21)
p
de esto u
ltimo se concluye que
lm kxkp = kxk .
p
Ejercicios
lm kf kp = kf k .
p
donde Z
n = |f |n d, n = 1, 2, 3, . . .
X
2.4 Los espacios lp 53
11. Sea f Lp0 (X, A, ) para algun 0 < p0 < . Demostrar que
Z
lm |f |p d = ({x X : f (x) 6= 0}) .
p0 X
17. Usar el problema 13 para dar una demostracion alternativa del corolario
2.24.
que Z
lm |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-variacion se denota
por BVp ([a, b]). Si f BVp ([a, b]) demostrar que f 0 Lp ([a, b], L, m) y
ademas
Vp (f, [a, b]) = kf 0 kp .
T
36. (a) Sea f 1p< Lp () y supongamos que hay una constante C tal
que kf kp C, 1 6 p < . Demuestre que f LT ().
(b) De un ejemplo de una funcion f tal que f 1p< Lp () pero
f/ L ().
p 1/p
P 1 1
a) |Cn | k 1/q m= |anm ||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
ak ak .
k=1 k=1
En otro orden de ideas, sea (X, A, ) un espacio de medida. Que una funcion
simple s se anule fuera de un conjunto de medida finita significa que
Caso 1 f 0. Sabemos que existe una sucesion {sn }nN 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 (),
58 Los espacios Lp
lm |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
lm |sn f |p d = 0,
n X
es decir,
lm 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 funcion continua g Lp (R, L, m) tal que kf gkp < .
{x : g(x) 6= f (x)} V \ F,
en efecto, si x0 / V \ F , entonces x0 (V \ F )c , as x0 V c F ,
luego si x V c , entonces f (x0 ) = g(x0 ) = 0, lo que significa que
x0
/ {x : g(x) 6= f (x)}, de esta manera hemos exhibido que
{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 < .
Demostrandose as el caso 1.
y m( Ek ) < , Ek A.
Por el caso 1, para todo k N existe una funcion continua gk tal que
kEk gk kp < .
n|k |
Note que g = nk=1 k gk es una funcion continua en R y ademas en
P
virtud de la desigualdad de Minkowski
Xn
kg f kp =
k (gk Ek )
k=1 p
n
X
|k |kgk Ek kp
k=1
n
X
< |k |
k=1
n|k |
= .
Demostrandose as el caso 2.
Caso 3 Sea f una funcion arbitraria. En virtud del Lema 1 existe una fun-
cion s simple la cual se anula fuera de un conjunto de medida finita tal
que
kf skp < /2,
por el caso 2 existe una funcion continua g tal que
Entonces,
kf gkp kf skp + ks gkp < .
ltimo significa que (f g) Lp .
Esto u
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 () 63
Definici
on 2.53. Una funcion escalonada es una funcion de la forma
n
X
k Ik
k=1
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 funcion escalonada k tal que
kEk k kp < .
n|k |
64 Los espacios Lp
Note que
n
X
= k k
k=1
demostrandose as el caso 2.
Caso 3 Sea f una funcion arbitraria, en virtud del Lema 2.48 existe una
funcion simple s que se anula fuera de un conjunto de medida finita tal
que
kf skp < /2,
por el caso 2 podemos hallar una funcion escalonada tal que
ks kp < /2.
Finalmente,
kf kp < .
Demostracion. 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 () 65
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
X n X n
ak Ik bk Jk
k=1 k=1 p
X n
=
(ak Ik bk Ik + bk Ik bk Jk )
k=1
p
X n X n
=
(ak bk )Ik + bk (Ik Jk )
k=1 k=1 p
X n
X n
(ak bk )Ik
+
bk (Ik Jk )
k=1 p k=1 p
n
X n
X
|ak bk | kIk kp + |bk | kIk 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 )) + + max |ak | 1/p
2 k=1
2 1kn
= 0 ,
dado que |bk | |ak bk | + |ak | 2 + max1kn |ak |. Ahora, note que 0 0
si 0, as, podemos escoger tal que 0 < /2. Entonces, invocando una
vez mas la desigualdad de Minkowski tendremos que
n
X
f bk Jk
k=1 p
n
n n
X
X 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
[
QQQ= Q Q {q}
qQ
66 Los espacios Lp
F (f + g) = F (f ) + F (g)
kF (f )k M kf k
|F (f )|
kF k = sup .
f 6=0 kf k
ltimo muestra que F es acotado. Por otra parte, para 1 < p < ,
esto u
definamos
f = |g q1 | sign(g),
entonces
f g = |g|q1 sign(g)g = |g|q .
Por otra parte,
|f | = |g|q1 | sign(g)|,
de donde |f | = |g|q1 , entonces |f |p = |g|p(q1) , 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(q1) = ,
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|q1 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 () 69
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 Holder, por lo cual
resulta
kF k = kgk1 .
Ahora, si g L ()], entonces para > 0 dado se tendra
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
70 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 ademas, kF k = kgkq .
Lema 2.58. Sea g una funcion 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 |q1 sign(gn ),
de aqu
|fn | = |gn |q1 ,
luego
|fn |p = |gn |p(q1) ,
entonces
kfn kpp = kgn kqq
y ademas, |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
lm |gn |q = |g|q
n
72 Los espacios Lp
kgkq M.
E = {x : |g(x)| M + }
kf k1 = (E),
de donde
1
Z
M (E) = M kf k1 f g d (M + )(E),
0
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 sucesion 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-
cion 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
74 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.
de donde g Lq () y kgkq M
kF k = kgkq .
: [0, 1] R
entonces si
k = sign (Sbk ) (Sk ))
2.6 Funcionales Lineales y Acotados sobre el Espacio Lp () 75
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
(Sk ) (Sk ) = F (f ),
b
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 funcion escalonada de [0, 1] se puede escribir
como n
X
= ck S ,
k=1
2.6 Funcionales Lineales y Acotados sobre el Espacio Lp () 77
Ahora, consideremos una funcion f medible y acotada en [0, 1], entonces por
un teorema conocido de teora de la medida existe una sucesion {n }nN de
funciones escalonadas tal que f c.t.p, de donde resulta que la sucesion
{| f |p }nN es uniformemente acotada y tiende a cero en casi todo [0, 1],
entonces por el teorema de la convergencia acotada
lm kn f kp = 0
n
|F (f ) F (n )| = |F (f n )| kF kkf n kp ,
entonces
lm F (n ) = F (f ).
n
|n | M
gM gn gM,
entonces
|gn | gM M |g|,
78 Los espacios Lp
por lo cual
Z 1 Z 1
lm gn d = f g d
n 0 0
Z 1
lm F (n ) = f g d
n 0
Z 1
F (f ) = f g d
0
para cada f Lp [0, 1]. Sea f una funcion arbitraria de Lp [0, 1]. En virtud
del Teorema 2.55 para cada > 0 existe una funcion escalonada tal que
kf kp < .
Puesto que es acotada, tenemos entonces que
Z 1
F () = g d,
0
luego
1 Z 1
Z
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 () 79
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.
80 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
observese que {An }nN es una sucesion creciente, por induccion es facil
demostrar que
Xn
An = Ek .
k=1
es decir
n
X
T (An ) = (Ek ).
k=1
es decir
lm [(E) (An )] = 0,
n
as
lm kAn E kpp = 0,
n
luego
lm kAn E kp = 0.
n
lm T (An ) = T (E ).
n
Entonces
(E) = T (E )
= lm T (An )
n
n
X
= lm (Ek ),
n
k=1
esto u
ltimo nos dice que es una medida con signo. Ahora queremos
demostrar que
<< .
82 Los espacios Lp
E A. Luego
Z
g d = (X)
X
= T (X )
= T (1)
< ,
as g L1 ().
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 () 83
Z
= gs d.
X
por lo cual Z
T (s) = sg d
X
para toda funcion simple s Lp (), de aqu se sigue que
Z
sg d = |T (s)|
X
kT kkskp .
|T (f s)| + |s f ||g| d
X
kT kkf skp + ks f kp kgkq
= (kT k + kgkq ) kf skp
(kT k + kgkq )
<
kT k + kgkq + 1
< .
84 Los espacios Lp
|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 }nN 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 = |AXn .
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
lm |fn f |p d = 0.
n X
T (fn ) T (f ) (n ).
|fn g| |f g|; f g L1 () y lm fn g = f g,
n
86 Los espacios Lp
As, hemos demostrado (2.28), una vez mas por Holder 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 queramos demostrar.
X 0 = {f : X R | f es lineal}
Observaci on 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 < ).
Demostracion. Una P base de Schauder de lp es ek = (kj )j=1 . Si f (lp ) ,
entonces f (x) = kNk f (ek ) . Una vez mas, definamos T (f ) = (f (ek ))kN .
Queremos demostrar que la imagen de T esta en lq . Para ello, se define la
(n)
sucesion (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 o f (ek ) = 0.
Entonces
X n
X
n (n)
f (x ) = k f (ek ) = |f (ek )|q .
kN k=1
Como ademas
f (xn ) kf kkxn kp
n
! p1
X (n)
= kf k |k |p
k=1
n
! p1
X
= kf k |f (ek )|qpp
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.
88 Los espacios Lp
Haciendo n , obtenemos
n
! p1
X
|f (ek )|q kf k
k=1
n
X
x k ek = (0, . . . , 0, n+1 , . . .)
| {z }
k=1 n
2.8 Convergencia debil en Lp 89
y
X n
X
x k ek
=
k ek
0
k=1 k=n+1
y
X X
|f (x)| = k f (ek ) sup |f (ek )| |k | = kxk sup |f (ek )|
jN kN
kN kN
As,
kf k sup |f (ek )| = kT f k (2.37)
kN
2.8. Convergencia d
ebil en Lp
Consideremos la funcion x 7 cos(xn) para n = 1, 2, . . .. Note que
Z 2
cos2 (nx)dx = , para todo n N.
0
90 Los espacios Lp
Observe que Z 2
lm (x) cos(nx)dx = 0.
m 0
Los ejemplos anteriores motivan la siguiente definicion.
Definicion 2.66. Sea (X, A, ) un espacio de medida y 1 p, q tal que
1/p + 1/q = 1. Una sucesion de funciones {fn }nN en Lp () (1 p ) se
dice que converge debilmente a f Lp () si
Z Z
lm fn gd = f gd
n X X
Por hipotesis
sup |(fn )| < .
nN
implica que
sup k(fn )k < ,
nN
as
sup kfn kp < .
nN
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 }nN una sucesion de funciones en Lp 1 < p <
la cual converge casi en todas las partes a una funcion f Lp y ademas su-
pongamos que existe una constante M tal que kfn kp M , n N. Entonces
para cada g Lq se tiene que
Z Z
lm fn gd = f gd.
n
Sea M 1, luego
Por lo tanto Z 1
lm fn gdm = .
n 0
2.8 Convergencia debil en Lp 93
Sin embargo el Corolario 2.68 es cierto para el caso p = . Sea {fn }nN
una sucesion 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
lm fn gd = f gd.
n
1 1
Teorema 2.70. Sea 1 < p < y + = 1. Supongamos que {fn }nN
p q
Lp (R) con 1 = sup kfn kp < . Entonces existe f Lp (R) tal que kf kp M
n
y una subsucesion {fnk }kN {fn }nN tal que
Z Z
lm fnk g dm = f g dm,
n R R
con g Lq (R).
Dado que {Ck,1 }kN es una sucesion de numeros reales y ademas, por (2.38)
es acotada, entonces podemos invocar el Teorema de Bolzano-Weierstrass
para obtener una subsucesion {Ck1 ,1 } {Ck,1 } tal que
lm Ck1 ,1
k1
94 Los espacios Lp
existe. Podemos repetir este argumento con {Ck1 ,1 } para obtener una nueva
subsucesion {Ck2 ,h } con h = 1, 2 tal que
lm Ck2 ,h
k2
lm Ckm ,h
km
existe.
Por otra parte, podemos escoger de {gn }nN una familia densa en Lq (R),
denotemos esta por G y definamos
Z
T (g) = lm fkm g dm
m R
para todo gn1 , gn2 G. Una vez mas por la desigualdad de Holder se tiene
lm kg gn kq = 0
t
y
lm kgn kq = kgkq .
n
Observe que
|T (gn ) T (gL )| M kgn gL kq 0
cuando n , esto nos dice que {T (gn )}nN es una sucesion de Cauchy en
R, por lo tanto converge en R, digamos que su limite es T (g), es decir
T (g) = lm T (gn ),
n
2.8 Convergencia debil en Lp 95
para > 0.
luego
lm tp ({x X : |f (x)| > t}) = 0.
t0
As, Z
1
({x : |f (x)| > n}) p |f |p d,
n X
de donde
lm ({x : |f (x)| > n}) = 0,
n
entonces
Por lo tanto
|f | < c.t.p[].
98 Los espacios Lp
Entonces, Z Z
lm p
|f | d = lm ftp d = 0,
t {x:|f (x)|>t} t X
finalmente
Z
p
lm t ({x X : |f (x)| > t}) lm |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 extension u
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),
= |f |1 (E) (E).
As,
Z Z
|f | d = |f |1 (E) (x) d
X X
= (|f |1 (E))
= (E)
Z
= E d
0
Z
= d
0
Z
= dDf .
0
2.8 Convergencia debil en Lp 101
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 lm inf kf kp .
p
102 Los espacios Lp
i) S es un subespacio cerrado de X.
ii) Existe una constante M tal que
kf k M kf k2 f S.
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
vn (p) = vol(Blpn ) = vol{x lpn : kxkp 1}.
Observese que Rn = lpn . Calcular vn (p). Ayuda: Calcule la integral
Z
p
Ip = ekxkp 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 traslacion se tiene
que
m ((E ) ) < .
Por lo tanto
p
Z Z Z
p p1 p p
|Th f f | dm 2 |f | dm + |f | dm .
E E (E) 2
Por lo tanto
+ 2kf kp,{|x|>R}
< .
Operadores Integrales
3.1. Desigualdades b
asicas y algunos opera-
dores importantes
Definicion 3.1 (Operadores Compactos). Supongamos que X e Y son es-
pacios de Banach y B la bola unitaria en X. Un operador lineal T : X Y
se dice que es compacto si la clausura de T (B) (T (B)) es compacta en Y .
De este hecho es claro que T es acotado.
Definici
on 3.4. Un espacio metrico (X, d) se dice que es -compacto si se
puede expresar como la union contable de subespacios compactos.
y Z
|K(x, y)| d(y) C para casi todo x X.
X
107
108 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 basicas y algunos operadores importantes 109
para p = 1, entonces
Z Z Z Z
f (x, y) d d |f (x, y)| dd,
X Y X Y
por Fubini Z Z Z Z
f (x, y) d d |f (x, y)| dd.
X Y Y X
110 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 Holder) tenemos
Z Z p
f (x, y) d d
X Y
Z Z Z p1 !
= f (x, y) d f (x, y) d
d
X Y Y
Z Z Z p1
|f (x, y)| d f (x, y) d
d
X Y Y
Z Z Z p1 !
= |f (x, y)| f (x, y) d d d
Y X Y
Z Z 1/p Z Z q(p1) !1/q
|f (x, y)|p d f (x, y) d
d d
Y X X Y
luego
Z Z p 11/q Z Z p 1/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 basicas y algunos operadores importantes 111
Teorema 3.7. Sea K una funcion medible en (0, ) (0, ) tal que
K(x, y) = 1 K(x, y) para todo > 0 y ademas
Z
|K(x, 1)|x1/p dx = C < .
0
Para f Lp () definamos
Z
T f (y) = K(x, y)f (x) dx.
0
Entonces,
kT f kp Ckf kp .
Demostracion. Sea
Z 1/p
p
kT f kp = |T f (y)| dy
0
Z
Z
p 1/p
=
K(x, y)f (x) dx dy .
0 0
Z Z Z
|f (y)g(x)|
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 basicas y algunos operadores importantes 113
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
Definici
on 3.9 (Operador de Hardy). Sea f una funcion medible y positiva
en (0, ), el operador de Hardy se define como
1 x
Z
Hf (x) = f (y) dy.
x 0
Teorema 3.10 (Desigualdad de Hardy). Sea f Lp (0, ) positiva y 1 <
p < . Entonces
p
kHf kp kf kp .
p1
Observacion 3.11. Este ultimo resultado nos dice que H B(Lp (m)) donde
B(Lp (m)) denota al conjunto de todos los funcionales acotados en Lp (m).
Definicion 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
esta 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
on 3.15. Sean X e Y dos espacios vectoriales, un funcional lineal
T : X Y
(x)(f ) = f (x)
116 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 < 117
Observaci
on 3.17. En virtud del resultado anterior no es difcil demostrar
que
k(x)k = kxk,
lo que nos dice que es un isomorfismo isometrico de X en (X).
1 1
Demostracion. Si 1 < p < y p
+ q
= 1, consideremos
: Lq () (Lp ()) ,
definido por
(g) = (Fg )
R
para g Lq () donde Fg (f ) = X gf d.
Observe que es un funcional lineal y acotado, la acotacion la obtenemos
del hecho que
la u
ltima igualdad es consecuencia del Teorema
R 2.61. De nuevo por el Teorema
un f Lp () tal que (g) = X gf d para todo g Lq ().
2.61 existe alg
Por otra parte, para w (Lp ()) tenemos que
Z
w(Fg ) = Fg (f ) = f gd = (g) = (Fg )
X
3.3. El espacio L2
Definici on 3.20 (Producto interior). Sea (X, +, .) un espacio vectorial, una
funcion 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 esta inducida por
un producto interno si y solo si satisface la ley del paralelogramo, es decir, si
y solo 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 ademas
k k2 satisface la ley del paralelogramo (ver ejercicio 1). Por lo tanto se tiene
la siguiente
on 3.25. (L2 (), k k1 ) es un espacio de Hilbert.
Definici
Sea X un espacio con un producto interior. Si A es un subconjunto (no
vaco) 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 solo 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 .
120 Operadores Integrales
f (x) = hx, yi
a) fy + fz = fy+z
b) fy = fy
c) kfy k = kyk
3.3 El espacio L2 121
para cada y H, de esto u ltimo se tiene que x = F , esto nos dice que
la inmersion natural es sobreyectiva en H , por lo tanto H es un espacio
reflexivo.
y Z Z
|f |d |f |d ( < ).
X X
122 Operadores Integrales
Ademas esto nos dice que F esta bien definida, no es difcil ver que F es un
funcional lineal.
Ademas
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 ().
Sea En = g 1 + n1 , entonces
Z Z
1
(En ) = F (En ) = hEn , 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 123
de esto u
ltimo deducimos que
(En ) = 0 = (En )
y An = {g 1/n}. Entonces
Z
1 1
(An ) = F (An ) = hAn , 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 ) = hE , 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 = EA d = (E A) = gd
E X X Z EA Z
= A gd = g 1 gd.
E E
Demostracion. 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
La funcion f es u
nica en el sentido que si g es cualquier funcion medible
que satisface (3.2), entonces f = g c.t.p.[].
El siguiente ejemplo nos muestra que en el Teorema de Radon-Nikodym
la hipotesis de que debe ser una medida -finita no se puede omitir.
3.3 El espacio L2 125
Ejercicios
R
1. Demostrar que hf, gi = X
f gd con f, g L2 () es un producto in-
terno.
8. Sean fn , gn L2 () para n N. Si
Z Z
2
lm (fn f ) d = lm (gn g)2 d = 0.
n X n X
Demostrar que Z Z
lm fn gn d = f gd.
n X X
10. Sea I = [0, 1]. Sea f una funcion Lebesgue medible. Demostrar que
f L2 (I, L, m) si y solo si f L1 (I, L, m) tal que existe una funcion
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. Tambien,
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 127
a) f Lp () para cada 1 p 2.
b) lmp1+ kf kp = kf k1 .
R R
14. Si x2 |f (x)|2 dx < y |f 0 (x)|2 dx < , demostrar que si x
0, entonces
Z 1/2 Z 1/2
2 2 2 0 2
x|f (x)| 4 x |f (x)| dx |f (x)| dx .
x x
15. Sea f una funcion 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 sucesion {anP
}nN de n P tal que an+1 an n N.
umeros positivos
Considere AN = N a
n=1 n y defina f = n=1 an (n1,n) .
(T ) = { C : T I es no invertible}
T (x) = x.
128 Operadores Integrales
Observese que los valores propios de T son exactamente los n umeros com-
plejos para los cuales T I no es uno a uno, ademas 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.
1 x
Z
|Hf (x) Hf (0)| = [f (y) f (0)] dy
x 0
1 x
Z
|f (y) f (0)| dy
x 0
1
< x
x
=
para cada x [0, 1], en virtud del teorema fundamental del calculo obte-
nemos Z x
d
f (x) = f (y) dy = 0
dx 0
1 x
Z
H(1)(x) = 1(y) dy = 1,
x 0
Para hallar los valores propios de H, debemos hallar todos los n umeros
complejos = + i para los cuales existe una funcion 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
xf 0 (x) = (1 )f (x)
f 0 (x)
1 1
= 1 ,
f (x) x
integrando
1
ln f (x) = 1 ln x
130 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
Ademas,
0, si x = 0;
lm 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
ln f (t)dt
e
e x 0 xp dx f (x)xp dx
0 1p 0
para 0 < p < 1.
c) Sea f una funcion 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 p1
p p1 p
b p 1 [f (x)]p dx.
p1 0 b
d)
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) = x1/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) = 0 f (t) dt. Demostrar que
1/r
F (x) r s
Z Z 1/r
r r s
x x dx
|f (x)| x dx .
0 rs1 0
15. Sean s < r 1 y r > 1. Sea f una funcion diferenciable en casi todo
(0, ) tal que Z
|f 0 (x)|r xs dx < ,
0
ademas f satisface las siguientes propiedades:
a) f (0) = 0.
b) f () = lmt f (t) = 0.
Demostrar que
Z 1/r Z 1/r
r sr r 0 r s
|f (x)| x dx |f (x)| x dx .
0 rs1 0
22. Sea g una funcion medible y positiva en (0, ). Sea una funcion
convexa en (0, ). Demostrar que
Z Z x Z
1 dx dx
g(t) dt (g(x)) .
0 x 0 x 0 x
Captulo 4
Operador Maximal
137
138 Operador Maximal
Nota: E no esta cubierto por bolas disjuntas sin embargo esta cubierto
por bolas concentricas de radio tres veces su radio original.
4.3. Funci
on Maximal de Hardy-Littlewood
Definicion 4.3. Sea L1,loc(Rn ) . La funcion maximal de Hardy-Littlewood de
f se define como:
Z
1
M f (x) = sup |f (y)| dy.
0<r< m B(x, r)
B(x,r)
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
on 4.4. M f es semicontinua inferiormente y por lo tanto medible.
Demostracion. 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 sucesion {xk }kN en el conjunto x Rn : M f (x)
tal que xk x en Rn cuando k . Primero observemos que, co-
mo xk x, tendremos lm 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 lm 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)
140 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 Funcion Maximal de Hardy-Littlewood 141
Como
1
2x log x
no es integrable en la cercanas de x = 0, se tiene que M f
/ L1 (R). Ahora
bien, en descargo de esta situacion negativa, tendremos que si f L1 (Rn ),
entonces M f pertenece a L1 -debil.
on 4.5. Sea (X, A, ) un espacio de medida, una funcion f A
Definici
medible, se dice que pertenece al espacio de las funciones Lp -debil denotado
por WeakLp = Lp, (0 < p < ) si
C p
f
L(p,)
= nf C > 0 : Df () > 0
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,) .
Demostracion. Para cada R+ , definimos A = x : M f (x) > , de la
definicion 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
es decir Z
1
lm |g(y)| dm = g(x).
r0 m B(x, r)
B(x,r)
Z
1
E = x : lm sup |f (y)| dm f (x) >
r0 m B(x, r)
B(x,r)
F = {x : M (f g)(x) > }
144 Operador Maximal
luego
2
m F/2 < .
Ademas, 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
lm sup |f (y)| dm f (x) = 0
r0 m B(x, r)
B(x,r)
[m]-c.t.p. Como
Z
1
0 lm inf |f (y)| dm f (x)
r0 m B(x, r)
B(x,r)
Z
1
lm sup |f (y)| dm f (x) = 0 [m] c.t.p,
r0 m B(x, r)
B(x,r)
4.3 Funcion Maximal de Hardy-Littlewood 145
de aqu obtenemos
Z
1
lm |f (y)| dm f (x) = 0 [m] c.t.p
r0 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,
146 Operador Maximal
luego
x : M f (x) > x : M f (x) > /2 .
De esto u
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 .
148 Operador Maximal
1/q
m(E) kf kLp
Z
r r1 m(E) d
0
Z
Cq
+r r1
kf kqLp d
q
1/q
m(E) kf kLp
1 rq
h ir/q m(E)
= m(E) m(E) kf krLp + rC q kf krLp
qr
rC q 1 rq
= 1+ m(E) kf krLp .
qr
Finalmente
Z
rC q
1 rq
r
|T f (x)| dm 1 + m(E) kf krLp ,
qr
E
as Z 1 rq
|T f (x)|r dm Cr,q m(E) kf krLp ,
E
4.3 Funcion Maximal de Hardy-Littlewood 149
rC q
donde Cr,q = 1 + .
qr
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 .
150 Operador Maximal
kT f kL Akf kL ,
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, notese que kf/2 kL , entonces por hipotesis
2A
kT f (x)kL /2,
por lo tanto
m {x : |T f (x)| > /2} = 0.
4.3 Funcion Maximal de Hardy-Littlewood 151
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 on 4.15. Si reemplazamos 2A por cero, obtenemos que T es de
tipo debil (1, 1); ademas notese 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 recproco del teorema 4.14 se cumple.
donde
f (x) = f (x){x:|f (x)|} (x)
y
f (x) = f (x){x:|f (x)|>} (x).
0 {x:|f (x)|>/2}
4.3 Funcion Maximal de Hardy-Littlewood 153
Z
C p1
Z
+p p1 |f (x)|p1 dm d,
p1
0 {x:|f (x)|/2}
2|f
Z (x)|
Z
kT f kpLp pC p0 |f (x)|p0 pp0 1 d dm
Rn 0
Z Z
+ pC p1 p
|f (x)| 1 pp1 1 d dm
Rn 2|f (x)|
pp0 p0 Z
2 pC
= |f (x)|p0 |f (x)|pp0 dm
p p0
Rn
pp1 p1 Z
2 pC
+ |f (x)|p1 |f (x)|pp1 dm,
p1 p
Rn
esto es
2pp0 C p0 2pp1 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
2pp0 C p0 2pp1 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 Funcion Maximal de Hardy-Littlewood 155
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 debil (1, 1) y por el
q n
teorema 4.8 M |Sf | L (R ) y ademas
kM |Sf |q kL Ck|Sf |q kL .
Z
q q
C
1/q
m x : M (|Sf | (x)) > /2 q m x : |Sf (x)| > t dt
[Cq ,)
Z
C
q kf kpLp tp/q dt
[Cq ,)
= Cp kf kpLp .
As kf k p
Lp
m x : |T f (x)| > C .
Ejercicios
donde C = C(p, q, ).
Rb
3. Sea f unaRfuncion decreciente en [a, b] (a 6= 0) tal que 0 < 0
f (x) dx <
a
y 0 < 0 f (x) dx < . Demostrar que
Rb !
0
f (x) dx b
ln R a ln
0
f (x) dx a
156 Operador Maximal
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 = .
Captulo 5
Convoluci
on
5.1. Resultados b
asicos
Definici
on 5.1.
Sea E R definamos (E) R como (E) = (x, y)
2
R :xy E
Proposicion 5.2. Sea T : R2 R definida por T (x, y) = x + y. Entonces
T es continua en 0.
Demostracion. En primer lugar, queremos demostrar que T (V V ) = V + V
para V R, donde
V + V = x + y : x V, y V . En efecto, sea z T (V V ) existe
(x, y) V V tal que z = T (x, y) z = x + y con x V , y V
z V + V . As T (V V ) = V + V .
En segundo lugar, queremos demostrar que T es continuo en 0. Para ello
sea U una vecindad de 0 en R y V una vecindad de 0 tal que V + V U ,
note que V V es una vecindad de 0 en R2 pero
T (V V ) = V + V U,
demostrandose as la continuidad de T en 0.
Observaci on 5.3. Una demostracion alternativa de la proposicion 5.2, con-
siste en observar que R2 como espacio normado esta dotado de la norma
k(x, y)kR2 = kxkR + kykR ,
luego, para T (x, y) = x + y, se tiene
kT (x, y) T (x0 , y0 )kR = kx x0 + y y0 kR
kx x0 kR + ky y0 kR
= k(x x0 , y y0 )kR2
p
= (x x0 )2 + (y y0 )2 < = .
157
158 Convolucion
Esto u
ltimo, nos dice que la continuidad de T en (x0 , y0 ) es uniforme.
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).
Notese que para todo A R tenemos que
As
160 Convolucion
Z
(H) (K) dm m = 0. (5.5)
CR
es decir
Z
(H)(K) dm m = m m [(H) (K)] C R .
CR
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 (, )
= h1 f 1 (, ) .
Z Z Z
|(x, y)| dm m = |f (x y)| dx |g(y)| dy
RR R R
Z Z
= |f (x)| dx |g(y)| dy
R R
Z
= kf k1 |g(y)| dy
R
= kf k1 kgk1 < ,
si E = f 1 (, ), entonces E es medible, as
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 .
Definici
on 5.8. La funcion C definida en el teorema 5.7 recibe el nombre
de convolucion de f y g y se denota por f g, es decir
Z
(f g)(x) = f (x y)g(y) dy.
R
kf gk1 kf k1 kgk1 .
a) f g = g f (Conmutatividad)
5.1 Resultados basicos 163
b) (f g) h = f (g h) (Asociatividad)
c) f (g + h) = (f g) + (f h) (Distributividad)
Demostracion. Ejercicio.
Teorema 5.10. Sea g L1 (m) y f Lp (m) con 1 p . Entonces
kf gkp kgk1 kf kp
Demostracion. 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 Holder, el teorema de Tonelli y la
invariancia por traslacion 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 .
164 Convolucion
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.
4t
R R
nos conduce a
Zs
s/p s s/q
e Hf (e ) = e et/p f (et )et/q dt
Zs
st
= 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
= ey/q dy
0
=q
p
= ,
p1
Finalmente
p
kHf kp kf kp .
p1
T (f ) = f g.
Teorema 5.14 (W.H. Young). Sean p, q y r n umeros 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
Demostracion. Sean a, b y c n
umeros 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 basicos 167
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
168 Convolucion
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 on 5.17. Brezis observo que esta nocion no es adecuada cuando
trabajamos con clases de equivalencia tales como el espacio Lp , en virtud que
con la definicion 5.15 no es cierto que si f = g c.t.p entonces supp(f ) =
supp(g).
En tal sentido, se da la siguiente definicion.
on 5.18. x
Definici / supp(f ) si y solo si existe una abierto V tal que x V
y f = 0 casi en todo punto de V .
Si f es una funcion continua en Rn no es difcil verificar que esta nueva
definicion coincide con la definicion 5.15.
Por otra parte, si f = g c.t.p. en Rn (con la nueva definicion) es claro que
supp(f ) = supp(g). As, podemos hablar del soporte de una funcion f Lp
sin preocuparnos cual representante de la clase escogemos.
5.2 El soporte y la convolucion 169
pues si t
/ supp(f ), entonces f (t) = 0.
Analogamente si xt supp(g), entonces t xsupp(g), luego g(xt) =
0 si t
/ x supp(g). Se deduce que
Z
(f g)(x) = f (t)g(x t) dt.
supp(f )(xsupp(g))
5.3. Convoluci
on con funciones suaves
Definicion 5.21. Para m N denotamos C m la clase de funciones f (x) con
n
x R tales que las derivadas parciales hasta el orden m incluido existen y
son continuas.
El subconjunto de funciones de clase C m con soporte compacto se denota
C0m .
Similarmente C es el conjunto de todas las funciones infinitamente di-
ferenciables y C0 el subconjunto de las de soporte compacto.
Si = (1 , 2 , . . . , n ) es un multi-ndice con i {0, 1, 2, . . .}, podemos
considerar la derivada parcial
|| f
(D f )(x) =
x1 1 x2 2 xnn
Siendo || = 1 + 2 + + n .
Teorema 5.22. Si 1 p , f Lp (Rn , L, m) y k C0m , entonces
f k C0m y ademas
D (f k)(x) = (f D k)(x)
siempre que || = 1 + 2 + + n m.
Demostracion. Primero demostremos que si k es continua con soporte com-
pacto, entonces f k es continua.
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
lm |k(u + h) k(u)| du = 0.
h0 Rn
5.3 Convolucion con funciones suaves 171
Por lo tanto
Z
|f (x) f (x)| =
[f (x t) f (x)]k (t) dt
n
ZR
|f (x t) f (x)||k (t)| dt
Rn
Z
= |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
174 Convolucion
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 no 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
funcion 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
kk (2kf kp )p = C
5.4 Aproximaciones de la identidad 175
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
|f f (x)| 0 cuando 0
176 Convolucion
Ejercicios
1. Sean
3. Sean
( )
X
l1 (L )(Rn ) = f Lloc, : kf k,1 = kf kL (Qk ) <
kZn
n
l (L1 )(R ) = f Lloc,1 : kf k1, = sup kf kL1 (Qk ) <
kZn
donde Qk = Q0 + k y Q0 = [ 12 , 21 ]n . Si f l1 (L )(Rn ) y g
L (L1 )(Rn ) demostrar que f g L (Rn , L, m) y
kf gk 2n kf k,1 kgk1, .
5. Sea [a, b] R y > 0 tal que a + < b donde esta definida como
Rb
en el problema 1. Definamos h : R R por h(x) = a tx
dt para
todo x R. Demostrar que:
a) supp h [a , a + ]
b) h(x) = c (funcion constante) para todo x [a + , b ]
5.4 Aproximaciones de la identidad 177
Rb n
c) h es de clase C y h(n) (x) = tx
a xn
dt para todo x R y
d) La funcion 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) = 2
(x)
k=1
x k
n
X
= (i2xk )2 fb(x)
k=1
Xn
2
= 4 x2k fb(x)
k=1
= 4 |x|2 fb(x).
2
179
180 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 formula
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 )
() = .
( n2
)
En efecto, dado que || fb(x) es integrable obtenemos
Z Z
1 2ix 1
1
||2
F (|| fb(x))(x) = e 2 e d fb() d
C 0
Rn
Z Z
1 ||2
e2ix e fb() d 2 1 d
=
C 0
Rn
Z Z Z
1 ||2
e2ix e e2iy dy d 2 1 d
=
C 0
Rn Rn
6.1 Potencial de Riesz 181
Z Z Z
1 ||2
f (y) e2i(xy) e d dy 2 1 d
=
C 0
Rn Rn
Z Z
1 |xy|2
f (y) n2 e dy 2 1 d
=
C 0
Rn
Z Z
1
|xy|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)() = e2ixy fb(y).
y)() = f (y
f (xd
Entonces
(2)
Z Z
n
f (x y)|y| dy = |y| fb(y)e2ixy dy
()
Rn Rn
Z Z
(2) f (x y)|y|n dy g(x)dx =
()
Rn Rn
Z Z
|y| fb(y)e2ixy dy g(x)dx,
Rn Rn
6.1 Potencial de Riesz 183
luego
Z Z Z
(2) I f (x)g(x) dx = |y| fb(y) g(x)e2ixy 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
(f ))() = (2|x|) (f
(Id d)()
() = h, i = (0),
lm hfa , i = h, i S .
a
Z t Z
|f (x)| dx + |f (x)| dx < .
t
6.1 Potencial de Riesz 185
R
Finalmente, sea a < t , M =
|f (x)| dx y K = max |(x)|, entonces
x
|hfa (), i h, i|
= |haf (a), i h, i|
Z h u i
= f (u) (0) du
a
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 max (0)
|ut| a
Z u
+ |f (u)| du max (0) .
|u/t| a
|u|>t
Ahora, dado que |u| t y a > t , entonces ua < y as
Z u
|f (u)| du max (0) < M ,
|ut| a
ademas
Z u
|f (u)| du max (0) < 2K,
a
|ut|
|u|>t
luego
t
|hfa (), i h, i| < (M + 2K) si a> ,
lo que significa que
lm hfa , i = h, i.
a
Ejercicios
6.2. Potenciales en Lp
En la Seccion 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 accion en los espacios Lp (Rn ). Por esta razon, formulamos
el siguiente problema; dado con 0 < < n para cuales valores de p y q el
operador
I : Lp (Rn ) Lq (Rn )
es acotado? En otras palabras, cuando se tiene la siguiente desigualdad
1 (I ( ))(x) = I( )(1 x)
Z
1 (f )(y)
= dy
() |1 x y|n
Rn
= I f (x).
As
kI (f )kq = k1 (I ( (f )))kq
n
= q kI ( f )kq . (6.7)
Si
kI ( f )kq ckf kq ,
6.2 Potenciales en Lp 187
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 condicion es suficiente para dos casos excepcionales. Estos
n
suceden cuando p = 1, el cual implica que q = n y cuando q = , entonces
n
p = . Consideremos la funcion
(
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
kk k n
n ckk k1 .
n
Z Z n
(y) n
dy
|x y|n
dx C n .
n
n
R R
Si
1
g(y) = ,
|x y|n
notemos que g S , entonces con la ayuda del Teorema 6.5, obtenemos
Z Z
lm g(y)k (y)dy = g(y)(y)dy = g(0).
k
Rn Rn
n
C n .
|x|
Rn
Esto ultimo nos conduce a una contradiccion. El segundo caso atpico ocurre
cuando q = , de nuevo la desigualdad del tipo (6.5), no se puede obtener.
Una razon inmediata es que este es el caso dual del caso p = 1; sin embargo,
este caso (q = ) lo podemos ver directamente considerando la siguiente
funcion, sea
n (1+)
|x| log |x|
1
si |x| 21
f (x) =
si |x| > 21 .
0
con n (1 + ) donde es un numero positivo suficientemente peque
no. Ahora
n
queremos demostrar que f L (R ), en efecto
n
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 189
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
kI( )k Ck k n .
= Rn |B \ |
Z Z
n
|y| dy |y|n dy. (6.8)
\B B\
de donde
Z Z
n
|y| dy |y|n dy.
B
190 Potenciales
Como
Z Z R
n
|y| dy = n |B(0, 1)| rn1 rn 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
rn1 B(x, r) dr.
B x, d = (n )
0 0
Finalmente
Z Z
d(y)
rn1 B(x, r) dr.
= (n )
Rn |x y|n 0
Z Z 1/p
n 11/p p n
|f (y)||x y| dy C |f (y)| |x y| dy
Z p Z
n p1 p n
|f (y)||x y| dy C |f (y)| |x y| dy
Z Z Z
p p1 p n
|I f (x)| dx C |f (y)| |x y| dy dx
Z Z
p1 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 193
n
R
np
Si escogemos = Mkffk(x)
p
, 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 )
194 Potenciales
I : Lp Lq ;
es decir, kI f kq Ckf kp .
n
(b) Si q = n
, entonces
I : L1 L(1, n
n
)
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) = (4t)n/2 e 4t .
Sea Lp (Rn , L, m) con 1 < p < n/. Demostrar que
Z
1
I (x) = 1 t1 Pt (x) dt
2 () 0
Z
1
= t/21 Wt (x) dt.
(/2) 0
196 Potenciales
Captulo 7
7.1. Nociones b
asicas
Teorema 7.1. Lp () con 0 < p < 1 es un espacio completo
Demostracion. Sea {fn }nN una sucesion de Cauchy en Lp () con 0 < p < 1,
entonces Z
d(fn , fm ) = lm |fn (x) fm (x)|p d = 0,
n X
m
de aqu se sigue que para cada n umero natural k existe un menor n
umero
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
197
198 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 tambien lo hace la serie
X
(fnk +1 (x) fnk (x))
k=1
se sigue que
X
lm fnk (x) = fn1 (x) + (fnj +1 (x) fnj (x))
k
j=1
A demostrar que {fn }nN converge a f . Para ello observamos que por el Lema
de Fatou
Z Z
p
|fnk (x) f (x)| d = lm inf |fnk (x) fnj (x)|p d
X X j Z
lm 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
on 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 metrica en Lp .
b) d es invariante por traslacion y as (Lp , d) es un espacio vectorial topologi-
co.
c) Si A es convexo abierto no vaco, 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
200 Espacios Lp () con 0 < p < 1
es decir, d(f, g) = 0.
es decir,
d(f, g) = d(g, f ).
(a + b)p1 bp1
y
(a + b)p1 ap1
de donde,
b(a + b)p1 bp
y
a(a + b)p1 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
n1p 0
202 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
kgj 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 ;
hj (x) =
0 en otro caso.
Note que
Z 1 Z
p
|hj (x)| dx = |nf (x)|p dx
0 0
Z 1
p1
=n |f (x)|p dx
Z0 1
1
= 1p |f (x)|p dx
n 0
< r,
7.1 Nociones basicas 203
|f (h)| <
luego,
lm |f (h)| < lm = 0,
0 0
De la parte d) es claro que (Lp [0, 1]) = {0}, con lo cual se obtiene e).
Proposici on 7.5. Sea {fn }nN una sucesion 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 sucesion {fn }nN 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
kf kp
1
implica que
1
kf k kf kp (7.4)
Si 1, entonces (7.4) se cumple para C = 1 . Escojamos
C = nf {K : kf k Kkf kp f Lp (m)}
kf k kgk + khk
C(kgkp + khkp )
C
= 1/p1 kf kp .
2
Como p (0, 1), entonces
C
C,
21/p1
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 umero 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 basicas 205
(1 + t)p1 tp1
y
(1 + t)p1 1. (7.6)
De (7.6) obtenemos
t(1 + t)p1 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 ]
Observaci
on 7.8. Este u
ltimo resultado nos indica que
Z 1/p
p
kf kp = |f | d
X
no es norma en Lp (X) con 0 < p < 1 el resultado que sigue nos garantiza
con mas precision esta u
ltima afirmacion.
206 Espacios Lp () con 0 < p < 1
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 basicas 207
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
208 Espacios Lp () con 0 < p < 1
finalmente,
kf + gkp kf kp + kgkp .
Ejercicios
1p
ademas demuestre que N p es la mejor constante.
Captulo 8
Lp es un espacio uniformemente
convexo
El n
umero
x + y
() = nf 1
: kxk = kyk = 1, kx yk
2
se le llamara el modulo de convexidad. Notese que si 1 < 2 , entonces (1 ) <
(2 ) y (0) = 0 pues x = y si = 0.
El ejemplo mas inmediato de un espacio uniformemente convexo es un
espacio de Hilbert ya que su norma satisface la ley del paralelogramo, es
decir,
x + y
2 1
x y
2
2 2
2
= 2 (kxk + kyk )
2
,
209
210 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.
p2
2 p (|a|p + |b|p )2/p ,
de aqu obtenemos
p2
2(|a|2 + |b|2 )1/2 22 2p (|a|p + |b|p )1/p
p1
=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 1t
0 ,
2 2 2
de aqu
q q q/p
1 + |t|p
1+t 1t
+ ,
2 2 2
por lo cual
q q 1/q 1/p
1 + |t|p
1+t 1t
+ , (8.2)
2 2 2
integrando tenemos
Z Z Z Z
p p p1 p p
|f + g| d + |f g| d 2 |f | d + |g| d ,
es decir,
kf + gkpp + kf gkpp 2p1 (kf kpp + kgkpp ).
Ahora bien, si kf kp = kgkp = 1 y kf gkp , entonces
implica que
kf + gkpp 2p1 2 p
= 2p p ,
por lo tanto
f + g
p
1 ,
2
2
p
de donde
f + g
1
1/p p
2
1 ,
p 2 2
de esto u
ltimo obtenemos que
p
f + g
1
,
2 2
p
as p
Lp () .
2
214 Lp es un espacio uniformemente convexo
as
|f + g|2 |f g|2 1/2
p kf kp + kgkp
p p
+
,
2 2 2
p
de donde
|f + g|2 |f g|2 1/2
+
1.
2 2
p
en consecuencia
f + g
2
2
1
f g
2
2
p p
2
1 ,
2
por lo tanto
f + g
2
r
1 1 .
2 2
2
2 2
p
8.1 Convexidad Uniforme 215
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
un
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
216 Lp es un espacio uniformemente convexo
Captulo 9
Isometra en Lp
kT (f )kp = kf kp (f Lp ()).
| + |p + | |p 2(||p + ||p ),
y
| + |p + | |p 2(||p + ||p ).
para p < 2. Si p 6= 2, la igualdad ocurre si o es cero.
Demostracion. 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 Holder a 2 + 2 (ver Lema 2.33) as
2 p2
2 + 2 (p + r ) p (1 + 1) p
217
218 Isometra en Lp
o
2p 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(p2)
0 2 1
( + 2 )p2
y
||2(p2)
0 1
( 2 + 2 )p2
lo que es equivalente a
||p2
0 p2 1
( 2 + 2 ) 2
y
||p2
0 p2 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 u
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
220 Isometra en Lp
o
|f + g|p + |f g|p 2(|f |p + |g|p ) 0.
En ambos casos, por un resultado conocido de la teora de integracion de
Lebesgue resulta
Demostracion. Para cada conjunto A R Lebesgue medible tal que m(A) <
, definimos (A) por
Del hecho que T es una isometra en Lp (m) y en virtud del Lema 9.3 se sigue
que
T (A ) T (B ) = 0, c.t.p.[] en R.
Ademas A S B = A + B y T (A S B ) = T (A ) + T (B ), luego
[ [
(A B) = (A) (B), si A B = .
221
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 }jN una sucesion creciente
S de subconjuntos de R
S que m(Xj ) < para j = 1, 2, . . . y R = j=1 Xj , ademas sea E =
tal
j=1 (Xj ). Entonces enva subconjuntos medibles en R en subconjuntos
medibles de E y (R\A) = E\(A).
Tambien, si {Aj }jN es una sucesion de subconjuntos
S de R Lebesgue
medibles con m(Aj ) < , j = 1, 2, . . . y si A = j=1 Aj entonces A =
lmk kj=1 Aj , de la continuidad y acotamiento de T , se tiene que
P
k
X
T (A ) = lm T (Aj ).
k
j=1
(A) = 1 (A)
hC = T (X ),
as 1
kT (c )kp = khC kp = (m(C)) p ,
luego, para cada conjunto medible A, tenemos
C = CA + CAc ,
222 Isometra en Lp
de aqu, resulta
hC = T (CA ) + T (CAc ).
Sin embargo, arriba hemos demostrado que
As,
T (CA ) = hC (CA)
= hC CA (()).
Para la sucesion {Xj }iN considerada una linea arriba, definamos una funcion
h Lebesgue medible dada por
h = lm hXj .
j
T (A ) = lm T (Xj A )
j
= hA (()).
As, para cada funcion f simple y medible se tiene que
T (f ) = hf (()).
Sea f Lp (m), entonces en virtud del Lema 2.47 existe una sucesion {sn }nN
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 funcion analtica dentro
y sobre una curva simple cerrada excepto en los puntos z1 , . . . , zn que se
encuentra en el interior de esta. Entonces
I Xn
f (z)dz = 2i Res(f, z = zk ).
k=1
y
D
r A B
H G
E J x
225
226 El teorema del residuo
z = cos() + i sin() = ei .
Luego
En efecto,
1 1
!
2
(Rei ) p 2
(Rei ) p
Z Z
lm iRei d = lm iRei d
R 0 1 + Rei 0 R 1 + Rei
2
iRei
Z
= lm 1 d
0 R
(Rei ) p (1 + Rei )
Z 2
i
= lm 1 d
0 R (Rei ) p
Z 2
= 0d
0
=0.
1
! !
0
(rei ) p i 0
iei
Z Z
r
lm ire d = i lm 1 d
r0 2 1 + rei 2 e p r0 r p (1 + rei )
0
iei up
Z
= i lm i
d
2 e p u0 u(1 + ue )
0
iei
Z
= i (0)d
2 ep
=0.
Finalmente, resulta
1
x p 0
(xe2i )f rac1p
Z Z
i
2ie p = dx + dx
0 1+x 1 + xe2i
p1 1 2i
x p e p
Z Z
x
= dx dx
0 1+x 0 1 + xe2i
p1 1
x p
Z Z
x 2i
= dx e p dx
0 1+x 0 1 + x(cos(2) + i sin(2))
Z p1
2i x
=(1 e p ) dx.
0 1+x
228 El teorema del residuo
Por lo tanto
1 i
x p 2ie p
Z
dx = 2i
0 1+x 1 e p
2i 1
= i 1 2
ep ep
= i i
p p
e e
2i
= .
sin p
Ap
endice B
-homomorfismo
229
230 -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
231
232 Alfabeto griego
18. , -sigma
19. -tau
20. , -upsilon
21. , -phi
22. -chi
23. , -psi
24. , -omega
Bibliografa
[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.
233
234 BIBLIOGRAFIA
[12] Walter Rudin. Real and complex analysis, volume 693. Mc Graw-Hill
Book Company, New York, second edition, 1987.
235
236 INDICE ALFABETICO
de Bolzano-Weierstrass, 93
de Cotlar, 154
de cubrimiento de Vitali, 138
de descomposicion de Hahn, 121
de diferenciacion de Lebesgue, 142
de Fubini, 108110, 112, 114, 180
de Hahn-Banach, 115
de la convergencia dominada, 86
de Lamberti, 220
de Radon-Nikodym, 121, 124
de representacion de Riesz, 74, 79
de Riesz, 120122
de Sikorki, 229
de Tonelli, 159, 163
de W.H. Young, 166
del residuo, 225
calculo, 129
Interpolacion de Marcinkiewick, 151
Transformada
de Fourier, 179
inversa de Fourier, 180
Traslacion
continuidad de, 103
Urysohn
lema de, 59
Young, 18, 19