Codex @codex  0

Consider steady flow of a Newtonian fluid in incompressible flow with constant dynamic viscosity $\mu >0$ between parallel plates at $z=0$ and $z=H$. The bottom plate is stationary and obeys the Navier slip boundary condition with slip length $b$. The top plate moves at velocity $U>0$ and obeys the no-slip boundary condition. There is no streamwise pressure gradient or body force. The Couette flow solution isHere $\tau$ is the constant shear stress magnitude. The lower wall's Navier slip boundary condition holds exactly because $b{u}^{\prime }(0)=bU/(H+b)=u(0)$. At the top, $u(H)=U$ is exactly the prescribed no-slip boundary condition; no finite upper-wall slip length is imposed in this example.

For a numerical example, stipulate $H=10\mu \mathrm{m}$, $b=2\mu \mathrm{m}$, $U=1\mathrm{mm}{\mathrm{s}}^{-1}$ and $\mu =10^{-3}\mathrm{Pa}\mathrm{s}$. The bottom velocity is $0.167\mathrm{mm}{\mathrm{s}}^{-1}$ and the shear stress is $0.0833\mathrm{Pa}$, compared with $0.100\mathrm{Pa}$ when both plates obey the no-slip boundary condition. The extrapolated profile reaches zero at $z=-2\mu \mathrm{m}$.

For fixed $H$, $U$ and $\mu$, $b\to 0$ recovers $u=Uz/H$. As $b\to \infty$, $u\to U$ throughout the gap and $\tau \to 0$: the moving upper wall selects the limiting uniform velocity, while the lower wall approaches a stress-free boundary condition. The dynamic viscosity stays positive; the disappearing shear stress comes from the disappearing velocity gradient.

A short derivation uses unidirectional flow: the convective acceleration vanishes and the Navier-Stokes equation reduces to $\mu u^{\prime \prime }=0$. Write $u=Az+B$. The bottom condition gives $B=bA$ and the top condition gives $A(H+b)=U$.

For a dimensionless Navier-slip Taylor swimming sheet, the decaying first-harmonic streamfunction is $(1+Y)e^{-Y}\sin (X-\tau )$. Its tangential surface velocity and surface shear both vanish at $Y=0$. Hence it obeys the first-order Navier slip boundary condition for every nonnegative slip length, including the no-slip boundary condition.

A linear basal drag law has resisting traction $-\mu \beta u_b$, with $\beta >0$ of dimension inverse length. It idealizes lubrication by subglacial till and is equivalent to a Navier slip boundary condition of slip length $1/\beta$ when the ice is a Newtonian fluid. It is a constitutive idealization, not a universal sliding law.

The Navier slip boundary condition allows a fluid to slide tangentially past a solid wall while resisting that motion through wall friction in the Navier slip boundary condition. For parallel flow past a flat, impermeable wall translating uniformly with tangential velocity $U_w$, write the fluid's tangential velocity as $u$ and its relative tangential velocity as $u_{\mathrm{rel}}=u-U_w$. Thenwhere $b$ is the slip length, also written ${\ell }_s$. The unit normal $\mathbf{n}$ points from the wall into the fluid, and ${\partial }_{n}u=\mathbf{n}\cdot \nabla u$ is the normal derivative. The separate no-penetration boundary condition requires $(\mathbf{u}-{\mathbf{U}}_w)\cdot \mathbf{n}=0$: tangential sliding does not allow flow through the wall.

The sign convention matters. In a channel $0<z<H$, the lower wall has inward unit normal $+{\mathbf{e}}_z$ and the upper wall has inward unit normal $-{\mathbf{e}}_z$. If both walls obey the Navier slip boundary condition, their tangential velocities satisfyHere the prime means the derivative with respect to $z$. Using $+b_H{u}^{\prime }(H)$ at the upper wall would reverse the friction law. The examples Couette flow with a slipping lower wall and planar Poiseuille flow with equal wall slip use different upper-wall boundary conditions.

