Abstract:We study the first nonzero eigenvalues for the $p$-Laplacian on quaternionic Kähler manifolds. Our first result is a lower bound for the first nonzero closed (Neumann) eigenvalue of the $p$-Laplacian on compact quaternionic Kähler manifolds. Our second result is a lower bound for the first Dirichlet eigenvalue of the $p$-Laplacian on compact quaternionic Kähler manifolds with smooth boundary. Our results generalize corresponding results for the Laplacian eigenvalues on quaternionic Kähler manifolds proved in [22].
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to estimate the lower bound of the first non - zero eigenvalue of the \(p\)-Laplacian operator on quaternionic Kähler manifolds. Specifically, the author studies the first non - zero eigenvalue of the \(p\)-Laplacian operator on compact quaternionic Kähler manifolds and gives the lower - bound estimates under the closed (Neumann) boundary condition and the Dirichlet boundary condition. These results generalize the previous research achievements on Laplacian eigenvalues.
### Main Results
1. **Lower Bound of Closed (Neumann) Eigenvalue**:
- For a compact quaternionic Kähler manifold \((M^m, g, I, J, K)\) with quaternionic dimension \(m\geq2\), diameter \(D\), and scalar curvature bounded below by \(16m(m + 2)\kappa\). Let \(\mu_{1,p}(M)\) be the first non - zero eigenvalue of the \(p\)-Laplacian operator (if \(M\) has a strictly convex boundary, consider the Neumann boundary condition). Assume \(1 < p\leq2\), then:
\[
\mu_{1,p}(M)\geq\bar{\mu}_1(m, p, \kappa, D)
\]
where \(\bar{\mu}_1(m, p, \kappa, D)\) is the first non - zero Neumann eigenvalue of the one - dimensional eigenvalue problem
\[
(p - 1)|\phi'|^{p - 2}\phi''-(4(m - 1)T_\kappa+ 3T_{4\kappa})|\phi'|^{p - 2}\phi'=-\mu|\phi|^{p - 2}\phi
\]
on the interval \([-D/2, D/2]\), and \(T_\kappa(t)\) is defined in (1.9).
2. **Lower Bound of Dirichlet Eigenvalue**:
- For a compact quaternionic Kähler manifold \((M^m, g, I, J, K)\) with a smooth boundary, quaternionic dimension \(m\geq2\), scalar curvature bounded below by \(16m(m + 2)\kappa\), and the second fundamental form bounded below by \(\Lambda\). Let \(\lambda_{1,p}(M)\) be the first Dirichlet eigenvalue of the \(p\)-Laplacian operator. Assume \(1 < p<\infty\), then:
\[
\lambda_{1,p}(M)\geq\bar{\lambda}_1(m, p, \kappa, \Lambda, R)
\]
where \(\bar{\lambda}_1(m, p, \kappa, \Lambda, R)\) is the first eigenvalue of the one - dimensional eigenvalue problem
\[
(p - 1)|\phi'|^{p - 2}\phi''-(4(m - 1)T_{\kappa,\Lambda}+ 3T_{4\kappa,\Lambda})|\phi'|^{p - 2}\phi'=-\lambda|\phi|^{p - 2}\phi
\]
on the interval \([0, R]\), \(R\) represents the inner radius of \(M\), and \(T_{\kappa,\Lambda}(t)\) is defined in (1.5).
### Significance
These results not only provide important eigenvalue estimates for the \(p\)-Laplacian operator on quaternionic Kähler manifolds but also generalize the previous related research on Riemannian manifolds and Kähler manifolds. These estimates have wide applications in fields such as geometric analysis and partial differential equations.