
Journal of Convex Analysis 22 (2015), No. 4, 969997 Copyright Heldermann Verlag 2015 Differentiability of the Metric Projection onto a Convex Set with Singular Boundary Points Miroslav Silhavý Mathematical Institute, Academy of Sciences, Zitná 25, 115 67 Prague 1, Czech Republic silhavy@math.cas.cz [Abstractpdf] The differentiability of the metric projection $P$ onto a closed convex set $K$ in $\mathbf{R}^n$ is examined. The boundary $\partial K$ can have singular points of orders $k=1,0,1\ldots,n1$. Here $k=1$ corresponds to the interior points of $K$, $k=0$ to regular points of the boundary (i.e., faces), $k=1,\ldots,n2$ to edges and $k=n1$ to vertices. It is assumed that for every $k$ the set of all singular points forms an $nk1$ dimensional manifold $T_{k+1}$ (possibly empty) of class $p\geq 2$. Under a mild continuity assumption it is shown that then $P$ is of class $p1$ on an open set $W$ whose complement has null Lebesgue measure. The set $W$ is the union of the interiors of inverse images of $T_{k+1}$ under $P$. Moreover, a formula for the Fr\'echet derivative D$P$ on each of these regions is given that relates D$P$ to the second fundamental form (i.e., the curvature) of the manifold $T_{k+1}$. The results are illustrated (a) on the metric projection $P$ from the space Sym of symmetric matrices onto the convex cone Sym$^+$ of positive semidefinite symmetric matrices and (b) on the metric projection from Sym onto the unit ball under the operator norm. We prove the indefinite differentiability of these projections on explicitly determined open sets with complements of measure $0$ and give explicit formulas for the derivatives. In (a) the method of proof, based on the above general result, is different from the previous treatment of J. Malick and H. S. Sendov [Clarke Generalized Jacobian of the Projection onto the Cone of Positive Semidefinite Matrices, SetValued Analysis 14, (2006) 273293] and applies to situations as described by C. Padovani and M. \v Silhav\'y [On the derivative of the stressstrain relation in a notension material (2015), in preparation] where the special methods of Malick and Sendov cited above cannot be used. The case (b) is new. Keywords: Metric projection, Fr\'echet derivative, normal cone. MSC: 26B25; 26B05, 52A20 [ Fulltextpdf (223 KB)] for subscribers only. 