One convention for the Papkovich–Neuber representation uses a harmonic vector potential and a harmonic scalar potential :
These are harmonic functions away from any singular force point. Since , the representation gives and , the equations of homogeneous Stokes flow.
Place the point force at the origin. A velocity linear in , decaying as and having the rotational symmetry of a point force is obtained from , . The vector components are harmonic functions for ; scalar dipole potentials would instead generate higher-order decaying singularities. The force normalization fixes . Indeed, substitution gives the Stokeslet:
To verify its strength, the Newtonian fluid stress tensor is . Its outward traction integrated over any sphere surrounding the origin is , because . Thus the localized force applied to the fluid is , as required. Translation of the origin gives the same Stokeslet centered at any prescribed force point.
The mobility correction from a fixed distant sphere gives
Taking their ratio and keeping the first nonzero transverse correction yields
to the stated leading order. Set . The deflection is , so replacing by on the right introduces only higher-order errors. Integrating from gives
The maximum occurs at , and the deflection and spin in a distant sphere encounter are
For the rotation, use and to leading order in the angular velocity from part (b). Its signed angle about the positive axis is
Thus the rotation is clockwise when viewed from positive , with the magnitude of the displayed leading term.
The deflection tends back to zero downstream: . More generally, kinematic reversibility of Stokes flow combined with reflection in the plane makes a passing trajectory fore-aft symmetric. One can see this without using the distant-sphere approximation: the relevant translational hydrodynamic mobility matrix has the form . Hence is even in and is odd in . Uniqueness of the trajectory through then gives .
For , the numerical deflection and spin approximations above are invalid: the encounter enters a narrow gap and requires lubrication theory. However, the same return to the incoming offset holds for an ideal passing encounter of perfectly smooth spheres in Stokes flow. Lubrication resistance prevents finite-time contact under a bounded force, and does not itself destroy kinematic reversibility of Stokes flow. Contact, surface roughness or nonhydrodynamic forces could change that conclusion; they are additional physics, not part of the ideal model. This distinction is the fore-aft symmetry of a sedimenting-sphere encounter.
A freely swimming body has no net external force or torque in Stokes flow. Its force-free condition removes the Stokeslet monopole, and its torque-free condition removes the antisymmetric force-dipole contribution. The leading generic far field is therefore a symmetric traceless rank-two tensor stresslet, decaying as . Its axial strength may vanish for special swimmers, in which case higher-order singularities dominate.
The axisymmetric stresslet from a Stokeslet pair provides an explicit construction and fixes the sign convention. Place forces and on the fluid at and . The Stokeslet tensor is
Expanding their sum for gives
Since
the dipole strength is and the resulting stresslet is the given one. More general surface-traction distributions produce the same leading form through their symmetric traceless first force moment.
Writing , its radial velocity is
Consequently
This classifies pusher microswimmers and puller microswimmers in the force-on-fluid convention used by the given formula.
For the circular swimmer let , , , and choose the tangent director . Its sign is immaterial to the stresslet. Write for the observation vector from the circle centre, and assume . The leading far-field orbit average of a tangent stresslet is obtained by replacing by while retaining the time-dependent director.
The orientation averaging of an axisymmetric stresslet over a full revolution gives
Substitution gives
Thus
with equivalently . The effective axis is normal to the orbit plane. A positive original strength becomes negative, and a negative strength becomes positive: a pusher averages to a puller, and a puller averages to a pusher, at leading far-field order. The result is independent of and at this order.
The accuracy of the centre replacement can be made explicit. Half a revolution changes and to their negatives; the stresslet is even in . Pairing those times replaces the displaced field by
Hence
The finite-radius average is not exactly a point stresslet at every location. For example, on the positive axis the exact average of the supplied model is
which has the derived point-stresslet limit for . This even displacement correction in an orbit-averaged stresslet is consistent with the far-field restriction.
Figure 1.
Instantaneous pusher along an in-plane axis and its leading circular-orbit average, a puller normal to the orbit plane
.
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.
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.
In the surfactant transport with exchange relaxation, is the material derivative following an interfacial material element. The term accounts for dilution by tangential stretching, while accounts for changing area through normal motion and curvature. The surface diffusion term redistributes surfactant down concentration gradients. The exchange term relaxes its concentration towards , through adsorption or desorption from a surrounding reservoir, on time scale .
In the bubble frame the spherical interface is stationary and impermeable. A steady material derivative is . For a linear response in the rising speed this and are second order, whereas stretching of is first order. Thus
Rotational symmetry, linear response to , and zero normal velocity allow only , where is the surface tangent projector. This is the dipolar, axisymmetric sector; axisymmetry alone, without the linear-response assumption, would allow other angular dependence.
On a sphere and . Applying the surface tangent projector to the derivative gives the sphere surface derivative identities
For example, taking a second surface divergence of the first identity yields the third. Equivalently, the components of are degree-one spherical harmonics. Hence a dipolar surfactant distribution solves the linear equation:
The required smallness condition is . Surface diffusion or exchange must smooth the concentration faster than it is redistributed by the actual interfacial velocity. We require , and ; with neither process there is no such steady linear balance at nonzero . A small capillary number also justifies the spherical approximation.
Take the normal from the inner bubble to the outer liquid, define , and set . The interfacial stress balance with variable surface tension is
Because and , its tangential part becomes
This is a Marangoni stress: surface-tension gradients oppose the clean-bubble circulation.
Use the Unscaled Papkovich–Neuber representation, and . The constant vector potential gives . In the decaying, linear axisymmetric sector, a vector monopole and scalar dipole provide the two constants needed at the sphere; other equivalent potential choices amount to a representation freedom. The PDF potential contains the factor omitted in the TeX aid. With that factor restored, the exterior velocity is
At the interface, no penetration gives , and the tangential velocity gives . Using the traction coefficient printed in equation (3), the tangential stress condition gives . The requested algebraic answers are therefore
There is a factor-of-two error in the PDF traction. Direct differentiation of the preceding velocity with the Newtonian fluid stress tensor gives
rather than its printed coefficient . In particular the tangential traction is . Keeping the same definition of , the physically consistent translating surfactant-coated bubble instead has and
The two sets must not be silently conflated. As a useful check, the no-slip limit has the usual total Stokes flow drag with the corrected traction; the printed traction would double it.
Both versions give , , when : the interface is tangentially stress-free and circulates as a clean inviscid bubble. For , , , : the interface is immobile in the bubble frame and behaves as a no-slip sphere. The Marangoni stress remains finite because has a nonzero limit. The concentration smallness condition still has to hold; large is not by itself a complete linearization criterion.
The normal component is balanced by the inner gas pressure and the normal capillary stress , including the variation of , together with the hydrostatic pressure difference responsible for buoyancy. A spatially uniform inner pressure alone cannot balance the dipolar traction. To make the normal stress balance on a translating bubble explicit, let be the outer-minus-inner mass density. After removing the equilibrium Laplace pressure, the corrected outer normal traction has dynamic part . Its degree-one balance is
Thus, if a terminal speed is desired, , interpolating between the clean-bubble and rigid-sphere speeds. A degree-one shape displacement is merely a translation of the sphere, so the balance determines its rise speed, rather than a dipolar shape distortion.
The hydrostatic approximation gives above the horizontal floor, up to atmospheric pressure. The horizontal Stokes flow equation is , with the no-slip boundary condition at and zero tangential stress on the free surface. Integrating twice gives and the lubrication gravity-current flux
For the squeegee lubrication model, use vertically, horizontally, and in time. If is the laboratory coordinate in the direction of travel, set , , , and . The blade half-length is . The moving-frame flux is . Conservation of volume gives the dimensionless lubrication equation
Using these scales as representative of the actual flow, lubrication theory requires a small aspect ratio and negligible inertia relative to vertical viscous resistance:
The second is the Reynolds number based on , multiplied by . Surface tension is neglected as assumed. Large piles, rounded gaps, and narrow end regions need their own local slope and inertia checks if these representative scales cease to describe them.
Write , , and choose the common undisturbed interface pressure . The hydrostatic pressure is in the upper fluid and in the lower fluid. Continuity of hydrostatic pressure across both current interfaces gives
Thus and . This isostatic depth partition of an interfacial current expresses local vertical buoyancy balance: a displaced column with an imbalance would move vertically until the partition was restored. With the hydrostatic pressure subtracted, the pressure within the current is , where
The equivalent body force is outward for a profile decreasing with . Its magnitude is ; the derivative without an absolute value is a signed quantity.
For an ambient-controlled interfacial plug current, integrating the body force through depth gives radial force per area . The ambient Stokes flow varies over distance , exerting traction , so . The current's internal shear supports the ambient traction with a velocity difference ; requires . The force per area from its in-plane viscous extension is , negligible against ambient traction when . Together these give the viscosity window for an interfacial plug current
Fixed volume gives , and the spreading velocity has the scale . Thus and
Choosing so that exactly, the similarity solution has , , and . In radial conservation , substitution gives . Regularity and no source at the centre remove the integration constant. Therefore the radial plug velocity is linear:
For the disc-traction analogy for an interfacial current, subtract the imposed straining flow from the stationary-disc solution. The perturbation has velocity on the disc and zero far-field velocity. Reverse its sign: the resulting Stokes flow is driven by a radially expanding disc with velocity in otherwise quiescent fluid. The background straining flow contributes no radial shear traction on , so the given disc traction changes sign. This step uses Linearity of Stokes flow, Uniqueness of Stokes flow, and the no-slip boundary condition. The thin plug current has the same leading boundary velocity and hence the same ambient resistance. Each face contributes ; both faces must be counted. With , radial force balance is
Integrate with . The interfacial plug-current similarity profile is
Volume integration gives . Eliminating gives the full prefactor:
The formal edge slope diverges, so a narrow edge region lies outside the thin-current approximation. Its traction and volume contributions are integrable, and this is a leading thin-current solution rather than a uniformly valid edge description.
For a diffusion-controlled solute gravity current, excess solute mass, not enriched-fluid volume, is conserved. At late times the effective mass density excess is proportional to solute concentration, so , and . The same ambient resistance scaling gives
This scaling does not determine a universal numerical prefactor. The mass diffusivity controls the growing depth, while dilution weakens buoyancy; assuming a fixed current volume would incorrectly retain the law. The thin-layer requirement becomes ; when only dissolved solute changes the upper fluid, its viscosity is of order the ambient viscosity, consistent with the plug-current window.
Let be the dynamic viscosity, , and the signed force exerted by sphere on the fluid. For negligible sphere inertia, this also equals the externally or internally applied force on that sphere; its hydrodynamic force is . The Stokes drag law and the axial velocity of a Stokeslet give the leading hydrodynamic mobility matrix
The factor follows from when is parallel to the line of centres. The longitudinal two-sphere mobility retains the first interaction in ; finite-size and repeated-reflection corrections are higher order.
For the linked force-free pair, . Put and . Then
so
The coefficient depends only on the current separation. For any period , , and therefore
This is a closed integral of a single-valued function of one real shape coordinate. Since and , both spheres also have zero net displacement. Equal radii make instantaneously; unequal radii generally permit oscillatory translation, but still no mean motion. This explicit force-free two-sphere stroke is the scallop theorem: a single-parameter reciprocal deformation in a Newtonian fluid at zero inertia cannot produce net free swimming. The timing of extension and contraction cannot change that conclusion, because Stokes flow has no inertial memory.
For the externally prescribed pair, put , , and
Invert the hydrodynamic mobility matrix:
In a large- expansion with fixed,
The isolated-drag term and the constant- interaction have zero mean. The order- term from also has zero mean, since its coefficient is constant at that order. Meanwhile,
Consequently the externally driven two-sphere pump has the following phase-dependent mean force of an externally driven sphere pair:
Here denotes averaging over one period. The analogous calculation gives , so at leading order, and
Thus the mean fluid forcing is nonzero except at or modulo . The sign changes when the phase lag is reversed. Those exceptional strokes are reciprocal: the position-space loop collapses to a line, and their mean force vanishes by reversibility, not just by this leading expansion.
Figure 1.
An externally driven two-sphere stroke with phase lag pi over three encloses a position-space loop, and its leading mean fluid force varies as the sine of the phase lag
.
There is no contradiction with the scallop theorem. The externally imposed motion is not force-free, and the actuators prescribe two phase-shifted motions; their combined motion is not reciprocal for a generic phase. The spheres return to their prescribed positions while transferring a mean force to the fluid. This is pumping by external forcing, rather than propulsion of the freely linked one-shape-coordinate system.
The asymptotic calculation requires and persistent large separation. The minimum separation of phase-shifted sphere oscillations is
The printed condition alone does not guarantee nonoverlap or the stipulated far-separated regime. The prescribed trajectories must additionally keep this minimum well above both radii. This is a compatibility qualification on the data, not a change of the phase-dependent force calculation.
Linearity of Stokes flow and rotational symmetry, including reflection in mathematics invariance of the spherical geometry, determine the possible rigid motions before any calculation. Translation is a polar vector; its linear dependence on a single vector must be . A traceless second-rank tensor cannot produce a polar vector by an isotropic linear map: tensor contraction with the identity matrix vanishes and tensor contraction with the totally antisymmetric tensor vanishes because is a symmetric second-rank tensor. Angular velocity is an axial vector. Neither nor a symmetric can produce one by an isotropic linear map. Products such as are excluded by Linearity of Stokes flow. Thus .
Use the Unscaled Papkovich–Neuber representation, with harmonic functions and :
Indeed and because each potential is a harmonic function. Put and . The decaying harmonic functions with the necessary angular dependence are , and . The last is a harmonic function precisely because . A Stokeslet is excluded by the force-free condition, and a rotlet by the torque-free condition. Try
The resulting Stokes flow is
At , the coefficient of fixes ; the remaining constant vector gives . In the mode, matching gives and . Therefore the complete two-mode tensorial squirmer flow is
The boundary condition is satisfied in the laboratory frame, so the Stokes flow tends to zero at infinity. The potential dipole in the mode gives an irrotational flow and decays as ; the leading mode is a stresslet, decaying as . Neither carries a net force or torque. Direct surface integral averaging with the surface slip velocity formula gives the same translation, providing an independent check. Uniqueness of Stokes flow then identifies this decaying solution.
Put the fixed outer centre at the origin, and let the moving inner centre be . This reverses the sign of the vertical offset used in the previous parts: now . At concentricity rotation produces no force and translation has isotropic resistance . Balancing the external load gives
There is no inertial acceleration in this Stokes flow model; velocity is determined instantaneously by force balance.
For the subsequent motion, the full-film journal bearing assumption matters: pressure is single-valued around the whole annulus, with no specified cavitation boundary. Let , , , and be its radial and tangential unit vectors. The squeeze resistance of an eccentric journal bearing has radial and tangential coefficients
For completeness, rotate coordinates until points along , so . Radial translation gives squeezing flux and resistance proportional to . Tangential translation gives ; the constant enforces periodic pressure. Its resistance uses
These expressions supply both translation directions; retaining only the vertical squeezing formula would miss the moving axle's horizontal dynamics.
The rotational fluid force from the earlier calculation points along , with magnitude . Superposing rotation and translation by Linearity of Stokes flow, and resolving the load, gives
For positive the axle initially moves down, then to the right because the rotation-generated force is perpendicular to the downward eccentricity. The equilibrium is displaced horizontally to the right, at the same height as the outer axis. Its eccentricity is the unique solution
The rotational force then points upwards and balances the load. For negative the displacement is to the left, using in the magnitude equation. Uniqueness follows because the logarithmic derivative of has positive numerator after a common positive denominator. If and , no separated static equilibrium exists in this ideal model. If , concentricity remains a solution.
One should not assert that this full-film model necessarily settles to the equilibrium. It predicts full-film journal-bearing whirl. For , eliminate time from the two boxed evolution equations and put . The orbit starting at concentricity obeys
so, with its zero initial horizontal displacement,
The orbit begins on the lower branch, turns at before contact, and returns along the upper branch, forming a closed orbit through concentricity. The ratio of the right-hand side to increases from zero to infinity, giving a unique turning eccentricity below one. Linearizing at equilibrium likewise gives and with : the eigenvalues are imaginary, not damped. Thus the equilibrium position exists, but the initially concentric axle circulates around it in the stated ideal full-film approximation. Cavitation or additional mechanical constraints would change the model; none were specified.
The normalized centre trajectory below illustrates the full-film prediction for . The dashed circle is the contact locus of the axle centre, not either cylinder wall.
Eliminate the instantaneous Stokes flow velocity in favour of temperature. On a horizontal Fourier mode , the Stokes temperature-slaving operator maps to , where and . The temperature evolution has linear operator and bilinear map . Under the homogeneous thermal Dirichlet boundary conditions, is self-adjoint. Normalize its critical eigenfunction as and set ; the critical vertical velocity is .
At order , the critical eigenfunction equation gives . At order , the weakly nonlinear expansion contains the imposed second harmonic and the quadratic products of the critical mode: a horizontally uniform temperature correction proportional to and, in a general vertical-mode calculation, a second harmonic proportional to . These corrections are found by solving the noncritical boundary value problems, with homogeneous thermal data except for the imposed forcing.
At order , the method of multiple scales produces the slow derivative , the detuning term , and the two cross-advection terms involving first- and second-order fields. Project the component onto the adjoint eigenfunction using the vertical inner product. This is the solvability condition in the method of multiple scales: divide each resonant projection by . The detuning supplies with ; interactions of horizontal wavenumbers and permit with ; self-interaction through the slaved mean and second harmonic supplies . Other products have the wrong horizontal wavenumber. Reflection permits real coefficients with this cosine forcing. Thus the symmetry-allowed spatially forced convection amplitude equation is
There is a useful specialization that should not be silently missed. For the literal one-vertical-mode Stokes flow problem, the vanishing two-to-one forcing coefficient for Stokes convection makes at this order. To see this, write a positive second-harmonic forcing component as , incorporating the cosine's factor . Its coupling to the negative critical harmonic has projected integrand, apart from sign and its factor ,
The integral vanishes because at both plates, even though is nonzero. This proves the cancellation without solving the forced profiles. The permitted coefficient is therefore zero times ; symmetry alone does not establish nonzero phase pinning for the equations actually supplied.
The same normalization makes the remaining coefficients explicit. Since , . The quadratic second harmonic cancels for , while the uniform correction is . Projecting gives . Thus for the literal model and this temperature normalization,
A generic nonzero would require a nonvanishing projection in an amended physical model or a different forcing structure. It is still meaningful to classify the real-coefficient amplitude equation requested independently.
Write . Then and . These are a gradient flow for , so local minima give stable equilibrium points. At the origin the two eigenvalues are and . The origin has exponential asymptotic stability if , retains asymptotic stability with algebraic decay at , and is unstable if . At equality, obeys , since both linear coefficients are nonpositive. Integrating this inequality proves attraction even in the zero-eigenvalue direction.
For the stable nonzero equilibrium points are real; for they are imaginary:
The real branch has Jacobian matrix eigenvalues ; the imaginary branch has . The oppositely aligned branch, when it exists, is a saddle equilibrium. No mixed real-imaginary nonzero equilibrium is possible when .
For , the origin is stable for , with algebraic decay at zero. If , the circle is radially attracting. Each point has Lyapunov stability but has a neutral phase direction, so it does not have individual asymptotic stability; the circle has orbital stability. This is the literal model's unpinned family. The general nonzero- branches instead exhibit phase locking to one of two phases separated by .
Take and . Taking the divergence of the Stokes flow momentum equation gives ; applying the Laplacian to its vertical component then eliminates pressure and gives . The forced velocity and temperature are , so their advection product is and drops out at leading order. The steady heat equation reduces to .
Consequently the boundary value problem for the forced profiles is
Its six boundary conditions are
The horizontal velocity field is , which directly verifies the incompressible flow and stress-free boundary condition. In the detuning used subsequently, may be replaced by in this leading problem, since its correction enters at order . The vertical profiles depend linearly on .
For reference, the unforced free-slip convection neutral curve is , with and . At the neutral curve has , so the forced second horizontal harmonic is noncritical at , and the stated linear problem has no critical-mode resonance.
Take the layer depth as the length unit, its thermal diffusion time as the time unit, and its imposed temperature difference as the temperature unit. Then is the velocity field, the pressure after the conductive hydrostatic pressure has been subtracted, the departure from the conductive temperature , the upward unit vector, and the Rayleigh number. Here is the dimensional depth, the kinematic viscosity, the thermal diffusivity and the thermal expansion coefficient. The gradient, divergence and Laplacian act on the dimensionless coordinates. The term in the heat equation is advection of the background gradient, since . Mass density variations enter only the buoyancy term under the Boussinesq approximation; the incompressible flow constraint is .
For fixed, impermeable, stress-free plates, the no-penetration boundary condition, stress-free boundary condition and perfectly conducting thermal boundary condition are
For a nonzero horizontal Fourier mode, incompressibility gives , so the velocity conditions are equivalently on both plates. A uniform horizontal velocity is not fixed by these boundary conditions; take its mean to be zero when discussing the stationary forced pattern.
The printed small-Prandtl-number label does not generally justify these equations. In thermal-time units the full momentum equation contains , where the Prandtl number is . Dropping that term gives infinite-Prandtl-number convection or another explicitly justified Stokes flow approximation. It is not the general limit. For example the horizontal shear , , satisfies the full linear momentum equation and the plate conditions, and persists at fixed as . The printed inertia-free equation would instead require this shear to vanish. The following parts solve the equations actually displayed; applying them at small Prandtl number needs an additional slaving or creeping-flow ordering.
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.
Write and take to be the dynamic viscosity. The Papkovich–Neuber representation of a homogeneous Stokes flow uses a harmonic vector potential and harmonic scalar potential :
These formulas give incompressibility because , and give , the Stokes equation away from forcing.
For a point force represented by a Dirac delta distribution, rotational covariance and the Linearity of Stokes flow suggest a vector monopole proportional to : is a harmonic function outside the origin, and its slow decay gives the required nonzero resultant force. Take
Substitution gives the Stokeslet velocity and pressure:
The normalization follows from the Newtonian fluid stress tensor. Differentiating the velocity gives the rate of strain and vorticity of a Stokeslet:
Here . Thus . On a sphere enclosing the origin, its outward traction integrates to , so in the distributional sense. All displayed fields away from the point force have .
For a sphere in a uniform straining Stokes flow, centre the sphere at the origin and write the ambient velocity as , with and . Faxén's first law and Faxén's rotational law give zero translation and rotation. To impose the no-slip boundary condition, use the decaying harmonic dipole and quadrupole potentials
Trace freedom makes harmonic, and each component of is harmonic. The Papkovich–Neuber representation gives
At , the coefficient of must give , while the extra radial term must vanish. Hence and , giving the complete disturbance
The total velocity vanishes on the sphere and tends to the imposed strain at infinity. This field has no Stokeslet or rotlet contribution, consistent with a force-free, torque-free sphere. Its leading far field is the radial stresslet .
Now put the first sphere at and the second at , where , and let . The first sphere's leading disturbance is its Stokeslet. The rate-of-strain tensor and vorticity incident on the second sphere are
The second sphere translates with the local flow and rotates with half its local vorticity. Its force-free and torque-free conditions therefore remove any reflected force or torque monopole. The incident strain produces the stresslet just obtained. Since
its velocity at the first centre, using the relative vector , is
Faxén's first law then gives the self-mobility correction from a distant force-free sphere:
Finite-size terms and further reflections are beyond the leading order retained in this method of reflections for Stokes flow.
Only the imposed force does work, so the viscous dissipation is . With , define and . At fixed ,
so the leading change is negative when . The direction is held fixed in taking .
The fixed-force comparison of minimum viscous dissipation distinguishes the prescribed force from prescribed boundary velocity. Indeed,
and hence
At the actual reduced velocity, adding the second sphere increases the dissipation relative to an isolated translating sphere at that same velocity, exactly as required by the Minimum-dissipation theorem for Stokes flow. One can extend the two-sphere velocity rigidly into the second sphere, adding zero strain and producing an admissible trial field in the domain without it. The reflected angular velocity of the first sphere contributes only a higher-order squared rotational power to this comparison.
Finally hold the second sphere's angular velocity at zero. Faxén's rotational law requires the applied couple
The resulting rotlet adds at the first centre
This is the additional rotational constraint correction to sphere mobility. Including the strain reflection, the total leading change relative to the isolated velocity is
For motion parallel to the line of centres the constraint adds nothing at this order; for transverse motion it supplies an extra resisting correction.
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.