22 Jacobian Elliptic FunctionsProperties

§22.11 Fourier and Hyperbolic Series

Throughout this section q and ζ are defined as in §22.2.

If q⁢exp⁡(2⁢|ℑ⁡ζ|)<1, then

22.11.1 sn⁡(z,k) =2⁢πK⁡⁢k⁢∑n=0∞qn+12⁢sin⁡((2⁢n+1)⁢ζ)1−q2⁢n+1,
22.11.2 cn⁡(z,k) =2⁢πK⁡⁢k⁢∑n=0∞qn+12⁢cos⁡((2⁢n+1)⁢ζ)1+q2⁢n+1,
22.11.3 dn⁡(z,k) =π2⁢K⁡+2⁢πK⁡⁢∑n=1∞qn⁢cos⁡(2⁢n⁢ζ)1+q2⁢n.
22.11.4 cd⁡(z,k) =2⁢πK⁡⁢k⁢∑n=0∞(−1)n⁢qn+12⁢cos⁡((2⁢n+1)⁢ζ)1−q2⁢n+1,
22.11.5 sd⁡(z,k) =2⁢πK⁡⁢k⁢k′⁢∑n=0∞(−1)n⁢qn+12⁢sin⁡((2⁢n+1)⁢ζ)1+q2⁢n+1,
22.11.6 nd⁡(z,k) =π2⁢K⁡⁢k′+2⁢πK⁡⁢k′⁢∑n=1∞(−1)n⁢qn⁢cos⁡(2⁢n⁢ζ)1+q2⁢n.

Next, if q⁢exp⁡(|ℑ⁡ζ|)<1, then

22.11.7 ns⁡(z,k)−π2⁢K⁡⁢csc⁡ζ =2⁢πK⁡⁢∑n=0∞q2⁢n+1⁢sin⁡((2⁢n+1)⁢ζ)1−q2⁢n+1,
22.11.8 ds⁡(z,k)−π2⁢K⁡⁢csc⁡ζ =−2⁢πK⁡⁢∑n=0∞q2⁢n+1⁢sin⁡((2⁢n+1)⁢ζ)1+q2⁢n+1,
22.11.9 cs⁡(z,k)−π2⁢K⁡⁢cot⁡ζ =−2⁢πK⁡⁢∑n=1∞q2⁢n⁢sin⁡(2⁢n⁢ζ)1+q2⁢n,
22.11.10 dc⁡(z,k)−π2⁢K⁡⁢sec⁡ζ=2⁢πK⁡⁢∑n=0∞(−1)n⁢q2⁢n+1⁢cos⁡((2⁢n+1)⁢ζ)1−q2⁢n+1,
22.11.11 nc⁡(z,k)−π2⁢K⁡⁢k′⁢sec⁡ζ=−2⁢πK⁡⁢k′⁢∑n=0∞(−1)n⁢q2⁢n+1⁢cos⁡((2⁢n+1)⁢ζ)1+q2⁢n+1,
22.11.12 sc⁡(z,k)−π2⁢K⁡⁢k′⁢tan⁡ζ=2⁢πK⁡⁢k′⁢∑n=1∞(−1)n⁢q2⁢n⁢sin⁡(2⁢n⁢ζ)1+q2⁢n.

In (22.11.7)–(22.11.12) the left-hand sides are replaced by their limiting values at the poles of the Jacobian functions.

Next, with E⁡=E⁡(k) denoting the complete elliptic integral of the second kind (§19.2(ii)) and q⁢exp⁡(2⁢|ℑ⁡ζ|)<1,

Similar expansions for cn2⁡(z,k) and dn2⁡(z,k) follow immediately from (22.6.1).

For further Fourier series see Oberhettinger (1973, pp. 23–27).

A related hyperbolic series is

where E′⁡=E′⁡(k) is defined by §19.2.9. Again, similar expansions for cn2⁡(z,k) and dn2⁡(z,k) may be derived via (22.6.1). See Dunne and Rao (2000).