1 Introduction
In contrast to laminar–turbulent transition in rigid tubes and channels, it has been recently experimentally well-established (Kumaran & Muralikrishnan Reference Kumaran and Muralikrishnan2000; Eggert & Kumar Reference Eggert and Kumar2004; Verma & Kumaran Reference Verma and Kumaran2012, Reference Verma and Kumaran2013; Kumaran Reference Kumaran2015; Neelamegam & Shankar Reference Neelamegam and Shankar2015; Srinivas & Kumaran Reference Srinivas and Kumaran2015, Reference Srinivas and Kumaran2017) that instability and transition in tubes and channels with deformable walls can occur at Reynolds numbers (
${\sim}200{-}800$
) much lower than their rigid counterparts, and that the transition is significantly affected by the elastic modulus of the deformable wall. There have been several efforts on the theoretical side over the last two decades which revealed qualitatively different mechanisms of the instability that arises when the dynamics of the perturbations in the fluid and solid are coupled (Shankar Reference Shankar2015). Despite the substantial progress made in this subject, several fundamental issues in the formulation of the problem remain unresolved.
Earlier theoretical studies (e.g. Kumaran Reference Kumaran1995b , Reference Kumaran1998; Shankar & Kumaran Reference Shankar and Kumaran1999, Reference Shankar and Kumaran2000) used the linear elastic solid model for modelling the deformations in the solid, which is strictly valid only in the limit of infinitesimal strains (Malvern Reference Malvern1969). However, even in a linear stability analysis involving only infinitesimal perturbations (and hence infinitesimal perturbation strains in the solid), the base state strain in a soft, deformable solid is not necessarily small under experimental conditions. Hence, as first pointed out by Gkanis & Kumar (Reference Gkanis and Kumar2003), consistency demands that a frame-invariant model valid at finite deformations, such as the neo-Hookean model, must be used to model deformations in the solid. Gkanis & Kumar (Reference Gkanis and Kumar2003) showed that for planar Couette flow, in the creeping-flow limit, results from both the linear elastic and neo-Hookean models agree qualitatively when the ratio of solid to fluid thickness is greater than unity. A similar exercise carried out for Hagen–Poiseuille flow in a deformable tube in the creeping-flow limit, however, found that the linear elastic model predicted an instability (Kumaran Reference Kumaran1995b ) but the neo-Hookean formulation did not (Gaurav & Shankar Reference Shankar2009). This discrepancy points to the need for a fundamentally consistent formulation that unambiguously predicts the presence or absence of an instability.
A first step in this direction was taken by Chokshi & Kumaran (Reference Chokshi and Kumaran2008a ) for plane Couette flow past a deformable (neo-Hookean) solid layer, where they demonstrated that both Eulerian and Lagrangian formulations for the solid yield the same result consistent with that of Gkanis & Kumar (Reference Gkanis and Kumar2003). It must be noted that while the fluid is naturally treated in an Eulerian framework, the deformable solid could be treated either in a Lagrangian or an Eulerian framework. However, as we explain in detail later in this paper, our attempts at an extension of the approach of Chokshi & Kumaran (Reference Chokshi and Kumaran2008a ) failed to resolve the above-mentioned discrepancy for the stability of Hagen–Poiseuille flow in a deformable neo-Hookean tube, with their Eulerian and Lagrangian formulations yielding drastically different results. With the advent of many experimental studies carried out to validate theoretical predictions, there is a genuine need for an unambiguous formulation for the stability of the coupled fluid–solid problem, which is consistent for different geometric configurations. With this motivation, in the present study, we develop consistent Lagrangian and Eulerian formulations for the coupled fluid–solid problem and demonstrate this for plane Couette flow and, importantly, for Hagen–Poiseuille flow in a deformable tube. We thereby arrive at a resolution to the puzzle regarding the question of stability of Hagen–Poiseuille flow in a neo-Hookean tube. In the remainder of this introduction, we briefly review the relevant previous theoretical efforts and place the present work in the context of the existing literature.
The study of the stability of fluid flow past deformable surfaces has its origins in the understanding of the phenomenon of drag reduction due to transition delay by the compliant surface, and most of the earlier studies had focussed on external (i.e. boundary layer) flows past a compliant surface (Benjamin Reference Benjamin1960; Landahl Reference Landahl1962; Benjamin Reference Benjamin1963; Carpenter & Garrad Reference Carpenter and Garrad1985, Reference Carpenter and Garrad1986; Carpenter & Gajjar Reference Carpenter and Gajjar1990; Carpenter & Morris Reference Carpenter and Morris1990). In contrast, ‘internal’ flows in conduits and tubes with deformable walls are also very relevant to many biological flows (Grotberg & Jensen Reference Grotberg and Jensen2004; Grotberg Reference Grotberg2011), as well as to microfluidic flows in tubes and channels made of soft elastomers (McDonald & Whitesides Reference Mcdonald and Whitesides2002; Squires & Quake Reference Squires and Quake2005), especially in the context of a manyfold increase of mass transfer rates in the unstable flow regime (Shrivastava, Cussler, & Kumar Reference Shrivastava, Cussler and Kumar2008; Kumaran & Bandaru Reference Kumaran and Bandaru2016). While there have been some early attempts at the stability of internal flows in conduits with deformable walls (Garg Reference Garg1977; Krindel & Silberberg Reference Krindel and Silberberg1979; Davies & Carpenter Reference Davies and Carpenter1997), a systematic study of internal flows in deformable tubes and channels was initiated by Kumaran and co-workers (e.g. Kumaran Reference Kumaran, Carpenter and Pedley2003), wherein the linear elastic solid model was used to describe the deformations in the solid. These studies have established that there are two qualitatively different unstable modes in the high Reynolds number regime: (i) ‘inviscid modes’ in which the critical Reynolds number for instability is proportional to
$G^{1/2}$
and (ii) ‘wall modes’ in which the critical Reynolds number is proportional to
$G^{3/4}$
, where
$G$
is the shear modulus of the deformable wall. While the presence of inviscid modes is somewhat specific to the geometry and/or the nature of disturbances (axisymmetric versus non-axisymmetric), wall modes are a generic class of unstable modes that are present in any viscous shear flow past a deformable solid surface.
An important ingredient in the theoretical analysis to solve the coupled fluid–solid problem is the model used to describe the constitutive nature of the deformable solid. While earlier studies (see Kumaran Reference Kumaran1995a
,Reference Kumaran
b
; Shankar & Kumaran Reference Shankar and Kumaran1999, for example) had used the linear elastic model for the solid, later work by Gkanis & Kumar (Reference Gkanis and Kumar2003, Reference Gkanis and Kumar2005), Chokshi & Kumaran (Reference Chokshi and Kumaran2008a
,Reference Chokshi and Kumaran
b
) has demonstrated the importance of using a nonlinear elastic description more appropriate for finite deformations in the base state. In the base state, there is a balance between viscous stresses in the fluid (
${\sim}V\unicode[STIX]{x1D702}/R$
) and elastic stresses in the solid (
${\sim}G$
), and this balance yields
$\unicode[STIX]{x1D6E4}\equiv V\unicode[STIX]{x1D702}/GR$
, where
$\unicode[STIX]{x1D6E4}$
is a non-dimensional quantity and is the ratio of viscous stresses in the fluid to elastic stresses in the solid, which is also a measure of the strain in the base state of the solid. Here,
$V$
,
$\unicode[STIX]{x1D702}$
,
$G$
and
$R$
are respectively the velocity scale in the base flow, viscosity of the fluid, shear modulus of the solid and length scale of the flow geometry.
In the high Reynolds number (
$Re$
) regime, previous studies (using the linear elastic model) have shown that the critical value of
$\unicode[STIX]{x1D6E4}\propto Re^{-1/3}$
for wall modes (Shankar & Kumaran Reference Shankar and Kumaran2001, Reference Shankar and Kumaran2002), while for inviscid modes,
$\unicode[STIX]{x1D6E4}\propto Re^{-1}$
(Shankar & Kumaran Reference Shankar and Kumaran1999, Reference Shankar and Kumaran2000). Thus, in the
$Re\gg 1$
regime, the critical value of base state strain
$\unicode[STIX]{x1D6E4}$
required for instability is asymptotically small, thereby rendering the predictions obtained using the linear elastic model internally consistent. Hence it can be expected that the linear elastic solid would yield qualitatively correct results in the
$Re\gg 1$
limit. Indeed, subsequent studies of Gaurav & Shankar (Reference Shankar2009, Reference Shankar2010) using the neo-Hookean model have shown that the stability results are rather insensitive to the nature of the constitutive relation used to model the solid deformation at high
$Re$
. Experimental results (Verma & Kumaran Reference Verma and Kumaran2012, Reference Verma and Kumaran2013), however, indicate instability in tubes and channels with deformable walls occur at
$Re\sim 200{-}800$
, and it is not a priori clear whether theoretical predictions using the linear elastic model would be valid at this moderate Reynolds number.
In the limit of very low Reynolds number, theoretical predictions using the linear elastic solid model show that there is an instability when the parameter
$\unicode[STIX]{x1D6E4}$
exceeds a critical value for all the canonical unidirectional shear flows (viz., plane Couette flow, plane Poiseuille flow and Hagen–Poiseuille flow). The most unstable mode corresponds to wavelengths comparable to the tube radius or channel width, and hence this instability referred to as a ‘finite-wave’ instability. However, in the
$Re\ll 1$
regime, the critical value of the parameter
$\unicode[STIX]{x1D6E4}$
is typically
$O(1)$
when the flow is unstable, thus raising a question on the applicability of the linear elastic model for describing deformations in the solid. This was first addressed by Gkanis & Kumar (Reference Gkanis and Kumar2003) for plane Couette flow of a Newtonian fluid in the creeping-flow limit where the solid was modelled using the (frame-invariant) neo-Hookean model valid at finite strains in the solid. They showed that the use of neo-Hookean model introduces a new instability at high wavenumber (or, short wavelength, i.e. at wavelengths much smaller than the channel width) driven by the first normal stress difference in the base state, which is absent in the linear elastic model (Kumaran, Fredrickson & Pincus Reference Kumaran, Fredrickson and Pincus1994). This new instability leads to differences in the predictions of critical value of
$\unicode[STIX]{x1D6E4}$
required for instability for
$H<1$
, but both models predict similar results for
$H>1$
, where
$H$
is the ratio of thickness of solid to fluid (Gkanis & Kumar Reference Gkanis and Kumar2003). This characteristic presence of high-wavenumber instability arising in the neo-Hookean model has also been confirmed for plane Poiseuille flow (Gkanis & Kumar Reference Gkanis and Kumar2005), but due to the use of inconsistent interface conditions, Gkanis & Kumar (Reference Gkanis and Kumar2005) also predicted the presence of finite-wave instability in the creeping-flow limit, which was later shown to be absent by Gaurav & Shankar (Reference Shankar2010) by using consistent interface conditions.
The Lagrangian formulation (for the solid) of Gkanis & Kumar (Reference Gkanis and Kumar2003, Reference Gkanis and Kumar2005) uses the position coordinates of material points in the unstressed state as the independent variables. Henceforth, this Lagrangian formulation will be referred as the ‘L2’ formulation for the sake of brevity. The notation L2 refers to the Lagrangian formulation having two states, viz., undeformed and perturbed states, as the relevant states of description in the solid. As discussed by Gaurav & Shankar (Reference Shankar2010), in the L2 formulation, it is necessary to Taylor expand the base state fluid quantities from pre-stressed state to the undeformed state. This step is ambiguous as base state deformations in the solid are finite and hence the Taylor series expansion cannot be truncated to the linear order. One of the effects of the above inconsistency was the need to multiply fluid quantities with an exponential pre-factor (which arises while deriving interfacial conditions) that multiplies all the (homogeneous) interface conditions in the eigenvalue problem, thus leaving the eigenvalue unaffected. In the present work, we show that the use of the modified L3 formulation proposed in the paper removes the above inconsistencies in the formulation of the linearized conditions at the interface. In the ensuing discussion, the L2 formulation as proposed in the work of Gaurav & Shankar (Reference Shankar2010) will be referred as ‘old L2’ formulation, and the proposed consistent L2 formulation as simply the ‘L2’ formulation. The old L2 formulation and the L2 formulation proposed in this work differ only in the treatment of the linearized interface conditions.
Gaurav & Shankar (Reference Shankar2009) further predicted that there is no finite-wave instability in the creeping-flow limit for flow in a deformable tube modelled using the neo-Hookean model, which contradicts the earlier predictions of Kumaran (Reference Kumaran1995b ). Verma & Kumaran (Reference Verma and Kumaran2012, Reference Verma and Kumaran2013) experimentally studied the plane Poiseuille and Hagen–Poiseuille flow with deformable walls, and observed that the theoretical predictions (using the neo-Hookean model) and experimental observations for the transition Reynolds number do not agree. Similarly, Neelamegam & Shankar (Reference Neelamegam and Shankar2015) studied the onset of instability for Hagen–Poiseuille flow through tube with deformable walls and found that the scalings predicted by theory (using the neo-Hookean model) and experiments do not agree. However, a recent study by Verma & Kumaran (Reference Verma and Kumaran2015) has argued that it is more appropriate to consider the stability of the flow in the deformed configuration, as there is a non-negligible alteration of the shape of the deformable tube/channel due to the applied pressure gradient. By accounting for this modified base flow profile in the stability analysis, they found that the agreement between theory and experiments improved.
The studies discussed above used the old L2 formulation (with some inconsistencies, as discussed later in the manuscript) but Chokshi & Kumaran (Reference Chokshi and Kumaran2007, Reference Chokshi and Kumaran2008a ,Reference Chokshi and Kumaran b ), introduced a modified Lagrangian formulation while studying the weakly nonlinear stability of plane Couette flow past a neo-Hookean solid, referred henceforth as ‘L3’ where ‘L’ and ‘3’ stand respectively for Lagrangian and the number of states relevant in the formulation while carrying out the stability analysis. The three states that are important in the L3 formulation are the undeformed state, pre-stressed state (deformed base state) and the perturbed state similar to the L2 formulation used in previous works (Gkanis & Kumar Reference Gkanis and Kumar2003; Gaurav & Shankar Reference Shankar2009, Reference Shankar2010) but the L3 formulation uses the pre-stressed state as the reference state. We demonstrate that the L3 formulation of Chokshi & Kumaran (Reference Chokshi and Kumaran2007) is inconsistent as the base state (pre-stressed state) quantities were left as functions of undeformed coordinates, while the perturbed state quantities were functions of pre-stressed state coordinates. However, consistency demands that the base state quantities must be functions of the pre-stressed state coordinates.
Further, Chokshi & Kumaran (Reference Chokshi and Kumaran2008a ,Reference Chokshi and Kumaran b ) introduced an Eulerian formulation to study the stability of plane Couette flow of a viscoelastic fluid past a neo-Hookean solid. They also showed that the results predicted by using their Eulerian formulation agreed with the results from their L3 formulation both for linear and weakly nonlinear stability of plane Couette flow of a Newtonian fluid past a neo-Hookean solid for two-dimensional perturbations in the creeping-flow limit. Henceforth, we refer to the Eulerian formulation of Chokshi & Kumaran (Reference Chokshi and Kumaran2007) as ‘Eulerian (CK)’. The neo-Hookean constitutive model in the Eulerian (CK) formulation appears to have been proposed in analogy with the constitutive relation for a Newtonian fluid, rather than by using the strain-energy function appropriate to the neo-Hookean solid, as is the standard practice in solid mechanics (Macosko Reference Macosko1994; Holzapfel Reference Holzapfel2000). It must be noted that for the neo-Hookean solid (in the Lagrangian formulation), the strain-energy function is a function of only the first invariant of the left Cauchy–Green tensor (Malvern Reference Malvern1969; Holzapfel Reference Holzapfel2000). However, we show in this paper that the purported Eulerian (neo-Hookean) constitutive relation proposed by Chokshi & Kumaran (Reference Chokshi and Kumaran2008a ,Reference Chokshi and Kumaran b ) assumes the strain energy as a function of only the second invariant of the left Cauchy–Green tensor (Holzapfel Reference Holzapfel2000). Thus, the nonlinear constitutive model used by (Chokshi & Kumaran Reference Chokshi and Kumaran2008a ,Reference Chokshi and Kumaran b ) is really not the conventional neo-Hookean model (Macosko Reference Macosko1994; Holzapfel Reference Holzapfel2000), but is in fact a special case of the Mooney–Rivlin constitutive model.
In this connection, there is a rather direct analogy with the development of constitutive relations for polymer solutions (Bird, Armstrong & Hassager Reference Bird, Armstrong and Hassager1977; Larson Reference Larson1988), wherein purely on continuum grounds, there are two admissible constitutive relations, viz., upper-convected Maxwell (and Oldroyd-B with solvent contribution) and lower-convected Maxwell (and Oldroyd-A with solvent) models. However, experiments and molecular theories tend to support the upper-convected Maxwell/Oldroyd-B model. It can be shown that the use of the constitutive relation proposed by Chokshi & Kumaran (Reference Chokshi and Kumaran2008a ) for the deformable solid is akin to the use of lower-convected Maxwell/Oldroyd-A model for polymer solutions. It can thus be expected that the results from neo-Hookean constitutive model for Eulerian (CK) formulation (Chokshi & Kumaran Reference Chokshi and Kumaran2008a ) need not necessarily agree with their L3 formulation. We demonstrate this by using the Eulerian (CK) formulation proposed by Chokshi & Kumaran (Reference Chokshi and Kumaran2008a ) for the stability analysis of the plane Couette flow past a neo-Hookean surface and Hagen–Poiseuille flow through a neo-Hookean tube. Our analysis reveals, unexpectedly, that the results from the L3 and Eulerian (CK) formulations agree exactly for plane Couette flow (as also shown in Chokshi & Kumaran (Reference Chokshi and Kumaran2008a )), but this conclusion turns out to be a fortuitous coincidence for this specific geometry. In marked contrast, for Hagen–Poiseuille flow, the Eulerian (CK) formulation predicts a finite-wave instability which contradicts the predictions obtained by using L3 formulation. To resolve this, we propose a (consistent) Eulerian form for the neo-Hookean constitutive relation. In the absence of the strain-energy function as a function of current coordinates, we use the relation between deformation gradients in Lagrangian and Eulerian formulations to arrive at the alternative form of the neo-Hookean constitutive model in the Eulerian framework. Using this consistent Eulerian formulation of the neo-Hookean constitutive relation, we show that the results from the stability analyses (using the proposed Lagrangian L2 and L3, and Eulerian) are in exact agreement, thus demonstrating, for the first time, the consistency of the linear stability results for Hagen–Poiseuille flow in a neo-Hookean tube across various formulations.
The rest of this paper is structured as follows: the neo-Hookean constitutive relation in the Lagrangian formulation and its application to L3 formulation in general and for Hagen–Poiseuille flow in a neo-Hookean tube in particular are presented in § 2.1. In § 2.2 the proposed Eulerian formulation is discussed in which we outline general procedure to solve the stability problem of flow past a neo-Hookean solid using the proposed consistent neo-Hookean model in Eulerian frame of reference. We apply the proposed Eulerian formulation to the stability of Hagen–Poiseuille through a neo-Hookean tube in § 2.2. The results obtained by using Lagrangian (L2 and L3) and Eulerian (Eulerian (CK) and the proposed Eulerian) formulations for plane Couette flow past a neo-Hookean solid and Hagen–Poiseuille through a neo-Hookean tube in creeping-flow limit are presented in § 3.1. Section 3.2 discusses the effect of finite
$Re$
, i.e. the presence of inertial terms in both the fluid and solid, on the agreement among various formulations. The effect of including solid dissipation in the L2 and L3 formulations is presented in § 3.3. The salient conclusions of this work are presented in § 4. The Eulerian (CK) formulation for Hagen–Poiseuille flow through a neo-Hookean tube is presented in appendix A. A consistent approach to obtain linearized interface boundary conditions for the L3 formulation is outlined in appendix B. In appendix C, we provide the linearized perturbation equations in the L3 formulation for plane Couette flow past a neo-Hookean solid.
2 Problem formulation
We consider two canonical unidirectional shear flows to illustrate our proposed formulation, viz., plane Couette flow past a neo-Hookean solid, and Hagen–Poiseuille flow through a neo-Hookean tube. Before presenting the governing equations for these flows, we first introduce the L3 formulation implemented in the subsequent discussion. A generic schematic representation of the three states of the solid is shown in figure 1 which is relevant for the different formulations discussed in this paper.

