Sopra un'estensione di una formula di Curtiss. (Q2604675)

Eine Formel von \textit{Curtiss} verallgemeinert den Mittelwertsatz für analytische Funktionen einer komplexen Variablen. Verf. hat in Ann. Mat. pura appl., Bologna, (4) 12 (1933), 153-171 (JFM 59.0314.*) eine Verallgemeinerung davon gegeben, in der die Werte der analytischen Funktion in \(n + 1\) Punkten vorkamen. Diese gehörten der Umgebung eines Punktes \(\alpha\) an, für den \(f^{(n+1)}(\alpha)\neq 0\) angenommen wurde. Verf. beschäftigt sich hier mit dem Fall \(f^{(n+1)}(\alpha) = 0\). \(f^{n+m}(z)\) sei die erste in \(\alpha\) nicht verschwindende Ableitung von \(f (z)\). Er gewinnt hier die folgenden beiden Sätze: Es gibt einen Kreis vom Radius \(r_0'\) um \(\alpha\), mit folgender Eigenschaft. Man nehme \(n +1\) Punkte \(z_0,\ldots,z_n\), so daß \[ \max\limits_{j=0,\ldots,n} |\alpha-z_j| = r_0\leqq r_0' \] und so daß \[ [(z_0-\alpha),\ldots,(z_n-\alpha)]^{[m]} = 0. \] Dann gibt es \(m\) Punkte \(\xi_{\varrho}\) im Kreise vom Radius \(r_0\) um \(\alpha\), derart, daß für jeden derselben \[ D_n[f(z)] = D_n[z^n] \dfrac{f^{(n)} (\xi_{\varrho})}{n!} . \] Diese \(m\) Punkte sind entweder voneinander verschieden oder fallen alle mit \(\alpha\) zusammen. Im vorstehenden bedeutet \[ [x_0,\ldots,x_n]^{[m]} \] das Polynom, das aus \((x_0 + \cdots + x_n)^m\) entsteht, wenn man darin alle Koeffizienten durch 1 ersetzt. Endlich ist \[ D_n[f(z)] = \begin{vmatrix} 1 & z_0 & z_0^2 &\ldots &z_0^{n-1} & f(z_0)\\ \hdotsfor{6}\\ 1 & z_n & z_n^2 & & z_n^{n-1} & f(z_n) \end{vmatrix} \] Zweitens beweist Verf., daß es einen Kreis vom Radius \(r^*\) um \(\alpha\) gibt mit folgenden Eigenschaften. Es seien \(z_0,\ldots,z_n\) Punkte aus demselben. Es sei \(\eta\) eine Nullstelle von \[ [(z_0-z),\ldots(z_n-z)]^{[m]}, \] die dem Kreis vom Radius \(r^*\) um \(\alpha\) angehört. Dann gibt es einen Kreis vom Radius \(r_{\eta}\) um \(\eta\), in dem ein Punkt \(\xi\) existiert, für den \[ D_n[f(z)] = D_n[z^n] \dfrac{f^{(n)}(\xi)}{n!}. \]