On the application of Newton-type methods to Fritz John optimality conditions

An approach to the numerical solution of optimization problems with equality constraints violating the traditional constraint qualification is developed. According to this approach, an (overdetermined) defining system is constructed based on the Fritz John optimality conditions and the Gauss–Newton method is applied to this system. The assumptions required for the implementability and local superlinear convergence of the resulting algorithm are completely characterized in terms of the original problem.