Remainder terms and sharp quantitative stability for a nonlocal Sobolev inequality on the Heisenberg group

Abstract

In this paper, we study the following nonlocal Sobolev inequality on the Heisenberg group \begin{equation}\label{eq:HLS} S_{HL}(Q,μ) \left(\int_{\mathbb{H}^{n}}\int_{\mathbb{H}^{n}}\frac{|u(ξ)|^{Q^{\ast}_μ}|u(η)|^{Q^{\ast}_μ}}{|η^{-1}ξ|^μ}{d}ξ{d}η\right)^{\frac{1}{Q^{\ast}_μ}}\leq \int_{\mathbb{H}^{n}}|\nabla_{\mathbb{H}}u|^{2}dξ,\quad \forall \, u\in S^{1,2}(\mathbb{H}^{n}), \end{equation} where $Q=2n+2$ is the homogeneous dimension of the Heisenberg group ${\mathbb{H}}^n$, $n\ge 1$, $\hat{I}¼\in (0,Q)$, $Q_{\hat{I}}^{\ast }¼=\frac{2Q-\hat{I}¼}{Q-2}$ is the upper critical exponent in the sense of the Hardy-Littlewood-Sobolev inequality and the Folland-Stein-Sobolev inequality on the Heisenberg group, $S_{HL}(Q,\hat{I}¼)$ is the sharp constant of \eqref{eq:HLS}, and $S^{1,2}({\mathbb{H}}^n)$ is the Folland-Stein-Sobolev space. %of the nonlocal-Sobolev inequality. It is well-known that, up to a translation and suitable scaling, \begin{equation}\label{eq:abs} -Δ_{\mathbb{H}} u=\left(\int_{\mathbb{H}^{n}}\frac{|u(η)| ^{Q^{\ast}_μ}}{|η^{-1}ξ|^μ}{d}η\right)|u|^{Q_μ^*-2}u,~~u\in S^{1,2}(\mathbb{H}^{n}) \end{equation} is the Euler-Lagrange equation corresponding to the associated minimization problem. On the one hand, we show the existence of a gradient-type remainder term for inequality \eqref{eq:HLS} when $Q\ge 4$, $\hat{I}¼\in (0,4]$, and as a corollary, derive the existence of a remainder term in the weak $L^{\frac{Q}{Q-2}}$-norm on bounded domains. On the other hand, we establish the quantitative stability of critical points for equation \eqref{eq:abs} in the multi-bubble case when $Q=4$ and $\hat{I}¼\in (2,4)$.

36 pages