Wurzelabschätzungen bei algebraischen Gleichungen. (Q2585854)

Verf. schätzt symmetrische Funktionen der Absolutbeträge der Wurzeln \(\xi_1, \xi_2,\ldots,\xi_n\) einer algebraischen Gleichung \(n\)-ten Grades mit komplexen Koeffizienten \[ f(x) =x^n + a_1x^{n-1} + \cdots + a_n = 0\qquad (a_n \neq 0) \] ab. Für die Potenzsummen \[ S_r = |\xi_1|^r+|\xi_2|^r + \cdots+|\xi_n|^r\qquad (r =1,2, 3,\ldots) \] gelten, wenn \(\alpha = \underset{\nu=1,2,\ldots,n}{\operatorname{Max}} \big|\root{\nu}\of{a_\nu}\big|\) bedeutet, die Ungleichungen \[ S_r\leqq\alpha^r\bigg\{\dfrac1{n^r}+ \sum\limits_{\varkappa=1}^{n-1}\bigg(\dfrac{1+\varkappa}{\varkappa}\bigg)^r\bigg\} <\alpha^r\{n + r\log(n-1) + \gamma_r\} \] mit einer nur von \(r\) abhängigen Konstanten \(\gamma_r\), insbesondere \[ S_1\leqq\alpha\bigg(n-1 + \sum\limits_{\nu=1}^n\dfrac1{\nu}\bigg) < \alpha(n + \log n). \] Dieser Satz sowie eine Verschärfung der Abschätzung zu \[ S_r<\alpha^r(n+r\log k+\gamma_r^*) \] (\(k =\) Anzahl der von Null verschiedenen unter den Koeffizienten \(a_\nu\)) folgen aus einem früheren Ergebnis des Verf. (Jber. Deutsche Math-Verein. 48 (1938), 142-145; JFM 64.0048.*) unter Benutzung des folgenden Hilfssatzes, der als Sonderfall einer allgemeineren Aussage erhalten wird: Sind \(a_1, a_2,\ldots, a_n\) und \(b_1, b_2,\ldots, b_n\) zwei Folgen reeller positiver Zahlen mit \(a_1\geqq a_2\geqq \cdots \geqq a_n > 0\), \[ a_1\leqq b_1,\quad a_1a_2\leqq b_1b_2,\ldots, a_1a_2\cdots a_n\leqq b_1b_2\cdots b_n, \] so gilt \(a_1+a_2+\cdots+a_n\leqq b_1+b_2+\cdots+b_n\). In der Arbeit werden ferner mit Hilfsmitteln aus der Matrizenrechnung weitere Abschätzungen gegeben für Potenzsummen und für die symmetrischen Funktionen \[ C_r=\sum|\xi_{\alpha_1}\xi_{\alpha_2}\cdots\xi_{\alpha_r}|,\quad D_r=\sum|\xi_{\alpha_1}\xi_{\alpha_2}\cdots\xi_{\alpha_r}|^2, \] wobei über alle Lösungen von \(1\leqq\alpha_1<\alpha_2<\cdots<\alpha_r<n\) zu summieren ist.