Document Type

Technical Report


This paper primarily concerns the study of parametric problems of infinite and semi-infinite programming, where functional constraints are given by systems of infinitely many linear inequalities indexed by an arbitrary set T, where decision variables run over Banach (infinite programming) or finite-dimensional (semi-infinite case) spaces, and where objectives are generally described by nonsmooth and nonconvex cost functions. The parameter space of admissible perturbations in such problems is formed by all bounded functions on T equipped with the standard supremum norm. Unless the index set T is finite, this space is intrinsically infinite-dimensional (nonreflexive and nonseparable) of the l(infinity)-type. By using advanced tools of variational analysis and generalized differentiation and largely exploiting underlying specific features of linear infinite constraints, we establish complete characterizations of robust Lipschitzian stability (with computing the exact bound of Lipschitzian moduli) for parametric maps of feasible solutions governed by linear infinite inequality systems and then derive verifiable necessary optimality conditions for the infinite and semi-infinite programs under consideration expressed in terms of their initial data. A crucial part of our analysis addresses the precise computation of coderivatives and their norms for infinite systems of parametric linear inequalities in general Banach spaces of decision variables. The results obtained are new in both frameworks of infinite and semi-infinite programming.

Number in Series



Applied Mathematics | Mathematics

AMS Subject Classification

90C34, 90C05, 49J52, 49J53, 65F22


This research was partially supported by grants MTM2005-08572-C03 (01-02) from MICINN (Spain) and FEDER (EU), and partially supported by the National Science Foundation (USA) under grant DMS-0603846.