Flows and fields

A wall that is not quite there

A porous surface has structure on every scale below the pore, and no calculation resolves it. The whole of it can be replaced by one length — the square root of the permeability — and the replacement is exact to first order, with what it leaves out identifiable as the flow the wall itself carries.

Worth reading first: How many things a flow must be told · A velocity nobody has.

A wall made of sintered metal, or of sandstone, or of a catalyst pellet bed, has structure at every scale from the pore upwards. Resolving that structure in a calculation of the flow along it is out of the question — a centimetre of medium with ten-micron pores has a million pores across it — and the usual approach is to ignore it and apply no slip at a smooth surface drawn where the medium starts.

That is wrong by a computable amount, and the computable amount has a name.

One number instead of a porous medium. The velocity through the bottom of a channel whose lower wall is a porous block of permeability 1e-4. Inside the block the flow decays over the pore scale √K = 1.0e-2 to Darcy's seepage velocity; above it the channel profile arrives at the interface with a slip velocity rather than at rest. A channel told nothing but u = √K du/dy at a flat wall reproduces that profile to 0.058 per cent of the flow rate, against 3.03 per cent for a wall told to hold the fluid still. The grid solve of the coupled problem agrees with the closed form to 0.0077 per cent.
Fig. 1 The velocity through the bottom of a channel whose lower wall is a porous block. Inside the block the flow decays over the pore scale K\sqrt{K} to Darcy’s seepage velocity; above it the channel profile arrives at the interface with a slip velocity rather than at rest.

Two equations, joined at a plane

Above the interface the fluid is ordinary and the flow satisfies Stokes’ equation, which for a channel is μu=dp/dx\mu\,u'' = dp/dx. Below it the medium resists, and the standard description is Brinkman’s — Darcy’s law with a viscous term restored so that the equation is of second order and can meet a condition at the interface:

μd2udy2μKu=dpdx.\mu\frac{d^2u}{dy^2} - \frac{\mu}{K}u = \frac{dp}{dx}.

KK is the permeability, an area, and K\sqrt{K} is the pore scale. Deep inside the medium the second derivative is negligible and the equation reduces to Darcy’s, giving the seepage velocity uD=K(dp/dx)/μu_D = -K(dp/dx)/\muthe velocity nobody has, since it is a flux per unit total area rather than the speed of anything.

The two regions are joined by requiring the velocity and the shear stress to be continuous. Both solutions are elementary — a parabola above, an exponential plus a constant below — and matching them gives the interfacial velocity in closed form:

u(0)=Kμ(dpdx)Darcy  +  Kdudy0slip.u(0) = \underbrace{\frac{K}{\mu}\left(-\frac{dp}{dx}\right)}_{\text{Darcy}} \;+\; \underbrace{\sqrt{K}\,\frac{du}{dy}\bigg|_{0}}_{\text{slip}}.

The second term is a Navier slip condition with a slip length of exactly K\sqrt{K}. The medium has been replaced by one number, and the number is the pore scale.

Checked twice, because a matched pair of guesses is not a solution

The closed form above is two assumed functional forms with their constants fitted to the matching conditions, which is precisely the sort of solution that can satisfy everything it was fitted to and none of the equations. So the coupled problem is also solved on a grid — one tridiagonal system spanning both regions, with the Brinkman term switched on below the interface and nothing assumed about the shape of anything.

The two agree to 0.008 per cent in the slip length at the resolutions used, and the agreement improves as the square of the spacing.

The check is not ceremony. A closed form of this kind is exactly what a plausible wrong field looks like in algebraic dress: it has the right limits, it satisfies the conditions it was fitted to, and being wrong in the interior would show up nowhere. Two details of that grid solve are worth recording because both cost time to find. The interface node’s control volume is half in each medium, so it takes half the Brinkman term; giving it none puts the interface half a cell into the porous block and the slip length comes out too large by one part in twice the number of points per pore — a fixed error that no refinement removes, because refining moves the cell and the interface together. And the shear has to be read from the free side only: a central difference across the interface straddles a jump in curvature and is first-order accurate at the one place the answer is being taken.

What the one number buys

The comparison that matters is not the slip length but the flow rate, because that is what a calculation is for. Three channels, all with the same pressure gradient: the exact two-region solution, a channel with a plain no-slip wall, and a channel with the Navier condition and nothing else.

