Viscosity

Two drags, or nothing swims

A bacterium turns a corkscrew and goes forward, and the reason is not the corkscrew. It is that a thin filament dragged broadside resists more than the same filament dragged end-on. Make the two resistances equal and the thrust is not small but exactly zero, for every pitch and every rate.

Worth reading first: A swimmer that cannot go backwards · A force without the flow that makes it.

Taylor’s waving sheet ends its own list of limitations with the case it cannot treat: the sheet is planar, most flagella are helical, and a plane wave produces no torque while a helical one does. That is stated there as a shortcoming of the model. It is better read as a different mechanism.

A bacterium does not wave anything. It has a rotary motor in its cell wall, the motor turns a rigid helical filament at about a hundred revolutions a second, and the cell moves forward — a displacement that, like every other one at this scale, is the area its shape traces out rather than a consequence of how fast it is traced. Nothing about that arrangement is obviously propulsive. A corkscrew in a nut goes forward because the nut’s thread holds it; a corkscrew in water has nothing to push against, the water has no inertia to leave behind, and turning something about its own axis is an operation with no preferred direction along that axis at all.

The thing that supplies the direction is not the helix. It is a property of the filament that the helix merely makes use of.

The only term that turns spin into thrust, and what it is made of. The coupling term of the propulsion matrix against the drag anisotropy, with the geometry held fixed. It is exactly proportional to the difference of the two drag coefficients, so it is zero when they are equal — not small, zero — and no helix of any pitch turned at any rate would move. A real filament sits at 1.66, which is a third of the way from useless to the unreachable limit.
Fig. 1 The only term in a helix’s propulsion matrix that turns rotation into thrust, against the ratio of the filament’s broadside drag to its end-on drag. It is proportional to the difference of the two, so at a ratio of one it is not small but zero — no helix of any pitch turned at any rate would move. A real filament sits at 1.66.

One filament, two drags

Pull a thin straight rod through a viscous fluid end-on and broadside at the same speed, and the broadside case resists more. That is unsurprising; what matters is by how much, and the answer has a peculiar form.

A slender body of length much greater than its radius has drag coefficients per unit length

ζ=4πμln(2q/r)+12,ζ=2πμln(2q/r)12,\zeta_\perp = \frac{4\pi\mu}{\ln(2q/r) + \tfrac12}, \qquad \zeta_\parallel = \frac{2\pi\mu}{\ln(2q/r) - \tfrac12},

where rr is the filament’s radius and qq the length over which its direction changes — for a helical filament, its wavelength. The logarithms are there for the same reason logarithms appear all over creeping flow: a line force in three dimensions makes a disturbance that decays as 1/distance1/\text{distance}, its integral diverges at both ends, and what cuts it off is the filament’s own radius at one end and its own curvature at the other. The ratio of those two lengths appears, and it appears inside a logarithm because that is what the integral gives.

For a bacterial flagellum — a filament twenty nanometres across on a helix of 2.3 micrometres pitch — the logarithm is 5.44, and the two coefficients are 2.12×1032.12\times10^{-3} and 1.27×1031.27\times10^{-3} pascal seconds. Their ratio is 1.663.

Three things about those expressions repay reading rather than using. The first is that the coefficients are not properties of the filament alone: qq is a length belonging to the shape the filament has been bent into, so the same wire has different drag coefficients when it is wound into a tight helix and a loose one. That is not a defect of the theory but a statement about what a local drag coefficient can mean — the flow at a point on a curved filament depends on where the rest of the filament is, and the logarithm is the crudest possible way of admitting it.

The second is that the two coefficients are not independent constants of a material but both built from one logarithm, which is why their ratio is so tightly constrained. There is no filament with a large ζ\zeta_\perp and a small ζ\zeta_\parallel; making the filament thinner raises both, in a fixed proportion set by the numerators 4π and 2π and shifted only slightly by the halves.

The third is the halves themselves. They are the difference between the modern coefficients and the ones Gray and Hancock published, and they matter more than their size suggests: it is the difference of the two coefficients that does all the work below, and a half in each denominator moves that difference by more than it moves either coefficient. A theory accurate to twenty per cent in ζ\zeta_\perp and ζ\zeta_\parallel separately is accurate to rather less than that in the quantity the organism actually uses.

The coupling term, and what it is made of

Turning a helix about its axis is a rigid motion, and in Stokes flow the force follows from the instantaneous geometry alone, so the velocity of each point of the filament is known: an axial translation UU plus a rotation Ω\Omega about the same axis. Resolving that velocity onto the local tangent and perpendicular, multiplying by the two coefficients, and integrating along the filament gives the force and the torque in the form

