Un teorema sulla derivazione delle serie. (Q572365)

Es wird folgender Satz bewiesen: \(f_n(x)\, (n = 1,2,3,\ldots)\) sei eine Folge von reellen, im Intervall \(\langle a, b \rangle\) stetigen Funktionen, die dort endliche Ableitungen bis zur \(k\)-ten Ordnung besitzen. Außerdem seien im Innern von \(\langle a, b \rangle\) die \(k\)-ten Ableitungen monoton. Konvergiert dann die Reihe \[ \displaylines{\rlap{(1)} \hfill \sum\limits_{n=1}^{\infty} f_n(x) \hfill } \] in mindestens \(k+2\) verschiedenen Punkten \(x_1<x_2< \cdots < x_{k+2}\) von \(\langle a, b \rangle\), so konvergiert die Reihe (1) gleichmäßig in \(\langle x_1, x_{k+2} \rangle\), und die Reihe \[ \displaylines{\rlap{(2)} \hfill \sum\limits_{n=1}^{\infty} f^{(r)}_n(x) \qquad (r=1,2,\ldots, k) \hfill } \] konvergiert gleichmäßig in jedem Intervall \(\langle a', b' \rangle\) mit \(x_1<a'<b'<x_{k+2}\). Weiterhin ist die Reihe (1) im ganzen Intervall \(\langle x_1, x_{k+2} \rangle\) \(k\)-mal ableitbar, und (2) ist die \(r\)-te Ableitung von (1). (IV 3 C.)