Notes on the theory of series (IV): On the strong summability of Fourier series. (Q1447086)

Die Verf. verallgemeinern einige Sätze, die von ihnen selbst (F. d. M. 44, 302), ferner von Fejér (F. d. M. 46, 452 (JFM 46.0452.*)), Fekete (F. d. M. 46, 453 (JFM 46.0453.*)), Carleman (F. d. M. 49, 201 (JFM 49.0201.*)) und Sutton (Proceedings L. M. S. (2) 23 (1925), XLVIII-LI; F. d. M. 51) aufgestellt wurden. Bedeutet \(s_m(x)\) die \(m\)-te Partialsumme der Fourierreihe einer integrierbaren Funktion \(f(x)\), \(\overline{s}_m(x)\) die \(m\)-te Partialsumme der konjugierten Reihe, ist ferner: \[ \varphi(t)=\tfrac 12[f(x+t)+f(x-t)-2s], \;\;\psi(t)=\tfrac 12[f(x+t)f(x-t)], \] so gelten die folgenden Sätze: I. Wenn für \(p > 1\) \[ \int_0^t |\varphi(u)|^p\,du=O(t), \;\;\int_0^t\varphi(u)\,du=o(t) \] erfüllt ist, dann ist für jedes \(q >0\): \[ \sum_{m=0}^n|s_m(x)-s|^q= o(n) \tag{1} \] II. Wenn für \(p > 1\) \[ \int _0^t|\psi(u)|^p\,du= O(t) \] ist, und wenn der Hauptwert von \(\dfrac 1{\pi}\int\limits_0^\pi \psi(t)\operatorname{cot}\dfrac 12 t\,dt\) den Wert \(\overline s\) hat, dann gilt für jedes \(q > 0\): \[ \sum_{m=0}^n|\overline{s}_m(x)-\overline s|^q= o(n). \tag{2} \] Ferner werden Umkehrungen obiger Sätze bewiesen, bei welchen aus den Eigenschaften der Partialsummen auf den Charakter der Funktion geschlossen wird. Z. B.: Wenn für \(p > 1\) und \[ \begin{gathered} B_n = b_n \cos nx - a_n \sin n_x \\ \sum_1^n (m|B_m|)^p = O(n), \;\;\sum_1^n mB_m = o(n) \end{gathered} \] erfüllt ist, so ist \[ \sum (a_n \cos nt + b_n \sin nt) \] die Fourierreihe einer Funktion \(f(t)\), welche für jedes \(q >0\) samt ihrer \(q\)-ten Potenz integrierbar ist und für die \[ \int_0^t|\psi(t)|^q\,dt=o(t) \] für jedes \(q > 0\) gilt.