Let ζ(z) be defined as before with respect to a lattice L and a -function (z). Then we can write:

ζ(z)1z=0z((γ(t))+1γ(t)2)dt

This is just applying definitions:

Remark

The path we choose to from 0 to z does not matter because is residue free, so any path will give us the same result by the residue theorem

We can use absolute convergence of the -function to switch the order of integration and actually integrate to get:

ζ(z)=1z+ωL{0}(1zw+1ω+zω2)

where the second part in the summand shows up naturally as the mittag leffler correction.

As a result of this, we have the following results:

  1. ζ(z) is meromorphic with poles of order 1 on L, and with residues 1. Therefore we also see that this function can't be elliptic, since 1;; poles must be of order at least 2
  2. ζ is an odd function. We observe this by looking at the series and rearranging with absolute convergence.
  3. By a similar trick we used to show was 1;;elliptic, we have η1=ζ(z+ω1)ζ(z) and η2=ζ(z+ω2)ζ(z). Furthermore, η1=2ζ(ω12) and η2=2ζ(ω22)
  4. These coefficients satisfy a Legendere Relation:
δPζ(z)dz=2πiζ(z)z=pole=η2ω1+η1ω2
Powered by Forestry.md