Set . The integral becomes
The roots are , only lying inside. The derivative of the quadratic at is two, so the residue is . Consequently . The denominator is positive since , so no principal-value qualification is required.
Cauchy's theorem says that a holomorphic function integrates to zero around a closed contour homologous to zero in its domain. Thus deforming one contour into another without crossing a singularity preserves the integral. More generally for a meromorphic , the exact condition is
Equal winding numbers about every singularity are sufficient. They are not necessary for one particular function because residues can cancel; even arbitrary contours have equal integrals for . A topological deformation criterion must not be confused with a necessary condition for accidental equality.
The finite singularities are square-root branch points at . Choose the cut between them and the branch at infinity. The two banks then have values above and below. A counterclockwise loop around the cut traverses its upper bank right-to-left, so its integral is , where is the required real integral. At large radius,
Therefore . Infinity is not another square-root branch point: this branch has an ordinary pole there on its sheet. Small detours about the finite endpoints vanish as their radius to power .

Articles by others on the same topic (0)

There are currently no matching articles.