Description:
The paper presents a general primal space classification scheme of necessary and suffficient criteria for the error bound property incorporating the existing conditions. Several primal space derivative-like objects - slopes are used to characterize the error bound property of extended-real valued functions on metric sapces.
Description:
The paper presents a general primal space classification scheme of necessary and suffficient criteria for the error bound property incorporating the existing conditions. Several primal space derivative-like objects - slopes are used to characterize the error bound property of extended-real valued functions on metric sapces.
Description:
The paper is devoted to the development of a comprehensive calculus for directional limiting normal cones, subdifferentials and coderivatives in finite dimensions. This calculus encompasses the whole range of the standard generalized differential calculus for (non-directional) limiting notions and relies on very weak (non-restrictive) qualification conditions having also a directional character. The derived rules facilitate the application of tools exploiting the directional limiting notions to difficult problems of variational analysis including, for instance, various stability and sensitivity issues. This is illustrated by some selected applications in the last part of the paper.
Description:
The paper is devoted to the development of a comprehensive calculus for directional limiting normal cones, subdifferentials and coderivatives in finite dimensions. This calculus encompasses the whole range of the standard generalized differential calculus for (non-directional) limiting notions and relies on very weak (non-restrictive) qualification conditions having also a directional character. The derived rules facilitate the application of tools exploiting the directional limiting notions to difficult problems of variational analysis including, for instance, various stability and sensitivity issues. This is illustrated by some selected applications in the last part of the paper.
Description:
The paper presents complete characterizations of Lipschitzian full stability of locally optimal solutions to second-order cone programs (SOCPs) expressed entirely in terms of their initial data. These characterizations are obtained via appropriate versions of the quadratic growth and strong second-order sufficient conditions under the corresponding constraint qualifications. We also establish close relationships between full stability of local minimizers for SOCPs and strong regularity of the associated generalized equations at nondegenerate points. Our approach is mainly based on advanced tools of second-order variational analysis and generalized differentiation.
Description:
The paper presents complete characterizations of Lipschitzian full stability of locally optimal solutions to second-order cone programs (SOCPs) expressed entirely in terms of their initial data. These characterizations are obtained via appropriate versions of the quadratic growth and strong second-order sufficient conditions under the corresponding constraint qualifications. We also establish close relationships between full stability of local minimizers for SOCPs and strong regularity of the associated generalized equations at nondegenerate points. Our approach is mainly based on advanced tools of second-order variational analysis and generalized differentiation.
Description:
The paper concerns parameterized equilibria governed by generalized equations whose multivalued parts are modeled via regular normals to nonconvex conic constraints. Our main goal is to derive a precise pointwise second-order formula for calculating the graphical derivative of the solution maps to such generalized equations that involves Lagrange multipliers of the corresponding KKT systems and critical cone directions. Then we apply the obtained formula to characterizing a Lipschitzian stability notion for the solution maps that is known as isolated calmness.
Description:
The paper concerns parameterized equilibria governed by generalized equations whose multivalued parts are modeled via regular normals to nonconvex conic constraints. Our main goal is to derive a precise pointwise second-order formula for calculating the graphical derivative of the solution maps to such generalized equations that involves Lagrange multipliers of the corresponding KKT systems and critical cone directions. Then we apply the obtained formula to characterizing a Lipschitzian stability notion for the solution maps that is known as isolated calmness.
Description:
The paper concerns the computation of the limiting coderivative of the normal-cone mapping related to inequality constraints under weak qualification conditions. The obtained results are applied to verify the Aubin property of solution maps to a class of parameterized generalized equations.
Description:
We study a special case of an optimal control problem governed by a differential equation and a differential rate{independent variational inequality, both with given initial conditions. Under certain conditions, the variational inequality can be reformulated as a differential inclusion with discontinuous right-hand side. This inclusion is known as sweeping process. We perform a discretization scheme and prove the convergence of optimal solutions of the discretized problems to the optimal solution of the original problem. For the discretized problems we study the properties of the solution map and compute its coderivative. Employing an appropriate chain rule, this enables us to compute the subdifferential of the objective function and to apply a suitable optimization technique to solve the discretized problems. The investigated problem is used to model a situation arising in the area of queuing theory.
Description:
This paper deals with the computation of regular coderivatives of solution maps associated with a frequently arising class of generalized equations (GEs). The constraint sets are given by (not necessarily convex) inequalities, and we do not assume linear independence of gradients to active constraints. The achieved results enable us to state several versions of sharp necessary optimality conditions in optimization problems with equilibria governed by such GEs. The advantages are illustrated by means of examples.
Description:
For the classical nonlinear program, two new relaxations of the Mangasarian– Fromovitz constraint qualification are discussed and their relationship with some standard constraint qualifications is examined. In particular, we establish the equivalence of one of these constraint qualifications with the recently suggested by Andreani et al. Constant rank of the subspace component constraint qualification. As an application, we make use of this new constraint qualification in the local analysis of the solution map to a parameterized equilibrium problem, modeled by a generalized equation.
Description:
For the classical nonlinear program, two new relaxations of the Mangasarian– Fromovitz constraint qualification are discussed and their relationship with some standard constraint qualifications is examined. In particular, we establish the equivalence of one of these constraint qualifications with the recently suggested by Andreani et al. Constant rank of the subspace component constraint qualification. As an application, we make use of this new constraint qualification in the local analysis of the solution map to a parameterized equilibrium problem, modeled by a generalized equation.
Description:
We consider parameterized Mathematical Programs with Complementarity Constraints arising, e.g., in modeling of deregulated electricity markets. Using the standard rules of the generalized differential calculus we analyze qualitative stability of solutions to the respective M-stationarity conditions. In particular, we provide characterizations and criteria for the isolated calmness and the Aubin properties of the stationarity map. To this end, we introduce the second-order limiting coderivative of mappings and provide formulas for this notion and for the graphical derivative of the limiting coderivative in the case of the normal cone mapping to ℝn Funding ARC- Australian Research Council
Description:
The research of the first author was supported by the Austrian Science Fund (FWF) under grant P29190-N32. The research of the second author was supported by the Grant Agency of the Czech Republic, Project 17-04301S and the Australian Research Council, Project 10.13039/501100000923DP160100854.
Description:
The research of the first author was supported by the Austrian Science Fund (FWF) under grant P29190-N32. The research of the second author was supported by the Grant Agency of the Czech Republic, Project 17-04301S and the Australian Research Council, Project 10.13039/501100000923DP160100854.