An integral of an algebraic function of the first kind, that is, an integral of the form
where is a rational function of the variables and . These variables are connected by an equation
in which is a polynomial of degree 3 or 4 without multiple roots. Here it is usually understood that the integral (1) cannot be expressed in terms of only one elementary function. When such an expression is possible, then (1) is said to be a pseudo-elliptic integral.
The name elliptic integral stems from the fact that they appeared first in the rectification of the arc of an ellipse and other second-order curves in work by Jacob and Johann Bernoulli, G.C. Fagnano dei Toschi, and L. Euler, who at the end of the 17th century and the beginning of the 18th century laid the foundations of the theory of elliptic integrals and elliptic functions (cf. Elliptic function), which arise in the inversion of elliptic integrals (cf. Inversion of an elliptic integral).
To the equations (2) corresponds a two-sheeted compact Riemann surface of genus , homeomorphic to a torus, on which and , and hence also , regarded as functions of a point of , are single-valued. The integral (1) is given as the integral of the Abelian differential on , taken along some rectifiable path . The specification of the beginning and the end of this path does not determine completely the value of the elliptic integral (1), generally speaking; in other words, (1) is a many-valued function of and .
Any elliptic integral can be expressed as a sum of elementary functions and linear combinations of canonical elliptic integrals of the first, second and third kinds. The latter can be written, for example, in the following form:
where is the parameter of the elliptic integral of the third kind.
The differential corresponding to is finite everywhere on the Riemann surface , the differentials of the second kind and third kinds have a pole-type singularity with residue zero or a simple pole, respectively. Regarded as functions of the upper limit of integration with a fixed lower limit, these three elliptic integrals are many-valued on . If one cuts along two cycles of a homology basis, then on the resulting simply-connected domain the integrals and are single valued, while still has a logarithmic singularity that arises on going around the simple pole. On passing through a cut each integral changes by an integer multiple of the corresponding period or modulus of periodicity, while has in addition a third logarithmic period corresponding to a circuit around the singular point. Thus, the computation of an integral of type (1) reduces to that of an integral along the path on joining the points and , and the addition of the corresponding linear combination of periods.
By subjecting the variable to certain transformations one can bring the function and the basic elliptic integrals to normal forms. In Weierstrass normal form the relation
holds, and the integral
has the periods . The inversion of this elliptic integral gives the Weierstrass elliptic function with periods and invariants (see Weierstrass elliptic functions). The calculation of the periods from given invariants proceeds by means of the modular function . If in a normal integral of the second kind
one takes a normal integral of the first kind as integration variable, then for a suitable choice of the integration constant the equality
holds, where is the Weierstrass -function. Here the periods of the normal integral of the second kind are equal to , . A normal integral of the third kind in Weierstrass form has the form
where is the Weierstrass -function, , , . Here the transposition rule holds:
where is an integer. The periods of a normal integral of the third kind have the form
where are integers and is the logarithmic period.
In applications on often comes across the Legendre normal form. Here
where is called the modulus of the elliptic integral, is sometimes called the Legendre modulus, and is called the supplementary modulus. Most frequently the normal case occurs, when and is a real variable. An elliptic integral of the first kind in Legendre normal form has the form
it is also called an incomplete elliptic integral of the first kind; is called its amplitude. This is an infinite-valued function of . The inversion of a normal integral of the first kind leads to the Jacobi elliptic function (see Jacobi elliptic functions).
The Legendre normal form of a normal integral of the second kind is
it is also called an incomplete elliptic integral of the second kind.
are called complete elliptic integrals of the first and second kind, respectively. The Legendre integrals of the first kind have periods and , those of the second kind — and .
The Legendre normal form of a normal integral of the third kind is
where is the parameter and, as a rule, . When or , it is called a circular integral, and when or — a hyperbolic integral.
A normal integral of the third kind according to Jacobi is defined somewhat differently:
where . The connection between Jacobi and Legendre integrals of the third kind can be expressed by the formula
a circular character corresponds to an imaginary and a hyperbolic one to a real .
Side-by-side with elliptic functions, elliptic integrals have numerous and important applications in various problems of analysis, geometry and physics; in particular, in mechanics, astronomy and geodesy. There are tables of elliptic integrals and extensive guidebooks on the theory of elliptic integrals and functions, and also compendia of formulas.
For references see also Elliptic function.
|||V.M. Belyakov, R.I. Kravtsova, M.G. Rappoport, "Tables of elliptic integrals" , 1–2 , Moscow (1962–1963) (In Russian)|
|||E. Jahnke, F. Emde, "Tables of functions with formulae and curves" , Dover, reprint (1945) (Translated from German) MR0015900 Zbl 0061.29906|
|[a1]||H. Hancock, "Theory of elliptic functions" , Dover, reprint (1958) MR0100106 Zbl 0084.07302|
|[a2]||M. Abramowitz, I.A. Stegun, "Handbook of mathematical functions" , Dover, reprint (1972) MR0314236 Zbl 0543.33001|
Elliptic integral. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Elliptic_integral&oldid=35069