Figure 1. The undeformed (
$\boldsymbol{X}$
), pre-stressed (
$\bar{\boldsymbol{x}}$
), and perturbed (
$\boldsymbol{x}$
) states of the solid: initially the solid is in the undeformed state; upon imposition of the velocity field in the fluid creates a deformation in the solid to give rise to the pre-stressed base state. After imposition of perturbations, the solid will be in the perturbed state. The tensors
$\unicode[STIX]{x1D641}$
and
$\unicode[STIX]{x1D641}^{\prime }$
are defined in the text.
2.1 Lagrangian three state (L3) formulation
Our formulation closely resembles the ‘small-on-large theory’ of nonlinear elasticity (Toupin & Bernstein Reference Toupin and Bernstein1961; Norris Reference Norris, Destrade and Saccomandi2007) which involves the imposition of infinitesimal perturbations on a pre-stressed solid, and subsequent analysis of the dynamics of these perturbations. The use of small-on-large theory for studying wave motion in coupled fluid–solid systems is also prevalent in the theory of acoustoelasticity (Toupin & Bernstein Reference Toupin and Bernstein1961; Norris Reference Norris, Destrade and Saccomandi2007) where it is used to study the evolution of acoustic perturbations superposed on a pre-stressed solid. Norris (Reference Norris, Destrade and Saccomandi2007) utilized this framework to calculate the wave speed in granular materials and fluid/solid systems, where the linear elastic model was used to investigate the evolution of disturbances. In the present work, however, we use the neo-Hookean model for the solid.
The formulation presented below builds upon the work of Chokshi & Kumaran (Reference Chokshi and Kumaran2008a ), but with an important modification to remove an inconsistency in the earlier formulation discussed in detail below. Before proceeding to derive the base state and linearized perturbation equations, in the next subsection, we briefly recapitulate the derivation of the neo-Hookean constitutive relation in the Lagrangian formulation, which is applicable to both L2 and L3 formulations.
2.1.1 Neo–Hookean constitutive model
We consider a representative particle in the solid with position vector
$\boldsymbol{X}$
, which changes to
$\boldsymbol{x}$
because of a well-defined motion which relates
$\boldsymbol{X}$
and
$\boldsymbol{x}$
. The two-point tensor which maps
$\boldsymbol{X}$
to
$\boldsymbol{x}$
is called the deformation gradient
$\unicode[STIX]{x1D641}$
defined as (Malvern Reference Malvern1969; Holzapfel Reference Holzapfel2000)

