For fixed , integratecounterclockwise around the specified square of half-side , choosing . The integer poles inside it are , and their residues are because has residue one at each integer.
The two other possible poles are and . Their residues are each , hence sum to . This formula still applies when the numerator vanishes and a possible pole is removable. The residue theorem givesOn the square, , its perimeter is , and the supplied cotangent bound givesThe series converges absolutely by part (b), so its symmetric partial sums have the same limit as the full sum. ThereforeAt half-integers the cotangent form makes the value zero explicit; the reciprocal-tangent notation is understood by its continuous extension there. The cotangent contour summation rests on the contour estimate, not only on formally matching poles.
Articles by others on the same topic
There are currently no matching articles.