## Abstract

Recently, detailed experiments on visco-elastic channel flow have provided convincing evidence for a nonlinear instability scenario which we had argued for based on calculations for visco-elastic Couette flow. Motivated by these experiments we extend the previous calculations to the case of visco-elastic Poiseuille flow, using the Oldroyd-B constitutive model. Our results confirm that the subcritical instability scenario is similar for both types of flow, and that the nonlinear transition occurs for Weissenberg numbers somewhat larger than one. We provide detailed results for the convergence of our expansion and for the spatial structure of the mode that drives the instability. This also gives insight into possible similarities with the mechanism of the transition to turbulence in Newtonian pipe flow.

### Similar content being viewed by others

Avoid common mistakes on your manuscript.

## 1 Introduction

Pierre Hohenberg played an important role in the scientific life and career of one of us, Wim van Saarloos, who was a junior colleague of Pierre at Bell Labs from 1982–1990. During these years Pierre worked steadily on his magnum opus on Pattern Formation, the review *Pattern formation outside of equilibrium* with Mike Cross, published in 1993 [1]. Although the two actually only started to work together during the last two of these years, indirectly and through informal discussions and by Pierre acting as a soundboard, Wim profited a lot from Pierre’s wisdom and insight in pattern formation. Moreover, Pierre’s attention for understanding real experiments, for translating one’s theoretical analysis into experimentally testable predictions, and his emphasis on the importance of writing longer papers and reviews, has had a lasting influence on him. It is therefore a privilege to contribute to this special issue honoring Pierre Hohenberg, with a topic that has many elements of Pierre’s interests and ways of doing physics.

In his personal reflections which will appear in a memorial book for Pierre Hohenberg [2], Wim has extensively described Pierre’s influence on him. Moreover, it is explained there in detail how the topic which the two of us, authors of this paper, explored together some ten to fifteen years ago, exhibits traces of the earlier collaborations of Wim and Pierre. We refer to these personal reminiscences [2] for this background. Connections relevant to the present paper are: the relation with their unpublished explorations of the transition to turbulence in Newtonian pipe flow, how this culminated in their long paper on the quintic Complex Ginzburg-Landau equation [3], how this in the end relates to the topic of interest here, and how much Pierre enjoyed it when we presented this whole storyline at the Rutgers meeting celebrating his 80th birthday in December 2014.

The issue at stake is the question whether viscoelastic channel flow exhibits a nonlinear flow-instability in the small Reynolds number limit.

It is well known that Newtonian fluids flowing through a pipe, so-called Poiseuille flow, exhibit a nonlinear instability to turbulence [4, 5]. The transition *must be nonlinear*, since the laminar Poiseuille flow state is linearly stable. The same holds for Couette flow, flow induced by having two plates moving in opposite direction.^{Footnote 1}

Adding polymers to a fluid can have drastic effects. With polymers in it, the fluid behaves as a so-called viscoelastic fluid. Because shear causes stretching of the polymers, a viscoelastic polymer fluid exhibits elasticity, relaxation and anisotropy: each stretched polymer acts like a little elastic rubber band which is oriented by the shear direction and which takes time to respond (relax) when the local shear rate varies. These effects are stronger, of course, the longer the polymer molecules are, and the higher their concentration. A well-know dramatic manifestation of practical interest of these viscoelastic effects is ’turbulent drag reduction’ [6]: when sufficiently long polymers are added in small amounts to a fluid, the drag experienced by turbulent flow through the pipe is reduced. The precise origin of this effect is still a matter of active research.

We are here interested in another limit, the limit in which both the polymer concentration and their length are large enough that the effective fluid viscosity is large, so much so that the flow can be considered as small Reynolds number flow. The convective nonlinearity in the Navier-Stokes equation can then be neglected, and the only nonlinearities come from the so-called constitutive equation that relates the polymer stress tensor and the flow field. In this limit, the only dimensionless quantity for simple shear flows is the so-called Weissenberg number \(W\!i\), which is a measure of the normal stress effects in the fluid, resulting from the orientation and stretching of the polymers.

It has been known since 1977 [7] that viscoelastic Poiseuille flow, as modeled by the so-called Oldroyd-B constitutive equation, is linearly stable in the small Reynolds number limit. Motivated by experimental work by Bonn and co-workers [8, 9], and by the similarity of the questions concerning the nonlinear transition to turbulence of Newtonian fluids, we therefore explored theoretically in a series of papers [10,11,12,13] the question whether parallel viscoelastic shear flows would show a nonlinear flow instability as well.

A combination of analytical arguments, based on insights into the Newtonian case and the theory of dynamical systems and pattern formation [13], and explicit but approximate nonlinear stability calculations for the case of Couette flow, led us to propose [8, 12, 13] that viscoelastic shear flows should indeed show this putative nonlinear transition for Weissenberg numbers somewhat larger than one. We speculated that the transition would lead to turbulent flow.

Several initial attempts to test our proposed scenario experimentally gave negative results. Some numerical investigations did show behavior reminiscent of the proposed scenario, but it is well known to experts that simulations of these bilinear type of constitutive equations are very prone to numerical instabilities, resulting from flow regions which lead to exponential divergence of stress components.Thus, also numerical investigations were considered to give inconclusive results.

The issue therefore remained unsettled till Arratia and co-workers [14, 15] convincingly showed in 2013, using microfluidics experiments, that indeed small Reynolds number viscoelastic channel flow *does* indeed exhibit a nonlinear transition to turbulence. Qualitatively, their finding is very much in line with what we had proposed: by perturbing the viscoelastic flow in very long micro-channels behind the inlet in a controlled way, by putting a variable number of cylindrical obstacles in the channel, they found that sufficiently strong perturbations lead to a well-developed asymptotic turbulent state far down the channel. Moreover, the experiments showed that the transition occurs for Weissenberg numbers somewhat larger than one, very much like what our own approximate analysis had suggested.

The unequivocal experimental evidence for the nonlinear viscoelastic instability of channel flow leads us to revisit and extend, in this paper, our earlier theoretical analysis. The earlier calculations [12] were focussed on Couette flow (two plates moving in opposite directions); we here extend the results to the experimentally relevant case of Poiseuille flow. We also take the opportunity to present in more detail the nature of our analysis, which is based on an asymptotic Amplitude-equation-like expansion taken to unusually large order (which, incidentally, was an aspect that Pierre liked very much when we presented this at the Rutgers meeting celebrating his 80th birthday). This also allows us to put our results into perspective and to substantiate our previous claim that our results converge to well-defined values and flow profiles. Indeed, we also show for the first time the spatial structure of the nonlinear modulated waves which according to our analysis determine the instability threshold.