In the present work we employ the following convention for the matrix elements of the deformation gradient tensor:

Some authors (e.g. Larson Reference Larson1999) use the transpose of the above matrix to represent the deformation gradient. In that case (the present)
$\unicode[STIX]{x1D641}$
in the constitutive equations must be replaced by (their)
$\unicode[STIX]{x1D641}^{\text{T}}$
for consistency. Malvern (Reference Malvern1969) uses the left operator
$\overleftarrow{\unicode[STIX]{x1D735}}$
to define above deformation gradient (2.2) while, the right operator
$\overrightarrow{\unicode[STIX]{x1D735}}$
is used to define the transpose of the above deformation gradient.
We assume an isotropic, incompressible, hyperelastic or Green-elastic material (Holzapfel Reference Holzapfel2000), i.e. a material for which strain-energy function
$\unicode[STIX]{x1D713}$
exists. In the Lagrangian formulation for such a material, the Cauchy stress tensor
$\unicode[STIX]{x1D748}$
is expressed in terms of the ‘Finger’ tensor (also referred to as the ‘left Cauchy–Green’ tensor),
$\unicode[STIX]{x1D657}=\unicode[STIX]{x1D641}\boldsymbol{\cdot }\unicode[STIX]{x1D641}^{\text{T}}$
and the strain-energy function
$\unicode[STIX]{x1D713}$
as (Holzapfel Reference Holzapfel2000):

where
$I_{1}$
and
$I_{2}$
are the first and second invariants of the tensor
$\unicode[STIX]{x1D657}$
and
$p_{g}$
is pressure field in the solid. For a Mooney–Rivlin solid, the strain-energy function is a linear function of
$I_{1}$
and
$I_{2}$
(Macosko Reference Macosko1994; Holzapfel Reference Holzapfel2000)

where
$C_{1}$
and
$C_{2}$
are the Mooney–Rivlin constants. Substituting the above equation in (2.3), we obtain

In order to be consistent with the linear elastic model for small deformations the shear modulus of the material is
$G=2(C_{1}+C_{2})$
(Holzapfel Reference Holzapfel2000). For a neo-Hookean solid, the strain-energy function is (Macosko Reference Macosko1994):

where
$G$
is the shear modulus of the solid. Substituting (2.6) in (2.3) and using the relation between the deformation gradient and
$\unicode[STIX]{x1D657}$
, we obtain

The above relation is the neo-Hookean constitutive model expressed in the Lagrangian formulation. Some authors (e.g. Larson Reference Larson1999) use the transpose of the matrix (2.2) to denote
$\unicode[STIX]{x1D641}$
, and in their convention, the neo-Hookean constitutive model will have a Cauchy stress tensor proportional to
$\unicode[STIX]{x1D641}^{\text{T}}\unicode[STIX]{x1D641}$
, eventually yielding the same matrix elements for the Cauchy stress tensor. From a molecular view point, the theory of rubber elasticity shows that the Cauchy stress tensor is a function of
$\unicode[STIX]{x1D657}$
(Larson Reference Larson1999). Thus, the construction of the neo-Hookean constitutive relation is unambiguous with the prescription of the appropriate strain-energy function.
2.1.2 Base state
We consider a solid which is initially in its undeformed state, and denote a material particle with the position vector,
$\boldsymbol{X}=(X_{1},X_{2},X_{3})$
. On this undeformed solid, a stress field is imposed by means of the fluid flowing past it. The continuity of the tangential and normal stress at the fluid–solid interface leads to a deformation field in the solid. We assume that the displacement in the solid due to fluid flow is only in the flow direction in the base state. The representative material particle will now assume a position vector,
$\bar{\boldsymbol{x}}=(\bar{x}_{1},\bar{x}_{2},\bar{x}_{3})$
. The current position vector,
$\bar{\boldsymbol{x}}$
, and the position vector in the undeformed configuration
$\boldsymbol{X}$
are related by

where
$\bar{\boldsymbol{u}}(\boldsymbol{X})$
is the Lagrangian displacement in the solid from undeformed state. To obtain the base (pre-stressed) state quantities, it is necessary to solve the momentum balance equations in the solid. The solid is assumed to be incompressible, and the incompressibility condition is given by
$\det (\bar{\unicode[STIX]{x1D641}})=1$
where,
$\bar{\unicode[STIX]{x1D641}}=\unicode[STIX]{x2202}\bar{\boldsymbol{x}}/\unicode[STIX]{x2202}\boldsymbol{X}$
is the base state deformation gradient. Here, an overbar is used to denote the base state quantities. The Cauchy stress in the base state for a neo-Hookean solid is

with
$\bar{p}_{g}$
being the pressure field in the solid in the base state. The momentum balance equation in the solid under steady base state conditions is (Malvern Reference Malvern1969; Holzapfel Reference Holzapfel2000),

where
$\bar{\unicode[STIX]{x1D64B}}$
is the first Piola–Kirchoff stress tensor which is related to the Cauchy stress tensor
$\bar{\unicode[STIX]{x1D748}}$
as (Malvern Reference Malvern1969)
$\bar{\unicode[STIX]{x1D64B}}=\bar{\unicode[STIX]{x1D641}}^{-1}\boldsymbol{\cdot }\bar{\unicode[STIX]{x1D748}}$
. It must be noted that some authors (e.g. Holzapfel Reference Holzapfel2000) define the first Piola–Kirchoff stress tensor as the transpose of the above definition. In that case, the momentum equation (2.10) would include the transpose of their first Piola–Kirchoff tensor (Holzapfel Reference Holzapfel2000) such that the eventual governing differential equations are identical. Assuming that the neo-Hookean solid is perfectly bonded to a rigid wall at a distance equal to the thickness of the deformable solid from the fluid–solid interface, we impose zero normal and tangential displacements at the rigid boundary. This implies

At the fluid–solid interface, the tangential and normal stress continuity conditions are needed to obtain the expressions for
$\bar{\boldsymbol{u}}$
and
$\bar{p}_{g}$
.
2.1.3 Perturbed state
We impose infinitesimal perturbations on the above pre-stressed state, and track the same representative material particle in order to study the response of the coupled system to perturbations. After imposing perturbations, the material particle has the position
$\boldsymbol{x}=(x_{1},x_{2},x_{3})$
. The relation between the pre-stressed state and the current position vector is

where
$\boldsymbol{u}^{\prime }(\bar{\boldsymbol{x}})$
is the Lagrangian displacement of the particle from its pre-stressed state. The overall deformation gradient is a two-point tensor which maps particle positions from the undeformed state to the current state, and has following form

where
$\unicode[STIX]{x1D641}^{\prime }$
is the perturbed state deformation gradient. Upon using the multiplicative property of determinants and the incompressibility condition for the base state, the incompressibility condition for the perturbed state becomes
$\det (\unicode[STIX]{x1D641}^{\prime })=1$
. The Cauchy stress tensor for a neo-Hookean solid with viscous dissipation is (Holzapfel Reference Holzapfel2000; Destarde & Saccomandi Reference Destarde and Saccomandi2004; Ma & Ng Reference Ma and Ng2009; Giribabu & Shankar Reference Giribabu and Shankar2016),

where
$p_{g}=\bar{p}_{g}+p_{g}^{\prime }$
,
$p_{g}^{\prime }$
is the perturbation to the pressure,
$\unicode[STIX]{x1D647}=\dot{\unicode[STIX]{x1D641}}\boldsymbol{\cdot }\unicode[STIX]{x1D641}^{-1}$
is the spatial velocity gradient and
$\unicode[STIX]{x1D702}_{g}$
is the viscosity of the neo-Hookean solid.
To define the first Piola–Kirchoff stress tensor, it must be noted that the reference configuration here is the pre-stressed state and it is necessary to take the dot product of the Cauchy stress tensor with an appropriate tensor which maps the current area to the pre-stressed area. This mapping is accomplished by the tensor
${\unicode[STIX]{x1D641}^{\prime }}^{-1}$
. In contrast, for the L2 formulation, the dot product of the Cauchy stress tensor with
$\unicode[STIX]{x1D641}^{-1}$
is taken so that the resulting first Piola–Kirchoff stress tensor can be interpreted as the current force acting per undeformed state area. This is illustrated schematically in figure 1. Therefore the first Piola–Kirchoff tensor defined with respect to the pre-stressed state as the reference state is given by (Chokshi & Kumaran Reference Chokshi and Kumaran2008a
)

