3.1 Euler’s formula and the phasor

Almost every formula in acoustics that looks like cos(ωtkx+φ)\cos(\omega t - k x + \varphi) is really a complex exponential in disguise. The reason is purely pragmatic: complex exponentials make linear ODEs and PDEs into algebra. Time derivatives become multiplication by iωi\omega; spatial derivatives become multiplication by ik-i\mathbf{k}; the wave equation collapses to the algebraic dispersion relation ω2=c2k2\omega^2 = c^2 |\mathbf{k}|^2. The “complex” is a misnomer — using complex exponentials makes everything simpler.

This first lesson develops Euler’s formula and the phasor representation that the rest of the chapter (and the rest of the Sound book) uses. The next two lessons take the same machinery into damped oscillations and into wave propagation, in turn.

Euler’s formula

The starting point is

  eiθ  =  cosθ  +  isinθ,  \boxed{\;e^{i\theta} \;=\; \cos\theta \;+\; i\sin\theta,\;}

equivalently

cosθ  =  12(eiθ+eiθ),sinθ  =  12i(eiθeiθ).\cos\theta \;=\; \tfrac{1}{2}\bigl(e^{i\theta} + e^{-i\theta}\bigr), \qquad \sin\theta \;=\; \tfrac{1}{2i}\bigl(e^{i\theta} - e^{-i\theta}\bigr).

The identity has a one-page derivation from the Taylor series of exe^x, cosθ\cos\theta, and sinθ\sin\theta, but is best memorised: it is the most-used identity in this project after E=12mv2E = \tfrac12 m v^2.

ReImθcos θ+1.00sin θ+0.00
e = +1.00 + i·+0.00

The interactive is the entire content of Euler’s formula in one picture. As θ\theta winds around the unit circle, the complex number eiθe^{i\theta} traces it; its real part is cosθ\cos\theta, its imaginary part is sinθ\sin\theta. The two side panels build up the cosine and sine curves in synchrony with the rotation. Scrub the slider or hit spin — the entire machinery of phasors is in that single rotating arrow.

Euler's formula from Taylor series

The Taylor series of the three functions around zero:

ex  =  1+x+x22!+x33!+x44!+x55!+e^x \;=\; 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \frac{x^4}{4!} + \frac{x^5}{5!} + \cdotscosθ  =  1θ22!+θ44!θ66!+\cos\theta \;=\; 1 - \frac{\theta^2}{2!} + \frac{\theta^4}{4!} - \frac{\theta^6}{6!} + \cdotssinθ  =  θθ33!+θ55!θ77!+\sin\theta \;=\; \theta - \frac{\theta^3}{3!} + \frac{\theta^5}{5!} - \frac{\theta^7}{7!} + \cdots

Substitute x=iθx = i\theta in the exponential. Use i2=1i^2 = -1, so i3=ii^3 = -i, i4=1i^4 = 1, i5=ii^5 = i, i6=1i^6 = -1, and the powers cycle with period 4:

eiθ  =  1+iθ+(iθ)22!+(iθ)33!+(iθ)44!+(iθ)55!+e^{i\theta} \;=\; 1 + i\theta + \frac{(i\theta)^2}{2!} + \frac{(i\theta)^3}{3!} + \frac{(i\theta)^4}{4!} + \frac{(i\theta)^5}{5!} + \cdots  =  1+iθθ22!iθ33!+θ44!+iθ55!.\;=\; 1 + i\theta - \frac{\theta^2}{2!} - i\,\frac{\theta^3}{3!} + \frac{\theta^4}{4!} + i\,\frac{\theta^5}{5!} - \cdots.

Group real and imaginary parts:

  =  (1θ22!+θ44!)cosθ  +  i(θθ33!+θ55!)sinθ.\;=\; \underbrace{\left(1 - \frac{\theta^2}{2!} + \frac{\theta^4}{4!} - \cdots\right)}_{\cos\theta} \;+\; i\,\underbrace{\left(\theta - \frac{\theta^3}{3!} + \frac{\theta^5}{5!} - \cdots\right)}_{\sin\theta}.

Therefore eiθ=cosθ+isinθe^{i\theta} = \cos\theta + i\sin\theta. ✓

The derivation is purely formal — it rests on the Taylor series of exe^x also converging for x=iθx = i\theta, which is a real theorem of complex analysis (the series for exe^x has infinite radius of convergence). The identity is the cleanest single instance of why complex numbers are useful: a single analytic function eiθe^{i\theta} packages the two real trigonometric functions into one object.

The history — Euler 1748, Steinmetz 1893

