On Maclaurin series for a real variable. (Q1539986)

Wenn sich in einem endlichen Intervall \(0\leqq x \leqq a\) \((a<1)\) eine Function durch die Maclaurin'sche Reihe darstellen lässt, so kann die Darstellung fortgesetzt werden, soweit die Ableitungen der Function stetig sind und die Reihe convergent ist; vorausgesetzt wird noch, dass die Function für die in Betracht kommenden Werte von \(x\) genau definirt ist, und zwar, ebenso wie auch ihre Ableitungen, überall durch denselben Ausdruck. Der Beweis wird zuächst für eine Reihe \[ (1) \quad f(0) + \tfrac{x}{1}\, f'(0) + \frac{x^2}{1.2}\;f''(0) + \cdots \] geführt, deren Coefficienten sämlich positiv sind und von einem bestimten Werte des \(n\) an nicht wachsen; ist dann \[ (2) \quad R_n = \frac{(1-\theta)^{n-1}x^n}{1.2.3\cdots (n-1)}\;f^n(\theta x) \] der Rest der Reihe, so wird gezeigt, dass für hinreichend grosse Werte von \(n\) die Grösse \(\theta x\) im Intervall \(a \leqq x \leqq 1- \varepsilon\) den Wert \(a\) nicht erreichen kann; daher kann aus (1) für \(f^n(\theta x)\) eine Reihe hergeleitet werden, durch deren Einsetzung in (2) sich für \(R_n\) eine obere Grenze ergiebt, die mit wachsendem \(n\) gegen Null convergirt. Siehe auch JFM 19.0230.01.