Elliptic function

Last updated

In the mathematical field of complex analysis, elliptic functions are special kinds of meromorphic functions, that satisfy two periodicity conditions. They are named elliptic functions because they come from elliptic integrals. Those integrals are in turn named elliptic because they first were encountered for the calculation of the arc length of an ellipse.

Contents

Important elliptic functions are Jacobi elliptic functions and the Weierstrass -function.

Further development of this theory led to hyperelliptic functions and modular forms.

Definition

A meromorphic function is called an elliptic function, if there are two -linear independent complex numbers such that

and .

So elliptic functions have two periods and are therefore doubly periodic functions.

Period lattice and fundamental domain

Parallelogram where opposite sides are identified Torus from rectangle.gif
Parallelogram where opposite sides are identified

If is an elliptic function with periods it also holds that

for every linear combination with .

The abelian group

is called the period lattice .

The parallelogram generated by and

is a fundamental domain of acting on .

Geometrically the complex plane is tiled with parallelograms. Everything that happens in one fundamental domain repeats in all the others. For that reason we can view elliptic function as functions with the quotient group as their domain. This quotient group, called an elliptic curve, can be visualised as a parallelogram where opposite sides are identified, which topologically is a torus. [1]

Liouville's theorems

The following three theorems are known as Liouville's theorems (1847).

1st theorem

A holomorphic elliptic function is constant. [2]

This is the original form of Liouville's theorem and can be derived from it. [3] A holomorphic elliptic function is bounded since it takes on all of its values on the fundamental domain which is compact. So it is constant by Liouville's theorem.

2nd theorem

Every elliptic function has finitely many poles in and the sum of its residues is zero. [4]

This theorem implies that there is no elliptic function not equal to zero with exactly one pole of order one or exactly one zero of order one in the fundamental domain.

3rd theorem

A non-constant elliptic function takes on every value the same number of times in counted with multiplicity. [5]

Weierstrass ℘-function

One of the most important elliptic functions is the Weierstrass -function. For a given period lattice it is defined by

It is constructed in such a way that it has a pole of order two at every lattice point. The term is there to make the series convergent.

is an even elliptic function; that is, . [6]

Its derivative

is an odd function, i.e. [6]

One of the main results of the theory of elliptic functions is the following: Every elliptic function with respect to a given period lattice can be expressed as a rational function in terms of and . [7]

The -function satisfies the differential equation

where and are constants that depend on . More precisely, and , where and are so called Eisenstein series. [8]

In algebraic language, the field of elliptic functions is isomorphic to the field

,

where the isomorphism maps to and to .

Relation to elliptic integrals

The relation to elliptic integrals has mainly a historical background. Elliptic integrals had been studied by Legendre, whose work was taken on by Niels Henrik Abel and Carl Gustav Jacobi.

Abel discovered elliptic functions by taking the inverse function of the elliptic integral function

with . [9]

Additionally he defined the functions [10]

and

.

After continuation to the complex plane they turned out to be doubly periodic and are known as Abel elliptic functions.

Jacobi elliptic functions are similarly obtained as inverse functions of elliptic integrals.

Jacobi considered the integral function

and inverted it: . stands for sinus amplitudinis and is the name of the new function. [11] He then introduced the functions cosinus amplitudinis and delta amplitudinis, which are defined as follows:

.

Only by taking this step, Jacobi could prove his general transformation formula of elliptic integrals in 1827. [12]

History

Shortly after the development of infinitesimal calculus the theory of elliptic functions was started by the Italian mathematician Giulio di Fagnano and the Swiss mathematician Leonhard Euler. When they tried to calculate the arc length of a lemniscate they encountered problems involving integrals that contained the square root of polynomials of degree 3 and 4. [13] It was clear that those so called elliptic integrals could not be solved using elementary functions. Fagnano observed an algebraic relation between elliptic integrals, what he published in 1750. [13] Euler immediately generalized Fagnano's results and posed his algebraic addition theorem for elliptic integrals. [13]

Except for a comment by Landen [14] his ideas were not pursued until 1786, when Legendre published his paper Mémoires sur les intégrations par arcs d’ellipse. [15] Legendre subsequently studied elliptic integrals and called them elliptic functions. Legendre introduced a three-fold classification –three kinds– which was a crucial simplification of the rather complicated theory at that time. Other important works of Legendre are: Mémoire sur les transcendantes elliptiques (1792), [16] Exercices de calcul intégral (1811–1817), [17] Traité des fonctions elliptiques (1825–1832). [18] Legendre's work was mostly left untouched by mathematicians until 1826.

