Residue with half order pole?

853 Views Asked by At

I'm having issues evaluating the following integral using Cauchy's residue theorem.

$$\int_{-\infty}^{\infty} \frac{e^{ix}}{\sqrt{x^2 - 1}} dx $$

Here's what I have tried. We have to make a branch cut from $z = -a$ to $z = a$ and our contour runs along the real axis, with indents along $z = \pm 1$ and a semicircle in the upper half plane to close the contour. Our integrals are, $\oint_{C} \frac{e^{iz}}{\sqrt{z^2 - 1}} dx = \left[ \int_{C_R} + \int_{C_{\epsilon_1}} + \int_{C_{\epsilon_2}} + \int_{-\infty}^{-1-\epsilon_1} + \int_{-1 + \epsilon_1}^{1 - \epsilon_2} + \int_{1 + \epsilon_2}^{\infty} \right] \frac{e^{iz}}{\sqrt{z^2 - 1}} dx$

where $\epsilon_1$ is the radius of the indent around $z = -1$ and $\epsilon_2$ is the radius of the indent around $z = 1$.

We aren't enclosing any poles in our contour so $\oint_C$ must be zero. $\int_{C_R}$ must go to zero in the upper half plane because of Jordan's lemma. For the indent contours, I don't know how to deal with half poles, but I think we can bound their value using ML bound, $\begin{align} \left|\int_{C_{\epsilon_1}} \frac{e^{iz}}{\sqrt{z^2 - 1}} dx \right| \leq \int_{C_{\epsilon_1}} \frac{1}{\sqrt{|z| + 1)(|z| - 1)}} dx &\leq \frac{\pi \epsilon}{\sqrt{(\epsilon -1 )(\epsilon +1 )}} = 0 \end{align}$

In the last line we take $\epsilon \rightarrow 0$. By the same reasoning $\int_{C_{\epsilon_2}} \rightarrow 0$. This leaves everything zero so $\int_{-\infty}^{\infty} \frac{e^{ix}}{\sqrt{x^2 - 1}} dx = 0$. However just plugging the problem into Mathematica we get

$\pi (-i \text{BesselJ[0,1] - BesselY[0,1]})$.

Let me know why I'm wrong and how I can match Mathematica.