Lemniscate elliptic functions

In mathematics, the lemniscate elliptic functions are elliptic functions related to the arc length of the lemniscate of Bernoulli. They were first studied by Giulio Fagnano in 1718 and later by Leonhard Euler and Carl Friedrich Gauss, among others.^[1]

The lemniscate sine (red) and lemniscate cosine (purple) applied to a real argument, in comparison with the trigonometric sine y = sin(πx/ϖ) (pale dashed red).

The lemniscate sine and lemniscate cosine functions, usually written with the symbols sl and cl (sometimes the symbols sinlem and coslem or sin lemn and cos lemn are used instead),^[2] are analogous to the trigonometric functions sine and cosine. While the trigonometric sine relates the arc length to the chord length in a unit-diameter circle ${\displaystyle x^{2}+y^{2}=x,}$^[3] the lemniscate sine relates the arc length to the chord length of a lemniscate ${\displaystyle {\bigl (}x^{2}+y^{2}{\bigr )}{}^{2}=x^{2}-y^{2}.}$

The lemniscate functions have periods related to a number ${\displaystyle \varpi =}$ 2.622057... called the lemniscate constant, the ratio of a lemniscate's perimeter to its diameter. This number is a quartic analog of the (quadratic) ${\displaystyle \pi =}$ 3.141592..., ratio of perimeter to diameter of a circle.

As complex functions, sl and cl have a square period lattice (a multiple of the Gaussian integers) with fundamental periods ${\displaystyle \{(1+i)\varpi ,(1-i)\varpi \},}$^[4] and are a special case of two Jacobi elliptic functions on that lattice, ${\displaystyle \operatorname {sl} z=\operatorname {sn} (z;i),}$ ${\displaystyle \operatorname {cl} z=\operatorname {cd} (z;i)}$.

Similarly, the hyperbolic lemniscate sine slh and hyperbolic lemniscate cosine clh have a square period lattice with fundamental periods ${\displaystyle {\bigl \{}{\sqrt {2}}\varpi ,{\sqrt {2}}\varpi i{\bigr \}}.}$

The lemniscate functions and the hyperbolic lemniscate functions are related to the Weierstrass elliptic function ${\displaystyle \wp (z;a,0)}$.

Lemniscate sine and cosine functions

Definitions

The lemniscate functions sl and cl can be defined as the solution to the initial value problem:^[5]

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} z}}\operatorname {sl} z={\bigl (}1+\operatorname {sl} ^{2}z{\bigr )}\operatorname {cl} z,\ {\frac {\mathrm {d} }{\mathrm {d} z}}\operatorname {cl} z=-{\bigl (}1+\operatorname {cl} ^{2}z{\bigr )}\operatorname {sl} z,\ \operatorname {sl} 0=0,\ \operatorname {cl} 0=1,}$ 

or equivalently as the inverses of an elliptic integral, the Schwarz–Christoffel map from the complex unit disk to a square with corners ${\displaystyle {\big \{}{\tfrac {1}{2}}\varpi ,{\tfrac {1}{2}}\varpi i,-{\tfrac {1}{2}}\varpi ,-{\tfrac {1}{2}}\varpi i{\big \}}\colon }$ ^[6]

${\displaystyle z=\int _{0}^{\operatorname {sl} z}{\frac {\mathrm {d} t}{\sqrt {1-t^{4}}}}=\int _{\operatorname {cl} z}^{1}{\frac {\mathrm {d} t}{\sqrt {1-t^{4}}}}.}$ 

Beyond that square, the functions can be analytically continued to the whole complex plane by a series of reflections.

By comparison, the circular sine and cosine can be defined as the solution to the initial value problem:

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} z}}\sin z=\cos z,\ {\frac {\mathrm {d} }{\mathrm {d} z}}\cos z=-\sin z,\ \sin 0=0,\ \cos 0=1,}$ 

or as inverses of a map from the upper half-plane to a half-infinite strip with real part between ${\displaystyle -{\tfrac {1}{2}}\pi ,{\tfrac {1}{2}}\pi }$  and positive imaginary part:

${\displaystyle z=\int _{0}^{\sin z}{\frac {\mathrm {d} t}{\sqrt {1-t^{2}}}}=\int _{\cos z}^{1}{\frac {\mathrm {d} t}{\sqrt {1-t^{2}}}}.}$ 

Relation to the lemniscate constant

Main article: Lemniscate constant

 

The lemniscate sine function and hyperbolic lemniscate sine functions are defined as inverses of elliptic integrals. The complete integrals are related to the lemniscate constant ϖ.

The lemniscate functions have minimal real period 2ϖ, minimal imaginary period 2ϖi and fundamental complex periods ${\displaystyle (1+i)\varpi }$  and ${\displaystyle (1-i)\varpi }$  for a constant ϖ called the lemniscate constant,^[7]

${\displaystyle \varpi =2\int _{0}^{1}{\frac {\mathrm {d} t}{\sqrt {1-t^{4}}}}=2.62205\ldots }$ 

The lemniscate functions satisfy the basic relation ${\displaystyle \operatorname {cl} z={\operatorname {sl} }{\bigl (}{\tfrac {1}{2}}\varpi -z{\bigr )},}$  analogous to the relation ${\displaystyle \cos z={\sin }{\bigl (}{\tfrac {1}{2}}\pi -z{\bigr )}.}$ 

The lemniscate constant ϖ is a close analog of the circle constant π, and many identities involving π have analogues involving ϖ, as identities involving the trigonometric functions have analogues involving the lemniscate functions. For example, Viète's formula for π can be written:

