Sur la décomposition en fractions simples d'une fonction rationnelle homogène. (Q1543328): Difference between revisions

Es seien \[ \varphi=\varphi_x^{2m}, \quad f=a_x^{m+1} \] zwei binäre Formen, deren zweite ein von Null verschiedene Discriminante \(D\) besitzt. Wir setzen \[ (xx_i)=x_1x_{i_2}-x_2x_{i_1} \] und \[ \begin{aligned} \l& \l \\ f&=a_x^{m+1}=(xx_1)(xx_2)\dots(xx_{m+1}),\\ \prod_i&=(x_ix_1)(x_ix_2)\dots(x_ix_{i-1})(x_ix_{i+1})\dots(x_ix_n). \end{aligned} \] Dann wird \[ \begin{matrix} \l &\l &\l \\ \frac\varphi{f^2}&=2\sum\frac{\varphi_{x_i}^m\varphi_{x_k}^m}{\prod_i \prod_k}\frac1{(xx_1)(xx_k)}&+\sum\frac{\varphi_{x_i}^{2m}}{\prod_i^2}\frac1 {(xx_i)^2}\\ &=\frac1D\frac{t_x^{m-1}}f&+\frac1D\frac{\alpha_x^{2m}}{f_2},\end{matrix} \] wobei \(t_x^{m-1}\) und \(\alpha_x^{2m}\) simultane Covarianten der Formen \(\varphi\) und \(f\) werden. Genauere Untersuchungen zeigen, dass \(\alpha\) die Jacobi'sche Determinante eines Büschles \(\lambda a_x^{m+1}+\mu b_x^{m+1}\) ist, und also von der Form \((ab)a_x^mb_x^m\) sein muss. Setzen wir \(s=s_x^{m+1}\), so ist auch \(s\) eine simultane Covariante von \(f\) und \(\varphi\). Die Eigenschaften der Formen \(s\) und \(t\) werden untersucht. Es ist \[ s=(m+1)D\sum\frac{\varphi_x\varphi_{x_i}^{2m-1}}{\prod_i^2}\cdot\frac f{(xx_i)}. \] Wenn \(\varphi\) durch \(f\) teilbar wird, verschwindet \(s\) identisch; es gilt dann die invariante Relation \[ \sum\frac{(as)^2a_{x_i}^{m-1}s_{x_i}^{m-1}}{\prod_i^2}=0. \] Die Formen \(s\) und \(t\) genügen der Relation \[ D\varphi=(f,s)_1+f.t \] und sind folglich so beschaffen, dass man hat \[ d\int\frac{\varphi}{f^2}(x_1dx_2-x_2dx_1)\frac1{m+1}\frac sf+\int\frac tf(x_1 dx_2-x_2dx_1). \] Die Untersuchungen führen endlich auf eine Covariante von \(f\) \[ \varLambda_x^{3m-3}=D\sum\frac{(xx_i)^{3m-3}}{\prod_i^2}, \] deren identisches Verschwinden die notwendige und hinreichende Bedingung dafür ist, dass \(f=0\) zwei verschiedene Doppelwurzeln oder eine vierfache Wurzel besitzt.