Sharp stability of the logarithmic Sobolev inequality in the critical point setting
Abstract
In this paper, we consider the Euclidean logarithmic Sobolev inequality \begin{eqnarray*} \int_{\mathbb{R}^d}|u|^2\log|u|dx\leq\frac{d}{4}\log\bigg(\frac{2}{\pi d e}\|\nabla u\|_{L^2(\mathbb{R}^d)}^2\bigg), \end{eqnarray*} where with and . It is well known that extremal functions of this inequality are precisely the Gaussians \begin{eqnarray*} \mathfrak{g}_{\sigma,z}(x)=(\pi\sigma)^{-\frac{d}{2}}\mathfrak{g}_{*}\bigg(\sqrt{\frac{\sigma}{2}}(x-z)\bigg)\quad\text{with}\quad \mathfrak{g}_{*}(x)=e^{-\frac{|x|^2}{2}}. \end{eqnarray*} We prove that if satisfying and , where , and sufficiently small, then \begin{eqnarray*} \text{dist}_{H^1}(u, \mathcal{M}^\nu)\lesssim\|-\Delta u+u-2u\log |u|\|_{H^{-1}} \end{eqnarray*} which is optimal in the sense that the order of the right hand side is sharp, where \begin{eqnarray*} \mathcal{M}^\nu=\{(\mathfrak{g}_{1,0}(\cdot-z_1), \mathfrak{g}_{1,0}(\cdot-z_2), \cdots, \mathfrak{g}_{1,0}(\cdot-z_\nu))\mid z_i\in\bbr^d\}. \end{eqnarray*} Our result provides an optimal stability of the Euclidean logarithmic Sobolev inequality in the critical point setting.
Keywords
Cite
@article{arxiv.2209.04118,
title = {Sharp stability of the logarithmic Sobolev inequality in the critical point setting},
author = {Juncheng Wei and Yuanze Wu},
journal= {arXiv preprint arXiv:2209.04118},
year = {2022}
}
Comments
22 pages; contribution to Special Volume of AAG on Potentials & PDEs in memory of David R. Adams