Uncertainty inequalities on groups and homogeneous spaces via isoperimetric inequalities (Q253789): Difference between revisions

Let \(M\) be a homogeneous space for a Lie or finitely generated group \(G\) such that the isotropy subgroups are compact and endowed with an invariant measure \(\mu\) with respect to which \(L^p\)-spaces are defined, an invariant distance \(d\), and an invariant gradient \(\nabla\) naturally coupled with \(d\). The crucial growth function \(\Gamma_\mu\) is defined as \(\Gamma_\mu(r)=\mu(B_d(r))\), where \(B_d(r)\) is any ball of radius \(r\). In this paper, the authors prove a new family of \(L^p\) uncertainty inequalities for a wide class of such spaces \(M\) and show that the inequality \[ \|f\|^2_{L^2(M)}\leq Cp\|\nabla f\|_{L^2(M)}\|w f\|_{L^2(M)} \] holds for appropriate functions \(f:M\to \mathbb R\) and any non-negative \(w\) satisfying the growth condition \(\mu(w\leq r)\leq \Gamma_M(r)\) for any \(r\). The constant \(C\) is independent of \(M\) and is explicitly computable. The authors consider both the smooth and discrete settings. They use a weak isoperimetric inequality on \(M\) since it is related to the \(L^1\) case of the inequality to which the \(L^p\) case can be reduced. For the smooth setting, the authors show that if \(M\) is a connected smooth manifold, \(G\) is a connected and unimodular Lie group acting smoothly and transitively on \(M\), the isotropy subgroup of every point of \(M\) is compact, \((\mathcal{V},g)\) is a \(G\)-invariant sub-Riemannian structure on \(M\), and \(w:M\to[0,\infty]\) is a Borel function such that \(\mu\{m\in M;\;w(m)\leq r\}\leq\Gamma_M(r)\), then the inequality \[ \|f\|_{L^p(M)}\leq C p^{\frac{\alpha}{\alpha+1}} \|\nabla_Hf\|^{\frac{\alpha}{\alpha+1}}_{L^p(M)}\|w^{\alpha} f\|_{L^p(M)}^{\frac{1}{\alpha+1}} \] holds for every \(f\in C^\infty_c(M)\) and \(\alpha >0\) if \(M\) is not compact. If \(M\) is compact this inequality holds for every \(f\) satisfying additionally \(\int_Mfd\mu=0\).