For a meromorphic function with no poles on a positively oriented closed contour, the contour integral equals times the sum of enclosed residues, weighted by winding number for a general contour. At a simple pole , the residue is . Analyticity on the contour and the absence of other interior singularities are necessary hypotheses.
Put , so , and . Rational expressions in these trigonometric functions become rational contour integrands on the unit circle. The method is especially useful when the resulting denominator has a small number of identifiable poles. A pole on the integration circle requires a separately specified principal value or indentation; the residue theorem does not automatically assign an ordinary integral there.
First remove the removable singularities introduced by tangent and secant: the integrand is . The denominator stays positive since . With the contour integrand is
Its interior poles are zero and ; the other quadratic root is and lies outside. The residues are and , whose sum is . Consequently
Assigning arbitrary finite values at the isolated removable points does not change the integral.
Split the sine into exponentials. The term closes in the upper half-plane and picks up the pole , giving ; the term closes clockwise below and encloses no pole. Jordan's lemma applies to these separate contours. Hence
To pass to without an invalid dominated-convergence argument on an infinite interval, pair positive and negative first: the imaginary part is odd and the real part is . On a bounded interval the limit is harmless, while integration by parts bounds the oscillatory tail uniformly for . This gives the convergent improper Dirichlet integral .

Articles by others on the same topic (0)

There are currently no matching articles.