A characterization of product preserving maps with applications to a characterization of the Fourier transform
type: Item
instance of: scholarly article
title: A characterization of product preserving maps with applications to a characterization of the Fourier transform
zbMATH Open document ID: 1272.42004
author: Semyon Alesker
author: S. Artstein-Avidan
author: Dmitry Faifman
author: Vitali Milman
published in: Illinois Journal of Mathematics
publication date: 2013-01-04T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.ijm/1336049986
review text: This paper presents novel results on product-preserving maps and maps that turn products into convolutions. It also strengthens the characterizations from a previous article by \textit{S. Alesker, S. Artstein-Avidan} and \textit{V. Milman} [in: Linear and complex analysis, Providence, RI: AMS. Translations. Series 2. American Mathematical Society 226; Advances in the Mathematical Sciences 63, 11--26 (2009; Zbl 1184.42009)]. To formulate the first result, take a bijective map on the Schwartz space \(\mathcal{T}:\mathcal{S}\to\mathcal{S}\) that admits an extension to the space of tempered distributions \(\mathcal{T}':\mathcal{S}'\to\mathcal{S}'\) satisfying \(\mathcal{T}'(f\cdot g)=(\mathcal{T}f)\cdot(\mathcal{T}'g)\) for \(f\in\mathcal{S}\) and \(g\in\mathcal{S}'\). Here ``\(\cdot\)'' denotes the usual pointwise product. One can conclude that \(\mathcal{T}\) must be either of the form \(\mathcal{T}f=f\circ u\), or of the form \(\mathcal{T}f=\overline{f\circ u}\) for some \(C^\infty\)-diffeomorphism \(u\) of \(\mathbb{R}^n\). A real-valued variant of this theorem already appeared in the previously mentioned article, but the version with complex-valued functions has wider potential applicability and is required in the following characterization of the Fourier transform. For the second result, the authors assume that a bijection \(\mathcal{F}:\mathcal{S}\to\mathcal{S}\) admits a bijective extension \(\mathcal{F}':\mathcal{S}'\to\mathcal{S}'\) such that \(\mathcal{F}'(f\cdot g)=(\mathcal{F}f)\ast(\mathcal{F}'g)\) for \(f\in\mathcal{S}\) and \(g\in\mathcal{S}'\). Here ``\(\ast\)'' denotes the operation of convolution. Then they conclude that \(\mathcal{F}\) has to be either of the form \(\mathcal{F}f=\mathbb{F}(f\circ w)\), or of the form \(\mathcal{F}f=\overline{\mathbb{F}(f\circ w)}\), where \(w\) is a \(C^\infty\)-diffeomorphism of \(\mathbb{R}^n\) and \(\mathbb{F}\) denotes the Fourier transform. It is important to observe that no linearity of \(\mathcal{F}\) is assum…
reviewed by: Vjekoslav Kovač
Mathematics Subject Classification ID: 42A38
zbMATH DE Number: 6122087
zbMATH Keywords: Schwartz space
zbMATH Keywords: tempered distribution
zbMATH Keywords: product
zbMATH Keywords: convolution
zbMATH Keywords: Fourier transform
MaRDI profile type: Publication
cites work: A characterization of the Fourier transform and related topics
cites work: Q5322210
cites work: The concept of duality in convex analysis, and the characterization of the Legendre transform
cites work: A characterization of the concept of duality
cites work: Q5724171
cites work: A characterization of Fourier transforms
cites work: Q4800025
cites work: Q3142876
description: scientific article; zbMATH DE number 6122087