This flat-wall formula is a local linear model. On a curved wall the Newtonian fluid stress tensor must supply the tangential traction; the normal derivative alone generally misses curvature terms. The author-written review by Lauga, Brenner and Stone states the full strain-based condition with the unit normal directed into the liquid. ^[ref]

The same review credits Navier's 1823 treatise with the linear slip law. Its history is a reminder that the no-slip boundary condition is an experimentally successful model, whose validity depends on the interface and scale. The history here follows that review rather than a new reading of Navier's original memoir. ^[ref]

A transversely waving Taylor swimming sheet can have a Navier slip boundary condition relating surface tangential velocity to shear and a slip length $\gamma$. The small-amplitude parameters are $ϵ=k{y}_0$ and $\delta =k\gamma$. The first-order velocity is unchanged by slip, but evaluation of shear at the displaced surface changes the second-order mean velocity.

Use the Cartesian streamfunction convention $u_x={\partial }_y\Psi$, $u_y=-{\partial }_x\Psi$. In the creeping-flow regime implicit in the question's biharmonic equation hint, the Stokes equations are $\mu {\nabla }^2\mathbf{u}=\nabla p$, $\nabla \cdot \mathbf{u}=0$. Taking their curl eliminates pressure and givesThe fluid occupies the region above the actual sheet; the perturbation calculation expands its boundary about $y=0$. In the swimming frame the material velocity is $(0,-\omega y_0\cos (kx-\omega t))$. The vertical kinematic condition and the supplied Navier slip boundary condition therefore give, at $y=y_0\sin (kx-\omega t)$,At infinity, ${\Psi }_y\to U$ and ${\Psi }_x\to 0$, with bounded velocity and no imposed shear; all fields are periodic in $x$ with period $2\pi /k$. The sign is important: a sheet translating at $-U{\mathbf{e}}_x$ sees the remote fluid translating at $+U{\mathbf{e}}_x$.

Set $X=kx$, $Y=ky$, $\tau =\omega t$, $\psi =k^2\Psi /\omega$, and $U^{\ast }=kU/\omega$. The two dimensionless parameters are the small-slope approximation parameter $ϵ=k{y}_0$ and dimensionless slip length $\delta =k\gamma$. With $\theta =X-\tau$, the dimensionless biharmonic stream function for planar Stokes flow satisfiesExpand $\psi =ϵ{\psi }_1+{ϵ}^2{\psi }_2+\cdots$ and $U^{\ast }=ϵU_1+{ϵ}^2{U}_2+\cdots$. At first order,The decaying first harmonic of the biharmonic equation has the form $(A+BY)e^{-Y}\sin \theta$. The vertical condition fixes $A=1$ and excludes a cosine component. The horizontal condition givesThus $(1+2\delta )(B-1)=0$ and $B=1$ for every $\delta \ge 0$. The spatially averaged first-order streamfunction is affine in $Y$; its Navier slip boundary condition forces $U_1=0$. ThereforeThis first-order slip independence of a transverse sheet is independent of slip length. Its surface tangential velocity and surface shear are both zero: $({\psi }_1{)}_Y(0)=0$ and $({\psi }_1{)}_{YY}(0)-({\psi }_1{)}_{XX}(0)=0$. This explains why the first-order streamfunction agrees with the no-slip boundary condition.

To find the slip-enhanced swimming speed of a transverse sheet, expand only the Navier slip boundary condition through second order. Put $Q_j=({\psi }_j{)}_{YY}-({\psi }_j{)}_{XX}$. Taylor expansion at the displaced boundary yieldsDirect differentiation givesHenceAverage over $X$. The zero Fourier series mode of a biharmonic streamfunction is a cubic polynomial in $Y$; bounded velocity at infinity removes the quadratic and cubic terms. Thus its velocity is the constant $U_2$, and its averaged shear $⟨Q_2{⟩}_X$ is zero. The mean boundary velocity determines Taylor-sheet swimming speed principle then givesThe even remainder follows because changing the sign of the amplitude is equivalent to a half-period phase shift. In dimensional form,For the Navier-slip Taylor swimming sheet, the ratio of speed to the no-slip value is $1+2\delta >1$ whenever $\delta >0$: slip increases the swimming speed. The expansion is for fixed $\delta$ as $ϵ\to 0$; it is not a uniform prediction of arbitrarily large speed if the slip length is allowed to diverge with the inverse amplitude.

