Abstract:An integral inequality is derived for compact submanifolds (with or without boundary) in the unit sphere. This result leads to a characterization of spheres.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to provide the optimal lower bound estimate for the first eigenvalue of the p - Laplacian of compact submanifolds (possibly with non - empty boundaries) in the Euclidean sphere. Specifically, the authors hope to generalize the results of Liu and Zhang to the context of the p - Laplacian and consider compact manifolds with non - empty boundaries.
### Problem Background
In the theory of geometric analysis, there is an intrinsic connection between the geometric properties of Riemann manifolds and the eigenvalues of the p - Laplacian. In particular, for an n - dimensional compact submanifold \(M^n\) immersed in the unit sphere \(S^N\), the relationship between the square length \(S\) of the second fundamental form and the first eigenvalue \(\lambda_{1,p}(M)\) of the p - Laplacian is an important research direction.
### Specific Problem Description
1. **Review of Existing Results**:
- Leung [5] established an integral inequality for the eigenvalues of the usual Laplacian for minimal submanifolds and gave a lower bound estimate of the square length \(S\).
- Liu and Zhang [7] generalized Leung's results to arbitrary submanifolds and proved the corresponding inequality when \(p = 2\).
2. **Objectives of This Paper**:
- Generalize the results of Liu - Zhang to the p - Laplacian, that is, consider a wider range of p values (\(p\geq2\)).
- Consider compact submanifolds with non - empty boundaries and give the corresponding integral inequalities and eigenvalue estimates.
### Main Results
The main result of this paper is Theorem 1.2, which gives an integral inequality involving the first eigenvalue of the p - Laplacian:
\[
\int_M \left( \sqrt{\frac{n - 1}{2}S} - \frac{(n - 1)(n - b(n,p)\lambda^2_p)}{n} \right) |\nabla f|^{2(p - 1)} dM\geq0
\]
where
\[
b(n,p)=\frac{n(p - 1)^2 - 1}{(n - 1)(p - 1)^2p}
\]
If the equality holds, then \(p = 2\). Moreover, under certain conditions, the specific geometric structure of the submanifold, such as a sphere or a hemisphere, can be further determined.
### Applications and Corollaries
As a direct application of Theorem 1.2, the authors obtained an estimate similar to the Leung - type:
\[
S\geq\frac{2\sqrt{n - 1}}{n}\left( n - b(n,p)\lambda^{2/p}_{1,p}(M)\right)
\]
This result not only generalizes the previous conclusions but also provides a more accurate estimate of the eigenvalues of the p - Laplacian, which is helpful for understanding the relationship between the geometric characteristics of compact submanifolds and their eigenvalues.
Through these works, the authors provide a new tool and perspective for studying the geometric and analytical properties of submanifolds in the Euclidean sphere.