An \(L^{p}\)-\(L^{q}\)-version of Morgan's theorem for the \(n\)-dimensional Euclidean motion group
type: Item
instance of: scholarly article
title: An \(L^{p}\)-\(L^{q}\)-version of Morgan's theorem for the \(n\)-dimensional Euclidean motion group
zbMATH Open document ID: 1145.43009
DOI: 10.1155/2007/43834
author: Sihem Ayadi
author: Kamel Mokni
published in: International Journal of Mathematics and Mathematical Sciences
publication date: 2008-06-03T00:00:00Z
review text: The \(n\)-dimensional Euclidean motion group \(M(n), n \geq 2,\) is the semidirect product of \({\mathbb R}^n\) with \(K = SO(n)\). The Haar measure of \(M(n)\) is \(dx\,dk\), where \(dx\) is the Lebesgue measure on \({\mathbb R}^n\) and \(dk\) is the normalized Haar measure on \(K\). Denote by \(\widehat{M}(n)\) the unitary dual of \(M(n)\). A description is given of the infinite-dimensional elements of \(\widehat{M}(n)\) that are sufficient for the Plancherel theorem. Let \(\mu\) be the Plancherel measure on \(\widehat{M}(n)\). The support of \(\mu\) is parametrized by \((r, \lambda) \in ] 0, \infty [ \times \widehat{U}\), where \(U = SO(n-1)\) is the subgroup of \(SO(n)\) leaving fixed \(\varepsilon_n = (0, \dots, 0, 1)\) in \({\mathbb R}^n\). For \(f \in L^1( M(n)) \cap L^2(M(n)), \pi_{r, \lambda} (f)\) is a Hilbert-Schmidt operator on the Hilbert space \(H_{\lambda}\). Moreover, the restriction of \(\mu\) on the part \(] 0, \infty [ \times \{ \lambda \}\) is given, up to a constant depending only on \(n\), by \(r^{n-1} dr\). Set \(\hat{f} (r, \lambda) = \pi_{r, \lambda}(f)\). The main result of the paper is the following: Let \(p, q \in [1, \infty], a,b \in ] 0, \infty [\), and \(\alpha, \beta\) positive real numbers satisfying \(\alpha >2\) and \(1/\alpha + 1/\beta =1.\) Suppose that \(f\) is a measurable function on \(M(n)\) satisfying {\parindent=5mm \begin{itemize}\item[1)] \(e^{a\parallel x \parallel^{\alpha}} f(x,k) \in L^p(M(n)),\) \item[2)] \(e^{br^{\beta}} \parallel \hat{f}(r, \lambda) \parallel_{HS} \in L^q( {\mathbb R}^+, r^{n-1} dr)\) for all fixed \(\lambda\) in \(\widehat{U}\). \end{itemize}} If \((a \alpha)^{1/\alpha} (b \beta)^{1/ \beta} > (\sin(\pi/2)(\beta -1))^{1/\beta}\), then \(f = 0\) a.e. The authors conclude the paper by showing that the above inequality is sharp.
reviewed by: Michael J. Puls
Mathematics Subject Classification ID: 43A80
zbMATH DE Number: 5282447
zbMATH Keywords: Euclidean Motion Group
zbMATH Keywords: Plancherel formula
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1155/2007/43834
OpenAlex ID: W2025095273
cites work: A Theorem Concerning Fourier Transforms
cites work: A Note on Fourier Transforms
cites work: The collected works of Arne Beurling. Volume 1: Complex analysis. Volume 2: Harmonic analysis. Ed. by Lennart Carleson, Paul Malliavin, John Neuberger, John Wermer
cites work: A uniqueness theorem of Beurling for Fourier transform pairs
cites work: Q4244358
cites work: Uncertainty principle and the \(L^p\)-\(L^q\)-version of Morgan's theorem on some groups
cites work: An analogue of Hardy's theorem for the Dunkl transform
cites work: \(L^p\) version of Hardy's theorem on semisimple Lie groups
cites work: Hermite functions and uncertainty principles for the Fourier and the windowed Fourier trans\-forms.
cites work: Q3663816
cites work: On theorems of Beurling and Hardy for the Euclidean motion groups
cites work: Q4888829
cites work: Q3213628
cites work: Q4111790
description: scientific article; zbMATH DE number 5282447