compact resolvent, Schrodinger operators