1.3 Taylor series and linearisation

The previous two lessons developed derivatives and integrals as the two inverse operations of calculus. This third lesson sits on top of both: a Taylor series uses derivatives at a single point to approximate a function in a neighbourhood. The first-order truncation — keeping only the constant and linear terms — is linearisation, the single most-used technique in physics. Acoustics is the linearised theory of fluid mechanics. Optics is the linearised theory of Maxwell’s equations. The harmonic oscillator is the linearised pendulum. Newton’s law of cooling is the linearised Stefan–Boltzmann law.

This lesson develops Taylor series and the linearisation it makes precise.

The Taylor expansion

For a smooth function ff and a small displacement ε\varepsilon from a base point t0t_0, the Taylor expansion writes the value at the displaced point t0+εt_0 + \varepsilon as a power series in ε\varepsilon:

  f(t0+ε)  =  f(t0)  +  εf(t0)  +  12!ε2f(t0)  +  13!ε3f(t0)  +    \boxed{\;f(t_0 + \varepsilon) \;=\; f(t_0) \;+\; \varepsilon\, f'(t_0) \;+\; \tfrac{1}{2!} \varepsilon^2\, f''(t_0) \;+\; \tfrac{1}{3!} \varepsilon^3\, f'''(t_0) \;+\; \cdots\;}

or, compactly,

f(t0+ε)  =  n=0εnn!f(n)(t0).f(t_0 + \varepsilon) \;=\; \sum_{n=0}^{\infty} \frac{\varepsilon^n}{n!}\, f^{(n)}(t_0).

Here t0t_0 is the base point, ε=tt0\varepsilon = t - t_0 is the small displacement from it, and f(n)(t0)f^{(n)}(t_0) is the nn-th derivative of ff evaluated at t0t_0, with the conventions f(0)=ff^{(0)} = f and 0!=10! = 1. The series gives ff in a neighbourhood of t0t_0 entirely in terms of ff and its derivatives at t0t_0: all the local information about a smooth ff is carried by those derivatives.

Truncating the series at degree NN gives the Taylor polynomial TN(t;t0)T_N(t; t_0), the polynomial of degree NN that matches ff and its first NN derivatives at t0t_0. The construction has a clean logic. A degree-NN polynomial has N+1N+1 free coefficients — exactly enough to fix the value and the first NN derivatives at one point. Degree 0 matches only the value, a horizontal line through (t0,f(t0))(t_0, f(t_0)); degree 1 also matches the slope, the tangent line; degree 2 also matches the curvature, the best-fitting parabola; each higher degree pins down one further derivative. The weighting εn/n!\varepsilon^n/n! is what keeps the terms from interfering: the nn-th term contributes to the nn-th derivative at t0t_0 and to no lower one, so adding it corrects f(n)f^{(n)} without disturbing what the earlier terms already matched. The error left after degree NN is of order εN+1\varepsilon^{N+1} — written O(εN+1)\mathcal{O}(\varepsilon^{N+1}), meaning it is bounded by a constant times εN+1\varepsilon^{N+1} as ε0\varepsilon \to 0 — small for small ε\varepsilon and growing as tt moves away from t0t_0.

f(x) = sin xTaylor T_{N=3}(x; x₀=0.00)
function:

The interactive builds the Taylor polynomial TN(x;x0)T_N(x; x_0) of a chosen function. Slide the expansion point x0x_0 and the degree NN and watch the red approximation track the black true curve near x0x_0 and diverge from it far away. Two things to look for:

The Maclaurin series: Taylor at zero

When the base point is t0=0t_0 = 0, the Taylor series is called the Maclaurin series,

f(x)  =  n=0f(n)(0)n!xn.f(x) \;=\; \sum_{n=0}^{\infty} \frac{f^{(n)}(0)}{n!}\, x^n.

Five cases recur throughout physics, each obtained by the same routine — compute the derivatives f(n)(0)f^{(n)}(0) and read off the coefficients f(n)(0)/n!f^{(n)}(0)/n!.

ex  =  1+x+x22!+x33!+x44!+e^x \;=\; 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \frac{x^4}{4!} + \cdots
Maclaurin series of eˣ Derivation

Every derivative of f(x)=exf(x) = e^x is again exe^x, so f(n)(x)=exf^{(n)}(x) = e^x and f(n)(0)=e0=1f^{(n)}(0) = e^0 = 1 for every nn. The coefficients are f(n)(0)/n!=1/n!f^{(n)}(0)/n! = 1/n!:

