Description:
We revisit the decoupling approach widely used (often intuitively) in nonlinear analysis and optimization and initially formalized about a quarter of a century ago by Borwein & Zhu, Borwein & Ioffe and Lassonde. It allows one to streamline proofs of necessary optimality conditions and calculus relations, unify and simplify the respective statements, clarify and in many cases weaken the assumptions. In this paper we study weaker concepts of quasiuniform infimum, quasiuniform lower semicontinuity and quasiuniform minimum, putting them into the context of the general theory developed by the aforementioned authors. Along the way, we unify the terminology and notation and fill in some gaps in the general theory. We establish rather general primal and dual necessary conditions characterizing quasiuniform
Description:
We revisit the decoupling approach widely used (often intuitively) in nonlinear analysis and optimization and initially formalized about a quarter of a century ago by Borwein & Zhu, Borwein & Ioffe and Lassonde. It allows one to streamline proofs of necessary optimality conditions and calculus relations, unify and simplify the respective statements, clarify and in many cases weaken the assumptions. In this paper we study weaker concepts of quasiuniform infimum, quasiuniform lower semicontinuity and quasiuniform minimum, putting them into the context of the general theory developed by the aforementioned authors. Along the way, we unify the terminology and notation and fill in some gaps in the general theory. We establish rather general primal and dual necessary conditions characterizing quasiuniform
Description:
The research was supported by the Australian Research Council, Project DP160100854, and the European Union’s Horizon 2020 research and innovation programme under the Marie Sk
Description:
The research was supported by the Australian Research Council, Project DP160100854, and the European Union’s Horizon 2020 research and innovation programme under the Marie Sk
Description:
This paper continues the study of `good arrangements' of collections of sets in normed spaces near a point in their intersection. Our aim is to study general nonlinear transversality properties. We focus on dual space (subdifferential and normal cone) necessary characterizations of these properties. As an application, we provide dual necessary conditions for the nonlinear extensions of the new transversality properties of a set-valued mapping to a set in the range space due to Ioffe.
Description:
The research was supported by the Australian Research Council, project DP160100854. The second author benefited from the support of the FMJH Program PGMO and from the support of EDF.
Description:
The core arguments used in various proofs of the extremal principle and its extensions as well as in primal and dual characterizations of approximate stationarity and transversality of collections of sets are exposed, analysed and refined, leading to a unifying theory, encompassing all existing approaches to obtaining ‘extremal’ statements. For that, we examine and clarify quantitative relationships between the parameters involved in the respective definitions and statements. Some new characterizations of extremality properties are obtained.
Description:
The core arguments used in various proofs of the extremal principle and its extensions as well as in primal and dual characterizations of approximate stationarity and transversality of collections of sets are exposed, analysed and refined, leading to a unifying theory, encompassing all existing approaches to obtaining ‘extremal’ statements. For that, we examine and clarify quantitative relationships between the parameters involved in the respective definitions and statements. Some new characterizations of extremality properties are obtained.
Description:
Using techniques of variational analysis, necessary and sufficient subdifferential conditions for Holder error bounds are investigated and some new estimates for the corresponding modulus are obtained. As an application, we consider the setting of convex semi-infinite optimization and give a characterization of the Holder calmness of the argmin mapping in terms of the level set mapping (with respect to the objective function) and a special supremum function. We also estimate the Holder calmness modulus of the argmin mapping in the framework of linear programming.
Description:
Using techniques of variational analysis, necessary and sufficient subdifferential conditions for Holder error bounds are investigated and some new estimates for the corresponding modulus are obtained. As an application, we consider the setting of convex semi-infinite optimization and give a characterization of the Holder calmness of the argmin mapping in terms of the level set mapping (with respect to the objective function) and a special supremum function. We also estimate the Holder calmness modulus of the argmin mapping in the framework of linear programming.
Description:
The article continues the study of the ‘regular’ arrangement of a collection of sets near a point in their intersection. Such regular intersection or, in other words, transversality properties are crucial for the validity of qualification conditions in optimization as well as subdifferential, normal cone and coderivative calculus, and convergence analysis of computational algorithms. One of the main motivations for the development of the transversality theory of collections of sets comes from the convergence analysis of alternating projections for solving feasibility problems. This article targets infinite dimensional extensions of the intrinsic transversality property introduced recently by Drusvyatskiy, Ioffe and Lewis as a sufficient condition for local linear convergence of alternating projections. Several characterizations of this property are established involving new limiting objects defined for pairs of sets. Special attention is given to the convex case.
Description:
The article continues the study of the ‘regular’ arrangement of a collection of sets near a point in their intersection. Such regular intersection or, in other words, transversality properties are crucial for the validity of qualification conditions in optimization as well as subdifferential, normal cone and coderivative calculus, and convergence analysis of computational algorithms. One of the main motivations for the development of the transversality theory of collections of sets comes from the convergence analysis of alternating projections for solving feasibility problems. This article targets infinite dimensional extensions of the intrinsic transversality property introduced recently by Drusvyatskiy, Ioffe and Lewis as a sufficient condition for local linear convergence of alternating projections. Several characterizations of this property are established involving new limiting objects defined for pairs of sets. Special attention is given to the convex case.