elliptic integral

elliptic integral. In integral calculus, an elliptic integral is any integral which can be expressed in terms of elementary functions and involves the square root of a cubic or quartic polynomial. These integrals originally arose from problems in calculating the arc length of an ellipse, as studied by Giulio Carlo Fagnano and Leonhard Euler, but their applications extend far beyond geometry into physics and engineering. They are non-elementary functions and are closely related to the Jacobi elliptic functions and the Weierstrass elliptic function, forming a cornerstone of elliptic function theory. The study of these integrals was pivotal in the development of modern analysis and has deep connections to number theory and algebraic geometry.

Definition and basic forms

The standard classification, established by Adrien-Marie Legendre, organizes them into three canonical forms. The incomplete elliptic integral of the first kind is defined with an amplitude angle and a parameter, often encountered in problems of pendulum motion as analyzed by Christiaan Huygens. The second kind relates to calculating arc lengths for curves like the lemniscate of Bernoulli, a problem explored by Carl Friedrich Gauss. The third kind includes an additional real parameter and appears in theories of potential and capacitance. These integrals are typically expressed using the modulus or parameter, with alternative notations introduced by Carl Gustav Jacob Jacobi that employ the elliptic modulus squared. The fundamental theorem of addition for these integrals, discovered by Euler, reveals their algebraic properties and connection to elliptic curves.

Complete elliptic integrals

When the amplitude reaches π/2, the integrals become complete and are denoted as special functions. The complete elliptic integral of the first kind is crucial in defining the period of a simple pendulum or the perimeter of an ellipse, calculations pertinent to the work of Joseph Louis Lagrange in celestial mechanics. The second kind appears in formulas for the surface area of an ellipsoid and in the theory of elastic plates. These complete integrals are functions of a single parameter and satisfy important differential equations, as shown in the research of Karl Weierstrass. They also have elegant representations as Gaussian hypergeometric functions, a relationship formalized by Ernst Kummer, and their values are connected to the arithmetic-geometric mean studied by Gauss.

Incomplete elliptic integrals

The incomplete forms retain the amplitude as a variable upper limit of integration and are more general. They are not periodic but can be expressed using Jacobi elliptic functions via inversion, a technique developed by Niels Henrik Abel and Jacobi. These integrals are essential for solving the equations of motion for a spherical pendulum or analyzing the deformation of springs in classical mechanics. In electromagnetic theory, they model the magnetic field around a current-carrying loop, a problem addressed by André-Marie Ampère. Computational evaluation often relies on descending Landen transformations or series expansions developed at the Royal Observatory, Greenwich for navigational almanacs.

Applications

Beyond geometry, they are indispensable in physics, particularly in classical mechanics for large-amplitude pendulum problems studied by Johann Bernoulli. In electromagnetism, they calculate the mutual inductance between coaxial circles, as in the work of James Clerk Maxwell. Modern applications include designing elliptic filters in signal processing for the Bell Labs telecommunications network and modeling crack propagation in fracture mechanics. Planetary orbital dynamics, such as calculating the precession of Mercury's perihelion analyzed by Urbain Le Verrier, also employ these integrals. In computer graphics, algorithms for drawing arcs and computing bounding volumes utilize fast approximations of these functions.

Historical context

The study originated in the 17th century with attempts to rectify the ellipse, leading to contributions from John Wallis and Isaac Newton. Fagnano's discovery of duplication theorems for the lemniscatic integral inspired Euler to prove general addition theorems, laying the foundation for elliptic functions. Legendre spent decades tabulating values and classifying forms, publishing his results in *Traité des Fonctions Elliptiques*. The field was revolutionized by Abel and Jacobi, who independently introduced elliptic functions as inverses of these integrals. Later, Weierstrass developed a more uniform theory using his ℘-function, while Srinivasa Ramanujan provided prolific series expansions and identities during his collaboration with G. H. Hardy at Trinity College, Cambridge.

Special values and identities

When the modulus takes specific algebraic values, the integrals evaluate to expressions involving gamma functions and π. For instance, the lemniscate constant arises from a modulus related to the square root of two, a value significant in the work of Gauss on the lemniscate. Landen's transformation connects integrals with different moduli, and the quadratic transformations discovered by John Landen simplify computations. The Borwein brothers, David and Jonathan, derived efficient algorithms for computing π using such identities. Modular equations, central to the theory of Évariste Galois and Ramanujan, provide algebraic relations between complete integrals of complementary moduli, linking to the theory of singular moduli in complex multiplication.

Category:Special functions Category:Integral calculus Category:Elliptic functions