Informatica

Motivacion Inclusiones entre espacios i.r.
Inclusiones entre espacios intermedios generales Estimaciones cuantitativas

Inclusiones absolutamente continuas
y teora de interpolaci on
Antonio Manzano
Universidad de Burgos
Basada en dos trabajos conjuntos con
Pedro Fernandez-Martnez (Universidad de Murcia) y
Evgeniy Pustylnik (Technion - Israel Institute of Technology)
XIII Encuentros de An
alisis Real y Complejo

Zarautz, 5 al 7 de mayo de 2011
Antonio Manzano Universidad de Burgos
Inclusiones absolutamente continuas y teora de interpolaci on
Motivacion Inclusiones entre espacios i.r. Inclusiones entre espacios intermedios generales Estimaciones cuantitativas
Sean X, Y espacios de Banach tales que Y X . La inclusion se dice
compacta si B
Y
es relativamente compacto en X.
Sea W
k
p
= W
k
p
() espacio de Sobolev sobre , abierto acotado de R
n
.
La inclusion optima de Sobolev en la escala de espacios L
p
W
k
p
L
q
, 1 < p < n/k, q = np/(n kp),
no es compacta.
Sin embargo,
W
k
p
L
q
es compacta para cada > 0.
compacta si B
Y
Sea W
k
p
= W
k
p
n
.
p
W
k
p
L
q
, 1 < p < n/k, q = np/(n kp),
no es compacta.
Sin embargo,
W
k
p
L
q
compacta si B
Y
Sea W
k
p
= W
k
p
n
.
p
W
k
p
L
q
, 1 < p < n/k, q = np/(n kp),
no es compacta.
Sin embargo,
W
k
p
L
q
Extensi on de inclusiones de tipo Sobolev a espacios invariantes por reordenamiento (i.r.)
Problema: Dado un espacio i.r. X = X(), encontrar otro espacio i.r.
Y = Y() lo mas peque no posible tal que W
k
X
Y .
W
k
X
Y se dice optima si dado cualquier otro espacio i.r. Z = Z()
con W
k
X
Z, se sigue que Y Z.
W
k
X
= W
k
X
(), con k N, denota un espacio de Sobolev (generalizado),
denido como el conjunto de funciones f X con norma nita
f
W
k
X
= f
X
+
0<||k
_
_
_

||
f
1
x
1

n
x
n
_
_
_
X
(|| =
1
+ +
n
).
Cuando X = L
p
, W
k
X
resulta ser el espacio usual de Sobolev W
k
p
.
k
X
Y .
W
k
X
con W
k
X
W
k
X
= W
k
X
f
W
k
X
= f
X
+
0<||k
_
_
_

||
f
1
x
1

n
x
n
_
_
_
X
(|| =
1
+ +
n
).
Cuando X = L
p
, W
k
X
k
p
.
k
X
Y .
W
k
X
con W
k
X
W
k
X
= W
k
X
f
W
k
X
= f
X
+
0<||k
_
_
_

||
f
1
x
1

