Elliptic Functions and their Properties

Abstract

Develops the theory of doubly-periodic meromorphic functions from first principles. Beginning with compactness of the torus ℂ/Λ, we derive Liouville's theorems, construct the Weierstrass ℘-function and its differential equation, prove the representation theorem E(Λ) = ℂ(℘, ℘'), introduce the j-invariant and the modular group, and close with the Jacobi sn/cn/dn family and three worked applications: the exact large-amplitude pendulum, KdV cnoidal waves, and the lemniscatic arc length that started it all.

1. Motivation, the lemniscatic arc length

The story starts with a deceptively simple curve, the lemniscate of Bernoulli, and the problem of computing its arc length. The integral doesn't close under elementary functions. This is the symptom that elliptic integrals exist as a genuinely new class.

2. The torus ℂ/Λ and compactness

A doubly-periodic meromorphic function lives naturally on the quotient ℂ/Λ, where Λ = ℤω₁ ⊕ ℤω₂ is a rank-2 lattice. The quotient is compact, which makes the entire theory, Liouville's theorems, pole counts, the residue sum, fall out almost for free.

3. Liouville's theorems

Four classical statements: a holomorphic elliptic function is constant; the sum of residues in a fundamental parallelogram is zero; every non-constant elliptic function has equal zero and pole counts; zeros and poles sum to the same class mod Λ.

4. The Weierstrass ℘-function

Construct ℘(z; Λ) = 1/z² + Σ [1/(z-ω)² − 1/ω²] over non-zero lattice points ω. Show convergence, prove evenness, and establish that ℘ is an elliptic function of order 2.

5. The differential equation

(℘')² = 4℘³ − g₂℘ − g₃. The invariants g₂, g₃ are lattice sums. This is the gateway to viewing ℘ as parameterizing an elliptic curve y² = 4x³ − g₂x − g₃.

6. Representation: E(Λ) = ℂ(℘, ℘')

Every elliptic function with lattice Λ is a rational function of ℘ and ℘'. Split into even and odd parts; the even part is a rational function of ℘, the odd part is ℘' times a rational function of ℘.

7. The j-invariant and the modular group

j(Λ) = 1728·g₂³ / (g₂³ − 27g₃²). Classifies lattices up to complex multiplication and connects to SL(2,ℤ) acting on the upper half-plane.

8. The Jacobi sn / cn / dn family

A more applied parameterization. sn(u, k) generalizes sine; cn and dn are its trigonometric cousins. The modulus k controls how far from elementary-trig we sit.

9. Application, the exact large-amplitude pendulum

Small-angle approximation gives simple harmonic motion; drop it, and the pendulum period involves a complete elliptic integral of the first kind. The motion itself is sn-function.

10. Application, KdV cnoidal waves

The Korteweg–de Vries equation admits travelling-wave solutions built from cn², the "cnoidal" waves. Soliton limit recovers sech² as the modulus k → 1.

11. Closing the loop

With the machinery built, re-express the lemniscatic arc length from §1 in closed form via the complete elliptic integral. The paper ends where it began, with a concrete computation that motivated the entire framework.