Prandtl's Boundary-Layer Equations and the Blasius Similarity Solution
This appendix proves Proposition 40.15 of Experiment: Fluid Flow and Turbulence: that at large Reynolds number the Navier–Stokes system Equation (35.32) reduces, within the layer against a body, to Prandtl's equations Equation (40.26); that for a flat plate at zero incidence those equations admit a similarity solution governed by the Blasius ordinary differential equation Equation (40.27); and that the three constants quoted in Phenomenon 40.12 — the \(5.0\) of the thickness, the \(0.664\) of the local friction coefficient and the \(1.328\) of the plate drag — are consequences of two numbers read off the numerical solution of that equation [Prandtl:1904] [Blasius:1908].
The chapter reaches Equation (40.23) by a dominant-balance estimate. This section derives what that estimate guessed: the exponent \(-1/2\) is obtained rather than assumed, and the estimate's silence about the pressure is replaced by a statement of where the pressure comes from.
What is quoted here
Two things, of very different kinds.
The matching principle. The reduction below is a matched asymptotic expansion, and this treatise builds no theory of matched asymptotics. Section 13.6 of Ordinary Differential Equations and Sturm–Liouville Theory carries the WKB approximation, which is a singular perturbation of the same family — a small parameter multiplying the highest derivative, an outer solution that cannot satisfy every boundary condition, and an inner solution on a stretched variable — and its connection formulae play the part that matching plays here. But WKB is a theorem about one linear second-order equation, not a general principle, and nothing in Part II licenses what follows. The principle is therefore stated outright and used as stated:
Let a problem carry a small parameter \(\varepsilon\), let \(F_{\text{out}}\) be the leading term of an expansion valid away from the wall in the original variable \(\hat y\), and let \(F_{\text{in}}\) be the leading term of an expansion valid near the wall in a stretched variable \(Y=\hat y/\varepsilon^{p}\). Then the two expansions are assumed to possess a common domain of validity in which
applied separately to each dependent variable. Rests on Equation (35.32) and Theorem 13.72.
Two numbers. Equation (40.27) has no solution in closed form. The values
are quadratures of a numerical integration, quoted from [Blasius:1908] and not computed here. Every algebraic manipulation that turns them into the three constants of Phenomenon 40.12 is carried out below, so what is imported is exactly two decimal numbers and nothing structural.
Postulate A68.1 is an assumption about
the solution, not a theorem: it asserts that the two expansions
overlap. For the flat plate the assertion can be checked a
posteriori — the similarity solution constructed in
The flat plate: similarity and the Blasius equation approaches its free-stream
value exponentially in \(\eta\), so the overlap region is genuine and
wide — but that is a verification in one case, not a proof in
general. The debt is Part II's, and it is named in the chapter's prose
after the prooflink as well as here.
The two numbers of Equation (A68.2) are the only external inputs to the arithmetic. Note in particular that \(f''(0)\) enters the friction coefficient linearly and the drag coefficient linearly, so the relation \(1.328=2\times0.664\) between the last two constants is exact and independent of the numerics, as The three constants shows.
Scaling, and why the inviscid limit is singular
Take steady, two-dimensional, incompressible flow past a body of streamwise extent \(L\) in a stream of speed \(U\), with gravity absorbed into the pressure. Equation (35.32) reads
Scale on the body: \(x=L\hat x\), \(y=L\hat y\), \(u=U\hat u\), \(v=U\hat v\), \(p=p_{\infty}+\rho U^{2}\hat p\). Every hatted quantity is dimensionless and, by construction, of order unity in the outer flow. Dividing Equation (A68.3) by \(U^{2}/L\) and Equation (A68.4) likewise,
with \(\mathrm{Re}=UL/\nu\) the Reynolds number Equation (40.9). The small parameter is \(\varepsilon=1/\mathrm{Re}\), and it multiplies the highest derivative — which is the definition of a singular perturbation and the whole source of the difficulty.
Setting \(\varepsilon=0\) in Equations (A68.6) and (A68.7) gives the Euler equations Equation (35.19), whose solution for flow past a body is the potential flow of Proposition 35.28. That solution satisfies impermeability, \(\hat v=0\) on the surface, and cannot in general satisfy no slip, \(\hat u=0\) there. The limit \(\mathrm{Re}\to\infty\) is therefore not uniform in \(\hat y\). Rests on Theorem 35.22, Proposition 35.28 and Equation (A68.6).
Derives Proposition A68.3. With \(\varepsilon=0\) the system is first order in \(\hat y\) and admits one condition on the normal component; the potential solution of Equation (35.25) with \(\pp\phi/\pp n=0\) supplies it and leaves the tangential velocity at the wall determined — and non-zero, by Equation (35.57) and the geometry, except at stagnation points. Since the true solution has \(\hat u=0\) at the wall for every \(\mathrm{Re}\), however large, \(\lim_{\mathrm{Re}\to\infty}\hat u\) is discontinuous at \(\hat y=0\) and the convergence cannot be uniform. This is d'Alembert's error stated as an analytic fact rather than a physical one, and Phenomenon 40.12 is its resolution.
∎The inner expansion: Prandtl's equations
Introduce the stretched wall-normal coordinate and the rescaled normal velocity
with \(Y\) and \(V\) of order unity. Then, to leading order in \(\mathrm{Re}^{-1}\),
Restoring dimensions, with \(\delta\sim L\,\mathrm{Re}^{-1/2}\) the layer thickness of Equation (40.23), this is Equation (40.26). The exponent \(\tfrac{1}{2}\) in Equation (A68.9) is forced: it is the only choice for which the viscous term survives the limit without dominating it. Rests on Equations (40.23), (A68.6) and (A68.8).
Derives Theorem A68.4. The exponent. Try \(Y=\hat y\,\mathrm{Re}^{\,p}\) with \(p>0\). In Equation (A68.6) the convective term \(\hat u\,\pp_{\hat x}\hat u\) is of order unity, while the surviving viscous term is \(\mathrm{Re}^{-1}\pp_{\hat y}^{2}\hat u =\mathrm{Re}^{2p-1}\pp_{Y}^{2}\hat u\). If \(2p-1<0\) the viscous term vanishes in the limit and the no-slip condition is again lost; if \(2p-1>0\) it dominates and the leading-order equation is \(\pp_{Y}^{2}\hat u=0\), whose solution is linear in \(Y\) and cannot match a bounded outer flow at \(Y\to\infty\) while vanishing at the wall, except trivially. Only \(p=\tfrac{1}{2}\) retains both, which is Equation (A68.9). Note that this derives \(\delta/L\sim\mathrm{Re}^{-1/2}\), which Equation (40.23) obtained by comparing orders of magnitude.
The normal velocity. With \(Y\) as above, Equation (A68.8) reads \(\pp_{\hat x}\hat u+\mathrm{Re}^{1/2}\pp_{Y}\hat v=0\). For continuity to survive at leading order, \(\hat v\) must itself be of order \(\mathrm{Re}^{-1/2}\), which is the second member of Equation (A68.9), and then Equation (A68.12) follows exactly. The layer is thin and the flow through it is weak, in the same ratio.
Streamwise momentum. Substituting into Equation (A68.6),
every term of which is of order unity except \(\mathrm{Re}^{-1}\pp_{\hat x}^{2}\hat u\), which is smaller by \(\mathrm{Re}^{-1}\) and is dropped. That is Equation (A68.10), the pressure gradient being written as a total derivative in anticipation of Equation (A68.11).
Normal momentum, and the pressure. This is the step usually waved through, and it carries the most important consequence, so it is done in full. Substituting \(\hat v=\mathrm{Re}^{-1/2}V\) and \(\pp_{\hat y}=\mathrm{Re}^{1/2}\pp_{Y}\) into Equation (A68.7), the convective terms are
the pressure term is \(-\pp_{\hat y}\hat p=-\mathrm{Re}^{1/2}\pp_{Y}\hat p\), and the viscous term is
Multiplying the equation through by \(\mathrm{Re}^{-1/2}\) collects the orders as
so \(\pp_{Y}\hat p=O\!\left(\mathrm{Re}^{-1}\right)\) and at leading order Equation (A68.11) holds. In words: the pressure is uniform across the layer. It is therefore not an unknown of the layer at all — it is whatever the outer flow imposes at the wall — and this is exactly the sentence Equation (40.26) makes when it writes \(\pp_{y}p=0\).
∎Matching hands over the pressure
Let \(U_{e}(x)\) be the tangential velocity of the outer potential solution evaluated at the surface. Then Postulate A68.1 gives
and, applied to the pressure,
so the coefficient in Equation (A68.10) is a known function of \(x\) before the layer problem is posed. Rests on Postulate A68.1, Theorem A68.4 and Theorem 35.24.
Derives Corollary A68.5. Equation (A68.17) is Equation (A68.1) applied to \(\hat u\): the inner solution at large \(Y\) must agree with the outer solution at small \(\hat y\), and the latter is the wall value \(U_{e}\) of the potential flow, since the potential solution is smooth up to the wall. Applied to the pressure and combined with Equation (A68.11), which makes \(\hat p\) independent of \(Y\), it gives \(\hat p\left(\hat x\right) =\hat p_{\text{out}}\left(\hat x,0\right)\). In the outer flow Theorem 35.24 holds along the wall streamline, so \(p+\tfrac{1}{2}\rho U_{e}^{2}\) is constant there, which on differentiating is Equation (A68.18).
The logical shape is worth stating plainly, because it is what makes the boundary-layer method a method and not merely an approximation. Nothing has been solved simultaneously. The outer problem is solved first, in ignorance of the layer; its wall pressure is then handed to the inner problem as a coefficient; and the inner problem is solved afterwards. The coupling is one-way at this order, and it is Equation (A68.11) — the pressure being constant across the layer — that makes it so.
∎The flat plate: similarity and the Blasius equation
For a flat plate aligned with a uniform stream the outer flow is undisturbed, \(U_{e}=U\) constant, and Equation (A68.18) gives \(\dd p/\dd x=0\). Restoring dimensions, Equation (40.26) becomes
with \(u=v=0\) at \(y=0\) for \(x>0\) and \(u\to U\) as \(y\to\infty\).
Put
with \(\psi\) the stream function Equation (35.12). Then Equation (A68.19) is satisfied identically in \(x\) if and only if \(f\) obeys the Blasius equation Equation (40.27),
Here \(\eta\) is dimensionless and \(\psi\) carries \(\mathrm{m}^{2}/\mathrm{s}\), so \(f\) is dimensionless too. Rests on Equation (A68.19), Equation (35.12) and Theorem A68.4.
Derives Theorem A68.6. Continuity is satisfied identically by the use of \(\psi\), with \(u=\pp_{y}\psi\) and \(v=-\pp_{x}\psi\). Compute the four derivatives that occur, using
the second because \(\eta\) carries \(x^{-1/2}\). Then
Now assemble the two convective terms. The first is
and the second, using \(\sqrt{\nu U/x}\,\sqrt{U/\nu x}=U/x\),
The terms in \(\eta f'f''\) cancel between Equations (A68.27) and (A68.28) — this is the cancellation on which the whole reduction turns — leaving
The viscous term is \(\nu\,\pp_{y}^{2}u=\nu U^{2}f'''/\nu x=\left(U^{2}/x\right)f'''\) by Equation (A68.26). Equating,
and the factor \(U^{2}/x\) divides out of both sides — every explicit occurrence of \(x\) has cancelled, which is precisely the statement that the ansatz Equation (A68.20) is a similarity solution. What remains is \(f'''=-\tfrac{1}{2}ff''\), that is Equation (A68.21).
The boundary conditions transcribe as follows. At \(y=0\), \(\eta=0\): \(u=0\) gives \(f'(0)=0\) by Equation (A68.23), and then \(v=0\) gives \(\eta f'-f=0\) at \(\eta=0\), hence \(f(0)=0\) by Equation (A68.24). As \(y\to\infty\), \(u\to U\) gives \(f'(\infty)=1\). Three conditions for a third-order equation, which is why the problem is well posed and why \(f''(0)\) is determined rather than free.
∎The three constants
With \(\mathrm{Re}_{x}=Ux/\nu\) and \(\mathrm{Re}_{L}=UL/\nu\), the solution of Equation (A68.21) gives
the last for one side of a plate of length \(L\) and unit span, \(F\) being in \(\mathrm{N}/\mathrm{m}\) of span. Rests on Equations (A68.2), (A68.21) and (A68.26).
Derives Proposition A68.7. Thickness. By Equation (A68.23), \(u/U=f'(\eta)\), so the station at which the velocity has reached \(99\,\mathrm{\%}\) of the free stream is the station at which \(\eta=5.0\), by the second member of Equation (A68.2). Inverting Equation (A68.20),
Local friction. The wall stress is \(\tau_{w}=\mu\left(\pp_{y}u\right)_{y=0}\), in \(\mathrm{Pa}\), and by Equation (A68.26)
Dividing by the dynamic pressure \(\tfrac{1}{2}\rho U^{2}\) and using \(\mu=\rho\nu\),
which with \(f''(0)=0.3321\) is \(0.6642\), the \(0.664\) of Phenomenon 40.12.
Plate drag. Integrate Equation (A68.35) along the plate:
the integral converging at the leading edge despite the singularity of Equation (A68.35) there. Then
which is \(1.3284\). The relation \(C_{D}=2c_{f}(L)\) is exact and independent of the numerical value of \(f''(0)\): it is the statement that the mean of \(x^{-1/2}\) over \((0,L)\) is twice its endpoint value.
∎The momentum thickness Equation (40.25) of the Blasius profile is
so that Equation (40.25) returns exactly the drag Equation (A68.37) computed from the wall stress. Rests on Equation (40.25), Equation (A68.21) and Proposition A68.7.
Derives Proposition A68.8. The first member is Equation (A68.23) substituted into the definition of \(\vartheta\) in Equation (40.25), with \(\dd y=\sqrt{\nu x/U}\,\dd\eta\). For the identity, differentiate the product \(f\left(1-f'\right)\) and use the Blasius equation Equation (A68.21) in the form \(ff''=-2f'''\):
Integrate from \(0\) to \(\infty\). On the left, \(f(0)=0\) kills the lower limit, and at the upper limit \(1-f'\) vanishes exponentially while \(f\) grows only linearly, so the product vanishes; the left side is therefore zero. On the right the first term is \(I\) and the second is \(2\left[f''\right]_{0}^{\infty}=-2f''(0)\), since \(f''\to0\) with \(1-f'\). Hence \(I=2f''(0)\).
Substituting into Equation (40.25), \(F=\rho U^{2}\vartheta(L)=2f''(0)\rho U^{2}\sqrt{\nu L/U} =2\mu Uf''(0)\sqrt{UL/\nu}\), which is Equation (A68.37). The two routes to the drag — integrating the stress the fluid exerts on the plate, and traversing the wake far downstream — agree exactly, as Proposition 40.14 requires, and neither uses the other in its derivation.
∎A plate \(1\,\mathrm{m}\) long and of unit span, held edge-on in water of kinematic viscosity \(10^{-6}\,\mathrm{m}^{2}/\mathrm{s}\) and density \(10^{3}\,\mathrm{kg}/\mathrm{m}^{3}\), at \(1\,\mathrm{m}/\mathrm{s}\). Then \(\mathrm{Re}_{L}=10^{6}\), \(\mathrm{Re}_{L}^{-1/2}=10^{-3}\), and the dynamic pressure is \(\tfrac{1}{2}\rho U^{2}=500\,\mathrm{Pa}\), so
per side. The layer is half a percent of the plate, which is the number Phenomenon 40.12 quotes, and the drag on a square metre of wetted surface is under a newton — a useful calibration of how small viscous friction is, and of how completely it nevertheless governs the flow when it separates. Rests on Proposition A68.7 and Phenomenon 40.12.
What these equations cannot describe
Transition. The solution above is laminar. The plate's own layer becomes turbulent at \(\mathrm{Re}_{x}\) of order \(5\times 10^{5}\), so in Example A68.9 the laminar solution is honest over roughly the first half metre and the quoted whole-plate drag is the laminar figure carried past its own domain of validity. The chapter records the same transition for the pipe at Section 40.3, and the threshold is no better determined here than it is there.
Separation. Equation (A68.10) is
parabolic in \(x\): it is marched downstream from an initial
profile, and information travels only forwards. That is exactly what
fails at separation. As the wall stress approaches zero under a rising
external pressure, the marching solution develops a square-root
singularity in \(x\) at the station where \(\left(\pp_{y}u\right)_{y=0}\)
vanishes — Goldstein's singularity, established in 1948 — and the
computation cannot be continued through it. The layer equations
therefore cannot describe the separated region whose existence is the
principal observation of Phenomenon 40.12. This is why
Proposition 40.13 is proved in the chapter by an expansion
of the full equations at the wall, and not from
Equation (40.26): the criterion
Equation (40.24) has to be obtained by an argument that
survives at the point where these equations break down. Goldstein's
paper has no key in references.bib and the attribution here is
made in words.
Leading edge. Equation (A68.35) diverges as \(x\to0\), where \(\delta\) is comparable with \(x\) and the assumption \(\pp_{x}^{2}u\ll\pp_{y}^{2}u\) used in Theorem A68.4 fails. The divergence is integrable, so Equation (A68.37) is finite and the drag coefficient is unaffected at leading order; but the stress distribution near the leading edge is not given correctly by this theory.
Prandtl's Boundary-Layer Equations and the Blasius Similarity Solution discharges the derivation owed at Proposition 40.15 of Experiment: Fluid Flow and Turbulence, in the boundary-layer experiment Section 40.5. Three things done here are used there and are worth carrying back. Theorem A68.4 derives the exponent that Equation (40.23) estimated, so the chapter's resolution of the d'Alembert paradox rests on a reduction rather than on an order-of-magnitude argument. Corollary A68.5 identifies what the outer flow gives the layer, which is the content of the chapter's remark that the pressure is “impressed” on the layer from outside and is the hypothesis under which Proposition 40.13 is stated. And Proposition A68.8 closes the loop with Proposition 40.14: the drag measured by a traverse of the wake and the drag computed from the stress at the wall are the same number, exactly, for the one flow in which both can be evaluated in closed form.