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 . Sincewe haveThus the inverse of the exponential is the infinitely valued complex logarithmFor 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 areThe Cauchy-Riemann equations hold, so this branch is holomorphic. Its derivative is
Articles by others on the same topic
There are currently no matching articles.