# Branch cut of $\sqrt{z}$ along the *positive* real axis

Consider the function $\sqrt{z}$, with $z\in\mathbb{C}$.

Writing $z = re^{i\theta}$, the imaginary part of $\sqrt{z}$ can be expressed as: $$Im({\sqrt{z}) = r^{\frac{1}{2}}\sin({\frac{\theta}{2} + k\pi})}$$

with $k\in\mathbb{Z}$. For the time beind let's set $k=0$ anyway.

Now, if I choose the principal value of the function to be $-\pi<\theta<\pi$, I can cleary see that $Im(\sqrt{z})$ has a branch cut along the negative real axis because $$\sin(\pi/2) \neq \sin(-\pi/2)$$.

Now: I want the branch cut to be along the positive real axis. I would set the principal value to be $0<\theta<2\pi$, but then, along said axis, $\sin(0/2) = \sin(2\pi/2) = 0$ so there is no discontinuity...

• If you make a cut along the positive real axis, you are omitting the points in the cut from the domain. You are excluding $\theta=0$ (remeber, you require $0<\theta<2\pi$).
– MPW
Dec 29, 2014 at 12:41
• But if I take $(0+\epsilon)$ and $(2\pi - \epsilon)$ letting $\epsilon \rightarrow 0$ I get the same limits...? Dec 29, 2014 at 13:06
• The discontinuity will be in the real part... Dec 29, 2014 at 13:23

## 1 Answer

A branch cut is a curve or a line that is introduced in order to define a branch $$F$$ of a multivalued funtion, in this case $$f(z) = \sqrt{z}$$. Now points of a branch cut are singular points of $$F$$. You want to be along the positive real axis, the origin and the ray $$\theta = 0$$ will make up the branch cut.

Notice that the discontinuity will be if we take $$\sqrt{z} = \sqrt{r}e^{i\frac{\theta}{2}} = \sqrt{r}\Big(\cos \Big(\frac{\theta}{2}\Big) + i\sin\Big(\frac{\theta}{2}\Big)\Big)$$, where $$0 < \theta < 2\pi$$. Then

$$\lim_{\epsilon \to 0^+} \cos \Big(\frac{\epsilon}{2}\Big) \neq \lim_{\epsilon \to 0^-} \cos \Big(\frac{2\pi - \epsilon}{2}\Big).$$

• Thanks. So if I had to take the integral of $\frac{1}{\sqrt{z^2+m^2}}$ like this question (physics.stackexchange.com/questions/94074/…), which principal value should I choose in order for the branch cut to be on the imaginary axis (as shown in the diagram)? Dec 29, 2014 at 14:03
• Find the poles and choose a branch cut to work with. Dec 29, 2014 at 14:04
• But the poles ($+im$ and $-im$) do not have a Laurent expansion because of the branch cut. I don't know how to choose the branch cut. Does it make sense it's on the $y$ axis from $im$ to $\infty$? Why? Dec 29, 2014 at 14:10
• This is a different question, you know. But it makes sense taking the branch cut the line $iy$, where $y \geq m$ so you can work the contour integral by finding a parametrization to $C_1$ and fincding the residue to apply Cauchy's Theorem. Adam has given a nice answer. Dec 29, 2014 at 14:28
• @Aaron Moroja, I thought that in this case a branch is at (0+i*0), and another branch is at any point $z = \lim_{| z | \to\infty} | z | e^{i\theta}$. Thus, a branch cut could be at any line emanating from the origin and extending outward forever. Is that incorrect? Mar 12, 2022 at 19:21