Ein allgemeiner Satz über algebraische Gleichungen. (Q1473679)

In Fortführung der in dem vorhergehenden Referat besprochenen Untersuchungen über die trinomische Gleichung behandelt Verf. in der vorliegenden Arbeit zunächst (Abschnitt II) die quadrinomische Gleichung \[ z^n + xz^p + yz^q -1 =0, \quad \left( \begin{matrix} n>p\geqq 1\\ n> q \geqq 1 \end{matrix} \right), \] sodann die Gleichung \[ (1) \quad z^n + x_1 z^{n_1} +x_2 z^{n_2} + \cdots + x_pz^{n_p} - 1 = 0,\quad (n > n_s \geqq 1, s= 1 \dots, p) \] auf die sich die allgemeine algebraische Gleichung \[ y^n + a_1 y^{n_1} + a_2 y_{n_2} + \cdots + a_p y^{n_p} + a_{p+1} = 0 \] leicht zurückführen läßt. Durch überaus einfache und elegante Überlegungen wird in den Abschnitten I, II und III ein bemerkenswerter Zusammenhang zwischen den Wurzeln der Gleichung (1), als Funktionen von \(x_1, \dots, x_p,\) aufgefaßt, und den Gammafunktionen hergestellt. Als Beispiel sei hier das folgende Ergebnis mitgeteilt: Sei \(z\) die Hauptlösung von (1), d. h. diejenige Lösung, die für \(x_1 = x_2 = \cdots = x_p = 0\) den Wert 1 annimmt, sei \(\alpha\) eine positive Zahl, so ist \[ (2) \quad z^\alpha =\left(\frac 1{2\pi i}\right)^p \cdots \int_{a_p-i \infty}^{a_p + i \infty} \frac \alpha{n}\;\frac {\varGamma (u) \varGamma (u_1) \cdots \varGamma (u_p)}{\varGamma(u+ u_1 + \cdots + u_p + 1)}. \] \[ x_1^{-u_1} \cdots x_p^{-u_p}, du_1, \dots, du_p, \;\alpha - n_1 a_1 - \cdots - n_p a_p > 0, \;a_s > 0 \;(s=1, \dots, p). \] Das Integral (2) konvergiert gleichmäßig in jedem endlichen Bereiche der im Innern der Winkelräume \[ -\frac {n_s\pi}{2n} \leqq \text{ arg} (x_s) \leqq \frac {n_s\pi}{2n} \quad (s=1, \dots, p) \] liegt. Die Lösungen der Gleichung (1) und alle ihre Potenzen genügen, wie der Verf. von (2) ausgehend zeigt, einem ``hypergeometrischen System von \(p\) partiellen Differentialgleichungen \(n\)-ter Ordnung''. Die hier benutzten hypergeometrischen Funktionen, die schon in früheren Arbeiten des Verf. vorkommen, umfassen für \(p = 2\) die \textit{Appell}schen hypergeometrischen Funktionen zweiter Ordnung. In dem vierten Abschnitt leitet der Verf., von einer andern Integraldarstellung der Lösung von (1) ausgehend, u. a. die folgende Reihenentwicklung für \(z^\alpha\) (3) \[ z^\alpha = 1+\alpha\sum_{k=1}^\infty \frac {(-1)^k}{n^k} \sum_{\nu_1 + \cdots + \nu_p = k} \frac { \prod_{\mu=1}^{k-1} (\alpha + n_1 \nu_1 + \cdots + n_p \nu_p - n\mu) }{\varGamma (\nu_1 + 1)(\varGamma (\nu_2 +1) \cdots \varGamma (\nu_p +1) } x_1^{\nu_1} \cdots x_p^{\nu_p} \] ab. Die Reihe (3) konvergiert sicher, wenn \[ | x_1|, \dots | x_p| < \text{ Min } \left( \frac n{p\root n \of {n_1^{n_1} (n-n_1)^{n-n_1}}},\;\frac n{p\root n \of {n_p^{n_p} (n-n_p)^{n-n_p}}} \right) \] gilt, wo \(n_1\) die größte, \(n_p\) die kleinste unter den Zahlen \(n_1,\dots, n_p\) bezeichnen. Die Ergebnisse des vierten Abschnittes stehen im nahen Zusammenhang mit den bemerkenswerten Untersuchungen von \textit{W. Heymann} im dritten Kapitel seiner Arbeit, Studien über die Transformation und Integration der Differential-und Differenzengleichungen (Leipzig 1891). Das Verfahren des Verf, ist von der \textit{Heymann}schen Methode ganz verschieden.