On the reduction of the integrals of a special class of algebraic differentials to hyperelliptic integrals. (Q1551634)

Das durch die irreducible algebraische Gleichung \(F(x,y)=0\) definirte algebraische Gebilde habe den Rang \(\varrho\); ferner sei \(H(xy,x'y')\) eine rationale Function des Paares \((xy)\), die an den \(\varrho\) beliebig gewählten festen Stellen \((a_{\varrho}b_{\varrho})_{\varrho =1,\ldots\varrho}\) und der variabeln Stelle \((x'y')\) von der ersten Ordnung unendlich werde und an der vorgeschrieben Stelle \((a_0b_0)\) verschwinde, und in deren Entwickelung nach Potenzen von \((x-x')\) der Coefficient von \((x-x')^{-1}\) gleich -1 ist. Alsdann lassen sich durch die Entwickelungen \[ H(x_t^{\alpha}y_t^{\alpha},x'y')=t^{-1}H(x'y')_{\alpha}+H^0(x'y')_{\alpha}- tH'(x'y')_{\alpha}+\dotsm \] \[ (\alpha =1,2,\ldots\varrho ) \] \(\varrho\) rationale von einander linear unabhängige Functionen \(H(xy)_{\alpha}\) und ebensolche \(H'(xy)_{\alpha}\) definiren, und die Integrale \[ \int H(xy)_{\alpha} dx,\quad \int H'(xy)_{\alpha} dx \quad (\alpha 1,2,\ldots\varrho ) \] und \[ \int H(x'y'xy)_{\alpha} dx \] sind die \(\varrho\) Normalintegrale \(1^{\text{ter}}\) und \(2^{\text{ter}}\) und das Normalintegral \(3^{\text{ter}}\) Gattung. Führt man statt \(x,\; y\) zwei neue Variable \(\xi ,\;\eta\) so ein, dass sowohl \(x\) und \(y\) rationale Functionen von \(\xi ,\;\eta\), als auch umgekehrt \(\xi ,\;\eta\) rationale Functionen von \(x,\; y\) sind, so hat die transformirte Gleichung denselben Rang wie \(F(x,y)=0\). Ist \(\varrho >2\), so lässt sich die Gleichung nur in besonderen Fällen auf die der Theorie der hyperelliptischen Integrale zu Grunde liegende Gleichung \[ \eta^2-R(\xi )=0 \] durch eine eindeutige Transformation zurückführen. Der Herr Verfasser berechnet nun allgemein den Rang \(\varrho\) für das durch die Gleichung \[ F(x)y^4 +G(x)y^2+H(x)=0 \] definirte algebraische Gebilde, worin \(F(x),\; G(x),\; H(x)\) ganze rationale Functionen von beliebig hohem Grade bedeuten. Nun wird jene Gleichung durch eine eindeutige Substitution so transformirt, dass sie im Unendlichen regulär ist, und es werden für die so transformirte Gleichung die \(\varrho\) Functionen \(H(xy)_{\alpha}\) allgemein hergestellt. Alsdann werden für \(\varrho =1\) und \(\varrho =2\) alle Gleichungen, und für ein beliebiges \(\varrho\) eine bestimmte Gattung von Gleichungen in die Normalform \[ \eta^2-R(\xi )=0 \] durch eine eindeutige Transformation übergeführt. In all diesen Fällen lassen sich dann die Integrale der aus der Gleichung \[ F(x)y^4+G(x)y^2+H(x)=0 \] entspringenden algebraischen Differentiale unmittelbar auf die hyperelliptischen Integrale reduciren.