Fluids at work

The cheapest turbulent pipe follows two and a half, not three

Murray's cube law comes from Poiseuille's resistance, and it fails the moment the flow in a vessel turns turbulent. The same cost minimised with turbulent friction gives a flow that grows as the radius to the power 27/11 in a smooth pipe and 7/3 in a rough one. Murray's invariant, a wall shear the same in every vessel, goes with it, and so does the local rule that made the law credible as biology: a vessel that holds its shear at a set point is twice too wide.

Worth reading first: The radius that costs least · The angle a junction chooses.

The radius that costs least found Murray’s law by minimising two bills: the power to push a flow through a vessel, which falls steeply as the vessel widens, and the cost of keeping the vessel’s volume, which rises with it. The minimum puts the flow proportional to the cube of the radius, and it comes with an invariant that makes the result more than tidy: the wall shear stress is the same in every vessel of the network, so endothelial cells that widen a vessel when the shear is above a set point and narrow it when below build the optimal network without anything computing a cost. The angle a junction chooses took the same cost to the junctions and found 37.467° for a symmetric split.

Every step of that used one formula, Poiseuille’s: the pressure drop per unit length of a laminar pipe flow, 8μQ/πr48\mu Q/\pi r^4. It holds while the Reynolds number is below about two thousand. A water main, a ventilation duct, a large artery at peak systole, an oil pipeline and the trachea at a sneeze are not laminar. This essay redoes the minimisation with the friction of a turbulent pipe and asks what is left of the law, the invariant and the rule.

The cost with turbulent friction

Write the pumping power per unit length of a pipe of radius rr with the Darcy friction factor ff,

Q Δpℓ=Q fρV24r,V=Qπr2,Re=2ρQπμr,\frac{Q\,\Delta p}{\ell} = Q\,\frac{f\rho V^2}{4r}, \qquad V = \frac{Q}{\pi r^2}, \qquad \mathrm{Re} = \frac{2\rho Q}{\pi\mu r},

and add the upkeep bπr2b\pi r^2. In laminar flow f=64/Ref = 64/\mathrm{Re} and this is Poiseuille’s dissipation. Whenever ff is a power of the Reynolds number the pumping term is a power of the radius, Qqr−nQ^q r^{-n}, and the minimum of Qqr−n+bπr2Q^q r^{-n} + b\pi r^2 sits where nn times the pumping bill equals twice the upkeep, with rn+2∝Qqr^{n+2} \propto Q^q.

Three cases have closed forms. Laminar, q=2q = 2 and n=4n = 4: r6∝Q2r^6 \propto Q^2, the cube law. Blasius’s smooth-pipe law f=0.316 Re−1/4f = 0.316\,\mathrm{Re}^{-1/4}, good from about 4,000 to 10510^5: the pumping goes as Q11/4r−19/4Q^{11/4}r^{-19/4}, so r27/4∝Q11/4r^{27/4} \propto Q^{11/4} and

Q∝r27/11=r2.4545.Q \propto r^{27/11} = r^{2.4545}.

A fully rough pipe, whose friction factor no longer depends on the Reynolds number: pumping as Q3r−5Q^3 r^{-5}, r7∝Q3r^7 \propto Q^3, and Q∝r7/3Q \propto r^{7/3}. The share of the bill that is pumping at the optimum is 2/(n+2)2/(n+2): a third laminar, which is the laminar result’s “exactly a third whatever the constants”, then 8/278/27 smooth and 2/72/7 rough. Turbulence moves a little of the cost from the pump to the pipe.

What a real friction law gives

Past transition the cube law gives way to two and a half. The exponent k in Q ∝ r^k obeyed by the cheapest vessel, against that vessel's Reynolds number, for a smooth wall and for a wall with a millimetre of roughness. While the flow is laminar k is 3, Murray's law. Past transition it drops to 2.45 at Re = 2·10⁴ and 2.4 at 1.01·10⁷, near Blasius's 27/11 = 2.455. A fixed absolute roughness barely moves it, because the cheapest pipes for large flows are large and a millimetre is a small fraction of them.
Fig. 1 The exponent k in Q ∝ r^k obeyed by the cheapest vessel, against that vessel’s Reynolds number, for a smooth wall and for a wall with a millimetre of roughness.