Take $z$ upward from the horizontal bed and measure $x$ away from an ice divide. In the shallow-ice approximation, the hydrostatic pressure is $p=p_a+\rho g(h-z)$ and the horizontal balance for a Newtonian fluid isThe upper stress-free boundary condition gives $u_z(h)=0$. The resisting basal traction is $-\mu \beta u_b$, so the fluid-side shear stress satisfies $\mu u_z(0)=\mu \beta u_b$. This is a Navier slip boundary condition with slip length ${\ell }_s=1/\beta$. Integrating twice givesThe first term is the uniform basal sliding contribution, while the quadratic term is internal viscous deformation. Both are positive where the thickness decreases downstream.

The shallow-ice flux with linear basal drag isNo ice accumulation or ice ablation appears. For a symmetric glacier, work on one half, $0\le x\le x_N(t)$, with $q(0,t)=0$, $h(x_N,t)=0$ and no outgoing volume flux. Its conserved half-volume per unit width is $V_g={\int }_0^{x_N}hdx$; the full glacier has volume $2V_g$. This specifies the volume convention rather than silently supplying an unspecified value. For a general finite release on the whole line, the late similarity solution is centred on its conserved centre of mass and uses half its total volume for $V_g$.

The internal-shear and linear basal drag law mobilities are equal at $H_{\ast }=3/\beta$. Suitable vertical, horizontal and temporal scales areWrite $h=H_{\ast }\mathcal{H}$, $x=L_{\ast }X$, $t=T_{\ast }\tau$. ThenThe initial typical thickness is $\mathcal{H}\simeq 10$, the initial extent is of order $L_{\ast }/10$, and its shear-controlled spreading time is of order $T_{\ast }/10^5$. The shallow-ice approximation also requires small aspect ratio: in particular the initial thickness and extent must satisfy approximately $100H_{\ast }/L_{\ast }\ll 1$. The equations model the broad shallow bulk; the very tip can require physics beyond that approximation.

The two limiting equations are porous medium equations of the form ${\mathcal{H}}_{\tau }=({\mathcal{H}}^n{\mathcal{H}}_X{)}_X$, with $n=3$ for a thick shear-dominated glacier and $n=2$ for a thin sliding-dominated glacier. Volume conservation and balance of the time derivative give exponent $\alpha =1/(n+2)$. Set $\mathcal{H}={\tau }^{-\alpha }f(\eta )$, $\eta =X{\tau }^{-\alpha }$. One integration, using zero volume flux at the ice divide, gives $f^n{f}^{\prime }=-\alpha \eta f$, henceThe planar volume-conserving nonlinear-diffusion similarity is thereforeThe Beta function fixes its constants:Consequently the explicit early shear and late sliding limits areTheir centre depths are $A_3{\tau }^{-1/5}$ with $A_3\simeq 0.842252$, and $A_2{\tau }^{-1/4}$ with $A_2=\sqrt{2/\pi }$. Thus the early extent grows as $t^{1/5}$ and the late extent as $t^{1/4}$. These are asymptotic regime profiles; they solve the respective limiting equations, not the full sum of both mobilities. For arbitrary finite-width initial data they are appropriate after the corresponding spatial relaxation, with a virtual time origin depending on that data.

The shear-to-slip transition in a shallow ice current occurs at thickness of order $H_{\ast }$. Using equality at the centre of the early similarity solution givesIf the initial profile is already approximated by that early similarity solution and its centre depth is 10, the virtual age is ${\tau }_0=A_3^5/10^5\simeq 4.2385\times 10^{-6}$, and the elapsed estimate is ${\tau }_{\mathrm{tr}}-{\tau }_0$. Other reasonable definitions of typical thickness change the order-one coefficient; the initial thickness alone does not uniquely determine an exact transition time or an exact initial profile. The robust nondimensional estimate is a transition time of order one in the $T_{\ast }$ scale.