ex  =  n=0xnn!  =  1+x+x22!+x33!+.  e^x \;=\; \sum_{n=0}^{\infty} \frac{x^n}{n!} \;=\; 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \cdots. \;✓
sinx  =  xx33!+x55!x77!+\sin x \;=\; x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots
Maclaurin series of sin x Derivation

Differentiating sin\sin cycles with period four: f=sinxf = \sin x, f=cosxf' = \cos x, f=sinxf'' = -\sin x, f=cosxf''' = -\cos x, f(4)=sinxf^{(4)} = \sin x, and so on. At x=0x = 0, sin0=0\sin 0 = 0 and cos0=1\cos 0 = 1, so the derivative values cycle 0,1,0,1,0,1,0,\,1,\,0,\,-1,\,0,\,1,\dots. The even-order terms vanish; the odd-order terms alternate in sign:

sinx  =  k=0(1)k(2k+1)!x2k+1  =  xx33!+x55!.  \sin x \;=\; \sum_{k=0}^{\infty} \frac{(-1)^k}{(2k+1)!}\, x^{2k+1} \;=\; x - \frac{x^3}{3!} + \frac{x^5}{5!} - \cdots. \;✓
cosx  =  1x22!+x44!x66!+\cos x \;=\; 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \cdots
Maclaurin series of cos x Derivation

The same four-cycle, started from cos\cos: f=cosxf = \cos x, f=sinxf' = -\sin x, f=cosxf'' = -\cos x, f=sinxf''' = \sin x. At x=0x = 0 the values cycle 1,0,1,0,1,\,0,\,-1,\,0,\dots, so only the even-order terms survive:

cosx  =  k=0(1)k(2k)!x2k  =  1x22!+x44!.  \cos x \;=\; \sum_{k=0}^{\infty} \frac{(-1)^k}{(2k)!}\, x^{2k} \;=\; 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \cdots. \;✓

Equivalently, differentiate the sinx\sin x series term by term.

(1+x)p  =  1+px+p(p1)2!x2+p(p1)(p2)3!x3+(binomial series)(1 + x)^p \;=\; 1 + p x + \frac{p(p-1)}{2!} x^2 + \frac{p(p-1)(p-2)}{3!} x^3 + \cdots \qquad (\text{binomial series})
The binomial series Derivation

For f(x)=(1+x)pf(x) = (1+x)^p each derivative brings down a factor and lowers the exponent by one:

f(n)(x)  =  p(p1)(pn+1)(1+x)pn.f^{(n)}(x) \;=\; p(p-1)\cdots(p-n+1)\,(1+x)^{p-n}.

At x=0x = 0 the power factor (1+x)pn(1+x)^{p-n} is 11, so f(n)(0)=p(p1)(pn+1)f^{(n)}(0) = p(p-1)\cdots(p-n+1). Dividing by n!n! gives the binomial coefficient (pn)\binom{p}{n}:

(1+x)p  =  n=0(pn)xn,(pn)=p(p1)(pn+1)n!.(1 + x)^p \;=\; \sum_{n=0}^{\infty} \binom{p}{n} x^n, \qquad \binom{p}{n} = \frac{p(p-1)\cdots(p-n+1)}{n!}.

When pp is a non-negative integer the chain p(p1)p(p-1)\cdots hits zero and the series terminates, reproducing the ordinary binomial theorem; for any other pp it is a genuine infinite series. ✓

ln(1+x)  =  xx22+x33x44+\ln(1 + x) \;=\; x - \frac{x^2}{2} + \frac{x^3}{3} - \frac{x^4}{4} + \cdots
Maclaurin series of ln(1+x) Derivation

Here f(x)=ln(1+x)f(x) = \ln(1+x) with f(0)=ln1=0f(0) = \ln 1 = 0, and f(x)=(1+x)1f'(x) = (1+x)^{-1}. Differentiating the power repeatedly,

f(n)(x)  =  (1)n1(n1)!(1+x)n(n1),f(n)(0)=(1)n1(n1)!.f^{(n)}(x) \;=\; (-1)^{n-1}\,(n-1)!\,(1+x)^{-n} \quad (n \ge 1), \qquad f^{(n)}(0) = (-1)^{n-1}(n-1)!.

The coefficient is f(n)(0)/n!=(1)n1/nf^{(n)}(0)/n! = (-1)^{n-1}/n:

