Squirmers with swirl at low Weissenberg number

Abstract We investigate aspects of the spherical squirmer model employing both large-scale numerical simulations and asymptotic methods when the squirmer is placed in weakly elastic fluids. The fluids are modelled by differential equations, including the upper-convected Maxwell (UCM)/Oldroyd-B, finite-extensibility nonlinear elastic model with Peterlin approximation (FENE-P) and Giesekus models. The squirmer model we examine is characterized by two dimensionless parameters related to the fluid velocity at the surface of the micro-swimmer: the slip parameter $\xi $ and the swirl parameter $\zeta $. We show that, for swimming in UCM/Oldroyd-B fluids, the elastic stress becomes singular at a critical Weissenberg number, Wi, that depends only on $\xi$. This singularity for the UCM/Oldroyd-B models is independent of the domain exterior to the swimmer, or any other forces considered in the momentum balance for the fluid – we believe that this is the first time such a singularity has been explicitly demonstrated. Moreover, we show that the behaviour of the solution at the poles is purely extensional in character and is the primary reason for the singularity in the Oldroyd-B model. When the Giesekus or the FENE-P models are utilized, the singularity is removed. We also investigate the mechanism behind the speed and rotation rate enhancement associated with the addition of swirl in the swimmer's gait. We demonstrate that, for all models, the speed is enhanced by swirl, but the mechanism of enhancement depends intrinsically on the rheological model employed. Special attention is paid to the propulsive role of the pressure and elucidated upon. We also study the region of convergence of the perturbation solutions in terms of Wi. When techniques that accelerate the convergence of series are applied, transformed solutions are derived that are in very good agreement with the results obtained by simulations. Finally, both the analytical and numerical results clearly indicate that the low-Wi region is more important than one would expect and demonstrate all the major phenomena observed when swimming with swirl in a viscoelastic fluid.

