Monotone Funktionen, Stieltjessche Integrale und harmonische Analyse. (Q2623025)

Die sehr bemerkenswerte und durchsichtige Arbeit zerfällt gemäß ihrem Titel in drei Abschnitte: I. Definition von \(k\)-dimensionalen ``monotonen'' Intervallfunktionen \(\varphi (I)\). Die Intervalle \(I\) sind als linksseitig abgeschlossen vorausgesetzt. \(\varphi (I)\) soll für jedes beschränkte \(I\) definiert, bei endlichen Intervallsummen additiv, und für alle \(I\) gleichmäßig beschränkt sein. \(I_0\) ist ein Stetigkeitsintervall für \(\varphi \), wenn \(\varphi (I)\) für zu \(I_0\) genügend benachbarte \(I\) sich von \(\varphi (I_0)\) beliebig wenig unterscheidet. Zwei Intervall-Funktionen heißen ``im wesentlichen'' gleich, wenn sie in den gemeinsamen Stetigkeitsintervallen gleich sind. Eine Folge von Intervallfunktionen heißt ``im wesentlichen konvergent'', wenn sie in den gemeinsamen Stetigkeitsintervallen konvergiert. Die Menge der Intervallfunktionen ist in dem folgenden Sinne kompakt: Jede unendliche Menge von gleichartig beschränkten Intervallfunktionen enthält eine im wesentlichen konvergente Teilfolge. Die Grenzfunktion einer im wesentliche konvergenten Folge bleibt ungeändert, wenn man die Funktionen der Folge im wesentlichen gleiche ersetzt. II. Definition des \(k\)-dimensionalen \textit{Stieltjes}integrals \[ \int _{\mathfrak {P}} \psi (\alpha ) d \varphi (\alpha ). \] \(\mathfrak {P}\) ist eine endliche Intervallsumme, evtl. der ganze Raum \(\mathfrak {R},\psi (\alpha )\) eine stetige gleichmäßig beschränkte Punktfunktion. Das Integral ist ähnlich wie im ein- und zweidimensionalen Falle erklärt als Grenzwert einer Zerlegungssumme. In diese Zerlegungssumme geht eine aus der Punktfunktion \(\varphi (\alpha )\) wie üblich gewonnene Intervallfunktion \(\varphi (I)\) ein, die im obigen Sinne als monoton vorausgesetzt ist. Dann heißt auch die Punktfunktion \(\varphi (\alpha )\) ``monoton''. Es werden die wichtigsten Eigenschaften der \textit{Stieltjes}integrale hergeleitet. Insbesondere ändert sich das Integral nicht, wenn man \(\varphi (\alpha )\) durch eine im wesentlichen gleiche Punktfunktion (d. h. die zugehörigen Intervallfunktionen sollen im wesentlichen gleich sein) ersetzt. Besonders wichtig ist der folgende Grenzwertsatz: Wenn die Folge von monotonen Intervallfunktionen \(\varphi _m(I)\) ``abgeschlossen'' (d. h. im wesentlichen und insbesondere für \(\mathfrak {R}\) selbst) gegen die Funktion \(\varphi _0(I)\) konvergiert, so gilt \[ \lim _{m \rightarrow \infty } \int _{\mathfrak {R}} \psi (\alpha ) d \varphi _m(\alpha ) = \int _{\mathfrak {R}} \psi (\alpha ) d \varphi _0(\alpha ). \] III. \(\alpha \) und \(x\) bedeuten Punkte von \(k\)-dimensionalen Räumen. \(V(\alpha )\) sei eine monotone Punktfunktion (Verteilungsfunktion), \[ f(x) = \int _{\mathfrak {R}} e^{ix\alpha }dV(\alpha ), \] das Integral über den ganzen \(\alpha \)-Raum \(\mathfrak {R}\) erstreckt, die zugehörige charakteristische Funktion. \(V(\alpha )\) und \(f(x)\) bestimmen sich wechselseitig bis auf im wesentlichen gleiche Funktionen. Ferner gilt der folgende Grenzwertsatz: Wenn die Verteilungsfunktionen \(V_m(I)\) gegen \(V_0(I)\) abgeschlossen konvergieren, so konvergieren die charakteristischen Funktionen von \(V_m\) gleichmäßig in jedem endlichen \(x\)-Intervall gegen die charakteristische Funktion von \(V_0\). Wann ist eine Punktfunktion \(f(x)\) als charakteristische Funktion darstellbar? Dann und nur dann, wenn \(f(x)\) ``positiv-definit'' ist. \(f(x)\) heißt dabei positiv-definit, wenn es stetig und beschränkt, \(f(-x) = f(x)\) ist und die \textit{Hermites}chen Formen \[ \sum _{\mu =1}^m \sum _{\nu =1}^m f(x_\mu - x_\nu ) \varrho _\mu \overline {\varrho _\nu } \] für beliebige Punkte \(x_\mu, x_\nu \) stets positiv-definit sind. Mit \(f(x)\) und \(g(x)\) ist auch \(f(x)g(x)\) eine charakteristische Funktion. Zum Schluß wird eine wichtige Anwendung auf die Spektralanalyse quadratisch integrierbarer Funktionen gemacht: \(g(x)\) sei für jedes beschränkte Intervall quadratisch integrierbar. \(\mathfrak {G}\) sei eine Gebietsfolge mit wechselseitigem Randabstand \( \geqq 1\), die monoton gegen den Gesamtraum \(\mathfrak {R}\) konvergiert. Die Zahlen \(c_n\) seien positiv und \(\frac {c_{n+1}} {c_n} \rightarrow 1\). Konvergieren dann mit \(n \rightarrow \infty \) die Funktionen \[ F_n(x) = \frac {1}{c_n} \int _{\mathfrak {G}_n} g(x + \zeta ) \overline {g(\zeta )} d \zeta \] für fast alle \(x\) und \(x = 0\) gegen die endliche Grenzfunktion \(F(x)\), so gibt es eine Verteilungsfunktion \(V(\alpha )\), so daß für fast alle \(x\) \[ F(x) = \int _{\mathfrak {R}} e^{ix\alpha } dV(\alpha ) \] ist. - Dieser Satz umfaßt und verallgemeinert ähnliche Sätze von \textit{Plancherel} und \textit{Wiener}. (IV 3 D, 7.)