Bibliography

(eng): The paper 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 one to derive exact formulae for general smooth, regular and polyhedral, possibly nonregular systems. In the nonregular, nonpolyhedral case a generalized transformation formula by 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.

(cze): Článek se zabývá koderivací normálově-kuželových zobrazení k hladkým systémům nerovnic. Uvažujeme regulární (při splněné podmínce regularity o lineární nezávislosti) i neregulární (při splněné Mangasarianově-Fromovitzově podmínce regularity) případy. Hlavní část výsledků je založena na obecné transformační formuli již dříve dokázané Mordukhovichem a Outratou. Ta umožňuje odvodit přesný vzorec pro obecné hladké, regulární a polyhedrální, případně neregulární systémy. Pro neregulární, nepolyhedrický případ lze obecný transformační vzorec Mordukhoviche a Outraty použít, nicméne hlavní obtíž pak leží v ověření podmínky klidnosti (calmness) určitého mnohoznačného zobrazení. V článku nabízíme ekvivalentní, mnohem snadněji ověřitelnou podmínku regularity. Záverečná kapitola je věnována situacím, kdy je podmínka klidnosti porušena. Použití a srovnání prezentovanách formulí ilustrujeme na řadě příkladů.