The simple poles occur at , , since the derivative of the sine there is . Thus
There is also a double pole at zero, not included in that list because . Its residue, needed for the next contour calculation, is the derivative of at zero, namely .
On the square, . The identity bounds the sine away from zero on the vertical sides because ; on horizontal sides it grows exponentially. Therefore the whole contour integral is or smaller and vanishes. The residue theorem then gives
which proves . Absolute convergence justifies the limiting residue sum.
Separate the term and pair with . For small ,
Compare the constant and quadratic coefficients with the supplied expansion after subtracting . It follows that
The paired expansion is uniformly summable on any sufficiently small closed interval of , so coefficient comparison is legitimate.
A conformal map preserves local oriented angles and has a nonzero local scale factor. For an orientation-preserving complex map this is equivalent to holomorphy with at the point concerned. Infinitesimal figures are rotated and uniformly scaled there, but finite shapes need not be preserved: derivative magnitude and direction can vary across a region. Antiholomorphic maps preserve unoriented angles while reversing orientation; the convention being used must be stated.
For real , is real. Its finite image is the entire real axis except , which is approached only as . The point maps to infinity. On the extended complex plane the extended real axis maps onto itself, with mapping to one.
The identity gives on . Thus the image circle has center one and radius . Points strictly inside the original circle satisfy ; the center itself maps to infinity. The interior therefore becomes the exterior together with infinity on the Riemann sphere, rather than the interior of the image circle. This inversion is a useful warning against assuming conformality preserves global inside/outside assignments.
For , , which is purely imaginary; supplies the point at infinity. Conversely, the inverse map is . Requiring is equivalent to , hence , including the appropriate infinite point in the extended-plane formulation. The unit circle and imaginary axis are exchanged, but the real axis is not.
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.