A closed densely defined operator has compact resolvent when is compact at one, equivalently every, resolvent point. Its spectrum consists only of isolated eigenvalues of finite multiplicity, with possible accumulation only at infinity.
New to topics? Read the docs here!