Skip to content

Applications of Complex Analysis

In this lesson you’ll see the theory applied: AC circuits and phasors, system stability from pole locations, aerodynamic lift, transforms in signal processing, and the appearance of contour integration in the theory of prime numbers.

Reading a function from its poles and zeros

Section titled “Reading a function from its poles and zeros”

Most applications amount to the same move: encode a physical system as an analytic or meromorphic function, then read the physics off the locations of its poles and zeros.

The surface plots f(z)|f(z)| as a height. Poles are spikes, zeros are points touching the floor. Engineers work with exactly this picture, usually looking at it from directly above as a pole-zero plot, and the intuition transfers directly: a pole near the region you care about produces a large response, a zero near it produces a small one.

A sinusoidal voltage Vcos(ωt+ϕ)V\cos(\omega t+\phi) is represented by the single complex number V~=Veiϕ\tilde V = Ve^{i\phi}, its phasor. Differentiation in time becomes multiplication by iωi\omega, so the differential equations of a circuit become linear algebra over C\mathbb{C}.

Impedance then combines resistance and reactance in one complex number:

ZR=R,ZL=iωL,ZC=1iωCZ_R = R, \qquad Z_L = i\omega L, \qquad Z_C = \frac{1}{i\omega C}

and Ohm’s law V~=ZI~\tilde V = Z\tilde I holds with complex quantities. Series and parallel combinations use the same rules as resistors. The modulus Z|Z| gives the amplitude ratio and argZ\arg Z gives the phase shift, so both pieces of physical information sit in one number.

This is why electrical engineers write jj rather than ii: the symbol ii is already taken by current.

A linear system is described by a transfer function H(s)H(s), a rational function of the complex variable ss. The poles are the natural frequencies, and a pole at s=σ+iωs = \sigma+i\omega contributes a term behaving like eσtcos(ωt)e^{\sigma t}\cos(\omega t).

The consequence is a clean geometric criterion:

stable    every pole has Res<0\text{stable} \iff \text{every pole has } \operatorname{Re}s < 0

Poles in the left half plane decay, poles on the imaginary axis oscillate forever, and poles in the right half plane blow up. Design becomes the placement of points in C\mathbb{C}, and the root-locus and Nyquist plots from the argument principle lesson are the tools for doing it.

For digital systems the same story holds with the unit circle in place of the imaginary axis: stability means all poles inside z<1|z|<1.

