Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor...

51
Algunos Problemas Abiertos en Teor´ ıa de Interpolaci´ on Fernando Cobos Universidad Complutense de Madrid Encuentros de la Red An´ alisis Funcional aceres, Marzo 2017

Transcript of Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor...

Page 1: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

Algunos Problemas Abiertos enTeorıa de Interpolacion

Fernando Cobos

Universidad Complutense de Madrid

Encuentros de la Red Analisis Funcional

Caceres, Marzo 2017

Page 2: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

1960 : Bsp,q , Hsp , BMO , . . .

Teorıa de Interpolacion

Page 3: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

1960 : Bsp,q , Hsp , BMO , . . .

Teorıa de Interpolacion

• (U, µ), (V, ν) espacios de medida σ-finitos.

Teorema de Riesz-Thorin.- Supongamos que 1 ≤ p0, p1, q0, q1 ≤ ∞ y sea T un operador linealque envıa continuamente

Lp0 (U) −→ Lq0 (V ) con norma M0 , y

Lp1 (U) −→ Lq1 (V ) con norma M1 .

Tomemos cualquier 0 < θ < 1 y pongamos 1/p = (1− θ)/p0 + θ/p1 , 1/q = (1− θ)/q0 + θ/q1.Entonces T envıa continuamente

Lp(U) −→ Lq(V ) con norma M ≤M1−θ0 Mθ

1 .

B Marcel Riesz (1926); G.O. Thorin (1938)

Page 4: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

• Operadores integrales. Compacidad.

B L.V. Kantorovich, Uspei Mat. Nauk (N.S.) 7 (1956) 3-29.

Page 5: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

• Operadores integrales. Compacidad.

B L.V. Kantorovich, Uspei Mat. Nauk (N.S.) 7 (1956) 3-29.

Teorema de Krasnosel´skii.- Supongamos que 1 ≤ p0, p1, q1 ≤ ∞, 1 ≤ q0 <∞ y sea T unoperador lineal tal que

T : Lp0 (U) −→ Lq0 (V ) es compacto y T : Lp1 (U) −→ Lq1 (V ) es acotado .

EntoncesT : Lp(U) −→ Lq(V ) es tambien compacto

si para algun 0 < θ < 1, se tiene 1/p = (1− θ)/p0 + θ/p1 y 1/q = (1− θ)/q0 + θ/q1.

Page 6: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

• Operadores integrales. Compacidad.

B L.V. Kantorovich, Uspei Mat. Nauk (N.S.) 7 (1956) 3-29.

Teorema de Krasnosel´skii.- Supongamos que 1 ≤ p0, p1, q1 ≤ ∞, 1 ≤ q0 <∞ y sea T unoperador lineal tal que

T : Lp0 (U) −→ Lq0 (V ) es compacto y T : Lp1 (U) −→ Lq1 (V ) es acotado .

EntoncesT : Lp(U) −→ Lq(V ) es tambien compacto

si para algun 0 < θ < 1, se tiene 1/p = (1− θ)/p0 + θ/p1 y 1/q = (1− θ)/q0 + θ/q1.

Para 1 < p <∞ el espacio Lp-debil Lp,∞ se define por

Lp,∞ ={f : ‖f‖p,∞ = sup

t>0

{t(1/p)−1

∫ t

0f∗(s)ds

}<∞

}. Se tiene Lp ↪→ Lp,∞.

f∗(t) = inf{δ > 0 : µ{x ∈ U : |f(x)| > δ} ≤ t} , 0 < t <∞ .

Page 7: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

Teorema de Marcinkiewicz.- Sean 1 ≤ p0, p1 ≤ ∞ con 1 < q0 6= q1 <∞, y sea T unoperador lineal que envıa

Lp0(U) −→ Lq0,∞(V ) con norma M0 y Lp1(U) −→ Lq1,∞(V ) con norma M1 .

Tomemos 0 < θ < 1 y pongamos 1/p = (1− θ)/p0 + θ/p1 , 1/q = (1− θ)/q0 + θ/q1.Si p ≤ q, entonces T envıa continuamente

Lp(U) −→ Lq(V ) con norma M ≤ CM1−θ0 Mθ

1 .

B Marcinkiewicz (1939). Zygmund (1956).

Page 8: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

Teorema de Marcinkiewicz.- Sean 1 ≤ p0, p1 ≤ ∞ con 1 < q0 6= q1 <∞, y sea T unoperador lineal que envıa

Lp0(U) −→ Lq0,∞(V ) con norma M0 y Lp1(U) −→ Lq1,∞(V ) con norma M1 .

Tomemos 0 < θ < 1 y pongamos 1/p = (1− θ)/p0 + θ/p1 , 1/q = (1− θ)/q0 + θ/q1.Si p ≤ q, entonces T envıa continuamente

Lp(U) −→ Lq(V ) con norma M ≤ CM1−θ0 Mθ

1 .

B Marcinkiewicz (1939). Zygmund (1956).

• J.L. Lions, Peetre, Gagliardo, A. Calderon, Aronszajn, S.G. Krein, Triebel, ...

Teorıa abstracta de interpolacion

↗↙ ↖↘

Riesz-Thorin Marcinkiewicz

↓ ↓[·, ·]θ (·, ·)θ,q

Page 9: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

Par compatible.- (A0, A1), Aj espacios de Banach y Aj ↪→ A, j = 0, 1.

