Integral curvature estimates for \(F\)-stable hypersurfaces (Q2486966)

The author considers parametric functionals of the form \({\mathcal{F}}(X)=\int_MF(N)\,d\mu\), with an integrand \(F\in C^\infty(\mathbb{R}^{n+1}\setminus \{0\})\) satisfying the homogeneity condition \(F(tz)=tF(z)\), for all \(z\in S^n,\;t>0\), where \(X:M^n\to \mathbb{R}^{n+1}\) is an immersed hypersurface with Gauss mapping \(N\) and induced measure \(\mu\). Moreover, \(F\) is assumed to be elliptic, i.e. \(F_{zz}=({{\partial^2F}\over{\partial z^\alpha \partial z^\beta}}):z^\perp \to z^\perp \) is a positive definite endomorphism for all \(z\in S^n\). The main result is Theorem 1.1. Let \(n\geq 2\) and let \(p\in (4,4+\sqrt{8/n})\). Then there exists a constant \(\delta(n,p)>0\) with the following property: If \(F\) is an elliptic integrand satisfying \(\| F-A\| _{C^4}<\delta\) and if \(X\) is an \(F\)-stable hypersurface, i.e., a stable immersion of the parametric functional \({\mathcal{F}}(X)=\int_MF(N)\,d\mu\), then we have \(\int_M| S| ^p\,d\mu\leq C(n,p,F) \int_M| \nabla \varphi| ^p \,d\mu\), for all nonnegative test functions \(\varphi\in C_c^\infty(M)\). Here \(| S| ^2=\kappa_1^2+\dots +\kappa_n^2\), where \(\kappa_1,\dots ,\kappa_n\) denote the principal curvatures of \(X\). Applying the above results, the author obtains a lower bound on the covariant derivative of \(S_F\). Next, by using a general identity for the Laplacian of the length of the weighted second fundamental form, he obtains a generalized Simons inequality. As an application, one obtains a new Bernstein result for complete \(F\)-stable hypersurfaces of dimension \(n\leq 5\).