On asymptotic behaviour of one-parameter families of bounded operators on Banach spaces

Martínez Martínez, María
Galé Gimeno, José Esteban (dir.) ; Miana Sanz, Pedro José (dir.)

Universidad de Zaragoza, 2016
(Instituto Universitario de Investigación de Matemáticas y Aplicaciones (IUMA))


Resumen: El estudio del comportamiento asintótico de familias uniparamétricas (en particular, C0-semigrupos) de operadores en un espacio de Banach ha recibido mucha atención en los últimos años. La convergencia a cero de las órbitas de una familia dada es un objeto de estudio central en teoría de operadores y ecuaciones diferenciales. Bajo condiciones de muy diversa naturaleza, y motivados por sus aplicaciones en las ecuaciones diferenciales, se ha obtenido un importante número de resultados sobre estabilidad de C0-semigrupos y otras familias. Una panorámica completa de las técnicas utilizadas y los resultados obtenidos en este tema puede encontrarse en [B, CT, EN, N]. 1. RESUMEN DEL CONTEXTO: El propósito de esta sección es presentar el conjunto de resultados que han motivado y permiten situar y comprender adecuadamente los obtenidos en la memoria de tesis doctoral. 1.1. ESTABILIDAD DE SEMIGRUPOS: Sea X un espacio de Banach complejo y A un operador cerrado en X con dominio D(A) y rango R(A). Sea también u: [0,1) → X una función continua (con valores vectoriales), diferenciable en (0,1) y tal que u(t) ∈ D(A) para todo t > 0. El problema abstracto de Cauchy (PAC) para A consiste en encontrar una función u en las condiciones anteriores y que verique la ecuación u’(t) = Au(t); t > 0; u(0) = x; x ∈ X; donde x ∈ X es un valor inicial dado. Se dice que el problema está bien planteado si A es el generador infinitesimal de un C0-semigrupo fuertemente continuo T(t) de operadores lineales y acotados en X. En ese caso, la solución u viene dada por u(t) = T(t)x, t >0. Una cuestión importante sobre el comportamiento de una tal solución u es si es o no estable, lo que equivale a decir, por definición, que u(t)→ 0 cuando t→∞. Así, para un x ∈ X dado, se dice que la órbita {T(t)x : t >0} es estable cuando limT(t)x = 0 (t→∞), y que el semigrupo T(t) es estable si todas sus órbitas son estables. A continuación, recordamos algunos resultados fundamentales sobre estabilidad. EL TEOREMA DE LIAPUNOV: Comenzamos con el caso más sencillo. Denotemos por B(X) al álgebra de Banach de los operadores lineales y acotados en un espacio de Banach X. Suponer que A es el generador de un semigrupo e^{tA)_{t≥0} dado por la serie (convergente en B(X)) e^{tA}=∑_{k=0}^{∞} (t^k A^k)/k! En particular, podemos considerar el álgebra Mn(C) formada por las matrices nxn en el cuerpo complejo C. El clásico teorema de estabilidad de Liapunov se remonta a 1892 (ver [Li] y [EN, Theorem I.2.10]). Este resultado caracteriza la estabilidad del semigrupo a partir de la localización de los autovalores de A para A ∈ Mn(C): Teorema 1. Sea e^{tA} el semigrupo generado por una matriz A ∈ Mn(C). Son equivalentes: (a) El semigrupo es estable. (b) Todos los autovalores de A tienen parte real negativa. Naturalmente, los matemáticos han tratado de extender este teorema (finito-dimensional) al caso en que los espacios X y B(X) sean de dimensión infinita. Una línea de investigación en este sentido es la que introducimos a continuación. Sea A el generador infinitesimal de un C0-semigrupo en un espacio de Banach arbitrario X. Se define la cota espectral s(A) de A como s(A):= sup{Rez : < z∈σ(A)} donde σ(A) denota el espectro al A. En el caso en que el operador A esté acotado, se tiene la siguiente extensión del Teorema 1, también conocido en la literatura con el nombre de teorema de Liapunov. Teorema 2. Sea A un operador acotado en un espacio de Banach X. Entonces, la cota espectral s(A) de A coincide con la cota de crecimiento exponencial de A (o de T(t), alternativamente). Por tanto, el teorema de Liapunov muestra que el espectro σ(A) de A es responsable del comportamiento asintótico de la solución u de la ecuación (PAC). La relación entre las dos versiones anteriores del teorema de Liapunov viene dada por el hecho de que si σ(A) está contenido en el semiplano complejo de la izquierda, es decir, s(A) < 0, entonces la solución es (uniformemente) asintóticamente estable: s(A) < 0 y, por tanto, e^{tA}→0 cuando t→∞ (ver [EN, Theorem I.3.14]). La demostración del Teorema 2 (ver por ejemplo [DK, Theorem I.4.1] o [EN, Corollary IV.2.4]) se basa en el teorema de la aplicación espectral (ver [EN, Theorem I.3.13]). Ni el teorema de la aplicación espectral ni el teorema de Liapunov son ciertos para operadores A no acotados. Incluso en espacios de Hilbert, se conocen ejemplos de C0-semigrupos cuya cota de crecimiento exponencial es estrictamente mayor que la cota espectral s(A), ver [EN, Counterexamples IV.2.7 and IV.3.4]. Estas “patologías" son el punto de partida de la teoría asintótica moderna de semigrupos. ESTABILIDAD DE ÓRBITAS: Sea Pσ(A*) el espectro puntual del operador adjunto A^* de un operador cerrado A. Arendt-Batty en [AB] y Lyubich-Vu en [LV] han probado, independientemente y con demostraciones distintas, el siguiente resultado (véase también [N, Theorem 5.1.5]): Teorema 3. Sea {T(t): t ≥0} un C0-semigrupo de operadores uniformemente acotado en un espacio de Banach X. Sea A su generador infinitesimal. Si (i) σ(A)∩ iR es contable, y (ii) Pσ(A*) ∩ iR = ∅; entonces T(t) es estable. Nos referiremos a este célebre resultado de estabilidad como el teorema de Arendt-Batty-Lyubich-Vu. Ninguna de las condiciones espectrales (i) y (ii) del teorema anterior es prescindible, ver [AB]. Este resultado ha sido extendido posteriormente por Vu a semigrupos de crecimiento no cuasianalítico en [V1]. El resultado de Vu es el siguiente: Teorema 4. Sea A el generador infinitesimal de un C0-semigrupo T(t) dominado por una función ω(t) no casianalítica cuyo peso reducido asociado ω ̃(t)=O(t^k) cuando t→∞ para algún k ≥ 0. Suponer que σ(A)∩ iR es contable y que Pσ(A*) ∩ iR = ∅. Entonces, ω(t)^(-1) T(t)x → 0 cuando t→∞ para todo x ∈ X. La estabilidad del semigrupo obtenida en los dos anteriores resultados involucra a la topología fuerte. Es posible dar resultados de estabilidad en norma de operadores cuando el semigrupo actúa sobre ciertos operadores obtenidos mediante un cálculo funcional adecuado. Nos referimos a la extensión para C0-semigrupos del clásico teorema de Katznelson-Tzafriri. La versión continua de este teorema para C0-semigrupos uniformemente acotados ha sido probada en [ESZ, Theoreme 3.4] y [V, Theorem 3.2]), independientemente y con demostraciones que involucran métodos de naturaleza distinta. Notemos que el álgebra de Banach de convolución L1(R) es regular y que el espacio de Banach L1(R+) puede verse como una subálgebra de L1(R). El resultado de [ESZ] y [V] es el siguiente: Teorema 5. Sea A el generador infinitesimal de un C0-semigrupo uniformemente acotado T(t) en X. Si f ∈ L1(R+) es una función de síntesis espectral en L1(R) respecto de iσ(A)∩R entonces T(t) π_0 (f) → 0 cuando t→∞ donde π_0: L1(R+) → B(X) es el homomorfismo acotado de álgebras de Banach dado por π_0 (f)=∫_{0}^{∞} f(t)T(t)xdt, x∈X. Como consecuencia inmediata de este teorema se obtiene que, en las anteriores condiciones, las órbitas {T(t)y : t≥0} son estables para todo y ∈ Y donde Y := {π_0 (f)x: x∈X, f ∈ L1(R+) de síntesis espectral respecto de iσ(A)∩R}. De lo anterior se deduce que, en los casos en que el subespacio Y sea denso en X, el semigrupo T(t) es estable. En [ESZ] se prueba que este hecho sucede cuando σ(A)∩ iR es contable y que Pσ(A^*) ∩ iR = ∅. Esto supone, por tanto, una demostración alternativa del teorema de estabilidad de Arendt-Batty-Lyubisch-Vu. TASA DE DECRECIMIENTO DE ÓRBITAS ESTABLES: En las últimas décadas, muchos autores se han interesado en buscar estimaciones de la tasa de decrecimiento de órbitas estables de semigrupos de operadores, es decir, cuantificar su velocidad de convergencia a cero. Motivado por las aplicaciones en ecuaciones diferenciales, se ha realizado un gran progreso en el caso en que el generador infinitesimal del C0-semigrupo en cuestión tenga espectro frontera vacío (ver [BEPS], [BD], [Bu], [Le] o [LR]). De estos resultados, se desprende que la tasa de decrecimiento de ciertas órbitas está determinada por el crecimiento de la resolvente a lo largo del eje imaginario. Un resultado general y unificado en este sentido ha sido dado por Batty and Duyckaerts (ver [BD, Theorem 1.5]): Teorema 6. Sea T(t) un C0-semigrupo uniformemente acotado en un espacio de Banach X. Sea A su generador infinitesimal y suponer que σ(A)∩ iR es vacío. Para cada k∈N, existen constantes Ck; Tk > 0 de manera que ‖T(t)(I-A)^(-k) ‖ ≤ Ck/(M_log^(-1) (t/Ck))^k para todo t≥Tk donde M(x)≔ sup_{1≤|τ|≤x} ‖(iτ-A)^(-1) ‖, x≥1, M_log (x)≔M(x)log((1+M(x))(1+x)), x≥1. Nota. En [BD], se conjetura que el factor de corrección logarítmico en M_log es necesario si X es un espacio de Banach general pero puede ser eliminado en el caso en que X sea un espacio de Hilbert. En [BT], A. Borichev y Y. Tomilov han confirmado esta conjetura para crecimientos polinomiales M. La demostración del Teorema 6 se basa en un método clásico de integración sobre contornos introducido por Newman y Korevaar en [Ne] y [K]. Usando esta técnica, C. J. K. Batty y T. Duyckaerts han estimado también la tasa de decrecimiento de las medias de Cesaro de funciones acotadas (con valores vectoriales) cuya transformada de Laplace puede extenderse analíticamente a una cierta región que contiene al eje imaginario ([BD, Theorem 4.1]). 1.2. TRANSFORMADA DE LAPLACE CON VALORES VECTORIALES Y ANÁLISIS ASINTÓTICO: Como se desprende del apartado anterior, el estudio del comportamiento asintótico de órbitas de familias uniparamétricas está ligado al estudio de la transformada de Laplace de funciones con valores vectoriales. En esta sección, seguimos profundizando en esta relación. Si T(t) es un C0-semigrupo uniformemente acotado en un espacio de Banach X generado por un operador cerrado A entonces el conjunto resolvente ρ(A) de A contiene al semiplano complejo de la derecha y la resolvente de A viene dada por la transformada de Laplace del semigrupo. Por tanto, la transformada de Laplace es el nexo entre los problemas de Cauchy y las propiedades espectrales de los operadores asociados, es decir, entre las soluciones a dichos problemas y las resolventes de tales operadores. Este trabajo no está orientado hacia la obtención de teoremas de representación para la transformada de Laplace (correspondientes a la existencia y unicidad de solución del problema abstracto de Cauchy); una amplia colección de resultados en este sentido puede verse en [ABHN, Section 3.1]. Por el contrario, hemos centrado nuestro estudio en la obtención de resultados de naturaleza tauberiana para la transformada de Laplace que permiten deducir aplicaciones de interés en la teoría asintótica de órbitas de semigrupos -es decir, de las soluciones de (PAC)- y de otras familias uniparamétricas relacionadas con dicho problema. FÓRMULA DE INVERSIÓN DE POST-WIDDER: Es bien conocido que cualquier función f : R+ →X localmente integrable y que sea transformable Laplace está unívocamente determinada por su transformada de Laplace, como muestra el siguiente resultado (ver [ABHN, Theorem 1.7.7]). Teorema 7. Sea f: R+ →X localmente integrable y transformable Laplace. Entonces, para todo punto t > 0 de Lebesgue de f, f(t)= lim_{n→∞} (-1)^n (1/n!) (n/t)^(n+1) (Lf)^(n) (n/t). Este resultado extiende a funciones con valores vectoriales el clásico teorema de Post-Widder de inversión de la transformada de Laplace; ver [P, W]. En los últimos años, la fórmula de Post-Widder se ha aplicado con gran eficacia en muchos problemas numéricos; ver por ejemplo [MCPS, SB]. Sea ahora T(t) un C0-semigrupo en B(X) y sea x ∈ X. Si tomamos f(t) = T(t)x en el teorema 7 y aplicamos la ecuación resolvente obtenemos la conocida como fórmula de Euler para semigrupos; ver [ABHN, Corollary 3.3.6]. Esta fórmula sugiere que las órbitas de un semigrupo pueden obtenerse a su vez como un límite de órbitas del operador resolvente de su generador infinitesimal. En el capítulo 3 de este trabajo, se obtiene una versión integrada de las fórmulas de inversión anteriores. 1.3. PROBLEMAS DE CAUCHY MAL PLANTEADOS Y COMPORTAMIENTO ASINTÓTICO DE SOLUCIONES: Existen operadores cerrados de interés A para los cuales el problema abstracto de Cauchy está mal planteado en el sentido de que A no es el generador infinitesimal de ningún C0-semigrupo. Sin embargo, en algunos casos importantes en los que se produce esta situación, es posible resolver el problema utilizando familias de operadores más generales que los semigrupos, como los llamados semigrupos integrados. En problemas de Cauchy de otros órdenes, intervienen otras familias uniparamétricas de interés como las funciones coseno, las coseno integradas y las familias de Mittag-Leffler. En esta memoria, centramos nuestro estudio en los semigrupos integrados, principalmente. Suponer que A es el generador de un semigrupo integrado n veces Tn(t) exponencialmente acotado. Entonces, la función u(t)≔d^n/(dt^n ) Tn(t)x, t>0 es la única solución de la ecuación (PAC). Por tanto, el límite de tipo ergódico lim_{t→∞} t^{-n}Tn(t)x=0 refleja el comportamiento asintótico de la solución u en el infinito. En [ElM], un semigrupo integrado una vez T1(t) generado por un operador A se llama estable cuando existe lim T1(t)x en X para todo x en D(A). Esta condición parece razonable pero entraña una importante restricción sobre el generador A. De hecho, si T1(t) es estable en el sentido anterior, entonces A debe ser inversible; ver [ElM, Proposition 5.1 and Remark 5.3]. En este contexto, el teorema de estabilidad de Arendt-Batty-Lyubich-Vu (Teorema 3) admite la siguiente versión integrada (ver [ElM, Theorem 5.6]): Teorema 8. Sea A el generador infinitesimal de un semigrupo integrado una vez T1(t) uniformemente acotado y tal que (i) σ(A)∩ iR es contable, y (ii) Pσ(A*) ∩ iR = ∅; entonces T1(t) es estable. Más aún, lim_{t→∞}T1(t)x = -A^{-1}x para todo x ∈ X. En el capítulo 4 del presente trabajo, obtenemos una extensión de este resultado para semigrupos integrados n veces con generador inversible y con un crecimiento de tipo no cuasianalítico. En esta dirección, el siguiente objetivo es encontrar resultados como el teorema 8 anterior para semigrupos integrados n veces cuyos generadores no sean necesariamente inversibles. En el capítulo 6 de la memoria, establecemos un resultado de esta naturaleza para semigrupos integrados n veces de crecimiento atemperado t^n. La conclusión de un tal resultado no es la estabilidad del semigrupo integrado en el sentido mencionado anteriormente sino la propiedad de tipo ergódico mencionada antes. Observar, no obstante, que este comportamiento supone una generalización natural de la noción de estabilidad de C0-semigrupos acotados a semigrupos integrados bajo la condición de crecimiento anterior. 2. PRINCIPALES RESULTADOS OBTENIDOS: En esta sección enunciamos los teoremas más relevantes obtenidos en la memoria. En primer lugar, presentamos los resultados que involucran a la transformada de Laplace de funciones con valores en un espacio de Banach arbitrario y sus aplicaciones en el estudio del comportamiento asintótico de familias de operadores. TASA DE DECRECIMIENTO DE ÓRBITAS ESTABLES Como se ha mencionado ya, uno de los métodos utilizados en el presente trabajo consiste en obtener conclusiones sobre el comportamiento en el infinito de C0-semigrupos de operadores a partir del estudio del comportamiento asintótico de ciertas funciones generales con valores vectoriales. En este contexto, resulta de interés encontrar nuevos resultados sobre la transformada de Laplace de tales funciones. Los resultados que se presentan en este apartado están motivados por las técnicas usadas por C. J. K. Batty and T. Duckaerts en [BD]. Sea e1(t) := exp(-t) para t ∈ R+. Denotamos por * al producto de convolución usual en R y por ∘⃘ al producto de convolución adjunto al usual. TEOREMA 2.1.1 Sea X un espacio de Banach y sea f ∈ L^{∞}(R+;X). Suponer que existe una función continua μ: (0, ∞) → (0, ∞) tal que: (i) La tranformada de Laplace de f tiene una extensión analítica a la región ∆≔{z∈C:Rez>-μ(|Imz|^(-1))} y está acotada por μ(|Imz|) en los z de ∆ con parte real negativa. (ii) μ es decreciente en (0, 1] y creciente en [1, ∞). Entonces, existen constantes positivas C y τ tales que para todo t > τ, ‖(e1-e1*e1)∘ f(t)‖ ≤ C(m_log^(-1) (t/4) + 1/(M_log^(-1) (t/4)) + 1/t ) donde M_log (x)≔μ(x)log((1+μ(x))(1+x)), x≥1, m_log (x)≔μ(x)log((1+μ(x))/x), 0<x≤1. El teorema anterior es la base para obtener el siguiente resultado en el que se estima el decrecimiento de órbitas estables de semigrupos. Sea (T(t))t_0 un C0-semigrupo uniformemente acotado en un espacio de Banach X generado por un operador A. Denotar por M: [1, ∞) → R+ y m: (0, 1] → R+ a las funciones continuas dadas por M(x)≔ sup_{1≤|τ|≤x} ‖(iτ-A)^(-1) ‖, x≥1 m(x)≔ sup_{x≤|τ|≤1} ‖(iτ-A)^(-1) ‖, 0<x≤1. Definimos ahora μ: (0, ∞) → (0, ∞) de función de M y m de manera que μ/(0, 1]:= m y μ/[1, ∞) := M. Denotamos también M_log y m_log a las funciones obtenidas a partir de μ como antes. TEOREMA 2.2.1. En las condiciones anteriores, suponer que σ(A)∩ iR ⊆{0}. Entonces, existen constantes positivas Ck, Tk > 0 de tales que para todo t > Tk, ‖T(t)A^k (I-A)^(-2k) ‖ ≤ Ck (m_log^(-1) (t/4k)+1/(M_log^(-1) (t/4k) )+1/t )^{k} Este teorema admite una generalización para semigrupos cuyo generador infinitesimal tiene espectro frontera finito, sin contener al origen necesariamente. Ver capítulo 2 de la memoria para más detalle. VERSIÓN INTEGRADA DE LA FÓRMULA DE POST-WIDDER. FÓRMULA DE TIPO EULER PARA SEMIGRUPOS INTEGRADOS α VECES La relación entre transformadas de Laplace de funciones medibles con valores vectoriales y órbitas de semigrupos resulta de gran utilidad también al estudiar familias integradas de operadores. En este apartado, que se corresponde con el capítulo 3 de la memoria, damos una fórmula de inversión de tipo Post-Widder para transformadas de Laplace con valores vectoriales multiplicadas por el factor z^α (α > 0). Este resultado extiende el teorema 7 mencionado anteriormente. Como consecuencia del mismo, obtenemos nuevas fórmulas de inversión para la resolvente de semigrupos y familias coseno integradas α -veces. Sea X un espacio de Banach y f: R+ →X una función localmente integrable acotada en norma por t^{-γ} e^{ωt} tal que para algún γ>-1 y algún ω≥0. Claramente, la transformada de Laplace Lf de f existe al menos en el semiplano complejo Rez > ω. Para una tal función, se verifica lo siguiente: TEOREMA 3.1.1. Para todo α∈(0,γ+1) y todo punto de Lebesgue t > 0 de f, f(t)=lim_{n→∞} ∫_{0}^{t} (t-s)^{α-1} (-1)^n (1/n!) (n/s)^(n+1) (z^{α} Lf)^(n) (n/s) ds. Para transformadas de Laplace-Stieltjes, se prueba también un resultado análogo para enteros positivos. El interés de la fórmula anterior radica en que permite invertir funciones φ que no son necesariamente transformadas de Laplace, pero tales que z^(-α) φ si lo es para algún α > 0. En esta situación están clases de funciones importantes como las familias integradas de operadores. De hecho, la fórmula del teorema anterior proporciona teoremas de inversión para las resolventes de los generadores de semigrupos integrados y familias coseno integradas. Estas fórmulas extienden otros resultados previamente conocidos en esta materia (ver [C, VV]). ESTABILIDAD DE SEMIGRUPOS INTEGRADOS n VECES En este apartado presentamos los resultados obtenidos en relación a la estabilidad de semigrupos n veces integrados para n ≥ 1. En primer lugar, en la línea iniciada por O. El Mennaoui para generalizar el teorema de Arendt-Batty-Lyubisch-Vu, extendemos [ElM, Theorem 5.6] del siguiente modo. TEOREMA 4.0.1. Sea A el generador de un semigrupo integrado n veces Tn(t) tal que (i) σ(A)∩ iR es contable, (ii) Pσ(A*) ∩ iR = ∅, (ii) 0 ∈ρ(A). Suponer que Tn(t) está dominado por un peso ω(t) no casianalítico cuyo peso reducido asociado ω ̃(t)=O(t^k) cuando t→∞ para algún k ≥ 0. Se cumple lo siguiente: (i) Si ω(t)=o(t^(n-1) ) cuando t→∞ entonces ω(t)^(-1) Tn(t)x → 0 cuando t→∞ para todo x en la clausura de D(A^{n}). (ii) Si ω(t)~ (t^(-n+1) ) cuando t→∞ entonces t^(-n+1) Tn(t)x → -(1/(n-1)!)A^{-1}x cuando t→∞ para todo x en la clausura de D(A^{n}). La demostración del teorema anterior se basa en una adaptación de los argumentos en [ElM] y [V1]. En este trabajo, se extienden de paso otros resultados auxiliares de los autores citados. NOTA: Una cuestión que se plantea a raíz del teorema 4.0.1 es cómo eliminar la condición relativa a la existencia de inverso del generador A. Las técnicas usadas en las demostraciones originales del teorema de Arendt-Batty-Lyubich-Vu no parecen funcionar en el contexto de los semigrupos integrados. Sin embargo, existe una demostración alternativa de este resultado en [ESZ] (que involucra a la versión continua del teorema de Katznelson-Tzafriri y propiedades de análisis armónico de ciertos homomorfismos de álgebras de Banach) que si permite obtener algunos resultados, parciales pero interesantes, en la dirección deseada. En este sentido, lo primero que hacemos es extender el teorema de Katznelson-Tzafriri al contexto de semigrupos integrados (ver capítulo 5 de la memoria). EXTENSIÓN DEL TEOREMA DE ESTERLE-STROUSSE-ZOUAKIA-VU: TEOREMA DE KATZNELSON-TZAFRIRI PARA SEMIGRUPOS INTEGRADOS Sean D(R) y D(R+) los espacios formados por las funciones continuas e indefinidamente derivables con soporte compacto en R y R+, respectivamente. Denotamos T^{α}(|t|^{α}) y T_{+}^{α}(t^{α}) a los espacios de Banach obtenidos como la complección de D(R) y D(R+) en la norma ‖f‖_{α} := ∫_{Ω} |W^{α}f(t)| |t|^{n} dt para f en D(Ω) donde Ω denota a R o R+ y W^{α}f la derivada de Weyl de f de orden α en R o R+, según corresponda. Estos espacios han sido introducidos en [GM] y son de hecho álgebras de Banach para el producto usual de convolución en R y R+, respectivamente. Además, T^{α}(|t|^{α}) es regular y T_{+}^{α}(t^{α}) es una subálgebra cerrada de T^{α}(|t|^{α}) . Sea Tα(t) un semigrupo integrado α veces en B(X) y acotado por t^{α} para todo t>0. Entonces, la aplicación π_α: T_{+}^{α}(t^{α})→ B(X) dada por π_α(f)=∫_{0}^{∞} W_{+}^{α}f(t) Tα(t)x dt, x∈X, es un homomorfismo acotado de álgebras de Banach. Tenemos entonces la siguiente extensión del teorema de Esterle-Strouse-Zouakia y Vu: Teorema 5.0.1. Sea Tα(t) un semigrupo integrado α veces en B(X) y acotado por t^{α} para todo t>0 y tal que Γ(α+1)t^{-α}Tα(t)x → x cuando t→0+ para todo x en X. Suponer que f ∈ T_{+}^{α}(t^{α}) es de síntesis espectral en T^{α}(|t|^{α}) respecto de iσ(A)∩R. Entonces, t^{-α}Tα(t) π_α(f) → 0 en norma de operadores cuando t→∞. SÍNTESIS ESPECTRAL Y ESTABILIDAD: El contenido de esta sección se corresponde con el capítulo 6 de la memoria y se divide en dos partes: la primera está dedicada al estudio de la noción de síntesis espectral en T^{n}(|t|^{n}) y la segunda, al análisis de las consecuenciasde la primera en la estabilidad-ergodicidad de semigrupos integrados. En esta sección, nos restringimos al caso α= n es un entero no negativo. Denotamos por Sn el subespacio vectorial de las funciones de T_{+}^{n}(t^{n}) que son de síntesis espectral en T^{n}(|t|^{n}) para S := iσ(A)∩R, donde A es el generador de un semigrupo integrado n veces en un espacio de Banach X. En el caso n = 0, uno de los ingredientes clave para demostrar la densidad de π_n(Sn)X en X es el hecho de que los subconjuntos cerrados y contables de R son conjuntos de síntesis espectral para L1(R). A continuación, vamos a ver que para n arbitrario y el álgebra T^{n}(|t|^{n}), esta propiedad no se verifica. ** SÍNTESIS ESPECTRAL DÉBIL EN T^{n}(|t|^{n}) Sea S un subconjunto cerrado de R. Con F(f) nos referiremos a la transformada de Fourier de una función f en T^{n}(|t|^{n}). Denotamos: Mk(S):={f∈T^{n}(|t|^{n}): x^{j} F(f)^(j)(x)=0 para todo x en S y todo j=0...k}, k=0,...,n, M(S):=M0(S), y J(S):={f∈T^{n}(|t|^{n}): F(f) se anula en un entorno de S}. Por definición, el conjunto cerrado S de R es de síntesis espectral si y sólo si J(S) es denso en M(S). En el siguiente teorema, describimos a los ideales primarios cerrados de T^{n}(|t|^{n}). Teorema 6.2.1. Para todo a en R, J({s}) es denso en Mn({a}). Observar que M0(0)=Mk(0)=Mn(0) para todo k=0,...,n. Por tanto, el conjunto {0} es de síntesis espectral para el álgebra T^{n}(|t|^{n}). Más aún, el teorema anterior nos dice que es de hecho el único conjunto unipuntual con dicha propiedad. Teorema 6.2.2. Para todo subconjunto contable S de R, J(S) es denso en Mn(S). **ERGODICIDAD NULA DE SEMIGRUPOS Denotar Mn,+(S):= Mn(S)∩T_{+}^{n}(t^{n}). Decimos que S es un conjunto de interpolación para T_{+}^{n}(t^{n}) en T^{n}(|t|^{n}) si T_{+}^{n}(t^{n}) /Mn,+(S) = T^{n}(|t|^{n}) /Mn(S). Teorema 6.3.2. Sea Tn(t) un semigrupo integrado n veces en B(X) con generador A. Suponer que Tn(t) está acotado por t^{n} para todo t>0 y verifica n! t^{-n}Tn(t)x → x cuando t→0+ para todo x en X. Suponer también que S:= iσ(A)∩R es un conjunto contable, compacto y de interpolación para T_{+}^{n}(t^{n}) en T^{n}(|t|^{n}) y que Pσ(A*)∩iR es vacío. Entonces, π_n(Mn,+(S))X es denso en X y, en consecuencia, t^{-n}Tn(t)x → 0 cuando t→∞ para todo x en X. La condición añadida sobre la compacidad de S parece razonable. De hecho, en resultados generales sobre ideales estándar de L1(R+) es bastante frecuente asumir la compacidad del conjunto de ceros del ideal. La cuestión ahora es determinar exactamente qué subconjuntos de R son de interpolación para la subálgebra T_{+}^{n}(t^{n}) en T^{n}(|t|^{n}) . No es una cuestión sencilla de resolver en general, pero al menos los subconjuntos finitos se encuentran entre ellos. Tenemos entonces el siguiente resultado: Teorema 6.3.3. Sea Tn(t) un semigrupo integrado n veces en B(X) con generador A. Suponer que Tn(t) está acotado por t^{n} para todo t>0 y verifica n! t^{-n}Tn(t)x → x cuando t→0+ para todo x en X. Suponer también que S:= iσ(A)∩R es un conjunto finito y que Pσ(A*)∩iR es vacío. Entonces, t^{-n}Tn(t)x → 0 cuando t→∞ para todo x en X. El teorema anterior puede aplicarse a C0-semigrupos T(t) que no están uniformemente acotados pero que sí lo está su media Cesaro de orden n para algún n natural. De esta forma, obtenemos también un resultado de ergodicidad nula para C0-semigrupos no acotados. La memoria de la tesis está organizada de la siguiente manera. En el capítulo 1 se introducen los principales conceptos con los que se trabaja a lo largo del trabajo. Este capítulo contiene también dos nuevos resultados de carácter técnico pero con interés en si mismos (Proposiciones 1.3.1 y 1.3.2) y que resultan de gran importancia en la demostración de otros resultados del trabajo. En el capítulo 2, se incluyen los resultados relativos a las estimaciones de la tasa de decrecimiento de funciones con valores vectoriales en términos de sus transformadas de Laplace y sus aplicaciones a la teoría asintótica de semigrupos. Los contenidos de este capítulo se encuentran publicados en [M]. La transformada de Laplace con valores vectoriales es también clave en los resultados del capítulo 3. El principal resultado del mismo es la fórmula de inversión de tipo Post-Widder para transformadas de Laplace z^{α}-multiplicadas. Como consecuencia, obtenemos también nuevas fórmulas de inversión para las resolventes de generadores de semigrupos integrados α veces, así como de funciones coseno integradas α veces. Los resultados de este capítulo están publicados en [GMM]. Los últimos tres capítulos están dedicados a estudiar, principalmente, propiedades asintóticas de semigrupos de operadores integrados. El principal resultado del capítulo 4 es el relativo a la estabilidad (bajo ciertos pesos no cuasi-analíticos) de semigrupos integrados n veces. Las hipótesis sobre el generador que se manejan en este caso son, en particular, el que tenga espectro frontera contable y que sea inversible. En el capítulo 5, extendemos al contexto de los semigrupos integrados α veces la versión continua del teorema de Katznelson-Tzafriri para C0-semigrupos dada en [ESZ] y [V]. Los resultados incluidos en este capítulo pueden verse también en [GMM1]. Por último, en el capítulo 6, llevamos a cabo un estudio detallado de los ideales primarios y de la noción de síntesis espectral en las álgebras de tipo Sobolev T^{n}(|t|^{n}). Este estudio nos permite obtener un resultado para semigrupos integrados en la línea del teorema de estabilidad de Arendt-Batty-Lyubich-Vu para C0-semigrupos.

Pal. clave: análisis ; análisis funcional

Área de conocimiento: Análisis matemático

Departamento: Instituto Universitario de Investigación de Matemáticas y Aplicaciones (IUMA)

Nota: Presentado: 10 02 2016
Nota: Tesis-Univ. Zaragoza, Instituto Universitario de Investigación de Matemáticas y Aplicaciones (IUMA), 2016



 Registro creado el 2016-04-05, última modificación el 2017-12-21


Texto completo:
Descargar el texto completo
PDF

Valore este documento:

Rate this document:
1
2
3
 
(Sin ninguna reseña)