Kakeya's problem on the zeros of the derivative of a polynomial. (Q2590349)

Liegen \(p\) Nullstellen des Polynoms \(f (z)\) vom Grade \(n\) (\(2\leqq p \leqq n\)) in einem Kreise vom Radius \(R\), so gibt es (\textit{Kakeya}, Tôhoku Math. J. 11 (1917), 5-16; F. d. M. 46, 124) eine von \(f(z)\) unabhängige Funktion \(\varrho (n, p)\), so daß mindestens \(p - 1\) Nullstellen von \(f'(z)\) in einem konzentrischen Kreise vom Radius \(R\cdot\varrho (n, p)\) liegen. Außer \(\varrho(n,n) = 1\) kennt man \(\varrho (n, 2) \leqq \mathop{\text{cosec}}\dfrac\pi n\) (\textit{Alexander}, Ann. Math., Princeton, (2) 17 (1915), 12-22 (F. d. M. 45, 672 (JFM 45.0672.*)), insbesondere S. 18; \textit{Kakeya}, s. o.; \textit{Szegö}, Math. Z. 13 (1922), 28-55; F. d. M. 48, 82 (JFM 48.0082.*)), sowie \(\varrho (n, n -1)\leqq\sqrt{1+\dfrac1n}\) (\textit{Biernacki}, Bull. internat. Acad. Polonaise Sci. Lett., Cl. Sci. math. nat. 1927 (1928), 541-585 (F. d. M. \(56_{\text{II}}\), 863), insbesondere S. 660-675). Verf. leitet Schranken für \(\varrho (n, p)\) her: \[ \begin{cases} \varrho(n,p)\leqq \mathop{\text{cosec}}\dfrac\pi{2(n-p+1)},\\ \varrho(n,p)\geqq \left(2-\dfrac pn\right)^{\frac12}\qquad\quad; \end{cases} \tag{\text{a}} \] bei der letzten wird \(p = 2m\) vorausgesetzt. Während die untere sich aus dem Polynom \[ f(z)=\left(z^2-2z\left(\frac n{2n-p}\right)^{\frac12} +1\right)^{\frac p2} \left(z-\frac1p\bigl(n(2n-p)\bigr)^{\frac12}\right)^{n-p} \] ergibt, benutzt Verf. zur Herleitung der oberen Schranke die von ihm bemerkte Identität \[ \sum\frac{D_{j_1j_2\ldots j_q}}{(\beta_1-\alpha_{j_1}) (\beta_2-\alpha_{j_2})\cdots(\beta-\alpha_{j_q})}=0. \] Hierbei sind \(\alpha_1,\,\ldots,\, \alpha_p,\;\beta_1,\,\ldots,\,\beta_q\) (\(2\leqq p \leqq n\), \(q = n - p -1\)) \(n + 1\) voneinander verschiedene, komplexe Zahlen derart, daß die \(\alpha_i\) Nullstellen eines Polynoms \(f(z)\) vom Grade \(n\) sind und die \(\beta_i\) Nullstellen seiner Ableitung \(f'(z)\); \(j_1,\,j_2,\,\ldots,\, j_q\) laufen unabhängig von 1 bis \(p\), und es ist \[ D_{j_1j_2\cdots j_q}=\prod _{m=1}^p (\delta_{mj_1}+\delta_{mj_2} +\cdots+ \delta_{mj_q})!, \] mit \(\delta_{mj}= 1\) oder 0 bei \(j = m\) oder \(j \neq m\). Diese Ungleichungen benutzt Verf., um Resultate von \textit{Fekete} (Acta Litt. Sci. Univ. Szeged, Sect. Sci. math., 1 (1923), 98-100; F. d. M. 49, 47 (JFM 49.0047.*)) und \textit{Kakeya} (s. o.) zu erweitern, die Folgerungen aus dem Graceschen Theorem sind.