# Contour integral of $\frac{e^{iz}}{\sqrt{z}}$

I attempt to integrate $f(z) = \frac{e^{iz}}{\sqrt{z}}$ over the "keyhole contour" where the branch cut for the square root deletes the positive real axis, and the argument $\theta$ is restricted to $(0, 2\pi)$.

The integral over the large circle vanishes by Jordan's lemma. EDIT: This is not true, as Daniel Fischer points out. Thank you!

Then integral over the smaller circle also vanishes, since we have the estimate $|\int f(z) \; dz| \leq c\sqrt{\epsilon} \rightarrow 0$.

The integral over the lower ray $\gamma_L$ that tends to the real axis with reversed orientation is $$\int_\gamma \frac{e^{iz}}{\sqrt{z}} \; dz = \int_\infty^0 \frac{e^{ix}}{-\sqrt{x}} \; dx = \int_0^\infty \frac{e^{ix}}{\sqrt{x}} \; dx$$ The integral over the upper ray $\gamma_U$ also tends towards the same integral.

Since there is no singularity inside the contour, the contour integral is zero. So we have $$2 \int_0^\infty \frac{e^{ix}}{\sqrt{x}} \; dx = 0$$ which is not true.

-
"The integral over the large circle vanishes by Jordan's lemma." No, it doesn't. Jordan's lemma is about semicircles in either the upper or lower half plane. Your almost-circle lies in both half planes, and $\lvert e^{iz}\rvert$ becomes large in the lower half plane. –  Daniel Fischer Aug 30 '13 at 19:56
Wolfram products have the branch cut for $\sqrt{z}$ as going from $(-\infty,0)$, not the way you've shown it. See here. mathworld.wolfram.com/BranchCut.html –  rajb245 Aug 30 '13 at 19:58
Non-computers may choose branch cuts that help to solve a given problem. They may even change the branch cut from one problem to another. Strange but true! –  GEdgar Aug 30 '13 at 21:48