In the next section, we simply summarise the main result of our analysis, which shows within the context of the same approximate analysis that viscoelastic Poiseuille flow between plates exhibits a nonlinear instability which is very similar to the one for plane Couette flow published previously [12]. Also the transition amplitude and the values of the Weissenberg number where the instability is found, is similar. In Sect. 3 we then present the technical details of the expansion underlying our results, which we then apply to the case of plane Poiseuille flow in Sect. 5. In our concluding Sect. 6 we put our results into perspective, and speculate on the transition to turbulence mechanism of viscoelastic flow.

## 2 Main Result of Perturbative Expansion for Viscoelastic Plane Couette and Plane Poiseuille Flow

Figure 1 summarises our earlier result [12] for plane Couette flow as a function of increasing Weissenberg number \(W\!i\) which, as stated above, is the only dimensionless number for these flow configurations in the zero Reynolds number limit. What do these results mean?

As detailed in later sections, these calculations are based on perturbing the laminar viscoelastic flow with a finite-wavelength mode of amplitude \(\varPhi \). For flow between plates, one does this by picking a wavenumber \(k_x\) associated with the wavenumber of the modulation along the flow direction, and a wavenumber \(k_z\) in the transverse direction. We imagine these to be fixed, and then ask ourselves whether, if we think of the flow to be perturbed by a modulation of this type and of a given initial amplitude \(\varPhi \), this amplitude would decay—meaning stability—or increase in time (meaning instability). The linear stability calculation, already done long ago [7], is based on assuming that the mode amplitude \(\varPhi \) (for a given \(k_x\) and \(k_z\)) is infinitesimally small, and the finding from these calculations is that when the initial amplitude \(\varPhi \) is infinitesimally small, it will indeed decay in time: the flow is *linearly* stable.

Our calculations are based on probing whether \(\varPhi \) will grow or decay in time perturbatively, by performing an expansion in powers of \(\varPhi \), for fixed wavenumbers. In other words, we only probe growth or decay of the amplitude, without allowing for spatial instabilities of the modes themselves.

In Fig. 1, we plot along the vertical axis the critical dimensionless value \(\varPsi =|\varPhi _c|\) of the amplitude—which we can think of the maximum relative change in shear rate at the walls—separating decay (for smaller amplitudes) from growth (for larger amplitudes) for particular values of the wavenumbers indicated.

Clearly, these results indicate that within the limitations of our perturbative calculations, we expect that nonlinear instability to be very similar for plane Couette and Poiseuille flow. This is of course what one would expect physically as the instability is driven by the self-amplifying nature of viscoelastic flow along curved streamlines. This should depend little on the details of the way the flow is driven.

Of course, as explained above our analysis is based on an amplitude expansion, which itself is an asymptotic expansion. It is legitimate to ask why we were confident to draw conclusions from such an expansion. To illustrate why we did dare to do so, we show in Fig. 1 the results up to 5th (red, label \(\varPsi _2\)), 7th (orange, label \(\varPsi _3\)) , 9th (light blue, label \(\varPsi _4\)) and even 11th order (dark blue, label \(\varPsi _5\)) in our expansion for \(\varPhi _c\) for the case of plane Couette flow. Quite surprisingly—we had no reason to expect this a priori—the results for the critical value \(\varPhi _c\) are quite robust. Moreover, even the ’nose’ of the curves on the left seems to converge: whenever the expansion is extended by including another order, the curve shifts by about half the amount that it did in the previous step.

## 3 Derivation of the Amplitude Equation

In this Section we present a method of approximating non-linear solutions for a class of non-linear partial differential equations in the following form

where *V* is a *d*-dimensional vector of fields, \({\hat{{\mathcal {L}}}}\) and \({\hat{A}}\) are linear operators, and *N* is a quadratic non-linear operator. Our method is primarily designed for problems of hydrodynamic stability in parallel shear flows, and, from the onset, we incorporate some of the main features of the corresponding equations of motion directly into Eq. (1). First, we introduce a Cartesian coordinate system (*x*, *y*, *z*), where *x* and *z* denote the unbounded directions, while *y* is the direction between two confining plates. The vector *V* is thought of to contain the velocity, stress components, and pressure in the fluid. We further assume that \(\hat{{\mathcal {L}}}\), \({\hat{A}}\), and *N* only contain spatial derivatives, and that \(N\left( f(t)V_1,V_2\right) = N\left( V_1,f(t)V_2\right) =f(t)N\left( V_1,V_2\right) \), where \(V_1\) and \(V_2\) are arbitrary functions of space, while *f*(*t*) is an arbitrary function of time.

Our goal is to demonstrate that Eq. (1) can have finite-amplitude solutions besides the trivial (laminar) one. In the absence of a linear instability, there is no systematic way of finding such a solution and we attempt to construct it perturbatively, in a way motivated by amplitude expansion methods developed for studying near-threshold behaviour of pattern-forming instabilities (see [1, 17], for example). Our expansion is based on the eigenfunctions, \(e^{i\left( k_x x + k_z z\right) }V_0^{(n)}(y)\), of the linear operator:

where \(\lambda _n\) is an eigenvalue. The index *n* enumerates the eigenfunctions; their number and form depends on the problem at hand. The desired finite-amplitude solution for the real-valued fields is then *assumed* to be represented by

where \(e^{i\xi }V_0\) is one of the eigenfunctions corresponding to an eigenvalue \(\lambda \), and we have introduced \(\xi =k_x x + k_z z\); ”\(*\)” denotes complex conjugation; the choice of a particular eigenfunction will be discussed below, but we note here that for plane Couette flow these are the Gorodtsov–Leonov modes [18] that we used in our previous work [12]. One can view Eq. (3) as a Fourier expansion in *x* and *z* with an extra assumption about the form and interrelation between the coefficients; \(\varPhi (t)\) is the basic amplitude of the mode whose non-linear behaviour we aim to study perturbatively. In the spirit of amplitude-equation techniques [1, 17], the time-dependent amplitude \(\varPhi (t)\) follows the linear dynamics governed by Eq. (2) at short times, which is replaced by nonlinear dynamics at large *t*. In the following, we derive the evolution equation for the amplitude \(\varPhi (t)\) assuming that it is small in some sense. This assumption will be checked for self-consistency, once the solution is obtained.

