The simple poles occur at , , since the derivative of the sine there is . Thus
There is also a double pole at zero, not included in that list because . Its residue, needed for the next contour calculation, is the derivative of at zero, namely .
On the square, . The identity bounds the sine away from zero on the vertical sides because ; on horizontal sides it grows exponentially. Therefore the whole contour integral is or smaller and vanishes. The residue theorem then gives
which proves . Absolute convergence justifies the limiting residue sum.
Separate the term and pair with . For small ,
Compare the constant and quadratic coefficients with the supplied expansion after subtracting . It follows that
The paired expansion is uniformly summable on any sufficiently small closed interval of , so coefficient comparison is legitimate.

Articles by others on the same topic (0)

There are currently no matching articles.