ConceptComplete

Complex Methods in Physics - Core Definitions

Complex analysis provides powerful techniques for solving physical problems, from evaluating integrals to analyzing wave phenomena and quantum mechanics.

Analytic Functions and Cauchy-Riemann Equations

DefinitionAnalytic Function

A complex function f(z)=u(x,y)+iv(x,y)f(z) = u(x,y) + iv(x,y) where z=x+iyz = x + iy is analytic (or holomorphic) in a domain DD if it is complex-differentiable at every point in DD. The derivative is:

f(z)=limh0f(z+h)f(z)hf'(z) = \lim_{h \to 0}\frac{f(z+h) - f(z)}{h}

where the limit must be independent of the direction in which h0h \to 0 in the complex plane.

TheoremCauchy-Riemann Equations

A function f(z)=u(x,y)+iv(x,y)f(z) = u(x,y) + iv(x,y) is analytic in a domain if and only if uu and vv satisfy the Cauchy-Riemann equations:

ux=vy,uy=vx\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}, \quad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}

and the partial derivatives are continuous. These conditions ensure that f(z)f'(z) exists and equals:

f(z)=ux+ivx=vyiuyf'(z) = \frac{\partial u}{\partial x} + i\frac{\partial v}{\partial x} = \frac{\partial v}{\partial y} - i\frac{\partial u}{\partial y}

The Cauchy-Riemann equations have deep physical implications. They ensure that the real and imaginary parts of an analytic function are harmonic:

2u=0,2v=0\nabla^2 u = 0, \quad \nabla^2 v = 0

This makes complex analysis ideal for solving Laplace's equation in two dimensions, which appears in electrostatics, fluid flow, and heat conduction.

ExamplePhysical Interpretation

In fluid dynamics, if f(z)=ϕ+iψf(z) = \phi + i\psi is analytic, then:

  • ϕ(x,y)\phi(x,y) is the velocity potential: v=ϕ\mathbf{v} = \nabla\phi
  • ψ(x,y)\psi(x,y) is the stream function: v=(ψ/y,ψ/x)\mathbf{v} = (\partial\psi/\partial y, -\partial\psi/\partial x)

The Cauchy-Riemann equations ensure that the flow is irrotational (×v=0\nabla \times \mathbf{v} = 0) and incompressible (v=0\nabla \cdot \mathbf{v} = 0). Lines of constant ϕ\phi (equipotentials) are orthogonal to lines of constant ψ\psi (streamlines).

Complex Integration and Residues

DefinitionContour Integral

For a piecewise smooth curve CC parametrized by z(t)z(t), atba \leq t \leq b, the contour integral is:

Cf(z)dz=abf(z(t))z(t)dt\int_C f(z)\,dz = \int_a^b f(z(t))z'(t)\,dt

When CC is a closed curve, we often write Cf(z)dz\oint_C f(z)\,dz.

TheoremCauchy's Integral Theorem

If f(z)f(z) is analytic in a simply connected domain DD and CC is a closed curve in DD, then:

Cf(z)dz=0\oint_C f(z)\,dz = 0

This fundamental result states that the integral of an analytic function around a closed contour is zero, provided there are no singularities enclosed.

DefinitionResidue

If f(z)f(z) has an isolated singularity at z0z_0, its Laurent series expansion is:

f(z)=n=an(zz0)nf(z) = \sum_{n=-\infty}^{\infty} a_n(z - z_0)^n

The coefficient a1a_{-1} is called the residue:

Res(f,z0)=a1=12πiCf(z)dz\text{Res}(f, z_0) = a_{-1} = \frac{1}{2\pi i}\oint_C f(z)\,dz

where CC is a small circle around z0z_0.

TheoremResidue Theorem

If f(z)f(z) is analytic in a domain except for isolated singularities at z1,z2,,znz_1, z_2, \ldots, z_n inside a closed contour CC, then:

Cf(z)dz=2πik=1nRes(f,zk)\oint_C f(z)\,dz = 2\pi i\sum_{k=1}^n \text{Res}(f, z_k)

Branch Cuts and Multi-valued Functions

DefinitionBranch Point and Branch Cut

A function like f(z)=z1/2f(z) = z^{1/2} or f(z)=logzf(z) = \log z is multi-valued: circling the origin changes the function's value. A branch point is a point where this happens, and a branch cut is a curve from the branch point to infinity along which we define a discontinuity to make the function single-valued.

For logz=lnz+iarg(z)\log z = \ln|z| + i\arg(z), we typically choose the branch cut along the negative real axis, restricting π<arg(z)π-\pi < \arg(z) \leq \pi (principal branch).

ExampleSquare Root Branch Cut

For f(z)=zf(z) = \sqrt{z}, the branch points are at z=0z = 0 and z=z = \infty. Choosing the branch cut along the negative real axis:

z=reiθ/2,π<θπ\sqrt{z} = \sqrt{r}e^{i\theta/2}, \quad -\pi < \theta \leq \pi

As we cross the branch cut from above (θ=π\theta = \pi^-) to below (θ=π+\theta = -\pi^+):

x+i0+=ixx+i0=ix\sqrt{-x + i0^+} = i\sqrt{x} \to \sqrt{-x + i0^-} = -i\sqrt{x}

showing the discontinuity needed to make the function single-valued.

RemarkPhysics Applications of Branch Cuts
  • Quantum scattering theory: The SS-matrix has branch cuts corresponding to threshold energies for particle production
  • Dispersion relations: Analytic continuation of response functions has branch cuts at physical frequencies
  • Conformal mapping: Branch cuts allow mapping of multiply-connected domains

These foundational concepts enable sophisticated techniques for evaluating integrals, solving differential equations, and analyzing physical systems throughout mathematical physics.