A0 +A1 = {a ∈ A : a = a0 + a1, aj ∈ Aj} , A0 ∩A1 = {a ∈ A : a ∈ A0, a ∈ A1}

Page 10: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

Par compatible.- (A0, A1), Aj espacios de Banach y Aj ↪→ A, j = 0, 1.

A0 +A1 = {a ∈ A : a = a0 + a1, aj ∈ Aj} , A0 ∩A1 = {a ∈ A : a ∈ A0, a ∈ A1}

El metodo complejo require considerar el espacio F de todas las funciones f de labanda cerrada S = {z ∈ C : 0 ≤ Rez ≤ 1} en A0 +A1 tales que

f es acotada y continua sobre S , analıtica en el interior de S, y

las funciones t −→ f(j + it) (j = 0, 1) son continuas de R en Aj y tienden a cerocuando |t| → ∞.

‖f‖F = max{supt∈R‖f(it)‖A0 , sup

t∈R‖f(1 + it)‖A1} .

Page 11: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

Par compatible.- (A0, A1), Aj espacios de Banach y Aj ↪→ A, j = 0, 1.

A0 +A1 = {a ∈ A : a = a0 + a1, aj ∈ Aj} , A0 ∩A1 = {a ∈ A : a ∈ A0, a ∈ A1}

El metodo complejo require considerar el espacio F de todas las funciones f de labanda cerrada S = {z ∈ C : 0 ≤ Rez ≤ 1} en A0 +A1 tales que

f es acotada y continua sobre S , analıtica en el interior de S, y

las funciones t −→ f(j + it) (j = 0, 1) son continuas de R en Aj y tienden a cerocuando |t| → ∞.

‖f‖F = max{supt∈R‖f(it)‖A0 , sup

t∈R‖f(1 + it)‖A1} .

Para 0 < θ < 1, el espacio de interpolacion complejo [A0, A1]θ consiste de todos losa ∈ A0 +A1 tales que a = f(θ) para algun f ∈ F .

‖a‖[θ] = inf{‖f‖F : f(θ) = a , f ∈ F} .

B A.P. Calderon, Studia Math. 24 (1964) 113-190.

Page 12: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

El metodo real admite diversas definiciones equivalentes.

K-funcional de Peetre

K(t, a) = inf{‖a0‖A0 + t‖a1‖A1 : a = a0 + a1, aj ∈ Aj}, t > 0 , a ∈ A0 +A1

Page 13: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

El metodo real admite diversas definiciones equivalentes.

K-funcional de Peetre

K(t, a) = inf{‖a0‖A0 + t‖a1‖A1 : a = a0 + a1, aj ∈ Aj}, t > 0 , a ∈ A0 +A1

Para 0 < θ < 1 y 1 ≤ q ≤ ∞, el espacio de interpolacion real (A0, A1)θ,q consiste detodos los a ∈ A0 +A1 que tienen una norma finita

‖a‖θ,q =

∞∫0

(t−θK(t, a)

)q dtt

1q

.

B J.L. Lions and J. Peetre, Inst. Hautes Etudes Sci. Publ. Math. 19 (1964) 5-68.

Page 14: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

El metodo real admite diversas definiciones equivalentes.

K-funcional de Peetre

K(t, a) = inf{‖a0‖A0 + t‖a1‖A1 : a = a0 + a1, aj ∈ Aj}, t > 0 , a ∈ A0 +A1

Para 0 < θ < 1 y 1 ≤ q ≤ ∞, el espacio de interpolacion real (A0, A1)θ,q consiste detodos los a ∈ A0 +A1 que tienen una norma finita

‖a‖θ,q =

∞∫0

(t−θK(t, a)

)q dtt

1q

.

B J.L. Lions and J. Peetre, Inst. Hautes Etudes Sci. Publ. Math. 19 (1964) 5-68.

B J. Bergh and J. Lofstrom, Springer, 1976. B H. Triebel, North-Holland, 1978.

Page 15: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

El metodo real admite diversas definiciones equivalentes.

K-funcional de Peetre

K(t, a) = inf{‖a0‖A0 + t‖a1‖A1 : a = a0 + a1, aj ∈ Aj}, t > 0 , a ∈ A0 +A1

Para 0 < θ < 1 y 1 ≤ q ≤ ∞, el espacio de interpolacion real (A0, A1)θ,q consiste detodos los a ∈ A0 +A1 que tienen una norma finita

‖a‖θ,q =

∞∫0

(t−θK(t, a)

)q dtt

1q

.

B J.L. Lions and J. Peetre, Inst. Hautes Etudes Sci. Publ. Math. 19 (1964) 5-68.

B J. Bergh and J. Lofstrom, Springer, 1976. B H. Triebel, North-Holland, 1978.

[L1(U), L∞(U)]θ = Lp(U) , 1/p = 1− θ . (L1(U), L∞(U))θ,q = Lp,q(U) .

Page 16: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

El metodo real admite diversas definiciones equivalentes.

K-funcional de Peetre

K(t, a) = inf{‖a0‖A0 + t‖a1‖A1 : a = a0 + a1, aj ∈ Aj}, t > 0 , a ∈ A0 +A1

Para 0 < θ < 1 y 1 ≤ q ≤ ∞, el espacio de interpolacion real (A0, A1)θ,q consiste detodos los a ∈ A0 +A1 que tienen una norma finita

‖a‖θ,q =

∞∫0

(t−θK(t, a)

)q dtt

