Ueber die Discriminante algebraischer Functionen einer Variabeln. (Q1548844)

Ist \(F(x,v) = 0\) eine irreductible Gleichung \(n^{\text{ten}}\) Grades, welche den willkürlichen Parameter \(v\) rational in ihren Coefficienten enthält, so definirt dieselbe eine algebraische Function \(x\) von \(v\). Ist der Coefficient von \(x^n\) gleich 1, und sind die übrigen Coefficienten ganze Functionen von \(v\), dann ist \(x\) eine ganze algebraische Function von \(v\). Jede rationale Function von \(x\) und \(v\), welche zugleich algebraisch ganz in \(v\) ist, kann auf die Form \[ \varphi(x,v) : \frac{\partial F(x,v)}{\partial x} \] gebracht werden, wo \(\varphi\) in \(x\) und \(v\) rational und ganz ist. Daraus folgt, dass sie, mit der Discriminante \(D(v)\) von \(x\) multiplicirt, als ganze rationale Function von \(x\) und \(v\) darstellbar ist. Eine ganze algebraische Function von \(v\), welche in \(x\) und \(v\) rational ist, kann nur Teiler der Discriminante \(D (v)\) als Nenner enthalten. Wir wählen unter diesen ganzen algebraischen Functionen von \(v\) ein Fundamental-System aus: \[ f_0(x,v)=1, \quad f_1(x,v),\quad f_2(x,v), \ldots ,f_{n-1}(x,v) \] von den Graden \(0, 1, 2,... (n - 1)\), deren Nenner \(N_0= 1\), \(N_1,\; N_2,\ldots N_{n-1}\) von möglichst hohen Graden in \(v\) sind. Es ist \(N_m\) ein Vielfaches von \(N_{m-1}\). Jede ganze algebraische Function von \(v\), welche in \(x,v\) rational ist, kann als lineare Function von \(f_0, f_1, f_{n-1}\) dargestellt werden, deren Coefficienten ganze rationale Functionen von \(v\) sind. Die Determinante \[ |f_\lambda(x_\mu,v) | \] werde durch \(\sqrt{\varDelta}\) bezeichnet; dann findet sich für die Discriminante von \(x\) die Gleichung \[ D(v)=\varDelta(v) [N_1(v) N_2(v) \ldots N_{n-1} (v)]^2. \] Bildet man die Determinante \[ |\varphi_\lambda(x_\mu, v) | \] für \(n\) beliebige in \(v\) algebraisch ganze, in \(v\) und \(x\) rationale Functionen, so wird das Quadrat derselben \[ D_\varphi = \varDelta(v) [R(v)]^2, \] wo \(R\) eine ganze rationale Function von \(v\) ist. Durch Specialisirung folgt, dass \(\varDelta(v)\) auch ein Teiler der Discriminanten aller derjenigen irreductiblen Gleichungen \(n^{\text{ten}}\) Grades ist, durch welche ganze algebraische Functionen von \(v\) definirt werden, die in \(x\) und \(v\) rational sind. Das Fundamentalsystem giebt die Determinante niedrigsten Grades \(Df = \varDelta\); diese Eigenschaft ist für ein Fundamentalsystem characteristisch. \(\varDelta\) heisst der wesentliche Teiler der Discriminante von \(x\); der übrig bleibende Factor derselben, der ausserwesentliche Teiler der Discriminante der ganzen algebraischen Function \(x\), ist das Quadrat einer ganzen rationalen Function von \(v\), und zwar ist derselbe gleich dem Quadrat der Determinante des Substitutionssystems, mittels dessen \(1, x, x^2,\ldots, x^{n-1}\) durch diese Functionen eines Fundamentalsystems linear ausgedruckt werden. Ist \((v-\alpha)\) ein ausserwesentlicher Factor, d. h. ein Factor des ausserwesentlichen Teilers, so ist es characteristisch für ihn, dass ganze algebraische Functionen von \(v\) existiren, die sich nur als gebrochene rationale Functionen von \(x\) und \(v\), und zwar mit dem Nenner \((v-\alpha)\) darstellen lassen. Ist die Gleichung \(F(x, v) = 0\) reductibel, so folgt: Der wesentliche Teiler der Discriminante ist gleich dem aus den wesentlichen Teilern der Discriminanten ihrer Factoren gebildeten Producte; der ausserwesentliche Teiler ist durch das Quadrat der Eliminationsresultante ihrer Factoren teilbar. Versteht man unter \(w_0, w_1, \ldots w_{n-1}\) unbestimmte Grössen und setzt \[ z_k=w_0f_0(x_k,v)+\cdots +w_{n-1} f_{n-1} (x_k,v), \] so ist \(\varDelta(v)\) der einzige von \(w\) unabhängige Factor in der Discriminante von \(z\), so dass man erhält: \[ D_z(v)=\varDelta(v) [W(v;w_0,w_1,\ldots w_{n-1})]^2. \] Hieraus folgt, dass der wesentliche Teiler der grösste gemeinsame Teiler der Discriminanten aller derjenigen ganzen algebraischen Functionen \(n^{\text{ter}}\) Ordnung ist, die sich durch \(x\) und \(v\) ausdrücken lassen. Der ausserwesentliche Teiler ist dagegen im Allgemeinen für alle diese algebraischen Functionen verschieden.\( W(v; w_0\ldots w_{n-1})\) enthält für \(n>2\) auch keinen von \(v\) unabhängigen Teiler. Durch passende Wahl der unbestimmten Grössen \(w_0, w_1,\ldots w_{n-1}\) kann man eine Function \(\xi\) von folgenden Eigenschaften erlangen: Jede durch \(x\) rational ausdrückbare algebraische Function von \(v\) lässt sich als ganze rationale Function von \(\xi\) darstellen, deren in \(v\) rationale Coefficienten in ihren Nennern nur Linearfactoren enthalten, welche sowohl unter einander als von denen des wesentlichen Teilers der Discriminante verschieden sind. Die Unterscheidung zwischen wesentlichem und ausserwesentlichem Teiler kann auch auf die Discriminante von Gleichungen ausgedehnt werden, in welchen der erste Coefficient nicht gleich Eins ist. Man erkennt für den wesentlichen Teiler der Discriminante einer beliebigen algebraischen Function \(n^{\text{ter}}\) Ordnung \(y\) die Eigenschaft, dass derselbe der grösste gemeinsame Factor der Discriminanten aller derjenigen algebraischen Functionen \(n^{\text{ter}}\) Ordnung ist, welche sich durch \(y\) und \(v\) rational ausdrücken lassen. Für einen ausserwesentlichen Factor \((v-\alpha)\) ist es characteristisch, dass durch \(v = \alpha\) und einen zugehörigen Wert von \(x\) den drei Gleichungen \[ F(x,v)=0,\quad \frac{\partial F(x,v)}{\partial x}=0,\quad \frac{\partial F(x,v)}{\partial v} = 0 \] genügt werden kann. Der ausserwesentliche Teiler der Discriminante der Gleichung \(F(x, v) = 0\) ist als der grösste von \(U, V\) unabhängige Teiler des über alle \(n\) Wurzeln der Gleichung erstreckten Productes \[ \varPi \left( U\frac{\partial F(x,v)}{\partial x} + V\frac{\partial F(x,v)}{\partial v} \right) \] zu characterisiren.