Sharp stability of the logarithmic Sobolev inequality in the critical point setting

From MaRDI portal
Publication:6060175



Abstract: In this paper, we consider the Euclidean logarithmic Sobolev inequality �egin{eqnarray*} int_{mathbb{R}^d}|u|^2log|u|dxleqfrac{d}{4}log�igg(frac{2}{pi d e}|

abla u|_{L^2(mathbb{R}^d)}^2�igg), end{eqnarray*} where uinW1,2(mathbbRd) with dgeq2 and |u|L2(mathbbRd)=1. It is well known that extremal functions of this inequality are precisely the Gaussians �egin{eqnarray*} mathfrak{g}_{sigma,z}(x)=(pisigma)^{-frac{d}{2}}mathfrak{g}_{*}�igg(sqrt{frac{sigma}{2}}(x-z)�igg)quad ext{with}quad mathfrak{g}_{*}(x)=e^{-frac{|x|^2}{2}}. end{eqnarray*} We prove that if ugeq0 satisfying (u−frac12)c0<|u|H1(mathbbRd)2<(u+frac12)c0 and |−Deltau+u−2ulog|u||H−1leqdelta, where c0=|mathfrakg1,0|H1(mathbbRd)2, uinmathbbN and delta>0 sufficiently small, then �egin{eqnarray*} ext{dist}_{H^1}(u, mathcal{M}^ u)lesssim|-Delta u+u-2ulog |u||_{H^{-1}} end{eqnarray*} which is optimal in the sense that the order of the right hand side is sharp, where �egin{eqnarray*} mathcal{M}^ u={(mathfrak{g}_{1,0}(cdot-z_1), mathfrak{g}_{1,0}(cdot-z_2), cdots, mathfrak{g}_{1,0}(cdot-z_

u))mid z_iin�br^d}. end{eqnarray*} Our result provides an optimal stability of the Euclidean logarithmic Sobolev inequality in the critical point setting.












This page was built for publication: Sharp stability of the logarithmic Sobolev inequality in the critical point setting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6060175)