[go: up one dir, main page]

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 θ1⁡(z,q)=2⁢q1/4⁢sin⁡z⁢∏n=1∞(1−q2⁢n)⁢(1−2⁢q2⁢n⁢cos⁡(2⁢z)+q4⁢n),
20.5.2 θ2⁡(z,q)=2⁢q1/4⁢cos⁡z⁢∏n=1∞(1−q2⁢n)⁢(1+2⁢q2⁢n⁢cos⁡(2⁢z)+q4⁢n),
20.5.3 θ3⁡(z,q)=∏n=1∞(1−q2⁢n)⁢(1+2⁢q2⁢n−1⁢cos⁡(2⁢z)+q4⁢n−2),
20.5.4 θ4⁡(z,q)=∏n=1∞(1−q2⁢n)⁢(1−2⁢q2⁢n−1⁢cos⁡(2⁢z)+q4⁢n−2).
20.5.5 θ1⁡(z|τ)=θ1′⁡(0|τ)⁢sin⁡z⁢∏n=1∞sin⁡(n⁢π⁢τ+z)⁢sin⁡(n⁢π⁢τ−z)sin2⁡(n⁢π⁢τ),
20.5.6 θ2⁡(z|τ)=θ2⁡(0|τ)⁢cos⁡z⁢∏n=1∞cos⁡(n⁢π⁢τ+z)⁢cos⁡(n⁢π⁢τ−z)cos2⁡(n⁢π⁢τ),
20.5.7 θ3⁡(z|τ)=θ3⁡(0|τ)⁢∏n=1∞cos⁡((n−12)⁢π⁢τ+z)⁢cos⁡((n−12)⁢π⁢τ−z)cos2⁡((n−12)⁢π⁢τ),
20.5.8 θ4⁡(z|τ)=θ4⁡(0|τ)⁢∏n=1∞sin⁡((n−12)⁢π⁢τ+z)⁢sin⁡((n−12)⁢π⁢τ−z)sin2⁡((n−12)⁢π⁢τ).

Jacobi’s Triple Product

20.5.9 θ3⁡(π⁢z|τ)=∑n=−∞∞p2⁢n⁢qn2=∏n=1∞(1−q2⁢n)⁢(1+q2⁢n−1⁢p2)⁢(1+q2⁢n−1⁢p−2),

where p=ei⁢π⁢z, q=ei⁢π⁢τ.

§20.5(ii) Logarithmic Derivatives

When |ℑ⁡z|<π⁢ℑ⁡τ,

20.5.10 θ1′⁡(z,q)θ1⁡(z,q)−cot⁡z=4⁢sin⁡(2⁢z)⁢∑n=1∞q2⁢n1−2⁢q2⁢n⁢cos⁡(2⁢z)+q4⁢n=4⁢∑n=1∞q2⁢n1−q2⁢n⁢sin⁡(2⁢n⁢z),
20.5.11 θ2′⁡(z,q)θ2⁡(z,q)+tan⁡z=−4⁢sin⁡(2⁢z)⁢∑n=1∞q2⁢n1+2⁢q2⁢n⁢cos⁡(2⁢z)+q4⁢n=4⁢∑n=1∞(−1)n⁢q2⁢n1−q2⁢n⁢sin⁡(2⁢n⁢z).

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 |ℑ⁡z|<12⁢π⁢ℑ⁡τ,

20.5.12 θ3′⁡(z,q)θ3⁡(z,q)=−4⁢sin⁡(2⁢z)⁢∑n=1∞q2⁢n−11+2⁢q2⁢n−1⁢cos⁡(2⁢z)+q4⁢n−2=4⁢∑n=1∞(−1)n⁢qn1−q2⁢n⁢sin⁡(2⁢n⁢z),
20.5.13 θ4′⁡(z,q)θ4⁡(z,q)=4⁢sin⁡(2⁢z)⁢∑n=1∞q2⁢n−11−2⁢q2⁢n−1⁢cos⁡(2⁢z)+q4⁢n−2=4⁢∑n=1∞qn1−q2⁢n⁢sin⁡(2⁢n⁢z).

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

20.5.14 θ1⁡(z|τ) =z⁢θ1′⁡(0|τ)⁢limN→∞∏n=−NNlimM→∞∏m=−M|m|+|n|≠0M(1+z(m+n⁢τ)⁢π),
20.5.15 θ2⁡(z|τ) =θ2⁡(0|τ)⁢limN→∞∏n=−NNlimM→∞∏m=1−MM(1+z(m−12+n⁢τ)⁢π),
20.5.16 θ3⁡(z|τ) =θ3⁡(0|τ)⁢limN→∞∏n=1−NNlimM→∞∏m=1−MM(1+z(m−12+(n−12)⁢τ)⁢π),
20.5.17 θ4⁡(z|τ) =θ4⁡(0|τ)⁢limN→∞∏n=1−NNlimM→∞∏m=−MM(1+z(m+(n−12)⁢τ)⁢π).

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)).