Sur le prolongement analytique de certaines séries de \textit{Taylor}. (Q1474645)

Es sei \(f (u)\) eine analytische Funktion, die im Punkte \(x = \alpha\) regulär ist. Ferner sei \[ \alpha =f(\alpha ), \quad f' (\alpha)\neq 0, \quad f'(\alpha)=S, \quad | S| <1. \] Wenn \(u_0\) einer gewissen Umgebung von \(\alpha\) angehört, so ist nach einem Satze von \(Fatou\) die Funktion \[ \varphi(z)=u_0+u_1z+\cdots +u_nz^n+\cdots, \] wo \[ u_{n+1}=f(u_n), \] eine meromorphe Funktion, deren Pole einfach sind und die alle der Folge \[ 1, \frac 1S, \frac 1{S^2}, \dots, \frac 1{S^n}, \dots \] angehören. Verf. untersucht Reihen von der Form \[ F (z) = a_0u_0 + a_1 u_1 z+a_2 u_2 z^2 +\cdots, \] wobei \(a_0, a_1, \dots, a_n, \dots\) so beschaffen sind, daß\ \[ \theta(z) = a_0+a_1z +\cdots +a_n z^n+\cdots \] einen von Null verschiedenen Konvergenzradius besitzt. Es gibt dann eine Transformation \[ \begin{aligned} & y=\omega(y')=\alpha +\alpha_1y'+\alpha_2y'^2+\cdots,\\ & x=\omega(x')=\alpha +\alpha_1x'+\alpha_2x'^2+\cdots,\end{aligned} \] welche die Relation \(y= f (x)\) auf die einfache Form \(y' = Sx'\) bringt. Man erhält so für \(u_n\) die Parameterdafstellung \(u_n = \omega (S^n y_0).\) Verf. beweist die Formel \[ F(z)=\alpha\theta(z)+\alpha_1y_0\theta(Sz)+\cdots+\alpha_ny_0^n\theta(S^n z)+\cdots \] und zeigt, daß\ sich aus ihr die analytische Fortsetzung von \(F(z)\) ergibt. Schließlich werden einige naheliegenden Verallgemeinerungen dieser Tatsachen besprochen.