Nonlinear regularity models

The paper studies regularity properties of set-valued mappings between metric spaces. In the context of metric regularity, nonlinear models correspond to nonlinear dependencies of estimates of error bounds in terms of residuals. Among the questions addressed in the paper are equivalence of the corresponding concepts of openness and “pseudo-Hölder” behavior, general and local regularity criteria with special emphasis on “regularity of order $k$ ”, for local settings, and variational methods to extimate regularity moduli in case of length range spaces. The majority of the results presented in the paper are new.     

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.     

Existence and properties of inverse mappings

Nonlinear mappings in Banach spaces are considered. The covering property, metric regularity, and the existence of a continuous right inverse are considered for these mappings under various assumptions of smoothness. Several regularity conditions that guarantee the local covering property and the existence of a continuous right inverse are presented.     

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.     

Stability of Saddle Points Via Explicit Coderivatives of Pointwise Subdifferentials

We derive stability criteria for saddle points of a class of nonsmooth optimization problems in Hilbert spaces arising in PDE-constrained optimization, using metric regularity of infinite-dimensional set-valued mappings. A main ingredient is an explicit pointwise characterization of the regular coderivative of the subdifferential of convex integral functionals. This is applied to several stability properties for parameter identification problems for an elliptic partial differential equation with non-differentiable data fitting terms.     

On coincidence points of multivalued vector mappings of metric spaces

The notion of metric regularity can be extended to multivalued mappings acting in the products of metric spaces. A vector analog of Arutyunov’s coincidence-point theorem for two multivalued mappings is proved. Statements on the existence and estimates of solutions of systems of inclusions of special form occurring in the multiple fixed-point problem are obtained. In particular, these results imply some well-known double-point theorems.     

Coderivative calculus and metric regularity for constraint and variational systems

This paper provides new developments in generalized differentiation theory of variational analysis with their applications to metric regularity of parameterized constraint and variational systems in finite-dimensional and infinite-dimensional spaces. Our approach to the study of metric regularity for these two major classes of parametric systems is based on appropriate coderivative constructions for set-valued mappings and on extended calculus rules supporting their computation and estimation. The main attention is paid in this paper to the so-called reversed mixed coderivative, which is of crucial importance for efficient pointwise characterizations of metric regularity in the general framework of set-valued mappings between infinite-dimensional spaces. We develop new calculus results for the latter coderivative that allow us to compute it for large classes of parametric constraint and variational systems. On this basis we derive verifiable sufficient conditions, necessary conditions as well as complete characterizations for metric regularity of such systems with computing the corresponding exact bounds of metric regularity constants/moduli. This approach allows us to reveal general settings in which metric regularity fails for major classes of parametric variational systems. Furthermore, the developed coderivative calculus leads us also to establishing new formulas for computing the radius of metric regularity for constraint and variational systems, which characterize the maximal region of preserving metric regularity under linear (and other types of) perturbations and are closely related to conditioning aspects of optimization.     

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.     

Stability of Implicit Multifunctions in Banach Spaces

This paper is devoted to present new sufficient conditions for both the metric regularity in the Robinson??s sense and the Lipschitz-like property in the Aubin??s sense of implicit multifunctions in general Banach spaces. The basic tools of our analysis involve the Clarke subdifferential, the Clarke coderivative of set-valued mappings, and the Ekeland variational principle. The metric regularity of implicit multifunction is compared with the Lipschitz-like property.     

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.     

Coderivative Analysis of Variational Systems

The paper mostly concerns applications of the generalized differentiation theory in variational analysis to Lipschitzian stability and metric regularity of variational systems in infinite-dimensional spaces. The main tools of our analysis involve coderivatives of set-valued mappings that turn out to be proper extensions of the adjoint derivative operator to nonsmooth and set-valued mappings. The involved coderivatives allow us to give complete dual characterizations of certain fundamental properties in variational analysis and optimization related to Lipschitzian stability and metric regularity. Based on these characterizations and extended coderivative calculus, we obtain efficient conditions for Lipschitzian stability of variational systems governed by parametric generalized equations and their specifications.     

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

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

