The \(L^{p}-L^{q}\) analog of Morgan's theorem on exponential solvable Lie groups (Q650305): Difference between revisions

The authors study the \(L^p\)-\(L^q\) Morgan's uncertainty principle (cf. \textit{S. Ben Farah} and \textit{K. Mokni} [Russ. J. Math. Phys. 10, No. 3, 245--260 (2003; Zbl 1039.43011)]) for exponential solvable Lie groups. Let for example \(G\) be a connected nilpotent Lie group with noncompact center having Lie algebra \({\mathfrak g}\). Let \(\widetilde G\) be the universal covering group of \(G\) and \(\Gamma\) a discrete central subgroup of \(\widetilde G\) such that \(G=\widetilde G/\Gamma\). Using the orbit method for \(\widetilde G\) and \(\Lambda= \log\Gamma\), the authors define a set \({\mathcal X}\) in \({\mathfrak g}^*\) which supports the continuous part of the Plancherel measure for \(G\). They take a one parameter central subgroup \(B\simeq\mathbb{R}\) of \(G\) and a Borel cross section \(Y\) for the cosets of \(B\times\mathbb{T}^d\) in \(G\), where \(d\) denotes the rank of \(\Gamma\). So, every element of \(G\) is written as \((t,z,y)\), \(t\in\mathbb{R}\), \(z\in\mathbb{T}^d\), \(y\in Y\). Making use of Euclidean norms \(\|\cdot\|\), they prove the following main theorem. Suppose that \(2\leq p\), \(q\leq +\infty\), \(a,b\in\mathbb{R}^*_+\) and \(p'\), \(q'\) are conjugate numbers with \(p'\geq 2\). Suppose further that \(f: G\to\mathbb{C}\) is a measurable function such that (i) \(\int_G e^{pa\pi\| (t,y)\|^{p'}}|f(t, z,y)|^p\,dt\,dz\,dy< +\infty\), (ii) \(\int_{{\mathcal X}} e^{qb\pi\|\xi\|^{q'}}\|\pi_\xi(f)\|^q_{H.S}| Pf(\xi)|\,d\xi<+\infty\), where \(\pi_\xi\) denotes the irreducible unitary representation of \(G\) corresponding to \(\xi\in{\mathcal X}\) and \(Pf(\xi)\) the Pfaffian at \(\xi\) of the alternating bilinear form constructed by jump indices of the coadjoint orbit \(G\cdot\xi\). Then \(f=0\) almost everywhere whenever \[ (ap')^{1/p'}(bq')^{1/q'}> 2\Biggl(\sin{\pi\over 2}(q'- 1)\Biggr)^{1/q'}. \] The proof is an elaborated reduction to the former known result for \(\mathbb{R}\), repeating use of Minkowski's and Hölder's inequalities.