A strong form of the quantitative isoperimetric inequality (Q2510365)

In [Ann. Math. (2) 168, No. 3, 941--980 (2008; Zbl 1187.52009)] \textit{N. Fusco} et al. considered the quantitative version of the isoperirnetric inequality in any dimension and proved that for any Borel set \(E\subset{\mathbb R}^n\) with finite Lebesgue measure \(|E|\) the inequality \(\alpha(E)^2\leq C(n)D(E)\) holds, where \(D(E)=\frac{P(E)-P(B_r)}{r^{n-1}}\) is the isoperimetric deficit of \(E\) and \(P(\cdot)\) denotes the perimeter of a set, \(\alpha(E)=\min\left\{\frac{|E\Delta B_r(y)|}{r^n}:y\in{\mathbb R}^n\right\}\) is the Fraenkel asymmetry of \(E\) with \(|B_r|=|E|\), and \(d(E,F)=|E\Delta F|\) denotes the measure of the symmetric difference between the Borel sets \(E\) and \(F\). In this paper, the authors prove a stronger form of the above quantitative inequality. They show that there exists a constant \(C(n)\) such that for every set \(E\subset\mathbb R^n\) of finite perimeter the inequality \(A(E)^2\leq C(n)D(E)\) holds, where \[ A(E)=\min\limits_{y\in{\mathbb R}^n}\left\{\frac{|E\Delta B_r(y)|}{r^n}+\sqrt{\frac1{r^{n-1}}\int\limits_{\partial^*E} |\nu(E)(x)-\nu_{B_r(y)}(\pi_{y,r}(x))|^2d{\mathcal H}^{n-1}(x)}\right\} \] is the asymmetry index, \(\partial^*E\) is the reduced boundary of \(E\), \(\nu(E)\) is its generalized exterior normal, and \(\pi_{y,r}\) is the projection of \(\mathbb R^n\setminus\{y\}\) onto the boundary \(\partial B_r(y)\) of a ball \(B_r(y)\). In this inequality the perimeter deficit controls both the Fraenkel asymmetry and the oscillation of the boundary.