The momentum balance equation in terms of the first Piola–Kirchoff stress tensor is given by

where
$\unicode[STIX]{x1D70C}$
is the density of the solid. It must be noted that thus far in the formulation, the base state quantities are functions of the coordinates of the undeformed state,
$\boldsymbol{X}$
, of the material particle, while the momentum balance equation for perturbations is defined in terms of pre-stressed coordinates of the particle,
$\bar{\boldsymbol{x}}$
, which was also the case with the earlier work of Chokshi & Kumaran (Reference Chokshi and Kumaran2008a
). If the base state quantities are left as such in the analysis, then while deriving the linearized momentum equations, the presence of base state quantities creates an inconsistency. Therefore, in order to maintain consistency with respect to independent variables in the momentum balance equation, it is necessary to convert the base state quantities from being functions of undeformed state coordinates to functions of the pre-stressed state coordinates. This is illustrated below by considering the specific case of Hagen–Poiseuille flow in a deformable neo-Hookean tube.
2.1.4 Hagen–Poiseuille flow
We consider an incompressible Newtonian fluid with density
$\unicode[STIX]{x1D70C}$
and viscosity
$\unicode[STIX]{x1D702}$
flowing through a tube of radius
$R_{t}$
which lies in domain
$0\leqslant r\leqslant R_{t}$
with deformable walls from
$r=R_{t}$
to
$r=R_{t}(1+H)$
. We consider the same geometry as was used by Gaurav & Shankar (Reference Shankar2009) for studying the temporal stability problem for Hagen–Poiseuille flow through a neo-Hookean tube. We non-dimensionalize lengths, velocity, pressure and stresses with respect to the radius of the tube
$R_{t}$
,
$GR_{t}/\unicode[STIX]{x1D702}$
and
$G$
, respectively. In the ensuing discussion, for the sake of brevity, the non-dimensional dynamical variables are denoted without any superscript. The continuity equation for the fluid is

The Navier–Stokes equations take the form

where,
$p$
is pressure in the fluid,
$\mathit{Re}=\unicode[STIX]{x1D70C}R_{t}V/\unicode[STIX]{x1D702}$
is Reynolds number and
$\unicode[STIX]{x1D6E4}=\unicode[STIX]{x1D702}V/GR_{t}$
, is the dimensionless velocity with
$V$
as the maximum velocity of the fluid in the base state. The base state velocity profile is the fully developed pressure-driven Hagen–Poiseuille flow in the tube

To obtain the base state in the solid, we assume that the displacement in the solid occurs only in the flow direction in the base state. While experiments have shown that there is a variation of the tube diameter in the flow direction (Verma & Kumaran Reference Verma and Kumaran2012), and hence the presence of a non-zero displacement in the radial direction, the magnitude of this radial displacement can be assumed to be small for the following reason. The pressure drop in the flow direction causes non-uniform displacement in the radial direction, leading to the variation of the tube diameter in the flow direction. The magnitude of the response (i.e. the radial displacement) will be determined by the non-dimensional strain in the solid, which is proportional to
$\unicode[STIX]{x1D6E4}$
(Verma & Kumaran Reference Verma and Kumaran2012). The pressure drop increases with increase in
$\mathit{Re}$
, hence the variation in the tube diameter along the flow direction will also increase with
$\mathit{Re}$
. At low
$\mathit{Re}$
, the variation of tube diameter is small (due to smaller pressure drops), and hence even for high values of
$\unicode[STIX]{x1D6E4}$
the deformation in the radial direction will be much smaller in comparison with the tangential deformation. Similarly, at high
$\mathit{Re}$
radial deformation becomes higher, but the critical
$\unicode[STIX]{x1D6E4}$
value (
$\unicode[STIX]{x1D6E4}_{c}$
) for which flow becomes temporally unstable also decreases according to
$\unicode[STIX]{x1D6E4}\sim Re^{-1/3}$
for wall modes and
$\unicode[STIX]{x1D6E4}\sim Re^{-1}$
for inviscid modes (Gaurav & Shankar Reference Shankar2009). Due to such low values of
$\unicode[STIX]{x1D6E4}$
the radial deformation will be much smaller in comparison with the tangential deformation. Thus, in both low and high Reynolds number regimes, the radial deformation of the solid in the base state can be assumed to be small when compared to the deformation in the flow direction. The governing equations for the perturbed state in dimensionless form are



where
$\unicode[STIX]{x1D702}_{r}=\unicode[STIX]{x1D702}_{g}/\unicode[STIX]{x1D702}$
. Following the procedure outlined in § 2.1.2, we define a motion which maps a representative material particle from the undeformed state to the deformed base state


Following § 2.1.2 we obtain the following expressions for solid deformation in the base state

and the pressure
$\bar{p}_{g}(R,Z)$
, for solid in the base state is obtained after using the normal stress continuity boundary condition at the fluid–solid interface:

Here the independent variables are the coordinates in the undeformed state. The above results are identical to those of Gaurav & Shankar (Reference Shankar2009), as the procedure is same. As mentioned at the end of the previous section, we next convert the base state quantities as a function of variables in the pre-stressed state. Equations (2.23) and (2.24) can also be written in following form,


Using the above inverted form for motion the base state quantities can be expressed in terms of pre-stressed state variables


where
$\unicode[STIX]{x1D6FC}$
is a constant of integration. Comparison of (2.26) and (2.30) for pressure shows the independence of
$\bar{p}_{g}$
on
$\bar{r}$
which is a major point of departure from the L2 formulation of Gaurav & Shankar (Reference Shankar2009). It must be noted that this difference arises because of the different reference frames and does not affect the results of the stability analysis.
The above change of variables can also be accomplished by directly substituting (2.27) and (2.28) in (2.26) to obtain,

Comparing (2.30) and (2.31) we obtain,
$\unicode[STIX]{x1D6FC}=4\unicode[STIX]{x1D6E4}^{2}(1+H)^{2}-4\unicode[STIX]{x1D6E4}^{2}$
, which confirms the consistency of our mathematical formulation. Equations (2.29) and (2.30) are then used to derive the Cauchy stress tensor in the base state

The first and second normal stress differences are,
$\unicode[STIX]{x1D70E}_{zz}-\unicode[STIX]{x1D70E}_{rr}=4\unicode[STIX]{x1D6E4}^{2}\bar{r}^{2}$
and
$\unicode[STIX]{x1D70E}_{rr}-\unicode[STIX]{x1D70E}_{\unicode[STIX]{x1D703}\unicode[STIX]{x1D703}}=0$
, respectively. On the above base state, infinitesimal axisymmetric perturbations are now imposed. The normal modes for the quantities on the fluid side are,

and for the variables on the solid side are,

where,
$k$
is wavenumber in axial direction while
$c=c_{r}+\text{i}c_{i}$
is the complex velocity of perturbations. Therefore the flow becomes temporally unstable if
$c_{i}>0$
. The governing equations for the fluid after linearization are



where,
$\text{D}=\text{d}/\text{d}r$
. Similarly, for the solid, the continuity equation is given by

and the linearized momentum equations are given by


here
$\text{D}=\text{d}/\text{d}\bar{r}$
. The above linearized governing equations are subject to the following boundary conditions. At
$r=0$
, the symmetry conditions are applicable at the centre of the tube:

At
$r=1$
, we use the linearized interface conditions at the fluid–solid interface. To derive interface conditions, it is necessary to Taylor expand the base state quantities of the fluid, because the solid is described in the Lagrangian frame of reference (material particle has same label, irrespective of the state) while the fluid is described in the Eulerian frame of reference. Gkanis & Kumar (Reference Gkanis and Kumar2005) Taylor expanded the base state quantities for both the fluid and solid while studying the linear stability analysis of plane Poiseuille flow through a neo-Hookean channel and predicted finite-wave instability in creeping-flow limit. Later Gaurav & Shankar (Reference Shankar2010) studied the same problem but Taylor expanded only the fluid side base state quantities and found that the finite-wave instability in the creeping-flow limit is absent. Lee et al. (Reference Lee, Maki, Flath, Weinstein, Kealey, Li, Talbot and Kumar2014), while studying gravity-driven instability of a thin liquid film underneath a soft solid, observed that if the solid is to be described in terms of Eulerian variables (upon transformation from Lagrangian variables), the interface conditions are not straightforward to derive. It must be noted that in the present work the deformable solid is described using both Lagrangian and Eulerian frames of reference and will be treated as such while solving the problem without inter-conversion of the quantities. Hence here, the ambiguity does not arise while deriving the interface conditions.
The disagreement between the predictions of Gkanis & Kumar (Reference Gkanis and Kumar2005) and Gaurav & Shankar (Reference Shankar2010) shows the importance of incorporating consistent interface conditions. In the present work, we show (see appendix B) that the base state quantities of the fluid side should be Taylor expanded in both the flow direction (
$z$
) and the normal direction to the flow (
$r$
) unlike in the case of Gaurav & Shankar (Reference Shankar2010) where they had Taylor expanded the base state quantities of the fluid only in the normal direction to the flow (
$r$
). It must be noted that in addition to the normal direction, a Taylor expansion of the fluid (base state) quantities is also needed in the flow direction in order to cancel out all the base state terms in the fluid and solid at the interface. The derivation of the linearized conditions in the L3 formulation is discussed at length in appendix B of this paper and the consequences of the Taylor expansion in both (flow and normal) directions on the stability of various flows will be addressed separately in a subsequent work. Here we give the final forms of the linearized continuity conditions at
$r=1$




Comparison of (2.38)–(2.40) and the above interface conditions for the solid with the linearized differential equations and interface conditions of Gaurav & Shankar (Reference Shankar2009) shows the difference in the manner in which interaction of the base state with the perturbations manifest themselves in the two formulations. The most important difference arises in the continuity equation, because there is no interaction term in the L3 formulation unlike in the old L2 formulation of Gaurav & Shankar (Reference Shankar2009). This is due to the fact that the material frame of reference in the case of Gaurav & Shankar (Reference Shankar2009) is the undeformed state, while in the present case it is the pre-stressed state. This change in reference frame should not, however, affect the conclusions made regarding the stability of the system. Also both frames are separated by a distance
$\bar{u}_{z}(r)$
, hence the displacements in the two formulations could be different but the velocities will not be different as neither frame is moving relative to the other. However, for interface conditions the difference arises not only because of the Taylor expansion of both fluid and solid base state quantities by Gaurav & Shankar (Reference Shankar2009) in the
$r$
direction but also because of the different frames of reference.
At
$r=1+H$
, we enforce zero radial and horizontal displacements as the neo-Hookean solid is assumed to be fixed to the rigid wall, which implies

