Proof of some theorems on power series (Q1557332)

Während Abel (über die binomische Reihe) die Stetigkeit der durch eine Potenzreihe definirten Function im Innern des Convergenzkreises nachwies, zeigte Dirichlet (Liouville J. (2) VII. 253), dass in einem Punkte des Umfanges des Convergenzkreises, für welchen die Reihe noch convergirt, die Function sich stetig ändert, wenn man auf dem Radiusvector vom Mittelpunkt des Kreises zu dem in Rede stehenden Randpunkte übergeht. Hier wird dieser Nachweis auf folgenden Satz ausgedehnt: ``Angenommen, die Potenzreihe \[ \sum_{0}^{\infty}{}_n a_n x^n = f(x) \] sei längs eines Stückes des Umfanges des Covergenzkreises noch convergent, so ist \(f(x)\) eine stetige Function von \(x\) sowohl gegen das Innere des Kreises, als auch längs dieses Stückes.'' Ferner wird bewiesen: ``Angenommen, die Reihe \({\sum_{1}^{\infty}}_n n a_n x^{n-1}\) convergirt in einem Punkte \(x_1\) des Umfanges ihres Convergenzkreises, welcher bekanntlich mit dem von \({\sum_{0}^{\infty}}_n a_n x^n \) zusammenfällt, so convergirt auch die letztere Reihe, und es ist \[ \sum_1^\infty {}_n n a_n x_{1}^{n-1} = f'(x_1)''. \] Der Taylor'sche Satz \[ \sum_0^\infty {}_n a_n x^n = f(x) = \sum_0^\infty {}_n \frac {f^{(n)} (x_0)} {n!} (x - x_0)^n \] besteht stets auch noch für alle Punkte des Umfanges des von \(x_0\) aus beschriebenen Kreises, mit Ausnahme des Berührungspunktes \(x_1\) beider Kreise; er gilt ferner auch noch für diesen Punkt, wenn \( \sum a_n x_1^n \) convergirt; und wenn \(\sum a_n x_1^n\) sich der Grenze \(\infty\) nähert (ohne zu oscilliren), so gilt dieses auch von der abgeleiteten Reihe.