Finally, let a local nose translate steadily at positive speed $v$ and write $s=x_N-x\ge 0$. This is a local traveling nose of a glacier with linear basal drag; the speed of the globally spreading glacier changes slowly with time. The local mass conservation equation integrates to $q=vh$, since both $q$ and $h$ vanish at the front. Therefore

The right side is strictly increasing, giving a unique positive thickness at every $s>0$. With $S=X_N-X$ and $c=d{X}_N/d\tau$, the same relation reads $cS={\mathcal{H}}^3/3+{\mathcal{H}}^2/2$. Its limiting profiles areThe square-root tip reflects basal sliding; the cube-root thicker region reflects internal viscous deformation. Even during the early thick regime, the very nose is thin and has the square-root inner form. At late times that sliding balance governs nearly the whole profile. The dimensionless crossover thickness is $\mathcal{H}=1$ and its distance is $S=5/(6c)$; the early thick cube-root outer profile matches this smaller sliding region. The diverging geometric slope at the idealized tip also marks the local limit of the long-wave shallow-ice approximation.

Now both plates at $z=0$ and $z=H$ are stationary and both obey the Navier slip boundary condition with the same slip length $b$. Drive steady flow of a Newtonian fluid in incompressible flow by the constant pressure gradient $G=-dp/dx>0$, with constant dynamic viscosity $\mu >0$ and no other streamwise body force. The planar Poiseuille flow profile and its volumetric flow rate per unit width areThe full volumetric flow rate for channel width $W$ is $Q=Wq$ when side-wall effects are negligible. Thus $q$ has units ${\mathrm{m}}^2{\mathrm{s}}^{-1}$, while $Q$ has units ${\mathrm{m}}^3{\mathrm{s}}^{-1}$. Denote the value at $b=0$ by $q_0=G{H}^3/(12\mu )$.

The two wall checks expose the normal signs:Both Navier slip boundary conditions therefore hold exactly. The two walls exert backward tangential tractions of magnitude $GH/2$ on the fluid. Increasing $b$ at fixed $G$ adds a uniform velocity offset, leaving the velocity gradient and wall shear stress unchanged. This differs from Couette flow with a slipping lower wall, where upper-wall velocity is fixed and shear stress decreases.

For $H=10\mu \mathrm{m}$, $b=2\mu \mathrm{m}$, $G=10^3\mathrm{Pa}{\mathrm{m}}^{-1}$ and $\mu =10^{-3}\mathrm{Pa}\mathrm{s}$, the wall velocity is $10\mu \mathrm{m}{\mathrm{s}}^{-1}$, the centre velocity is $22.5\mu \mathrm{m}{\mathrm{s}}^{-1}$, and $q=1.83\times 10^{-10}{\mathrm{m}}^2{\mathrm{s}}^{-1}$. The enhancement is $q/q_0=2.2$. Equivalently, a prescribed volumetric flow rate needs only $1/2.2$ of the original pressure gradient. This makes slip length useful for estimating pumping requirements in small channels.

At fixed $H$, $G>0$ and $\mu$, $b\to 0$ recovers ordinary planar Poiseuille flow. As $b\to \infty$, the velocity and $q$ grow without bound in this model, although the varying part of the profile stays the same. At exactly zero tangential wall traction, no steady solution can balance this nonzero pressure gradient: $u^{\prime }(0)=u^{\prime }(H)=0$ conflicts with $\mu [u^{\prime }(H)-u^{\prime }(0)]=-GH$. Unlimited enhancement is consequently not a prediction for a real channel; finite wall friction, finite driving capacity and the validity of the assumed steady flow must be assessed. At fixed finite $q$ instead, $G\to 0$ and the profile approaches uniform velocity $q/H$.

A short derivation integrates the reduced Navier-Stokes equation $\mu u^{\prime \prime }=-G$ twice. Equal slip lengths and the opposite inward unit normals give $u=G[z(H-z)+bH]/(2\mu )$. Its integral over the gap supplies the enhancement factor $1+6b/H$.