The closed forms are limits, and a real pipe sits between them. The figure carries Colebrook’s equation for turbulent friction — the formula behind the Moody chart — with Poiseuille’s law below a Reynolds number of 2,300 and a stated blend across the transitional band to 4,000. The flow is water, the upkeep fifty watts per cubic metre, and the minimisation is done numerically for each flow rate; the exponent is read off by differentiating the optimum radius against the flow.

In the laminar range the exponent is 3 to six figures, as it must be. Past transition it drops at once to about 2.47 and then drifts slowly down: 2.45 at a Reynolds number of 2⋅1042\cdot10^4, 2.40 at 10710^7. That is Blasius’s 27/11 where Blasius’s fit holds, and a little below it at higher Reynolds numbers, where Colebrook’s friction falls more slowly than Blasius’s quarter power. Giving the wall a millimetre of roughness hardly moves the curve. The reason is the interesting part.

Seven thirds needs a roughness that grows with the vessel

Seven thirds needs a roughness that grows with the vessel. The exponent of the cheapest turbulent vessel when the roughness is a fixed fraction of the diameter — a wall whose texture is scaled with it — at ε/D = 10⁻³ and 10⁻², beside the smooth wall. Fixed relative roughness drives the friction factor to a constant and the exponent to 7/3: 2.334 and 2.333 at the largest flows, against 2.4 for the smooth wall.
Fig. 2 The exponent of the cheapest turbulent vessel when the roughness is a fixed fraction of the diameter, beside the smooth wall.

The 7/3 law is the one usually quoted for turbulent vessels, and it needs a friction factor that does not change with the vessel’s size. A fixed absolute roughness does not give that. The cheapest pipe for a large flow is a large pipe, and a millimetre of roughness in a pipe a metre across is a relative roughness of a thousandth, at which a wall can barely feel it until the Reynolds number is very high. The bigger the flow, the smoother the optimal pipe is in the only sense friction cares about, and the exponent stays near the smooth value.

Hold the roughness at a fixed fraction of the diameter instead — a wall whose texture is scaled with the vessel, as a geometrically similar network would have — and the friction factor does go to a constant, and the exponent goes to 7/3: 2.334 at the largest flows for ε/D=10−3\varepsilon/D = 10^{-3}, 2.333 for 10−210^{-2}. So the two turbulent laws describe two different kinds of network. A family of pipes made of one material, with one surface finish at every size, follows 27/11. A family whose roughness scales with its size follows 7/3. Neither is Murray’s.

The invariant goes

Murray's invariant shear belongs to laminar vessels only. The wall shear stress in the cheapest vessel against its radius, for a smooth wall. In the laminar range it is the same in every vessel, 0.224 Pa at this upkeep — the invariant Murray's law is known for. Past transition it grows with the radius, close to r^(6/11) as Blasius's law gives, reaching 7.26 Pa in a vessel of 1.89 m.
Fig. 3 The wall shear stress in the cheapest smooth vessel against its radius.

The wall shear stress is τ=(r/2) Δp/ℓ\tau = (r/2)\,\Delta p/\ell. In laminar flow at the optimum it does not depend on the radius — 0.224 pascals at this upkeep in every vessel from a millimetre to the transition — and that is the invariant. Past transition it grows: with Blasius’s law, τ∝Q7/4r−15/4\tau \propto Q^{7/4}r^{-15/4}, and along the optimum Q∝r27/11Q \propto r^{27/11}, so τ∝r6/11\tau \propto r^{6/11}. The figure’s slope over the turbulent range is about 0.56, close to that, and the shear reaches 7.3 pascals in the cheapest vessel of 1.9 metres radius. The constant-shear property is not a general feature of least-cost networks. It is a coincidence of Poiseuille’s exponents: n=4n = 4 is the one value for which the shear at the optimum is a constant.

The rule a cell could follow stops finding the optimum

