Fluid Flow & Aerodynamics
why things fly, and why the usual explanation is wrong
Concept

Laplace's equation — where it appears

The equation satisfied by the velocity potential of an irrotational incompressible flow. It is linear, so solutions add; it has no time in it, so a change anywhere is felt everywhere at once; and its solutions are fixed entirely by conditions on the boundary.

Named by 14 essays across 4 fields — each of them below, with the objects they name alongside it.

Ideal flow past a cylinder. A uniform stream past a circular cylinder in a fluid with no viscosity. The solution is exact and closed-form: streamlines part at a stagnation point, run round the surface and close up perfectly behind, and the pressure recovers to exactly what it was in front.

The theory that solves everything

Throw away viscosity and assume nothing is spinning, and fluid mechanics collapses into a linear problem with closed-form answers. The price is one term, and the term turns out to matter more than everything kept.

inviscid · Ideal flow Flow net — a stream past a cylinder. Two families of curves drawn over the same flow: the streamlines, along which the streamfunction is constant, and the equipotentials, along which the velocity potential is constant. They cross at right angles at every point, because they are the two parts of a single analytic function of position.

One function instead of two

A velocity field carries two numbers at every point and must satisfy two constraints. Both constraints can be solved once and for all by writing the whole flow as a single scalar function — and the two families of curves that function generates cross at right angles everywhere, for reasons that have nothing to do with fluids.

inviscid · Ideal flow The circle plane and the aerofoil plane. A circle with a polar net around it, and the same net after the Joukowski map. Curves that crossed at right angles still cross at right angles everywhere except at the single point where the map's derivative vanishes, and that point is the sharp trailing edge.

From a circle to a wing

The flow past a circular cylinder is known exactly and is of no interest to anybody who wants to fly. A change of variable turns that circle into a wing section — and, because the change of variable preserves angles, it carries the whole solution across with it. Nothing is solved twice.

inviscid · Ideal flow One more condition, and the price of it. The model problem ε u″ + u′ = 0 with a condition at each end, at three values of ε. The outer solution is the flat line at one — that is the whole of the answer when ε is zero, and it is a first-order equation that can meet one condition, so it meets the one at the far end and misses the one at the wall by the whole range. Restoring ε restores the second condition and pays for it with a layer of thickness ε, inside which the gradient is of order 1/ε. The product of those two — which is what a stress is — does not depend on ε at all: it is 1.0000 at every value tried, to nine decimal places. Drag does not vanish as viscosity does. It converges.

How many things a flow must be told

The equations of motion do not have one answer. They have as many as the conditions on the edge allow, and the number of those is decided by the order of the equation — which is why viscosity does not make the same problem harder, it makes a different problem.

kinematics · Boundary conditions One field, and the two parts the theorem splits it into. A velocity field made of a smooth source, a smooth vortex and a uniform stream, and the two fields the Helmholtz decomposition returns for it. The first carries the whole divergence and has no curl anywhere; the second carries the whole curl and has no divergence. They are computed by solving two Poisson problems on a grid, with the divergence and the vorticity differenced from the field rather than taken from the expressions that built it. Adding the two back together does not recover the field.

Every flow is two flows

Any velocity field splits into a part carrying all of the divergence and a part carrying all of the vorticity. The theorem says so and does not say which split — the two halves can be moved between each other by anything harmonic, and on a bounded region that is an infinite family.

kinematics · Helmholtz Two divergence-free fields with the same boundary conditions. On the left, the exact potential flow round a cylinder moving through fluid at rest. On the right, the same flow with a divergence-free eddy added — one that has no normal velocity on the body or on the outer circle, so it changes nothing about what crosses a boundary. Both fields conserve mass, both satisfy the wall condition, and only one is the flow. Nothing in the drawing says which.

The flow with the least energy in it

Draw a flow that conserves mass and does not go through the walls, and it will look exactly like a solution. There are infinitely many of them and one is the flow. What separates it from the others is not visible anywhere in the picture — it is a number, and the number is an energy.

inviscid · Least energy The hodograph plane, where the unknown boundary is the known one. The same flow drawn in the plane of its own velocity, ζ = (u − iv)/U. The plate, whose shape is known in the physical plane, becomes a segment of the imaginary axis; the axis of symmetry becomes a segment of the real one; and the free streamline — whose shape nobody knows — becomes an arc of the unit circle, because the speed on it is exactly the free stream. The unknown and the known have changed places, which is why the problem can be solved at all.

Where the unknown boundary is the known one

A free surface is the hardest kind of boundary — its shape is part of the answer, so the region the problem is posed in is not known until the problem is solved. Draw the same flow in the plane of its own velocity and the shape becomes an arc of a circle, known in advance and exactly.

inviscid · Free-streamline The coefficient of the equation's second derivative, along a chord. The bracket multiplying the streamwise second derivative in the transonic small-disturbance equation, along a chord at Mach 0.85. Where it is positive the equation is elliptic and the flow is subsonic; where it is negative the equation is hyperbolic and the flow is supersonic. Which it is at a given point depends on the perturbation velocity there, which is the thing being solved for. Forty-two per cent of this chord is hyperbolic, and no amount of inspecting the problem beforehand could have said so.

