C0-semigrupo

Generalización de la función exponencial.

En matemáticas , un semigrupo C ₀ , también conocido como semigrupo de un parámetro fuertemente continuo , es una generalización de la función exponencial . Así como las funciones exponenciales proporcionan soluciones de ecuaciones diferenciales ordinarias de coeficiente constante lineal escalar , los semigrupos fuertemente continuos proporcionan soluciones de ecuaciones diferenciales ordinarias de coeficiente constante lineal en espacios de Banach . Estas ecuaciones diferenciales en espacios de Banach surgen, por ejemplo, de ecuaciones diferenciales de retardo y de ecuaciones diferenciales parciales .

Formalmente, un semigrupo fuertemente continuo es una representación del semigrupo ( R ₊ , +) en algún espacio de Banach X que es continuo en la topología de operador fuerte .

Definicion formal

Un semigrupo fuertemente continuo en un espacio de Banach es un mapa tal que ${\displaystyle X}$ ${\displaystyle T:\mathbb {R} _{+}\to L(X)}$

1. ${\displaystyle T(0)=I}$, (el operador de identidad en ) ${\displaystyle X}$
2. ${\displaystyle \forall t,s\geq 0:\ T(t+s)=T(t)T(s)}$
3. ${\displaystyle \forall x_{0}\in X:\ \|T(t)x_{0}-x_{0}\|\to 0}$, como . ${\displaystyle t\downarrow 0}$

Los dos primeros axiomas son algebraicos y establecen que es una representación del semigrupo ; el último es topológico y establece que el mapa es continuo en la topología de operador fuerte . ${\displaystyle T}$ ${\displaystyle {(\mathbb {R} _{+},+)}}$ ${\displaystyle T}$

generador infinitesimal

El generador infinitesimal A de un semigrupo T fuertemente continuo está definido por

${\displaystyle A\,x=\lim _{t\downarrow 0}{\frac {1}{t}}\,(T(t)-I)\,x}$

siempre que exista el límite. El dominio de A , D ( A ), es el conjunto de x ∈ X para el cual sí existe este límite; D ( A ) es un subespacio lineal y A es lineal en este dominio. ^[1] El operador A es cerrado , aunque no necesariamente acotado , y el dominio es denso en X. ^[2]

El semigrupo T fuertemente continuo con generador A a menudo se denota con el símbolo (o, de manera equivalente, ). Esta notación es compatible con la notación para exponenciales matriciales y para funciones de un operador definido mediante cálculo funcional (por ejemplo, mediante el teorema espectral ). ${\displaystyle e^{At}}$ ${\displaystyle \exp(At)}$

Semigrupo uniformemente continuo

Un semigrupo uniformemente continuo es un semigrupo T fuertemente continuo tal que

${\displaystyle \lim _{t\to 0^{+}}\|T(t)-I\|=0}$

sostiene. En este caso, el generador infinitesimal A de T está acotado y tenemos

${\displaystyle {\mathcal {D}}(A)=X}$

y

${\displaystyle T(t)=e^{At}:=\sum _{k=0}^{\infty }{\frac {A^{k}}{k!}}t^{k}.}$

Por el contrario , cualquier operador acotado

${\displaystyle A\colon X\to X}$

es el generador infinitesimal de un semigrupo uniformemente continuo dado por

${\displaystyle T(t):=e^{At}}$.

Por tanto, un operador lineal A es el generador infinitesimal de un semigrupo uniformemente continuo si y sólo si A es un operador lineal acotado. ^[3] Si X es un espacio de Banach de dimensión finita , entonces cualquier semigrupo fuertemente continuo es un semigrupo uniformemente continuo. Para un semigrupo fuertemente continuo que no es un semigrupo uniformemente continuo, el generador infinitesimal A no está acotado. En este caso, no es necesario que converja. ${\displaystyle e^{At}}$

Ejemplos

Semigrupo de multiplicación

