Preservation of Prox-Regularity of Sets with Applications to Constrained Optimization

International audienceIn this paper, we first provide counterexamples showing that sublevels of prox-regular functions and levels of differentiable mappings with Lipschitz derivatives may fail to be prox-regular. Then, we prove the uniform prox-regularity of such sets under usual verifiable qualification conditions. The preservation of uniform prox-regularity of intersection and inverse image under usual qualification conditions is also established. Applications to constrained optimization problems are given