n
x
n
_
_
_
X
(|| =
1
+ +
n
).
Cuando X = L
p
, W
k
X
k
p
.
Una inclusion optima de tipo Sobolev no es compacta.
Teorema ( E. Pustylnik, Forum Math. 18 (2006) )
Sea W
k
X
Y optima y Z un espacio separable i.r. tal que W
k
X
Z.
Entonces
W
k
X
Z es compacta si y solo si Y Z es absolutamente continua.
Este Teorema permite dar una descripcion de todas las inclusiones
compactas de un espacio de Sobolev dado.
Nosotros estamos interesados en estudiar inclusiones absolutamente
continuas entre espacios de funciones.
Sea W
k
X
k
X
Z.
Entonces
W
k
X
Sea W
k
X
k
X
Z.
Entonces
W
k
X
Sea W
k
X
k
X
Z.
Entonces
W
k
X
Trabajaremos con espacios de Banach de funciones medibles sobre [0, 1]
con la medida de Lebesgue.
Un espacio de Banach A de funciones medibles que verica
i) f A y |g(x)| |f (x)| c.t.p g A y g
A
f
A
, (retculo)
ii) f A y |g(x)| equimedible con |f (x)| g A y g
A
= f
A
,
se dice que es un espacio invariante por reordenamiento (i.r.)
La funcion fundamental de un espacio A i.r.,
A
, esta denida por
A
(t) =
D
A
, D [0, 1] con mes(D) = t.
Inclusi on absolutamente continua
Sean X, Y espacios de Banach de funciones tales que Y X. Se dice
que Y X es absolutamente continua (a.c.) si los elementos de B
Y
tienen normas equi-absolutamente continuas en X, esto es,
para cada > 0 existe > 0 tal que, siempre que mes(D) < , se tiene
f
D
X
< , para toda f B
Y
.
Por ejemplo, la inclusion L
q
L
p
, p < q , es a.c.
Inclusi on absolutamente continua
Sean X, Y espacios de Banach de funciones tales que Y X. Se dice
que Y X es absolutamente continua (a.c.) si los elementos de B
Y
tienen normas equi-absolutamente continuas en X, esto es,
para cada > 0 existe > 0 tal que, siempre que mes(D) < , se tiene
f
D
X
< , para toda f B
Y
.
Por ejemplo, la inclusion L
q
L
p
, p < q , es a.c.
Condici on necesaria para espacios i.r.
Sean X, Y espacios i.r. tales que Y X. Si Y X es a.c.,
lim
t0
X
(t)
Y
(t)
= 0, (1)
donde
X
y
Y
son las funciones fundamentales de X e Y,
respectivamente.
Tomando
f
D
(s) = c
D
D
(s), con mes(D) = t, y c
D
= 1/
Y
(t),
obtenemos que f
D
Y
= 1 y as lim
t0
f
D
X
= 0. Pero
f
D
X
= c
D
X
(t) =
X
(t)/
Y
(t).
Hay familias de espacios i.r. para las que (1) es ademas una condicion
suciente para garantizar la absoluta continuidad. Por ejemplo, la
condicion (1) implica una inclusion a.c. entre dos espacios de Lorentz o
dos espacios de Marcinkiewicz.
lim
t0
X
(t)
Y
(t)
= 0, (1)
donde
X
y
Y
respectivamente.
Tomando
f
D
(s) = c
D
D
D
= 1/
Y
(t),
obtenemos que f
D
Y
= 1 y as lim
t0
f
D
X
= 0. Pero
f
D
X
= c
D
X
(t) =
X
(t)/
Y
(t).
lim
t0
X
(t)
Y
(t)
= 0, (1)
donde
X
y
Y
respectivamente.
Tomando
f
D
(s) = c
D
D
D
= 1/
Y
(t),
obtenemos que f
D
Y
= 1 y as lim
t0
f
D
X
= 0. Pero
f
D
X
= c
D
X
(t) =
X
(t)/
Y
(t).
Dada una funcion cuasiconcava denida sobre [0, 1], el espacio de
Marcinkiewicz M
es el conjunto de todas las funciones medibles f

teniendo norma nita
f
M
= sup
0<t<1
{(t)f

(t)} = sup
0<t<1
_
(t)
t
_
t
0
f

(s)ds
_
.
Si es una funcion concava no negativa denida sobre [0, 1] tal que
(0) = 0, el espacio de Lorentz
esta formado por las funciones

medibles f con norma nita
f
=
_
1
0
f

(s)d(s) = lim
t0
(t) f
L
+
_
1
0
f

(s)
(s)ds.
f

y f

son las funciones denidas por
f

(t) = inf{ > 0 : mes{|f | > } t}, f

(t) =
1
t
_
t
0
f

(s)ds.
Si E es un espacio i.r. tal que su funcion fundamental
E
es concava,
entonces
E
y M
E
son espacios i.r. con funcion fundamental
E
y
E
E M
E
.
Lema
Sean M
, M
espacios de Marcinkiewicz tales que M
:
lim
t0
(t)/(t) = 0 = M
es a.c.
Prueba
Sea > 0 tal que
(t)/(t) < if 0 < t ,
y sea D [0, 1] con mes(D) = . Puesto que (t)/t es decreciente,
f
D
= sup
0<t<1
(t)(f
D
)
(t) sup
0<t<1
(t)
1
t
_
t
0
f

(s)
(0,)
(s)ds
= max
_
sup
0<t<
(t)
(t)
(t)
t
_
t
0
f

