49J52 Nonsmooth analysis [See also 46G05, 58C50, 90C56]
We derive formulae for the second-order subdifferential of polyhedral norms. These formulae are fully explicit in terms of initial data. In a first step we rely on the explicit formula for the coderivative of normal cone mapping to polyhedra. Though being explicit, this formula is quite involved and difficult to apply. Therefore, we derive simple formulae for the 1-norm and - making use of a recently obtained formula for the second-order subdifferential of the maximum function - for the maximum norm.
We derive a-priori estimates on the length of the primal-dual path that results from a Moreau-Yosida approximation of the feasible set for state constrained optimal control problems. These bounds depend on the regularity of the state and the dimension of the problem. Comparison with numerical results indicates that these bounds are sharp and are attained for the case of a single active point.
This paper concerns second-order analysis for a remarkable class of variational systems in finite-dimensional and infinite-dimensional spaces, which is particularly important for the study of optimization and equilibrium problems with equilibrium constraints. Systems of this type are described via variational inequalities over polyhedral convex sets and allow us to provide a comprehensive local analysis by using appropriate generalized differentiation of the normal cone mappings for such sets. In this paper we efficiently compute the required coderivatives of the normal cone mappings exclusively via the initial data of polyhedral sets in reflexive Banach spaces. This provides the main tools of second-order variational analysis allowing us, in particular, to derive necessary and sufficient conditions for robust Lipschitzian stability of solution maps to parameterized variational inequalities with evaluating the exact bound of the corresponding Lipschitzian moduli. The efficient coderivative calculations and characterizations of robust stability obtained in this paper are the first results in the literature for the problems under consideration in infinite-dimensional spaces. Most of them are also new in finite dimensions.