Mémoire sur l'extension du théorème d'Abel aux séries d'itérées \(\sum\limits_{n=0}^\infty a_nR_n(z)\). (Q572771)

Wenn eine Potenzreihe \(\mathfrak B(z) = \sum\limits_0^\infty a_nz^n\) in einem Punkte \(z_0\) konvergiert, so stellt sie bekanntlich eine Funktion dar, welche in jedem abgeschlossenen Dreieck stetig ist, dessen drei Ecken von diesem Punkte \(z_0\) und zwei weiteren in \(|z| < |z_0|\) gelegenen Punkten gebildet werden (\textit{Abel}scher Grenzwertsatz). Verf. zeigt nun, daß entsprechende Sätze für Reihen der Form \[ \mathfrak S = \sum\limits_0^\infty a_nR_n(z) \] gelten, worin die \(R_n(z)\) die durch \[ R_n(z) = R(R_{n-1}(z)), \quad R_0(z) = z \] definierten Iterierten einer rationalen Funktion \(R(z)\) bedeuten, welche den Einheitskreis auf sich abbildet (so daß also \(| R(z)| < 1\) für \(| z | < 1\), \(| R(z) | = 1\) für \(| z | = 1\) gilt). Ist \(z_0\) ein Fixpunkt auf \(| z | = 1\), so ist (bei passender Wahl der \(a_n\) die in \(z_0\) konvergente Reihe \(\mathfrak S(z)\) gleichmäßig konvergent (die dargestellte Funktion also stetig) in jedem abgeschlossenen Dreieck, das bis auf \(z_0\) im Innern des Konvergenzbereichs liegt. Dessen Struktur hängt von den Eigenschaften der Fixpunkte von \(R(z)\), sowie von den \(a_n\) ab; die diesbezüglichen Fallunterscheidungen werden durchgeführt und liefern noch präzisere Aussagen über das Konvergenzverhalten von \(\mathfrak S(z)\).