Two laminar rules bracket the turbulent optimum, and both cost. Vessels sized by two rules that are exact while the flow is laminar, against the cheapest turbulent vessels, as the flow grows past the last laminar one: the cube law Q ∝ r³ carried on, and a wall shear held at the laminar set point. The cube law makes the vessel too narrow, the shear rule too wide. At a thousand times the flow they give 0.542 and 1.55 of the cheapest radius and cost 5.78 and 1.73 times as much.
Fig. 4 Vessels sized by the cube law carried past transition, and by a wall shear held at the laminar set point, against the cheapest turbulent vessels, as the flow grows.

The laminar argument for Murray’s law as biology was that the optimum could be reached by a local rule — keep the shear at a set point — with nobody computing a cost. In turbulent flow that rule still produces a definite law, and it is the wrong one. A shear held constant with Blasius’s friction needs Q7/4r−15/4Q^{7/4}r^{-15/4} fixed, so Q∝r15/7Q \propto r^{15/7}, an exponent of 2.14, well below the optimum’s 2.45. Since the rule gives a vessel wider than the optimum at every turbulent flow, and the error grows with the flow, the figure’s warm lines rise: at ten times the flow of the last laminar vessel the shear-sized vessel is 1.18 times too wide; at a thousand times, 1.55, costing 1.73 times the least.

The other natural mistake is to carry the cube law on past transition, sizing a turbulent trunk as though it were a large laminar twig. That makes it too narrow, and narrowness costs more than width: at a thousand times the flow the cube-law vessel is 0.54 of the right radius and costs 5.8 times the least, because the pumping bill rises as the radius to the power −4.75-4.75 and the upkeep falls only as its square. The two laminar rules bracket the turbulent optimum, one on each side, and both fail by more the further the network extends above transition.

What that means for an artery is a question about flow rather than about vessels. The aorta’s mean Reynolds number is around a thousand and a half and its peak several thousand; its flow is turbulent for a fraction of each beat at most. Murray’s law is not the rule for a pulse found a different reason for the largest arteries to depart from the cube law — the reflection of the pressure wave at junctions — and its best exponents, 2.15 to 2.6, overlap the range found here. Two independent mechanisms push the largest vessels’ exponent below three in the same direction, and measured exponents in the largest arteries do sit below three; which mechanism the measurement is reading cannot be decided from the exponent alone.

Junctions narrow

A turbulent junction branches at a narrower angle into thinner daughters. A symmetric junction of the cheapest vessels against the exponent k. Left: each daughter's radius as a fraction of the parent's, 2^(−1/k). Right: the angle each daughter makes with the parent's axis, from the cost-weighted force triangle, cos θ = 2^(2/k − 1). At k = 3, 0.7937 and 37.47°; at 27/11, 0.754 and 28.41°; at 7/3, 0.743 and 25.08°.
Fig. 5 A symmetric junction of the cheapest vessels against the exponent: each daughter’s radius as a fraction of the parent’s, and the angle each daughter makes with the parent’s axis.

The junction follows from the exponent. A symmetric split with Q∝rkQ \propto r^k gives daughters 2−1/k2^{-1/k} of the parent’s radius: 0.7937 for Murray’s 3, 0.7540 for 27/11, 0.7430 for 7/3. The total cross-section therefore grows by 26 per cent at a laminar junction, 13.7 per cent at a smooth turbulent one and 10.4 per cent at a rough one, so the fluid in a turbulent network slows less on the way down.

The angle comes from the same force triangle the junction essay used, with each vessel pulling with its cost per unit length. At the optimum that cost is proportional to r2r^2 in every regime, because both bills scale together there, so the weights are the same squares of radii and only the radii have changed: cos⁡θ=22/k−1\cos\theta = 2^{2/k-1}. The angle is 37.47° laminar, 28.41° smooth turbulent and 25.08° rough. A turbulent trunk forks at a narrower angle into thinner daughters, closer to a straight run, because each daughter is a larger share of the parent’s cost and pulls harder along the axis.

A tree with a turbulent trunk