The governing equations and the above boundary conditions are solved for the eigenvalue
$c$
using both numerical integration combined with shooting and pseudospectral (Boyd Reference Boyd2001) methods.
2.2 Eulerian formulation
The Eulerian formulation used here follows closely the procedure outlined in the work of Chokshi & Kumaran (Reference Chokshi and Kumaran2008a ,Reference Chokshi and Kumaran b ). However the principles used to arrive at the proposed neo-Hookean model are different from the development of the Eulerian (CK) formulation (see appendix A) as explained below.
2.2.1 Neo-Hookean constitutive model
The deformation gradient for the Eulerian formulation is (Malvern Reference Malvern1969; Chokshi & Kumaran Reference Chokshi and Kumaran2008a
)
$\unicode[STIX]{x1D65B}=\unicode[STIX]{x2202}\boldsymbol{X}/\unicode[STIX]{x2202}\boldsymbol{x}$
. A comparison of this relation with (2.1) leads to the relation between deformation gradients in the Eulerian and Lagrangian formulations

To derive the neo-Hookean model as in the case of the Lagrangian formulation (see § 2.1.1) we lack a strain energy function in solid mechanics literature for the Eulerian framework, i.e. strain-energy function as a function of the current coordinates. Instead we observe that some authors (Norris Reference Norris2008) have circumvented the problem of the non-existence of strain energy in the Eulerian formulation by using alternative relations which uses the definition of mechanical power and the rate of work per unit current volume of the material, to arrive at Eulerian conjugate stress and strain. This idea of using conjugate stress and strain in Eulerian formulation is a cumbersome mathematical procedure.
However, the uniqueness of Cauchy stress tensor can be utilized here to derive the neo-Hookean equation in the Eulerian formulation by using mathematical relation (2.47) directly in (2.7) to obtain (in non-dimensional form)

2.2.2 Base state
To obtain the equations of motion, we assume that initially the solid is in the undeformed state. The base state deformation gradient is

The incompressibility condition is (Chokshi & Kumaran Reference Chokshi and Kumaran2008a
,Reference Chokshi and Kumaran
b
)
$\det (\bar{\unicode[STIX]{x1D65B}})=1$
. The relation between the position of the particle in the deformed and undeformed configuration is,

here
$\bar{\boldsymbol{u}}(\boldsymbol{x})$
is the Eulerian base state displacement in the solid. The Cauchy stress for the base state by using (2.48) is

By using the above definition of the Cauchy stress tensor, the momentum balance equation for the steady base state is (Malvern Reference Malvern1969; Chokshi & Kumaran Reference Chokshi and Kumaran2008a )

After solving the governing equations for deformation
$\bar{\boldsymbol{u}}(\boldsymbol{x})$
and
$\bar{p}_{g}$
, the interface conditions (velocity and stress balance) at
$r=1$
and at
$r=1+H$
, boundary condition (2.11) is to be used to obtain expressions for
$\bar{\boldsymbol{u}}(\boldsymbol{x})$
and
$\bar{p}_{g}$
.
2.2.3 Perturbed state
We next impose perturbations on the above base state and track the representative particle, which now has the position vector
$\boldsymbol{x}=(x_{1},x_{2},x_{3})$
and is related to
$\boldsymbol{X}$
by following relation

here
$\bar{\boldsymbol{u}}^{\prime }(\boldsymbol{x},t)$
is the Eulerian perturbed state displacement in the solid. Hence for the perturbed state the deformation gradient modifies to
$\unicode[STIX]{x1D65B}=\unicode[STIX]{x2202}\boldsymbol{X}/\unicode[STIX]{x2202}\boldsymbol{x}$
. The non-dimensional Cauchy momentum balance becomes

where
$\boldsymbol{v}^{\boldsymbol{g}}$
is the velocity in the solid and is related to the displacement in the solid by the relation (Chokshi & Kumaran Reference Chokshi and Kumaran2008a
),

The above methodology is used for the stability analysis of the Hagen–Poiseuille flow and is discussed next.
2.2.4 Hagen–Poiseuille flow
Following the procedure outlined in the previous two sections, the base state deformation and pressure are,


Using above base state deformation and pressure we obtain the Cauchy stress tensor in the base state

The first and second normal stress differences are,
$\unicode[STIX]{x1D70E}_{zz}-\unicode[STIX]{x1D70E}_{rr}=4\unicode[STIX]{x1D6E4}^{2}r^{2}$
and
$\unicode[STIX]{x1D70E}_{rr}-\unicode[STIX]{x1D70E}_{\unicode[STIX]{x1D703}\unicode[STIX]{x1D703}}=0$
, respectively. Comparing (2.32) and (2.58) we find that the base state Cauchy stress tensor is identical for Eulerian and L3 formulations, with the identification of
$\bar{\boldsymbol{x}}$
as the current coordinate in the L3 formulation in the base state.
On the above base state, infinitesimal axisymmetric perturbations are imposed to study the stability of the coupled system. These perturbations are then substituted in (2.54) and then these equations are linearized. The fluid side governing equations for perturbations will be same as given in § 2.1.4. For the solid, the normal modes are taken of the form,

The governing equations for the solid after substitution of normal modes become,



where,
$\text{D}=\text{d}/\text{d}r$
. A comparison of above equations with (2.38)–(2.40) shows the difference in the interaction of the base state quantities with the perturbed state quantities which arises because of the different frames of references.
Equations (2.35)–(2.37) for the fluid and (2.60)–(2.62) for the solid must be solved with the following boundary conditions. At the tube centre, (2.41) is applicable. At
$r=1$
, the linearized fluid–solid interface conditions are




At
$r=1+H$
, zero vertical or horizontal displacement conditions are applicable as neo-Hookean solid is fixed to rigid solid, which implies,

3 Results and discussion
3.1 Creeping-flow limit
3.1.1 Plane Couette flow
In order to compare the two Lagrangian (L2 and L3) and Eulerian (Eulerian (CK) and the proposed Eulerian) formulations for predicting the stability of the coupled neo-Hookean solid–fluid system, we compare the eigenvalues obtained from all the formulations for the same set of parameters. For plane Couette flow past a neo-Hookean solid the results of both the Eulerian (CK) formulation and the L3 formulation described above agree in the creeping-flow limit. Appendix C discusses the derivation of the linearized governing equations for plane Couette flow in the L3 formulation. Table 1 shows the most unstable (or least stable) eigenvalue for the plane Couette flow case for different parameters for all the four formulations, and the results from all the four formulations agree very well. Here
$\unicode[STIX]{x1D6E4}=\unicode[STIX]{x1D702}V/GL$
, with
$V$
the velocity of the top plate and
$L$
the thickness of the fluid layer.

Figure 2. The variation of
$c_{r}$
and
$c_{i}$
with
$k$
for
$\unicode[STIX]{x1D6E4}=10,H=0.1,10$
,
$\mathit{Re}=0,\unicode[STIX]{x1D702}_{r}=0$
for Couette flow, using all the four formulations. The results are identical for all the formulations, and hence the same legend is used to represent the results. The inset (
$c_{i}$
versus
$k$
) demonstrates the instability at high wavenumbers.
Table 1. Eigenvalues obtained from the Eulerian and Lagrangian formulations for Couette flow for different parameters. Data show agreement between Eulerian and Lagrangian formulations for
$\mathit{Re}=0,\unicode[STIX]{x1D702}_{r}=0$
.

To demonstrate the agreement for a range of
$k$
values, the real and imaginary parts of most unstable (or least stable) eigenvalue are plotted in figure 2 for different parameter values. The instabilities shown in the figure 2 at
$k\sim 0.1$
and high
$k$
(
$k\sim O(10)$
) are finite-wave and short-wave instabilities respectively. From table 1 and figure 2, the agreement is exact up to the third decimal place as observed in the work of Chokshi & Kumaran (Reference Chokshi and Kumaran2008a
). It must be noted that eigenvalues shown in the work of Gkanis & Kumar (Reference Gkanis and Kumar2003), where they have used old L2 formulation, also show exact agreement with the L3 formulation and hence is grouped with the Eulerian and L3 formulations in the last column of table 1. It must be noted that the old L2 and L2 formulations turn out to be same for plane Couette flow owing to the simplicity of the flow geometry, thus leading to exact agreement for this geometry.
We next demonstrate that the agreement between the proposed Eulerian and Eulerian (CK) formulation observed above, is quite general for a planar flow geometry subjected to two-dimensional perturbations. For planar shear flows that are under consideration, the most general form of the deformation gradient is

where
$d_{y}\bar{u}_{x}$
is the base state deformation gradient with
$x$
as flow direction and
$y$
as direction perpendicular to the flow which could, in general function of
$y$
(plane Poiseuille flow). Substituting
$\unicode[STIX]{x1D65B}$
in (A 1) the linearized Cauchy stress tensor (
$\unicode[STIX]{x1D748}^{c}$
) in Eulerian (CK) formulation becomes

It must be noted that the identity tensor in (A 1) has been absorbed in
$p_{g}$
to facilitate the comparison. Using the above definition of Cauchy stress tensor and normal modes (2.59) in (2.54) (with
$\mathit{Re}=0$
) and elimination of perturbation pressure from the resulting momentum balance equations we obtain the final equation

To compare the proposed Eulerian formulation we substitute
$\unicode[STIX]{x1D65B}$
in (2.48), to obtain the linearized Cauchy stress tensor for the proposed Eulerian formulation as

It can be shown that by adopting the same procedure (as has been done for the Eulerian (CK) formulation) to the above stress tensor, we again obtain (3.3), thereby showing that the fourth-order differential equation is identical for both the formulations. It is also necessary to show the equivalence of interface conditions for different formulations but in the interest of brevity here we demonstrate only the normal stress continuity at the fluid–solid interface. For the proposed Eulerian formulation:

Substituting
$u_{x}^{\prime }$
from continuity equation,
$p_{g}^{\prime }$
from
$x$
-momentum balance equation for the proposed Eulerian formulation and normal modes we obtain

For the Eulerian (CK) formulation:

