Title:Existence, Uniqueness and Regularity of the Projection onto Differentiable Manifolds

Abstract:We study the maximal open domain $\cE(M)$ on which the projection map onto a subset $M\subseteq \R^d$ can be defined. We show that if $M$ is a $C^2$ submanifold of $\R^d$, then $\cE(M)$ can be described by a continuous function, and the projection and distance function are differentiable on $\cE(M)$. We obtain formulas for their derivatives. From this we conclude that, for a $C^k$-submanifold $M$ with $k\ge 2$, the projection map is $C^{k-1}$ on $\cE(M)$ and the distance function is $C^k$ on $\cE(M)\setminus M$.
Our results thus extend those from \citet{Foote1984}.