Una relazione quantitativa fra gli zeri delle trascendenti intere semplici e quelli della loro derivata. (Q2598997)

Beweis der folgenden beiden Sätze: I. Ist \[ \begin{gathered} P(x)=(x-x_0)^{\tau_0}(x-x_1)^{\tau_1} \cdots (x-x_m)^{\tau_m}, \quad \tau_0+\tau_1+ \cdots + \tau_m = n, \\ 0 < |x_1-x_0|\leqq |x_\mu-x_0| \quad \text{für} \quad \mu=2, \ldots,m, \end{gathered} \] \(P'(\xi_0) = 0\), \(\xi_0\neq x_0\), \(|\xi_0-x_0|\leqq |\xi-x_0 |\) für jede andere Nullstelle \(\xi\) von \(P'(x)\), so gilt die Ungleichung \[ \left|\frac{\xi_0-x_0}{x_1-x_0}\right|\geqq \frac {\tau_0}n. \] Es gibt Polynome \(P(x)\), bei denen hier das Gleichheitszeichen steht. II. Es sei \(G(x)\) eine einfache ganze transzendente Funktion vom Geschlecht \(p\), nämlich \[ G(x)=x^{\tau_0}\prod_{h=1}^\infty \left(1-\frac x{a_h}\right)e^{\sum\limits_{k=1}^p\tfrac 1k\left(\tfrac x{a_h}\right)^k}, \tag{1} \] wo \(\tau_0\geqq 1\), \(0 <|a_1|\leqq |a_2| \leqq \cdots\) und \(p\) die kleinste ganze nicht negative Zahl ist, für welche \[ \sum_{h=1}^\infty \left|\frac x{a_h}\right|^{p+1} \] beständig konvergiert. (Für \(p = 0\) sollen die Exponentialfaktoren in \(G(x)\) die Zahl 1 bedeuten; das unendliche Produkt und die unendliche Reihe dürfen auch abbrechen.) Es sei \(\xi_0\) eine von 0 verschiedene, aber 0 möglichst nahe liegende Nullstelle von \(G'(x)\). Wird \[ \mu=\frac {\tau_0}{\sum\limits_{k=1}^\infty\left|\dfrac {a_1}{a_k}\right|^{p+1}} \] gesetzt, so ist \[ \left|\frac{\xi_0}{a_1}\right|\geqq \varrho_0, \tag{2} \] wo \(\varrho_0\) die zwischen 0 und l gelegene Nullstelle des Polynoms \(\varrho^{p+1}-\mu(1-\varrho)\), also jedenfalls \(\varrho_0 >\dfrac \mu{1+\mu}\) ist. Es gibt einfache transzendente Funktionen, nämlich gewisse Polynome, für welche in (2) das Gleichheitszeichen steht. Für nicht einfache ganze transzendente Funktionen, d. h. solche ganze transzendente Funktionen, bei denen in (1) rechts noch ein Faktor \(e^{g(x)}\) auftritt, wo \(g(x)\) eine ganze Funktion bedeutet, gilt eine entsprechende Aussage nicht. Z. B. hat die Ableitung von \[ Q(x) = x^\tau(x - 1)^{n-\tau} e^{Kx} \] Nullstellen, die für \(K \to \infty\) gegen 0 streben; hier gibt es also keine Abschätzung \[ \left|\frac{\xi_0}{a_1}\right|=|\xi_0| \geqq S, \] in der \(S\) allein durch die Nullstellen von \(Q(x)\) bestimmt ist.