Squirming Sphere in an Ideal Fluid¶
The purpose of this work is to derive analytically and with an explicit formula the motion due to the variation of the surface of a squirming body in a fluid. Such a derivation has been done before, but only in two dimensions, and there is no literature on any attempts to generalize to three dimensions, which is considerably more involved algebraically. By utilizing software such as Mathematica, the derivation is quite straightforward.
The primary motivation behind this work is the search for innovative propulsion mechanisms. Surface variations may not lead to a very high speed, but they provide higher maneuverability and efficiency and are the primary source of motion of aquatic animals. Two types of fluid are studied - an Eulerian (potential) fluid where all viscous effects are ignored and inertia is the only factor, and a Stokesian (creeping) fluid where all inertial effects are ignored and viscous friction is the only factor. We consider only those cases because they linearize the equations governing the fluid motion, and permit analytic solutions.
Consider a body immersed in a fluid. We regard its shape as a shape manifold . And the configuration manifold
represents the complete position and orientation of the body in space.
can be thought of as a trivial bundle with a group structure G, and an action of on given by for and An element of the tangent space is given by .
We are interested in computing a connection on the configuration bundle that will allow us to compute the fiberwise translations resulting from cyclical changes in shape.
A connection is a vector valued one-form on .
We follow  in defining two types of connections:
is the locked inertia tensor such that
and is the momentum map.
where is a momentum map
associated with a dissipative force , and
is a viscosity tensor such that
Kelly uses the following local expressions
and for zero initial momentum
which completely describe the evolution of Potential and Stokesian swimmers respectability.
Consider a three dimensional nearly spherical body whose surface is described by the following equation:
Such a body has already been studied previously numerically , and the current method that allows us to obtain explicit formulas for the displacement as will be later seen, are valuable tools for validating numerical simulations.
As an example we consider the propulsive movement of a roughly spherical device whose boundary shape is modulated by a small amount. We parametrize the boundary in terms of the shape variables , and express it as a sum of an unperturbed base shape and a perturbed part:
The configuration manifold is
Irrotational potential flow is best described in terms of the velocity potential, which satisfies
with the Neumann boundary condition
where is the prescribed boundary motion.
For an axisymmetric problem, such as this one, the solution of the Laplace equation can be expressed as a series
where are the Legendre polynomials satisfying the orthogonality condition
We require that as , and therefore we must take for .
The problem of solving for is reduced to finding the coefficients .
First, in order to enforce the boundary conditions on the perturbed surface, we need to compute the normal at each point. The two tangential components on the surface are
and therefore the normal component can be evaluated as the cross product of the two
Note that we need not normalize the expression for since it occurs on both sides of the boundary condition equation Eq. (1). Expanding the spherical coordinates of in terms of :
where we have used the abbreviations and .
Next, we expand the potential in a power series in terms of the small perturbation parameter :
Plugging back in Eq. (1), we expand both sides in terms of
and equate terms of equal power
where the first few terms are
By linearity of Laplace’s equation (using superposition) one can write following Kirchoff
Then, up to second order in
The total kinetic energy is given by
This Lagrangian is invariant under translation along , so its momentum map is
The locked inertia tensor is given by
Self-propulsion of the sphere requires that its motion remain horizontal with respect to this connection, therefore
The solution of creeping-motion can be reduce in two dimensions to the biharmonic equation in terms of the stream function
which satisfies the no-slip and no-penetration boundary condition on the surface
Following  p.462 the general solution is
where are polynomial functions defined in terms of the Legendre polynomials
and satisfying the orthogonality condition
Again we want the velocity to vanish at infinity, so we will neglect the first two terms
Again we will exploit the linearity of the equation by using Kirchoff’s method to express the streamfunction as
Due to the lack of time, I am unable to continue with the calculations. The Mathematica code that I use seems to have trouble computing the and components. This could be related the 3D equivalent of the Stoke’s paradox, or could simply be abug in the code. In any case, it would be important to carry this calculation to completion at some point in the future in order to compare the displacement resulting from creeping flow to that in potential flow.
A calculation similar to the one done above was carried by Kelly for a two dimensional circle where the algebra is less involved. Figure 1 compares the results. In all cases the shape trajectory is a unit circle shape space.
Explicitly, we quote the results. For the the potential flow case, Kelly obtained:
and for Stoke’s case
If we compare those, to our result
The first thing that we notice is the presence of in the 3d case (our solution). However, this term has no effect on the net displacement and it only results in a more pronounced oscillation of the center of mass during each cycle. Also we notice that the body achieves higher displacement in 3d.
This simplicity with which such explicit equations such as Eq. (2) can be obtained is a testament to the power of the geometric approach to mechanics.
Illustration of axisymmetric squirming.
Anthony Bloch. Nonholonomic Mechanics and Control. Springer, September 2007. ISBN 0387955356.
L. Gary Leal. Advanced Transport Phenomena: Fluid Mechanics and Convective Transport Processes. Cambridge University Press, 1 edition, June 2007. ISBN 0521849101.
Dzhelil S Rufat. Locomotion of a three dimensional variable shape body in inviscid fluid. May 2005.