In constrained nonlinear optimization, the squared slack variables can be used to transform a problem with inequality constraints into a problem containing only equality constraints. This reformulation is usually not considered in the modern literature, mainly because of possible numerical instabilities. However, this argument only concerns the development of algorithms, and nothing stops us in using the strategy to understand the theory behind these optimization problems. In this note, we clarify the relation between the Karush-Kuhn-Tucker points of the original and the reformulated problems. In particular, we stress that the second-order sufficient condition is the key to establish their equivalence.
Kyoto University / Nanzan University, May 2016.