Abstract:SIAM Journal on Optimization, Volume 34, Issue 2, Page 1515-1539, June 2024. The Fritz John (FJ) and Karush–Kuhn–Tucker (KKT) conditions are fundamental tools for characterizing minimizers and form the basis of almost all methods for constrained optimization. Since the seminal works of Fritz John, Karush, Kuhn, and Tucker, FJ/KKT conditions have been enhanced by adding extra necessary conditions. Such an extension was initially proposed by Hestenes in the 1970s and later extensively studied by Bertsekas and collaborators. In this work, we revisit enhanced KKT stationarity for standard (smooth) nonlinear programming. We argue that every KKT point satisfies the usual enhanced versions found in the literature. Therefore, enhanced KKT stationarity only concerns the Lagrange multipliers. We then analyze some properties of the corresponding multipliers under the quasi-normality constraint qualification (QNCQ), showing in particular that the set of so-called quasinormal multipliers is compact under QNCQ. Also, we report some consequences of introducing an extra abstract constraint to the problem. Given that enhanced FJ/KKT concepts are obtained by aggregating sequential conditions to FJ/KKT, we discuss the relevance of our findings with respect to the well-known sequential optimality conditions, which have been crucial in generalizing the global convergence of a well-established safeguarded augmented Lagrangian method. Finally, we apply our theory to mathematical programs with complementarity constraints and multiobjective problems, improving and elucidating previous results in the literature.

Efficiency Conditions for Nonsmooth Vector Equilibrium Problems with Constraints via Generalized Subdifferentials

Directional Compactness, Approximations and Efficiency Conditions for Nonsmooth Vector Equilibrium Problems with Constraints

First-order Optimality Conditions for Two Classes of Generalized Nonsmooth Semi-Infinite Optimization

A new problem qualification based on approximate KKT conditions for Lipschitzian optimization with application to bilevel programming

Necessary and sufficient optimality conditions for nonsmooth nonconvex generalized Nash equilibrium problems

Equivalent Sufficient Conditions for Global Optimality of Quadratically Constrained Quadratic Program

Dual Kuhn-Tucker necessary conditions for strict minima of order two for nonsmooth vector optimization problems with inequality and equality constraints

Optimality conditions at infinity for nonsmooth minimax programming

Sufficiency of the Kuhn-Tucker condition and dual theories for a class of nonsmooth optimization

Existence of Weak Pareto Efficient Solutions of a Vector Optimization Problem under a Closed Constraint Set

Optimality conditions for invex nonsmooth optimization problems with fuzzy objective functions

Second-order optimality conditions for general nonconvex optimization problems and variational analysis of disjunctive systems

The FM and BCQ Qualifications for Inequality Systems of Convex Functions in Normed Linear Spaces

Improperly Efficient Solutions in a Class of Vector Optimization Problems

A note on approximate Karush-Kuhn-Tucker conditions in locally Lipschitz multiobjective optimization

On Enhanced KKT Optimality Conditions for Smooth Nonlinear Optimization

Second-Order Optimality Conditions in Cone-Constrained Vector Optimization with Arbitrary Nondifferentiable Functions

Constraint Qualifications for Optimality Conditions and Total Lagrange Dualities in Convex Infinite Programming

Constraint Qualifications for Convex Inequality Systems with Applications in Constrained Optimization

Approximate Karush-Kuhn-Tucker conditions for nonsmooth bilevel optimization problems

Constraint Qualifications and Optimality Conditions for Nonsmooth Semidefinite Multiobjective Programming Problems with Mixed Constraints Using Convexificators