Kinematic reversibility of Stokes flow Created 2026-09-24 Updated 2026-10-14
For a fixed geometry, the steady Stokes equation maps to when all imposed boundary velocities and disturbance forces are reversed; is pressure relative to any unchanged hydrostatic pressure. Linearity of Stokes flow and Uniqueness of Stokes flow therefore reverse the entire velocity field. If the driving schedule and evolving geometry are retraced, fluid elements retrace their paths too. Reversing just one drive while leaving another applied force unchanged does not meet these conditions.
This reversal concerns the paths, while viscous dissipation remains positive: for a sphere, the required power is unchanged by . A reversed experiment must supply fresh energy. Inertia, Brownian motion and irreversible contact can prevent perfect retracing. Edward M. Purcell illustrated the mechanism with a viscous fluid flow demonstration in Life at low Reynolds number, American Journal of Physics 45, 3–11 (1977).
Linear dispersive Stokes equation Created 2026-10-06 Updated 2026-10-14
The scalar linear partial differential equation is an Airy equation with a first-order transport term. It is a linearization of the Korteweg-De Vries equation with an advective term retained. It is distinct from the viscous incompressible-flow Stokes equation. On the whole line its spatial Fourier transform evolves by .
Linearity of Stokes flow 2026-09-28
The Stokes equation is linear in velocity, pressure, body force, and boundary data. Solutions may therefore be superposed, and rigid-body velocities depend linearly on applied forces and torques.
Subtract the ambient velocity and stress, writing . This perturbation decays at infinity and on the sphere has velocity . The ambient flow is regular through the ball and has no body force. Its net torque on the imaginary spherical surface is zero: the divergence theorem converts the torque to the volume integral of the stress divergence plus its antisymmetric part, both zero. Thus the perturbation has zero torque too.
Reciprocity with the auxiliary rotlet gives
Using yields
On this sphere , so the vector divergence theorem gives . Taking the curl of the homogeneous Stokes equation makes harmonic. Its ball average is its central value: the derivative of each spherical mean is proportional to the volume integral of its Laplacian, hence zero, and its small-radius limit is its value at the center. Therefore
This proves Faxén rotation law directly from the reciprocal theorem, including why no finite-radius Laplacian correction is needed for a body-force-free ambient flow. Regularity of the ambient field throughout the sphere's prospective interior is part of this argument.
Measure pressure relative to its hydrostatic value and let be the lower-side excess pressure minus the upper-side excess pressure. The long unobstructed parts of the tube act as Poiseuille resistances in series. Their lengths add to at leading order because ; entrance and exterior resistances are smaller for . Consequently
Here is downward laboratory-frame volume flux.
Take upwards in the particle frame and let measure distance from the particle surface to the tube wall. In this frame the particle is stationary and the wall moves upwards at speed . In the thin, slowly varying gap, pressure is uniform across and the leading axial Stokes equation is . No slip gives
The gap's upward relative flux is constant, while conservation of displaced volume gives . Thus , and integration from bottom to top yields
Curvature corrections to the gap circumference are relative order . Rapid end regions do not contribute to the leading singular neck resistance.
For the force use a cylindrical fluid control volume containing the particle, with full-area end caps just beyond it and the particle surface as an inner boundary. The upward pressure force on the caps is . The outer wall exerts axial traction on the fluid, whereas the particle's traction on the fluid integrates to minus its upward hydrodynamic resistance . The zero-inertia momentum balance is therefore
The velocity profile gives , proving
Using the outer-wall traction is essential; directly using the particle-side shear and a flat-end pressure force would omit the pressure on the sloping particle surface. This is control-volume drag formula for a sphere in a tube.
The four dimensionless relations are
Solving them gives
Within the preceding lubrication and tube-resistance approximations, the force is
Since , . Dropping the smaller additive terms in the numerator yields the requested leading formula
The Cauchy-Schwarz inequality gives , so the retained term is positive. The term multiplied by must be retained: it can compete with even though the unmultiplied lower integrals cannot.
For a sphere of radius , the neck has at leading order. With , the integrals reduce to . For these last integrals are , giving the full two-sided integrals. Put
The printed sphere integrals are half these values: they correspond to integrating over one side of the neck rather than the stated interval spanning both sides. The substitution above establishes the radius-deficit normalization of sphere-tube lubrication integrals. Using the two-sided values, the force becomes
so the three answers are
These are the corrected sphere-tube drag regimes with a radius-deficit gap. If the supplied half-integrals are treated as stipulated data instead, the same algebra gives , and in the three regimes. Thus the first and third numerical drag coefficients double when the geometrically correct integrals are used; the regime boundaries and dominant flow patterns are unchanged.
In the first regime, , , and . Almost no displaced fluid escapes through the long tube; it bypasses upwards through the thin annulus. The large pressure-driven bypass resistance sets the drag, with shear smaller.
In the second regime, , , and
Almost all displaced volume travels through the unobstructed tube, whose pressure resistance dominates the force. Both terms in this small gap flux are worth displaying: their crossover at changes the balance between pressure-driven and wall-driven gap transport but does not create a fourth leading force regime.
In the third regime, , , and . Tube throughflow still carries almost all the displaced volume, but the dominant resistance is local annular lubrication rather than the net tube pressure drop. The relative gap flux is now of order , so wall-driven and pressure-driven components both matter locally. The formulas describe hydrodynamic resistance after subtracting hydrostatic buoyancy; terminal settling would balance it against the particle's excess weight.
For the given harmonic potentials, . Taking the divergence of the velocity representation therefore gives . Taking its Laplacian gives , so the Stokes equations hold with
This is the Papkovich–Neuber representation in the sign and normalization of this problem. The potentials used in other conventions can differ by an overall factor and sign; the velocity and pressure must be scaled together.
(a) Point force. Put the singularity at the origin, , and choose , . The resulting Stokeslet is
The harmonic calculation applies away from the force. Distributionally this is the Green function for , with zero divergence.
(b) Point source. Set , . The three-dimensional point source field is
Its outward volume flux across every enclosing sphere is . The divergence is zero away from the source and equals distributionally, so the singular point represents volume injection rather than an incompressible material point.
(c) Stresslet. Let and use a symmetric trace-free stresslet tensor with the convention . Differentiating the Stokeslet and using symmetry and zero trace gives
For an axial force-dipole flow with axis , write . Then the radial factor is proportional to . Specifying the derivative convention is essential for interpreting the signs of image strengths.
(d) Source dipole. A positive source and negative source separated by a vector have moment . Their dipole limit is minus the directional derivative of the unit source field. Hence the source dipole has
It carries no net volume flux, and unlike a stresslet it is an irrotational potential flow.
Now set and , with . Define the unscaled kernels , , and let . The no-slip image system of a normal Stokeslet is
The reflected Stokeslet has force . With the conventions above, the remaining image strengths are
The isotropic part of produces zero velocity, because . Its inclusion simply puts the tensor in standard trace-free form. The pressure follows by superposition:
To verify the no-slip boundary condition explicitly, write on the plane, with , and let . Then
The terms cancel, while the remaining image contribution is . Thus both normal and tangential velocity vanish. All image singularities lie outside the fluid, so the physical half-space contains only the prescribed force.
For the far field, expand about the wall origin. The pair of opposite forces starts with ; the image stresslet cancels this entire term. The first surviving field is
Writing and now , this is
Therefore the generic fixed-angle far-field velocity decays as , rather than the free-space Stokeslet or an uncancelled stresslet. Along the wall it is exactly zero; at fixed height and large horizontal distance the leading tangential field instead scales as , consistent with the angular zeros of the displayed far field.
Take downslope and normal to the plane. To leading order in the lubrication approximation, Newtonian gravity gives the hydrostatic pressure . The downslope Stokes equation is therefore . Imposing the no-slip boundary condition at and the stress-free boundary condition at gives
Here is the kinematic viscosity; is the downslope velocity. Applying mass conservation to this lubrication gravity-current flux,
For typical thickness and length , the transverse velocity is by incompressibility. Both convective terms are then , while transverse viscous acceleration is . Thus the inertia criterion for an inclined viscous film is , in addition to . With evolution time the same condition controls unsteady inertia. If a faster time is independently imposed, also require . Estimating from the velocity profile gives the two requested limits:
At long times, and the ratio of hydrostatic-gradient forcing to downslope Newtonian gravity in the bulk is . Put ; the bulk conservation law is . The finite-volume gravity-driven thin-film current scales as , . More explicitly, writing , , gives
The constant of integration is zero for the zero-flux dry tail. Consequently
The reduced bulk solution is zero outside this interval. Its thin nose region is resolved below. Integrating to impose the conserved area,
The bulk front height is , with . Differentiation of the front law gives
Equivalently, this is the Rankine-Hugoniot condition for the bulk shock wave, whose speed is flux divided by height.
In moving coordinate , the full thin-film equation becomes . A nose thickness and slope give axial scale . Since , the explicit time derivative is smaller than translation by that ratio. The travelling front of a gravity-driven thin film is therefore quasisteady. Integrate once with dry-tip flux zero to obtain , or
With , separation of variables and the convention at give
The nose approaches exponentially far behind its tip, then falls to zero with a vertical tangent in this small-slope model. The requested sketch shows this monotone profile:
Figure 1.
Quasisteady gravity-current nose, with a dry tip and an asymptotically uniform upstream film
. Details.
Expanding the inverse hyperbolic tangent, , so . Its slope has magnitude near the tip. The small-slope breakdown at an inclined-current nose occurs at , which gives
Finally, surface tension produces a pressure-gradient scale , whereas downslope Newtonian gravity gives . Their ratio is . Thus surface tension changes the principal nose length when
This is a bulk-nose crossover; capillarity and contact-line physics can already affect a smaller region very close to the dry tip even when the bulk nose is Newtonian gravity dominated.
Let and be two Stokes flows in the same fluid domain, with equal dynamic viscosity and zero body force. The Lorentz reciprocal theorem for Stokes flow is
To prove it, use the symmetric Newtonian fluid stress tensor and . Incompressibility removes the pressure contraction, while symmetry removes the antisymmetric velocity gradient. Therefore
The divergence theorem proves the boundary identity. It applies to an exterior domain by a limit at infinity; the boundary integral there vanishes for decaying rigid-body Stokes flows.
Use a normal directed outward from the fluid, into the rigid body. Then and are the force and couple exerted by the body on the fluid. If and , inserting the rigid boundary velocity into the Lorentz reciprocal theorem for Stokes flow gives
Arbitrary rigid velocities imply . A separate integration by parts, using the Stokes equation, gives
Equality requires zero rate-of-strain tensor everywhere. Such a velocity is a rigid motion in the connected exterior fluid; decay at infinity forces it to vanish, and the no-slip boundary condition then forces . Hence the resistance matrix is symmetric positive definite. Defining force as fluid-on-body would reverse its sign, so the positive convention matters.
For the rods, choose body axes along , , and their normal. On the first rod, for , and the slender-body force density is
On the second rod, , and
Integrate the force densities and the moments , using , , and . For example, , , and . In the ordering , the full right-angle two-rod resistance matrix is
The planar subsystem is
Inverting this symmetric matrix gives the hydrodynamic mobility matrix
The upper-right entry is positive, as printed in the PDF; the negative sign in the converted TeX would violate both this inversion and reciprocity.
Let laboratory point along the initial and laboratory point upward. At body angle , and . The gravitational load, balanced by body-on-fluid resistance, has body components
The last expression follows by taking moments of the two endpoint weights about . Substitution into the hydrodynamic mobility matrix gives
For , the initial condition persists, and , : vertical descent without rotation. For , throughout , and the zero of at is stable. A simple zero is approached only as , so increases monotonically to . For , it decreases monotonically through and toward the next stable zero: , not .
The laboratory horizontal velocity of is
For , divide by the angular equation to eliminate time:
At both limiting orientations the sine and cosine are equal, so the sedimentation drift of a weighted two-rod body is
For the initial drift is negative. It reaches at , reverses, crosses its starting horizontal position at , and ends to the right. At exactly there is no horizontal displacement; the infinite-time displacement is discontinuous there because the rotation time diverges as .
For a Newtonian fluid, write , where is the rate-of-strain tensor. The Stokes equation without body force gives . Since the stress tensor is symmetric, its contraction with the antisymmetric part of the velocity gradient is zero. Thus
The divergence theorem proves the boundary-work identity
For an incompressible flow, , so is precisely the viscous dissipation.
Apply this identity to the particle-free volume and then to the fluid outside the added particle. On the rigid particle, the velocity has the form . Its contribution to the boundary work is , which vanishes because the particle is force-free and torque-free. The outer velocity is unchanged. Subtracting the two boundary-work identities therefore gives
To move this expression to the particle surface, apply the Lorentz reciprocal theorem to and in the punctured fluid domain. For completeness, its local proof is
On the outer boundary . Let be the particle-outward normal, opposite to the fluid-outward normal there. Integrating the preceding divergence identity gives
This expression includes the removal of the original fluid inside the particle; that removal must not be counted separately again.
For a sphere in a uniform straining Stokes flow, is symmetric and trace free, and . Symmetry gives zero rigid translation and rotation. Put and . Use the Unscaled Papkovich–Neuber representation printed on the paper, with the decaying harmonic potentials
Their harmonicity follows from and from being a trace-free second derivative of . Direct differentiation gives
At , the no-slip boundary condition requires . Matching the independent and terms fixes and . The disturbance velocity and pressure are consequently
The pressure follows from . The disturbance decays, the total velocity vanishes at the sphere, and the harmonic representation verifies the Stokes equation. The boundary traction has zero total force by odd symmetry, and zero total torque because is symmetric, confirming the assumed force-free and torque-free motion.
At the sphere , so the extra dissipation due to a rigid inclusion becomes . Contracting the supplied total stress tensor with cancels its terms proportional to , leaving . Thus
Using proves the single-sphere dissipation increase
One may perform the comparison in a large bounded vessel with prescribed straining velocity and then take its size to infinity; the given near-sphere approximation makes this limit compatible with the fixed-outer-velocity definition of .
The sphere number density is . Neglecting hydrodynamic interactions, the additional viscous dissipation per unit volume is . Adding the particle-free value gives
This is the Einstein viscosity formula for a dilute suspension, to first order in the particle volume fraction.
Use the Unscaled Papkovich–Neuber representation with and harmonic potentials
To see how these coefficients arise, start with and . The representation gives
At , the prescribed tangential velocity requires , while zero normal velocity requires . Hence the decaying half-space flow is
The pressure follows from . These harmonic potentials verify the Stokes equation and incompressibility; the polynomial factors do not prevent decay as .
For the Newtonian fluid stress tensor, and . On the boundary , and . Therefore
Take real parts for a physical sinusoidal flow. Together with the normal-velocity result supplied in the question, these formulas give the Fourier traction map for a viscous half-space; for signed wave numbers its resistance coefficient is .
Applying the stated long-wave expression formally in the intended high-viscosity regime, the numerator is dominated by and the displayed denominator by . It gives
The mechanism is inner transverse shear: the outer fluids almost immobilize the interfaces tangentially, so the middle layer has a pressure-driven parabolic velocity instead of the plug-like extensional velocity of part (b). Indeed, with nearly stationary faces at , its integrated flux is . With , conservation of mass gives precisely the displayed decay rate. The leading viscous dissipation is then in the middle layer, even though its neighbours have much greater dynamic viscosity.
There is a nonuniformity in taking this conclusion literally for every . A long-wave remainder written for fixed cannot be assumed uniform as diverges. Here this matters physically because sufficiently viscous outer fluids also resist normal interface motion. The distinction can be resolved directly, without an unspecified remainder, from the Stokes equation. For a symmetric thickness mode, the middle vertical velocity has the form
It is odd in , and the middle horizontal velocity is even. At , the exact outer traction map is and . Tangential continuity and the normal hydrostatic jump therefore give
The latter uses , obtained from horizontal force balance. The kinematic condition is . Writing and , tangential continuity fixes
Eliminating in the remaining two equations gives the exact symmetric-layer rate
For and , this proves the uniform high-viscosity limit of viscous-layer relaxation
Thus the intended inner-shear answer is valid in the distinguished range . If , the main resistance is instead outer normal motion and
Both ranges satisfy the printed . For example lies in the latter range and has , rather than a rate proportional to . The exact denominator contains a contribution hidden by a fixed-parameter remainder. The inner-shear limit is the intended result, but an additional upper restriction on is needed to make it a uniform conclusion.
In the thin-current approximation, vertical momentum balance is hydrostatic: . Neglect inertia and radial viscous derivatives compared with the vertical ones. The radial Stokes equation is , with no slip at and zero tangential stress at . Integration gives
Its depth-integrated radial flux is . Axisymmetric mass conservation therefore gives
The remaining conditions are conserved volume , regularity and zero radial flux at the center, , zero thickness outside the front, and the initially concentrated volume at the origin. The advancing edge obeys when this limit exists. One must not impose a finite zero slope at this compact-support edge.
Put with dimensional factors to be restored. Constant volume gives , while balancing the equation gives . Hence . In normalized similarity variables and , the equation becomes
Multiplying by and integrating from the regular center yields . Where , this integrates to . Restoring physical variables gives
with zero thickness outside. Write . Its volume is , so . Combining this with gives
The center height scales as , while the front scales as . The ideal profile has a singular slope at the edge; microscopic contact-line physics is excluded from the lubrication model, which applies to the sufficiently spread bulk current.
Use the Newtonian fluid stress tensor , where . The Stokes equations for a point force on the fluid are and . Put . Away from the origin, a harmonic vector potential proportional to in the Unscaled Papkovich–Neuber representation gives the rotationally covariant decaying solution. Specifically, take and . Differentiation yields
This satisfies the homogeneous Stokes equations for . Its stress is
To verify the point-force normalization, on a sphere the traction is . Since , its surface integral is . Thus integrating momentum balance over the small ball gives exactly the applied force , fixing the normalization of the Stokeslet. Its radial velocity is , so
There is no net volume or mass source at the singularity. The kernels have the parity and .
For two Stokes flows with the same viscosity and body forces , the Lorentz reciprocal theorem including body forces is
Indeed, apply the divergence theorem to . The cross-gradient terms cancel: incompressibility removes each pressure contraction and the remaining terms are both . The two stress divergences give the body-force terms shown.
Choose flow 1 to be the desired body-force-free field and flow 2 to be a Stokeslet with arbitrary force vector at . For , the body-force term is . Rearrange the reciprocal identity and use the parity of ; equality for every gives
For outside the volume there is no point force in , so the same two integrals sum to zero. To obtain the smooth boundary value, exclude a small hemisphere about , use continuity of to replace it by on that hemisphere, and take the radius to zero. A full small sphere contributes ; a hemisphere contributes half of it. Equivalently, the local solid-angle factor is . The result is the boundary integral representation of Stokes flow with right side on a smooth boundary, and with the double layer interpreted by its boundary principal value. A nonsmooth corner would have a different solid-angle coefficient.
The steady Stokes equations are , . Taking the curl gives . For an axisymmetric azimuthal component , the vector Laplacian's azimuthal component is . Expanding the derivatives shows
With , the vorticity equation consequently gives . This derives the streamfunction equation from momentum rather than treating the scalar vorticity component as an ordinary scalar harmonic function.
Work in the laboratory frame, with fluid at rest at infinity and the instantaneous sphere centre at the origin. In the Unscaled Papkovich–Neuber representation, take the harmonic potentials
Differentiating the two terms gives the translating sphere in Stokes flow:
Here . The potentials are harmonic outside the sphere, so they satisfy the Stokes equations. At , the two coefficients of cancel and the coefficient of is one, proving the no-slip boundary condition ; the field decays at infinity. Its leading part is a Stokeslet of force exerted on the fluid.
Let point upwards, , and . Each isolated sphere moves with velocity . To leading order its correction is the other's incident Stokeslet velocity:
The forces generating these fields are the fixed sedimenting loads, so their leading strengths are set by the isolated speeds. Subtraction yields the leading interaction of two sedimenting spheres:
Since , this reduces to
The stipulated higher-order errors can be appended to both equations; they do not enter this leading calculation.
For the same-sign case, interchange labels if necessary to arrange , and put . The vertical separation satisfies
If sphere one is initially above sphere two, its vertical order reverses; in every case , implying . For a noncollinear trajectory there is no collision in the point-force equations. Indeed, divide the two polar equations and integrate:
At side-by-side passage, , the closest separation is the positive root of . Before passage and after passage , proving overtaking and unbounded subsequent separation. This passing invariant for unequal point-force spheres describes a physical far-field passage only when the closest separation also greatly exceeds the sphere radii. Exactly collinear approach instead reaches the near-contact regime, where this leading approximation cannot describe two finite spheres passing through one another.
For opposite signs, choose and consider the invariant configuration with sphere one vertically above sphere two, . The radial equation is
If , separation decreases; if , it increases. Thus it approaches this equilibrium along the vertical line. Linearization gives . But a small tilt obeys , so the vertical bound pair in the point-force sedimentation model is stable only against vertical perturbations and is a saddle in the full separation dynamics. The opposite vertical orientation has the reversed stability. Reversing gravity reverses both and , leaves unchanged, and reverses every trajectory; radial attraction becomes repulsion. This is fully consistent with kinematic reversibility of Stokes flow.
There is an important restriction in the printed data. Its hierarchy implies , so the proposed equilibrium would overlap the physical spheres and lie outside the well-separated approximation. With that hierarchy there is no justified physical far-field bound pair. The intended far-field equilibrium instead requires the first inequality reversed, . The formal equilibrium and its vertical stability above show the intended mechanism, while also identifying the missing validity and transverse-stability qualifications.
The lubrication approximation requires depth small compared with the horizontal variation scale , small bottom slopes, and negligible inertia on the scale . Treat the prescribed flat surface as steady and impermeable to leading order. The leading Stokes equations give and . No slip at and the imposed shear yield
Integration and depth-integrated incompressibility now give
The surface value is . Eliminate the pressure gradient with the flux relation to obtain
For the circular container, write . Curl the relation for . Its vertical component gives
The wall condition says is constant on the boundary; choose that constant zero. If , the equation is Laplace's equation with zero Dirichlet data. The strong maximum principle for harmonic functions gives and , though there is a sheared return flow through the depth. Its surface velocity is .
For , the first-order equation is . The zero-boundary quadratic solution is
Thus . Inserting this and the varying depth into the surface formula gives
The circulation is first order in the bottom slope, while its wall-normal flux remains zero.
For two-dimensional incompressible flow, introduce the stream function by , . The scalar vorticity is . Taking the curl of the Stokes equations gives , and taking their divergence gives . Thus the biharmonic stream function for planar Stokes flow satisfies .
The far-field shear has stream function . For a cylinder in a simple shear Stokes flow, the axisymmetric biharmonic terms and the angular terms suffice to impose at without changing the leading far field. They give
Differentiation supplies the flow everywhere outside the cylinder:
Both velocity components vanish at , and their far-field values are precisely the cylindrical components of . The pressure follows by substitution into the Stokes equations.
The tangential surface traction is . Integrating its moment about the axis gives
This is the fluid's torque on the stationary cylinder, clockwise for ; the external holding torque has the opposite sign.