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.

Scaled-PAKKT sequential optimality condition for multiobjective problems and its application to an Augmented Lagrangian method

Cardinality-Constrained Multi-objective Optimization: Novel Optimality Conditions and Algorithms

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

Extended Newton Methods for Multiobjective Optimization: Majorizing Function Technique and Convergence Analysis

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

On Enhanced KKT Optimality Conditions for Smooth Nonlinear Optimization

An Asymptotic Weak Maximum Principle

Optimization on Pareto sets: On a theory of multi-objective optimization

A second-order sequential optimality condition for nonlinear second-order cone programming problems

KKT Optimality Conditions for Multiobjective Optimal Control Problems with Endpoint and Mixed Constraints: Application to Sustainable Energy Management

Local Pareto optimality conditions for vector quadratic fractional optimization problems

Nonconvex and Nonsmooth Optimization with Generalized Orthogonality Constraints: an Approximate Augmented Lagrangian Method

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

A sequential optimality condition for Mathematical Programs with Cardinality Constraints

Solving Multiobjective Optimization Problems with Inequality Constraint Using An Augmented Lagrangian Function

Lagrange Multiplier Local Necessary and Global Sufficiency Criteria for Some Non-Convex Programming Problems

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

Affordable mixed-integer Lagrangian methods: optimality conditions and convergence analysis

Variable Metric Method for Unconstrained Multiobjective Optimization Problems

A Method for Constrained Multiobjective Optimization Based on SQP Techniques