摘要 Abstract
对于定义在$\mathbb{R}^d$上的固定且紧支的概率测度$\mu$,我们研究了在Hausdorff 1-测度$\mathcal{H}^1(\Sigma)\leq l$的约束下,所有紧致、连通的$\Sigma\subseteq \mathbb{R}^d$上最小化$p$次幂平均距离泛函的问题。该问题被称为平均距离问题,最初由Buttazzo、Oudet和Stepanov在2002年提出,并受到了大量研究的关注。我们将通过分析之前由Hayase和两位作者引入的重心场方法,提供一种新颖的研究途径。这使得我们能够对当$p=2$以及$p>\frac{1}{2}(3+\sqrt{5})\approx 2.618$时任意维数下的极小化器提供完整的拓扑描述,这是首次包含$d>2$情形的结果。
For a fixed, compactly supported probability measure $\mu$ on $\mathbb{R}^d$, we consider the problem of minimizing the $p^{\mathrm{th}}$-power average distance functional over all compact, connected $\Sigma \subseteq \mathbb{R}^d$ with Hausdorff 1-measure $\mathcal{H}^1(\Sigma) \leq l$. This problem, known as the average distance problem, was first studied by Buttazzo, Oudet, and Stepanov in 2002, and has undergone a considerable amount of research since. We will provide a novel approach to studying this problem by analyzing it using the so-called barycentre field introduced previously by Hayase and two of the authors. This allows us to provide a complete topological description of minimizers in arbitrary dimension when $p = 2$ and $p > \frac{1}{2}(3 + \sqrt{5}) \approx 2.618$, the first such result which includes the case when $d > 2$.