The equation that changes type inside its own answer

Near Mach one the coefficient of the streamwise second derivative depends on the perturbation velocity, which is what is being solved for. Two solutions of the linear equation no longer add — the leftover is three times the term the linear theory keeps — and the critical Mach number approaches one as the two-thirds power of thickness.

compressible · Transonic The same flow, from two different physics. Solid lines: the depth-averaged flow between two plates a small distance apart, with an obstacle standing between them. Dashed: the ideal-flow solution for the same obstacle. They are the same field to a part in ten billion, because averaging Stokes flow across a narrow gap gives a velocity that is the gradient of a harmonic potential. The cell has no inertia at all, which is the one hypothesis the ideal theory cannot do without.

The exact theory, drawn by viscosity

Two flat plates a millimetre apart, syrup between them, an obstacle in the gap. The Reynolds number is a hundredth, inertia is absent, and the streamline pattern is the potential flow past that obstacle — exactly, to a part in ten billion. The one hypothesis ideal flow cannot do without is the one this flow most conspicuously breaks.

inviscid · Hele shaw Four corners, and what the flow does in each. The local flow in corners of four different interior angles, drawn from the exact local solution ψ = r^(π/α) sin(πθ/α). The exponent of the speed is π/α − 1 and depends on nothing else: at a right angle the corner is stagnant, at a flat wall nothing happens, and at any angle greater than a straight line the speed has no bound at the corner. The last panel, at 360 degrees, is the flow round the edge of a plate.

Nothing turns a sharp corner

Near a corner the flow is fixed by the angle and by nothing else — not by the size of the corner, not by the flow far away, not by the fluid. The exponent is π/α − 1, and every sharp edge in aerodynamics is the one case where it comes out at minus one half.

inviscid · Wedge flow The same plate borrows more near a wall and less near a free surface. The added mass of a plate closing broadside on a boundary, as a multiple of its free-air value, against the gap in chords on a logarithmic axis, for a solid wall and for a boundary held at constant pressure — a free surface struck quickly, or the edge of an open jet. At a tenth of a chord the wall gives 1.966 and the free boundary 0.677; at 0.035 chords 3.97 and 0.584. The wall's value grows without limit as the gap closes, because the fluid in the gap has to be squeezed out. The free boundary's falls towards exactly one half, because a plate lying on a free surface sets in motion only the half-space below it. Same plate, same fluid, same speed — the boundary decides the sign, through the one thing it is allowed to tell the flow.

The borrowed mass the boundary decides

A body accelerating near a solid wall has to squeeze out the fluid between them, and borrows more mass than it would in the open. The same body accelerating near a free surface, or inside an open-jet wind tunnel, borrows less. The fluid, the body and the speed are identical, and what reverses the answer is the one thing each boundary is allowed to tell the flow.

misconceptions · Ground cushion The excess energy is the energy of the difference, exactly. Add any admissible perturbation to the potential flow and its kinetic energy rises by precisely the energy of the perturbation itself — not approximately, and not to leading order. The measured excess and the perturbation's own energy lie on one another to two parts in 10¹¹ across a sixty-fold range of amplitude.

How much more than the least

Of all the flows that conserve mass and stay inside the walls, the ideal one carries the least energy. That is a theorem, and the useful half of it is the part nobody quotes: it says by exactly how much every other flow misses, and the answer is the square of how wrong it looks.

inviscid · Least energy Four solved flows, and the minimum is on the surface in every one. Sampling the whole exterior of each body on a grid and comparing the lowest pressure found there with the lowest found on the surface. The surface wins by a margin that is not marginal — between 0.18 and 0.56 in pressure coefficient — and it wins for a reason rather than by luck: the pressure of an irrotational flow is superharmonic, and a superharmonic function has its minimum on a boundary.

The lowest pressure is on the body

In an ideal flow the minimum pressure is always on a surface — not usually, not for the shapes people draw, always. The proof is an identity about the velocity gradient, and the identity says exactly which flows are exempt.

inviscid · Ideal flow Three answers to one question: what happens after a body is jerked into motion. The force following a step change in a body's velocity, for three models. The ideal one is a spike at the instant and nothing afterwards. The viscous one falls as the inverse square root of time and never reaches zero. The compressible one holds while the signal is still crossing the body and then settles.

The theory with no memory in it

Laplace's equation has no time in it, so an ideal flow's response to a body being jerked into motion is instantaneous and complete. Its indicial kernel is a spike and nothing afterwards. Beside it sit the two kernels that are not, and the comparison says which ingredient every memory in this collection came in through.

inviscid · Ideal flow

Named alongside it

The objects these essays reach for when they reach for this one.

Potential flowBoundary conditionIrrotationalStreamfunctionKinetic energyVelocity potentialAdded massMeasurementModel limitModel validityVorticityConformal map

All concepts