Choose the principal logarithm, so has branch cut . Near zero its Taylor series gives
Thus zero is a simple pole of residue one, and one is a logarithmic branch point. The function is holomorphic on with this branch. Infinity is also a branch point in the extended-plane description; the function's decay there along the cut plane does not make it a single-valued holomorphic function through infinity.
Use the positive orientation shown in the source: the upper bank runs outwards and the lower bank returns towards one. On those banks the logarithm branch has values and , respectively, with . Their squared difference is . The residue theorem therefore gives
and hence
The large-circle contribution is and the small circle about one contributes , both tending to zero. These estimates justify replacing the closed contour integral by its two cut-bank integrals.
Take on the same logarithm branch. At zero, , so the apparent singularity is removable and the closed contour integral is zero. The bank difference is
The circular contributions vanish by the previous estimates with the third power of the logarithm. Consequently
The last integral is , giving
Increasing the logarithm power has converted the desired real integral into a jump across a branch cut, while removing the pole inside the contour.

Articles by others on the same topic (0)

There are currently no matching articles.