Concept

Convergence — where it appears

The rate at which a numerical answer approaches the exact one as the grid is refined, which a scheme's order predicts and a grid study measures. An answer quoted to more figures than its convergence supports is an answer about the arithmetic rather than the flow.

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

Every one of these is a solution, and they lift different amounts. Lift coefficient against the circulation the aerofoil was told to carry, with the Kutta condition's own answer marked. Each point is a complete solve: the sources were found for that circulation and the surface is a wall to within 1.3e-4 at every collocation point. Every member satisfies the equations of motion and the boundary condition, and the lift runs through them at exactly 2Γ/Uc — Kutta–Joukowski appearing as a property of the family rather than as a result about any member of it. Ideal flow round a closed body does not have a unique answer, and the Kutta condition is the extra sentence that picks one.

Nothing but the edge

Cut an aerofoil into panels, put a singularity on each, and require the surface to be a wall. The system that comes out has one more unknown than it has equations, and the row that is missing is not a bookkeeping slip — it is the fact that ideal flow round a closed body has no unique answer at all.

circulation · Panel
An hour for every tenfold, for ever. How long a forecast lasts, against how well the initial state is known. The relation is T = ln(tolerance/error)/lambda — exactly logarithmic — so improving the measurement by a factor of ten buys exactly the same extra time every time: ln(10)/lambda, which for this flow is 24.5 time units. It does not get harder and it does not get easier.

An hour for every tenfold

Turbulence is deterministic and unpredictable, and the exchange rate between those two is exact: measuring the initial state ten times better buys the same extra forecast time every time, for ever. A constant, and it belongs to the flow rather than to the instrument.

misconceptions · Randomness
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
The momentum of the fluid, against the shape of the region it is added up over. Momentum of the fluid around a cylinder moving through it, divided by the body's hydrodynamic impulse, against the aspect ratio of the rectangle the integral was taken over. Every rectangle has the same area and contains the same body. A tall region gives minus the impulse, a long one gives plus it, a square gives exactly zero, and the limit of a large region is whichever of those the region was shaped like. The momentum of an unbounded ideal flow is not a number.

The momentum with no value

A cylinder is pushed from rest to a steady speed. Work was done, energy went into the fluid, something was pushed. How much momentum does the fluid carry? The integral converges, the answer is finite, and it is a different finite number for every shape of region it is summed over.

inviscid · Impulse
Three thresholds, and none of them is one. The neutral curves for a layer heated from below, computed by taking the smallest eigenvalue of the marginal-stability operator at each horizontal wavenumber. Every curve diverges at both ends — a cell wider than the layer has to carry heat sideways for ever, a narrower one loses it to conduction — so each has a minimum, and that minimum is the critical Rayleigh number. Two free surfaces give 657.5, one rigid and one free 1100.7, two rigid walls 1707.8. Nothing but the boundary condition differs, and it carries a factor of 2.6.

The threshold the walls decide

A layer heated from below convects at a Rayleigh number of 1707.762, and nothing whatever happens at one. The free–free case has a closed form and the two that do not differ from it by a factor of 2.6 — produced by nothing but what the top and bottom surfaces are permitted to do.

turbulence · Convection
The number a duct settles at is an eigenvalue. The local Nusselt number against x⁺ = x/(D·Re·Pr), from a Crank–Nicolson march that contains no eigenvalue anywhere. It settles at 3.6568, which is λ₀²/2 for the Graetz eigenvalue problem — a completely separate calculation. The mark at x⁺ = 0.05 is the entry length every textbook quotes: it delivers a Nusselt number 1.45 per cent above the developed value, which is a perfectly reasonable tolerance and is never the one stated.

How far before the heat arrives

A duct's thermal entry length is quoted everywhere as x/(D·Re·Pr) = 0.05, with no tolerance attached. Working out what it delivers gives a Nusselt number 1.45 per cent above the developed value — and the developed value itself is not a term ratio at all but an eigenvalue, 3.6568, which is also the rate at which the duct forgets its inlet.

regimes · Peclet
A factor of 1.8 between the extremes. The same numbers as a bar. The spread is exactly 96 over 160/3, which is 1.8 — and it is a spread in a quantity that a single correlation using the hydraulic diameter treats as a constant. A rectangle twenty times as wide as it is deep is 78 per cent more resistant than a circle of the same hydraulic diameter.

A number that is only the shape of the hole

The friction factor times the Reynolds number for laminar flow in a duct is a pure number that depends on the cross-section's shape and on nothing else — not the fluid, not the size, not the flow rate. It is exactly 64 for a circle and exactly 96 for a slot, and the correlation that treats them as the same is wrong by a third.

applied · Internal flow
A uniform scalar in a fluid at rest, under two face rules. Nothing is flowing and the scalar starts at one everywhere. The swept-volume rule leaves it at one to the last bit, at every step of the two time units. The midpoint rule moves it by two parts in ten thousand, on a mesh motion that begins and ends in the same place, and the excursion looks exactly like a physical transient.

