By symmetry assume and integrate around an upper semicircle indented clockwise above zero. The residue at zero is . The expansion bounds the large arc by , including when . The upper-half-plane indentation rule therefore gives . Its imaginary part is even and ordinarily integrable, yielding the displayed value. At zero the sine-product integrand tends to ; at infinity it is bounded by . The principal value is needed for the auxiliary complex integral, not for the real sine-product integral.
Articles by others on the same topic
There are currently no matching articles.