A generalization of the Hardy theorem to semisimple Lie groups (Q1969179): Difference between revisions

The Hardy theorem for functions and their Fourier transforms is generalized to semisimple Lie groups. Let \(G\) be a connected semisimple Lie group with finite center, and let \(\widehat G\) denote the set of all equivalence classes of irreducible unitary representations of \(G\) and \(\widehat G_{\text{disc}}\), the subset comprising all equivalence classes of discrete series. Suppose that \(\widehat G_{\text{disc}}\neq\emptyset\). Fix a maximal compact subgroup \(K\) of \(G\) and denote by \(\theta\) the corresponding Cartan involution, by \(\text{Car}(G)\) the set of all \(\theta\)-stable Cartan subgroups and by \(\text{Car}'(G)\) the subset of \(\text{Car} (G)\) comprising all noncompact elements. For \(J\in\text{Car}'(G)\) let \(P_J=M_J A_JN_J\) be the Langlands decomposition of the cuspidal parabolic subgroup \(P_J\) associated to \(J\). Let \(\sigma\in (\widehat M_J)_{\text{disc}}\) and \(\nu\in {\mathfrak a}_J^*\), where \({\mathfrak a}_J^*\) is the dual of a maximal abelian subspace of \(J\). Define suitably the Fourier transform \(\widehat f_J (\sigma,\nu)\) of \(f \in L^1(G)\). If \(|f(g) |\leq Ce^{-a \sigma(g)^2}\) and if for each \(J\in \text{Car}'(G)\) \[ \bigl\|\widehat f_J (\sigma,\nu) \bigr\|_\infty \leq C_{J, \sigma}e^{-b\|\nu\|^2} \quad(\nu\in {\mathfrak a}^*_J), \] where \(a>0\), \(b>0\), \(C>0\) and \(C_{J,\sigma}\geq 0\) are constants, then \(ab>1/4\) implies \(f=0\) a.e. From this result an expansion of the matrix elements of the discrete series is derived.