Abstract
We first establish a relaxed version of Dines theorem associated to quadratic minimization problems with finitely many linear equality and a single (nonconvex) quadratic inequality constraints. The case of unbounded optimal valued is also discussed. Then, we characterize geometrically the strong duality, and some relationships with the conditions employed in Finsler theorem are established. Furthermore, necessary and sufficient optimality conditions with or without the Slater assumption are derived. Our results can be used to situations where none of the results appearing elsewhere are applicable. In addition, a revisited theorem due to Frank and Wolfe along with that due to Eaves is established for asymptotically linear sets.
Similar content being viewed by others
References
Auslender, A.: Existence of optimal solutions and duality results under weak conditions. Math. Program. Ser. A 88, 45–59 (2000)
Auslender, A., Teboulle, M.: Asymptotic Cones and Functions in Optimization and Variational Inequalities, Springer Monograph. Math. Springer, New York (2003)
Belousov, E.G., Klatte, D.: A Frank-Wolfe type theorem for convex polynomial programs. Comput. Optim. Appl. 22, 37–48 (2002)
Ben-Tal, A., Teboulle, M.: Hidden convexity in some nonconvex quadratically constrained quadratic programming. Math. Program. Ser. A 72, 51–63 (1996)
Blum, E., Oettli, W.: Direct proof of the existence theorem for quadratic programming. Oper. Res. 20, 165–167 (1972)
Bot, R.I., Wanka, G.: An alternative formulation for a new closed cone constraint qualification. Nonlinear Anal. 64, 1367–1381 (2006)
Bot, R.I., Csetnek, E.R., Moldovan, A.: Revisiting some duality theorems via the quasirelative interior in convex optimization. J. Optim. Theory Appl. 139, 67–84 (2008)
Bot, R.I., Csetnek, E.R., Wanka, G.: Regularity conditions via quasi-relative interior in convex programming. SIAM J. Optim. 19, 217–233 (2008)
Cao, J.-M.: Necessary and sufficient condition for local minima of a class of nonconvex quadratic programs. Math. Program. Ser. A. 69, 403–411 (1995)
Derinkuyu, K., Pinar, M.C.: On the S-procedure and some variants. Math. Meth. Oper. Res. 64, 55–77 (2006)
Dines, L.L.: On the mapping of quadratic forms. Bull. Am. Math. Soc. 47, 494–498 (1941)
Eaves, B.C.: On quadratic programming. Manag. Sci. Theory Ser. 17, 698–711 (1971)
Finsler, P.: Über das Vorkommen definiter und semi-definiter Formen in scharen quadratische Formen. Commentarii Matematici Helvetici 9, 188–192 (1937)
Flores-Bazán, F., Flores-Bazán, F., Vera, C.: A complete characterization of strong duality in nonconvex optimization with a single constraint. J. Glob. Optim. 53, 185–201 (2102)
Flores-Bazán, F., Hadjisavvas, N., Vera, C.: An optimal alternative theorem and applications to mathematical programming. J. Glob. Optim. 37, 229–243 (2007)
Frank, M., Wolfe, P.: An algorithm for quadratic programming. Naval Res. Logist. Q. 3, 95–110 (1956)
Frenk, J.B.G., Kassay, G.: On classes of generalized convex functions. Gordan-Farkas type theorems, and Lagrangian duality J. Optim. Theory Appl. 102, 315–343 (1999)
Gay, D.M.: Computing optimal locally constrained steps. SIAM J. Sci. Stat. Comput. 2, 186–197 (1981)
Hamburger, C.: Two extensions to Finsler’s recurring theorem. Appl. Math. Optim. 40, 183–190 (1999)
Horn, R.E., Johnson, C.R.: Matrix Analysis. Cambridge University Press, New york (1985)
Jeyakumar, V.: Constraint qualifications characterizing Lagrangian duality in convex optimization. J. Optim. Theory Appl. 136, 31–41 (2008)
Jeyakumar, V., Huy, N.Q., Li, Y.: Necessary and sufficient conditions for S-lemma and nonconvex quadratic optimization. Optim. Eng. 10, 491–503 (2009)
Jeyakumar, V., Lee, G.M.: Complete characterizations of stable Farkas’lemma and cone-convex programming duality. Math. Program. A 114, 335–347 (2008)
Jeyakumar, V., Lee, G.M., Li, G.Y.: Alternative theorems for quadratic inequality systems and global quadratic optimization. SIAM J. Optim. 20, 983–1001 (2009)
Jeyakumar, V., Li, G.Y.: Stable zero duality gaps in convex programming: complete dual characterizations with applications to semidefinite programs. J. Math. Anal. Appl. 360, 156–167 (2009)
Jeyakumar, V., Li, G.Y.: Regularized Lagrangian duality for linearly constrained quadratic optimization and the trust-region problems. J. Glob. Optim. 49, 1–14 (2011)
Luo, Z.-Q., Zhang, S.: On extensions of the Frank-Wolfe theorems. Comput. Optim. Appl. 13, 87–110 (1999)
Mangasarian, O.L.: Locally unique solutions of quadratic programs, linear and nonlinear complementarity problems. Math. Program. A 19, 200–212 (1980)
Matskani, E., Sidiropoulos, N.D., Luo, Z.-Q., Tassiulas, L.: Convex approximations techniques for joint multiuser downlink beamforming and admission control. IEEE Trans. Wirel. Commun. 7, 2682–2693 (2008)
Moré, J.J.: Generalizations of the trust region problem. Optim. Methods Softw. 2, 189–209 (1993)
Ozdaglar, A., Tseng, P.: Existence of global minima for constrained optimization. J. Optim. Theory Appl. 128, 523–546 (2006)
Pólik, I., Terlaky, T.: A survey of the S-Lemma. SIAM Rev. 49, 371–418 (2007)
Polyak, B.T.: Convexity of quadratic transformations and its use in control and optimization. J. Optim. Theory Appl. 99, 553–583 (1998)
Sidiropoulos, N.D., Davidson, T.N., Luo, Z.-Q.: Transmit beamforming for physical layer multicasting. IEEE Trans. Signal Process. 54, 2239–2251 (2006)
Sorensen, D.C.: Newton’s method with a model trust region modification. SIAM Numer. Anal. 19, 409–426 (1982)
Tseng, P.: Some convex programs without a duality gap. Math. Program. B 116, 553–578 (2009)
Yakubovich, V.A.: S-procedure in nonlinear control theory. Vestnik Leningrad. Univ. 1, 62–77 (1971). (in Russian)
Yakubovich, V.A.: S-procedure in nonlinear control theory. Vestnik Leningrad. Univ. 4, 73–93 (1977) (English translation)
Yan, Z.-Z., Guo, J.H.: Some equivalent results with Yakuvobich $S$-lemma. SIAM J. Control Optim. 48, 4474–4480 (2010)
Zalinescu, C.: Convex Analysis in General Vector Spaces. World Scientific, Singapore (2002)
Acknowledgments
The authors want to express their gratitude to both referees for their constructive criticism and helpful remarks, which have improved an earlier version of the present paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
This research, for the first author, was supported in part by CONICYT-Chile through FONDECYT 110-0667; 112-0980 and BASAL Projects, CMM, Universidad de Chile.
Rights and permissions
About this article
Cite this article
Flores-Bazán, F., Cárcamo, G. A geometric characterization of strong duality in nonconvex quadratic programming with linear and nonconvex quadratic constraints. Math. Program. 145, 263–290 (2014). https://doi.org/10.1007/s10107-013-0647-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10107-013-0647-y