An $L^2$ Ahlfors--Beurling inequality in every dimension

Abstract

Let $Ω\subset\mathbb{R}^N$ ($N\geq2$) be measurable with $0<|Ω|<\infty$, and let $u_Ω$ be its logarithmic potential ($N=2$) or Newtonian potential ($N\geq3$), normalized so that $Δu_Ω=χ_Ω$. We prove the sharp inequality \[ \int_Ω|\nabla u_Ω|^2\,\mathrm{d} x \leq\frac{1}{2Nω_{N-1}} \iint_{Ω\timesΩ}\frac{\mathrm{d} x\,\mathrm{d} y}{|x-y|^{N-2}}, \] where $ω_{N-1}=|\mathbb{S}^{N-1}|$, with equality if and only if $Ω$ is a ball up to a null set. In dimension two this settles the $L^2$ Ahlfors--Beurling conjecture of Fleeman and Khavinson. For $N\ge3$ it is equivalent to the scale-free bound that at most the fraction $(N-2)/(2N)$ of the total field energy lies inside $Ω$. We also obtain an explicit deficit identity, a sharp extension to bounded nonnegative densities, and consequences for torsional rigidity, Bergman analytic content, Brownian motion, and aggregation equations.