About the Project
22 Jacobian Elliptic FunctionsProperties

§22.8 Addition Theorems

Contents
  1. §22.8(i) Sum of Two Arguments
  2. §22.8(ii) Alternative Forms for Sum of Two Arguments
  3. §22.8(iii) Special Relations Between Arguments

§22.8(i) Sum of Two Arguments

For u,v\in\mathbb{C}, and with the common modulus k suppressed:

22.8.1 \operatorname{sn}(u+v)=\frac{\operatorname{sn}u\operatorname{cn}v\operatorname%
{dn}v+\operatorname{sn}v\operatorname{cn}u\operatorname{dn}u}{1-k^{2}{%
\operatorname{sn}}^{2}u{\operatorname{sn}}^{2}v},
22.8.2 \operatorname{cn}(u+v)=\frac{\operatorname{cn}u\operatorname{cn}v-%
\operatorname{sn}u\operatorname{dn}u\operatorname{sn}v\operatorname{dn}v}{1-k^%
{2}{\operatorname{sn}}^{2}u{\operatorname{sn}}^{2}v},
22.8.3 \operatorname{dn}(u+v)=\frac{\operatorname{dn}u\operatorname{dn}v-k^{2}%
\operatorname{sn}u\operatorname{cn}u\operatorname{sn}v\operatorname{cn}v}{1-k^%
{2}{\operatorname{sn}}^{2}u{\operatorname{sn}}^{2}v}.

See also Carlson (2004).

§22.8(ii) Alternative Forms for Sum of Two Arguments

For u,v\in\mathbb{C}, and with the common modulus k suppressed:

See also Carlson (2004).

§22.8(iii) Special Relations Between Arguments

In the following equations the common modulus k is again suppressed.

Let

22.8.19 z_{1}+z_{2}+z_{3}+z_{4}=0.

Then

and

A geometric interpretation of (22.8.20) analogous to that of (23.10.5) is given in Whittaker and Watson (1927, p. 530).

Next, let

22.8.22 z_{1}+z_{2}+z_{3}+z_{4}=2K\left(k\right).

Then

For these and related identities see Copson (1935, pp. 415–416).

If sums/differences of the z_{j}’s are rational multiples of K\left(k\right), then further relations follow. For instance, if

22.8.24 z_{1}-z_{2}=z_{2}-z_{3}=\tfrac{2}{3}K\left(k\right),

then

22.8.25 \frac{(\operatorname{dn}z_{2}+\operatorname{dn}z_{3})(\operatorname{dn}z_{3}+%
\operatorname{dn}z_{1})(\operatorname{dn}z_{1}+\operatorname{dn}z_{2})}{%
\operatorname{dn}z_{1}+\operatorname{dn}z_{2}+\operatorname{dn}z_{3}}

is independent of z_{1}, z_{2}, z_{3}. Similarly, if

22.8.26 z_{1}-z_{2}=z_{2}-z_{3}=z_{3}-z_{4}=\tfrac{1}{2}K\left(k\right),

then

22.8.27 \operatorname{dn}z_{1}\operatorname{dn}z_{3}=\operatorname{dn}z_{2}%
\operatorname{dn}z_{4}=k^{\prime}.

Greenhill (1959, pp. 121–130) reviews these results in terms of the geometric poristic polygon constructions of Poncelet. Generalizations are given in §22.9.