(s)ds, sup
t<1
(t)
1
t
_

0
f

(s)ds
_
max
_
f
M
,
()
()
()f

()
_
f
M
.
Lema
Sean M
, M
espacios de Marcinkiewicz tales que M
:
lim
t0
(t)/(t) = 0 = M
es a.c.
Prueba
Sea > 0 tal que
(t)/(t) < if 0 < t ,
y sea D [0, 1] con mes(D) = . Puesto que (t)/t es decreciente,
f
D
= sup
0<t<1
(t)(f
D
)
(t) sup
0<t<1
(t)
1
t
_
t
0
f

(s)
(0,)
(s)ds
= max
_
sup
0<t<
(t)
(t)
(t)
t
_
t
0
f

(s)ds, sup
t<1
(t)
1
t
_

0
f

(s)ds
_
max
_
f
M
,
()
()
()f

()
_
f
M
.
Usando el siguiente resultado
Lema
Sean X, Y tales que Y X. Si Y X es a.c., la inclusion entre sus
espacios asociados X
es tambien a.c.
y la relacion de dualidad entre los espacios de Lorentz y de
Marcinkiewicz, se obtiene
Lema
Sean
espacios de Lorentz tales que
:
lim
t0
(t)/(t) = 0 =
es a.c.
Usando el siguiente resultado
Lema
Sean X, Y tales que Y X. Si Y X es a.c., la inclusion entre sus
espacios asociados X
es tambien a.c.
y la relacion de dualidad entre los espacios de Lorentz y de
Marcinkiewicz, se obtiene
Lema
Sean
espacios de Lorentz tales que
:
lim
t0
(t)/(t) = 0 =
es a.c.
Condici on suciente para espacios i.r.
Sean X, Y dos espacios i.r. La inclusion Y X es a.c. si
_
1
0
X
(t)
t
Y
(t)
dt < . (2)
Prueba Podemos suponer que
X
es concava. Puesto que
Y M
Y
y
X
X,
basta demostrar que M
X
es a.c. Por la absoluta continuidad de
la norma en L
1
, dado , existe tal que
_

0
X
(t)
t
Y
(t)
dt < , para todo < . (3)
Sea D [0, 1] con mes(D) = < . Para cualquier f tal que
f
M
Y
1, usando que f

(t)
Y
(t) f
M
Y
1 y (3), obtenemos
f
D
_

0
f

(t)
Y
(t)
X
(t)
Y
(t)
dt f
M
Y
_

0
X
(t)
t
Y
(t)
dt < .
Condici on suciente para espacios i.r.
Sean X, Y dos espacios i.r. La inclusion Y X es a.c. si
_
1
0
X
(t)
t
Y
(t)
dt < . (2)
Prueba Podemos suponer que
X
es concava. Puesto que
Y M
Y
y
X
X,
basta demostrar que M
X
es a.c. Por la absoluta continuidad de
la norma en L
1
, dado , existe tal que
_

0
X
(t)
t
Y
(t)
dt < , para todo < . (3)
Sea D [0, 1] con mes(D) = < . Para cualquier f tal que
f
M
Y
1, usando que f

(t)
Y
(t) f
M
Y
1 y (3), obtenemos
f
D
_

0
f

(t)
Y
(t)
X
(t)
Y
(t)
dt f
M
Y
_