ln(1+x)  =  n=1(1)n1nxn  =  xx22+x33.  \ln(1 + x) \;=\; \sum_{n=1}^{\infty} \frac{(-1)^{n-1}}{n}\, x^n \;=\; x - \frac{x^2}{2} + \frac{x^3}{3} - \cdots. \;✓

Equivalently, integrate the geometric series 11+x=1x+x2\tfrac{1}{1+x} = 1 - x + x^2 - \cdots term by term from 00 to xx.

Substituting x=iθx = i\theta into the exe^x series — and using that the powers of ii cycle 1,i,1,i1, i, -1, -i with period four — sorts the terms into the real cosθ\cos\theta series and the imaginary isinθi\sin\theta series, giving Euler’s formula eiθ=cosθ+isinθe^{i\theta} = \cos\theta + i\sin\theta. This is developed in Foundations 3.1.

Radius of convergence

A power series nan(tt0)n\sum_{n} a_n (t - t_0)^n need not converge for every displacement ε=tt0\varepsilon = t - t_0. The radius of convergence RR is the number for which the series converges whenever tt0<R|t - t_0| < R and diverges whenever tt0>R|t - t_0| > R (behaviour exactly at tt0=R|t - t_0| = R has to be checked case by case). For the five series above:

The geometric meaning is exact: RR is the distance from the base point t0t_0 to the nearest singularity of ff in the complex plane. The functions exe^x, sinx\sin x, cosx\cos x have no singularities anywhere — they are entire — so R=R = \infty. Both ln(1+x)\ln(1+x) and (1+x)p(1+x)^p misbehave at x=1x = -1 (a logarithmic divergence in the first, a branch point in the second), a distance 11 from the origin, so R=1R = 1. The same rule explains a function that is perfectly finite on the real line: 1/(1+x2)1/(1+x^2) expanded about 00 has R=1R = 1, because it has singularities at x=±ix = \pm i, a distance 11 away in the complex plane even though nothing goes wrong for real xx. Physically, “Taylor expand about equilibrium” is trustworthy only within this radius; a perturbation large enough to reach the nearest singularity requires a different base point or a different method entirely.

Linearisation: first-order Taylor

The first-order truncation of the Taylor expansion is

f(t0+ε)    f(t0)+εf(t0)+O(ε2).f(t_0 + \varepsilon) \;\approx\; f(t_0) + \varepsilon\, f'(t_0) + \mathcal{O}(\varepsilon^2).

This is the linearisation of ff around t0t_0: a good approximation for small ε\varepsilon, useless for large. It is the move that turns a nonlinear physics problem into a linear one. The full pendulum equation,

θ¨  +  gLsinθ  =  0,\ddot \theta \;+\; \frac{g}{L} \sin\theta \;=\; 0,

with θ\theta the angular displacement from vertical, gg the gravitational acceleration, and LL the pendulum length, is nonlinear because sinθ\sin\theta depends nonlinearly on θ\theta. For small angles,

sinθ  =  θθ36+    θ+O(θ3),\sin\theta \;=\; \theta - \frac{\theta^3}{6} + \cdots \;\approx\; \theta + \mathcal{O}(\theta^3),

so the linearised pendulum is

θ¨  +  gLθ  =  0,\ddot \theta \;+\; \frac{g}{L}\, \theta \;=\; 0,

the simple-harmonic-motion equation of Foundations 5.3, with the closed-form solution θ(t)=Acos(ω0t+φ)\theta(t) = A \cos(\omega_0 t + \varphi)amplitude AA, phase φ\varphi, and natural frequency ω0=g/L\omega_0 = \sqrt{g/L}. Below about 30°30° this is essentially exact; above that, the cubic correction begins to matter.

Linearising sin θ: the full procedure with error bounds Worked Example

The linearisation sinθθ\sin\theta \approx \theta is one line of algebra in the main text, but the procedure that produces it generalises to every linearisation in physics.

Step 1 — Identify the function and the base point. We want to approximate f(θ)=sinθf(\theta) = \sin\theta near θ0=0\theta_0 = 0 (the pendulum’s equilibrium). The small displacement is ε=θθ0=θ\varepsilon = \theta - \theta_0 = \theta.

Step 2 — Compute the function value at the base point.

f(θ0)=sin(0)=0.f(\theta_0) = \sin(0) = 0.

Step 3 — Compute the first derivative at the base point.

f(θ)=cosθ,f(θ0)=cos(0)=1.f'(\theta) = \cos\theta, \qquad f'(\theta_0) = \cos(0) = 1.