To proceed, we assume that the dominant dynamics in Eq. (3) are given by the time-evolution of \(\varPhi (t)\), and that the higher harmonics \(U_n\)’s follow it adiabatically (they are ’slaved’ to \(\varPhi (t)\)). This implies that the Fourier components \(U_n\)’s can only arise as a result of nonlinear interactions of the eigenmode with itself and other \(U_n\)’s. For instance, if we denote \(V_l = \varPhi (t)e^{i\xi }V_0(y)\), then \(U_0(y)\) has contributions from the interactions of a) \(V_l\) with \(V_l^*\), b) \(V_l\), \(V_l^*\), \(V_l\), and \(V_l^*\), etc. Applying this power-counting argument to all Fourier modes, we obtain

where \(u_n^{(m)}(y)\) are unknown functions, which will be determined below; the subscript *n* and superscript *m* correspond to the Fourier harmonic and the order in \(\varPhi \), respectively.

To derive the time-evolution equation for \(\varPhi (t)\), we substitute Eq. (3) into Eq. (1) and separate the terms proportional to \(e^{i\xi }\). This yields

where we used Eq. (2) and introduced \({\bar{N}}\left( A,B\right) = N\left( A,B\right) + N\left( B,A\right) \). Although the eigenmodes of the linear operators involved in flow stability problems often form full sets, they are typically non-normal [19] and their eigenmodes are not orthogonal. Therefore, to calculate the contribution of the r.h.s. of Eq. (5) to \(d\varPhi /dt\), we employ the adjoint operator \(\hat{{\mathcal {L}}}^\dagger \), defined via

where \(V_1\) and \(V_2\) are two *arbitrary* vectors satisfying proper boundary conditions. The scalar product \(\langle \cdots \rangle \) is given by

where \(\left( A,B\right) =\sum _i A_i B_i\) is the Euclidean dot product, and 2*d* is the distance between the confining plates. The actual form of the adjoint operator is obtained by performing integration-by-parts in Eq. (6), as will be demonstrated later. The eigenmodes \(e^{i\left( k_x x + k_z z\right) } W_0^{(m)}(y)\) and the eigenvalues \(\chi _m\) of the adjoint operator are given by

with \(m=1,2,\dots \), and \({\hat{A}}^\dagger \) being the operator adjoint to \({\hat{A}}\); for the problem we consider in Sect. 4, operator \({\hat{A}}\) is self-adjoint. Since Eq. (2) is a generalised eigenvalue problem, the orthogonality condition between the eigenmodes of the linear and adjoint operators is somewhat unusual, and we state it here explicitly. We consider

At the same time,

Comparing Eqs. (9) and (10) we conclude that \(\langle e^{i\xi } W_0^{(m)}(y) \vert {\hat{A}} e^{i\xi } V_0^{(n)}(y)\rangle = 0\), unless \(\lambda _n = \chi _m^*\).

The evolution equation for the amplitude \(\varPhi (t)\) is finally obtained by projecting Eq. (5) onto the eigenmode of the adjoint operator \(e^{i\xi } W_0(y)\), selected such that its eigenvalue \(\chi =\lambda ^*\). According to Eq. (4), the r.h.s. of Eq. (5) is a polynomial in \(\varPhi (t)\) and its complex conjugate, and one obtains

The coefficients *C*’s are calculated by collecting terms of the corresponding order in \(\varPhi \) on the r.h.s. of Eq. (5) and projecting them on \(e^{i\xi } W_0(y)\). Once these coefficients are known, we can then study whether there is a critical value \(\varPhi _c\) that separates decaying amplitudes, for small \(|\varPhi |\), from the growing ones.

To illustrate the method, we show here how to calculate the coefficient \(C_3\), while the expressions for the higher-order coefficients are deferred to Appendix C. To \(O\left( \varPhi |\varPhi |^2\right) \), we obtain from Eq. (5) by projecting it on \(e^{i\xi } W_0(y)\)

where

Let us now determine the unknown functions \(u_0^{(2)}\) and \(u_2^{(2)}\). Once again, we substitute Eq. (3) into Eq. (1), and separate the terms proportional to \(e^{2 i \xi }\). To lowest order in \(\varPhi \), it yields

The time-derivative can be evaluated self-consistently with the help of the amplitude equation (11), and to \(O\left( \varPhi ^2\right) \) is equal to

Therefore, \(u_0^{(2)}(y)\) satisfies the following inhomogeneous ODE

Similarly, \(u_2^{(2)}(y)\) is given by

The equations for higher *C*’s and *u*’s are obtained by a straightforward, though lengthy, generalisation to higher orders in \(\varPhi \) of the procedure outlined above. The corresponding expressions can be found in Appendix C.

Equation (11), together with the procedure to systematically determine the coefficients *C*’s, is the central result underlying our non-linear analysis of the flow stability. It allows one to calculate the amplitude of a non-linear solution to Eq. (1) in the form given by Eq. (3). In what follows, we will be particularly interested in simple solutions to this equation, either in the form of stationary points or travelling waves. As we will see below, for the problem discussed in Sect. 4, the least stable eigenvalues \(\lambda \) are complex, and, therefore, the relevant solutions are of the latter type, given by \(\varPhi (t) = \varPsi \,e^{i\,\varOmega \,t}\), where \(\varPsi \) and \(\varOmega \) are real numbers. Substituting this ansatz into the amplitude equation (11), and separating the real and imaginary parts, we obtain for a non-trivial solution with a stationary amplitude \(\varPsi \)

The asymptotic nature of Eqs. (18) and (19) imply that only converging series can represent a physical solution. In turn, this translates into the requirement that the solution amplitude \(\varPhi (t)\) is sufficiently small, where the scale is given by the coefficients \(C_n\). To study convergence of series Eqs. (18) and (19), we employ a somewhat intuitive method based on the partial sums \(S_m\), defined through

We then solve a series of algebraic equations \(S_1=0\), \(S_2=0\), \(\dots \), and obtain a corresponding series of solutions \(\varPsi _1\), \(\varPsi _2\), \(\dots \), and \(\varOmega _1\), \(\varOmega _2\), \(\dots \), using Eq. (19). If both series approach limiting values, the latter are recognised as representing a physical solution; see Sect. 2 for discussion.

In the next Sections we adopt this method to parallel shear flows of model viscoelastic fluids and calculate the coefficients in Eq. (11) up to \(C_{11}\).

## 4 Channel Flow of a Viscoelastic Fluid