Subsequently, Niels Henrik Abel and Carl Gustav Jacobi resumed the investigations and quickly discovered new results. At first they inverted the elliptic integral function. Following a suggestion of Jacobi in 1829 these inverse functions are now called elliptic functions. One of Jacobi's most important works is Fundamenta nova theoriae functionum ellipticarum which was published 1829. [19] The addition theorem Euler found was posed and proved in its general form by Abel in 1829. In those days the theory of elliptic functions and the theory of doubly periodic functions were considered to be different theories. They were brought together by Briot and Bouquet in 1856. [20] Gauss discovered many of the properties of elliptic functions 30 years earlier but never published anything on the subject. [21]

See also

Related Research Articles

<span class="mw-page-title-main">Complex analysis</span> Branch of mathematics studying functions of a complex variable

Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis that investigates functions of complex numbers. It is helpful in many branches of mathematics, including algebraic geometry, number theory, analytic combinatorics, and applied mathematics, as well as in physics, including the branches of hydrodynamics, thermodynamics, quantum mechanics, and twistor theory. By extension, use of complex analysis also has applications in engineering fields such as nuclear, aerospace, mechanical and electrical engineering.

<span class="mw-page-title-main">Quadratic reciprocity</span> Gives conditions for the solvability of quadratic equations modulo prime numbers

In number theory, the law of quadratic reciprocity is a theorem about modular arithmetic that gives conditions for the solvability of quadratic equations modulo prime numbers. Due to its subtlety, it has many formulations, but the most standard statement is:

In mathematics, a modular form is a (complex) analytic function on the upper half-plane, , that satisfies:

<span class="mw-page-title-main">Weierstrass elliptic function</span> Class of mathematical functions

In mathematics, the Weierstrass elliptic functions are elliptic functions that take a particularly simple form. They are named for Karl Weierstrass. This class of functions are also referred to as ℘-functions and they are usually denoted by the symbol ℘, a uniquely fancy script p. They play an important role in the theory of elliptic functions, i.e., meromorphic functions that are doubly periodic. A ℘-function together with its derivative can be used to parameterize elliptic curves and they generate the field of elliptic functions with respect to a given period lattice.

In mathematics, integral equations are equations in which an unknown function appears under an integral sign. In mathematical notation, integral equations may thus be expressed as being of the form: where is an integral operator acting on u. Hence, integral equations may be viewed as the analog to differential equations where instead of the equation involving derivatives, the equation contains integrals. A direct comparison can be seen with the mathematical form of the general integral equation above with the general form of a differential equation which may be expressed as follows:where may be viewed as a differential operator of order i. Due to this close connection between differential and integral equations, one can often convert between the two. For example, one method of solving a boundary value problem is by converting the differential equation with its boundary conditions into an integral equation and solving the integral equation. In addition, because one can convert between the two, differential equations in physics such as Maxwell's equations often have an analog integral and differential form. See also, for example, Green's function and Fredholm theory.

In mathematics, complex multiplication (CM) is the theory of elliptic curves E that have an endomorphism ring larger than the integers. Put another way, it contains the theory of elliptic functions with extra symmetries, such as are visible when the period lattice is the Gaussian integer lattice or Eisenstein integer lattice.

In probability theory and related fields, Malliavin calculus is a set of mathematical techniques and ideas that extend the mathematical field of calculus of variations from deterministic functions to stochastic processes. In particular, it allows the computation of derivatives of random variables. Malliavin calculus is also called the stochastic calculus of variations. P. Malliavin first initiated the calculus on infinite dimensional space. Then, the significant contributors such as S. Kusuoka, D. Stroock, J-M. Bismut, Shinzo Watanabe, I. Shigekawa, and so on finally completed the foundations.

In mathematics, the Weierstrass functions are special functions of a complex variable that are auxiliary to the Weierstrass elliptic function. They are named for Karl Weierstrass. The relation between the sigma, zeta, and functions is analogous to that between the sine, cotangent, and squared cosecant functions: the logarithmic derivative of the sine is the cotangent, whose derivative is negative the squared cosecant.

In mathematics, the fundamental theorem of Galois theory is a result that describes the structure of certain types of field extensions in relation to groups. It was proved by Évariste Galois in his development of Galois theory.

In mathematics, the Fredholm alternative, named after Ivar Fredholm, is one of Fredholm's theorems and is a result in Fredholm theory. It may be expressed in several ways, as a theorem of linear algebra, a theorem of integral equations, or as a theorem on Fredholm operators. Part of the result states that a non-zero complex number in the spectrum of a compact operator is an eigenvalue.

