Modulus of Concavity and Fundamental Gap Estimates on Surfaces

Gabriel Khan,Malik Tuerkoen,Guofang Wei
2023-06-10
Abstract:The fundamental gap of a domain is the difference between the first two eigenvalues of the Laplace operator. In a series of recent and celebrated works, it was shown that for convex domains in $\mathbb R^n$ and $\mathbb S^n$ with Dirichlet boundary condition the fundamental gap is at least $\frac{3 \pi^2}{D^2}$ where $D$ denotes the diameter of the domain. The key to these results is to establish a strong concavity estimate for the logarithm of the first eigenfunction. In this article, we prove corresponding log-concavity and fundamental gap estimates for surfaces with non-constant positive curvature via a two-point maximum principle. However, the curvature not being constant greatly increases the difficulty of the computation.
Differential Geometry,Analysis of PDEs,Spectral Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is how to estimate the fundamental gap on surfaces with very positive curvature. Specifically, the authors focus on how to obtain a lower bound estimate of the fundamental gap by proving the log - concavity estimate on such surfaces. The fundamental gap refers to the difference between the first and second eigenvalues of a region. For convex domains in the Euclidean space \( \mathbb{R}^n \) and on the unit sphere \( S^n \), it has been proven that the fundamental gap is at least \( \frac{3\pi^2}{D^2} \), where \( D \) is the diameter of the region. However, when considering surfaces with very positive curvature, this problem becomes more complicated because the non - constancy of the curvature increases the difficulty of calculation. The authors in this paper use a two - point maximum principle to overcome these difficulties and provide stronger fundamental gap estimates for surfaces with very positive curvature. They prove that under certain conditions, for all convex domains \( \Omega \) with diameter not exceeding \( \frac{\pi}{2\sqrt{\kappa}} \), the fundamental gap \( \Gamma(\Omega) \) satisfies the following inequality: \[ \Gamma(\Omega) \geq \frac{3\pi^2}{D^2}-(12 + 3\pi)(\kappa-\kappa) \] where \( \kappa \) and \( \kappa \) represent the upper and lower bounds of the curvature respectively, and \( \kappa \) satisfies certain conditions. This result not only recovers the previous work on the unit sphere but also provides a new estimation method for surfaces with very positive curvature.