For an integer and , differentiating the partial-fraction expansion of givesBoth differentiated series converge locally uniformly. This kernel computes the Fourier expansion of a modular form for holomorphic Eisenstein series.
For , integrate around large squares whose sides have half-integer coordinates. The cotangent is uniformly bounded on these sides and the integral tends to zero. The residue theorem gives residues at the integers and at , proving the identity. For , the geometric-series formula for the cotangent also gives .
Articles by others on the same topic
There are currently no matching articles.