Here we adopt the method presented in the previous Section to the study of non-linear stability of parallel shear flows of model polymer fluids. We consider a flow between two parallel plates forced by a constant pressure gradient denoted here for convenience by \(-\varDelta P\) (plane Poiseuille flow). As in Sect. 3, we select a coordinate system with (*x*, *y*, *z*) being along the streamwise, vertical (gradient) and spanwise directions, respectively; the distance between the plates is 2*d*.

The velocity of the fluid \(\varvec{v}\) is governed by the Stokes equation

and the incompressibility condition

where *p* is the pressure, \(\varvec{\tau }\) is the polymeric contribution to the total stress, and \(\eta _s\) is the solvent viscosity. In Eq. (21), we neglected the inertial terms as typical experiments on elastic instabilities and turbulence are usually performed either in microfluidic devices or with high-viscosity fluids (see [14, 20], for example). In both cases, the corresponding values of the Reynolds number (defined as \(Re={\mathcal {U}}\,d/\nu \), where \({\mathcal {U}}\) is the typical flow velocity and \(\nu \) is the kinematic viscosity of the fluid) do not exceed \(10^{-2} - 10^{-1}\), and the inertial effects can be ignored.

To describe the dynamics of the polymer stress tensor \(\varvec{\tau }\), we employ the Oldroyd-B model given by

where \(\lambda _M\) is the Maxwell relaxation time of the fluid, \(\eta _p\) is the polymer viscosity, and *T* denotes the matrix transpose. The Oldroyd-B model is the simplest equation incorporating normal-stress effects that are the driving force for many viscoelastic flow instabilities [13, 21, 22]; for a detailed discussion of various viscoelastic equations of motion and their predictions see [23,24,25]. Finally, the velocity field is assumed to satisfy the no-slip boundary condition

Equations (21)–(24) have as laminar solution the well-known parabolic profile with \({\varvec{v}}=\left( {\mathcal {U}}_0(y),0,0\right) \), where

The corresponding elastic stresses are given by

In what follows we render Eqs. (21)–(24) dimensionless by re-scaling the variables by appropriately chosen units, suggested by the laminar solution above. We use *d* as a unit of length, \({\mathcal {U}}=\varDelta P d^2/(2\left( \eta _s+\eta _p\right) )\) as a unit velocity, \(d/{\mathcal {U}}\) as a unit of time, and \(\eta _p\,{\mathcal {U}}/d\) as a unit of stress. The material properties of the fluid are controlled by two dimensionless parameters: the ratio of the solvent to total viscosities \(\beta = \eta _s/(\eta _s+\eta _p)\), and the Weissenberg number \(W\!i=\lambda _M {\mathcal {U}} / d\). The latter controls the strength of non-Newtonian effects in Eq. (23) and plays in elastic instabilities and turbulence the same role as the Reynolds number does in Newtonian fluid mechanics. In what follows, we set \(\beta =0.05\) unless otherwise stated.

Next, we split the dimensionless velocity and stress fields into the laminar part and a deviation from the laminar solution,

and introduce a perturbation vector \(V=\left( \varvec{v}^{(1)},{\varvec{\tau }}^{(1)},p^{(1)}\right) ^T\), where \(p^{(1)}\) is the pressure perturbation. The other terms in Eqs. (27) and (28) are the dimensionless forms of the laminar profile, Eqs. (26) and (25), respectively. Substituting these expressions into the equations of motion, we arrive at the compact form, Eq. (1), introduced in Sect. 3. The explicit expressions for \(\hat{{\mathcal {L}}}\), *N* and \({\hat{A}}\) are given in Appendix A. In the next Section we present the finite-amplitude solutions of Eqs. (21)–(24) found by the method presented in Sect. 3.

## 5 Results

As the eigenmodes of the linear operator in Eq. (2) are the starting point of our analysis, here we briefly present the linear stability analysis of plane Poiseuille flow of an Oldroyd-B fluid; for a detailed discussion see Wilson *et al.* [26]. To calculate the eigenspectrum, we discretise Eq. (2) with \(\hat{{\mathcal {L}}}\) and \({\hat{A}}\) given in Appendix A using the fully spectral Chebyshev-tau method [27], and solve numerically the resulting generalised eigenvalue problem using Scientific Python [28].

In Fig. 2 we present an example of the eigenvalue spectrum, plotted as \(Im(\lambda )\) vs \(Re(\lambda )\). The general structure of the spectrum for \(W\!i=1\), \(\beta =0.05\), \(k_x=1\), and \(k_z=2\) is shown in Fig. 2a, while Fig. 2b presents a zoom-in on the least stable part of the spectrum. As can be seen, all eigenvalues have \(Re(\lambda )<0\), indicating linear stability. This is confirmed numerically for all values of \(W\!i\), \(\beta \), \(k_x\) and \(k_z\); see also Wilson *et al.* [26]. The most prominent features in Fig. 2, the balloon-like shapes at \(Re(\lambda )=1/W\!i\) and \(Re(\lambda )=1/(\beta W\!i)\), are numerical approximations to the continuous spectrum of the linear operator, which corresponds to the singular points of the linear problem [26]. The least unstable eigenvalues, which are used in the non-linear analysis below, are the right-most modes in Fig. 2b, which we denote by \(\lambda _1\), \(\lambda _2\), and \(\lambda _3\). (There is another discreet eigenvalue which is very close to the continuous spectrum, and we do not attempt to perform calculations for the associated eigenmode as it would require a very high spectral resolution.) The corresponding eigenmodes are presented in Fig. 3. As can be seen there, two of the eigenmodes are mostly pronounced close to the walls, and are related to the Gorodtsov–Leonov modes [18] used in our previous work on plane Couette flow [12], while the other one is mostly present in the middle of the geometry.

Next, we calculate the eigenmodes of the adjoint problem, Eq. (8), with \(\hat{{\mathcal {L}}}^\dagger \) defined in Appendix B, by using the same numerical method, as above. As demonstrated in Sect. 3, every eigenvalue of the linear problem \(\lambda \) has its adjoint counterpart \(\chi \), such that \(\chi ^* = \lambda \). Therefore, for the same parameters as above, the adjoint spectrum looks like Fig. 2, with \(Im(\chi ) = -Im(\lambda )\). The adjoint eigenmodes, corresponding to the least stable eigenvalues \(\lambda _1\), \(\lambda _2\), and \(\lambda _3\) share the same spatial features as their linear counterparts and are either confined to the walls or the bulk of the system; see Fig. 4, for example.