0
X
(t)
t
Y
(t)
dt < .
Todo espacio i.r. A es un espacio intermedio con respecto al par
(L
1
, L
), esto es, L
[0, 1] A L
1
[0, 1].
Problema: Es posible decir algo acerca de inclusiones absolutamente
continuas entre espacios intermedios generales? En particular, se puede
decir algo sobre inclusiones absolutamente continuas entre retculos de
Banach intermedios?
Sea (A
0
, A
1
) un par de Banach. Para t > 0, el K-funcional es la norma
sobre A
0
+ A
1
dada por
K(t, a) = K(t, a; A
0
, A
1
)
= inf {a
0
A
0
+ ta
1
A
1
; a = a
0
+ a
1
, a
i
A
i
} ,
y el J-funcional la norma sobre A
0
A
1
denida como
J(t, a) = J(t, a; A
0
, A
1
) = max {a
A
0
, ta
A
1
} .
Un espacio de Banach A es intermedio con respecto a (A
0
, A
1
) si
A
0
A
1
A A
0
+ A
1
.
Todo espacio i.r. A es un espacio intermedio con respecto al par
(L
1
, L
), esto es, L
[0, 1] A L
1
[0, 1].
Problema: Es posible decir algo acerca de inclusiones absolutamente
continuas entre espacios intermedios generales? En particular, se puede
decir algo sobre inclusiones absolutamente continuas entre retculos de
Banach intermedios?
Sea (A
0
, A
1
) un par de Banach. Para t > 0, el K-funcional es la norma
sobre A
0
+ A
1
dada por
K(t, a) = K(t, a; A
0
, A
1
)
= inf {a
0
A
0
+ ta
1
A
1
; a = a
0
+ a
1
, a
i
A
i
} ,
y el J-funcional la norma sobre A
0
A
1
denida como
J(t, a) = J(t, a; A
0
, A
1
) = max {a
A
0
, ta
A
1
} .
Un espacio de Banach A es intermedio con respecto a (A
0
, A
1
) si
A
0
A
1
A A
0
+ A
1
.
Si el espacio no es i.r., no disponemos de funcion fundamental.
Necesitamos contar con otras funciones que permitan describir, en cierto
sentido, la posicion del espacio intermedio con respecto al par.
Funciones y ( F. Cobos, M. Cwikel y P. Matos, Proc. Edinburgh Math. Soc.
44 (2001) )
Sea A un espacio intermedio con respecto a (A
0
, A
1
). Para t > 0, sean
A
(t; A
0
, A
1
) = sup{K(t, a) ; a
A
= 1},
A
(t; A
0
, A
1
) = inf{J(t, a) ; a A
0
A
1
, a
A
= 1}.
Son variantes de las funciones de inclusion consideradas por Pustylnik,
denidas a partir de las constantes de inclusion de A en todos los pares
(
1
A
0
,
1
A
1
), > 0, > 0:
C
A
(, ) = sup
aA
0
A
1
a
A
a 1
A
0
A
1
, D
A
(, ) = inf
aA
a
A
a 1
A
0
+
1
A
1
.
C
A
(, ) =
1
(1/)
A
(/)
, D
A
(, ) =
1
(1/)
A
(/)
.
44 (2001) )
0
, A
1
). Para t > 0, sean
A
(t; A
0
, A
1
) = sup{K(t, a) ; a
A
= 1},
A
(t; A
0
, A
1
) = inf{J(t, a) ; a A
0
A
1
, a
A
= 1}.
(
1
A
0
,
1
A
1
), > 0, > 0:
C
A
(, ) = sup
aA
0
A
1
a
A
a 1
A
0
A
1
, D
A
(, ) = inf
aA
a
A
a 1
A
0
+
1
A
1
.
C
A
(, ) =
1
(1/)
A
(/)
, D
A
(, ) =
1
(1/)
A
(/)
.
44 (2001) )
0
, A
1
). Para t > 0, sean
A
(t; A
0
, A
1
) = sup{K(t, a) ; a
A
= 1},
A
(t; A
0
, A
1
) = inf{J(t, a) ; a A
0
A
1
, a
A
= 1}.
(
1
A
0
,
1
A
1
), > 0, > 0:
C
A
(, ) = sup
aA
0
A
1
a
A
a 1
A
0
A
1
, D
A
(, ) = inf
aA
a
A
a 1
A
0
+
1
A
1
.
C
A
(, ) =
1
(1/)
A
(/)
, D
A
(, ) =
1
(1/)
A
(/)
.
Las funciones
A
y
A
verican:
i) 0 <
A
(t),
A
(t) <
ii)
A
(t) y
A
(t) son crecientes,
iii)
A
(t)/t y
A
(t)/t son decrecientes.
As, si ponemos
A
(0) = 0 y
A
(0) = 0, son funciones cuasiconcavas.
El par A
0
= L
1
, A
1
= L
es especialmente importante:
Si A es un espacio i.r., se tiene
A
(t) =
t
A
(t; L
1
, L
)
=
t
A
(t; L
1
, L
)
.
Si el espacio intermedio no es i.r., se pueden estimar y ?
Para cada f L
1
[0, 1],
K(t, f ; L
1
, L
) =
_
t
0
f

