Wang, Qiaoling; Xia, Changyu On the Ashbaugh-Benguria conjecture about lower-order Dirichlet eigenvalues of the Laplacian. (English) Zbl 1487.35261 Anal. PDE 14, No. 7, 2069-2078 (2021). Suppose \(\Omega \subset \mathbb{R}^n\) is bounded and \(u\) solves \[ \begin{cases} \Delta u = -\lambda u & \text{ in }\Omega,\\ u = 0 &\text{ on }\partial \Omega. \end{cases} \] The spectrum generated via the PDE is real and discrete and \[ 0<\lambda_1<\lambda_2\le \lambda_3 \ldots \rightarrow \infty \] with the convention that the eigenvalues are repeated with multiplicities. If \(\Omega=B_1\), \[ \lambda_1(B_1)=j_{\frac{n}{2}-1, 1}^2 \] \[ \lambda_2(B_1)=\lambda_3(B_1)=\ldots=\lambda_{n+1}(B_1)= j_{\frac{n}{2}, 1}^2 \] where \(j_{p,k}\) represents the \(k^{th}\) positive root of the Bessel function \(J_p(x)\) of the first kind with order \(p\). In the late \(19^{th}\) century Lord Rayleigh conjectured that the first eigenvalue under a fixed mass constraint is minimized by the ball and this is the Faber-Krahn inequality which was independently proved by Faber and Krahn in the 1920s: \[ \lambda_1(\Omega) \ge \Big (\frac{|B_1|}{|\Omega|} \Big)^{\frac{2}{n}} j_{\frac{n}{2}-1, 1}^2 \] with equality if and only if \(\Omega\) is a ball. Ashbaugh and Benguria conjectured in 1993 that \[ \frac{\lambda_1}{\lambda_2-\lambda_1}+ \dots +\frac{\lambda_1}{\lambda_{n+1}-\lambda_1} \ge \frac{n}{\big(\frac{j_{\frac{n}{2}, 1}}{j_{\frac{n}{2}-1, 1}} \big)^2-1}, \] where equality holds if and only if \(\Omega\) is a ball.In the article, Wang and Xia prove: if \(\Omega\) is bounded with a smooth boundary, \[ \frac{\lambda_1}{\lambda_2-\lambda_1}+ \dots +\frac{\lambda_1}{\lambda_{n}-\lambda_1} \ge \frac{n-1}{\big(\frac{j_{\frac{n}{2}, 1}}{j_{\frac{n}{2}-1, 1}} \big)^2-1}; \] also, the authors identify that equality holds if and only if \(\Omega\) is a ball. The method contains the variational representation of the eigenvalues, the identification of a convenient basis, and a suitable test function constructed via \[ \frac{J_{\frac{n}{2}}(\beta t)}{J_{\frac{n}{2}-1}(\alpha t)}. \] A differential inequality in a paper by M. S. Ashbaugh and R. D. Benguria [Ann. Math. (2) 135, No. 3, 601–628 (1992; Zbl 0757.35052)] enters the proof in a central way. Moreover, Wang and Xia generalize the main result to linear operators which satisfy some assumptions. Reviewer: Emanuel Indrei (West Lafayette) Cited in 1 Document MSC: 35P15 Estimates of eigenvalues in context of PDEs 35J25 Boundary value problems for second-order elliptic equations 58C40 Spectral theory; eigenvalue problems on manifolds Keywords:Ashbaugh-Benguria conjecture; isoperimetric inequality; eigenvalues; Dirichlet problem; Dirichlet eigenvalues; Payne-Pólya-Weinberger conjecture Citations:Zbl 0757.35052 PDFBibTeX XMLCite \textit{Q. Wang} and \textit{C. Xia}, Anal. PDE 14, No. 7, 2069--2078 (2021; Zbl 1487.35261) Full Text: DOI arXiv References: [1] 10.1007/978-94-011-4577-0_2 · doi:10.1007/978-94-011-4577-0_2 [2] 10.1090/S0273-0979-1991-16016-7 · Zbl 0736.35075 · doi:10.1090/S0273-0979-1991-16016-7 [3] 10.1007/BF02099533 · Zbl 0758.34075 · doi:10.1007/BF02099533 [4] 10.2307/2946578 · Zbl 0757.35052 · doi:10.2307/2946578 [5] 10.1137/0524091 · Zbl 0809.35067 · doi:10.1137/0524091 [6] 10.1137/0524034 · Zbl 0796.35122 · doi:10.1137/0524034 [7] 10.1090/S0002-9947-00-02605-2 · Zbl 0981.53023 · doi:10.1090/S0002-9947-00-02605-2 [8] 10.1215/S0012-7094-07-14022-5 · Zbl 1189.58014 · doi:10.1215/S0012-7094-07-14022-5 [9] 10.1007/BF00276187 · Zbl 0125.14301 · doi:10.1007/BF00276187 [10] ; Chavel, Eigenvalues in Riemannian geometry. Pure Appl. Math., 115 (1984) · Zbl 0551.53001 [11] 10.1016/j.jde.2010.10.009 · Zbl 1206.35183 · doi:10.1016/j.jde.2010.10.009 [12] ; Chiti, Boll. Un. Mat. Ital. A (5), 18, 144 (1981) · Zbl 0455.35092 [13] 10.1137/0514090 · Zbl 0535.35064 · doi:10.1137/0514090 [14] ; Faber, S.-B. Math.-Phys. Kl. Bayer. Akad. Wiss., 1923, 169 (1923) [15] 10.1007/3-7643-7706-2 · doi:10.1007/3-7643-7706-2 [16] 10.1512/iumj.1980.29.29040 · Zbl 0454.35064 · doi:10.1512/iumj.1980.29.29040 [17] 10.1007/BF01208645 · JFM 51.0356.05 · doi:10.1007/BF01208645 [18] ; Krahn, Acta Comm. Univ. Tartu (Dorpat), A9, 1 (1926) [19] 10.1016/0022-0396(80)90108-4 · Zbl 0421.35066 · doi:10.1016/0022-0396(80)90108-4 [20] ; Payne, C. R. Acad. Sci. Paris, 241, 917 (1955) · Zbl 0065.08801 [21] 10.1002/sapm1956351289 · Zbl 0073.08203 · doi:10.1002/sapm1956351289 [22] ; Schoen, Lectures on differential geometry. Conf. Proc. Lect. Notes Geom. Topol., 1 (1994) · Zbl 0830.53001 [23] 10.1512/iumj.1954.3.53017 · doi:10.1512/iumj.1954.3.53017 [24] 10.1002/sapm1969483281 · Zbl 0183.11005 · doi:10.1002/sapm1969483281 [25] 10.1515/zna-1967-0203 · doi:10.1515/zna-1967-0203 [26] 10.1512/iumj.1956.5.55021 · doi:10.1512/iumj.1956.5.55021 [27] ; Xia, Eigenvalues on Riemannian manifolds. Brazil. Math. Colloq., 29 (2013) This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.