Exact layer — the series
-
The wall that shakes
Slide a wall back and forth in its own plane and the fluid above it does not follow — a wave travels upwards into the fluid and dies within one wavelength. The depth it reaches is √(2ν/ω), it contains no length from the geometry at all, and the whole thing is one of the very few exact solutions the Navier–Stokes equations have.
-
The layer that stops growing
Blasius' boundary layer thickens as the square root of distance and never stops. Suck fluid through the wall at a uniform rate and it stops immediately — the profile becomes a single exponential with no x anywhere in it, and the friction comes out exactly equal to the momentum of the fluid that was taken away.
-
The wall the fluid is listening to
Water two millimetres above a moving wall is responding to what the wall did two thirds of a second ago — most likely. Half of its response is older than four and a half seconds, a tenth is older than two minutes, and the average age of what it is responding to does not exist at all.
-
The solution that keeps its nonlinear term
Every exact solution before this one has been exact because the nonlinear term vanished. A rotating disc's does not vanish — at the wall it is the whole of the balance — and the reduction is exact anyway, because the radius divides out of all three momentum equations at once.
-
One channel, one flux, two flows
Flow between two plane walls meeting at a line has an exact solution. Past a threshold that turns out to be a ratio of gamma functions, it has two — the same wedge carrying the same flux, once outward everywhere and once with the fluid running backwards along both walls, and nothing in the equations chooses.
-
Why the list is this long
Every textbook list of exact solutions of the Navier–Stokes equations is about a dozen long, and the usual explanation is that the equations are hard. It is not the reason. A similarity reduction is a solution invariant under a subgroup of the equations' own symmetries, so the catalogue of possible reductions is the catalogue of subgroups — and that is a finite, countable object.