InverseJacobiAM - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Special Functions : InverseJacobiAM

InverseJacobiAM

The inverse of the Jacobi amplitude function *am*

InverseJacobiSN, ..., InverseJacobiDC

The inverses of the Jacobi elliptic functions *sn*, ..., *dc*

 

Calling Sequence

Parameters

Description

Examples

References

Calling Sequence

InverseJacobiAM(z, k)

InverseJacobiCD(z, k),    InverseJacobiCN(z, k),    InverseJacobiCS(z, k),

InverseJacobiDC(z, k),    InverseJacobiDN(z, k),    InverseJacobiDS(z, k),

InverseJacobiNC(z, k),    InverseJacobiND(z, k),    InverseJacobiNS(z, k),

InverseJacobiSC(z, k),    InverseJacobiSD(z, k),    InverseJacobiSN(z, k)

Parameters

z

-

algebraic expression

k

-

algebraic expression, the modulus of the elliptic function

Description

• 

The InverseJacobiAM and the twelve InverseJacobiPQ functions, where P and Q are any two of {C,D,N,S}, are all elliptic integrals related to the incomplete elliptic integral of the first kind EllipticF. The exact definition for each InverseJacobiPQ can be seen, for instance, via:

FunctionAdvisor( definition, InverseJacobiAM);

InverseJacobiAMφ,k=∫0φ11k2sin_θ12ⅆ_θ1,with no restrictions on φ,k

(1)

FunctionAdvisor( definition, InverseJacobiSN);

InverseJacobiSNz,k=∫0z1_α12+1_α12k2+1ⅆ_α1,with no restrictions on z,k

(2)
  

From these definitions, InverseJacobiAM represents the trigonometric form of the incomplete Elliptic integral of the first kind (A&S 16.1.3, 17.2.6; G&R, 8.111, 8.141 - see References section) and InverseJacobiSN equals EllipticF,

FunctionAdvisor( definition, EllipticF);

EllipticFz,k=∫0z1_α12+1_α12k2+1ⅆ_α1,with no restrictions on z,k

(3)
  

EllipticF in turn is the Legendre normal form of the incomplete Elliptic integral of the first kind, (A&S 17.2.7; G&R 8.111). Note however that, unlike in those formulas, in the definition above the square root in the denominator of the integrand is split. The general relation between the Legendre and the trigonometric form of the incomplete Elliptic integral of the first kind, that is, between InverseJacobiAMphi,k and EllipticFz,k, as well as the restrictions on the parameters such that the relations are valid are given by:

FunctionAdvisor( specialize, EllipticF, InverseJacobiAM);

EllipticFz,k=InverseJacobiAMarcsinz,k,with no restrictions on z,k

(4)

FunctionAdvisor( specialize, InverseJacobiAM(phi,k), EllipticF);

InverseJacobiAM&phi;&comma;k&equals;EllipticFsin&pi;floor12&real;&phi;&pi;&plus;&phi;&comma;k2floor12&real;&phi;&pi;EllipticKk&comma;with no restrictions on &phi;&comma;k&comma;InverseJacobiAM&phi;&comma;k&equals;EllipticFsin&phi;&comma;k&comma;π2<φ<π2orπ2=φAnd0φorπ2=φAndφ0

(5)
• 

With some restrictions on the values of the function parameters, InverseJacobiAM is the inverse of the amplitude JacobiAM function:

FunctionAdvisor( definition, JacobiAM);

z&equals;JacobiAM&int;0z11k2sin&theta;2&DifferentialD;&theta;&comma;k&comma;z::RealRange32&comma;32

(6)
  

where in above the integral is equal to InverseJacobiAM(z,k). For all the other InverseJacobiPQ, where P and Q are any two of {C, D, N, S}, the InverseJacobiPQ function is the exact inverse of the corresponding JacobiPQ function for all values of the function parameters, so for instance,

JacobiSN( InverseJacobiSN(z,k), k);

z

(7)

JacobiCN( InverseJacobiCN(z,k), k);

z

(8)

JacobiDN( InverseJacobiDN(z,k), k);

z

(9)
• 

