Jacobi-Tripelprodukt

Das Jacobi-Tripelprodukt oder die Jacobi-Tripelprodukt-Identität ist eine Identität zwischen unendlichen Produkten und Reihen, die es erlaubt, die Thetafunktion von Carl Gustav Jacobi statt als unendliche Reihe als unendliches Produkt darzustellen.

Ein Spezialfall ist der Pentagonalzahlensatz von Leonhard Euler, auf dem auch Jacobis Beweis der Identität beruht (Jacobi, Fundamenta Nova Theoriae Functionum Ellipticarum, 1829).

Die Tripelprodukt-Identität lautet (mit komplexen Zahlen ${\displaystyle x,y}$, ${\displaystyle |x|<1}$ und ${\displaystyle y\neq 0}$)

${\displaystyle \prod _{m=1}^{\infty }\left(1-x^{2m}\right)\left(1+x^{2m-1}y^{2}\right)\left(1+x^{2m-1}y^{-2}\right)=\sum _{n=-\infty }^{\infty }x^{n^{2}}y^{2n}.}$

Das lässt sich auch als Beziehung zwischen Thetafunktionen ausdrücken. Sei ${\displaystyle x=\exp(i\pi \tau )}$ (wobei das Imaginärteil von ${\displaystyle \tau >0}$ ist) und ${\displaystyle y=\exp(i\pi z)}$. Dann ist die rechte Seite der Tripelprodukt-Identität die Jacobische Thetafunktion:

${\displaystyle \vartheta (z;\tau )=\sum _{n=-\infty }^{\infty }\exp(i\pi n^{2}\tau +2i\pi nz)}$.

und man erhält insgesamt:

${\displaystyle \vartheta (z;\tau )=\prod _{m=1}^{\infty }\left(1-e^{2m\pi {\rm {i}}\tau }\right)\left[1+e^{(2m-1)\pi {\rm {i}}\tau +2\pi {\rm {i}}z}\right]\left[1+e^{(2m-1)\pi {\rm {i}}\tau -2\pi {\rm {i}}z}\right].}$

Der Pentagonalsatz von Euler ergibt sich mit ${\displaystyle x=q^{\frac {3}{2}}}$ und ${\displaystyle y^{2}=-{\sqrt {q}}}$ :

${\displaystyle \prod _{m=1}^{\infty }\left(1-q^{m}\right)=\sum _{n=-\infty }^{\infty }(-1)^{n}q^{(3n^{2}-n)/2}.\,}$

Besonders kompakt lässt sich das Tripelprodukt mit der Ramanujan-Thetafunktion ausdrücken

${\displaystyle f(a,b)=\sum _{n=-\infty }^{\infty }a^{n(n+1)/2}\;b^{n(n-1)/2}}$

mit ${\displaystyle |ab|<1}$. Dann ist die Tripel-Produkt-Identität

${\displaystyle f(a,b)=(-a;ab)_{\infty }\;(-b;ab)_{\infty }\;(ab;ab)_{\infty }=\prod _{m=0}^{\infty }\left(1+a(ab)^{m}\right)\,\left(1+b(ab)^{m}\right)\,\left(1-(ab)^{m+1}\right)}$

mit dem q-Pochhammer-Symbol ${\displaystyle (a;q)_{n}}$. Dabei wurde ${\displaystyle x=(ab)^{\frac {1}{2}}}$ und ${\displaystyle y^{2}=\left({\tfrac {a}{b}}\right)^{\frac {1}{2}}}$ gesetzt.

Es sind viele Beweise der Tripleprodukt-Identität bekannt. Unter anderem gab E. M. Wright einen kombinatorischen Beweis.

Eine weitere Formulierung, die sich einfach aus der obigen ergibt ist:^[1][2]

${\displaystyle \sum _{n=-\infty }^{\infty }q^{n^{2}}z^{n}=\prod _{n\geq 0}\left(1-q^{2n+2}\right)\left(1+zq^{2n+1}\right)\left(1+{\frac {1}{z}}q^{2n+1}\right)}$

• George E. Andrews: A simple proof of Jacobi´s triple product identity. In: Proceedings of the American Mathematical Society. Band 16, 1965, S. 333–334, doi:10.1090/S0002-9939-1965-0171725-X.
• Tom M. Apostol: Introduction to Analytic Number Theory. Springer, New York NY u. a. 1976, ISBN 0-387-90163-9, S. 319.
• Godfrey H. Hardy, Edward M. Wright: An Introduction to the Theory of Numbers. 4. Auflage. (Nachdruck). Clarendon Press, Oxford 1975, ISBN 0-19-853310-7, S. 228 ff.
• Edward M. Wright: An enumerative proof of an identity of Jacobi. In: Journal of the London Mathematical Society. Band 40, 1965, S. 55–57, doi:10.1112/jlms/s1-40.1.55.

• Jacobi triple product, Mathworld

1. ↑ Herbert Wilf: The number theoretic content of the Jacobi triple product identity. (pdf)
2. ↑ In dieser Form auch in G. H. H. Hardy, E. M. Wright: An Introduction to Theory of Numbers. 4. Auflage. 1975, S. 282.