By substituting for pressure
$p_{g}^{\prime }$
from the
$x$
-momentum equation, we again obtain (3.6), thereby proving the equivalence of both the Eulerian formulations for planar flows. This agreement, however, holds only for the planar flows subjected to two-dimensional perturbations under creeping flow because of the rather simple structure of the matrix
$\unicode[STIX]{x1D65B}^{\text{T}}\boldsymbol{\cdot }\unicode[STIX]{x1D65B}$
for two-dimensional perturbations. For three-dimensional perturbations the rather complicated form of the
$\unicode[STIX]{x1D65B}^{\text{T}}\boldsymbol{\cdot }\unicode[STIX]{x1D65B}$
tensor gives rise to a very different
$(\unicode[STIX]{x1D65B}^{\text{T}}\boldsymbol{\cdot }\unicode[STIX]{x1D65B})^{-1}$
which can potentially lead to disagreement between two formulations for three-dimensional perturbations.
3.1.2 Hagen–Poiseuille flow
Gaurav & Shankar (Reference Shankar2009) used inconsistent interface conditions while studying stability of the Hagen–Poiseuille flow through a neo-Hookean tube as they Taylor expanded both fluid and solid sides while deriving interface conditions. The discussion in § 2.1.4 regarding interface conditions is applicable for the L2 formulation as well, i.e. only fluid side quantities must be Taylor expanded in both flow and normal directions. The consequences of this modification on the stability of the flow for different parameters will be discussed in a subsequent work. Here we compare all the four formulations by using the most unstable (or the least stable) eigenvalues for different parameters as shown in table 2, which indicate that unlike in the case of plane Couette flow, the eigenvalues obtained by using the Eulerian (CK) formulation do not agree with the eigenvalues found by using Eulerian, L2 or L3 formulations.

Figure 3. The variation of
$c_{r}$
and
$c_{i}$
with
$k$
for parameters
$\unicode[STIX]{x1D6E4}=0.8$
,
$H=10,\mathit{Re}=0,\unicode[STIX]{x1D702}_{r}=0$
for Hagen–Poiseuille flow for four formulations. Eulerian, L2 and L3 formulations agree, but Eulerian (CK) formulation disagrees as it shows the presence of finite-wave instability. The inset (
$c_{i}$
versus
$k$
) demonstrates the transition from stable to unstable region at low wavenumbers.
Table 2. Eigenvalues predicted by Eulerian and Lagrangian formulations for Hagen–Poiseuille flow for different parameters. The last two columns show lack of agreement between Eulerian and Lagrangian formulations for
$\mathit{Re}=0,\unicode[STIX]{x1D702}_{r}=0$
. The results are obtained using both shooting and pseudospectral methods.


Figure 4. The variation of
$c_{r}$
and
$c_{i}$
with
$k$
for parameters
$\unicode[STIX]{x1D6E4}=5$
,
$H=0.1,\mathit{Re}=0,\unicode[STIX]{x1D702}_{r}=0$
for Hagen–Poiseuille flow using Eulerian (CK), Eulerian, L2 and L3 formulations. The eigenvalues obtained by using Eulerian (CK) and L3 formulations disagree but for Eulerian, L2 and L3 formulations the agreement is observed. The inset (
$c_{i}$
versus
$k$
) demonstrates the instability at high wavenumbers.
To understand the differences more clearly for different values of
$k$
, the real and imaginary parts of the most unstable (or the least stable) eigenvalues are plotted in figure 3. It is readily observed from figure 3 that there is disagreement in the prediction of the instability between Eulerian (CK) and the other three formulations. The largest difference is for the finite-wave instability predicted by Eulerian (CK) formulation, which is absent in the work of Gaurav & Shankar (Reference Shankar2009) as well but the proposed Eulerian formulation does not predict finite-wave instability in creeping-flow limit. Also the eigenvalues predicted by the proposed Eulerian, L2 and L3 formulations agree as shown in the table 2. To illustrate the differences between Eulerian (CK) and L3 formulations, in figure 4, we plot the variation of
$c_{r}$
and
$c_{i}$
with respect to
$k$
for parameter values
$H=0.1,\unicode[STIX]{x1D6E4}=5$
for both formulations which shows that the quantitative difference (in terms of critical parameters
$\unicode[STIX]{x1D6E4}_{c},k_{c}$
) still exists even for low
$H$
values where only short-wave (high
$k$
) instability is present. From figure 4 we can also see that as we increase
$k$
, the Eulerian (CK) and L3 formulations tend to agree but from table 2, this agreement is only up to the first or second decimal place. In the inset of figure 4 the difference becomes evident.
It must be noted that the presence of finite-wave instability for Hagen–Poiseuille flow through a linear viscoelastic tube in the creeping-flow limit was predicted by Kumaran (Reference Kumaran1995b
) and this was shown to occur for
$\unicode[STIX]{x1D6E4}>O(1)$
. However, the linear viscoelastic model is valid only for
$\unicode[STIX]{x1D6E4}\ll 1$
as elaborated by Gaurav & Shankar (Reference Shankar2009) because for
$\unicode[STIX]{x1D6E4}>O(1)$
finite deformation coupling terms become important, which makes the nonlinear terms in the strain tensor important.
The uniqueness of the Cauchy stress tensor requires that the Eulerian and Lagrangian frames of reference should predict the same eigenvalues for same parameter values. The agreement between the proposed Eulerian and L3 formulations confirms the Galilean frame invariance of the neo-Hookean model. But from figures 3 and 4 it is clear that the Eulerian (CK) formulation does not agree with the Eulerian formulation used in the present work with respect to prediction of the eigenvalues which also uses an Eulerian frame of reference. This suggests that there could be a problem with one of the formulations as discussed below. The neo-Hookean model for Lagrangian description is derived from a well-defined strain-energy function as discussed in § 2.1.1 and the agreement of results predicted by using L3 formulation with the results produced by using Eulerian formulation (mathematically equivalent to Lagrangian neo-Hookean model, see § 2.2) shows that the neo-Hookean model in Lagrangian formulation is indeed frame invariant. This is further reinforced from the agreement observed with the results of Gaurav & Shankar (Reference Shankar2009) and the present work which demonstrates the Galilean frame-invariant nature of the Lagrangian formulation. It must be noted that both formulations are Lagrangian descriptions, but the frames of reference are different.
It is shown in appendix A.1 that the neo-Hookean constitutive equation used in Eulerian (CK) formulation is in fact a special case of the Mooney–Rivlin model (2.5) with
$C_{1}=0$
and
$C_{2}=\frac{1}{2}G$
, hence the Eulerian (CK) constitutive model is not really the true neo-Hookean model. This suggests that the results obtained by using Eulerian (CK) formulation might not agree with the L3 formulation. The results presented in table 2 and figure 3 confirm that the hypothesis is indeed correct and the Eulerian (CK) formulation does not agree with the L3 formulation in general.
Similar to the case of plane Couette flow discussed above, we attempt to examine the agreement between Eulerian (CK) and the proposed Eulerian formulations for a general case of flow through a tube. For axisymmetric perturbations for flow through a neo-Hookean tube, the deformation gradient tensor is

where
$d_{r}\bar{u}_{z}$
is the base state deformation gradient. Substituting
$\unicode[STIX]{x1D65B}$
in (A 1) we obtain expression for the linearized Cauchy stress tensor in the Eulerian (CK) formulation

Using above expression for the Cauchy stress tensor in (2.54) (with
$\mathit{Re}=0$
), the linearized momentum balance equations in the creeping-flow limit are obtained. The fourth-order differential equation, after eliminating pressure from the momentum balance equations, is

Similarly substituting
$\unicode[STIX]{x1D65B}$
in (2.48) the linearized Cauchy stress tensor for the proposed Eulerian formulation is

Hence the fourth-order differential equation for the proposed Eulerian formulation is

Equations (3.10) and (3.12) show that for both the formulations the fourth-order differential equations are different and because of this reason the stability results for tube flow do not agree for both formulations even in creeping-flow limit which is in stark contrast to planar flows. Even the linearized interface conditions differ for the formulations. To illustrate this, we demonstrate here only the shear stress continuity at the interface. For Eulerian (CK) formulation the shear stress continuity at the fluid–solid interface gives

Substituting
$u_{z}^{\prime }$
from the incompressibility condition along with the normal modes in the above equation we obtain

Similarly for the Eulerian formulation the shear stress balance at the interface gives

which upon use of the incompressibility condition to eliminate
$u_{z}^{\prime }$
results in the following equation

Comparison of (3.14) and (3.16) shows that, unlike in the case of planar flows, the interface conditions for the Eulerian (CK) and Eulerian formulations are not equivalent, hence the disagreement.
3.2 Results at finite
$Re$
From the above discussion it is still not clear whether these conclusions in the creeping-flow limit are also applicable at finite
$Re$
when there is presence of an extra inertial term which interacts with the base state in
$z$
-momentum equation of the solid for the Eulerian formulations, as shown in (2.62) and (A 10). The plane Couette flow past a neo-Hookean solid also has a similar interaction term for the Eulerian (CK) formulation, as noted by Chokshi & Kumaran (Reference Chokshi and Kumaran2008b
). Following the discussion of the creeping-flow limit results for plane Couette flow past a neo-Hookean solid, for non-zero
$\mathit{Re}$
as well, we find that the results from all formulations agree. Figures 5 and 6 show agreement among the spectra for Eulerian (CK), Eulerian, L2 and L3 formulations for arbitrary
$\mathit{Re}$
.

Figure 5. Eigenvalue spectrum in the
$c_{r}$
–
$c_{i}$
plane for Eulerian (CK), Eulerian, L2 and L3 formulations for parameters
$k=0.5,\unicode[STIX]{x1D6E4}=2,H=5,\mathit{Re}=0.5,\unicode[STIX]{x1D702}_{r}=0$
; for plane Couette flow. The spectra predicted by all four formulations show excellent agreement with each other.

Figure 6. Eigenvalue spectrum in the
$c_{r}$
–
$c_{i}$
plane for Eulerian (CK), Eulerian, L2 and L3 formulations for parameters
$k=0.5,\unicode[STIX]{x1D6E4}=2,H=5,\mathit{Re}=500$
,
$\unicode[STIX]{x1D702}_{r}=0$
; for plane Couette flow. Figure confirms the agreement between the Lagrangian and Eulerian formulations at high
$\mathit{Re}$
.
Figure 7 shows the comparison of the proposed Eulerian, L2 and L3 spectra for Hagen–Poiseuille flow for parameters
$k=0.5,\unicode[STIX]{x1D6E4}=2,H=5,\mathit{Re}=0.1$
. All the three spectra overlap, showing conclusive evidence of agreement between the proposed Eulerian, L2 and L3 formulations for non-zero
$\mathit{Re}$
as well. Similarly, figure 8 shows comparison of spectra obtained by using L3 and Eulerian (CK) formulations. From figure 8, the following important conclusions can be inferred: (i) the modes of instability for the L3 formulation are different from those of the Eulerian (CK) formulation; (ii) the finite-wave unstable mode found in the creeping-flow limit governs the stability behaviour for low
$\mathit{Re}$
in the Eulerian (CK) formulation, but the finite-wave unstable mode is absent in the L3 formulation for low
$\mathit{Re}$
.

