An optimal Hardy-Littlewood-Sobolev inequality on and its consequences
arXiv:2009.09868 · doi:10.1007/s11854-025-0395-y
Abstract
For , , and , we establish the following optimal Hardy-Littlewood-Sobolev inequality \[ \Big| \iint_{\mathbf R^n \times \mathbf R^{n-k}} \frac{f(x) g(y)}{ |x-y|^λ|y"|^β} dx dy \Big| \lesssim \| f \| _{L^p(\mathbf R^{n-k})} \| g\| _{L^r(\mathbf R^n)} \] with under the two necessary conditions \[ β< \left\{ \begin{aligned} & k - k/r & & \text{if } \; 0 < λ\leq n-k,\\ & n - λ- k/r & & \text{if } \; n-k < λ, \end{aligned} \right. \] and \[ \frac{n-k}n \frac 1p + \frac 1r + \frac { β+ λ} n = 2 -\frac kn. \] We call this the optimal Hardy-Littlewood-Sobolev inequality on . The existence of an optimal pair for this new inequality is also studied. The motivation of working on the above inequality is to provide a unification of many known Hardy-Littewood-Sobolev inequalities including the classical Hardy-Littewood-Sobolev inequality when , the Hardy-Littewood-Sobolev inequality on the upper half space when and , and the Hardy-Littewood-Sobolev inequality on the upper half space with extended kernel when and . We show that the above condition for is sharp. In the unweighted case, namely , our finding immediately leads to the sharp Hardy-Littlewood-Sobolev inequality on with the optimal range which has not been observed before, even in the case . As one of many consequences, we give a short proof of the Stein-Weiss inequality in the context of .
29 pages, 2 figures, accepted by Journal d'Analyse Mathématique