Generalization of a relation for Jacobi's functions. (Q1545689)

Multiplicirt man zwei Thetareihen: \[ \varphi(x,\tau)=\sum_{-\infty}^{+\infty}{}_m e^{-m^2\tau+2mx},\quad \varphi(y,\sigma)=\sum^{+\infty}_{-\infty}{}_m e^{-n^2\sigma+2ny} \] mit einander, so lässt sich der in Bezug auf die Reihenindices quadratische Exponent durch die Substitution \[ m=\alpha\mu+\beta\nu+\lambda,\quad n=\gamma\mu+\delta\nu \] in zwei Addenden zerlegen, die einzeln nur von je einem Index abhängen. Unter weiteren Bedingungen zerfällt dann die Doppelreihensumme in die Summe einer endlichen Anzahl von Producten aus je zwei Factoren, deren jeder eine Thetareihe darstellt. Das Resultat hat die Form \[ \varphi(x, cd\varrho).\varphi(y, ab\varrho)=\sum^{eh\kappa} e^{2\lambda x-\lambda^2cd\varrho}.\varphi[h(ag(x-\lambda cd\varrho)+cfy), ach^2\kappa\varrho] \] \[ .\varphi[e(bf(x-\lambda cd\varrho)-dgy),bde\kappa\varrho], \] wo zur Abkürzung \[ \kappa=bcf^2+ady^2 \] gesetzt ist. Da die linke Seite von \(e, f, g, h\) unabhängig ist, so lassen sich vierfach unendliche Reihen von Transformationen des Productes zweier beliebigen Thetafunctionen, deren Moduln ein rationales Verhältnis haben, angeben. Herr Hoppe bemerkt, dass seine Formel im wesentlichen identisch sei mit einem Resultate, das Herr H. Schröter in seiner Habilitationsschrift, von der Entwickelung der \(n^{\text{ten}}\) Potenz einer Thetareihe ausgehend; gefunden habe.