(s)ds = tf

(t), t > 0.
Las funciones
A
y
A
verican:
i) 0 <
A
(t),
A
(t) <
ii)
A
(t) y
A
(t) son crecientes,
iii)
A
(t)/t y
A
As, si ponemos
A
(0) = 0 y
A
El par A
0
= L
1
, A
1
= L
A
(t) =
t
A
(t; L
1
, L
)
=
t
A
(t; L
1
, L
)
.
Para cada f L
1
[0, 1],
K(t, f ; L
1
, L
) =
_
t
0
f

(s)ds = tf

(t), t > 0.
Las funciones
A
y
A
verican:
i) 0 <
A
(t),
A
(t) <
ii)
A
(t) y
A
(t) son crecientes,
iii)
A
(t)/t y
A
As, si ponemos
A
(0) = 0 y
A
El par A
0
= L
1
, A
1
= L
A
(t) =
t
A
(t; L
1
, L
)
=
t
A
(t; L
1
, L
)
.
Para cada f L
1
[0, 1],
K(t, f ; L
1
, L
) =
_
t
0
f

(s)ds = tf

(t), t > 0.
Las funciones
A
y
A
verican:
i) 0 <
A
(t),
A
(t) <
ii)
A
(t) y
A
(t) son crecientes,
iii)
A
(t)/t y
A
As, si ponemos
A
(0) = 0 y
A
El par A
0
= L
1
, A
1
= L
A
(t) =
t
A
(t; L
1
, L
)
=
t
A
(t; L
1
, L
)
.
Para cada f L
1
[0, 1],
K(t, f ; L
1
, L
) =
_
t
0
f

(s)ds = tf

(t), t > 0.
Las funciones
A
y
A
verican:
i) 0 <
A
(t),
A
(t) <
ii)
A
(t) y
A
(t) son crecientes,
iii)
A
(t)/t y
A
As, si ponemos
A
(0) = 0 y
A
El par A
0
= L
1
, A
1
= L
A
(t) =
t
A
(t; L
1
, L
)
=
t
A
(t; L
1
, L
)
.
Para cada f L
1
[0, 1],
K(t, f ; L
1
, L
) =
_
t
0
f

(s)ds = tf

(t), t > 0.
A
(t) = sup{K(t, f ) ; f
A
= 1} = sup
_
_
t
0
f

(s)ds ; f
A
= 1
_
= sup
_
sup
_
_
1
0
|f (s)
D
(s)|ds ; mes(D) t
_
; f
A
= 1
_
= sup
_
sup
_
_
1
0
|f (s)
D
(s)|ds ; f
A
= 1
_
; mes(D) t
_
= sup{
D
A
; mes(D) t}.
Recordemos que el espacio asociado A

medibles g para las que
g
A
= sup
_
_
1
0
|f (s)g(s)|ds ; f
A
1
_
< .
Se dice que A
es un subespacio normante de A
siempre que
f
A
= sup
_
_
1
0
|f (s)g(s)|ds ; g A
, g
A
= 1
_
, para toda f A.
A
(t) = sup{K(t, f ) ; f
A
= 1} = sup
_
_
t
0
f

(s)ds ; f
A
= 1
_
= sup
_
sup
_
_
1
0
|f (s)
D
(s)|ds ; mes(D) t
_
; f
A
= 1
_
= sup
_
sup
_
_
1
0
|f (s)
D
(s)|ds ; f
A
= 1
_
; mes(D) t
_
= sup{
D
A
; mes(D) t}.
Recordemos que el espacio asociado A

