Integrating $\arccos(x)$ with the residue theorem

Question

Considering $\arccos(x)=-i\ln(x+\sqrt{x^2-1})$, which has branch points at $1$, $-1$, and infinity, it seems natural to attempt evaluating $$\int\limits^{1}_{-1}\arccos(x)dx$$ using the residue theorem. I tried and it didnt seem to work; can this actually be done, and if so how? If not, why?

Answer 1

For $\arccos(z)$, the points $z=1, z=-1$ are branch points, no good for computing via the residue theorem. When this happens, we may sometimes evaluate by finding the residues outside the contour. But there the point $z=\infty$ is also a branch point, so we still cannot use the residue theorem.

However, $\arccos z - i\log z$ (with the appropriate branches of $\arccos$ and $\log$) is single-valued at $z=\infty$, with residue $0$, so for a contour $\gamma$ that surrounds both $1$ and $-1$ once in the clockwise direction,

we get $\oint_\gamma \arccos z\;dz = \oint_\gamma i\log z\;dz = 2 \pi$. The limit of this branch of $\arccos z$ approaching the real axis from below is $\arccos x$, but the limit approaching from above is $-\arccos x$. So $$ 2\pi = \int_1^{-1} (-\arccos x)\;dx + \int_{-1}^1 \arccos x\;dx = 2\int_{-1}^1 \arccos x $$ Therefore our answer is $\pi$.