A tree with a turbulent trunk obeys two laws. A symmetric tree of the cheapest smooth vessels from a root carrying one cubic metre a second of water, halving the flow at each of thirty junctions. Left: the exponent each junction obeys, k = ln 2 / ln(r_parent/r_daughter). Right: the Reynolds number of each generation. The first 14 junctions are turbulent and obey 2.41 to 2.47; the 2 that straddle transition obey 2.38 and 1.9, because the cheapest radius jumps where the friction does; from junction 17 on the flow is laminar and every junction is Murray's, 3 to six figures.
Fig. 6 A symmetric tree of the cheapest smooth vessels from a root carrying one cubic metre a second of water: each junction’s exponent, and each generation’s Reynolds number.

A network whose root is turbulent and whose leaves are not obeys both laws. The figure starts from one cubic metre a second of water — a city main — and halves the flow at each of thirty junctions. The first fourteen junctions are turbulent and obey 2.41 to 2.47, rising slowly as the Reynolds number falls. The two that straddle transition obey 2.38 and 1.90: the friction factor jumps across the transitional band, so the cheapest radius jumps too, and a junction that crosses the band can have almost any exponent the blend allows. That pair is the least trustworthy number in the essay, since the blend is a stated choice rather than a model of transition, and the number that is not a number is the reason no better choice exists. From the seventeenth junction on the flow is laminar and every junction is Murray’s to six figures.

So the “exponent of a network” is a property of where its flow is, not of the network. A measurement that pools junctions across transition and fits one exponent will get something between 2.4 and 3 that describes no junction in it.

What the upkeep decides, and what it does not

The upkeep bb is the one number in the cost that has no measured value, and it is worth separating what it controls. It does not touch any exponent: every power law above came from the friction law alone, and a tenfold change in bb moves every curve in the first figure sideways in flow rate without changing its height. What it does set is where on the flow axis transition falls. The cheapest laminar vessel has r∝(μQ2/b)1/6r \propto (\mu Q^2/b)^{1/6}, so its Reynolds number grows as Q2/3b1/6Q^{2/3}b^{1/6}, and a costlier wall — a larger bb — makes the optimal vessel narrower and faster and reaches transition at a smaller flow. At fifty watts per cubic metre the last laminar vessel carries 0.016 litres a second in a radius of 4.5 millimetres at 0.25 metres a second; at five hundred, 0.009 litres a second in 2.6 millimetres at 0.45; at five, 0.029 litres a second in 8.1 millimetres at 0.14. The transitional flow moves as b−1/4b^{-1/4}.

At the other end of the tree the same arithmetic gives a recognisable pipe. A district water main carrying a tenth of a cubic metre a second has its cheapest diameter at 354 millimetres at this upkeep, a velocity of 1.0 metre a second and a Reynolds number of 3.6⋅1053.6\cdot10^5 — inside the one to two metres a second that design guides give for mains, though the agreement depends on a bb chosen for tissue rather than for steel. The exponent, the shares and the junction angle at that main do not depend on that choice at all, and they are the results here.

Engineers have been here

A steel main is a turbulent Murray vessel with a cheaper wall. The exponent of the cheapest radius in r ∝ Q^(1/k) when the upkeep goes as r^m rather than r², for laminar, smooth turbulent and fully rough friction. Tissue costs its volume, m = 2. A pipe's installed cost rises more slowly with its size, m of one to one and a half, which moves the exponent up. The economic-diameter rule of chemical engineering, D ∝ Q^0.45 for turbulent flow, is where the turbulent lines sit at m ≈ 1.1 to 1.7: 0.44 for Blasius and 0.462 for rough friction at m = 1.5.
Fig. 7 The exponent of the cheapest radius against the flow when the upkeep goes as the radius to a power m, for laminar, smooth turbulent and fully rough friction, beside the economic-pipe correlation.

Tissue costs its volume, so its upkeep is r2r^2. A steel pipe’s installed cost per metre does not go as its cross-section; it rises more slowly with size, roughly as the diameter to a power between one and one and a half. With an upkeep ∝rm\propto r^m the optimum radius goes as Qq/(n+m)Q^{q/(n+m)}, and the figure plots that exponent. At m=1.5m = 1.5 it is 0.44 for Blasius’s friction and 0.46 for constant friction.