In what follows, we use the three least stable modes as the starting point of the non-linear analysis presented in Sect. 3, and assess whether they result in converged non-linear states. For each mode, we calculate the coefficients *C*’s as a function of the Weissenberg number \(W\!i\), and use them to solve Eq. (18) for the amplitude \(\varPsi \) of the travelling-wave state. As explained in Sect. 3, we construct a series of solutions at progressively higher orders in the amplitude, see Eq. (20), and study their convergence. We found that using the eigenmode associated with \(\lambda _2\) does not lead to a converging series of amplitudes \(\varPsi \), while the other two eigenmodes lead to converging non-linear solutions, which we refer to as ’State 1’ and ’State 3’, and below we focus on these two modes.

The results of this procedure are presented in Fig. 5, while the values of the coefficients *C*’s for selected values of \(W\!i\) are given in Tables 1 and 2. For both states, the series of solutions \(\varPsi _m\) share the same features. Here, *m* denotes the order \(2m+1\) to which the expansion in powers of \(\varPhi \) in Eq. (11) is taken. For any \(m>1\), the equation \(S_m=0\) has no real solutions at small \(W\!i\), two real solutions around the saddle-node bifurcation—the value of \(W\!i\) at which two solution branches appears for the first time, and one real solution for larger values of \(W\!i\). The lower branches define the threshold amplitude required to destabilise the flow, while the upper branches are supposed to set the saturated value of the amplitude at the instability. As can be seen from Fig. 5, the upper branches of all solutions seem to diverge rapidly close to the saddle-node value \(W\!i_{sn}\), and the implications of this behaviour are discussed below.

For both states, we observe that the upper- and lower-branch values of \(\varPsi _m\) converge rapidly as *m* is increased from 1 to 5. In Fig. 6 we assess this convergence more quantitatively, by plotting the saddle-node values \(W\!i_{sn}\) for each \(\varPsi _m\) as a function of *m* (circles in Fig. 6). In the range \(m=1\dots 5\), corresponding to the amplitude equation expansion up to the eleventh order, the convergence is well-described by an exponential fit (dashed lines in Fig. 6), approaching \(W\!i^{(1)}_{sn}\approx 3.16\) and \(W\!i^{(3)}_{sn}\approx 3.39\) for States 1 and 3, correspondingly. The phase speed of the travelling-wave solutions, \(\varOmega \), calculated using the values of \(\varPsi _m\) presented above are shown in Fig. 7. Again, we observe that the position of the saddle-node and the lower-branch values converge rapidly. Using the criterion presented in Sect. 3, we conclude that our consecutive approximations to States 1 and 3 converge towards physical solutions that we now examine in more detail.

To gain insight into the spatial structure of the travelling-wave solutions reported above, we now plot the mean velocity profile \({\bar{v}}_x\) for State 1, calculated by averaging \(v_x\) over *x* and *z*. In Fig. 8a we present the mean profile for \(W\!i=3.12\), which is close enough to the saddle-node point for \(m=5\) so that \(\varPsi _5\) has two values, 0.15 and 0.22, corresponding to the lower- and upper-branches, respectively. While the lower-branch mean velocity profile is quite close to the laminar profile \({\mathcal {U}}_0(y) =1-y^2\), the upper-branch profile looks very different, with sharp velocity gradients close the walls and a shifted parabolic-like profile in the bulk of the system. Surprisingly, the centre-line velocity appears to be *larger* than its laminar counterpart implying drag reduction with respect to the laminar state, since it corresponds to a higher volumetric flow rate at the same applied pressure difference. In Fig. 8b we present the velocity profile at \(x=0\) in the *yz*-plane, which is perpendicular to the streamwise direction: the in-plane components \(v_y\) and \(v_z\) are shown as arrows, while the streamwise velocity \(v_x-{\mathcal {U}}_0(y)\) is given by the colour. One can clearly see two arrays of streamwise vortices next to each wall superimposed onto the corresponding arrays of high- and low-velocity streamwise streaks. Fig. 8c shows a similar velocity profile at \(z=0\) in the *xy*-plane, where arrows now trace the in-plane components \(v_x-{\mathcal {U}}_0(y)\) and \(v_y\), while the colour gives the spatial profile of the spanwise velocity \(v_z\). Finally, in Fig. 8d we plot the largest component of the polymeric stress tensor, \(\tau _{xx}\), which is a deviation from the laminar stress, in the *xy*-plane. Most of the stress is concentrated close to the boundaries consistent with the presence of sharp velocity gradients there.

The profiles presented in Fig. 8b–d correspond to the upper branch of State 1. The lower branch profiles have a very similar structure, albeit with a significantly smaller amplitude, and are not presented here. In a similar fashion, the mean profiles and the spatial structure of State 3 bear strong similarities with State 1, and are, therefore, also omitted here.

