Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper investigates sharp Sobolev inequalities on the sphere $\mathbb{S}^n$ for functions $u\in W^{1,p}(\mathbb{S}^n)$ under a first moment constraint $\int_{\mathbb{S}^n}x|u|^{np/(n-p)}\,dσ=0$. It establishes the precise conditions ($1<p\leq2$ or $2<p<n<3p-2$) under which Aubin's inequality holds with the optimal Euclidean Sobolev constant $S_{n,p}$, proving a bound of the form $\|u\|_{L^{np/(n-p)}(\mathbb{S}^n)}^p \leq 2^{-p/n}S_{n,p}^p\|\nabla u\|_{L^p(\mathbb{S}^n)}^p+B\|u\|_{L^p(\mathbb{S}^n)}^p$. The proof leverages stereographic averaging and quantitative stability of Euclidean Sobolev inequalities to derive local second moment estimates for error absorption.
Aubin's inequality on the sphere is shown to hold with the sharp Euclidean Sobolev constant only for specific ranges of $p$ and $n$, revealing a critical dependency on the dimension and integrability.
Let $n\geq2$ and $1<p<n$. We study sharp Sobolev inequalities on the round sphere $\mathbb{S}^n$ for functions $u\in W^{1,p}(\mathbb{S}^n)$ satisfying $\int_{\mathbb{S}^n}x|u|^{np/(n-p)}\,dσ=0$. We prove that \[ \|u\|_{L^{np/(n-p)}(\mathbb{S}^n)}^p \leq 2^{-p/n}S_{n,p}^p\|\nabla u\|_{L^p(\mathbb{S}^n)}^p+B\|u\|_{L^p(\mathbb{S}^n)}^p \] holds for all such functions with some $B=B(n,p)<\infty$ if and only if $1<p\leq2$ or $2<p<n<3p-2$, where $S_{n,p}$ is the optimal Euclidean Sobolev constant. This determines the exact range in which Aubin's inequality holds with the sharp gradient coefficient. For every $2\leq p<n$, we also establish the corresponding inequality with squared norms and gradient coefficient $2^{-2/n}S_{n,p}^2$. The gradient coefficient in each inequality is optimal. The proof combines stereographic averaging with quantitative stability of the Euclidean Sobolev inequality to obtain local second moment estimates that allow absorption of the localization errors.