On the transcendenals of the second and third kind for the hyperelliptic functions of order one. (Q1556215)

Jacobi hat die elliptischen Transcendenten zweiter und dritter Gattung als Functionen der elliptischen Integrale erster Gattung dargestellt. Eine analoge Darstellung der Transcendenten zweiter und dritter Gattung wird hier für die hyperelliptischen Integrale erster Ordnung ausgeführt. In seiner allgemeinsten Gestalt, d. h. für die Abel'schen Integrale im Allgemeinen formulirt Herr Weber das betreffende Problem folgendermassen: ``Es sei \(s\) eine beliebige algebraische Function von \(z\) vom Geschlechte \(p, \varphi \; (s,z)\) irgend eine rationale Function von \(s\) und \(z\), ferner seien \[ \xi_{1}, \xi_{2}, \ldots \xi_{p}; \quad \xi_{1}^{(0)}, \xi_{2}^{(0)}, \ldots \xi_{p}^{(0)} \] Punkte in der die Verzweigungsart von \(s\) darstellenden Riemann'schen Fläche \(T\), d. h. Repräsentanten von je \(p\) zusammangehörigen Werthepaaren von \(s\) und \(z\); es soll die Summe \[ \int_{\xi_{1}^{(0)}}^{\xi_{1}} \varphi \; (s,z)dz + \int_{\xi_{2}^{(0)}}^{\xi_{2}} \varphi \; (s,z)dz + \cdots + \int_{\xi_{p}^{(0)}}^{\xi_{p}} \varphi \; (s,z)dz \] dargestellt werden als Function der \(p\) unabhängigen Veränderlichen \[ (v_1, v_2, \ldots v_p) \equiv \left( \sum_{1}^{p}\int_{\xi_{i}^{(0)}}^{\xi_{i}}du_{1}, \; \sum_{1}^{p} \int_{\xi_{i}^{(0)}}^{\xi_{i}}du_{2}, \ldots \sum_{1}^{p} \int_{\xi_{i}^{(0)}}^{\xi_{i}}du_{p} \right), \] wenn \(u_1, u_2, \ldots u_p\) von einander unabhängige Integrale erster Gattung sind''. Dieses allgemeine Problem lässt sich reduciren auf die Darstellung eines Integrals drittet Gattung, das ausser von der oberen Grenze und den Moduln noch von einem variabeln Parameter abhängt. Die Schwierigkeit, dass der eine Unstetigkeitspunkt in den Argumenten der darstellenden Thetafunctionen als Grenze eines Integrals erster Gattung auftritt, wird durch Einführung von Integralen mit \(p\) von einander unabhängigen Unstetigkeitspunkten vermieden. Für den Fall \(p=2\), der in vorliegender Arbeit durchgeführt ist, geht das Problem dahin, die Functionen \[ \begin{multlined} \frac{\partial}{\partial u_{1}} \log \vartheta \left\{ \begin{matrix} g_1 & g_2\\ h_1 & h_2\end{matrix} \right\} (u_{1}, u_{2}), \quad \frac{\partial}{\partial u_{2}} \log \vartheta \left\{ \begin{matrix} g_1 & g_2\\ h_1 & h_2 \end{matrix} \right\} (u_1 u_2),\\ \log \frac{\vartheta \left\{ \begin{matrix} g_1 & g_2\\ h_1 & h_2 \end{matrix} \right\} (u_1 - v_1, \; u_2 - v_2)}{\vartheta \left\{ \begin{matrix} g_1 & g_2\\ h_1 & h_2 \end{matrix} \right\} (u_1 + v_1, \; u_2 + v_2)},\end{multlined} \] worin die Thetacharakteristik \(\left\{ \begin{matrix} g_1 & g_2 \\ h_1 & h_2 \end{matrix} \right\}\) irgend wie zusammengesetzter Zahlencomplex, und \(u_1, u_2, v_1, v_2\) Integralsummen erster Gattung sind, durch Summen von Integralen zweiter und dritter Gattung auszudrücken. Dies gelingt hauptsächlich mit Hülfe einer Reihe von Relationen zwischen den vollstänigen Integralen erster und zweiter Gattung, welche der bekannten Legendre'schen Formel \[ K'E + E'K - KK' = \frac{\pi}{2} \] für die vollstänigen elliptischen Integrale erter und zweiter Gattung ganz analog sind.