Está en la página 1de 52

Beca de Colaboracin

Curso 2012-2013
Universidad Complutense de Madrid

Espacios de Banach de Funciones

Irene Fernndez Varas

Trabajo dirigido por:


Fernando Cobos Daz

Directorio de Publicaciones del Departamento de Anlisis Matemtico


Seccin 1, Nmero 77, Vol. 184.

ndice
1. Introduccin.

2. Espacios funcionales de Banach


2.1. Normas funcionales . . . . . . . . . . . . . . . . . . . . . . . .
2.2. El espacio asociado . . . . . . . . . . . . . . . . . . . . . . . .

3
3
8

3. Espacios funcionales de Banach invariantes por reordenamiento


15
3.1. Distribuciones y reordenamientos decrecientes. . . . . . . . . 15
3.2. Una desigualdad de Hardy y Littlewood . . . . . . . . . . . . 21
3.3. Una funcin maximal. . . . . . . . . . . . . . . . . . . . . . . 26
3.4. Espacios invariantes por reordenamiento . . . . . . . . . . . . 31
4. Otras propiedades de los espacios
namiento.
4.1. La funcin fundamental . . . . . .
4.2. Los espacios L1 + L y L1 L . .
4.3. ndices de Boyd . . . . . . . . . . .
Referencias

invariantes por reorde. . . . . . . . . . . . . . .


. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .

36
36
42
45
51

1.

Introduccin.

Este trabajo se refiere a una clase de espacios que juega un papel importante en el Anlisis Matemtico: los espacios de Banach de funciones (ver [1]
[3]). Seguimos fundamentalmente la presentacin dada en los dos primeros
captulos de la monografa de Bennet y Sharpley [1]. As, comenzamos con la
definicin de norma funcional y espacio de Banach de funciones, estudiando sus propiedades bsicas. Despus vemos la nocin de espacio asociado
y mostramos que todo espacio de Banach de funciones X coincide con su
segundo espacio asociado X 00 . Todo esto se hace en el Captulo I.
El Captulo II se refiere a los espacios cuya norma es invariante por
reordenamiento. Comenzamos introduciendo la reordenada decreciente f
de una funcin f y mostrando las propiedades bsicas de esta operacin.
Seguimos con la desigualdad de Hardy-Littlewood, los conceptos de espacio de medida resonante y fuertemente resonante, y sus caracterizaciones.
Consideramos despus la funcin maximal f y sus propiedades. A continuacin pasamos al concepto de espacio invariante por reordenamiento (r.i.),
mostrando sus propiedades ms importantes, incluyendo el Teorema de representacin de Luxemburg.
Finalmente, el Captulo III trata de otras propiedades de los espacios r.i..
Consideramos primero la funcin fundamental y sus propiedades bsicas.
Encontramos los espacios de Lorentz al buscar el espacio r.i. ms grande
y el ms pequeo con una funcin fundamental dada. Mostramos tambin
las propiedades extremales de los espacios L1 + L , L1 L . Por ltimo
concluimos el trabajo con una seccin sobre los ndices de Boyd. En ella
usamos un teorema de interpolacin probado en [1] (ver tambin [2] y [4]
para ms detalles sobre el tema).

2.

Espacios funcionales de Banach

En este captulo estudiamos una clase de espacios de Banach de funciones


de gran inters en el Anlisis Matemtico. Los espacios Lp son Ejemplos
destacados de esta clase de espacios.
Primero, daremos las definiciones y las propiedades elementales que cumplen
esta clase de espacios. Despus hablaremos del espacio asociado, espacio que
guarda cierta semejanza con el dual.
Trabajaremos sobre un espacio de medida -finito (R, ), es decir, en el
que se puede elegir una sucesin (Rn )nN de subconjuntos de medida finita
tal que Rn = R.
Un conjunto medible se dir acotado si es de medida finita.

2.1.

Normas funcionales

Sea (R, ) un espacio de medida como antes. Ponemos M + = {funciones -medibles, f :


R [0, ]}. Adems, cuando digamos que algo sucede en casi todo punto,
nos referimos a casi todo punto.
Definicin 1. Una aplicacin : M + [0, ] es una norma funcional de
Banach si f, g, fn (n = 1, 2, ...) M + , a 0 y E R -medible se tiene
que:
(P1) (f ) = 0 f = 0 c.t.p
(af ) = a(f )
(f + g) (f ) + (g)
(P2) Si 0 g f c.t.p. (g) (f )
(P3) 0 fn f c.t.p. (fn ) (f )
(P4) (E) < (E ) <
R

(P5) (E) < E f d CE (f ), CE es una constante que depende


de E y pero no de f .

Como ya hemos dicho antes, los espacios Lp son ejemplos de este tipo de
espacio. Seguidamente lo probamos.
Teorema 1. Las normas de los espacios Lp son normas funcionales.
Demostracin. Caso 1 < p <
(P1) Es claro que f p d = 0 f = 0 c.t.p.
Tambin, p (af ) = ap (f ) y, por la desigualdad de Minkowski, p (f +
g) p (f ) + p (g).
R

(P2) Es trivial.
(P3) Se sigue del Teorema de la convergencia montona.
(P4) Si (E) <
1/p

Z

(E ) =

= (E)1/p <

(P5) Si (E) < , usando la desigualdad de Hlder, se sigue que


Z

f d =

f E d p (f ) (E)1/p

Los casos p = p = 1 son similares.

Llamaremos M = {f : R K : f es medible} y M0 = {f M :
f es finita en c.t.p.}. Aqu K es el cuerpo de escalares.
Dotamos a M0 de la topologa de la convergencia en medida en conjuntos de medida finita, lo que le convierte en un espacio vectorial metrizable.
Definicin 2. Sea una norma funcional. El conjunto X = X() = {f
M : (|f |) < } con kf kX = (|f |) se dice un espacio funcional de Banach.
Teorema 2. Sea una norma funcional y sea X = X(). (X, k kX ) es un
espacio lineal normado con las aplicaciones de espacios vectoriales usuales
y S X , M0 , donde S = {g M : g funcin simple}. En particular, si
fn f en X fn f en medida y por tanto existe una subsucesin que
converge puntualmente.

Demostracin. Sea f X y (E) < . Entonces E |f |d CE (|f |) <


, por lo tanto f es finita en casi todo punto. Por lo tanto X M0 y hereda
las operaciones que tenemos en M0 .
Usando (P1) y la definicin de k kX vemos que X es un espacio lineal
normado. Usando (P4) y la linealidad, tenemos S X.
Para ver que X se incluye en M0 de forma continua, veamos que si fn f
en X, fn f en M0 .
Si fn f en X, entonces (|fn f |) 0. Sea  > 0 y E R, con
(E) < .
{x E : |f (x) fn (x)| > }

Z
E

1
|fn f |d


1
CE (|f fn |) 0

Por lo tanto fn f en medida para cualquier E subconjunto de R con
medida finita y por lo tanto, fn f en M0 .
El resultado acerca de la subsucesin nos lo garantiza un resultado de Teora
de la Medida.

En el siguiente lema veremos que el resultado anlogo al Lema de Fatou, una


de las propiedades bsicas conocida en los espacios Lp , tambin se verifica
en los espacios funcionales de Banach.
Lema 1. Sea X = X() un espacio de Banach funcional, fn X.
1. Si 0 fn f c.t.p., entonces, o bien f
/ X y kfn kX f X y
kfn kX kf kX
2. (Lema de Fatou) Si fn f c.t.p. y lm inf n kfn kX < entonces
f X y kf kX lm inf n kfn kX
Demostracin.

1. Sale de la propiedad (P3).

2. Definimos hn (x) = nf mn |fm (x)|, se tiene entonces que 0 hn |f |


en c.t.p. Luego se sigue de (P3) y (P2) que
kf kX = (|f |) = lm (hn ) lm( nf (|fm (x)|)) = lm inf kfn kX <
mn

Adems, por ser f lmite de funciones de X se tiene que f es medible


y as f X.

La propiedad que vamos a ver en el siguiente teorema, se conoce como la


propiedad de Riesz-Fischer y equivale a ser completo si el espacio que consideramos es un espacio normado.
Teorema 3. Sea X un espacio de Banach funcional, fn X y kfn kX <
P
P
. Entonces fn converge en X a una funcin f y kf kX kfn kX . En
particular X es completo.
P

Demostracin. Sea t =
que:

n=1 |fn |,

ktN kX

N
X

y tN =

kfn kX

PN

n=1 |fn |.

As 0 tN t. Dado

kfn kX <

n=1

n=1

usando el lema anterior se tiene que t X y ktN kX ktk.


Adems, como
n=1 |fn (x)| converge puntualmente, se tiene que
converge puntualmente.
P

n=1 fn (x)

N
Sea f =
n=1 fn . Se tiene que sN f c.t.p. Entonces
n=1 fn , y sN =
para todo M , resulta que sN sM f sM cuando N . Adems,

lm inf ksN sM kX lm inf


N

N
X

kfn kX =

n=M +1

kfn kX 0, cuando M

n=M +1

Por el lema de Fatou, f sM X( f X) y kf sM kX 0. Por lo


tanto,
kf kX kf sM kX +ksM kX kf sM kX +

M
X
n=1

kfn kX kf kX

kfn kX

n=1

Esta desigualdad concluye la prueba.

El siguiente teorema, recoge las propiedades bsicas de los espacios de Banach que hemos visto hasta ahora:

Teorema 4. Sea una norma funcional y sea X = {f M : (|f |) < }.


Para cada f X, sea kf kX = (|f |). Entonces (X, k kX ) es un espacio de
Banach y f, g, fn M y subconjuntos medibles E de R se verifica:
(i) (Propiedad de retculo) Si |g| |f | c.t.p. y f X, entonces, g X
y kgkX kf kX . En particular, una funcin medible f pertenece a X
si y slo si |f | pertenece a X. En este caso, ambas tienen la misma
norma.
(ii) (Propiedad de Fatou) Supongamos fn X, fn 0 y fn f c.t.p. Si
f X, entonces kfn kX kf kX . Si f
/ X, entonces kfn kX .
(iii) (Lema de Fatou) Si fn X, fn f c.t.p. y lm inf n kfn kX <
f X y kf kX lm inf n kfn kX .
(iv) Toda funcin simple est en X.
(v) Para todo E R de medida finita, existe una CE constante finita tal
que
Z
|f |d CE kf kX ,
f X
E

