On Quantitative Stability in Optimization and Optimal Control

We study two continuity concepts for set-valued maps that play central roles in quantitative stability analysis of optimization problems: Aubin continuity and Lipschitzian localization. We show that various inverse function theorems involving these concepts can be deduced from a single general result on existence of solutions to an inclusion in metric spaces. As applications, we analyze the stability with respect to canonical perturbations of a mathematical program in a Hilbert space and an optimal control problem with inequality control constraints. For stationary points of these problems, Aubin continuity and Lipschitzian localization coincide; moreover, both properties are equivalent to surjectivity of the map of the gradients of the active constraints combined with a strong second-order sufficient optimality condition.