Branch Points and Branch Cuts
In complex analysis, multi-valued functions like \(\sqrt{z}\) or \(\ln(z)\) pose a problem for analyticity. To handle them, we introduce Branch Points (singularities where values swap) and Branch Cuts (barriers to make the function single-valued).
1. What is a Branch Point?
A point \(z_0\) is a branch point of a function \(f(z)\) if traversing a small closed circuit around \(z_0\) results in a value different from the initial value.
Unlike a pole (where the value goes to infinity), at a branch point, the function simply jumps to a different "sheet" of values.
2. Example: The Square Root \(z^{1/2}\)
Let \(z = re^{i\theta}\). Then \(f(z) = \sqrt{r} e^{i\theta/2}\).
The Circuit Test:
- Start at \(\theta = 0\). Value: \(\sqrt{r}\).
- Rotate by \(2\pi\) (full circle). New angle: \(2\pi\).
- New Value: \[ \sqrt{r} e^{i(2\pi)/2} = \sqrt{r} e^{i\pi} = -\sqrt{r} \]
Since we didn't return to \(\sqrt{r}\), \(z=0\) is a branch point. If we circle it again (total \(4\pi\)), we get \(e^{i2\pi} = 1\), returning to the start. Thus, \(z^{1/2}\) has two branches.
The Branch Cut: To fix this, we define a "cut" (usually the negative real axis). We agree never to cross this line, restricting \(\theta\) to \(-\pi < \theta \le \pi\).
3. Example: The Natural Logarithm \(\ln(z)\)
Let \(z = re^{i\theta}\). Then \(f(z) = \ln r + i\theta\).
The Circuit Test:
Every time we circle the origin (\(\theta \to \theta + 2\pi\)), the function value increases by \(2\pi i\). \[ \ln(re^{i(\theta+2\pi)}) = \ln r + i\theta + 2\pi i \]
Unlike the square root, the logarithm never returns to its original value, no matter how many times you circle. It has infinitely many branches.
Branch Points: \(z=0\) and \(z=\infty\).
4. Multiple Branch Points: \(\sqrt{z^2 - 1}\)
\[ f(z) = \sqrt{(z-1)(z+1)} \]
This function has branch points at \(z=1\) and \(z=-1\).
- If we circle only \(z=1\), the sign flips (change of phase \(\pi\)).
- If we circle only \(z=-1\), the sign flips (change of phase \(\pi\)).
- If we circle both, the total phase change is \(2\pi\), so the function does not change!
The Cut: We can define the branch cut as the finite line segment connecting \(-1\) and \(1\) on the real axis. This prevents us from circling individual points while allowing us to circle the pair.
Deep Dive: How to Choose Branch Cuts
Defining a branch cut is not just about drawing a random line. It is a systematic process of preventing the argument (phase) of a function from accumulating a difference of \(2\pi\) (or multiples that don't cancel) when traversing a closed loop.
1. The Logic of Arguments
Any complex function involving roots or logs depends on the angle \(\theta\). \[ z = r e^{i\theta} \implies z^\alpha = r^\alpha e^{i\alpha\theta} \]
- If \(e^{i 2\pi \alpha} = 1\) (e.g., \(\alpha\) is an integer), the function is single-valued. No cut needed.
- If \(e^{i 2\pi \alpha} \neq 1\) (e.g., \(\alpha = 1/2\)), the function is discontinuous. We must place a wall (cut) to stop the loop.
2. Case Study: \(\sqrt{z}\)
Goal: Stop any path from circling the origin completely.
Choice A (Standard): Cut along the negative real axis. Range: \(-\pi < \theta \le \pi\).
Choice B (Alternative): Cut along the positive real axis. Range: \(0 \le \theta < 2\pi\).
3. Case Study: \(\sqrt{z^2 - 1}\)
Branch Points: \(z=1\) and \(z=-1\).
A loop around both points produces a phase change of \(2\pi\) (continuous). A loop around one point produces \(\pi\) (discontinuous).
Strategy: Place a finite cut connecting \(-1\) and \(1\). This physically prevents you from circling just one point, but allows you to circle both (which is safe).
4. Case Study: \(\ln(z^2 - 1)\)
\[ f(z) = \ln(z-1) + \ln(z+1) \]
Unlike the square root, a loop around both points accumulates a phase of \(4\pi\) (value changes by \(4\pi i\)). It does not return to the original value.
Result: A finite cut is not sufficient. We need "infinite cuts" extending from \(1 \to \infty\) and \(-1 \to \infty\) to prevent any full rotation around the pair.