quasiperiod and half quasiperiod relations for Jacobi $\vartheta$ functions

The theta functions have quasiperiods $\pi$ and $\pi \tau$:

$${\theta }_1(z\mid \tau )=-{\theta }_1(z+\pi \mid \tau )=-e^{2iz+i\pi \tau }{\theta }_1(z+\pi \tau \mid \tau )$$

$${\theta }_2(z\mid \tau )=-{\theta }_2(z+\pi \mid \tau )=e^{2iz+i\pi \tau }{\theta }_2(z+\pi \tau \mid \tau )$$

$${\theta }_3(z\mid \tau )={\theta }_3(z+\pi \mid \tau )=e^{2iz+i\pi \tau }{\theta }_3(z+\pi \tau \mid \tau )$$

$${\theta }_4(z\mid \tau )={\theta }_4(z+\pi \mid \tau )=-e^{2iz+i\pi \tau }{\theta }_4(z+\pi \tau \mid \tau )$$

By adding half a quasiperiod, one can can convert one theta function into another.

$${\theta }_1(z\mid \tau )=-{\theta }_2(z+\pi /2\mid \tau )=-i{e}^{iz+i\pi \tau /4}{\theta }_4(z+\pi \tau /2\mid \tau )=-i{e}^{iz+i\pi \tau /4}{\theta }_3(z+\pi /2+\pi \tau /2\mid \tau )$$

$${\theta }_2(z\mid \tau )={\theta }_1(z+\pi /2\mid \tau )=e^{iz+i\pi \tau /4}{\theta }_3(z+\pi \tau /2\mid \tau )=e^{iz+i\pi \tau /4}{\theta }_4(z+\pi /2+\pi \tau /2\mid \tau )$$

$${\theta }_3(z\mid \tau )={\theta }_4(z+\pi /2\mid \tau )=e^{iz+i\pi \tau /4}{\theta }_2(z+\pi \tau /2\mid \tau )=e^{iz+i\pi \tau /4}{\theta }_1(z+\pi /2+\pi \tau /2\mid \tau )$$

$${\theta }_4(z\mid \tau )={\theta }_3(z+\pi /2\mid \tau )=-i{e}^{iz+i\pi \tau /4}{\theta }_1(z+\pi \tau /2\mid \tau )=i{e}^{iz+i\pi \tau /4}{\theta }_2(z+\pi /2+\pi \tau /2\mid \tau )$$

The proof of these identities is simply a matter of adding the appropriate quasiperiod to $z$ in the series defining the theta function and using the addition formula for the exponential to simplify the result. For instance,

$${\theta }_2(z+\pi \tau /2\mid \tau )=\sum _{n=-\mathrm{\infty }}^{+\mathrm{\infty }}{e}^{i\pi \tau {(n+1/2)}^2+(2n+1)i(z+\pi \tau /2)}$$

Multiplying out,

$$\pi \tau {(n+1/2)}^2+(2n+1)(z+\pi \tau /2)=\pi \tau n^2+2nz+2\pi \tau n+z+3\pi \tau /4$$

$$=\pi \tau {(n+1)}^2+2(n+1)z-z-\pi \tau /4$$

and hence,

$$\sum _{n=-\mathrm{\infty }}^{+\mathrm{\infty }}{e}^{i\pi \tau {(n+1/2)}^2+(2n+1)i(z+\pi \tau /2)}=e^{-iz-i\pi \tau /4}\sum _{n=-\mathrm{\infty }}^{+\mathrm{\infty }}{e}^{i\pi \tau {(n+1)}^2+2i(n+1)z}=$$

$$e^{-iz-i\pi \tau /4}\sum _{n=-\mathrm{\infty }}^{+\mathrm{\infty }}{e}^{i\pi \tau n^2+2inz}=e^{-iz-i\pi \tau /4}{\theta }_3(z\mid \tau )$$

Once enough half quasiperiod relations have been verified in this manner, the remaining relations may be deduced from them. Finally, the quasiperiod relations may be deduced from the half quasiperiod relations.

An important use of these relations is in constructing elliptic functions. By taking suitable quotients of theta functions with the same quasiperiod, one can arrange for the result to be periodic, not just quasi-periodic.

Title	quasiperiod and half quasiperiod relations for Jacobi $\vartheta$ functions
Canonical name	QuasiperiodAndHalfQuasiperiodRelationsForJacobivarthetaFunctions
Date of creation	2013-03-22 14:40:27
Last modified on	2013-03-22 14:40:27
Owner	rspuzio (6075)
Last modified by	rspuzio (6075)
Numerical id	13
Author	rspuzio (6075)
Entry type	Theorem
Classification	msc 35H30