Verallgemeinerung eines reihentheoretischen Satzes. (Q2596089)

Verf. vermerkt, daß sich mit der von ihm bei andrer Gelegenheit (Math. Z. 10 (1921), 121-127; F.~d.~M. 48, 306) entwickelten Beweismethode und in Verallgemeinerung eines dabei gewonnenen Resultats beweisen läßt: Für \(S_n^{(r)}\), die \(C\)-Summen \(r\)-ter Ordnung (\(r > 0\) ganz) der gegebenen Reihe \(\sum\limits_{1}^{\infty} f_n(x)\), gelte bei jedem \(x\) einer reellen oder komplexen Menge \(\mathfrak{X}\) und bei einer gewissen von \(x\) unabhängigen Folge \(n_1, \,n_2, \ldots\) \[ \left| \frac{S_{n_{k+1}}^{(r)} (x)}{S_{n_k}^{(r)} (x)} \right| >2 \] von einem gewissen von \(x\) abhängigen \(k(x)\) ab. Dann gibt es \(r\)-fach monotone Nullfolgen \((q_n)\), so daß die \((C, \,l)\)-Summen (\(l\) fest und \(> r\)) von \(\sum\limits_{1}^{\infty} q_n f_n(x)\) in \(\mathfrak{X}\) nirgends beschränkt sind. Hieraus wird gefolgert: Die durch \(\sum\limits_{n=1}^{\infty} p_n e^{inx}\) dargestellte Funktion ist in \(0 < x < 2 \pi\) überall \(r\)-mal differenzierbar, wenn \((np_n)\) eine \(r\)-fach monotone Nullfolge ist. Ist aber \(\lim\limits_{n \to 0} n \varphi (n) = \infty\) und \(\varphi (n)\) eine \((r + 1)\)-fach monotone Funktion für \(n > 0\), so gibt es Folgen \((p_n)\), für welche \(\left( \dfrac{p_n}{\varphi (n)} \right)\) \(r\)-fach monoton gegen 0 strebt und \(\sum\limits_{n=1}^{\infty} p_n e^{inx}\) in \(0 < x < 2 \pi\) nirgends \(r\)-mal differenzierbar ist.