On the connection of the theta functions with the elliptic integrals. (Q1535271)

Die Abhandlung, welche den Zusammenhang zwischen den elliptischen Thetafunctionen und den elliptischen Integralen in einfacher und übersichtlicher Weise entwickelt, hat den Zweck, für eine ähnliche Behandlung der hyperelliptischen Thetafunctionen in ihrer Beziehung zu den mehrfachen Integralen den Weg zu bahnen. Definirt werden die Jacobi'schen Thetafunctionen durch die Functionalgleichung \[ \varTheta_{\delta}^{\varepsilon} (u, h) = \delta \varTheta (u + \pi) = \varepsilon q e^{2ui} \varTheta_ (u + hi), \quad (q = e^{-h}, \delta^2 = \varepsilon^2 = 1), \] in Verbindung mit der partiellen Differentialgleichung \[ \frac{\partial^2 \varTheta}{\partial u^2} = 4\;\frac{\partial \varTheta}{\partial h}\quad \text{oder} \quad \varTheta'' u = 4 \;\frac{\partial \varTheta u}{\partial h}, \] mit der Bedingung \([q] < 1\). Es sind \(\varTheta_1^1, \varTheta_{1}^{-1}, \varTheta_{-1}^{1}, \varTheta_{-1}^{-1}\) resp. \(\vartheta_3, \vartheta, \vartheta_2, \vartheta_1\). Den Ausgangspunkt bildet die Additionsformel: \[ (1) \quad \vartheta^2 \vartheta_1 (u + v) \vartheta_1 (u - v) = \vartheta_1^2 u \vartheta^2 v - \vartheta^2 u \vartheta_1^2 v. \] Es ergiebt sich sofort die Gauss'sche Form des elliptischen Integrals erster Gattung: \[ u = \int_0^\varphi \frac{d \varphi}{\sqrt{\vartheta_3^4 \cos^2 \varphi + \vartheta^4 \sin^2 \varphi}}. \] Die durch directe Multiplication der Thetareihen gewonnene Formel: \[ \vartheta_3 (u, q) \vartheta_3 (v, q) = \vartheta_3 (u + v, q^2) \vartheta_3 (u - v, q^2) + \vartheta_2 (u + v, q^2) \vartheta_2 (u - v, q^2) \] führt zu dem Werte des Gauss'schen arithmetisch-geometrischen Mittels. Das analoge \(u\) wie für \(q = e^{- \frac{\mu \pi}{\mu'}}\) wird für \(q' = e^{- \frac{\mu' \pi}{\mu}}\) gewonnen, und weitere Formen für \(u\) erhält man, wenn man die Quotienten der Thetafunctionen oder ihrer Quadrate direct als Integrationsvariabeln einführt. Durch logarithmische Differentiation wird \[ (\text{A}) \quad \left( \frac{d}{du} \right)^3 \log \vartheta_1 u = \vartheta_1'^3\;\frac{\vartheta_1 (2u)}{\vartheta_1^4 u} = 2 \vartheta_1'^2\;\frac{\vartheta u \vartheta_2 u \vartheta_3 u}{\vartheta_1^3 u}, \] welche fundamentale Gleichung zugleich Formen der elliptischen Integrale erster und zweiter Gattung liefert (Leipz. Abh. XX. 148: Zur Reduction elliptischer Integrale in reeller Form, 1879, S. 92). Durch Integration erhält man die den 12 Quotienten der vier Thetafunctionen entsprechenden Ausdrücke von vier neuen coordinirten Functionen: \[ \eta u = \left( \frac{d}{du} \right)^2 \log \vartheta u \quad \text{etc.} \quad \eta_1 u, \quad \eta_2 u, \quad \eta_3 u, \] und aus den Differentialformeln für \(\eta' u. \eta' u\) etc. die Integrale erster Gattung \[ u = \int_{\eta}^{\frac{\vartheta''}{\vartheta}} \frac{d \eta}{\sqrt{ 4 \left( \frac{\vartheta''}{\vartheta} - \eta \right) \left(\eta - \frac{\vartheta_2^{\prime\prime} }{\vartheta_2} \right) \left( \eta - \frac{\vartheta_3^{\prime\prime} }{\vartheta} \right)}}, \] \[ d \eta = - {\vartheta'}_1^3\;\frac{\vartheta_1 (2u)}{\vartheta^4 u} \; du, \quad \text{etc.}, \] woraus wieder die Entwickelungen der Integrale zweiter Gattung und durch abermalige Integration die Potenzreihen für die Logarithmen der Thetafunctionen hervorgehen. Es folgen nun einfache Ausdrücke für die Integrale zweiter Gattung von der Form: \[ \frac{\vartheta' u}{\vartheta u} = \int_0^u \eta\, du = \int_{\eta}^{\frac{\vartheta''}{\vartheta}} \frac{\eta\, d \eta}{H}, \quad \text{etc.}, \] ferner die Transformationsformeln für \(\vartheta (u'i,q)\) etc., \(\frac{1}{i}\;\frac{\vartheta' (u'i)}{\vartheta (u'i)}\) etc., und die Formeln für \(\eta u - \eta v\) etc., sowie für \(\eta_k u - \eta_l v\). Auch die elliptischen Integrale dritter Gattung von der Form \[ w = \int \frac{du}{\eta - p} \] werden aus der obigen Gleichung \((A)\) abgeleitet. Nun wird \(qi\) statt \(q\) gesetzt, um auch den Fall zu behandeln, so zwei Wurzeln von \(H\) conjugirt complex werden. Dann wird \(q^2\) statt \(q\) und \(\tfrac 12 \,u\) statt \(u\), sowie \(\sqrt{q}\) statt \(q\), oder \(\tfrac 12\, h\) statt \(h\) eingeführt. Hierauf folgt eine Digression über den Zusammenhang der Weierstrass'schen Normalform und dessen Function \(\wp u\) mit den bisherigen Formeln. Alsdann wird gezeigt, dass es leicht ist, durch Einführung eines geeigneten Factors \(\mu\): \[ \eta u = \mu^2 \left( \frac{d}{du} \right)^2 \log \vartheta u \quad \text{etc.}, \] zu zwei beliebig gegebenen Invarianten \(G\) und \(H\), statt der bisher benutzten \(g_2\) und \(g_3\) zu gelangen. Die im Vorigen entwickelten Formeln reichen aus, um elliptische Integrale von der Form \[ \varOmega = \int\;\frac{\varphi_m (\eta)}{f_n (\eta)}\;\frac{d \eta}{H}, \] wo \(\varphi\) und \(f\) ganze Functionen vom Grade \(m\) resp. \(n\) bedeuten, durch Thetafunctionen auszudrücken, und es handelt sich nun noch darum, ein elliptisches Integral von der allgemeinen Form \[ \int_{x_0}^{x} \frac{\varphi(x)}{f(x)}\;\frac{dx}{X}, \quad X^2 = Ax^4 + 4Bx^3 + 6Cx^2 + 4Dx + E \] auf die Normalform des Integrals \(\varOmega\) zu reduciren. Es werden sechs Gleichungen entwickelt, welche die Transformationsformeln enthalten, durch welche die Integrale erster Gattung \[ u = \mu \int_{\eta}^{\mu^2 \frac{\vartheta''}{\vartheta}} \frac{d \eta}{H}= \mu \int_{-\infty}^{\eta_1} \frac{d \eta}{H} = \mu \int_{\eta_2}^{\mu^2 \frac{\vartheta_2^{\prime\prime}}{\vartheta_2}} \frac{d \eta}{H} = \mu \int_{\mu^2\frac{\vartheta_3^{\prime\prime}}{\vartheta_3}}^{\eta_3}\;\frac{d \eta}{H} \] in einander übergehen, und diese Formeln werden angewandt, um die oben erhaltenen Integrale zweiter Gattung oder die logarithmischen Differentialquotienten der Thetafunctionen zu transformiren. Der Herr Verfasser sagt: ``Zum Schluss sei mir die Bemerkung gestattet, dass, wenn es sich um die Zurückführung eines elliptischen Integrals auf Thetafunctionen zum Behufe der praktischen Anwendung handelt, der Durchgang durch die Sigmafunctionen bei dem Reductionsgeschäfte meines Erachtens keine wesentliche Abkürzung gewährt. \dots Doch dürfen wir froh sein, dass für die Erfordernisse der Theorie, wie der Praxis, dem Mathematiker nach doppelter Richtung so interessante Functionen zu Gebote stehen''.