In physics and mathematics, the Gibbs measure, named after Josiah Willard Gibbs, is a probability measure frequently seen in many problems of probability theory and statistical mechanics. It is a generalization of the canonical ensemble to infinite systems. The canonical ensemble gives the probability of the system X being in state x as

Cubic reciprocity is a collection of theorems in elementary and algebraic number theory that state conditions under which the congruence x3 ≡ p (mod q) is solvable; the word "reciprocity" comes from the form of the main theorem, which states that if p and q are primary numbers in the ring of Eisenstein integers, both coprime to 3, the congruence x3p is solvable if and only if x3q is solvable.

In mathematics, Lindelöf's theorem is a result in complex analysis named after the Finnish mathematician Ernst Leonard Lindelöf. It states that a holomorphic function on a half-strip in the complex plane that is bounded on the boundary of the strip and does not grow "too fast" in the unbounded direction of the strip must remain bounded on the whole strip. The result is useful in the study of the Riemann zeta function, and is a special case of the Phragmén–Lindelöf principle. Also, see Hadamard three-lines theorem.

In mathematics, the Abel–Jacobi map is a construction of algebraic geometry which relates an algebraic curve to its Jacobian variety. In Riemannian geometry, it is a more general construction mapping a manifold to its Jacobi torus. The name derives from the theorem of Abel and Jacobi that two effective divisors are linearly equivalent if and only if they are indistinguishable under the Abel–Jacobi map.

<span class="mw-page-title-main">Modular lambda function</span> Symmetric holomorphic function

In mathematics, the modular lambda function λ(τ) is a highly symmetric Holomorphic function on the complex upper half-plane. It is invariant under the fractional linear action of the congruence group Γ(2), and generates the function field of the corresponding quotient, i.e., it is a Hauptmodul for the modular curve X(2). Over any point τ, its value can be described as a cross ratio of the branch points of a ramified double cover of the projective line by the elliptic curve , where the map is defined as the quotient by the [−1] involution.

In mathematics, the moduli stack of elliptic curves, denoted as or , is an algebraic stack over classifying elliptic curves. Note that it is a special case of the moduli stack of algebraic curves . In particular its points with values in some field correspond to elliptic curves over the field, and more generally morphisms from a scheme to it correspond to elliptic curves over . The construction of this space spans over a century because of the various generalizations of elliptic curves as the field has developed. All of these generalizations are contained in .

<span class="mw-page-title-main">Dixon elliptic functions</span>

In mathematics, the Dixon elliptic functions sm and cm are two elliptic functions that map from each regular hexagon in a hexagonal tiling to the whole complex plane. Because these functions satisfy the identity , as real functions they parametrize the cubic Fermat curve , just as the trigonometric functions sine and cosine parametrize the unit circle .

In mathematics Abel elliptic functions are a special kind of elliptic functions, that were established by the Norwegian mathematician Niels Henrik Abel. He published his paper "Recherches sur les Fonctions elliptiques" in Crelle's Journal in 1827. It was the first work on elliptic functions that was actually published. Abel's work on elliptic functions also influenced Jacobi's studies of elliptic functions, whose 1829 published book "Fundamenta nova theoriae functionum ellipticarum" became the standard work on elliptic functions.

The Fokas method, or unified transform, is an algorithmic procedure for analysing boundary value problems for linear partial differential equations and for an important class of nonlinear PDEs belonging to the so-called integrable systems. It is named after Greek mathematician Athanassios S. Fokas.

In mathematics, calculus on Euclidean space is a generalization of calculus of functions in one or several variables to calculus of functions on Euclidean space as well as a finite-dimensional real vector space. This calculus is also known as advanced calculus, especially in the United States. It is similar to multivariable calculus but is somewhat more sophisticated in that it uses linear algebra more extensively and covers some concepts from differential geometry such as differential forms and Stokes' formula in terms of differential forms. This extensive use of linear algebra also allows a natural generalization of multivariable calculus to calculus on Banach spaces or topological vector spaces.