Figure 7. Eigenvalue spectrum in the
$c_{r}$
–
$c_{i}$
plane for Eulerian, L2 and L3 formulations for parameters
$k=0.5,\unicode[STIX]{x1D6E4}=2,H=5,\mathit{Re}=0.1,\unicode[STIX]{x1D702}_{r}=0$
for Hagen–Poiseuille flow. Figure confirms agreement among Eulerian, L2 and L3 formulations.

Figure 8. Eigenvalue spectrum in the
$c_{r}$
–
$c_{i}$
plane for L3 and Eulerian (CK) formulations for parameters
$k=0.5,\unicode[STIX]{x1D6E4}=2,H=5,\mathit{Re}=0.1,\unicode[STIX]{x1D702}_{r}=0$
; for Hagen–Poiseuille flow. There is disagreement between the Eulerian (CK) and L3 formulations, especially in the prediction of the unstable mode.
For low values of
$\unicode[STIX]{x1D6E4}$
, the spectra for both L3 and Eulerian (CK) formulations agree. This occurs because for low
$\unicode[STIX]{x1D6E4}$
, interaction terms (which are characteristic of any nonlinear solid model), between base state and perturbations become small and both formulations approach the linear viscoelastic model asymptotically. This is illustrated in figure 9 for parameters
$\mathit{Re}=100,H=10,k=0.5,\unicode[STIX]{x1D6E4}=0.1$
. As we increase
$\unicode[STIX]{x1D6E4}$
, results from both formulations start to differ as shown in figure 10 for parameters
$\mathit{Re}=100,H=10,k=0.5,\unicode[STIX]{x1D6E4}=2$
. At high
$\mathit{Re}$
i.e. for
$\mathit{Re}\sim 1000$
the inertial forces are dominant and hence agreement between Eulerian(CK) and L3 formulations can be observed even for higher values of
$\unicode[STIX]{x1D6E4}$
. Indeed as shown in figure 11, the difference between the eigenvalues predicted by using Eulerian (CK) and L3 formulation is of
$O(10^{-3})$
.

Figure 9. Spectra of Eulerian (CK) and L3 formulations for parameters
$k=0.5,\unicode[STIX]{x1D6E4}=0.1,H=10,Re=100,\unicode[STIX]{x1D702}_{r}=0$
for Hagen–Poiseuille flow. Figure shows reasonable agreement between Eulerian (CK) and L3 formulations for low
$\unicode[STIX]{x1D6E4}$
where both formulations approach linear viscoelastic model asymptotically.

Figure 10. Eigenvalue spectrum in the
$c_{r}$
–
$c_{i}$
for Eulerian (CK) and L3 formulations for parameters
$k=0.5,\unicode[STIX]{x1D6E4}=2,H=10,\mathit{Re}=100,\unicode[STIX]{x1D702}_{r}=0$
for Hagen–Poiseuille flow. Figure shows disagreement between Eulerian (CK) and L3 formulations as
$\unicode[STIX]{x1D6E4}$
is increased.

Figure 11. Eigenvalue spectrum in the
$c_{r}$
–
$c_{i}$
plane for Eulerian (CK) and L3 formulations for parameters
$k=1,\unicode[STIX]{x1D6E4}=1,H=5,Re=1000,\unicode[STIX]{x1D702}_{r}=0$
for Hagen–Poiseuille flow. Figure shows substantial disagreement between Eulerian and L3 formulations even when inertial forces dominate the viscous forces.
3.3 Results at finite
$Re$
and
$\unicode[STIX]{x1D702}_{r}\neq 0$
In this section we consider non-zero dissipation in the solid to examine the agreement between the L2 and L3 formulations so as to conclude the utility of the L3 formulation presented here to study hydrodynamic stability of flow past a neo-Hookean solid. Figure 12 shows spectra of the L2 and L3 formulations for Couette flow using parameter values
$k=0.5,\unicode[STIX]{x1D6E4}=5,H=5,\mathit{Re}=0.5,\unicode[STIX]{x1D702}_{r}=0.1$
. The agreement between the results obtained by using L2 and L3 formulations is evident from figure 12 for Couette flow as both spectra overlap.

Figure 12. Spectra for L2 and L3 formulations for parameters
$k=0.5,\unicode[STIX]{x1D6E4}=5,H=5,\mathit{Re}=0.5,\unicode[STIX]{x1D702}_{r}=0.1$
for Couette flow. Figure confirms agreement between L2 and L3 formulations for
$\unicode[STIX]{x1D702}_{r}\neq 0$
.
Gaurav & Shankar (Reference Shankar2009), while studying stability analysis of Hagen–Poiseuille flow through a neo-Hookean tube, concluded that the viscous dissipation in the solid has a strong stabilizing effect on the upstream modes for low
$\mathit{Re}$
, but for high
$\mathit{Re}$
there is little effect of
$\unicode[STIX]{x1D702}_{r}$
on the stability of upstream modes. The spectrum for both formulations is plotted for parameters
$k=1,\unicode[STIX]{x1D6E4}=3,H=5,\mathit{Re}=10,\unicode[STIX]{x1D702}_{r}=0.1$
in figure 13 which shows agreement between L2 and L3 formulations. This proves the utility of the L3 formulation to study stability of flows past a deformable surface.

Figure 13. Spectra for L2 and L3 formulations for parameters
$k=1$
,
$\unicode[STIX]{x1D6E4}=3,H=5,Re=10,\unicode[STIX]{x1D702}_{r}=0.1$
for Hagen–Poiseuille flow. Figure confirms agreement between L2 and L3 formulations for non-zero
$\unicode[STIX]{x1D702}_{r}$
.
4 Conclusions
In the present work, we introduced and demonstrated consistent formulations (both Eulerian and Lagrangian) to carry out stability analysis for flows past a neo-Hookean solid by considering the specific cases of plane Couette flow past a neo-Hookean solid and Hagen–Poiseuille flow through a neo-Hookean tube. Two types of Lagrangian formulations are considered here and they differ in the reference states assumed while formulating the problem. We modified the old L2 formulation by Taylor expanding the fluid quantities in both the flow and normal to the flow directions to make it consistent. Similarly, we proposed crucial modifications to make the L3 formulation (as described in Chokshi & Kumaran Reference Chokshi and Kumaran2008a ) consistent by means of transformation of variables. We show that this modified L3 formulation yields same result as consistent L2 formulation thus confirming the consistency of the two Lagrangian formulations. At the same time, we also show that the derivation of the linearized interface conditions is unambiguous in the L3 formulation unlike in the case of L2 formulation. We also demonstrated a crucial inconsistency in the Eulerian (CK) formulation which is attributed to the lack of a well-defined strain-energy function while deriving the neo-Hookean model in the Eulerian formulation as required by fundamental principles of continuum mechanics (Holzapfel Reference Holzapfel2000). It must be noted that the Cauchy stress tensor used in the work of Chokshi & Kumaran (Reference Chokshi and Kumaran2008a ,Reference Chokshi and Kumaran b ) was proposed in analogy with the Cauchy stress tensor of a Newtonian fluid, and as discussed in appendix A.1, the nonlinear solid model in the Eulerian (CK) formulation is in fact a special case of the Mooney–Rivlin model (2.5) and is not the neo-Hookean model.
This discrepancy prompted us to propose a consistent Eulerian formulation for the neo-Hookean solid. To circumvent the problem of the absence of strain-energy function in Eulerian formulation in deriving the neo-Hookean model, we used the mathematical relation
$\unicode[STIX]{x1D641}=\unicode[STIX]{x1D65B}^{-1}$
and proposed an alternative Eulerian formulation of the neo-Hookean constitutive model. The proposed model is then used for the stability analysis of the plane Couette flow past a neo-Hookean solid and Hagen–Poiseuille flow through a neo-Hookean tube. Comparison of the results (for Hagen–Poiseuille flow) obtained by using the consistent Eulerian and L3 formulations showed that the both formulations agree and, unlike in the case of the Eulerian (CK) formulation, the proposed Eulerian formulation does not exhibit a finite-wave instability in the creeping-flow limit. The agreement among Eulerian (CK), Eulerian, L2 and L3 formulations observed for plane Couette flow case is merely a coincidence, and as elaborated in § 3.1, in the creeping-flow limit, for planar flows, the fourth-order differential equations and linearized interface conditions in fact turn out to be mathematically equivalent for the Eulerian (CK) and the proposed Eulerian formulations, thus giving rise to the same eigenvalues. However, for Hagen–Poiseuille flow through a neo-Hookean tube, the fourth-order differential equation and the linearized interface conditions cannot be reduced to mathematically equivalent form for Eulerian (CK) and the proposed Eulerian formulations. We thus conclude that the nonlinear (‘neo-Hookean’) constitutive relation of Chokshi & Kumaran (Reference Chokshi and Kumaran2008a
) in the Eulerian (CK) formulation does not agree with the L3 formulation for arbitrary flows. Interestingly, a simple linear combination of (2.7) and (A 3) yields a special case of the Mooney–Rivlin model with
$C_{1}=C_{2}=\frac{1}{2}G$
. As noted above, the Eulerian (CK) formulation shows a finite-wave instability in the creeping-flow limit. This suggests that if the solid is modelled using the Mooney–Rivlin model, the Hagen–Poiseuille flow in a deformable tube might exhibit a finite-wave instability in the creeping-flow limit for appropriate values of the two constants. We further demonstrated the consistency between L2, L3 and the proposed Eulerian formulations at finite and high
$\mathit{Re}$
for both flow geometries considered here. A comparison of spectra (at finite and high
$Re$
) between the L3 and Eulerian (CK) formulations in the
$c_{r}$
–
$c_{i}$
plane shows the presence of different modes of instability with the number of unstable modes being different in the Eulerian (CK) compared to the L3/consistent Eulerian formulation.
The present work thus presents consistent methods for carrying out linear stability analyses for fluid flow past a neo-Hookean solid, and the consistency is demonstrated for two different flow geometries and for arbitrary Reynolds number. Our study shows that the stability of the flow in a deformable tube is very sensitive to the nature of the constitutive equation used for the solid, in marked contrast to plane Couette flow past a deformable solid where the qualitative features of the stability are quite robust at any
$\mathit{Re}$
. This conclusion makes an interesting contrast when juxtaposed with the stability characteristics of plane Couette flow and Hagen–Poiseuille flow with rigid walls, where both these flows share a lot of similarities with regard to linear stability (Drazin & Reid Reference Drazin and Reid1981; Schmid & Henningson Reference Schmid and Henningson2001). Our work shows that for, deformable neo-Hookean solid walls, the stability features of plane Couette and Hagen–Poiseuille flows are drastically different, and geometry plays a crucial role in dictating the presence or absence of the instability in these flows when the wall is deformable.
Acknowledgements
We would like to acknowledge instructive discussions on continuum mechanics with Dr A. Gupta, Department of Mechanical Engineering, Indian Institute of Technology Kanpur.
Appendix A. Eulerian (CK) formulation
We briefly outline here the Eulerian formulation of Chokshi & Kumaran (Reference Chokshi and Kumaran2008a ,Reference Chokshi and Kumaran b ) for the case of flow in a tube.
A.1 Neo–Hookean constitutive model
As explained in § 2.2, in the absence of a well-defined strain-energy function for Eulerian formulation, it is not possible to derive the neo-Hookean model in the Eulerian formulation. However, Chokshi & Kumaran (Reference Chokshi and Kumaran2008a ) proposed a neo-Hookean model in analogy with the constitutive relation for a Newtonian fluid (P. Chokshi, personal communication) as,