F=(AU+BΩ),T=(BU+CΩ),F = -(A\,U + B\,\Omega), \qquad T = -(B\,U + C\,\Omega),

with, for a helix whose tangent makes an angle α\alpha with the axis,

A=Λ ⁣(ζcos2 ⁣α+ζsin2 ⁣α),B=ΛRsinαcosα(ζζ),C=ΛR2 ⁣(ζsin2 ⁣α+ζcos2 ⁣α).A = \Lambda\!\left(\zeta_\parallel\cos^2\!\alpha + \zeta_\perp\sin^2\!\alpha\right), \qquad B = \Lambda R \sin\alpha\cos\alpha\left(\zeta_\parallel - \zeta_\perp\right), \qquad C = \Lambda R^2\!\left(\zeta_\parallel\sin^2\!\alpha + \zeta_\perp\cos^2\!\alpha\right).

AA is the drag of a helix towed along its axis and CC is its resistance to being spun; both are positive sums of positive things and neither is interesting. Everything the organism gets is in BB, which is the term that says a rotation produces an axial force, and it is proportional to ζζ\zeta_\parallel - \zeta_\perp and to nothing else that can vanish.

The mechanism, said without algebra: each short piece of the filament is moving sideways, in a circle about the axis. Because it is tilted, that sideways motion is partly along its own length and partly across it. The fluid resists the across-part harder than the along-part, so the reaction on the filament is not antiparallel to its motion — it is tilted away from it, towards the filament’s own normal. Summed round the helix, the components in the plane of rotation cancel and the axial components do not.

If the two resistances were equal the reaction would be exactly antiparallel to the motion, there would be no tilt, and the axial components would be zero everywhere rather than cancelling. Computed that way — setting ζ=ζ\zeta_\perp = \zeta_\parallel and evaluating — the coupling term is identically zero, and so is the swimming speed of the whole organism.

It is worth being clear about what that thought experiment is and is not. An isotropic drag law is not a fluid anybody can make; it is the statement that the filament’s resistance tensor is a multiple of the identity, which for a slender body it is not and for a sphere it is. A helix made of beads that were each a sphere would not swim, and this is a real prediction rather than a rhetorical one: the beads would have to be spaced far enough apart not to see one another, and a chain of independent spheres turned about an axis produces no net axial force at all.

The other half of the same statement is that the coupling is largest when the tilt is largest, which is not at the extremes of pitch. BB carries a factor sinαcosα\sin\alpha\cos\alpha, so it vanishes for a straight filament along the axis — no radius to make a circle with — and for a ring perpendicular to it — every element moving exactly along its own length — and it is largest at forty-five degrees, where the two are balanced. The geometry contributes a factor that peaks in the middle; the material contributes a factor that cannot be changed. Everything a designer or an organism can do is contained in the first.

A ratio with a ceiling it cannot approach

Since everything depends on the anisotropy, the natural question is how large it can be made, and the answer is a good example of a bound that is useless.

The factor of two nothing reaches. The ratio of a slender filament's broadside drag to its end-on drag, against the filament's radius. The limit as the filament thins is exactly two and the approach is logarithmic, so it never arrives: a ratio of 1.9 would need a radius of 5.3e-23 metres. Everything a cell can build lies in the shaded band, between about 1.54 and 1.78.
Fig. 2 The ratio of broadside to end-on drag against the filament’s radius. As the filament thins the ratio approaches exactly two, and it approaches through a logarithm, so it never arrives: a ratio of 1.9 would need a radius of 5×10⁻²³ metres. The shaded band is everything a cell can actually build.

As r0r \to 0 the logarithm dominates both denominators and the ratio tends to 22. That limit is quoted everywhere, and it is quoted as though it were nearly achieved. It is not:

γ=ζζ=2(ln(2q/r)12)ln(2q/r)+12,\gamma = \frac{\zeta_\perp}{\zeta_\parallel} = \frac{2\left(\ln(2q/r) - \tfrac12\right)}{\ln(2q/r) + \tfrac12},

and inverting it for a stated γ\gamma gives the logarithm, and thence the radius, in closed form. A ratio of 1.7 needs a radius of 2×10112\times10^{-11} metres, which is a fifth of an atom. A ratio of 1.8 needs 2.6×10142.6\times10^{-14}, which is smaller than a proton. A ratio of 1.9 needs 5×10235\times10^{-23} metres, which is not a length anything has.

