Geometric inequalities and their stabilities for modified quermassintegrals in hyperbolic space (Q6536706)

The authors start considering the hyperbolic space \(\mathbb{H}^{2}=[0,\infty )\times \mathbb{S}^{1}\) equipped with the metric \(\overline{g}=dr^{2}+\phi ^{2}(r)g_{\mathbb{S}_{1}}\), where \(\phi (r)=\mathrm{sinh} \ r\), \(r\in \lbrack 0,\infty )\) , and the flow \(X:M\times \lbrack 0,T)\rightarrow \mathbb{N}^{2}(K)\) defined through \N\[\N\partial _{t}X(x,t)=\left(\frac{\phi ^{\prime }(r)-u}{\kappa -1} -u\right)\nu (x,t),\N\] \Nwhere \(M\) is a smooth and closed hypersurface, with unit outward normal vector \(\nu \) and support function \(u=\left\langle V,\nu \right\rangle \), and \(K\in\{-1,1\}\) is the constant sectional curvature. A smooth and bounded domain \(\Omega \) in \(\mathbb{H}^{2}=[0,\infty )\times \mathbb{S} ^{1}\) is \(h\)-convex (resp., strictly \(h\)-convex) if the principal curvatures of the boundary \(\partial \Omega \) satisfy \(\kappa \geq 1\) (resp., \(\kappa >1\) ). \N\NThe first main result proves that if \(X_{0}:\mathbb{S}^{1}\rightarrow \mathbb{H}^{2}\) is a smooth, strictly \(h\)-convex, and closed curve containing the origin, there exists a unique solution \(X:\mathbb{S} ^{1}\times \lbrack 0,\infty )\rightarrow \mathbb{H}^{2}\) to the above flow such that \(X(\cdot ,0)=X_{0}\). For each \(t\in \lbrack 0,\infty )\), \(\gamma _{t}=X(\mathbb{S}^{1},t)\) is strictly \(h\)-convex and converges smoothly and exponentially to a geodesic circle \(\gamma _{\infty }=X_{\infty }(\mathbb{S} ^{1})\) centered at the origin. For the proof, the authors gather properties of elementary symmetric functions, quermassintegrals and modified quermassintegrals, and of hypersurfaces in hyperbolic spaces. They use a flow for \(h\)-convex curves and they prove different estimates for the flow. \N\NThe second main result proves that if \(\gamma \) be a smooth \(h\)-convex closed curve enclosing a domain \(\Omega \) in \(\mathbb{H}^{2}\), then \N\[ \N\int_{\gamma }(\Phi -u)(\kappa -1)ds+(L[\gamma ]-A[\gamma ])\geq \frac{1}{2} (L[\gamma ]-A[\gamma ])^{2},\N\] \Nwith equality if and only if \(\gamma \) is a geodesic circle centered at the origin. Here \(\Phi (r)=cosh \ r-1\), \(L[\gamma ]\) is the length of \(\gamma \), and \(A[\gamma ]\) the area of the domain \( \Omega \) enclosed by \(\gamma \). The authors use geometric inequalities involving weighted curvature integrals and modified quermassintegrals for \(h\)-convex domains. \N\NThe third main result proves that if \(M\) is a smooth strictly \(h\)-convex closed hypersurface in \(\mathbb{H}^{n+1}\) (\(n\geq 2\)) enclosing a domain \(\Omega \), for any \(1\leq k\leq n-1\), then there exists a constant \(C=C(\rho _{-}(\Omega ),\mathrm{dist}(\overline{\kappa },\partial \Gamma _{k}^{+}),M,n,k)\) and a geodesic sphere \(S_{\mathbb{H}}\) such that \N\[ \N\mathrm{dist}(\partial \Omega ,S_{\mathbb{H}})\leq Cf[\widetilde{W}_{k+1}(\Omega )- \widetilde{f}_{k+1}\circ \widetilde{f}_{k}^{-1}\widetilde{W}_{k}(\Omega )]\N\] \Nand \N\[\N\mathrm{dist}(\partial \Omega ,S_{\mathbb{H}})\leq Cf[\int_{M}(\Phi -u)E_{k}( \widetilde{\kappa })d\mu +(n-2)\widetilde{W}_{k}(\Omega )-\widetilde{h} _{k}\circ \widetilde{f}_{k}^{-1}\overline{W}_{k}(\Omega ))]\N\] \Nhold, where \( \mathrm{dist}(\partial \Omega ,S_{\mathbb{H}})\) is the Hausdorff distance between \( \partial \Omega \) and \(S_{\mathbb{H}}\), \(f(s)=s^{1/2}+s^{1/4},\) \(s\geq 0\), \( \widetilde{W}_{k}\) is a modified quermassintegral for \(h\)-convex domains, \[ \widetilde{h}_{k}(r)=\int_{\partial \overline{B}_{r}}(\Phi -u)E_{k}( \widetilde{\kappa })d\mu +(n-2k)\widetilde{W}_{k}(\overline{B}_{r}),\] \( \widetilde{f}_{k}(r)=\widetilde{W}_{k}(\overline{B}_{r})\), \(\overline{B}_{r}\) being a geodesic ball centered at the origin, and \(\widetilde{f}_{k}^{-1}\) is the inverse function of \(\widetilde{f}_{k}\).