Higher-order optimality conditions for strict local minima

In this work, we study a nonsmooth optimization problem with generalized inequality constraints and an arbitrary set constraint. We present necessary conditions for a point to be a strict local minimizer of order k in terms of higher-order (upper and lower) Studniarski derivatives and the contingent cone to the constraint set. In the same line, when the initial space is finite dimensional, we develop sufficient optimality conditions. We also provide sufficient conditions for minimizers of order k using the lower Studniarski derivative of the Lagrangian function. Particular interest is put for minimizers of order two, using now a special second order derivative which leads to the Frechet derivative in the differentiable case.