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

Point vortex — where it appears

An idealised vortex concentrated at a point, whose induced velocity falls off inversely with distance. A collection of them can be moved about exactly by having each carry the others, which turns a field problem into a handful of ordinary equations.

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

Two of opposite sign go somewhere. Two vortices of equal and opposite strength. Each is carried by the other's field, both are carried the same way, and the pair travels in a straight line at Γ/2πd forever, keeping its separation exactly. The speed is a consequence of one vortex's field evaluated at the other, and nothing else.

Vortices move each other

A vortex alone in an infinite fluid sits exactly still, forever — its own field is antisymmetric about it and there is nothing at its centre to be carried by. Everything a vortex does, another vortex did, and two of them already exhaust what can be written down.

inviscid · Vortex dynamics The street, as two rows of point vortices. The exact velocity field of a staggered double row of point vortices at the stable spacing ratio, with the row spacing and the circulation of one core printed from a line integral of the field rather than from the number that built it. This is a model of a wake. It contains no body, no viscosity and no mechanism that would shed anything, and the viscous stepper used here does not produce a street at any Reynolds number.

The street a steady calculation cannot draw

The alternating wake behind a cylinder is the most photographed structure in fluid mechanics, and a steady solution does not produce one. What can honestly be drawn instead is a model of it — and the model settles one thing exactly, which is the spacing.

turbulence · Wake 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.

The mirror that is a circle

A flat wall is made by reflecting everything in it. A round one is made the same way, except that the mirror is an inversion — the image of a point at distance d sits at a²/d, and a vortex acquires a second image at the centre that nothing about the wall requires.

inviscid · Images Four vortices, and the end of prediction. The same three vortices as before with a fourth, weaker one added near the middle. Three point vortices have three independent invariants for three degrees of freedom and cannot be chaotic; four have the same three invariants and one more degree of freedom, and generically are. The energy and the impulses are conserved here to fourteen digits over the whole run, which is what makes the tangle a property of the system rather than of the arithmetic.

Three is the most that can be predicted

Point vortices are the simplest dynamical system fluid mechanics has — no cores, no viscosity, no approximations, four exactly conserved quantities. Three of them are integrable and cannot be chaotic. Add a fourth and the same equations, conserving the same quantities to fourteen digits, stop being predictable at all.

inviscid · Vortex dynamics Three bluff bodies, whose Strouhal numbers agree once the wake's width is used. The measured Strouhal number of each body, and Roshko's universal number formed with the wake's width and the speed on the free streamline that bounds it. The raw numbers span a factor of 1.462; the collapsed ones span 1.0011, with a mean of 0.16281. The shedding was never body-dependent — the length in the number was.

The frequency a wake chooses

Bluff bodies shed at Strouhal numbers from 0.145 to 0.212, and the spread is not a fact about shedding — it is a fact about which length went into the number. Change the length to the wake's own width and three bodies agree to a tenth of a per cent. Then let the body move, and the number stops deciding anything at all.

regimes · Strouhal The pressure of a sum against the sum of the pressures. Ten points around a cylinder with circulation, with the pressure coefficient of the combined flow plotted against what adding the two flows' separate coefficients would give. Nothing lies on the diagonal. The gap is exactly −1 − 2u_A·u_B/U², an identity checked to the last digit at every point, and it is not small: at one of these points the two answers differ by 1.92, which is more than the whole range of a suction peak.

The one thing that does not add up

Laplace's equation is linear, so flows can be laid on top of one another and almost every classical result is built that way. The two things anybody actually wants out of a flow — the pressure and the force — are quadratic in the velocity, and neither of them adds at all.

inviscid · Superposition The growth rate a discretised sheet has, at every wavelength it can carry. Kelvin–Helmholtz gives a growth rate proportional to the wavenumber and without bound. A sheet represented by N point vortices has pi m (1 − m/N) instead — the same rate at long waves and half of it at the shortest wave the grid carries, with the fastest-growing mode at the grid scale itself. Smoothing the kernel over a length delta moves that mode back to a wavelength the physics chose.

A sheet that cannot stay a sheet

Let a shear layer's thickness go to zero and it becomes a surface across which the velocity jumps. The model is used everywhere in this subject, it is unstable at every wavelength, and the thing it does next is worse: it develops a singularity in its own shape, at a finite time, from a smooth start.

inviscid · Vortex sheet Deviation: how far the flow leaves from the blade angle, against solidity. The angle between the outlet flow and the blade, for a row of flat plates at 30° stagger meeting a flow at 45°. An open row barely turns the flow at all and the deviation is nearly the whole of the intended turning; a tight row guides it to within a thousandth of a degree of the blade angle. Nothing about the blade changed between the two ends of this curve.

A row is not a set of aerofoils

An isolated aerofoil's incidence is measured from the free stream. A compressor blade's cannot be, because an infinite row of identical blades above and below it has a circulation that is part of its own free stream — and the velocity the theorem uses is a vector mean that exists nowhere in the machine.

circulation · Cascade Kirchhoff's rotation rate, which a point vortex does not have. A patch of uniform vorticity bounded by an ellipse turns rigidly at omega a b/(a+b)², a rate that depends on the shape alone. It is largest for a circle, where it is unobservable, and falls away as the patch is drawn out. A point vortex has no shape and therefore no entry on this axis at all.

The shape a vortex keeps

Outside a circular patch of uniform vorticity the flow is exactly the point vortex's — not nearly, exactly — so replacing one by the other looks free. It is not. The patch has a shape, the shape has a rotation rate of its own, and there is a strain above which no shape exists at all.

