Branches of Multi Valued Functions: Explained with Examples

Some complex functions give multiple answers: √z has two values differing by a sign; log z has infinitely many differing by 2πi. Such functions are multi-valued. A branch is a continuous single-valued choice, made by cutting the plane along a branch cut so no loop can circle the branch point where values change.

Branches matter because z^{1/2} and log z appear throughout integration and physics, and every computation must know which value is meant. The principal branch cuts along the negative real axis with Arg z in (−π, π], but it is a choice, and crossing the cut makes values jump.

Key Concepts

• Branch point: circling it once changes the value, e.g. 0 for √z and log z.
• Branch cut: a curve from the branch point to ∞, removed so no loop winds around the point.
• Principal branch: Log z = ln|z| + i Arg z; principal √z = e^{(1/2)Log z}, the root with non-negative real part.
• Jump across the cut: one-sided limits from above and below the cut disagree; the price of single-valuedness.
• Riemann surface: stacked copies of the cut plane glued together, on which the multi-valued function becomes single-valued.

How It Works

1. Write z = re^{iθ}: w² = z gives w = ±√r e^{iθ/2}, two values, since θ → θ + 2π flips the sign.
2. Circling the origin swaps the two roots, so 0 is a branch point.
3. Cut along the negative real axis, restricting θ to (−π, π): no loop winds around 0, and √r e^{iθ/2} is continuous, the principal branch.
4. Above the cut θ → π, below it θ → −π, so the limits differ by a sign: values jump across the cut.

Worked Example

Find both square roots of i = e^{iπ/2}: ±e^{iπ/4} = ±(1+i)/√2 ≈ ±(0.7071 + 0.7071i). Verify: ((1+i)/√2)² = (2i)/2 = i. The principal value is (1+i)/√2 since Arg(i) = π/2 lies in (−π, π]. Jump demo: just above the cut, z = −1 + 0.001i has Arg ≈ π − 0.001, so √z ≈ e^{i(π−0.001)/2} ≈ 0.0005 + i; just below, z = −1 − 0.001i gives Arg ≈ −π + 0.001 and √z ≈ −0.0005 − i, a jump of nearly 2i across the cut.

Common Misconceptions

• "√(z_1z_2) = √z_1√z_2 always." Principal branches break it across the cut: √((−1)(−1)) = 1 but √(−1)√(−1) = −1.
• "The cut is intrinsic to the function." It is the user's choice; any curve from branch point to ∞ works, and different problems prefer different cuts.
• "Multi-valued means broken." The multi-valued object is natural; branches just select one value continuously.

Real-World Applications

• Contour integration around branch cuts evaluates real integrals with fractional powers and logarithms.
• Control theory uses cuts to define stable branches of fractional transfer functions.
• Branch-cut potentials model circulation in fluid flow past obstacles.

Branches tame multi-valued functions by cutting around branch points, at the price of a jump across the cut. The principal branch is the default, but remembering it is a choice keeps √z and log z computations correct.