The factor of two nothing reaches. The ratio of a slender filament's broadside drag to its end-on drag, against the filament's radius. The limit as the filament thins is exactly two and the approach is logarithmic, so it never arrives: a ratio of 1.9 would need a radius of 5.3e-23 metres. Everything a cell can build lies in the shaded band, between about 1.54 and 1.78.
Fig. 3 The same curve over the range a filament could occupy — a nanometre to a micron. The whole of biology’s freedom in this quantity is a band from 1.54 to 1.78, and a thousandfold change in the filament’s thickness buys fifteen per cent of it.

So the honest statement is that the anisotropy is fixed at about five-thirds for every filament that exists, and it is not a parameter an organism can select. The design freedom in flagellar propulsion is entirely in the geometry — the radius, the pitch, the length — and not at all in the property that makes propulsion possible in the first place.

The matrix is symmetric, and that is not a convenience

The same BB appears in the force equation and in the torque equation. It was not put there twice.

Computing the matrix by summing the drag on twenty thousand short elements of the helix — one calculation for a unit translation, a second for a unit rotation, with the axial force and the axial torque read off each — gives the off-diagonal entry twice, by two routes that share no arithmetic. They agree exactly: the difference is zero to the last bit, and the diagonal entries match the closed forms to three parts in 101310^{13}.

That symmetry is the reciprocal theorem in the form it takes for a rigid body. A Stokes flow’s resistance matrix is symmetric for the same reason a conservative system’s stiffness matrix is: it is the second derivative of a single quadratic functional, the dissipation. The physical statement is worth having because it is not obvious. The axial force produced by a unit of rotation is numerically equal to the axial torque produced by a unit of translation — so a helix dragged through a fluid spins at exactly the rate needed to make those two statements the same number, and a helix held against rotation and pushed feels a torque a measurement of the first experiment would have predicted.

It also guarantees, together with positivity, that the determinant ACB2AC - B^2 is positive at every pitch, which is what stops the arithmetic below producing a swimmer that extracts work from the fluid.

The pitch that is best, and the one bacteria use

With the matrix in hand, a free swimmer is three lines. Attach a sphere of radius rbr_b as a cell body, let the motor turn the filament at ω\omega relative to it, and impose no net force and no net torque on the pair. The result is

U=BCbω(A+Ab)(C+Cb)B2,U = \frac{-B\,C_b\,\omega}{(A + A_b)(C + C_b) - B^2},

with Ab=6πμrbA_b = 6\pi\mu r_b and Cb=8πμrb3C_b = 8\pi\mu r_b^3 the body’s own two resistances.

A corkscrew too tight and one too loose are the same corkscrew. Swimming speed and efficiency against the angle the filament's tangent makes with the helix axis, at fixed contour length and fixed motor rate, both scaled to their own maxima. A nearly straight filament has no coupling because it has no radius; a nearly circular one has none because its tangent is everywhere perpendicular to the axis. The fastest is at 50° and the most efficient at 40°, and bacterial flagella sit between them.
Fig. 4 Swimming speed and efficiency against the angle the filament’s tangent makes with the helix axis, at fixed contour length and fixed motor rate, each scaled to its own maximum. Both vanish at the ends — a nearly straight filament has no radius to couple with, a nearly circular one has a tangent everywhere perpendicular to the axis — and the two maxima are twenty degrees apart.

The speed peaks at fifty degrees and the efficiency at forty, and a bacterial flagellum’s tangent sits at about twenty-nine. That it lies below both optima is not a puzzle about efficiency. The sweep above holds the contour length fixed, which means a steeper helix is a shorter one along the axis; an organism that instead holds its body length fixed, or that must fit its filament past a cell wall, is optimising a different thing. What the curve does establish is that the optimum is broad — the speed is within ten per cent of its maximum over a range of twenty degrees — so a flagellum does not have to be precisely made.

One bacterium, end to end

What the motor has to be able to do

The same three lines that give the swimming speed also say what load the motor is working against, and the answer is not the one an engineer would guess.

Torque balance on the cell body alone says that the motor’s torque equals the body’s own rotational drag: T=CbΩbodyT = C_b\,|\Omega_{\text{body}}|. So the motor is not primarily fighting the filament. It is fighting the body, through the filament, and the division of the motor’s rotation between the two is set by the ratio of their rotational resistances — the same kind of statement as twice as slippery along as across, read for rotation instead of translation. With the numbers above, the filament turns at 86 per cent of the motor’s rate and the body counter-rotates at 14 per cent, and the torque is whatever the body’s drag demands at that rate.

The effective rotational load the motor sees — its torque divided by its own rate — is 4.5×10224.5\times10^{-22} newton-metre-seconds, which is smaller than either the body’s CbC_b or the filament’s CC taken alone. That is the same sharing that makes two springs in series softer than either: the motor’s shaft is free to turn either end, and it turns whichever end is easier.

