Mathematical programs with vanishing constraints: critical point theory
- First Online:
- 197 Downloads
We study mathematical programs with vanishing constraints (MPVCs) from a topological point of view. We introduce the new concept of a T-stationary point for MPVC. Under the Linear Independence Constraint Qualification we derive an equivariant Morse Lemma at nondegenerate T-stationary points. Then, two basic theorems from Morse Theory (deformation theorem and cell-attachment theorem) are proved. Outside the T-stationary point set, continuous deformation of lower level sets can be performed. As a consequence, the topological data (such as the number of connected components) then remain invariant. However, when passing a T-stationary level, the topology of the lower level set changes via the attachment of a q-dimensional cell. The dimension q equals the stationary T-index of the (nondegenerate) T-stationary point. The stationary T-index depends on both the restricted Hessian of the Lagrangian and the number of bi-active vanishing constraints. Further, we prove that all T-stationary points are generically nondegenerate. The latter property is shown to be stable under C2-perturbations of the defining functions. Finally, some relations with other stationarity concepts, such as strong, weak, and M-stationarity, are discussed.
KeywordsMathematical programs with vanishing constraints MPVC T-stationarity Stationary T-index Morse theory Genericity
Unable to display preview. Download preview PDF.
- 3.Gibson C.G., Wirthmüller K., Du Plessis A.A., Looijenga E.J.N.: Topological Stability of Smooth Mappings (Lecture Notes in Mathematics). Springer, Berlin (1976)Google Scholar
- 4.Goresky M., MacPherson R.: Stratified Morse Theory. Springer, Berlin (1988)Google Scholar
- 5.Hirsch M.W.: Differential Topology. Springer, Berlin (1976)Google Scholar
- 10.Hoheisel, T., Kanzow, C., Schwartz, A.: Convergence of a local regularization approach for mathematical programs with complementarity or vanishing constraints. Optim. Methods Softw. (to appear)Google Scholar
- 13.Jongen H.Th., Meer K., Triesch E.: Optimization Theory. Kluwer, Dordrecht (2004)Google Scholar
- 14.Jongen H.Th., Jonker P., Twilt F.: Nonlinear Optimization in Finite Dimensions. Kluwer, Dordrecht (2000)Google Scholar
- 18.Kojima M.: Strongly stable stationary solutions in nonlinear programs. In: Robinson, S.M. (ed.) Analysis and Computation of Fixed Points, pp. 93–138. Academic Press, New York (1980)Google Scholar
- 19.Milnor, J.: Morse Theory. Annals of Mathematic Studies, vol. 51, pp. 1–153. Princeton University Press, Princeton, New Jersey (1963)Google Scholar
- 20.Spanier E.H.: Algebraic Topology. McGraw-Hill Book Company, New York (1966)Google Scholar