Chemical engineers have sized pipes by an economic-diameter rule since the 1930s, and the rule’s standard form puts the cheapest diameter in turbulent flow proportional to the flow to the power 0.45. That correlation was fitted to pumping and pipe costs, not derived; its exponent is where the turbulent lines of this figure sit for a wall cost between r1.1r^{1.1} and r1.7r^{1.7}. It is the turbulent Murray law with a cheaper wall, found by accountants. The corresponding laminar exponent would be 0.36 at m=1.5m = 1.5, and nobody sizing a water main would use it.

How the optimum was checked

What the turbulent optimum was checked against. The checks: the three pure exponents recovered by optimisation, Murray's closed form, the pumping shares, and Colebrook's equation at two published points.
Fig. 8 The three pure exponents recovered by the optimisation, Murray’s closed form, the pumping shares, and Colebrook’s equation at two published points.

The optimum is found by golden-section search on the logarithm of the radius to a relative tolerance of 10−1310^{-13}, and the exponents by differentiating it across a flow change of a tenth of a per cent. With pure laminar friction the optimisation returns 3.00002 against 3; with Blasius’s law, 2.45454 against 27/11; with constant friction, 2.33333 against 7/3. The laminar optimum matches Murray’s closed form r6=16μQ2/bπ2r^6 = 16\mu Q^2/b\pi^2 to two parts in a thousand million, and the pumping shares match a third, 8/27 and 2/7 to one part in a hundred million. Colebrook’s equation, iterated to convergence, gives 0.01799 for a smooth pipe at a Reynolds number of 10510^5, the Moody-chart value, and at ε/D=10−3\varepsilon/D = 10^{-3} and Re=109\mathrm{Re} = 10^9 it reaches von Kármán’s fully rough limit to two parts in a hundred thousand.

The convention: steady flow, straight pipes, a volume upkeep

The cost is per unit length of straight pipe in steady flow. Junction losses are not in it: the energy lost at a fork is a local loss coefficient times the dynamic pressure, and in a turbulent network it is not small, which pushes the cheapest junction towards smaller angles still. The upkeep is proportional to volume except in the engineering figure. The Reynolds number is based on diameter. The transitional blend is linear in the logarithms of the Reynolds number and friction factor between the laminar value at 2,300 and Colebrook’s at 4,000, and is stated as a choice.

What the picture cannot show

The figures cannot show transition itself. A real pipe near a Reynolds number of 2,000 to 4,000 is intermittently turbulent, with puffs whose share of the pipe depends on the inlet and the history, and the friction factor there is not a function of the Reynolds number at all. They also cannot show pulsation: the averaging of a turbulent friction over a cardiac cycle is not the friction of the mean flow, because the friction law is nonlinear. And they cannot say what an artery senses. The finding that a shear set point builds the wrong turbulent network is a statement about the rule as written; a vessel that sensed something else — the shear’s fluctuations, or its peak — would follow a different law, and which it does is a measurement this calculation cannot make.

Who found it, and when

Murray derived the cube law in 1926 from exactly this cost with Poiseuille’s resistance. Uylings pointed out in 1977 that the same argument with a fully turbulent friction factor gives an exponent of 7/3, and that real arterial and bronchial trees might sit between the two; the intermediate Blasius value follows from the same algebra and appears in later work on optimal networks. The engineering economic diameter is older than both: it was being fitted to pipe costs in the 1930s, and textbooks of process design still print it with its exponent of 0.45. The observation that the constant-shear invariant is special to the laminar exponent follows directly from writing the shear at the optimum for a general friction law.

Still open: a junction that loses energy of its own

Every number here prices the pipes and not the forks. In a turbulent network a junction has a loss coefficient of its own — a fraction of the dynamic pressure lost to the mixing and separation at the split — and that loss depends on the angle and on the daughters’ radius ratio. The next calculation adds a junction loss of the standard form to the cost and minimises the angle and the radii together, asking whether the optimal turbulent fork narrows further than the 28° found here, whether the daughters thicken to pay for a gentler split, and at what Reynolds number the junction losses rather than the pipe friction decide a network’s shape.

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.

Friction factorModel limitMurray's lawOptimisationPipe flowRoughnessTransitionTurbulenceWall shear