Local differentiability of distance functions

TLDR: In this article, a local theory was developed for the property of a distance function being continuously differentiable outside of C on some neighborhood of a point x ∈ C, which is equivalent to the prox-regularity of C at x, a condition on normal vectors that is commonly fulfilled in variational analysis and has the advantage of being verifiable by calculation.

Abstract: Recently Clarke, Stern and Wolenski characterized, in a Hilbert space, the closed subsets C for which the distance function dC is continuously differentiable everywhere on an open “tube” of uniform thickness around C Here a corresponding local theory is developed for the property of dC being continuously differentiable outside of C on some neighborhood of a point x ∈ C This is shown to be equivalent to the prox-regularity of C at x, which is a condition on normal vectors that is commonly fulfilled in variational analysis and has the advantage of being verifiable by calculation Additional characterizations are provided in terms of dC being locally of class C 1+ or such that dC + σ| · |2 is convex around x for some σ > 0 Prox-regularity of C at x corresponds further to the normal cone mapping NC having a hypomonotone truncation around x, and leads to a formula for PC by way of NC The local theory also yields new insights on the global level of the Clarke-Stern-Wolenski results, and on a property of sets introduced by Shapiro, as well as on the concept of sets with positive reach considered by Federer in the finite dimensional setting