On the co-derivative of normal cone mappings to inequality systems (Q1026083)

The article deals with co-derivative formulae for normal cone mappings to smooth inequality systems. Both the regular (Linear Independence Constraint Qualification satisfied) and nonregular (Mangasarian-Fromovitz Constraint Qualification satisfied) cases are considered. A major part of the results relies on general transformation formulae previously obtained by Mordukhovich and Outrata. This allows to derive exact formulae for general smooth, regular as well as polyhedral, possibly nonregular systems. In the nonregular, nonpolyhedral case a generalized transformation formula due to Mordukhovich and Outrata applies. However, a major difficulty consists in checking a calmness condition of a certain multivalued mapping. The paper provides a translation of this condition in terms of much easier to verify constraint qualifications. The final section is devoted to the situation where the calmness condition is violated. A series of examples illustrates the use and comparison of the presented formulae.