Optimal stability of Hardy-Littlewood-Sobolev and Sobolev inequalities of arbitrary orders with dimension-dependent constants

TL;DR

This paper establishes the optimal stability of Hardy-Littlewood-Sobolev and Sobolev inequalities of arbitrary orders with dimension-dependent constants, extending previous results to the case where 1<s<n/2, and introduces new methods for local and global stability analysis.

Contribution

It develops a novel approach using $H^{-s}$-decomposition to prove the optimal stability of HLS inequalities for 1<s<n/2, and applies this to derive stability results for Sobolev inequalities and Beckner's inequalities.

Findings

Proved optimal stability of HLS inequality for 1<s<n/2.

Derived stability of Sobolev inequalities of order s for 1≤s<n/2.

Established stability of Beckner's restrictive Sobolev inequality.

Abstract

Recently, Dolbeault-Esteban-Figalli-Frank-Loss [20] established the optimal stability of the first-order $L^2$-Sobolev inequality with dimension-dependent constant. Subsequently, Chen-Lu-Tang [18] obtained the optimal stability for the $L^2$ fractional Sobolev inequality of order $s$ when $0<s<1$.This paper considers the remaining case $1<s<\frac{n}{2}$. Our strategy is to first establish the optimal stability for the HLS inequality directly without using the stability of the Sobolev inequality. The main difficulty lies in establishing the optimal local stability of HLS inequality when $1<s<\frac{n}{2}$. The loss of the Hilbert structure of the distance appearing in the stability of the HLS inequality brings challenge in establishing the desired stability. To achieve our goal, we develop a new strategy based on the $H^{-s}-$decomposition instead of $L^{\frac{2n}{n+2s}}-$decomposition to obtain the local stability of the HLS inequality with $L^{\frac{2n}{n+2s}}-$distance. However, new difficulties arise to deduce the global stability from the local stability because of the non-uniqueness and non-continuity of $\|r\|_{\frac{2n}{n+2s}}$ for the rearrangement flow. As an important application of the optimal stability of the HLS inequality together with the duality theory of the stability developed initially by Carlen [11] and further improved in [17], we deduce the optimal stability of the $L^2$-Sobolev inequality of order s when $1\le s<\frac{n}{2}$ and the non-Hilbertian $L^{\frac{2n}{n+2s}}$-Sobolev inequality with the dimension-dependent constants. As another application, we can derive the optimal stability of Beckner's [5] restrictive Sobolev inequality on the flat sub-manifold $\mathbb{R}^{n-1}$ and the sphere $\mathbb{S}^{n-1}$ with dimension-dependent constants.