Definition

Let T:Dom(T)XXT:\operatorname{Dom}(T)\subseteq X\to X be a on a complex . Its resolvent set is

ρ(T)={λC:λIT is bijective and (λIT)1:XX is bounded}.\rho(T)=\{\lambda\in\mathbb C:\lambda I-T\text{ is bijective and } (\lambda I-T)^{-1}:X\to X\text{ is bounded}\}.

For λρ(T)\lambda\in\rho(T), the

R(λ,T)=(λIT)1R(\lambda,T)=(\lambda I-T)^{-1}

is the resolvent operator. Its range lies in Dom(T)\operatorname{Dom}(T), although it is viewed as an operator on XX. Because TT is closed, bijectivity already forces this inverse to be bounded by the closed graph theorem.

Basic properties

The resolvent set is open in C\mathbb C, and λR(λ,T)\lambda\mapsto R(\lambda,T) is operator-norm holomorphic there. If λ,μρ(T)\lambda,\mu\in\rho(T), then

R(λ,T)R(μ,T)=(μλ)R(λ,T)R(μ,T).R(\lambda,T)-R(\mu,T) =(\mu-\lambda)R(\lambda,T)R(\mu,T).

This gives a local Neumann-series expansion and explains both openness and holomorphy. The is the complement Cρ(T)\mathbb C\setminus\rho(T); for an unbounded operator that complement need not be bounded.

Domain and sign conventions

Some authors define the resolvent as (TλI)1(T-\lambda I)^{-1}, which differs from the convention above by a minus sign. Either convention gives the same set ρ(T)\rho(T). Boundedness here is measured in the ambient norm of XX, not only in the on Dom(T)\operatorname{Dom}(T). Closedness is what turns an algebraic inverse defined on all of XX into a bounded one Kato, Chapter III.

Example

For the multiplication operator (Tf)(x)=xf(x)(Tf)(x)=x f(x) on L2(R)L^2(\mathbb R), with maximal domain {f:xfL2(R)}\{f:xf\in L^2(\mathbb R)\}, every λR\lambda\notin\mathbb R lies in ρ(T)\rho(T). The resolvent multiplies by (λx)1(\lambda-x)^{-1}, whose is at most Imλ1|\operatorname{Im}\lambda|^{-1}. No real λ\lambda is in the resolvent set.

References
  1. Tosio Kato, Perturbation Theory for Linear Operators, 2nd ed., Springer, 1995. Publisher record. Relevant: Chapter III on closed operators, spectra, and resolvents.
  2. Konrad Schmüdgen, Unbounded Self-adjoint Operators on Hilbert Space, Springer, 2012. Publisher record. Relevant: Chapter 1, §3 on the spectrum of a closed operator.