\(L^p\)-integrability, dimensions of supports of Fourier transforms and applications (Q485264)

Studying the asymptotics of the Fourier transform of functions which are supported in lower dimensional sets has a long history. In particular it shows up in the theory of PDEs as \(P(D)u=0\) implies that the support of \(\widehat{u}\) is contained in the zero set of the polynomial \(P\). This paper is concerned with a qualitative result. Let \(0 < \alpha < n\). If \(f \in L^p(\mathbb R^n)\), \(1 \leq p \leq 2n/\alpha\), and \(\widehat{f}\) is supported in a set with finite \(\alpha-\)packing measure, then \(f\) is zero. The main ingredient of the proof is the following lemma: If \(S\) is a bounded set which has finite \(\alpha-\)packing measure, then \[ \limsup_{\varepsilon \to 0} |S(\varepsilon)| \varepsilon^{\alpha -n} < \infty, \] where \[ S(\varepsilon) = \{x \in \mathbb R^n:~d(S, x) < \varepsilon\}. \] Using Salem's construction, examples are given to prove that this result is the best possible. Applications to Wiener-Tauberian theorems on \(\mathbb R^n\) and the motion group \(M(2)\) are also given.