pore scale K/h\sqrt{K}/h plain wall, error u=Kdu/dyu = \sqrt{K}\,du/dy, error advantage
0.032 9.78% 0.53% 18×
0.010 3.03% 0.058% 53×
0.0032 0.95% 0.0059% 161×
0.0010 0.30% 0.00061% 502×
What the one number buys, and how the two errors scale. The error in the channel's flow rate from each of the two wall conditions, against the pore scale, on logarithmic axes. Ignoring the porous wall costs an error proportional to √K — the slip velocity itself — while the averaged condition costs one proportional to K, which is the Darcy velocity it does not carry. Two decades of pore scale therefore turn a factor of 8 into a factor of 502: the finer the structure a boundary condition is averaging over, the better the average is.
Fig. 2 The two errors against the pore scale, on logarithmic axes. Ignoring the porous wall costs an error proportional to K\sqrt{K} — the slip velocity itself — while the averaged condition costs one proportional to KK, which is the Darcy velocity it does not carry.

Read the last row: with pores a thousandth of the channel — sintered metal in a millimetre gap, or sandstone in a borehole — a plain wall is wrong by three parts in a thousand and the averaged condition by six parts in a million. Neither error is large in that case, and the point is that the ratio between them is five hundred, and that it goes on growing. Read the first row instead and both are substantial: a medium whose pores are three per cent of the channel is not really a wall at all, and the two-region problem has to be solved.

The orders are the whole story. The plain wall’s error is first order in the pore scale and the averaged condition’s is second, so the advantage of the second grows without limit as the structure being averaged over gets finer. That is the general property that makes an averaged boundary condition worth having: it improves as the thing it is standing in for becomes less resolvable.

And the error the averaged condition does make is identifiable rather than mysterious. It is exactly the Darcy term in the matching above — the flow the wall itself carries — and a wall told to slip has not been told that anything goes through it. Fitting the exponent of the discrepancy against K\sqrt{K} gives 1.009, which is the confirmation that the missing piece is that term and not something else.

The same idea, four times on this site

Roughness. A wall covered in grains is replaced by one length, and the additive constant in the law of the wall absorbs it. The condition for that substitution to work is that the grains be small compared with the layer — and it stops working, in the other direction, when they are smaller than the viscous sublayer, at which point the wall cannot feel them at all.

A wall function. A calculation that cannot resolve the sublayer replaces it with a relation between the velocity at one point and the stress at the wall. That is the same species of object and it is conspicuously worse behaved, because it has no small parameter: its accuracy depends on where a grid point happens to lie, and there is no expansion in which its error is one order smaller than the effect.

Where the first grid point may go. The error in the friction a wall treatment infers, against the height of the first grid point, at Re_τ = 20,000. The velocity fed to each treatment is the closure's own, so what is plotted is the modelling of the boundary condition with nothing else in it. The log-law function is exact between y⁺ 30 and 10261 and is 64 per cent wrong at y⁺ = 1; the sublayer treatment is exact below y⁺ = 5 and hopeless above it; and the blend that most codes ship is within a few per cent everywhere and exact nowhere.
Fig. 3 The contrast, drawn. A wall function’s error against grid placement is a valley with no small parameter anywhere in it; the porous condition’s error is a straight line on logarithmic axes with a slope of one. Both are modelled boundary conditions, and only one of them can say how wrong it is.

A lubrication film. The whole of a bearing’s behaviour is replaced by a relation between the gap and the pressure, with the film’s own profile never computed in the outer problem.

A free surface, where the condition applied is no shear rather than no slip, and where the same question — what the interface between two fluids does to the one being computed — is answered by one relation instead of by resolving the other fluid. The difference from the porous case is that there the substitution is exact rather than asymptotic, because a free surface really does carry no stress.

And suction through a surface, which is the other way to modify what a wall does to the fluid next to it — and which gives a layer of constant thickness rather than a slip.

Why the flow rate rises at all

It is worth pausing on the direction of the effect, because a porous wall sounds like a leak and a leak sounds like a loss. The flow rate through the channel rises: 3.03 per cent at a pore scale of one per cent of the channel, against a plain wall at the same pressure gradient.

The reason is that a boundary condition is a constraint, and a weaker constraint costs less. A plain wall holds the fluid at rest and the whole of the profile is pulled down to meet it; a wall that permits a slip holds it less firmly, and the parabola sits higher. Nothing has been gained by the fluid inside the medium — the seepage there is a second-order trickle — and everything is gained by the condition at the top of it.

That is the same accounting as a drag-reducing surface. A riblet, a superhydrophobic texture and a lubricated groove all work by presenting an effective slip length to the flow, and the figure of merit is precisely K/h\sqrt{K}/h in this notation — a slip length compared with the scale of the flow being reduced. A surface that offers a slip length of a micron is worth nothing to a pipe and a great deal to a microchannel, and the reason is the ratio rather than either length.

