Multivalued Functions and Branch Cuts

⚡ Key Takeaways

Multivalued functions are relations like $\sqrt{z}$ or $\log z$ that assign more than one output to a single complex input. Branch cuts are curves removed from the plane to force a single-valued, continuous branch. Key result: a function is multivalued precisely when it fails to return to its original value after analytic continuation around a branch point. Applies throughout complex analysis, contour integration, fluid dynamics, and quantum field theory. Concepts crystallized by Cauchy, Riemann, and Puiseux in the 19th century.

💡 The Core Insight

A function is multivalued exactly when transporting a value continuously around a closed loop fails to bring it home. The obstruction lives at isolated branch points. Removing arcs (branch cuts) that join branch points kills the offending loops, restoring single-valuedness — at the cost of introducing a discontinuity across the cut. The deletion is a choice; the function itself is honestly defined on a Riemann surface where no choice is needed.

DefinitionMultivalued Function and Branch

A multivalued function is a correspondence $F$ assigning to each $z$ in a domain $D \subseteq \mathbb{C}$ a nonempty set $F(z) \subseteq \mathbb{C}$ . A branch of $F$ on an open connected set $U \subseteq D$ is a single-valued analytic function $f: U \to \mathbb{C}$ with $f(z) \in F(z)$ for all $z \in U$ . The two archetypes:

1

\quad \log z = \ln|z| + i\,\arg z = \ln|z| + i(\operatorname{Arg} z + 2\pi k), \qquad k \in \mathbb{Z}

Derivation hint: Invert $e^{w}=z$ ; write $w=u+iv$ , so $e^{u}=|z|$ and $v\equiv\arg z\pmod{2\pi}$ , giving $u=\ln|z|$ and the additive $2\pi k$ .

2

\quad z^{1/n} = |z|^{1/n}\exp\!\Big(i\,\tfrac{\operatorname{Arg} z + 2\pi k}{n}\Big), \qquad k = 0,1,\dots,n-1

Derivation hint: Solve $w^{n}=z$ in polar form $w=\rho e^{i\theta}$ ; match moduli $\rho^{n}=|z|$ and arguments $n\theta\equiv\arg z\pmod{2\pi}$ , yielding $n$ distinct $\theta$ . Here $\operatorname{Arg} z \in (-\pi,\pi]$ denotes the principal argument, $\arg z$ the full multivalued argument, and $\ln$ the real natural logarithm of the positive number $|z|$ .

DefinitionBranch Point and Branch Cut

A point $z_0$ is a branch point of $F$ if, for every sufficiently small loop $\gamma$ encircling $z_0$ , analytic continuation of a branch around $\gamma$ does not return to its starting value. A branch point has order $m$ if $m$ encirclements (not fewer) restore the value; if no finite number does, the branch point is logarithmic. A branch cut is a curve (often an arc or ray) $\Gamma \subseteq \mathbb{C}$ joining branch points (possibly through $\infty$ ) such that $\mathbb{C}\setminus\Gamma$ is simply connected and a single-valued analytic branch exists on it.

TheoremMonodromy / Existence of Branches

Let $F$ be an analytic multivalued function whose branch points form a discrete set $B$ . On any simply connected open set $U \subseteq \mathbb{C}\setminus B$ , every local branch extends to a single-valued analytic branch on all of $U$ . Conversely, on a domain that is not simply connected and encircles a branch point, no global single-valued branch exists.

Proofof the Monodromy Statement

Step 1. Fix $z_1 \in U$ and a local analytic branch $f_1$ near $z_1$ (it exists since $F$ is analytic and $z_1 \notin B$ ).

Step 2. For any $z \in U$ , choose a path $\sigma$ from $z_1$ to $z$ lying in $U$ . By analytic continuation along $\sigma$ we obtain a value $f_\sigma(z)$ .

Step 3. Take a second path $\sigma'$ from $z_1$ to $z$ . Since $U$ is simply connected, $\sigma$ and $\sigma'$ are homotopic in $U$ . Because $U \cap B = \varnothing$ , the continuation is unchanged under homotopy (no branch point is crossed):

3

