Branch Cut

DOWNLOAD Mathematica Notebook

A branch cut is a curve (with ends possibly open, closed, or half-open) in the complex plane across which an analytic multivalued function is discontinuous. For convenience, branch cuts are often taken as lines or line segments. Branch cuts (even those consisting of curves) are also known as cut lines (Arfken 1985, p. 397), slits (Kahan 1987), or branch lines.

For example, consider the function z^2 which maps each complex number z to a well-defined number z^2. Its inverse function sqrt(z), on the other hand, maps, for example, the value z=1 to sqrt(1)=+/-1. While a unique principal value can be chosen for such functions (in this case, the principal square root is the positive one), the choices cannot be made continuous over the whole complex plane. Instead, lines of discontinuity must occur. The most common approach for dealing with these discontinuities is the adoption of so-called branch cuts. In general, branch cuts are not unique, but are instead chosen by convention to give simple analytic properties (Kahan 1987). Some functions have a relatively simple branch cut structure, while branch cuts for other functions are extremely complicated.

An alternative to branch cuts for representing multivalued functions is the use of Riemann surfaces.

In addition to branch cuts, singularities known as branch points also exist. It should be noted, however, that the endpoints of branch cuts are not necessarily branch points.

Branch cuts do not arise for the single-valued trigonometric, hyperbolic, integer power, and exponential functions. However, their multivalued inverses do require branch cuts. The plots and table below summarize the branch cut structure of inverse trigonometric, inverse hyperbolic, noninteger power, and logarithmic functions adopted in the Wolfram Language.

BranchCuts1BranchCuts2
function namefunctionbranch cut(s)
inverse cosecantcsc^(-1)z(-1,1)
inverse cosinecos^(-1)z(-infty,-1) and (1,infty)
inverse cotangentcot^(-1)z(-i,i)
inverse hyperbolic cosecantcsch^(-1)(-i,i)
inverse hyperbolic cosinecosh^(-1)(-infty,1)
inverse hyperbolic cotangentcoth^(-1)[-1,1]
inverse hyperbolic secantsech^(-1)(-infty,0] and (1,infty)
inverse hyperbolic sinesinh^(-1)(-iinfty,-i) and (i,iinfty)
inverse hyperbolic tangenttanh^(-1)(-infty,-1] and [1,infty)
inverse secantsec^(-1)z(-1,1)
inverse sinesin^(-1)z(-infty,-1) and (1,infty)
inverse tangenttan^(-1)z(-iinfty,-i] and [i,iinfty)
natural logarithmlnz(-infty,0]
powerz^n,n not in Z(-infty,0) for R[n]<=0; (-infty,0] for R[n]>0
square rootsqrt(z)(-infty,0)

Wolfram Web Resources

Mathematica »

The #1 tool for creating Demonstrations and anything technical.

Wolfram|Alpha »

Explore anything with the first computational knowledge engine.

Wolfram Demonstrations Project »

Explore thousands of free applications across science, mathematics, engineering, technology, business, art, finance, social sciences, and more.

Computerbasedmath.org »

Join the initiative for modernizing math education.

Online Integral Calculator »

Solve integrals with Wolfram|Alpha.

Step-by-step Solutions »

Walk through homework problems step-by-step from beginning to end. Hints help you try the next step on your own.

Wolfram Problem Generator »

Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet.

Wolfram Education Portal »

Collection of teaching and learning tools built by Wolfram education experts: dynamic textbook, lesson plans, widgets, interactive Demonstrations, and more.

Wolfram Language »

Knowledge-based programming for everyone.