Calculus of Variations and Geometric Measure Theory

D. Cherkashin - Y. Teplitskaya - M. Basok

Inverse maximal distance minimizer problem in a finite setup

created by teplitskaya1 on 10 Feb 2023
modified by cherkashin on 12 Feb 2024



Inserted: 10 feb 2023
Last Updated: 12 feb 2024

Year: 2022

ArXiv: 2212.01903 PDF


Consider a compact $M \subset \mathbb{R}^d$ and $r > 0$. A maximal distance minimizer problem is to find a connected compact set $\Sigma$ of the minimal length, such that \[ \max_{y \in M} dist (y, \Sigma) \leq r. \] The inverse problem is to determine whether a given compact connected set $\Sigma$ is a minimizer for some compact $M$ and some positive $r$.

Let a Steiner tree $St$ with $n$ terminals be unique for its terminal vertices. The first result of the paper is that $St$ is a minimizer for a set $M$ of $n$ points and a small enough positive $r$. It is known that in the planar case a general Steiner tree (on a finite number of terminals) is unique. It is worth noting that a Steiner tree on $n$ terminal vertices can be not a minimizer for any $n$ point set $M$ starting with $n = 4$; the simplest such example is a Steiner tree for the vertices of a square.

It is known that a planar maximal distance minimizer is a finite union of simple curves. The second result is an example of a minimizer with an infinite number of corner points (points with two tangent rays which do not belong to the same line), which means that this minimizer can not be represented as a finite union of smooth curves.

Our third result is that every injective $C^{1,1}$-curve $\Sigma$ is a minimizer for a small enough $r>0$ and $M = \overline{B_r(\Sigma)}$. The proof is based on analogues result by Tilli on average distance minimizers. Finally, we generalize Tilli's result from the plane to $d$-dimensional Euclidean space.

Keywords: inverse problem, Steiner problem, explicit solution, maximal distance minimizer