1q

.

B J.L. Lions and J. Peetre, Inst. Hautes Etudes Sci. Publ. Math. 19 (1964) 5-68.

B J. Bergh and J. Lofstrom, Springer, 1976. B H. Triebel, North-Holland, 1978.

[L1(U), L∞(U)]θ = Lp(U) , 1/p = 1− θ . (L1(U), L∞(U))θ,q = Lp,q(U) .

[W k0p ,W k1

p ]θ = Hsp , (W k0

p ,W k1p )θ,q = Bsp,q .

Aquı 1 < p <∞ , k0, k1 ∈ N , k0 6= k1 , 1 ≤ q ≤ ∞ , 0 < θ < 1 , s = (1− θ)k0 + θk1.

Page 17: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

Teorema de interpolacion.- Sea 0 < θ < 1, 1 ≤ q ≤ ∞ y sea F el metodo real (·, ·)θ,q oel metodo complejo [·, ·]θ. Cualquiera que sean los pares compatibles de espacios deBanach (A0, A1), (B0, B1) y el operador lineal T de A0 +A1 en B0 +B1 tal queT : Aj −→ Bj es acotado para j = 0, 1, se tiene que la restriccion de T a F(A0, A1) esun operador acotado T : F(A0, A1) −→ F(B0, B1) con norma

‖T‖F(A0,A1),F(B0,B1) ≤ ‖T‖1−θA0,B0‖T‖θA1,B1 .

Page 18: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

Teorema de interpolacion.- Sea 0 < θ < 1, 1 ≤ q ≤ ∞ y sea F el metodo real (·, ·)θ,q oel metodo complejo [·, ·]θ. Cualquiera que sean los pares compatibles de espacios deBanach (A0, A1), (B0, B1) y el operador lineal T de A0 +A1 en B0 +B1 tal queT : Aj −→ Bj es acotado para j = 0, 1, se tiene que la restriccion de T a F(A0, A1) esun operador acotado T : F(A0, A1) −→ F(B0, B1) con norma

‖T‖F(A0,A1),F(B0,B1) ≤ ‖T‖1−θA0,B0‖T‖θA1,B1 .

Teorema de Lions-Peetre.- Sean (A0, A1), (B0, B1) pares compatibles de espacios deBanach, sean A,B espacios de Banach y sea T un operador lineal. Supongamos que0 < θ < 1, 1 ≤ q ≤ ∞ y sea F = (·, ·)θ,q o [·, ·]θ .

(a) Si T ∈ L(A,B0 ∩B1) con T : A −→ B0 compacto, entoncesT : A −→ F(B0, B1) es compacto.

(b) Si T ∈ L(A0 +A1, B) con T : A0 −→ B compacto, entoncesT : F(A0, A1) −→ B es compacto.

Page 19: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

Teorema de interpolacion.- Sea 0 < θ < 1, 1 ≤ q ≤ ∞ y sea F el metodo real (·, ·)θ,q oel metodo complejo [·, ·]θ. Cualquiera que sean los pares compatibles de espacios deBanach (A0, A1), (B0, B1) y el operador lineal T de A0 +A1 en B0 +B1 tal queT : Aj −→ Bj es acotado para j = 0, 1, se tiene que la restriccion de T a F(A0, A1) esun operador acotado T : F(A0, A1) −→ F(B0, B1) con norma

‖T‖F(A0,A1),F(B0,B1) ≤ ‖T‖1−θA0,B0‖T‖θA1,B1 .

Teorema de Lions-Peetre.- Sean (A0, A1), (B0, B1) pares compatibles de espacios deBanach, sean A,B espacios de Banach y sea T un operador lineal. Supongamos que0 < θ < 1, 1 ≤ q ≤ ∞ y sea F = (·, ·)θ,q o [·, ·]θ .

(a) Si T ∈ L(A,B0 ∩B1) con T : A −→ B0 compacto, entoncesT : A −→ F(B0, B1) es compacto.

(b) Si T ∈ L(A0 +A1, B) con T : A0 −→ B compacto, entoncesT : F(A0, A1) −→ B es compacto.

B M. Cwikel, Duke Math. J. 65 (1992) 333-343.

B F. Cobos, T. Kuhn, T. Schonbek, J. Funct. Anal. 106 (1992) 274-313.

Page 20: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

Teorema.- Sea 0 < θ < 1, 1 ≤ q ≤ ∞, sean (A0, A1), (B0, B1) pares compatibles deespacios de Banach y sea T un operador lineal de A0 +A1 en B0 +B1 tal queT : Aj −→ Bj es acotado para j = 0, 1 y alguna de estas restricciones es compacta.Entonces el operador T : (A0, A1)θ,q −→ (B0, B1)θ,q es compacto.

Page 21: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

Teorema.- Sea 0 < θ < 1, 1 ≤ q ≤ ∞, sean (A0, A1), (B0, B1) pares compatibles deespacios de Banach y sea T un operador lineal de A0 +A1 en B0 +B1 tal queT : Aj −→ Bj es acotado para j = 0, 1 y alguna de estas restricciones es compacta.Entonces el operador T : (A0, A1)θ,q −→ (B0, B1)θ,q es compacto.

A0 (A0, A1)θ,q A1

o

0 θ 1

Page 22: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

