Skip to main content
Log in

Examples of dual behaviour of Newton-type methods on optimization problems with degenerate constraints

  • Published:
Computational Optimization and Applications Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Andreani, R., Martínez, J.M.: On the solution of mathematical programming problems with equilibrium constraints. Math. Methods Oper. Res. 54, 345–358 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  2. 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)

  3. Anitescu, M.: On using the elastic mode in nonlinear programming approaches to mathematical programs with complementarity constraints. SIAM J. Optim. 15, 1203–1236 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  4. 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)

    Article  MATH  MathSciNet  Google Scholar 

  5. Arutyunov, A.V.: Perturbations of extremum problems with constraints and necessary optimality conditions. J. Sov. Math. 54, 1342–1400 (1991)

    Article  MATH  Google Scholar 

  6. Arutyunov, A.V.: Optimality Conditions: Abnormal and Degenerate Problems. Kluwer Academic, Dordrecht (2000)

    MATH  Google Scholar 

  7. 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)

    Article  MATH  MathSciNet  Google Scholar 

  8. 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)

    Article  MATH  MathSciNet  Google Scholar 

  9. Facchinei, F., Fischer, A., Kanzow, C.: On the accurate identification of active constraints. SIAM J. Optim. 9, 14–32 (1999)

    Article  MathSciNet  Google Scholar 

  10. Fischer, A.: Modified Wilson’s method for nonlinear programs with nonunique multipliers. Math. Oper. Res. 24, 699–727 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  11. Fischer, A.: Local behaviour of an iterative framework for generalized equations with nonisolated solutions. Math. Program. 94, 91–124 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  12. 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)

    Article  MATH  MathSciNet  Google Scholar 

  13. Hager, W.W.: Stabilized sequential quadratic programming. Comput. Optim. Appl. 12, 253–273 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  14. Hager, W.W., Gowda, M.S.: Stability in the presence of degeneracy and error estimation. Math. Program. 85, 181–192 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  15. Hock, W., Schittkowski, K.: Test Examples for Nonlinear Programming Codes. Lect. Notes in Econom. and Math. Systems, vol. 187. Springer, Berlin (1981)

    MATH  Google Scholar 

  16. Hu, X.M., Ralph, D.: Convergence of a penalty method for mathematical problems with complementarity constraints. J. Optim. Theory Appl. 123, 365–390 (2004)

    Article  MathSciNet  Google Scholar 

  17. Izmailov, A.F.: Lagrange methods for finding degenerate solutions of conditional extremum problems. Comput. Math. Math. Phys. 36, 423–429 (1996)

    MATH  MathSciNet  Google Scholar 

  18. Izmailov, A.F.: Mathematical programs with complementarity constraints: regularity, optimality conditions, and sensitivity. Comput. Math. Math. Phys. 44, 1145–1164 (2004)

    MathSciNet  Google Scholar 

  19. Izmailov, A.F.: On the analytical and numerical stability of critical Lagrange multipliers. Comput. Math. Math. Phys. 45, 930–946 (2005)

    MathSciNet  Google Scholar 

  20. Izmailov, A.F., Solodov, M.V.: Optimality conditions for irregular inequality-constrained problems. SIAM J. Control Optim. 40, 1280–1295 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  21. 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)

    Article  MATH  MathSciNet  Google Scholar 

  22. Izmailov, A.F., Solodov, M.V.: Complementarity constraint qualification via the theory of 2-regularity. SIAM J. Optim. 13, 368–385 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  23. 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)

    Article  MATH  MathSciNet  Google Scholar 

  24. Izmailov, A.F., Solodov, M.V.: Newton-type methods for optimization problems without constraint qualifications. SIAM J. Optim. 15, 210–228 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  25. 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

  26. 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)

  27. Leyffer, S.: MacMPEC: AMPL collection of MPECs. http://www-unix.mcs.anl.gov/leyffer/MacMPEC/

  28. 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)

  29. Luo, Z.-Q., Pang, J.-S., Ralph, D.: Mathematical Programs with Equilibrium Constraints. Cambridge University Press, Cambridge (1996)

    Google Scholar 

  30. Qi, L.: Convergence analysis of some algorithms for solving nonsmooth equations. Math. Oper. Res. 18, 227–244 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  31. Qi, L., Sun, J.: A nonsmooth version of Newton’s method. Math. Program. 58, 353–3674 (1993)

    Article  MathSciNet  Google Scholar 

  32. Robinson, S.M.: Generalized equations and their solutions, Part II: applications to nonlinear programming. Math. Program. Study 19, 200–221 (1982)

    MATH  Google Scholar 

  33. Scheel, H., Scholtes, S.: Mathematical programs with complementarity constraints: stationarity, optimality and sensitivity. Math. Oper. Res. 25, 1–22 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  34. Scholtes, S., Stöhr, M.: Exact penalization of mathematical programs with equilibrium constraints. SIAM J. Control Optim. 37, 617–652 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  35. 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)

    Article  MATH  MathSciNet  Google Scholar 

  36. Wright, S.J.: Superlinear convergence of a stabilized SQP method to a degenerate solution. Comput. Optim. Appl. 11, 253–275 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  37. Wright, S.J.: Modifying SQP for degenerate problems. SIAM J. Optim. 13, 470–497 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  38. Wright, S.J.: Constraint identification and algorithm stabilization for degenerate nonlinear programs. Math. Program. 95, 137–160 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  39. Wright, S.J.: An algorithm for degenerate nonlinear programming with rapid local convergence. SIAM J. Optim. 15, 673–696 (2005)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to M. V. Solodov.

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

Reprints 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

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10589-007-9074-4

Keywords

Navigation