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.

Articles by others on the same topic (0)

There are currently no matching articles.