References

  1. Rolf Busam (2006), Funktionentheorie 1 (in German) (4., korr. und erw. Aufl ed.), Berlin: Springer, p. 259, ISBN   978-3-540-32058-6
  2. Rolf Busam (2006), Funktionentheorie 1 (in German) (4., korr. und erw. Aufl ed.), Berlin: Springer, p. 258, ISBN   978-3-540-32058-6
  3. Jeremy Gray (2015), Real and the complex : a history of analysis in the 19th century (in German), Cham, pp. 118f, ISBN   978-3-319-23715-2 {{citation}}: CS1 maint: location missing publisher (link)
  4. Rolf Busam (2006), Funktionentheorie 1 (in German) (4., korr. und erw. Aufl ed.), Berlin: Springer, p. 260, ISBN   978-3-540-32058-6
  5. Rolf Busam (2006), Funktionentheorie 1 (in German) (4., korr. und erw. Aufl ed.), Berlin: Springer, p. 262, ISBN   978-3-540-32058-6
  6. 1 2 K. Chandrasekharan (1985), Elliptic functions (in German), Berlin: Springer-Verlag, p. 28, ISBN   0-387-15295-4
  7. Rolf Busam (2006), Funktionentheorie 1 (in German) (4., korr. und erw. Aufl ed.), Berlin: Springer, p. 275, ISBN   978-3-540-32058-6
  8. Rolf Busam (2006), Funktionentheorie 1 (in German) (4., korr. und erw. Aufl ed.), Berlin: Springer, p. 276, ISBN   978-3-540-32058-6
  9. Gray, Jeremy (14 October 2015), Real and the complex : a history of analysis in the 19th century (in German), Cham, p. 74, ISBN   978-3-319-23715-2 {{citation}}: CS1 maint: location missing publisher (link)
  10. Gray, Jeremy (14 October 2015), Real and the complex : a history of analysis in the 19th century (in German), Cham, p. 75, ISBN   978-3-319-23715-2 {{citation}}: CS1 maint: location missing publisher (link)
  11. Gray, Jeremy (14 October 2015), Real and the complex : a history of analysis in the 19th century (in German), Cham, p. 82, ISBN   978-3-319-23715-2 {{citation}}: CS1 maint: location missing publisher (link)
  12. Gray, Jeremy (14 October 2015), Real and the complex : a history of analysis in the 19th century (in German), Cham, p. 81, ISBN   978-3-319-23715-2 {{citation}}: CS1 maint: location missing publisher (link)
  13. 1 2 3 Gray, Jeremy (2015). Real and the complex : a history of analysis in the 19th century. Cham. pp. 23f. ISBN   978-3-319-23715-2. OCLC   932002663.{{cite book}}: CS1 maint: location missing publisher (link)
  14. John Landen: An Investigation of a general Theorem for finding the Length of any Arc of any Conic Hyperbola, by Means of Two Elliptic Arcs, with some other new and useful Theorems deduced therefrom. In: The Philosophical Transactions of the Royal Society of London 65 (1775), Nr. XXVI, S. 283–289, JSTOR   106197.
  15. Adrien-Marie Legendre: Mémoire sur les intégrations par arcs d’ellipse. In: Histoire de l’Académie royale des sciences Paris (1788), S. 616–643. – Ders.: Second mémoire sur les intégrations par arcs d’ellipse, et sur la comparaison de ces arcs. In: Histoire de l’Académie royale des sciences Paris (1788), S. 644–683.
  16. Adrien-Marie Legendre: Mémoire sur les transcendantes elliptiques, où l’on donne des méthodes faciles pour comparer et évaluer ces trancendantes, qui comprennent les arcs d’ellipse, et qui se rencontrent frèquemment dans les applications du calcul intégral. Du Pont & Firmin-Didot, Paris 1792. Englische Übersetzung A Memoire on Elliptic Transcendentals. In: Thomas Leybourn: New Series of the Mathematical Repository. Band 2. Glendinning, London 1809, Teil 3, S. 1–34.
  17. Adrien-Marie Legendre: Exercices de calcul integral sur divers ordres de transcendantes et sur les quadratures. 3 Bände. (Band 1, Band 2, Band 3). Paris 1811–1817.
  18. Adrien-Marie Legendre: Traité des fonctions elliptiques et des intégrales eulériennes, avec des tables pour en faciliter le calcul numérique. 3 Bde. (Band 1, Band 2, Band 3/1, Band 3/2, Band 3/3). Huzard-Courcier, Paris 1825–1832.
  19. Carl Gustav Jacob Jacobi: Fundamenta nova theoriae functionum ellipticarum. Königsberg 1829.
  20. Gray, Jeremy (2015). Real and the complex : a history of analysis in the 19th century. Cham. p. 122. ISBN   978-3-319-23715-2. OCLC   932002663.{{cite book}}: CS1 maint: location missing publisher (link)
  21. Gray, Jeremy (2015). Real and the complex : a history of analysis in the 19th century. Cham. p. 96. ISBN   978-3-319-23715-2. OCLC   932002663.{{cite book}}: CS1 maint: location missing publisher (link)

Literature