Teorema.- Sea 0 < θ < 1, 1 ≤ q ≤ ∞, sean (A0, A1), (B0, B1) pares compatibles deespacios de Banach y sea T un operador lineal de A0 +A1 en B0 +B1 tal queT : Aj −→ Bj es acotado para j = 0, 1 y alguna de estas restricciones es compacta.Entonces el operador T : (A0, A1)θ,q −→ (B0, B1)θ,q es compacto.

A0 (A0, A1)θ,q A1

o

0 θ 1

θ = 0, 1: Modificar la definicion o insertar un peso logarıtmico.

B F. Cobos, L.M. Fernandez-Cabrera, T. Kuhn, T. Ullrich, J. Funct. Anal. 256 (2009)2321-2366.

Page 23: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

Teorema.- Sea 0 < θ < 1, 1 ≤ q ≤ ∞, sean (A0, A1), (B0, B1) pares compatibles deespacios de Banach y sea T un operador lineal de A0 +A1 en B0 +B1 tal queT : Aj −→ Bj es acotado para j = 0, 1 y alguna de estas restricciones es compacta.Entonces el operador T : (A0, A1)θ,q −→ (B0, B1)θ,q es compacto.

A0 (A0, A1)θ,q A1

o

0 θ 1

θ = 0, 1: Modificar la definicion o insertar un peso logarıtmico.

B F. Cobos, L.M. Fernandez-Cabrera, T. Kuhn, T. Ullrich, J. Funct. Anal. 256 (2009)2321-2366.

B F. Cobos, A. Segurado, J. Funct. Anal. 268 (2015) 2906-2945.

B F. Cobos, O. Domınguez, H. Triebel, J. Funct. Anal. 270 (2016) 4386-4425.

Page 24: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

Teorema.- Sea 0 < θ < 1, 1 ≤ q ≤ ∞, sean (A0, A1), (B0, B1) pares compatibles deespacios de Banach y sea T un operador lineal de A0 +A1 en B0 +B1 tal queT : Aj −→ Bj es acotado para j = 0, 1 y alguna de estas restricciones es compacta.Entonces el operador T : (A0, A1)θ,q −→ (B0, B1)θ,q es compacto.

A0 (A0, A1)θ,q A1

o

0 θ 1

θ = 0, 1: Modificar la definicion o insertar un peso logarıtmico.

B F. Cobos, L.M. Fernandez-Cabrera, T. Kuhn, T. Ullrich, J. Funct. Anal. 256 (2009)2321-2366.

B F. Cobos, A. Segurado, J. Funct. Anal. 268 (2015) 2906-2945.

B F. Cobos, O. Domınguez, H. Triebel, J. Funct. Anal. 270 (2016) 4386-4425.

Problema.- Probar o dar un contraejemplo para un resultado de esta generalidaden el caso del metodo complejo.

Cwikel, Kalton, Krugljak, Mastylo, Janson, Kuhn, Schonbek, Fernandez-Cabrera,Martınez, Cobos, ...

Page 25: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

Teorema.- Sea 0 < θ < 1, sean (A0, A1), (B0, B1) pares compatibles de espacios deBanach y sea T un operador lineal de A0 +A1 en B0 +B1. Supongamos queT : A0 −→ B0 es compacto y T : A1 −→ B1 es acotado. Entonces el operadorT : [A0, A1]θ −→ [B0, B1]θ es compacto supuesto que se cumple alguna de las cincocondiciones que siguen:

(a) A0 tiene la propiedad UMD.

(b) A0 es reflexivo y viene dado por A0 = [W,A1]α para algun espacio deBanach W y algun 0 < α < 1.

(c) A0 y A1 son retıculos de Banach de funciones medibles sobre unmismo espacio de medida.

(d) B0 viene dado por B0 = [Z,B1]δ para algun espacio de Banach Z yalgun 0 < δ < 1.

(e) B0 y B1 son retıculos de Banach de funciones medibles sobre unmismo espacio de medida cumpliendo que ambos tienen la propiedadde Fatou o que alguno de ellos tiene norma absolutamente continua.

Page 26: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

Teorema.- Sea 0 < θ < 1, sean (A0, A1), (B0, B1) pares compatibles de espacios deBanach y sea T un operador lineal de A0 +A1 en B0 +B1. Supongamos queT : A0 −→ B0 es compacto y T : A1 −→ B1 es acotado. Entonces el operadorT : [A0, A1]θ −→ [B0, B1]θ es compacto supuesto que se cumple alguna de las cincocondiciones que siguen:

(a) A0 tiene la propiedad UMD.

(b) A0 es reflexivo y viene dado por A0 = [W,A1]α para algun espacio deBanach W y algun 0 < α < 1.

(c) A0 y A1 son retıculos de Banach de funciones medibles sobre unmismo espacio de medida.

(d) B0 viene dado por B0 = [Z,B1]δ para algun espacio de Banach Z yalgun 0 < δ < 1.

(e) B0 y B1 son retıculos de Banach de funciones medibles sobre unmismo espacio de medida cumpliendo que ambos tienen la propiedadde Fatou o que alguno de ellos tiene norma absolutamente continua.

B M. Cwikel, N. Krugljak, M. Mastylo, Illinois J. Math. 40 (1996) 353-364.

B T. Schonbek, Indiana U. Math. J. 49 (2000) 1229-1245.

B F. Cobos, L.M. Fernandez-Cabrera, A. Martınez, Math. Nachr. 263-264 (2004)67-82.

Page 27: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