The consequence for the organism is a genuine design statement. A bacterium with a larger body has a larger CbC_b, turns its filament closer to the full motor rate, and swims faster for the same motor — up to the point where the body’s translational drag AbA_b starts to dominate the denominator of the swimming speed. There is therefore a body size that swims fastest for a given filament and a given motor, and it is not the smallest one. The usual intuition that a microswimmer should minimise its drag gets the sign of one of the two terms wrong.

One bacterium, computed from its own geometry. What the propulsion matrix gives for a flagellum of the size a bacterium carries, driven at a hundred turns a second. The speed is within a factor of two of what is measured, the body counter-rotation is close to what is measured, and the efficiency is two per cent — which is not a failure of design but the price of propelling anything with the same mechanism that drags it.
Fig. 5 What the propulsion matrix gives for a flagellum of the size a bacterium carries, driven at a hundred turns a second: a speed within a factor of two of what is measured, a body counter-rotation close to it, a motor torque of the right order, and an efficiency of two per cent.

The computed swimming speed is 13.6 micrometres a second against a measured 25 to 30. That is a factor of two, and it is the honest accuracy of resistive force theory applied to a real cell: the coefficients assume an isolated filament in unbounded fluid, and a bacterium’s flagella are gathered into a bundle a few filament diameters apart, immediately behind a body several times their own thickness. Both corrections go the same way — a bundle experiences less drag per filament than an isolated one, and the body shields part of the flow — and both are known to be tens of per cent.

Three other numbers come out of the same three lines and are worth more than the speed, because nothing was tuned to produce them. The body counter-rotates at seventeen per cent of the flagellum’s rate, against a measured twenty or so; that number is a ratio of two resistances, CbC_b against CC, and it contains none of the filament’s drag coefficients at all. The motor torque is 283 piconewton-nanometres, which is the right order for a flagellar motor running near a hundred hertz. And the power delivered into the fluid is 0.18 femtowatts.

That last number is the one that decides how to read the efficiency. Two per cent sounds like a failure; 0.18 femtowatts is about one part in 10510^5 of a bacterium’s total metabolic rate. Propulsion is not what a bacterium spends its energy on, so the efficiency of its propeller is not a quantity evolution had much reason to optimise — which is consistent with a flagellum sitting twenty degrees off the best pitch and not caring.

The two per cent also has a floor underneath it that has nothing to do with the helix. At this Reynolds number thrust and drag are produced by the same mechanism — every part of the filament that pushes on the fluid is also being dragged by it — so there is no arrangement that separates them, and the Lighthill efficiency of any low-Reynolds swimmer is a few per cent. A fish reaches tens of per cent by leaving a jet behind, which requires inertia to carry the jet away, and inertia is exactly what is absent here. The propeller is not badly designed; the regime does not permit a good one, and the same statement in different words is the second-order smallness that makes a waving sheet inefficient too.

A swimmer that dissipates the same everywhere. Taylor's waving sheet, with the wave drawn along the bottom and the dissipation drawn against height above it. The dissipation function works out at 4μb²c²k⁶y²e^{−2ky} — with no x in it at all, so the sheet is destroying energy at the same rate under every part of the wave and at every instant of the cycle. It peaks one radian of wavelength above the sheet and is gone within about three.
Fig. 6 The other classical swimmer, for contrast: an infinite sheet carrying a transverse wave. Its propulsion comes from a second-order mean rather than from a coupling term, its dissipation is uniform along the wave, and it has no torque anywhere — which is the property that keeps a plane wave from needing a counter-rotating body.

The sheet is the cleaner of the two comparisons, because it isolates what the anisotropy is doing. A plane transverse wave has no preferred sense of rotation, so nothing about it needs a counter-rotating body; in the helix the thrust and the torque are two entries of one matrix and cannot be had separately. That is the whole of why a bacterium spends seventeen per cent of its motor rate turning its own cell body backwards and a waving sheet spends none — and it is also why the sheet’s efficiency, small as it is, is not limited by anything a helix could borrow.

The bill for going a metre has no amplitude in it. Power and swimming speed against the sheet's amplitude, both scaled to their largest values, at a fixed wave speed. Both go as the square of the amplitude, so their ratio does not depend on it at all: the work per unit distance travelled is 2μkc, whatever the sheet does. What does change it is the wave speed, linearly — so a large slow undulation is cheap and a small fast ripple is not, at the same swimming speed.
Fig. 7 The sheet’s power and speed against amplitude, which are the same curve, so that its cost per unit distance contains no amplitude at all. The helix has no such cancellation: its speed is linear in the motor rate and its power is quadratic, so its cost per unit distance is proportional to how fast it is driven.

