Representations for entire functions of exponential type. (Q2596567)

Eine ganze Funktion \(f(z)\) läßt sich dann und nur dann in der Gestalt \[ f(z)=\int\limits_{-R}^{R} e^{izt} a(t) \, dt \tag{1} \] mit einem \(a(t)\) der Klasse \(L^2(-R, R)\) darstellen, wenn \(f(z)\) entlang der reellen Achse zur Klasse \(L^2\) gehört und für komplexe \(z\) die Bedingung \[ |f(z)|<A e^{R|z|} \tag{2} \] erfüllt, d. h. vom Exponentialtypus \(R\) ist (\textit{Paley, Wiener}, Fourier transforms in the complex domain (1934, F.~d.~M. 60\(_{\text{I}}\), 345), S. 13). Verf. beweist vor allem zwei Sätze für Funktionen der Klassen \(L^p\), die für \(p = 2\) in den obigen Satz zusammenfließen: Wenn eine ganze Funktion vom Exponentialtypus \(R\) auf der reellen Achse zur Klasse \(L^p, \, 1 < p \leqq 2\), gehört, so hat \(f(z)\) die Form (1) mit einem a (t) der Klasse \(L^q(-R,R)\), \(q=\dfrac{p}{p-1}\). Wenn eine ganze Funktion die Gestalt (1) mit einem \(a(t)\) der Klasse \(L^p(-R,R)\), \(1 < p \leqq 2\), besitzt, so ist \(f(z)\) vom Exponentialtypus \(R\) und gehört auf der reellen Achse zur Klasse \(L^q\), \(q=\dfrac{p}{p-1}\). -- Für \(p > 2\) sind beide Sätze, wie durch Beispiele gezeigt wird, im allgemeinen falsch. Der erste der beiden Sätze wurde auf andere Weise auch von \textit{Plancherel} und \textit{Pólya} (Comment. math. Helvetici 9 (1937), 224-248; F.~d.~M. 63\(_{\text{I}}\), 377) bewiesen. \(f(z)\) ist vom Exponentialtypus \(R\) und gehört auf der reellen Achse zu \(L^1\) dann und nur dann, wenn \(f(z)\) die Gestalt (1) hat, wo \(a(t)\) eine absolut konvergente Fourierreihe in \((- R, R)\) besitzt und \(a(- R + 0) = a(R - 0) = 0\) ist. -- Für \(p > 2\) wird gezeigt: Wenn \(f(z)\) vom Exponentialtypus \(R\) ist und auf der reellen Achse zu \(L^p\), \(p > 2\), gehört, so hat \(f(z)\) die Gestalt \[ f(z)=\int\limits_{-R}^{R} e^{izt} \, d\alpha(t), \] wo \(\alpha(t)\) stetig ist und einer Lipschitzbedingung von jeder Ordnung \(< \dfrac{1}{p}\) genügt. Ist \(f(z)\) vom Exponentialtypus 0 (d. h. ist (2) für jedes \(R > 0\) erfüllt) und \(\varphi(t)\) eine für \(t \geqq 0\) nichtnegative, monoton wachsende, konvexe Funktion, so kann \(\varphi\left( |f(z)|\right)\) nicht längs einer Geraden integrabel sein, außer für \(f(z) \equiv 0\). Hierin sind für \[ \varphi(t) \equiv t^p \qquad (1 \leqq p \leqq 2) \] die Resultate früherer Autoren enthalten. (IV 4 F.)