Entire functions bounded on a line. (Q2589649)

Verf. beweist zunächst auf neue Art den bekannten Satz von \textit{M. L. Cartwright}, nach dem eine ganze Funktion vom Exponentialtypus \(< \pi\) notwendig auf der ganzen reellen Achse beschränkt ist, sobald sie es in den Punkten \(z = 0, \pm 1, \pm 2,\dots\) ist. Die genannten Funktionen lassen sich nämlich im wesentlichen durch ein endliches Fourier-Integral darstellen, und mit einer Methode von \textit{J. M. Whittaker} ergibt sich daraus eine absolut konvergente Interpolationsreihe (vgl. auch \textit{Macintyre}, Proc. London math. Soc. (2) 45 (1938), 1-20; F. d. M. \(64_{\text{I}}\), 294). Mit Hilfe der Paley-Wienerschen Theorie der nichtharmonischen Fourierreihen erhält Verf. analog eine Interpolationsformel mit \(f(\lambda_n)\) an Stelle von \(f(n)\) und \(|\lambda_n - n| \leqq L < (2\pi)^{-2}\). Dies erlaubt im Satz von Cartwright die Punkte \(z = n \) durch \(z = \pm \lambda_n\) zu ersetzen. Damit gleichbedeutend ist der Satz: Gilt für eine ganze Funktion \(f (z)\) vom Exponentialtypus \(<\pi\) und eine positive und unbeschränkt wachsende Funktion \(\varphi (t)\), \(t > 0\) und ein \(\delta > \) 0 die Ungleichung \[ \limsup_{-\infty < n < \infty} \int\limits_n^{n+\delta} \varphi (|f(x)|) \, dx < \infty, \tag{I} \] so ist \(f (z)\) auf der ganzen reellen Achse beschränkt. Die Bedingung (I) enthält mehrere bekannte Spezialfälle. Mit \(\varphi (t) = t^p\), \(p > 0\), ergibt sich ein Resultat von \textit{Plancherel} und \textit{Pólya} (Comment. math. Helvetici 10 (1937), 110-163; F. d. M. \(63_{\text{I}}\), 377). Verf. benützt dann seine Interpolationsformel, um einige Ungleichungen von Plancherel und Pólya (vgl. a. a. O.) zu verallgemeinern: Sind \(\gamma (t)\) und \(\beta (t) \) wachsend, \(\beta (x + 1) - \beta(x) \leqq B\), \(|\lambda_n - n| \leqq L < (2\pi )^{-2}\), \(p > 0\) und \(f (z)\) vom Exponentialtypus \(< \pi\), so ist \[ \int\limits_{-\infty}^\infty |f(x)|^p \cdot d\beta (x) < C \sum_{n=-\infty}^{+\infty} \int\limits_{-\delta}^\delta |f( \lambda_n + t)|^p \cdot d\gamma (t). \] Zu erwähnen ist die Verallgemeinerung eines Satzes von Valiron: Genügt die ganze Funktion \(H (z)\) den Bedingungen \(| H (z) | < ke^{\pi |y|}(1 + | y |)^{-2\delta}\), \(H(\lambda_n) = 0\), \(|\lambda_n- n| \leqq \delta \leqq \frac 12\), \(n = 0,\pm 1,\dots,\) so ist \(H (z) = C\cdot \Pi \left(1 - \dfrac z{\lambda_n} \right) \). Daraus ergibt sich, daß die Folge \(\{e^{i \lambda_n t}\}\) mit \(| \lambda_n - n | \leqq \dfrac {p-1}{2p}\), \(0 < p < \infty\), vollständig ist bezüglich der Klasse \(L^p (-\pi, \pi)\) (vgl. auch \textit{Levinson}, Duke math. J. 2 (1936), 511-516; F. d. M. \(62_{\text{I}}\), 277). Damit zusammenhängend beweist Verf., daß jede in \(-\pi \leqq t \leqq \pi - \varepsilon\), \(\varepsilon > 0\), stetige Funktion durch Linearkombinationen der \(e^{i\lambda_n t}\), \(|\lambda_n - n | \leqq \frac 14\), gleichmäßig approximiert werden kann.