16.1 Introduction to Elliptic Functions and Integrals

Maxima includes support for Jacobian elliptic functions and for complete and incomplete elliptic integrals. This includes symbolic manipulation of these functions and numerical evaluation as well. Definitions of these functions and many of their properties can by found in Abramowitz and Stegun, A&S Chapter 16 and A&S Chapter 17. See also DLMF 22.2. As much as possible, we use the definitions and relationships given in Abramowitz and Stegun.

In particular, all elliptic functions and integrals use the parameter m instead of the modulus k or the modular angle \alpha. The following relationships are true:

Note that Abramowitz and Stegun uses the notation $\mathrm{s}\mathrm{n}(u|m)$ where we use $\mathrm{s}\mathrm{n}(u,m)$ instead. The DLMF uses modulus k instead of the parameter m.

The elliptic functions and integrals are primarily intended to support symbolic computation. Therefore, most of derivatives of the functions and integrals are known. However, if floating-point values are given, a floating-point result is returned.

Support for most of the other properties of elliptic functions and integrals other than derivatives has not yet been written.

Some examples of elliptic functions:

(%i1) jacobi_sn (u, m);
(%o1)                    jacobi_sn(u, m)

(%i2) jacobi_sn (u, 1);
(%o2)                        tanh(u)

(%i3) jacobi_sn (u, 0);
(%o3)                        sin(u)

(%i4) diff (jacobi_sn (u, m), u);
(%o4)            jacobi_cn(u, m) jacobi_dn(u, m)

(%i5) diff (jacobi_sn (u, m), m);
(%o5) (jacobi_cn(u, m) jacobi_dn(u, m)
      elliptic_e(asin(jacobi_sn(u, m)), m)
 (u - ------------------------------------))/(2 m)
                     1 - m
            2
   jacobi_cn (u, m) jacobi_sn(u, m)
 + --------------------------------
              2 (1 - m)

Some examples of elliptic integrals:

(%i1) elliptic_f (phi, m);
(%o1)                  elliptic_f(phi, m)

(%i2) elliptic_f (phi, 0);
(%o2)                          phi

(%i3) elliptic_f (phi, 1);
                               phi   %pi
(%o3)                  log(tan(--- + ---))
                                2     4

(%i4) elliptic_e (phi, 1);
                    phi                  phi
(%o4)       2 round(---) - sin(%pi round(---) - phi)
                    %pi                  %pi

(%i5) elliptic_e (phi, 0);
(%o5)                          phi

(%i6) elliptic_kc (1/2);
                                3/2
                             %pi
(%o6)                      -----------
                                  2 3
                           2 gamma (-)
                                    4

(%i7) makegamma (%);
                                3/2
                             %pi
(%o7)                      -----------
                                  2 3
                           2 gamma (-)
                                    4

(%i8) diff (elliptic_f (phi, m), phi);
                                1
(%o8)                 ---------------------
                                    2
                      sqrt(1 - m sin (phi))

(%i9) diff (elliptic_f (phi, m), m);
       elliptic_e(phi, m) - (1 - m) elliptic_f(phi, m)
(%o9) (-----------------------------------------------
                              m
                                 cos(phi) sin(phi)
                             - ---------------------)/(2 (1 - m))
                                             2
                               sqrt(1 - m sin (phi))

Support for elliptic functions and integrals was written by Raymond Toy. It is placed under the terms of the General Public License (GPL) that governs the distribution of Maxima.

16.2 Functions and Variables for Elliptic Functions

See A&S Section 6.12 and DLMF 22.2 for more information.

Function: jacobi_sn (u, m) ¶

The Jacobian elliptic function $\mathrm{s}\mathrm{n}(u,m).$

Categories: Elliptic functions ·

Function: jacobi_cn (u, m) ¶

The Jacobian elliptic function $\mathrm{c}\mathrm{n}(u,m).$

Categories: Elliptic functions ·

Function: jacobi_dn (u, m) ¶

The Jacobian elliptic function $\mathrm{d}\mathrm{n}(u,m).$

Categories: Elliptic functions ·

Function: jacobi_ns (u, m) ¶

The Jacobian elliptic function $\mathrm{n}\mathrm{s}(u,m)=1/\mathrm{s}\mathrm{n}(u,m).$

Categories: Elliptic functions ·

Function: jacobi_sc (u, m) ¶

