This post is in response to this thread on Reddit.
The original question was essentially to evaluate the integral:
on the circle defined by . This presents an obvious challenge, as a pole exists on this curve, which means that Cauchy's integral formula and the residue theorem cannot be used to evaluate this integral as is. For brevity's sake, let's call our integrand .
The way around this problem is to modify the curve so that the pole no longer occurs on it. Below is one such modified curve:
As no pole occurs within C' and is defined along and in C', we know by the Cauchy integral theorem that:
and splitting into subintegrals from A to B and B to A, we get:
, and , where .
, and goes from to .
Therefore our contour integral becomes:
As , the first of these integrals becomes the same as and the second integral becomes:
Our contour integral therefore becomes:
Hence our original integral is: