In mathematics, the Jacobi triple product is the mathematical identity:
Contents
for complex numbers x and y, with |x| < 1 and y ≠ 0.
It was introduced by Jacobi (1829) in his work Fundamenta Nova Theoriae Functionum Ellipticarum.
The Jacobi triple product identity is the Macdonald identity for the affine root system of type A1, and is the Weyl denominator formula for the corresponding affine Kac–Moody algebra.
Properties
The basis of Jacobi's proof relies on Euler's pentagonal number theorem, which is itself a specific case of the Jacobi Triple Product Identity.
Let
The Jacobi Triple Product also allows the Jacobi theta function to be written as an infinite product as follows:
Let
Then the Jacobi theta function
can be written in the form
Using the Jacobi Triple Product Identity we can then write the theta function as the product
There are many different notations used to express the Jacobi triple product. It takes on a concise form when expressed in terms of q-Pochhammer symbols:
where
It enjoys a particularly elegant form when expressed in terms of the Ramanujan theta function. For
Proof
For the analytic case, see Apostol, the first edition of which was published in 1976.