[go: up one dir, main page]

20 Theta FunctionsProperties

§20.2 Definitions and Periodic Properties

Contents
  1. §20.2(i) Fourier Series
  2. §20.2(ii) Periodicity and Quasi-Periodicity
  3. §20.2(iii) Translation of the Argument by Half-Periods
  4. §20.2(iv) z-Zeros

§20.2(i) Fourier Series

20.2.1 θ1⁡(z|τ) =θ1⁡(z,q)=2⁢∑n=0∞(−1)n⁢q(n+12)2⁢sin⁡((2⁢n+1)⁢z),
20.2.2 θ2⁡(z|τ) =θ2⁡(z,q)=2⁢∑n=0∞q(n+12)2⁢cos⁡((2⁢n+1)⁢z),
20.2.3 θ3⁡(z|τ) =θ3⁡(z,q)=1+2⁢∑n=1∞qn2⁢cos⁡(2⁢n⁢z),
20.2.4 θ4⁡(z|τ) =θ4⁡(z,q)=1+2⁢∑n=1∞(−1)n⁢qn2⁢cos⁡(2⁢n⁢z).

Corresponding expansions for θj′⁡(z|τ), j=1,2,3,4, can be found by differentiating (20.2.1)–(20.2.4) with respect to z.

§20.2(ii) Periodicity and Quasi-Periodicity

For fixed τ, each θj⁡(z|τ) is an entire function of z with period 2⁢π; θ1⁡(z|τ) is odd in z and the others are even. For fixed z, each of θ1⁡(z|τ)/sin⁡z, θ2⁡(z|τ)/cos⁡z, θ3⁡(z|τ), and θ4⁡(z|τ) is an analytic function of τ for ℑ⁡τ>0, with a natural boundary ℑ⁡τ=0, and correspondingly, an analytic function of q for |q|<1 with a natural boundary |q|=1.

The four points (0,π,π+τ⁢π,τ⁢π) are the vertices of the fundamental parallelogram in the z-plane; see Figure 20.2.1. The points

20.2.5 zm,n=(m+n⁢τ)⁢π,
m,n∈ℤ,

are the lattice points. The theta functions are quasi-periodic on the lattice:

20.2.6 θ1⁡(z+(m+n⁢τ)⁢π|τ) =(−1)m+n⁢q−n2⁢e−2⁢i⁢n⁢z⁢θ1⁡(z|τ),
20.2.7 θ2⁡(z+(m+n⁢τ)⁢π|τ) =(−1)m⁢q−n2⁢e−2⁢i⁢n⁢z⁢θ2⁡(z|τ),
20.2.8 θ3⁡(z+(m+n⁢τ)⁢π|τ) =q−n2⁢e−2⁢i⁢n⁢z⁢θ3⁡(z|τ),
20.2.9 θ4⁡(z+(m+n⁢τ)⁢π|τ) =(−1)n⁢q−n2⁢e−2⁢i⁢n⁢z⁢θ4⁡(z|τ).
See accompanying text See accompanying text
Figure 20.2.1: z-plane. Fundamental parallelogram. Left-hand diagram is the rectangular case (τ purely imaginary); right-hand diagram is the general case. ∙ zeros of θ1⁡(z|τ), ■ zeros of θ2⁡(z|τ), ▲ zeros of θ3⁡(z|τ), ⧫ zeros of θ4⁡(z|τ). Magnify

§20.2(iii) Translation of the Argument by Half-Periods

With

20.2.10 M≡M⁡(z|τ)=ei⁢z+(i⁢π⁢τ/4),
20.2.11 θ1⁡(z|τ) =−θ2⁡(z+12⁢π|τ)=−i⁢M⁢θ4⁡(z+12⁢π⁢τ|τ)=−i⁢M⁢θ3⁡(z+12⁢π+12⁢π⁢τ|τ),
20.2.12 θ2⁡(z|τ) =θ1⁡(z+12⁢π|τ)=M⁢θ3⁡(z+12⁢π⁢τ|τ)=M⁢θ4⁡(z+12⁢π+12⁢π⁢τ|τ),
20.2.13 θ3⁡(z|τ) =θ4⁡(z+12⁢π|τ)=M⁢θ2⁡(z+12⁢π⁢τ|τ)=M⁢θ1⁡(z+12⁢π+12⁢π⁢τ|τ),
20.2.14 θ4⁡(z|τ) =θ3⁡(z+12⁢π|τ)=−i⁢M⁢θ1⁡(z+12⁢π⁢τ|τ)=i⁢M⁢θ2⁡(z+12⁢π+12⁢π⁢τ|τ).

§20.2(iv) z-Zeros

For m,n∈ℤ, the z-zeros of θj⁡(z|τ), j=1,2,3,4, are (m+n⁢τ)⁢π, (m+12+n⁢τ)⁢π, (m+12+(n+12)⁢τ)⁢π, (m+(n+12)⁢τ)⁢π respectively.