If derivatives describe rates of change, integrals describe accumulated quantities. The integral of velocity over time is displacement; the integral of force over distance is work; the integral of acoustic pressure squared over time is acoustic energy. Every conservation law in physics is, when stated quantitatively, an integral equation.
This lesson develops the working subset of integration: what an integral is (the Riemann sum), the fundamental theorem that ties integration to differentiation, and the three manipulation rules — substitution, integration by parts, and partial fractions — that handle nearly every integral you’ll meet in the rest of the bookshelf.
The Riemann integral
function:
rule:
sum = 2.6600exact = 2.6667error = -0.0067
The interactive shows the Riemann sum — the definite integral built up as the sum of areas of thin rectangles. Pick a function, a sampling rule (left, midpoint, right), and a partition count N. Watch the sum converge to the exact value as N grows. The midpoint rule typically wins per partition; the left and right rules under- or over-estimate when the function has monotone curvature.
The Riemann integral is
∫abf(t)dt=N→∞limi=1∑Nf(ti)Δt,
where the partition {ti} subdivides [a,b] into N intervals of width Δt=(b−a)/N. It measures the signed area under f over [a,b] — positive where f>0, negative where f<0.
The fundamental theorem of calculus ties differentiation and integration together: if F′(t)=f(t) for some antiderivativeF, then
∫abf(t)dt=F(b)−F(a).
This is one of the most-used identities in physics. It converts an integral — a limit of sums, conceptually awkward and computationally expensive — into a difference of two function values. The challenge of integration is therefore mostly finding the antiderivative F for a given f; once F is found, the integral is trivial.
⏳The history— Riemann's integral and the price of rigour
Bernhard Riemann’s 1854 Habilitationsschrift gave the integral its modern definition: the limit of sums ∑f(ti)Δt as the partition is refined, taken over arbitrary partitions and arbitrary sample points ti, with the requirement that the limit exists and is independent of the choices. This was the first definition that worked for functions more pathological than Cauchy’s 1823 version had allowed — in particular, for functions with infinitely many discontinuities in any interval.
Riemann’s framework made integration a property of the function rather than a recipe for evaluation. A function is Riemann-integrable if the limit exists; not all bounded functions are. Henri Lebesgue’s 1902 reformulation extended the theory to a much wider class (the Lebesgue integral, which agrees with Riemann’s on functions both can handle but assigns values to many that Riemann cannot). For the bounded, piecewise-continuous functions of acoustics and physics, the Riemann integral is enough and is what we use throughout the bookshelf.
⏳The history— Dedekind constructs the real numbers
Calculus assumes the real numbers — that there is a continuum on which limits, derivatives, and integrals make sense. For most of mathematical history this was taken as obvious. Richard Dedekind, in his 1872 essay Stetigkeit und irrationale Zahlen (Continuity and Irrational Numbers), made it rigorous: a real number is a Dedekind cut — a partition of the rationals into two non-empty sets, one entirely below the other, with no rational sitting between them. The cut “is” the irrational at the boundary.
Georg Cantor, the same year, gave an alternative construction via Cauchy sequences of rationals (declaring two sequences equivalent when their difference goes to zero). Both constructions produce the same field of real numbers and the same completeness property: every Cauchy sequence converges. Without one of these constructions, calculus has no logical ground to stand on; with either, every theorem from Cauchy and Riemann to the modern wave equation rests on a defensible foundation.
The three manipulation rules
Linearity
Same form as for derivatives:
∫(af+bg)dt=a∫fdt+b∫gdt.
Integral of a sum is the sum of integrals. The reason Fourier-series coefficients can be computed term by term.
Substitution
∫f(g(t))g′(t)dt=∫f(u)du,u=g(t).
The mirror image of the chain rule for derivatives: if the integrand is a composed function times the inner derivative, the integral simplifies to one in the inner variable.
▶Substitution: ∫ 2t cos(t²) dtWorked Example
Let u=t2, so du=2tdt. The integral becomes ∫cosudu=sinu+C=sin(t2)+C.
Differentiate to verify: dtdsin(t2)=cos(t2)⋅2t. ✓
Integration by parts
∫udv=uv−∫vdu.
The mirror image of the product rule. Useful when the integrand is a product where differentiating one factor and integrating the other gives a simpler integral.
The strategy is to choose u to be the factor that simplifies under differentiation (often a polynomial), and dv to be the factor that’s easy to integrate. Most Fourier-series coefficients are computed via integration by parts on terms of the form ∫tneiωtdt — the polynomial tn simplifies on differentiation while the exponential integrates to itself.
▶Integration by parts: ∫ t eᵗ dtWorked Example
Pick u=t (so du=dt) and dv=etdt (so v=et). Then
∫tetdt=tet−∫etdt=tet−et+C=(t−1)et+C.
We use integration by parts throughout the Sound book: deriving energy and momentum integrals (Sound Ch 5), computing Fourier coefficients (Sound Ch 8), and reducing the convolution integral.
Partial fractions
A rational function — a polynomial N(x) over a polynomial D(x) — is awkward to integrate as written, but easy once it is split into a sum of pieces with a single factor in each denominator. That splitting is partial-fraction decomposition. When D(x) factors into distinct linear factors, the rule is one term per factor:
where the rk are the roots of the denominator and the Ak are constants still to be found (this assumes degN<degD; if not, divide first). Each piece x−rkAk integrates to a logarithm Akln∣x−rk∣, so once the constants are known the integral is immediate.
The constants come from the cover-up rule: to isolate Ak, multiply both sides by (x−rk) and set x=rk; every other term still carries a factor (x−rk) and vanishes, leaving Ak alone. The two collapsibles below carry this out — first for distinct roots, then for the two complications, a repeated factor and an irreducible quadratic.
▶Partial fractions: 1/((x+1)(x+3))Worked Example
(x+1)(x+3)1=x+1A+x+3B. Multiply both sides by (x+1)(x+3):
1=A(x+3)+B(x+1).
Setting x=−1 kills the B term: 1=2A, so A=1/2. Setting x=−3 kills the A term: 1=−2B, so B=−1/2. Therefore
(x+1)(x+3)1=21(x+11−x+31),
and each piece on the right integrates to a logarithm.
▶Worked example: partial-fraction decomposition with a repeated rootDerivation
The simple example above had distinct roots. The general algorithm handles two more cases — repeated real roots and irreducible quadratic (complex-conjugate) factors. Here is a representative worked example with a repeated root.
The problem. Decompose
(x−1)2(x+2)2x+1.
Step 1 — Write the ansatz. For a repeated factor (x−1)2 we need two terms with descending powers: x−1A and (x−1)2B. Plus the simple factor (x+2) contributes x+2C. The decomposition takes the form
(x−1)2(x+2)2x+1=x−1A+(x−1)2B+x+2C.
Step 2 — Multiply through by the common denominator.
2x+1=A(x−1)(x+2)+B(x+2)+C(x−1)2.
Step 3 — Apply the “cover-up” trick at the roots of the denominator.
At x=1, the A and C terms drop out:
2(1)+1=B(1+2)⟹3=3B⟹B=1.
At x=−2, the A and B terms drop out:
2(−2)+1=C(−2−1)2⟹−3=9C⟹C=−1/3.
Step 4 — Find the remaining coefficient. The cover-up trick gave us B and C but not A. Pick a third value of x, e.g. x=0:
The third case — irreducible quadratic factors like (x2+1) — produces a term of the form (Bx+C)/(x2+1) which integrates to a logarithm plus an arctangent. This same decomposition is the standard route from a filter’s transfer function to its time response: factoring H(s)=1/[(s−λ+)(s−λ−)] into first-order pieces gives one simple exponential eλt per pole λ, and the impulse response is their sum — the workhorse of inverse Fourier and Laplace transforms in Foundations 7.3 and beyond.
RMS values
The root-mean-square of a function f(t) over a duration T is
frms≡T1∫0Tf(t)2dt,
where T is the averaging window — one period, for a periodic signal. The name is the recipe read inside-out: square the signal, take its mean over T (the integral divided by T), then take the root. Squaring removes the sign, so a quantity that swings symmetrically about zero — and has zero ordinary mean — still has a non-zero RMS that measures its amplitude scale.
mean square = 0.500RMS = √(mean square) = 0.707RMS / A = 0.707 · exact: 1/√2 ≈ 0.707
The upper panel is the signal f(t); the lower panel is its square f(t)2, with the dashed line at the mean of the square. The RMS is the square root of that mean, drawn back onto the signal as the green band — the constant level that carries the same mean square as the varying signal. Switching waveform at fixed amplitude A moves the band, because RMS depends on shape, not just peak height: A/2 for a sine, A/3 for a triangle or sawtooth, and the full A for a square wave, which spends all its time at ±A.
For the sinusoid f(t)=Acos(ωt) the factor is frms=A/2, derived in the card below. Acoustic intensity, the pressure amplitude on a microphone, the electrical power dissipated by an AC current — all are written in terms of RMS values, because all depend on f2. We meet RMS again in Sound 5.3 — Intensity.
Check yourself
State the fundamental theorem of calculus and explain why it makes integration useful rather than just a limit of sums.
Reveal answer
If F is any antiderivative of f (i.e. F′=f), then ∫abf(t)dt=F(b)−F(a). The integral — defined as a limit of Riemann sums, conceptually awkward and computationally expensive — becomes a single subtraction. The hard part of integration is therefore finding F; once F is found, evaluation is trivial.
Check yourself
Compute ∫2tet2dt by substitution. Which derivative rule is substitution the inverse of, and why is that an apt name?
Reveal answer
Let u=t2, so du=2tdt. The integral becomes ∫eudu=eu+C=et2+C.
Substitution is the chain rule run backwards: the chain rule produces dtd[et2]=et2⋅2t, and substitution recovers the outer function et2 from the integrand et2⋅2t. The “inner derivative” factor that comes out of the chain rule is exactly what you need to cancel in the integrand for substitution to apply.
Check yourself
State the integration-by-parts formula. What choice of u and dv would you make to compute ∫tcos(ωt)dt, and why?
Reveal answer
∫udv=uv−∫vdu.
Pick u=t (so du=dt) and dv=cos(ωt)dt (so v=sin(ωt)/ω). The strategy is to choose u as the factor that simplifies under differentiation — here, the polynomial t becomes the constant 1 — and dv as the factor that is easy to integrate. Result:
This pattern — polynomial times sinusoid — is exactly what appears when computing Fourier coefficients.
Check yourself
Why does f(t)=Acos(ωt) have frms=A/2? Derive the factor from the definition.
Reveal answer
frms=(1/T)∫0TA2cos2(ωt)dt. Use the identity cos2(ωt)=21(1+cos(2ωt)). The cos(2ωt) term integrates to zero over a full period, leaving (1/T)∫0TA2/2dt=A2/2. Square root: A/2.
The factor 1/2≈0.707 is why a “1 V RMS” AC signal has a peak amplitude of ≈1.414 V — and why acoustic pressure-amplitude figures must always specify peak vs RMS.
Check yourself
Decompose (s+a)(s+b)1 into partial fractions (with a=b). Where does this come up in the linear-systems work later in the bookshelf?
Reveal answer
(s+a)(s+b)1=b−a1(s+a1−s+b1).
Cover-up: set s=−a to get the first coefficient, s=−b for the second. This is the standard route from a second-order linear filter’s transfer function H(s)=1/[(s+a)(s+b)] to its time-domain impulse response — each first-order piece inverse-Laplace-transforms to a simple exponential e−at, and the full response is a sum of the two.
Drill
Rote recall of the standard antiderivatives, 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.
What’s next
The next lesson, 1.3 — Taylor series and linearisation, shifts focus from finding antiderivatives to approximating functions by polynomials. Taylor series are the bridge between calculus and the linearised theories that dominate physics — including the entire small-perturbation theory of acoustics.