• La medida de no compacidad β(T ) = β(T : A −→ B) de un operador T ∈ L(A,B)se define como el ınfimo de los ε > 0 para los que existe un conjunto finitoV = V (ε) ⊆ B such that

T (UA) ⊆⋃b∈V

{b+ εUB} .

β(T ) = 0 si y solo si T es compacto.

Page 28: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

• La medida de no compacidad β(T ) = β(T : A −→ B) de un operador T ∈ L(A,B)se define como el ınfimo de los ε > 0 para los que existe un conjunto finitoV = V (ε) ⊆ B such that

T (UA) ⊆⋃b∈V

{b+ εUB} .

β(T ) = 0 si y solo si T es compacto.

• El n-esimo numero de entropıa del operador T ∈ L(A,B) se define por

en(T ) = en(T : A −→ B)

= inf{ε > 0 : T (UA) se puede recubrir por 2n−1 bolas de radio ε enB}

e1(T ) = ‖T‖A,B ≥ e2(T ) ≥ · · · ≥ 0 y β(T ) = limn→∞ en(T ).

Page 29: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

• La medida de no compacidad β(T ) = β(T : A −→ B) de un operador T ∈ L(A,B)se define como el ınfimo de los ε > 0 para los que existe un conjunto finitoV = V (ε) ⊆ B such that

T (UA) ⊆⋃b∈V

{b+ εUB} .

β(T ) = 0 si y solo si T es compacto.

• El n-esimo numero de entropıa del operador T ∈ L(A,B) se define por

en(T ) = en(T : A −→ B)

= inf{ε > 0 : T (UA) se puede recubrir por 2n−1 bolas de radio ε enB}

e1(T ) = ‖T‖A,B ≥ e2(T ) ≥ · · · ≥ 0 y β(T ) = limn→∞ en(T ).

• Si T ∈ L(A,A) es compacto y |λ1(T )| ≥ |λ2(T )| ≥ · · · ≥ 0 son sus autovalores,entonces

|λn(T )| ≤√

2en(T ) , n ∈ N.

B B. Carl, H. Triebel, Math. Ann. 251 (1980) 129-133.

Page 30: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

B D.E. Edmunds and H. Triebel, Cambridge Univ. Press, 1996.

Page 31: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

B D.E. Edmunds and H. Triebel, Cambridge Univ. Press, 1996.

B A. Pietsch, North-Holland, 1980.

Teorema.- Sean (A0, A1), (B0, B1) pares compatibles de espacios de Banach, seanA,B espacios de Banach y sea T un operador lineal. Supongamos que 0 < θ < 1,1 ≤ q ≤ ∞ y sea F = (·, ·)θ,q o [·, ·]θ .

(a) Si T ∈ L(A,B0 ∩B1), entoncesen+m−1(T : A −→ F(B0, B1)) ≤ 2en(T : A −→ B0)1−θem(T : A −→ B1)θ .

(b) Si T ∈ L(A0 +A1, B), entoncesen+m−1(T : F(A0, A1) −→ B) ≤ 2en(T : A0 −→ B)1−θem(T : A1 −→ B)θ .

Page 32: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

B D.E. Edmunds and H. Triebel, Cambridge Univ. Press, 1996.

B A. Pietsch, North-Holland, 1980.

Teorema.- Sean (A0, A1), (B0, B1) pares compatibles de espacios de Banach, seanA,B espacios de Banach y sea T un operador lineal. Supongamos que 0 < θ < 1,1 ≤ q ≤ ∞ y sea F = (·, ·)θ,q o [·, ·]θ .

(a) Si T ∈ L(A,B0 ∩B1), entoncesen+m−1(T : A −→ F(B0, B1)) ≤ 2en(T : A −→ B0)1−θem(T : A −→ B1)θ .

(b) Si T ∈ L(A0 +A1, B), entoncesen+m−1(T : F(A0, A1) −→ B) ≤ 2en(T : A0 −→ B)1−θem(T : A1 −→ B)θ .

(A) Si T ∈ L(A,B0 ∩B1), entoncesβ(T : A −→ F(B0, B1)) ≤ 2β(T : A −→ B0)1−θβ(T : A −→ B1)θ .

(B) Si T ∈ L(A0 +A1, B), entoncesβ(T : F(A0, A1) −→ B) ≤ 2β(T : A0 −→ B)1−θβ(T : A1 −→ B)θ .

Page 33: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

B D.E. Edmunds and H. Triebel, Cambridge Univ. Press, 1996.

B A. Pietsch, North-Holland, 1980.

Teorema.- Sean (A0, A1), (B0, B1) pares compatibles de espacios de Banach, seanA,B espacios de Banach y sea T un operador lineal. Supongamos que 0 < θ < 1,1 ≤ q ≤ ∞ y sea F = (·, ·)θ,q o [·, ·]θ .

(a) Si T ∈ L(A,B0 ∩B1), entoncesen+m−1(T : A −→ F(B0, B1)) ≤ 2en(T : A −→ B0)1−θem(T : A −→ B1)θ .

(b) Si T ∈ L(A0 +A1, B), entoncesen+m−1(T : F(A0, A1) −→ B) ≤ 2en(T : A0 −→ B)1−θem(T : A1 −→ B)θ .

(A) Si T ∈ L(A,B0 ∩B1), entoncesβ(T : A −→ F(B0, B1)) ≤ 2β(T : A −→ B0)1−θβ(T : A −→ B1)θ .

