Let the space $\R^n$ be endowed with a Minkowski structure $M$ (that is $M\colon \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\R^n$ of class $C^2$, let $\dist(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 $\dist$ to $\R^n$ (which plays the r\"ole of a signed Minkowski distance to $\partial \Omega$) is of class $C^2$ in a tubular neighborhood of $\partial \Omega$, and that $\dist$ 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 $\dist$ in $\Omega$). %This result provides a good definition of $D\dist$ and $D^2\dist$ %on $\partial \Omega$, and leads up to the generalized Weingarten %map and curvatures in Finslerian geometry. 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), \dist(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.
The distance function from the boundary in a Minkowski space / Crasta, Graziano; Malusa, Annalisa. - In: TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY. - ISSN 0002-9947. - 359:(2007), pp. 5725-5759. [10.1090/S0002-9947-07-04260-2]
The distance function from the boundary in a Minkowski space
CRASTA, Graziano;MALUSA, ANNALISA
2007
Abstract
Let the space $\R^n$ be endowed with a Minkowski structure $M$ (that is $M\colon \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\R^n$ of class $C^2$, let $\dist(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 $\dist$ to $\R^n$ (which plays the r\"ole of a signed Minkowski distance to $\partial \Omega$) is of class $C^2$ in a tubular neighborhood of $\partial \Omega$, and that $\dist$ 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 $\dist$ in $\Omega$). %This result provides a good definition of $D\dist$ and $D^2\dist$ %on $\partial \Omega$, and leads up to the generalized Weingarten %map and curvatures in Finslerian geometry. 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), \dist(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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.