Ein Fundamentaltheorem zur Bestimmung von Annäherungswerten aller Wurzeln gewisser ganzer Fuuktionen. (Q1484939)

Bedeutet \(F(x)\) eine solche ganze Funktion \(r\)-ten Grades in \(x\), daß man eine ganze Funktion \(U(x)\) zweiten Grades in \(x\) finden kann, wo \[ (1)\quad U(x)F''(x)-(r-1)U'(x)F'(x)+\frac 12(r-1)U''(x)F(x)=0 \] während alle Wurzeln von \(F\) verschieden sind, und definiert man die Funktionen \(A_m(x)\) und \(B_m(x)\) durch die Gleichungen: \[ \begin{aligned} (2)\quad & H(x)=U(x)F'(x)-\frac 12\,rU'(x)F(x),\qquad (3)\quad 4\lambda =U^{\prime 2}(x)-2U(x)U''(x), \\ (4)\quad & A_0(x)=(r-1)\lambda,\qquad (5)\quad B_0(x)=(r-1)\lambda(x), \\ (6)\quad & A_1(x)=U(x)F(x)-\frac 12(r-1)U'(x)F(x),\\ (7)\quad & B_1(x)=[U(x)F'(x)-\frac 12(r-1)U'(x)F(x)]x-U(x)F(x),\\ (8)\quad & A_{n+1}(x)=\frac{(2n+1)H(x)A_n(x)-(rn+1)F^2(x)A_{n-1}(x)}{\lambda [r(n+1)-1]}, \\ (9)\quad & B_{n+1}(x)=\frac{(2n+1)H(x)B_n(x)-(rn+1)F^2(x)B_{n-1}(x)}{\lambda [r(n+1)-1]}, \end{aligned} \] so erhält man für jede ganze nicht negative Zahl \(m\), wenn \(F(\varrho)=0\), die Gleichung: \[ (10)\quad\varrho A_m(x)-B_m(x)=(x-\varrho)^{2m+1}C_m(x), \] wo \(A_m(x)\) und \(B_m(x)\) ganze Funktionen vom Grade \(rm+1\) sind, während \(C_m(x)\) eine ganze Funktion vom Grade \((r - 2)m\) wird. Außerdem kann man, wenn \(\lambda\) und die Koeffizienten von \(F(x)\) rationale Größen sind, eine solche ganze Zahl \(c\) und zwei solche von \(m\) unabhängige positive Größen \(a\) und \(b\) finden, daß alle Koeffizienten von \(cA_m(x)\) und \(cB_m(x)\) ganze Zahlen werden, während der Modulus jedes dieser Koeffizienten von \(cC_m(x)\) kleiner als \(b^m\) ist. -- Der erste Teil der Abhandlung enthält den Beweis dieses Theorems; in dem zweiten wird seine Anwendung auf die Gewinnung von Näherungswerten für die Wurzeln von \(F(x)\) gezeigt.