Theorem
Letbe an even function analytic on
except for poles at the points
none of which is an integer, and possibly at 0, and let
be the square contour with vertices at
Suppose also that the function
is such that
Then
With this theorem we can find the sum of a wide range of series exactly.
Example: Prove
The functionis even and analytic on
apart from a pole of order 2 at
The functionhas a pole of order 3 at
The residue at
is given by
As
Hence
Iflies on the contour
then
so
for
Hence by the Estimation Theoremas
It follows