One number instead of a porous medium. The velocity through the bottom of a channel whose lower wall is a porous block of permeability 1e-2. Inside the block the flow decays over the pore scale √K = 1.0e-1 to Darcy's seepage velocity; above it the channel profile arrives at the interface with a slip velocity rather than at rest. A channel told nothing but u = √K du/dy at a flat wall reproduces that profile to 4.286 per cent of the flow rate, against 32.73 per cent for a wall told to hold the fluid still. The grid solve of the coupled problem agrees with the closed form to 0.0151 per cent.
Fig. 4 The same construction at a permeability four decades higher, where the pore scale is a tenth of the channel. The slip velocity is now a large fraction of the mean, the interface profile is visibly curved rather than nearly straight, and a single number standing in for the block has stopped being a good summary — which is the failure this essay is about, drawn at the value where it is obvious.

Why a slip length is the wrong design variable for a turbulent surface

The section above ends by saying that a structured surface’s slip is a tensor rather than a scalar, and it is worth following that further, because the tensor’s two components enter a turbulent flow in a way that reverses the conclusion of this whole essay.

In the laminar channel computed here, slip is simply a weaker constraint and any amount of it helps. Slip along the flow raises the profile; slip across the flow is irrelevant, since there is no flow across. So the design goal would be to maximise the slip length in every direction, and an isotropic porous surface with the largest available K\sqrt{K} would be the best surface obtainable.

In a turbulent boundary layer it is not, and it is not by an argument that is exact at leading order. The near-wall region is organised by streamwise vortices lying just above the surface, and what decides the drag is where those vortices think the wall is. A streamwise slip moves the apparent wall away from the flow for the mean profile; a spanwise slip moves it away for the vortices, letting them sit closer and mix harder. The two effects have opposite signs, and Luchini’s analysis makes that quantitative: the shift in the logarithmic profile — which is what a drag reduction is — depends on the difference between the streamwise and spanwise virtual origins,

ΔU+=h+h+,\Delta U^+ = h_\parallel^+ - h_\perp^+ ,

and on nothing else at first order.

The consequence is blunt. An isotropic slip surface gives no turbulent drag reduction at all, however large its slip length, because the two origins move together and their difference stays zero. The sintered wall this essay computes, which raises a laminar channel’s flow rate by three per cent, would do nothing whatever to a turbulent one — and a naive reading of the slip length as the figure of merit predicts the opposite.

What works is anisotropy, deliberately arranged. A riblet is a set of streamwise grooves that offer a long path along the flow and a short one across it, so hh_\parallel exceeds hh_\perp by roughly a tenth of the groove spacing, and the drag reduction follows that difference rather than either origin. The optimum spacing is a few tens of viscous lengths — a physical size that shrinks as the Reynolds number rises, which is why riblet film for an airliner has grooves tens of microns apart and why the same film does nothing on a slow-moving hull. A superhydrophobic texture works the same way and for the same reason, with gas pockets supplying a much larger hh_\parallel than any permeability could, and its performance is decided by how much of the spanwise slip it manages not to give away.

The general lesson is the one this collection keeps arriving at about averaged conditions. An effective boundary condition is a summary, and which feature of the summary matters depends on what the outer flow is doing with it. For the laminar channel here the relevant feature is the magnitude of the slip length, and one number suffices. For a turbulent layer it is the anisotropy of the slip tensor, and the magnitude is nearly irrelevant. The same surface, honestly characterised by the same K\sqrt{K}, is a three-per-cent improvement in one flow and worth nothing in the other — and no amount of care in measuring the slip length would have revealed that, because the quantity the second flow cares about is a difference that an isotropic measurement reports as zero without ever printing it.

The order of the equation is the number of conditions. What each model of a fluid allows to be said at a wall. Euler's equations are first order in the wall-normal direction and take one condition — the flow may be told not to go through the wall and may not be told anything about going along it, which is why an inviscid body has no friction and no drag. Navier–Stokes is second order there and takes two, and the second one is no slip. Viscosity does not make the same problem harder, it makes it a different problem, with one more thing that has to be true at every wall. The boundary-layer equations are the parabolic middle case: two conditions at the wall and a matching rather than a value at the outer edge.
Fig. 5 What is being traded. Navier–Stokes is second order across a wall and takes two conditions, and the second of them is no slip; replacing it with a slip length does not remove a condition, it changes what the second one says. The order of the equation is unaltered, which is why the substitution is legitimate at all and why it cannot buy an extra degree of freedom.

Where the number came from, historically

Beavers and Joseph measured the effect in 1967 by running a channel over a block of foam metal and finding the flow rate several per cent above what a solid wall gives. They wrote the condition as

dudy0=αK[u(0)uD],\frac{du}{dy}\bigg|_0 = \frac{\alpha}{\sqrt{K}}\left[u(0) - u_D\right],

with α\alpha an empirical constant of order one depending on the surface’s structure — so their slip length is K/α\sqrt{K}/\alpha. Saffman derived essentially the same condition from a statistical average of the medium in 1971 and showed that the uDu_D term is a higher order and may be dropped, which is the result the calculation above reproduces.

