info prev up next book cdrom email home

Theta Function

The theta functions are the elliptic analogs of the Exponential Function, and may be used to express the Jacobi Elliptic Functions. Let $t$ be a constant Complex Number with $\Im[t]> 0$. Define the Nome

\begin{displaymath}
q\equiv e^{i\pi t}=e^{\pi K'(k)/K(k)},
\end{displaymath} (1)

where
\begin{displaymath}
t\equiv -i{K'(k)\over K(k)},
\end{displaymath} (2)

and $K(k)$ is a complete Elliptic Integral of the First Kind, $k$ is the Modulus, and $k'$ is the complementary Modulus. Then the theta functions are, in the Notation of Whittaker and Watson,
$\displaystyle \vartheta _1(z,q)$ $\textstyle \equiv$ $\displaystyle 2 \sum_{n=0}^\infty (-1)^n q^{(n+1/2)^2}\sin [(2n+1)z]$  
  $\textstyle =$ $\displaystyle z q^{1/4} \sum_{n=0}^\infty (-1)^n q^{n(n+1)}\sin[(2n+1)z]$ (3)
$\displaystyle \vartheta _2(z,q)$ $\textstyle \equiv$ $\displaystyle 2\sum_{n=0}^\infty q^{(n+1/2)^2}\cos[(2n+1)z]$  
  $\textstyle =$ $\displaystyle 2q^{1/4} \sum_{n=0}^\infty q^{n(n+1)}\cos[(2n+1)z]$ (4)
$\displaystyle \vartheta _3(z,q)$ $\textstyle \equiv$ $\displaystyle 1+2\sum_{n=1}^\infty q^{n^2}\cos(2nz)$ (5)
$\displaystyle \vartheta _4(z,q)$ $\textstyle \equiv$ $\displaystyle \sum_{n=-\infty}^\infty (-1)^nq^{n^2}e^{2niz}$  
  $\textstyle =$ $\displaystyle 1+2\sum_{n=1}^\infty (-1)^nq^{n^2}\cos(2nz).$ (6)

Written in terms of $t$,
$\displaystyle \vartheta _2(t,q)$ $\textstyle =$ $\displaystyle \sum_{n=-\infty}^\infty q^{(n+1/2)^2}e^{\Im[t]}$ (7)
$\displaystyle \vartheta _3(t,q)$ $\textstyle =$ $\displaystyle \sum_{n=-\infty}^\infty q^{n^2} e^{\Im[t]}.$ (8)

These functions are sometimes denoted $\Theta_i$ or $\theta_i$, and a number of indexing conventions have been used. For a summary of these notations, see Whittaker and Watson (1990). The theta functions are quasidoubly periodic, as illustrated in the following table.

$\vartheta _i$ $\vartheta _i(z+\pi)/\vartheta _i(z)$ $\vartheta _i(z+t\pi)/\vartheta _i(z)$
$\vartheta _1$ $-1$ $-N$
$\vartheta _2$ $-1$ $N$
$\vartheta _3$ 1 $N$
$\vartheta _4$ 1 $-N$

Here,

\begin{displaymath}
N\equiv q^{-1}e^{-2iz}.
\end{displaymath} (9)

The quasiperiodicity can be established as follows for the specific case of $\vartheta _4$,
$\displaystyle \vartheta _4(z+\pi,q)$ $\textstyle =$ $\displaystyle \sum_{n=-\infty}^\infty (-1)^nq^{n^2}e^{2niz}e^{2ni\pi}$  
  $\textstyle =$ $\displaystyle \sum_{n=-\infty}^\infty (-1)^nq^{n^2}e^{2niz} = \vartheta _4(z,q)$ (10)
$\displaystyle \vartheta _4(z+\pi t,q)$ $\textstyle =$ $\displaystyle \sum_{n=-\infty}^\infty (-1)^nq^{n^2}e^{2ni\pi t}e^{2niz}$  
  $\textstyle =$ $\displaystyle \sum_{n=-\infty}^\infty (-1)^nq^{n^2}q^{2n}e^{2niz}$  
  $\textstyle =$ $\displaystyle -q^{-1}e^{-2iz}\sum_{n=-\infty}^\infty (-1)^{n+1} q^{(n+1)^2}q^{2(n+1)iz}$  
  $\textstyle =$ $\displaystyle -q^{-1}e^{-2iz}\sum_{n=-\infty}^\infty (-1)^n q^{n^2}q^{2niz}$  
  $\textstyle =$ $\displaystyle -q^{-1}e^{-2iz}\vartheta _4(z,q).$ (11)

The theta functions can be written in terms of each other:
$\displaystyle \vartheta _1(z,q)$ $\textstyle =$ $\displaystyle -ie^{iz+\pi it/4}\vartheta _4(z+{\textstyle{1\over 4}}\pi t,q)$ (12)
$\displaystyle \vartheta _2(z,q)$ $\textstyle =$ $\displaystyle \vartheta _1(z+{\textstyle{1\over 2}}\pi,q)$ (13)
$\displaystyle \vartheta _3(z,q)$ $\textstyle =$ $\displaystyle \vartheta _4(z+{\textstyle{1\over 2}}\pi,q).$ (14)

Any theta function of given arguments can be expressed in terms of any other two theta functions with the same arguments.


\begin{figure}\begin{center}\BoxedEPSF{ThetaFunctions.epsf}\end{center}\end{figure}

Define

\begin{displaymath}
\vartheta _i\equiv \vartheta _i(z=0),
\end{displaymath} (15)

which are plotted above. Then we have the identities
\begin{displaymath}
{\vartheta _1}^2(z){\vartheta _4}^2={\vartheta _3}^2(z){\vartheta _2}^2-{\vartheta _2}^2(z){\vartheta _3}^2
\end{displaymath} (16)


\begin{displaymath}
{\vartheta _2}^2(z){\vartheta _4}^2={\vartheta _4}^2(z){\vartheta _2}^2-{\vartheta _1}^2(z){\vartheta _3}^2
\end{displaymath} (17)


\begin{displaymath}
{\vartheta _3}^2(z){\vartheta _4}^2={\vartheta _4}^2(z){\vartheta _3}^2-{\vartheta _1}^2(z){\vartheta _2}^2
\end{displaymath} (18)


\begin{displaymath}
{\vartheta _4}^2(z){\vartheta _4}^2={\vartheta _3}^2(z){\vartheta _3}^2-{\vartheta _2}^2(z){\vartheta _2}^2.
\end{displaymath} (19)

Taking $z=0$ in the last gives the special case
\begin{displaymath}
{\vartheta _4}^4={\vartheta _3}^4-{\vartheta _2}^4.
\end{displaymath} (20)

In addition,


$\displaystyle \vartheta _3(x)$ $\textstyle =$ $\displaystyle \sum_{n=-\infty}^\infty x^{n^2}=1+2x+2x^4+2x^9+\ldots$ (21)
$\displaystyle {\vartheta _3}^2(x)$ $\textstyle =$ $\displaystyle 1+4\left({{x\over 1-x}-{x^3\over 1-x^3}+{x^5\over 1-x^5}-{x^7\over 1-x^7}+\ldots}\right)$ (22)
      (23)
$\displaystyle {\vartheta _3}^4(x)$ $\textstyle =$ $\displaystyle 1+8\left({{x\over 1-x}+{2x^2\over 1+x^2}+{3x^3\over 1-x^3}+{4x^4\over 1+x^4}+\ldots}\right).$ (24)


The theta functions obey addition rules such as

\begin{displaymath}
\vartheta _3(z+y)\vartheta _3(z-y){\vartheta _3}^2={\varthet...
...(y){\vartheta _3}^2(z)+{\vartheta _1}^2(y){\vartheta _1}^2(z).
\end{displaymath} (25)

Letting $y=z$ gives a duplication Formula
\begin{displaymath}
\vartheta _3(2z){\vartheta _3}^3={\vartheta _3}^4(z)+{\vartheta _1}^4(z).
\end{displaymath} (26)

For more addition Formulas, see Whittaker and Watson (1990, pp. 487-488). Ratios of theta function derivatives to the functions themselves have the simple forms
$\displaystyle {\vartheta _1'(z)\over\vartheta _1(z)}$ $\textstyle =$ $\displaystyle \cot z+4 \sum_{n=1}^\infty {q^{2n}\over 1-q^{2n}} \sin(2nz)$ (27)
$\displaystyle {\vartheta _2'(z)\over\vartheta _2(z)}$ $\textstyle =$ $\displaystyle -\tan z+4\sum_{n=1}^\infty (-1)^n {q^{2n}\over 1-q^{2n}}\sin(2nz)$  
      (28)
$\displaystyle {\vartheta _3'(z)\over\vartheta _3(z)}$ $\textstyle =$ $\displaystyle 4\sum_{n=1}^\infty (-1)^n{q^n\over 1-q^{2n}} \sin(2nz)$ (29)
$\displaystyle {\vartheta _4'(z)\over\vartheta _4(z)}$ $\textstyle =$ $\displaystyle \sum_{n=1}^\infty {q^{2n-1}\sin(2z)\over 1-2q^{2n-1}\cos(2z)+q^{4n-2}}$  
  $\textstyle =$ $\displaystyle \sum_{n=1}^\infty {4q^n\sin(2nz)\over 1-q^{2n}}.$ (30)

The theta functions can be expressed as products instead of sums by
$\displaystyle \vartheta _1(z)$ $\textstyle =$ $\displaystyle 2Gq^{1/4}\sin z \prod_{n=1}^\infty [1-2q^{2n} \cos(2z)+q^{4n}]$ (31)
$\displaystyle \vartheta _2(z)$ $\textstyle =$ $\displaystyle 2Gq^{1/4}\cos z \prod_{n=1}^\infty [1+2q^{2n} \cos(2z)+q^{4n}]$ (32)
$\displaystyle \vartheta _3(z)$ $\textstyle =$ $\displaystyle G \prod_{n=1}^\infty [1+2q^{2n-1}\cos(2z)+q^{4n-2}]$ (33)
$\displaystyle \vartheta _4(z)$ $\textstyle =$ $\displaystyle G \prod_{n=1}^\infty [1-2q^{2n-1}\cos(2z)+q^{4n-2}],$ (34)

where
\begin{displaymath}
G\equiv \prod_{n=1}^\infty (1-q^{2n})
\end{displaymath} (35)

(Whittaker and Watson 1990, pp. 469-470).


The theta functions satisfy the Partial Differential Equation

\begin{displaymath}
{\textstyle{1\over 4}}\pi i{\partial^2y\over\partial z^2}+{\partial y\over\partial t}=0,
\end{displaymath} (36)

where $y\equiv \vartheta _j(z\vert t)$. Ratios of the theta functions with $\vartheta _4$ in the Denominator also satisfy differential equations
\begin{displaymath}
{d\over dz}\left[{\vartheta _1(z)\over \vartheta _4(z)}\righ...
... _4}^2{\vartheta _2(z)\vartheta _3(z)\over{\vartheta _4}^2(z)}
\end{displaymath} (37)


\begin{displaymath}
{d\over dz}\left[{\vartheta _2(z)\over \vartheta _4(z)}\righ...
... _3}^2{\vartheta _1(z)\vartheta _3(z)\over{\vartheta _4}^2(z)}
\end{displaymath} (38)


\begin{displaymath}
{d\over dz}\left[{\vartheta _3(z)\over \vartheta _4(z)}\righ...
..._2}^2{\vartheta _1(z)\vartheta _2(z)\over{\vartheta _4}^2(z)}.
\end{displaymath} (39)

Some additional remarkable identities are
\begin{displaymath}
\vartheta _1'=\vartheta _2\vartheta _3\vartheta _4
\end{displaymath} (40)


\begin{displaymath}
\vartheta _3(z,t)=-(it)^{1/2}e^{z^2/\pi it}\vartheta _3\left({{2\over t},-{1\over t}}\right),
\end{displaymath} (41)

which were discovered by Poisson in 1827 and are equivalent to
\begin{displaymath}
\sum_{n=-\infty}^\infty e^{-t(x+n)^2} = \sqrt{\pi\over t} \sum_{k=-\infty}^\infty 2^{2\pi ikx-(\pi^2k^2/t)}.
\end{displaymath} (42)

Another amazing identity is
$2\vartheta _1[{\textstyle{1\over 2}}(-b+c+d+e)]\vartheta _2[{\textstyle{1\over 2}}(b-c+d+e)]\vartheta _3[{\textstyle{1\over 2}}(b+c-d+e)]$
$\quad \times\vartheta _4[{\textstyle{1\over 2}}(b+c+d-e)] =\vartheta _3(b)\vartheta _4(c)\vartheta _1(d)\vartheta _2(e)$
$\quad +\vartheta _2(b)\vartheta _1(c)\vartheta _4(d)\vartheta _3(e)-\vartheta _1(b)\vartheta _2(c)\vartheta _3(d)\vartheta _4(e)$
$\quad +\vartheta _4(b)\vartheta _3(c)\vartheta _2(d)\vartheta _1(e)$ (43)
(Whittaker and Watson 1990, p. 469).


The complete Elliptic Integrals of the First and Second Kinds can be expressed using theta functions. Let

\begin{displaymath}
\xi\equiv {\vartheta _1(z)\over\vartheta _4(z)},
\end{displaymath} (44)

and plug into (37)
\begin{displaymath}
\left({d\xi\over dz}\right)^2=({\vartheta _2}^2-\xi^2{\vartheta _3}^2)({\vartheta _3}^2-\xi^2{\vartheta _2}^2).
\end{displaymath} (45)

Now write
\begin{displaymath}
\xi{\vartheta _3\over\vartheta _2}\equiv y
\end{displaymath} (46)

and
\begin{displaymath}
z{\vartheta _3}^2\equiv u.
\end{displaymath} (47)

Then
\begin{displaymath}
\left({dy\over du}\right)^2=(1-y^2)(1-k^2y^2),
\end{displaymath} (48)

where the Modulus is defined by
\begin{displaymath}
k=k(q)={{\vartheta _2}^2(q)\over {\vartheta _3}^2(q)}.
\end{displaymath} (49)

Define also the complementary Modulus
\begin{displaymath}
k'=k'(q)={{\vartheta _4}^2(-q)\over {\vartheta _3}^2(q)}.
\end{displaymath} (50)

Now, since
\begin{displaymath}
{\vartheta _2}^4+{\vartheta _4}^4={\vartheta _3}^4,
\end{displaymath} (51)

we have shown
\begin{displaymath}
k^2+k'^2=1.
\end{displaymath} (52)

The solution to the equation is
\begin{displaymath}
y={\vartheta _3\over \vartheta _2} {\vartheta _1(u{\vartheta...
...rtheta _3}^{-2}\vert t)} \equiv\mathop{\rm sn}\nolimits (u,k),
\end{displaymath} (53)

which is a Jacobi Elliptic Function with periods
\begin{displaymath}
4K(k)=2\pi{\vartheta _3}^2(q)
\end{displaymath} (54)

and
\begin{displaymath}
2iK'(k)=\pi t{\vartheta _3}^2(q).
\end{displaymath} (55)

Here, $K$ is the complete Elliptic Integral of the First Kind,
\begin{displaymath}
K(k)={\textstyle{1\over 2}}\pi{\vartheta _3}^2(q).
\end{displaymath} (56)

See also Blecksmith-Brillhart-Gerst Theorem, Elliptic Function, Eta Function, Euler's Pentagonal Number Theorem, Jacobi Elliptic Functions, Jacobi Triple Product, Landen's Formula, Mock Theta Function, Modular Equation, Modular Transformation, Mordell Integral, Neville Theta Function, Nome, Poincaré-Fuchs-Klein Automorphic Function, Prime Theta Function, Quintuple Product Identity, Ramanujan Theta Functions, Schröter's Formula, Weber Functions


References

Abramowitz, M. and Stegun, C. A. (Eds.). Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, 9th printing. New York: Dover, p. 577, 1972.

Bellman, R. E. A Brief Introduction to Theta Functions. New York: Holt, Rinehart and Winston, 1961.

Berndt, B. C. ``Theta-Functions and Modular Equations.'' Ch. 25 in Ramanujan's Notebooks, Part IV. New York: Springer-Verlag, pp. 138-244, 1994.

Morse, P. M. and Feshbach, H. Methods of Theoretical Physics, Part I. New York: McGraw-Hill, pp. 430-432, 1953.

Whittaker, E. T. and Watson, G. N. A Course in Modern Analysis, 4th ed. Cambridge, England: Cambridge University Press, 1990.



info prev up next book cdrom email home

© 1996-9 Eric W. Weisstein
1999-05-26