medibles g para las que
g
A
= sup
_
_
1
0
|f (s)g(s)|ds ; f
A
1
_
< .
Se dice que A
siempre que
f
A
= sup
_
_
1
0
|f (s)g(s)|ds ; g A
, g
A
= 1
_
, para toda f A.
Teorema (Luz M. Fernandez-Cabrera, Math. Proc. Camb. Phil. Soc. 136 (2004))
Sea A un espacio intermedio con respecto (L
1
, L
). Para 0 < t < 1,
A
(t) =
A
(t; L
1
, L
) = sup{
D
A
; D [0, 1], mes(D) t}.
Teorema (Condicion necesaria para espacios intermedios generales)
Sean X, Y espacios intermedios con respecto a (L
1
, L
) tales que
Y X. Si Y X es a.c., entonces
lim
t0
Y
(t)
X
(t)
= 0. (4)
1
, L
). Para 0 < t < 1,
A
(t) =
A
(t; L
1
, L
) = sup{
D
A
; D [0, 1], mes(D) t}.
1
, L
) tales que
lim
t0
Y
(t)
X
(t)
= 0. (4)
1
, L
). Para 0 < t < 1,
A
(t) = (t; L
1
, L
)
t
sup{
D
A
; D [0, 1], mes(D) t}
.
Si ademas A
, se tiene igualdad.
1
, L
) tales que
lim
t0
Y
(t)
X
(t)
= 0. (5)
1
, L
). Para 0 < t < 1,
A
(t) = (t; L
1
, L
)
t
sup{
D
A
; D [0, 1], mes(D) t}
.
Si ademas A
, se tiene igualdad.
1
, L
) tales que
lim
t0
Y
(t)
X
(t)
= 0. (5)
1
, L
) tales que
lim
t0
Y
(t)
X
(t)
= 0. (6)
Si X, Y son espacios i.r., las condiciones anteriores (4), (5), (6)
recuperan la condicion necesaria (1), dada en terminos de las funciones
fundamentales X e Y:
lim
t0
X
(t)
Y
(t)
= 0.
1
, L
) tales que
lim
t0
Y
(t)
X
(t)
= 0. (6)
Si X, Y son espacios i.r., las condiciones anteriores (4), (5), (6)
recuperan la condicion necesaria (1), dada en terminos de las funciones
fundamentales X e Y:
lim
t0
X
(t)
Y
(t)
= 0.
Las condiciones necesarias (4), (5), (6), esto es,
lim
t0
Y
(t)
X
(t)
= 0, lim
t0
Y
(t)
X
(t)
= 0, lim
t0
Y
(t)
X
(t)
= 0,
no son equivalentes. Consideremos el espacio intermedio
E = {f L
1
[0, 1]; f
E
= max{f
(0,1/2)
[0,1]
, f
(1/2,1)
L
1
[0,1]
} < }.
E es un retculo de Banach, pero no es un espacio i.r. Ademas,
E
(t) 1 + t y
E
(t) t. Por tanto,
lim
t0
[0,1]
(t)
E
(t)
= lim
t0
[0,1]
(t)
E
(t)
= 0, pero lim
t0
[0,1]
(t)
E
(t)
> 0.
En particular, L
[0, 1] E no es a.c. Analogamente,

lim
t0
E
(t)
L
1
[0,1]
(t)
= lim
t0
E
(t)
L
1
[0,1]
(t)
= 0, pero lim
t0
E
(t)
L
1
[0,1]
(t)
> 0,
y, en particular, E L
1
[0, 1] no es a.c.
Ninguna de las condiciones necesarias (4), (5), (6), esto es,
lim
t0
Y
(t)
X
(t)
= 0, lim
t0
Y
(t)
X
(t)
= 0, lim
t0
Y
(t)
X
(t)
= 0,
es condicion suciente, en general, para garantizar una inclusion a.c.,
incluso aunque ambos espacios sean i.r.
Sea p > 1 y A
p
el espacio de todas las funciones f con norma nita
f
A
p
= sup
0<t<1
_
log
e
t
_
1
_
1
t
s
1/p
f