On the quantitative asymptotic behavior of strongly nonexpansive mappings in banach and geodesic spaces

We give explicit rates of asymptotic regularity for iterations of strongly nonexpansive mappings T in general Banach spaces as well as rates of metastability (in the sense of Tao) in the context of uniformly convex Banach spaces when T is odd. This, in particular, applies to linear norm-one projections as well as to sunny nonexpansive retractions. The asymptotic regularity results even hold for strongly quasi-nonexpansive mappings (in the sense of Bruck), the addition of error terms and very general metric settings. In particular, we get the first quantitative results on iterations (with errors) of compositions of metric projections in CAT(?)-spaces (? > 0). Under an additional compactness assumption we obtain, moreover, a rate of metastability for the strong convergence of such iterations.     

Chain rules for linear openness in metric spaces and applications

In this work we present a general theorem concerning chain rules for linear openness of set-valued mappings acting between metric spaces. As particular cases, we obtain classical and also some new results in this field of research, including the celebrated Lyusternik–Graves Theorem. The applications deal with the study of the well-posedness of the solution mappings associated to parametric systems. Sharp estimates for the involved regularity moduli are given.     

First order approximations to nonsmooth mappings with application to metric regularity

The generalized Jacobian is used to examine various first order approximations to nonsmooth mappings between Banach spaces. As an application, we survey and extend various recently derived sufficient conditions for the metric regularity of(possibly infinite) systems of nonsmooth inequalities.     

Characterization of Stability for Cone Increasing Constraint Mappings

We investigate stability (in terms of metric regularity) for the specific class of cone increasing constraint mappings. This class is of interest in problems with additional knowledge on some nondecreasing behavior of the constraints (e.g. in chance constraints, where the occurring distribution function of some probability measure is automatically nondecreasing). It is demonstrated, how this extra information may lead to sharper characterizations. In the first part, general cone increasing constraint mappings are studied by exploiting criteria for metric regularity, as recently developed by Mordukhovich. The second part focusses on genericity investigations for global metric regularity (i.e. metric regularity at all feasible points) of nondecreasing constraints in finite dimensions. Applications to chance constraints are given.     

Openness properties for parametric set-valued mappings and implicit multifunctions

The aim of this paper is to obtain some openness results in terms of normal coderivative for parametric set-valued mappings acting between infinite dimensional spaces. Then, implicit multifunction results are obtained by simply specializing the openness results. Moreover, we study a kind of metric regularity of the implicit multifunction. The results of the paper generalize several recent results in literature.     

Meir–Keeler-type conditions in abstract metric spaces

Various Meir–Keeler-type conditions for mappings acting in abstract metric spaces are presented and their connections are discussed. Results about associated symmetric spaces, obtained in [S. Radenovi?, Z. Kadelburg, Quasi-contractions on symmetric and cone symmetric spaces, Banach J. Math. Anal. 5 (2011), 38–50] are used to show that the regularity condition for the underlying cone can be dropped in some fixed point results that have appeared recently.     

Implicit multifunction theorems in complete metric spaces

In this paper, we establish some new characterizations of metric regularity of implicit multifunctions in complete metric spaces by using lower semicontinuous envelopes of the distance functions to set-valued mappings. Through these new characterizations it is possible to investigate implicit multifunction theorems based on coderivatives and on contingent derivatives as well as the perturbation stability of implicit multifunctions.     

Metric regularity, tangential distances and generalized differentiation in Banach spaces

In this paper we establish new generalized differentiation rules in general Banach spaces regarding normal cones to set images under functions, coderivatives of compositions of set-valued mappings, as well as calculus results for normal compactness of sets and their images. In addition to the metric regularity of mappings, our results involve tangential distances of sets for which we also provide a fairly complete study by exploring its variations, basic properties, as well as relations to similar notions. Some related results are also established.