METRIC REGULARITY, TANGENT SETS, AND 2ND-ORDER OPTIMALITY CONDITIONS

A strong regularity theorem is proved, which shows that the usual constraint qualification conditions ensuring the regularity of the set-valued maps expressing feasibility in optimization problems, are in fact minimal assumptions. These results are then used to derive calculus rules for second-order tangent sets, allowing us in turn to obtain a second-order (Lagrangian) necessary condition for optimality which completes the usual one of positive semidefiniteness on the Hessian of the Lagrangian function. © 1990 Springer-Verlag New York Inc.