The distance function from the boundary in a Minkowski space

Abstract

Let the space ${\mathbb{R}}^n$ be endowed with a Minkowski structure $M$ (that is $M:{\mathbb{R}}^n\to [0,+\infty )$ is the gauge function of a compact convex set having the origin as an interior point, and with boundary of class $C^2$), and let $d^M(x,y)$ be the (asymmetric) distance associated to $M$. Given an open domain $\Omega \subset {\mathbb{R}}^n$ of class $C^2$, let $d_{\Omega }(x):=\inf \{d^M(x,y);y\in \partial \Omega \}$ be the Minkowski distance of a point $x\in \Omega$ from the boundary of $\Omega$. We prove that a suitable extension of $d_{\Omega }$ to ${\mathbb{R}}^n$ (which plays the röle of a signed Minkowski distance to $\partial \Omega$) is of class $C^2$ in a tubular neighborhood of $\partial \Omega$, and that $d_{\Omega }$ is of class $C^2$ outside the cut locus of $\partial \Omega$ (that is the closure of the set of points of non--differentiability of $d_{\Omega }$ in $\Omega$). In addition, we prove that the cut locus of $\partial \Omega$ has Lebesgue measure zero, and that $\Omega$ can be decomposed, up to this set of vanishing measure, into geodesics starting from $\partial \Omega$ and going into $\Omega$ along the normal direction (with respect to the Minkowski distance). We compute explicitly the Jacobian determinant of the change of variables that associates to every point $x\in \Omega$ outside the cut locus the pair $(p(x),d_{\Omega }(x))$, where $p(x)$ denotes the (unique) projection of $x$ on $\partial \Omega$, and we apply these techniques to the analysis of PDEs of Monge-Kantorovich type arising from problems in optimal transportation theory and shape optimization.

34 pages

References in corpus (2)

• Hamilton-Jacobi Equations and Distance Functions on Riemannian Manifolds
• On fine differentiability properties of horizons and applications to Riemannian geometry

Cited by in corpus (15)

• Sharp bounds for the first eigenvalue and the torsional rigidity related to some anisotropic operators
• On the second Dirichlet eigenvalue of some nonlinear anisotropic elliptic operators
• $L^1$ Hardy inequalities with weights
• Radial symmetry of solutions to anisotropic and weighted diffusion equations with discontinuous nonlinearities
• A nonhomogeneous boundary value problem in mass transfer theory
• Sharp estimates for the first Robin eigenvalue of nonlinear elliptic operators
• Distance functions with dense singular sets
• A variational approach to the macroscopic electrodynamics of anisotropic hard superconductors
• A sharp uniqueness result for a class of variational problems solved by a distance function
• A characterization of cut locus for $C^1$ hypersurfaces
• A new symmetry criterion based on the distance function and applications to PDE's
• Existence and uniqueness of solutions for a boundary value problem arising from granular matter theory
• On the first Robin eigenvalue of the Finsler $p$-Laplace operator as $p\to 1$
• Nonlocal equations with gradient constraints
• Delta-convex structure of the singular set of distance functions