If $x \in L^1(-\infty,\infty)$ has nowhere vanishing Fourier transform and $y$ is a function in $L^\infty(-\infty,\infty)$ such that the convolution $(x*y)$ tends to zero as $t \to \infty$, then the convolution $(z*y)$, for any $z \in L^1(-\infty,\infty)$ tends to zero as $t \to \infty$. Established by N. Wiener . This theorem was generalized to include any commutative locally compact non-compact group $G$: If $x$ is a function on $G$, summable with respect to the Haar measure, whose Fourier transform does not vanish on the group of characters $\hat G$ of $G$ and if $y$ is a function in $L^\infty(G)$ such that the convolution $(x*y)$ tends to zero at infinity on $G$, then the convolution $(z*y)$ tends to zero at infinity on $G$ for all summable functions $z$ on $G$.
This theorem is based on the regularity of the group algebra of a commutative locally compact group, and on the possibility of spectral synthesis in group algebras for closed ideals belonging to only a finite number of regular maximal ideals .
This page was last modified on 13 April 2017, at 20:46.