Consideremos el espacio de Banach dotado de la norma sup . Sea una función continua con . El operador con dominio es un operador cerrado densamente definido y genera el semigrupo de multiplicación donde los operadores de multiplicación pueden verse como la generalización de dimensión infinita de matrices diagonales y muchas de las propiedades de pueden derivarse de las propiedades de . Por ejemplo , está acotado si y sólo si está acotado . ^[4] ${\displaystyle C_{0}(\mathbb {R} ):=\{f:\mathbb {R} \rightarrow \mathbb {C} {\text{ continuous}}:\forall \epsilon >0~\exists c>0{\text{ such that }}\vert f(x)\vert \leq \epsilon ~\forall x\in \mathbb {R} \setminus [-c,c]\}}$ ${\displaystyle \Vert f\Vert :={\text{sup}}_{x\in \mathbb {R} }\vert f(x)\vert }$ ${\displaystyle q:\mathbb {R} \rightarrow \mathbb {C} }$ ${\displaystyle {\text{sup}}_{s\in \mathbb {R} }{\text{Re}}(q(s))<\infty }$ ${\displaystyle M_{q}f:=q\cdot f}$ ${\displaystyle D(M_{q}):=\{f\in C_{0}(\mathbb {R} ):q\cdot f\in C_{0}(\mathbb {R} )\}}$ ${\displaystyle (T_{q}(t))_{t\geq 0}}$ ${\displaystyle T_{q}(t)f:=\mathrm {e} ^{qt}f.}$ ${\displaystyle M_{q}}$ ${\displaystyle q}$ ${\displaystyle M_{q}}$ ${\displaystyle C_{0}(\mathbb {R)} }$ ${\displaystyle q}$

traducción semigrupo

Sea el espacio de funciones acotadas y uniformemente continuas dotadas de la norma sup. El semigrupo de traducción (izquierda) viene dado por . ${\displaystyle C_{ub}(\mathbb {R} )}$ ${\displaystyle \mathbb {R} }$ ${\displaystyle (T_{l}(t))_{t\geq 0}}$ ${\displaystyle T_{l}(t)f(s):=f(s+t),\quad s,t\in \mathbb {R} }$

Su generador es la derivada con dominio . ^[5] ${\displaystyle Af:=f'}$ ${\displaystyle D(A):=\{f\in C_{ub}(\mathbb {R} ):f{\text{ differentiable with }}f'\in C_{ub}(\mathbb {R} )\}}$

Problemas abstractos de Cauchy

Considere el problema abstracto de Cauchy :