Brinkman’s equation, from 1949, is the other half of the story and has a subtlety worth noting: its viscous term carries an effective viscosity that need not equal the fluid’s, and taking the two to be equal — as is done here — is a modelling choice rather than a derivation. Taking a different effective viscosity changes α\alpha and not the structure of the result.

So the honest statement is that the slip length is K\sqrt{K} times a number of order one, with the number depending on how the interface is built and measurable rather than derivable. This collection computes the case where that number is exactly one and says so.

A permeability is an area, and a small one. The permeability of a bed of 100 µm grains, against porosity, on a logarithmic axis. It has the dimensions of an area and at ε = 0.4 it is 9.88e-12 m² — about a hundredth of a square micron, which is the cross-section the whole model reduces the pore space to. The two curves are the hydraulic-radius argument and the capillary bundle, and they lie on top of one another because the tortuosity has been chosen to make them: that choice is the subject of the next figure.
Fig. 6 And where the permeability itself comes from. KK is a property of the medium’s geometry, related to the porosity and the grain size by the Kozeny–Carman relation, which this collection reconciles against a bundle-of-tubes model elsewhere.
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.
Fig. 7 And what the condition costs when it is the other way round. In the model problem the reduced equation cannot meet the wall condition at all and pays for it with a layer whose thickness is the small parameter — the same bargain as a slip length, with the roles of the wall and the interior exchanged.

What the picture cannot show

The medium is homogeneous and isotropic, and its interface is flat. A real porous surface has a transition region a few pores deep in which the porosity varies, and that region is where the effective interface actually is — so the plane at which the condition is applied has an uncertainty of about one pore scale, which is the same size as the slip length. Every measurement of α\alpha carries that ambiguity inside it.

The flow is slow. The interface condition is derived in creeping flow, where reversibility and linearity make the matching exact. Brinkman’s equation is a Stokes-flow description of the medium, valid while Darcy’s law still holds, which is up to a pore Reynolds number of about ten. Faster than that, inertia inside the medium adds a quadratic resistance and the whole matching has to be redone.

The channel is laminar. Over a turbulent flow the effective condition interacts with the layer whose own length is set by the friction velocity, and the comparison that matters is between the slip length and the viscous length rather than the channel height — which is exactly the comparison a roughness has to pass, and it puts most porous surfaces firmly in the “the flow cannot feel it” category at high Reynolds number.

And the same substitution is worse in three dimensions. A slip length is a scalar here because the geometry is one-dimensional; over an anisotropic medium the effective condition is a tensor, and over a patterned surface — grooves, riblets, a superhydrophobic texture — it has different values along and across, which is precisely the property those surfaces are designed to exploit.

Who found it, and when

Darcy’s law is from 1856 and a measurement rather than a derivation; Brinkman added the viscous term in 1949 to allow a boundary condition to be applied; Beavers and Joseph measured the slip in 1967 and Saffman derived it in 1971. The subject has been active ever since because the effective condition over a structured surface — grooves, posts, a lattice of gas pockets — is the design variable for drag reduction, and its computation is a genuinely open problem for anything but the simplest geometries.

The surprising connection is with the counting argument this ladder starts from. The number of conditions a flow may be told is set by the order of its equation, and the rung below shows that no slip is what viscosity’s extra order buys. This rung says something the counting argument does not: the condition need not be a statement about the fluid’s velocity at all. It can be a statement about a relation between the velocity and its gradient, with a coefficient that encodes a structure nobody resolves — and the counting still works, because a Navier condition is one condition exactly as no slip is.

One number instead of a porous medium. The velocity through the bottom of a channel whose lower wall is a porous block of permeability 1e-6. Inside the block the flow decays over the pore scale √K = 1.0e-3 to Darcy's seepage velocity; above it the channel profile arrives at the interface with a slip velocity rather than at rest. A channel told nothing but u = √K du/dy at a flat wall reproduces that profile to 0.001 per cent of the flow rate, against 0.30 per cent for a wall told to hold the fluid still. The grid solve of the coupled problem agrees with the closed form to 0.0078 per cent.
Fig. 8 The same channel with pores a hundred times finer. The slip velocity has fallen by a factor of ten and the averaged condition’s error by a hundred, which is what a first-order condition with a second-order error looks like when it is working.

Where the ladder goes next

Beside this rung sits the wall treatment a turbulence calculation uses, which is the same idea with no small parameter and no error estimate. Above it lies the structured surface — riblets, superhydrophobic textures, patterned porosity — where the effective condition is anisotropic and is being designed rather than measured, and where the whole question is how much slip a surface can be given before it stops being a surface.

What links here

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

Reads more easily once this is understood

Essays that name this one as worth reading first.

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.

AveragingBoundary conditionChannel flowClosureDarcyMeasurementThe no-slip conditionPermeabilityPorousRoughnessSlipViscosity