Three assumptions doing more work than the arithmetic

Three approximations carry more of this calculation than any of its numbers do, and the first is the condition under which the drag law itself holds. Stokes’ law is the leading term of an expansion in the Reynolds number, and the correction to it is not quadratic but linear, so it dies away far more slowly than a first reading suggests — which is worth knowing before quoting a drag coefficient for anything that moves at a Reynolds number near one.

How small is small enough. The error in Stokes' law for the drag on a sphere, against the Reynolds number, both logarithmic. Oseen's correction is the first term the neglected inertia puts back, and it says the error is 3Re/16: one per cent at Re = 16/297 = 0.054, five per cent at 0.28, and already sixteen per cent at Re = 1 — which is the value at which the two terms the Reynolds number compares are equal, and is where every textbook draws the boundary of creeping flow.
Fig. 8 How small a Reynolds number has to be before Stokes’ law is the right drag law — one per cent at Re = 0.054, not at Re = 1. A bacterium swims at 10410^{-4}, so this is one approximation in the calculation above that is not close to its limit.

Every element of the filament is treated as though the rest of the filament were not there. Resistive force theory replaces the filament by a line of local drag coefficients and ignores the flow each element makes at the others. That is the largest error in the calculation, it is what the logarithm is a crude stand-in for, and slender-body theory — which keeps the interaction and is an integral equation rather than a formula — changes the coefficients by ten to twenty per cent.

There is one filament and a real cell has several. E. coli carries four to six, which coalesce into a rotating bundle when the motors turn the same way and fly apart when one reverses. A bundle is not a thicker filament and it is not several independent ones; the correct treatment needs the interaction the previous paragraph discards.

The body is a sphere and the filament is attached to nothing. A real cell is a rod, the hook joining motor to filament is flexible, and the flexibility matters: it is what lets a bundle form at all.

The filament is rigid. It is elastic, and at high enough motor torque it buckles — polymorphic transitions, in which the helix switches to a different pitch and handedness, are how the organism changes direction.

And nothing here is near a wall. A swimmer within a body length of a surface has an image system, swims in circles rather than straight lines, and is attracted to the surface — which is why bacteria accumulate on glass and why a measurement made in a thin chamber is not a measurement of free swimming.

Who found it, and when

Gray and Hancock gave the resistive coefficients and the first calculation of flagellar propulsion in 1955, working on sea-urchin spermatozoa. Lighthill corrected the coefficients in 1976 — the logarithm’s argument and the half in the denominator are his — and gave the slender-body treatment that supersedes them. Purcell wrote the propulsion matrix in the form used here in 1997, in a short paper whose title, The efficiency of propulsion by a rotating flagellum, understates what it contains.

The surprising connection is with a result about a completely different kind of object, and it is the same anisotropy. A long rigid rod settling under gravity in a viscous fluid does not fall vertically unless it happens to be vertical or horizontal: its drag coefficients across and along differ, so the drag is not antiparallel to the velocity, and the rod drifts sideways as it sinks. The angle of that drift is set by the same ratio γ\gamma and vanishes when γ=1\gamma = 1. A settling rod and a swimming bacterium are the same tilted reaction, once with gravity supplying the motion and once with a motor, and neither would happen in a fluid that resisted a thin filament equally in both directions.

Still open: what the bundle is worth

The factor of two between the computed speed and the measured one is not a mystery, and it is not currently a number either.

Two corrections stand between them and they have opposite signs in the places it matters. A bundle of four filaments turning together, each a few diameters from the next, has a lower drag per filament than an isolated one, because each sits in the flow the others make — which raises the swimming speed for a given torque. The cell body immediately ahead of the bundle shields part of that flow and adds a drag the sphere model already counts once, which lowers it. Neither is small, and their sum has been computed in full only by numerical methods that give a number rather than a dependence.

The calculation that would say something general is the propulsion matrix of a bundle as a function of filament spacing, with the interaction kept at the level of the Oseen tensor and nothing else — which is the same approximation the three-sphere swimmer is solved with, applied to a different geometry. The two questions it would answer are how tightly a bundle has to be wound before it behaves as a single thicker filament, and whether the spacing bacteria actually maintain is near the optimum of that curve or merely near whatever the hooks allow.

What links here

Computed from the collection rather than written here: the essays that point at this one.

Shares its objects with

Essays naming at least two of the same things, that neither author linked.

Named objects

A dashed tag is an object no other essay names yet.

AnisotropyCreeping flowDimensionlessEfficiencyModel limitPropulsionReciprocitySlender bodyStokes flowSwimming