A Nonclassical Algebraic Sufficient Condition for Optimization

From MaRDI portal





In continuation of his papers [Optimization 39, No. 3, 253-274 (1997; Zbl 0923.49016) and C. R. Acad. Sci., Paris, Sér. I, Math. 325, No. 8, 831-833 (1977; Zbl 0910.46033)] an algebraic characterization of second order is given to decide whether an equality constrained minimum problem in Banach spaces has a minimum at a critical point \(a\). The main idea is to characterize the tangential cone of the equality constraints \(W=f^{-1}(f(a)) \) by using spectral properties of the second derivative \(f(a) \) of the constraints as bilinear mapping from the kernel of the first derivative onto the range of the first derivative at the considered critical point \(a\). Complicated spectral criteria in terms of determinants ensure that the tangential cone is equal to the isotropic cone of \(f'(a)\) related to the kernel of \(f'(a) \). If \(f'(a) \) is Fredholm then the second order necessary and sufficient conditions have the well-known forms. If \(f'(a)\) is not Fredholm then the first and second order necessary conditions use the second and third derivative of \(f\) at \(a\), respectively. The stated assertions are illustrated at examples in finite dimensional spaces.











This page was built for publication: A Nonclassical Algebraic Sufficient Condition for Optimization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4944068)