ConceptComplete

Complex Methods in Physics - Key Properties

The properties of analytic functions lead to powerful computational techniques and deep connections between seemingly disparate physical phenomena.

Cauchy's Integral Formula

TheoremCauchy's Integral Formula

If f(z)f(z) is analytic in a simply connected domain DD and CC is a closed contour in DD enclosing a point z0z_0, then:

f(z0)=12πiCf(z)zz0dzf(z_0) = \frac{1}{2\pi i}\oint_C \frac{f(z)}{z - z_0}dz

For derivatives, this generalizes to:

f(n)(z0)=n!2πiCf(z)(zz0)n+1dzf^{(n)}(z_0) = \frac{n!}{2\pi i}\oint_C \frac{f(z)}{(z - z_0)^{n+1}}dz

This remarkable formula shows that the value of an analytic function at any interior point is completely determined by its values on the boundary. Moreover, if ff is analytic, it has derivatives of all orders, automatically making it infinitely differentiable (unlike real functions, where differentiability doesn't imply higher differentiability).

ExampleComputing Derivatives via Cauchy Formula

To find f(3)(0)f^{(3)}(0) for f(z)=ezsinzf(z) = e^z\sin z using a circular contour z=1|z| = 1:

f(3)(0)=3!2πiz=1ezsinzz4dzf^{(3)}(0) = \frac{3!}{2\pi i}\oint_{|z|=1} \frac{e^z\sin z}{z^4}dz

Expanding ezsinz=z+z2+z33z530+e^z\sin z = z + z^2 + \frac{z^3}{3} - \frac{z^5}{30} + \cdots, we need the coefficient of z3z^3:

f(3)(0)=3!13=2f^{(3)}(0) = 3! \cdot \frac{1}{3} = 2

Maximum Modulus Principle

TheoremMaximum Modulus Principle

If f(z)f(z) is analytic and non-constant in a domain DD, then f(z)|f(z)| has no local maximum in the interior of DD. The maximum of f(z)|f(z)| on a closed bounded region occurs on the boundary.

This principle has profound physical implications. For instance, the electrostatic potential in a charge-free region has no local extrema—it's maximized or minimized only on the boundaries or at charge locations.

ExampleHeat Flow and Harmonic Functions

The temperature T(x,y)T(x,y) in a steady-state heat distribution satisfies Laplace's equation 2T=0\nabla^2 T = 0. Writing TT as the real part of an analytic function f(z)=T+iSf(z) = T + iS, the maximum modulus principle implies:

  • The temperature maximum occurs on the boundary (no hot spots in the interior)
  • Heat flows from boundary to interior, never accumulating internally

This is the maximum principle for harmonic functions.

Conformal Mapping Properties

DefinitionConformal Map

A function f(z)f(z) is conformal at z0z_0 if it preserves angles between curves passing through z0z_0. An analytic function with f(z0)0f'(z_0) \neq 0 is conformal at z0z_0.

The mapping:

  • Preserves angles (including orientation)
  • Locally scales distances by f(z0)|f'(z_0)|
  • Maps infinitesimal circles to infinitesimal circles
ExampleJoukowski Transformation

The Joukowski map w=z+1/zw = z + 1/z is used in airfoil theory:

w=z+1z=reiθ+1reiθ=(r+1r)cosθ+i(r1r)sinθw = z + \frac{1}{z} = re^{i\theta} + \frac{1}{r}e^{-i\theta} = \left(r + \frac{1}{r}\right)\cos\theta + i\left(r - \frac{1}{r}\right)\sin\theta

For r=1r = 1 (unit circle), this maps to the line segment [2,2][-2, 2] on the real axis. For circles r>1r > 1 slightly off-center, it produces airfoil shapes. The conformality ensures that solutions to Laplace's equation (potential flow around a circle) transform to solutions around the airfoil.

Analytic Continuation and Uniqueness

TheoremIdentity Theorem

If two analytic functions f(z)f(z) and g(z)g(z) agree on a sequence of points {zn}\{z_n\} converging to a point in their common domain of analyticity, then f(z)=g(z)f(z) = g(z) throughout their common domain.

This theorem justifies analytic continuation: extending an analytic function beyond its original domain of definition. If we know f(z)f(z) on a small region, there's at most one analytic extension to a larger domain.

ExampleRiemann Zeta Function

The Riemann zeta function initially defined for (s)>1\Re(s) > 1 by:

ζ(s)=n=11ns\zeta(s) = \sum_{n=1}^{\infty}\frac{1}{n^s}

can be analytically continued to the entire complex plane except s=1s = 1 (a simple pole). The functional equation:

ζ(s)=2sπs1sin(πs2)Γ(1s)ζ(1s)\zeta(s) = 2^s\pi^{s-1}\sin\left(\frac{\pi s}{2}\right)\Gamma(1-s)\zeta(1-s)

relates values at ss and 1s1-s, enabling the continuation. The zeta function's zeros are crucial in number theory (Riemann hypothesis) and quantum chaos.

RemarkPhysical Analytic Continuation

In quantum field theory, Wick rotation analytically continues time tiτt \to -i\tau to Euclidean time, connecting Minkowski and Euclidean formulations. Scattering amplitudes are analytically continued from physical to unphysical momentum regions to study bound states and resonances.

These properties make complex analysis an indispensable tool for solving differential equations, evaluating integrals, and understanding the analytic structure of physical quantities.