Step 4 — Assemble the first-order Taylor expansion.

sinθ    f(θ0)0+εf(θ0)1  =  θ.\sin\theta \;\approx\; \underbrace{f(\theta_0)}_{0} + \varepsilon\,\underbrace{f'(\theta_0)}_{1} \;=\; \theta.

This is the small-angle approximation in the main text.

Step 5 — Estimate the error using the next term. The Taylor remainder after truncating at order NN is O(εN+1)\mathcal{O}(\varepsilon^{N+1}). For a generic function the leading error of a linearisation is the ε2\varepsilon^2 term, 12ε2f(θ0)\tfrac{1}{2}\varepsilon^2 f''(\theta_0). For sinθ\sin\theta that term vanishes — sin\sin is odd, so all its even-order derivatives at 00 are zero (f(0)=sin0=0f''(0) = -\sin 0 = 0) — and the leading error is the ε3\varepsilon^3 term:

sinθ  =  θ    θ36  +  O(θ5).\sin\theta \;=\; \theta \;-\; \frac{\theta^3}{6} \;+\; \mathcal{O}(\theta^5).

The relative error from using sinθθ\sin\theta \approx \theta is therefore

θsinθsinθ    θ3/6θ  =  θ26.\frac{\theta - \sin\theta}{\sin\theta} \;\approx\; \frac{\theta^3/6}{\theta} \;=\; \frac{\theta^2}{6}.

Step 6 — Plug in numbers and see when the approximation breaks.

| θ\theta | θ\theta (rad) | sinθ\sin\theta | absolute error | relative error | |---|---:|---:|---:|---:| | 1° | 0.01745 | 0.01745 | 9×1079 \times 10^{-7} | 0.005% | | 5° | 0.08727 | 0.08716 | 1.1×1041.1 \times 10^{-4} | 0.13% | | 10°10° | 0.17453 | 0.17365 | 8.9×1048.9 \times 10^{-4} | 0.51% | | 30°30° | 0.52360 | 0.50000 | 2.4×1022.4 \times 10^{-2} | 4.7% | | 45°45° | 0.78540 | 0.70711 | 7.8×1027.8 \times 10^{-2} | 11% | | 90°90° | 1.57080 | 1.00000 | 5.7×1015.7 \times 10^{-1} | 57% |

The relative error grows as θ2/6\theta^2/6, exactly as predicted. At 30°30° it has reached 5%\approx 5\% — the threshold where the linear pendulum stops being an honest model. By 90°90° the linearisation is useless.

The procedure generalises to any linearisation: identify ff, pick t0t_0, compute f(t0)f(t_0) and f(t0)f'(t_0), assemble, then look at the next non-zero term to estimate the error. Every “linearised theory” in the bookshelf — acoustics, optics, elasticity, weak-field gravity — is these six steps applied to a different ff.

Linearisation is the master move of acoustics

Every time the Sound book writes “small perturbation” or "pp0|p'| \ll p_0" or “linearised theory,” it is invoking a first-order Taylor expansion. The wave equation itself is what comes out of linearising the full nonlinear fluid-mechanics equations around a still-air equilibrium. Write each field as a constant equilibrium value plus a small perturbation,

ρ=ρ0+ρ,v=v,p=p0+p,\rho = \rho_0 + \rho', \qquad \mathbf{v} = \mathbf{v}', \qquad p = p_0 + p',

with ρ0\rho_0 and p0p_0 the equilibrium density and pressure (constants), the primed quantities the small perturbations, and the equilibrium velocity zero — still air. Substituting these into each governing equation and keeping only first-order terms linearises it, as the three worked examples show.

Linearising the continuity equation Worked Example

The continuity equation expresses conservation of mass:

tρ+(ρv)=0,\partial_t \rho + \nabla \cdot (\rho \mathbf{v}) = 0,

with ρ\rho the density and v\mathbf{v} the velocity. It is exact but nonlinear, through the product ρv\rho\mathbf{v}.

Substitute ρ=ρ0+ρ\rho = \rho_0 + \rho' and v=v\mathbf{v} = \mathbf{v}'. Since ρ0\rho_0 is constant, tρ=tρ\partial_t\rho = \partial_t\rho', and the flux term expands as

(ρv)=[(ρ0+ρ)v]=ρ0v+(ρv)second order.\nabla \cdot (\rho \mathbf{v}) = \nabla \cdot \big[(\rho_0 + \rho')\,\mathbf{v}'\big] = \rho_0\,\nabla\cdot\mathbf{v}' + \underbrace{\nabla\cdot(\rho'\mathbf{v}')}_{\text{second order}}.

The term ρv\rho'\mathbf{v}' is a product of two small quantities — second order in the perturbation — so it is dropped. What remains is linear:

tρ+ρ0v=0.  \partial_t \rho' + \rho_0\,\nabla\cdot\mathbf{v}' = 0. \;✓
Linearising Euler's equation Worked Example

Euler’s equation is Newton’s second law for a fluid element:

ρ(tv+vv)=p,\rho\,(\partial_t \mathbf{v} + \mathbf{v}\cdot\nabla\mathbf{v}) = -\nabla p,

with pp the pressure. The convective term vv\mathbf{v}\cdot\nabla\mathbf{v} is nonlinear.

Substitute the perturbations. The convective term vv\mathbf{v}'\cdot\nabla\mathbf{v}' is quadratic in the small velocity — drop it. On the left,

ρtv=(ρ0+ρ)tv=ρ0tv+ρtvsecond order,\rho\,\partial_t\mathbf{v} = (\rho_0 + \rho')\,\partial_t\mathbf{v}' = \rho_0\,\partial_t\mathbf{v}' + \underbrace{\rho'\,\partial_t\mathbf{v}'}_{\text{second order}},

and the second-order piece is dropped. On the right, p=(p0+p)=p-\nabla p = -\nabla(p_0 + p') = -\nabla p', since p0p_0 is constant. The result is linear:

ρ0tv=p.  \rho_0\,\partial_t\mathbf{v}' = -\nabla p'. \;✓
Linearising the equation of state Worked Example

For adiabatic (constant-entropy) sound, pressure is a function of density alone, p=p(ρ)p = p(\rho); for an ideal gas pργp \propto \rho^\gamma, with γ\gamma the ratio of specific heats. This is a single-variable function, so linearising it is a one-variable Taylor expansion about the equilibrium density ρ0\rho_0:

p=p(ρ0)+dpdρρ0(ρρ0)+=p0+c2ρ+,p = p(\rho_0) + \left.\frac{dp}{d\rho}\right|_{\rho_0}(\rho - \rho_0) + \cdots = p_0 + c^2\rho' + \cdots,

where the displacement is ρ=ρρ0\rho' = \rho - \rho_0 and the first-derivative coefficient is named

c2    dpdρρ0  =  γp0ρ0.c^2 \;\equiv\; \left.\frac{dp}{d\rho}\right|_{\rho_0} \;=\; \frac{\gamma p_0}{\rho_0}.

Keeping first order and subtracting the constant p0p_0 leaves a linear relation between the pressure and density perturbations,

p=c2ρ,p' = c^2 \rho',

and cc is the speed of sound. ✓

Combine the three linearised equations and the perturbations collapse into the wave equation t2p=c22p\partial_t^2 p' = c^2 \nabla^2 p'. Everything in the Sound book is downstream of this single linearisation. See Sound 4.5 — Linearisation and the wave equation for the full development.

The same move runs through:

In every case the underlying physics is nonlinear; linearisation is what makes it tractable.

Higher-order corrections

When linearisation is insufficient — when the perturbation is large enough that the ε2\varepsilon^2 term cannot be ignored — keep more terms. The second-order Taylor expansion is

f(t0+ε)    f(t0)+εf(t0)+12ε2f(t0).f(t_0 + \varepsilon) \;\approx\; f(t_0) + \varepsilon\, f'(t_0) + \tfrac{1}{2} \varepsilon^2\, f''(t_0).

This is the quadratic approximation, used whenever the linear term vanishes (e.g. at an extremum) or the first-order correction is too coarse. In acoustics, quadratic terms appear in energy and intensity — kinetic energy is 12ρv2\tfrac12 \rho v^2, quadratic in velocity — and they are exactly what links the linear acoustic field to the nonlinear quantities (energy, momentum, intensity) one ultimately measures.

The third-order corrections appear in nonlinear acoustics — when amplitudes are large enough that even the quadratic terms aren’t sufficient. See Sound 10.4 — Wave steepening for what happens when those corrections compound.

Check yourself

Write the Taylor expansion of a smooth function ff around t0t_0, in compact summation form. What does the n!n! in the denominator do?

Reveal answer
f(t0+ε)  =  n=0εnn!f(n)(t0).f(t_0 + \varepsilon) \;=\; \sum_{n=0}^{\infty} \frac{\varepsilon^n}{n!}\, f^{(n)}(t_0).

The n!n! compensates for the fact that differentiating εn\varepsilon^n exactly nn times gives n!n! — so the nn-th term, evaluated at ε=0\varepsilon = 0, must be divided by n!n! to match f(n)(t0)f^{(n)}(t_0) on the nose. Without the factorial, only the n=0,1n=0,1 terms would land correctly.

Check yourself

Write the Maclaurin series of exe^x, sinx\sin x, and cosx\cos x. Then state the relationship between them that emerges when you substitute x=iθx = i\theta into the first series.

Reveal answer
ex=1+x+x22!+x33!+e^x = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \cdotssinx=xx33!+x55!\sin x = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \cdotscosx=1x22!+x44!\cos x = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \cdots

Substituting x=iθx = i\theta: the even-power terms in eiθe^{i\theta} are real with alternating signs (matching cosθ\cos\theta); the odd-power terms are imaginary with alternating signs (matching isinθi\sin\theta). Hence eiθ=cosθ+isinθe^{i\theta} = \cos\theta + i\sin\theta — Euler’s formula, derived from three Taylor series.

Check yourself

List the six steps of linearising a function ff around a base point t0t_0 — the procedure you’d apply to any nonlinear physics problem to get a tractable linear one.

Reveal answer
  1. Identify the function ff and the base point t0t_0. The small displacement is ε=tt0\varepsilon = t - t_0.
  2. Compute f(t0)f(t_0). The value at the base point.
  3. Compute f(t0)f'(t_0). The slope at the base point.
  4. Assemble the linearisation: f(t0+ε)f(t0)+εf(t0)f(t_0 + \varepsilon) \approx f(t_0) + \varepsilon f'(t_0).
  5. Estimate the error from the next non-zero term — typically 12ε2f(t0)\tfrac{1}{2}\varepsilon^2 f''(t_0), unless that term vanishes by symmetry.
  6. Check the regime — for what range of ε\varepsilon is the error tolerable?

Every linearised theory on the bookshelf — the wave equation, Hooke’s law, the small-angle pendulum, weak-field gravity — is these six steps applied to a different ff.

Check yourself

When does the quadratic approximation matter, and the linear not suffice? Give a concrete acoustic example.

Reveal answer

The quadratic correction 12ε2f(t0)\tfrac{1}{2}\varepsilon^2 f''(t_0) matters when (a) the linear term vanishes — e.g. at a maximum or minimum — or (b) the linear approximation is too coarse for the problem at hand.

Acoustic example: kinetic energy density is 12ρv2\tfrac{1}{2}\rho v^2, quadratic in velocity. The linear acoustic field gives vpv \propto p' (small first-order perturbation); plug into the kinetic-energy expression and you get a quantity scaling as (p)2(p')^2 — i.e. quadratic in the small parameter. Every energy, intensity, or radiation-pressure calculation in acoustics is fundamentally quadratic, even though the underlying wave equation is linear. This is why intensity has units of pressure-squared.

Check yourself

Which of the common Maclaurin series (exe^x, sinx\sin x, cosx\cos x, ln(1+x)\ln(1+x), (1+x)p(1+x)^p) converge for all xx, and which have a finite radius of convergence? Why does the difference matter physically?

Reveal answer

exe^x, sinx\sin x, cosx\cos x converge for all xx. ln(1+x)\ln(1+x) and (1+x)p(1+x)^p converge only for x<1|x| < 1.

Physically: the first three are entire — analytic everywhere on the complex plane. The latter two have a singularity at x=1x = -1 (for ln\ln, a logarithmic divergence; for (1+x)p(1+x)^p with non-integer pp, a branch point). The radius of convergence is the distance from the expansion point to the nearest singularity. This is why a Taylor expansion of 1/(1x)1/(1-x) around x=0x=0 blows up at x=1x=1 — and why “Taylor expand around equilibrium” only works near equilibrium; far from it, you need a different expansion point or a different technique entirely.

What we use this for

Calculus operations across the bookshelf:

If any of the above looks unfamiliar, work through a textbook chapter on single-variable calculus before continuing. Spivak’s Calculus is the unsentimental favourite; Strang’s Calculus is the most physics-friendly.

Drill

Rote recall of the standard Maclaurin series, as a spaced-repetition deck. Reveal each card, then grade yourself — Again / Hard / Good / Easy — and SM-2 schedules when it returns. Progress is shared with the Foundations study deck.