Solution

ID: past-exam-of-the-mathematics-course-of-the-year-2-of-the-natural-sciences-course-of-the-university-of-cambridge/2014/paper-2/4/ii/solution

Use the principal branch of the complex logarithm for . Its branch cut is the ray , , lying below the real axis. Thus it is analytic in the upper half-plane, where the only pole of the integrand is .
Close the real interval by a large upper semicircle. The estimation lemma bounds the arc integral by , so it vanishes. The simple-pole residue is
The residue theorem then gives
For real , . Taking real parts and then using evenness of the real integrand yields
Both endpoints converge: the integrand is near zero and at infinity. This also agrees with the logarithmic parameter integral with Cauchy weight at parameter one.

New to topics? Read the docs here!