Elliptic Functions — Mathematics Knowledge System

Overview

Elliptic functions are doubly periodic meromorphic functions on the complex plane. They arise naturally when inverting elliptic integrals and play a central role in number theory, algebraic geometry, and mathematical physics. The classical examples are the Weierstrass ℘-function and the Jacobi elliptic functions sn, cn, dn.

Intuition

Think of elliptic functions as living on a torus rather than the complex plane. The double periodicity folds the plane into a donut shape, and the function's values repeat across that surface. Just as trigonometric functions are periodic with a single real period and arise from the unit circle, elliptic functions have two independent complex periods and arise from ellipses and more general algebraic curves.

Formal Definition

Definition

A function $f: \mathbb{C} \to \mathbb{C}$ is elliptic if it is meromorphic and doubly periodic: there exist $\omega_1, \omega_2 \in \mathbb{C}$ linearly independent over $\mathbb{R}$ such that the periodicity conditions hold. The lattice $\Lambda = \mathbb{Z}\omega_1 + \mathbb{Z}\omega_2$ determines the torus on which $f$ lives.

f(z + \omega_1) = f(z), \quad f(z + \omega_2) = f(z) \quad \forall z \in \mathbb{C}

Double periodicity

\wp(z) = \frac{1}{z^2} + \sum_{(m,n) \neq (0,0)} \left[ \frac{1}{(z - m\omega_1 - n\omega_2)^2} - \frac{1}{(m\omega_1 + n\omega_2)^2} \right]

Weierstrass p-function

\wp'(z)^2 = 4\wp(z)^3 - g_2\,\wp(z) - g_3

Weierstrass differential equation

Worked Examples

Write out the defining sum and substitute $-z$ for $z$.
$\wp(-z) = \frac{1}{(-z)^2} + \sum_{(m,n)\neq(0,0)} \left[\frac{1}{(-z-\omega_{mn})^2} - \frac{1}{\omega_{mn}^2}\right]$
Since $\Lambda$ is symmetric under negation (if $\omega \in \Lambda$ then $-\omega \in \Lambda$), the sum over all $(m,n)\neq(0,0)$ is unchanged when we replace $\omega_{mn}$ by $-\omega_{mn}$.
$\wp(-z) = \frac{1}{z^2} + \sum_{(m,n)\neq(0,0)} \left[\frac{1}{(z+\omega_{mn})^2} - \frac{1}{\omega_{mn}^2}\right]$
Reindexing $(m,n) \mapsto (-m,-n)$ sends $\omega_{mn}\mapsto -\omega_{mn}$ and the sum is the same as for $\wp(z)$.
$\wp(-z) = \wp(z)$

Answer: $\wp$ is even because the lattice is symmetric.

Practice Problems

Difficulty 7/10

Explain why an elliptic function cannot have exactly one simple pole (and no other poles) in a fundamental parallelogram.

Difficulty 8/10

Show that $\wp'(z)$ is an odd elliptic function of order 3.

Difficulty 9/10

Prove that any elliptic function can be expressed as a rational function of $\wp$ and $\wp'$.

Common Mistakes

Common Mistake

Elliptic functions have only one period like trigonometric functions.

Elliptic functions have two $\mathbb{R}$-linearly independent periods $\omega_1, \omega_2$, forming a lattice in $\mathbb{C}$. Singly periodic meromorphic functions are not elliptic.

Common Mistake

A holomorphic (pole-free) elliptic function could be non-constant.

The torus $\mathbb{C}/\Lambda$ is compact, so Liouville's theorem in its compact form forces any holomorphic function on it to be constant.

Quiz

Summary

Elliptic functions are meromorphic functions on $\mathbb{C}$ with two $\mathbb{R}$-linearly independent periods.
They are naturally defined on the torus $\mathbb{C}/\Lambda$ where $\Lambda$ is the period lattice.
The Weierstrass $\wp$-function is the canonical elliptic function, satisfying a cubic differential equation.
Every elliptic function can be expressed as a rational combination of $\wp$ and $\wp'$.
The sum of residues in any fundamental parallelogram is zero, and the minimum order of a non-constant elliptic function is 2.

References

WebsiteWikipedia — Elliptic function
BookAhlfors, L. V. — Complex Analysis, 3rd ed., McGraw-Hill, 1979