On the Minkowski-type inequality for outward minimizing hypersurfaces in Schwarzschild space (Q1751584): Difference between revisions

For a convex hypersurface \(M\) in \(\mathbb{R}^n\) the classical Minkowski inequality states that \[ \int_{M}Hd\mu\geq (n-1)\text{area}(\mathbb{S}^{n-1})^{1/(n-1)}\,\text{area}(M)^{(n-2)/(n-1)}, \] where \(H\) denotes the mean curvature of \(M\). Using the theory of inverse mean curvature flow, \textit{P. Guan} and \textit{J. Li} [Adv. Math. 221, No. 5, 1725--1732 (2009; Zbl 1170.53058)] generalized this to mean convex and star-shaped surfaces. \textit{G. Huisken} [``Inverse mean curvature flow and isoperimetric inequalities'', \url{https://video.ias.edu/node/233}] later proved that the assumption that \(M\) is star-shaped can be substituted by the assumption that \(M\) is outward minimizing. The author proves a sharp Minkowski-type inequality for outward minimizing hypersurfaces in Schwarzschild space. Recall that the Schwarzschild space is the \(n\)-dimensional Riemannian manifold \((M,g)\) given by \[ M=[s_0,\infty)\times\mathbb{S}^{n-1},\quad\quad g=\frac{1}{1-2ms^{2-n}}ds^2+s^2g_{\mathbb{S}^{n-1}}, \] where \(g_{\mathbb{S}^{n-1}}\) denotes the canonical round metric on \(\mathbb{S}^{n-1}\), \(m>0\) is a given constant and \(s_0\) the unique positive solution of \(1-2ms_0^{2-n}=0\). The sphere \(\mathbb{S}_{r_0}\), where \(r_0=(m/2)^{1/(n-2)}\), is called the horizon of the Schwarzschild space. The main result states that for any bounded domain \(\Omega\) with smooth and outward minimizing boundary in \((M^n,g)\) (and some additional assumption on the boundary hypersurface if \(n\geq 8\)) we have \[ \tfrac{1}{(n-1)\omega_{n-1}}\int_{\Sigma}f\,H\,d\mu\geq \left(\frac{\text{area}(\Sigma)}{\omega_{n-1}}\right)^{(n-2)/(n-1)}-2m.\tag{1} \] Here \(f\) is defined to be \(f(x)=\sqrt{1-2ms^{2-n}}\) for any \(x=(s,\theta)\in M^n\). Furthermore, the author gives a characterization of equality in (1). The proof of this Minkowski-type inequality relies on the weak solution of inverse mean curvature flow constructed by \textit{G. Huisken} and \textit{T. Ilmanen} [J. Differ. Geom. 59, No. 3, 353--437 (2001; Zbl 1055.53052)].