Palais-Smale-Kompaktheitsbedingung