Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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)$.

Keyhole contour

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.

share|improve this question
"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

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.