(B) Si T ∈ L(A0 +A1, B), entoncesβ(T : F(A0, A1) −→ B) ≤ 2β(T : A0 −→ B)1−θβ(T : A1 −→ B)θ .

B F. Cobos, P. Fernandez-Martınez, A. Martınez, Studia Math. 135 (1999) 25-38.

Page 34: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

Teorema.- Sean (A0, A1), (B0, B1) pares compatibles de espacios de Banach y sea Tun operador lineal de A0 +A1 en B0 +B1 tal que T ∈ L(Aj , Bj) para j = 0, 1. Si0 < θ < 1 y 1 ≤ q ≤ ∞, se tiene

β(T : (A0, A1)θ,q −→ (B0B1)θ,q) ≤ Cβ(TA0,B0)1−θβ(TA1,B1)θ

donde C solo depende de θ.

Page 35: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

Teorema.- Sean (A0, A1), (B0, B1) pares compatibles de espacios de Banach y sea Tun operador lineal de A0 +A1 en B0 +B1 tal que T ∈ L(Aj , Bj) para j = 0, 1. Si0 < θ < 1 y 1 ≤ q ≤ ∞, se tiene

β(T : (A0, A1)θ,q −→ (B0B1)θ,q) ≤ Cβ(TA0,B0)1−θβ(TA1,B1)θ

donde C solo depende de θ.

• Si A0 6= A1 y B0 6= B1 en general

en+m−1(T : (A0, A1)θ,q −→ (B0B1)θ,q) � Cen(TA0,B0)1−θem(TA1,B1)θ.

B D.E. Edmunds and Yu. Netrusov, Math. Ann. 351 (2011) 963-977.

B D.E. Edmunds and Yu. Netrusov, Math. Nachr. 286 (2013) 614-630.

Page 36: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

Teorema.- Sean (A0, A1), (B0, B1) pares compatibles de espacios de Banach y sea Tun operador lineal de A0 +A1 en B0 +B1 tal que T ∈ L(Aj , Bj) para j = 0, 1. Si0 < θ < 1 y 1 ≤ q ≤ ∞, se tiene

β(T : (A0, A1)θ,q −→ (B0B1)θ,q) ≤ Cβ(TA0,B0)1−θβ(TA1,B1)θ

donde C solo depende de θ.

• Si A0 6= A1 y B0 6= B1 en general

en+m−1(T : (A0, A1)θ,q −→ (B0B1)θ,q) � Cen(TA0,B0)1−θem(TA1,B1)θ.

B D.E. Edmunds and Yu. Netrusov, Math. Ann. 351 (2011) 963-977.

B D.E. Edmunds and Yu. Netrusov, Math. Nachr. 286 (2013) 614-630.

Problema.- Describir el comportamiento de los numeros de entropıa de un operadorinterpolado.

Page 37: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

• Sean A,B,E espacios de Banach y sea T : A×B −→ E un operador bilineal. Sedice que T es compacto si T (UA × UB) es precompacto en E.

Page 38: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

• Sean A,B,E espacios de Banach y sea T : A×B −→ E un operador bilineal. Sedice que T es compacto si T (UA × UB) es precompacto en E.

• Los operadores bilineales compactos aparecen naturalmente en Analisis Armonico.

B A. Benyi, R.H. Torres, Proc. Amer. Math. Soc. 141 (2013) 3609-3621.

Page 39: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

• Sean A,B,E espacios de Banach y sea T : A×B −→ E un operador bilineal. Sedice que T es compacto si T (UA × UB) es precompacto en E.

• Los operadores bilineales compactos aparecen naturalmente en Analisis Armonico.

B A. Benyi, R.H. Torres, Proc. Amer. Math. Soc. 141 (2013) 3609-3621.

B A. Benyi, T. Oh, J. Fourier Anal. Appl. 20 (2014) 282-300.

B G. Hu, Taiwanese J. Math. 18 (2014) 661-675.

B A. Benyi, W. Damian, K. Moen, R.H. Torres, Michigan Math. J. 64 (2015) 39-51.

Page 40: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

• Sean A,B,E espacios de Banach y sea T : A×B −→ E un operador bilineal. Sedice que T es compacto si T (UA × UB) es precompacto en E.

• Los operadores bilineales compactos aparecen naturalmente en Analisis Armonico.

B A. Benyi, R.H. Torres, Proc. Amer. Math. Soc. 141 (2013) 3609-3621.

B A. Benyi, T. Oh, J. Fourier Anal. Appl. 20 (2014) 282-300.

B G. Hu, Taiwanese J. Math. 18 (2014) 661-675.

B A. Benyi, W. Damian, K. Moen, R.H. Torres, Michigan Math. J. 64 (2015) 39-51.

• Comportamiento por interpolacion de operadores bilineales compactos.

Page 41: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

• Sean A,B,E espacios de Banach y sea T : A×B −→ E un operador bilineal. Sedice que T es compacto si T (UA × UB) es precompacto en E.

• Los operadores bilineales compactos aparecen naturalmente en Analisis Armonico.

B A. Benyi, R.H. Torres, Proc. Amer. Math. Soc. 141 (2013) 3609-3621.

B A. Benyi, T. Oh, J. Fourier Anal. Appl. 20 (2014) 282-300.

B G. Hu, Taiwanese J. Math. 18 (2014) 661-675.

