[Math] Compute the integral $\int_C (z^2-1)^\frac{1}{2} dz$ where $R>1$

complex integrationcomplex-analysiscontour-integrationintegration

Let C be the circle of Radius $R>1$, centered at the origin, in the complex plane. Compute the integral

$\int_C (z^2-1)^\frac{1}{2} dz$

where we employ a branch of the integrand defined by a straight branch cut connecting $z=1$ and $z=-1$, and $(z^2-1)^\frac{1}{2} > 0 $ on the line $y=0$, $x>1$. Note that the singularities are not isolated in this case. One way to do this integral is to expand the integrand in a Laurent series valid for $|{z}|> 1$ and integrate term by term

Best Answer

Consider the contour $\Gamma$ below.

dogbone

This consists of two pieces: the circle $z=R$, $R \gt 1$, minus the dogbone inside the circle, consisting of two small circular arcs at $z=\pm 1$ of radius $\epsilon$, and joined by line segments above and below the real axis.

Now consider $f(z) = \sqrt{(z-1)(z+1)}$. On the upper line segment, $\arg{(z+1)} = 0$ and $\arg{(z-1)} = \pi$. On the lower line segment, $\arg{(z+1)} = 0$, but $\arg{(z-1)} = -\pi$. Thus, the contour integral about $\Gamma$ is, in the limit as $\epsilon \to 0$,

$$\oint_{\Gamma} dz \, \sqrt{z^2-1} = \int_{|z|=R} dz \, \sqrt{z^2-1} + i \int_1^{-1} dx \, \sqrt{1-x^2} - i \int_{-1}^1 dx \, \sqrt{1-x^2} $$

By Cauchy's theorem, the integral about $\Gamma$ is zero. Thus,

$$ \int_{|z|=R} dz \, \sqrt{z^2-1} = i 2 \int_{-1}^1 dx \, \sqrt{1-x^2} = i \pi$$

Related Question