An integral was defined to compute an area, and area is close to the least interesting thing it does.
The pattern behind every application in this lesson is the same three-step move: cut the quantity into slices, approximate each slice by something elementary enough to write down, and recognise the total as a Riemann sum whose limit is an integral. Learning that move is worth more than memorising any of the formulas it produces, because the formulas are numerous and the move is one thing.
Area between two curves
If on , a vertical strip at position has height and width , so the area between the curves is
The subtraction handles signs automatically: the formula is correct even where both curves are below the axis, because only their difference enters.
Example. Find the area enclosed between and .
First find where they meet: gives , so and . Between those points the line is above the parabola, checked at where the line gives and the parabola gives . So the area is
Now you. Find the area enclosed between and .
Answer
They meet where , at and , and the line is above in between. The area is .
Volumes by slicing
A solid can be cut into thin slabs perpendicular to an axis. If the slab at position has cross-sectional area and thickness , its volume is , and the total is . When the solid is made by revolving a curve about the -axis, each slab is a disc of radius , so
Example. Derive the volume of a sphere of radius .
A sphere is the solid of revolution of the semicircle from to . The disc at position has radius , so its area is , and
Working the bracket out: at it is , and at it is , so the difference is and . The formula that school geometry asserts without justification falls out of one integral. Archimedes obtained it by exhaustion around 225 BC and was proud enough of the result to have the figure carved on his tomb.
Now you. Find the volume generated by revolving from to about the -axis.
Answer
The disc radius is , so the area is and the volume is .
The same slicing gives the cone. Revolving the line from to gives , which is where the mysterious one third comes from: it is the of the power rule and nothing more.
Work against a varying force
Elementary mechanics defines work as force times distance, which is valid only when the force is constant. When it varies, cut the displacement into pieces small enough that the force is nearly constant on each, multiply, and sum:
For a spring obeying Hooke's law, , so stretching from to takes . That familiar formula is an integral, and its quadratic form is the reason a spring stretched twice as far stores four times the energy.
Example. A cylindrical tank of radius m contains water to a depth of m. How much work is needed to pump it all out over the rim, m above the base?
Slice the water into horizontal layers. The layer at height above the base has volume cubic metres, so its mass is kilograms and its weight is newtons. That layer must be lifted a distance . So
which is J, using m s⁻². The check is that the total mass is kg and its centre of mass sits at , needing a lift of m, giving J. The integral and the centre-of-mass shortcut agree, as they must.
Now you. A spring with stiffness N/m is stretched from its natural length to m. How much work is done?
Answer
J.
Escape velocity, and integrals over infinite ranges
Gravity weakens with distance, so lifting a mass away from a planet is a work integral with a variable force, and the interesting case has no upper limit at all.
An improper integral is defined as a limit: means , and the integral converges if that limit exists. The behaviour depends delicately on the integrand. For the partial integral is , which converges to . For it is , which grows without bound, so that integral diverges. The tail of is too fat to have a finite total, which is the same fact as the divergence of the harmonic series in the previous course.
Now the escape problem. The force on a mass at distance from a planet of mass is , so the work needed to move it from the surface at to infinity is
finite, because the inverse square law falls off fast enough. Escape is possible with a finite energy budget, and if gravity fell off like instead it would not be.
Setting the initial kinetic energy equal to that work gives , so
independent of the escaping mass. For Earth, with m³ kg⁻¹ s⁻², kg and m, this gives m/s, the familiar km/s. The number is a direct consequence of an improper integral converging.
Improper integrals also produce genuine curiosities. Revolving for about the axis gives a horn whose volume is , finite, while its surface area involves and is infinite. The solid can be filled with a finite amount of paint and its surface cannot be painted, which is a statement about the definitions rather than about paint: a real coat of paint has a thickness, and the horn narrows below it.
Averages, and the difference between two of them
The average value of over was defined two lessons ago as , and it settles a question that confuses people about alternating current.
The average of over a half cycle from to is . The root mean square value, computed in the previous lesson from the average of , is . Both are honest averages of the same wave and they differ by ten per cent, because one averages the voltage and the other averages the power. A meter reading the first and a meter reading the second will disagree, and which one is correct depends entirely on what the number is for.
Centre of mass
A rod along with linear density has mass , since the piece at has mass . Its centre of mass is the point where a support would balance it, and balancing means the total moment about that point vanishes:
which is a weighted average of position, weighted by mass. For a rod of length m with density kg/m, the mass is kg and the moment is , so m, right of the geometric centre because the rod is denser at that end. The same construction in two and three dimensions gives centroids of plates and solids, and the same integral with in place of gives the moment of inertia, which is what rotational dynamics runs on.
Arc length, and a warning
The slicing pattern applies to length too. A short piece of curve is nearly straight, with horizontal run and rise , so by Pythagoras its length is and
The derivation is easy and the integrals are usually impossible. The integrand contains a square root of a sum of squares, which resists every technique of the previous lesson except in contrived cases. The perimeter of an ellipse is the standard example: it produces an integral that Legendre and others studied for decades and which has no elementary antiderivative at all. The functions invented to express it are called elliptic integrals, and they are named after this problem.
That is a fair summary of the state of the subject at this point. Setting up the integral is a skill that generalises, the answer exists whenever the integrand is continuous, and evaluating it in closed form is a matter of luck. Where luck runs out, either a numerical method is used, or the function is approximated by something easier before integrating.
That last option is more powerful than it sounds, and it is the subject of the final lesson: replacing a function by a polynomial that matches it to whatever accuracy is required, which is how physics gets usable answers out of expressions that cannot be evaluated at all.