Proof of the honeycomb asymptotics for optimal Cheeger clusters (Q2421246): Difference between revisions

Let $\Omega$ be open bounded Lipschitz domain. Define a Cheeger constant of $\Omega$ by $h(\Omega)=\{\frac{\mathrm{Per}(E,\mathbb{R}^2)}{|E|}:E\text{ measurable },E\subseteq\Omega\}$, where $\mathrm{Per}(E,\mathbb{R}^2)$ denotes the perimeter of $E$ in the sense of De Giorgi. Assume $M_k(\Omega)=\inf\{\max\limits_{j=1,\ldots,k} h(\Omega_j):\{\Omega_j\}\in\mathcal{A}_k(\Omega) \}$, where $\mathcal{A}_k(\Omega)$ is the class of families of $k$ Borel sets with finite perimeter which are contained in $\Omega$ and have Lebesgue negligible mutual intersections. Then it is proved that \[ \lim_{k\to\infty}\frac{|\Omega|^{1/2}}{h^{1/2}}M_k(\Omega)=h(H), \] where $H$ is the unit area regular hexagon. Earlier similar result was known with the additional restriction of the convexity of all $\Omega_j$.