Über die Cesàroschen Mittel Fourierscher Reihen. (Q1447089)

In einer ähnlichen Gedankenrichtung, wie die bei der vorstehend besprochenen Arbeit genannten Resultate, liegen zwei Sätze, die Szász kurz zuvor bewiesen hatte (Acta Math. 48, (1926), 353-362; F. d. M. 52). Wenn die mit \(2\pi\) periodische und \(L\)-integrierbare Funktion \(f(x)\) bei passender Wahl der Größen \(s\), \(g\) und \(\alpha\) mit \(0<\alpha\leqq 1\) für \(h\to +0\) der Bedingung \[ \int_0^h |f(x+2t)+f(x-2t)-2s-gt^\alpha|\,dt=o(h^{1+\alpha}) \tag{*} \] genügt, so streben \[ n^\alpha\left(s_n^{(1)}(x)- s\right) \to \frac g{\pi}\gamma \;\;\text{bzw.} \;\;\frac n{\log n}\left(s_n^{(1)}(x) - s\right) \to \frac g{2\pi}, \] je nachdem \(\alpha < 1\) oder \(= 1\) ist. Dabei bedeutet \(\gamma\) eine gewisse, nur von \(\alpha\) abhängige (explicite angebbare) Konstante. Dieser Satz gestattet u. a., aus dem Verhalten der \(s_n^{(1)}(x)\) die Größe des Sprunges von \(f(x)\) abzulesen, und enthält als Spezialfälle mehrere ältere Sätze. Es wird nun, ähnlich wie in der vorstehenden Arbeit, dies Ergebnis auf die \(C_k\)-Mittel \(s_n^{(k)}(x)\) für \(0 < k < 1\) übertragen. Es ergibt sich: Ist für passendes \(s\), \(g\) und \(\alpha\) mit \(0 < \alpha \leqq k\) die Bedingung (*) erfüllt, so strebt \[ n^\alpha\left(s_n^{(k)}(x)-s\right) \to g\gamma_1 \;\;\text{bzw.} \;\;\frac{n^k}{\log n}\left(s_n^{(k)}(x)-s\right) \to 0, \] je nachdem \(\alpha < k\) oder \(= k\) ist. Dabei bedeutet \(\gamma_1\) eine nur von \(\alpha\) und \(k\) abhängige (explicite angebbare) Konstante. Der Umstand, daß die zweite Hälfte dieses Satzes für \(k = 1\) nicht genau in die des vorigen übergeht, (0 statt \(g/2\pi\)), läßt die Vermutung aufkommen, daß für \(\alpha = k < 1\) der Nenner \(\log n\) überflüssig sein mag. Das ist aber, wie (unbewiesen) hinzugefügt wird, nicht der Fall.