On the reduction of hyperelliptic integrals to algebraic logarithmic functions. (Q1554891)

In einer Abhandlung über die Reduction der Integrale von der Form \[ \int \frac{F_0(x)}{f_0(x)} \cdot \frac{dx}{{}^m\sqrt{\varTheta(x)}} \] auf algebraisch-logarithmische Functionen (Liouville J. XVIII.) hat Herr Tchébischef den algebraischen Theil dieses Integrals bestimmt und gezeigt, wie die Anzahl und die Form der einzelnen logarithmischen Ausdrücke ermittelt werden können. Später (Liouville J. (2) II.) zeigte derselbe, wie in dem speciellen Falle, wo \(m=2\) und \(\varTheta(x)\) eine Function dritten oder vierten Grades, die logarithmischen Ausdrücke wirklich herzustellen seien. Herr Weierstrass machte dazu (Berl. Monatsber. 1857) die Bemerkung, dass nach den Principien, welche Abel in seiner letzten leider unvollendet gebliebenen Arbeit in Betriff der allgemeinsten unter elliptischen, logarithmischen und algebraischen Functionen möglichen Relationen entwickelt, nicht nur der von Herrn Tchébichef behandelte specielle Fall sich erledigen lasse, wenn man die umgekehrte Function \(x=\sin^2\text{am} u\) betrachte, sondern dass analog auch das allgemeine Integral von der Form \[ \int F(x,{}^m \sqrt{R(x))} dx \] zu behandeln sei. Herr Königsberger führt nun im Vorliegenden die Reduction der hyperelliptischen Integrale auf algebraisch-logarithmische Functionen ohne Benutzung der Umkehrungsfunctionen der hyperelliptischen Integrale durch, und zwar auf einem Wege, der sich gleichfalls für die Reduction der allgemeinen Abel'schen Integral zweckgemäss erweisen würde. Benutzt werden dabei die Reductionsformeln der allgemeinen hyperelliptischen Integrale auf die Integrale der drei Gattungen und den algebraischen Theil, welche von dem Herrn Verfasser in einer früheren Arbeit ``Ueber die Entwickelung der hyperelliptischen Integrale erster und zweite Gattung in Reihen'' (Clebsch Ann. IX. 487; siehe F. d. M. VIII. 283, JFM 08.0283.01) gegeben sind, sowie die Zurückführung des allgemeinen transformationsproblems auf das rationale, welche in dem Aufsatze des Herrn Verfassers ``Ueber die allgemeinsten Beziehungen zwischen hyperelliptischen Integralen'' (Borchardt J. LXXXI. 193; siehe F. d. M. VIII. 286, JFM 08.0286.01) durchgeführt ist. Zunächst werden die nothwendigen un hinreichenden Bedingungen dafür untersucht, dass ein Integral von der Form \[ \int \frac{F(z)dz}{\sqrt{R(z)}},\quad (R(x)=A(z-\alpha_1)(z-\alpha_2)\ldots (z-\alpha_{2p+1})) \] auf eine algebraische Function von \(z\), oder, was dasselbe besagt, auf eine rationale Function von \(z\) und \(\sqrt{R(z)}\) reducirbar sei. Diese Bedingungen sind die folgenden: \[ \left[ \frac{F(t)}{\sqrt{R(t)}} \right]_{(t-z_1)^{-1}} =0, \quad \left[ \frac{F(t)}{\sqrt{R(t)}} \right]_{(t-z_2)^{-1}} =0, \ldots \] \[ \left[ \frac{F(t)}{\sqrt{R(t)}} \right]_{(t-z_n)^{-1}} =0, \] \[ \sum_{\alpha=1}^{n} \left[ \frac{F(t)}{\sqrt{R(t)}} \int_{z_{\alpha}} \frac{F_r(t)dt}{\sqrt{R(t)}} \right]_{(t-z_{\alpha})^{-1}} -\left[ \frac{F(t)}{\sqrt{R(t)}} \int_{\infty} \frac{F_r(t)dt}{\sqrt{R(t)}} \right]_{t^{-1}}=0, \] wenn \[ R(z)=Az^{2p+1}+B_0z^{2p} + B_1z^{2p-1}+\cdots +B_{2p-1}z+ B_{2p}, \] \[ F_r(t)=\frac{2p-2r-1}{2} At^r+ \frac{2p-2r}{2} B_0t^{r-1}+ \frac{2p-2r+1}{2} B_1t^{r-2}+ \cdots \] \[ +\frac{2p-r+3}{2} B_{r-3}t^2 + \frac{2p-r-2}{2} B_{r-2}t +\frac{2p-r-1}{2} B_{r-1} \] und \[ r=0,1,2\ldots p-1,\; p,\ldots 2p-1, \] gesetzt wird. Im zweiten Theile wird dann nach den nothwendigen und hinreichenden Bedingungen dafür gefragt, dass das hyperelliptische Integral sich auf logarithmische und algebraische Functionen von \(z\) reduciren lasse.