Compact resolvent