释义 |
Jacobi Triple ProductThe Jacobi triple product is the beautiful identity
 | (1) |
In terms of the Q-Function, (1) is written
 | (2) |
which is one of the two Jacobi Identities. For the special case of , (1) becomes
where is the one-variable Ramanujan Theta Function.
To prove the identity, define the function
Then
 | (5) |
Taking (5) (4),
which yields the fundamental relation
 | (7) |
Now define
 | (8) |
 | (9) |
Using (7), (9) becomes
 | (10) |
so
 | (11) |
Expand in a Laurent Series. Since is an Even Function, the Laurent Series contains only even terms.
 | (12) |
Equation (11) then requires that
This can be re-indexed with on the left side of (13)
 | (14) |
which provides a Recurrence Relation
 | (15) |
so
The exponent grows greater by for each increase in of 1. It is given by
 | (19) |
Therefore,
 | (20) |
This means that
 | (21) |
The Coefficient must be determined by going back to (4) and (8) and letting . Then
since multiplication is Associative. It is clear from this expression that the term must be 1, because allother terms will contain higher Powers of . Therefore,
 | (24) |
so we have the Jacobi triple product,
See also Euler Identity, Jacobi Identities, Q-Function, Quintuple Product Identity,Ramanujan Psi Sum, Ramanujan Theta Functions, Schröter's Formula, ThetaFunction References
Andrews, G. E. -Series: Their Development and Application in Analysis, Number Theory, Combinatorics, Physics, and Computer Algebra. Providence, RI: Amer. Math. Soc., pp. 63-64, 1986.Borwein, J. M. and Borwein, P. B. ``Jacobi's Triple Product and Some Number Theoretic Applications.'' Ch. 3 in Pi & the AGM: A Study in Analytic Number Theory and Computational Complexity. New York: Wiley, pp. 62-101, 1987. Jacobi, C. G. J. Fundamentia Nova Theoriae Functionum Ellipticarum. Regiomonti, Sumtibus fratrum Borntraeger, p. 90, 1829. Whittaker, E. T. and Watson, G. N. A Course in Modern Analysis, 4th ed. Cambridge, England: Cambridge University Press, p. 470, 1990. |