Real Integrals from Complex

Complex Analysis · Axiom Academy

Some real integrals refuse every trick from calculus. Close the line into a loop in the complex plane and they fall out in one step. A real integral, solved by leaving the real line The integral _ - ^ x^ 2 +1 is one of the friendly ones — but most of its cousins have no elementary antiderivative at all. The Residue Theorem offers a startling detour: treat x as a complex z , bend the real line up into a giant semicircle, and the whole loop is decided by the singularities it traps. Watch the real segment [-R,\,R] and a semicircular arc sweep closed in the upper half-plane. The pole z=i lights up inside the loop. As the radius grows the arc's contribution withers to nothing, the segment becomes the full real integral, and the loop settles on 2 i times the residue at z=i — which is exactly . The loop integral never depended on the arc at all — only on the single pole the contour caught: = 2 i\, (f,i) = . Why adding that arc costs nothing Closing the contour is only legal if the piece you added — the arc — contributes nothing in the limit. Drag the radius R outward. The real-segment integral 2 R climbs toward , while the arc is squeezed by the bound | _ | R^ 2 -1 , which collapses toward 0 . What's left of the loop is the real integral. As R : the segment , the arc bound 0 . The loop equals the real integral — that's why we may close it.

This is the written version of the interactive lesson above. See the full Complex Analysis course.