For $\mathrm{Kn}\ll 1$, frequent gas–gas collisions can establish a local Maxwellian before macroscopic conditions change appreciably. Under this additional near-equilibrium assumption, the hydrodynamic limit of the Boltzmann equation motivates a continuum approximation with Navier-Stokes equations and heat conduction. A no-slip boundary condition is a leading wall approximation, not a statement about individual molecular velocities.

With a small but finite Knudsen number, a useful slip approximation retains continuum bulk equations and corrects wall velocity and temperature. A Navier slip boundary condition can represent the leading tangential velocity correction, but its slip length must come from the relevant gas–wall interaction model. A nearby Knudsen layer still requires kinetic treatment if its detailed structure is wanted. Slip corrections are perturbations; extending them into order-one Knudsen numbers has no general accuracy guarantee. At order-one Knudsen number, wall and intermolecular collisions both matter; this transitional situation calls for a kinetic theory model. At $\mathrm{Kn}\gg 1$, free molecular flow becomes a useful limiting approximation. These are scale comparisons, with accuracy depending on geometry, flow conditions and the observable, rather than universal sharp numerical boundaries. ^[ref]

At second order, the displaced-boundary Navier slip boundary condition gives $({\psi }_2{)}_Y-\delta [({\psi }_2{)}_{YY}-({\psi }_2{)}_{XX}]=(1+2\delta ){\sin }^2(X-\tau )$ at $Y=0$. Its mean shear is zero in a bounded half-space flow, so the Navier-slip Taylor swimming sheet dimensionless speed is $U^{\ast }={ϵ}^2(1+2\delta )/2+O({ϵ}^4)$. The sheet travels opposite to the wave. This fixed-slip asymptotic expansion predicts a speed enhancement factor $1+2\delta$.

The slip length measures tangential wall mobility in the Navier slip boundary condition. Where the wall shear rate is nonzero,The numerator is a velocity and the denominator has units ${\mathrm{s}}^{-1}$, so $b$ has units of length. Geometrically, take a local inward normal coordinate $s$, with the wall at $s=0$. The tangent line to the relative velocity profile isIt reaches zero at $s=-b$, a fictitious distance $b$ inside the solid. This extrapolation does not assert that fluid exists there. At a moving wall, extrapolate to the wall's velocity, rather than to zero laboratory velocity. If both the wall shear rate and relative velocity vanish, their ratio cannot determine $b$.

The useful comparison is $b/H$, where $H$ is the channel gap. A small absolute slip length can noticeably change volumetric flow rate in a micrometre-scale channel. Measured effective slip length may summarize unresolved interfacial structure; it need not mean literal molecular sliding at every point. The review distinguishes intrinsic, apparent and effective slip and discusses how surface conditions affect measurements. ^[ref]

For a Newtonian fluid and a flat wall with $0<b<\infty$, the Navier slip boundary condition is equivalent to a tangential wall-on-fluid tractionThe sign expresses resisting friction: ${\partial }_{n}u$ uses the inward unit normal, whereas the wall-on-fluid traction uses the outward unit normal of the fluid domain. The irreversible loss of mechanical energy per unit wall area and time isFor two tangential directions replace $u_{\mathrm{rel}}^2$ by the squared Euclidean norm of relative tangential velocity. At a moving wall this relative-velocity loss must be distinguished from the power supplied by the wall's motion. Bulk viscous dissipation also remains present. A finite slip length models reduced interfacial resistance, without declaring every boundary ideal or removing dynamic viscosity.

The limiting loss depends on how the flow is driven. In Couette flow with a slipping lower wall,It tends to zero for both $b\to 0$ and $b\to \infty$ at fixed $H$ and $U$. At $b=0$ impose the no-slip boundary condition directly, rather than dividing by zero. In planar Poiseuille flow with equal wall slip at fixed $G$, each wall instead dissipates $G^{2}b{H}^2/(4\mu )$, which grows with $b$ because relative velocity grows. The bulk loss per unit width is $G^2{H}^3/(12\mu )$; adding both wall losses gives $Gq$, the pressure work per unit channel length and width. This energy balance shows why small friction coefficients do not guarantee small losses under every driving constraint.