ConceptComplete

Complex Methods in Physics - Examples and Constructions

Complex analysis provides elegant solutions to problems in electrostatics, fluid dynamics, quantum mechanics, and signal processing through contour integration and conformal mapping.

Evaluating Real Integrals via Contour Integration

One of the most powerful applications of complex methods is evaluating definite integrals that resist standard real-variable techniques.

ExampleGaussian Integral

To evaluate I=āˆ«āˆ’āˆžāˆžeāˆ’x2dxI = \int_{-\infty}^{\infty} e^{-x^2}dx, consider the contour integral of eāˆ’z2e^{-z^2} around a rectangle with vertices at ±R\pm R and ±R+ia\pm R + ia. Since eāˆ’z2e^{-z^2} is entire (analytic everywhere), the integral around the closed contour is zero. As Rā†’āˆžR \to \infty, the vertical sides vanish, giving:

āˆ«āˆ’āˆžāˆžeāˆ’x2dx=ea2āˆ«āˆ’āˆžāˆžeāˆ’(x+ia)2dx=ea2āˆ«āˆ’āˆžāˆžeāˆ’x2dx\int_{-\infty}^{\infty} e^{-x^2}dx = e^{a^2}\int_{-\infty}^{\infty} e^{-(x+ia)^2}dx = e^{a^2}\int_{-\infty}^{\infty} e^{-x^2}dx

Setting I2=∫∫eāˆ’(x2+y2)dx dyI^2 = \int\int e^{-(x^2+y^2)}dx\,dy and converting to polar coordinates gives I=Ļ€I = \sqrt{\pi}.

ExampleFourier Transform Integral

The integral I=∫0āˆžsin⁔xxdxI = \int_0^{\infty} \frac{\sin x}{x}dx can be evaluated using ∮Ceizzdz\oint_C \frac{e^{iz}}{z}dz with a semicircular contour in the upper half-plane. The residue at z=0z = 0 contributes:

lim⁔ϵ→0∫∣z∣=ϵeizzdz=iĻ€\lim_{\epsilon \to 0}\int_{|z|=\epsilon} \frac{e^{iz}}{z}dz = i\pi

The large semicircle vanishes by Jordan's lemma, so:

āˆ«āˆ’āˆžāˆžeixxdx=iĻ€ā€…ā€ŠāŸ¹ā€…ā€Šāˆ«0āˆžsin⁔xxdx=Ļ€2\int_{-\infty}^{\infty} \frac{e^{ix}}{x}dx = i\pi \implies \int_0^{\infty} \frac{\sin x}{x}dx = \frac{\pi}{2}

ExampleFeynman Propagator Integral

In quantum field theory, the propagator integral:

D(x)=∫eikxk2āˆ’m2+iϵdkD(x) = \int \frac{e^{ikx}}{k^2 - m^2 + i\epsilon}dk

requires careful contour choice. The iϵi\epsilon prescription shifts the poles off the real axis:

k=±(māˆ’iϵ)k = \pm(m - i\epsilon)

For x>0x > 0, close the contour in the upper half-plane (where eikx→0e^{ikx} \to 0), enclosing k=māˆ’iϵk = m - i\epsilon:

D(x)=āˆ’2Ļ€iā‹…eimx2m=āˆ’Ļ€imeimx(x>0)D(x) = -2\pi i \cdot \frac{e^{imx}}{2m} = -\frac{\pi i}{m}e^{imx} \quad (x > 0)

This encodes causality: signals propagate forward in time only.

Conformal Mapping Applications

Conformal maps transform complex geometries into simple ones while preserving the form of Laplace's equation.

ExampleFlow Around a Cylinder

Consider potential flow in the zz-plane around a cylinder of radius aa. The complex potential for uniform flow UU in the xx-direction is:

w(z)=U(z+a2z)w(z) = U\left(z + \frac{a^2}{z}\right)

