The Ashbaugh--Benguria reciprocal-gap conjecture for Dirichlet eigenvalues

We prove the Ashbaugh--Benguria reciprocal-gap conjecture for the Dirichlet Laplacian in every dimension $N\ge2$. Specifically, if $\Omega\subset\mathbb R^N$ is a bounded domain and $$0<\lambda_1(\Omega)<\lambda_2(\Omega)\le\lambda_3(\Omega)\le\cdots$$ are its Dirichlet eigenvalues, then $$\sum_{i=1}^{N} \frac{\lambda_1(\Omega)} {\lambda_{i+1}(\Omega)-\lambda_1(\Omega)} \ge \frac{N}{j_{N/2,1}^2/j_{N/2-1,1}^2-1},$$ where $j_{\mu,1}$ denotes the first positive zero of the Bessel function $J_\mu$ of the first kind of order $\mu$. We also characterize the equality case: equality holds precisely when $\Omega$ agrees with a Euclidean ball up to a set of Sobolev $H^1$-capacity zero. In particular, among bounded Lipschitz domains, equality holds if and only if $\Omega$ is a Euclidean ball.