Definition
Operator with compact resolvent
A closed operator whose resolvent is compact at one, equivalently every, resolvent point.
Definition
Let be a densely defined closed operator on a Banach space, and suppose its resolvent set is nonempty. The operator has compact resolvent if
is a compact operator for some . The resolvent identity then implies compactness for every , so the definition does not depend on the chosen resolvent point. Compact resolvent is stronger than closedness: it says that solving sends bounded sets of data to relatively compact sets in .
Compact domain embedding
Give the graph norm . When , has compact resolvent exactly when the inclusion
is compact. This reformulation often proves compactness through an embedding theorem rather than by constructing the resolvent explicitly.
Spectral consequences
Every point of the spectrum of a compact-resolvent operator is an isolated eigenvalue of finite algebraic multiplicity, and the spectrum has no finite accumulation point. The spectrum may be empty for a general non-self-adjoint unbounded operator. If it is infinite, its eigenvalues can accumulate only at infinity.
Self-adjoint case and examples
For a self-adjoint operator on a Hilbert space, compact resolvent is equivalent to compactness of . The spectral theorem then provides an orthonormal basis of eigenvectors, with eigenvalues of finite multiplicity whose absolute values tend to infinity. Elliptic differential operators on compact manifolds, subject to suitable elliptic boundary conditions when a boundary is present, are standard examples.