An implicit-function theorem for \(C^{0,1}\)-equations and parametric \(C^{1,1}\)-optimization (Q1176158)

The article deals with locally Lipschitz functions \(\mathcal F\) from \({\mathbb{R}}^{n+m}\) into \({\mathbb{R}}^ n\). A set-valued directional derivative of \(\mathcal F\) is defined as \textit{L. Thibault's} limit set [Ann. Mat. Pura Appl., IV. Ser. 125, 157-192 (1980; Zbl 0486.46037)]. By means of it an implicit function theorem is proved and a Lipschitzian solution function is completely characterized. Thereafter a special parametric optimization problem (for which the set-valued directional derivatives of both an objective function and functions from a description of a feasible set exist and are locally Lipschitz) is considered. M. Kojima's characterization of critical points for this problem is applied and the implicit function theorem is specified to this particular case. As a result the author obtains a complete characterization of the regular case, second order formulas for the marginal function, and some insight into the strict complementarity.