Nepedia
Back to Discover
Advanced Reader
🔢

Elliptic function

math Maturity 11-13 Next article →

Elliptic functions are a special class of meromorphic functions in complex analysis. A meromorphic function is a function that is smooth and well-behaved except at specific points called poles. What makes an elliptic function unique is that it satisfies two periodicity conditions. This means the function repeats its values in two different directions across the complex plane. These two directions are defined by two linearly independent complex numbers.

Lattice torsion points
Lattice torsion points

This repetition creates a structured grid known as a period lattice.

To understand how these functions behave, we can look at their fundamental domain. The fundamental domain is a parallelogram formed by the two periods. You can think of the complex plane as being tiled with these identical parallelograms. Everything that occurs within one fundamental domain repeats perfectly in all others.

Torus from rectangle
Torus from rectangle

Because of this, mathematicians often view the domain as a quotient group. This group is called an elliptic curve. Topologically, an elliptic curve can be visualized as a torus, which is a donut shape created by identifying opposite sides of a parallelogram.

There are several important rules that govern these functions, known as Liouville's theorems. Established in 1847, these three theorems describe the limits of what an elliptic function can do. The first theorem states that any holomorphic elliptic function must be constant. A holomorphic function is one that is smooth and has no poles. The second theorem notes that every elliptic function has a finite number of poles within its fundamental domain. Furthermore, the sum of the residues at these poles must equal zero. The third theorem states that a non-constant elliptic function takes on every possible value the same number of times.

Lattice torsion points
Lattice torsion points

One of the most significant tools in this field is the Weierstrass $\wp$-function. This function is defined for a specific period lattice and is constructed to have a pole of order two at every lattice point. The series used to define it includes a specific term to ensure it remains convergent. The $\wp$-function is an even function, meaning $\wp(-z) = \wp(z)$, while its derivative is an odd function. A major result of this theory is that any elliptic function for a given lattice can be expressed as a rational function of the Weierstrass $\wp$-function and its derivative. This function also satisfies a specific differential equation involving Eisenstein series.

The history of these functions is tied to the study of elliptic integrals. These integrals were originally used to calculate the arc length of an ellipse. Early mathematicians like Giulio di Fagnano and Leonhard Euler began exploring these problems. They were specifically interested in the arc length of a lemniscate. They discovered that these integrals involved square roots of polynomials of degree 3 or 4. These problems could not be solved using standard elementary functions.

Lattice torsion points
Lattice torsion points

Fagnano published an algebraic relation regarding these integrals in 1750, which Euler later generalized.

In 1786, Adrien-Marie Legendre published work that greatly advanced the field. He studied elliptic integrals and introduced a three-fold classification system. This classification was a vital simplification for the complicated theories of that time. Later, in the 1820s, Niels Henrik Abel and Carl Gustav Jacobi transformed the field. Abel discovered elliptic functions by taking the inverse of an elliptic integral function. Jacobi also obtained his functions, known as Jacobi elliptic functions, through this inversion process.

Torus from rectangle
Torus from rectangle

Jacobi introduced the functions sinus amplitudinis, cosinus amplitudinis, and delta amplitudinis to prove his transformation formulas in 1827.

The development of this theory eventually bridged different mathematical concepts. For a long time, the study of elliptic functions and doubly periodic functions were seen as separate. Briot and Bouquet brought these two theories together in 1856. The mathematical journey did not stop there, as further developments led to the study of hyperelliptic functions and modular forms. Even Carl Gauss discovered many properties of these functions roughly 30 years before the major breakthroughs, though he never published his results. Today, these functions remain a central part of complex analysis and algebraic geometry.

664 words

Where will your curiosity go next?

Keep exploring at your chosen reading level.

🖼️ Images & Media (2)
File:Lattice torsion points.svg
Lattice torsion points.svg
File:Torus from rectangle.gif
Torus from rectangle.gif
More to explore

🔬 Go deeper

More advanced topics to explore

🪜 Step back

Simpler topics to build understanding

What is Nepedia?

A free, ad-free encyclopedia for children. Every article is written at five reading levels, so the same page works for a five-year-old and a fifteen-year-old — use the level switcher above to see this one change. No account needed to read.