Sur les fonctions-limites des sommes partielles d'une série entière à la frontière du cercle de convergence. (Q2612031)

Konvergiert die Folge \(\{s_n(z)\}\) der Teilsummen einer Potenzreihe mit dem Konvergenzradius 1, die in \(| z|<1\) die analytische Funktion \(f(z)\) definieren möge, in einem Punkt von \(|z| = 1\), so ist ihr Limes nach dem \textit{Abel}schen Grenzwertsatz gleich dem radialen Limes von \(f(z)\) in diesem Punkt. Man kann fragen, wie weit eine analoge Beziehung besteht, wenn nur eine Teilfolge \(\{s_{n_k}(z)\}\) der Partialsummen in einem Punkt von \(|z|= 1\) konvergiert. Falls eine solche Teilfolge gleichmäßig auf dem ganzen Kreis \(|z|=1\) konvergiert, so ist für jeden Punkt von \(|z|=1\) ebenfalls ihr Limes gleich dem radialen Limes von \(f(z)\) in diesem Punkt. Dagegen herrscht hinsichtlich des Limes einer Teilfolge \(\{s_{n_k}(z)\}\) in den Punkten von \(|z|=1\) vollkommene Willkür, wenn von der Forderung der gleichmäßigen Konvergenz von \(\{s_{n_k}(z)\}\) auf dem ganzen Kreis \(|z|=1\) abgegangen wird. Es gilt nämlich, wie Verf. in der vorliegenden Note (ohne Beweise) mitteilt: (1) Es gibt eine in \(|z|<1\) konvergente Potenzreihe \((S)\) mit der folgenden Eigen schaft: Ist \(\varphi(z)\) eine auf \(|z|=1\), abgesehen evtl. vom Punkte \(z=1\), definierte und stetige Funktion, so existiert dazu eine Folge \(\{s_{n_k}(z)\}\) von Teilsummen der Reihe \((S)\), welche auf jedem den Punkt \(z=1\) nicht enthaltenden Bogen des Kreises \(|z| = 1\) gleichmäßig gegen \(\varphi(z)\) konvergiert. (2) Es gibt eine in \(|z|<1\) konvergente Potenzreihe \((\sum)\) mit der folgenden Eigenschaft: Ist \(\psi(z)\) eine auf \(|z|=1\) definierte und stetige Funktion, so existiert dazu eine Folge \(\{s_{n_k}(z)\}\) von Teilsummen der Reihe \((\sum)\), welche in jedem Punkt von \(|z|=1\) gegen \(\psi(z)\) konvergiert. Diese Potenzreihe kann sogar so gebildet werden, daß die Konvergenz der \(s_{n_k}(z)\) auf \(|z|=1\) in der Umgebung jedes von \(z = 1\) verschiedenen Punktes eine gleichmäßige ist. Demgegenüber zeigt das folgende Resultat des Verf., daß diese Willkür im Limes der Teilfolgen nicht mehr besteht, sobald man sich auf Teilfolgen \(\{s_{n_k}(z)\}\) beschränkt, bei denen die Folge \(\{n_k\}\) passenden Einschränkungen unterworfen ist: (3) Die Potenzreihe \[ \sum_{n=0}^\infty a_nz^n \] sei im Einheitskreis konvergent und definiere daselbst die analytische Funktion \(f(z)\). Durch passende Zusammenfassung ihrer Glieder entstehe eine Polynomreihe \[ \sum_{k=0}^\infty P_k(z)\qquad\text{mit}\qquad P_k(z)=\sum_{n_k\leqq n<n_{k+1}}a_nz^n, \] die auf einer Punktmenge \(E\) des Einheitskreises normal konvergiert (d. h. auf \(E\) eine konvergente Majorante mit konstanten Gliedern besitzt). Hat dann \(E\) ein positives Winkelmaß und strebt \(\dfrac{n_{k+1}}{n_k}\to 1\), so stimmt der Wert der Reihe \(\sum P_k(z)\) fast überall auf \(E\) mit dem entsprechenden radialen Limes der Funktion \(f(z)\) überein. Dieses Resultat erlaubt noch eine gewisse Erweiterung auf den Fall, daß \(\dfrac{n_{k+1}}{n_k}\) wenigstens nach oben beschränkt ist.