Dimensional lower bounds for contact surfaces of Cheeger sets (Q2065070)

The Cheeger problem for a bounded open set \(\Omega \subset \mathbb R^n\) consists in determining the minimum of the functional \[ \mathcal{F}(E)=\frac{P(E)}{\mathcal{L}^n(E)}, \] among all sets \(E\subset \Omega\) of finite perimeter, where \(P(E)\) denotes the distributional perimeter of \(E\). \\ The contact surface of a Cheeger set \(E\subset\Omega\) is the set of points \(\partial E \cap\partial \Omega\), where the two boundaries intersect. In this paper it is proved a lower bound on the Hausdorff dimension of the contact surface \(\partial E \cap\partial \Omega\). The main result of the paper gives sufficient conditions to infer that the contact surface has positive \((n-1)\) dimensional Hausdorff measure. Finally, by explicit examples it is proved that such bounds are optimal in dimension two.