The mesh that makes its own mass

The transport theorem holds for a region moving at any velocity, which is what makes a moving-mesh calculation possible. Discretised carelessly it is not an identity but an approximation, and a fluid at rest with a uniform density then gains density from the motion of a grid — smoothly, plausibly, and looking exactly like a physical transient.

kinematics · Transport theorem
Every unstable mode of every profile, inside one circle. The complex phase speeds of the unstable modes, scaled so that each profile's own semicircle is the unit one. Howard's theorem says every one of them must lie inside — the centre and the radius are the mean and half-range of the velocity profile and nothing else — and every one of them does, with the closest approach at 0.915 of the radius.

Every unstable wave is inside one circle

Before solving anything, you know where the answer is. Howard's theorem says the complex phase speed of any growing disturbance in a shear flow lies inside a circle fixed by the fastest and slowest parts of the profile — and by nothing else about it at all.

turbulence · Instability
The singularity a thin aerofoil drives onto its own nose. The Joukowski map has a critical point that maps to a place inside the body, a distance 4 mu²/(1 + 2 mu) from the leading edge. Against thickness that distance is a clean square: a twelve per cent section is analytic only within eight thousandths of a chord of its own nose, and the thin-aerofoil limit is the limit in which the singularity arrives on the surface.

The part of the flow inside the body

A potential flow outside a body is an analytic function, and an analytic function does not stop at the boundary it was defined on. It continues inward until it meets a singularity — and every body in this collection has at least one inside it, in a place that decides how the flow behaves outside.

inviscid · Singularities
The exact solution and its three approximations, at ε = 0.02. The outer solution is excellent everywhere except in a layer of width ε at the left, where it is wrong by a whole unit. The inner solution is excellent inside that layer and wrong everywhere else. The composite is their sum less the part they agree about, and it is within order ε of the exact solution across the whole interval — which is the entire content of matched asymptotics, drawn.

One formula for both ends

Two limits, each with its own description, neither valid everywhere. The composite is the sum less the part they agree about, and it is uniformly good — but the overlap region that justifies the construction does not exist at ε = 0.01, and the composite is still accurate to two per cent there.

regimes · Crossover
Two theories, one composite, and the aspect ratio between them. The lift-curve slope against aspect ratio. Prandtl's lifting line is exact as the aspect ratio goes to infinity and Jones's slender-wing theory is exact as it goes to zero, and each is generous outside its own limit. Helmbold's formula reduces to both with no free constant, which is what a composite expansion is, and runs under them where they disagree.

Where the line stops being a line

Prandtl's lifting line replaces a wing with a single bound vortex and its trailing sheet, and the formula that comes out is the most quoted in low-speed aerodynamics. Solved numerically at aspect ratio one it returns its own closed form to sixteen decimals — and the answer is forty-one per cent too high.

circulation · Finite wing
A pure number with no fluid in it. The load a plane slider bearing carries, divided by everything dimensional in it. What is left is a function of the convergence ratio alone — no viscosity, no speed, no size, no material — so the tilt that carries the most load is decided before anything about the machine is known. It is the root of one transcendental equation, at 2.1887048.

The gap that carries the most

A bearing's most consequential dimension is decided by a number with no oil in it, no speed and no size — the root of one transcendental equation, at 2.1887048. And the maximum it sits on is flat enough that the value printed in every handbook is not it.

viscous · Lubrication
And they are one piece of arithmetic. All three corrections against one over the logarithm of their own large parameter. Each is a straight line through the origin, with its own slope: one third exactly for the enstrophy range, near one for the wall layer, and near ln 10 for Oseen's per-decade measure. Three disappointments in three different fields, written up separately, are the same function.

The three that never converge

Oseen's drag coefficient, the overlap layer's power-law exponent and the enstrophy range's slope are three separate disappointments in three different fields. They are one piece of arithmetic, and the arithmetic says why none of them will ever be reached.

regimes · Crossover
Fourteen pure numbers, and where each came from. Every one of these is dimensionless, exact and quoted as a fact about fluids. None of them comes from dimensional analysis, which says which numbers an answer may depend on and never what any of them is. They come in four kinds — algebra, an integral, a root and an optimum — and the last two are not equally knowable.

Where a pure number comes from

Sixty-four for a round pipe, sixteen twenty-sevenths for a wind turbine, 0.332 for Blasius. Counting dimensions produces none of them — it produces the list of arguments, and the function has to be solved. Which of the four ways it was solved decides how many digits are worth printing.

regimes · Dimensional
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
How flat the optimum is. The same curve near its maximum, with the bands within a tenth and a half of one per cent of the best shaded. Every taper ratio from 0.31 to 0.42 is within a tenth of a per cent of the optimum, and the whole band from 0.25 to 0.51 is within half a per cent. The optimum is exact, and choosing it rather than its neighbour buys nothing a wing can measure.