$${\displaystyle {\frac {2}{\pi }}={\sqrt {\frac {1}{2}}}\cdot {\sqrt {{\frac {1}{2}}+{\frac {1}{2}}{\sqrt {\frac {1}{2}}}}}\cdot {\sqrt {{\frac {1}{2}}+{\frac {1}{2}}{\sqrt {{\frac {1}{2}}+{\frac {1}{2}}{\sqrt {\frac {1}{2}}}}}}}\cdots }$$

 

An analogous formula for ϖ is:^[8]

$${\displaystyle {\frac {2}{\varpi }}={\sqrt {\frac {1}{2}}}\cdot {\sqrt {{\frac {1}{2}}+{\frac {1}{2}}{\bigg /}\!{\sqrt {\frac {1}{2}}}}}\cdot {\sqrt {{\frac {1}{2}}+{\frac {1}{2}}{\Bigg /}\!{\sqrt {{\frac {1}{2}}+{\frac {1}{2}}{\bigg /}\!{\sqrt {\frac {1}{2}}}}}}}\cdots }$$

 

The Machin formula for π is ${\textstyle {\tfrac {1}{4}}\pi =4\arctan {\tfrac {1}{5}}-\arctan {\tfrac {1}{239}},}$  and several similar formulas for π can be developed using trigonometric angle sum identities, e.g. Euler's formula ${\textstyle {\tfrac {1}{4}}\pi =\arctan {\tfrac {1}{2}}+\arctan {\tfrac {1}{3}}}$ . Analogous formulas can be developed for ϖ, including the following found by Gauss: ${\displaystyle {\tfrac {1}{2}}\varpi =2\operatorname {arcsl} {\tfrac {1}{2}}+\operatorname {arcsl} {\tfrac {7}{23}}.}$ ^[9]

The lemniscate and circle constants were found by Gauss to be related to each-other by the arithmetic-geometric mean M:^[10]

$${\displaystyle {\frac {\pi }{\varpi }}=M{\left(1,{\sqrt {2}}\!~\right)}}$$

 

Argument identities

Zeros, poles and symmetries

 

${\displaystyle \operatorname {sl} }$  in the complex plane.^[11] In the picture, it can be seen that the fundamental periods ${\displaystyle (1+i)\varpi }$  and ${\displaystyle (1-i)\varpi }$  are "minimal" in the sense that they have the smallest absolute value of all periods whose real part is non-negative.

The lemniscate functions cl and sl are even and odd functions, respectively,

${\displaystyle {\begin{aligned}\operatorname {cl} (-z)&=\operatorname {cl} z\\[6mu]\operatorname {sl} (-z)&=-\operatorname {sl} z\end{aligned}}}$ 

At translations of ${\displaystyle {\tfrac {1}{2}}\varpi ,}$  cl and sl are exchanged, and at translations of ${\displaystyle {\tfrac {1}{2}}i\varpi }$  they are additionally rotated and reciprocated:^[12]

${\displaystyle {\begin{aligned}{\operatorname {cl} }{\bigl (}z\pm {\tfrac {1}{2}}\varpi {\bigr )}&=\mp \operatorname {sl} z,&{\operatorname {cl} }{\bigl (}z\pm {\tfrac {1}{2}}i\varpi {\bigr )}&={\frac {\mp i}{\operatorname {sl} z}}\\[6mu]{\operatorname {sl} }{\bigl (}z\pm {\tfrac {1}{2}}\varpi {\bigr )}&=\pm \operatorname {cl} z,&{\operatorname {sl} }{\bigl (}z\pm {\tfrac {1}{2}}i\varpi {\bigr )}&={\frac {\pm i}{\operatorname {cl} z}}\end{aligned}}}$ 

Doubling these to translations by a unit-Gaussian-integer multiple of ${\displaystyle \varpi }$  (that is, ${\displaystyle \pm \varpi }$  or ${\displaystyle \pm i\varpi }$ ), negates each function, an involution:

${\displaystyle {\begin{aligned}\operatorname {cl} (z+\varpi )&=\operatorname {cl} (z+i\varpi )=-\operatorname {cl} z\\[4mu]\operatorname {sl} (z+\varpi )&=\operatorname {sl} (z+i\varpi )=-\operatorname {sl} z\end{aligned}}}$ 

As a result, both functions are invariant under translation by an even-Gaussian-integer multiple of ${\displaystyle \varpi }$ .^[13] That is, a displacement ${\displaystyle (a+bi)\varpi ,}$  with ${\displaystyle a+b=2k}$  for integers a, b, and k.

${\displaystyle {\begin{aligned}{\operatorname {cl} }{\bigl (}z+(1+i)\varpi {\bigr )}&={\operatorname {cl} }{\bigl (}z+(1-i)\varpi {\bigr )}=\operatorname {cl} z\\[4mu]{\operatorname {sl} }{\bigl (}z+(1+i)\varpi {\bigr )}&={\operatorname {sl} }{\bigl (}z+(1-i)\varpi {\bigr )}=\operatorname {sl} z\end{aligned}}}$ 

This makes them elliptic functions (doubly periodic meromorphic functions in the complex plane) with a diagonal square period lattice of fundamental periods ${\displaystyle (1+i)\varpi }$  and ${\displaystyle (1-i)\varpi }$ .^[14] Elliptic functions with a square period lattice are more symmetrical than arbitrary elliptic functions, following the symmetries of the square.

