Sharp stability for the Talenti inequality

Abstract

We prove a sharp quantitative version of the Talenti rearrangement inequality. Specifically, we show that, for any $p\in [1;+\infty]$, for any $f\in L^\infty(Ω),\, f\geq 0,\, f\not\equiv 0$, for any open set $Ω\subset \mathbb{R}^d$ with finite volume, the solution $u_{f,Ω}$ to $-Δu_{f,Ω}=f,\, u_{f,Ω} \in W^{1,2}_0(Ω)$, satisfies, in dimension $d\geq 1$, $\Vert u_{f^\sharp,Ω^\sharp}\Vert_{L^p(Ω^\sharp)}-\Vert u_{f,Ω}\Vert_{L^p(Ω)}\gtrsim α(Ω)^2+\inf_{z\in \mathbb{R}^d}\mathscr A(f,z)^2$ and, in dimension 1, $ \Vert u_{f^\sharp,Ω^\sharp}\Vert_{L^p(Ω^\sharp)}-\Vert u_{f,Ω}\Vert_{L^p(Ω)}\gtrsim α(Ω)+\inf_{z\in \mathbb{R}}\mathscr A(f,z)^2$ where $α(Ω)$ denotes the Fraenkel asymmetry of $Ω$, $\mathscr A(f,z)$ a weighted asymmetry of $f$ with respect to some center $z$ and $Ω^\sharp$ (resp. $f^\sharp$) is the Schwarz rearrangement of $Ω$ (resp. of $f$). In dimension $d\geq 2$, this estimate implies $ \Vert u_{f^\sharp,Ω^\sharp}\Vert_{L^p(Ω^\sharp)}-\Vert u_{f,Ω}\Vert_{L^p(Ω)}\gtrsim α(Ω)^2+\inf_{z\in \mathbb{R}^d}\Vert f-f^\sharp(\cdot-z)\Vert_{L^1}^2.$ Our result sharpens and extends recent quantitative versions, and does not rely on shape differentiation arguments, but on a generalisation of the quantitative Saint-Venant inequality.