Finally, the two states presented here are shown for the somewhat randomly selected values of the wavenumbers \(k_x\) and \(k_z\). Preliminary studies show that for small values of \(\beta \), converged solutions similar to States 1 and 3 persist for a wide range of wavenumbers, provided both \(k_x\) and \(k_z\) are not too big (typically, smaller than \(k_x\sim k_z\sim 3\). For larger values of \(\beta \), this region shrinks, which is either related to the convergence properties of our technique, or is connected to the actual shrinking of the region of existence of such travelling-wave solutions. This point is deferred to future studies.

## 6 Discussion and Conclusion

Results presented in this work further corroborate our previous claim [8, 10, 12, 13] that while parallel shear flows of viscoelastic fluids are linear stable, they exhibit sub-critical instabilities that lead directly to a chaotic state. Early experiments by Bonn *et al.* [9] and in particular the more recent detailed and systematic experiments by Arratia *et al.* [14, 15] confirm the existence of such sub-critical instabilities in channel flows of dilute polymer solutions and demonstrates that the chaotic state observed there is related to the phenomenon of purely elastic turbulence previously only reported in shear flows with curved streamlines [20, 29, 30].

The emergent scenario of the transition in parallel shear flows of viscoelastic fluids parallels that for their Newtonian counterparts. Recently, significant progress was made in understanding the transition to turbulence in pipe, plane Couette and channel flows of Newtonian fluids by studying it from the dynamical systems’ point of view [4, 5]. The key ingredients there are the so-called *coherent structures*, the exact solutions of the Navier-Stokes equations, either travelling waves or periodic orbits, that are three-dimensional but relatively simple. These solutions appear through a sub-critical bifurcation and correspond to saddles in the phase space of the flow: while their upper and lower branches are linearly unstable, their vicinity is attractive; also, their number increases with the Reynolds number. When the phase space is sufficiently populated with such solutions, a turbulent trajectory performing a random walk between a large number of saddle-like states gets trapped for a very long time. Coupled to the phenomenon of splitting of localised exact coherent states, this scenario firmly places the transition to Newtonian turbulence within the directed percolation universality class.

Our results indicate that a similar scenario might also be at work in the viscoelastic case. The solutions presented here and in our previous work [12] might form the phase space scaffold of the purely elastic turbulence, and verifying their existence should be paramount to understanding its mechanism. An analogous scenario was recently proposed for parallel shear flows in the presence of small amounts of high-molecular weight polymers to explain their drag-reducing properties [31,32,33]. It was argued that the exact coherent states implicated in drag-reduction might have purely elastic origins [34, 35]. It would be interesting to see whether there is a connection between the states reported here and their inertial counterparts.

The amplitude-equation type technique employed here attempts to construct a non-linear solution as an asymptotic series, and, as such, it has a limited radius of convergence. While the lower branches of our solutions, indicative of the amplitude threshold required to trigger the turbulent state, are well-converged, the upper branches disappear in a close vicinity of the saddle-node bifurcation. This is either related to the radius of convergence of the asymptotic series, Eq. (11), as mentioned above, or can be the direct consequence of the upper-branch non-linear state being turbulent, and the failure of the technique to capture it.

The solutions that we found in this work appear at the values of the Weissenberg number, \(W\!i_{sn}\sim 3\), that are somewhat lower than the onset of turbulence values reported in experiments in channel, \(W\!i_{onset}\sim 5\) [14, 15], and pipe flows, \(W\!i_{onset}\sim 4\) [8, 9]. This is not surprising since the fluids used in those works had significantly higher values of \(\beta \) than 0.05 employed here, which would result in higher values of \(W\!i_{sn}\). Moreover, those fluids exhibited various degrees of shear thinning, which is not included in the present analysis. While weak shear thinning is expected to postpone the transition to higher flow rates, due to effectively smaller relaxation times of the fluid (see [36], for example), the effect of strong shear thinning might be very different indeed. It has recently been demonstrated experimentally [37,38,39] and theoretically [40,41,42] that strongly elastic and shear thinning fluids exhibit flow instabilities that are absent in their non-shear-thinning counterparts. The interplay, if any, between those instabilities and the instability discussed here should therefore be carefully studied. Also, the dynamical systems scenario of the transition, if applicable in the viscoelastic case, would imply that \(W\!i_{sn}\) should be smaller than the value of \(W\!i_{onset}\) at which sustained turbulence can be observed, providing yet another explanation for the difference.^{Footnote 2} We do not argue in favour of either of the explanations and, instead, draw a more conservative conclusion that our work provides further evidence for a subcritical (nonlinear) instability scenario at moderate values of the Weissenberg number, and that it demonstrates that exact coherent solutions do exist in this type of viscoelastic flows and proper numerical investigation of such states is required.

While experiments provide very limited information about the spatial structure of purely elastic turbulence in parallel shear flows [8, 9, 14, 15], our work sheds light on what profiles might be expected in such geometries. First, we observe that, according to our calculations, the turbulent mean velocity profiles should exhibit a larger centre-line velocity than their laminar counterparts, see Fig. 8a. This is in stark contrast with the Newtonian turbulent mean profiles, which are plug-like due to the momentum re-distribution between the walls and the bulk, and are always slower than the corresponding laminar velocity field in the middle of the gap. Intriguingly, a similar profile was reported under certain conditions in recent experiments on pipe and channel flows of rather concentrated polymer solutions [38], where it was attributed to shear-thinning. The profiles reported here suggest that it might be a more generic feature related to the elasticity of the fluid. Our second observation comprises the existence of streamwise vortices and streaks in a plane perpendicular to the flow direction, Fig. 8b. These structures are a hallmark of Newtonian coherent structures, and it appears that they also play a role in viscoelastic non-linear solutions. This is, perhaps, not surprising since they feature prominently in non-normal growth analysis by Kumar and Jovanović [43, 44]. The associated stresses (not shown) are in line with the positions of large velocity gradients in-between the streamwise vortices, although both structures are tilted due to the travelling-wave nature of whole the state. Finally, the plane perpendicular to the spanwise *z*-direction contains widely-spaced co-rotating vortices interlaid with expanding-contracting streamlines and large, wall-localised stresses. Although such structures have not been reported in the literature, they are consistent with the near-wall mixing patterns observed by Qin *et al.* [15].

Although we are confident that we obtained converged non-linear states, their existence needs to be verified numerically, by searching for steady-state, travelling-waves, and periodic orbits, using a Newton-Raphson-type algorithm. Until recently, such calculations were not feasible as a Newton-Raphson step is akin to a time-iteration step for the same equations, and viscoelastic constitutive models are notoriously difficult to time-step at sufficiently high Weissenberg numbers (the so-called High-Weissenberg Number Problem [45]). In the past years, there emerged a class of numerical techniques to ensure positive-definiteness of the conformation tensor (absence thereof was implicated as a cause of the High- Weissenberg Number Problem), led by the log-conformation algorithm [46, 47], and a combination of such techniques with a Newton-Raphson-type algorithm should be able to overcome this problem. The states predicted in this work can then serve as a good initial guess for the search algorithm. Once found, upper branches of these solutions should be studied for their linear stability that will assess whether the transition mechanism in viscoelastic fluids bears similarities with its Newtonian counterpart. This work will be a subject of our future studies.

## Notes

Planar Poiseuille flow actually does become linearly unstable at sufficiently high Reynolds numbers, but this linear instability is actually irrelevant for the transition to turbulence, which happens at much lower Reynolds numbers.

One should also keep in mind that we study a mode which is fully periodic in the streamwise direction, whereas in the experiments the flow is perturbed by a small number of cylindrical obstacles in the flow channel.

## References

Cross, M.C., Hohenberg, P.C.: Pattern-formation outside of equilibrium. Rev. Mod. Phys.

**65**(3, 2), 851 (1993). https://doi.org/10.1103/RevModPhys.65.851van Saarloos, W.: In: Brujic, J., Grosberg, A. (eds.) Memories of Pierre Hohenberg. NYU Press (2018) (to appear)

van Saarloos, W., Hohenberg, P.C.: Fronts, pulses, sources and sinks in generalized complex Ginzburg-Landau equations. Physica D

**56**, 303 (1992)Eckhardt, B., Schneider, T.: How does flow in a pipe become turbulent? Eur. Phys. J. B

**64**(3–4), 457 (2008). https://doi.org/10.1140/epjb/e2008-00140-yBarkley, D.: Theoretical perspective on the route to turbulence in a pipe. J. Fluid Mech.

**803**, P1 (2016)White, C.M., Mungal, M.G.: Mechanics and prediction of turbulent drag reduction with polymer additives. Annu. Rev. Fluid Mech.

**40**(1), 235 (2008)Ho, T., Denn, M.: Stability of plane poiseuille flow of a highly-elastic liquid. J. Non-Newton. Fluid Mech.

**3**(2), 179 (1977)Bertola, V., Meulenbroek, B., Wagner, C., Storm, C., Morozov, A.N., van Saarloos, W., Bonn, D.: Experimental evidence for an intrinsic route to polymer melt fracture phenomena: a nonlinear instability of viscoelastic Poiseuille flow. Phys. Rev. Lett.

**90**(11), 114502 (2003). https://doi.org/10.1103/PhysRevLett.90.114502Bonn, D., Ingremeau, F., Amarouchene, Y., Kellay, H.: Large velocity fluctuations in small-Reynolds-number pipe flow of polymer solutions. Phys. Rev. E

**84**(4, 2), 045301 (2011). https://doi.org/10.1103/PhysRevE.84.045301Meulenbroek, B., Storm, C., Bertola, V., Wagner, C., Bonn, D., van Saarloos, W.: Intrinsic route to melt fracture in polymer extrusion: a weakly nonlinear subcritical instability of viscoelastic Poiseuille flow. Phys. Rev. Lett.

**90**(2), 024502 (2003). https://doi.org/10.1103/PhysRevLett.90.024502Meulenbroek, B., Storm, C., Morozov, A.N., van Saarloos, W.: Weakly nonlinear subcritical instability of visco-elastic Poiseuille flow. J. Non-Newton. Fluid Mech.

**116**(2–3), 235 (2004). https://doi.org/10.1016/j.jnnfm.2003.09.003Morozov, A., van Saarloos, W.: Subcritical finite-amplitude solutions for plane Couette flow of viscoelastic fluids. Phys. Rev. Lett.

**95**, 024501 (2005)Morozov, A.N., van Saarloos, W.: An introductory essay on subcritical instabilities and the transition to turbulence in visco-elastic parallel shear flows. Phys. Rep.

**447**(3–6), 112 (2007)Pan, L., Morozov, A., Wagner, C., Arratia, P.E.: Nonlinear elastic instability in channel flows at low Reynolds numbers. Phys. Rev. Lett.

**110**(17), 174502 (2013). https://doi.org/10.1103/PhysRevLett.110.174502Qin, B., Arratia, P.E.: Characterizing elastic turbulence in channel flows at low Reynolds number. Phys. Rev. Fluids

**2**, 083302 (2017)Morozov, A.N.: W. van Saarloos. In: Mullin, T., Kerswell, R. (eds.) IUTAM Symposium on Laminar-Turbulent Transition and Finite Amplitude Solutions, Fluid Mechanics and its Applications, vol. 77, pp. 313–330. Springer, Dordrecht (2005)

van Hecke, M., Hohenberg, P.C., van Saarloos, W.: In: van Beijeren, H., Ernst, M.H. (eds.) Fundamental Problems in Statistical Mechanics VIII. North-Holland, Amsterdam (1994)

Gorodtsov, V., Leonov, A.: On a linear instability of a plane parallele couette flow of viscoelastic fluid. J. Appl. Math. Mech.

**31**, 310 (1967)Schmid, P., Henningson, D.: Stability and Transition in Shear Flows. Applied Mathematical Sciences. Springer, New York (2000)

Groisman, A., Steinberg, V.: Elastic turbulence in curvilinear flow of polymer solutions. New J. Phys.

**6**(29), 1 (2004)Larson, R.G.: Instabilities in viscoelastic flows. Rheol. Acta

**31**(3), 213 (1992)Shaqfeh, E.S.G.: Purely elastic instabilities in viscometric flows. Annu. Rev. Fluid Mech.

**28**(1), 129 (1996)Bird, R.B., Armstrong, R.C., Hassager, O.: Dynamics of Polymeric Liquids: Fluid Mechanics, vol. 1, 2nd edn. John Wiley and Sons Inc., New York, NY (1987)

Larson, R.: Constitutive Equations for Polymer Melts and Solutions. Biotechnology Series. Butterworths, London (1988)

Morozov, A.N., Spagnolie, S.E.: In: Spagnolie, S.E. (ed.) Complex Fluids in Biological Systems. Biological and Medical Physics, Biomedical Engineering, pp. 3–52. Springer, New York (2015). https://doi.org/10.1007/978-1-4939-2065-5

Wilson, H.J., Renardy, M., Renardy, Y.Y.: Structure of the spectrum in zero Reynolds number shear flow of the UCM and Oldroyd-B liquids. J. Non-Newton. Fluid Mech.

**80**, 251 (1999)Canuto, C., Hussaini, M., Quarteroni, A., Zang, T.: Spectral Methods in Fluid Dynamics. Springer, Berlin (1988)

Jones, E., Oliphant, T., Peterson, P. et al.: SciPy: Open source scientific tools for Python (2001–). https://www.scipy.org/

Groisman, A., Steinberg, V.: Elastic turbulence in a polymer solution flow. Nature

**405**, 53 (2000)Burghelea, T., Segre, E., Steinberg, V.: Elastic turbulence in von Karman swirling flow between two disks. Phys. Fluids

**19**(5), 053104 (2007). https://doi.org/10.1063/1.2732234Stone, P.A., Roy, A., Larson, R.G., Waleffe, F., Graham, M.D.: Polymer drag reduction in exact coherent structures of plane shear flow. Phys. Fluids

**16**, 3470 (2004)Dubief, Y., Terrapon, V.E., White, C.M., Shaqfeh, E.S.G., Moin, P., Lele, S.K.: On the coherent drag-reducing and turbulence-enhancing behaviour of polymers in wall flows. J. Fluid Mech.

**514**, 271 (2004)Roy, A., Morozov, A., van Saarloos, W., Larson, R.G.: Mechanism of polymer drag reduction using a low-dimensional model. Phys. Rev. Lett.

**97**, 234501 (2006)Samanta, D., Dubief, Y., Holzner, M., Schfer, C., Morozov, A.N., Wagner, C., Hof, B.: Elasto-inertial turbulence. Proc. Natl. Acad. Sci.

**110**, 10557–10562 (2013)Choueiri, G.H., Lopez, J.M., Hof, B.: Exceeding the asymptotic limit of polymer drag reduction. Phys. Rev. Lett.

**120**, 124501 (2018)Casanellas, L., Alves, M.A., Poole, R.J., Lerouge, S., Lindner, A.: The stabilizing effect of shear thinning on the onset of purely elastic instabilities in serpentine microflows. Soft Matter

**12**(29), 6167 (2016)Bodiguel, H., Beaumont, J., Machado, A., Martinie, L., Kellay, H., Colin, A.: Flow enhancement due to elastic turbulence in channel flows of shear thinning fluids. Phys. Rev. Lett.

**114**, 028302 (2015)Poole, R.J.: Elastic instabilities in parallel shear flows of a viscoelastic shear-thinning liquid. Phys. Rev. Fluids

**1**, 041301 (2016)Picaut, L., Ronsin, O., Caroli, C., Baumberger, T.: Experimental evidence of a helical, supercritical instability in pipe flow of shear thinning fluids. Phys. Rev. Fluids

**2**, 083303 (2017)Wilson, H., Rallison, J.: Instability of channel flow of a shear-thinning White Metzner fluid. J. Non-Newton. Fluid Mech.

**87**, 75 (1999)Wilson, H.J., Loridan, V.: Linear instability of a highly shear-thinning fluid in channel flow. J. Non-Newton. Fluid Mech.

**223**, 200 (2015)Castillo, H.A., Wilson, H.J.: Towards a mechanism for instability in channel flow of highly shear-thinning viscoelastic fluids. J. Non-Newton. Fluid Mech.

**247**, 15 (2017)Jovanović, M.R., Kumar, S.: Transient growth without inertia. Phys. Fluids

**22**(2), 023101 (2010)Jovanović, M.R., Kumar, S.: Nonmodal amplification of stochastic disturbances in strongly elastic channel flows. J. Non-Newton. Fluid Mech.

**166**(14), 755 (2011)Owens, R., Phillips, T.: Computational Rheology. Computational Rheology. Imperial College Press, London (2002)

Fattal, R., Kupferman, R.: Time-dependent simulation of viscoelastic flows at high Weissenberg number using the log-conformation representation. J. Non-Newton. Fluid Mech.

**126**(1), 23 (2005)Pimenta, F., Alves, M.: Stabilization of an open-source finite-volume solver for viscoelastic fluid flows. J. Non-Newton. Fluid Mech.

**239**, 85 (2017)

## Acknowledgements

Discussions with Paulo Arratia are kindly acknowledged. The numerical code used in this work and further research outputs generated through the EPSRC grant EP/I004262/1 can be found at https://doi.org/10.7488/ds/2510.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

A.M. acknowledges support from the UK Engineering and Physical Sciences Research Council (Grant Number EP/I004262/1). The numerical code used to perform the calculations reported here can be found at https://doi.org/10.7488/ds/2510 (to be added at the proofs stage)

## Appendices

### Appendix A: Explicit Form of the Matrix Equation

As discussed in the main text, the equations of motion Eqs. (21)–(24) can be written in the matrix form

where \(V=\left( v_x,v_y,v_z,\tau _{xx},\tau _{xy},\tau _{xz},\tau _{yy},\tau _{yz},\tau _{zz},p\right) ^\dagger \) is the dimensionless deviation of the hydrodynamic fields from their laminar values (we have dropped the superscript ”1” in Eqs. (27) and (28) to simplify notation). The operator \({\hat{A}}\) is given by a constant diagonal matrix

while the linear operator \(\hat{{\mathcal {L}}}\) is define by it action on *V*

Here, \({\hat{X}}_1 = 1+ W\!i\,{\mathcal {U}}_0\,\partial _x\) and \({\hat{X}}_2 = \left( 1+2\,W\!i^2\,{\mathcal {U}}_0'^2 \right) \partial _x + W\!i\,{\mathcal {U}}_0'\,\partial _y\), and the dimensionless laminar velocity profile is given by \({\mathcal {U}}_0(y) = 1-y^2\).

The r.h.s. of Eq. (29) represents the non-linear terms in the original equations Eqs. (21)–(24), and is given by a bilinear form

Obviously, \(N\left( A,B\right) \ne N\left( B,A\right) \).

### Appendix B: Adjoint Operator

The actual form of the adjoint operator \(\hat{{\mathcal {L}}}^\dagger \) is obtained by using in Eq. (6) the expression for the linear operator \(\hat{{\mathcal {L}}}\), defined above, and performing integration-by-parts. Again, we define \(\hat{\mathcal L}^\dagger \) by its action on a mode \(W=\left( \nu _x,\nu _y,\nu _z,s_{xx},s_{xy},s_{xz},s_{yy},s_{yz},s_{zz},\pi \right) ^\dagger \), which is given by

where \({\hat{Y}}_1 = 1- W\!i\,{\mathcal {U}}_0\,\partial _x\). The adjoint velocities \(\nu \) are subject to the boundary conditions

which follow from the requirement that the boundary terms from the integration by parts in Eq. (6) vanish for any \(V_1\) satisfying Eq. (24).

### Appendix C: Higher-Order Coefficients for the Amplitude Equation

In Sect. 3 we demonstrated how the coefficient \(C_3\) can be determined from Eq. (5). Here, we list the expressions for higher-order coefficients *C*’s and the associated functions \(u_n^{(m)}(y)\) from Eq. (4), obtained in the manner discussed in Sect. 3.

To \(O\left( \varPhi |\varPhi |^4\right) \), we have

which yields

where, as in Sect. 3,

To \(O\left( \varPhi |\varPhi |^6\right) \), we have

which yields

To \(O\left( \varPhi |\varPhi |^8\right) \), we have

which yields

To \(O\left( \varPhi |\varPhi |^{10}\right) \), we have

which, finally, yields

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## About this article

### Cite this article

Morozov, A., van Saarloos, W. Subcritical Instabilities in Plane Poiseuille Flow of an Oldroyd-B Fluid.
*J Stat Phys* **175**, 554–577 (2019). https://doi.org/10.1007/s10955-019-02268-6

Received:

Accepted:

Published:

Issue Date:

DOI: https://doi.org/10.1007/s10955-019-02268-6