On the theory of transformations of elliptic functions. (Q1551071)

Jacobi hat (Crelle J. III. 308) den für die Transformationstheorie der elliptischen Functionen höchst wichtigen Satz bewiesen, dass der reciproke Werth des Multplicators für jede Primzahltransformation \(n^{\text{ten}}\) Grades einer Gleichung \((n+1)^{\text{ten}}\) Grades genügt, deren Coefficienten rationale Functionen von \(k\) sind, und dass zwischen den Quadratwurzeln aus den \(n\) Wurzeln dieser Gleichung \(\frac {n+1}2\) lineare Relationen bestehen. Ganz analog genügt (nach der Bezeichnung des Herrn Weierstrass) die Function \[ P=\prod_{\alpha =1\ldots\frac {n-1}2} \left[\wp \left( \frac {2\alpha\omega}n \right) - \wp \left( \frac {4\alpha\omega}n \right) \right] \] einer Gleichung \((n+1)^{\text{ten}}\) Grades, deren Coefficienten ganze rationale Functionen der Invarianten \(g_2\) und \(g_3\) sind. Herr Kiepert stellt diese Transformationsgleichung für die Grösse \[ f=e^{-\frac {\eta\omega (n^2-1)}{12n}} \sigma \left( \frac {2\omega}n \right) \cdot\sigma\left( \frac {4\omega}n \right) \dotsm \sigma \left( \frac {n-1}n \omega \right) \] auf, welche mit \(P\) durch die Relation \[ f^{-2}=(-1)^gP \quad (n=6g\pm 1) \] verbunden ist. Diese Gleichung wird insofern einfacher, als die Coefficienten der Gleichung für \(f^{-2}\) alle ganze rationale Functionen von \(g_2\) und \(g_3\) sind, deren Gestalt bis auf Zahlencoefficienten a priori festgestellt werden kann. Diese Zahlencoefficienten aber ergeben sich leicht durch Reihenentwickelungen. Zwischen den Wurzeln \(f,\; f_0,\; f_1,\ldots f_{n-1}\) sowohl, wie zwischen den Grössen \(f^3,\; f_0^3,\; f_1^3,\ldots f_{n-1}^3\) bestehen die \(\frac {n+1}2\) linearen Jacobi'schen Relationen. Die Darstellung der Grösse \(f\) als Quotient zweier Potenzreihen von \(h=e^{\omega '\pi i}{\omega}\) führt ferner zur Herstellung allgemeinerer Grössen, die ebenfalls den Jacobi'schen Gleichungen genügen, und die dadurch von Bedeutung für die Transformationstheorie sind, dass sie von 2 variabeln Parametern, \(h\) und \(\wp u\), abhängen. In der zweiten Abhandlung wird diese Theorie dadurch vervollständigt, dass alle übrigen Grössen, welche bei der Transformation auftreten, als rationale Functionen von \(f\) dargestellt werden. Hierbei wird eine von Jacobi (Crelle J. IV. 185) gegebene partielle Differentialgleichung benutzt, nachdem vorher ihr Analogon für die Weierstrass'schen Bezeichnungen hergeleitet ist.