selfadjoint operators, compact resolvent, discrete spectrum, essential spectrum