A force-driven rigid particle with surface has a leading translating sphere in Stokes flow with . Expanding the no-slip boundary condition gives the first-order surface velocity , where . The first-order resultant force and torque vanish when the applied load is fixed. The Lorentz reciprocal theorem for Stokes flow, using the uniform surface traction in translating-sphere Stokes flow, therefore gives . For with symmetric traceless , the isotropic fourth moment gives . A rotating-sphere test similarly gives , which vanishes for an inversion-symmetric deformation.
Logarithmic lubrication resistance of a sphere near a wall Created 2026-10-05 Updated 2026-10-14
A sphere of radius at gap translates at and rotates at above a stationary wall in a right-handed coordinate system. At leading order its gap is . In its translating frame the lower and upper tangential velocities are and . The Reynolds lubrication equation gives
Integrating the upper-boundary traction, including pressure on the sloping surface, and its moment about the sphere centre gives the sphere-on-fluid force and torque
The off-diagonal symmetry is required by the Lorentz reciprocal theorem for Stokes flow. A torque-free sphere therefore has and leading drag . Compare the rigid-wall terms of Bertin et al., equations (4.4)–(4.5); those forces act on the sphere and have the opposite sign.
Use the Unscaled Papkovich–Neuber representation
with harmonic vector and scalar potentials. For a torque-driven sphere choose
Its components are harmonic for , and both and vanish. Hence
The last equality follows from the no-slip boundary condition at . To check that is indeed the applied couple, the traction on the sphere, with directed into the fluid, is . Its hydrodynamic torque is
Here . The applied couple balances this resisting torque. The resulting field is the rotlet of a rotating sphere in Stokes flow.
For the Lorentz reciprocal theorem for Stokes flow, let point out of the fluid domain and take the same viscosity in both flows. With , the theorem is
It follows by taking the divergence of the boundary integrand: incompressibility removes pressure-work terms, the two Newtonian strain contractions are equal, and the remaining stress divergences give the displayed body-force terms. This convention matters: on the inner boundary of an exterior domain, .
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 .
Write the first-order surface velocity as , where the previous derivative gives
As a test field, choose a sphere translating with arbitrary velocity . Its surface velocity is and its traction is . The Lorentz reciprocal theorem for Stokes flow gives
Terms at infinity vanish because both velocities decay. Since , the rotation term has zero surface average. The arbitrary test velocity therefore gives the first-order mobility of a nearly spherical particle:
For the ellipsoidal perturbation, the second spherical moment gives . The supplied fourth moment gives, componentwise,
Substitution yields
where the last notation uses symmetry of the tensor.
One can also use a rotating-sphere test with surface traction . Its reciprocal integral, together with zero first-order torque, gives
Here , so the last integrand is odd and its integral vanishes. Thus . Inversion symmetry forbids a translation-to-rotation coupling for this centred ellipsoidal perturbation.
For two incompressible Stokes flows and with the same viscosity and no body forces, the Lorentz reciprocal theorem for Stokes flow states
Indeed the divergence of their difference is zero: stress divergences vanish, pressure contracts with zero velocity divergence, and the two symmetric strain-rate contractions cancel.
Apply it to the decaying disturbance around the sphere and an auxiliary translating sphere of velocity . On the body surface, . Using normals from the body into the fluid, the given auxiliary traction is ; reversing both normal conventions does not change the reciprocal equality. The background traction integrates to zero because it is regular inside the sphere. The disturbance's hydrodynamic force is consequently , where is the externally applied force. The rotational term integrates to zero. Thus for arbitrary ,
Therefore .
The background Stokes equations imply and . The spherical mean of a biharmonic function gives exactly , evaluated at the sphere center. One can obtain it from Taylor expansion and ; every subsequent spherical average contains and vanishes. This requires the background to be regular throughout the enclosed ball. Hence the Faxén relation is
The printed denominator omits . The given traction integrates to , fixing that factor; the printed force term also fails dimensional consistency unless its force were redefined, which the question does not do.
Let be the rate-of-strain tensor and the Newtonian fluid stress tensor. The viscous dissipation is . The Minimum-dissipation theorem for Stokes flow compares the Stokes flow with every sufficiently regular incompressible flow in the same domain having the same prescribed boundary velocity, with no body force or with a conservative body force absorbed into the fluid pressure. A trial field need not satisfy the Stokes flow equations. Write it as , with and on the boundary. Integration by parts, the symmetry of the Newtonian fluid stress tensor, and give
Consequently the Stokes flow minimizes dissipation:
Equality requires a rigid body motion of , which the prescribed boundary eliminates. Extending the flow inside the inserted particle as its rigid body velocity produces an admissible comparison field with zero internal rate-of-strain tensor; hence the extra dissipation due to a rigid inclusion is nonnegative.
Here and below on points into the particle, so the traction represents force exerted by the particle on the fluid. Apply the Lorentz reciprocal theorem for Stokes flow in the fluid region to and the restriction of . The equal outer boundary velocities yield
The boundary-work formula for viscous dissipation therefore gives . The last integral is zero: is symmetric and divergence-free throughout the particle's original volume, so its total force and torque there vanish, and on is a rigid body velocity. This also allows the sign of this zero-work term to be reversed, giving exactly
With the particle's centre as origin, define , and the particle stresslet tensor . Contracting the linear background velocity with the traction gives
The background rate-of-strain tensor is symmetric and trace-free; the trace of this unprojected particle stresslet tensor does not affect the contraction.
For the straight-rod resistance in a linear flow, write , , , and , . The slender-body force density becomes . The integrals of and are and , respectively, so
For a force-free, torque-free rod, and the perpendicular component of is . Axial spin is not determined by this leading, zero-thickness slender-body theory; it has no effect on . Put . The vector identity gives
The force-free straight-rod orientation equation combines the background rotation with the part of strain that turns the rod; removing preserves its unit length. A rigid body cannot undergo the axial extension or compression imposed by , so opposite axial forces resist that deformation. No leading slender-body force density is needed when , even though the rod may rotate. Its particle stresslet tensor and viscous dissipation are
In the simple shear flow, , and . Thus the rod excess dissipation in shear is
The maxima at correspond to strongest axial extension and compression. The zeros at correspond to zero axial strain: a rod aligned with the velocity or its gradient needs no leading force at that instant. For , with the continuous branch and . Reversing the shear flow reverses the traversal. Substitution gives
The tails make the total finite; the instantaneous zero at lies between two maxima.
Figure 1.
Rod excess dissipation versus orientation and time in simple shear
. Details.
For a dilute rod suspension, the added bulk stress is the number density times the orientation average of the particle stresslet tensor. In this ideal infinitely slender, non-interacting model, rods approach alignment with the shear flow and their excess viscous dissipation decays. A real finite-aspect-ratio rod continues to tumble; rotational diffusion and interactions also maintain a spread of orientations. One therefore expects increased effective viscosity, with alignment offering a mechanism for reduced excess viscosity at strong shear flow. This is a qualitative expectation, not a claim that a finite rod suspension has zero steady excess stress.
For the two Stokes flow solutions take the same incompressible Newtonian fluid, with constant viscosity , no body forces, and
Here and are the symmetric rate-of-strain tensors. The equality of viscosities is part of comparing two solutions in the same fluid; symmetry of an arbitrary constitutive stress alone would not suffice.
In components, with derivatives , use the product rule to compute the divergence of the cross-work flux:
The pressure term vanishes by incompressibility; the antisymmetric part of the velocity gradient has zero contraction with the symmetric stress. Interchanging the hatted and unhatted fields gives exactly the same scalar. Thus
Integrate over and apply the divergence theorem. In its usual form the normal is outward from the fluid volume, whereas the printed points into the fluid. Reversing the normal multiplies both integrals by the same minus sign, leaving the Lorentz reciprocal theorem for Stokes flow:
This proof applies to smooth fields or the corresponding finite-energy weak formulation. For an exterior domain one first truncates at a large sphere, applies the same identity, and takes the limit when the outer cross-work terms vanish, as for the decaying fields used below.
Let point from the sphere into the exterior fluid, so the surface position relative to the centre is . The physical surface velocity is
Free rotation means the actual body is torque-free: the total hydrodynamic torque vanishes. Use the auxiliary rotating sphere in Stokes flow with arbitrary , boundary velocity and the given traction . The auxiliary flow is the decaying exterior rotation of a sphere, not a rigid rotation of the entire infinite fluid.
The left-hand cross-work in the Lorentz reciprocal theorem for Stokes flow is
The other cross-work becomes
The spherical integral identities are
Using , the rotational contribution is . The slip contribution is . Since is arbitrary, the torque-free rotation of a spherical squirmer satisfies
The viscosity cancels, as expected for a kinematically prescribed slip in a linear viscous problem. If the freely moving sphere also has a translation , its added cross-work is zero because the auxiliary rotating sphere has zero total force, . Thus translation does not alter this rotational formula. Without the torque-free assumption an external-torque contribution would have to be retained.
Take to be the force and couple exerted by the body on the fluid, equivalently the external force and couple needed to maintain its motion. This fixes the sign for a positive hydrodynamic resistance matrix. If one uses the fluid's force on the body, both resultants have the opposite sign.
For two Stokes flows and in the same fluid domain , with zero body force, the Lorentz reciprocal theorem for Stokes flow is
Here points out of the fluid. To see the identity, take the divergence of the difference of the two cross-work fluxes. The stress divergences vanish, while incompressibility and symmetry of the Newtonian fluid stress tensor reduce the remaining terms to . The divergence theorem proves the result.
On the body, the no-slip boundary condition is , and the far-field contribution vanishes for decaying exterior flows. Reciprocity becomes
With and , this is for all pairs, so . The power identity gives
Equality would force zero strain throughout the connected exterior domain, hence a rigid fluid motion. Decay at infinity makes that motion zero, and the no-slip boundary condition then gives . This proves the symmetry and positivity of a rigid-body resistance matrix:
For the helix, assume and use cylindrical unit vectors. Its arclength element and tangent are
Integrating to gives . In a combined axial translation and rotation, . The slender-body force density, or local resistive-force theory, gives
Writing , , its axial and azimuthal components are
The axial couple density is . Integration over arclength gives the axial resistance matrix of a slender helix:
Thus pure translation gives , and pure rotation gives . The mixed coefficients agree, as reciprocity requires, and . The sign of follows the handedness in the parametrization; reversing handedness reverses propulsion.
For the helical microswimmer with a spherical head, the diagram's rotation relation is . Neutral buoyancy and the absence of external forcing make the whole swimmer force-free and torque-free. Neglecting interactions between its parts gives
With , solving this pair gives
The head counterrotates, providing the reaction to the flagellum's rotation. The figure fixes this relative rotation convention; it is duplicated and corrupted in the local TeX.
For a very large head, the coefficient regime is and . Consequently
The large translational resistance makes the microswimmer slow even though the flagellum rotates almost at the motor rate.
For a very small head, and . The appropriate denominator retains the translation-rotation coupling:
Both tend to zero with , while . The motor mainly rotates the low-resistance head, and produces little flagellar motion relative to the fluid.
In the intermediate coefficient regime and , the head supplies a strong rotational reaction with little translational penalty. Then
The head radius has dropped out. To find the optimal pitch of a helical microswimmer, put . The dimensionless speed becomes and has derivative . Hence, for with the chosen handedness,
The angle is measured from the horizontal plane. An intermediate pitch combines axial and transverse tangent directions, allowing anisotropic drag to convert rotation into translation; either extreme removes that coupling.
The geometric head-size regimes quoted in the paper hold with the logarithmic slenderness factor treated as fixed. More precisely, requires , while requires . These coefficient inequalities state the validity of the intermediate approximation when the logarithm is quantitatively important. The many-turn and local-drag assumptions of slender-body theory also remain in force.
For each incompressible Stokes flow without body force, and
The divergence theorem gives
Incompressibility removes the pressure term, antisymmetric velocity-gradient parts do not contract with the symmetric stress, and the remaining integrand is , symmetric under . This proves the Lorentz reciprocal theorem for Stokes flow:
By Linearity of Stokes flow, the drag on a translating body is linear in its velocity, so . Apply the reciprocal theorem to two translation solutions with velocities and . Their surface velocities are constant and the far-field contribution vanishes, yielding
Since the two vectors are arbitrary,
Thus the hydrodynamic resistance matrix is symmetric and, for fixed fluid viscosity, depends only on body geometry.
A straight rod has fore-aft symmetry about its centre. Gravity acts through that centre, so the translational-rotational coupling and applied torque vanish. Kinematic reversibility of Stokes flow and Uniqueness of Stokes flow then rule out spontaneous rotation: the inclination remains constant.
Let the speed for perpendicular translation be . The given factor of two makes the parallel speed for the same force component. Resolving gravity parallel and perpendicular to the rod gives
Resolving these velocities horizontally and vertically gives
Therefore
Reflection in preserves the prescribed translational velocity and axial angular velocity. A force transforms as a polar vector, whereas a torque transforms as an axial vector; consequently . Reflection in reverses both imposed motions but preserves the normal force component. The linearity of Stokes flow then gives . Thus only and can be nonzero.
There is a sign inconsistency in the printed question. In right-handed coordinates, gives a rotational velocity at the sphere's lowest point. The printed shear and force formulas instead use the opposite rotational sense. Below, let be the right-handed component along ; the paper's displayed formulas are recovered by setting .
In the translating frame, the parabolic gap and leading boundary velocities are
The no-slip boundary condition and lubrication theory give
The gap is stationary in this frame, so . The Reynolds lubrication equation is therefore
Since and ,
Differentiating the velocity profile gives the leading shear stresses
The first expression becomes the printed formula after .
For the logarithmic lubrication resistance of a sphere near a wall, write . The logarithmic region is , where . Consequently
These follow from and , with a fixed small outer cutoff. The general logarithmic radial numerator is over ; the numerator in the printed integration hint appears to have a typographical error.
The force exerted on the fluid through the upper gap boundary includes pressure acting on its slope:
The pressure cancels the term, giving
Pressure exerts no torque about the centre of a sphere because its traction is radial. To logarithmic order, the shear has lever arm , so
The other components vanish by parity: involves an integral of the term, and has an integrand odd in . The combined hydrodynamic resistance matrix is
Its equal off-diagonal coefficients are required by the Lorentz reciprocal theorem for Stokes flow. It is a positive-definite matrix, as required by viscous dissipation.
In the rotational convention of the printed force formula, set and measure the scalar couple along , so . Then
For sedimentation under the buoyancy-adjusted weight , a uniform sphere is torque-free. Thus , and the force balance gives
The rotational scalar in the paper's displayed-force convention is . The sphere rolls in the right-handed sense but still slips: its lowest point has laboratory velocity . The signs and coefficients of the right-handed resistance agree with the rigid-wall terms of Bertin et al., equations (4.4)–(4.5), after reversing the forces and torques there from fluid-on-sphere to sphere-on-fluid.
The Lorentz reciprocal theorem for Stokes flow states that two Stokes solutions and in the same fluid domain satisfy
Apply it to the same rod translating with arbitrary velocities and . The integral at infinity vanishes, and the rod-surface integrals give
Since ,
for every pair of vectors. Therefore
For two body-force-free Stokes flows and in the same domain, the Lorentz reciprocal theorem for Stokes flow is
Indeed, the difference of the two volume integrands is
because both flows are incompressible and the Newtonian fluid stress tensor is symmetric. The divergence theorem proves the boundary identity.
On a rigid body, . The reciprocal theorem becomes
Writing and choosing arbitrary pairs of rigid velocities shows that
Thus the hydrodynamic resistance matrix is symmetric.
For two zero-body-force Stokes flows and in the same domain, the Lorentz reciprocal theorem for Stokes flow states
Apply it first with the auxiliary translating-sphere solution and then with the auxiliary rotating-sphere solution. The swimmer is force-free and torque-free, while the auxiliary surface tractions are known. The resulting surface slip velocity formulas are
On , the first part of the prescribed slip is
Its surface average is , whereas the term has zero average by oddness. Thus
The term contributes no rotation. For the other term, the isotropic second and fourth surface moments give
and hence
Apply the Lorentz reciprocal theorem for Stokes flow to and the test flow around a sphere rotating with arbitrary . On ,
The reciprocal integral containing vanishes by the first-order torque condition. Since , the first-order boundary velocity is
The translational term integrates to zero. Therefore, for every ,
Now
For , tracelessness of and the stated fourth-moment identity give
It follows that
A centered ellipsoid has inversion symmetry. An applied axial couple is unchanged under inversion, whereas a translational velocity is reversed, so uniqueness of Stokes flow forces
Squirmer Created 2026-09-24 Updated 2026-10-05
A squirmer is an idealized spherical microswimmer propelled by a prescribed tangential surface slip velocity. The Lorentz reciprocal theorem for Stokes flow determines its rigid translation and rotation without solving its complete exterior flow.
Symmetry and positivity of a rigid-body resistance matrix Created 2026-10-05 Updated 2026-10-06
Here are forces and torques exerted by the body on the fluid, or the external force and torque needed to maintain its motion. The Lorentz reciprocal theorem for Stokes flow makes the six-dimensional hydrodynamic resistance matrix symmetric. The power identity makes it a positive-definite matrix for a body moving in otherwise stationary unbounded fluid.
For a sphere of radius with prescribed surface slip and zero external torque, the Lorentz reciprocal theorem for Stokes flow gives
where points from the sphere into the fluid. Use an auxiliary rotating sphere in Stokes flow with arbitrary angular velocity and traction . The actual torque-free cross-work vanishes. Substituting the boundary velocity into the other cross-work leaves . A possible translation contributes zero because the auxiliary net force is zero.