We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.OC

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Optimization and Control

Title: Regularity of distance functions from arbitrary closed sets

Abstract: We investigate the distance function $\boldsymbol{\delta}_{K}^{\phi}$ from an arbitrary closed subset $ K $ of a~finite-dimensional Banach space $ (\mathbf{R}^{n}, \phi) $, equipped with a uniformly convex $\mathcal{C}^{2}$-norm $ \phi $. These spaces are known as \emph{Minkowski spaces} and they are one of the fundamental spaces of Finslerian geometry (see this https URL)80025-6). We prove that the gradient of $\boldsymbol{\delta}_{K}^{\phi}$ satisfies a Lipschitz property on the complement of the $\phi$-cut-locus of $K$ (a.k.a. the medial axis of $\mathbf{R}^{n} \sim K$) and we prove a~structural result for the set of points outside $K$ where $\boldsymbol{\delta}_{K}^{\phi}$ is pointwise twice differentiable, providing an answer to a question raised by Hiriart-Urruty (see this https URL). Our results give sharp generalisations of some classical results in the theory of distance functions and they are motivated by critical low-regularity examples for which the available results gives no meaningful or very restricted informations. The results of this paper find natural applications in the theory of partial differential equations and in convex geometry.
Comments: Major revision
Subjects: Optimization and Control (math.OC); Analysis of PDEs (math.AP)
MSC classes: 35F20, 49L25
Cite as: arXiv:2106.15955 [math.OC]
  (or arXiv:2106.15955v3 [math.OC] for this version)

Submission history

From: Sławomir Kolasiński [view email]
[v1] Wed, 30 Jun 2021 10:07:38 GMT (49kb,D)
[v2] Fri, 17 Sep 2021 13:43:44 GMT (49kb,D)
[v3] Fri, 25 Feb 2022 14:06:24 GMT (54kb,D)

Link back to: arXiv, form interface, contact.