B A. Benyi, W. Damian, K. Moen, R.H. Torres, Michigan Math. J. 64 (2015) 39-51.

• Comportamiento por interpolacion de operadores bilineales compactos.

• Metodo complejo [suponiendo una cierta condicion de aproximacion en el par imagen].

B A.P. Calderon, Studia Math. 24 (1964) 113-190.

Page 42: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

• Metodo real.

B D.L. Fernandez, E.B. da Silva, Nonlinear Anal. 73 (2010) 526-537.

B L.M. Fernandez-Cabrera, A. Martınez, Math. Nachr. (2017) DOI10.1002/mana.201600203.

Page 43: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

• Metodo real.

B D.L. Fernandez, E.B. da Silva, Nonlinear Anal. 73 (2010) 526-537.

B L.M. Fernandez-Cabrera, A. Martınez, Math. Nachr. (2017) DOI10.1002/mana.201600203.

Teorema.- Sean (A0, A1), (B0, B1) pares compatibles de espacios de Banach y sea Eun espacio de Banach. Supongamos que T : (A0 +A1)× (B0 +B1) −→ E es unoperador bilineal acotado tal que T : Aj ×Bj −→ E es compacto para j = 0 o 1.Entonces para todo 0 < θ, η < 1 y 1 ≤ q, r ≤ ∞, si F = (·, ·)θ,q o [·, ·]θ y G = (·, ·)η,ro [·, ·]η se tiene que

T : F(A0, A1)×G(B0, B1) −→ E es compacto.

Page 44: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

• Metodo real.

B D.L. Fernandez, E.B. da Silva, Nonlinear Anal. 73 (2010) 526-537.

B L.M. Fernandez-Cabrera, A. Martınez, Math. Nachr. (2017) DOI10.1002/mana.201600203.

Teorema.- Sean (A0, A1), (B0, B1) pares compatibles de espacios de Banach y sea Eun espacio de Banach. Supongamos que T : (A0 +A1)× (B0 +B1) −→ E es unoperador bilineal acotado tal que T : Aj ×Bj −→ E es compacto para j = 0 o 1.Entonces para todo 0 < θ, η < 1 y 1 ≤ q, r ≤ ∞, si F = (·, ·)θ,q o [·, ·]θ y G = (·, ·)η,ro [·, ·]η se tiene que

T : F(A0, A1)×G(B0, B1) −→ E es compacto.

Teorema.- Sean A,B espacios de Banach y (E0, E1) un par compatible de espacios deBanach. Supongamos que T : A×B −→ E0 ∩ E1 es un operador bilineal acotado talque T : A×B −→ Ej es compacto para j = 0 o 1. Entonces para todo 0 < θ < 1 y1 ≤ q ≤ ∞, si F = (·, ·)θ,q o [·, ·]θ se tiene que

T : A×B −→ F(E0, E1) es compacto.

Page 45: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

B L.M. Fernandez-Cabrera, A. Martınez, preprint, 2016.

Teorema.- Sean (A0, A1), (B0, B1), (E0, E1) pares compatibles de espacios de Banach.Supongamos que T : (A0 +A1)× (B0 +B1) −→ E0 + E1 es un operador bilinealacotado tal que T : Aj ×Bj −→ Ej es compacto para j = 0 o 1, siendo la otrarestriccion acotada. Si 0 < θ < 1 y 1 ≤ p, q, r ≤ ∞ con 1/p+ 1/q = 1 + 1/r, entonces

T : (A0, A1)θ,p × (B0, B1)θ,q −→ (E0, E1)θ,r es compacto.

Page 46: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

B L.M. Fernandez-Cabrera, A. Martınez, preprint, 2016.

Teorema.- Sean (A0, A1), (B0, B1), (E0, E1) pares compatibles de espacios de Banach.Supongamos que T : (A0 +A1)× (B0 +B1) −→ E0 + E1 es un operador bilinealacotado tal que T : Aj ×Bj −→ Ej es compacto para j = 0 o 1, siendo la otrarestriccion acotada. Si 0 < θ < 1 y 1 ≤ p, q, r ≤ ∞ con 1/p+ 1/q = 1 + 1/r, entonces

T : (A0, A1)θ,p × (B0, B1)θ,q −→ (E0, E1)θ,r es compacto.

Problema.- Resultado similar para el metodo complejo.

Page 47: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

B L.M. Fernandez-Cabrera, A. Martınez, preprint, 2016.

Teorema.- Sean (A0, A1), (B0, B1), (E0, E1) pares compatibles de espacios de Banach.Supongamos que T : (A0 +A1)× (B0 +B1) −→ E0 + E1 es un operador bilinealacotado tal que T : Aj ×Bj −→ Ej es compacto para j = 0 o 1, siendo la otrarestriccion acotada. Si 0 < θ < 1 y 1 ≤ p, q, r ≤ ∞ con 1/p+ 1/q = 1 + 1/r, entonces

T : (A0, A1)θ,p × (B0, B1)θ,q −→ (E0, E1)θ,r es compacto.

Problema.- Resultado similar para el metodo complejo.

• Supongamos solo que T : (A0 ∩A1)× (B0 ∩B1) −→ E0 ∩ E1 es bilineal y que

‖T (a, b)‖Ej ≤Mj‖a‖Aj‖b‖Bj , a ∈ A0 ∩A1 , b ∈ B0 ∩B1 , j = 0, 1. (1)

Page 48: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

