Restrictions imposed by certain functions on their Fourier transforms. (Q2587188)

Nach einem Satz von \textit{Hardy} (J. London math. Soc. 8 (1933), 227-231 ; F. d. M. \(59_{\text{I}}\), 425) können nicht eine Funktion \(f (x)\) für \(x \to \pm \infty\) und ihre Fourier-Transformierte \(g(u)\) für \(u \to \pm \infty\) zugleich in gewisser Weise gegen 0 streben, ohne daß \(f (x) \equiv 0\) ist. Verf. behandelt einerseits Sätze dieser Art, bei denen aber nur etwas über das Verhalten auf einer Seite des Unendlichen vorausgesetzt wird, andererseits Sätze, bei denen \(f(x)\) an einem Punkt im Endlichen gegen 0 strebt. Satz I. Es sei \(f(x) \in L(-\infty, \infty )\) und \(f (x) = O(\exp (-h(x)))\) für \(x \to \infty\), wo \(h (x)\) eine positive, wachsende und zweimal differenzierbare Funktion mit \(h^{\prime \prime} (x) \geqq c> 0\) ist. Die inverse Funktion von \(h^\prime (x)\) sei \(H (x)\). Für die Fourier-Transformierte \(g(u)\) von \(f(x)\) gelte \(g (u) = O(\exp(- t(u)))\) für \(u \to \infty\), wo \(t(u)\) die Bedingung erfüllt: \[ \int\limits_1^x \left( \frac 1{y^2} - \frac 1{x^2}\right)\, t(y) \, dy - \pi H(x) \to \infty \quad \text{ für }\quad x\to \infty. \] Dann verschwindet \(f (x)\) fast überall. Satz IV. Für ein bestimmtes \(a\) sei \[ f(x+ a) = O (\exp \{- h (\log \, x^{-1})\}) \quad \text{ für } x \to +0, \] wo \(h (x)\) die Bedingungen wie in Satz I erfüllt. Es sei \(g (u) \in L(-\infty, \infty )\) und \(f (x)\) die Fourier-Transformierte, ferner \[ e^{-\pi u} \int\limits_0^u e^{\pi v}|g(v)| \,dv = O(\exp(-t(u))) \quad \text{ für } u\to \infty, \] wo \(t (u)\) eine wachsende Funktion mit \(t (u) <\pi u \) für \(u > 0\) und \[ \int\limits_1^x \frac {t(u)}{u^2}\, du - \pi H (x) \to \infty \quad \text{ für } \quad x \to \infty \] (\(H (x)\) siehe Satz I) ist. Dann verschwindet \(f (x)\) fast überall.