Metric subregularity for proximal generalized equations in Hilbert spaces

In this paper, we introduce and consider the concept of the prox-regularity of a multifunction. We mainly study the metric subregularity of a generalized equation defined by a proximal closed multifunction between two Hilbert spaces. Using proximal analysis techniques, we provide sufficient and/or necessary conditions for such a generalized equation to have the metric subregularity in Hilbert spaces. We also establish the results of Robinson-Ursescu theorem type for prox-regular multifunctions.     

BCQ and Strong BCQ for Nonconvex Generalized Equations with Applications to Metric Subregularity

In this paper, based on basic constraint qualification (BCQ) and strong BCQ for convex generalized equation, we are inspired to further discuss constraint qualifications of BCQ and strong BCQ for nonconvex generalized equation and then establish their various characterizations. As applications, we use these constraint qualifications to study metric subregularity of nonconvex generalized equation and provide necessary and/or sufficient conditions in terms of constraint qualifications considered herein to ensure nonconvex generalized equation having metric subregularity.     

Metric Subregularity in Generalized Equations

In this article, we study the metric subregularity of generalized equations using a new tool of nonsmooth analysis. We obtain a sufficient condition for a generalized equation to be metrically subregular, which is not a necessary condition for metric regularity, using a subtle adjustment of the Mordukhovich coderivative. We apply these results to the study of the metric subregularity in a Cournot duopoly game.     

Regularity and Conditioning of Solution Mappings in Variational Analysis

Concepts of conditioning have long been important in numerical work on solving systems of equations, but in recent years attempts have been made to extend them to feasibility conditions, optimality conditions, complementarity conditions and variational inequalities, all of which can be posed as solving ‘generalized equations’ for set-valued mappings. Here, the conditioning of such generalized equations is systematically organized around four key notions: metric regularity, subregularity, strong regularity and strong subregularity. Various properties and characterizations already known for metric regularity itself are extended to strong regularity and strong subregularity, but metric subregularity, although widely considered, is shown to be too fragile to support stability results such as a radius of good behavior modeled on the Eckart–Young theorem.     

On Metric and Calmness Qualification Conditions in Subdifferential Calculus

The paper contains two groups of results. The first are criteria for calmness/subregularity for set-valued mappings between finite-dimensional spaces. We give a new sufficient condition whose subregularity part has the same form as the coderivative criterion for “full” metric regularity but involves a different type of coderivative which is introduced in the paper. We also show that the condition is necessary for mappings with convex graphs. The second group of results deals with the basic calculus rules of nonsmooth subdifferential calculus. For each of the rules we state two qualification conditions: one in terms of calmness/subregularity of certain set-valued mappings and the other as a metric estimate (not necessarily directly associated with aforementioned calmness/subregularity property). The conditions are shown to be weaker than the standard Mordukhovich–Rockafellar subdifferential qualification condition; in particular they cover the cases of convex polyhedral set-valued mappings and, more generally, mappings with semi-linear graphs. Relative strength of the conditions is thoroughly analyzed. We also show, for each of the calculus rules, that the standard qualification conditions are equivalent to “full” metric regularity of precisely the same mappings that are involved in the subregularity version of our calmness/subregularity condition. The research of Jiří V. Outrata was supported by the grant A 107 5402 of the Grant Agency of the Academy of Sciences of the Czech Republic.     

On metric subregularity for convex constraint systems by primal equivalent conditions

In this paper, we mainly study metric subregularity for a convex constraint system defined by a convex set-valued mapping and a convex constraint subset. The main work is to provide several primal equivalent conditions for metric subregularity by contingent cone and graphical derivative. Further it is proved that these primal equivalent conditions can characterize strong basic constraint qualification of convex constraint system given by Zheng and Ng (SIAM J Optim 18:437–460, 2007).     

Local convergence of quasi-Newton methods under metric regularity

