Fonctions entières et intégrales de Fourier multiples. I, II. (Q2600735)

\textbf{I.} Von \textit{Paley} und \textit{Wiener} (Fouriertransforms in the complex domain (1934; F. d. M. \(60_{\text{I}}\), 345), S. 12-13) stammt der Satz: Damit eine in \((-\infty,\infty)\) quadratisch \(L\)-integrable Funktion \(F (x)\) eine \textit{Fourier}-Transformierte \(\varPhi(y)\) hat, die außerhalb eines Intervalls verschwindet, ist notwendig und hinreichend, daß \(F\) mit einer ganzen Funktion vom Exponentialtypus äquivalent ist. -- Dieser Satz wird auf Funktionen \(F\) von \(n\) Variablen verallgemeinert. Weiterhin wird er folgendermaßen präzisiert: \(n\) reelle Zahlen \(\lambda_1,\,\ldots,\, \lambda_n\) mit der Eigenschaft \(\lambda_1^2+\cdots + \lambda_n^2 = 1\) heißen eine Richtung \(\lambda\). Es sei \(h (\lambda)\) die obere Grenze von \[ \varlimsup_{r\to\infty} r^{-1} \log \bigl| F (\alpha_1 - i\lambda_1r,\ldots, \alpha_n-i\lambda_n r) \bigr|, \] wenn die \(\alpha\) zwischen \(-\infty\) und \(\infty\) variieren. Ferner sei \(\mathfrak K\) die konvexe Hülle des Gebietes, außerhalb dessen die \textit{Fourier}-Transformierte \(\varPhi (y_1,\ldots, y_n)\) von \(F\) verschwindet. \(\chi(\lambda)\) sei die Stützfunktion von \(\mathfrak K\) bezüglich \(O\). Ist dann \(F\) eine ganze Funktion vom Exponentialtypus, die quadratisch in \((-\infty,\infty)\) integrabel ist, so gilt: \(h (\lambda) = \chi(\lambda)\). Aus diesen Sätzen wird eine Reihe von Folgerungen gezogen. \textbf{II.} Zunächst werden aus den Sätzen des ersten Teils einige Folgerungen gezogen, von denen eine angeführt sei: Wenn es zu einer ganzen Funktion \(F (z_1,\ldots, z_n)\) vier positive Konstanten \(a\), \(A\), \(c\), \(C\) gibt, so daß für alle reellen \(x_1,\ldots,\, x_n\) \[ |F(x_1,\ldots,x_n)|<Ae^{-a(|x_1|+\cdots+|x_n|)} \] und für alle komplexen \(z_1,\,\ldots, z_n\) \[ |F(z_1,\ldots,z_n)|<Ce^{c(|z_1|+\cdots+|z_n|)} \] ist, so ist \(F\) identisch 0. Der Hauptzweck der Arbeit ist der Beweis zweier Sätze für Funktionen von \(n\) Variablen, deren Spezialfälle für \(n = 1\) folgendermaßen lauten: Satz III. \(F (z)\) sei eine ganze Funktion vom Exponentialtyp, die der Bedingung \[ \varlimsup_{r\to\infty} r^{-1} \log \bigl(| F (-ir)| + |F (ir) |\bigr)<\pi \] genügt. Dann sind bei \(p > 0\) das Integral \[ \int\limits_{-\infty}^\infty |F(x)|^p\,dx \] und die Reihe \[ \cdots +|F(-m)|^p + \cdots+ |F(-1)|^p + |F(0)|^p + |F(1)|^p+ \cdots + |F(m)|^p +\cdots \] gleichzeitig konvergent in dem Sinne, daß die Konvergenz des einen die Konvergenz des anderen nach sich zieht. Satz IV. Damit eine ganze Funktion \(F (z)\) vom Exponentialtyp sei und die beiden Eigenschaften: \[ \begin{gathered} \varlimsup r^{-1} \log \bigl(| F(- ir) | + | F (ir) |\bigr)\leqq\pi, \\ \text{Existenz von}\quad \int\limits_{-\infty}^{+\infty} |F(x) |^p\,dx\quad \text{für ein }p > 1 \end{gathered} \] besitze, ist notwendig und hinreichend, daß sie in der Form \[ F(z) = \int\limits_{-\pi}^\pi \bigl[(1 - z) \varPsi (\pi) + z\varPsi(y)\bigr] e^{izy}\,dy \] dargestellt werden kann, wo \(\varPsi(y)\) eine stetige Funktion der Periode \(2\pi\) bedeutet, deren \textit{Fourier}reihe \(\sum\limits_{-\infty}^\infty c_n e^{-iny} \sim \varPsi(y)\) die Eigenschaft hat, daß \[ \sum_{-\infty}^\infty |nc_n|^p \] konvergiert. Die Sätze werden erst für \(n = 1\) bewiesen und dann durch vollständige Induktion auf beliebiges \(n\) übertragen. An Nebenresultaten ist bemerkenswert die Herstellung von ganzen Funktionen vom Exponentialtyp und von der Klasse \(L^p\) (\(p > 2\)), die keine \textit{Fourier}-Transformierte besitzen. Zum Schluß wird der im Referat über den ersten Teil erwähnte Satz über den Zusammenhang von \(h(\lambda)\) und \(\chi(\lambda)\) auf den Fall erweitert, daß \(F(z_1,\ldots,z_n)\) nicht in zweiter, sondern in \(p\)-ter Potenz (\(p > 0\)) integrabel ist.