Vorlesungen über Fouriersche Integrale. (Q565584)

Kap. I behandelt grundlegende Eigenschaften der bestimmten trigo\-nometrischen Integrale \[ \int f(x)\cos \alpha xdx, \quad \int f(x)\sin \alpha xdx, \quad \int f(x)e^{i_{\alpha }x}dx. \] \S \S 1-3 behandeln die Konvergenz der Integrale (im Falle unendlicher Grenzen) sowie ihr Verhalten für \(\alpha \to \infty \). \S 4 behandelt trigonometrische Integrale, die gleichmäßig in bezung auf einen Parameter Konvergieren, und \S 5 den \textit{Cauchy}schen Hauptwert. Kap. II (Darstellungs- und Summenformeln) beginnt in \S 6 mit der Aufstellung hinreichender Bedingungen dafür, daß\ die Funktionen \[ \int \limits _{-\infty }^{\infty }f\left ( x+\frac {\xi }{n}\right ) K(\xi )d\xi =n\int \limits _{-\infty }^{\infty }f(\xi )K(n(\xi -x))d\xi \] für \(n\to \infty \) gegen \[ f(x+0)\int \limits _{0}^{\infty }K(\xi )d\xi +f(x-0)\int \limits _{-\infty }^{0}K(\xi )d\xi \tag{*} \] konvergieren und gibt die anwendung auf Kerne \(K(\xi )=\dfrac {1}{\pi }\left ( \dfrac {\sin \xi }{\xi }\right ) ^p\) für \(p>1\). \S 7 (Das Dirichletsche Integral und verwandte Integrale) beschäftigt sich mit dem Fall \(K(\xi )=\dfrac {\sin \xi }{\xi ^p}\) für \(0<p\leqq 1\), der nicht unter das Kriterium des \S 6 fällt. \S 8 gibt hinreichende Bedingungen für das Bestehen der \textit{Fourier}schen Integralformel \[ \frac 12\{ f(x+0)+f(x-0)\} =\lim \limits _{n\to \infty }\frac {1}{\pi } \int \limits _{-\infty }^{\infty } f(\xi )\frac {\sin n(\xi -x)}{\xi -x}d\xi. \] \S 9 beschäftigt sich mit der \textit{Wiener}schen Formel \[ \lim \limits _{n\to \infty }\int \limits _{0}^{\infty } f\left ( \frac {x}{n}\right ) K(x)dx= {\mathfrak M}(f)\int \limits _{0}^{\infty }K(x)dx, \] wobei \[ {\mathfrak M}(f)=\lim \limits _{x\to \infty }\frac {1}{x} \int \limits _{0}^{x}f(\xi )d\xi, \] und \S 10 mit der \textit{Poisson}schen Summationsformel. Kap. III (Das Fouriersche Intrgraltheorem) beginnt in \S 11 mit Kriterien für die Gültigkeit dieses Theorems (\textit{Fourier}sches Doppelintegral) und der sogenannten Inversionsformeln. \S 12 gibt Anwendungen auf trigonometrische Integrale mit \(e^{-x}\); \S 13 behandelt für die Klasse \({\mathfrak F_0}\) der in \((-\infty,+\infty )\) absolut integrierbaren Funktionen die Faltungssätze sowie die Beziehungen der Funktionen aus \({\mathfrak F_0}\) zur Klasse \({\mathfrak T_0}\) ihrer (\textit{Fourier}-)Transformierten, so insbesondere die Frage der umkehrbaren Eindeutigkeit dieser Beziechung. Ferner wird eine mit einem sehr allgemeinen konvergenzerzeugenden Faktor ``summierte'' Form des \textit{Fourier}schen Integraltheorems angegeben, die für alle Funktionen aus \({\mathfrak F_0}\) gültig ist. \S \S 14-18 behandeln trigonometrische Integrale mit rationalen Funktionen, mit \(e^{-x^2}\), \textit{Bessel}schen Funktionen und die Auswertung gewisser mehrfacher Integrale. Kap. IV (Stieltjessche Integrale) behandelt die Funktionenklasse \({\mathfrak P}\), d. h. die Klasse der Funktionen \[ f(x)=\int \limits _{-\infty }^{\infty }e^{i_{\alpha }x}dV(\alpha ), \tag{**} \] wo die ``Verteilungsfunktion'' \(V(\alpha )\) beschränkt und monoton wachsend ist und der Relation \(\dfrac 12\{ V(\alpha +0)+V(\alpha -0)\} =V(\alpha )\) genügt. In \S 18 werden zunächst die Haupteigenschaften der \textit{Stieltjes}-Integrale ohne Beweis zusammengestellt und weiterhin eine Umkehrformel zu (**) gegeben, aus der sich als Folge die eindeutige Bestimmtheit von \(V\) durch \(f\) ergibt. In \S 19 (Folgen von Funktionen aus \({\mathfrak P}\)) dreht es sich um die Frage, wann man aus der Konvergenz einer Folge von Verteilungsfunktionen \(V_n\) auf die Konvergenz der nach (**) zugehörigen \(f_n\), und wann aus der Konvergenz einer Folge \(f_n\) auf die der zugehörigen \(V_n\) schließen kann. In \S 20 wird gezeigt, daß\ die Klasse \({\mathfrak P}\) identisch ist mit der Klasse der ``positiv definiten'' Funktionen, d. h. derjenigen stetigen, in \((-\infty,+\infty )\) beschränkten Funktionen \(f(x)\), für die \(\overline {f(-x)}=f(x)\) und \[ \sum \limits _{\mu =1}^{m}\sum \limits _{\nu =1}^{m} f(x_{\mu }-x_{\nu })\varrho _{\mu }\bar {\varrho _{\nu }}\geqq 0 \] bei beliebiger Wahl von \(x_1,\cdots,x_m\) und \(\varrho _1,\cdots,\varrho _m \quad (m=1, 2,\cdots )\) gilt. In \S 21 wird für Funktionen (**) die Gleichung \({\mathfrak M}\{f(x)e^{-i\lambda x}\}=V(\lambda +0)-V(\lambda -0)\) bewiesen, ein Kriterium für das Bestehen der \textit{Parseval}schen Relation gegeben und letztere für die fastperiodischen Funktionen bewiesen. Kap. V (und die entsprechenden Teile von Kap. VI), das,wie Verf. bemerkt, durch eine Arbeit von \textit{N. Wiener} (1926; F. d. M. 52, 416 (JFM 52.0416.*)) angeregt wurde, behandelt die ``symbolische'' Lösung von Differenzen-Differentialgleichungen der Form \[ \Lambda (y)\equiv \sum \limits _{\varrho =0}^{r} \sum \limits _{\sigma =0}^{s} a_{\varrho \sigma } \frac {\partial ^{\varrho }y(x+\delta \sigma )}{\partial x^{\varrho }} =f(x). \tag{***} \] Dabei werden im Kap. V nur solche Lösungen in Betracht gezogen, die mitsamt ihren \(r\) ersten Ableitungen in \((-\infty,\infty )\) absolut integrierbar sind. Die \textit{Fourier}transformi\-erte \(\varphi (\alpha )\) von \(y(x)\) genügt dann der ``Operatorgleichung'' \(G(\alpha )\varphi (\alpha )=E(\alpha )\), in der \(E(\alpha )\) die \textit{Fourier}transformierte von \(f(x)\) und \(G(\alpha )=\sum \limits _{\varrho =0}^{r}\sum \limits _{\sigma =0}^{s} a_{\varrho \sigma }(i\alpha )^{\varrho }e^{i\delta \sigma \alpha }\) ist. In \S 22 wird die Fragestellung besprochen. \S 23 enthält die für die Lösungsmethode grundlegende Theorie der ``Multiplikatoren'', d. h. derjenigen in \((-\infty,\infty )\) stetigen Funktionen \(\varGamma (\alpha )\), für die aus \(E(\alpha )\in {\mathfrak T_0}\) wieder \(\varGamma (\alpha )\cdot E(\alpha )\in {\mathfrak T_0}\) folgt. \S 24 behandelt die Frage, wann die ``Darstellung'' \[ f(x) \sim \int \limits _{-\infty }^{\infty }E(\alpha )e^{i_{\lambda }x}dx, \] die besagt, daß\ \(E(\alpha )\) die \textit{Fourier}-Transformierte von \(f(x)\) ist, nach den formalen Regeln differenziert bzw. integriert werden darf. In \S 25 schließlich werden auf Grund der Ergebnisse der vorangegangenen \S \S \ Kriterien für die Lösbarkeit der Gleichung (***), bzw. gewisser Spezialfälle dieser Gleichung gegeben. \S 26 behandelt in entsprechender Weise die Integralgleichung \[ \lambda y(x)-\frac {1}{2\pi }\int \limits _{-\infty }^{\infty }K(\xi ) y(x-\xi )d\xi =f(x) \] und \S 27 Systeme von Differentialgleichungen. Gegenstand von Kap. VI ist die Verallgemeinerung eines Teils der vorangegangenen für Funktionen aus \({\mathfrak T_0}\) gültigen Betrachtungen (insbesondere der des Kap. V) auf Funktionen aus allgemeineren Funktionenklassen \({\mathfrak F_k} \quad (k=1, 2,\cdots )\) bzw. \(\mathfrak F\). Es möge die Angabe der folgenden beiden Definitionen genügen: \(f(x)\) gehört zu \({\mathfrak F_k}\), wenn \[ \int \limits _{-\infty }^{\infty } \frac {| f(x)| }{1+| x| ^k}dx<\infty, \] und zu \({\mathfrak F}\), wenn \(f\) irgend einem \({\mathfrak F_k}\) angehört; ist ferner \(L_k(\alpha,x)=0\) für \(| x| >1\) und sonst gleich der Summe der \(k\) ersten Glieder in der Entwicklung von \(e^{-i_{\alpha }x}\), so wird in Verallgemeinerung des Begriffs de \textit{Fourier}transformierten als \(k\)-Transformierte einer Funktion \(f\) aus \({\mathfrak F_k}\) die bis auf Polynome \((k-1)\)-ten Grades bestimmte Funktion definiert, die mit \[ \frac {1}{2\pi }\int \limits _{-\infty }^{\infty } f(x)\frac {e^{-i_{\alpha }x}-L_k(\alpha,x)}{(-ix)^k}dx \] bis auf ein Polynom höchstens \((k-1)\)-ten Grades übereinstimmt. Kap. VII (Analytische und harmonische funktionen) beginnt (\S 35) mit der Besprechung einiger grundlegender Eingenschaften \textit{Laplace}scher Integrale analytischer Funktionen. \S 36 behandelt die Faltung \textit{Laplace}scher Integrale und \S 37 die Dartellung durch \textit{Laplace}sche Integrale von gegebenen ``analytischen Funktionen aus \({\mathfrak F_k}\)'', d. h. solchen analytischen Funktionen \(f(\sigma +it)\), die als Funktion von \(t\) ``gleichmäßig in \(\sigma \)'' zu \({\mathfrak F_k}\) gehören. In \S 38 werden ``harmonische Funktionen \(u(\sigma,t)\) aus \({\mathfrak F_k}\)'' bzw. \({\mathfrak F}\) eingeführt (die Definition ist entsprechend wie bei analytischen Funktionen), und in \S 39 Randwertaufgaben für solche Funktionen bezüglich eines Streifens \(\lambda \leqq \sigma \leqq \mu \), insbesondere Eindeutigkeitsfragen, behandelt. Kap. VII (Quadratische Integrierbarkeit) behandelt in \S 40 die \textit{Parseval}sche gleichung für Funktionen, die in \((-\infty,\infty )\) quadratisch integrierbar sind, und in \S 41 die \textit{Plancherel}schen Sätze für die gleiche Funktionenklasse. \S 42 ist den entsprechenden Sätzen bei \textit{Hankel}schen Integralen gewidmet. Kap. IX (Funktionen von mehreren Veränderlichen) beginnt in \S 43 mit der Bespre\-chung allgemeiner Eigenschaften trigonometrischer Integrale mit absolut integrierbaren Funktionen mehrerer Veränderlichen und dem Beweis der Faltungsregeln. \S 44 (Das Fouriersche Integraltheorem) bringt hinreichende Bedingungen für das Bestehen der der Relation (*) entsprechenden Limesrelation bei mehrern Veränderlichen, ferner Kriterien für die Gültigkeit der Umkehrformeln, der Bestimmtheit einer Funktion durch ihre Transformierte, schließlich (ohne Ausführung des Beweises) die Behauptung der Gültigkeit der \textit{Plancherel}schen Sätze. \S 45 behandelt die mit der Verallgemeinerung des \textit{Dirichlet}schen Integrals zusammenhängenden Fragen und \S 46 die \textit{Poisson}sche Summationsformel. Als \textit{Anhang} folgt ein kurzer Abriß\ über das (im Buche durchgehend verwendete) \textit{Lebesgue}sche Integral, der im Anschluß\ an das Buch von \textit{Carathéodory} (1927; F. d. M. 53, 225 (JFM 53.0225.*)) und größtenteils ohne Beweise gegeben wird. Ein ausführliches Literaturverzeichnis beschließt das Buch. Wie aus dem Vorstehenden hervorgeht, bringt das Buch, welches soweit Ref. beka\-nnt, das erste über seinen Gegenstand ist, neben den grundlegenden klassischen Eigenschaften der trigonometrischen Integrale auch zahlreiche Ergebnisse moderner Untersuchungen (die zum Teil von Verf. selbst herrühren). Bei der großen Fülle der einschlägigen Literatur mußte jedoch eine Auswahl getroffen werden; so fehlt z. B. die Theorie der trigonometrischen Integrale mit Funktionen, deren \(p\)-te Potenz integrierbar ist für \(p>2\). Vielfach wurde die Auswahl im Sinne der Anwendungen getroffen (vgl. z. B. Kap. IV, Wahrscheinlichkeitsrechnung und Kap. V, VI Operatorenrechnung). Trotzdem dürfte sich das klar geschriebene Buch den Anforderungen nach, die es an den Leser stellt, in erster Linie an den reinen Mathematiker richten. Andere Besprechungen: Tamarkin, Zentralblatt f. Math. 6 (1933), 110; Doetsch Jahresbericht d. D. M. V. 45 (1935), 139 \textit{kursiv}. In ersterer findet man auch einige kritische Bemerkungen bezüglich einiger Einzelheiten. (IV 7. )