Leonhard Euler stated the identity eiθ=cosθ+isinθe^{i\theta} = \cos\theta + i\sin\theta in his 1748 Introductio in analysin infinitorum. He derived it from the Taylor series, much as above, treating the substitution xiθx \to i\theta in the exponential series as a formal manipulation. At the time the legitimacy of complex numbers was contested — some mathematicians regarded 1\sqrt{-1} as a meaningless symbol — and Euler’s identity was one of the strongest arguments for taking them seriously. The special case θ=π\theta = \pi gives eiπ+1=0e^{i\pi} + 1 = 0, often cited as the most beautiful equation in mathematics for the way it ties together five fundamental constants.

The use of complex exponentials as phasors for engineering analysis came nearly 150 years later. Charles Proteus Steinmetz, a German-American engineer at General Electric, introduced the phasor method in an 1893 paper to handle AC-circuit analysis. Before Steinmetz, the equations of alternating-current networks were solved by trigonometric identities — slow, error-prone, and unscalable. Steinmetz’s phasor representation collapsed the algebra into single-line formulas, and within a decade AC power systems were the standard. The same trick reaches into acoustics through the wave-equation phasor solutions you’ll meet in Sound Ch 5.

Phasors

A phasor is a complex amplitude that encodes both amplitude and phase. Given a real oscillation

x(t)  =  Acos(ωt+φ),x(t) \;=\; A \cos(\omega t + \varphi),

the corresponding phasor is

  X~    Aeiφ,x(t)  =  Re[X~eiωt].  \boxed{\;\tilde X \;\equiv\; A\, e^{i\varphi}, \qquad x(t) \;=\; \operatorname{Re}\bigl[\, \tilde X\, e^{i\omega t}\, \bigr].\;}

The real signal is recovered by multiplying the phasor by eiωte^{i\omega t} and taking the real part. The phasor captures the constant information about the oscillation — amplitude and phase — while eiωte^{i\omega t} carries the time evolution. The advantage: time derivatives become multiplication by iωi\omega, and time integrals become division by iωi\omega. The equations of motion become algebraic.

ReImZ₁Z₂Z₁+Z₂

Z₁ = +1.00 +0.00i  |  Z₂ = +0.00 +0.80i  |  Z₁ + Z₂ = +1.00 +0.80i (magnitude 1.28, phase 39°)

The interactive shows the addition of two phasors Z1+Z2Z_1 + Z_2 as vector addition in the complex plane. Tip-to-tail: the orange phasor starts at the origin; the blue one is translated so it starts at the orange’s tip; the resultant (black) goes from origin to the final tip. Slide the magnitudes and phases to feel how the sum’s magnitude and phase depend on both inputs — in particular, two phasors of equal magnitude can sum to anything from 2Z2|Z| (in phase) to 00 (180°180° out of phase). The latter case is the algebraic signature of destructive interference.

Useful identities

A few that come up constantly:

A first application: solving the driven oscillator in one line

Consider the damped driven oscillator

mx¨+bx˙+kx  =  F0cos(ωt).m \ddot x + b \dot x + k x \;=\; F_0 \cos(\omega t).

Replace the real driving force by the complex one F0eiωtF_0 e^{i\omega t} (taking real parts at the end). Try x(t)=X~eiωtx(t) = \tilde X e^{i\omega t} as an ansatz. Substituting and using x˙=iωX~eiωt\dot x = i\omega \tilde X e^{i\omega t}, x¨=ω2X~eiωt\ddot x = -\omega^2 \tilde X e^{i\omega t}:

[mω2+ibω+k]X~eiωt  =  F0eiωt.\bigl[-m\omega^2 + i b \omega + k\bigr]\, \tilde X \, e^{i\omega t} \;=\; F_0 \, e^{i\omega t}.

Cancel the exponentials and solve:

X~  =  F0kmω2+ibω.\tilde X \;=\; \frac{F_0}{k - m\omega^2 + i b \omega}.

The amplitude is X~|\tilde X| and the phase relative to the drive is arg(X~)\arg(\tilde X). We just dispatched a second-order ODE with one line of algebra. The cost was carrying around an ii.

The same trick — substitute a complex exponential, do algebra, take real parts — runs through every linear acoustic problem in the bookshelf. The damped oscillator is one example; plane-wave solutions of the wave equation, transfer functions of linear filters, impedance of circuits, are all variations.

Cautions

Two things to watch:

What’s next

The next lesson, 3.2 — Damped oscillations as phasors, extends the phasor picture to complex arguments: e(γ+iω)te^{(-\gamma + i\omega) t} traces a logarithmic spiral inward in the complex plane, with the real part being a damped sinusoid. This is the eigenfunction of every linear damped system on the bookshelf.

The lesson after that, 3.3 — Plane waves and complex impedance, extends the phasor framework to functions of space and time, producing plane waves ei(ωtkr)e^{i(\omega t - \mathbf{k} \cdot \mathbf{r})} and the complex-impedance picture that runs through every filter, every Bode plot, every acoustic-loudspeaker analysis.