About the Project
20 Theta FunctionsProperties

§20.5 Infinite Products and Related Results

Contents
  1. §20.5(i) Single Products
  2. §20.5(ii) Logarithmic Derivatives
  3. §20.5(iii) Double Products

§20.5(i) Single Products

20.5.1 \theta_{1}\left(z,q\right)=2q^{1/4}\sin z\prod\limits_{n=1}^{\infty}{\left(1-q%
^{2n}\right)}{\left(1-2q^{2n}\cos\left(2z\right)+q^{4n}\right)},
20.5.2 \theta_{2}\left(z,q\right)=2q^{1/4}\cos z\prod\limits_{n=1}^{\infty}{\left(1-q%
^{2n}\right)}{\left(1+2q^{2n}\cos\left(2z\right)+q^{4n}\right)},
20.5.3 \theta_{3}\left(z,q\right)=\prod\limits_{n=1}^{\infty}\left(1-q^{2n}\right)%
\left(1+2q^{2n-1}\cos\left(2z\right)+q^{4n-2}\right),
20.5.4 \theta_{4}\left(z,q\right)=\prod\limits_{n=1}^{\infty}\left(1-q^{2n}\right)%
\left(1-2q^{2n-1}\cos\left(2z\right)+q^{4n-2}\right).

Jacobi’s Triple Product

§20.5(ii) Logarithmic Derivatives

When \left|\Im z\right|<\pi\Im\tau,

20.5.10 \frac{\theta_{1}'\left(z,q\right)}{\theta_{1}\left(z,q\right)}-\cot z=4\sin%
\left(2z\right)\sum_{n=1}^{\infty}\frac{q^{2n}}{1-2q^{2n}\cos\left(2z\right)+q%
^{4n}}=4\sum_{n=1}^{\infty}\frac{q^{2n}}{1-q^{2n}}\sin\left(2nz\right),
20.5.11 \frac{\theta_{2}'\left(z,q\right)}{\theta_{2}\left(z,q\right)}+\tan z=-4\sin%
\left(2z\right)\sum_{n=1}^{\infty}\frac{q^{2n}}{1+2q^{2n}\cos\left(2z\right)+q%
^{4n}}=4\sum_{n=1}^{\infty}(-1)^{n}\frac{q^{2n}}{1-q^{2n}}\sin\left(2nz\right).

The left-hand sides of (20.5.10) and (20.5.11) are replaced by their limiting values when \cot z or \tan z are undefined.

When \left|\Im z\right|<\tfrac{1}{2}\pi\Im\tau,

20.5.12 \frac{\theta_{3}'\left(z,q\right)}{\theta_{3}\left(z,q\right)}=-4\sin\left(2z%
\right)\sum_{n=1}^{\infty}\frac{q^{2n-1}}{1+2q^{2n-1}\cos\left(2z\right)+q^{4n%
-2}}=4\sum_{n=1}^{\infty}(-1)^{n}\frac{q^{n}}{1-q^{2n}}\sin\left(2nz\right),
20.5.13 \frac{\theta_{4}'\left(z,q\right)}{\theta_{4}\left(z,q\right)}=4\sin\left(2z%
\right)\sum_{n=1}^{\infty}\frac{q^{2n-1}}{1-2q^{2n-1}\cos\left(2z\right)+q^{4n%
-2}}=4\sum_{n=1}^{\infty}\frac{q^{n}}{1-q^{2n}}\sin\left(2nz\right).

With the given conditions the infinite series in (20.5.10)–(20.5.13) converge absolutely and uniformly in compact sets in the z-plane.

§20.5(iii) Double Products

These double products are not absolutely convergent; hence the order of the limits is important. The order shown is in accordance with the Eisenstein convention (Walker (1996, §0.3)).