Ttykuu

I am looking for a reference for the following inequality: if $Omega subset [0,1]^d$ satisfies $mboxvol(Omega) leq 1/2$, then
$$ mathcalH^d-1left( partialOmega cap (0,1)^dright) geq c_d mboxvol(Omega)^fracd-1d,$$
where $mathcalH^d-1$ is the $(d-1)-$dimensional Hausdorff measure and $c_d > 0$ is a universal constant depending only on $d$.

This is a variation of the classical isoperimetric inequality with the interesting addition that surface 'on the boundary of the cube' does not count. This seems like it should be known. A discrete version of this inequality (for subsets of the grid graph) was proven by Bollobas and Leader (Edge-isoperimetric inequalities in the grid, Combinatorica 1991) and it seems there is a wealth of information for the discrete case. Has anybody seen the continuous case stated somewhere?

This result is known as the relative isoperimetric inequality, see e.g. Functions of Bounded Variation by L. Ambrosio, N. Fusco and D. Pallara (2000), Eq. (3.43).

It follows from Poincare inequality (see e.g. Eq. (3.41) in the cited book) applied to $chi_Omega$ (the indicator of the set $Omega$). Indeed, by Poincare inequality it holds
$|chi_Omega - mboxvol(Omega)|_L^p((0,1)^d) le C |Dchi_Omega|((0,1)^d)$, where $p=fracdd-1$. Here $|Dchi_Omega|((0,1)^d)=mathcalH^d-1(partial Omega cap (0,1^d))$ if $partial Omega$ is sufficiently smooth.
And
$$
|chi_Omega - mboxvol(Omega)|_p = bigl((1 - mboxvol(Omega))^p mboxvol(Omega) + mboxvol(Omega)^p (1 - mboxvol(Omega))bigr)^1/p ge frac12 mboxvol(Omega)^1/p
$$
since $mboxvol(Omega) le frac12$.