The given Weierstrass elliptic function is even, by replacing the lattice index with . Differentiation givesFor any , reindexing the sum shows . Thus is constant off the lattice. Replacing by and using evenness changes this difference to its negative, so and . Hence is doubly periodic.
It therefore descends to a meromorphic function on , with a double pole at zero modulo the lattice and no others. A meromorphic function is a holomorphic map to the Riemann sphere, sending poles to infinity. Locally at zero, is holomorphic and vanishes there, so the sphere chart at infinity supplies the required extension. The map is nonconstant because it has a pole.
Articles by others on the same topic
There are currently no matching articles.