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.