Cosine-difference inverse-square integral

ID: cosine-difference-inverse-square-integral

For , integrate over an upper semicircle with a small clockwise indentation excluding zero. The large arc vanishes; the small arc tends to times the residue , namely . The contour encloses no poles, so the remaining real-axis principal value is . Taking real parts gives the displayed ordinary integral, whose cancellation at zero removes its apparent singularity. Evenness of the cosine extends the formula to arbitrary real , with zero frequencies obtained by a limit. The individual integrals of cannot be subtracted as separately convergent improper integrals.

New to topics? Read the docs here!