A note on Fourier transforms. (Q5924390)

Ein Seitenstück zu der \textit{Hardy}schen Behandlung (A theorem concerning \textit{Fourier} transforms, Journal L. M. S. 8 (1933), 227-231; F. d. M. \(59_{\text I}\), 425) der \textit{Wiener}schen Bemerkung, daß\ ``ein Paar von \textit{Fourier}transformierten nicht zugleich sehr klein sein kann''. Es wird nämlich vorausgesetzt, daß\ in \[ g(y)=\frac 1{\sqrt {2\pi }}\int \limits _{-\infty }^{+\infty }f(x)e^{-xyi}dx \] die Funktion \(f(x)\) außerhalb eines Intervalls verschwindet, und gefragt, wie klein \(g(y)\) für große \(|y|\) werden kann. Es kann nicht \[ g(y)=O(e^{-|y|\varepsilon }) \] mit festem positiven \(\varepsilon \) sein, ohne daß\ \(g\) identisch verschwindet. Dagegen kann \[ g(y)=O(e^{-|y|\varepsilon (|y|)}) \] sein, wo \(\varepsilon (y)\rightarrow 0\) für \(y\rightarrow \infty \). Und zwar ist notwendig und hinreichend, daß \[ \int \limits ^\infty \frac {\varepsilon (y)}ydg \] konvergiert. - Der Beweis wird mit Hilfe der Theorie der quasi-analytischen Funktionen geführt.