Definition
Resolvent set of a closed operator
The scalars for which a closed operator has an everywhere-defined bounded inverse.
Definition
Let be a closed linear operator on a complex Banach space. Its resolvent set is
For , the bounded linear operator
is the resolvent operator. Its range lies in , although it is viewed as an operator on . Because is closed, bijectivity already forces this inverse to be bounded by the closed graph theorem.
Basic properties
The resolvent set is open in , and is operator-norm holomorphic there. If , then
This resolvent identity gives a local Neumann-series expansion and explains both openness and holomorphy. The spectrum of is the complement ; for an unbounded operator that complement need not be bounded.
Domain and sign conventions
Some authors define the resolvent as , which differs from the convention above by a minus sign. Either convention gives the same set . Boundedness here is measured in the ambient norm of , not only in the graph norm on . Closedness is what turns an algebraic inverse defined on all of into a bounded one Kato, Chapter III.
Example
For the multiplication operator on , with maximal domain , every lies in . The resolvent multiplies by , whose essential supremum is at most . No real is in the resolvent set.
References
- Tosio Kato, Perturbation Theory for Linear Operators, 2nd ed., Springer, 1995. Publisher record. Relevant: Chapter III on closed operators, spectra, and resolvents.
- 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.