English

Rigidity for measurable sets

Metric Geometry 2021-10-26 v2

Abstract

Let ΩRd\Omega \subset \mathbb{R}^d be a set with finite Lebesgue measure such that, for a fixed radius r>0r>0, the Lebesgue measure of ΩBr(x)\Omega \cap B_r (x) is equal to a positive constant when xx varies in the essential boundary of Ω\Omega. We prove that Ω\Omega is a ball (or a finite union of equal balls) provided it satisfies a nondegeneracy condition, which holds in particular for any set of diameter larger than rr which is either open and connected, or of finite perimeter and indecomposable. The proof requires reinventing each step of the moving planes method by Alexandrov in the framework of measurable sets.

Keywords

Cite

@article{arxiv.2102.12389,
  title  = {Rigidity for measurable sets},
  author = {Dorin Bucur and Ilaria Fragalà},
  journal= {arXiv preprint arXiv:2102.12389},
  year   = {2021}
}
R2 v1 2026-06-23T23:28:45.504Z