A workhorse model to study the effect of fluid elasticity on micro-organism motility is the squirmer model (Lighthill 1952;Blake 1971), which, in short, describes an active particle as being a nearly spherical body with a prescribed slip velocity on its surface (Pedley 2016). Using this mathematical description of a micro-swimmer, researchers have leveraged both numerical simulations (Zhu et al. 2011(Zhu et al. , 2012Li, Karimi & Ardekani 2014;De Corato & D'Avino 2017;Binagia et al. 2020) as well as asymptotic analysis (Lauga 2009;Yazdi, Ardekani & Borhan 2014, 2015De Corato, Greco & Maffettone 2015;Datt et al. 2017;Yazdi & Borhan 2017;Binagia et al. 2020) to better understand the hydrodynamics of swimming in elastic fluids. In particular, though, no one to date has yet considered if the squirmer model itself is mathematically well-behaved in the context of the nonlinear constitutive models commonly used to model viscoelastic fluids such as the upper-convected Maxwell (UCM), Oldroyd-B, Giesekus and finite-extensibility nonlinear elastic model with the Peterlin approximation (FENE-P) models. Indeed, for the UCM and Oldroyd-B models, we demonstrate the presence of a singularity that is only removed for models that include regularization of the elastic stress, such as the Giesekus and FENE-P models. Furthermore, we show that the radius of convergence of asymptotic, perturbation, solutions in terms of the Weissenberg number, Wi, applied to squirming in elastic fluids is very small, necessitating the use of techniques that accelerate the convergence of series (Housiadas 2017), where Wi, defined in § 2, gives a measure of the elasticity of the ambient fluid. The singularity at small Wi and the even smaller radius of convergence of the relevant perturbation solutions fully explain the observations made by other researchers that the higher-order corrections significantly add to the results, leading to qualitatively different speeds (Datt et al. 2017;, 2020. They also provide the range of Wi at which the perturbation expansions can render accurate predictions. While the spherical squirmer model has been described in detail in the literature and is summarized in our latest article (Binagia et al. 2020), here we provide a brief description for completeness. We assume a spherical, axisymmetric, neutrally buoyant, micro-swimmer with radius R in a highly viscous matrix fluid. The fluid is considered Newtonian with constant mass density ρ and constant shear viscosity η s . The micro-swimmer is translated with velocity V and rotates with rotation rate ω. The motion of the body takes place under the influence of the force exerted on its surface by the ambient fluid, in the absence of any external forces and torques, and under isothermal and steady-state conditions. In this case, the relevant Reynolds number for the fluid, Re = ρVR/η s , is negligible, Re 1, and it can be safely considered zero. Because of the axisymmetric shape of the body, the directions of translation and rotation are the same, which implies that the swimmer can only swim in a straight line (Pak & Lauga 2014).
We choose an inertialess (co-moving) frame of reference and a spherical coordinate system with origin located at the centre of the swimmer. The spherical coordinates arẽ r, θ, φ (a tilde above a variable indicates a dimensional quantity) and the unit vectors are {e r , e θ , e φ }, wherer is the distance from the centre of the swimmer, θ is the polar angle measured from the axis of symmetry (0 ≤ θ ≤ π) and φ is the azimuthal angle (0 ≤ φ < 2π); see figure 1 for more details. The velocity vector and the isotropic pressure are denoted byṽ =ṽ r e r +ṽ θ e θ +ṽ φ e φ andp, respectively. Under the assumptions mentioned above, the governing equations for the flow around the micro-swimmer are ∇ ·ṽ = 0, −∇p + η s ∇ 2ṽ = 0. (1.1a,b) We are interested in velocity fields characterized by no radial velocity on the surface of the body, i.e.ṽ r (r = R, θ, φ) = 0, which corresponds to the no-penetration boundary condition on a non-deformable object. Equations (1.1a,b) are linear and can be solved analytically to find the general solution for the field variables in the domain exterior to the swimmer (r > R). Then, by evaluating the solution on the surface of the body,r = R, one can impose the so-called 'slip velocity', which denotes a purely tangential motioñ v (S) ≡ṽ(r = R, θ, φ) = v (S) θ e θ + v (S) φ e φ , where hereafter the superscript (S) indicates a value on the surface of the body. Considering only axisymmetric and creeping flow,ṽ (S) is generally given by the expression (Pak & Lauga 2014) v (S) (θ ) = sin(θ ) 2 ∞ n=1 B n P n (μ) n(n + 1) e θ + ∞ n=1 C n P n (μ) where B n , C n , n = 1, 2, 3, . . ., are constants, μ = cos(θ ) and P n = P n (μ) is the Legendre orthogonal polynomial in [−1, +1] of degree n. We focus on flows driven only by the first two polar modes, the first two azimuthal modes and a rigid-body motion in the z-direction with velocity ωR sin(θ ). Note, however, that the first azimuthal mode, C 1 , and the rigid-body rotation rate, ω, can be merged into a single parameter. Thus, the velocity at the surface of a micro-swimmer is expressed as v (S) = B 1 sin(θ ) + B 2 2 sin(2θ) e θ + C 1 R 2 + ωR sin(θ ) + This simplification is made since, in a Newtonian fluid, the swimming speed is determined solely by the value of B 1 , while B 2 is the only coefficient that appears in the force that the fluid exerts on the particle. Furthermore, these are the only two modes necessary to distinguish between pushers (swimmers that generate thrust from behind their body) and pullers (swimmers that generate thrust from the front of their body). Regarding the first two swirling modes considered here, C 1 is closely related to ω, and for a Newtonian fluid one determines the other (see below); while C 2 corresponds to a rotlet dipole and is the cause of the slowest-decaying flow in the azimuthal direction (Pak & Lauga 2014). Thus, the surface velocity as described by (1.3) contains the most important information for this type of motion of the micro-swimmer.
We choose the characteristic velocity as the coefficient of the first polar mode, i.e. B 1 , and we define the dimensionless quantities We will be referring to ξ as the slip parameter, to ζ as the swirl parameter, to U as the speed of the swimmer (or translation velocity) and to Ω as the dimensionless net rotation rate of the swimmer. Thus, the dimensionless boundary conditions on the surface of the body become v (S) (1.5a-c) Evaluating the continuity equations (1.1a,b) at r = 1 and using (1.5a-c) gives For ξ < 0 the micro-swimmer is defined as a pusher, for ξ > 0 it is a puller and for ξ = 0 the swimmer is considered neutral. Also, all the components of the velocity gradient tensor, ∇v, at r = 1 can be found using (1.5a-c) and (1.6) and the fact that the flow field is axisymmetric (i.e. ∂v/∂φ = 0), with the exception of the components (∇v) rθ = ∂v θ /∂r and (∇v) rφ = ∂v φ /∂r. To determine the latter two components, full knowledge of the velocity field around the swimmer is needed. Finally, by using the superscript (∞) to denote the far flow field, the velocity −Ue z and pressure become v (∞) (1.7a-d) Since the swimmer is force-and torque-free, two additional auxiliary conditions can be applied, the force-free and torque-free conditions (FFC and TFC, respectively). In the spherical coordinate system, these conditions are given as r=1 T · e r dS = 0, r=1 e r × (T · e r ) dS = 0, (1.8) where T = −pI +γ is the dimensionless total stress tensor of the fluid,γ = ∇v + (∇v) T is the rate-of-deformation tensor, the superscript 'T' denotes the transpose and I is the unit tensor. By applying (1.8), the unknown swimming velocity U and net rotation rate Ω of the micro-swimmer are determined, leaving the remaining two dimensionless quantities ζ and ξ , reported in (1.4a-d), as free parameters. Consequently, we do not investigate either the effect of C 1 or the effect of ω, but we discuss only the net rotation rate, Ω, as this results from the TFC. The analytical solution of (1.1a,b) with the associated boundary conditions (1.12) Moreover, by applying (1.8), we determine the translation velocity and the rotation rate of the swimmer as U = 2/3, Ω = 0. (1.13a,b) In this case, the O(1/r) contribution in the velocity components and the O(1/r 2 ) contribution in the pressure field are eliminated. Thus, as is well known, the velocity of the micro-swimmer in a simple Newtonian fluid under creeping conditions is two-thirds of the coefficient of the first polar mode (Lighthill 1952;Blake 1971), i.e. V = 2B 1 /3 in dimensional units, and the rotation rate is ω = −C 1 /R 3 (obviously, ω = 0 for C 1 = 0). The linearity of the governing equations, (1.1a,b), has the consequence that the translational and rotational velocities of the body are independent. It is also clear that the slip and swirl parameters, ξ and ζ , do not affect the velocity of the body, U. Finally, the analytical solution reveals that at the poles, θ = 0, π, and at any radial position r ≥ 1, Therefore, at the poles of the spherical coordinate system, the flow is purely extensional in character.

The squirmer model in viscoelastic fluids
In our previous publication (Binagia et al. 2020), we described the fact that, for real swimming organisms in elastic fluids, for which the squirmer model is a reasonable model, e.g. Escherichia coli, the Weissenberg numbers based on their swimming speed and characteristic dimension are quite modest (Wi < 0.25). However, the Weissenberg number based on their swirl may be much larger, and, moreover, such swirling flow can make the swimming velocity, for the same swimming gait, faster than that in a Newtonian fluid of the same viscosity. Since this result was only demonstrated over a relatively small parameter range, and primarily for the Giesekus fluid, we revisit this problem focusing on the low -Weissenberg-number regime where significant analytic progress can be made.
Thus, we consider a viscoelastic highly viscous ambient fluid that is composed of a pure Newtonian solvent with viscosity η s and a viscoelastic solute with zero -shear-rate viscosity η p and single relaxation time λ. We also assume that the spherical micro-swimmer changes direction of swimming with a frequency ν. We make dimensionless the governing equations by scaling all lengths with R, the velocity components with B 1 , the time with 1/ν, the pressure with (η s + η p )B 1 /R and the viscoelastic extra-stress components with η p B 1 /R. Thus, the dimensionless total stress tensor can be expressed as (2.1) In the above equation, τ is the symmetric elastic extra-stress tensor and β is the solvent viscosity ratio, β ≡ η s /(η s + η p ), which by definition varies in the range 0 < β < 1. For β = 1 the fluid is purely Newtonian, and for β = 0 it is purely polymeric. Then, the dimensionless mass and momentum balances are where Re ≡ ρRB 1 /(η s + η p ) and S ≡ ρR 2 ν/(η s + η p ) are the Reynolds and frequencyrelated Reynolds number, respectively. However, due to the micrometre size of the swimmer, the high viscosity of the ambient fluid and the small magnitude of the slip velocity, the Reynolds number in (2.2) is vanishingly small, Re = 0. Moreover, for typical biological systems, the frequency ν is low; hence S 1 and the transient term in (2.2) is negligible compared to the remaining terms (Eastham & Shoele 2020).
The polymer extra-stress tensor is determined via the following generalized dimensionless equation: where c is the symmetric and positive definite conformation tensor, f = f (c) is a strictly positive scalar function of c defined below, a m is a rheological parameter, Wi is the Weissenberg number, Wi ≡ λB 1 /R, which is the well-known measure of the elasticity of the fluid, and De ≡ λν is the frequency-related Deborah number. Equation (2.3) shows that the transient term ∂c/∂t can be neglected provided that De 1, namely, as long as the characteristic time 1/ν is much longer than the relaxation time λ of the fluid. In summary, we utilize the spherical squirmer model for viscoelastic ambient fluids, namely (2.1)-(2.3) with Re = S = De = 0. We also mention here that the suitability of the steady-state squirmer model for the study of real micro-swimmers in biological Newtonian systems has been investigated by Ito, Omori & Takuji (2019). These authors concluded that the steady squirmer model can predict very well the swimming speed of the body but drastically underestimates the power consumption, i.e. the energy cost of swimming.
As far as the boundary and auxiliary conditions are concerned, these are the same as in the Newtonian case, namely the boundary conditions, (1.5a-c)-(1.7a-d), and the FFC and TFC, (1.9), are used (see also below in § 6). We summarize specific constitutive models that are special cases of the generalized equation (2.3); for more details about the models see Bird, Armstrong & Hassager (1987a).

UCM/Oldroyd-B models
The UCM/Oldroyd-B models are the most fundamental nonlinear differential models in viscoelasticity. Both models are recovered from (2.3) with a m = 0 and f (c) = 1. When β = 0, one gets the UCM model, when 0 < β < 1 the Oldroyd-B model is recovered, and for β = 1 the model reduces to the simple Newtonian fluid.

FENE-P model
The FENE-P model (Peterlin 1966;Bird et al. 1987b) is recovered from (2.3) with a m = 0 and with the scalar function f , known as the 'Peterlin function', given by the expression where L is the maximum extensibility parameter of the FENE-P model (L corresponds to the maximum ensemble average length of the polymer molecules).
(2.10) Next, we proceed with each individual model separately, and we focus on the singular points of the coordinate system, i.e. at θ = 0 (the north pole) and θ = π (the south pole). One is reminded here that the poles are not physical singular points of the coordinate system but are a consequence of the transformation from Cartesian to spherical coordinates. Indeed, the Jacobian determinant of the transformation is |J| = r 2 sin(θ ), which becomes zero at r = 0 or at θ = 0, π. However, since we are interested only in the flow exterior to the spherical swimmer, the centre of the spherical coordinate system (r = 0) does not belong to the domain of definition of the governing equations. On the contrary, the points θ = 0, π belong to the domain both interior and exterior to the swimmer. Notice also that in the spherical coordinate system the domain D = {(r, θ)|r ≥ 0, θ ∈ (0, π)} actually describes the z-axis of the Cartesian coordinate system, along which the body moves; see figure 1. Owing to the singular mathematical nature of the poles, the solution of the equations must satisfy certain conditions, and thus special attention to the poles needs to be given. For instance, and since we are interested in flow fields that do not depend on the azimuthal angle, the governing equations are well defined provided that the polar and azimuthal components of the velocity vector are zero at both poles. In addition, the off-diagonal components of the total stress tensor must be zero, while the associated diagonal components in the angles of the spherical coordinate system must be equal, viz.
Because of these properties, the flow along the z-axis is purely extensional. Finally, one can trivially confirm that the analytical solution for the Newtonian fluid given by (1.9)-(1.12) satisfies all the conditions given in (2.11a,b).

Analysis of squirming for the UCM/Oldroyd-B models
3.1. Analysis at the poles For the UCM/Oldroyd-B models (a m = 0, f (c) = 1), we evaluate (2.5)-(2.10) at (r = 1, θ = 0) and (r = 1, θ = π). The resulting equations can be solved easily, showing that all the off-diagonal components of the conformation tensor are zero for both poles, c rθ = c rφ = c rθ = 0, while the diagonal components are whereW is a modified Weissenberg number, which is used hereafter for all the constitutive models and is defined asW (3.2) Equation (3.1a,b) reveals the following features for the UCM/Oldroyd-B models: (a) As Wi → 0 the diagonal components of the conformation tensor go to unity, i.e. c rr = c θθ = c φφ = 1 (as they should). Unexpectedly, and for any Wi > 0, the same limit is also achieved for ξ = −1 at the north pole, and for ξ = 1 at the south pole. (b) The flow at the poles is purely extensional, as previously identified for a Newtonian fluid. However, the modified Weissenberg number,W, which determines the degree of extensional character of the flow, is different between the poles. Note that, for the neutral squirmer, i.e. for ξ = 0, the modified Weissenberg number has the same magnitude but opposite signs at the poles (W = Wi > 0 on the north pole, and W = −Wi < 0 on the south). This implies a uniaxial extensional flow on the north pole, with z being the main axis of elongation, and a biaxial stretching in the x-and y-directions (i.e. on the z = −1 plane) at the south pole. (c) The solution for the conformation tensor is physically valid only in a specific window for the Weissenberg number. Based on the limit as Wi goes to zero, as well as the positive definite property of the conformation tensor, which requires that its diagonal components must be strictly positive, the window of validity of the UCM/Oldroyd-B models depends on the slip parameter ξ : Hereafter, we will be using the symbol Wi u to denote the upper limit of validity for Wi, as given in (3.3). For ξ = −1, (3.3) gives 0 ≤ Wi < 1/8, and for ξ = 0 and 1, it gives 0 ≤ Wi < 1/4. The maximum window of validity is observed for ξ = 1/3; in this case one gets 0 ≤ Wi < 3/8. We emphasize that these values correspond to the range of validity of the rheological models in steady uniaxial or biaxial elongational flow if the local rate of extension is correctly factored into the Weissenberg number at both poles. (d) The solution given by (3.1a,b) can be expanded in terms ofW (or Wi) as follows: The radius of convergence, Wi ρ , of these series expansions is of great interest, for instance when perturbation methods are used to solve the full problem. It is determined as the minimum distance from the closest singularity in the complex plane. From (3.1a,b), one can see that for ξ / = ±1 the singular points of the solution with respect to Wi are , . (3.5a-d) Their signs depend on the slip parameter, ξ . A negative Wi S,j , j = 1, 2, 3, 4, reveals a non-physical singularity, while a positive one reveals a physical singularity at a finite Weissenberg number. Based on the singular points, the radius of convergence of the series solutions given in (3.4) is Since only positive values of Wi are of interest, the series solutions converge in the range 0 ≤ Wi < Wi ρ . The upper limit of validity of the exact solution, Wi u , along with the radius of convergence, Wi ρ , given by (3.3) and (3.6), respectively, are shown as a function of the slip parameter ξ , in figure 2. It is seen that, for ξ ≤ 0, the curves coincide, while, for ξ > 0, Wi ρ is less than Wi u . As revealed by (3.6), Wi ρ is symmetric with respect to ξ = 0, namely Wi ρ (ξ ) = Wi ρ (−ξ), while no symmetry is predicted for Wi u . It is also seen that the magnitude of Wi ρ is very small and decreases monotonically with the magnitude of the slip parameter; for instance, for ξ = 0, 1 and 3 one finds Wi ρ = 1/4, 1/8 and 1/16, respectively, while for ξ = 1/3, for which (3.3) predicts the largest window of validity of the exact solution (0 ≤ Wi < 3/8), Wi ρ = 3/16. The magnitude of Wi u also decreases monotonically as ξ increases or decreases from ξ = 1/3.
Based on the analysis above, it is clear that, although the UCM/Oldroyd-B are fundamental models for studying the effect of elasticity in the flow, they can be utilized only for very small values of Wi, i.e. for weakly elastic fluids.
3.2. Analysis at the surface of the swimmer We can further the analysis presented above by focusing on the rr-component of the constitutive model on the surface of the particle, i.e. in (2.5) with a m = 0, f (c) = 1, has been used for brevity. Equation (3.7) is a linear, inhomogeneous, first-order ordinary differential equation with non-constant coefficients. We emphasize that the swirling parameter, ζ , does not enter in the equation, and, most importantly, that (3.7) is decoupled from the other components of the constitutive model and therefore it can be studied independently. Thus, c rr (1, θ) is fully determined through (3.7). However, a singular (or discontinuous) solution of (3.7) will affect the spatial evolution of the conformation components over the surface of the body, which in turn will affect all the field variables exterior to the body.
To examine this possibility, we will first change the independent variable and use x = cos(θ ) instead of the polar angle θ . This change of variable transforms equation (3.7) into the following: (3.8) Equation (3.8) shows that there are singular spatial points that depend on the magnitude of the slip parameter ξ : (i) For |ξ | < 1, there are two regular singular points, i.e. x = −1 and x = 1. (ii) For |ξ | = 1, there is one irregular and one regular singular point. In particular, for ξ = 1, x = −1 is an irregular singular point and x = 1 is a regular singular point, while for ξ = −1, x = 1 and x = −1 are irregular and regular singular points, respectively. (iii) For |ξ | > 1, there are three regular singular points, i.e. x = −1, 1 and −1/ξ . At the singular points, G can be directly determined from (3.8) as where the last expression is valid only when |ξ | > 1, which implies that −ξ −1 ∈ (−1, 1). The exact analytical solution of (3.8) has been found for any value of ξ and is reported below.

3.2.2.
The case |ξ | = 1 For ξ = 1, the south pole (x = −1) becomes an irregular singular point of (3.8), while the north pole (x = 1) is a regular singular point. The solution is (3.12) For ξ = −1, the north pole (x = 1) becomes an irregular singular point of (3.8), while the south pole (x = −1) is a regular singular point. The solution is as follows: In this case, (3.10) has three regular spatial singular points, the north pole (x = 1), the south pole (x = −1) and the point x = −1/ξ . First, we define the auxiliary integral function where a, δ, γ are constants. For ξ > 1, the analytical solution of (3.10) is For ξ < −1, the analytical solution of (3.10) is In (3.15) and (3.16) the following constants appear: as a function of x, for ξ = 2, 1, 0, −1 and −2, are shown in figure 3 with solid lines. In all cases the Weissenberg number is Wi = 1/9, except for ξ = −2, for which Wi = 1/13. Equation (3.8) is also solved numerically with a second-order finite difference method and the results are shown with dashed lines. Excellent agreement between numerical and analytical results is demonstrated in all cases. Significant differences can be witnessed in the surface stresses between pushers, neutral swimmers and pullers. Indeed, pullers (ξ = 2 and 1) induce large stretching of the polymer molecules on the surface of the micro-swimmer, with a maximum stretch which is observed at the southern hemisphere. Neutral swimmers show a monotonic decrease as we move away from the south and approach the north pole. Finally, pushers (ξ = −2 and −1) show an exponentially decreasing stretch close to the south pole, maintaining relatively small stretch values over most of the surface.

Analysis for squirming for regularized constitutive models
4.1. The Giesekus model As before, we evaluate (2.5)-(2.10) at the poles. For 0 < a m < 1/2, we find that the off-diagonal components of the conformation tensor are zero at both poles, c rθ = c rφ = c rθ = 0, and the relevant (physical) solutions of interest for the normal components are whereW is given by (3.2). Equation (4.1) reveals interesting features of the Giesekus model.
(a) The limit of the above solution as Wi → 0 is c rr = c θθ = c φφ = 1. The same limit is achieved for ξ = −1 at the north pole, and for ξ = 1 at the south pole (i.e. for W = 0). Thus, in this limit, the behaviour of the solution is the same as that of the UCM/Oldroyd-B models. 911 A16-13 (b) The flow at the poles is purely extensional, as previously identified for Newtonian and UCM/Oldroyd-B fluids. The modified Weissenberg number,W (see (3.2)), determines the extensional character of the flow, which is different at the two poles. (c) In contrast to the UCM/Oldroyd-B models, the solution is valid for any value of the Weissenberg number, 0 ≤ Wi < ∞, and thus the singularity predicted for the UCM/Oldroyd-B models with respect to the Weissenberg number is fully removed. (d) The solution given by (4.1) can be expanded in terms of Wi (orW) as follows: As a m → 0 + , (4.2) reduces to (3.4), namely to the perturbation solution for the UCM/Oldroyd-B models. Since no singularities with respect to Wi exist for the Giesekus model, the region of convergence of these series expansions is determined by solving the inequalities |8W(1 − 2a m + 2W)| < 1 and |4W(−1 + 2a m +W)| < 1, and finding the intersection of the resulting solutions. We find two branches, which we present in terms ofW as follows: and (4.4) The ranges given by (4.3) and (4.4) are narrow and become even narrower when the admissible regions are given in terms of the original Weissenberg number; recall thatW takes different values at the poles. In order to make this clear, we present the region of convergence of the perturbation series at the north and south poles, in figure 4(a). The regions are shown for both poles, in terms of the slip parameter, ξ , and the Weissenberg number, Wi, for a Giesekus mobility parameter a m = 0.2. The intersection of these regions determines the final window of validity of the series solutions. The results reveal that, although the singularity predicted by the UCM/Oldroyd-B models has been removed, the corresponding final region of convergence is still very small, making (once again) the perturbation solution of quite limited value, while the perturbation results for Wi ≥ Wi ρ are divergent and completely erroneous. For comparison, the corresponding regions of convergence for the UCM/Oldroyd-B models are shown in figure 4(b). This is merely the region 0 ≤ |Wi| < Wi ρ , where Wi ρ is given by (3.6). Clearly, the difference in the region of convergence for the series between the constitutive models is very small. Thus, for all practical reasons, we can safely claim that the perturbation solutions for the UCM/Oldroyd-B and Giesekus models exhibit approximately the same radius of convergence, and they can be used only for weakly viscoelastic fluids.
The diagonal components of the conformation tensor, c rr and c φφ = c θθ , as well as the trace of the conformation tensor, tr(c) = c rr + 2c θθ , are presented in figure 5 as functions of the slip coefficient, ξ . The results are shown with black solid lines for the north pole and with red dashed lines for the south pole; the Weissenberg number is Wi = 0.25, 0.5 and 1.0. For the individual components, a value larger than one denotes extension of the elastic molecules, while a value less than one denotes compression; to better distinguish between these two situations, the constant lines c rr = 1 and c θθ = 1 have also been drawn. Interestingly, although ξ = 0 (a neutral squirmer) is the limit at which the micro-swimmer changes type, the values ξ = ±1 define the transition from compression to extension for the individual conformation components. For ξ = 0, c rr is less than one at the north pole, and larger than one at the south pole. Notice that the opposite is observed for c θθ . We can also see in figure 5(c) that the trace of the conformation tensor is always larger than  three, at both poles, and achieves very large values throughout the whole range of the slip coefficient.

4.2.
The FENE-P model Similarly, we evaluate (2.5)-(2.10) at the poles for the FENE-P model. We find that the acceptable solution for the off-diagonal components of c are again zero, at both poles, c rθ = c rφ = c rθ = 0. The diagonal components are found in terms of the Peterlin function, f , whereW is given by (3.2) and f is given by Substituting equations (4.5a,b) in (4.6) and rearranging gives the following cubic equation, which determines the Peterlin function: One can easily show that f ≥ 1 − 3χ . When the FENE-P parameter goes to zero (χ ≡ L −2 → 0), i.e. for the UCM/Oldroyd-B models, the solutions of (4.7) are f = 1, 2W, −4W. In this case, only the f = 1 root is acceptable in the window 0 <W < 1/2 (forW > 1/2 one gets the unphysical solution c θθ , c φφ < 0), while the other two roots are singular points for the diagonal components of the conformation tensor (see (4.5a,b)). For 0 < χ < 1/3 ⇒ L > √ 3, there are three real roots, only one of which is acceptable: (4.8) The above analysis shows that there are no singular points with respect to the Weissenberg number. As previously revealed for the Giesekus model, the analytical solution has the correct limit asW → 0, the flow at the poles is purely extensional, and the solution is valid for any value ofW, or, alternatively, for any positive value of the Weissenberg number (Wi > 0). Equations (4.5a,b) can be expressed as a series solution aboutW = 0, or Wi = 0, as follows: As χ → 0 + , (4.9) reduces to (3.4), namely to the perturbation solution for the UCM/Oldroyd-B models.
The domain of convergence of the series expressions, (4.9), is found by first substituting equation (4.8) in (4.7). Then, one needs to solve the inequalities | f − 2/3 + 4W| < 1 and | f − 2/3 − 2W| < 1 and determine the intersection of the solutions. Note that this procedure is required for both poles. Although the exact domain of convergence has not been found analytically, we can confirm the rather unexpected result that the domain of convergence for the FENE-P model is even smaller than that of the UCM/Oldroyd-B models. As χ → 0, (4.9) converges only for −1/4 <W < 1/4, while as χ increases the region of convergence decreases very slightly. Therefore, although the FENE-P removes the singularity of the UCM/Oldroyd-B models and provides a regular solution for the conformation tensor for anyW, the corresponding series solutions exhibit the opposite trend, and the effect of χ (i.e. of the finite extensibility of the elastic molecules) is minor. As we mentioned for the Giesekus model, the perturbation solutions exhibit approximately the same radius of convergence, and they can be used only for weakly viscoelastic fluids; for Wi ≥ Wi ρ the perturbation solutions are divergent.
The diagonal components of the conformation tensor and the trace of the conformation tensor, c rr , c φφ = c θθ and tr(c) = c rr + 2c θθ , respectively, are presented in figure 6 as functions of the slip coefficient, ξ , for a maximum extensibility parameter L = 10 (χ = 0.01). The results are shown with black solid lines for the north pole and with red dashed lines for the south pole; the Weissenberg number is the same as in figure 5. For all quantities, we see quite similar results to those for the Giesekus model. It is also worth mentioning the fact that tr(c) achieves almost its maximum value (recall that for the FENE-P model 0 < tr(c) < L 2 ) for a high enough absolute value of the slip parameter, even at a small Weissenberg number. Therefore, it is not Wi itself that really affects the degree of extension of the elastic molecules but its product with the slip parameter.

Approximate solutions
All the results presented in the previous sections are analytical and exact. They contribute to the understanding of the flow around the spherical micro-swimmer and they can be used to compare with approximate solutions of the full governing equations obtained with large-scale numerical simulations or asymptotic methods. Both these methods have been developed and used in our previous publication (Binagia et al. 2020). For completeness we provide a short description of these methods along with additional information regarding the nonlinear processing of the high-order asymptotic solutions that we have derived.

Numerical solution
To solve the governing equations (2.2) and (2.3), and auxiliary conditions (1.5a-c)-(1.8), mentioned in § 2, numerically, we utilize the same method as described in detail in Binagia et al. (2020). In short, the overall methodology is as follows. We consider the co-moving frame of reference such that a body-fitted mesh may be used. In particular, we consider an unstructured mesh of tetrahedral elements with increasing resolution near the squirmer. The components of the conformation tensor are simultaneously determined by solving the polymer constitutive equation using the log-conformation method (Fattal & Kupferman 2004). The swimmer's translational and rotational velocity are found iteratively based on the measured net force and torque of the swimmer, respectively, until the micro-swimmer is found to be force-and torque-free. Extensive mesh refinement has been performed in order to achieve convergence and results of high accuracy. The exact analytical solutions found and reported in the previous sections are also used to confirm the accuracy of our numerical results; more comments and results follow further below.

Asymptotic solution
The asymptotic solution is derived for all the constitutive models employed here by following a regular perturbation scheme valid for weakly viscoelastic fluids. We mention that the first step of the solution procedure is to introduce an auxiliary symmetric tensor, σ , according to the expression τ =γ − Wiσ . Substituting in (2.1) gives the total stress tensor as T = −pI +γ − (1 − β)Wiσ . Likewise, the new form of the balance equation (2.2) with Re = S = 0 is

A16-19
For all the models employed here, the conformation tensor is given in general as where for the UCM/Oldroyd-B and Giesekus models, χ = 0. Although the constitutive equation in terms of σ is more complicated than its original form (see (2.3)), the solution procedure using regular perturbation methods is facilitated by this construction; for more details the interested reader is referred to Housiadas (2019). We also note that the new auxiliary tensor represents the deviation of the polymer extra stress τ from the pure viscous tensorγ suitably scaled with the Weissenberg number. Obviously, in the limit of vanishing Weissenberg number σ = lim Wi→0 (γ − τ )/Wi and σ reduces to the polymer extra-stress tensor of the second-order fluid model (Bird et al. 1987a). This implies that σ = O(1) as Wi → 0, as can be seen from (5.2) and (5.3). It is worth mentioning however, that all formulations of the governing equations and the accompanying auxiliary conditions in terms of c, τ or σ are equivalent. The details of the solution procedure are described in Housiadas (2019) and Binagia et al. (2020). In particular, we apply a regular perturbation scheme with the small parameter being the Weissenberg number, while the remaining dimensionless parameters ζ, ξ, η and a m are considered O(1) quantities. According to the perturbation method, each dependent flow variable is expanded asymptotically in a standard power series in terms of Wi: , v φ , and the net rotation rate of the swimmer, Ω, which are found up to fifth order. The solutions are too involved to be presented in print, but they are available upon request. We do mention, however, that, for a neutral swimmer, i.e. for ξ = 0, the odd coefficients in the solution for U and the even coefficients in the solution for Ω are zero, where in the expression for Ω the quantity (1 − β)ζ Wi is a common factor for all Ω j , and to avoid confusion with the original Ω j symbols, we have used the scaled components Ω j = Ω j /((1 − β)ζ Wi), j = 1, 2, 3, . . .. For the UCM/Oldroyd-B models and ξ = 0, the quantities that appear in (5.6) and (5.7) are provided in the appendix. The correctness of our high-order perturbation solution has been confirmed by performing a variety of tests on the properties that the solution must satisfy but are not used or enforced during the solution procedure (Housiadas 2019). Furthermore, we investigate and confirm that our analytical solution satisfies the properties given by (2.11a,b) at any order of the Weissenberg number. In particular, the polar and azimuthal components of the velocity vector are found as sine-Fourier series, which implies that, at both poles and regardless of the radial coordinate r, these velocity components are zero. Hence, the velocity gradients ∂v θ /∂r and ∂v φ /∂r are sine-Fourier series too, which become zero at the poles. On the contrary, the radial component of the velocity vector, v r , and its radial derivative ∂v r /∂r, are found as cosine-Fourier series, resulting in non-zero values for any r > 1. Therefore, only the diagonal components of the velocity gradient tensor are different from zero, revealing the purely extensional character of the flow along the z-axis, as previously found for a simple Newtonian fluid. Moreover, the off-diagonal components of the auxiliary tensor σ , the polymer extra-stress tensor τ and the conformation tensor c are zero at both poles for any r ≥ 1. Lastly, it is confirmed that, at the poles,γ θθ =γ φφ and σ θθ = σ φφ .
Finally, if we evaluate at the poles the asymptotic solution for the components of the conformation tensor and compare with (4.2) for the Giesekus model and with (4.9) for the FENE-P model, we confirm that the same expressions are derived. Recall that (4.2) and (4.9) have been derived quite independently from the exact analytical solution at the poles, i.e. from (4.1).

'Accelerated' asymptotic solution
It is an almost impossible task to determine the domain of convergence of an asymptotic power series representation of the field variables of a nonlinear fluid mechanics problem. However, and based on the analysis at the poles presented in § § 3 and 4, we conclude that the asymptotic solution, (5.5), is divergent for Wi ≥ Wi ρ . In this region, the inclusion of the higher-order terms in the asymptotic solution leads to a fast divergence from the exact solution; indeed, this was observed in our previous paper (Binagia et al. 2020). On the contrary, we anticipate a good or reasonable agreement with the simulation results in the region 0 < Wi < Wi ρ . Furthermore, high-order perturbation solutions, usually with three or more terms such as those given in (5.6) and (5.7), can be processed further in order to increase their accuracy and extend their domain of convergence. This has been done successfully in a variety of viscoelastic fundamental flows (Housiadas 2017), Poiseuille-type flows with singularities (Housiadas 2020) and viscoelastic flows around spherical bodies (Housiadas 2019;Zhang et al. 2020). For the problem under consideration, two nonlinear techniques have been implemented; the Shanks transform (Shanks 1955) and the diagonal Padé [2/2] approximant (Padé 1892); in order to distinguish between an original and a transformed solution, we will be referring to the latter as the 'accelerated asymptotic solution', and we will be using the subscript 'acc'. These techniques are applied to constant and/or integral quantities of interest only, such as the speed of the micro-swimmer, U, its net rotation rate, Ω, and the force contributions on the swimmer, which are presented and discussed in the subsequent section. We also emphasize that the accuracy and efficiency of these formulae were tested through extensive comparison with the results obtained from our large-scale numerical simulations and the exact analytical solutions derived in § § 3 and 4.
(5.8a,b) WhenŨ 2 ,Ũ 4 (and/orΩ 3 ,Ω 5 ) have the same sign, the expressions in (5.8a,b) indicate a singular point of the solution Wi s = Ũ 3 /Ũ 5 (and/or Wi s = Ω 3 /Ω 5 ). However, one cannot easily determine whether this singular point is not spurious. Nevertheless, when a singular point exists, the solutions are valid in the range 0 ≤ Wi < Wi s . Note that, for a neutral swimmer and the range of parameters that are of interest, no singularities for the Giesekus and FENE-P models have been detected.
For a non-neutral swimmer, ξ / = 0, the speed of the micro-swimmer and its rotation rate are constructed using the first five available terms in the perturbation solution, i.e. up to O(Wi 4 ) and O(Wi 5 ), respectively. In this case, the Shanks transform implemented with two iterations and the Padé [2/2] approximant result in different transformed solutions. Although, in general, the Shanks transform gives better results compared to Padé-type approximants (Hinch 1991;Housiadas 2017Housiadas , 2020, the opposite trend has been observed for the current problem because the former technique predicts spurious singular points. Thus, hereafter we will be using only the diagonal Padé [2/2] for all types of swimmers. We close this section, first, by emphasizing that the original perturbation solutions, derived for all the employed constitutive models, by no means should be used for Wi ≥ Wi ρ , where Wi ρ is given by (3.6). Moreover, detailed comparison with the simulation results revealed that the series solutions, (5.6), appear to predict the right trends only in the range 0 ≤ Wi < 0.1 approximately. Even for the Giesekus and FENE-P models, (5.6) give completely erroneous results at Wi ≈ Wi ρ . On the contrary, the transformed accelerated solutions restore the right trends for all the constant and integral quantities mentioned above in the range 0 ≤ Wi < Wi ρ .

Results and mechanisms for speed and rotation rate enhancement
In our recent paper (Binagia et al. 2020) we predicted that the swirl parameter induces a speed enhancement in an elastic fluid over and above the speed in a Newtonian fluid of the same viscosity. We also analysed the force contributions acting on the body for the Giesekus model and discussed how these changed as the model parameters are varied. This led to a brief discussion of the mechanism of speed enhancement for a squirmer swimming in a Giesekus fluid. From our discussion above, especially in regard to (2.5)-(2.10) for the stress on the surface of the squirmer, as well as the pure extensional character of the flow at the poles, we can anticipate that these surface force contributions will be sensitive to the rheological model. Thus, we present new aspects of the force contributions and the mechanism behind the speed enhancement for the different rheological models examined in this paper.
We reiterate that the FFC and TFC, as given in (1.8), are required to determine the velocity and rotation rate of the swimmer. Owing to its spherical shape, the symmetry with respect to the z-axis and the form of the total stress tensor given by (2.1), there is only one non-trivial component of the FFC which can be expressed in terms of the components of the polymer extra stress τ , the conformation tensor c or the auxiliary tensor σ . All formulations are equivalent, and in terms of σ we have In (6.1) and (6.2), the required integration along the azimuthal angle φ has been ignored since the flow is axisymmetric, and all the field variables are independent of φ.
Although (6.1) and (6.2) are applied at r = 1, i.e. at the surface of the swimmer, one can prove, by exploiting the integral form of the momentum balance, and separately the φ-component of the momentum balance, that these are valid at any radial position r ≥ 1. Consequently, a consistent solution must satisfy these equations and, indeed, this has been confirmed with the perturbation solution up to O(Wi 4 ) for (6.1) and up to O(Wi 5 ) for (6.2). Furthermore, by taking into account thatγ rφ = r∂(v φ /r)/∂r, one can integrate (6.2) along the radial coordinate r, and use the boundary conditions for v φ at the surface and far from the swimmer, (1.5a-c) and (1.7a-d), respectively, to obtain Equation (6.2), evaluated at r = 1, can be used to determine Ω. Alternatively, Ω can be calculated using (6.3). The latter, however, can also be used as an independent check of the accuracy and correctness of an approximate solution of the governing equations (either a numerical or an asymptotic solution). We proceed with (6.1) by distinguishing between the different sources of force and taking into account thatγ rr = 2∂v r /∂r andγ rθ = ∂v θ /∂r − v θ /r, so that where F p is the contribution due to the isotropic pressure, F V is the contribution due to the viscous stresses, and F E is the pure elastic contribution due to the polymer extra stress. In principle, all components are functions of the radial coordinate, but due to (6.1) their sum is zero, i.e. F p + F V + F E = 0. Also, although F p , F V and F E are given in terms of spherical components and coordinates, one can show that these quantities are equivalent to those reported in cylindrical coordinates in our recent publication (Binagia et al. 2020). Furthermore, both the viscous and elastic contributions can be decomposed into a normal and a shear component, i.e. F V = F V,n + F V,s , where (6.7a,b) and F E = F E,n + F E,s , where σ rθ sin 2 (θ ) dθ.
(6.8a,b) Note, however, that the individual normal and shear contributions as shown in (6.8a,b) are different from those reported in Binagia et al. (2020), since the latter were defined in a cylindrical system. Evaluating all force contributions on the surface of the swimmer, we find F P = − 1 2 π 0 p| r=1 sin(2θ) dθ, (6.9) where (1.6) has been used in the evaluation of F V,n . For a Newtonian fluid Wi = 0 and thus F E,n = F E,s = 0. Also, substituting the pressure and velocity fields given by (1.9)-(1.12) in (6.9) and (6.10a,b) yields where the subscript 'N' is used to denote the Newtonian speed of the swimmer. Owing to the FFC, the balance of all contributions must be zero, i.e. F P + F V,n + F V,s + F E,n + F E,s = 0. The latter allows for the evaluation of the swimmer speed along the axial direction, U N = 2/3, as reported in the Introduction, (1.13a,b). Therefore, for a Newtonian fluid, (6.9)-(6.11a,b) give F p = 0, F V,n = −8/3, F V,s = 8/3 and F E,n = F E,s = 0. Notice that, despite the fact that the slip and swirl parameters enter into the solution for the pressure and the velocity fields, they do not affect U N , as well as the force contributions F p and F V . Finally, we mention that, if we impose U N = 0 in (1.9)-(1.12) instead of the FFC, (6.9) and (6.10a,b) give F P = 2/3, F V,s = 4 and F V,n = −8/3, and therefore the net force on the body along the axial direction is F = 2. In other words, if the body is kept stationary, the slip boundary conditions on its surface will generate a flow field that will exert a positive, i.e. propulsive, force on the body. This type of analysis also reveals that both the pressure contribution, F P , and the shear component of the viscous forces, F V,s , generate thrust (with the shear force being six times larger than the pressure force), while the normal component of the viscous forces, F V,n , is purely resistive. Also, note that the FFC condition gives a zero rotation rate of the swimmer, Ω = 0, which is a consequence of the fact that rotation and translation in a simple Newtonian fluid are uncoupled and do not affect each other. A similar analysis for an elastic fluid has not been undertaken here but will follow in a future publication.

UCM and Oldroyd-B models
For a viscoelastic fluid Wi > 0, F p , F V and F E are O(Wi) quantities and contribute to the FFC affecting the final speed of the swimmer. In order to comment on the force contributions and how the slip and swirl parameters affect U, the solution for the field variables on the surface of the swimmer is required. However, (6.9)-(6.11a,b) reveal an unexpected feature of the flow. In particular, for the UCM/Oldroyd-B models, and due to (1.6) and (5.4), one finds c rr | r=1 = 1 − Wi(ξ + 4 cos(θ ) + 3ξ cos(2θ)) − Wi 2 σ rr | r=1 . (6.13) As discussed extensively in § 3, c rr | r=1 depends exclusively on the slip parameter ξ , the Weissenberg number Wi and the polar angle θ. Owing to (6.13), the same holds for σ rr | r=1 , and therefore F V,n and F E,n do not depend on the swirl parameter ζ , which implies that they are invariants of the swirling flow. Consequently, the variation of the swirl parameter causes a redistribution of F P , F V,s and F E,s but keeps their sum unaltered and equal to −(F V,n + F E,n ). This suggests that the variation of U for the UCM/Oldroyd-B models is caused by the development and redistribution of the shear components of the rate-of-deformation and conformation tensors,γ rθ and c rθ , respectively, due to the viscoelasticity of the ambient fluid. In figure 7(a), we present results for the normalized velocity U/U N of a neutral squirmer as a function of Wi up to Wi = 0.225, where U N is the Newtonian speed given by (1.13a,b); in this case the Oldroyd-B model is defined up to Wi = 0.25 (see (3.3)). The results are shown for the no-swirl case (ζ = 0) and a swirl case with ζ = 3; the solid lines are theoretical predictions according to the accelerated technique, (5.8a,b), while the red lines with symbols are results from the large-scale simulations. For the no-swirl case one can see a small decrease of the velocity of the swimmer with increasing fluid elasticity. Also, the agreement between theory and simulations is excellent. As the swirl parameter increases to ζ = 3, both theory and simulations predict a monotonic increase of the squirmer velocity; note that the increase at Wi = 0.225 is similar to that previously calculated at a much larger Wi number for the Giesekus fluid (Binagia et al. 2020).
Moreover, we observe that the swirl generates a rigid-body rotation of the micro-swimmer, as figure 7(b) shows. The rotation rate of the swimmer is determined using the TFC, (6.2), evaluated at r = 1. Owing to the conservation of momentum along the azimuthal angle, Ω can also be determined from (6.3) as the volume integral of the shear elastic stress σ rφ weighted with the positive spatial function sin 2 (θ )/r. The latter suggests that the major contribution of shear elastic forces to the development of rigid-body motion comes from the region close to the body. For the no-swirl case, the asymptotic solution shows that σ rφ = 0 everywhere in the flow domain and thus Ω = 0. The same has been confirmed by the numerical simulations within the accuracy of the calculations. When the swirl parameter increases to ζ = 3, at Wi = 0.225 the rotation rate has increased to nearly 0.3, showing that weak viscoelasticity in the presence of swirl significantly affects the rotation rate. Even at Wi = 0.2, the elasticity of the fluid coupled with the slip velocity at the surface of the body produce a tangential stress field, σ rφ , everywhere negative in sign, the contours of which are presented in figure 8. We see that σ rφ reduces very quickly as the distance from the body increases. Near the swimmer, very large values in magnitude appear at the wake of the body. On the contrary, much lower absolute values are observed away from the south pole. This asymmetry of the tangential elastic stress with respect to the equator, i.e. to θ = π/2, contributes to the volume integral in (6.3), and causes the rotation of the swimmer. Finally, we observe that, precisely at the poles, σ rφ (r, θ = 0) = σ rφ (r, θ = π) = 0, confirming equation (2.11a,b) and the theoretical predictions reported in § 4, regarding the purely extensional character of the flow at the poles.
In figure 9, we present the force contributions F p , F V and F E on a neutral swimmer as functions of Wi. First, we observe an excellent agreement between the accelerated asymptotic theory and the numerical results. Recalling that F V,n and F E,n are invariant quantities for the Oldroyd-B model, the differences between the no-swirl and swirl cases is due to the variation of F p , F V,s and F E,s . Looking closely at the magnitudes and signs of these quantities, we can extract useful information about the type of forces acting on the swimmer. Indeed, the pressure contribution generates a major thrust compared to the Newtonian fluid and becomes even more propulsive in the swirl case. The total viscous contribution goes from propulsive to slightly resistive; this implies that the shear viscous contribution changes sign from positive (F V,s > 0 for ζ = 0) to negative (F V,s < 0 for ζ = 3). Lastly, the total elastic contribution, which is absent for a Newtonian fluid, is purely resistive in nature, and increases substantially in magnitude in the swirl case. Both the normal and shear components, F E,n and F E,s , respectively, are negative, but, due to the fact that F E,n does not depend on the swirl parameter, this implies that the shear contribution of the elastic stress F E,s is affected a lot by the increase of swirl. Based on these observations, we conclude that, for an elastic, UCM/Oldroyd-B type fluid, the pressure contribution is the only propulsive force on the swimmer with swirl, adequate to overcome the resistance caused by the viscous and elastic forces, and is the major mechanism that generates thrust and increases the speed of the swimmer. Further evidence on the propulsive role of the isotropic pressure can be seen in figure 10, where the contours of the pressure are drawn. Comparing the results between ζ = 0 and ζ = 3, two major observations can be made. First, the magnitude of the contours is much larger in the swirl case; and second, the pressure difference between the south and north poles is greatly intensified in the swirl case. Note that the Weissenberg number is really very small (Wi = 0.2), revealing again the great effect that even weak viscoelasticity can produce on the flow. We also notice that p(r, π) p(r, 0), in contrast to the no-swirl case, where p(r, π) is only slighter larger than p(r, 0), and in contrast to the Newtonian pressure, for which p(r, π) = p(r, 0) (see (1.12) with U = 2/3). The large pressure difference between the poles generates the major thrust along the z-direction which dominates the resistive forces on the body.
Finally, the resistive nature of the elastic forces can be realized from the results shown in figure 11 in conjunction with the definitions of F E,n and F E,s , given by (6.11a,b). In particular, σ rr (r = 1, θ) and σ rθ (r = 1, θ) are presented as functions of x = cos(θ ), for both the no-swirl (black, solid lines) and swirl cases (red, dotted lines). It is seen that very large values are developed close to x = −1 (θ = π), and hence both σ rr and σ rθ produce resistance to the body, most of which comes from the stress close to the south pole.

Giesekus and FENE-P models
As has already been discussed in the previous sections, for the Giesekus and the FENE-P models, (2.5)-(2.10) show that all the components of the conformation tensor on the surface of the swimmer are coupled and affect each other. As the mobility parameter a m of the Giesekus model, or the maximum extensibility parameter L of the FENE-P model, increases, these models deviate significantly from the UCM/Oldroyd-B models, resulting in a substantial redistribution of the force contributions to the FFC. This actually leads to different mechanisms of speed enhancement even in the low-Weissenberg-number regime.
For the Giesekus model, U/U N and Ω are shown in figure 12 as functions of Wi, for mobility parameter α m = 0.1 and viscosity ratio β = 0.5. In the range of the Weissenberg number shown, the Giesekus model exhibits negligible shear thinning. The no-swirl case and a swirl case with ζ = 3 have been chosen. The accelerated asymptotic theory is presented with solid black lines, while the numerical results are denoted with red lines with symbols. The agreement between theory and simulations is excellent for the no-swirl case, while for the swirl case the agreement is very good up to Wi ≈ 0.1 for the normalized velocity, and up to Wi ≈ 0.15 for the rotation rate. As Wi increases, the theory starts to deviate from the numerical results, although the degree of the deviation is reasonable, and the right trends are predicted. On the contrary, the original perturbation solutions (not shown in figure 12) give completely erroneous results for Wi larger than approximately 0.1. We observe that the speed enhancement is small, and the rotation rate is significant. Compared to the results for the Oldroyd-B model, shown in figure 7, the speed enhancement is reduced, and the same holds for the rotation rate. Obviously, the choice of the constitutive model plays an important role in understanding swimming (with or without swirl) in an elastic fluid.
As explained before for the UCM/Oldroyd-B models, the rotation rate of the swimmer under creeping flow conditions for a viscoelastic fluid is produced exclusively by the development of the shear elastic stress σ rφ . Since the rotation rate for the Giesekus model is smaller than that of the Oldroyd-B model, one expects the same to be true for the magnitude of σ rφ . Indeed, if we compare the σ rφ contours, shown in figure 13, with those shown in figure 8, we see that the Giesekus model predicts smaller stresses tangential to the body than the Oldroyd-B model.
In figure 14, we present the force contributions F p , F V and F E on a neutral swimmer as functions of Wi; all parameters are the same as in the previous two figures. The agreement between the accelerated asymptotic theory and the numerical results for the no-swirl case is worth noting, while for ζ = 3 reasonable differences are observed. In all cases, however, the accelerated asymptotic theory predicts the right trends for all quantities. As mentioned above as well, the additional quadratic term involving the conformation tensor in the original form of the constitutive equation  major thrust compared to UCM/Oldroyd-B fluids, as well as the fact that the introduction of swirl has a negligible effect on the pressure contribution. Second, the total viscous contribution goes from propulsive to resistive, namely, the shear viscous contribution changes sign from positive (F V,s > 0 for ζ = 0) to negative (F V,s < 0 for ζ = 3). Lastly, the total elastic contribution, F E = F E,n + F E,s , changes type and becomes propulsive. Since, F E,n is negative as the mobility parameter goes to zero, we conclude that the non-isotropic term of the Giesekus model is responsible for the development of substantial normal stresses that vary significantly with the increase of the mobility parameter. It also appears that the elevated normal elastic stresses hinder the development of the isotropic pressure. Consequently, the major propulsive character of pressure, previously identified for the UCM/Oldroyd-B fluids, diminishes and the speed enhancement is minimized.
The contours of the isotropic pressure can be seen in figure 15. First, we mention that for the no-swirl case the magnitude of the pressure, and its spatial variations, are even smaller than those in the Oldroyd-B model (shown in figure 10a). When swirl is introduced, ζ = 3, slightly larger values of the pressure and its gradient are observed compared to the no-swirl case. However, these are much smaller than in the Oldroyd-B model (shown in figure 10b) and thus the contribution of the pressure to the speed of the swirling swimmer is inconsequential.
In figure 16, we show σ rr (r = 1, θ) and σ rθ (r = 1, θ) as functions of x = cos(θ ), for both the no-swirl (black, solid lines) and swirl cases (red, dotted lines). Very steep gradients are observed at the south pole, which cause the normal component of the elastic stress to switch from negative to positive values. Recalling the definitions of F E,n and F E,s , given by (6.11a,b), we can easily confirm that the tangential elastic stress σ rθ remains resistive in character for both the no-swirl and swirl cases. On the contrary, the normal elastic stress σ rr is resistive for the no-swirl case, but changes to propulsive for swirling swimmers. Finally, it is worth noting that, although both the pressure contribution and the total elastic contribution generate thrust to the swirling body, their magnitude is small, resulting in a minor speed enhancement compared to the simple Newtonian fluid with the same viscosity.
Finally, in figures 17 and 18, we present results for the FENE-P model with ξ = 0, L = 10 (χ = 1/10 2 ), β = 0.5 and ζ = 0 and ζ = 3. In particular, U/U N and Ω are shown in figure 17, and the force contributions F p , F V and F E , in figure 18; all quantities are presented as functions of Wi. In the range of the Weissenberg number shown, 0 ≤ Wi ≤ 1/4, the FENE-P model exhibits negligible shear thinning. One can see that the results are very similar to those for the Oldroyd-B model. Although the agreement between theory and simulations is not as good as for the Oldroyd-B model, the general predictions and trends remain the same. Therefore, the UCM/Oldroyd and FENE-P models exhibit the same mechanism for speed enhancement and rotation rate of the body. These results indicate, for one more time, that the choice of the constitutive model plays an important role in understanding swimming (with or without swirl) in an elastic fluid.

Conclusions
In our previous publication (Binagia et al. 2020), we discussed the fact that the low-Weissenberg-number region is appropriate for real micro-organism swimming, because of the characteristic swimming speeds, the size of the organisms and the fluids in which they swim. Here, we thoroughly investigated this region, both analytically and numerically. In summary, we can conclude as follows.
(a) We proved that the UCM/Oldroyd-B models become singular at a small critical Weissenberg number which depends on the slip parameter ξ . For a puller with ξ = 1/3, one finds that the critical Wi is 3/8 and decreases for any other value of the slip parameter. For a neutral swimmer, the critical Wi is 1/4. The singularity is revealed based on the analysis at the surface of the body, and it is the first time that such a singularity for the viscoelastic flow past a spherical body has been predicted. The same analysis also shows that the flow at the poles is purely extensional in character. Unexpectedly, the swirl parameter does not affect the solution for the conformation tensor at the poles. (b) We proved that the singularity predicted for the UCM/Oldroyd-B fluids is completely removed when regularized and more realistic constitutive equations are employed such as the Giesekus and FENE-P models. However, the purely extensional character of the flow at the poles still holds. (c) For the UCM/Oldroyd-B models, and based on the exact analytical solution for the conformation tensor at the poles, we found analytically the radius of convergence of the series solutions with respect to the Weissenberg number. We showed that the radius of convergence is even smaller than the critical Wi at which the UCM/Oldroyd-B models become singular. Surprisingly, and although the Giesekus and FENE-P models are valid for any value of Wi, the radius of convergence of the corresponding series solutions is slightly smaller than in the UCM/Oldroyd-B fluids. Therefore, the perturbation solution(s) can be used as a good approximation of the exact solution only for very small values of Wi (Wi < ∼ 0.1). This information in conjunction with that reported in points (a) and (b) above fully explains the fact that other researchers in the field (Datt et al. 2017;, 2020 have reported large changes to their results, even at relatively small values of Wi, when higher-order corrections are taken into account. It also explains the large differences between the simulation and asymptotic results seen in our recent publication (Binagia et al. 2020) in the intermediate-and high-Weissenberg -number regions. (d) When techniques that accelerate the convergence of series are applied, the transformed solutions are more accurate than the original perturbation solutions. Even when the agreement with the simulation results is not excellent, the transformed solutions predict the right trends for all the integral and/or constant quantities of interest in the range 0 ≤ Wi < Wi ρ , where Wi ρ is given by (3.6). (e) Both theory and simulations reveal that all viscoelastic models, at a sufficiently large swirl parameter ζ , predict a speed enhancement compared to the speed of the swimmer in a Newtonian fluid with the same viscosity, U N = 2/3. Use of the Oldroyd-B model results in a prediction of the largest increase in U. Also, all viscoelastic models predict a rigid-body rotation of the micro-swimmer, and again the Oldroyd-B model, among all models employed, predicts the largest Ω. (f) We showed that, for an Oldroyd-B fluid, the speed enhancement for a swimmer with swirl is driven primarily by an increase in the force due to pressure. The same was shown for the FENE-P model, namely the FENE-P model is only a small modification to the Oldroyd-B model. In contrast, while speed enhancement is also seen for a Giesekus fluid, the propulsion is instead created from a large increase in the normal elastic force. For this model, the role of pressure remains propulsive, but is much smaller than that predicted using the Oldroyd-B and FENE-P models.
We emphasize that, although the Oldroyd-B model is the most basic and fundamental differential fluid mechanics model for viscoelastic fluids, these results reveal phenomena and mechanisms, for both non-swirling and swirling swimmers, not previously identified by other researchers in the field. From our analysis, we concluded that the choice of the constitutive model is absolutely crucial for understanding the locomotion of micro-swimmers in viscoelastic fluids, and therefore guidance from experiments is necessary to determine which model is best suited to predict the major features of these types of flows. We also revealed that the low-Weissenberg-number region (i.e. of weak viscoelasticity) is much more important in understanding swimming in an elastic fluid than generally believed thus far. Finally, in a future publication we will present results on the time-dependent spherical squirmer model, addressing thoroughly the effect of the transient, frequency-related, terms in the governing equations; that work is under way.