Jacobi triple product
Mathematical identity found by Jacobi in 1829 From Wikipedia, the free encyclopedia
Mathematical identity found by Jacobi in 1829 From Wikipedia, the free encyclopedia
In mathematics, the Jacobi triple product is the identity:
![]() | This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. (May 2018) |
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.
Jacobi's proof relies on Euler's pentagonal number theorem, which is itself a specific case of the Jacobi triple product identity.
Let and . Then we have
The Rogers–Ramanujan identities follow with , and , .
The Jacobi Triple Product also allows the Jacobi theta function to be written as an infinite product as follows:
Let and
Then the Jacobi theta function
can be written in the form
Using the Jacobi triple product identity, the theta function can be written 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 is the infinite q-Pochhammer symbol.
It enjoys a particularly elegant form when expressed in terms of the Ramanujan theta function. For it can be written as
Let
Substituting xy for y and multiplying the new terms out gives
Since is meromorphic for , it has a Laurent series
which satisfies
so that
and hence
Showing that (the polynomial of x of is 1) is technical. One way is to set and show both the numerator and the denominator of
are weight 1/2 modular under , since they are also 1-periodic and bounded on the upper half plane the quotient has to be constant so that .
A different proof is given by G. E. Andrews based on two identities of Euler.[1]
For the analytic case, see Apostol.[2]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.