On the most general relations between hyperelliptic integrals. (Q1556214)

Das allgemeine hyperelliptische Integral erster Gattung, das für keinen Punkt der zur Irrationalität \[ \sqrt{R \;(z)} = \sqrt{A\;(z - \alpha_{1}) \; (z - \alpha_{2}) \ldots (z - \alpha_{2p + 1})} \] gehörigen Riemann'schen Fläche unendlich wird, hat die Form: \[ J(z) = \int_{z_0} \frac{a_0 + a_1 z + a_2 z^2 + \cdots + a_{p-1} z^{p-1}}{\sqrt{R(z)}}\;dz; \] dasjenige zweiter Gattung, welches nur in einem Punkte der Riemann'schen Fläche algebraisch unendlich von der ersten Ordnung wird, ist von der Form: \[ E(z) = M \int_0 \left[ \frac{1}{(z - z_1)^{2}} + \; \frac{\frac{R'(z_2)}{2\varepsilon_{1} \sqrt{R \;(z_1)}}\; (z - z_1) + \varepsilon_{1} \sqrt{R \;(z_1)}}{(z - z_1)^{2} \sqrt{R \;(z)}}\right] dz + J(z) \quad (\varepsilon_{1} = \pm 1); \] und das hyperelliptische Integral dritter Gattung, welches für zwei beliebig gewählte Punkte \(z_1, z_2\) logarithmisch unendlich wird, so dass die Coefficienten der logarithmischen Entwickelungen \(A \log \;(z - z_1), \; B \log \;(z - z_2)\) durch die Relation \(A + B = 0\) verbunden sind, hat die Form: \[ \varPi (z) = M \int \left[ \frac{\sqrt{R \;(z)} + \varepsilon_{1} \sqrt{R \;(z_1)}}{z - z_1} - \frac{\sqrt{R \;(z)} + \varepsilon_{2} \sqrt{R \;(z_2)}}{z - z_2} \right] \frac{dz}{\sqrt{R \;(z)}} + J(z). \] Letzteres heisst ``Hauptintegral dritter Gattung'', wenn \(M = \frac{z_1 - z_2}{2}\). Das allgemeine hyperelliptische Integral zweiter Gattung, als das Product aus einer Constanten und den nach \(z_1\) genommenen Differentialquotienten eines hyperelliptischen Haupt-Integrales dritter Gattung darstellen, dessen zweiter logarithmischer Unstetigkeitspunkt ein ganz willkürlicher ist. Analog dem Beweise des Dirichlet'schen Princips für die den elliptischen Functionen entsprechende Riemann'sche Fläche (siehe des Verfassers Vorlesungen über elliptische Functionen), lässt sich hier zeigen, dass es stets ein zu einer bestimmten doppelblättrigen Riemann'schen Fläche mit \(2p + 1\) Verweigungspunkten gehöriges, von dem willkürlichen, aber bestimmten Werthe \(z_0\) ausgehendes hyperelliptisches Integral giebt, und nur ein solches, welches in 2 beliebig gewählten Punkten Unstetigkeiten der Form hat \[ A_{\alpha} \log \;(z - z_{\alpha}) + B_{\alpha} (z - z_{\alpha})^{-1} + C_{\alpha} (z - z_{\alpha})^{-2} + \cdots + K_{\alpha}(z - z_{\alpha})^{-k_{\alpha}} \quad (\alpha = 1,2 \ldots \nu), \] für welches \(A_{1} + A_{2} + \cdots + A_{\nu} = 0\) angenommen wird, und für welches ferner die reellen Theile der Periodicitätsmoduln an den \(2p\) Querschnitten der in eine einfach zusammenhängende Fläche verwandelten Riemann'schen Fläche für \(\sqrt{R \;(z)}\), oder \(p\) dieser Periodicitätsmoduln selbst (entweder an allen \(a_k\) oder an allen \(b_k\) Quarschnitten) gegebenen Werthe haben; und dieses hyperelliptische Integral ist die einzige Function überhaupt, welche diesen Bedingungen genügt. Nachdem Herr Königsberger diese Hauptresultate recapitulirt, wird die Reduction des allgemeinen hyperelliptischen Integrales auf die drei Gattungen mit Hülfe der von Herrn Weierstrass für elliptische Integrale angewandten Bezeichnungen hergestellt. Hierauf wird aus der früheren Arbeit des Verfassers über die allgemeinste Relation zwischen den Periodicitätsmoduln zweier hyperelliptischen Integrale derselben Ordnung (Gött. Nachr. 1875, p. 327; siehe F. d. M. VII. 289, JFM 07.0289.02) der specielle Fall hervorgehoben für solche Hauptintegrale dritter Gattung, deren Periodicitätsmoduln an einem gesammten Querschnittssystem verschwinden. Endlich wird das Abel'sche Theorem in der Form gegeben, dass das allgemeine hyperelliptische Integral sich aus einer Summe von solchen Integralen zusammensetzt, die nur in zwei Punkten logarithmisch unendlich werden. Nach diesen Vorbereitungen schreitet Herr Königsberger zur Untersuchung der allgemeinen Beziehungen zwischen hyperelliptischen Integralen und zur Reduction des algebraischen Transformationsproblems auf das rationale. Es werden nun allgemein die Bedingungen dafür untersucht, dass für eine additive Verbindung gleichartiger und ungleichartiger hyperelliptischer Integrale verschiedener Ordnung, elliptischer Integrale, algebraischer Functionen der Integralgrenzen und Logarithmen von algebraischen Functionen dieser Grössen algebraische Beziehungen zwischen den Grenzen der Integrale bestehen. Als Resultat ergiebt sich, dass das allgemeine Transformationsproblem auf die Differentialgleichungen führt: \[ \begin{aligned} \frac{dz_1}{\sqrt{R \;(z_1)}} & + \frac{dz_2}{\sqrt{R \;(z_2)}} + \cdots + \frac{dz_{p}}{\sqrt{R \;(z_p)}}\\ & = \frac{f_0 (Y_1)dY_1}{\sqrt{R_1 (Y_1)}} + \frac{f_0 (Y_2)dY_2}{\sqrt{R_1 (Y_2)}} + \cdots + \frac{f_0 (Y_{\sigma})dY_{\sigma}}{\sqrt{R_{1} (Y_{\sigma})}},\\ \frac{z_1 dz_1}{\sqrt{R \;(z_1)}} & + \frac{z_2 dz_2}{\sqrt{R \;(z_2)}} + \cdots + \frac{z_p dz_p}{\sqrt{R \;(z_p)}}\\ & = \frac{f_1 (Y_1)dY_1}{\sqrt{R_1 (Y_1)}} + \frac{f_1 (Y_2)dY_2}{\sqrt{R_1(Y_2)}} + \cdots + \frac{f_1 (Y_{\sigma})dY_{\sigma}}{\sqrt{R_1(Y_{\sigma})}},\\ \hdotsfor2\\ \frac{z_{1}^{p-1}dz_{1}}{\sqrt{R \;(z_1)}} & + \frac{z_{2}^{p-1} dz_{2}}{\sqrt{R \;(z_2)}} + \cdots + \frac{z_{p}^{p-1} dz_{p}}{\sqrt{R \;(z_p)}}\\ & = \frac{f_{p-1} (Y_{1})dY_1}{\sqrt{R_1 (Y_1)}} + \frac{f_{p-1} (Y_2) dY_2}{\sqrt{R_1 (Y_2)}} + \cdots + \frac{f_{p-1}(Y_{\sigma})dY_{\sigma}}{\sqrt{R_{1}(Y_{\sigma})}},\end{aligned} \] in welchen \(Y_{1}, Y_{2}, \ldots Y_{\sigma}\) die Lösungen einer Gleichung \(\sigma^{\text{ten}}\) Grades sein sollen, deren Coefficienten rational aus \[ z_1 , z_2, \ldots z_{p}, \; \sqrt{R \;(z_1)}, \sqrt{R \;(z_2)}, \ldots \sqrt{R \;(z_p)}, \] zusammengesetzt sind, während die zugehörigen Irrationalitäten mit Hülfe eben dieser Grössen rational mit den resp. \(Y\) zusammenhängen. Hierauf kehrt Herr Königsberger zu dem ursprünglichen allgemeien Transformationsproblem zurück, um die allgemeinste Beziehung zwischen hyperelliptischen Integralen derselben Irrationalität herzustellen. Das Resultat ist eine Verallgemeinerung der von Abel für die elliptischen Functionen gegebenen allgemeinsten Beziehung und hat die Form: \[ \begin{multlined} m_1 \int_{\xi_{1}}^{z_1} \frac{\pm \sqrt{R \;(a_1)}dz}{(z - a_1) \sqrt{R \;(z)}} + m_2 \int_{\xi_{1}}^{z_1} \frac{\pm \sqrt{R \;(a_2)}dz}{(z - a_2) \sqrt{R \;(z)}} + \cdots \\ + m_r \int_{\xi_{1}}^{z_1} \frac{\pm \sqrt{R \;(a_r)}dz}{(z - a_r) \sqrt{R \;(z)}} + \beta_{0} \int_{\xi_{1}}^{z_1} \frac{dz}{\sqrt{R \;(z)}}\\ + \beta_{1} \int_{\xi_{1}}^{z_1} \frac{zdz}{\sqrt{R \;(z)}} + \cdots + \beta_{p-1} \int_{\xi_{1}}^{z_1} \frac{z^{p-1}dz}{\sqrt{R \;(z)}}\end{multlined} \] \[ = \log \left\{ \frac{f_{\varrho}(z_1) - g_{\varrho} (z_1) \sqrt{R \;(z_1)}}{ f_{\varrho}(z_1) + g_{\varrho} (z_1) \sqrt{R \;(z_1)}} \cdot \frac{f_{\varrho}(\xi_1) - g_{\varrho} (\xi_1) \sqrt{R \;(\xi_1)}}{f_{\varrho} (\xi_1) - g_{\varrho} (\xi_1) \sqrt{R \;(\xi_1)}} \right\}, \] worin \(m_1, m_2, \ldots m_r\) ganze Zahlen, und \(\beta_{0}, \beta_{1}, \ldots \beta_{\varrho - 1}\) Constanten sind.