Abstract
In this paper we, firstly, review the main known results on systems of an arbitrary (possibly infinite) number of weak linear inequalities posed in the Euclidean space \(\mathbb {R}^{n}\) (i.e., with n unknowns), and, secondly, show the potential power of this theoretical tool by developing in detail two significant applications, one to computational geometry: the Voronoi cells, and the other to mathematical analysis: approximate subdifferentials, recovering known results in both fields and proving new ones. In particular, this paper completes the existing theory of farthest Voronoi cells of infinite sets of sites by appealing to well-known results on linear semi-infinite systems.
Similar content being viewed by others
References
Anderson, E.J., Goberna, M.A., López, M. A.: Locally polyhedral linear inequality systems. Linear Algebra Appl. 270, 231–253 (1998)
Anderson, E.J., Goberna, M.A., López, M.A.: Simplex-like trajectories on quasi-polyhedral sets. Math. Oper. Res. 26, 147–162 (2001)
Anderson, E.J., Lewis, A.S.: An extension of the simplex algorithm for semi-infinite linear programming. Math. Program. Ser. A 44, 247–269 (1989)
Bean, N.G., Fackrell, M., Taylor, P.: Characterization of matrix-exponential distributions. Stoch. Models 24, 339–363 (2008)
Beer, G., Cánovas, M.J., López, M.A., Parra, J.: A uniform approach to Hölder calmness of subdifferentials. J. Convex Anal. 27, 165–178 (2020)
Ben-Tal, A., El Ghaoui, L., Nemirovski, A.: Robust Optimization. Princeton University Press, Princeton (2009)
Brøndsted, A., Rockafellar, R.T.: On the subdifferentiability of convex functions. Proc. Amer. Math. Soc. 16, 605–611 (1965)
Brosowski, B.: Parametric Semi-Infinite Optimization. Peter Lang, Frankfurt am Main (1982)
Brosowski, B.: Parametric semi-infinite linear programming I. Continuity of the feasible set and the optimal value. In: Fiacco, A.V. (ed.) Sensitivity, Stability and Parametric Analysis. Mathematical Programming Studies, vol. 21, pp 18–42. Springer, Berlin (1984)
Cánovas, M.J., Dontchev, A.L., López, M. A., Parra, J.: Metric regularity of semi-infinite constraint systems. Math. Program. 104B, 329–346 (2005)
Cánovas, M.J., Gómez-Senent, F.J., Parra, J.: Stability of systems of linear equations and inequalities: Distance to ill-posedness and metric regularity. Optimization 56, 1–24 (2007)
Cánovas, M.J., Gómez-Senent, F.J., Parra, J.: Regularity modulus of arbitrarily perturbed linear inequality systems. J. Math. Anal. Appl. 343, 315–327 (2008)
Cánovas, M.J., López, M.A., Parra, J.: Upper semicontinuity of the feasible set mapping for linear inequality systems. Set-Valued Anal. 10, 361–378 (2002)
Cánovas, M.J., López, M.A., Parra, J., Todorov, M.I.: Stability and well-posedness in linear semi-infinite programming. SIAM J. Optim. 10, 82–98 (1999)
Cánovas, M.J., López, M.A., Parra, J., Toledo, F.J.: Distance to ill-posedness and the consistency value of linear semi-infinite inequality systems. Math. Program. 103A, 95–126 (2005)
Cánovas, M.J., López, M.A., Parra, J., Toledo, F.J.: Sufficient conditions for total ill-posedness in linear semi-infinite optimization. Eur. J. Oper. Res. 181, 1126–1136 (2007)
Cánovas, M.J., López, M.A., Parra, J., Toledo, F.J.: Error bounds for the inverse feasible set mapping in linear semi-infinite optimization via a sensitivity dual approach. Optimization 56, 547–563 (2007)
Cánovas, M.J., López, M.A., Mordukhovich, B.S., Parra, J.: Variational analysis in semi-infinite and infinite programming, I: Stability of linear inequality systems of feasible solutions. SIAM J. Optim. 20, 1504–1526 (2009)
Charnes, A., Cooper, W.W., Kortanek, K.O.: Duality, Haar programs, and finite sequence spaces. Proc. Nat. Acad. Sci. USA 48, 783–786 (1962)
Charnes, A., Cooper, W.W., Kortanek, K.O.: Duality in semi-infinite programs and some works of Haar and Carathéodory. Manag. Sci. 9, 209–228 (1963)
Charnes, A., Cooper, W.W., Kortanek, K.O.: On representations of semi-infinite programs which have no duality gaps. Manag. Sci. 12, 113–121 (1965)
Chu, Y.C.: Generalization of some fundamental theorems on linear inequalities. Acta Math Sinica 16, 25–40 (1966)
Combettes, P.L.: The convex feasibility problem in image recovery. In: Hawkes, P (ed.) Advances in Imaging and Electron Physics, vol. 95, pp 155–270. Academic Press, New York (1996)
Coxeter, H.S.M. Regular Polytopes, 3rd edn. Dove, New York (1973)
Daniilidis, A., Goberna, M.A., López, M.A., Lucchetti, R.: Stability in linear optimization under perturbations of the left-hand side coefficients. Set-Valued Var. Anal. 23, 737–758 (2015)
Davila, C.E.: Signal denoising via quadratic semi-infinite programming. In: 2015 49th Asilomar Conference on Signals, Systems and Computers, pp 612–616. IEEE (2016)
Delaunay, B.: Sur la sphère vide: À la mémoire de Georges Voronoi (French). Izv. Akad. Nauk SSSR, Otdelenie Matematicheskih i Estestvennyh Nauk 7, 793–800 (1934)
Eckhardt, U.: Theorems on the dimension of convex sets. Linear Algebra Appl. 12, 63–76 (1975)
Eckhardt, U.: Representation of convex sets. In: Fiacco, A.V., Kortanek, K.O. (eds.) Extremal Methods and Systems Analysis. Lecture Notes in Economics and Mathematical Systems, vol. 174, pp 374–383. Springer, Berlin (1980)
Fajardo, M.D., López, M.A.: Some results on quasipolyhedral convexity. TOP 15, 103–113 (2007)
Fajardo, M.D., López, M.A., Puente, R.: Linear representations and quasipolyhedrality of a finite-valued convex function. Optimization 57, 215–237 (2008)
Fan, K.: On infinite systems of linear inequalities. J. Math. Anal. Appl. 21, 475–478 (1968)
Fang, S.-C., Wu, S.Y., Birbil, S.̧I.: Solving variational inequalities defined on a domain with infinitely many linear constraints. Comput. Optim. Appl. 37, 67–81 (2007)
Ferrer, A., Goberna, M.A., González-Gutiérrez, E., Todorov, M.I.: A comparative note on the relaxation algorithms for the linear semi-infinite feasibility problem. Ann Oper. Res. 258, 587–612 (2017)
Fischer, T.: Contributions to semi-infinite linear optimization. Meth. Verf. Math. Phys. 27, 175–199 (1983)
Goberna, M.A., González, E., Martínez-Legaz, J.E., Todorov, M.I.: Motzkin decomposition of closed convex sets. J. Math. Anal. Appl. 364, 209–221 (2010)
Goberna, M.A., Hernández, L., Todorov, M.I.: Separating the solution sets of analytical and polynomial systems. Top 13, 321–329 (2005)
Goberna, M.A., Jeyakumar, V., Li, G., Vicente-Pérez, J.: Robust solutions of multiobjective linear semi-infinite programs under constraint data uncertainty. SIAM J. Optim. 24, 1402–1419 (2014)
Goberna, M.A., Jeyakumar, V., Li, G., Vicente-Pérez, J.: Robust solutions to multi-objective linear programs with uncertain data. Eur. J. Oper. Res. 242, 730–743 (2015)
Goberna, M.A., Jornet, V., Puente, R., Todorov, M.I.: Analytical linear inequality systems and optimization. J. Optim. Theory Appl. 103, 95–119 (1999)
Goberna, M.A., Jornet, V., Rodríguez, M.M.L.: On the characterization of some families of closed convex sets. Beitr. Algebra Geom. 43, 153–169 (2002)
Goberna, M.A., Larriqueta, M., Vera de Serio, V.N.: On the stability of the boundary of the feasible set in linear optimization. Set-Valued Anal. 11, 203–223 (2003)
Goberna, M.A., Larriqueta, M., Vera de Serio, V.N.: On the stability of the extreme point set in linear optimization. SIAM J. Optim. 15, 1155–1169 (2005)
Goberna, M.A., López, M.A.: A theory of linear inequality systems. Linear Algebra Appl. 106, 77–115 (1988)
Goberna, M.A., López, M.A.: Topological stability of linear semi-infinite inequality systems. J. Optim. Theory Appl. 89, 227–236 (1996)
Goberna, M.A., López, M.A.: Linear Semi-Infinite Optimization. J. Wiley, Chichester (1998)
Goberna, M.A., López, M.A.: Recent contributions to linear semi-infinite optimization: An update. Ann. Oper. Res. 271, 237–278 (2018)
Goberna, M.A., López, M.A., Pastor, J.T.: Farkas–Minkowski systems in semi-infinite programming. Appl. Math. Optim. 7, 295–308 (1981)
Goberna, M.A., López, M.A., Todorov, M.I.: Stability theory for linear inequality systems. SIAM J. Matrix Anal. Appl. 17, 730–743 (1996)
Goberna, M.A., López, M.A., Todorov, M.I.: Stability theory for linear inequality systems II: Upper semicontinuity of the solution set mapping. SIAM J. Optim. 7, 1138–1151 (1997)
Goberna, M.A., López, M.A., Todorov, M.I.: On the stability of the feasible set in linear optimization. Set-Valued Anal. 9, 75–99 (2001)
Goberna, M.A., López, M.A., Volle, M.: Primal attainment in convex infinite optimization duality. J. Convex Anal. 21, 1043–1064 (2014)
Goberna, M.A., Martínez-Legaz, J.E., Todorov, M.I.: On Motzkin decomposable sets and functions. J. Math. Anal. Appl. 372, 525–537 (2010)
Goberna, M.A., Martínez-Legaz, J.E., Todorov, M.I.: On farthest Voronoi cells. Linear Algebra Appl. 583, 306–322 (2019)
Goberna, M.A., Martínez-Legaz, J.E., Vera de Serio, V.N.: The Voronoi inverse mapping. Linear Algebra Appl. 504, 248–271 (2016)
Goberna, M.A., Rodríguez, M.M.L., Vera de Serio, V.N.: Voronoi cells via linear inequality systems. Linear Algebra Appl. 436, 2169–2186 (2012)
Goberna, M.A., Vera de Serio, V.N.: On the stability of Voronoi cells. Top 20, 411–425 (2012)
Hiriart-Urruty, J.-B.: Conditions for global optimality II. J. Glob. Optim. 13, 349–367 (1998)
Hiriart-Urruty, J.-B., Lemaréchal, C.: Convex Analysis and Minimization Algorithms I. Fundamentals. Springer, Berlin (1993)
Jaume, D.A., Puente, R.: Representability of convex sets by analytical linear inequality systems. Linear Algebra Appl. 380, 135–150 (2004)
Larriqueta, M., Vera de Serio, V.N.: On metric regularity and the boundary of the feasible set in linear optimization. Set-Valued Var. Anal. 22, 1–17 (2014)
López, M. A., Vera de Serio, V.N.: Stability of the feasible set mapping in convex semi-infinite programming. In: Goberna, M.A., López, M.A. (eds.) Semi-Infinite Programming: Recent Advances. Nonconvex Optimization and its Applications, vol. 57, pp 101–120. Kluwer Academic Publishers, Dordrecht (2001)
Moreau, J.-J.: Fonctions sous-différentiables (French). Note aux C.R. Acad. Sci. Paris 257, 4117–4119 (1963)
Prékopa, A., Ninh, A., Alexe, G.: On the relationship between the discrete and continuous bounding moment problems and their numerical solutions. Ann. Oper. Res. 238, 521–575 (2016)
Preparata, F.P., Shamos, M.I.: Computational Geometry: An Introduction. Springer, New York (1985)
Puente, R.: Cyclic convex bodies and optimization moment problems. Linear Algebra Appl. 426, 596–609 (2007)
Puente, R., Vera de Serio, V.N.: Locally Farkas–Minkowski linear inequality systems. Top 7, 103–121 (1999)
Rockafellar, R.T.: Convex Functions and Dual Extremum Problems. Ph.D. thesis, Harvard University (1963)
Rockafellar, R.T.: Convex Analysis. Princeton U.P., Princeton (1970)
Voigt, I., Weis, S.: Polyhedral Voronoi cells. Beitr. Algebra Geom. 51, 587–598 (2010)
Acknowledgements
The authors wish to thank the two anonymous referees for their careful reading of the manuscript and for their valuable comments.
This research was partially supported by PGC2018-097960-B-C22 of the Ministerio de Ciencia, Innovación y Universidades (MCIU), the Agencia Estatal de Investigación (AEI), and the European Regional Development Fund (ERDF); by CONICET, Argentina, Res D No 4198/17; and by Universidad Nacional de Cuyo, Secretaría de Investigación, Internacionales y Posgrado (SIIP), Res. 3922/19-R, Cod.06/D227, Argentina.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
To Marco López in occasion of his 70th anniversary.
Rights and permissions
About this article
Cite this article
Goberna, M.A., Ridolfi, A.B. & Vera de Serio, V.N. Selected Applications of Linear Semi-Infinite Systems Theory. Vietnam J. Math. 48, 439–470 (2020). https://doi.org/10.1007/s10013-020-00415-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10013-020-00415-1