\quad f_\sigma(z) = f_{\sigma'}(z) \quad\text{for all paths } \sigma,\sigma' \subseteq U \text{ from } z_1 \text{ to } z.

Derivation hint: The set of points where two continuations along homotopic paths agree is open and closed in the homotopy parameter; connectedness of the homotopy forces global agreement.

Step 4. Hence $f(z):=f_\sigma(z)$ is well-defined independent of the path, single-valued, and analytic (being locally a continuation of an analytic germ).

Step 5 (converse). If a loop $\gamma \subseteq U$ winds once around a branch point $z_0$ , then by definition continuation around $\gamma$ changes the value, so no single-valued continuous $f$ can satisfy $f \in F$ on all of $U$ . $\blacksquare$

∎

BR

Bernhard Riemann

1826–1866

Riemann's 1851 doctoral dissertation and his 1857 work on Abelian functions reconceived multivalued functions geometrically. Rather than mutilating the plane with arbitrary cuts, he proposed building a surface — now the Riemann surface — by gluing copies (sheets) of the plane along the cuts so that the function $\sqrt{z}$ , $\log z$ , or an algebraic function becomes genuinely single-valued and analytic. The branch points become ramification points where sheets meet. This shifted complex analysis from manipulating formulas to studying the topology of the natural domain, seeding modern algebraic geometry and topology.

🧠 Intuition

Picture $z = r e^{i\theta}$ as a point on a turntable; its angle $\theta$ is recorded on an unbounded tape, not a dial — once around adds $2\pi$ to $\theta$ , not back to zero. For $\log z = \ln r + i\theta$ , this extra $2\pi$ leaks straight into the imaginary part: walk a full circle around the origin and the logarithm jumps by $2\pi i$ . The origin is the pivot you cannot circle without paying this toll — the branch point. A branch cut, say the negative real axis, is a fence you forbid yourself from crossing; with the fence in place you can never complete the toll-incurring loop, so $\log z$ stays single-valued, jumping by $2\pi i$ as you teleport across the fence. For $\sqrt z$ the toll is gentler: one loop multiplies $\sqrt z$ by $e^{i\pi}=-1$ , but two loops give $e^{2\pi i}=+1$ and you're home. So the origin is an order-2 branch point — you need a 2-sheeted surface, not infinitely many sheets as for $\log$ .

Figure

Branch cut for

\sqrt{z}

along the negative real axis: crossing the cut flips the sign of the square root

Worked Examples

ExampleAll cube roots and choosing a branch

Given: Find all solutions of $w^3 = -8i$ , then identify which one belongs to the principal branch of $z^{1/3}$ .

Step 1 — polar form of $z=-8i$ : $|z| = 8$ , $\operatorname{Arg} z = -\pi/2$ (negative imaginary axis).

7

\quad z = 8\,\exp\!\big(i(-\tfrac{\pi}{2} + 2\pi k)\big).

Derivation hint: $-8i$ has modulus $8$ and lies on the negative imaginary axis, so $\operatorname{Arg}=-\pi/2$ .

Step 2 — apply the root formula $[2]$ with $n=3$ :

8

\quad w_k = 8^{1/3}\exp\!\Big(i\,\frac{-\pi/2 + 2\pi k}{3}\Big) = 2\,\exp\!\Big(i\,\frac{-\pi + 4\pi k}{6}\Big),\quad k=0,1,2.

Derivation hint: $8^{1/3}=2$ ; combine the angle into a single fraction over $6$ .

Step 3 — evaluate:

$k=0$ : angle $-\pi/6 \Rightarrow w_0 = 2(\cos(-30^\circ)+i\sin(-30^\circ)) = \sqrt3 - i.$
$k=1$ : angle $\pi/2 \Rightarrow w_1 = 2i.$
$k=2$ : angle $7\pi/6 \Rightarrow w_2 = -\sqrt3 - i.$

Step 4 — principal branch uses $k=0$ (since it keeps $\operatorname{Arg}z/3 \in (-\pi/3,\pi/3]$ ):

\boxed{(-8i)^{1/3}_{\text{principal}} = \sqrt{3} - i \approx 1.732 - 1.000\,i \quad (\text{dimensionless})}

Check: $(\sqrt3 - i)^3 = (\sqrt3)^3 - 3(\sqrt3)^2 i + 3\sqrt3 i^2 - i^3 = 3\sqrt3 - 9i - 3\sqrt3 + i = -8i.$ ✓

⚠️ Common mistake

The identity $\log(z_1 z_2) = \log z_1 + \log z_2$ does NOT hold for the principal branch. It holds only modulo $2\pi i$ , or as a set equality among all branches. For example, with $z_1=z_2=-1$ :

\operatorname{Log}((-1)(-1)) = \operatorname{Log}(1) = 0, \quad\text{but}\quad \operatorname{Log}(-1)+\operatorname{Log}(-1) = i\pi + i\pi = 2\pi i \neq 0.

Similarly, $\sqrt{z_1 z_2} = \sqrt{z_1}\sqrt{z_2}$ and $(z^a)^b = z^{ab}$ can fail for principal branches. Always check argument ranges before manipulating.

CounterexampleBranch cut location matters

A branch cut is not unique: any curve from the branch point to infinity (or between branch points) that disconnects the bad loops works. For $\log z$ one may cut along the negative real axis (principal), the positive real axis, or any ray from $0$ to $\infty$ . These give genuinely different single-valued functions. Consider evaluating just below the negative real axis at $z=-1-\varepsilon i$ :

Principal cut (negative real axis): the point sits on the cut; approaching from below gives $\arg \to -\pi$ .
Positive-axis cut ( $\arg \in (0,2\pi)$ ): same point now has $\arg \approx \pi$ , fully analytic there.

The numerical value of " $\log(-1)$ " thus depends entirely on the chosen cut — there is no branch-independent answer.

connection

Multivalued functions are the inverse-image manifestation of non-injective analytic maps, tying directly into Complex Exponential and Logarithm and the failure of global inverses. The need to delete cuts to obtain analyticity links to Cauchy-Riemann Equations (which a chosen branch must satisfy) and to Contour Integration, where branch cuts force keyhole contours and contribute jump discontinuities across the cut. The clean resolution lives in Riemann Surfaces, where the multi-sheeted domain makes the function single-valued; the topology of these surfaces connects to Fundamental Group and covering-space theory. Finally, the residue-free contribution of a branch cut to integrals connects to Residue Theorem generalizations.

🔬 Where this appears

⏳ History

- 1748 — Euler publishes

e^{i\theta} = \cos\theta + i\sin\theta

, implicitly revealing the periodicity that makes

\log

multivalued.

- 1714/1747 — A long dispute (Leibniz, Johann Bernoulli, then resolved by Euler) over the value of

\log(-1)

exposes the multivaluedness of the logarithm of negatives.

- 1825 — Cauchy develops contour integration and begins systematic treatment of integrals over paths avoiding singularities, the seed of branch-cut handling.

- 1851 — Riemann's dissertation introduces Riemann surfaces, giving multivalued functions a single-valued home and recasting branch points as ramification.

- 1850s — Victor Puiseux analyzes algebraic functions near branch points, producing Puiseux series (fractional-power expansions) and clarifying branch-point order.

- 1857 — Riemann's Theorie der Abel'schen Functionen connects branch points to genus and topology of the surface.

- 1880s — Weierstrass formalizes analytic continuation via power-series germs, making rigorous the notion of "carrying a value around a loop."

- 1913 — Hermann Weyl's Die Idee der Riemannschen Fläche gives the first rigorous abstract definition of a Riemann surface, decoupling it from embeddings in the plane.

- 20th c. — Branch cuts become standard tools in physics (Sommerfeld, Watson) for evaluating diffraction and dispersion integrals.

open-problem

While the existence of Riemann surfaces resolving classical multivalued functions is fully understood, several frontiers remain active and subtle. For general analytic functions the global monodromy group — the set of permutations of branches induced by loops — can be enormously complex; computing or even bounding it for specific families (e.g. solutions of Painlevé equations or hypergeometric functions with many singular points) is hard. Resurgence theory and the modern study of Stokes phenomena treat how branch-cut data and exponentially small terms encode hidden saddle contributions in asymptotic series — a domain bridging Écalle's alien calculus and physics, still incompletely systematized. In several complex variables, branch loci become codimension-one varieties and the simple "cut a curve" picture fails; the structure of ramification for multivariate algebraic functions and the topology of their normalizations remain technically demanding. Finally, the algorithmic problem of choosing globally consistent branch cuts for compositions of special functions (as in symbolic computation systems) has no universally agreed convention and produces genuine inconsistencies across software.

Formal Statement

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also