The optimum that does not matter

Elliptic loading gives the least induced drag, exactly, and the proof is one line: the penalty is a sum of squares. Which is also why the optimum is flat enough that a quarter of the design space sits inside a tenth of a per cent of it.

circulation · Taper
The damping crosses zero once, and the crossing is the boundary. The least damping ratio of the four aeroelastic modes against speed. It falls through zero at 80.843 metres a second, and at that speed the crossing root's real part is four parts in 10¹⁸ — which is what an algebraic condition on a quartic with real coefficients looks like when it is solved numerically.

The speed where the damping is exactly zero

Flutter is an algebraic condition on a quartic: one root crosses the imaginary axis, at one speed, exactly. And the quantity that locates it is so nearly flat there that the standard way of finding it from flight test overshoots by a quarter.

circulation · Flutter
Two wakes with one drag. The two initial velocity deficits: a slab, which is roughly what a bluff body leaves, and a pair of separated lobes, which is roughly what a body with a jet through the middle of it leaves. Their integrals are identical, so the two bodies have exactly the same drag.

A wake that keeps the drag and forgets the body

Two very different wakes with the same momentum deficit converge to the same profile, because the deficit is conserved and everything else diffuses away. The convergence is a power law rather than an exponential, so it takes two hundred widths for twenty per cent agreement and nine hundred for five.

turbulence · Wake
Slip follows the stripes more closely than the shear does. Plan views of a striped surface, with the stripes running across each panel, for a shear at 0°, 30°, 54.7° and 90° to them. The faint arrow is the direction of the shear; the dark one is the slip velocity it produces, whose component along the stripes is the along-stripe slip length times the shear and whose component across them is half that. The slip is turned towards the stripes by 0.0°, 13.9°, 19.5° and 0.0°. It is largest, 19.47°, for a shear at 54.74°, where tan θ = √2. A surface with a tensor for a boundary condition can push a flow sideways, which a scalar slip length never can.

Twice as slippery along as across

A surface of alternating gas and solid stripes lets a liquid slip, and a flow far above it sees one number in place of the pattern — but the number depends on which way the flow goes. Along the stripes it is Philip's logarithm; across them it is exactly half, for a reason that takes one substitution to show. And the logarithm means that the slip is bought by the pattern's period rather than by how much of it is gas.

kinematics · Boundary conditions
Three modes carry heat up to a ceiling of three; the rolls they were cut from keep going. The Nusselt number — heat carried across the layer over what conduction alone would carry — against r, the Rayleigh number over its critical value, for Lorenz's three-mode truncation, 1 + 2(r − 1)/r, and for steady rolls at the same wavenumber computed with 6 and with 42 temperature modes. At r = 2, r = 5 and r = 30 Lorenz gives 2.000, 2.600 and 2.933; the 42-mode rolls give 2.143, 3.323 and 5.970. Lorenz's value can never exceed three whatever the Rayleigh number; the rolls' keeps rising. The ceiling is not in the convection. It is in the three modes, which have only one way to thin the thermal layers, and half of it is used by the time the layer is twice past onset.

The truncation that cannot carry three times the heat

Lorenz's three modes give a convecting layer's heat flux in one line — one plus twice (r − 1) over r — and it can never reach three times what conduction carries. The same rolls computed with forty-two modes agree with that line exactly at onset, carry 7.1 per cent more heat at twice the critical Rayleigh number, and twice as much at thirty times it. The ceiling is not in the convection; it is in having one sine to draw the temperature with.

turbulence · Convection
One material loop, at five stages of being drawn out. A circle of fluid particles carried by four point vortices, drawn at equal intervals over fourteen time units. Its length grows by a factor of six and its shape becomes unrecognisable; the circulation round it does not move at all.

The drift was the instrument

Kelvin's theorem was checked on this site by carrying a loop and watching its circulation move by eight parts in a hundred thousand. That drift is not the flow forgetting. The exact number is a count of what is inside the loop, it does not move by anything at all, and the drift belongs entirely to the two instruments used to measure it.

inviscid · Kelvin
How fast a duct forgets each part of its inlet. The decay rate along the duct for each mode of a disturbance to the developed profile. It goes as the square of the mode number, so the third mode is forgotten nine times faster than the first and the tenth a hundred times faster.

A duct that forgets everything but one number

Whatever is fed into a pipe, what survives a little way down it is one shape. The disturbance's higher modes decay as the square of their mode number, so the sixth is gone in thirteen centimetres where the first survives four and a half metres — and the entrance length is that one mode's decay rate and an arbitrary threshold.

viscous · Entrance

Named alongside it

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

MeasurementModel limitModel validityToleranceBoundary conditionDimensionlessDiscretisationEigenvalueRegimeThresholdConformal mapLinear stability

All concepts