A branch point of a multivalued analytic function is a point around which analytic continuation along a closed loop can return a different value. A branch cut is a curve or union of curves removed from the domain so that loops causing this monodromy are excluded and one single-valued branch can be chosen.
Write with and , and write . Since
we have
Thus the inverse of the exponential is the infinitely valued complex logarithm
For the angle convention in the question, its principal value is
On taking once anticlockwise around zero, increases by and changes by ; hence zero is a branch point. Under the coordinate , a loop around corresponds to a loop around infinity and produces the opposite increment, so infinity is also a branch point. Removing any curve joining the two branch points prevents such loops. With , one possible branch cut is therefore
On the cut plane choose . For ,
Their derivatives are
The Cauchy-Riemann equations hold, so this branch is holomorphic. Its derivative is

Articles by others on the same topic (0)

There are currently no matching articles.