 Solution

The undisturbed ambient solution is smooth and free of body forces throughout the ball $r\le a$. Its Stokes equations implyTaking the divergence gives ${\nabla }^2{p}_{\infty }=0$, and a further Laplacian therefore givesEach velocity component obeys the biharmonic equation in the whole ball.

Expand a component of ${\mathbf{u}}_{\infty }$ at the centre and average over $\mathbf{x}=a\mathbf{n}$. The odd spherical moments vanish, whileThus the spherical mean of a biharmonic function givesThe truncation is exact, not just a small-sphere approximation: all terms containing two or more Laplacians vanish. One can avoid any Taylor-convergence issue by letting $M(r)=⟨{\mathbf{u}}_{\infty }(r\mathbf{n})⟩$. Since ${\nabla }^2{\mathbf{u}}_{\infty }$ is harmonic, its spherical mean is ${\nabla }^2{\mathbf{u}}_{\infty }(0)$, soIntegrating gives $M(r)={\mathbf{u}}_{\infty }(0)+r^2{\nabla }^2{\mathbf{u}}_{\infty }(0)/6$ for every admissible $r$.

Combining with the force-free result of part c proves Faxén's first law in the requested form:The force-free qualification carries over. Local absence of ambient body forces and regularity inside the ball are also needed; if forcing or a singularity lies inside it, the harmonic-pressure and biharmonic-mean argument does not apply unchanged.