(s)
ds
s
.
A
p
(t) t
1/p
_
log
e
t
_
1
. Ademas M
p
A
p
, donde M
p
es el espacio de
Marcinkiewicz con funci on fundamental
M
p
(t) = t
1/p
, y
lim
t0
A
p
(t)/
M
p
(t) = lim
t0
_
log
e
t
_
1
= 0.
Sin embargo, M
p
A
p
no es a.c.: {f
m
} dada por
f
m
(t) = m
1/p
(0,1/m)
(t) + t
1/p
(1/m,1)
(t), m = 1, 2, . . . ,
es acotada en M
p
, pero para cada > 0, f
m
(0,)
A
p
1/2 si m es
sucientemente grande.
Teorema
Sea A un espacio intermedio con respecto al par de Banach (L
1
, L
).
Sea (t) = t/
A
(t) y denotemos por (t) el menor mayorante concavo
de la funcion t/
A
(t). Entonces
A M
.
Teorema (Condicion suciente para espacios intermedios generales)
Sean X e Y dos espacios intermedios con respecto a (L
1
, L
). Si
_
1
0
Y
(t)
t
X
(t)
dt < , (7)
entonces Y X es a.c.
Teorema
Sea A un espacio intermedio con respecto al par de Banach (L
1
, L
).
Sea (t) = t/
A
(t) y denotemos por (t) el menor mayorante concavo
de la funcion t/
A
(t). Entonces
A M
.
Teorema (Condicion suciente para espacios intermedios generales)
Sean X e Y dos espacios intermedios con respecto a (L
1
, L
). Si
_
1
0
Y
(t)
t
X
(t)
dt < , (7)
entonces Y X es a.c.
Si X, Y son espacios i.r., la condicion (7) recupera la condicion
suciente (2), dada en terminos de las funciones fundamentales X e Y:
_
1
0
X
(t)
t
Y
(t)
dt < .
La condicion (7) no es necesaria, en general, incluso cuando se
consideran dos espacios i.r.
Sea X = L
1
e Y cualquier espacio i.r. con
Y
(t) = t log(e/t). Entonces
Y X es a.c.,
pues Y M
Y
X , con M
Y
X a.c. Sin embargo,
_
1
0
1
t log(e/t)
dt = .
Si X, Y son espacios i.r., la condicion (7) recupera la condicion
suciente (2), dada en terminos de las funciones fundamentales X e Y:
_
1
0
X
(t)
t
Y
(t)
dt < .
La condicion (7) no es necesaria, en general, incluso cuando se
consideran dos espacios i.r.
Sea X = L
1
e Y cualquier espacio i.r. con
Y
(t) = t log(e/t). Entonces
Y X es a.c.,
pues Y M
Y
X , con M
Y
X a.c. Sin embargo,
_
1
0
1
t log(e/t)
dt = .
Funcion
YX
Sean X, Y dos retculos de Banach intermedios con respecto a (L
1
, L
)
tales que Y X. Denimos la funcion
YX
, como
YX
(h) = sup
f
Y
1
sup
D[0,1], mes(D)h
f
D
X
, 0 < h < 1.
La funcion
YX
es positiva y creciente. Se verica
Y X es a.c. si y solo si inf
0<h<1
YX
(h) = 0.
Otras propiedades de
YX
(h):
a) sup
0<h<1
YX
(h) = Y X.
b) Si Z Y X, entonces
ZX
(h)
ZY
(h)
YX
(h).
c)
X
Y
(h)
YX
(h).
Funcion
YX
1
, L
)
YX
, como
YX
(h) = sup
f
Y
1
sup
D[0,1], mes(D)h
f
D
X
, 0 < h < 1.
La funcion
YX
0<h<1
YX
(h) = 0.
YX
(h):
a) sup
0<h<1
YX
(h) = Y X.
ZX
(h)
ZY
(h)
YX
(h).
c)
X
Y
(h)
YX
(h).
Funcion
YX
1
, L
)
YX
, como
YX
(h) = sup
f
Y
1
sup
D[0,1], mes(D)h
f
D
X
, 0 < h < 1.
La funcion
YX
0<h<1
YX
(h) = 0.
YX
(h):
a) sup
0<h<1
YX
(h) = Y X.
ZX
(h)
ZY
(h)
YX
(h).
c)
X
Y
(h)
YX
(h).
Ejemplo 1
Sean X = L
p
, Y = L
q
, p < q. Entonces,
YX
(h) = h
1/p1/q
.
Ejemplo 2
Let X =
, Y = M
tales que p
> 0 , q
< 1 and Y X. Se tiene
YX
(h)
_
h
0
(t)
t(t)
dt.
Dado un espacio X i.r. los ndices de extension inferior y superior de su
funcion fundamental son, respectivamente,
p
= lim
t0
log m
(t)
log t
y q
= lim
t
log m
(t)
log t
,
donde m
(t) = sup
0<s<1
(ts)
(s)
.
Ejemplo 1
Sean X = L
p
, Y = L
q
, p < q. Entonces,
YX
(h) = h
1/p1/q
.
Ejemplo 2
Let X =
, Y = M
tales que p
> 0 , q
< 1 and Y X. Se tiene
YX
(h)
_
h
0
(t)
t(t)
dt.
Dado un espacio X i.r. los ndices de extension inferior y superior de su
funcion fundamental son, respectivamente,
p
= lim
t0
log m
(t)
log t
y q
= lim
t
log m
(t)
log t
,
donde m
(t) = sup
0<s<1
(ts)
(s)
.
Si un espacio i.r. con funcion fundamental es un espacio de
interpolacion con respecto a (
, M
), se denomina ultrasimetrico.
Teorema ( E. Pustylnik, J. London Math. Soc. 68 (2003) )
Un espacio i.r. X es ultrasimetrico si y solo si su norma es equivalente a
(t)f