Reflections and quarter-turn rotations of lemniscate function arguments have simple expressions:

${\displaystyle {\begin{aligned}\operatorname {cl} {\bar {z}}&={\overline {\operatorname {cl} z}}\\[6mu]\operatorname {sl} {\bar {z}}&={\overline {\operatorname {sl} z}}\\[4mu]\operatorname {cl} iz&={\frac {1}{\operatorname {cl} z}}\\[6mu]\operatorname {sl} iz&=i\operatorname {sl} z\end{aligned}}}$ 

The sl function has simple zeros at Gaussian integer multiples of ϖ, complex numbers of the form ${\displaystyle a\varpi +b\varpi i}$  for integers a and b. It has simple poles at Gaussian half-integer multiples of ϖ, complex numbers of the form ${\displaystyle {\bigl (}a+{\tfrac {1}{2}}{\bigr )}\varpi +{\bigl (}b+{\tfrac {1}{2}}{\bigr )}\varpi i}$ , with residues ${\displaystyle (-1)^{a-b+1}i}$ . The cl function is reflected and offset from the sl function, ${\displaystyle \operatorname {cl} z={\operatorname {sl} }{\bigl (}{\tfrac {1}{2}}\varpi -z{\bigr )}}$ . It has zeros for arguments ${\displaystyle {\bigl (}a+{\tfrac {1}{2}}{\bigr )}\varpi +b\varpi i}$  and poles for arguments ${\displaystyle a\varpi +{\bigl (}b+{\tfrac {1}{2}}{\bigr )}\varpi i,}$  with residues ${\displaystyle (-1)^{a-b}i.}$ 

Also

${\displaystyle \operatorname {sl} z=\operatorname {sl} w\leftrightarrow z=(-1)^{m+n}w+(m+ni)\varpi }$ 

for some ${\displaystyle m,n\in \mathbb {Z} }$  and

