Constrained local su¢ cient conditions
One must show thatφ 0 (x)K(x)=φ 0 (x 0 ) hλ,F(x)i γkF(x)k^2That is0 φ 0 (x 0 ) (φ 0 (x)+hλ,F(x)i) γkF(x)k^2 =
= φ 0 (x 0 ) L(x,λ) γkF(x)k^2.Using the condition on the existence of the second derivative and the
stationarity conditionL^0 x(x 0 ,λ)=0 and that asx 0 is a feasible solution
L(x 0 ,λ)=φ 0 (x 0 )one must show that0 (x x 0 )TL^00 xx(x 0 ,λ)(x x 0 )+okx x 0 k^2