Abstract
A well-developed method to induce mixing on microscopic scales is to exploit flows generated by steady streaming. Steady streaming is a classical fluid dynamics phenomenon whereby a time-periodic forcing in the bulk or along a boundary is enhanced by inertia to induce a non-zero net flow. Building on classical work for simple geometrical forcing and motivated by the complex-shaped oscillations of elastic capsules and bubbles, we develop the mathematical framework to quantify the steady streaming of a spherical body with arbitrary axisymmetric time-periodic boundary conditions. We compute the flow asymptotically for small-amplitude oscillations of the boundary in the limit where the viscous penetration length scale is much smaller than the body. In that case, the flow has a boundary layer structure, and the fluid motion is solved by asymptotic matching. Our results, presented in the case of no-slip boundary conditions and extended to include the motion of vibrating free surfaces, recover classical work as particular cases. We illustrate the flow structure given by our solution and propose one application of our results for small-scale force generation and synthetic locomotion.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Flow mixing and transport on small scales have been widely studied [1]. These processes can be non-trivial as small-scale flows often occur at low Reynolds number and as such are laminar and time-reversible. Achieving precise flow and mixing control is however critical experimentally in a range of medical and chemical applications [2]. Applying pressure differences and inducing electrokinetic flows are the two most common methods used to drive flows on small scales [1], and mixing has often been achieved by encouraging chaotic particle paths, e.g. by designing a device with complex geometries [2, 3].
As an alternative, one can look at the biological world for inspiration in design since mixing and transport occur on cellular length scales [4]. Individual microorganisms are known to generate a net dipolar flow in the surrounding fluid when they self-propel [5, 6]. A population of swimmers generate larger and more varied flows, which can aid mixing, through a variety of processes including bioconvection [7] and purely collective effects [8, 9]. More subtly, their presence may affect the diffusive transport of passive tracers which develops non-Gaussian tails in the presence of biological activity [10,11,12].
From a modelling standpoint, analytical studies of flows induced by swimmers is older than experimental observations due to previous limitations of imaging techniques. Many approximately spherical microorganisms (e.g. the multicellular alga Volvox or the protozoon Opalina) move by waving slender appendages called cilia. A standard modelling approach consists in considering the dynamics of the enclosing envelope of the cilia, thus reducing the problem to that of a spherical body inducing a surface wave of deformation [13, 14]. The first of such analytic models was proposed by Lighthill [15] and later corrected by Blake [13], who calculated the net flow generated by small-amplitude axisymmetric oscillations of a spherical surface in a Stokes flow. This model is now refereed to as the “squirmer” model. More recent studies have extended this model to include non-axisymmetric motion [16], the presence of nearby boundaries [17, 18] and large-amplitude oscillations [19].
Recently the importance of inertia to the swimming of microorganisms was recognised. Unsteady inertial effects are particularly influential over short time scales [20] but not on longer time scales [21]. A theoretical extension of Lighthill’s original model to include unsteady inertia was carried out by Rao [22]. Convective inertia, in contrast, is important for larger microorganisms, typically of radius close to one millimetre. Using a squirmer model with tangential forcing on the fluid only, three recent studies considered how convective inertia impacted the swimming kinematics and efficiency, emphasising in particular the relationship between the direction of the far-field flow and the inertial effects [23, 24] as well as structure and stability of the wake [25].
In the lab, a variety of synthetic drivers and mixers at the micron-scale have been designed and experimentally tested [26, 27]. The simplest devices are time-periodic and exploit the inertia in the fluid to generate net motion. This motion is the classical phenomenon of steady (or acoustic) streaming, whereby a time-periodic forcing is nonlinearly rectified by inertia to induce a non-zero net flow [28]. One method to obtain this time-periodic forcing is to use microbubbles whose surfaces oscillate when forced with ultrasound, allowing the transformation of a macroscopic piezoelectric forcing into oscillations at the micrometre scale, with a range of potentially important biomedical applications [29]. Studies of the streaming generated by oscillating microbubbles started with Elder’s experiments in 1958 [30]. Microbubbles are able to transport particles either in their streaming flow when the microbubble is held stationary [31, 32] or where the microbubble itself carries the particle [29, 33]. Interactions between multiple oscillating bubbles may be used to increase mixing flows [34,35,36].
Theoretical studies of the steady streaming flows have focused on shape oscillations in simple geometries, including a translating sphere [37], a translating bubble [38, 39], a bubble both translating and pulsating [39], and more recently a bubble both pulsating and oscillating with one higher-order Legendre mode [40]. For free microbubbles, the external acoustic energy is focused into the first few surface modes of oscillation hence these classical studies are sufficient to model streaming. However, as setups become more complicated, for example in the case of solid capsules partially enclosing three-dimensional bubbles [33, 41, 42], it is important to be able to model the complex shape dynamics and accurately compute the resulting streaming flows and forces.
In this paper, we develop the mathematical framework to quantify the steady streaming of a spherical body with arbitrary axisymmetric time-periodic boundary conditions (see Fig. 1 for setup). We compute the flow asymptotically under two assumptions: (1) the amplitude of the surface oscillation is small relative to the size of the body (ratio of amplitude \(\epsilon \ll 1\)); and (2) the acoustic frequency is large such that the viscous penetration length scale is small compared to the body size (ratio penetration length to body size \(\delta \ll 1\)). Mathematically, we solve the problem as a regular perturbation expansion in \(\epsilon \), with each term expanded in turn in powers of \(\delta \). We thus focus implicitly on the limit \(\epsilon \ll \delta \ll 1\), which is the relevant one for micron-sized bubbles forced by ultrasound (frequencies in the hundreds of kHz range) and millimetre-sized organisms. Similarly to classical work, the flow is shown to have a boundary layer structure and the problem is solved by asymptotic matching. Our results, which assume that the body is fixed in space, are presented in the case of no-slip boundary conditions and extended to include the motion of vibrating free surfaces, also recover classical work as particular cases. We then illustrate the flow structure given by our solution and propose one application of our results, discussing the adaptation for a force-free body, on small-scale force generation and synthetic locomotion.
Our paper is organised as follows. In Sect. 2, we set up the problem of the fluid flow generated by arbitrary surface motion of a no-slip spherical body. In Sect. 3, we derive the first-order solution. The second-order Eulerian steady streaming is derived in Sect. 4 which is extended to give the Lagrangian steady streaming in Sect. 5. The special case of a squirming microorganism is then discussed in Sect. 6. This no-slip general model can be extended to incorporate other surface motion such as a no tangential stress boundary as shown in Sect. 7. The special case of a bubble is then considered in Sect. 8. In Sect. 9, our general solution is validated against classical results for spheres and bubbles. In Sect. 10, we illustrate examples of streaming flows. In all previous sections, the body was assumed to be held stationary at the origin. In Sect. 11, the time-averaged force induced by the flow on the fixed body is calculated, along with the translational velocity of the spherical body if it was instead free to move.
2 Axisymmetric steady streaming: setup
In this first section, we present the general setup for our calculation. The body is taken to be spherical with an imposed axisymmetric, radial and tangential time-periodic deformation of its surface. In the following sections, we will use asymptotic matching to first characterise the flow in the case of no-slip between the fluid and the surface, and then we generalise to allow the formulation to be adapted to other boundary conditions, in particular no tangential stress for a clean bubble.
2.1 Statement of the mathematical problem
The sphere has mean radius a and is contained within an unbounded Newtonian fluid of constant kinematic viscosity \(\nu \) and uniform density \(\rho \) (Fig. 1). Working in a spherical coordinate system centred on the sphere, with radial distance r and polar angle \(\theta \), the axis \(\theta =0\) is the axis of rotational symmetry. The surface of the body is assumed to oscillate at angular frequency \(\omega \) with small amplitude \(\epsilon a\), where \(\epsilon \ll 1\) is formally specified below. Defining \(\mu \equiv \cos \theta \) and since the flow is axisymmetric, a stream function \(\psi \) can be introduced to give radial \(u_{r}\) and angular \(u_{\theta }\) velocities as
The governing equation is then given by the vorticity equation [43]
where we have defined the operators
In order to non-dimensionalise the problem, we take the relevant time scale to be \(\omega ^{-1}\) and the relevant length scale to be a, so that the sphere now has a rest radius of 1. The stream function thus has dimensions \(a^{3}\omega \) and the vorticity equation becomes
Equation (6) introduces a non-dimensional quantity: the ratio of the viscous penetration length scale, \(\sim (\nu /\omega )^{1/2}\), to the radius of the body, a. Specifically, we define a dimensionless number \(\delta \) as
thus reducing the governing equation to
The second dimensionless quantity in this problem is the ratio \(\epsilon \) between the amplitude of oscillation and the body radius. To use notations similar to those in classical steady streaming calculations, we use U to denote the maximum velocity at the surface of the oscillating body, such that \(\epsilon \) can be defined as
We will look to solve this problem as a regular expansion in \(\epsilon \) for small values of \(\delta \), and then take a regular expansion in \(\delta \). We will thus assume the asymptotic limit \(\epsilon \ll \delta \ll 1\). Importantly, this assumption is sufficient for our asymptotic solution to be valid. As explained below, we will solve this problem using asymptotic matching between an inner solution (boundary layer of size \(\delta \)) and an outer solution. For the inner asymptotic solution, \(\psi ^\mathrm{i}\), where we require at least one more term than in the outer solution, we will have an expansion of the form
with \(n\ge 2\). The solution in (10) is a valid approximation provided the errors are smaller than the order of our solution \(O(\epsilon ^{2} \delta )\). So we require \(\delta \ll 1\), \(\epsilon \ll \delta \) and \( \delta ^{n} \ll \epsilon \). However, n can be chosen to be as large as required, thus reducing down to the condition \(\epsilon \ll \delta \ll 1\) only. We note that we can easily obtain the \(O(\epsilon )\) solution up to order n in \(\delta \) since \(\epsilon \) is introduced into our equations only through assuming \(\psi \) is a power series in \(\epsilon \), so mathematically higher orders of \(\epsilon \) cannot affect lower orders in \(\epsilon \).
Physically, a small value of \(\epsilon \) indicates small-amplitude motion while a small value of \(\delta \) means that the viscous penetration length is small compared to the rest size of the body. For which practical situations will these limits be relevant? To fix ideas, let us take a value for the relative amplitude of \(\epsilon \sim 10^{-2}\). A ciliated microorganism in water (\(\nu =10^{-6}\) m\(^2\)/s) would have intrinsic frequencies of about 50 Hz, so \(\omega \approx 300\) rad/s, leading to a penetration length of \(({2\nu }/{\omega })^\frac{1}{2}\approx 80\) \(\mu \)m. In order to satisfy the limit \(\epsilon \ll \delta \ll 1\), the organism size would need to be just below 1 mm, which is achieved for the largest ciliated organisms such as Spirostomum which can grow up to 4 mm in length [44]. For a microbubble actuated by ultrasound, the frequency is about \(\omega \sim 10^{6}\) rad/s, so the penetration length is \(({2\nu }/{\omega })^\frac{1}{2}\approx 1\) \(\mu \)m and thus the bubble would have to be about 10 \(\mu \)m in diameter.
2.2 Boundary conditions
We apply, in this first part of the paper, the no-slip boundary condition. Thus, the fluid velocity has to match the velocity of the material points on the surface of the body, which is arbitrary and decomposed along an infinite sum of surface modes. Using a Lagrangian formulation, the motion of the boundary can be described by its radial position, R, and angular position measured from the axis of axisymmetry, \(\varTheta \), which are functions of time t and the rest angular position \(\theta \) (through \(\mu \)) as
where \(V_{n}\text { and }W_{n}\) are arbitrary complex constants determined by the surface motion of the spherical body and \(P_{n}(x)\) is the Legendre Polynomial of degree n. Throughout the paper, complex notation will be used and it will always be implied that only the real part is taken; when an explicit real part appears we will denote it \(\mathfrak {R}\).
The \(\mu \)-dependence was chosen in order to match the form of the first-order solution, as seen below. Through the many possible choices for constants \(V_{n}\) and \(W_{n}\), a wide range of boundary motions can be studied. At leading order, \(R(\theta )\) is equivalent to the radial position of the surface at an angle \(\theta \) from the axis of symmetry. As such, \(V_{n}\) will be determined by the shape of the surface oscillation. At leading order, \(\varTheta (\theta )\) captures the tangential motion at an angle \(\theta \) from the axis of symmetry, and thus \(W_{n}\) will be determined by the appropriate in-surface motion. We note that the use of Legendre polynomials as a basis for \(\mu \) was expected due to the problem’s axisymmetry, and such a basis has appeared in other work based in similar regimes [13]. As the Legendre polynomials form a complete orthogonal basis, they allow for an arbitrary solution to be written in this form.
At \(O(\epsilon ^{2})\) only terms in R and \(\varTheta \) which time average to a non-zero value would contribute to the streaming. However, such terms would indicate that the body was slowly growing or shrinking over time, and would also stretch or contract tangentially, violating the small-amplitude assumption on long time scales. We therefore do not allow for steady Lagrangian terms at order \(O(\epsilon ^{2})\). The boundary condition can thus be written in a Lagrangian form as
and both of which have to be evaluated at \((r,\theta )=(R(\mu ,t),\varTheta (\mu ,t))\).
Finally, we require that the flow decay to zero from the body and thus \(u_{r,\theta }\rightarrow 0\) as \(r\rightarrow \infty \).
We note here that we are assuming the spherical body is fixed in space and as such is not force-free. A force-free condition may be incorporated with the same setup in a suitable reference frame, whereby it limits the possible surface shape oscillations through restrictions on the choice of constants \(V_{n}\) and \(W_{n}\). This is discussed in detail in Sect. 11.
2.3 Rearranging the surface boundary conditions
The current Lagrangian form of the body’s surface conditions (13)–(14) needs to be transformed into Eulerian boundary conditions of the fluid motion. This is achieved by Taylor expanding them about the average oscillation position \((1,\theta )\) which in spherical coordinates gives
and
Looking for the dimensionless velocities and stream function as power series in \(\epsilon \) as
then at leading order (15) and (16) gives
at \(r=1\) and for all values of \(\theta \). Similarly from (15) and (16) the \(O(\epsilon ^{2})\) boundary condition can be calculated. However, due to the nonlinear terms arising from the Taylor expansions, the first-order flow needs to be first evaluated in order to determine the \(O(\epsilon ^{2})\) boundary conditions explicitly. This will be discussed in Sect. 4.1.
3 First-order asymptotic solution
3.1 General solution
Based on the oscillatory nature of the boundary condition at first order, (20)–(21), we look for a solution \(\psi _{1}\propto \mathrm{e}^{\mathrm{i}t}\). At leading order, the governing equation reduces to
This is easily solved using separation of variables \(D^{2}\psi _{1}=f(r)g(\mu )\mathrm{e}^{\mathrm{i}t}\) to find \(D^{2}\psi _{1}\) as
where \(K_{a}(x)\) is the modified Bessel function of the second kind of order a.
We then use separation of variables with the definition of the operator (4) to solve Eq. (23) for \(\psi _{1}\) noting that (23) gives the particular solution of \(\psi _{1}\). Hence we finally obtain
where \(\alpha =(1+\mathrm{i})\delta ^{-1}\), \(I_{a}(x)\) is the modified Bessel function of the first kind of order a, and \(A_{n}\), \(B_{n}\), \(C_{n}\), \(D_{n}\) are constants to be determined using the boundary conditions.
3.2 Enforcing the boundary conditions
Since \(I_{n}(\alpha r)\) increases to infinity exponentially as \(r\rightarrow \infty \), we first see that the boundary conditions at infinity impose that \(A_{n}=0\) for all n and similarly \(C_{n}=0\) for \(n>0\).
Secondly, singularities in the velocity profile should be removed. This is not a problem for \(u_{r}\) but it is for \(u_{\theta }\). Indeed, we have the scaling \(u_{\theta }\sim (1-\mu ^{2})^{- \frac{1}{2}}\left( \int _{\mu }^{1}P_{n}(x)\mathrm{d}x\right) \), which has formal singularities at \(\mu =\pm 1.\) Using the identity
we see that the singularities are removable for \(n>0\) but not for \(n=0\). Since \(\mathrm{e}_{0}\) provides only one degree of freedom, it can be used to remove at most one singularity. Therefore, in order to prevent any singularity in \(u_{\theta }\) at \(\mu =\pm 1\), it is required that \(C_{0}=B_{0}=0\). The only term remaining in \(\psi _{1}\) containing \(\mathrm{e}_{0}\) is proportional to \(\mathrm{e}_{0}D_{0}\), which is an arbitrary constant and hence \(\mathrm{e}_{0}\) can be set to 0.
With these results, \(\psi _{1}\) is reduced to
Applying the two first-order boundary conditions, (20) and (21), finally allows the determination of the remaining constants \(B_{n}\), \(D_{n}\) and \(D_{0}\). For ease of expansion later, a Bessel function factor evaluated at \(\alpha \) has been left formally in the definition of the constants giving us
For simplicity of notation in what follows, we define \(W_{0}=0\) so that (27) and similarly (28) remain valid for \(n=0\).
4 Second-order asymptotic solution
At \(O(\epsilon ^{2})\), a net fluid motion will arise and from this we will obtain the streaming flow. The first-order solution determines the explicit second-order boundary conditions (Sect. 4.1) and provides a non-zero forcing term (Sect. 4.2) at \(O(\epsilon ^{2})\). Unfortunately, the governing equation with this volume forcing is too complex to solve explicitly analytically. We will thus employ asymptotic matching in order to solve for the flow inside the boundary layer of size \(r=1+\delta \eta \) (Sect. 4.3) and for the flow in the far field (Sect. 4.4) where exponential decay of this forcing leads to a Stokes flow. Upon matching these two solutions (Sect. 4.5) the outer solution will give access to the Eulerian streaming flow around the body.
4.1 Second-order boundary conditions
Equations (26)–(29) give the full solution for \(\psi _{1}\). Using (15) and (16) we can now time average the boundary conditions at order \(\epsilon ^2\). Note that the product of two terms of the form \(f\mathrm{e}^{\mathrm{i}t}\) and \(g\mathrm{e}^{\mathrm{i}t}\) time average to \(f \overline{g}/2\) or \( \overline{f} g/2\) where the real part is assumed and overbars denote complex conjugates. Simplifying the \(\mu \) dependence of the result to a sum over the appropriate basis functions, i.e. \((1-\mu ^{2})^{-\frac{1}{2}}{\int _{\mu }^{1}P_{n}(x)\mathrm{d}x}\) for \(u_{\theta }\) and \(P_{n}(\mu )\) for \(u_{r}\) and using the classical identities
we explicitly obtain time-averaged boundary conditions
and
where we have used triangular brackets to indicate time averaging.
In these equations, the series of coefficients \(C_{nj}\), \(a_{knm}\), \(f_{knm}\) and \(g_{knm}\) are defined by
and
and where \(P_{n}^{1}(\mu )\) is the associated Legendre polynomial of degree n and order 1. Recall that associated Legendre polynomials of degree n and order m are defined by
and have the useful orthogonality property
Using the orthogonality property together with (25), the formulae for \(a_{knm}\) (35), \(f_{knm}\) (36) and \(g_{knm}\), (37) can be rearranged into a more useful form to calculate their numerical value
In Eqs. (40)–(42), \(a_{knm}\), \(f_{knm}\) and \(g_{knm}\) are Gaunt Coefficients, which have been extensively studied due to their appearance in theoretical physics. Gaunt’s formula [45] for the triple product integral and fast numerical algorithms [46] exist to evaluate such coefficients.
4.2 Nonlinear forcing
The governing equation at order \(\epsilon ^{2}\) is given by
Time averaging equation (43) leads to
A general second-order solution that is valid throughout the domain cannot be found due to the complexity of the right-hand side of Eq. (44). However, for small values of \(\delta \), solutions can be found separately within the viscous boundary layer and in the far field, and they can be asymptotically matched to provide a full outer solution. This is the method we will be using in this paper. In either case, an indication of the form of the nonlinear forcing is required. The term \(D^{2}\psi _{1}\) is given in Eq. (23). We also have
and
Using the coefficient \(a_{knm}\) defined in (35), Eq. (46) can then be transformed to the appropriate (integral polynomial) basis. Similarly the quantity given by \(2 \times (45) \times (23)\) can have its basis transformed using \(a_{knm}\) and \(C_{nj}\) defined in (34). These two quantities can then be added which gives the total nonlinear forcing as
4.3 Solution inside the boundary layer
The rest boundary is located at \(r=1\) with a boundary layer of size \(\delta \). We thus define an inner variable \(\eta \) related to r by \(r=1+\delta \eta \). The boundary layer is small, \(\delta \ll 1\), and within the boundary layer the inner variable \(\eta \) varies from 0 to 1. We now write the second-order equation in terms of \(\eta \) and expand in ascending powers of \(\delta \).
First consider expanding the right-hand side of Eq. (44), i.e. Eq. (47) divided by \(r^2\). When the first-order boundary conditions were applied above, we obtained in Eqs. (27)–(29) Taylor expansions of the coefficients \(D_{k}\) and \(B_{k}\) in terms of \(\delta \). The powers of r can also be Taylor expanded about \(r=1\) to also obtain a powers series in \(\delta \).
However, the Taylor expansions of the Bessel functions have to be done more carefully. A useful identity [47] for expanding the Bessel function is that, for non-negative integer n we have
Next, notice that when the expansions for \(D_{k}\) and \(B_{k}\) are substituted into (44), the Bessel functions always appear in ratios of the form
where \(\hat{K}\) represents a derivative or complex conjugate of the Bessel function. As such, taking f(r) as the appropriate power series in r gives
where \(\tilde{\alpha }\) can be \(\alpha \) or its complex conjugate. The exponential part of the Bessel function can clearly not be Taylor expanded in powers of \(\delta \). Hence to obtain the correct expansion, the power series part of the Bessel function should be Taylor expanded in powers of \(\delta \) and the negative exponential part should only have the appropriate \(\eta \) substitution carried out.
Upon completion of the substitution and expansion in \(\delta \), we obtain inside the boundary layer
Inside the boundary layer, the \(D^4\) operator on the left hand side of (44) is asymptotically given by
and therefore (44) finally simplifies to
where \(\psi _{2}^\mathrm{i}\) is the second-order stream function inside the boundary layer.
Using the elementary indefinite integrals (where c is the constant of integration)
allows us to integrate Eq. (53) explicitly, leading to the general inner solution
where \(L_{k}\), \(M_{k}\), \(N_{k}\) and \(Q_{k}\) are constants of integration to be determined. Of those, two will be determined by enforcing the two second-order boundary conditions (32) and (33), namely \(L_{k}\) and \(M_{k}\). Since these boundary conditions must hold for all \(-1\le \mu \le 1\), the coefficient of each basis function (i.e. \(P_{n}(\mu )\) or \(\int _{\mu }^{1}P_{n}(x)\mathrm{d}x\)) must obey these boundary conditions term by term, giving a countably infinite number of equations with solution
Asymptotic matching will then determine the values of the remaining coefficients.
4.4 Solution outside the boundary layer
Looking at Eq. (47), we see that all the terms in the nonlinear forcing are multiples of modified Bessel functions of the second kind or their derivatives. As such, this forcing decays away exponentially fast as \(r\rightarrow \infty \) and can be neglected outside the boundary layer. In the outer region, we have therefore an unforced Stokes flow, and the governing equation for the outer stream function, \(\psi _{2}^{o}\), is
with exponentially small errors.
Given the form of the inner solution (56), and anticipating the asymptotic matching, we can look for the outer solution with a known \(\mu \) dependence as
The value of \( \langle D^{2} \psi _{2}^{o} \rangle \) can be found by differentiating (60) but also by solving (59) for \( \langle D^{2} \psi _{2}^{o} \rangle \) using separation of variables. Equating these gives a second-order differential equation for f with power-law solutions. The general outer solution is thus given by
Applying the boundary condition at infinity gives \(R_{n}=Y_{n}=0\) and \(S_{0}=Y_{0}=0\). Furthermore, in order to avoid a singularity in \(u_{\theta }\) at \(\mu =\pm 1\) it is required \(T_{0}=0,\) and as \(\langle \psi _{2}^{o}\rangle \) is a stream function it can be set that \(\mathrm{e}_{0}=0\) without affecting \(u_{r}\) or \(u_{\theta }\). Hence, we obtain the outer solution as
4.5 Matching
The final part of determining the solution for the flow consists of carrying out the asymptotic matching between the inner (56) and outer solutions (62). We first need to evaluate the inner solution, (56), in the limit \(\eta \gg 1\) which, because of the negative exponentials, simplifies to
The outer solution, (62), then needs to be evaluated in the limit \(r\rightarrow 1\). Writing the outer solution in terms of the inner variable \(\eta \) and Taylor expanding the expression about \(\eta =0\) then gives
Equating the two highest orders of \(\eta \) gives
If we use \(M_{k}^{(\delta )}\) to denote the \(O(\delta )\) term of \(M_{k}\), the outer constants are thus given by
Notice that \(T_{k}\) and \(S_{k}\) are now known so they can be used to determine \(N_{k}\) and \(Q_{k}\) by matching to the third and the fourth orders; if one carries out this matching, one obtains that \(N_{k}\) and \(Q_{k}\) are \(O(\delta ^{2})\) and \(O(\delta ^{3}\)), respectively.
5 Lagrangian streaming
The solution derived so far has focused on the Eulerian streaming, i.e. the time-averaged Eulerian velocity field at a fixed position in the laboratory frame of reference. In order to compare with future experimental results tracking the motion of passive tracers in the flow, it is necessary to calculate the Lagrangian streaming instead. The difference between the Eulerian and the Lagrangian streaming is the so-called Stokes drift which arises because the Lagrangian particles are advected by the Eulerian velocities at all the positions the particles move through, and not just fixed positions in the laboratory frame, and thus velocity gradients need to be accounted for.
Longuet-Higgins [39, 48] showed that the stream function for the non-dimensional time averaged Stokes drift \(\bar{\varphi }_{S}\) at \(O(\epsilon ^2)\) is given by
Ignoring exponentially decaying terms, the outer solution for the Stokes drift is thus
Adding this expression to the outer time-averaged Eulerian solution \(\psi _{2}^{o}\) from Eq. (62) leads to the final expression for the outer leading-order time-averaged Lagrangian streaming as
where
and the coefficients \(S_{k}\) and \(T_{k}\) are given by
and
Since the inner solutions is only valid in a \(\delta \)-sized region about the spherical body this gives the Lagrangian solution in the bulk of the fluid.
We note that in the far field, the flow will be dominated by the slowest spatially decaying term. In the stream function (72), this is the \(\langle \psi _{L} \rangle \sim S_{1}r\) term. The velocities associated with this term decay as \(\sim 1/r\) and are associated with a net force acting on the fluid (stokeslet). This will be further discussed Sect. 11 in the context of force generation and propulsion.
6 Special case: squirming
As discussed in the introduction, the squirmer model of low-Reynolds number swimming is a popular mathematical model to address the motion of nearly spherical ciliated cells (e.g. Opalina, Volvox) [13, 15]. The array of deforming cilia is modelled as a continuous envelope where the effective tangential component is deemed far more significant than the radial component of motion. As such, the position of the surface can be modelled as fixed at its average position, and imposing steady velocities along it. Models of this form have been used to study nutrient uptake by microorganisms [49], hydrodynamic interactions [50], optimal locomotion [51] and were recently generalised [16, 19]. Some versions of the squirming model do also allow a radial velocity to be applied through the fixed boundary as a model for a porous surface with normal jets of fluid through it [52].
The squirming approximation significantly increases the ease of theoretical calculations. However, and as expected, it has its limitations. A prescribed forcing through the boundary cannot be used to accurately model a moving boundary. If there is a non-zero radial velocity at the fixed boundary, the streaming flow will become one order of magnitude larger since the boundary conditions are no longer cancelling the leading-order term. In the very specific case of solely radial motion where all the radial modes are exactly \({\pi }/{4}\) out of phase with each other, the solution will be at the right order, but other important terms will still be missing from the streaming. This demonstrates that the physical movement of the boundary, and hence the physical displacement of the fluid in that region, is as important as the prescribed velocities it is imparting to the fluid around it.
For angular motion alone, however, the squirmer streaming is identical to the full solution, demonstrating that such an approximation is valid. Furthermore, in that situation the Lagrangian and Eulerian streamings are the same since the Stokes drift depends only on the radial motion of the surface. We thus focus on the standard tangential squirmer model where there is no radial motion at leading order and \(V_n=0\) for all n. In that setup, the generated streaming is of the same form as has already been derived, (72), but the constants are much simpler with \(Y_{knm}=0\) and
and
7 Allowing slip on the boundary
In previous sections, we assumed that the fluid satisfied the no-slip boundary condition and thus exactly matched the motion of our deforming body. Slip can, however, be systematically incorporated into this model through a small change of boundary conditions. The general form of the solution remains the same, but the constants of integration gain an extra contribution. This will then extend the model to include other spherical bodies, in particular bubbles.
In the case of no-slip, the motion of the boundary was described by its radial position, R, and angular position, \(\varTheta \). However, instead R and \(\varTheta \) can be interpreted as describing the motion of the fluid on the boundary of the spherical body. If we allow streaming at the second order on the boundary, we can then write
which now has the extra second-order contributions where \(F_{n}\) and \(G_{n}\) are known constants determined by the motion of the spherical body and f(t) and g(t) are unknown functions of time.
The new definition of R is equivalent to the previous one since the fluid and spherical body cannot encompass the same space. Therefore, \(V_{n}\) is still determined by the shape of the surface oscillation and there is still no net motion of the boundary, we thus have \(G_{n}=0\) for all n. The new definition of \(\varTheta \) does, however, allow for net motion of the fluid along the body’s surface, and the coefficients \(W_{n}\) are then chosen so that the appropriate surface boundary condition is obeyed at the first order. Similarly the value of \(F_{n}\) is determined by ensuring that this same surface boundary condition is obeyed at the second order. As such, \(F_{n}\) may be nonzero and without loss of generality we assume that \({\partial f}/{\partial t}\) time averages to one.
The addition of the coefficients \(F_{n}\) is a second-order contribution so \(\psi _{1}\) is unchanged from (26). The form of the second-order inner solution (56) is unchanged with \(L_{k}\) as in (57), but \(M_{k}\) now has an extra \(F_{k}\) contribution so we obtain the revised equation
The new boundary condition considered, such as that of no angular stress along the surface of a bubble, would now be applied to this new second-order inner solution allowing us to determine the value of the coefficients \(F_{k}\).
Similarly, the form of the outer solution (72) remains the same, but through the asymptotic matching there is an extra contribution to its constants of integration so that the revised formulae for the \(S_k\) and \(T_k\) coefficients are now
and
with the coefficients \(Y_{knm}\) remaining the same as in (73). Naturally, through the asymptotic matching outlined above, as \(T_{k}\) and \(S_{k}\) have an extra contribution, the inner constants \(N_{k}\) and \(Q_{k}\) will also include a contribution proportional to the constants \(F_{k}\).
8 Special case: free surfaces
In the case of an oscillating bubble, the extra boundary condition is that of no tangential stress on the bubble surface
where \(\varvec{t}\) is the tangent vector in the plane through the axis of axisymmetry, \(\varvec{n}\) is the normal vector and \(\varvec{\sigma }\) is the Newtonian stress tensor. There is still no penetration on the bubble surface and the shape of the bubble oscillation (via the coefficients \(V_{n}\)) is prescribed. Ensuring that the no-tangential stress conditions holds at the first order and at the second order (when time averaged) determines the values of \(W_{n}\) and \(F_{n}\). This calculation is quite involved and its details are given in Appendices 1 and 2 with the main results quoted in what follows.
8.1 General case
In this subsection, we calculate the leading-order streaming provided the result is non-zero (see below). The generated streaming is of the same form as the one already derived, (72), with \(Y_{knm}\) defined as in (73) and \(R_{0}=0\), with the difference that the constants \(T_{k}\) and \(S_{k}\) now take new values
and
This solution is derived in detail in Appendix 1.
8.2 Special case: in-phase motion
If the \(V_n\) coefficients are chosen such that the real part of \(\mathrm{i}V_{n}\bar{V}_{m}=0\) for all valued of n and m (i.e. all modes are in phase or \(\pi \) out-of-phase with each other) then \(T_{k}=S_{k}=Y_{knm}=0\) and the steady streaming is identically zero at O(1). This of course includes the case where only one mode is being forced. The net streaming in that case occurs at \(O(\delta )\). In order to determine this streaming, the solution derived in Sect. 2 needs to be taken to the third order, to give one more power of \(\delta \), and then have the no-stress condition applied to it. The details for this calculation are given in Appendix 2. The generated streaming is still of the same form as has already been derived (72), but with \(Y_{knm}=0\), \(R_{0}=0\) and with the constants \(T_{k}\) and \(S_{k}\) now taking new values as
and
8.3 Discussion
Our results show thus that a bubble, for any in-phase oscillation of its shape, generates a streaming of \(O(\delta )\) or lower, and therefore at least one order of magnitude weaker than that of a deformable no-slip surface (such as an elastic membrane) undergoing the same sequence of shape change. Thus the net flows generated by the angular velocities are of similar magnitude to those induced by the radial velocities and they cancel at leading order.
Longuet-Higgins observed that a bubble undergoing translational oscillation produced a force of \(O(\delta )\), one order of magnitude less than the out-of-phase translational and pulsating oscillations which is O(1) [39]. Our calculations allow us to generalise this result to all shape changes, and thus suggests that ensuring there are at least two modes of oscillation out of phase leads to stronger streaming flows.
For bubbles forced by external fields, this raises an interesting question of whether a resonance mode of oscillation, which is solely at one mode, would produce a weaker streaming flow than out-of-phase forcing which excites multiple modes. From a practical standpoint, microbubbles are often fixed to a wall, which enforces that the centre of the bubble has to move and as such is naturally excited at a second mode.
9 Comparison with past work
Our calculations have allowed us to compute the streaming generated by any specified, fixed, oscillating spherical object (and in particular we solved for a bubble). Past work has characterized the streaming flow for simple shape oscillations of bubbles and rigid spheres, to which we can compare our model in order to validate it.
9.1 Translating bubble
In the case of a bubble undergoing translational oscillations, we have \(V_{1}=1\) and \(V_{n}=0\) for \(n\ne 1\), The angular boundary conditions \(W_{n}\) and \(F_{n}\) are determined by the no-stress boundary condition. This case was studied by Longuet-Higgins [39] and the solution we obtain here is identical to his, namely
as further illustrated in Fig. 2. This streaming flow is a stresslet with fluid pulled in along the axis of oscillation and pushed out along the equator.
9.2 Translating sphere
In the case of a solid sphere undergoing translational oscillations, we have \(V_{1}=1\), \(V_{n}=0\) for \(n\ne 1\), \(W_{1}=2\), \(W_{n}=0\) for \(n\ne 1\), and \(F_{n}=0\). This case was studied by Riley [37] and the streaming we obtain is identical to his solution, namely
as further illustrated in Fig. 3. Similarly to the oscillating bubble, this streaming flow is a stresslet but with opposite direction.
9.3 Bubble translating and radially oscillating
Finally, in the case of a bubble undergoing radial and lateral oscillations only \(V_{0}\) and \(V_{1}\) can be non-zero. Then the pairs \(W_{n}\) and \(F_{n}\) are determined by the no-stress boundary condition. We obtain \(W_{1}=-V_{1}\), \(W_{n}=0\) for \(n\ne 1\), \(F_{1}=4\mathrm{i}\bar{V}_{0}V_{1}\) and \(F_{n}=0\) for \(n\ne 1\). In this case, there is a contribution from the Stokes drift with one non-zero component of Y, \(Y_{101}={\mathrm{i}\bar{V}_{0}V_{1}}/{2}\) leading to the final Lagrangian streaming as
which matches the result of Longuet-Higgins [39] (note that in Ref. [39], \(\mathfrak {R}\left( \mathrm{i}\bar{V}_{0}V_{1}\right) \) is written as \(\sin (\phi )\) with \(\phi \) denoting the phase difference between modes 0 and 1). At leading order, this streaming flow is a stokeslet, with direction parallel to the axis of axisymmetry, and with a sign determined by the phase difference between \(V_{0}\) and \(V_{1}\).
10 Illustration of steady streaming and far-field behaviour
With the calculations above, we can now illustrate the streaming patterns which can be obtained from surface oscillations. We consider a range of surface boundary conditions (\(V_{n}\) and \(W_{n}\)) and assume for simplicity that the surface streaming is zero (\(F_{n}=0\)). The steady streaming flow splits naturally into two regions with different behaviours: the fluid motion close to the spherical body, which often contains recirculation regions, and the far-field behaviour which is dominated by the slowest decaying term in the velocity.
First we consider the streaming generated by a few simple surface shape oscillations. In Fig. 4a, we illustrate the streaming when only the mode \(V_{1}\ne 0\) is being forced. In all the cases, the flow being axisymmetric, we only need to display streamlines in the plane of symmetry to illustrate the whole flow. Here \(S_{1}=0\) so the slowest decaying term is \( {S_{2}}/{r^{2}}\) which produces the pattern of flow coming in in the equatorial plane of the spherical body and pushed away along the vertical axis (stresslet, see below). Furthermore, as there are few higher-order terms, this behaviour in fact dominates the flow throughout the domain.
Differences between the far-field flow and the fluid motion close to the body can be seen with higher modes. This is illustrated in Fig. 4b which shows the streaming generated by forcing mode \(V_{2}\) only. On the edge of the figure the dynamics seen in Fig. 4a is apparent as the term \({S_{2}}/{r^{2}}\) is still dominant in the far field. However, close to the spherical body, we see circulations zones which extend about one body diameter into the fluid. The number of these circulations regions increase as higher modes are being forced. A similar pattern is observed when only oscillating at one angular mode (i.e. \(W_{n}\ne 0\) for one choice of n).
Let us now consider the behaviour in the far field. Far from the sphere, the steady streaming is dominated by the slowest decaying term. If \(S_{1}\ne 0\) then the slowest decaying flow is the stokeslet with the velocities decaying as \({S_{1}}/{r}\). This produces a non-zero force along the axis of rotational symmetry and this gives a clear movement of flow parallel to this axis - either in the positive (Fig. 4c) or negative direction (Fig. 4d). If \(S_{1}=0\) the body has no force acting on it, as seen in Fig. 4a, b where the symmetry of the system prevents a net force from being induced. Generally, a net force is created only if two adjacent modes \(\{V_{n},V_{n+1}\}\) or \(\{W_{n},W_{n+1}\}\) are non-zero, as otherwise \(a_{knm}\), \(g_{knm}\), \(f_{knm}\) are all zero and the \(a_{knm}c_{nj}\) combinations cancel.
If the stokeslet coefficient, \(S_1\), is zero the far-field behaviour is dominated by a slower decaying term. In most cases, this will be a stresslet with associated velocities decaying as \({S_{2}}/{r^{2}}\). This is the flow seen in Fig. 4a. If in turn these terms are also zero then the far-field behaviour is dominated by the \(({T_{k}+S_{k+2}})/{r^{k+2}}\) term for the lowest value of \(k\ge 1\) which is non-zero.
Close to the spherical body, circulation regions will form. If there is a stokeslet, this term tends to dominate the flow and even close to the body circulation regions rarely appear. The one exception is close to the axis of symmetry where a pair of large circulations will sometimes form, either just above or just below the sphere (see Fig. 4d, c). Since the flow is axisymmetric, this corresponds to a recirculation torus.
Intuitively, one would expect that the shape of the volume physically displaced by the spherical body (set by the modes \(V_{n}\)) would have a significant effect on the features of the flow field. But as discussed in Sect. 8, the angular motion on the surface can produce a flow of similar magnitude, and in fact it can change the direction of the circulations and the streaming flow (and hence the direction of the body force applied to the spherical object) as demonstrated in Fig. 4d, c. Another example of this, already seen in Sect. 9, displayed the streaming flow difference between a translating bubble (Fig. 2) and a translating sphere in (Fig. 3).
11 Application: force generation and propulsion
In our current setup, the sphere is held fixed, and the force exerted by the oscillations of the spherical body’s surface on the fluid is computed. However, by Newton’s law, an equal and opposite force is being applied to the spherical body from the fluid. If the spherical body is not held in place then this would cause it to move. Mathematically, a net motion of the body is necessarily a second-order effect as all leading-order effects are oscillatory and produce no net motion or forces. Hence allowing the body to move will only slightly modify our mathematical approach. In this section, we characterise the force induced by a fixed body and then show how to carry the calculation in the case where the body is free to move.
11.1 Force generation
Due to the axisymmetry of the system a net force can only be exerted along the axis of rotational symmetry, taken to be \(\mathbf{e}_{z}\) using traditional notation from spherical coordinates. We thus write \(\varvec{F}=F\mathbf{e}_{z}\).
The time averaged force on the spherical body is equal to the force across the boundary of our spherical object at \(r=R\), i.e.
This force must match the force across the boundary “\(r=\infty \)” and thus
Across \(r=\infty \), if the time average is taken then there will only be a contribution from the second-order term as all first-order terms are oscillatory. Also, the region \(r=\infty \) is now outside the boundary layer, where, due to the exponential decay of the nonlinear terms, the time-averaged flow is a Stokes flow. Outside the boundary layer, the slowest decaying velocity is the 1 / r term. This velocity field at leading order in r is
This is the stokeslet discussed above. Indeed a non-dimensional stokeslet due to a force \(\varvec{F}\) applied at the origin induces a flow \(\varvec{U}\) with components
With a force in the \(\mathbf{e}_{z}\) direction this becomes gives
Equating these two forms of the stokeslet shows the non-dimensional force exerted on the spherical body by the fluid is
This force is the result of a dominant pressure field, thus the dimensional scaling for the pressure indicates the scaling for the force. The Navier–Stokes equations indicate that the pressure scales with time varying inertia so \(p\sim \rho Ua\omega \sim \rho a^{2}\omega ^{2}\) implying that the dimensional force is
11.2 Force-free swimming
If the spherical body is no longer held in place but is free to move, it will translate with an \(O(\epsilon ^{2})\) velocity in the direction of this force. However, the constraint of force-free motion needs to be carefully enforced at both \(O(\epsilon )\) and \(O(\epsilon ^{2})\) and being free to move will in general also impact the first-order oscillatory motion.
11.2.1 Force-free motion at \(O(\epsilon )\)
At \(O(\epsilon )\) the motion of the spherical body is completely determined by the constants \(V_{n}\) and \(W_{n}\). Up to now these coefficients could be chosen arbitrarily to represent any surface motion. The extra constraint of force-free motion will now restrict the allowed motion of the spherical body, therefore restricting choices of \(V_{n}\) and \(W_{n}\).
Mathematically, force-free motion is written as
The normal vector to the surface of the spherical body is
Knowing that the direction of \(\mathbf F\) is in the \(\mathbf{e}_{z}\) direction by symmetry, this becomes
This can then be non-dimensionalised and the integral expanded to give
The first-order pressure can be calculated by substituting the first-order solution for \(\psi _{1}\), (26), into the Navier–Stokes equation to obtain
Then notice, using integration by parts and Legendre identities, that
Therefore, the force-free condition will only affect the \(n=1\) mode. Then as we have the scalings
at the two leading orders in \(\delta \), only pressure and the viscous stress \(\sim {\partial u_{\theta }}/{\partial r}\) will contribute to the force, leading to
For the spherical body to be force-free, we thus need \(V_{1}=W_{1}=0\). In other words, if the boundary conditions are such that \(V_{1}\ne 0\) and \(W_{1}\ne 0\) for a fixed sphere, then the force-free sphere will undergo additional oscillatory motion to compensate and lead to \(V_{1}=W_{1}=0\) overall. Physically the \(V_{1}\) mode corresponds to the sphere undergoing translational oscillations. Therefore, for the body to be force free, the translational oscillations are suppressed. At \(O(\epsilon )\), since the behaviour is linear, for most angular surface boundary conditions, \(W_{1}\) will be directly dependent on the value of \(V_{1}\), so a condition restricting translational oscillations would be anticipated to affect the angular motion at this mode too.
11.2.2 Force-free motion at \(O(\epsilon ^{2})\)
In order for the motion of the sphere at \(O(\epsilon )\) to be force-free, we saw that two of the surface coefficients become zero. Beyond that, the model has not fundamentally changed. We can thus use our mathematical framework to calculate the velocity of translation at \(O(\epsilon ^{2})\) in terms of the force generated by the oscillating body which was force-free at the first order.
We use \(\tilde{V}\) to denote the non-dimensional time-averaged velocity of the body at order \(\epsilon ^{2}\). In order to use the same formulation as above, we move into a frame of where the body undergoes no net motion at \(O(\epsilon ^{2})\) in the z direction. Mathematically, this keeps all the boundary conditions the same as above except now requires in the far field that
As this is an outer boundary condition, the form of the second-order inner solution remains unchanged. Therefore, the main change is in the second-order outer solution. The general form of this outer streaming is still given by (61) (which is still a Stokes approximation since the nonlinear forcing term can be neglected due to its exponential decay rate). The difference is that applying the new boundary condition (109) allows one more term than before to be non-zero so we have
Then when comparing this outer solution to the inner solution (65), (66) and (67) all still hold for \(k\ne 1\) but for \(k=1\) we instead have
In order to determine the value of \(\tilde{V}\), we enforce that the time-averaged second-order solution be force-free so we have
Contributions to this integral will come from linear terms involving the internal second-order solution, \(\psi _{2}^\mathrm{i}\), as well as nonlinear terms involving the first-order solution \(\psi _{1}\).
Since the form of the first-order solution has not changed, the contributions from those nonlinear terms remain the same when we restrict \(\tilde{V}=0\) (i.e. no second-order translation). However, the second-order internal solution will give a slightly different contribution as the values of the constants of integration \(N_{k}\) and \(Q_{k}\) have changed.
Looking at the second-order internal solution only the constants of integration \(L_{k}, M_{k}, N_{k}\) and \(Q_{k}\) could be different. But changes will only occur for \(k=1\) since for other values of k the outer solution is as before. Furthermore, the constants \(L_{1}\) and \(M_{1}\) are the same as before since their values were determined by the boundary conditions on the surface of the body which are the same. We use the asymptotic matching in order to determine the values of \(T_{1}\) and \(S_{1}\) in terms of the known values \(L_{1}\) and \(M_{1}\) and this is then used to calculate the new values of \(N_{1}\) and \(Q_{1}\).
In this new system, we have
Compared to \(S_{1}\) and \(T_{1}\) in the first-order force-free case, \(T_{1}=\tilde{T}_{1}+{\tilde{V}}/{2}\) and \(S_{1}=\tilde{S}_{1}-{3\tilde{V}}/{2}\). Therefore, the drag force on the sphere will be the same as before, \(-4\pi \mu S_{1}{} \mathbf{e}_{z}\) plus an extra contribution from the \(-{3\tilde{V}}/{2}\) extra term in \(N_{1}\) and the \({\tilde{V}}/{2}\) term in \(Q_{1}\).
Knowing \(\hat{\varvec{n}}\) from (101) and that the direction of F is still in the \(\mathbf{e}_{z}\) direction means we have
We see that the extra contributions to F can only come from the linear terms evaluated at \(r=1\) (so \(\eta =0\)), i.e.
In \(\sigma _{\theta r}\), there will only be an extra \(N_{1}\) contribution arising from the \({\partial u_{\theta }}/{\partial r}\) term. Any extra contribution from \(\sigma _{rr}\) will come from the pressure term. The non-dimensional second-order equation for the pressure is
where the pressure scales as \(p\sim \rho aU\omega \). Then \(\left<{\varvec{u}}\cdot \nabla \varvec{u} \right>\) gives a contribution in terms of \(\psi _{1}\) only. There is, however, an extra contribution coming from \(\nabla ^{2}\left<{\varvec{u}} \right> \). By looking at the \(\theta \) component of this equation, and noticing that we are evaluating at \(r=1\) in the integral, we see we are only interested in terms with no dependence of \(\eta .\) Then it can be found that the \(N_{k}\) and \(Q_{k}\) contribution to p is given by
The extra contribution to F coming from the \({\partial u_{\theta }}/{\partial r}\) term in \(\sigma _{\theta r}\) and from the pressure is
Therefore, the total non-dimensional force on the spherical body is
For the body to be force-free, its dimensional velocity must therefore be
which we can use to calculate a numerical value for \(\tilde{V}\).
The relationship between the force on the body and its velocity is given by substituting this value of \(S_{1}\) into (99) giving
Then substituting the scaling for \(\delta ^{2}\) given by (7) finally leads to
We recognise the standard result for a solid sphere translating at speed \(\epsilon ^2\tilde{V}\) in a Stokes flow. Since outside the boundary layer the flow is a Stokes flow, such a similarity was in fact expected (corrections for non-sphericity are expected at higher orders in \(\epsilon \)).
12 Conclusion
In this paper, we have mathematically derived the steady streaming flow generated by an arbitrary axisymmetric oscillation of a spherical body. The final solution, and thus the main result of this paper, is quantified in Eqs. (72)–(75).
Our model, which agrees with classical results, shows that a net force is generated in the far field only when two adjacent surface modes are excited. If the body is free to move, this force will cause the body to move with a net velocity, which we derived, given by a balance between that streaming force and the Stokes drag (Eq. 124).
Having kept the boundary forcing arbitrary makes our model applicable to a wide range of microorganisms and microfluidic devices. Future work could involve determining the impact of inertia on the optimal swimming shape and associated efficiency of larger microorganisms (such as Spirostomum [44]) which may swim in regimes with non-negligible convective inertia. In addition, using this framework, the study of active colloids could be extended to inertial regimes, from the extensively studied low Reynolds number regimes [53].
Recent experimental work has used bubbles embedded in free-moving hollow bodies to generate propulsion [33], and our formalism will be directly applicable to this new class of synthetic swimmers. In particular, in Ref. [42], we used our calculations to determine the streaming flow and force generated by such micron-sized “Armoured Microbubbles”. Our analysis could be extended to a wider range of experimental parameters and could help improve future designs.
References
Squires TM, Quake SR (2005) Microfluidics: fluid physics at the nanoliter scale. Rev Mod Phys 77:977–1026
Sia SK, Whitesides GM (2003) Microfluidic devices fabricated in poly(dimethylsiloxane) for biological studies. Electrophoresis 24:3563–3576
Stone HA, Kim S (2001) Microfluidics: basic issues, applications, and challenges. AIChE J 47:1250–1254
Wensink HH, Dunkel J, Heidenreich S, Drescher K, Goldstein RE, Lowen H, Yeomans JM (2012) Meso-scale turbulence in living fluids. Proc Natl Acad Sci USA 109:14308–14313
Lauga E, Powers TR (2009) The hydrodynamics of swimming micro-organisms. Rep Prog Phys 72:096601
Drescher K, Goldstein RE, Michael N, Polin M, Tuval I (2010) Direct measurement of the flow field around swimming microorganisms. Phys Rev Lett 105(16):168101
Pedley TJ, Kessler JO (1992) Hydrodynamic phenomena in suspension of swimming microorganisms. Annu Rev Fluid Mech 24:313–358
Saintillan D, Shelley MJ (2008) Instabilities and pattern formation in active particle suspensions: kinetic theory and continuum simulations. Phys Rev Lett 100:178103
Dunkel J, Heidenreich S, Drescher K, Wensink HH, Bar M, Goldstein RE (2013) Fluid dynamics of bacterial turbulence. Phys Rev Lett 110:228102
Leptos KC, Guasto JS, Gollub JP, Pesci AI, Goldstein RE (2009) Dynamics of enhanced tracer diffusion in suspension of swimming eukaryotic microorganisms. Phys Rev Lett 103(19):198103
Lin Z, Thiffeault J, Childress S (2011) Stirring by squirmers. J Fluid Mech 669:167–177
Zaid IM, Dunkel J, Yeomans JM (2011) Levy fluctuations and mixing in dilute suspensions of algae and bacteria. J R Soc Interface 8:1314–1331
Blake JR (1971) A spherical envelope approach to ciliary propulsion. J Fluid Mech 46:199–208
Brennen C (1974) An oscillating-boundary-layer theory for cilliary propulsion. J Fluid Mech 65:799–824
Lighthill MJ (1952) On the squirming motion of nearly spherical deformable bodies through liquids at very small Reynolds numbers. Commun Pur Appl Math 5:109–118
Pak O, Lauga E (2014) Generalized squirming motion of a sphere. J Eng Math 88:1–28
Li G, Ardekani AM (2014) Hydrodynamic interaction of microswimmers near a wall. Phys Rev E 90(1):013010
Spagnolie SE, Lauga E (2012) Hydrodynamics of self-propulsion near a boundary: predictions and accuracy of far-field approximations. J Fluid Mech 700:105–147
Ishimoto K, Gaffney EA (2014) Swimming efficiency of spherical squirmer: beyond the Lighthill theory. Phys Rev E 90(1):012704
Wang S, Ardekani AM (2012) Unsteady swimming of small organisms. J Fluid Mech 702:286–297
Ishimoto K (2013) A spherical squirming swimmer in unsteady Stokes flow. J Fluid Mech 723:163–189
Rao PM (1988) Mathematical model for unsteady ciliary propulsion. Math Comput Model 10:839–851
Wang S, Ardekani A (2012) Inertial squirmer. Phys Fluids 24(10):101902
Khair AS, Chisholm NG (2014) Expansions at small Reynolds numbers for the locomotion of a spherical squirmer. Phys Fluids 26:011902
Chisholm N, Legendre D, Lauga E, Khair A (2016) A squirmer across Reynolds numbers. J Fluid Mech 796:233–256
Hessel V, Lowe H, Schonfeld F (2005) Micromixers—a review on passive and active mixing principles. Chem Eng Sci 8–9:2479–2501
Nguyen N-T, Wu Z (2004) Micromixers—a review. J Micromech Microeng 15(2):R1
Riley N (2001) Steady streaming. Annu Rev Fluid Mech 33:43–65
Chen Y, Lee S (2014) Manipulation of biological objects using acoustic bubbles: a review. Integr Comp Biol 54(6):959–968
Elder SA (1959) Cavitation microstreaming. J Acoust Soc Am 31(1):54–64
Marmottant P, Hilgenfeldt S (2004) A bubble-driven microfluidic transport element for bioengineering. Proc Natl Acad Sci USA 101:9523–9527
Marmottant P, Hilgenfeldt S (2003) Controlled vesicle deformation and lysis by single oscillating bubbles. Nature 423(6936):153–156
Feng J, Yuan J, Cho SK (2015) Micropropulsion by an acoustic bubble for navigating microfluidic spaces. Lab Chip 15:1554–1562
Wang C, Rallabandi B, Hilgenfeldt S (2013) Frequency dependence and frequency control of microbubble streaming flows. Phys Fluids 25(2):022002
Ahmed D, Mao X, Juluri BK, Huang T (2009) A fast microfluidic mixer based on acoustically driven sidewall-trapped microbubbles. Microfluid Nanofluid 7:727–731
Wang SS, Jiao ZJ, Huang XY, Yang C, Nguyen NT (2009) Acoustically induced bubbles in a microfluidic channel for mixing enhancement. Microfluid Nanofluid 6:847–852
Riley N (1966) On a sphere oscillating in a viscous fluid. Q J Mech Appl Math 19:461–472
Davidson BJ, Riley N (1971) Cavitation microstreaming. J Sound Vib 15:217–233
Longuet-Higgins MS (1998) Viscous streaming from an oscillating spherical bubble. Proc R Soc Lond A 454:725–742
Maksimov AO (2007) Viscous streaming from surface waves on the wall of acoustically-driven gas bubbles. Eur J Mech B 26:28–42
Ahmed D, Lu M, Nourhani A, Lammert PE, Stratton Z, Muddana HS, Crespi VH, Huang TJ (2015) Selectively manipulable acoustic-powered microswimmers. Sci Rep 5:9744
Bertin N, Spelman T, Stephan O, Gredy L, Bouriau M, Lauga E, Marmottant P (2015) Propulsion of bubble-based acoustic microswimmers. Phys Rev Appl 4:064012
Batchelor BK (1967) An introduction to fluid mechanics. Cambridge University Press, Cambridge
Ishida H, Shigenaka Y (1988) Cell model contraction in the ciliate Spirostomum. Cell Motil Cytoskelet 9:278–282
Gaunt JA (1929) The triplets of helium. Phil Trans R Soc A 228:151–196
Yu-Lin X (1996) Fast evaluation of the Gaunt coefficients. Math Comput Am Math Soc 65:1601–1612
Grosswald E (1978) Bessel polynomials. Springer, Berlin
Longuet-Higgins MS (1953) Mass transport in water waves. Philos Trans R Soc A 245:535–581
Magar V, Pedley TJ (2005) Average nutrient uptake by a self-propelled unsteady squirmer. J Fluid Mech 539:93–112
Ishikawa T, Simmonds MP, Pedley TJ (2006) Hydrodynamic interaction of two swimming model micro-organisms. J Fluid Mech 568:119–160
Michelin S, Lauga E (2010) Efficiency optimization and symmetry-breaking in a model of ciliary locomotion. Phys Fluids 22(11):111901
Keller SR, Wu TY (1977) A porous prolate-spheroidal model for ciliated micro-organisms. J Fluid Mech 80:259–278
Aranson IS (2013) Active colloids. Physics-Uspekhi 56(1):79
Acknowledgements
This work was funded in part by the EPSRC (TS) and the European Union through a Marie Curie CIG Grant (EL).
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix 1: Out-of-phase streaming around a bubble
In order to apply the general steady streaming model (72) specifically to a bubble, the boundary condition of no tangential stress on the boundary of the spherical body,
needs to be applied. This will determine the angular motion on the surface of the bubble \(W_{n}\) and \(F_{n}\) in terms of a prescribed radial motion \(V_{n}\).
1.1 (a) Boundary condition
We denote the unit tangent vector to the body’s surface in the plane through the axis of axisymmetry \(\varvec{t}\) and the normal vector \(\varvec{n}\). Both can be calculated in terms of \(\mathbf{e}_{r}\) and \(\mathbf{e}_{\theta }\) measured from the centre of the rest position of the body giving
Using these equations, the no-stress condition can be expanded in terms of \(\epsilon \) giving the first two terms as
becoming
1.2 (b) Leading-order solution
At \(O(\epsilon )\), Eq. 131 reduces to the non-dimensional equation
By substituting in the known first-order solution \(\psi _{1}\), (26), this equation can be used to determine \(W_{n}\) giving
1.3 (c) Second-order solution
At \(O(\epsilon ^{2})\), after Taylor expansion of \(\sigma _{\theta r}\), (131) reduces to the non-dimensional equation:
where superscripts indicate the order at which each term is to be taken. Upon substitution of R , \(\varTheta \) and \(\sigma \), the (134) becomes
The forcing on the right-hand side of (135) can be calculated explicitly from the derivatives of \(\psi _{1}\), (26), simplifying the equation to
The left-hand side of (135) can be evaluated using \(\psi _{2}^\mathrm{i}\) from (56), and the value of the three constants of integration, \(L_{k}\), \(M_{k}\) and \(N_{k}\), are needed. \(L_{k}\) and \(M_{k}\) were calculated in (57) and (58). From the asymptotic matching, \(L_{k}\) and \(M_{k}\) are known in terms of \(T_{k}\) and \(S_{k}\), (65) and (66). Matching at one higher order determines \(N_{k}\) in terms of \(T_{k}\) and \(S_{k}\), then using (65) and (66), \(N_{k}\) can be written in terms of \(L_{k}\) and \(M_{k}\) giving
Equation (135) leads to an equality for \(\sum _{k=1}^{\infty }F_{k} \left( \int _{\mu }^{1}P_{k}(x)\mathrm{d}x\right) \) at leading order, O(1). As this must hold for all \(\mu \in [-1,1]\), the coefficients of \(\left( \int _{\mu }^{1}P_{k}(x)\mathrm{d}x\right) \) must equate for each k, and thus this will give an equation for every \(F_{k}\) separately. Upon substitution of (133), the equation for \(F_{k}\) reduces to
Then substituting \(F_{k}^{(\delta )}\) into (74) and (75) finally gives
and
which with (73) gives the value of all the constants in the streaming solution (72).
Appendix 2: In-phase streaming around a bubble
Notice that, from the solution of the steady streaming around a bubble given in Appendix 1, all terms in (140), (139) and (73) are multiplies of \(\mathrm{i}V_{m}\bar{V}_{k}\) for some integers \(m,k\ge 0\). As such, Appendix 1 only gives the solution for out-of-phase motion of the bubble, as otherwise that solution is identically zero. Therefore, for these cases, the steady streaming needs to be calculated to the next order, namely \(O(\delta )\).
Since here the analysis is to determine one higher order in \(\delta \), this could require more stringent conditions than \(\epsilon \ll \delta \ll 1\) relationship. However, the order change is due to terms being identically zero which we expect to continue at higher orders in \(\epsilon \) so the same relationship should hold.
1.1 (a) Inner solution at the third order in \(\delta \)
In order to find the steady streaming at \(O(\delta )\), the asymptotic matching must be carried out at one higher order. As such, the inner second-order solution must be calculated to an extra order in \(\delta \). Therefore, more terms will be required in the \(\delta \) expansions, so we first return to the second-order, inner governing equation:
When expanding the left-hand side in \(\delta \), the O(1) terms in \(\delta \) now contribute to the streaming as well as the \(O(\delta ^{-2})\) term, so we have
From (56), the O(1) (leading-order) solution of \(\langle \psi _{2}^\mathrm{i} \rangle \) is known. The second term in (142) will only make an O(1) or lower contribution from this term so the governing equation for the first three orders of \( \langle \psi _{2}^\mathrm{i} \rangle \) can be simplified to
Expanding the term \(\left\langle {\partial (\psi _{1},D^{2}\psi _{1})}/{\partial (r,\mu )}+2L\psi _{1}D\psi _{1}\right\rangle \) to \(O(\delta ^{2})\) and substituting into (143) then gives an equation for \(\left\langle {\partial ^{4} \psi _{2}^\mathrm{i} }/ {\partial \eta ^{4}} \right\rangle \) which can be integrated twice to find that the \(O(\delta ^{2})\) (only) term in \( \left\langle {\partial ^{2} \psi _{2}^\mathrm{i}} /{\partial \eta ^{2}} \right\rangle \) is
The \(O(\delta ^{2})\) contribution to \(\langle \psi _{2}^\mathrm{i} \rangle \) can be calculated by integrating twice more but in order to satisfy the no tangential stress boundary condition only \(\left\langle {\partial ^{2}\psi _{2}^\mathrm{i}}/{\partial \eta ^{2}}\right\rangle \) is required at \(O(\delta ^{2})\).
Notice that every term in \(\langle \psi _{2}^\mathrm{i} \rangle \) up to and including O(1) is a multiple of \(W_{n}+nV_{n}\) for some n, so every term will drop an order when the first-order stress condition \(W_{n}=-nV_{n}+O(\delta )\) is applied. Similarly, higher-order terms in \(\langle \psi _{2}^\mathrm{i} \rangle \) will also be multiples of \(W_{n}+nV_{n}\) since in \(\left\langle {\partial (\psi _{1},D^{2}\psi _{1})}/{\partial (r,\mu )}+2L\psi _{1}D\psi _{1}\right\rangle \) every term is a multiple of \(B_{n}\propto (W_{n}+nV_{n})\) and in \( \langle D^{4} \psi _{2}^\mathrm{i} \rangle \) extra terms in its delta expansion will be in terms of lower orders of \(\langle \psi _{2}^\mathrm{i} \rangle \) which are also proportional to \(W_{n}+nV_{n}\). Therefore, even when calculating the streaming to \(O(\delta )\) for a bubble, only the first three terms up to O(1) are needed in the equation for the inner streaming.
1.2 (b) Constants of integration
The second-order inner solution \(\langle \psi _{2}^\mathrm{i} \rangle \) is of the form
where f and g are known from (56) and h could be found by integrating (144). The no-tangential stress boundary condition then gives
The \(O(\delta ^{-2})\) terms will cancel with the \(O(\delta ^{-2})\) quantity in (136). The \(O(\delta ^{-1})\) terms do not cancel exactly but when taking \(W_{n}=-nV_{n}+O(\delta )\) (the first-order bubble condition) they do. Therefore, the O(1) terms will give the leading-order behaviour for which the value of the constants \(L_{k}\), \(M_{k}\) and \(N_{k}\) are needed. The constants \(L_{k}\) and \(M_{k}\) were calculated in (57) and (58) and \(N_{k}\) can be written in terms of \(L_{k}\) and \(M_{k}\), (137).
Equation (146) can then be equated with (136) to give the algebraic condition for no tangential stress. This will give a condition on \(M_{k}\) and \(L_{k}\) but \(L_{k}\) is uniquely determined by the boundary condition: the radial velocity of the bubble equals the radial velocity of the fluid adjacent to the bubble. \(M_{k}\) was also determined but is a function of the unknown \(F_{k}\) which this no tangential stress condition will determine. However, \(F_{k}\) uniquely determines \(M_{k}\) so this equation can be considered as just determining \(M_{k}\) giving
When applying the first-order stress boundary condition (133) all terms drop by one order in \(\delta \). Then assuming the O(1) terms cancel (which is required for the result in Appendix 1 not to give the solution) this gives \(M_{k}\) at \(O(\delta )\). Then \(L_{k}\) can be calculated at \(O(\delta )\) by applying (32) at \(O(\delta )\) to \(\langle \psi _{2}^\mathrm{i} \rangle \) (56). This gives
and the simplified \(M_{k}\) expression
1.3 (c) Outer streaming constants
Using the matching conditions (68) and (69) we finally obtain
and
which, with \(Y_{knm}=0\), give the value of all the constants in the Lagrangian streaming solution (72).
Rights and permissions
About this article
Cite this article
Spelman, T.A., Lauga, E. Arbitrary axisymmetric steady streaming: flow, force and propulsion. J Eng Math 105, 31–65 (2017). https://doi.org/10.1007/s10665-016-9880-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10665-016-9880-8