Abstract
We discuss possible scenarios of behaviour of the dual part of sequences generated by primal-dual Newton-type methods when applied to optimization problems with nonunique multipliers associated to a solution. Those scenarios are: (a) failure of convergence of the dual sequence; (b) convergence to a so-called critical multiplier (which, in particular, violates some second-order sufficient conditions for optimality), the latter appearing to be a typical scenario when critical multipliers exist; (c) convergence to a noncritical multiplier. The case of mathematical programs with complementarity constraints is also discussed. We illustrate those scenarios with examples, and discuss consequences for the speed of convergence. We also put together a collection of examples of optimization problems with constraints violating some standard constraint qualifications, intended for preliminary testing of existing algorithms on degenerate problems, or for developing special new algorithms designed to deal with constraints degeneracy.
Similar content being viewed by others
References
Andreani, R., Martínez, J.M.: On the solution of mathematical programming problems with equilibrium constraints. Math. Methods Oper. Res. 54, 345–358 (2001)
Anitescu, M.: Nonlinear programs with unbounded Lagrange multiplier sets. Preprint ANL/MCS-P796-0200, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL (2000)
Anitescu, M.: On using the elastic mode in nonlinear programming approaches to mathematical programs with complementarity constraints. SIAM J. Optim. 15, 1203–1236 (2005)
Anitescu, M., Tseng, P., Wright, S.J.: Elastic-mode algorithms for mathematical programs with equilibrium constraints: global convergence and stationarity properties. Math. Program. 110, 337–371 (2007)
Arutyunov, A.V.: Perturbations of extremum problems with constraints and necessary optimality conditions. J. Sov. Math. 54, 1342–1400 (1991)
Arutyunov, A.V.: Optimality Conditions: Abnormal and Degenerate Problems. Kluwer Academic, Dordrecht (2000)
Baccari, A., Trad, A.: On the classical necessary second-order optimality conditions in the presence of equality and inequality constraints. SIAM J. Optim. 15, 394–408 (2004)
De Luca, T., Facchinei, F., Kanzow, C.: A theoretical and numerical comparison of some semismooth algorithms for complementarity problems. Comput. Optim. Appl. 16, 173–205 (2000)
Facchinei, F., Fischer, A., Kanzow, C.: On the accurate identification of active constraints. SIAM J. Optim. 9, 14–32 (1999)
Fischer, A.: Modified Wilson’s method for nonlinear programs with nonunique multipliers. Math. Oper. Res. 24, 699–727 (1999)
Fischer, A.: Local behaviour of an iterative framework for generalized equations with nonisolated solutions. Math. Program. 94, 91–124 (2002)
Fletcher, R., Leyffer, S., Ralph, D., Scholtes, S.: Local convergence of SQP methods for mathematical programs with equilibrium constraints. SIAM J. Optim. 17, 259–286 (2006)
Hager, W.W.: Stabilized sequential quadratic programming. Comput. Optim. Appl. 12, 253–273 (1999)
Hager, W.W., Gowda, M.S.: Stability in the presence of degeneracy and error estimation. Math. Program. 85, 181–192 (1999)
Hock, W., Schittkowski, K.: Test Examples for Nonlinear Programming Codes. Lect. Notes in Econom. and Math. Systems, vol. 187. Springer, Berlin (1981)
Hu, X.M., Ralph, D.: Convergence of a penalty method for mathematical problems with complementarity constraints. J. Optim. Theory Appl. 123, 365–390 (2004)
Izmailov, A.F.: Lagrange methods for finding degenerate solutions of conditional extremum problems. Comput. Math. Math. Phys. 36, 423–429 (1996)
Izmailov, A.F.: Mathematical programs with complementarity constraints: regularity, optimality conditions, and sensitivity. Comput. Math. Math. Phys. 44, 1145–1164 (2004)
Izmailov, A.F.: On the analytical and numerical stability of critical Lagrange multipliers. Comput. Math. Math. Phys. 45, 930–946 (2005)
Izmailov, A.F., Solodov, M.V.: Optimality conditions for irregular inequality-constrained problems. SIAM J. Control Optim. 40, 1280–1295 (2001)
Izmailov, A.F., Solodov, M.V.: The theory of 2-regularity for mappings with Lipschitzian derivatives and its applications to optimality conditions. Math. Oper. Res. 27, 614–635 (2002)
Izmailov, A.F., Solodov, M.V.: Complementarity constraint qualification via the theory of 2-regularity. SIAM J. Optim. 13, 368–385 (2002)
Izmailov, A.F., Solodov, M.V.: Karush-Kuhn-Tucker systems: regularity conditions, error bounds and a class of Newton-type methods. Math. Program. 95, 631–650 (2003)
Izmailov, A.F., Solodov, M.V.: Newton-type methods for optimization problems without constraint qualifications. SIAM J. Optim. 15, 210–228 (2004)
Izmailov, A.F., Solodov, M.V.: On attraction of Newton-type iterates to multipliers violating second-order sufficiency conditions. Math. Program., DOI 10.1007/s10107-007-0158-9. Available at http://www.impa.br~optim/solodov.html
Jiang, H., Ralph, D.: QPECgen, a MATLAB generator for mathematical programs with quadratic objectives and affine variational inequality constraints. Techn. Rept., Univ. Melbourne, Dept. Math. (1997)
Leyffer, S.: MacMPEC: AMPL collection of MPECs. http://www-unix.mcs.anl.gov/leyffer/MacMPEC/
Li, D.-H., Qi, L.: A stabilized SQP method via linear equations. Applied Mathematics Technical Report AMR00/5, The University of New South Wales (2000)
Luo, Z.-Q., Pang, J.-S., Ralph, D.: Mathematical Programs with Equilibrium Constraints. Cambridge University Press, Cambridge (1996)
Qi, L.: Convergence analysis of some algorithms for solving nonsmooth equations. Math. Oper. Res. 18, 227–244 (1993)
Qi, L., Sun, J.: A nonsmooth version of Newton’s method. Math. Program. 58, 353–3674 (1993)
Robinson, S.M.: Generalized equations and their solutions, Part II: applications to nonlinear programming. Math. Program. Study 19, 200–221 (1982)
Scheel, H., Scholtes, S.: Mathematical programs with complementarity constraints: stationarity, optimality and sensitivity. Math. Oper. Res. 25, 1–22 (2000)
Scholtes, S., Stöhr, M.: Exact penalization of mathematical programs with equilibrium constraints. SIAM J. Control Optim. 37, 617–652 (1999)
Scholtes, S., Stöhr, M.: How stringent is the linear independence assumption for mathematical programs with complementarity constraints?. Math. Oper. Res. 26, 851–863 (2001)
Wright, S.J.: Superlinear convergence of a stabilized SQP method to a degenerate solution. Comput. Optim. Appl. 11, 253–275 (1998)
Wright, S.J.: Modifying SQP for degenerate problems. SIAM J. Optim. 13, 470–497 (2002)
Wright, S.J.: Constraint identification and algorithm stabilization for degenerate nonlinear programs. Math. Program. 95, 137–160 (2003)
Wright, S.J.: An algorithm for degenerate nonlinear programming with rapid local convergence. SIAM J. Optim. 15, 673–696 (2005)
Author information
Authors and Affiliations
Corresponding author
Additional information
Research of the first author is supported by the Russian Foundation for Basic Research Grants 07-01-00270, 07-01-00416 and 07-01-90102-Mong, and by RF President’s Grant NS-9344.2006.1 for the support of leading scientific schools. The second author is supported in part by CNPq Grants 301508/2005-4, 490200/2005-2 and 550317/2005-8, by PRONEX–Optimization, and by FAPERJ Grant E-26/151.942/2004.
Rights and permissions
About this article
Cite this article
Izmailov, A.F., Solodov, M.V. Examples of dual behaviour of Newton-type methods on optimization problems with degenerate constraints. Comput Optim Appl 42, 231–264 (2009). https://doi.org/10.1007/s10589-007-9074-4
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10589-007-9074-4