Fractional Sobolev-type embedding on CR sphere and Heisenberg group

TL;DR

This paper establishes precise bounds for fractional Sobolev inequalities on the CR sphere and Heisenberg group, revealing the exact admissible ranges of lower-order coefficients and their invariance under geometric transformations.

Contribution

It provides the exact admissible sets of lower-order coefficients for fractional Sobolev inequalities on CR sphere and Heisenberg group, including weighted and constrained variants.

Findings

Admissible lower-order coefficients are exactly characterized for critical fractional Sobolev inequalities.

The admissible sets are invariant under the Cayley transform between the sphere and Heisenberg group.

Linear constraints excluding constants do not improve the lower bounds for the inequalities.

Abstract

This paper studies critical fractional Sobolev inequalities with lower-order terms on the standard CR sphere $\mathbb S^{2n+1}$. Let $Q=2n+2$, let $s\in(0,1)$, let $1<p<Q$, and let $p_s^*=\frac{Qp}{Q-sp}$. For the inequality $\|u\|_{L^{p_s^*}(\mathbb S^{2n+1})}\le A[u]_{s,p}+B\|u\|_{L^p(\mathbb S^{2n+1})}$, we prove that the admissible lower-order coefficients are exactly $\left[|\mathbb S^{2n+1}|^{-s/Q},\infty\right)$. For the power-type inequality $\|u\|_{L^{p_s^*}(\mathbb S^{2n+1})}^p\le A[u]_{s,p}^p+B\|u\|_{L^p(\mathbb S^{2n+1})}^p$, we show that the admissible set is $\left[|\mathbb S^{2n+1}|^{-sp/Q},\infty\right)$ when $1<p\le 2$, and $\left(|\mathbb S^{2n+1}|^{-sp/Q},\infty\right)$ when $2<p<Q$. Via the Cayley transform, we derive the exact weighted counterpart on the Heisenberg group and prove that the corresponding admissible sets coincide with those on the sphere. We also show that nonlinear first-moment constraints do not improve the optimal lower-order coefficient, whereas finite-codimensional linear constraints excluding nonzero constants yield coercive inequalities.