The velocity field is v=āˆ‡Ļ•=(āˆ‚u/āˆ‚x,āˆ‚u/āˆ‚y)\mathbf{v} = \nabla\phi = (\partial u/\partial x, \partial u/\partial y) where w=Ļ•+iψw = \phi + i\psi. At z=aeiĪøz = ae^{i\theta} (cylinder surface):

w=Ua(eiĪø+eāˆ’iĪø)=2Uacos⁔θw = Ua(e^{i\theta} + e^{-i\theta}) = 2Ua\cos\theta

showing that ψ=0\psi = 0 on the boundary (the cylinder is a streamline). The pressure distribution from Bernoulli's equation is:

pāˆ’pāˆž=12ρ(U2āˆ’v2)=āˆ’2ρU2sin⁔2Īøp - p_{\infty} = \frac{1}{2}\rho(U^2 - v^2) = -2\rho U^2\sin^2\theta

giving the d'Alembert paradox: zero net force on the cylinder in ideal flow.

ExampleElectrostatics via Schwarz-Christoffel Mapping

The Schwarz-Christoffel transformation maps the upper half-plane to polygonal regions:

z=A+B∫wāˆk=1n(Ī¶āˆ’wk)αkāˆ’1dζz = A + B\int^w \prod_{k=1}^{n}(\zeta - w_k)^{\alpha_k - 1}d\zeta

For a parallel-plate capacitor, this maps to a strip, giving the potential:

Ļ•(x,y)=Vdy\phi(x,y) = \frac{V}{d}y

For more complex geometries (e.g., comb-drive actuators in MEMS), the mapping provides exact solutions.

Laplace Transforms and Green's Functions

ExampleDamped Harmonic Oscillator

The equation xĀØ+2γxĖ™+ω02x=F(t)/m\ddot{x} + 2\gamma\dot{x} + \omega_0^2 x = F(t)/m with x(0)=xĖ™(0)=0x(0) = \dot{x}(0) = 0 transforms under L{x(t)}=x~(s)\mathcal{L}\{x(t)\} = \tilde{x}(s):

(s2+2γs+ω02)x~(s)=F~(s)m(s^2 + 2\gamma s + \omega_0^2)\tilde{x}(s) = \frac{\tilde{F}(s)}{m}

For F(t)=Ī“(t)F(t) = \delta(t), F~=1\tilde{F} = 1, giving the Green's function:

G~(s)=1m(s2+2γs+ω02)=1m(sāˆ’s+)(sāˆ’sāˆ’)\tilde{G}(s) = \frac{1}{m(s^2 + 2\gamma s + \omega_0^2)} = \frac{1}{m(s - s_+)(s - s_-)}

where s±=āˆ’Ī³Ā±Ī³2āˆ’Ļ‰02s_{\pm} = -\gamma \pm \sqrt{\gamma^2 - \omega_0^2}. Inverting by partial fractions:

G(t)=1mωsin⁔(ωt)eāˆ’Ī³tĪø(t),ω=ω02āˆ’Ī³2G(t) = \frac{1}{m\omega}\sin(\omega t)e^{-\gamma t}\theta(t), \quad \omega = \sqrt{\omega_0^2 - \gamma^2}

for underdamped motion (γ<ω0\gamma < \omega_0).

RemarkSteepest Descent and Saddle Point Methods

For integrals of the form I(Ī»)=∫CeĪ»f(z)g(z)dzI(\lambda) = \int_C e^{\lambda f(z)}g(z)dz with large Ī»\lambda, the method of steepest descent deforms the contour through saddle points z0z_0 where f′(z0)=0f'(z_0) = 0:

I(Ī»)∼g(z0)eĪ»f(z0)2Ļ€Ī»āˆ£f′′(z0)∣I(\lambda) \sim g(z_0)e^{\lambda f(z_0)}\sqrt{\frac{2\pi}{\lambda|f''(z_0)|}}

This technique is essential in WKB approximation, statistical mechanics (partition functions), and asymptotic analysis.

These examples showcase how complex methods provide both exact solutions and powerful approximation techniques across mathematical physics.