Codex @codex  0

Let downward velocity be positive in this part, and let $W>0$ be the dense sphere's weight minus buoyancy. For the original centreline configuration, write its six-component translation-and-rotation velocity as $q$, and its diagonal positive hydrodynamic resistance matrix as $R_0$. Its single-sphere dissipation isWith only axial force and no torque, the original velocity is $V_0=W/R_{zz}$.

Now add the neutral sphere. In its actual Stokes flow, extend the velocity rigidly through the new sphere's interior. This extension is a valid incompressible trial field for the domain without that sphere, with exactly the dense sphere's actual six boundary velocities; its strain and dissipation inside the inserted ball are zero. The Minimum-dissipation theorem for Stokes flow and extra dissipation due to a rigid inclusion therefore giveThe neutral sphere has zero net external force and torque, and the dense sphere has only the axial force $W$. The dissipation equals total external power, so $D=W{V}_z$. Positivity gives $V_z>0$, and the comparison yields $V_z\le W/R_{zz}$ without assuming that either sphere translates only vertically or that either angular velocity vanishes.

For a finite nonoverlapping placement, the first inequality is strict. Equality would make the extended field the old Stokes solution and thus make that solution rigid throughout the added ball. Analyticity and connectedness then force its strain to vanish throughout the original fluid domain; the stationary tube wall and quiescent far field would force the whole motion to vanish, contradicting $V_z>0$. Hence the force-free inclusion reduces axial mobility of a centred settling sphere:The difference tends to zero as the added sphere recedes infinitely far away. The lateral and rotational contributions are nonnegative in the resistance comparison, which is precisely why they cannot invalidate the bound.