Espacio de interpolación
En el campo de análisis matemático, un espacio de interpolación es aquel que se encuentra "entre" otros dos espacios de Banach. Las principales aplicaciones figuran en los espacios de Sóbolev, donde los espacios de funciones que tienen un número no entero de derivadas se interpolan a partir de los espacios de funciones con un número entero de derivadas.
Historia
La teoría de la interpolación de espacios vectoriales comenzó con una observación de Józef Marcinkiewicz, después generalizada y ahora conocida como el teorema de Riesz-Thorin. En términos simples, si una función lineal es continua en un determinado espacio Lp y también en un determinado espacio Lq, entonces también es continua en el espacio Lr, para cualquier r intermedio entre p y q. En otras palabras, Lr es un espacio intermedio entre Lp y Lq.
En el desarrollo de los espacios de Sóbolev, quedó claro que los espacios de traza no eran ninguno de los espacios funcionales habituales (con un número entero de derivadas), y Jacques-Louis Lions descubrió que, de hecho, estos espacios de traza estaban constituidos por funciones que tienen un grado de diferenciabilidad no entero.
Se diseñaron muchos métodos para generar dichos espacios de funciones, incluidos la transformada de Fourier, la interpolación compleja,[1]. interpolación real,[2] así como otras herramientas (véase, por ejemplo, cálculo fraccional).
Ajuste de la interpolación
Se dice que un espacio de Banach X está "incrustado continuamente" en un espacio vectorial topológico de Hausdorff Z cuando X es un subespacio lineal de Z, de modo que la aplicación de inclusión de X en Z es continua. Una pareja compatible (X0, X1) de espacios de Banach consta de dos espacios de Banach X0 y X1 que están continuamente incrustados en el mismo espacio vectorial topológico de Hausdorff Z.[3] El embebido en un espacio lineal Z permite considerar los dos subespacios lineales.
y
La interpolación no depende únicamente de las clases de equivalencia isomorfas (ni isométricas) de X0 y X1. Depende de manera esencial de la posición relativa específica que ocupan X0 y X1 en un espacio mayor Z.
Se pueden definir normas sobre X0 ∩ X1 y X0 + X1 mediante
Equipadas con estas normas, la intersección y la suma son espacios de Banach. Las siguientes inclusiones son todas continuas:
La interpolación estudia la familia de espacios X que son espacios intermedios entre X0 y X1 en el sentido de que
donde las dos aplicaciones de inclusión son continuas.
Un ejemplo de esta situación es el par (L1(R), L∞(R)), donde los dos espacios de Banach están continuamente embebidos en el espacio Z de funciones medibles en la línea real, equipada con la topología de convergencia de la medida. En esta situación, los espacios Lp(R), para 1 ≤ p ≤ ∞, son intermedios entre L1(R) y L∞(R). Más generalmente,
con relaciones inyectivas continuas, de modo que, bajo la condición dada, Lp(R) es intermedio entre Lp0(R) y Lp1(R).
- Definición. Dados dos pares compatibles (X0, X1) y (Y0, Y1), un par de interpolación es un par (X, Y) de espacios de Banach con las dos propiedades siguientes:
- El espacio X es intermedio entre X0 y X1, e Y es intermedio entre Y0 e Y1.
- Si L es cualquier operador lineal de X0 + X1 a Y0 + Y1, que asigna continuamente X0 a Y0 y X1 a Y1, entonces también asigna continuamente X a Y.
Se dice que el par de interpolación (X, Y) es de exponente θ (con 0 < θ < 1) si existe una constante C tal que
para todos los operadores L como se indica arriba. La notación ||L||X,Y es para la norma de L como un aplicación de X a Y. Si C = 1, se dice que (X, Y) es un 'par de interpolación exacto del exponente θ.
Interpolación compleja
Si los escalares son números complejos, las propiedades de las funciones analíticas complejas se utilizan para definir un espacio de interpolación. Dada una pareja compatible (X0, X1) de espacios de Banach, el espacio lineal consta de todas las funciones f : C → X0 + X1, que son analíticas en S = {z : 0 < Re(z) < 1}, continuas en S = {z : 0 ≤ Re(z) ≤ 1}, y para las cuales todos los siguientes subconjuntos están acotados:
- { f (z) : z ∈ S} ⊂ X0 + X1,
- { f (it) : t ∈ R} ⊂ X0,
- { f (1 + it) : t ∈ R} ⊂ X1.
Además, es un espacio de Banach según la norma
Definición:[4] Para 0 < θ < 1, el espacio de interpolación complejo (X0, X1)θ es el subespacio lineal de X0 + X1 que consta de todos los valores f(θ) cuando f varía en el espacio de funciones anterior,
La norma en el espacio de interpolación complejo (X0, X1)θ está definida por
Equipado con esta norma, el espacio de interpolación complejo (X0, X1)θ es un espacio de Banach.
- Teorema:[5] Dados dos pares compatibles de espacios de Banach (X0, X1) e (Y0, Y1), el par ((X0, X1)θ, (Y0, Y1)θ) es un par de interpolación exacta del exponente θ, es decir, si T : X0 + X1 → Y0 + Y1, es un operador lineal acotado de Xj a Yj, j = 0, 1, entonces T está delimitado de (X0, X1)θ a (Y0, Y1)θ, y además,
La familia de espacios Lp (que consta de funciones con valores complejos) se comporta bien en condiciones de interpolación compleja.[6] Si (R, Σ, μ) es un espacio métrico arbitrario, si 1 ≤ p0, p1 ≤ ∞ y 0 < θ < 1, entonces
con igualdad de normas. Este hecho está estrechamente relacionado con el teorema de Riesz-Thorin.
Interpolación real
Hay dos formas de introducir el método de interpolación real. El primero y más comúnmente utilizado cuando se identifican ejemplos de espacios de interpolación es el método K. El segundo método, el método J, proporciona los mismos espacios de interpolación que el método K cuando el parámetro θ está en (0, 1). Que los métodos J y K concuerden es importante para el estudio de duales de espacios de interpolación: básicamente, el dual de un espacio de interpolación construido por el método K parece ser un espacio construido a partir del par dual por el método J (véase más abajo).
Método K
El método K de interpolación real[7] se puede utilizar para espacios de Banach sobre el cuerpo R de los números reales.
Definición: Sea (X0, X1) un par compatible de espacios de Banach. Para t > 0 y cada x ∈ X0 + X1, sea
Cambiar el orden de los dos espacios da como resultado:[8]
Sea
El método K de interpolación real consiste en tomar Kθ,q(X0, X1) como el subespacio lineal de X0 + X1 que consta de todos los x tales que ||x||θ,q;K < ∞.
Ejemplo
Un ejemplo importante es el de la pareja (L1(R, Σ, μ), L∞(R, Σ, μ)), donde el funcional K(t, f ; L1, L∞) se puede calcular explícitamente. La medida μ se supone σ-finita. En este contexto, la mejor manera de separar la función f ∈ L1 + L∞ como suma de dos funciones f0 ∈ L1 y f1 ∈ L∞ es, para elegir algún s > 0 como función de t, dejar que f1(x) esté dado para todos los x ∈ R por
La elección óptima de s conduce a la fórmula[9]
donde f ∗ es el reordenamiento decreciente de f .
Método J
Al igual que con el método K, el método J se puede utilizar para espacios de Banach reales.
Definición: Sea (X0, X1) un par compatible de espacios de Banach. Para t > 0 y para cada vector x ∈ X0 ∩ X1, sea :
Un vector x en X0 + X1 pertenece al espacio de interpolación Jθ,q(X0, X1) si y solo si se puede escribir como
donde v(t) es medible con valores en X0 ∩ X1 y tal que
La norma de x en Jθ,q(X0, X1) viene dada por la fórmula
Relaciones entre los métodos de interpolación
Los dos métodos de interpolación real son equivalentes cuando 0 < θ < 1.[10]
- Teorema: Sea (X0, X1) un par compatible de espacios de Banach. Si 0 < θ < 1 y 1 ≤ q ≤ ∞, entonces : con equivalencia de normas.
El teorema cubre casos degenerados que no han sido excluidos: por ejemplo, si X0 y X1 forman una suma directa, entonces la intersección y los espacios J son el espacio nulo, y un cálculo simple muestra que los espacios K también son nulos.
Cuando 0 < θ < 1, se puede hablar, hasta una renormación equivalente, de el espacio de Banach obtenido por el método de interpolación real con los parámetros θ y q. La notación para este espacio de interpolación real es (X0, X1)θ,q. Entonces, se tiene que
Para un valor dado de θ, los espacios de interpolación reales aumentan con q:[11] si 0 < θ < 1 y 1 ≤ q ≤ r ≤ ∞, se cumple la siguiente inclusión continua:
- Teorema: Dados 0 < θ < 1, 1 ≤ q ≤ ∞ y dos pares compatibles (X0, X1) y (Y0, Y1), el par ((X0, X1)θ,q, (Y0, Y1)θ,q) es un par de interpolación exacta del exponente θ.[12]
Un espacio de interpolación complejo no suele ser isomorfo a uno de los espacios dados por el método de interpolación real. Sin embargo, existe una relación general.
- Teorema: Sea (X0, X1) un par compatible de espacios de Banach. Si 0 < θ < 1, entonces :
Ejemplos
Cuando X0 = C([0, 1]) y X1 = C1([0, 1]), el espacio de funciones continuamente diferenciables en [0, 1], el método de interpolación (θ, ∞), para 0 < θ < 1, da el espacio de Hölder C0,θ del exponente θ. Esto se debe a que el K-funcional K(f, t; X0, X1) de esta pareja es equivalente a
Aquí solo son interesantes los valores 0 < t < 1.
La interpolación real entre espacios Lp genera la familia del espacio de Lorentz.[13] Suponiendo que 0 < θ < 1 y 1 ≤ q ≤ ∞, se tiene:
con normas equivalentes. Esto se deduce de la desigualdad de Hardy y del valor dado anteriormente del K-funcional para esta pareja compatible. Cuando q = p, el espacio de Lorentz Lp,p es igual a Lp, hasta la renormación. Cuando q = ∞, el espacio de Lorentz Lp,∞ es igual al espacio Lp débil.
Teorema de reiteración
Un espacio intermedio X de la pareja compatible (X0, X1) se dice que es de clase θ si[14]
con inyecciones continuas. Además de todos los espacios de interpolación reales (X0, X1)θ,q con parámetros θ y 1 ≤ q ≤ ∞, el espacio de interpolación complejo (X0, X1)θ es un espacio intermedio de clase θ de la pareja compatible (X0, X1).
Los teoremas de reiteración dicen, en esencia, que interpolar con un parámetro θ se comporta, de alguna manera, como formar una combinación convexa a = (1 − θ)x0 + θx1: tomando una combinación convexa adicional de dos combinaciones convexas se obtiene otra combinación convexa.
- Teorema.[15] Sean A0, A1 espacios intermedios de la pareja compatible (X0, X1), de clase θ0 y θ1 respectivamente, con 0 < θ0 ≠ θ1 < 1. Cuando 0 < θ < 1 y 1 ≤ q ≤ ∞, se tiene que:
Es notable que al interpolar con el método real entre A0 = (X0, X1)θ0,q0 y A1 = (X0, X1)θ1,q1, solo importan los valores de θ0 y θ1. Además, A0 y A1 pueden ser espacios de interpolación complejos entre X0 y X1, con parámetros θ0 y θ1 respectivamente.
También existe un teorema de reiteración para el método complejo.
- Teorema:[16] Sea (X0, X1) un par compatible de espacios de Banach complejos y supóngase que X0 ∩ X1 es denso en X0 y en X1. Sean A0 = (X0, X1)θ0 y A1 = (X0, X1)θ1, donde 0 ≤ θ0 ≤ θ1 ≤ 1. Supóngase además que X0 ∩ X1 es denso en A0 ∩ A1. Entonces, por cada 0 ≤ θ ≤ 1, :
La condición de densidad siempre se cumple cuando X0 ⊂ X1 o X1 ⊂ X0.
Dualidad
Sea (X0, X1) una pareja compatible y supóngase que X0 ∩ X1 es denso en X0 y en X1. En este caso, la aplicación de restricción del dual (continuo) de Xj, j = 0, 1, al dual de X0 ∩ X1 guarda una relación uno a uno. De ello se deduce que el par de duales es un par compatible continuamente embebido en el dual (X0 ∩ X1)′.
Para el método de interpolación complejo, se cumple el siguiente resultado de dualidad:
- Teorema:[17] Sea (X0, X1) un par compatible de espacios de Banach complejos y supóngase que X0 ∩ X1 es denso en X0 y en X1. Si X0 y X1 son reflexivos, entonces el dual del espacio de interpolación complejo se obtiene interpolando los duales, :
En general, el dual del espacio (X0, X1)θ es igual[17] a un espacio definido por una variante del método complejo.[18] El θ superior y el θ inferior de los distintos métodos no coinciden en general, pero sí si al menos uno de los dos espacios X0, X1 es reflexivo.[19]
Para el método de interpolación real, la dualidad se cumple siempre que el parámetro q sea finito:
- Teorema:[20] Sean 0 < θ < 1, 1 ≤ q < ∞ y (X0, X1) un par compatible de espacios reales de Banach. Supóngase que X0 ∩ X1 es denso en X0 y en X1. Entonces : donde
Definiciones discretas
Dado que la función t → K(x, t) varía regularmente (está aumentando, pero 1/tK(x, t) está disminuyendo), la definición de la norma Kθ,q de un vector n, previamente dada por una integral, es equivalente a una definición dada por una serie.[21] Esta serie se obtiene rompiendo (0, ∞) en pedazos (2n, 2n+1) de igual tamaño para la medida dt/t,
En el caso especial en el que X0 está embebido continuamente en X1, se puede omitir la parte de la serie con índices negativos n. En este caso, cada una de las funciones x → K(x, 2n; X0, X1) define una norma equivalente en X1.
El espacio de interpolación (X0, X1)θ,q es un "subespacio diagonal" de una suma ℓ q de una secuencia de espacios de Banach (cada uno de ellos isomorfo a X0 + X1). Por lo tanto, cuando q es finito, el dual de (X0, X1)θ,q es un cociente de la ℓ p-suma de los duales, 1/p + 1/q = 1, lo que lleva a la siguiente fórmula para la norma Jθ,p discreta de una x funcional en el dual de (X0, X1)θ,q:
La fórmula habitual para la norma Jθ,p discreta se obtiene cambiando n por −n.
La definición discreta facilita el estudio de varias cuestiones, entre las que destaca la ya mencionada identificación del dual. Otras cuestiones similares son la compacidad o la falta de compacidad de los operadores lineales. Lions y Peetre han demostrado que:
- Teorema:[22] Si el operador lineal T es compacto de X0 a un espacio de Banach Y y está acotado de X1 a Y, entonces T es compacto de (X0, X1)θ,q a Y cuando 0 < θ < 1, 1 ≤ q ≤ ∞.
Davis, Figiel, Johnson y Pełczyński utilizaron la interpolación en su demostración del siguiente resultado:
- Teorema:[23] Un operador lineal acotado entre dos espacios de Banach es débilmente compacta si y solo si se factoriza a través de un espacio reflexivo.
Método de interpolación general
El espacio ℓ q usado para la definición discreta se puede reemplazar por un espacio secuencial Y arbitrario con bases incondicionales, y los pesos an = 2−θn, bn = 2(1−θ)n, que se usan para la norma Kθ,q, se pueden reemplazar por pesos generales
El espacio de interpolación K(X0, X1, Y, {an}, {bn}) consta de los vectores x en X0 + X1 tales que[24]
donde {yn} es la base incondicional de Y. Este método abstracto se puede utilizar, por ejemplo, para demostrar el siguiente resultado:
Teorema:[25] Un espacio de Banach con base incondicional es isomorfo a un subespacio complementado de un espacio con bases simétricas.
Interpolación de los espacios de Sóbolev y Besov
Hay varios resultados de interpolación disponibles para espacios de Sóbolev y espacios de Besov en 'Rn,[26]
Estos espacios son de funciones medibles en Rn cuando s ≥ 0, y de distribuciones temperadas en Rn cuando s < 0. Para el resto de la sección, se utilizará la siguiente configuración y notación:
La interpolación compleja funciona bien en la clase de espacios de Sóbolev (los espacios potenciales de Bessel), así como en espacios de Besov:
La interpolación real entre espacios de Sóbolev puede dar espacios de Besov, excepto cuando s0 = s1,
Cuando s0 ≠ s1 pero p0 = p1, la interpolación real entre espacios de Sóbolev da un espacio de Besov:
y también
Véase también
- Teorema de Riesz-Thorin
- Teorema de interpolación de Marcinkiewicz
Referencias
- ↑ Los artículos fundamentales en esta sentido son Lions, Jacques-Louis (1960), «Une construction d'espaces d'interpolation», C. R. Acad. Sci. Paris (en francés) 251: 1853-1855 . and Calderón (1964).
- ↑ first defined in Lions, Jacques-Louis; Peetre, Jaak (1961), «Propriétés d'espaces d'interpolation», C. R. Acad. Sci. Paris (en francés) 253: 1747-1749 ., desarrollados en Lions y Peetre (1964), con notación ligeramente diferente (y más complicada, con cuatro parámetros en lugar de dos) de la notación actual. Fue puesto más tarde en la forma de hoy en Peetre, Jaak (1963), «Nouvelles propriétés d'espaces d'interpolation», C. R. Acad. Sci. Paris (en francés) 256: 1424-1426 ., and Peetre, Jaak (1968), A theory of interpolation of normed spaces, Notas de Matemática 39, Rio de Janeiro: Instituto de Matemática Pura e Aplicada, Conselho Nacional de Pesquisas, pp. iii+86 ..
- ↑ Véase Bennett y Sharpley (1988), pp. 96–105.
- ↑ Véase p. 88 en Bergh y Löfström (1976).
- ↑ Véase el Teorema 4.1.2, p. 88 en Bergh y Löfström (1976).
- ↑ Véase Capítulo 5, p. 106 en Bergh y Löfström (1976).
- ↑ Véase pp. 293–302 en Bennett y Sharpley (1988).
- ↑ Véase Proposición 1.2, p. 294 en Bennett y Sharpley (1988).
- ↑ Véase p. 298 en Bennett y Sharpley (1988).
- ↑ Véase el Teorema 2.8, p. 314 en Bennett y Sharpley (1988).
- ↑ Véase Proposición 1.10, p. 301 en Bennett y Sharpley (1988)
- ↑ Véase el Teorema 1.12, pp. 301–302 en Bennett y Sharpley (1988).
- ↑ Véase Theorem 1.9, p. 300 Bennett y Sharpley (1988).
- ↑ Véase la Definición 2.2, pp. 309–310 en Bennett y Sharpley (1988)
- ↑ Véase el Teorema 2.4, p. 311 en Bennett y Sharpley (1988)
- ↑ Véase 12.3, p. 121 en Calderón (1964).
- ↑ a b Véase 12.1 and 12.2, p. 121 en Calderón (1964).
- ↑ Teorema 4.1.4, p. 89 in Bergh y Löfström (1976).
- ↑ Teorema 4.3.1, p. 93 en Bergh y Löfström (1976).
- ↑ Véase Teorema 3.1, p. 23 en Lions y Peetre (1964), o Theorem 3.7.1, p. 54 en Bergh y Löfström (1976).
- ↑ Véase el capítulo. II in Lions y Peetre (1964).
- ↑ Véase chap. 5, Teorema 2.2, p. 37 in Lions y Peetre (1964).
- ↑ Davis, William J.; Figiel, Tadeusz; Johnson, William B.; Pełczyński, Aleksander (1974), «Factoring weakly compact operators», Journal of Functional Analysis 17 (3): 311-327, doi:10.1016/0022-1236(74)90044-5 ., véase también el Teorema 2.g.11, p. 224 en Lindenstrauss y Tzafriri (1979).
- ↑ Johnson, William B.; Lindenstrauss, Joram (2001), «Basic concepts in the geometry of Banach spaces», Handbook of the geometry of Banach spaces, Vol. I, Amsterdam: North-Holland, pp. 1-84 ., and section 2.g in Lindenstrauss y Tzafriri (1979).
- ↑ Véase el Teorema 3.b.1, p. 123 en Lindenstrauss, Joram; Tzafriri, Lior (1977), Classical Banach Spaces I, Sequence Spaces, Ergebnisse der Mathematik und ihrer Grenzgebiete 92, Berlin: Springer-Verlag, pp. xiii+188, ISBN 978-3-540-08072-5 ..
- ↑ Teorema 6.4.5, p. 152 en Bergh y Löfström (1976).
Bibliografía
- Calderón, Alberto P. (1964). «Intermediate spaces and interpolation, the complex method». Studia Math. 24 (2). pp. 113-190. doi:10.4064/sm-24-2-113-190.
- Lions, Jacques-Louis.; Peetre, Jaak (1964). «Sur une classe d'espaces d'interpolation». Inst. Hautes Études Sci. Publ. Math. (en francés) 19. pp. 5-68. S2CID 124471748. doi:10.1007/bf02684796.
- Bennett, Colin; Sharpley, Robert (1988). Interpolation of operators. Pure and Applied Mathematics 129. Academic Press, Inc., Boston, MA. pp. xiv+469. ISBN 978-0-12-088730-9.
- Bergh, Jöran; Löfström, Jörgen (1976). Interpolation spaces. An introduction. Grundlehren der Mathematischen Wissenschaften 223. Berlin-New York: Springer-Verlag. pp. x+207. ISBN 978-3-540-07875-3.
- Leoni, Giovanni (2017). Un primer curso en espacios de Sobolev: segunda edición. Graduate Studies in Mathematics. 181. Sociedad Matemática Estadounidense. págs. 734. ISBN 978-1-4704-2921-8.
- Lindenstrauss, Joram; Tzafriri, Lior (1979). Classical Banach spaces. II. Function spaces. Ergebnisse der Mathematik und ihrer Grenzgebiete [Results in Mathematics and Related Areas] 97. Berlin-New York: Springer-Verlag. pp. x+243. ISBN 978-3-540-08888-2.
- Tartar, Luc (2007). An Introduction to Sobolev Spaces and Interpolation. Springer. ISBN 978-3-540-71482-8.
Datos: Q3058180