conjunto solvente

En álgebra lineal y teoría de operadores , el conjunto resolutivo de un operador lineal es un conjunto de números complejos para los cuales el operador se " comporta bien " en cierto sentido. El conjunto resolutivo juega un papel importante en el formalismo resolutivo .

Definiciones

Sea X un espacio de Banach y sea un operador lineal con dominio . Sea id el operador de identidad en X . Para cualquiera , deja ${\displaystyle L\colon D(L)\rightarrow X}$ ${\displaystyle D(L)\subseteq X}$ ${\displaystyle \lambda \in \mathbb {C} }$

${\displaystyle L_{\lambda }=L-\lambda \,\mathrm {id} .}$

Se dice que un número complejo es un valor regular si se cumplen las tres afirmaciones siguientes: ${\displaystyle \lambda }$

1. ${\displaystyle L_{\lambda }}$es inyectivo , es decir, la correstricción de a su imagen tiene un inverso llamado resolutivo ; ^[1] ${\displaystyle L_{\lambda }}$ ${\displaystyle R(\lambda ,L)=(L-\lambda \,\mathrm {id} )^{-1}}$
2. ${\displaystyle R(\lambda ,L)}$es un operador lineal acotado ;
3. ${\displaystyle R(\lambda ,L)}$se define en un subespacio denso de X , es decir, tiene un rango denso. ${\displaystyle L_{\lambda }}$

El conjunto resolutivo de L es el conjunto de todos los valores regulares de L :

${\displaystyle \rho (L)=\{\lambda \in \mathbb {C} \mid \lambda {\mbox{ is a regular value of }}L\}.}$

El espectro es el complemento del conjunto resolutivo.

${\displaystyle \sigma (L)=\mathbb {C} \setminus \rho (L),}$

y sujeto a una descomposición espectral mutuamente singular en el espectro puntual (cuando falla la condición 1), el espectro continuo (cuando falla la condición 2) y el espectro residual (cuando falla la condición 3).

Si es un operador cerrado , entonces también lo es cada uno , y la condición 3 puede reemplazarse exigiendo que sea sobreyectivo . ${\displaystyle L}$ ${\displaystyle L_{\lambda }}$ ${\displaystyle L_{\lambda }}$

Propiedades

• El conjunto resolutivo de un operador lineal acotado L es un conjunto abierto . ${\displaystyle \rho (L)\subseteq \mathbb {C} }$
• De manera más general, el conjunto resolutivo de un operador cerrado e ilimitado densamente definido es un conjunto abierto.

Notas

1. Reed y Simon 1980, pág. 188.

Referencias

• Caña, M.; Simón, B. (1980). Métodos de la física matemática moderna: Vol 1: Análisis funcional . Prensa académica. ISBN 978-0-12-585050-6.
• Renardy, Michael; Rogers, Robert C. (2004). Una introducción a las ecuaciones diferenciales parciales . Textos de Matemática Aplicada 13 (Segunda ed.). Nueva York: Springer-Verlag. xiv+434. ISBN 0-387-00444-0. MR 2028503 (Ver apartado 8.3)

enlaces externos

• Voitsekhovskii, MI (2001) [1994], "Conjunto solvente", Enciclopedia de Matemáticas , EMS Press

Ver también

• Formalismo solvente
• Espectro (análisis funcional)
• Descomposición del espectro (análisis funcional)