elliptic integral

In integral calculus, elliptic integrals originally arose in connection with the problem of giving the arc length of an ellipse and were first studied by Fagnano and Leonhard Euler. In the modern definition, an elliptic integral is any function f which can be expressed in the form

f(x) = \int_{c}^{x} R(t,P(t))\ dt

where R is a rational function of its two arguments, P is the square root of a polynomial of degree 3 or 4 (a cubic or quartic) with no repeated roots, and c is a constant. In general, elliptic integrals cannot be expressed in terms of elementary functions; exceptions to this are when P does have repeated roots, or when R(x,y) contains no odd powers of y. However, with appropriate reduction formula, every elliptic integral can be brought into a form that involves integrals over rational functions, and the three canonical forms (i.e. the elliptic integrals of the first, second and third kind).

Notation

Elliptic integrals are often expressed as functions of a variety of different arguments. These different arguments are completely equivalent (they give the same elliptic integral), but can be confusing due to their different appearance. Most texts adhere to a canonical naming scheme. Before defining the integrals, we review the naming conventions for the arguments:

k the elliptic modulus
m=k² the parameter
$\alpha$ the modular angle, $k=\sin \alpha$

Note that the above three are completely determined by one another; specifying one is the same as specifying another. The elliptic integrals will also depend on another argument; this can also be specified in a number of different ways:

$\phi$ the amplitude
x where $x=\sin \phi= \textrm{sn} \; u$
u, where x=sn u and sn is one of the jacobian elliptic functions

Specifying any one of these determines the others, and thus again, these may be used interchangeably in the notation. Note that u also depends on m. Some additional relationships involving u include

\cos \phi = \textrm{cn}\; u

and

\sqrt{1-m\sin^2 \phi} = \textrm{dn}\; u

The latter is sometimes called the delta amplitude and written as

\Delta(\phi)=\textrm{dn}\; u

. Sometimes the literature refers to the complementary parameter, the complementary modulus or the complementary modular angle. These are further defined in the article on quarter periods.

Incomplete elliptic integral of the first kind

The incomplete elliptic integral of the first kind F is defined, in Jacobi's form, as

F(x;k) =

\int_{0}^{x} \frac{1}{ \sqrt{(1-t^2)(1-k^2 t^2)} }\ dt Equivalently, using alternate notation,

F(x;k) = F(\phi|m) = F(\phi\setminus \alpha ) =

\int_0^\phi \frac{1}{ \sqrt{1-\sin^2 \alpha \sin^2 \theta}} \ d\theta where it is understood that when there is a vertical bar used, the argument following the vertical bar is the parameter (as defined above), and, when a backslash is used, it is followed by the modular angle. Note that

F(x;k) = u

with u as defined above: thus, the jacobian elliptic functions are inverses to the elliptic integrals.

Incomplete elliptic integral of the second kind

The incomplete elliptic integral of the second kind E is

E(x;k) = \int_{0}^{x} \frac{ \sqrt{1-k^2 t^2} }{ \sqrt{1-t^2} }\ dt

Equivalently, using alternate notation,

E(x;k) = E(\phi|m) = E(\phi\setminus \alpha ) =

\int_0^\phi \sqrt{1-\sin^2 \alpha \sin^2 \theta} \ d\theta Additional relations include

E(\phi|m) = \int_0^u \textrm{dn}^2 w \;dw =

u-m\int_0^u \textrm{sn}^2 w \;dw = (1-m)u+m\int_0^u \textrm{cn}^2 w \;dw

Incomplete elliptic integral of the third kind

The incomplete elliptic integral of the third kind

\Pi

\Pi(n; \phi|m) = \int_{0}^{x} \frac{1}{1-nt^2}

\frac{1} {\sqrt{(1-k^2 t^2)(1-t^2) }}\ dt or

\Pi(n; \phi|m) = \int_0^\phi  \frac{1}{1-n\sin^2 \theta}

\frac {1}{\sqrt{ (1-\sin^2 \alpha \sin^2 \theta) }} \ d\theta or

\Pi(n; \phi|m) = \int_0^u \frac{1}{1-n \textrm{sn}^2 (w|m)} \; dw

The number n is called the characteristic and can take on any value, independently of the other arguments.

Complete elliptic integral of the first kind

The complete elliptic integral of the first kind K is defined as

K(k) = \int_{0}^{1} \frac{1}{ \sqrt{(1-t^2)(1-k^2 t^2)} }\ dt

and can be computed in terms of the arithmetic-geometric mean. It can also be calculated as

K(k) = \frac{\pi}{2} \sum_{n=0}^{\infty} k^{2n} \frac{(2n)!(2n)!}{16^n n!n!n!n!}

Or in form of integral of sine, when 0 ≤ k ≤ 1

K( k ) = \int_0^{\frac{\pi}{2}} \frac{d\theta}{\sqrt {1 - k^2 \sin ^2 \theta }}

The complete elliptic integral of the first kind is sometimes called the quarter period.

Complete elliptic integral of the second kind

The complete elliptic integral of the second kind E is defined as

E(k) = \int_{0}^{1} \frac{ \sqrt{1-k^2 t^2} }{ \sqrt{1-t^2} }\ dt

Or if 0 ≤ k ≤ 1:

E( k ) = \int_0^{\frac{\pi}{2}} \sqrt {1 - k^2 \sin ^2 \theta} d\theta

History

Historically, elliptic functions were discovered as inverse functions of elliptic integrals, and this one in particular; we have F(sn(z;k);k) = z where sn is one of Jacobi's elliptic functions.

References

Milton Abramowitz and Irene A. Stegun, Handbook of Mathematical Functions, (1964) Dover Publications, New York. ISBN 486-61272-4 . (See chapter 17).

<< Previous

Word Browser

Next >>

electronic mixer
eubulides of miletus
eta
endomembrane system
ethnology
espagnole sauce
electronic amplifier
escort aircraft carrier
extreme sport
eadgyth
kingdom of essex

eve (disambiguation)
ethelbert of kent
erwin schrdinger
easywriter
ed sullivan
elisabeth vige lebrun
epistle to galatians
epistle to the philippians
epistle to the colossians
first epistle to the thessalonians
epistle to titus

eurovision song contest
enriched air nitrox
erik satie
earth liberation front
epistle to the romans
eleanor of aquitaine
epistle to philemon
exhibition
elliptic curve cryptography
edm
eden project

european commission
electronic filter
ergative case
ewe
essenes
eyes wide shut
embrace and extend
list of ethnic groups
edda
ephemeris time
eastenders