On the distribution of roots of algebraic equations with integral coefficients (Q1459945)

Die Arbeit beschäftigt sich damit, Kriterien aufzustellen, wann nur eine endliche Anzahl von Gleichungen \[ a_0x^n + a_1x^{n-1} + \cdots + a_n = 0 \tag{1} \] mit ganzzahligen rationalen Koeffizienten und mit nur einfachen Wurzeln existiert, deren sämtliche Wurzeln einer beliebig, aber fest vorgegebenen unendlichen, beschränkten und abgeschlossenen Punktmenge \(E\) der \(x\)-Ebene angehören. Nach dem Vorgang von \textit{I. Schur} [Math. Z. 1, 377--402 (1918; JFM 46.0128.03)], der sich in einer gleichnamigen Arbeit mit demselben Problem im besonderen Fall des reellen Intervalls und des Kreises beschäftigt hat, geht Verf. von der Diskriminante \(\varDelta (x_1, x_2, \ldots, x_n) = \prod (x_i - x_k)^2\) \((n \geqq 2)\) aus. Ist \(M_n\) der größte Wert, den der absolute Betrag der Diskriminante \(\varDelta\) der \(n\) Größen \(x_1, x_2, \ldots, x_n\) annehmen kann, falls diese in \(E\) beliebig variieren, so bilden die positiven Zahlen \(d_n = \root{n (n-1)}\of{M_n}\) (\(n = 2, 3,\ldots\)) eine monoton abnehmende Folge, und es existiert für diese Zahlen \(d_n\) daher ein Grenzwert (der ``transfinite Durchmesser von \(E\)''). Bedeutet weiter \(t_n (x)\) das zu \(E\) zugehörige Tschebyscheffsche Polynom \(n\)-ten Grades und ist \(m_n\) der größte Wert von \(|t_n (x)|\) auf \(E\), so konvergieren die mittleren Radien \(\varrho_n = \root{n}\of{m_n}\) der Überdeckungslemniskaten \(|t_n (x)| = m_n\) bei wachsendem \(n\) ebenfalls nach einem Grenzwert, und zwar ist \(\lim \varrho_n = \lim d_n\), also der transfinite Durchmesser von \(E\). In dem Fall, daß die Komplementärmenge von \(E\) einen einfach zusammenhängenden Bereich bildet, wird \(\lim d_n\) bestimmt. Nach Ableitung dieser den ebenen Punktmengen gewidmeten Sätze beschäftigt sich der Verf. im zweiten Teil mit den ganzzahligen Gleichungen, deren Wurzeln der gegebenen Punktmenge \(E\) angehören. Bei fest gegebenem höchstem Koeffizienten \(a_0\) kann es nur dann unendlich viele ganzzahlige Gleichungen (1) mit einfachen, in \(E\) fallenden Wurzeln geben, falls der transfinite Durchmesser \(\lim d_n\) der Menge \(E\) den Wert \({}\geqq 1\) besitzt. Weiter untersucht Verf. die Endlichkeit der ganzzahligen Gleichungen (1) mit Wurzeln aus \(E\), falls der höchste Koeffizient \(a_0 \leqq \alpha\beta^n\), wobei \(a_0 > 0\), \(\alpha\) und \(\beta\) gegebene positive Zahlen mit \(\beta > 1\) bedeuten. Für \(\beta^2 \delta^* < 1\) gibt es nur endlich viele solche ganzzahlige Gleichungen (1); dabei ist \(\delta^*\) der transfinite Durchmesser des zu \(E\) zugehörigen symmetrischen Kerns \(E^*\), d. h. derjenigen Teilmenge von \(E\), die außer allen reellen Punkten von \(E\) alle und nur diejenigen imaginären enthält, die mit Einschluß ihrer Spiegelbilder in bezug auf die reelle Achse zu \(E\) gehören. Außer durch die ``Diskriminantenmethode'' werden die Sätze auch durch die Resultantenmethode abgeleitet.