We consider quasi-Newton methods for generalized equations in Banach spaces under metric regularity and give a sufficient condition for q-linear convergence. Then we show that the well-known Broyden update satisfies this sufficient condition in Hilbert spaces. We also establish various modes of q-superlinear convergence of the Broyden update under strong metric subregularity, metric regularity and strong metric regularity. In particular, we show that the Broyden update applied to a generalized equation in Hilbert spaces satisfies the Dennis–Moré condition for q-superlinear convergence. Simple numerical examples illustrate the results.     

Metric Subregularity of Composition Set-Valued Mappings with Applications to Fixed Point Theory

In this paper we underline the importance of the parametric subregularity property of set-valued mappings, defined with respect to fixed sets. We show that this property appears naturally for some very simple mappings which play an important role in the theory of metric regularity. We prove a result concerning the preservation of metric subregularity at generalized compositions. Then we obtain, in purely metric setting, several fixed point assertions for set-valued mappings in local and global frameworks.     

Strong metric subregularity of mappings in variational analysis and optimization

Although the property of strong metric subregularity of set-valued mappings has been present in the literature under various names and with various (equivalent) definitions for more than two decades, it has attracted much less attention than its older “siblings”, the metric regularity and the strong (metric) regularity. The purpose of this paper is to show that the strong metric subregularity shares the main features of these two most popular regularity properties and is not less instrumental in applications. We show that the strong metric subregularity of a mapping F acting between metric spaces is stable under perturbations of the form $f+F$, where f is a function with a small calmness constant. This result is parallel to the Lyusternik–Graves theorem for metric regularity and to the Robinson theorem for strong regularity, where the perturbations are represented by a function f with a small Lipschitz constant. Then we study perturbation stability of the same kind for mappings acting between Banach spaces, where f is not necessarily differentiable but admits a set-valued derivative-like approximation. Strong metric q-subregularity is also considered, where q is a positive real constant appearing as exponent in the definition. Rockafellar's criterion for strong metric subregularity involving injectivity of the graphical derivative is extended to mappings acting in infinite-dimensional spaces. A sufficient condition for strong metric subregularity is established in terms of surjectivity of the Fréchet coderivative, and it is shown by a counterexample that surjectivity of the limiting coderivative is not a sufficient condition for this property, in general. Then various versions of Newton's method for solving generalized equations are considered including inexact and semismooth methods, for which superlinear convergence is shown under strong metric subregularity. As applications to optimization, a characterization of the strong metric subregularity of the KKT mapping is obtained, as well as a radius theorem for the optimality mapping of a nonlinear programming problem. Finally, an error estimate is derived for a discrete approximation in optimal control under strong metric subregularity of the mapping involved in the Pontryagin principle.     

On Metric Pseudo-(sub)Regularity of Multifunctions and Optimality Conditions for Degenerated Mathematical Programs

This paper is devoted to the analysis of a special kind of regularity of a multifunction which we call metric pseudo-(sub)regularity, when the multifunction is not metrically (sub)regular at a given point but is metrically (sub)regular at certain points in a neighborhood with moduli possibly tending to infinity with a certain order. By using advanced techniques of generalized differentiation we derive conditions both necessary and sufficient for this property. As a byproduct we obtain a new sufficient condition for metric subregularity. Then we apply these results to multifunctions composed by a smooth mapping and a generalized polyhedral multifunction and obtain explicit formulas for this case. Finally we show how the theory can be used to obtain necessary optimality conditions when the constraint qualification condition of metric (sub)regularity is violated.     

On Directional Metric Regularity, Subregularity and Optimality Conditions for Nonsmooth Mathematical Programs

This paper mainly deals with the study of directional versions of metric regularity and metric subregularity for general set-valued mappings between infinite-dimensional spaces. Using advanced techniques of variational analysis and generalized differentiation, we derive necessary and sufficient conditions, which extend even the known results for the conventional metric regularity. Finally, these results are applied to non-smooth optimization problems. We show that that at a locally optimal solution M-stationarity conditions are fulfilled if the constraint mapping is subregular with respect to one critical direction and that for every critical direction a M-stationarity condition, possibly with different multipliers, is fulfilled.     

