English

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

Analysis of PDEs 2022-09-20 v2 Functional Analysis

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 uW1,2(Rd)u\in W^{1,2}(\mathbb{R}^d) with d2d\geq2 and uL2(Rd)=1\|u\|_{L^2(\mathbb{R}^d)}=1. 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 u0u\geq0 satisfying (ν12)c0<uH1(Rd)2<(ν+12)c0(\nu-\frac12)c_0<\|u\|_{H^1(\mathbb{R}^d)}^2<(\nu+\frac12)c_0 and Δu+u2uloguH1δ\|-\Delta u+u-2u\log |u|\|_{H^{-1}}\leq\delta, where c0=g1,0H1(Rd)2c_0=\|\mathfrak{g}_{1,0}\|_{H^1(\mathbb{R}^d)}^2, νN\nu\in \mathbb{N} and δ>0\delta>0 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