Stability of isoperimetric type inequalities for some Monge-Ampère functionals (Q2249389): Difference between revisions

Let \(\Omega\) be a bounded strictly convex open subset of \(\mathbb{R}^n\), \(p\in[0,n]\) and \(n\geq 2\). This paper is devoted to the study of (stability of) inequalities of the type \[ F_p(\Omega^{\sharp})\leq F_p(\Omega) \leq F_p(\Omega^{*}) \tag{1} \] related to Monge-Ampère functionals, where \(\Omega^{\sharp}\) is a ball having the same mean width as \(\Omega\) and \(\Omega^{*}\) is a ball (or an ellipsoid) having the same measure as \(\Omega\). Here \(F_p\) is a functional of the type \[ F_p(\Omega)= \inf_u \frac{\int_{\Omega}(-u)\det D^2u\,dx}{\|u\|^{n-1}_{L^{p+1}(\Omega)}}, \] where the infimum is taken over all \(u\in\mathcal{C}^2(\Omega)\cap \mathcal{C}(\bar{\Omega})\), \(u\) convex in \(\Omega\), such that \(u|_{\Omega}<0\) and \(u|_{\partial\Omega}=0\). The right hand side inequality in (1) for \(p=n\) and smooth convex domains was proved in [\textit{B. Brandolini} et al., Ann. Inst. Henri Poincaré, Anal. Non Linéaire 26, No. 4, 1265--1275 (2009; Zbl 1171.35370)] using a desymmetrization argument. It asserts that \[ \sigma(\Omega)\leq \sigma(\Omega^{*}), \] where \(\sigma=F_n\) is the eigenvalue of the Monge-Ampère equation with zero Dirichlet boundary conditions. Using similar methods, the authors extend the right hand side inequality in (1) to \(F_p\) for any \(p\in[0,n]\). The proof for the case \(p=n\) contained in the above mentioned work relies on some properties involving a connection between the noticed eigenvalue and the polar body \(\Omega^s\). Taking this fact into account, the authors prove a refined version of the right hand side in (1) and use a stability result for the Blaschke-Santalò inequality due to [\textit{K. J. Böröczky}, Adv. Math. 225, No. 4, 1914--1928 (2010; Zbl 1216.52007)]. For the case \(p=0\), the authors focus on the so called \(n\)-torsional rigidity, \(\tau_n\), proving that it satisfies a Brunn-Minkowski type inequality. They further prove that \[ \tau_n(\Omega)\leq \tau_n(\Omega^{\sharp}). \] Stability for this Urysohn type inequality will be a profound consequence of stability results for the proven Brunn-Minkowski type inequality.