(vi) Si fn f en X, entonces, fn f en medida en todo conjunto de


medida finita, en particular, una subsucesin de {fn } converge a f en
c.t.p.

Veamos ahora una propiedad til acerca de las topologas en los espacios
funcionales de Banach.
Teorema 5. Sean X, Y espacios funcionales de Banach sobre el mismo
espacio de medida. Si X Y , entonces, X , Y , es decir, existe C > 0 tal
que para todo f X se tiene kf kY Ckf kX .
Demostracin. Supongamos que X Y pero no existe C tal que kf kY
Ckf kX , f X. Entonces existen funciones fn X tales que kfn kX 1
pero kfn kY > n3 , n N.
Podemos suponer fn 0 (si no, cambiamos fn por |fn |). Usando el Teorema 3, tenemos que
X fn

n2

converge a f en X

Como X Y , se tiene que f Y , pero esto no puede ser, ya que:


0

fn
1
f kf kY 2 kfn kY > n, n N
2
n
n
7

Lo cual es una contradiccin.

Corolario 1. Si dos espacios funcionales de Banach tienen las mismas


funciones, entonces sus normas son equivalentes.

2.2.

El espacio asociado

El espacio asociado se define con cierta analoga al espacio dual. Recordemos la desigualdad de Hlder en los espacios Lp :
Z
R

1
1
+ 0 = 1,
p p

|f g|d kf kLp kgkLp0 ,

1p

Se tiene tambin que


Z

kgkLp0 = sup

|f g|d : f Lp , kf kLp 1

Vamos a definir la norma asociada basndonos en esta frmula.

Definicin 3. Si es una norma funcional, su norma asociada se define en


M + mediante:
0

Z

f gd : f M , (f ) 1 ,

(g) = sup

g M+

Hacemos notar que hemos prescindido del valor absoluto ya que ambas funciones son de M + .

Teorema 6. Si es una norma funcional, la norma asociada 0 tambin lo


es.
Demostracin. (P1) 0 (g) = 0 g = 0 c.t.p.
Supongamos que g = 0 c.t.p. Si (f
) 1, f es finita en casi
R
todo punto, ya que X , M0 por loR tanto f gd = 0, luego 0 (g) = 0.
Si 0 (g) = 0, tenemos que f g = 0 para cualquier f de M +
verificando que (f ) 1.

Sea E R medible y con (E) < , luego 0 < (E ) < . Tomamos


f = (1E ) E . As (f ) = 1 y obtenemos:
Z

f gd =

0=
R

1
(E )

gd
E

Por tanto, g = 0 en casi todo punto de E y como E es un conjunto


arbitrario y nuestra medida es finita, tenemos que g = 0 en c.t.p.
de R.
Usando las propiedades del supremo se obtiene: 0 (ag) = a0 (g) y que
0 (f + g) = 0 (f ) + 0 (g).
(P2) Trivial
(P3) Sean gn , g M + , 0 gn g. Usando (P2) se obtiene que 0 (gn )
0 (g), n N.
Si n0 N tal que 0 (gn0 ) = ya hemos acabado.
Si este caso no se da, entonces 0 (gn ) < para cualquier
natural.
R
Sea < 0 (g), entonces existe una f M + tal que f gd > , con
(f ) 1. Ahora, como f gn f g, usando el teorema de la convergencia
montona
Z

f gn

f g > luego existe un N tal que ,

f gn > ,

n N.

Por lo tanto, 0 (gn ) > , n N y as 0 (gn ) 0 (g).


(P4) Si (E) < ,
usando la propiedad (P5)R de sabemos que existe una
R
CE tal que E f d CE (f ), entonces R E f d CE (f ), luego
0

Z

E f d : f M , (f ) 1 CE < .

(E ) = sup
R

(P5) Sea E, con (E) < . Si (E) = 0 no hay nada que probar.
Supongamos que (E) > 0, usando (P4) de , podemos denotar CE0 =
(E ) < . La funcin f = (1E ) E verifica (f ) = 1 y si tomamos
ahora una g M + , se cumple:
Z
E

gd = CE0

Z
R

f gd CE0 0 (g)

y queda probado lo que queramos.

Definicin 4. El espacio de Banach funcional X(0 ) se llama espacio asociado de X y lo denotamos como X 0 . Ponemos
Z

kgkX 0 = (g) = sup

|f g|d : f X, kf kX = 1 .
R

Teorema 7. (Desigualdad de Hlder) Sea X un espacio funcional de Banach, con espacio asociado X 0 . Si f X y g X 0 entonces f g es integrable
y se tiene
Z
R

|f g|d kf kX kgkX 0
R

Demostracin. Si kf kX = 0 f = 0 c.t.p. R |f g|d = 0 = 0kgkX 0 .


Si kf kX 6= 0 f /kf kX tiene norma 1 en X, por tanto

Z
f



kf k g d kgkX 0
R

y multiplicando ambos miembros por kf kX se sigue el resultado.

El siguiente teorema se deduce de todas las propiedades probadas anteriormente:


Teorema 8. Sea 1 p y
asociado de Lp .

1
p

1
p0

= 1. Entonces, Lp es el espacio

El lema que veremos a continuacin, nos da una especie de recproco para


la desigualdad de Hlder.
Lema 2. (Teorema de resonancia de Landau) Una funcin medible g pertenece
a X 0 si y slo si f g es integrable para cualquier f X.
Demostracin. Desigualdad de Hlder.
Supongamos que 0 (|g|) = pero f g es integrable para
cualquier f
R
X.Entonces existen funciones fn 0 tal que kfn kX 1 y R |fn g|d > n3 .
P
1
Por la propiedad de Riesz-Fischer, f =
n=1 n2 fn X. Sin embargo f g no
es integrable, ya que
Z
R

|f g|d

1
n2

|fn g|d > n.

Esta contradiccin muestra que la condicin es suficiente.


10

El prximo teorema nos dar una propiedad interesante que no siempre se


cumple con el dual. En trminos de duales, se habla de espacios reflexivos si
el espacio coincide con su bidual. Con los asociados no tenemos que hacer
esta distincin ya que ocurre siempre.
Teorema 9. (Lorentz-Luxemburg) Todo espacio funcional de Banach X
coincide con su segundo espacio asociado X 00 . Es decir, una funcin medible
f pertenece a X si y slo si pertenece a X 00 , y en ese caso kf kX = kf kX 00 .
Demostracin. Si f X, usando la desigualdad de Hlder, f g es
integrable para cualquier g X 0 y usando el lema anterior con X 0 en vez de
con X se tiene que f X 00 . Adems:
Z

kf kX 00 = sup

|f g|d : kgkX 0 1 kf kX

(en la ltima desigualdad hemos vuelto a usar la desigualdad de Hlder)


Elegimos una sucesin creciente de conjuntos RN , (N = 1, 2, ...) de meS
dida finita tal que n Rn = R (que es posible por ser una medida finita)
Para cada N y cada f X 00 , consideramos
fN (x) = mn(|f (x)|, N )RN (x)
Tenemos que 0 fN N RN . Usando el Teorema 4/(i),(iv), deducimos
que fN X, y fN X 00 . Adems, como 0 fN |f |, se tiene, usando
el teorema 4/(ii), que basta probar que kfN kX kfN kX 00 para tener que
kf kX kf kX 00 .
A partir de ahora, consideramos N y f fijos. Podemos suponer que kfN kX >
0 (el caso en el que vale cero es trivial)
Llamamos L1N = {g : integrable en RR con soporte en RN }.
Si dotamos a L1N con la norma g RN |g|d, obtenemos un espacio de
Banach. Sea S la bola unidad cerrada de X y U = S L1N . El conjunto U es convexo en L1N . Adems U es cerrado: (hn ) U, hn h.
El Teorema 2 nos garantiza la existencia de una subsucesin (hnk ) que
converge puntualmente a h. Como hnk S, usando el Teorema 4/(iii),
khkX lm inf k khnk kX 1. Luego h S y por lo tanto h U . Queda
probado que U es un subconjunto convexo y cerrado de L1N .
N
Sea > 1. Consideramos g = kff
, verifica que g L1N (integrable
N kX
en R y con sop(g) RN ), pero kgkX = > 1 por lo tanto, g
/ S
y consecuentemente g
/ U . Por el teorema de separacin de convexos de
Hahn-Banach, existe un hiperplano cerrado que separa g y U , esto es existe
6= 0, L (R, ) que puede ser elegida con soporte en RN tal que
Z

Re

Z

hd < < Re
RN

RN

11

gd

para cierto R y para todo h U . De hecho, si consideramos =


observamos que |h| U si y slo si h U .
Por lo tanto,
Z

sup
hU

Z

|h|d < Re

gd

RN

RN

||
,

|g|d

RN

Por otro lado, una funcin arbitraria h de S, al restringirla a RN es el lmite


puntual de la sucesin creciente de truncamientos:
hn (x) = min(h(x), n)RN (x)
cada hn L1N , hn S por lo tanto hn U . Por el Teorema de la convergencia montona, podemos cambiar el supremo en U por el supremo en S. Por
tanto:
Z
Z

kkX 0 = sup
|h|d <
|fN |d
kfN kX RN
hS RN
R

Equivalentemente, usando la desigualdad de Hlder, kfN kX < R fN kk 0 d


X
kfN kX 00 .
Haciendo tender a 1 se obtiene kfN kX kfN kX 00 . Esto termina la demostracin.

El lema que sigue muestra una similaritud con el espacio dual.


Lema 3. La norma de una funcin g en el espacio asociado X 0 viene dada
por:


 Z


kgkX 0 = sup f gd : f X, kf kX 1
R

supf S R |f g|d = kgkX 0 .


Demostracin. Claramente
supf S | R f gd|
R
R
Veamos que supf S R |f g|d supf S | R f gd|.
Consideramos E = {x R : g(x) 6= 0}. Podemos escribir g(x) = |g(x)|(x), |(x)| =

1, por lo tanto |g(x)| = g(x)(x)


en E.
R
R
R

Para cualquier f de S se da que


|f g|d =
|f g|d =
|f |g(x)(x)d.
R

Ahora, definimos
h(x) =

si x E
|f |(x)

si x
/E

Es claro que |h(x)| |f (x)|, luego h S. Asi


Z
R

|f g|d =

Z
R

hgd

que era lo que nos faltaba por demostrar.


12

hgd sup
f S

f gd

