Weierstrass elliptic function ($\wp$)

For a period lattice $\Lambda \subset \mathbb{C}$, the Weierstrass elliptic function is the normally convergent lattice sumIt is an even elliptic function with a double pole of principal part $(z-\omega {)}^{-2}$ and zero residue at every point $\omega$ of the period lattice.

Every elliptic function has a unique expression $A(\wp )+B(\wp ){\wp }^{\prime }$ with rational functions $A,B$. Its even part is rational in the Weierstrass elliptic function; its odd part divided by ${\wp }^{\prime }$ is even and meromorphic, so is also rational in $\wp$. The local even Laurent series at a half-period and at the pole justify meromorphic descent through the double cover of the Riemann sphere.

The Weierstrass elliptic function is the quotient map from the complex torus by $z\mapsto -z$. An even elliptic function descends through this map; its even Laurent series at each branch point makes the descended function meromorphic there. A meromorphic function on the Riemann sphere is rational, so $f=Q(\wp )$.

On every compact set disjoint from the lattice, the summandis bounded by $C|\omega {|}^{-3}$ for all sufficiently large $|\omega |$. Since the lattice sum of $|\omega {|}^{-3}$ converges, the defining series for $\wp$ converges normally.

At the three nonzero two-torsion points $z_i$ of $\mathbb{C}/\Lambda$, put $e_i=\wp (z_i)$. The values are distinct because $\wp (z)=\wp (w)$ exactly when $z\equiv \pm w(\mathrm{mod}\Lambda )$.

A two-torsion point satisfies $2z\in \Lambda$. The three nonzero classes are represented by half-periods $\lambda /2$, $\mu /2$, and $(\lambda +\mu )/2$.

The equianharmonic triangular lattice is preserved by multiplication by the cube root of unity $\omega =e^{2\pi i/3}$. On its three nonzero two-torsion classes, multiplication by $\omega$ acts as a three-cycle.

The Weierstrass zeta function satisfies ${\zeta }^{\prime }=-\wp$ and is quasi-periodic: for every period $\omega$, the difference $\zeta (z+\omega )-\zeta (z)$ is constant. It has a simple pole of residue one at each lattice point. Consequently, if ${\sum }_j{c}_j=0$, thenis an elliptic function.

Writing $G_{2r}={\sum }_{\omega \ne 0}{\omega }^{-2r}$ for the lattice Eisenstein sums, expansion about zero givesThus the constant coefficient vanishes and, for $k\ge 1$, the coefficient of $z^{2k}$ is $(2k+1)G_{2k+2}$.

The Weierstrass elliptic function satisfiesWriting $G_{2r}={\sum }_{\omega \in \Lambda \setminus \{0\}}{\omega }^{-2r}$, the Laurent coefficients of the Weierstrass elliptic function giveThus $g_2=60G_4$ and $g_3=140G_6$ cancel every nonremovable term in the Laurent series of ${\wp }^{\prime 2}-4{\wp }^3+g_2\wp +g_3$ at each point of the period lattice. The resulting elliptic function is an entire function and is bounded, hence is zero by Liouville theorem.