EllipticE2

Notations

Traditional name

Traditional notation

Mathematica StandardForm notation

Primary definition

Specific values

Specialized values

For fixed z

For fixed m

Values at infinities

General characteristics

Domain and analyticity

E(z|m) is an analytical function of z and m which is defined over (ℂ^2).

Symmetries and periodicities

Parity

E(z|m) is an odd function with respect to z.

Mirror symmetry

Periodicity

E(z|m) is a quasi-periodic function with respect to z.

Quasi-symmetry

Poles and essential singularities

With respect to z

The function E(z|m) does not have poles and essential singularities with respect to z.

With respect to m

The function E(z|m) does not have poles and essential singularities with respect to m.

Branch points

With respect to z

With respect to m

For fixed z, the function E(z|m) has two branch points at m==(csc^2)(z)and m==(OverTilde[∞]).

Branch cuts

With respect to z

For fixed m, the function E(z|m) can have up to six infinite sets of branch cuts (it has at least four), which form very complicated curves in the case of generic m.

For fixed real m<1, the function E(z|m) does not have branch cuts on the real axis and on the vertical intervals {(csc^(-1))((Sqrt[m]))+π k,π-(csc^(-1))((Sqrt[m]))+π k}/;k∈ℤ∧m∈(-∞,1).
For fixed real m<1, the function E(z|m) has four infinite sets of branch cuts located on vertical intervals starting at the points z==π k±(csc^(-1))((Sqrt[m]))/;k∈ℤ  and extending to imaginary infinity.

For fixed generic m, the function E(z|m) has the following six infinite sets of branch cuts:
        1) real intervals {π k+(csc^(-1))((Sqrt[m])),π k+(π/2)}/;k∈ℤ∧m>1, where E(z|m)  is continuous from below (for generic complex m, these branch cuts deform into complicated curves); in the case m<1 these real intervals vanish
        2) real intervals {π k+(π/2),π (k+1)-(csc^(-1))((Sqrt[m]))}/;k∈ℤ∧m>1, where E(z|m)  is continuous from above (for generic complex m, these branch cuts deform into complicated curves); in the case m<1 these real intervals vanish
        3) vertical intervals {(π/2)+2π k ,(π/2)+2π k+i ∞}/;k∈ℤ∧m∉(0,1), or {π-(csc^(-1))((Sqrt[m]))+2π k ,(π/2)+2π k+i ∞}/;k∈ℤ∧m∈(0,1), where E(z|m)  is continuous from the left
        4) vertical intervals {((3π)/2)+2π k,((3π)/2)+2π k+i ∞}/;k∈ℤ∧m∉(0,1), or {2π-(csc^(-1))((Sqrt[m]))+2π k ,((3π)/2)+2π k+i ∞}/;k∈ℤ∧m∈(0,1), where E(z|m)  is continuous from the right
        5) vertical intervals {(π/2)+2π k-i ∞,(π/2)+2π k}/;k∈ℤ∧m∉(0,1), or {(π/2)+2π k-i ∞,2π k+(csc^(-1))((Sqrt[m]))}/;k∈ℤ∧m∈(0,1), where E(z|m)  is continuous from the left
        6) vertical intervals {((3π)/2)+2π k-i ∞,((3π)/2)+2π k}/;k∈ℤ∧m∉(0,1), or {((3π)/2)+2π k-i ∞,2π k+π+(csc^(-1))((Sqrt[m]))}/;k∈ℤ∧m∈(0,1), where E(z|m)  is continuous from the right.

For fixed real m<1, the function E(z|m) does not have branch cuts on the real axis.

For fixed real m<1, the function E(z|m) has branch points (csc^(-1))((Sqrt[m]))+π k/;k∈ℤ and π-(csc^(-1))((Sqrt[m]))+π k/;k∈ℤ. In this case branch cuts lay at the vertical lines beginning from these points and going to imaginary infinity. By this reason for fixed real m<1, the function E(z|m) does not have branch cuts on the vertical intervals {(csc^(-1))((Sqrt[m]))+π k,π-(csc^(-1))((Sqrt[m]))+π k}/;k∈ℤ∧m∈(-∞,1).

With respect to m

Branch cut locations: complicated.

Series representations

Generalized power series

Expansions at generic point z==(Subscript[z, 0])

Expansions on branch cuts

Expansions at z==0

Expansions at z==(csc^(-1))((Sqrt[m]))+π u/;u∈ℤ

Expansions at z==-(csc^(-1))((Sqrt[m]))+π u/;u∈ℤ

Expansions at z==π/2+2π u/;u∈ℤ∧m>1

Expansions at z==3π/2+2π u/;u∈ℤ∧m>1

Expansions at z==∞

Expansions at generic point m==(Subscript[m, 0])

Expansions at m==0

Expansions at m==1

Expansions at m==∞

Expansions at m==∞

Residue representations

Other series representations

Expansions EllipticE[ArcSin[z],m] at z==0

Expansions EllipticE[ArcSin[z],m] at z==∞

Expansions EllipticE[ArcSin[z],m] at m==0

Expansions EllipticE[ArcSin[z],m] at m==1

Other expansions

Integral representations

On the real axis

Of the direct function

Contour integral representations

Differential equations

Ordinary linear differential equations and wronskians

For the direct function itself

Ordinary nonlinear differential equations

Transformations

Transformations and argument simplifications

Argument involving basic arithmetic operations

Products, sums, and powers of the direct function

Sums of the direct function

Differentiation

Low-order differentiation

With respect to z

With respect to m

Symbolic differentiation

With respect to z

With respect to m

Fractional integro-differentiation

With respect to z

With respect to m

Integration

Indefinite integration

Involving only one direct function

Involving one direct function and elementary functions

Involving only one direct function with respect to m

Involving one direct function and elementary functions with respect to m

Representations through more general functions

Through hypergeometric functions of two variables

Through Meijer G

Classical cases involving ArcTan in the arguments

Classical cases involving ArcCot in the arguments

Through other functions

Involving some elliptic-type functions

Involving Weierstrass functions

Representations through equivalent functions

With related functions

Theorems

The surface area of an ellipsoid

The surface area A of an ellipsoid with semi-axes a, b, c is given by

A==2π a c((c/a)+(b/c)(Sqrt[1-((((c/a)))^2)])E(ϕ|m)+((b c)/(a^2))(Sqrt[((a^2)/((a^2)-(c^2)))])F(ϕ|m))/;ϕ==arcsin(Sqrt[1-((((c/a)))^2)])∧m==(((a^2) ((b^2)-(c^2)))/((b^2) ((a^2)-(c^2))))∧a≥b≥c

History

– L. Euler (1733, 1757, 1763, 1766)
– J.-L. Lagrange (1783)
– A. M. Legendre (1793, 1811, 1825–1828)
– K. F. Gauss (1799, 1818)
– C. G. J. Jacobi (1827)
– J. Liouville (1840)

Copyright