# Squirming Sphere in an Ideal Fluid¶

## Introduction¶

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.

## Hydromechanical Connections¶

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:

• Mechanical connection: where is the locked inertia tensor such that and and is the momentum map.

• Stokes connection: where is a momentum map associated with a dissipative force , and is a viscosity tensor such that and Kelly uses the following local expressions and for zero initial momentum which completely describe the evolution of Potential and Stokesian swimmers respectability.

## Squirming Sphere¶

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. Coordinate system.

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 ### Potential Flow¶

Irrotational potential flow is best described in terms of the velocity potential, which satisfies with the Neumann boundary condition

(1) 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 : where Plugging back in Eq. (1), we expand both sides in terms of  and equate terms of equal power where the first few terms are where .

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 Therefore, Self-propulsion of the sphere requires that its motion remain horizontal with respect to this connection, therefore ### Stokes Flow¶

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.

## Discussion¶

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

(2) 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.

References

1

Anthony Bloch. Nonholonomic Mechanics and Control. Springer, September 2007. ISBN 0387955356.

2

L. Gary Leal. Advanced Transport Phenomena: Fluid Mechanics and Convective Transport Processes. Cambridge University Press, 1 edition, June 2007. ISBN 0521849101.

3

Dzhelil S Rufat. Locomotion of a three dimensional variable shape body in inviscid fluid. May 2005.