Sine-product integral with inverse-square weight

ID: sine-product-integral-with-inverse-square-weight

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.

New to topics? Read the docs here!