About the Project
22 Jacobian Elliptic FunctionsProperties

§22.2 Definitions

The nome q is given in terms of the modulus k by

where K\left(k\right), {K^{\prime}}\left(k\right) are defined in §19.2(ii). Inversely,

where k^{\prime}=\sqrt{1-k^{2}} and the theta functions are defined in §20.2(i).

With

22.2.4 \operatorname{sn}\left(z,k\right)=\frac{\theta_{3}\left(0,q\right)}{\theta_{2}%
\left(0,q\right)}\frac{\theta_{1}\left(\zeta,q\right)}{\theta_{4}\left(\zeta,q%
\right)}=\frac{1}{\operatorname{ns}\left(z,k\right)},
22.2.5 \operatorname{cn}\left(z,k\right)=\frac{\theta_{4}\left(0,q\right)}{\theta_{2}%
\left(0,q\right)}\frac{\theta_{2}\left(\zeta,q\right)}{\theta_{4}\left(\zeta,q%
\right)}=\frac{1}{\operatorname{nc}\left(z,k\right)},
22.2.6 \operatorname{dn}\left(z,k\right)=\frac{\theta_{4}\left(0,q\right)}{\theta_{3}%
\left(0,q\right)}\frac{\theta_{3}\left(\zeta,q\right)}{\theta_{4}\left(\zeta,q%
\right)}=\frac{1}{\operatorname{nd}\left(z,k\right)},
22.2.7 \operatorname{sd}\left(z,k\right)=\frac{{\theta_{3}}^{2}\left(0,q\right)}{%
\theta_{2}\left(0,q\right)\theta_{4}\left(0,q\right)}\frac{\theta_{1}\left(%
\zeta,q\right)}{\theta_{3}\left(\zeta,q\right)}=\frac{1}{\operatorname{ds}%
\left(z,k\right)},
22.2.8 \operatorname{cd}\left(z,k\right)=\frac{\theta_{3}\left(0,q\right)}{\theta_{2}%
\left(0,q\right)}\frac{\theta_{2}\left(\zeta,q\right)}{\theta_{3}\left(\zeta,q%
\right)}=\frac{1}{\operatorname{dc}\left(z,k\right)},
22.2.9 \operatorname{sc}\left(z,k\right)=\frac{\theta_{3}\left(0,q\right)}{\theta_{4}%
\left(0,q\right)}\frac{\theta_{1}\left(\zeta,q\right)}{\theta_{2}\left(\zeta,q%
\right)}=\frac{1}{\operatorname{cs}\left(z,k\right)}.

As a function of z, with fixed k, each of the 12 Jacobian elliptic functions is doubly periodic, having two periods whose ratio is not real. Each is meromorphic in z for fixed k, with simple poles and simple zeros, and each is meromorphic in k for fixed z. For k\in[0,1], all functions are real for z\in\mathbb{R}.

Glaisher’s Notation

The Jacobian functions are related in the following way. Let \mathrm{p}, \mathrm{q}, \mathrm{r} be any three of the letters \mathrm{s}, \mathrm{c}, \mathrm{d}, \mathrm{n}. Then

22.2.10 \operatorname{pq}\left(z,k\right)=\frac{\operatorname{pr}\left(z,k\right)}{%
\operatorname{qr}\left(z,k\right)}=\frac{1}{\operatorname{qp}\left(z,k\right)},

with the convention that functions with the same two letters are replaced by unity; e.g. \operatorname{ss}\left(z,k\right)=1.

The six functions containing the letter \mathrm{s} in their two-letter name are odd in z; the other six are even in z.

In terms of Neville’s theta functions (§20.1)

22.2.11 \operatorname{pq}\left(z,k\right)=\ifrac{\theta_{p}\left(z\middle|\tau\right)}%
{\theta_{q}\left(z\middle|\tau\right)},

where

and on the left-hand side of (22.2.11) \mathrm{p}, \mathrm{q} are any pair of the letters \mathrm{s}, \mathrm{c}, \mathrm{d}, \mathrm{n}, and on the right-hand side they correspond to the integers 1,2,3,4.