Para un operador lineal A en un espacio de Banach, el operador resolvente en λ ∈ C es R(λ;A) = (A - λ I)^{-1} definido en el conjunto resolvente donde A - λ I es invertible y la inversa es acotada. Proporciona una inversa acotada dependiente del parámetro fuera del espectro.

Principio

Codifica la dependencia de inversas acotadas respecto de un parámetro complejo; la estructura analítica del resolvente en λ captura propiedades espectrales y permite cálculos funcionales mediante integrales de contorno.

Demostración

Para una matriz A ∈ C^{n×n}, R(λ;A) = (A - λ I)^{-1} está definida para λ distintos de cualquier autovalor; sus entradas son funciones racionales de λ con polos en los autovalores.

Aplicación incorrecta

Desarrollar el resolvente como serie de Neumann fuera de su radio de convergencia o dentro del espectro produce expresiones divergentes o sin sentido.

Consecuencia

El resolvente es analítico en su dominio, sus polos corresponden a puntos espectrales aislados, y estimaciones del resolvente controlan semigrupos de evolución y la estabilidad en ecuaciones con operadores.

Inversión

En el espectro no existe un resolvente acotado; al aproximarse a puntos espectrales el resolvente suele diverger, invirtiendo la invertibilidad en fallo de inversa acotada.

Límite

Definido solo para λ en el conjunto resolvente (complemento del espectro) y requiere invertibilidad acotada; para operadores no acotados deben tratarse cuidadosamente dominio y clausura.

Tensión semántica

A veces se confunde con soluciones fundamentales tipo núcleo (Green) en EDPs; el resolvente es una inversa abstracta parametrizada por λ, no necesariamente un núcleo integral espacial salvo que exista estructura adicional.

Síntesis

El operador resolvente es la inversa acotada dependiente del parámetro (A - λ I)^{-1} definida fuera del espectro; su estructura analítica y de polos codifica información espectral y alimenta el cálculo funcional y estimaciones de estabilidad.