Definicin 5. Un subespacio B del dual X de un espacio de Banach X


se dice normante si kf kX = sup{|L(f )| : L B, kLkX 1} para cualquier
f de X. Es decir, B es normante si contiene suficientes funcionales para
reproducir la norma de X para cualquier elemento.

Teorema 10. El espacio asociado X 0 de un espacio de Banach X es cannicamente isomtricamente isomorfo a un subespacio cerrado normante de X
Demostracin. Para cada
g X 0 definimos : X 0 X , (g) = Lg , donde
R
Lg : X K, Lg (f ) = R f gd.
Es un funcional lineal, adems, para ver que el funcional es continuo basta
usar la desigualdad de Hlder.
Adems es inyectivo, ya que si Lg (f ) = 0 f X, usando la Definicin 4
acerca de la norma del dual, se obtiene que g = 0.
Por lo tanto, es un isomorfismo de X 0 a un subespacio lineal de X .
Veamos que es una isometra. Se tiene

 Z



kLg kX = sup{|Lg (f )| : kf kX 1} = sup f gd = kgkX 0
kf k1

Como X 0 es completo, (X 0 ) es cerrado en X .


Finalmente, si f X, tenemos, por el Teorema 9


 Z


0


0
kf kX = kf k = sup f gd : g X , kgkX 1
R


0
X 00

= sup |Lg (f )| : g X , kLg kX 1

Luego la imagen de X 0 es normante en X .

La relacin entre espacios y sus asociados es la misma que tenamos con los
espacios y sus duales, como veremos en esta ltima proposicin.
Proposicin 1. Si X, Y son espacios de Banach y X , Y , entonces Y 0 ,
X 0 . Adems si kf kY ckf kX , f X, entonces se tiene, para cada g Y 0 ,
que kgkX 0 ckgkY 0 .

13

Demostracin.
Z

kgk

X0

|f g| d : f X, kf kX 1

= sup
ZR

sup

|f g| d : f Y, kf kY c
R
Z

|f g| d : f Y, kf kY 1

= c sup
R

= ckgkY 0

14

3.

Espacios funcionales de Banach invariantes por


reordenamiento

Este captulo se dedica a los espacios funcionales de Banach con la propiedad


de que dos funciones equimedibles tienen la misma norma.
Para ello, comenzamos definiendo la reordenada decreciente de una funcin
y mostrando sus propiedades ms importantes. Veremos que esta reordenada nos da mucha informacin relevante sobre la funcin.

3.1.

Distribuciones y reordenamientos decrecientes.

Consideramos (R, ) un espacio de medida finito.


Definicin 6. La funcin de distribucin f de una funcin f M0 viene
dada, para 0, por
f () = {x R : |f (x)| > }

Definicin 7. Dos funciones f M0 (R, ), g M0 (S, ) se dicen equimedibles si tienen la misma funcin de distribucin.

Proposicin 2. (Propiedades) Sean f, g, fn M0 (R, ) y a K, a 6= 0.


Entonces, f es no negativa, decreciente y continua por la derecha en [0, ).
Adems:
(1) Si |g| |f | c.t.p. g f
(2) af () = f (/|a|), 0
(3) f +g (1 + 2 ) f (1 ) + g (2 ), 1 , 2 0
(4) Si |f | lm inf |fn | c.t.p., entonces f lm inf fn . En particular,
|fn | |f | c.t.p. implica fn f .

15

Demostracin. Claramente f es no negativa y decreciente (0 1 < 2


f (1 ) f (2 )) Para ver la continuidad por la derecha, sea E() = {x :
|f (x)| > }, 0 y sea 0 0. Los E() aumentan a medida que
decrece y



