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 body-force-free Stokes fields with the same viscosity,
To prove this Lorentz reciprocal theorem, integrate the divergence of the difference of the two cross-work fluxes. Both stress divergences are zero; incompressibility and symmetry of the Newtonian stress reduce each cross-gradient contraction to . These are equal, so the divergence integrates to zero. The argument applies to an exterior domain by first cutting it off and taking the outer radius to infinity; the decaying velocity and stress make the outer boundary contribution vanish.
Define the generalized force as force and torque exerted by the rigid body on the fluid. With a resting far field and no-slip boundary conditions, on the body, and linearity gives
For two such motions the reciprocal theorem becomes
Since the six-component velocities can be chosen independently, . The ordinary work identity gives
for every nonzero rigid-body motion. If the integral were zero, would make the connected exterior flow an infinitesimal rigid motion. Its decay at infinity requires that motion to be zero, which is incompatible with a nonzero no-slip body velocity. Thus is positive definite. Fluid-on-body forces have the opposite sign; their map is , not a positive-definite resistance matrix.
Write and . The helix has , so
Its unit tangent is , where . The given slender-body force density is the force per arc length exerted on the fluid. For pure axial translation, , it gives
For pure rotation, , it gives
The axial torque per unit arc length is . Integrating along the wire gives the axial resistance matrix of a slender helix
Thus translation gives , and rotation gives . These are the requested axial components; the axial swimmer approximation does not require proving statements about the other components. The equality of the two off-diagonal coefficients checks reciprocity, and
For the organism, retain the specified entrainment approximation: the head moves with the local large-scale fluid translation, and its angular velocity differs from the local fluid rotation by . Put . Its torque on the fluid is therefore , and its force is neglected. Neutral buoyancy and absence of external torque give
Solving,
This is the entrained-head approximation for a helical microswimmer, which differs from treating the head as an isolated sphere in otherwise stationary fluid. The flagellum's angular speed is also .
At fixed , the speed is maximal at and tends to zero at either limiting pitch. At fixed other parameters it decreases as : the longer flagellum has more resistance at the fixed torque supplied in this model. Holding the number of turns fixed instead would make change with pitch, so that is a different comparison.
The motor exerts equal and opposite torques of magnitude on flagellum and head, whose relative angular speed is . Therefore its rate of working is
Equivalently, the work delivered to the fluid is . Translation contributes no net work because the total force vanishes. This explains the independence from and , without assigning an isolated-fluid drag law to the entrained head.
For a force acting on an unbounded incompressible fluid, the Stokeslet and its pressure are
They solve and . Approximate a slender body by a line distribution of these point forces on its centreline. At a point labelled by arclength ,
To extract the large logarithm, write and approximate , , where is the unit tangent vector. The near-line contribution has kernel . Cut it off at the wire radius and a macroscopic length . The two sides of the line give
The far contribution and changes in the cutoff add terms without the leading logarithm. Since , inversion proves the leading slender-body force density
This is force on the fluid; the fluid's force on the wire has the opposite sign. It gives twice the resistance to transverse motion as to tangential motion at this order.
The stated arclength describes the circular helix . The PDF omits the second in the coordinates, so the literal printed curve and its arclength are inconsistent unless . First use the circular interpretation consistent with the given arclength. Put and . Then
Rotation about has velocity , so . The axial force density is . Integrating over one turn gives
For translation, and . Only the tangential term contributes to axial couple. Since , its density is , giving
These are the off-diagonal coefficients of the axial resistance matrix of a slender helix. Their equality does not depend on this particular geometry: with symmetric local resistance , the rotation-induced axial force is , whereas the translation-induced axial torque is . They agree pointwise by symmetry of . The full Stokes-flow statement is the Lorentz reciprocal theorem.
For completeness, retaining the literal elliptic helix instead gives and the axial coupling of an elliptic helix
Thus reciprocity holds for the literal curve as well; only the geometric coefficient and arclength change. In all these formulas the equal and opposite force or couple on the wire reverses the displayed sign.
For two Stokes flows and of the same dynamic viscosity in the same region, with no volume force, the Lorentz reciprocal theorem states
Indeed, the divergence of their cross-work difference is
The pressure terms vanish by incompressible flow, and the derivatives of the Cauchy stress tensors vanish by the Stokes equation. The divergence theorem proves the result.
Use the convention that are the force and torque exerted by the body on the fluid. By Linearity of Stokes flow, . Applying the Lorentz reciprocal theorem to two independent rigid motions gives , so the hydrodynamic resistance matrix is a symmetric matrix. The boundary-power identity gives
This is strictly positive for nonzero rigid motion: equality would imply , hence a rigid motion throughout the connected fluid, which must vanish since the fluid is at rest at infinity. The no-slip boundary condition would then force . Therefore is a positive-definite matrix. Reversing to the fluid-on-body force changes the sign of the force law, not the positive resistance coefficients.
For the two rods, take the torque about and use body axes. On the -rod, , , and its slender-body force density is
On the -rod it is
Integrate and along both rods, using , and . A convenient dimensionally uniform statement of the complete right-angle two-rod resistance matrix is
In physical coordinates this means translation–translation entries scale as , the two translation–rotation blocks as , and rotation–rotation entries as . The planar block has inverse
This verifies the printed hydrodynamic mobility matrix with its third velocity component ; the TeX aid's is an OCR error.
Take laboratory vertical velocity positive upwards. The body axes are and . In quasistatic sedimentation the force and torque exerted on the fluid equal the gravitational resultants on the body:
The out-of-plane block is unforced, so its positive hydrodynamic resistance matrix gives . Substitution in the planar hydrodynamic mobility matrix gives
and
For , this ordinary differential equation has positive right side on , with a stable zero at . Uniqueness prevents crossing that equilibrium in finite time. For the initial angular velocity is negative, and the stable equilibrium reached from zero is . The heavier-end body turns clockwise through ; it does not settle at . More explicitly, with ,
where the continuous branch has . At , remains zero.
Transforming the translational velocity back to laboratory axes gives
For , eliminate time between and the angular velocity:
At either limiting orientation . Thus both cases have the same net horizontal displacement,
For the drift is monotonically rightwards. For it first moves left, reaching at , then reverses. The total horizontal path length in this second case is , whereas its net displacement is rightwards. At it falls vertically without rotation or drift; taking the infinite-time limit before is consequently singular.
For the requested sedimentation drift of a weighted two-rod body sketch, a full parametric trajectory follows by also integrating . Put and set the initial height to zero:
It tends to in either case while tends to . At both rods end pointing upwards from symmetrically; at they end pointing downwards symmetrically. The asymptotic downward speed is .
Figure 1.
Falling two-rod bodies: trajectory of O and successive orientations for lighter and heavier end masses
. Details.
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.
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 pure translation, integrate the slender-body force density over each rod and take its moment about . The three coordinate directions give
Thus
when .
Let
The symmetry proved in part (a) determines the force generated by rotation from the translation-generated couple. Combining this with the given rotational resistance gives the complete matrix
For two perpendicular rods of length joined at one endpoint, the slender-body force density gives translation resistance , rotation resistance , and translation–rotation block . The opposite block is its transpose. Here is the torque about the joint and the force on the fluid. Integrating along each rod proves the entries and makes the symmetry and positivity of a rigid-body resistance matrix explicit.