Constructive generalization of classical sufficient second-order optimality conditions

In this paper, we consider new sufficient conditions of optimality of the second-order for equality constrained optimization problems, which essentially enhance and complement the classical ones and are constructive. For example, they establish equivalence between sufficient conditions in the equality constrained optimization problems and sufficient conditions for optimality in equality constrained problems by reducing the latter to equalities with the help of introducing slack variables. Previously, when using the classical sufficient optimality conditions, this fact was not considered to be true, that is, the existing classical sufficient conditions were not complete, so the proposed optimality conditions complement the classical ones and close the question of the equivalence of the problems with inequalities and the problems with equalities when reducing the first to the second by introducing slack variables.