Abstract
We prove that the subdifferential of any semi-algebraic extended-real-valued function on \(\mathbf{R}^n\) has \(n\)-dimensional graph. We discuss consequences for generic semi-algebraic optimization problems.
Similar content being viewed by others
References
Basu, S., Pollack, R., Roy, M.: Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics). Springer, New York (2006)
Blume, L.E., Zame, W.R.: The algebraic geometry of competitive equilibrium. In: Rader, T.J., Neuefeind, W., Riezman, R.G. (eds.) Economic Theory and International Trade. Essays in Memoriam of J. Trout Rader. Springer, Berlin (1992)
Blume, L.E., Zame, W.R.: The algebraic geometry of perfect and sequential equilibrium. Econometrica 62(4), 783–794 (1994)
Bolte, J., Daniilidis, A., Lewis, A.S.: Generic optimality conditions for semialgebraic convex programs. Math. Oper. Res. 36(1), 55–70 (2011)
Bolte, J., Daniilidis, A., Lewis, A.S., Shiota, M.: Clarke subgradients of stratifiable functions. SIAM J. Optim. 18(2), 556–572 (2007)
Bonnans, J.F., Shapiro, A.: Perturbation Analysis of Optimization Problems. Springer, New York (2000)
Borwein, J.M., Girgensohn, R., Wang, X.: On the construction of Hölder and proximal subderivatives. Can. Math. Bull. 41(4), 497–507 (1998)
Borwein, J.M., Moors, W.B.: Essentially smooth Lipschitz functions. J. Funct. Anal. 149(2), 305–351 (1997)
Borwein, J.M., Moors, W.B., Wang, X.: Lipschitz functions with prescribed derivatives and subderivatives. Nonlinear Anal. 29(1), 53–63 (1997)
Borwein, J.M., Wang, X.: Lipschitz functions with maximal Clarke subdifferentials are generic. Proc. Am. Math. Soc. 128(11), 3221–3229 (2000)
Borwein, J.M., Zhu, Q.J.: Techniques of Variational Analysis. Springer, New York (2005)
Burke, J.V., Lewis, A.S., Overton, M.L.: Approximating subdifferentials by random sampling of gradients. Math. Oper. Res. 27(3), 567–584 (2002)
Choquet, G.: Convergences. Ann. Univ. Grenoble 23, 57–112 (1948)
Clarke, F.H.: Optimization and Nonsmooth Analysis. Wiley Interscience, New York (1983)
Clarke, F.H., Ledyaev, Yu., Stern, R.I., Wolenski, P.R.: Nonsmooth Analysis and Control Theory. Texts in Math, p. 178. Springer, New York (1998)
Coste, M.: An Introduction to o-Minimal Geometry. RAAG Notes, 81 pages, Institut de Recherche Mathématiques de Rennes, Nov 1999
Coste, M.: An Introduction to Semialgebraic Geometry. RAAG Notes, 78 pages, Institut de Recherche Mathématiques de Rennes, Oct 2002
Daniilidis, A., Pang, J.C.H.: Continuity and differentiability of set-valued maps revisited in the light of tame geometry. J. Lond. Math. Soc. 83(3), 637–658 (2011)
Drusvyatskiy, D., Ioffe, A.D., Lewis, A.S.: The dimension of semialgebraic subdifferential graphs. Nonlinear Anal. Theory Methods Appl. 75(3), 1231–1245 (2012). Variational Analysis and Its Applications
Drusvyatskiy, D., Lewis, A.S.: Generic nondegeneracy in convex optimization. Proc. Am. Math. Soc. 139(7), 2519–2527 (2011)
Ioffe, A.D.: Critical values of set-valued maps with stratifiable graphs. Extensions of Sard and Smale-Sard theorems. Proc. Am. Math. Soc. 136, 3111–3119 (2008)
Ioffe, A.D.: An invitation to tame optimization. SIAM J. Optim. 19(4), 1894–1917 (2009)
Ioffe, A.D.: The principle of Lagrange and critical values of optimization problems. Pac. J. Optim. 6(2), 341–352 (2010)
Kuratowski, K.: Les fonctions semi-continues dans l’espace des ensembles fermés. Fundam. Math. 18, 148–159 (1932)
Lee, J.M.: Introduction to Smooth Manifolds. Springer, New York (2003)
Lemaréchal, C., Oustry, F., Sagastizábal, C.: The U-lagrangian of a convex function. Trans. Am. Math. Soc. 352(2), 711–729 (2000)
Minty, G.J.: Monotone (nonlinear) operators in Hilbert space. Duke Math. J. 29, 341–346 (1962)
Mordukhovich, B.S.: Variational Analysis and Generalized Differentiation I: Basic Theory. Grundlehren der mathematischen Wissenschaften, vol. 330. Springer, Berlin (2005)
Mordukhovich, B.S.: Variational Analysis and Generalized Differentiation II: Applications. Grundlehren der mathematischen Wissenschaften, vol. 331. Springer, Berlin (2005)
Poliquin, R.A., Rockafellar, R.T.: Prox-regular functions in variational analysis. Trans. Am. Math. Soc. 348, 1805–1838 (1996)
Robinson, S.M.: Equations on monotone graphs. Math. Program. 1–53 (2012). doi:10.1007/s10107-011-0509-4
Rockafellar, R.T.: Favorable classes of Lipschitz continuous functions in subgradient optimization, in progress in nondifferentiable optimization. In: Nurminski, E. (ed.) IIASA Collaborative Proceedings Series, International Institute of Applied Systems Analysis, Laxenburg, Austria, pp. 125–144 (1982)
Rockafellar, R.T.: Lagrange multipliers and optimality. SIAM Rev. 35(2), 183–238 (1993)
Rockafellar, R.T., Wets, R.J.-B.: Variational Analysis. Grundlehren der mathematischen Wissenschaften, vol. 317. Springer, Berlin (1998)
Shi, S.-C.: Semi-continuités génériques de multi-applications. C.R. Acad. Sci. Paris (Série A) 293, 27–29 (1981)
Shiota, M.: Geometry of Subanalytic and Semialgebraic Sets. Birkhäuser, Boston (1997)
van den Dries, L.: Tame Topology and o-Minimal Structures, vol. 248. LMS Lecture Note Series. Cambridge University Press, Cambridge (1998)
van den Dries, L., Miller, C.: Geometric categories and o-minimal structures. Duke Math. J. 84, 497–540 (1996)
Acknowledgments
Thanks to Alex D. Ioffe for suggesting the extension we pursue in Sect. 5.
Author information
Authors and Affiliations
Corresponding author
Additional information
D. Drusvyatskiy: Work of Dmitriy Drusvyatskiy on this paper has been partially supported by the NDSEG grant from the Department of Defense. A. S. Lewis: Research supported in part by National Science Foundation Grant DMS-0806057.
Rights and permissions
About this article
Cite this article
Drusvyatskiy, D., Lewis, A.S. Semi-algebraic functions have small subdifferentials. Math. Program. 140, 5–29 (2013). https://doi.org/10.1007/s10107-012-0624-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10107-012-0624-x