Two-dimensional incompressible irrotational flow has a complex potential Φ=ϕ+iψ\Phi = \phi+i\psi, with ϕ\phi the velocity potential and ψ\psi the stream function. Streamlines are level curves of ψ\psi, and the velocity field is recovered from Φ(z)\overline{\Phi'(z)}.

Flow past a cylinder is elementary. Flow past a wing is not - but the Joukowski map w=z+1zw = z+\frac1z carries a suitable circle to an aerofoil shape, and because conformal maps preserve the governing equation, the mapped flow solves the wing problem. The result is the Kutta–Joukowski theorem:

L=ρUΓL = \rho U\Gamma

lift per unit span equals density times speed times circulation. The circulation Γ\Gamma is a contour integral, so lift is literally computed by an integral around a closed curve.

That the region outside the wing is not simply connected is essential; on a simply connected region Cauchy’s theorem would force Γ=0\Gamma=0 and there would be no lift. The topology is doing physical work.

The Fourier transform, Laplace transform, and zz-transform are all integrals with complex exponentials, and their inverses are contour integrals evaluated by residues.

  • Inverting a Laplace transform means summing residues along the Bromwich contour, with each pole contributing one exponential mode. This is why step responses are sums of decaying exponentials.
  • A filter’s frequency response is its transfer function evaluated on a contour: the imaginary axis for analog, the unit circle for digital.
  • The region of convergence of a zz-transform is an annulus, and whether the annulus contains the unit circle decides stability and causality.

Every filter design tool is a complex analysis tool with an engineering interface.

The most surprising application. The Riemann zeta function

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

converges for Res>1\operatorname{Re}s>1 and continues analytically to the rest of the plane, with a single simple pole at s=1s=1. Euler’s product formula

ζ(s)=p prime11ps\zeta(s) = \prod_{p \text{ prime}}\frac{1}{1-p^{-s}}

ties it to the primes.

The prime number theorem - that the number of primes below xx is asymptotically xlnx\frac{x}{\ln x} - is proved by contour integration, using the fact that ζ\zeta has no zeros on the line Res=1\operatorname{Re}s=1. The Riemann hypothesis, that all non-trivial zeros lie on Res=12\operatorname{Re}s = \frac12, would sharpen the error term to essentially the best possible, and it remains open.

A counting problem about integers is settled by contour integration. That connection is one of the strangest and most productive in mathematics.

Quantum mechanics. Amplitudes are complex, and interference is their addition. Time evolution is multiplication by eiEt/e^{-iEt/\hbar}, and resonances appear as poles in the complex energy plane.

Fractals. The Mandelbrot and Julia sets are defined by the boundedness of orbits under zz2+cz\mapsto z^2+c. Newton’s method in C\mathbb{C} has fractal basin boundaries.

Numerical linear algebra. Matrix functions such as eAe^A are defined and computed by the Cauchy integral formula around a contour enclosing the spectrum, and contour-based eigensolvers count eigenvalues in a region by the argument principle.

Example 1: Compute an impedance.

Find the impedance of a 100Ω100\,\Omega resistor in series with a 50 mH50\text{ mH} inductor at ω=1000\omega = 1000 rad/s.

Solution.

Z=R+iωL=100+i(1000)(0.05)=100+50iZ = R+i\omega L = 100 + i(1000)(0.05) = 100+50i Z=1002+502111.8Ω,argZ=arctan5010026.57°|Z| = \sqrt{100^2+50^2}\approx111.8\,\Omega, \qquad \arg Z = \arctan\frac{50}{100}\approx26.57°

So the current lags the voltage by about 26.6°26.6° and the amplitude ratio is 111.8111.8. Two physical facts, one complex number.

Example 2: Decide stability.

H(s)=s+2(s+1)(s3)H(s) = \dfrac{s+2}{(s+1)(s-3)}. Is the system stable?

Solution. Poles at s=1s=-1 and s=3s=3. Since Re(3)=3>0\operatorname{Re}(3) = 3 > 0,

unstable\text{unstable}

The pole at 3 contributes a term growing like e3te^{3t}. The zero at 2-2 shapes the response but has no bearing on stability. ∎

Example 3: Interpret a complex pole pair.

A system has poles at s=2±3is = -2\pm3i. Describe its response.

Solution. The real part 2-2 gives a decay envelope e2te^{-2t}, and the imaginary part gives oscillation at 3 rad/s:

responsee2tcos(3t+φ)\text{response} \sim e^{-2t}\cos(3t+\varphi)

A damped oscillation, stable, ringing at 3 rad/s and settling on a timescale of about 12\frac12 s. Real part is decay, imaginary part is frequency, and that reading is used constantly in design.

Example 4: Verify the cylinder is a streamline.

For Φ(z)=U(z+a2z)\Phi(z) = U\left(z+\frac{a^2}{z}\right), show z=a|z|=a is a streamline and find the stagnation points.

Solution. With z=reiθz=re^{i\theta},

ψ=ImΦ=U(ra2r)sinθ\psi = \operatorname{Im}\Phi = U\left(r-\frac{a^2}{r}\right)\sin\theta

At r=ar=a the bracket vanishes, so ψ0\psi\equiv0 there: a level curve of ψ\psi, hence a streamline. ✓

Stagnation points occur where the velocity vanishes:

Φ(z)=U(1a2z2)=0    z=±a\Phi'(z) = U\left(1-\frac{a^2}{z^2}\right) = 0 \implies z=\pm a

the front and rear of the cylinder, as observed physically. ∎

Example 5: Invert a Laplace transform by residues.

Find the inverse transform of F(s)=1(s+1)(s+2)F(s) = \dfrac{1}{(s+1)(s+2)}.

Solution. The inverse is 12πiF(s)estds\frac{1}{2\pi i}\int F(s)e^{st}ds along the Bromwich contour, evaluated as the sum of residues at the poles.

At s=1s=-1: Res=et1+2=et\operatorname{Res} = \frac{e^{-t}}{-1+2} = e^{-t}.

At s=2s=-2: Res=e2t2+1=e2t\operatorname{Res} = \frac{e^{-2t}}{-2+1} = -e^{-2t}.

f(t)=ete2tf(t) = e^{-t}-e^{-2t}

Each pole gave one exponential mode, which is the general pattern and the reason step responses look the way they do.

Example 6: A digital filter’s stability.

A filter has transfer function H(z)=111.5z1H(z) = \dfrac{1}{1-1.5z^{-1}}. Is it stable?

Solution. Rewrite as zz1.5\frac{z}{z-1.5}, so the pole is at z=1.5z=1.5.

1.5>1    unstable|1.5| > 1 \implies \text{unstable}

For digital systems stability requires all poles strictly inside the unit circle, and this one is outside. ∎

Example 7: Sum a series with residues.

Sketch how n=11n2=π26\sum_{n=1}^{\infty}\frac{1}{n^2} = \frac{\pi^2}{6} is obtained by contour methods.

Solution. The function πcot(πz)\pi\cot(\pi z) has simple poles at every integer with residue 1, which makes it the standard tool for turning sums into integrals.

Integrating πcot(πz)z2\frac{\pi\cot(\pi z)}{z^2} around a large contour, the residues at the nonzero integers give 2n11n22\sum_{n\ge1}\frac{1}{n^2}, while the residue at the triple pole z=0z=0 contributes π23-\frac{\pi^2}{3}. Since the large-contour integral tends to 0,

2n11n2=π23n11n2=π262\sum_{n\ge1}\frac{1}{n^2} = \frac{\pi^2}{3} \quad\Longrightarrow\quad \sum_{n\ge1}\frac{1}{n^2} = \frac{\pi^2}{6}

A sum over the integers became a residue calculation. Euler found this value by other means, but the contour method generalizes to sums where nothing else works.

Power systems. Load flow, fault analysis, and transformer modelling are all phasor computations, and the entire grid is analysed with complex arithmetic.

Aircraft and turbine design. Potential flow with conformal mapping gives fast preliminary aerofoil and blade designs, still used to seed the expensive numerical simulations that follow.

Audio and image filtering. Every equalizer, reverb, and sharpening filter is specified by pole and zero placement in the complex plane, then realized as difference equations.

Control of vehicles and robots. Loop shaping is the deliberate relocation of poles, and stability margins are distances measured in the complex plane.

Medical imaging. MRI acquires data in a complex-valued frequency space and reconstructs images by Fourier transform, with phase carrying essential information.

Cryptography and computation. Fast multiplication via the FFT depends on roots of unity, making complex analysis part of the arithmetic in large-integer libraries.

What is the impedance of a 100 Ω resistor in series with an inductor giving 50 Ω of reactance?
For a continuous-time system, what is the stability condition on the poles?
A system has poles at s = −2 ± 3i. What is its response?
Why is the circulation around an aerofoil able to be nonzero?
How is an inverse Laplace transform computed by residues?
For a digital filter, where must the poles lie for stability?
What connects the Riemann zeta function to prime numbers?
On a plot of |f(z)| as a height over the plane, what do spikes and floor-touching points represent?