On Wiener's general harmonic analysis. (Q2594505)

Die Arbeit gibt eine Verallgemeinerung der Wienerschen allgemeinen harmonischen Analysis, bei der es sich um die Feststellung von Bedingungen handelt, unter denen man der Darstellung \[ f(x)\sim \int e^{-iyx}\,ds(y) \tag{1} \] einen gewissen Sinn beilegen kann. Zugrunde gelegt wird die Klasse \(\mathfrak B_p\) (\(1\leqq p \leqq 2\)) von Funktionen \(f(x)\) in \((-\infty,\infty)\), die in jedem endlichen Intervall integrabel sind, und für die gilt: \[ \sum_{n=-\infty}^\infty F_n^p(|n|+1)^{-p} < \infty \quad \text{mit} \quad F_n=\int\limits_n^{n+1}|f(x)|\,dx. \] Hierzu gehören z. B. die periodischen und im Stepanoffschen Sinn fastperiodischen Funktionen. Zu \(f(x)\) wird eine Funktion \(s(y)\) folgendermaßen definiert: \[ s(y)=\operatornamewithlimits{l.i.m.}\limits_{l\to \infty}^{(p')} \frac 1{2\pi} \int\limits_{-l}^l \frac{f(x)}{ix}(e^{ixy}-e^{-x^2})\,dx \tag{2} \] mit \(p'=\dfrac p{p-1}\left(\dfrac 1p+\dfrac 1{p'}=1\right)\) und der üblichen Interpretation für \(p = 1\). Dieser Zusammenhang zwischen \(f(x)\) und \(s(y)\) wird ausgedrückt durch die Formel (1). Die rechte Seite heißt das Wienersche Integral von \(f(x)\). Wie diese Darstellung mit den klassischen harmonischen Entwicklungen zusammenhängt, bzw. sie in sich begreift, zeigen folgende Sätze: 1. Fourier-Stieltjes-Transformierte: Ist \[ f(x)=\int\limits_{-\infty}^\infty e^{-iyx}\,ds^*(y) \quad \text{mit} \quad \int\limits_{-\infty}^\infty |ds^*(y)|< \infty, \] so ist \(s(y)-s^*(y)\) fast überall eine Konstante. 2) Fourier-Transformierte: Ist \(f(x)\in L^p(-\infty,\infty)\) mit \(1\leqq p\leqq 2\) und \(F(y)\) die zugehörige Fourier-Transformierte, so ist \[ s(y)\equiv \frac 1{\sqrt{2\pi}} \int\limits_0^y F(u)\,du + C. \] 3) Fastperiodische Funktionen: \(f(x)\) sei fastperiodisch im \(S_p\)-Sinne und habe die Fourierreihe \(\sum A_ne^{-i\lambda_nx}\). Es sei \(\sum\limits_{|\lambda_n|\leqq \varLambda}|A_n| < \infty\) für jedes endliche \(\varLambda\). Dann ist \[ s(u')-s(u)\equiv \sum_{u\leqq \lambda_n\leqq u'}A_n. \] Für den neuen Begriff werden nun die Analoga zu den bekannten Konvergenz- und Summabilitätssätzen über Fourierreihen, zu dem Satz über Mittelkonvergenz von M. Riesz und zu dem Hausdorff-Youngschen Satz aufgestellt. Als Beispiel sei genannt: Aus \(\int\limits_{-y}^y e^{-itx}\,ds(t)\) erhält man formal durch partielle Integration den Ausdruck \[ S_y(x)=s(y)e^{-ixy}-s(-y)e^{ixy}+ix\int\limits_{-y}^y e^{-ixt}s(t)\,dt. \] Das 1. Gesàrosche Mittel von \(S_y(x)\) ist \[ \sigma_y(x)=\frac 1y \int\limits_0^y S_t(x)\,dt= \int\limits_{-y}^y\left[ix\left(1 - \frac{|u|}y\right)+ \frac{|u|}{uy}\right] e^{-iux}s(u)\,du. \] Wenn nun \(f(x)\) zu \(\mathfrak B_p\) gehört, so ist fast überall \(\lim\limits_{y\to \infty}\sigma_y(x)=f(x)\); insbesondere gilt dies an allen Stetigkeitsstellen.