What is a Theta Function?

They arise from an effort to find a product expansion of the elliptic functions by using the Weierstrass theorem to factor the zeros and poles. I hope the following outline gives an intuitive motivation for the creation of the theta functions. Naively we could write

$$\text{sn}(z)=z\pi \prod \frac{1-\frac{z}{2Kn+2K^{\prime}mi} }{ 1-\frac{z}{2Kn+2K^{\prime}mi +K^{\prime}i}}.$$

Define $\tau=\frac{K^{\prime}i}{K}$ then $$\text{sn}(2Kz)=2Kz\prod \left( \frac{1-\frac{z}{n+m\tau} }{1-\frac{z}{n+m\tau+\frac{1}{2}\tau}}\right).$$

However neither product $\prod\limits_{nm} 1-\frac{z}{n+m\tau}$ or $\prod\limits_{nm} 1-\frac{z}{n+m\tau+\frac{1}{2}\tau}$ converges absolutely. There are two ways to make convergent products out of these expresssions. One is to introduce convergence factors following Weierstrauss, and this leads to the $\sigma$ functions. Another way is to take the product first by $n$ and then by $m$. This results in the important theta functions. We define

$$\Theta_1(z)=2Kz \prod\limits_m \prod\limits_n \left( 1- \frac{z}{n+m\tau} \right).$$

After some manipulation and with $q=e^{\tau \pi i}$,

$$\Theta_1(z)=\frac{2K}{\pi}\sin(\pi z)\frac{\prod\limits_{m=1}^{\infty}1-2q^{2m}\cos(2z\pi)+q^{4m}}{\prod\limits_{m=1}^{\infty}\left[ 1-q^{2m} \right]^2}$$ is well defined with absolutely convergent numerator and denomenator. Similarly we define

$$\Theta_0(z)= \prod\limits_m \prod\limits_n \left( 1- \frac{z}{n+(m+\frac{1}{2})\tau} \right)$$ and obtain,

$$\Theta_0(z)=\frac{\prod\limits_{m=1}^{\infty}1-2q^{2m-1}\cos(2z\pi)+q^{4m-2}}{\prod\limits_{m=1}^{\infty}\left[ 1-q^{2m-1} \right]^2}.$$

As a result we have a product expression for the function $\text{sn}(2Kz)$.

$$\text{sn}(2Kz)=\frac{\Theta_1(z)}{\Theta_0(z)}.$$

Similarly we may define the functions,

$$\Theta_2(z)=\cos(\pi z)\frac{\prod\limits_{m=1}^{\infty}1+2q^{2m}\cos(2z\pi)+q^{4m}}{\prod\limits_{m=1}^{\infty}\left[ 1+q^{2m} \right]^2}$$ and $$\Theta_3(z)=\frac{\prod\limits_{m=1}^{\infty}1+2q^{2m-1}\cos(2z\pi)+q^{4m-2}}{\prod\limits_{m=1}^{\infty}\left[ 1+q^{2m-1} \right]^2}.$$

And we have

$$\text{cn}(2Kz)=\frac{\Theta_2(z)}{\Theta_0(z)}$$ $$\text{dn}(2Kz)=\frac{\Theta_3(z)}{\Theta_0(z)}.$$


Looking back, what I was really hoping for is the following simple explanation clearly delineating concepts:

A trigonometric (circular) function can be defined by focusing on the domain of the circle (thus there is a single period) or it's image. If we focus on the domain we analyze singly-periodic functions, defining trigonometric functions directly, while if we analyze the image we focus on arc length, defining trigonometric functions through the inverses of arc length integrals. Furthermore trigonometric functions can be defined in terms of exponential functions, as well as in terms of infinite products.

An elliptic function can similarly be defined in terms of the domain of an ellipse (thus there are two periods), giving doubly-periodic functions, or it's image, via inverse images of arc length integrals. If we do things directly this way we end up with Weierstrass elliptic functions, which have a double pole. However elliptic functions should be definable analogously to how trig functions are formulated in terms of exponentials, this is the origin of Jacobi Theta functions. My guess is that, just as trig functions are a sum of exponentials, since elliptic functions are some combination of theta functions on a parallelogram, this is why the elliptic functions have two distinct poles. Anyway, then a distinct formulation of elliptic functions in terms of infinite products gives us Weierstrass sigma functions.

I think that explains why every book is the way it is! Once you see these separate strands, only then should you go mixing them up, ahh that only took a few years to see...