The Jacobian elliptic function $\mathrm{s}\mathrm{c}(u,m)=\mathrm{s}\mathrm{n}(u,m)/\mathrm{c}\mathrm{n}(u,m).$

Categories: Elliptic functions ·

Function: jacobi_sd (u, m) ¶

The Jacobian elliptic function $\mathrm{s}\mathrm{d}(u,m)=\mathrm{s}\mathrm{n}(u,m)/\mathrm{d}\mathrm{n}(u,m).$

Categories: Elliptic functions ·

Function: jacobi_nc (u, m) ¶

The Jacobian elliptic function $\mathrm{n}\mathrm{c}(u,m)=1/\mathrm{c}\mathrm{n}(u,m).$

Categories: Elliptic functions ·

Function: jacobi_cs (u, m) ¶

The Jacobian elliptic function $\mathrm{c}\mathrm{s}(u,m)=\mathrm{c}\mathrm{n}(u,m)/\mathrm{s}\mathrm{n}(u,m).$

Categories: Elliptic functions ·

Function: jacobi_cd (u, m) ¶

The Jacobian elliptic function $\mathrm{c}\mathrm{d}(u,m)=\mathrm{c}\mathrm{n}(u,m)/\mathrm{d}\mathrm{n}(u,m).$

Categories: Elliptic functions ·

Function: jacobi_nd (u, m) ¶

The Jacobian elliptic function $\mathrm{n}\mathrm{d}(u,m)=1/\mathrm{d}\mathrm{n}(u,m).$

Categories: Elliptic functions ·

Function: jacobi_ds (u, m) ¶

The Jacobian elliptic function $\mathrm{d}\mathrm{s}(u,m)=\mathrm{d}\mathrm{n}(u,m)/\mathrm{s}\mathrm{n}(u,m).$

Categories: Elliptic functions ·

Function: jacobi_dc (u, m) ¶

The Jacobian elliptic function $\mathrm{d}\mathrm{c}(u,m)=\mathrm{d}\mathrm{n}(u,m)/\mathrm{c}\mathrm{n}(u,m).$

Categories: Elliptic functions ·

Function: jacobi_am (u, m) ¶