${\displaystyle \operatorname {sl} ((1\pm i)z)=(1\pm i){\frac {\operatorname {sl} z}{\operatorname {sl} 'z}}.}$ 

The last formula is a special case of complex multiplication. Analogous formulas can be given for ${\displaystyle \operatorname {sl} ((n+mi)z)}$  where ${\displaystyle n+mi}$  is any Gaussian integer – the function ${\displaystyle \operatorname {sl} }$  has complex multiplication by ${\displaystyle \mathbb {Z} [i]}$ .^[15]

There are also infinite series reflecting the distribution of the zeros and poles of sl:^[16][17]

${\displaystyle {\frac {1}{\operatorname {sl} z}}=\sum _{(n,k)\in \mathbb {Z} ^{2}}{\frac {(-1)^{n+k}}{z+n\varpi +k\varpi i}}}$ 

${\displaystyle \operatorname {sl} z=-i\sum _{(n,k)\in \mathbb {Z} ^{2}}{\frac {(-1)^{n+k}}{z+(n+1/2)\varpi +(k+1/2)\varpi i}}.}$ 

Pythagorean-like identity

 

Curves x² ⊕ y² = a for various values of a. Negative a in green, positive a in blue, a = ±1 in red, a = ∞ in black.

The lemniscate functions satisfy a Pythagorean-like identity:

${\displaystyle \operatorname {cl^{2}} z+\operatorname {sl^{2}} z+\operatorname {cl^{2}} z\,\operatorname {sl^{2}} z=1}$ 

As a result, the parametric equation ${\displaystyle (x,y)=(\operatorname {cl} t,\operatorname {sl} t)}$  parametrizes the quartic curve ${\displaystyle x^{2}+y^{2}+x^{2}y^{2}=1.}$ 

This identity can alternately be rewritten:^[18]

${\displaystyle {\bigl (}1+\operatorname {cl^{2}} z{\bigr )}{\bigl (}1+\operatorname {sl^{2}} z{\bigr )}=2}$ 

${\displaystyle \operatorname {cl^{2}} z={\frac {1-\operatorname {sl^{2}} z}{1+\operatorname {sl^{2}} z}},\quad \operatorname {sl^{2}} z={\frac {1-\operatorname {cl^{2}} z}{1+\operatorname {cl^{2}} z}}}$ 

Defining a tangent-sum operator as ${\displaystyle a\oplus b\mathrel {:=} \tan(\arctan a+\arctan b),}$  gives:

${\displaystyle \operatorname {cl^{2}} z\oplus \operatorname {sl^{2}} z=1.}$ 

The functions ${\displaystyle {\tilde {\operatorname {cl} }}}$  and ${\displaystyle {\tilde {\operatorname {sl} }}}$  satisfy another Pythagorean-like identity:

${\displaystyle \left(\int _{0}^{x}{\tilde {\operatorname {cl} }}\,t\,\mathrm {d} t\right)^{2}+\left(1-\int _{0}^{x}{\tilde {\operatorname {sl} }}\,t\,\mathrm {d} t\right)^{2}=1.}$ 

Derivatives and integrals

The derivatives are as follows:

${\displaystyle {\begin{aligned}{\frac {\mathrm {d} }{\mathrm {d} z}}\operatorname {cl} z=\operatorname {cl'} z&=-{\bigl (}1+\operatorname {cl^{2}} z{\bigr )}\operatorname {sl} z=-{\frac {2\operatorname {sl} z}{\operatorname {sl} ^{2}z+1}}\\\operatorname {cl'^{2}} z&=1-\operatorname {cl^{4}} z\\[5mu]{\frac {\mathrm {d} }{\mathrm {d} z}}\operatorname {sl} z=\operatorname {sl'} z&={\bigl (}1+\operatorname {sl^{2}} z{\bigr )}\operatorname {cl} z={\frac {2\operatorname {cl} z}{\operatorname {cl} ^{2}z+1}}\\\operatorname {sl'^{2}} z&=1-\operatorname {sl^{4}} z\end{aligned}}}$ 

${\displaystyle {\begin{aligned}{\frac {\mathrm {d} }{\mathrm {d} z}}\,{\tilde {\operatorname {cl} }}\,z&=-\,{\tilde {\operatorname {sl} }}\,z\operatorname {cl} z-{\frac {2\operatorname {sl} z\,{\tilde {\operatorname {cl} }}^{3}z}{\operatorname {cl} ^{3}z}}\\{\frac {\mathrm {d} }{\mathrm {d} z}}\,{\tilde {\operatorname {sl} }}\,z&=2\,{\tilde {\operatorname {cl} }}\,z\,\operatorname {cl} z-{\frac {{\tilde {\operatorname {cl} }}\,z}{\operatorname {cl} z}}\end{aligned}}}$ 

The second derivatives of lemniscate sine and lemniscate cosine are their negative duplicated cubes:

${\displaystyle {\frac {\mathrm {d} ^{2}}{\mathrm {d} z^{2}}}\operatorname {cl} z=-2\operatorname {cl^{3}} z}$ 

${\displaystyle {\frac {\mathrm {d} ^{2}}{\mathrm {d} z^{2}}}\operatorname {sl} z=-2\operatorname {sl^{3}} z}$ 

The lemniscate functions can be integrated using the inverse tangent function:

${\displaystyle {\begin{aligned}\int \operatorname {cl} z\mathop {\mathrm {d} z} &=\arctan \operatorname {sl} z+C\\\int \operatorname {sl} z\mathop {\mathrm {d} z} &=-\arctan \operatorname {cl} z+C\\\int {\tilde {\operatorname {cl} }}\,z\,\mathrm {d} z&={\frac {\operatorname {sl} z\,{\tilde {\operatorname {cl} }}\,z}{\operatorname {cl} z}}+C\\\int {\tilde {\operatorname {sl} }}\,z\,\mathrm {d} z&=-{\frac {{\tilde {\operatorname {cl} }}\,z}{\operatorname {cl} z}}+C\end{aligned}}}$ 

Argument sum and multiple identities

Like the trigonometric functions, the lemniscate functions satisfy argument sum and difference identities. The original identity used by Fagnano for bisection of the lemniscate was:^[19]

${\displaystyle \operatorname {sl} (u+v)={\frac {\operatorname {sl} u\,\operatorname {sl'} v+\operatorname {sl} v\,\operatorname {sl'} u}{1+\operatorname {sl^{2}} u\,\operatorname {sl^{2}} v}}}$ 

The derivative and Pythagorean-like identities can be used to rework the identity used by Fagano in terms of sl and cl. Defining a tangent-sum operator ${\displaystyle a\oplus b\mathrel {:=} \tan(\arctan a+\arctan b)}$  and tangent-difference operator ${\displaystyle a\ominus b\mathrel {:=} a\oplus (-b),}$  the argument sum and difference identities can be expressed as:^[20]

${\displaystyle {\begin{aligned}\operatorname {cl} (u+v)&=\operatorname {cl} u\,\operatorname {cl} v\ominus \operatorname {sl} u\,\operatorname {sl} v={\frac {\operatorname {cl} u\,\operatorname {cl} v-\operatorname {sl} u\,\operatorname {sl} v}{1+\operatorname {sl} u\,\operatorname {cl} u\,\operatorname {sl} v\,\operatorname {cl} v}}\\[2mu]\operatorname {cl} (u-v)&=\operatorname {cl} u\,\operatorname {cl} v\oplus \operatorname {sl} u\,\operatorname {sl} v\\[2mu]\operatorname {sl} (u+v)&=\operatorname {sl} u\,\operatorname {cl} v\oplus \operatorname {cl} u\,\operatorname {sl} v={\frac {\operatorname {sl} u\,\operatorname {cl} v+\operatorname {cl} u\,\operatorname {sl} v}{1-\operatorname {sl} u\,\operatorname {cl} u\,\operatorname {sl} v\,\operatorname {cl} v}}\\[2mu]\operatorname {sl} (u-v)&=\operatorname {sl} u\,\operatorname {cl} v\ominus \operatorname {cl} u\,\operatorname {sl} v\end{aligned}}}$ 

These resemble their trigonometric analogs:

${\displaystyle {\begin{aligned}\cos(u\pm v)&=\cos u\,\cos v\mp \sin u\,\sin v\\[6mu]\sin(u\pm v)&=\sin u\,\cos v\pm \cos u\,\sin v\end{aligned}}}$ 

In particular, to compute the complex-valued functions in real components,

${\displaystyle {\begin{aligned}\operatorname {cl} (x+iy)&={\frac {\operatorname {cl} x-i\operatorname {sl} x\,\operatorname {sl} y\,\operatorname {cl} y}{\operatorname {cl} y+i\operatorname {sl} x\,\operatorname {cl} x\,\operatorname {sl} y}}\\[4mu]&={\frac {\operatorname {cl} x\,\operatorname {cl} y\left(1-\operatorname {sl} ^{2}x\,\operatorname {sl} ^{2}y\right)}{\operatorname {cl} ^{2}y+\operatorname {sl} ^{2}x\,\operatorname {cl} ^{2}x\,\operatorname {sl} ^{2}y}}-i{\frac {\operatorname {sl} x\,\operatorname {sl} y\left(\operatorname {cl} ^{2}x+\operatorname {cl} ^{2}y\right)}{\operatorname {cl} ^{2}y+\operatorname {sl} ^{2}x\,\operatorname {cl} ^{2}x\,\operatorname {sl} ^{2}y}}\\[12mu]\operatorname {sl} (x+iy)&={\frac {\operatorname {sl} x+i\operatorname {cl} x\,\operatorname {sl} y\,\operatorname {cl} y}{\operatorname {cl} y-i\operatorname {sl} x\,\operatorname {cl} x\,\operatorname {sl} y}}\\[4mu]&={\frac {\operatorname {sl} x\,\operatorname {cl} y\left(1-\operatorname {cl} ^{2}x\,\operatorname {sl} ^{2}y\right)}{\operatorname {cl} ^{2}y+\operatorname {sl} ^{2}x\,\operatorname {cl} ^{2}x\,\operatorname {sl} ^{2}y}}+i{\frac {\operatorname {cl} x\,\operatorname {sl} y\left(\operatorname {sl} ^{2}x+\operatorname {cl} ^{2}y\right)}{\operatorname {cl} ^{2}y+\operatorname {sl} ^{2}x\,\operatorname {cl} ^{2}x\,\operatorname {sl} ^{2}y}}\end{aligned}}}$ 

Bisection formulas:

${\displaystyle \operatorname {cl} ^{2}{\tfrac {1}{2}}x={\frac {1+\operatorname {cl} x{\sqrt {1+\operatorname {sl} ^{2}x}}}{{\sqrt {1+\operatorname {sl} ^{2}x}}+1}}}$ 

${\displaystyle \operatorname {sl} ^{2}{\tfrac {1}{2}}x={\frac {1-\operatorname {cl} x{\sqrt {1+\operatorname {sl} ^{2}x}}}{{\sqrt {1+\operatorname {sl} ^{2}x}}+1}}}$ 

Duplication formulas:^[21]

${\displaystyle \operatorname {cl} 2x={\frac {-1+2\,\operatorname {cl} ^{2}x+\operatorname {cl} ^{4}x}{1+2\,\operatorname {cl} ^{2}x-\operatorname {cl} ^{4}x}}}$ 

${\displaystyle \operatorname {sl} 2x=2\,\operatorname {sl} x\,\operatorname {cl} x{\frac {1+\operatorname {sl} ^{2}x}{1+\operatorname {sl} ^{4}x}}}$ 

Triplication formulas:^[21]

${\displaystyle \operatorname {cl} 3x={\frac {-3\,\operatorname {cl} x+6\,\operatorname {cl} ^{5}x+\operatorname {cl} ^{9}x}{1+6\,\operatorname {cl} ^{4}x-3\,\operatorname {cl} ^{8}x}}}$ 

${\displaystyle \operatorname {sl} 3x={\frac {\color {red}{3}\,\color {black}{\operatorname {sl} x-\,}\color {green}{6}\,\color {black}{\operatorname {sl} ^{5}x-\,}\color {blue}{1}\,\color {black}{\operatorname {sl} ^{9}x}}{\color {blue}{1}\,\color {black}{+\,}\,\color {green}{6}\,\color {black}{\operatorname {sl} ^{4}x-\,}\color {red}{3}\,\color {black}{\operatorname {sl} ^{8}x}}}}$ 

Note the "reverse symmetry" of the coefficients of numerator and denominator of ${\displaystyle \operatorname {sl} 3x}$ . This phenomenon can be observed in multiplication formulas for ${\displaystyle \operatorname {sl} \beta x}$  where ${\displaystyle \beta =m+ni}$  whenever ${\displaystyle m,n\in \mathbb {Z} }$  and ${\displaystyle m+n}$  is odd.^[15]

Lemnatomic polynomials

Let ${\displaystyle L}$  be the lattice

${\displaystyle L=\mathbb {Z} (1+i)\varpi +\mathbb {Z} (1-i)\varpi .}$ 

Furthermore, let ${\displaystyle K=\mathbb {Q} (i)}$ , ${\displaystyle {\mathcal {O}}=\mathbb {Z} [i]}$ , ${\displaystyle z\in \mathbb {C} }$ , ${\displaystyle \beta =m+in}$ , ${\displaystyle \gamma =m'+in'}$  (where ${\displaystyle m,n,m',n'\in \mathbb {Z} }$ ), ${\displaystyle m+n}$  be odd, ${\displaystyle m'+n'}$  be odd, ${\displaystyle \gamma \equiv 1\,\operatorname {mod} \,2(1+i)}$  and ${\displaystyle \operatorname {sl} \beta z=M_{\beta }(\operatorname {sl} z)}$ . Then

${\displaystyle M_{\beta }(x)=i^{\varepsilon }x{\frac {P_{\beta }(x^{4})}{Q_{\beta }(x^{4})}}}$ 

for some coprime polynomials ${\displaystyle P_{\beta }(x),Q_{\beta }(x)\in {\mathcal {O}}[x]}$  and some ${\displaystyle \varepsilon \in \{0,1,2,3\}}$ ^[22] where

${\displaystyle xP_{\beta }(x^{4})=\prod _{\gamma |\beta }\Lambda _{\gamma }(x)}$ 

and

${\displaystyle \Lambda _{\beta }(x)=\prod _{[\alpha ]\in ({\mathcal {O}}/\beta {\mathcal {O}})^{\times }}(x-\operatorname {sl} \alpha \delta _{\beta })}$ 

where ${\displaystyle \delta _{\beta }}$  is any ${\displaystyle \beta }$ -torsion generator (i.e. ${\displaystyle \delta _{\beta }\in (1/\beta )L}$  and ${\displaystyle [\delta _{\beta }]\in (1/\beta )L/L}$  generates ${\displaystyle (1/\beta )L/L}$  as an ${\displaystyle {\mathcal {O}}}$ -module). Examples of ${\displaystyle \beta }$ -torsion generators include ${\displaystyle 2\varpi /\beta }$  and ${\displaystyle (1+i)\varpi /\beta }$ . The polynomial ${\displaystyle \Lambda _{\beta }(x)\in {\mathcal {O}}[x]}$  is called the ${\displaystyle \beta }$ -th lemnatomic polynomial. It is monic and is irreducible over ${\displaystyle K}$ . The lemnatomic polynomials are the "lemniscate analogs" of the cyclotomic polynomials,^[23]

${\displaystyle \Phi _{k}(x)=\prod _{[a]\in (\mathbb {Z} /k\mathbb {Z} )^{\times }}(x-\zeta _{k}^{a}).}$ 

The ${\displaystyle \beta }$ -th lemnatomic polynomial ${\displaystyle \Lambda _{\beta }(x)}$  is the minimal polynomial of ${\displaystyle \operatorname {sl} \delta _{\beta }}$  in ${\displaystyle K[x]}$ . For convenience, let ${\displaystyle \omega _{\beta }=\operatorname {sl} (2\varpi /\beta )}$  and ${\displaystyle {\tilde {\omega }}_{\beta }=\operatorname {sl} ((1+i)\varpi /\beta )}$ . So for example, the minimal polynomial of ${\displaystyle \omega _{5}}$  (and also of ${\displaystyle {\tilde {\omega }}_{5}}$ ) in ${\displaystyle K[x]}$  is

${\displaystyle \Lambda _{5}(x)=x^{16}+52x^{12}-26x^{8}-12x^{4}+1,}$ 

and^[24]

${\displaystyle \omega _{5}={\sqrt[{4}]{-13+6{\sqrt {5}}+2{\sqrt {85-38{\sqrt {5}}}}}}}$ 

${\displaystyle {\tilde {\omega }}_{5}={\sqrt[{4}]{-13-6{\sqrt {5}}+2{\sqrt {85+38{\sqrt {5}}}}}}}$ ^[25]

(an equivalent expression is given in the table below). Another example is^[23]

${\displaystyle \Lambda _{-1+2i}(x)=x^{4}-1+2i}$ 

which is the minimal polynomial of ${\displaystyle \omega _{-1+2i}}$  (and also of ${\displaystyle {\tilde {\omega }}_{-1+2i}}$ ) in ${\displaystyle K[x].}$ 

If ${\displaystyle p}$  is prime and ${\displaystyle \beta }$  is positive and odd,^[26] then^[27]

${\displaystyle \operatorname {deg} \Lambda _{\beta }=\beta ^{2}\prod _{p|\beta }\left(1-{\frac {1}{p}}\right)\left(1-{\frac {(-1)^{(p-1)/2}}{p}}\right)}$ 

which can be compared to the cyclotomic analog

${\displaystyle \operatorname {deg} \Phi _{k}=k\prod _{p|k}\left(1-{\frac {1}{p}}\right).}$ 

Specific values

Just as for the trigonometric functions, values of the lemniscate functions can be computed for divisions of the lemniscate into n parts of equal length, using only basic arithmetic and square roots, if and only if n is of the form ${\displaystyle n=2^{k}p_{1}p_{2}\cdots p_{m}}$  where k is a non-negative integer and each p_i (if any) is a distinct Fermat prime.^[28]

${\displaystyle n}$	${\displaystyle \operatorname {cl} n\varpi }$	${\displaystyle \operatorname {sl} n\varpi }$
${\displaystyle 1}$	${\displaystyle -1}$	${\displaystyle 0}$
${\displaystyle {\tfrac {5}{6}}}$	${\displaystyle -{\sqrt[{4}]{2{\sqrt {3}}-3}}}$	${\displaystyle {\tfrac {1}{2}}{\bigl (}{\sqrt {3}}+1-{\sqrt[{4}]{12}}{\bigr )}}$
${\displaystyle {\tfrac {3}{4}}}$	${\displaystyle -{\sqrt {{\sqrt {2}}-1}}}$	${\displaystyle {\sqrt {{\sqrt {2}}-1}}}$
${\displaystyle {\tfrac {2}{3}}}$	${\displaystyle -{\tfrac {1}{2}}{\bigl (}{\sqrt {3}}+1-{\sqrt[{4}]{12}}{\bigr )}}$	${\displaystyle {\sqrt[{4}]{2{\sqrt {3}}-3}}}$
${\displaystyle {\tfrac {1}{2}}}$	${\displaystyle 0}$	${\displaystyle 1}$
${\displaystyle {\tfrac {1}{3}}}$	${\displaystyle {\tfrac {1}{2}}{\bigl (}{\sqrt {3}}+1-{\sqrt[{4}]{12}}{\bigr )}}$	${\displaystyle {\sqrt[{4}]{2{\sqrt {3}}-3}}}$
${\displaystyle {\tfrac {1}{4}}}$	${\displaystyle {\sqrt {{\sqrt {2}}-1}}}$	${\displaystyle {\sqrt {{\sqrt {2}}-1}}}$
${\displaystyle {\tfrac {1}{6}}}$	${\displaystyle {\sqrt[{4}]{2{\sqrt {3}}-3}}}$	${\displaystyle {\tfrac {1}{2}}{\bigl (}{\sqrt {3}}+1-{\sqrt[{4}]{12}}{\bigr )}}$

Further values

${\displaystyle n}$	${\displaystyle \operatorname {cl} n\varpi }$	${\displaystyle \operatorname {sl} n\varpi }$
${\displaystyle {\tfrac {3}{7}}}$	${\displaystyle \tanh {\bigl \{}{\tfrac {1}{2}}\operatorname {arcoth} {\bigl [}{\tfrac {1}{2}}{\sqrt {2\cos({\tfrac {3}{14}}\pi )\cot({\tfrac {1}{28}}\pi )}}+\cos({\tfrac {1}{7}}\pi ){\bigr ]}{\bigr \}}}$
${\displaystyle {\tfrac {5}{12}}}$	${\displaystyle {\tfrac {1}{2}}{\sqrt[{4}]{8}}\left[\sin \left({\tfrac {5}{24}}\pi \right)-{\sqrt[{4}]{3}}\sin \left({\tfrac {1}{24}}\pi \right)\right]{\Bigl (}{\sqrt[{4}]{2{\sqrt {3}}+3}}-1{\Bigr )}}$	${\displaystyle {\tfrac {1}{2}}{\sqrt[{4}]{8}}\left[\sin \left({\tfrac {5}{24}}\pi \right)-{\sqrt[{4}]{3}}\sin \left({\tfrac {1}{24}}\pi \right)\right]{\Bigl (}{\sqrt[{4}]{2{\sqrt {3}}+3}}+1{\Bigr )}}$
${\displaystyle {\tfrac {2}{5}}}$	${\displaystyle {\tfrac {1}{2}}({\sqrt[{4}]{5}}-1){\bigl (}{\sqrt {{\sqrt {5}}+2}}-1{\bigr )}}$	${\displaystyle 2\,{\sqrt[{4}]{{\sqrt {5}}-2}}\,{\sqrt {\sin({\tfrac {3}{20}}\pi )\cos({\tfrac {1}{20}}\pi )}}}$
${\displaystyle {\tfrac {3}{8}}}$	${\displaystyle {\sqrt {{\bigl (}{\sqrt[{4}]{2}}-1{\bigr )}{\bigl (}{\sqrt {2}}+1-{\sqrt {2+{\sqrt {2}}}}{\bigr )}}}}$	${\displaystyle {\sqrt {{\bigl (}{\sqrt[{4}]{2}}-1{\bigr )}{\bigl (}{\sqrt {2}}+1+{\sqrt {2+{\sqrt {2}}}}{\bigr )}}}}$
${\displaystyle {\tfrac {5}{14}}}$		${\displaystyle \tanh {\bigl \{}{\tfrac {1}{2}}\operatorname {arcoth} {\bigl [}{\tfrac {1}{2}}{\sqrt {2\sin({\tfrac {1}{7}}\pi )\cot({\tfrac {3}{28}}\pi )}}+\sin({\tfrac {1}{14}}\pi ){\bigr ]}{\bigr \}}\ }$
${\displaystyle {\tfrac {3}{10}}}$	${\displaystyle 2\,{\sqrt[{4}]{{\sqrt {5}}-2}}\,{\sqrt {\sin({\tfrac {1}{20}}\pi )\cos({\tfrac {3}{20}}\pi )}}}$	${\displaystyle {\tfrac {1}{2}}{\bigl (}{\sqrt[{4}]{5}}-1{\bigr )}{\bigl (}{\sqrt {{\sqrt {5}}+2}}+1{\bigr )}}$
${\displaystyle {\tfrac {2}{7}}}$	${\displaystyle \tanh {\bigl \{}{\tfrac {1}{2}}\operatorname {arcoth} {\bigl [}{\tfrac {1}{2}}{\sqrt {2\cos({\tfrac {1}{14}}\pi )\tan({\tfrac {5}{28}}\pi )}}+\sin({\tfrac {3}{14}}\pi ){\bigr ]}{\bigr \}}\ }$
${\displaystyle {\tfrac {3}{14}}}$		${\displaystyle \tanh {\bigl \{}{\tfrac {1}{2}}\operatorname {arcoth} {\bigl [}{\tfrac {1}{2}}{\sqrt {2\cos({\tfrac {1}{14}}\pi )\tan({\tfrac {5}{28}}\pi )}}+\sin({\tfrac {3}{14}}\pi ){\bigr ]}{\bigr \}}\ }$
${\displaystyle {\tfrac {1}{5}}}$	${\displaystyle {\tfrac {1}{2}}{\bigl (}{\sqrt[{4}]{5}}-1{\bigr )}{\bigl (}{\sqrt {{\sqrt {5}}+2}}+1{\bigr )}}$	${\displaystyle 2\,{\sqrt[{4}]{{\sqrt {5}}-2}}\,{\sqrt {\sin({\tfrac {1}{20}}\pi )\cos({\tfrac {3}{20}}\pi )}}}$
${\displaystyle {\tfrac {1}{7}}}$	${\displaystyle \tanh {\bigl \{}{\tfrac {1}{2}}\operatorname {arcoth} {\bigl [}{\tfrac {1}{2}}{\sqrt {2\sin({\tfrac {1}{7}}\pi )\cot({\tfrac {3}{28}}\pi )}}+\sin({\tfrac {1}{14}}\pi ){\bigr ]}{\bigr \}}\ }$
${\displaystyle {\tfrac {1}{8}}}$	${\displaystyle {\sqrt {{\bigl (}{\sqrt[{4}]{2}}-1{\bigr )}{\bigl (}{\sqrt {2}}+1+{\sqrt {2+{\sqrt {2}}}}{\bigr )}}}}$	${\displaystyle {\sqrt {{\bigl (}{\sqrt[{4}]{2}}-1{\bigr )}{\bigl (}{\sqrt {2}}+1-{\sqrt {2+{\sqrt {2}}}}{\bigr )}}}}$
${\displaystyle {\tfrac {1}{10}}}$	${\displaystyle 2\,{\sqrt[{4}]{{\sqrt {5}}-2}}\,{\sqrt {\sin({\tfrac {3}{20}}\pi )\cos({\tfrac {1}{20}}\pi )}}}$	${\displaystyle {\tfrac {1}{2}}({\sqrt[{4}]{5}}-1){\bigl (}{\sqrt {{\sqrt {5}}+2}}-1{\bigr )}}$
${\displaystyle {\tfrac {1}{12}}}$	${\displaystyle {\tfrac {1}{2}}{\sqrt[{4}]{8}}\left[\sin \left({\tfrac {5}{24}}\pi \right)-{\sqrt[{4}]{3}}\sin \left({\tfrac {1}{24}}\pi \right)\right]{\Bigl (}{\sqrt[{4}]{2{\sqrt {3}}+3}}+1{\Bigr )}}$	${\displaystyle {\tfrac {1}{2}}{\sqrt[{4}]{8}}\left[\sin \left({\tfrac {5}{24}}\pi \right)-{\sqrt[{4}]{3}}\sin \left({\tfrac {1}{24}}\pi \right)\right]{\Bigl (}{\sqrt[{4}]{2{\sqrt {3}}+3}}-1{\Bigr )}}$
${\displaystyle {\tfrac {1}{14}}}$		${\displaystyle \tanh {\bigl \{}{\tfrac {1}{2}}\operatorname {arcoth} {\bigl [}{\tfrac {1}{2}}{\sqrt {2\cos({\tfrac {3}{14}}\pi )\cot({\tfrac {1}{28}}\pi )}}+\cos({\tfrac {1}{7}}\pi ){\bigr ]}{\bigr \}}}$

Relation to geometric shapes

Arc length of Bernoulli's lemniscate

 

The lemniscate sine and cosine relate the arc length of an arc of the lemniscate to the distance of one endpoint from the origin.

 

The trigonometric sine and cosine analogously relate the arc length of an arc of a unit-diameter circle to the distance of one endpoint from the origin.

${\displaystyle {\mathcal {L}}}$ , the lemniscate of Bernoulli with unit distance from its center to its furthest point (i.e. with unit "half-width"), is essential in the theory of the lemniscate elliptic functions. It can be characterized in at least three ways:

Angular characterization: Given two points ${\displaystyle A}$  and ${\displaystyle B}$  which are unit distance apart, let ${\displaystyle B'}$  be the reflection of ${\displaystyle B}$  about ${\displaystyle A}$ . Then ${\displaystyle {\mathcal {L}}}$  is the closure of the locus of the points ${\displaystyle P}$  such that ${\displaystyle |APB-APB'|}$  is a right angle.^[29]

Focal characterization: ${\displaystyle {\mathcal {L}}}$  is the locus of points in the plane such that the product of their distances from the two focal points ${\displaystyle F_{1}={\bigl (}{-{\tfrac {1}{\sqrt {2}}}},0{\bigr )}}$  and ${\displaystyle F_{2}={\bigl (}{\tfrac {1}{\sqrt {2}}},0{\bigr )}}$  is the constant ${\displaystyle {\tfrac {1}{2}}}$ .

Explicit coordinate characterization: ${\displaystyle {\mathcal {L}}}$  is a quartic curve satisfying the polar equation ${\displaystyle r^{2}=\cos 2\theta }$  or the Cartesian equation ${\displaystyle {\bigl (}x^{2}+y^{2}{\bigr )}{}^{2}=x^{2}-y^{2}.}$ 

The perimeter of ${\displaystyle {\mathcal {L}}}$  is ${\displaystyle 2\varpi }$ .

The points on ${\displaystyle {\mathcal {L}}}$  at distance ${\displaystyle r}$  from the origin are the intersections of the circle ${\displaystyle x^{2}+y^{2}=r^{2}}$  and the hyperbola ${\displaystyle x^{2}-y^{2}=r^{4}}$ . The intersection in the positive quadrant has Cartesian coordinates:

${\displaystyle {\big (}x(r),y(r){\big )}={\biggl (}\!{\sqrt {{\tfrac {1}{2}}r^{2}{\bigl (}1+r^{2}{\bigr )}}},\,{\sqrt {{\tfrac {1}{2}}r^{2}{\bigl (}1-r^{2}{\bigr )}}}\,{\biggr )}.}$ 

Using this parametrization with ${\displaystyle r\in [0,1]}$

January 01, 1970