Abstract
Starting from one extension of the Hahn–Banach theorem, the Mazur–Orlicz theorem, and a not very restrictive concept of convexity, that arises naturally in minimax theory, infsup-convexity, we derive an equivalent version of that fundamental result for finite dimensional spaces, which is a sharp generalization of König’s Maximum theorem. It implies several optimal statements of the Lagrange multipliers, Karush/Kuhn–Tucker, and Fritz John type for nonlinear programs with an objective function subject to both equality and inequality constraints.
Similar content being viewed by others
References
Gordan, P.: Uber die Auflösung Linearer Gleichungen mit Reelen Coefficienten. Math. Ann. 6, 23–28 (1873)
Farkas, J.: Theorie der Einfachen Ungleichungen. J. Reine Angew. Math. 124, 1–27 (1902)
Giorgi, G., Guerraggio, A., Thierfelder, J.: Mathematics of Optimization: Smooth and Nonsmooth Case. Elsevier, Amsterdam (2004)
Giorgi, G., Kjeldsen, T.H. (eds.): Traces and Emergence of Nonlinear Programming. Birkhäuser/Springer Basel AG, Basel (2014)
Dax, A., Sreedharan, V.P.: Theorems of the alternative and duality. J. Optim. Theory Appl. 94, 561–590 (1997)
Jin, Y., Kalantari, B.: A procedure of Chvátal for testing feasibility in linear programming and matrix scaling. Linear Algebra Appl. 416, 795–798 (2006)
Lasserre, J.B.: Duality and a Farkas lemma for integer programs. In: Pearce, C., Hunt, E. (eds.) Structure and Applications. Springer Optimization and Its Applications, vol. 32, pp. 15–39. Springer, New York (2009)
Jeyakumar, V., Lee, G.M., Li, G.: Global optimality conditions for classes of non-convex multi-objective quadratic optimization problems. In: Burachik, R.S., Yao, J.-C. (eds.) Variational Analysis and Generalized Differentiation in Optimization and Control. Springer Optimization and its Applications, vol. 47, pp. 177–186. Springer, New York (2010)
Chuong, T.D.: L-invex-infine functions and applications. Nonlinear Anal. 75, 5044–5052 (2012)
Flores-Bazán, F., Flores-Bazán, F., Vera, C.: Gordan-type alternative theorems and vector optimization revisited. In: Ansari, Q.H., Yao, J.-C. (eds.) Recent Developments in Vector Optimization. Vector Optimization, vol. 1, pp. 29–59. Springer, Berlin (2012)
Doagooei, A.R.: Farkas-type theorems for positively homogeneous systems in ordered topological vector spaces. Nonlinear Anal. 75, 5541–5548 (2012)
Dinh, N., Jeyakumar, V.: Farkas’ lemma: three decades of generalizations for mathematical optimization. Top 22, 1–22 (2014)
Dinh, N., Mo, T.H.: Farkas lemma for convex systems revisited and applications to sublinear-convex optimization problems. Vietnam J. Math. 43, 297–321 (2015)
König, H.: Sublineare Funktionale. Arch. Math. 23, 500–508 (1972)
König, H.: Sublinear functionals and conical measures. Arch. Math. 77, 56–64 (2001)
Stefanescu, A.: A theorem of the alternative and a two-function minimax theorem. J. Appl. Math. 2004(2), 167–177 (2004)
Kassay, G., Kolumbán, J.: On a generalized sup-inf problem. J. Optim. Theory Appl. 91, 651–670 (1996)
Ruiz Galán, M.: An intrinsic notion of convexity for minimax. J. Convex Anal. 21, 1105–1139 (2014)
Ruiz Galán, M.: A sharp Lagrange multiplier theorem for nonlinear programs. J. Glob. Optim. doi:10.1007/s10898-015-0379-z
Ruiz Galán, M.: The Gordan theorem and its implications for minimax theory. J. Nonlinear Convex Anal. (to appear)
Fan, K.: Minimax theorems. Proc. Nat. Acad. Sci. USA 39, 42–47 (1953)
Mazur, S., Orlicz, W.: Sur les Espaces Métriques Linéaires II. Stud. Math. 13, 137–179 (1953)
Pták, V.: On a theorem of Mazur and Orlicz. Stud. Math. 15, 365–366 (1956)
König, H.: Über das von Neumannsche minimax-theorem. Arch. Math. 19, 482–487 (1968)
Simons, S.: Minimal sublinear functionals. Stud. Math. 37, 37–56 (1970)
Simons, S.: The Hahn–Banach–Lagrange theorem. Optimization 56, 149–169 (2007)
Grzybowski, J., Przybycień, H., Urbański, R.: On Simons’ Version of Hahn–Banach–Lagrange Theorem, vol. 102, pp. 99–104. Banach Center Publ., Warsaw (2014). (Polish Acad. Sci. Inst. Math.)
Dinh, N., Mo, T.H.: Generalizations of the Hahn–Banach theorem revisited. Taiwan. J. Math. 19, 1285–1304 (2015)
Uzawa, H.: The Kuhn–Tucker theorem in concave programming. In: Arrow, K.J., Hurwicz, L., Uzawa, H. (eds.) Studies in Linear and Nonlinear Programming, pp. 32–37. Stanford University Press, Stanford (1958)
Rockafellar, R.T.: Convex Analysis. Reprint of the 1970 original. Princeton Landmarks in Mathematics, Princeton University Press, Princeton, NJ (1997)
Arrow, K.J., Enthoven, A.C.: Quasi-concave programming. Econometrica 29, 779–800 (1961)
Hayasi, M., Komiya, H.: Perfect duality for convexlike programs. J. Optim. Theory Appl. 38, 179–189 (1982)
Illés, T., Kassay, G.: Theorems of the alternative and optimality conditions for convexlike and general convexlike programming. J. Optim. Theory Appl. 101, 243–257 (1999)
Zeng, R.: A general Gordan alternative theorem with weakened convexity and its application. Optimization 51, 709–717 (2002)
Suzuki, S., Kuroiwa, D.: Optimality conditions and the basic constraint qualification for quasiconvex programming. Nonlinear Anal. 74, 1279–1285 (2011)
Fang, D., Luo, X., Wang, X.: Strong and total Lagrange dualities for quasiconvex programming. J. Appl. Math. 2014, 453912 (2014). doi:10.1155/2014/453912
Ruiz Galán, M.: An concave-convex Ky Fan minimax inequality. Minimax Theory Appl. 1, 111–124 (2016)
Karush, W.: Minima of Functions of Several Variables with Inequalities as Side Conditions. MSc Thesis, Department of Mathematics, University of Chicago (1939)
Kuhn, H.W., Tucker, A.W.: Nonlinear programming. In: Proceedings of the Second Berkeley Symposium on Mathematical Statistics and Probability, 1950. University of California Press, Berkeley and Los Angeles (1951), pp. 481–492
Brezhnevaa, O., Tret’yakov, A.A.: An elementary proof of the Karush–Kuhn–Tucker theorem in normed linear spaces for problems with a finite number of inequality constraints. Optimization 60, 613–618 (2011)
John, F.: Extremum Problems with Inequalities as Subsidiary Conditions. Studies and Essays Presented to R. Courant on his 60th Birthday, 1948. Interscience Publishers, Inc., New York, pp. 187–204 (1948)
Ito, K., Kunisch, K.: Karush–Kuhn–Tucker conditions for nonsmooth mathematical programming problems in function spaces. SIAM J. Control Optim. 49, 2133–2154 (2011)
Flores-Bazán, F.: Fritz John necessary optimality conditions of the alternative-type. J. Optim. Theory Appl. 161, 807–818 (2014)
Giannessi, F., Mastroeni, G., Yao, J.C.: On maximum and variational principles via image space analysis. Positivity 16, 405–427 (2012)
Acknowledgments
The authors would like to thank the referees for their helpful suggestions. Research partially supported by Junta de Andalucía Grant FQM359.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Montiel López, P., Ruiz Galán, M. Nonlinear Programming via König’s Maximum Theorem. J Optim Theory Appl 170, 838–852 (2016). https://doi.org/10.1007/s10957-016-0959-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10957-016-0959-1
Keywords
- Nonlinear programming
- Hahn–Banach theorem
- Separation theorem
- Lagrange multipliers
- Karush/Kuhn–Tucker theorem
- Fritz John theorem
- Infsup-convexity