Sopra una formula di Curtiss. (Q2623139)

Ein Satz von \textit{Curtiss} (1908; F. d. M. 38, 337 (JFM 38.0337.*)) lautet: \(f(z)\) sei in einem Bereiche \(B\) analytisch. \(a\) sei ein Punkt aus \(B\). Es sei \(f''(a)\neq 0\). Dann gibt es eine Umgebung \(A\) von \(a\), so daß\ für alle \(z_1\) und \(z_2\) aus \(A\) die Gleichung \[ f(z_1)-f(z_2)-(z_1-z_2)f'(z^{*})=0 \] eine Lösung \(z^{*}\) hat, welche dem, Kreis über der Strecke \((z_1,z_2)\) als Durchmesser angehört. Verf. gibt hier eine Abschätzung für die Umgebung \(A\). Man kann als solche einen Kreis um \(a\) mit der kleineren der beiden Zahlen \(\delta \) und \[ \frac {R-\delta }{4+\dfrac {3M}{\lambda (R-\delta )^2}} \] als Radius nehmen. Dabei ist \(R\) kleiner als der Konvergenzradius der Reihe \[ f(z)=\sum c_n(z-a)^n, \] \[ M{=}\underset {| z-a| =R} {\text{Max}} | f(z)|, 0<\delta <R \quad \text{und} \quad f''(z)\neq 0 \quad \text{in} \quad | z-a| \leqq \delta, \lambda {=}\underset {| z-a| \leqq \delta } {\text{Min}}\;| \dfrac 12 f''(z)|. \] Ferner verallgemeinert Verf. diesen und einen verwandten Satz von \textit{Curtiss} in ähnlicher Weise, wie \textit{Montel} (Sur une formule de Darboux et les polynomes d'inter\-polation, Annali Pisa 1 (1932), 371-384; F. d. M. 58) den \textit{Darboux}schen und der \textit{Weierstraß}shcen Mittelwertsatz verallgemeinert hat, indem er statt der Differenz \(f(z_1)-f(z_2)\) die mit \(n+1\) Punkten gebildete Determinante \[ D_n[ f(z)] = \begin{vmatrix} 1 & z_0 & \cdots & z_0^{n-1} & f(z_0)\\ \vdots & \vdots & \vdots & \vdots &\vdots \\ 1 & z_n & \cdots & z_n^{n-1} & f(z_n) \end{vmatrix} \] heranzieht. Dann ist \[ D_n[f(z)]=D_n[ z^n] \frac {f^{(n)}(\xi )}{n!}. \] Dabei ist \(f(z)\) in einer Umgebung von \(z=a\) regulär; es ist \(f^{(n+1)}(a)\neq 0\). Dann existiert ein Kreis \(| z-a| <r^{*}\), in dem \(f(z)\) regulär ist, so daß\ für jede Auswahl von \(n+1\) Punkten \(z_0,\cdots,z_n\) aus demselben und für ein gewisses \(\xi \) aus \[ | z-\eta | <\text{Max}| \eta -z_i| \qquad (i=0,1,\cdots,n), \] \[ \eta =\frac {z_0+z_1+\cdots +z_n}{n+1}, \] jene Ungleichung gilt. Dabei ist \(r^{*}\) die kleinere der beiden Zahlen \(\delta \) und \[ \frac {n+1}{2n}\frac {R-\delta }{n+3+(n+2)\dfrac {M}{\lambda (R-\delta )^{n+1}}}, \] und es sind die Zahlen \(R,\delta,M,\lambda \) analog wie vorhin erklärt.