Addition formulas for hyperelliptic functions. (Q566050)

Die sechs im Endlichen gelegenen Schnittpunkte der festen hyperelliptischen Kurve \[ s^2 = r^5 +ar^4 +br^3 +cr^2 +r \] mit der veränderlichen Kurve \[ m_0 s=n_0 r^3 +n_1 r^2 +n_2 r+n_3 \qquad (m_0 \neq 0) \] seien \[ (\alpha _1, \varrho _1), (\alpha _2, \varrho _2), (\beta _1, \sigma _1),(\beta _2, \sigma _2), (\gamma _1, \tau _1), (\gamma _2, \tau _2). \] Mit der Bezeichnung \[ u_1 = \int _{\infty }^{\alpha _1} \frac {dr}{s} +\int _{\infty }^{\alpha _2} \frac {dr}{s}, \quad u_2 = \int _{\infty }^{\alpha _1} \frac {r}{s}\, dr +\int _{\infty }^{\alpha _2} \frac {r}{s}\, dr \] und entsprechenden mit \(v\) und \(\beta \), \(w\) und \(\gamma \) statt \(u\) und \(\alpha \) gibt das \textit{Abel}sche Theorem \[ u_i +v_i +w_i \equiv 0 \quad \text{(mod Perioden)}. \tag{1} \] Für die hyperelliptischen Funktionen \[ \begin{gathered} \frac {x_{\alpha }}{t_{\alpha }} =\alpha _1 +\alpha _2, \; \frac {y_{\alpha }}{t_{\alpha }} =\alpha _1 \alpha _2,\\ \eta _{\alpha } =\frac {\alpha _2 \varrho _1 -\alpha _1 \varrho _2}{\alpha _1 \alpha _2 (\alpha _1 - \alpha _2)}, \; \zeta _{\alpha } = \frac {\alpha _1^2 \varrho _2 -\alpha _2^2 \varrho _1}{\alpha _1 \alpha _2 (\alpha _1 - \alpha _2)} \end{gathered} \] wird das aus (1) folgende Additionstheorem explizit angegeben, ebenso seine Vereingachung im Falle \(\alpha _{\nu } =\beta _{\nu }, \; \varrho _{\nu } = \sigma _{\nu }\), also die Verdoppelungsformeln.