Injectivity of the Pompeiu transform in the Heisenberg group
type: Item
instance of: scholarly article
title: Injectivity of the Pompeiu transform in the Heisenberg group
zbMATH Open document ID: 0808.43002
DOI: 10.1007/BF03008422
author: Mark L. Agranovsky
author: Daniel Pascuas
author: Carlos A. Berenstein
author: Der-Chen Chang
published in: Journal d'Analyse Mathématique
publication date: 1995-03-12T00:00:00Z
review text: Let \(X\) be a locally compact space, and \(G\) be a group acting on \(X\) and preserving a measure \(m\). If \(K\) is a compact set in \(X\) one defines the map \({\mathcal P}_ K : {\mathcal C} (X) \to {\mathcal C}(G)\) by \({\mathcal P}_ K (f)(g) = \int_{g(K)} fdm\). The Pompeiu problem is to decide whether \({\mathcal P}_ K\) is injective for a given \(K\). The map \({\mathcal P}_ K\) can be seen as a convolution operator, and Wiener Tauberian theorems can be used to solve the Pompeiu problem. In this paper \(X = \mathbb{H}_ n \simeq \mathbb{C}^ n \times \mathbb{R}\), the Heisenberg group of dimension \(2n + 1\), and one considers compact sets \(K\) which are \(\mathbb{T}^ n\)- or \(\mathbb{U}(n)\)-invariant. The convolution algebra \(L^ 1_ 0 (\mathbb{H}_ n)\) (resp. \(L^ 1_ *(\mathbb{H}_ n))\) of \(\mathbb{T}^ n\)- (resp. \(\mathbb{U}(n)\)-) invariant integrable functions is commutative. In the first part of the paper the authors determine the spectra of both algebras. (These results are not new. The spectrum of \(L^ 1_ * (\mathbb{H}_ n)\) has been determined by \textit{A. Korányi} [see Some applications of Gelfand pairs in classical analysis, in Harmonic analysis and group representations, CIME (1980)]). By using the corresponding Gelfand transform \(f \mapsto\widetilde{f}\) the authors prove the following result. Let \(\mathcal R\) be a family of \(\mathbb{T}^ n\)- (or \(\mathbb{U}(n)\)-) invariant and compactly supported measures. Assume that the functions \(\widetilde {T}\), for \(T \in {\mathcal R}\), have no common zero. Let \(f\) be a bounded continuous function such that \(f * T = 0\), \(\forall T \in \mathbb{R}\), then \(f \equiv 0\). This result is applied to the Pompeiu problem for a family of balls and a family of polydiscs.
Mathematics Subject Classification ID: 43A85
Mathematics Subject Classification ID: 43A90
zbMATH DE Number: 569419
zbMATH Keywords: spherical functions
zbMATH Keywords: locally compact space
zbMATH Keywords: Pompeiu problem
zbMATH Keywords: convolution operator
zbMATH Keywords: Wiener Tauberian theorems
zbMATH Keywords: Heisenberg group
zbMATH Keywords: Gelfand transform
Wikidata QID: Q122750013
reviewed by: Jacques Faraut
MaRDI profile type: Publication
cites work: Q3141451
cites work: A Morera type theorem for \(L^ 2\) functions in the Heisenberg group
cites work: The Pompeiu problem on locally symmetric spaces
cites work: A local version of the two-circles theorem
cites work: Le problème de Pompeiu local. (Local Pompeiu problem)
cites work: Q3351951
cites work: Inversion of the local Pompeiu transform
cites work: Bounded \(K\)-spherical functions on Heisenberg groups
cites work: Morera and mean-value type theorems in the hyperbolic disk
cites work: Pompeiu's problem on spaces of constant curvature
cites work: The Pompeiu problem for groups
cites work: Q5824493
cites work: Q5827353
cites work: Deux cours d'analyse harmonique. École d'Été d'Analyse Harmonique de Tunis, 1984
cites work: Estimates for the \documentclass{article}\pagestyle{empty}\begin{document}$ \mathop \partial \limits^ - _b $\end{document} complex and analysis on the heisenberg group
cites work: Q3995517
cites work: Q3671491
cites work: Q3331943
cites work: A Tauberian theorem and tangential convergence for bounded harmonic functions on balls in \(\mathbb{C}^n\)
cites work: Q5339472
cites work: Q5823790
cites work: Q4059363
cites work: Harmonic analysis of a nilpotent group and function theory on Siegel domains of type II
cites work: Q3958740
cites work: L\({}^ p\) harmonic analysis and Radon transforms on the Heisenberg group
cites work: Q3742109
cites work: Spherical means on the Heisenberg group and a restriction theorem for the symplectic Fourier transform
cites work: Spherical means and CR functions on the Heisenberg group
cites work: Q5562752
cites work: Analyticity and the Pompeiu problem
cites work: Offbeat Integral Geometry
Recommended article: Injectivity sets of the Pompeiu transform
Recommended article: Injectivity classes of the Pompeiu transformation
Recommended article: Injectivity sets of the Pompeiu transformation on the Euclidean spaces
Recommended article: Injectivity sets for spherical means on the Heisenberg group
Recommended article: Q4015546
Recommended article: The injectivity of the Pompeiu transform and \(L^ p\)-analogues of the Wiener-Tauberian theorem
Recommended article: Riesz transforms on groups of Heisenberg type
Recommended article: On the injectivity of the Pompeiu transform for integral ball means
Recommended article: Invariant translators of the Heisenberg group
description: scientific article; zbMATH DE number 569419