On the irreducibility of functions of several variables. (Q1529105): Difference between revisions

Durch die Substitution \(p_0(x)y=\eta\) bekommt man, wenn \[ f(x, y)=p_0(x).y^{n-1}+p_1(x).y^{n-1}+\cdots+p_n(x) \] ist (\(p_0(x)\), \(p_1(x)\) etc. ganze rationale Functionen): \[ [p_0(x)]^{n-1}f(x,y)=\overline{f}(x,\eta)=\eta^n+q_1(x)\eta^{n-1}+\cdots+q_n(x), \] \[ q_i(x)=[p_0(x)]^{i-1}.p_i(x). \] Wenn \(\overline{f}(x,\eta)\) einen in \(x\) und \(\eta\) rationalen Factor vom ersten Grade in \(\eta\) hat, so hat dieser notwendig die Form \(\eta-g(x)\), wo \(g(x)\) eine ganze Function ist. Man kann leicht eine ganze Zahl \(m\) bestimmen, unterhalb welcher die Gradzahl von \(g(z)\) liegen muss. Folglich genügt \(\underline{f}(x,\eta) = 0\) einer Differentialgleichung der Form \[ \frac{d^m\eta}{dx^m}=0; \] d. h. [\(R_m(x,\eta)=0\) einer gewissen rationalen Function] hat für jeden \(x\)-Wert eine \(\eta\)-Wurzel, welche auch \(\overline{f}(x,\eta)=0\) erfüllt. Also muss \[ \prod^n_{i=1} R_m(x,\eta_i) \] identisch verschwinden. Dieser Ausdruck ist aber eine rationale Function \(R(x)\) von \(x\), deren Coefficienten sich rational durch diejenigen von \(q_1(x),\dots,q_n(x)\) oder \(p_0(x),\dots,p_n(x)\) ausdrücken. Also muss eine gewisse ganze rationale Function von \(x\) und den Coefficienten von \(f\) identisch verschwinden, wenn \(\overline{f}(x,\eta)\), also auch \(f(x, y)\) einen Factor vom ersten Grade in \(\eta\), resp. \(y\) haben soll. Man findet leicht, dass die Bedingung auch hinreichend ist Der Fall, dass \(f(x,y)\) einen Factor vom Grade \(k\) enthält reducirt sich leicht auf den vorigen und giebt dieselbe Bedingungs form \(G_k\equiv 0\). Die Bedingung, dass \(f(x,y)\) überhaupt reductibel sein soll, drückt sich also in der Form \[ G_1.G_2\dots G_{n-1}\equiv 0 \] aus (oder wohl eigentlich schon durch \(G_1.G_2\dots G_\mu\equiv 0\), wo \(\mu=\frac12\,n\) oder \(\frac12(n-1))\). Man kann diese Untersuchung leicht auf Functionen mit mehr als zwei Variabeln ausdehnen.