B L.M. Fernandez-Cabrera, A. Martınez, preprint, 2016.

Teorema.- Sean (A0, A1), (B0, B1), (E0, E1) pares compatibles de espacios de Banach.Supongamos que T : (A0 +A1)× (B0 +B1) −→ E0 + E1 es un operador bilinealacotado tal que T : Aj ×Bj −→ Ej es compacto para j = 0 o 1, siendo la otrarestriccion acotada. Si 0 < θ < 1 y 1 ≤ p, q, r ≤ ∞ con 1/p+ 1/q = 1 + 1/r, entonces

T : (A0, A1)θ,p × (B0, B1)θ,q −→ (E0, E1)θ,r es compacto.

Problema.- Resultado similar para el metodo complejo.

• Supongamos solo que T : (A0 ∩A1)× (B0 ∩B1) −→ E0 ∩ E1 es bilineal y que

‖T (a, b)‖Ej ≤Mj‖a‖Aj‖b‖Bj , a ∈ A0 ∩A1 , b ∈ B0 ∩B1 , j = 0, 1. (1)

• El operador T se puede extender de forma unica a un operador bilineal acotadoTj : A◦j ×B◦j −→ Ej . Diremos que T : A◦j ×B◦j −→ Ej es compacto si Tj lo es.

Page 49: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

Teorema.- Sean (A0, A1), (B0, B1), (E0, E1) pares compatibles de espacios de Banach.Sea T un operador bilineal que satisface (1) y tal que T : A◦0 ×B◦0 −→ E0 escompacto. Sea 0 < θ < 1, 1 ≤ p, q <∞ y 1/r = 1/p+ 1/q − 1, entonces T se puedeextender de forma unica a un operador conpacto

T : (A0, A1)θ,p × (B0, B1)θ,q −→ (E0, E1)θ,r

si el par (E0, E1) satisface la siguiente condicion:Para todo conjunto compacto K ⊂ E0 existe una familia de operadores{Pλ}λ∈Λ ⊂ L(E0 + E1, E0 ∩ E1) y una constante C > 0 tales que

(a) Pλ : E0 + E1 −→ E0 ∩ E1 es compacto, λ ∈ Λ.

(b) ‖Pλ‖Ej ,Ej ≤ C, j = 0, 1, λ ∈ Λ.

(c) Para todo ε > 0, existe λ0 ∈ Λ tal que ‖x− Pλ0x‖E0 ≤ ε para todo x ∈ K.

Page 50: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

Teorema.- Sean (A0, A1), (B0, B1), (E0, E1) pares compatibles de espacios de Banach.Sea T un operador bilineal que satisface (1) y tal que T : A◦0 ×B◦0 −→ E0 escompacto. Sea 0 < θ < 1, 1 ≤ p, q <∞ y 1/r = 1/p+ 1/q − 1, entonces T se puedeextender de forma unica a un operador conpacto

T : (A0, A1)θ,p × (B0, B1)θ,q −→ (E0, E1)θ,r

si el par (E0, E1) satisface la siguiente condicion:Para todo conjunto compacto K ⊂ E0 existe una familia de operadores{Pλ}λ∈Λ ⊂ L(E0 + E1, E0 ∩ E1) y una constante C > 0 tales que

(a) Pλ : E0 + E1 −→ E0 ∩ E1 es compacto, λ ∈ Λ.

(b) ‖Pλ‖Ej ,Ej ≤ C, j = 0, 1, λ ∈ Λ.

(c) Para todo ε > 0, existe λ0 ∈ Λ tal que ‖x− Pλ0x‖E0 ≤ ε para todo x ∈ K.

• Si E0 y E1 son espacios de interpolacion respecto a (L1(U), L∞(U)) y las funcionessimples son densas en E0, entonces (E0, E1) satisface la condicion de aproximacion.

Page 51: Algunos Problemas Abiertos en Teoría de Interpolación€¦ · Algunos Problemas Abiertos en Teor a de Interpolaci on Fernando Cobos Universidad Complutense de Madrid Encuentros

Teorema.- Sean (A0, A1), (B0, B1), (E0, E1) pares compatibles de espacios de Banach.Sea T un operador bilineal que satisface (1) y tal que T : A◦0 ×B◦0 −→ E0 escompacto. Sea 0 < θ < 1, 1 ≤ p, q <∞ y 1/r = 1/p+ 1/q − 1, entonces T se puedeextender de forma unica a un operador conpacto

T : (A0, A1)θ,p × (B0, B1)θ,q −→ (E0, E1)θ,r

si el par (E0, E1) satisface la siguiente condicion:Para todo conjunto compacto K ⊂ E0 existe una familia de operadores{Pλ}λ∈Λ ⊂ L(E0 + E1, E0 ∩ E1) y una constante C > 0 tales que

(a) Pλ : E0 + E1 −→ E0 ∩ E1 es compacto, λ ∈ Λ.

(b) ‖Pλ‖Ej ,Ej ≤ C, j = 0, 1, λ ∈ Λ.

(c) Para todo ε > 0, existe λ0 ∈ Λ tal que ‖x− Pλ0x‖E0 ≤ ε para todo x ∈ K.

• Si E0 y E1 son espacios de interpolacion respecto a (L1(U), L∞(U)) y las funcionessimples son densas en E0, entonces (E0, E1) satisface la condicion de aproximacion.

Problema.- Se cumple el teorema sin la condicion de aproximacion en (E0, E1)?