The theta functions are the elliptic analogs of the Exponential Function, and may be used to express the Jacobi Elliptic
Functions. Let
be a constant Complex Number with
. Define the Nome
![\begin{displaymath}
q\equiv e^{i\pi t}=e^{\pi K'(k)/K(k)},
\end{displaymath}](t_523.gif) |
(1) |
where
![\begin{displaymath}
t\equiv -i{K'(k)\over K(k)},
\end{displaymath}](t_524.gif) |
(2) |
and
is a complete Elliptic Integral of the First Kind,
is the Modulus, and
is the complementary Modulus. Then the theta functions are, in
the Notation of Whittaker and Watson,
Written in terms of
,
These functions are sometimes denoted
or
, 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.
Here,
![\begin{displaymath}
N\equiv q^{-1}e^{-2iz}.
\end{displaymath}](t_553.gif) |
(9) |
The quasiperiodicity can be established as follows for the specific case of
,
The theta functions can be written in terms of each other:
Any theta function of given arguments can be expressed in terms of any other two theta functions with the same arguments.
Define
![\begin{displaymath}
\vartheta _i\equiv \vartheta _i(z=0),
\end{displaymath}](t_567.gif) |
(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}](t_568.gif) |
(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}](t_569.gif) |
(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}](t_570.gif) |
(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}](t_571.gif) |
(19) |
Taking
in the last gives the special case
![\begin{displaymath}
{\vartheta _4}^4={\vartheta _3}^4-{\vartheta _2}^4.
\end{displaymath}](t_573.gif) |
(20) |
In addition,
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}](t_580.gif) |
(25) |
Letting
gives a duplication Formula
![\begin{displaymath}
\vartheta _3(2z){\vartheta _3}^3={\vartheta _3}^4(z)+{\vartheta _1}^4(z).
\end{displaymath}](t_582.gif) |
(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
The theta functions can be expressed as products instead of sums by
where
![\begin{displaymath}
G\equiv \prod_{n=1}^\infty (1-q^{2n})
\end{displaymath}](t_600.gif) |
(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}](t_601.gif) |
(36) |
where
. Ratios of the theta functions with
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}](t_603.gif) |
(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}](t_604.gif) |
(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}](t_605.gif) |
(39) |
Some additional remarkable identities are
![\begin{displaymath}
\vartheta _1'=\vartheta _2\vartheta _3\vartheta _4
\end{displaymath}](t_606.gif) |
(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}](t_607.gif) |
(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}](t_608.gif) |
(42) |
Another amazing identity is
(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}](t_613.gif) |
(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}](t_614.gif) |
(45) |
Now write
![\begin{displaymath}
\xi{\vartheta _3\over\vartheta _2}\equiv y
\end{displaymath}](t_615.gif) |
(46) |
and
![\begin{displaymath}
z{\vartheta _3}^2\equiv u.
\end{displaymath}](t_616.gif) |
(47) |
Then
![\begin{displaymath}
\left({dy\over du}\right)^2=(1-y^2)(1-k^2y^2),
\end{displaymath}](t_617.gif) |
(48) |
where the Modulus is defined by
![\begin{displaymath}
k=k(q)={{\vartheta _2}^2(q)\over {\vartheta _3}^2(q)}.
\end{displaymath}](t_618.gif) |
(49) |
Define also the complementary Modulus
![\begin{displaymath}
k'=k'(q)={{\vartheta _4}^2(-q)\over {\vartheta _3}^2(q)}.
\end{displaymath}](t_619.gif) |
(50) |
Now, since
![\begin{displaymath}
{\vartheta _2}^4+{\vartheta _4}^4={\vartheta _3}^4,
\end{displaymath}](t_620.gif) |
(51) |
we have shown
![\begin{displaymath}
k^2+k'^2=1.
\end{displaymath}](t_621.gif) |
(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}](t_622.gif) |
(53) |
which is a Jacobi Elliptic Function with periods
![\begin{displaymath}
4K(k)=2\pi{\vartheta _3}^2(q)
\end{displaymath}](t_623.gif) |
(54) |
and
![\begin{displaymath}
2iK'(k)=\pi t{\vartheta _3}^2(q).
\end{displaymath}](t_624.gif) |
(55) |
Here,
is the complete Elliptic Integral of the First Kind,
![\begin{displaymath}
K(k)={\textstyle{1\over 2}}\pi{\vartheta _3}^2(q).
\end{displaymath}](t_625.gif) |
(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.
© 1996-9 Eric W. Weisstein
1999-05-26