Über die Lage der Wurzeln algebraischer Gleichungen. (Q571836)

\textit{Fite} hat 1917 (F. d. M. 46, 702 (JFM 46.0702.*)) gezeigt: Genügt die nicht identisch verschwindende Funktion \(y (x)\) der homogenen linearen Differentialgleichung \(n\)-ter Ordnung mit dem höchsten Koeffizienten 1: \[ y^{(n)} + p_1 (x) y^{(n-1)}+ \dots + p_n (x) y = 0, \] ist \(l\) die Länge eines Intervalls, das mindestens je eine Nullstelle von \[ y(x),y^\prime (x),\dots,y^{(n-1)} (x) \] enthält, ist ferner in diesem Intervall \[ |p_\nu (x)| \leqq P_\nu \qquad (\nu = 1,2,\dots,n), \] so ist \(l\) größer als die einzige positive Wurzel der Gleichung \[ P_n z^n + P_{n-1}z^{n-1} + \cdots + P_1 z - 1 = 0. \] Verf. stellt nun an die Spitze seiner Arbeit die folgende angebliche Verschärfung des \textit{Fite}schen Satzes, für die er einen Beweis nicht gibt: Genügt \(y (x)\) der Differentialgleichung \[ p_0 (x) y^{(n)} + p_1 (x) y^{(n-1)} + \cdots + p_n (x) y = 0, \] ist im betrachteten Intervall \[ | p_\nu (x)| \leqq P_\nu, \qquad (\nu = 0,1,\dots, n), \] so ist \(l\) größer als die einzige positive Wurzel der Gleichung \[ P_n z^n + P_{n-1} z^{n-1} + \cdots + P_1z - P_0 = 0. \] Daß dies nicht richtig sein kann, geht schon daraus hervor, daß \(P_0\) durch jede größere Zahl ersetzt werden könnte, also \(l\) beliebig groß sein müßte. Aber auch wenn \(P_0\) das Maximum von \(| p_0(x)| \) im betrachteten Intervall bedeutet, ist der Satz nicht richtig, wie das folgende Beispiel zeigt: Das Polynom \(x^3 - x\) genügt der Differentialgleichung \[ \frac {3x^2 - x - 1}{x + \dfrac 1{100}} y^{\prime\prime} + \frac {3x^2 - 6x}{x + \dfrac 1{100}} y^{\prime} \frac {9x }{x + \dfrac 1{100}} y =0. \] Im Intervall \(0 \leqq x \leqq 2\) hat \(x^3 - x\) die Wurzeln 0 und 1; also liegt in diesem Intervall auch eine Wurzel der Ableitung. Für dieses Intervall wird \(P_0 = 100\), während \(P_1 = 6\), \(P_2 = 9\) gewählt werden kann. Nun ist \[ z_1 = - \frac 13 + \frac 13 \sqrt{101} > 3 \] die positive Wurzel der Gleichung \[ 9z^2 + 6z - 100 = 0, \] während \(l = 2\) ist. Ebenso erkennt man leicht, daß der vom Verf. aus diesem vermeintlichen Satz abgeleitete Satz über die Minimalentfernung der Wurzeln eines beliebigen Polynoms von denen seiner Ableitung, auch abgesehen vom Beweis, nicht richtig sein kann.