Closed paths in the complex plane

208 Views Asked by At

enter image description here

I have attached the image above, which is from lecture notes dealing with branch cuts and branch points. My question is: why does $\phi$ change by multiples of $2\pi$ as we travel around the point $z=1$, on a closed path? How do we show this?

Thanks in advance.

1

There are 1 best solutions below

0
On BEST ANSWER

This example might be confusing because of the translation. In fact, if $\phi$ is allowed to be $any$ real number, then $\log$ as written, isn't even a function.

So let's distinguish branch points from "non"-branch points using simpler examples.

Take for example $f(z)=\frac{z}{z+1}$ and write $z=\rho e^{i\phi}.$ Then, of course, since $z=\rho e^{i(\phi+2\pi n)};\ n\in \mathbb Z,\ $ we can use $any$ of these representations of $z$ that we want. And, substituting any of these into the formula for $f$, we get the $same$ result.

Now consider $f(z)=z^{\sqrt 2}$. Take $\phi=0,\ $ and then $\phi=2\pi$ and $z=(1,0)=e^{i(0)}=e^{i(0+2\pi)}.$ Substituting these two representations of $z$ into $f$, we get $1$ and $e^{2\pi\sqrt 2 i},\ $ respectively, and these are $\textit{different}.$

Now if we consider the line segment in $\mathbb C$ from $z=(0,0)$ to $z=(1,0)$ we can regard the second representation of $z$ as having been obtained from the first by a counterclockwise rotation by $2\pi$ radians of the segment about $z=0$. And when we do this, we get back to the same point $z$, but the value of $f$ has changed. By definition then, $z=0$ is a branch point.

When we perform this geometric analysis on the first example, we see that the value of $f$ at the rotated vs. unrotated point has not changed, and so $z=0$ is not a branch point for $f$.

So what is the problem with the second example? It lies in the definition of the power function, which uses the Arg function, which is discontinuous on the negative real axis, so that a rotation through $2\pi$ radians forces you to "jump" over the discontinuity.

To apply this to your case, translate the whole picture by $1$ unit to the right and use $\log$ instead of the power function.