[
[
1
E() =
E 0 +
E(0 ) =
n
n=1
>
0

Entonces, por el Teorema de la convergencia montona:


1
0 +
n

1
= E 0 +
n




(E(0 )) = f (0 )

Las propiedades (1) y (2) salen de la definicin.


(3) Si |f (x) + g(x)| > 1 + 2 |f (x)| > 1 o |g(x)| > 2 lo que implica la
desigualdad buscada.
(4) Sea 0 fijo. Sea E = {x : |f (x)| > }, En = {x : |fn (x)| > }.
Claramente,
E

\
[

En

m=1 n>m

Por tanto
!
\

En

n>m

nf (En ) sup nf (En ) = lm inf (En )


n>m

m n>m

Pero n>m En crece con m, por tanto, usando el Teorema de la convergencia


montona:
!

(E)

[\
m nm

En

= lm
m

\
n>m

En

lm inf (En ).
n

Esto da (4).

Ejemplo 1. Supongamos f (x) = nj=1 aj Ej (x), donde Ej Ei = , j 6= i,


(Ei ) < , para todo i y con a1 > a2 > ... > an > 0.
Si > a1 f () = {x R : |f (x)| > > a1 } = () = 0.
Si a2 < a1 f () = {x R : |f (x)| > a2 } = (E1 ).
Si a3 < a2 < a1 f () = (E1 E2 ).
Si < a3 f () = (E1 E2 E3 ).
P
P
As pues, tenemos que f () = nj=1 mj [aj+1 ,aj ) (), donde mj = ji=1 (Ei ).
P

16

En la figura de la izquierda est representada f y en la de la derecha f .

Definicin 8. Sea f M0 (R, ). El reordenamiento decreciente de f es la


funcin f , definida en [0, ) por:
f (t) = nf{ : f () t}

(t 0)

Observaciones
Ponemos por convenio nf = . As, si f () > t, para todo 0
se tiene que f (t) = .
Si (R, ) es un espacio de medida finito, entonces f () (R), para
todo 0. Luego f (t) = 0, para todo t (R).
Si f es continua y estrictamente decreciente, entonces f es la inversa
de f .
Obsrvese tambin que si primero se construye f y despus la funcin
de distribucin mf de f respecto a la medida de Lebesgue en [0, ),
entonces sta ltima funcin es precisamente f ya que
f (t) = sup{ : f () > t} = mf (t)

Ejemplo 2. (a) En el ejemplo anterior,


Si t m3 , f (t) = nf{ : f () t} = 0.
Si m3 > t m2 , f (t) = nf{ : f () t} = a3 .
Siguiendo el mismo razonamiento y estudiando cada caso, se obtiene
f (t) =

n
X

aj [mj1 ,mj ) (t),

j=1

17

m0 = 0

(b) Podemos escribir las funciones simples con bloques horizontales en vez
de verticales. Con la funcin del ejemplo anterior:
f (x) =

n
X

bk Fk (x)

k=1

con bk 0 y (Fk ) < , F1 F2 ... Fn . Donde bk = ak ak+1 y


S
Fk = kj=1 Ej .
En este caso, la reordenada decreciente puede verse como cortar cada bloque
en sus secciones horizontales y pegarlas para formar un nico bloque horizontal pegado al eje.
f =

n
X

bk [0,(Fk ))

k=1

18

La grfica de la izquierda corresponde a f y la de la derecha a f .


(c) Sea f (x) = 1 ex , 0 < x < . mf es infinita para 0 < 1 e
igual a cero para 1. Por lo tanto, f (t) = 1, t 0. En este ejemplo
se ve que puede haber una prdida de informacin al pasar a la reordenada
decreciente, sin embargo, las normas Lp se conservan, como ya habamos
mencionado en la introduccin del captulo.

Proposicin 3. Supongamos f, g y fn M0 (R, ), a K. f es no negativa,


decreciente y continua por la derecha en [0, ). Adems
(1) |g| |f | c.t.p. implica que g f
(2) (af ) = |a|f
(3) (f + g) (t1 + t2 ) f (t1 ) + g (t2 )
(4) Si |f | lm inf n |fn | c.t.p., entonces f lm inf n fn . En particular, |fn | |f | c.t.p. implica fn f .
(5) f (f ()) si f () < y f (f (t)) t si f (t) < .
(6) f y f son equimedibles.
(7) (|f |p ) = (f )p (0 < p < )
Demostracin. Dado que f = mf , por las propiedades de las funciones
de distribucin tenemos que es no negativa, decreciente y continua por la
derecha. Usando esas mismas propiedades obtenemos tambin (1) y (4).
(2) (af ) (t) = maf (t) = sup{ : af () > t} = sup{ : f (/|a|) >
t} = sup{|a| : f () > t} = |a| sup{ : f () > t} = |a|f (t).
(5) Sea 0 y supongamos que t = f () es finito. Entonces
f (f ()) = f (t) = nf{0 : f (0 ) t = f ()}
Para la segunda parte, sea t 0 y supongamos que = f (t) es finito. Dado
que f (t) = nf{ : f () t}, n tal que n con f (n ) t, usando
la continuidad por la derecha, tenemos:
f (f (t)) = f () = lm f (n ) t
n

19

(3) Supongamos que = f (t1 ) + g (t2 ) es finito. (Si no, ya habramos


acabado) Sea t = f +g (). Por la desigualdad triangular y (5):
t = {x : |f (x) + g(x)| > f (t1 ) + g (t2 )}
{x : |f (x)| > f (t1 )} + {x : |g(x)| > g (t2 )}
= f (f (t1 )) + g (g (t2 )) t1 + t2 t <
Adems, usando que es decreciente y de nuevo (5): (f + g) (t1 + t2 )
(f + g) (t) = (f + g) (f +g ()) = f (t1 ) + g (t2 ).
(6) Sea f M0 . Podemos encontrar funciones simples no negativas fn tales
que fn |f |. Adems, n N, fn y fn son equimedibles, ya que para las
funciones simples es trivial verlo, esto es:
fn () = mfn ()

( > 0)

Pero fn |f | y fn f por (4), luego usando la Proposicin 2/(4), obtenemos que f () = mf () y por lo tanto f y f son equimedibles.
(7) Tenemos |f |p () = f (1/p ) = mf (1/p ) = m(f )p (), luego (|f |p ) =
nf{ : |f |p () t} = nf{ : m(f )p () t} = ((f )p ) = (f )p .

La siguiente proposicin nos describe las normas de Lp a travs de la reordenada decreciente y de la funcin de distribucin. En particular muestra
que las normas Lp de f y f coinciden.
Proposicin 4. Sea f M0 , si 0 < p < , entonces:
Z

|f |p d = p

p1 f ()d =

(f (t))p dt

Adems, en el caso p = , supxR |f (x)| = nf{ : f () = 0} = f (0).


Demostracin. Basta probarlo para una funcin simple gracias a los teoreP
mas de convergencia. Por lo tanto, sea f = nj=1 aj Ej . Como hemos visto
P
en el Ejemplo 2, f (t) = nj=1 aj [mj1 ,mj ) (t). Por tanto,
Z

|f |p d =

n
X
p

n
X
p

j=1

j=1

aj (Ej ) =

aj m([mj1 , mj )) =

20

Z
0

(f )p dm.

Adems,
Z

p1

f ()d = p

p1

=p
=

n
X

n
X

mj [aj+1 ,aj )() d

j=1

Z aj

mj

p1 d =

aj+1

j=1
n
X

apj (Ej ) =

n
X

(apj apj1 )mj

j=1

|f |p d

j=1

La igualdad para p = es trivial.

3.2.

Una desigualdad de Hardy y Littlewood

Pese a que la reordenada decreciente no preserva necesariamente la suma


o el producto de funciones, si que preserva algunas desigualdades donde
estn involucradas estas operaciones. Es lo que describiremos en el teorema
de Hardy y Littlewood.
Lema 4. Sea g una funcin simple no negativa de (R, ) y sea E R
medible. Entonces
Z
Z
(E)

gd

g (s)ds

Demostracin. Como g es una funcin simple, g(x) =


F1 F2 ... Fn , bj > 0. Por lo tanto
Z

gd =
E

n
X
j=1
n
X

bj (E Fj )

n
X

Pn

j=1 bj Fj (x)

bj mn((E), (Fj ))

j=1

Z (E)

Z (E)

bj

j=1

(0,(Fj )) (s)ds =

g (s)ds

Teorema 11. (Hardy-Littlewood) Si f, g M0 , entonces


Z
R

|f g|d

Z
0

21

f (s)g (s)ds

donde

Demostracin. Como hemos dicho antes, basta verlo para las funciones simP
ples. Consideramos f (x) = m
j=1 aj Ej (x), donde E1 E2 ... Em y
aj > 0, j.
P
Entonces, f (t) = m
j=1 aj [0,(Ej )) (t). Ahora, por el Lema 4:
Z

|f g|d =

m
X

Z
Ej

j=1

Z X
m
0

m
X

gd

aj

Z (Ej )

aj

g (s)ds

j=1

aj [0,(Ej )) (s)g (s)ds =

f (s)g (s)ds

j=1

Una consecuencia inmediata de esta desigualdad es que


Z

|f g|d

f (s)g (s)ds

donde g es cualquier funcin equimedible con g. De aqu es de donde surgen


los conceptos de resonante y fuertemente resonante que se van a definir a
continuacin.
Definicin 9. Un espacio finito (R, ) se dice resonante si para cualquier
f, g M0 (R, ), se da
Z

Z

|f g|d : g equimedible con g .

f (t)g (t)dt = sup


R

Se dice que (R, ) es fuertemente resonante si para cualquier f, g M0 existe


una g equimedible con g tal que
Z

f (t)g (t)dt =

|f g|d

Observamos que fuertemente resonante implica resonante.

Ejemplo 3. Veamos que resonante no implica fuertemente resonante. Consideremos el espacio [0, ) con la medida de Lebesgue. Como veremos en el
Teorema 13, este espacio es resonante, pero el ejemplo que sigue prueba que
no es fuertemente resonante.
Sea f (x) = 1 ex . As f = 1. Sea g = g = [0,1) . Si g ha de ser equimedible con g, entonces tiene que ser (en valor absoluto) la funcin caracterstica
de un conjunto de medida 1 de [0, ), por lo tanto
Z
R

|f g|d =

(1 ex )dx < 1 =

Z
0

22

f (t)g (t)dt

Ejemplo 4. (Espacio no resonante) Sea R = {a, b}, (a) = 1, (b) = 2.


Sea f R= b , g = a , como hemos visto, se tiene que f = [0,2) , g = [0,1) ,
luego f g = R1.
Por otro lado, |f g|d = 0 para cualquier g equimedible con g ya que f y g
tendrn soportes disjuntos.

Lema 5. Sea (R, ) un espacio de medida finito y no atmico. Sea f M0


y sea t R tal que 0 t (R). Entonces, existe un subconjunto medible
Et , (Et ) = t tal que
Z

|f |d =

Z t

Et

f (s)ds

Adems, Et puede construirse tal que si 0 s t (R), Es Et .


Demostracin. Supongamos que existe > 0 tal que f () = t. Entonces,
f (t) = nf{ : f () = t}. Por la continuidad por la derecha de f se
tiene que f (f (t)) = t. Por lo tanto, si Et = {x : |f (x)| > f (t)}, (Et ) =
f (f (t)) = t. Si calculamos la funcin de distribucin de f Et :
(

f Et () = {x Et : |f (x)| > } =

f () si
> f (t)
t
si 0 f (t)

De igual forma, calculamos la funcin de distribucin de f [0,t)


(

mf [0,t) () = m{s [0, t] : f (s) > } =

mf () si
> f (t)
t
si 0 f (t)

Pero sabemos que f y f son equimedibles, por lo tanto f = mf , luego


f Et y f [0,t) son equimedibles, y usando la Proposicin 4, las integrales
del enunciado coinciden. Adems, hemos construido Et de forma que crezca
con t, luego hemos acabado.
Supongamos ahora que t no esta en el rango de f . Dado que la medida de
R es finita y f M0 , el Teorema de la convergencia dominada nos da
0 = {x : |f (x)| = } = lm {x : |f (x)| > n} = lm f (n)
n

Como f es decreciente, lm f () = 0.
Sea 0 = f (t) y supongamos que 0 > 0. Como t es positivo, se sigue
que 0 es finito. Adems, dado que t no est en el rango de f , usando la
23

Proposicin 3 y la definicin de f , f (0 ) < t < f () para 0 < < 0 .


Sea ahora t1 = lm f (
0 ), se verifica que
t0 := f (0 ) < t f (
0 ) = t1
Si t0 s < t1 , se tiene que f (s) = nf{ : f () s} = 0 .
Queremos ver que t1 = {x : |f (x)| 0 }. Si llamamos A a ste conjunto
que estamos midiendo, se tiene que A = Fn , Fn = {x : |f (x)| > 0 1/n}.
Se cumple que
(A) = lm (Fn ) = lm f (0 1/n) = t1 = f (
0)
n

Ahora, G = {x : |f (x)| = 0 } = {x : |f (x)| 0 } \ {x : |f (x)| > 0 } :=


B \ C.
Se tiene (G) = (B) (C) = (A) (C) = t1 t0 .
Como estamos en un espacio no atmico, podemos elegir un Ft G tal que
(Ft ) = t t0 .
Definimos:
Et = {x : |f (x)| > 0 } Ft
Se cumple que su medida es t y adems,
Z

|f |d =

|f | +

{|f |>0 }

Et

|f |d

Ft

Ahora, t0 = f (0 ) y usando la primera parte de la demostracin tenemos


que
Z
Z
t0

|f | =

{|f |>0 }

f (s)ds

Adems, dado que |f | = t0 en Ft


Z

|f | = 0 (t t0 ) =

Ft

Z t

f (s)ds

t0

y sumando ambas integrales, obtenemos el resultado deseado.


Ahora, en el caso que 0 = 0, obtenemos de forma anloga {x : |f (x)| >
0} := t0 < t. Basta coger Ft disjunto al soporte de f con medida (Ft ) =
t t0 . Definiendo Et anlogamente al caso anterior y viendo que f (s) es
cero para s t0 , obtenemos:
Z
Et

|f |d =

Z t0

f (s)ds =

Z t

f (s)ds

Adems los conjuntos elegidos crecen con t, luego hemos acabado.

Ahora, vamos a establecer dos teoremas que caracterizarn los espacios resonantes y fuertemente resonantes.
24

Teorema 12. Un espacio finito (R, ) es fuertemente resonante si y slo


si es un espacio de medida finita de alguno de los siguientes tipos:
(i) no-atmico
(ii) completamente atmico con todos los tomos de igual medida.
Demostracin. Si es del tipo (ii), la g buscada se puede construir a
partir de g permutando los finitos tomos con la inversa de la permutacin
que convierte f en f compuesta con la que convierte g en g . As pues,
resta ver el caso (i).
Sean (gn ) g c.t.p. no negativas y simples. Queremos construir (gn ) (gn )
y tal que
Z
Z

|f gn |d =

f gn dt

Claramente g = lm gn es equimedible con g y entonces, aplicando el Teorema


de la convergencia montona, obtendramos el resultado deseado:
Z

|f g|d = lm

|f gn | = lm

f gn

= lm
0

f gn

f g

Slo queda construir las gn . Fijamos n N, sea h = gn , como es una funcin


P
simple, h = m
j=1 bj Fj , donde F1 F2 ... Fm y bj > 0. Usando el
Lema 5, sabemos que existe Ej tal que E1 ... Em con (Ej ) = (Fj ) y
Z (Fj )

f d =
Ej

f dt

. Por
= Pm bj E , tenemos que h = Pm bj [0,(F )) = (h)
Si ponemos h
j=1
j=1
j
j
lo tanto
Z

=
f hd

m
X
j=1

bj

f d =
Ej

m
X
j=1

Z (Ej )

bj
0

f (t)dt =

f (t)h (t)dt

Adems, como las gn son crecientes, por el


Por lo que basta tomar gn = h.
Lema 5, los Ej crecen. Se concluye por tanto que el espacio es fuertemente
resonante.
Hemos visto en un ejemplo, que si hay tomos, han de tener la misma
medida. Por el mismo argumento, tampoco puede haber mezcla de atmico y
no atmico. Que la medida tiene que ser finita se deduce con un razonamiento
similar al del Ejemplo 3. Por lo tanto hemos acabado la demostracin.

Teorema 13. Un espacio finito (R, ) es resonante si y slo si es de


alguno de los siguientes tipos:
25

(i) no-atmico
(ii) completamente atmico con todos los tomos de igual medida.
Demostracin. Que es condicin necesaria viene resulta de los argumentos
de la prueba del teorema anterior. Veamos que es condicin suficiente.
Sean f, g M0 , f, g 0. Queremos ver que
Z

f (t)g (t)dt = sup

|f g|d

el supremo tomado sobreR las g equimedibles. Para ello, hay que


ver que para
R
g g tal que < R f gd.
cada tal que 0 < < 0 f (t)g (t),
Como el espacio de medida es finito, sabemos que existe una coleccin
de (Rn )nN tal que Rn = R y tienen medida finita.
Sean (fn ) y (gn ) sucesiones de funciones simples con fn y gn soportadas en
Rn y tales que fn fR y gn g. Gracias a esto, podemos encontrar un N N
g .
verificando que < 0 fN
N
Ahora bien, el espacio RN tiene medida finita, por lo tanto es fuertemente
resonante, entonces existe un h gRN tal que
Z (RN )

f hd =
RN

(f RN ) (gRN ) dt
R

Pero f RN fN y gRN gN . Por lo tanto, < RN f hd = R f h,


extendiendo h por 0 fuera de RN .
Sea g = hRN + gR\RN . Entonces g es equimedible con g y g h. Entonces
Z

<

f hd

f gd
R

Corolario 2. Un espacio finito es fuertemente resonante si y slo si es


resonante y tiene medida finita.

3.3.

Una funcin maximal.

Cuando g es una funcin caracterstica en un conjunto E de medida


positiva t, la desigualdad de Hardy-Littlewood queda:
()

1
(E)

Z
E

|f |d

1
t

Z t

26

f (s)ds

(f M0 )

As, la media de |f | sobre los conjuntos de medida t est dominada por


la media de la reordenada decreciente en el intervalo (0, t). Llamaremos al
ltimo trmino la funcin maximal de f .

Definicin 10. Sea f0 M0 , llamamos funcin maximal de f y denotamos


con f a
Z
1 t
f (t) =
f (s)ds
t 0

Proposicin 5. Sean f, g, fn M0 , a K. Se tiene que f es no negativa,


decreciente, y continua en (0, ), adems:
(1) f = 0 f = 0 c.t.p.
(2) f f
(3) |g| |f | en casi todo punto, entonces g f .
(4) (af ) = |a|f
(5) |fn | |f | en casi todo punto, entonces fn f
Demostracin. Dado que f es decreciente, se sigue de la definicin que f
es no negativa y continua.
(3), (4), (5) y (1) salen de las propiedades ya vistas para f .
Para la propiedad (2), dado que f es decreciente, se tiene:
1
f (t) =
t

Z t
0

1
f (s)ds f (t)
t

Z t

ds = f (t)

Para ver
que f es decreciente, observemos que, como f lo es, f (v)

tv

f s si 0 < t s. Por lo tanto:


f (s) =

1
s

Z s
0

f (v)dv

1
s

Z s

tv
1
dv =
s
t


Z t

f (u)du = f (t)

En la desigualdad () nos puede interesar conocer cuando la parte de la


izquierda se aproxima mucho a la de la derecha. En la proposicin que sigue
vamos a ver que esto est relacionado con el ser resonante o fuertemente
resonante.

27

Proposicin 6. Sea (R, ) un espacio de medida finito, y sea t > 0 en


el rango de . Supongamos f M0 . Se verifica
(a) Si (R, ) es resonante, entonces
f (t) =

1
sup
t

Z

|f |d : (E) = t
E

(b) Si (R, ) es fuertemente resonante, entonces existe un E R, (E) =


t tal que
Z
1
f (t) =
|f |d
t E
Demostracin. Dado que t est en el rango de , sabemos que existe F R
tal que (F ) = t.
Sea g = F , g = [0,t) . Si tenemos ahora una g equimedible con g entonces,
|
g | = E , con (E) = (F ) = t.
Ahora, si el espacio es resonante, se tiene
Z

f g = sup

|f g|d

Z t

f = sup

|f |d.

(E)=t E

Por lo tanto,
1
f (t) =
sup
t (E)=t

|f |d.

Si ahora el espacio es fuertemente resonante, como el supremo se alcanza


en una g particular y sabemos que esta es la caracterstica de un conjunto
medible de medida t, tenemos fijo el conjunto y el resultado queda probado.

Teorema 14. Sea (R, ) finito, f, g M0 . Se verifica


(f + g) f (t) + g (t).
Demostracin. Si el espacio es no-atmico, usando el Teorema 13, se tiene
que es resonante.
Si adems, (R) = , Rg() = [0, ). Por lo tanto, usando la proposicin
anterior, tenemos el resultado para todo t.
Si ahora es no atmico de medida finita, digamos (R) = t0 , usando el
mismo argumento tenemos el resultado para todo 0 t t0 . Pero sabemos
que f (t) = 0 si t > t0 , por lo que
1
f (t) =
t

Z t0

f (s)ds =

28

t0
f (t0 ).
t

Como la desigualdad se cumple para t0 , resulta que


(f + g) (t) =

t0
t0
t0
(f + g) (t0 ) f (t0 ) + g (t0 ) = f (t) + g (t).
t
t
t

Por lo tanto, hemos probado el resultado en el caso en el que el espacio


es no-atmico. Para ver el resto de los casos, utilizamos el mtodo de los
retractos, que nos permite meter un espacio finito en uno no-atmico.
La idea de este mtodo, se basa en convertir los tomos en intervalos de la
misma medida y redefinir las funciones como constante, de valor el que tena
en el tomo, en los intervalos construidos. Una vez hecho esto, el resultado
se sigue trivialmente.

La siguiente relacin es de inters en diversas situaciones.


Definicin 11. Sean f1 , f2 M0 . Se dir que f1 f2 (relacin de HardyLittlewood-Plya) si f1 f2

Proposicin 7. (Lema de Hardy) Sean 1 y 2 funciones no negativas,


medibles en (0, ) y supongamos que
Z t

1 (s)ds

Z t

2 (s)ds, para todo t > 0.


0

Sea una funcin decreciente y no negativa en (0, ). Entonces


Z

1 (s)(s)ds

2 (s)(s)ds.
0

Demostracin. Basta probarlo para una funcin simple decreciente (s) =


j=1 aj [0,tj ) (s) con aj > 0 y 0 < t1 < ... < tn . Usando la hiptesis:

Pn

1 (s)(s)ds =
0

n
X
j=1

Z tj

aj

1 (s)ds

n
X
j=1

29

Z tj

aj

2 (s)ds =
0

2 (s)(s)ds.
0

Proposicin 8. Sea (R, ) un espacio de medida resonante y sea (Ej )jJ


R una sucesin finita o numerable de conjuntos disjuntos dos a dos con
medida finita. Sea E = R \ jJ Ej . Supongamos que f M0 y que es
integrable en cada Ej . Definimos
Af = f E +

1
(Ej )

X
jJ

Z
Ej

f d Ej .

Entonces, Af f .
Demostracin. Supongamosprimero que se tiene slo un elemento. Entonces
1 R
f d E1 , 0 < (E1 ) < y E = R \ E1 . Hay que
Af = f E + (E
1 ) E1
ver que
Z
Z
t

(Af ) (s)ds

f (s)ds, t > 0.

Supongamos primero que 0 < t < y que existe F R, (F ) = t. Sea


t0 = (F E1 )


Z
1


|f |d + t0
|Af |d =
f d .
(E1 ) E1
F E
F
Z

Por otro lado, usando la desigualdad de Hardy-Littlewood y que (f E1 )


es decreciente, se obtiene


Z
Z t0
1



t0
f d t0 (f E1 ) ((E1 )) t0 (f E1 ) (t0 ) =
(f E1 ) (s)ds.
(E1 ) E1
0

Como el espacio es resonante, si nos restringimos a E1 , tenemos medida


finita, por lo que el espacio es fuertemente resonante. Adems, t0 Rg(|E1 )
ya que (f E1 ) = t0 por lo tanto, existe un G F E1 , (G) = t0 tal que
Z t0
0

(f E1 ) (s)ds =

Z
G

|f E1 |d =

|f |d.

Por lo tanto,
Z

|Af |d

|f |d +

F E

|f |d

Pero F E y G son disjuntos y ((F E) G) = (F E) + (G) = t,


entonces, aplicando la desigualdad de Hardy-Littlewood otra vez, es obtiene:
Z

|Af |d =

Z t

f (s)ds

Basta tomar supremo sobre los conjuntos F de medida t para conseguir


el resultado cuando t est en el rango de la medida. Pero esto basta para
tenerlo en todo t, por ser el espacio resonante.
Si el cardinal de J es mayor que 1, pero finito, se aplica induccin: se tiene
30

que An f (n sumandos) verifica que An f An1 f ... f .


Si el cardinal de J es infinito numerable, como |Af | A(|f |), basta verlo
para una f no negativa. En este caso,
fn = f E +

n
X

f Em

m=1

satisfacen que son positivas, crecen hacia f y adems 0 Afn Af en casi


todo punto, por lo tanto
Afn = An fn fn f
y aplicando la Proposicin 5/(5) se sigue el resultado.

3.4.

Espacios invariantes por reordenamiento


1/p

p
n
de un vector (a1 , ..., an ) deEn los espacios lpn , la norma
k=1 ak
pende de los valores de los ai pero no del orden en el que estn colocados.
En otras palabras, la norma de los lp nos habla de si algo es grande o
pequeo sin importar cmo est distribuido el vector en el espacio de medida.
Esta propiedad es la que vamos a estudiar ahora en espacios de Banach
arbitrarios.

Definicin 12. Una norma sobre un espacio finito (R, ) se dice invariante por reordenamiento si (f ) = (g) para cualesquiera f, g equimedibles
de M0+ . En este caso, X() se dice invariante por reordenamiento.
De esta definicin ya se deduce que los Lp lo son.

Proposicin 9. Sea invariante por reordenamiento sobre (R, ) resonante. Entonces la norma asociada, 0 es invariante por reordenamiento y
adems:
0

Z

(g M0+ )

(f M0+ )

f (s)g (s)ds : (f ) 1

(g) = sup
0

Z

(f ) = sup

f (s)g (s)ds : 0 (g) 1

31

Demostracin. Por definicin de la norma asociada, sabemos que


0 (g) = sup

Z

f gd : (f ) 1 .
R

Usando ahora la definicin de espacio resonante, obtenemos que la igualdad


anterior coincide con:
0 (g) = sup

Z

f (s)g (s)ds : (f ) 1 .

Como dos funciones equimedibles tienen las mismas reordenadas decrecientes, tenemos que 0 es invariante por reordenamiento.
Usando los mismos argumentos y que 00 = completamos la prueba.

Corolario 3. (Desigualdad de Hlder) Sea invariante por reordenamiento.


Si f, g M0+
Z

f gd

f (s)g (s)ds (f )0 (g).

Todos estos resultados se pueden enunciar tambin en los espacios generados


por stos funcionales y sus respectivas normas.
Corolario 4. Sea X un espacio de Banach funcional sobre un espacio de
medida resonante. Entonces, X es invariante por reordenamiento si y slo
si X 0 lo es. En este caso:
Z

kgkX 0 = sup

f (s)g (s)ds : kf kX 1

(g X 0 )

Z

kf kX = sup
0

f (s)g (s)ds : kgkX 0 1

(f X)

Corolario 5. (Desigualdad de Hlder) Sea X espacio invariante por reordenamiento sobre un espacio de medida resonante (R, ). Si f X y g X 0 ,
Z
R

|f g|d

Z
0

f (s)g (s)ds kf kX kgkX 0 .

32

Teorema 15. Sea (R, ) un espacio resonante. f1 , f2 M0+ . Sea invariante por reordenamiento sobre (R, ). Entonces, f1 f2 implica (f1 )
(f2 ).
Demostracin. Gracias al corolario 4, hay que ver que
Z
0

f1 (s)g (s)ds

Z
0

f2 (s)g (s)ds,

g, 0 (g) 1.

Pero sabemos por hiptesis que 0t f1 0t f2 . Como g es decreciente, basta


utilizar el teorema de Hardy para deducir el resultado.
R

Corolario 6. El resultado anterior tambin se puede formular utilizando el


espacio X generado por .

A continuacin, enunciamos un resultado importante acerca del operador A


descrito anteriormente.
Teorema 16. Sea (R, ) un espacio de medida resonante y (Ej )jJ R
un conjunto finito o numerable de conjuntos disjuntos dos a dos con medida
finita. Sea E = R \ jJ Ej . Supongamos que f M0 y que es integrable en
cada Ej . Definimos
Af = f E +

X
jJ

1
(Ej )

Z
Ej

f d Ej .

Entonces, A es una contraccin para cada X invariante por reordenamiento


sobre (R, ), es decir,
kAf kX kf k para todo f X.
Demostracin. Ya hemos visto (Proposicin 8) que Af f , as pues, basta
usar el corolario anterior para concluir el resultado.

Teorema 17. Sea (R, ) finito y una norma invariante por reordenamiento en (R+ , m). El funcional definido por (f ) = (f ), f M0+ es
una norma invariante por reordenamiento en (R, ).
33

Demostracin. La nica propiedad de norma que no se deduce automticamente de las propiedades de es la triangular. Sabemos que:
(f1 + f2 ) f1 + f2 = (f1 + f2 ) .
Por lo tanto, (f1 +f2 ) (f1 +f2 ). Dado que (R+ , m) es resonante, podemos
usar el Teorema 15 con y obtener:
(f1 + f2 ) = ((f1 + f2 ) ) (f1 + f2 ) (f1 ) + (f2 ) = (f1 ) + (f2 ).

El resultado que sigue muestra que cualquier norma invariante por reordenamiento sobre (R, ) surge de este moso di (R, ) es resonante.
Teorema 18. (Teorema de representacin de Luxemburg) Sea una norma
invariante por reordenamiento sobre el espacio de medida (R, ). Entonces,
existe invariante por reordenamiento sobre (R+ , m) tal que
(f ) = (f )

f M0+

Adems, si es invariante por reordenamiento en (R+ , m) y (f ) = (f ),


para todo f M0+ se tiene que 0 (g) = 0 (g ), g M0+ donde 0 es la norma
asociada.
Demostracin. Definamos (h) = sup { 0 g h ds : 0 (g) 1} , h M0+ (R+ , m)
Claramente por lo visto en la Proposicin 9, (f ) = (f ) Hay que ver que
es una norma en (R+ , m).
Para la propiedad triangular: Hemos visto que (h1 + h2 ) h1 + h2 por lo
tanto, (h1 + h2 ) (h1 ) + (h2 ). se sigue usando la definicin de y el
Lema de Hardy).
El resto de (P1) es trivial.
Para ver (P2), 0 h1 h2 implica que h1 h2 , luego (h1 ) (h2 ).
(P3) Sale anlogamente usando el Teorema de la convergencia montona.
(P4) Basta ver que ([ 0, t)) < , t > 0. Es claro que para t Rg() se
tiene ya que existe un subconjunto F de medida t tal que (F ) < y por
lo tanto (F = [0,t) ) < .
Usando la propiedad triangular, lo tenemos para cualquier mltiplo de t y
ahora basta usar (P2) para tenerlo para cualquier t.
(P5) sigue el mismo argumento.
Sea ahora otra norma r.i. como en el enunciado. Dado que (R+ , m) es
resonante, la norma asociada 0 es
R

Z

h (s)k (s)ds : (h) 1 .

(k) = sup
0

34

En particular, 0 (g ) = sup { 0 g (s)h (s)ds : (h) 1}, por lo tanto, 0 (g)


0 (g )
Para ver la otra desigualdad, sea H el conjunto de las funciones h simples
no negativas, decrecientes en el intervalo [0, (R)) y tal que (h) 1. Como
0 tiene la propiedad de Fatou,
R

Z

g (s)h (s)ds : h H .

(g ) = sup
0

Si (R, ) es no-atmico, cada h H es la reordenada decreciente de una


funcin simple y habramos acabado.
Si no es asi, volvemos a aplicar el argumento de cambiar cada tomo por un
intervalo y alterar la funcin y sale de forma anloga.

35

4.

Otras propiedades de los espacios invariantes


por reordenamiento.

En este ltimo captulo mostramos ms propiedades de los espacios invariantes por reordenamiento. Estudiamos la funcin fundamental, los espacios
de Lorentz asociados a una funcin cncava, los espacios L1 +L y L1 L ,
as como los ndices de Boyd de un espacio invariante por reordenamiento.

4.1.

La funcin fundamental

Lo que vamos a hacer ahora, es asociar a cada espacio r.i. una funcin,
que llamaremos funcin fundamental. Queremos estudiar qu propiedades
podemos conocer del espacio estudiando dicha funcin.

Definicin 13. Sea X r.i. sobre (R, ). Para cada t en el rango de , sea
E R, con (E) = t. Entonces X (t) = kE kX es lo que llamamos funcin
fundamental de X.
Sabemos que esta bien definida ya que si hay un F R, con (F ) = t,
entonces E y F son equimedibles y asi kE kX = kF kX .

Ejemplo 5. Calculemos algunas funciones fundamentales. Supongamos 0 <


t < (R):
lp (n) = n1/p
l (0) = 0
l (n) = 1

Lp (t) = t1/p ,
L (0) = 0,
L (t) = 1,

Teorema 19. Sea X r.i. en un espacio (R, ) resonante y sea X 0 el espacio


asociado de X. Entonces, X (t)X 0 (t) = t, t Rg().
Demostracin. Si t = 0 ya est, dado que X (0) = 0 para cualquier X.
Sea, por tanto, 0 < t < , t Rg(), entonces, existe un E R de medida
t. Se cumple:
Z

t=
E

d kE kX kE kX 0 = X (t)X 0 (t).
36

Hay que ver la otra desigualdad, para ello, observemos que:


Z

X (t) = kE kX = sup
E

|g|d : kgkX 0 1 .

Tomamos cualquiera de estas g y sea h =


1
t

 Z
E

 R
1
t

|g|d E . Se tiene

|g|d X 0 (t) = khkX 0 kAgkX 0 kgkX 0 1,

donde hemos usado el Teorema 16. Ahora basta tomar supremos para obtener el resultado.

Corolario 7. Sea X r.i. sobre (R, ) resonante. X satisface:


(1) X es creciente, X (t) = 0 si y slo si t = 0.
(2) X (t)/t es decreciente.
(3) X es continua salvo quizs en el origen.
Demostracin. (1) Sea t s y sean E, F conjuntos medibles tales que
(E) = t y (F ) = s. Por la propiedad de retculo de X se tiene
kE kX kF kX y as X (t) X (s).
Si X (t) = 0 kE kX = 0 E = 0 en casi todo punto, por lo tanto
(E) = 0 t = 0.
(2) Por el teorema anterior, X (t)/t = 1/X 0 (t) y ahora, aplicando (1),
tenemos que es decreciente.
(3) Si (R, ) es atmico, X est definida en un conjunto discreto, por lo
tanto, es continua.
Si el espacio no es atmico, X es creciente en (0, (R)) por lo que
como mucho tendr discontinudades de salto. Supongamos que existe
un t0 en el que hay una discontinuidad de salto. Como X es creciente,
+
X (t
0 ) < X (t0 ) entonces,
X (t
X (t+
0)
0)
<
t0
t
pero esto no puede ser por (2).

37

Ahora, queremos estudiar qu ha de cumplir una funcin para poder


ser funcin fundamental de un espacio. Para ello introducimos los siguientes
conceptos.
Definicin 14. Sea no negativa en R+ . Se dice que es cuasicncava si:
(t) es creciente en (0, );

(t) = 0 t = 0

(t)/t es decreciente en (0, ).

Observacin: Toda funcin no negativa y cncava en [0, ) que slo se


anula en el origen es cuasicncava.

Definicin 15. Sea cuasicncava en R+ . El espacio de Lorentz se define


como


M = M (R+ , m) = f M0 : kf kM = sup {f (t)(t)} < .


0<t<

Proposicin 10. Si es cuasicncava, el espacio de Lorentz asociado, M


es r.i. y M = es decir,la funcin fundamental del espacio, coincide con
.
Demostracin. Las propiedades (P1), (P2), (P3) de la norma para el funcional
(f ) = sup {f (t)(t)},
f M0+
0<t<

se siguen facilmente de las propiedades de f . Para la propiedad triangular


hay que usar el Teorema 14.
Sabemos que M es r.i. por estar definido en trminos de f . Veamos la
propiedad (P4): Sea E R+ , m(E) = t, por lo tanto E = [0,t) y entonces
kE kM = sup

0<s<

(0,t) (s)(s)

= sup
0<s<

(s)
= m
ax sup (s), t sup
0<s<t
ts s
38

t
mn 1,
(s)
s


= (t).

ya que crece y (s)/s decrece y como (t) < , hemos acabado con la
(P4) y adems hemos probado que la funcin fundamenta coincide con .
Ahora veamos (P5). Si f M y E R+ , m(E) = t
Z t
Z


t
f (x)dx
f (s)ds
sup {f (s)(s)} = Ct kf kM .


(t)
0
E
0<s<

El siguiente resultado demuestra que, de hecho, el espacio de Lorentz M es


el ms grande con funcin fundamental .
Proposicin 11. Sea X r.i. en (R+ , m). Entonces, X , MX con norma
1, es decir,
kf kMX kf kX para toda f X
Demostracin. Sea t > 0, usando la desigualdad de Hlder
Z t
0

f (s)ds k[0,t) kX 0 kf kX = X 0 (t)kf kX =

t
kf kX
X (t)

Por lo tanto
f (t)X (t) kf kX
Y queda probado el resultado.

Ya tenemos el espacio ms grande para una funcin fundamental dada. Para


buscar el ms pequeo, tenemos que profundizar en la teora de funciones
cncavas y cuasicncavas.
Definicin 16. Denotaremos por a la mnima funcin cncava mayorante
de . Esto es, la funcin cncava ms pequea que es ms grande que .

Proposicin 12. Si es cuasicncava, verifica


1

.
2

39

Demostracin. De la definicin de cuasicncava se deduce que (t) (1 +


t
x )(x). Por lo tanto, est dominada por la funcin cncava (t) = (1 +
t

x )(x), luego (t) (t). En particular, si t = x, (x) (x) = 2(x).


1

Con todo esto, concluimos que 2 .

Proposicin 13. Sea X r.i. sobre (R+ , m). Entonces X puede ser renormado con una norma r.i. tal que la funcin fundamental sea cncava.
Demostracin. Sabemos que X es cuasicncava. Por la proposicin anteri
or, verifica que 21 .
Sea M el espacio de Lorentz asociado a la funcin mayorante y sea
v(f ) = m
ax{kf kX , kf kM }

f M0 (R+ )

Dado que tanto X como M son r.i., la norma v tambin es r.i. Adems,
kf kX v(f ) m
ax{kf kX , 2kf kM } 2kf kX .
donde hemos usado la Proposicin 11 y la 12, obteniendo k kX v.
Tambin,

v((0,t) ) = m
ax{k(0,t) kX = (t), (t)}
= (t).
Por lo tanto, X = X(v) y tiene como funcin fundamental que es cncava.

Definicin 17. Sea X r.i. en (R+ , m) y supongamos que X est renormado


como en la proposicin anterior tal que X es cncava. Los espacios de
Lorentz (X) y M (X) se definen:
M (X) = MX : kf kM (X) = sup {f (t)X (t)}.
0<t<

(X) = f

M0+

: kf k(X) =

f (s)dX (s) < .

La integral en la norma de kf k(X) se puede reescribir en la forma


+

kf k X (0 ) +

f (s)X (s)ds

donde X es una funcin no-negativa y decreciente. La llamaremos, funcin


derivada de .

40

Teorema 20. Sea X un espacio funcional de Banach r.i. sobre (R+ , m).
Supongamos que, de nuevo, ha sido renormado para que tenga una funcin
fundamenta cncava. Entonces (X) y M (X) son r.i. y cada uno tiene como
funcin fundamental X . Adems:
(X) , X , M (X)
y ambas inclusiones son de norma 1.
Demostracin. Para M (X) el resultado est visto en las Proposiciones 10 y
11.
Las propiedades (P1)-(P3) de la norma en (X) se obtienen fcilmente. Para
la triangular, basta ver que (f + g) f + g y como X es cncava, su
derivada, X es no negativa y decreciente (por el Lema de Hardy), entonces
kf +gk(X) =

(f +g) X

f X +
0

g X = kf k(X) +kgk(X) .

Para ver (P4), sea E con medida t > 0, por lo tanto


kE k(X) =

Z
0

[0,t) (s)dX (s) = X (t).

Con esto hemos obtenido (P4) y adems, que (X) = X .


(P5) se va a deducir de la inclusin primera. Por lo tanto, veamos esto. Por el
Lema de Fatou y dado que ambas normas son r.i. basta verlo para funciones
simples decrecientes. En ese caso f = f :
f =

n
X

ck (0,tk ) , ck > 0 y 0 < t1 < ... < tn .

k=1

Se tiene que
kf kX

n
X
k=1

ck k(0,tk ) kX =

n
X

ck X (tk ) =
0

k=1

f (s)dX (s) = kf k(X) .

Con esto, concluimos la prueba.

Corolario 8. Si X es r.i. sobre (R+ , m) con funcin fundamental cncava


X , se verifica que (X) y M (X) son el ms pequeo y el ms grande de
todos los espacios con la misma funcin fundamental.

41

4.2.

Los espacios L1 + L y L1 L .

Podemos construir ms ejemplos de espacios r.i. sin ms que hacer intersecciones y sumas de espacios Lp . En este apartado estudiaremos los espacios
L1 + L y L1 L que adems son particularmente importantes dado que
como veremos, son el ms grande y el ms pequeo de los espacios r.i.

Definicin 18. Sea (R, ) un espacio finito.


(a) Se define L1 + L = {f = g + h M0 : g L1 , h L }. Ponemos
kf kL1 +L = nf {kgkL1 + khkL }.
f =g+h

(b) El espacio L1 L se dota de la siguiente norma


ax{kf kL1 , kf kL }.
kf kL1 L = m
Esta norma puede describirse tambin de la siguiente forma
Rt
0 f (s)ds

kf kL1 L = sup

0<t<

mn(1, t)

= sup (f (t) m
ax(1, t)).
0<t<

En algunas ocasiones, es til disponer de otra descripcin de la norma de


L1 + L .
Teorema 21. Sea (R, ) finito y sea f M0 . Entonces:
nf {kgkL1 + tkhkL } =

f =g+h

Z t

f (s)ds = tf (t), t > 0.

Demostracin. La segunda desigualdad es trivial teniendo en cuenta la definicin de f .


Sea ahora f M0 , t > 0. Llamamos t = nf{kgkL1 + tkhkL }. Veamos
primero que
Z

f (s)ds t .

Sea f

L1

Z t
0

L , f

= g + h, por lo tanto

f (s)ds

Z t
0

g (s)ds +

Z t
0

42

h (s)ds kgkL1 + tkhkL .

y esa desigualdad queda vista.


Veamos la recproca. Basta ver que existen g L1 , h L , f = g + h tales
que:
Z
t

kgkL1 + tkf kL

f (s)ds.

Podemos suponer que el lado derecho es finito. Por la desigualdad de HardyLittlewood, f es integrable en cualquier conjunto de medida a lo ms t. Sea
E = {x : |f (x)| > f (t)} y sea t0 = (E). Por las propiedades de f se tiene
que t0 t por lo tanto f es integrable en E. En particular
g(x) = m
ax{|f (x)| f (t), 0} sgn(f (x)) pertenece a L1 ()
y
h(x) = mn{|f (x)|, f (t)} sgn(f (x)) a L
con norma khk f (t). Por lo tanto:
kgkL1 =

|f |d (E)f (t)

Z t0

f (s) t0 f (t).

Luego
kgkL1 + tkhkL

Z t0

f (s)ds + (t t0 )f (t).

Pero f (s) es constantemente igual a f (t) siempre que t0 < s < t. Por lo
tanto
Z t
f (s)ds
kgkL1 + tkhkL
0

y hemos acabado, ya que f = g + h.

Se puede probar tambin que:


Teorema 22. Los espacios L1 + L y L1 L sobre espacios de medida
resonantes (R, ) son r.i. y las normas vienen dadas por:
kf kL1 +L =

Z 1

kf kL1 L = sup
t

Adems

(L1

L )0

L1

(L1

f (s)ds

Como consecuencia de esto resulta que:


43

Rt
0 f (s)ds

mn(1, t)

L ) 0

= L1 + L .

Corolario 9. Las funciones fundamentales de estos espacios son:


L1 +L (t) = mn(1, t)
L1 L (t) = m
ax(1, t)

Teorema 23. Sea X un espacio de Banach funcional r.i. Se tiene que


L1 L , X , L1 + L
y las inclusiones son de norma 1 si se cambia la norma de X por una que
es mltiplo de ella.
Demostracin. Por el Teorema de Luxemburg y las representaciones de las
normas, basta verlo en el espacio (R+ , m). Usando la desigualdad de Hlder,
se tiene que:
kf kL1 +L =
Por lo tanto, X ,
tomamos f = [0,1] ,

Z 1
0
1
L

Z 1
0

f (s)ds k[0,1] kX 0 kf kX = X 0 (1)kf kX

+ L con norma a lo sumo X 0 (1). Adems, si

[0, 1](s)ds X 0 (1)X (1) 1.

Por lo tanto, ya sabemos que la norma es exactamente X 0 (1).


Intercambiando los papeles de X y X 0 se tiene que X 0 , L1 + L con
norma X (1), por lo tanto, pasando a los asociados:
L1 L = (L1 + L )0 , X y kf kX X (1)kf kL1 L .
Basta renormar el espacio, pasar de k kX por X 0 (1)k kX para que cada
una de las inclusiones tenga norma 1.

Corolario 10. Sea X r.i. sobre (R, ) finito, entonces , X , L1 .


Adems, si (R) = 1 y k1kX = 1 las inclusiones son de norma 1.

Corolario 11. Sea (R, ) completamente atmico, de tomos numerables


con medida . Si X es un espacio r.i. sobre (R, ), entonces
l1 , X , l
Adems, si = 1 y la norma en X de la funcin caracterstica de un tomo
es 1, entonces las dos inclusiones son de norma 1.

44

4.3.

ndices de Boyd

Estos ndices fueron introducidos por primera vez por Boyd en 1969.
Surgieron para demostrar resultados de interpolacin en espacios invariantes
por reordenamiento entre Lp1 y Lp2 .
Si tenemos un operador T acotado en Lp1 y Lp2 y un espacio X invariante
por reordenamiento entre ellos, en el sentido de que contiene a Lp1 y est
contenido en Lp2 , los ndices de Boyd ayudan a ver si T es tambin acotado
en X.
Sin embargo, este resultado se escapa de los lmites de este trabajo, pero
merece la pena mencionarlo como motivacin para esta seccin, en la que
introduciremos las definiciones de los ndices y sus propiedades fundamentales.
Veamos antes unos conceptos previos.
Definicin 19. Una funcin real : (, ) R es subaditiva si para
todo t R se tiene que (s + t) (s) + (t).

Lema 6. Sea creciente y subaditiva en (, ) tal que (0) = 0, entonces (s) (s). Adems
(s)
> 0, s
s

= lm

(s)
(s)
= nf
.
s>0
s
s

Demostracin. Por ser subaditiva, sabemos que 0 = (0) = (s + (s))


(s) + (s) (s) (s).
Sea = nf s>0 (s)
s . Es claro que 0 (1), en particular, < .
Sea  > 0, sea t > 0 tal que

(t)
< + .
t


Elegimos un N N tal que 1 + N1 (t)


t < + .
Para cada s N t, n N tal que nt s < (n + 1)t. Como es creciente
y subaditiva, tenemos que (s) (n + 1)(t), entonces
(s)
(n + 1)(t)
1

1+
s
nt
N


y con esto queda probado el resultado.

45

(t)
<+
t

Definicin 20. Una funcin no-negativa en (0, ) se dice submultiplicativa si


(st) (s)(t) (0 < s, t < )
A cada submultiplicativa, podemos asociarle una en (, ) definida
por (s) = log (es ).
Claramente, es subaditiva. Si es creciente y (1) = 1, entonces verifica
las hiptesis del lema anterior sea = nf s>0 (s)
s . Entonces, si llamamos

() = se verifica que 0
<y
log((t))
log (t)
= nf
.
t0
t>1 log t
log t

() = lm

Lema 7. Sea creciente y submultiplicativa en (0, ) para la que (1) = 1.


Sea a un real positivo. Se verifica que

() < a

ta (t)

dt
< .
t

Demostracin. Si
() < a, entonces existe un  > 0 de manera que
() <
a . Por la definicin de
se tiene que existe un T > 1 tal que
log (t)
<a
log t

t T.

Por lo tanto, (t) < ta , t T . Luego


Z

ta (t)

dt
(T )
t

Z T

t1a dt +

t1 dt < .

R
Recprocamente, si 1 ta (t) dtt < , entonces sa (s) < 1 para cierto

s > 1. Por lo que:

()

log (s)
log(sa )
<
= a.
log(s)
log(s)

y hemos terminado.

A partir de ahora llamaremos X a un espacio funcional de Banach r.i. sobre


un espacio de medida infinito, no atmico y finito.
En este caso, el teorema de Luxemburg nos da una norma funcional r.i.
sobre (R+ , m), que definimos en la demostracin del teorema, y podemos
trabajar con el espacio generado por esta nueva norma en vez de con X. Lo

denotamos X.

46

Definicin 21. Para todo t > 0, sea Et el operador dilatador, es decir,


denota los
(Et f )(s) = f (st). Definimos hX (t) = kE1/t kB(X)
, donde B(X)
en X.

operadores acotados de X

Para justificar la anterior definicin de hX , tenemos que demostrar que Et


en X.

es acotado de X
en X.
La funcin
Proposicin 14. Para todo t > 0, Et es acotado de X
hX es creciente y submultiplicativa en (0, ), hX (1) = 1 y
hX (t) m
ax(1, t).
Adems, si X 0 el espacio asociado de X, hX (t) = thX 0

 
1
t

, 0 < t < .

Demostracin. E1/t es una contraccin en L (R+ , m) y, como


Z
0

|E1/t (f )(s)|ds =

|f (s/t)|ds = t

f (v)dv.
0

Por lo tanto, E1/t es acotado en L1 (R+ , m) con norma t. Aplicando ahora


el Teorema de interpolacin dado en [1, Chapter 3, Thm. 2.2], resulta que
con norma menor o igual que el m
E1/t es acotado en X
ax(1, t).
hX (1) = 1 trivialmente, ya que E1 es la identidad.
Es fcil ver que (Et f ) = Et f , entonces
Z

kE1/t f kX = sup

s
g (s)ds : kgkX 0 1
t

 

Tenemos por tanto, que hX es creciente en t. Tambin


para cualquier f X.
hX es submultiplicativa ya que Est = Es Et . Adems, mediante un cambio
de variable en la expresin anterior
1
.
t

 

kE1/t f kX tkf kX kEt gkX 0 tkf kX hX 0

Entonces, hX (t) thX 0 (1/t). Ahora, cambiando X por X 0 , t por 1/t y


usando que X = X 00 se obtiene hX 0 (1/t) 1/thX (t) y se concluye la igualdad.

47

Definicin 22. Sea X un espacio funcional de Banach r.i. sobre un espacio


de medida infinito, sin tomos y finito. Los ndices de Boyd de X son los
nmeros X y
X definidos mediante
log hX (t)
log t
0<t<1

log hX (t)
t>1
log t

X = sup

X = nf

Proposicin 15. Los ndices = X y


=
X de X vienen dado por los
lmites:
log hX (t)
log hX (t)
X = lm
,

X = lm
+
t
log
t
log t
t0
y satisfacen 0
1.
Adems los ndices 0 = X 0 y
0 =
X 0 del espacio asociado vienen dados
por
,

0 = 1
0 = 1
Demostracin. La identidad hX (t) = thX 0 (1/t) implica:
log hX (t)
log hX 0 (1/t)
=1
.
log t
log(1/t)
Por lo tanto 0 = 1
,
0 = 1 .
Las propiedades de hX vistas en la Proposicin 14 y la propia definicin,
demuestran que
log hX (t)

=
(hX ) = lm
.
t
log t
Usando lo que sabemos de ste ndice y las relaciones entre los asociados,
sacamos tambin la definicin a travs del lmite para .
Que
1 sale de que hX (t) m
ax(1, t). Aplicndolo a X 0 se obtiene que
0
=1
0. Dicho esto, basta ver que
.
Como hX es submultiplicativa: 1 = hX (1) hX (t)hX (1/t), t > 1. Luego
log hX (1/t)
log(1/hX (1/t))
log hX (t)
=

.
log(1/t)
log t
log t
Ahora, si t , el miembro de la izquierda tiende a , el de la derecha a

y hemos acabado.

Definicin 23. Para 0 < a 1 definimos el siguiente operador en M0 (R+ , m).


(Pa f )(t) = t

Z t

sa f (s)

48

ds
, 0 < t < .
s

De forma anloga y para 0 a < 1, definimos


(Qa f )(t) = t

sa f (s)

ds
, 0 < t < .
s

Hacemos notar que Qb es el operador adjunto de Pa cuando a + b = 1, por


lo tanto:
Z
Z
f (t)(Qb g)(t)dt.
(Pa f )(t)g(t)dt =
0

Teorema 24. Se verifica:


si y slo si a >
(a) El operador Pa es acotado en X
X .
si y solo si a < X .
(b) Qa es acotado en X
Sean f X
ygX
0 tales
Demostracin. Supongamos Pa acotado en X.
que kf kX 1 y kgkX 0 1.
Se tiene que
 
Z
s
f
g (s)ds
t
0
decrece con t, por lo tanto, para cada t > 0 fijo, tenemos:
Z

s
g (s)ds = ata
t

 

at

Z 1/t

= at

! Z

s
g (s)ds
t

 

Z 1/t Z
Z

du

0
a

a1

f (su)g (s)ds ua1 du

Z 1/t

a du

f (su)u

g (s)
0

ds.

Si t > 1 podemos cambiar los lmites de integracin de la integral de dentro


por el [0, 1] y mediante un cambio de variable, obtenemos
Z
0

s
g (s)ds ata
t

 

= ata

Z
Z0

g (s) sa

Z s

f (v)v a

dv
v

g (s)(Pa f )(s)ds

ata kPa kB(X)


.
Tomando supremos en f y g en las condiciones descritas anteriormente,
a
hX (t) = kE1/t kB(X)
at kPa kB(X)

Por lo tanto, obtenemos


log hX (t)
log(akPa k)
a+
log(t)
log t
49

t > 1.

y haciendo tender t a infinito, obtenemos


X a.
Hemos probado entonces que kPa k = kPa kB(X)
X .
< implica que a
Tenemos que ver que la desigualdad es estricta. Sea  > 0 tal que kPa k < 1.
Entonces el operador I Pa es acotado e invertible y

(I Pa )1 =

n Pan .

n=0

El operador T = Pa (I Pa )1 = n=0 n Pan+1 es acotado tambin.


Adems, puede verse por induccin que
(log 1/s)n a1
s ds.
n!
0
Por lo tanto, usando el teorema de Beppo Levi, tenemos, para funciones no
que
negativas de X
(Pan+1 f )(t) =

Z 1

(T f )(t) =
0

Z 1

f (st)

X
( log(1/s))n
n=0

n!

f (st)s

a1

Z 1

ds =

f (st)sa1 ds.

en su parte positiva y negativa, podemos obtenPartiendo cada funcin de X


As T = Pa . Dado que T es acotado,
er el resultado para toda funcin de X.
usando el mismo argumento de antes, deducimos que a 
X . Y por lo
tanto a >
X como queramos.
Veamos ahora el reciproco, supongamos que a >
X . El Lema 8 nos dice
que
Z
Z 1
dt
a1
ta hX (t) < .
kEs kB(X)
ds =
s
t
1
0
Por lo tanto, si tomamos f y g como antes
Z Z 1
Z



a1


|f (st)|s ds |g(t)|dt
(Pa f )(t)g(t)dt

0
0
0

Z 1 Z

|f (st)g(t)|dt sa1 ds

=
0

Z 1
0

kEs kB(X) sa1 ds

Usando lo que hemos visto sobre esta ltima integral y tomando supremos
sobre las f y g sujetas a esas condiciones, deducimos que Pa es acotado en
Por lo tanto, la parte (a) queda probada.
X.
Ahora si 0 a < 1, usando que Qa es el adjunto de Pa , se tiene que Qa
0 . Por el apartado (a),
si y slo si P1a es acotado en X
es acotado en X
esto ocurre si y slo si 1 a >
X 0 . Pero
X 0 = 1 X , por lo tanto Qa es

acotado en X si y slo si a < X y el teorema queda probado.

50

Referencias
[1] C. Bennet and R. Sharpley, Interpolation of Operators. Academic Press,
Boston, 1988
[2] J. Bergh and J. Lfstrm, Interpolation Spaces. An Introduction.
Springer, Berlin, 1976
[3] D. E. Edmunds and H. Triebel, Function Spaces, Entropy Numbers,
Differential Operators. Cambridge Univ. Press, Cambridge, 1996.
[4] H. Triebel, Interpolation theory, function spaces, differential operators.
North-Holland, Amsterdam, 1978.

51