here
$\unicode[STIX]{x1D65A}$
is the Eulerian strain tensor (Malvern Reference Malvern1969). To obtain the equivalent Lagrangian formulation of the Eulerian (CK) formulation using relation
$\unicode[STIX]{x1D65B}=\unicode[STIX]{x1D641}^{-1}$
in (A 1) and absorbing the identity tensor in the pressure term, we obtain

The above constitutive relation can be obtained from (2.3) using the following strain-energy function

Substituting the above strain-energy function in (2.3) and using relation
$\unicode[STIX]{x1D657}=\unicode[STIX]{x1D641}\boldsymbol{\cdot }\unicode[STIX]{x1D641}^{\text{T}}$
we obtain (A 3). Equation (2.3) shows that the constitutive equation of Chokshi & Kumaran (Reference Chokshi and Kumaran2008a
) is a nonlinear relation between
$\unicode[STIX]{x1D748}$
and
$\unicode[STIX]{x1D657}$
and the ‘neo-Hookean’ model of the Chokshi & Kumaran (Reference Chokshi and Kumaran2008a
,Reference Chokshi and Kumaran
b
) describes a hyperelastic solid with strain-energy function as a function of the second invariant of the left Cauchy–Green tensor,
$\unicode[STIX]{x1D657}$
. But according to the fundamental definition of a neo-Hookean solid, the strain-energy function for such a solid is a function of only first invariant of the left Cauchy–Green tensor (Macosko Reference Macosko1994; Holzapfel Reference Holzapfel2000). This implies that the model used in Chokshi & Kumaran (Reference Chokshi and Kumaran2008a
,Reference Chokshi and Kumaran
b
) is not what is conventionally referred to as the neo-Hookean model in solid mechanics. Also comparison of (2.5) and (A 3) shows that the Eulerian (CK) constitutive relation is in fact the Mooney–Rivlin model with
$C_{1}=0$
and
$C_{2}=\frac{1}{2}G$
.
The procedure to use the Eulerian (CK) formulation proposed by Chokshi & Kumaran (Reference Chokshi and Kumaran2008a ,Reference Chokshi and Kumaran b ) to solve the stability of flows past a soft solid is identical to the procedure outlined in § 2.2, but for the difference in the nature of the constitutive relation.
A.2 Hagen–Poiseuille flow
We next analyse the stability of Hagen–Poiseuille flow in a deformable tube. Following the procedure in § 2.2, the base state deformation and pressure is,


Using above base state deformation and pressure we obtain base state Cauchy stress tensor

The first and second normal stress differences are,
$\unicode[STIX]{x1D70E}_{zz}-\unicode[STIX]{x1D70E}_{rr}=4\unicode[STIX]{x1D6E4}^{2}r^{2}$
and
$\unicode[STIX]{x1D70E}_{rr}-\unicode[STIX]{x1D70E}_{\unicode[STIX]{x1D703}\unicode[STIX]{x1D703}}=-4\unicode[STIX]{x1D6E4}^{2}r^{2}$
, respectively. Comparing (2.32), (2.2) and (A 7) leads to the conclusion that the Eulerian (CK) formulation has non-zero
$\unicode[STIX]{x1D70E}_{rr}-\unicode[STIX]{x1D70E}_{\unicode[STIX]{x1D703}\unicode[STIX]{x1D703}}$
unlike the case of the Eulerian and L3 formulations. Also, comparison of (2.57) and (A 6) shows that
$\bar{p}_{g}$
in the solid for the Eulerian (CK) formulation is a function of
$r$
unlike in the case of the Eulerian formulation proposed in this work. Thus, the disagreement between the Eulerian (CK) and L3 formulations begins to appear even at the level of the base state, which is a consequence of the inconsistent neo-Hookean model in the Eulerian (CK) formulation. The linearized governing equations for the solid, after substitution of the normal modes, become



where,
$\text{D}=\text{d}/\text{d}r$
.
Equations (2.35)–(2.37) for the fluid and (A 8)–(A 10) for the solid must be solved with the following boundary conditions. At the tube centre, (2.41) is applicable. At
$r=1$
, the linearized fluid–solid interface conditions are




At
$r=1+H$
, boundary condition (2.67) is applicable. A comparison of the governing equations and interface conditions for the proposed Eulerian formulation obtained in § 2.2.4 and the Eulerian (CK) formulation leads to the conclusion that even though the frame of reference for both formulations is the same, the governing equations are not in agreement.
Appendix B. Linearized fluid–solid interface conditions for L3 formulation
In this section, we derive linearized fluid–solid interface conditions for the L3 formulation given in (2.42)–(2.45). The purpose of this derivation is to demonstrate a consistent Taylor series expansion at the interface and to remove the ambiguities in the formulation of Gaurav & Shankar (Reference Shankar2010) while deriving interface conditions in the L2 formulation. A detailed derivation of the interface conditions for the L2 formulation is provided in the work of Gaurav & Shankar (Reference Shankar2010), and will not be discussed here.
When we use the Lagrangian frame of reference for the solid and an Eulerian frame of reference for the fluid as described in the main paper, then the material particle in the solid has the same label, irrespective of the state, because the Lagrangian frame of reference moves with the particle. Following Gaurav & Shankar (Reference Shankar2010), we will denote the position of the interface particle as
$P$
, fluid and solid dynamical quantities with
$F$
and
$S$
, respectively. Consider a particle at the interface at time
$t=0$
at
$P_{0}(R=1,Z)$
. Because of the fluid motion, the solid will deform, which we call here the pre-stressed state and the position of the particle will be,
$P(\bar{r}=1,\bar{z})$
. On this pre-stressed state, we impose small perturbations after which the particle will move to
$P^{\prime }(r=(\bar{r}=1)+u_{r}^{\prime },z=\bar{z}+u_{z}^{\prime })$
. Hence, schematically, the interface conditions for the L3 formulation at the interface could be written as,

To clarify the procedure, we will use following relations,


where the first term in each of the above equations denotes a base state quantity while the second term denotes a perturbed state quantity.
Before proceeding with the derivation of the boundary condition it is relevant to reiterate the purpose of Taylor expansion. For L3 formulation, while deriving base state, tangential and normal stress balances are taken at the pre-stressed interface. For a representative interface particle, that position, as discussed above, is
$P(\bar{r}=1,\bar{z})$
. Hence, in base state, the interface conditions schematically can be represented as,

After imposing perturbations, the velocity and stress balances are to be taken at the perturbed interface for which the position of the particle is
$P^{\prime }(r=\bar{r}+u_{r}^{\prime },z=\bar{z}+u_{z}^{\prime })$
. Hence (B 1) becomes

As noted above, the base state stress balances are carried out about the pre-stressed state interface which implies that, to equate the base state terms on the fluid and solid sides, both must be brought back to the pre-stressed state interface. To achieve this, we note that the solid quantities are already functions of the pre-stressed variables, but for the fluid quantities we need Taylor series expansion. This can be schematically represented as,


Substituting the above equations in (B 5) and cancelling the base state term we arrive at the final boundary condition,

To demonstrate the use of above discussion, we consider the linearized tangential velocity continuity and normal stress continuity at the interface. Using above discussion, the continuity of tangential velocity at the perturbed fluid–solid interface is given by

But, in this case
$\bar{F}(\bar{r},\bar{z})=\bar{v}_{z}(\bar{r},\bar{z})=\unicode[STIX]{x1D6E4}(1-r^{2})$
, hence in linearized form the above equation becomes,

Now using normal modes in above equation we obtain,

Comparing the above equation with the tangential velocity continuity equation given in Gaurav & Shankar (Reference Shankar2010) shows that there will not be any extra exponential term multiplying the fluid side, unlike the case of the L2 formulation of Gaurav & Shankar (Reference Shankar2010). This also means that there will not be any need for subsequent modification to the fluid side governing equations, which was necessary in the case of L2 formulation.
For deriving the linearized normal stress balance, substituting
$\bar{F}(\bar{r},\bar{z})=-\bar{p}(\bar{z})$
in (B 8) along with normal stress components and simplifying we obtain,

Substituting
$\text{d}\bar{p}_{g}/\text{d}z=-4\unicode[STIX]{x1D6E4}$
and using the normal modes in above equation we obtain the final form as

The last term on the right-hand side of the above equation plays a major role in determining the stability behaviour which will be elaborated in the sequel to the present work. Following the same procedure, the other two linearized interface conditions (2.43)–(2.44) can be derived.
Appendix C. Linearized perturbation equations for plane Couette flow in the L3 formulation
In this appendix, we briefly outline the base state and linearized equations for plane Couette flow in the modified L3 formulation. The velocity of fluid and deformation in solid in base state are

where
$\unicode[STIX]{x1D6E4}=V\unicode[STIX]{x1D702}/(GL)$
and
$L$
is the thickness of the fluid layer.
The linearized perturbation equations for the fluid, with
$\text{D}=\text{d}/\text{d}y$
, are



Similarly, the linearized perturbation equations for the solid are



At
$y=1$
, the boundary conditions are

At the fluid–solid interface (
$y=0$
), the linearized continuity conditions are




At
$y=-H$
the boundary conditions are
