Put . This is an elliptic function. Its only possible poles modulo are and the three simple zeros of . At such a nonzero half-period, periodicity and evenness give , soIt follows that with no simple-pole term. This is exactly the principal part of .
At zero the source expansion yieldsConsequently , again matching . Thus is a holomorphic function on a compact connected Riemann surface, hence constant. Its limit at zero is zero, provingThe equality extends over the apparent singularities as an identity of meromorphic functions.
Articles by others on the same topic
There are currently no matching articles.