×

Metric regularity – a survey. I: Theory. (English) Zbl 1369.49001

The paper surveys recent developments in the metric regularity theory. This is one of the central chapters of variational analysis which is concerned with extensions of results related to regularity properties of linear and smooth nonlinear operators in Banach spaces to broader classes of mappings (from non-differentiable Lipschitz mappings in Banach spaces and up to set-valued mappings in metric spaces) that typically appear in some modern applications, in particular in optimization and optimal control. A number of remarkable and important results were obtained in this direction along with numerous applications to analysis and optimization theory.
The first part of the survey (theory) contains an introduction and six sections. In the introduction, the author briefly describes key ideas and features of the theory as well as the structure of the survey. The first section Classical theory: five great theorems gives a short account of the classical results behind the metric regularity theory. These are the Banach-Schauder open mapping theorem, theorems of Lyusternik and Graves on regular points, inverse and implicit function theorems and the Sard theorem.
Section 2 Metric theory. Definitions and equivalences contains the definitions of local and nonlocal versions of the basic regularity properties: linear openness (or covering), metric regularity and a certain Lipschitz-type property of the inverse map for set-valued mappings in the category of metric spaces. Here are brief explanations of the local versions of the first two concepts . Let \(F\) be a set-valued mapping \(F\) from \(X\). Linear openness near a point \((x_0,y_0)\in\text{Graph} F\) means that there are \(r>0\) and a neighborhood \(V\) of \((x_0,y_0)\) such that for any \((x,y)\in V\) the inequality \(d(y,F(x))<rt\) implies that \(y\in F(u)\) for some \(u\) satisfying \(d(u,x)\leq t\). \(F\) is metrically regular near \((x_0,y_0)\) if, for some \(k\), the inequality \(d(x,F^{-1}(y)) \leq kd(y,F(x))\) holds for all \((x,y)\) in a neighborhood of \((x_0,y_0)\). The key fact is that the properties are equivalent and moreover, the upper bound of \(r\) in the definition of linear openness, called the rate of surjection of \(F\) near \((x_0,y_0)\), and the lower bound of \(k\) in the definition of metric regularity, called the rate of metric regularity, are reciprocal numbers. This result determines the quantitative character of the theory emphasized throughout the article.
The third section Metric theory. Regularity criteria contains a series of formulas for the regularity rates (regularity criteria) either in terms of some distance functions associated with the mapping or in terms of slopes of the functions. Slopes, introduced by Marino, Tosques and DeGiorgi in 1980, are probably the main infinitesimal instrument in modern metric analysis. The section also contains discussions of weaker versions of the regularity properties such as subregularity, calmness, controllability and linear recession.
In Section 4 Metric theory. Perturbation and stability, the reader will find a number of fundamental results relating to dependence of mappings on parameters. The first group of the results contains estimates for regularity rates of a mapping subject to Lipschitz perturbations of various sort. The results of the second group are extensions of the implicit function theorem to (set-valued) mappings in metric spaces and contains estimates for the Lipschitz-type behavior of the solution mapping. Special attention is given to the property of strong regularity that guarantees single-valuedness of the solution mapping.
Section 5 Banach space theory is concerned with regularity properties in the main special case of mappings in Banach spaces. In this case, a number of approximation mechanisms are available, including various kinds of subderivatives and subdifferentials, tangent and normal cones, bunches of linear operators etc.. This leads to a rich variety of additional characterizations of regularity and stability results for regularity rates.
The last Section 6 Finite dimensional theory deals with mappings between finite dimensional spaces. Along with results of general nature, which look especially elegant and precise in this case, special attention is paid to characterization of the subregularity property and to extensions of the classical transversality concept to arbitrary sets and set-valued mappings.
This part of the survey is completed by the references (98 items).
The survey may be interesting and useful to all specialists (as well as graduate and postgraduate students) in classical and functional analysis and optimization theory. This part gives a fairly complete picture of many aspects of metric regularity theory.

MSC:

49-02 Research exposition (monographs, survey articles) pertaining to calculus of variations and optimal control
58C15 Implicit function theorems; global Newton methods on manifolds
49N60 Regularity of solutions in optimal control
49J53 Set-valued and variational analysis
90C26 Nonconvex programming, global optimization
47H04 Set-valued operators
47J07 Abstract inverse mapping and implicit function theorems involving nonlinear operators
54C60 Set-valued maps in general topology
58K05 Critical points of functions and mappings on manifolds
PDF BibTeX XML Cite
Full Text: DOI

References:

[1] DOI: 10.1007/BF01761497 · Zbl 0518.49009
[2] Dolecki, Control Cybernet. 7 pp 17– (1978)
[3] Dolecki, Control Cybernet. 7 pp 5– (1978)
[4] DOI: 10.1070/RM1980v035n06ABEH001973 · Zbl 0479.49015
[5] De Giorgi, Atti Acad. Nat. Lincei, Rend. Cl. Sci. Fiz. Mat. Natur. 68 pp 180– (1980)
[6] DOI: 10.1287/moor.5.1.43 · Zbl 0437.90094
[7] DOI: 10.1007/BF01445166 · Zbl 0692.49018
[8] DOI: 10.1137/0713043 · Zbl 0347.90050
[9] Clarke, Nonsmooth Analysis and Control Theory (1998)
[10] DOI: 10.1090/S0002-9947-1972-0313769-9
[11] Clarke, Optimization and Nonsmooth Analysis (1983)
[12] Ptàk, Czechoslovak Math. J. 24 pp 503– (1974)
[13] DOI: 10.1090/S0002-9947-1975-0367131-6
[14] Penot, Calculus Without Derivatives (2012)
[15] DOI: 10.1016/0362-546X(89)90083-7 · Zbl 0687.54015
[16] Penot, C. R. Acad. Sci. Paris 278 pp 1553– (1974)
[17] Nirenberg, Topics in Nonlinear Functional Analysis (1974)
[18] DOI: 10.1007/s10107-013-0673-9 · Zbl 1268.49018
[19] DOI: 10.1023/B:SVAN.0000023396.58424.98 · Zbl 1058.49017
[20] DOI: 10.1007/s11784-015-0240-5 · Zbl 1327.49030
[21] DOI: 10.1007/s10107-009-0312-7 · Zbl 1186.49014
[22] Borwein, Techniques of Variational Analysis (2006)
[23] DOI: 10.1016/0022-247X(88)90034-0 · Zbl 0654.49004
[24] DOI: 10.1007/978-0-387-31256-9 · Zbl 1116.90001
[25] DOI: 10.1090/S0002-9947-96-01543-7 · Zbl 0881.49009
[26] DOI: 10.1007/BF00938589 · Zbl 0557.49009
[27] Mordukhovich, J. Convex Anal. 2 pp 211– (1995)
[28] DOI: 10.1007/s11228-006-0014-8 · Zbl 1141.49020
[29] DOI: 10.1080/02331938808843391 · Zbl 0666.49003
[30] DOI: 10.1287/moor.8.3.403 · Zbl 0534.49015
[31] DOI: 10.1016/S0362-546X(01)00129-8 · Zbl 1035.49014
[32] Mordukhovich, Variational Analysis and Generalized Differentiation, vol. 1, 2 (2006)
[33] DOI: 10.1007/BF00934938 · Zbl 0259.90037
[34] DOI: 10.1007/s11784-008-0054-9 · Zbl 1172.49012
[35] DOI: 10.1090/S0002-9947-1993-1156300-4
[36] Banach, Théorie des opérations linéaires (1932)
[37] DOI: 10.1007/s11228-008-0072-1 · Zbl 1159.47037
[38] DOI: 10.1006/jmaa.1995.5054 · Zbl 0943.47036
[39] Mordukhovich, Approximation Methods in Problems of Optimization and Control (1988) · Zbl 0643.49001
[40] Azé, J. Convex Anal. 13 pp 225– (2006)
[41] DOI: 10.1007/s11228-012-0217-0 · Zbl 1254.49011
[42] Aubin, Set-Valued Analysis (1990) · Zbl 0713.49021
[43] Lyusternik, Sb. Math. (3) 41 pp 390– (1934)
[44] DOI: 10.1287/moor.9.1.87 · Zbl 0539.90085
[45] DOI: 10.1007/s10208-008-9036-y · Zbl 1169.49030
[46] Aubin pp 160– (1981)
[47] DOI: 10.1023/A:1008775413250 · Zbl 0952.49017
[48] Arutyunov, J. Fixed Point Theory Appl. 5 pp 106– (2009)
[49] Kruger, Dokl. Acad. Nauk BSSR 24 pp 684– (1980)
[50] Abraham, Transversal Mappings and Flows (1967) · Zbl 0171.44404
[51] Ioffe, C.R. Acad. Sci. Paris 292 pp 675– (1981)
[52] Guillemin, Differential Topology (1976)
[53] Grothendieck, Geometric Galois Actions (1997)
[54] DOI: 10.1215/S0012-7094-50-01713-3 · Zbl 0037.20401
[55] DOI: 10.1137/100813415 · Zbl 1254.90246
[56] DOI: 10.4213/faa256
[57] DOI: 10.1137/120887035 · Zbl 1272.49080
[58] Frankowska, Ann. Inst. H. Poincaré Analyse Non Linéaire 7 pp 183– (1990) · Zbl 0727.26014
[59] Facchinei, Finite-Dimensional Variational Inequalities and Complementarity Problems (2003) · Zbl 1062.90002
[60] Fabian, C. R. Acad. Bulgare Sci. 38 pp 671– (1985)
[61] Fabian, Comment. Math. Univ. Carolin. 28 pp 311– (1987)
[62] DOI: 10.1016/j.na.2011.02.019 · Zbl 1254.90225
[63] DOI: 10.1007/978-1-4939-1037-3 · Zbl 1337.26003
[64] Dontchev, J. Convex Anal. 13 pp 281– (2006)
[65] DOI: 10.1155/IJMMS.2005.203 · Zbl 1089.54010
[66] DOI: 10.1090/S0002-9947-02-03088-X · Zbl 1042.49026
[67] Ursescu, Revue Roumaine Math. Pures Appl. 41 (1996)
[68] Dontchev, J. Convex Anal. 19 pp 955– (2012)
[69] Tsiskaridze, Nekotorye Voprosy Matematicheskoy Theorii Optimalnogo Upravleniya (Some Problems of the Mathematical Theory of Optimal control) (1975)
[70] DOI: 10.1090/S0002-9939-2010-10490-2 · Zbl 1211.49023
[71] Dontchev, J. Convex Anal. 3 pp 45– (1996)
[72] DOI: 10.1007/978-3-540-71333-3 · Zbl 1120.49001
[73] Schauder, Studia Math. 2 pp 1– (1930)
[74] DOI: 10.1090/S0002-9904-1942-07811-6 · Zbl 0063.06720
[75] DOI: 10.1007/978-3-642-02431-3 · Zbl 0888.49001
[76] Rockafellar, Mem. Amer. Math. Soc. 77 (1967)
[77] DOI: 10.1007/BF00968624 · Zbl 0583.49016
[78] Klatte, Nonsmooth Equations in Optimization (2002)
[79] Ioffe, Theory of Extremal Problems (1974)
[80] DOI: 10.1007/s10107-007-0157-x · Zbl 1157.49026
[81] DOI: 10.1007/s11228-008-0076-x · Zbl 1156.49013
[82] DOI: 10.1007/s11784-014-0186-z · Zbl 1311.49042
[83] Ioffe, Constructive Nonsmooth Analysis and Related Topics (2013)
[84] Ioffe, Computational and Analytical Mathematics pp 397– (2013)
[85] Ioffe, Adv. Nonlinear Anal. 1 pp 47– (2012)
[86] DOI: 10.1137/110820981 · Zbl 1275.49028
[87] Ioffe, Control Cybernet. 36 pp 659– (2007)
[88] DOI: 10.4213/rm292
[89] DOI: 10.1007/978-94-011-4560-2_8
[90] DOI: 10.1112/S0025579300013541 · Zbl 0713.49022
[91] DOI: 10.1016/0362-546X(87)90073-3 · Zbl 0642.49010
[92] Ioffe, Trans. Amer. Math. Soc. 28 pp 389– (1984)
[93] DOI: 10.1090/S0002-9947-1981-0613784-7
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.