20 Theta FunctionsProperties

§20.6 Power Series

Assume

20.6.1 |π⁢z|<min⁡|zm,n|,

where zm,n is given by (20.2.5) and the minimum is for m,n∈ℤ, except m=n=0. Then

20.6.2 θ1⁡(π⁢z|τ) =π⁢z⁢θ1′⁡(0|τ)⁢exp⁡(−∑j=1∞12⁢j⁢δ2⁢j⁡(τ)⁢z2⁢j),
20.6.3 θ2⁡(π⁢z|τ) =θ2⁡(0|τ)⁢exp⁡(−∑j=1∞12⁢j⁢α2⁢j⁡(τ)⁢z2⁢j),
20.6.4 θ3⁡(π⁢z|τ) =θ3⁡(0|τ)⁢exp⁡(−∑j=1∞12⁢j⁢β2⁢j⁡(τ)⁢z2⁢j),
20.6.5 θ4⁡(π⁢z|τ) =θ4⁡(0|τ)⁢exp⁡(−∑j=1∞12⁢j⁢γ2⁢j⁡(τ)⁢z2⁢j).

Here the coefficients are given by

20.6.6 δ2⁢j⁡(τ) =∑n=−∞∞∑m=−∞|m|+|n|≠0∞(m+n⁢τ)−2⁢j,
20.6.7 α2⁢j⁡(τ) =∑n=−∞∞∑m=−∞∞(m−12+n⁢τ)−2⁢j,
20.6.8 β2⁢j⁡(τ) =∑n=−∞∞∑m=−∞∞(m−12+(n−12)⁢τ)−2⁢j,
20.6.9 γ2⁢j⁡(τ) =∑n=−∞∞∑m=−∞∞(m+(n−12)⁢τ)−2⁢j,

and satisfy

20.6.10 α2⁢j⁡(τ) =22⁢j⁢δ2⁢j⁡(2⁢τ)−δ2⁢j⁡(τ),
β2⁢j⁡(τ) =22⁢j⁢γ2⁢j⁡(2⁢τ)−γ2⁢j⁡(τ).

In the double series the order of summation is important only when j=1. For further information on δ2⁢j see §23.9: since the double sums in (20.6.6) and (23.9.1) are the same, we have δ2⁢n=cn/(2⁢n−1) when n≥2.