English

Strong stability of convexity with respect to the perimeter

Optimization and Control 2023-11-29 v2

Abstract

Let ERnE\subset \mathbb R^n, n2n\ge 2, be a set of finite perimeter with E=B|E|=|B|, where BB denotes the unit ball. When n=2n=2, since convexification decreases perimeter (in the class of open connected sets), it is easy to prove the existence of a convex set FF, with E=F|E|=|F|, such that P(E)P(F)cEΔF,c>0. P(E) - P(F) \ge c\,|E\Delta F|, \qquad c>0. Here we prove that, when n3n\ge 3, there exists a convex set FF, with E=F|E|=|F|, such that P(E)P(F)c(n)f(EΔF),c(n)>0,f(t)=tlogt for t1. P(E) - P(F) \ge c(n) \,f\big(|E\Delta F|\big), \qquad c(n)>0,\qquad f(t)=\frac{t}{|\log t|} \text{ for }t \ll 1. Moreover, one can choose FF to be a small C2C^2-deformation of the unit ball. Furthermore, this estimate is essentially sharp as we can show that the inequality above fails for f(t)=t.f(t)=t. Interestingly, the proof of our result relies on a new stability estimate for Alexandrov's Theorem on constant mean curvature sets.

Keywords

Cite

@article{arxiv.2307.01633,
  title  = {Strong stability of convexity with respect to the perimeter},
  author = {Alessio Figalli and Yi Ru-Ya Zhang},
  journal= {arXiv preprint arXiv:2307.01633},
  year   = {2023}
}

Comments

17 Pages