Sulle condizioni sufficienti per le successioni di Fourier. (Q5924353)

In den von \textit{Szidon} (1921; F. d. M. 48, 306 (JFM 48.0306.*)), \textit{Young} (Proceedings L. M. S. (2) 12 (1913), 41-70; F. d. M. 44, 300 (JFM 44.0300.*)) und \textit{Kolmogoroff} (1923; F. d. M. 49, 204 (JFM 49.0204.*)) angegebenen hinreichenden Bedingungen für die Koeffizienten einer trigonometrischen Reihe, unter welchen diese die \textit{Fourier}reihe einer \(L\)-integrierbaren Funktion ist, treten die ersten und die zweiten Differenzen der in Rede stehenden Koeffizienten auf. Verf. unternimmt es in der vorliegenden Arbeit, für diese Problemstellung den Begriff der Differenz gebrochener Ordnung heranzuziehen, um zur Aufstellung von neuen bzw. zur Verschärfung von bekannten Bedingungen zu gelangen. Für die Cosinusreihe \[ \frac {a_0}2+\sum _{\nu =1}^\infty a_\nu \cos \nu x\quad (a_\nu \to 0\text{ für }\nu \to \infty )\eqno (1) \] werden folgende Sätze aufgestellt: Dafür, daß die trigonometrische Reihe (1) die \textit{Fourier}reihe einer \(L\)-integrierbaren Funktion darstellt, ist die Konvergenz einer der beiden nachstehenden Reihen für ein bestimmtes \(\sigma \) hinreichend: \[ \sum _{\nu =1}^\infty |\Delta ^\sigma a_\nu |\quad \text{für }0<\sigma <1,\eqno (1^0) \] \[ \sum _{\nu =1}^\infty |\Delta ^\sigma a_\nu |n^{\sigma -1}\quad \text{für }\sigma >1,\eqno (2^0). \] Verf. zeigt an Hand von Beispielen, daß der Satz \((1^0)\) vom \textit{Szidon}schen Satze, wonach die Konvergenz der Reihe \(\sum _{\nu =0}^\infty |\Delta a_\nu |\log \nu \) eine hinreichende Bedingung darstellt, unabhängig ist, d. h. daß keiner der beiden Sätze aus dem andern folgt. Für Satz \((2^0)\) wird ebenfalls an Hand von Beispielen nachgewiesen, daß er eine tatsächliche Verallgemeinerung des für \(\sigma =2\) bewiesenen Satzes von \textit{Kolmogoroff} darstellt. Analoge Sätze werden in entsprechender Formulierung für die Sinusreihe hergeleitet. In einer unter damselben Titel in Bollettino U. M. I. 13 (1934), 100-104 (F. d. M. \(60_{\text{II}}\)) erschienenen Note verallgemeinert Verf. seine Resultate und weist auch darauf hin, daß Satz (\(2^\circ \)) unabhängig von ihm im Jahre 1933 von \textit{C. N. Moore} (F. d. M. \(59_{\text I}\), 302) angegeben worden ist.