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 isThe residue theorem then givesFor real , . Taking real parts and then using evenness of the real integrand yieldsBoth 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
There are currently no matching articles.