Cotangent partial-fraction expansion

ID: cotangent-partial-fraction-expansion

Away from integer poles,
The series is locally uniformly convergent. Integrate around the square with sides . The cotangent is uniformly bounded there, so the integral tends to zero. The residue theorem then gives , which is the expansion. Differentiation generates higher integer-lattice pole sums. Setting gives . On , expansion of each paired summand gives , relating this trigonometric function to the Riemann zeta function.

New to topics? Read the docs here!