[Math] Calculating integral with branch cut.

branch-cutscomplex-analysisintegrationreal-analysisresidue-calculus

I'm learning how to calculate integrals with branch points using branch cut. For example:
$$I=a\int_{\xi_{1}}^{\xi_{2}}\frac{d\xi}{(1+\xi^{2})\sqrt{\frac{2}{m}\left(E-U_{0}\xi^{2}\right)}}$$
where $\xi_{1}$, $\xi_{2}$ is branch points.
I've choosed contour like this:
enter image description here

So, by using residue theorem (and changing sings that metion here)

$$I=2\pi i[Res(\infty)-Res(i)-Res(-i)]$$
Obviously
$$Res(\infty)=0$$
$$Res(i)=\frac{1}{2i}\frac{a}{\sqrt{\frac{2}{m}\left(E+U_{0}\right)}}$$
$$Res(-i)=-\frac{1}{2i}\frac{a}{\sqrt{\frac{2}{m}\left(E+U_{0}\right)}}$$

So I have a mistake somewhere because integral vanishes. The answer would be correct if there would be the minus sign before Res(i). I am totally confused by it. I will be grateful if you could tell me where my mistake, or give any links.

Best Answer

See this for a similar analysis.

I would rescale the integral as follows:

$$\frac{a}{\sqrt{U_0}} \int_{-1}^1 \frac{dz}{[1+(E/U_0) z^2] \sqrt{1-z^2}}$$

To consider this integral, consider the function

$$f(z) = (1-z)^{-1/2} (1+z)^{-1/2} = e^{-(1/2) \log{(1-z)}} e^{-(1/2) \log{(1+z)}}$$

The contour we choose is a dumbbell contour that encircles the chosen branch cut between $[-1,1]$. Individually, however, the branch cuts were $[1,\infty)$ and $(-\infty,-1]$, respectively. Thus, $\arg{(1-z)} \in [0,2 \pi)$ and $\arg{(1+z)} \in [-\pi,\pi)$. Thus, while we may set $\arg{(1+z)} = 0$ on the contour segments above and below the real line, we must have that $\arg{(1-z)} = 0$ below the real line, and $\arg{(1-z)} = 2 \pi$ above the real line.

Above the real axis, then

$$f(z) = (1-z^2)^{-1/2}$$

Below, however,

$$f(z) = (1-z^2)^{-1/2} e^{-i (1/2) 2 \pi} = - (1-z^2)^{-1/2}$$

so that

$$\oint_C \frac{dz}{[1+(E/U_0) z^2] \sqrt{1-z^2}} = 2 \int_{-1}^1 \frac{dz}{[1+(E/U_0) z^2] \sqrt{1-z^2}}$$

You are correct that the residue at infinity is zero. The residues at $z=\pm i \sqrt{(U_0/E)}$ do not cancel because the factor $(1-z^2)^{-1/2}$ takes on different signs above and below the branch cut. Therefore, the residues add.

Putting this all together, I get the value of your original integral as

$$\sqrt{\frac{m}{2}} \frac{a \pi}{\sqrt{E+U_0}}$$

Related Question