The Jacobi amplitude function, jacobi_am, is defined implicitly by (see http://functions.wolfram.com/09.24.02.0001.01) $z=\mathrm{a}\mathrm{m}(w,m)$ where w = F(z,m) where F(z,m) is the incomplete elliptic integral of the first kind (see elliptic_f). It is defined for all real and complex values of z and m. In particular for real z and m with |m|<1, $\mathrm{a}\mathrm{m}(z,m)$ maps the entire real line to the entire real line. For other values of z and m, the following relationship is used: $\mathrm{a}\mathrm{m}(z,m)={\sin }^{-1}(\mathrm{j}\mathrm{a}\mathrm{c}\mathrm{o}\mathrm{b}\mathrm{i}\mathrm{\_}\mathrm{s}\mathrm{n}(z,m)).$

Some examples:

(%i1) jacobi_am(z,0);
(%o1)                           z

(%i2) jacobi_am(z,1);
                                 z    %pi
(%o2)                   2 atan(%e ) - ---
                                       2

(%i3) jacobi_am(0,m);
(%o3)                           0

(%i4) jacobi_am(100, .5);
(%o4)                   84.70311272411382

(%i5) jacobi_am(0.5, 1.5);
(%o5)                  0.4707197897046991

(%i6) jacobi_am(1.5b0, 1.5b0+%i);
(%o6)    9.340542168700782b-1 - 3.723960452146071b-1 %i

(%i1) plot2d([jacobi_am(x,.4),jacobi_am(x,.7),jacobi_am(x,.99),jacobi_am(x,.999999)],[x,0,10*%pi]);
(%o1)                         false

Compare this plot with the plot from DLMF 22.16.iv:

Categories: Elliptic functions ·

Function: inverse_jacobi_dn (u, m) ¶

The inverse of the Jacobian elliptic function $\mathrm{d}\mathrm{n}(u,m).$ For $\sqrt{1-m}\le u\le 1,$ it can also be written (DLMF 22.15.E14): $$\mathrm{i}\mathrm{n}\mathrm{v}\mathrm{e}\mathrm{r}\mathrm{s}\mathrm{e}\mathrm{\_}\mathrm{j}\mathrm{a}\mathrm{c}\mathrm{o}\mathrm{b}\mathrm{i}\mathrm{\_}\mathrm{d}\mathrm{n}(u,m)={\int }_u^1\frac{dt}{\sqrt{(1-t^2)(t^2-(1-m))}}$$

Categories: Elliptic functions ·

Function: inverse_jacobi_ns (u, m) ¶

The inverse of the Jacobian elliptic function $\mathrm{n}\mathrm{s}(u,m).$ For $1\le u,$ it can also be written (DLMF 22.15.E121): $$\mathrm{i}\mathrm{n}\mathrm{v}\mathrm{e}\mathrm{r}\mathrm{s}\mathrm{e}\mathrm{\_}\mathrm{j}\mathrm{a}\mathrm{c}\mathrm{o}\mathrm{b}\mathrm{i}\mathrm{\_}\mathrm{n}\mathrm{s}(u,m)={\int }_u^{\mathrm{\infty }}\frac{dt}{\sqrt{(1-t^2)(t^2-m)}}$$

Categories: Elliptic functions ·

Function: inverse_jacobi_sc (u, m) ¶

The inverse of the Jacobian elliptic function $\mathrm{s}\mathrm{c}(u,m).$ For all u it can also be written (DLMF 22.15.E20): $$\mathrm{i}\mathrm{n}\mathrm{v}\mathrm{e}\mathrm{r}\mathrm{s}\mathrm{e}\mathrm{\_}\mathrm{j}\mathrm{a}\mathrm{c}\mathrm{o}\mathrm{b}\mathrm{i}\mathrm{\_}\mathrm{s}\mathrm{c}(u,m)={\int }_0^u\frac{dt}{\sqrt{(1+t^2)(1+(1-m)t^2)}}$$

Categories: Elliptic functions ·

Function: inverse_jacobi_sd (u, m) ¶

The inverse of the Jacobian elliptic function $\mathrm{s}\mathrm{d}(u,m).$ For $-1/\sqrt{1-m}\le u\le 1/\sqrt{1-m},$ it can also be written (DLMF 22.15.E16): $$\mathrm{i}\mathrm{n}\mathrm{v}\mathrm{e}\mathrm{r}\mathrm{s}\mathrm{e}\mathrm{\_}\mathrm{j}\mathrm{a}\mathrm{c}\mathrm{o}\mathrm{b}\mathrm{i}\mathrm{\_}\mathrm{s}\mathrm{d}(u,m)={\int }_0^u\frac{dt}{\sqrt{(1-(1-m)t^2)(1+m{t}^2)}}$$

Categories: Elliptic functions ·

Function: inverse_jacobi_nc (u, m) ¶

The inverse of the Jacobian elliptic function $\mathrm{n}\mathrm{c}(u,m).$ For $1\le u,$ it can also be written (DLMF 22.15.E19): $$\mathrm{i}\mathrm{n}\mathrm{v}\mathrm{e}\mathrm{r}\mathrm{s}\mathrm{e}\mathrm{\_}\mathrm{j}\mathrm{a}\mathrm{c}\mathrm{o}\mathrm{b}\mathrm{i}\mathrm{\_}\mathrm{n}\mathrm{c}(u,m)={\int }_1^u\frac{dt}{\sqrt{(t^2-1)(m+(1-m)t^2)}}$$

Categories: Elliptic functions ·

Function: inverse_jacobi_cs (u, m) ¶

The inverse of the Jacobian elliptic function $\mathrm{c}\mathrm{s}(u,m).$ For all u it can also be written (DLMF 22.15.E23): $$\mathrm{i}\mathrm{n}\mathrm{v}\mathrm{e}\mathrm{r}\mathrm{s}\mathrm{e}\mathrm{\_}\mathrm{j}\mathrm{a}\mathrm{c}\mathrm{o}\mathrm{b}\mathrm{i}\mathrm{\_}\mathrm{c}\mathrm{s}(u,m)={\int }_u^{\mathrm{\infty }}\frac{dt}{\sqrt{(1+t^2)(t^2+(1-m))}}$$

Categories: Elliptic functions ·

Function: inverse_jacobi_cd (u, m) ¶

The inverse of the Jacobian elliptic function $\mathrm{c}\mathrm{d}(u,m).$ For $-1\le u\le 1,$ it can also be written (DLMF 22.15.E15): $$\mathrm{i}\mathrm{n}\mathrm{v}\mathrm{e}\mathrm{r}\mathrm{s}\mathrm{e}\mathrm{\_}\mathrm{j}\mathrm{a}\mathrm{c}\mathrm{o}\mathrm{b}\mathrm{i}\mathrm{\_}\mathrm{c}\mathrm{d}(u,m)={\int }_u^1\frac{dt}{\sqrt{(1-t^2)(1-m{t}^2)}}$$

Categories: Elliptic functions ·

Function: inverse_jacobi_nd (u, m) ¶

The inverse of the Jacobian elliptic function $\mathrm{n}\mathrm{d}(u,m).$ For $1\le u\le 1/\sqrt{1-m},$ it can also be written (DLMF 22.15.E17): $$\mathrm{i}\mathrm{n}\mathrm{v}\mathrm{e}\mathrm{r}\mathrm{s}\mathrm{e}\mathrm{\_}\mathrm{j}\mathrm{a}\mathrm{c}\mathrm{o}\mathrm{b}\mathrm{i}\mathrm{\_}\mathrm{n}\mathrm{d}(u,m)={\int }_1^u\frac{dt}{\sqrt{(t^2-1)(1-(1-m)t^2)}}$$

Categories: Elliptic functions ·

Function: inverse_jacobi_ds (u, m) ¶

The inverse of the Jacobian elliptic function $\mathrm{d}\mathrm{s}(u,m).$ For $\sqrt{1-m}\le u,$ it can also be written (DLMF 22.15.E22): $$\mathrm{i}\mathrm{n}\mathrm{v}\mathrm{e}\mathrm{r}\mathrm{s}\mathrm{e}\mathrm{\_}\mathrm{j}\mathrm{a}\mathrm{c}\mathrm{o}\mathrm{b}\mathrm{i}\mathrm{\_}\mathrm{d}\mathrm{s}(u,m)={\int }_u^{\mathrm{\infty }}\frac{dt}{\sqrt{(t^2+m)(t^2-(1-m))}}$$

Categories: Elliptic functions ·

Function: inverse_jacobi_dc (u, m) ¶

The inverse of the Jacobian elliptic function $\mathrm{d}\mathrm{c}(u,m).$ For $1\le u,$ it can also be written (DLMF 22.15.E18): $$\mathrm{i}\mathrm{n}\mathrm{v}\mathrm{e}\mathrm{r}\mathrm{s}\mathrm{e}\mathrm{\_}\mathrm{j}\mathrm{a}\mathrm{c}\mathrm{o}\mathrm{b}\mathrm{i}\mathrm{\_}\mathrm{d}\mathrm{c}(u,m)={\int }_1^u\frac{dt}{\sqrt{(t^2-1)(t^2-m)}}$$

Categories: Elliptic functions ·

16.3 Functions and Variables for Elliptic Integrals

Function: elliptic_f (phi, m) ¶

The incomplete elliptic integral of the first kind, defined as

$${\int }_0^{\varphi }\frac{d\theta }{\sqrt{1-m{\sin }^2\theta }}$$

See also elliptic_e and elliptic_kc.

Categories: Elliptic integrals ·

Function: elliptic_e (phi, m) ¶

The incomplete elliptic integral of the second kind, defined as

$${\int }_0^{\varphi }\sqrt{1-m{\sin }^2\theta }d\theta$$

See also elliptic_f and elliptic_ec.

Categories: Elliptic integrals ·

Function: elliptic_eu (u, m) ¶

The incomplete elliptic integral of the second kind, defined as

$$E(u,m)={\int }_0^u\mathrm{d}\mathrm{n}(v,m)dv={\int }_0^{\tau }\sqrt{\frac{1-m{t}^2}{1-t^2}}dt$$

where $\tau =\mathrm{s}\mathrm{n}(u,m).$

This is related to elliptic_e by

$$E(u,m)=E({\sin }^{-1}\mathrm{s}\mathrm{n}(u,m),m)$$

See also elliptic_e.

Categories: Elliptic integrals ·

Function: elliptic_pi (n, phi, m) ¶

The incomplete elliptic integral of the third kind, defined as

$${\int }_0^{\varphi }\frac{d\theta }{(1-n{\sin }^2\theta )\sqrt{1-m{\sin }^2\theta }}$$

Categories: Elliptic integrals ·

Function: elliptic_kc (m) ¶

The complete elliptic integral of the first kind, defined as

$${\int }_0^{\frac{\pi }{2}}\frac{d\theta }{\sqrt{1-m{\sin }^2\theta }}$$

For certain values of m, the value of the integral is known in terms of Gamma functions. Use makegamma to evaluate them.

Categories: Elliptic integrals ·

Function: elliptic_ec (m) ¶

The complete elliptic integral of the second kind, defined as

$${\int }_0^{\frac{\pi }{2}}\sqrt{1-m{\sin }^2\theta }d\theta$$

For certain values of m, the value of the integral is known in terms of Gamma functions. Use makegamma to evaluate them.

Categories: Elliptic integrals ·

Function: carlson_rc (x, y) ¶

Carlson’s RC integral is defined by

$$R_C(x,y)=\frac{1}{2}{\int }_0^{\mathrm{\infty }}\frac{1}{\sqrt{t+x}(t+y)}dt$$

This integral is related to many elementary functions in the following way:

$$\begin{array}{rl}\log x& =(x-1)R_C({\left(\frac{1+x}{2}\right)}^2,x),x>0\\ {\sin }^{-1}x& =x{R}_C(1-x^2,1),|x|\le 1\\ {\cos }^{-1}x& =\sqrt{1-x^2}{R}_C(x^2,1),0\le x\le 1\\ {\tan }^{-1}x& =x{R}_C(1,1+x^2)\\ {\sinh }^{-1}x& =x{R}_C(1+x^2,1)\\ {\cosh }^{-1}x& =\sqrt{x^2-1}{R}_C(x^2,1),x\ge 1\\ {\tanh }^{-1}(x)& =x{R}_C(1,1-x^2),|x|\le 1\end{array}$$

Also, we have the relationship

$$R_C(x,y)=R_F(x,y,y)$$

Some special values: $$\begin{array}{rl}{R}_C(0,1)& =\frac{\pi }{2}\\ R_C(0,1/4)& =\pi \\ R_C(2,1)& =\log (\sqrt{2}+1)\\ R_C(i,i+1)& =\frac{\pi }{4}+\frac{i}{2}\log (\sqrt{2}-1)\\ R_C(0,i)& =(1-i)\frac{\pi }{2\sqrt{2}}\end{array}$$

Categories: Elliptic integrals ·

Function: carlson_rd (x, y, z) ¶

Carlson’s RD integral is defined by

$$R_D(x,y,z)=\frac{3}{2}{\int }_0^{\mathrm{\infty }}\frac{1}{\sqrt{t+x}\sqrt{t+y}\sqrt{t+z}(t+z)}dt$$

We also have the special values

$$\begin{array}{rl}{R}_D(x,x,x)& =x^{-\frac{3}{2}}\\ R_D(0,y,y)& =\frac{3}{4}\pi y^{-\frac{3}{2}}\\ R_D(0,2,1)& =3\sqrt{\pi }\frac{\mathrm{\Gamma }(\frac{3}{4})}{\mathrm{\Gamma }(\frac{1}{4})}\end{array}$$

It is also related to the complete elliptic E function as follows

$$E(m)=R_F(0,1-m,1)-\frac{m}{3}{R}_D(0,1-m,1)$$

Categories: Elliptic integrals ·

Function: carlson_rf (x, y, z) ¶

Carlson’s RF integral is defined by

$$R_F(x,y,z)=\frac{1}{2}{\int }_0^{\mathrm{\infty }}\frac{1}{\sqrt{t+x}\sqrt{t+y}\sqrt{t+z}}dt$$

We also have the special values

$$\begin{array}{rl}{R}_F(0,1,2)& =\frac{\mathrm{\Gamma }(\frac{1}{4}{)}^2}{4\sqrt{2\pi }}\\ R_F(i,-i,0)& =\frac{\mathrm{\Gamma }(\frac{1}{4}{)}^2}{4\sqrt{\pi }}\end{array}$$

It is also related to the complete elliptic E function as follows

$$E(m)=R_F(0,1-m,1)-\frac{m}{3}{R}_D(0,1-m,1)$$

Categories: Elliptic integrals ·

Function: carlson_rj (x, y, z, p) ¶

Carlson’s RJ integral is defined by

$$R_J(x,y,z)=\frac{1}{2}{\int }_0^{\mathrm{\infty }}\frac{1}{\sqrt{t+x}\sqrt{t+y}\sqrt{t+z}(t+p)}dt$$

Categories: Elliptic integrals ·