(t)
E
para alg un espacio

E, que es i.r. con respecto a la medida
dt/t, y alguna funcion equivalente a la funcion fundamental de X.
Los espacio ultrasimetricos forman una amplia clase de espacios i.r. que
incluye los espacios de Lebesgue, Lorentz, Lorentz-Zygmund y otros
espacios clasicos.
Ejemplo 3
Sea Y X, donde X e Y son dos espacios ultrasimetricos con normas
(equivalentes a) f

E
and f

E
respectivamente. Entonces
YX
(h) sup
0<t<h
(t)
(t)
.
, M
(t)f

(t)
E
para alg un espacio

espacios clasicos.
Ejemplo 3
(equivalentes a) f

E
and f

E
YX
(h) sup
0<t<h
(t)
(t)
.
, M
(t)f

(t)
E
para alg un espacio

espacios clasicos.
Ejemplo 3
(equivalentes a) f

E
and f

E
YX
(h) sup
0<t<h
(t)
(t)
.
Algunas referencias
J. Appell and E. De Pascale, Su alcuni parametri connessi con la misura di non compattezza
di Hausdor in spazi di funzioni misurabili, Boll. Unione Mat. Ital. 3-B (1984), 497-515.
C. Bennett and R. Sharpley, Interpolation of operators. Academic Press, 1988.
F. Cobos, M. Cwikel and P. Matos, Best possible compactness results of Lions-Peetre type.
Proc. Edinburgh Math. Soc. 44 (2001), 153-172.
Luz M. Fernandez-Cabrera, Inclusion indices of function spaces and applications. Math.
Proc. Camb. Phil. Soc. 136 (2004), 665-674.
P. Fernandez-Martnez and A. Manzano, Absolutely continuous embeddings between
Banach spaces of functions, en realizacion.
P. Fernandez-Martnez, A. Manzano and E. Pustylnik, Absolutely continuous embeddings of
rearrangement-invariant spaces, Mediterr. J. Math. 7 (2010), 539-552.
S. G. Krein, Ju. I. Petunin and E. M. Semenov, Interpolation of linear operators.
American Mathematical Society, 1982.
E. Pustylnik, On compactness of Sobolev embeddings in rearrangement-invariant spaces,
Forum Mathematicum 18 (2006), 839-852.
E. Pustylnik and T.M. Signes, New classes of rearrangement invariant spaces appearing in
extreme cases of weak interpolation, J. Funct. Spaces Appl. 4 (2006), 275-304.
P.P. Zabreiko, Non-linear integral operators, Trudy Sem. Anal., Voronezh, 8 (1966), 3-148.

Informatica

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Informatica

Enviado por

Direitos autorais:

Formatos disponíveis

Motivacion Inclusiones entre espacios i.r.

Inclusiones entre espacios intermedios generales Estimaciones cuantitativas

alisis Real y Complejo

es el conjunto de todas las funciones medibles f

esta formado por las funciones

espacios de Marcinkiewicz tales que M

espacios de Marcinkiewicz tales que M

espacios de Lorentz tales que

espacios de Lorentz tales que

esta formado por las funciones

esta formado por las funciones

). Para 0 < t < 1,

). Para 0 < t < 1,

). Para 0 < t < 1,

). Para 0 < t < 1,

[0, 1] E no es a.c. Analogamente,

< 1 and Y X. Se tiene

< 1 and Y X. Se tiene

Você também pode gostar