Calculus of tangent sets and derivatives of set-valued maps under metric subregularity conditions

In this paper we give some calculus rules for tangent sets in the sense of Bouligand and Ursescu, as well as for corresponding derivatives of set-valued maps. Both first and second-order objects are envisaged and the assumptions we impose in order to get the calculus are in terms of metric subregularity of the assembly of the initial data. This approach is different from those used in alternative recent papers in literature and allows us to avoid compactness conditions. An application to a special type of vector optimization problems, where the objective is given as the sum of two multifunctions, is presented. Furthermore, also as application, a special attention is paid for the case of perturbation set-valued maps which naturally appear in optimization problems.     

Error bounds and metric subregularity

Necessary and sufficient criteria for metric subregularity (or calmness) of set-valued mappings between general metric or Banach spaces are treated in the framework of the theory of error bounds for a special family of extended real-valued functions of two variables. A classification scheme for the general error bound and metric subregularity criteria is presented. The criteria are formulated in terms of several kinds of primal and subdifferential slopes.     

Metric Subregularity for a Multifunction

Metric subregularity is an important and active area in modern variational analysis and nonsmooth optimization. Many existing results on the metric subregularity were established in terms of coderivatives of the multifunctions concerned. This note tries to give a survey of the metric subregularity theory related to the coderivatives and normal cones.     

Hölder metric subregularity for multifunctions in type Banach spaces

Using the Borwein–Preiss variational principle and in terms of the proximal coderivative, we provide a new type of sufficient conditions for the Hölder metric subregularity and Hölder error bounds in a class of smooth Banach spaces. As an application, new characterizations for the tilt stability of Hölder minimizers are established.     

Well-posed equilibrium problems

In this paper we introduce some notions of well-posedness for scalar equilibrium problems in complete metric spaces or in Banach spaces. As equilibrium problem is a common extension of optimization, saddle point and variational inequality problems, our definitions originates from the well-posedness concepts already introduced for these problems.We give sufficient conditions for two different kinds of well-posedness and show by means of counterexamples that these have no relationship in the general case. However, together with some additional assumptions, we show via Ekeland’s principle for bifunctions a link between them.Finally we discuss a parametric form of the equilibrium problem and introduce a well-posedness concept for it, which unifies the two different notions of well-posedness introduced in the first part.     

Banach空间集值映射的度量正则性与变分方程的Lipschitz稳定性

综述了集值映射的某些概念,例如度量正则性、伪Lipschitz性质(Aubin性质)、度量次正则性和Calm性质和这些概念的相互关系以及某些判据.也给出了他们在变分方程解的鲁棒Lipschitz稳定性、约束优化问题的最优性条件、集合族的线性正则性质和广义方程迭代过程的收敛性.     

Openness stability and implicit multifunction theorems: Applications to variational systems

In this paper we aim to present two general results regarding, on one hand, the openness stability of set-valued maps and, on the other hand, the metric regularity behavior of the implicit multifunction related to a generalized variational system. Then, these results are applied in order to obtain, in a natural way, and in a widely studied case, several relations between the metric regularity moduli of the field maps defining the variational system and the solution map. Our approach allows us to complete and extend several very recent results from the literature.     

Linear Convergence of Prox-SVRG Method for Separable Non-smooth Convex Optimization Problems under Bounded Metric Subregularity

Journal of Optimization Theory and Applications - With the help of bounded metric subregularity which is weaker than strong convexity, we show the linear convergence of proximal stochastic...     

Metric regularity of a positive order for generalized equations

This paper focuses on the metric regularity of a positive order for generalized equations. More concretely, we establish verifiable sufficient conditions for a generalized equation to achieve the metric regularity of a positive order at its a given solution. The provided conditions are expressed in terms of the Fréchet coderivative/or the Mordukhovich coderivative/or the Clarke one of the corresponding multifunction formulated the generalized equation. In addition, we show that such sufficient conditions turn out to be also necessary for the metric regularity of a positive order of the generalized equation in the case where the multifunction established the generalized equation is closed and convex.