All InverseJacobiPQ (excluding InverseJacobiAM) satisfy InverseJacobiPQz&comma;k&equals;InverseJacobiQP1z&comma;k For k = infinity, all the InverseJacobiPQ functions have the value zero, independent of the value of the first parameter z. For z = infinity, however, most of these functions have finite values (see below).

Examples

Reflection symmetry and special values for InverseJacobiAM and InverseJacobiSN:

FunctionAdvisorspecial_values&comma;InverseJacobiAM

InverseJacobiAM&phi;&comma;k&equals;InverseJacobiAM&phi;&comma;k&comma;InverseJacobiAM&phi;&comma;k&equals;InverseJacobiAM&phi;&comma;k&comma;InverseJacobiAM0&comma;k&equals;0&comma;InverseJacobiAM&phi;&comma;0&equals;&phi;&comma;InverseJacobiAM12n&pi;&comma;k&equals;nEllipticKk&comma;n::integer&comma;InverseJacobiAM&phi;&comma;k&equals;lnsec&phi;&plus;tan&phi;&comma;φ<π2Andk−1&comma;1&comma;InverseJacobiAM&phi;&comma;k&equals;0&comma;k&in;&infin;&comma;&infin;&comma;InverseJacobiAM&infin;I&comma;k&equals;EllipticKkEllipticK1kk&comma;k2&in;RealRangeOpen0&comma;Open1

(10)

FunctionAdvisorspecial_values&comma;InverseJacobiSN

InverseJacobiSN0&comma;k&equals;0&comma;InverseJacobiSN1&comma;k&equals;EllipticKk&comma;InverseJacobiSNz&comma;0&equals;arcsinz&comma;InverseJacobiSNz&comma;1&equals;arctanhz&comma;InverseJacobiSNz&comma;&infin;&equals;0&comma;InverseJacobiSN&infin;&comma;k&equals;EllipticKkEllipticK1kk&comma;And1<k

(11)

Apart from InverseJacobiAM and InverseJacobiSN, none of the other InverseJacobiPQ functions have reflection symmetry with respect to z.

Branch points for InverseJacobiAM:

FunctionAdvisorbranch_points&comma;InverseJacobiAM

InverseJacobiAM&phi;&comma;k&comma;arcsin1k+2πnAndn::integer&comma;&phi;&equals;&infin;&plus;&infin;I

(12)

Compositions between JacobiPQ and InverseJacobiPQ functions typically lead to elementary forms.

JacobiSNInverseJacobiAMz&comma;k&comma;k

sinz

(13)

JacobiCNInverseJacobiAMz&comma;k&comma;k

cosz

(14)

JacobiCNInverseJacobiSNz&comma;k&comma;k

z2&plus;1

(15)

In the case of (Inverse)JacobiCN and (Inverse)JacobiSN, the two possible compositions are equal.

JacobiSNInverseJacobiCNz&comma;k&comma;k

z2&plus;1

(16)

JacobiCNInverseJacobiSNz&comma;k&comma;k

z2&plus;1

(17)

Due to the large number of relationships between all the JacobiPQ functions, the InverseJacobiPQ functions also feature a large number of them. Typically, all of them can be expressed in terms of InverseJacobiAM and InverseJacobiSN, the two forms of the incomplete Elliptic integral of the first kind.

InverseJacobiDNz&comma;k&equals;convertInverseJacobiDNz&comma;k&comma;InverseJacobiAM

InverseJacobiDNz&comma;k&equals;InverseJacobiAMarccosz&comma;1kk

(18)

InverseJacobiCDz&comma;k&equals;convertInverseJacobiCDz&comma;k&comma;InverseJacobiSN

InverseJacobiCDz&comma;k&equals;EllipticKkInverseJacobiSNz&comma;k

(19)

References

  

[A&S] Abramowitz, M., and Stegun, I., eds. Handbook of Mathematical Functions. New York: Dover publications.

  

[G&R] Gradshteyn, and Ryzhik. Table of Integrals Series and Products. 5th ed. Academic Press.

See Also

Elliptic integrals

FunctionAdvisor

Jacobi Theta functions

JacobiPQ elliptic functions

Weierstrass elliptic functions