${\displaystyle u'(t)=Au(t),~~~u(0)=x,}$

donde A es un operador cerrado en un espacio de Banach X y x ∈ X . Hay dos conceptos de solución de este problema:

• una función continuamente diferenciable u : [0, ∞) → X se llama solución clásica del problema de Cauchy si u ( t  ) ∈ D ( A ) para todo t > 0 y satisface el problema de valor inicial,
• una función continua u : [0, ∞) → X se llama solución suave del problema de Cauchy si

${\displaystyle \int _{0}^{t}u(s)\,ds\in D(A){\text{ and }}A\int _{0}^{t}u(s)\,ds=u(t)-x.}$

Cualquier solución clásica es una solución suave. Una solución suave es una solución clásica si y sólo si es continuamente diferenciable. ^[6]

El siguiente teorema conecta problemas abstractos de Cauchy y semigrupos fuertemente continuos.

Teorema: ^[7] Sea A un operador cerrado en un espacio de Banach X. Las siguientes afirmaciones son equivalentes:

1. para todo x ∈ X existe una solución suave única del problema abstracto de Cauchy,
2. el operador A genera un semigrupo fuertemente continuo,
3. el conjunto resolutivo de A no está vacío y para todo x ∈ D ( A ) existe una solución clásica única del problema de Cauchy.

Cuando estas afirmaciones son válidas, la solución del problema de Cauchy viene dada por u ( t  ) =  T ( t  ) x siendo T el semigrupo fuertemente continuo generado por A.

Teoremas de generación

En relación con los problemas de Cauchy, normalmente se da un operador lineal A y la pregunta es si éste es el generador de un semigrupo fuertemente continuo. Los teoremas que responden a esta pregunta se denominan teoremas de generación . El teorema de Hille-Yosida proporciona una caracterización completa de los operadores que generan semigrupos fuertemente continuos acotados exponencialmente . Sin embargo, son de mayor importancia práctica las condiciones mucho más fáciles de verificar dadas por el teorema de Lumer-Phillips .

Clases especiales de semigrupos.

Semigrupos uniformemente continuos

El semigrupo T fuertemente continuo se llama uniformemente continuo si el mapa t  →  T ( t  ) es continuo desde [0, ∞) hasta L ( X ).

El generador de un semigrupo uniformemente continuo es un operador acotado .

Semigrupos analíticos

Semigrupos de contracción

Semigrupos diferenciables

Un semigrupo T fuertemente continuo se llama eventualmente diferenciable si existe un t ₀  > 0 tal que T ( t ₀ ) X ⊂ D ( A ) (equivalente: T ( t  ) X ⊂ D ( A ) para todo t  ≥  t ₀ ) y T es inmediatamente diferenciable si T ( t  ) X  ⊂  D ( A ) para todo t  > 0 .

Todo semigrupo analítico es inmediatamente diferenciable.

Una caracterización equivalente en términos de problemas de Cauchy es la siguiente: el semigrupo fuertemente continuo generado por A es eventualmente diferenciable si y sólo si existe un t ₁  ≥ 0 tal que para todo x  ∈  X la solución u del problema abstracto de Cauchy es diferenciable en ( t ₁ , ∞) . El semigrupo es inmediatamente diferenciable si se puede elegir que t ₁ sea cero.

Semigrupos compactos

Un semigrupo T fuertemente continuo se llama eventualmente compacto si existe un t ₀  > 0 tal que T ( t ₀ ) es un operador compacto (equivalentemente ^[8] si T ( t  ) es un operador compacto para todo t  ≥  t ₀ ). El semigrupo se llama inmediatamente compacto si T ( t  ) es un operador compacto para todo t  > 0.

Norma semigrupos continuos.

Un semigrupo fuertemente continuo se llama eventualmente norma continua si existe un t ₀  ≥ 0 tal que el mapa t  →  T ( t  ) es continuo desde ( t ₀ , ∞) hasta L ( X ). El semigrupo se llama inmediatamente norma continua si se puede elegir que t ₀ sea cero.

Tenga en cuenta que para un semigrupo continuo inmediatamente normativo, el mapa t  →  T ( t  ) puede no ser continuo en t  = 0 (eso haría que el semigrupo fuera uniformemente continuo).

Los semigrupos analíticos, (eventualmente) los semigrupos diferenciables y (eventualmente) los semigrupos compactos son, en última instancia, norma continua. ^[9]

Estabilidad

Estabilidad exponencial

La cota de crecimiento de un semigrupo T es la constante

${\displaystyle \omega _{0}=\inf _{t>0}{\frac {1}{t}}\log \|T(t)\|.}$

Se llama así porque este número es también el mínimo de todos los números reales ω tales que existe una constante M (≥ 1) con

${\displaystyle \|T(t)\|\leq Me^{\omega t}}$

para todo t ≥ 0.

Los siguientes son equivalentes: ^[10]

1. Existe M , ω >0 tal que para todo t  ≥ 0: ${\displaystyle \|T(t)\|\leq M{\rm {e}}^{-\omega t},}$
2. El límite de crecimiento es negativo: ω ₀  < 0,
3. El semigrupo converge a cero en la topología de operador uniforme : , ${\displaystyle \lim _{t\to \infty }\|T(t)\|=0}$
4. Existe un t ₀  > 0 tal que , ${\displaystyle \|T(t_{0})\|<1}$
5. Existe un t ₁  > 0 tal que el radio espectral de T ( t ₁ ) es estrictamente menor que 1,
6. Existe un p  ∈ [1, ∞) tal que para todo x  ∈  X : , ${\displaystyle \int _{0}^{\infty }\|T(t)x\|^{p}\,dt<\infty }$
7. Para todo p  ∈ [1, ∞) y todo x  ∈  X : ${\displaystyle \int _{0}^{\infty }\|T(t)x\|^{p}\,dt<\infty .}$

Un semigrupo que satisface estas condiciones equivalentes se llama exponencialmente estable o uniformemente estable (cualquiera de las tres primeras afirmaciones anteriores se toma como definición en ciertas partes de la literatura). Que las condiciones L ^p son equivalentes a la estabilidad exponencial se llama teorema de Datko-Pazy .

En caso de que X sea un espacio de Hilbert existe otra condición que es equivalente a la estabilidad exponencial en términos del operador resolutivo del generador: ^[11] todos los λ con parte real positiva pertenecen al conjunto resolutivo de A y el operador resolutivo está uniformemente acotado en el semiplano derecho, es decir ( λI  −  A ) ⁻¹ pertenece al espacio de Hardy . Esto se llama teorema de Gearhart-Pruss . ${\displaystyle H^{\infty }(\mathbb {C} _{+};L(X))}$

El límite espectral de un operador A es la constante

${\displaystyle s(A):=\sup\{{\rm {Re}}\,\lambda :\lambda \in \sigma (A)\}}$,

con la convención de que s ( A ) = −∞ si el espectro de A está vacío.

El límite de crecimiento de un semigrupo y el límite espectral de su generador están relacionados por ^[12] s ( A ) ≤ ω ₀ ( T  ). Hay ejemplos ^[13] donde s ( A ) <  ω ₀ ( T  ). Si s ( A ) =  ω ₀ ( T  ), entonces se dice que T satisface la condición de crecimiento determinada espectralmente . Finalmente, los semigrupos normativos continuos satisfacen la condición de crecimiento determinada espectralmente. ^[14] Esto da otra caracterización equivalente de estabilidad exponencial para estos semigrupos:

• Un semigrupo eventualmente normativo continuo es exponencialmente estable si y solo si s ( A ) < 0.

Tenga en cuenta que los semigrupos eventualmente compactos, eventualmente diferenciables, analíticos y uniformemente continuos son eventualmente normativos continuos, de modo que la condición de crecimiento determinada espectralmente se cumple en particular para esos semigrupos.

Fuerte estabilidad

Un semigrupo T fuertemente continuo se llama fuertemente estable o asintóticamente estable si para todo x  ∈  X : . ${\displaystyle \lim _{t\to \infty }\|T(t)x\|=0}$

La estabilidad exponencial implica una fuerte estabilidad, pero lo contrario generalmente no es cierto si X es de dimensión infinita (es cierto para X de dimensión finita).

La siguiente condición suficiente para una estabilidad fuerte se denomina teorema de Arendt-Batty-Lyubich-Phong : ^{[15] [16]} Supongamos que

1. T está acotado: existe un M  ≥ 1 tal que , ${\displaystyle \|T(t)\|\leq M}$
2. A no tiene espectro de puntos en el eje imaginario, y
3. El espectro de A ubicado en el eje imaginario es contable.

Entonces T es fuertemente estable.

Si X es reflexivo, entonces las condiciones se simplifican: si T está acotado, A no tiene valores propios en el eje imaginario y el espectro de A ubicado en el eje imaginario es contable, entonces T es fuertemente estable.

Ver también

• Teorema de Hille-Yosida
• Teorema de Lumer-Phillips
• Teorema de Trotter-Kato
• Semigrupo analítico
• Semigrupo de contracción
• Matriz exponencial
• Familia de operadores fuertemente continua
• Ecuación diferencial abstracta

Notas

1. Partington (2004) página 23
2. Partington (2004) página 24
3. Pazy, A. (1983), Semigrupos de operadores lineales y aplicaciones a ecuaciones diferenciales parciales , Nueva York: Springer-Verlag, p. 2, ISBN 0-387-90845-5
4. Klaus-Jochen Engel (2006), Un curso breve sobre semigrupos de operadores (en alemán), Nueva York, NY: Springer, págs. 20 y siguientes, ISBN 0-387-36619-9
5. Klaus-Jochen Engel (2006), Un curso breve sobre semigrupos de operadores (en alemán), Nueva York, NY: Springer, p. 51, ISBN 0-387-36619-9
6. Arendt y col. Proposición 3.1.2
7. Arendt y col. Teorema 3.1.12
8. Engel y Nagel Lema II.4.22
9. Engel y Nagel (diagrama II.4.26)
10. Engel y Nagel Sección V.1.b
11. Teorema de Engel y Nagel V.1.11
12. Proposición IV2.2 de Engel y Nagel
13. Engel y Nagel Sección IV.2.7, Luo et al. Ejemplo 3.6
14. Corolario de Engel y Nagel 4.3.11
15. Arendt, Wolfgang; Batty, Charles (1988), "Teoremas tauberianos y estabilidad de semigrupos de un parámetro", Transactions of the American Mathematical Society , 306 (2): 837–852, doi : 10.1090/S0002-9947-1988-0933321-3
16. Lyubich, Yu; Phong, Vu Quoc (1988), "Estabilidad asintótica de ecuaciones diferenciales lineales en espacios de Banach", Studia Mathematica , 88 (1): 37–42, doi : 10.4064/sm-88-1-37-42

Referencias

• E Hille, RS Phillips: análisis funcional y semigrupos . Sociedad Estadounidense de Matemáticas, 1975.
• RF Curtain , HJ Zwart: Introducción a la teoría de sistemas lineales de dimensión infinita . Springer Verlag, 1995.
• EB Davies : semigrupos de un parámetro (monografías LMS), Academic Press, 1980, ISBN 0-12-206280-9 . 
• Engel, Klaus-Jochen; Nagel, Rainer (2000), Semigrupos de un parámetro para ecuaciones de evolución lineal , Springer
• Arendt, Wolfgang; Loco, Charles; Hieber, Matías; Neubrander, Frank (2001), Transformadas de Laplace valoradas por vectores y problemas de Cauchy , Birkhauser
• Staffans, Olof (2005), Sistemas lineales bien planteados , Cambridge University Press
• Luo, Zheng-Hua; Guo, Bao-Zhu; Morgul, Omer (1999), Estabilidad y estabilización de sistemas de dimensiones infinitas con aplicaciones , Springer
• Partington, Jonathan R. (2004), Operadores lineales y sistemas lineales , Textos para estudiantes de la London Mathematical Society , Cambridge University Press , ISBN 0-521-54619-2