inviscid · Vortex patch The patches' centroids, against the point-vortex circle. Two circular patches of uniform vorticity, advected by nothing but the velocity their own boundaries induce, over one full co-rotation. Their centroids stay within one per cent of a separation of the exact point-vortex orbit — which they must, because the exterior field of a circular patch is the point vortex's and a harmonic function's area average over a disc is its value at the centre.

What a point vortex is not

Two circular patches of vorticity move exactly as two point vortices do — the centroid velocity is the point model's with no correction of any order, and that is a theorem rather than an approximation. The trouble starts the moment they stop being circular, which is immediately.

inviscid · Vortex dynamics The image system of a wedge of pi/3. The vortex and its images, with the two walls. Reflection in one wall and then the other generates a dihedral group, and the group is finite exactly when the angle is pi over a whole number — here 2n vortices, alternating in sign round the circle, with both walls streamlines to a part in 10¹⁶.

The corners that can be done with mirrors

The method of images works for a wall and for a circle, and for a corner it works only when the angle is pi over a whole number. At every other angle the reflections never come back, the image set is infinite and dense, and the flow exists anyway — which says the method is a statement about symmetry rather than about fluids.

inviscid · Images There and back again. A blob of a hundred and twenty tracer particles at the start, after four time units of stirring, and after the same four run backwards. The third set is drawn over the first and the worst particle is 1.4·10⁻⁹ from where it began.

Reversible, and unusable

Ideal flow has no arrow of time in it. Run a stirring backwards and the dye comes back — here to 1.4 parts in a thousand million. Nudge the state by a hundred-millionth first and the same reversal returns a blob almost five hundred times further from home than the nudge was large.

inviscid · Vortex dynamics A count of states that has a maximum in it. How many configurations of thirty point vortices have each energy, sampled from the measure their own Hamiltonian defines — which is the area measure, because a vortex's coordinates are its own conjugate pair. The count peaks at an energy of -0.054 and falls away on both sides, which no ordinary system's does. Above the peak, adding energy reduces the number of ways of arranging the fluid.

An equilibrium a three-dimensional flow cannot have

The condensate an inverse cascade ends in is treated as what is left over when the energy has nowhere further to go. It is not a remainder. A two-dimensional fluid's phase space is its own region and therefore has finite volume, so its entropy has a maximum, its temperature changes sign, and the clustered state above that point is an equilibrium.

turbulence · Two-dimensional Two eddies that stand still behind a cylinder in ideal flow. A uniform stream past a circular cylinder with a pair of opposite vortices standing 2 radii behind its centre and 0.859 either side of the axis, each of strength 10.31 in units of the stream speed times the radius — Föppl's equilibrium. The shading is the stream function: the fluid between the vortices and the cylinder circulates in two closed eddies and never leaves, while the stream divides round the whole assembly as if it were one longer body.

Two eddies can stand behind a cylinder, but not for long

Ideal flow, which has no viscosity and no wake, can still hold a pair of eddies standing behind a cylinder — at any distance behind it, with a strength fixed by the distance. They cost the cylinder nothing. And they cannot stay: nudged sideways by a thousandth of a radius, the pair grows its displacement exponentially and leaves, which is the first step of shedding a wake.

inviscid · Images A slow current divides round the fluid over a hill (δ = 4). A uniform stream, left to right, over a Gaussian hill on the floor of a rotating layer, at δ = h₀/(H·Ro) = 4, where h₀/H is the hill's height against the depth and Ro the Rossby number U/fa; the onset for this shape is δ = 3.134. The dashed circle is the hill's e-folding radius. Water crossing the hill is squashed and, keeping its potential vorticity, spins clockwise; that anticyclone adds to the stream on one side and opposes it on the other. Here it stops the stream: the outlined region, 1.54 square radii, holds fluid that circles for ever and never leaves, and it sits beside the summit rather than on it, on the side where the swirl runs against the current.

The hill a slow current will not climb

The Taylor–Proudman theorem says a rotating fluid goes round an obstacle rather than over it, as if a solid column stood above it. Conserving potential vorticity turns that limit into a threshold. A current is stopped over a hill once the hill's height against the depth exceeds a fixed multiple of the Rossby number — 2 for a flat-topped hill, 3.13 for a Gaussian one, 16/3 for a cone — and the fluid it holds sits beside the summit rather than on it.

regimes · Geostrophy In the pair's own frame, two eddies with no vorticity. The flow round two equal co-rotating vortices (orange dots), seen from the frame that turns with them, where it is steady; shading is the stream function. Round each vortex a lobe of fluid circulates; a band round both is bounded by a figure-eight through the saddle at the centre; and above and below, centred on the two points that make equilateral triangles with the vortices (blue dots), are two large eddies of fluid that circulate in this frame and carry no vorticity at all, bounded by the streamline through the two outer saddles at √5 half-separations.

A vortex pair carries eddies no snapshot can see

Two equal vortices circling each other are, by every snapshot of the velocity gradient, two small vortices in a straining flow: outside their cores the flow is irrotational, and the gradient there is pure strain. Seen from the frame that turns with them, the same flow contains two large eddies, one on each side, centred where a third point would complete an equilateral triangle with the pair. Their fluid goes round with the pair for ever, and it carries no vorticity at all. They hold seventy times the area of the cores, and the only way to see them is to follow the fluid or to turn with it.

kinematics · Frames

Named alongside it

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

Model limitCirculationSuperpositionEquilibriumPotential flowRegularisationVortex streetVorticityWakeBoundary conditionConservationConserved quantity

All concepts