A subset X of a real Hilbert space H is said to be proximally smooth provided that the function dX:H→Rd_X : H \to R (the distance to X) is continuously differentiable on an open tube U around X. It is proven that this property is equivalent to dXd_X having a nonempty proximal subgradient at every point of U, and that the (Gâteaux = Fréchet) derivative is locally Lipschitz on U. The Lipschitz behavior of the derivative is a consequence of the fact that under proximal smoothness, the metric projection onto X is single valued and Lipschitz on U. Alternate characterizations of proximal smoothness are given as well, in terms of properties of the proximal normal cone multifunction on X and on nearby closed neighborhoods of X. In case X is weakly closed, the list of equivalences is extended to include each point of U admitting a unique closest point in X. Further specializations are given in finite dimensions. In that setting, we discuss properties of locally Lipschitz real valued functions whose epigraphs are proximally smooth in a local sense. It is demonstrated that this function class coincides with the lower–C2C^2 functions studied by Rockafellar.

Contact details are reproduced from the original publication and may be historical.

F. H. Clarke

Centre de recherches mathématiques, Université de Montréal, Montréal, Québec H3C 3J7, Canada.

R. J. Stern

Department of Mathematics and Statistics, Concordia University, Montreal, Quebec H4B 1R6, Canada.

P. R. Wolenski

Department of Mathematics, Louisiana State University, Baton Rouge, Louisiana 70803, USA.

  1. D. Azé and C. D. Horvath: A remark on extension of Lipschiz multifunctions. (to appear).Google Scholar
  2. J. M. Borwein and S. Fitzpatrick: Existence of nearest points in Banach spaces. Can. J. Math., 51:702–720, 1989.https://doi.org/10.4153/CJM-1989-032-7Google Scholar
  3. J. M. Borwein and J. R. Giles: The proximal normal formula in Banach spaces. Trans. Amer. Math. Soc., 302:371–381, 1987.https://doi.org/10.1090/S0002-9947-1987-0887515-5Google Scholar
  4. F. H. Clarke: Methods of Dynamic and Nonsmooth Optimization. Volume 57 of CBMS-NSF Regional Conference Series in Applied Mathematics, S.I.A.M., Philadelphia, 1989.Google Scholar
  5. F. H. Clarke: Optimization and Nonsmooth Analysis. Wiley-Interscience, New York, 1983. Republished as Vol. 5 of Classics in Applied Mathematics, S.I.A.M., Philadelphia, 1990.Google Scholar
  6. F. H. Clarke, Yu. S. Ledyaev, and P. R. Wolenski: Proximal analysis and minimization principles. J. Math. Anal. Appl. to appear.Google Scholar
  7. F. H. Clarke, R. J. Stern, and P. R. Wolenski: Subgradient criteria for monotonicity, the Lipschitz condition, and convexity. Can. J. Math., 45:1167–1183, 1993.https://doi.org/10.4153/CJM-1993-065-xGoogle Scholar
  8. F.H. Clarke: Generalized gradients and applications. Trans. Amer. Math. Soc., 205:247–262, 1975.https://doi.org/10.1090/S0002-9947-1975-0367131-6Google Scholar
  9. J. M. Danskin: The Theory of Max Min. Springer Verlag, New York, 1967.Google Scholar
  10. I. Ekeland: On the variational principle. J. Math. Anal. Appl., 47:324–353, 1974.https://doi.org/10.1016/0022-247X(74)90025-0Google Scholar
  11. J. B. Hiriart–Urruty: Extension of Lipschitz functions. J. Math. Anal. Appl., 77:539–554, 1980.https://doi.org/10.1016/0022-247X(80)90246-2Google Scholar
  12. J. B. Hiriart–Urruty: Generalized differentiability, duality and optimization for problems dealing with differences of convex functions. Lecture Notes in Economics and Mathematical Systems, 256:37–70, 1984.https://doi.org/10.1007/978-3-642-45610-7_3Google Scholar
  13. A. Ioffe: Approximate subdifferentials and applications II. Mathematika, 33:111–128, 1986.https://doi.org/10.1112/S0025579300013930Google Scholar
  14. K. S. Lau: Almost Chebychev subsets in relexive Banach spaces. Indiana Univ. Math. J., 2:791–795, 1978.https://doi.org/10.1512/iumj.1978.27.27051Google Scholar
  15. P. Loewen: Optimal Control via Nonsmooth Analysis. CRM Proceedings and Lecture Notes, Amer. Math. Soc., 1993.https://doi.org/10.1090/crmp/002Google Scholar
  16. D. Preiss: Differentiability of Lipschitz functions on Banach spaces. J. Funct. Anal, 91:312–345, 1990.https://doi.org/10.1016/0022-1236(90)90147-DGoogle Scholar
  17. R. T. Rockafellar: Clarke’s tangent cones and boundaries of closed sets in R n. Nonlinear Analysis, 3:145–154, 1979.https://doi.org/10.1016/0362-546X(79)90044-0Google Scholar
  18. R. T. Rockafellar: Favorable classes of Lipschitz continuous functions in subgradient optimization. in Nondifferentiable Optimization, E. Nurminski, Ed., Permagon Press, New York, 1982.Google Scholar
  19. R. T. Rockafellar: The Theory of Subgradients and its Applications to Problems of Optimization: Convex and Nonconvex Functions. Heldermann Verlag, Berlin, 1981.Google Scholar
  20. J. E. Spingarn: Submonotone subdifferentials of Lipschitz functions. Trans. Amer. Math. Soc., 264:77–89, 1981.https://doi.org/10.1090/S0002-9947-1981-0597868-8Google Scholar
  21. J.-P. Vial: Strong and weak convexity of sets and functions. Math. Ops. Res., 8:231–259, 1983.https://doi.org/10.1287/moor.8.2.231Google Scholar

F. H. Clarke, R. J. Stern, P. R. Wolenski. “Proximal Smoothness and the Lower-C^2 Property.” Journal of Convex Analysis 2 (1995), No. 1&2, 117–144. https://doi.org/10.68381/jca02008