Abstract
A new elementary proof of Farkas’ theorem is proposed. The proof is based on the consideration of the always solvable problem of minimizing the residual of a system of linear equations/inequalities and the necessary and sufficient conditions for the minimum of this problem. Minimizing the residuals of an inconsistent system makes it easy to calculate the normal solution to a consistent system. The connection between Farkas’ theorem and linear and quadratic programming is shown. A new version of the theorem on alternatives is proposed.
This work was supported in part by the Russian Foundation for Basic Research, project no. 17-07-00510.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bartl, D.: A note on the short algebraic proof of Farkas’ lemma. Linear and Multilinear Algebra 60(8), 897–901 (2012)
Broyden, C.G.: On theorems of the alternative. Optim. Methods Softw. 16(1–4), 101–111 (2001)
Dax, A.: An elementary proof of Farkas’ lemma. SIAM Rev. 39, 503–507 (1997)
Evtushenko, Y.G., Tret’yakov, A.A., Tyrtyshnikov, E.E.: New approach to Farkas’ theorem of the alternative. Dokl. Math. 99(2), 208–210 (2019)
Giannessi, F.: Theorems of the alternative and optimization. In: Floudas, C.A., Pardalos, P.M. (eds.) Encyclopedia of Optimization. Springer, Boston (2001). https://doi.org/10.1007/0-306-48332-7_521
Jaćmović, M.: Farkas’ lemma of alternative. Teach. Math. 25(27), 77–86 (2011)
Golikov, A.I., Evtushenko, Y.G.: Theorems of the alternative and their applications in numerical methods. Comput. Maths. Math. Phys. 43(3), 354–375 (2003)
Evtushenko, Y.G., Golikov, A.I.: New perspective on the theorems of alternative. In: Di Pillo, G., Murli, A. (eds.) High Performance Algorithms and Software for Nonlinear Optimization. APOP, vol. 82, pp. 227–241. Springer, Boston, MA (2003). https://doi.org/10.1007/978-1-4613-0241-4_10
Forsgren, A., Wright, M.: An elementary proof of linear programming optimality conditions without using Farkas’ lemma (2014). arXiv:1407.1240
Mangasarian, O.L.: Nonlinear Programming. SIAM, Philadelphia (1994)
Frank, M., Wolfe, P.: An algorithm for quadratic programming. Naval. Res. Log. Quart. 3, 95–110 (1956)
Eremin, I.I.: On quadratic problems and fully quadratic problems in convex programming. Izv. Vyssh. Uchebn. Zaved., Mat. 42(12), 22–28 (1998)
Morrison, D.: Optimization by least squares. SIAM J. Numer. Anal. 5(l), 83–88 (1968)
Golikov, A.I., Evtushenko, Y.G.: Two parametric families of LP problems and their applications. Proc. Steklov Inst. Math. Supp. l, S52–S66 (2002)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Evtushenko, Y., Golikov, A. (2020). Theorems of Alternative and Optimization. In: Olenev, N., Evtushenko, Y., Khachay, M., Malkova, V. (eds) Optimization and Applications. OPTIMA 2020. Lecture Notes in Computer Science(), vol 12422. Springer, Cham. https://doi.org/10.1007/978-3-030-62867-3_7
Download citation
DOI: https://doi.org/10.1007/978-3-030-62867-3_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-62866-6
Online ISBN: 978-3-030-62867-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)