The only possible singularity of inside the contour is at , with residue . It is at most a simple pole; when , it is removable. Thus the residue theorem gives the Cauchy integral formula,for a counterclockwise simple contour containing once, with analytic on a neighbourhood of the contour and its interior. More generally the answer is , where the winding number accounts for multiple turns or reversed orientation. A clockwise simple contour has the opposite sign.
The integrand has simple poles at and . Only the first is inside the upper contour, and its residue isThe residue theorem therefore gives, for every ,On the upper semicircle, and . The estimation lemma bounds the arc contribution by . Hence the real-axis integral has the same limit, and taking its real part givesThe imaginary part vanishes independently because is odd. The real integral converges absolutely, since the denominator grows quadratically.
For , use . The interval traverses once counterclockwise, , and . ThusPut . The two simple poles areTheir moduli are and , so exactly is enclosed, for either sign of . Its residue isThe residue theorem yieldsThis also follows from the reciprocal affine sine integral after an angular shift. At , the original integral is directly , agreeing with the boxed formula. The displayed two-pole formulas require : at zero the contour integrand reduces to with a single pole. Thus the source's claim of two simple poles has this removable special-case exception.
Articles by others on the same topic
There are currently no matching articles.