On the upper semicircular contour, and the reverse triangle inequality gives . Its arc length is , so the estimation lemma gives
The arc is open, so an ordinary integral sign is appropriate even though the source uses a closed-integral symbol there. Subtracting the vanishing arc contribution from the closed contour integral gives the real-line improper integral . Its integrand is an even function, and its tail is , ensuring convergence. Thus

Articles by others on the same topic (0)

There are currently no matching articles.