Abstract
We exploit a two-dimensional model (Ghosh et al. in Q J Mech Appl Math 71(3):349–367, 2018; Kozlov and Nazarov in Dokl Phys 56(11):560–566, 2011, J Math Sci 207(2):249–269, 2015) describing the elastic behavior of the wall of a flexible blood vessel which takes interaction with surrounding muscle tissue and the 3D fluid flow into account. We study time periodic flows in an infinite cylinder with such intricate boundary conditions. The main result is that solutions of this problem do not depend on the period and they are nothing else but the time independent Poiseuille flow. Similar solutions of the Stokes equations for the rigid wall (the no-slip boundary condition) depend on the period and their profile depends on time.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The elasticity of the composite walls of the arteries and the muscle material surrounding arteria’s bed significantly contributes to the transfer of blood pushed by the heart along the arterial tree. In addition, hardening of the walls of blood vessels caused by calcification or other diseases makes it much more difficult to supply blood to peripheral parts of the system. The fundamental question here is how the elasticity of walls and surrounded muscle tissue supports mechanism of the blood supply system. In numerous publications, modeling the circulatory system, computational or pure theoretical, there are no fundamental differences between the steady flows of viscous fluid in pipes with rigid walls and vessels with elastic walls. Moreover, quite often much attention is ungroundedly paid to nonlinear convective terms in the Navier-Stokes equations, although blood as a multi-component viscoelastic fluid should be described by much more involved integro-differential equations. We also note that for technical reasons, none of the primary one-dimensional models of a single artery or the entire arterial tree obtained using dimension reduction procedures includes the terms generated by these nonlinear terms.
In connection with the foregoing, in this paper we consider the linear non-stationary Stokes equations simulating a heartbeat, we study time-periodic solutions in a straight infinite cylinder with a constant but arbitrary arbitrary cross-section.
In the case of the Dirichlet (no-slip) condition, according to well-known results (see, for example [21] and [3] and references there), one finds many periodic solutions \((\mathbf{v},p)\), where the velocity \(\mathbf{v}\) has only the component directed along the cylinder (z-axis) and the pressure p depends linear on z with coefficients depending only on the time variable t. For elastic walls, there is only one such solution up to a constant factor, proportional to the steady Poiseuille flow which does not depend on the time variable but can be considered as periodic one with any period. This is the main result of our paper, which describes the difference in behaviour of blood flow in the case of elastic and rigid walls. The above property of the flow inside the thin-walled elastic cylinder implies that the flow has the same direction all time and at every point. So there are no local reverse flows in our model.
Our results refer to a model problem in a straight infinite cylinder with an elastic wall. In reality, the arterial tree consists of curved vessels that narrow when moving away from the heart and has many bifurcation nodes. The presence of bifurcations influences to a large extent the one-dimensional model (see works [12] and [16, 17] referring to the case of absolutely rigid walls in steady and no-steady formulations respectively) and, in particular, generates local reverse (towards the heart) currents, the proof of the absence of which in a straight infinite cylinder is performed in this work. Narrowing of blood vessels and their curvature also significantly affects the flow of fluid, see [15] and [2, 7], where the cases of rigid and elastic walls were studied.
Due to the elastic walls of arteries, an increased heart rate only leads to an increase in the speed of blood flow (the flux grows) without changing the structure of the flow as a whole, and only at an ultra-high beat rate, when the wall elasticity is not enough to compensate for the flow pulsation, the body begins to feel heart beating. The fact is that the human arterial system is geometrically arranged in a very complex system, gently conical shape of blood vessels, their curvature and a considerable number of bifurcation nodes. Therefore, the considered model problem of an infinite straight cylinder gives only a basic approximation to the real circulatory system and on some of its elongated fragments, which acquires periodic disturbances found in the wrists, temples, neck and other periphery of the circulatory system. The correctness of such views is also confirmed by a full-scale experiment on watering the garden: a piston pump delivers water with shocks, but with a long soft hose the water jet at the outlet is unchanged, but with a hard short-pulsating one.
A general two-dimensional model describing the elastic behaviour of the wall of a flexible vessel has been presented in the case of a straight vessel in [9, 11], in the case of a curved vessel in [7] and for numerical results see [1, 2]. The wall has a laminate structure consisting of several anisotropic elastic layers of varying thickness and is assumed to be much thinner than the radius of the channel which itself is allowed to vary. This two-dimensional model takes the interaction of the wall with surrounding or supporting elastic material of muscles and the fluid flow into account and is obtained via a dimension reduction procedure. We study the time-periodic flow in the straight flexible vessel with elastic walls.
Compared with the classical works [19,20,21] of J.R. Womersley (for an alternative description of the above works see [5]), our formulation of problem has much in common, both of them involve momentless shell theory for modeling the elastic wall. In Wormerley’s works, axisymmetric pulsative blood flow in a vessel with circular isotropic elastic wall is found as a perturbation of the steady Poisseulle flow. Apart from inessential generalizations like arbitrary shape of vessel’s cross-section and orthotropic wall, the main difference of our paper is as follows.
First, Wormsley’s model does not take into account the reaction of the vessel wall to the radial (normal) component of the force acting on the wall from the side of the liquid (compare formula (3.7) in [21] and formulas (4), (7) in our paper). Within the momentless shell theory, elastic walls cannot resist the normal force in the case of weac reaction of the material on stretching and/or very small curvature of the cross-section. Both the cases are meaningful for diseased vessels due to atherosclerotic sequelae or aneurysm swelling but for healthy vessels, inflation of elastic wall is suppressed precisely by its stretching stress. Mathematically, the observed difference between the models in question results in the important fact that our model support standard Greens formula and it has a energy integral, see [11], Sect.4.3.
Second, we include in the model the coefficient K(s) describing the reaction of the surrounding cell material on deformation of the wall. In other words, the vessel is assumed in [19, 20] to “hang in air” while in our paper it is placed inside the muscular arteria’s bed as in human and animal bodies intended to compensate for external and internal influences as well as to protect the arterial tree which is the most vulnerable part of the circulatory system. Consider oscillations in the blood circulatory system due to the beating of the human heart. There are different factors which influence on oscillations of the blood flow and stresses and strains of the vessels wall. Elasticity of walls and interaction of walls with surrounded tissue contribute to the laminar part of the flow and low stresses and strains of the wall. Bifurcations in the circulatory system and the curvature of vessels support oscillations and can contribute to local reverse blood flow. Our result shows that in the model situation of the straight infinite cylinder with elastic boundary all periodic flows are laminar and directed along the axis of cylinder.
2 Problem Statement
2.1 Preliminaries
Let \(\Omega \) be a bounded, simple connected domain in the plane \({\mathbb {R}}^2\) with \(C^{1,1}\) boundary \(\gamma =\partial \Omega \) and let us introduce the spatial cylinder
We assume that the curve \(\gamma \) is parameterised as \((y_1,y_2)=(\zeta _1(s),\zeta _2(s))\), where s is the arc length along \(\gamma \) measured counterclockwise from a certain point and \(\zeta =(\zeta _1,\zeta _2)\) is a vector \(C^{1,1}\) function. The length of the countour \(\gamma \) is denoted by \(|\gamma |\) and its curvature by
In a neighborhood of \(\gamma \), we introduce the natural curvilinear orthogonal coordinates system (n, s), where n is the oriented distance to \(\gamma \) (\(n>0\) outside \(\Omega \)).
The boundary of the cylinder \({{\mathcal {C}}}\) is denoted by \(\Gamma \), i.e.
The flow in the vessel is described by the velocity vector \(\mathbf{v}=(\mathbf{v}_1,\mathbf{v}_2,\mathbf{v}_3)\) and by the pressure p which are subject to the non-stationary Stokes equations:
Here \(\nu >0\) is the kinematic viscosity related to the dynamic viscosity \(\mu \) by \(\nu =\mu /\rho _b\), where \(\rho _b>0\) is the density of the fluid.
The elastic properties of the 2D boundary are described by the displacement vector \(\mathbf{u}\) defined on \(\Gamma \) and they are presented in [10, 20] for a straight cylinder and in [7] for a curve-linear cylinder. If we use the curve-linear coordinates (s, z) on \(\Gamma \) and write the vector \(\mathbf{u}\) in the basis \(\mathbf{n}\), \({\varvec{\tau }}\) and \(\mathbf{z}\), where \(\mathbf{n}\) is the outward unit normal vector, \({\varvec{\tau }}\) is the tangent vector to the curve \(\gamma \) and \(\mathbf{z}\) is the direction of z axis, then the balance equation has the following form:
where \(\rho (s)\) is the average density of the vessel wall, \(\sigma =\rho _b/h\), \(h=h(s)>0\) is the thickness of the wall, \(A^T\) stands for the transpose of a matrix A, \( D(\kappa ,\partial _s,\partial _z)=D_0\partial _z+D_1(\partial _s)\), where
and
Here k(s) is a scalar function, Q is a \(3\times 3\) symmetric positive definite matrix of homogenized elastic moduli (see [7]) and the displacement vector \(\mathbf{u}\) is written in the curve-linear coordinates (s, z) in the basis \(\mathbf{n}\), \({\varvec{\tau }}\) and \(\mathbf{z}\). Furthermore \({{\mathcal {F}}}=({{\mathcal {F}}}_n,{{\mathcal {F}}}_z,{{\mathcal {F}}}_s)\) is the hydrodynamical force given by
where \(v_n\) and \(v_s\) are the velocity components in the direction of the normal \(\mathbf{n}\) and the tangent \({\varvec{\tau }}\), respectively, whereas \(v_z\) is the longitudinal velocity component. The functions \(\rho \), k and the elements of the matrix Q are bounded measurable functions satisfying
where k is the function in (6). The elements of the matrix Q are assumed to be Lipschitz continuous and \(\langle Q\xi ,\xi \rangle \ge q_0|\xi |^2\) for all \(\xi \in {\mathbb {R}}^3\) with \(q_0>0\), where \(\langle \cdot ,\cdot \rangle \) is the cartesian inner product in \({\mathbb {R}}^3\).
We note that
and one can easily see that
on \(\Gamma \). Here \({\varvec{\varepsilon }}_{ss}(\mathbf{u})\), \({\varvec{\varepsilon }}_{zz}(\mathbf{u})\) and \({\varvec{\varepsilon }}_{sz}(\mathbf{u})\) are components of the deformation tensor in the basis \(\{\mathbf{n},{\varvec{\tau }},\mathbf{z}\}\). In what follows we will write the displacement vector as \(\mathbf{u}=(\mathbf{u}_1,\mathbf{u}_2,\mathbf{u}_3)\), where \(\mathbf{u}_1=\mathbf{u}_n\), \(\mathbf{u}_2=\mathbf{u}_s\) and \(\mathbf{u}_3=\mathbf{u}_z\). For the velocity \(\mathbf{v}\) we will use indexes 1, 2 and 3 for the components of \(\mathbf{v}\) in \(y_1\), \(y_2\) and z directions respectively.
Furthermore the vector functions \(\mathbf{v}\) and \(\mathbf{u}\) are connected on the boundary by the relation
The problem (3)–(11) appears when we deal with a flow in a pipe surrounded by a thin layered elastic wall which separates the flow from the muscle tissue. Since we have in mind an application to the blood flow in the blood circulatory system, we are interested in periodic in time solutions. One of goals of this paper is to describe all periodic solutions to the problem (3), (4), (11) which are bounded in \({\mathbb {R}}\times {{\mathcal {C}}}\ni (t,x)\).
It is reasonable to compare property of solutions to this problem with similar properties of solutions to the Stokes system (3) supplied with the no-slip boundary condition
Considering the problem (3), (12) we assume that the boundary \(\gamma \) is Lipschitz only.
The following result about the problem (3), (12) is possibly known (see, for example [3, 4] and references there) but we present a concise proof for reader’s convenience.
Theorem 2.1
Let the boundary \(\gamma \) be Lipschitz and \(\Lambda >0\). There exists \(\delta >0\) such that if \((\mathbf{v},p)\) are \(\Lambda \)-periodic in time functions satisfying (3), (12) and may admit a certain exponential growth at infinity
Then
where p and \(\mathbf{v}_3\) are \(\Lambda \)-periodic functions in t which satisfy the problem
Thus the dimension of the space of periodic solutions to the problem (3), (12) is infinite and they can be parameterised by a periodic function \(p_*\). In the case of elastic wall situation is quite different
Theorem 2.2
Let the boundary \(\gamma \) be \(C^{1,1}\) and \(\Lambda >0\). Let also \((\mathbf{v},p,\mathbf{u})\) be a \(\Lambda \)-periodic with respect to t solution to the problem (3)–(11) admitting an arbitrary power growth at infinity
for a certain \(N>0\). Then
where \(p_0\) and \(p_1\) are constants and \(\mathbf{v}_*\) is the Poiseuille profile, i.e.
The boundary displacement vector \(\mathbf{u}=\mathbf{u}(s,z)\) satisfies the equation
If the elements \(Q_{21}\) and \(Q_{31}\) vanish then the function \(\mathbf{u}\) is a polynomial of second degree in z: \(\mathbf{u}(s,z)=(0,\alpha ,\beta )^Tz^2+\mathbf{u}^{(1)}(s)z+\mathbf{u}^{(2)}(s)\), where \(\alpha \) and \(\beta \) are constants.
Thus, in the case of elastic wall all periodic solutions are independent of t and hence are the same for any period. Moreover inside the cylinder the flow takes the Poiseuille form. The above theorems have different requirements on the behavior of solutions with respect to z, compare (13) and (16). This is because of the following reason. In the case of the Dirichlet boundary condition we can prove a resolvent estimate on the imaginary axis (\(\lambda =i\omega \), \(\omega \) is real) with exponential weights independent on \(\omega \). In the case of the elastic boundary condition exponential weights depends on \(\omega \). Becuase of that we can not put in (16) the same exponential weight as in (13).
The structure of our paper is the following. In Sect. 3 we treat the Stokes system with the no-slip condition on the boundary of cylinder. Since we are dealing with time-periodic solutions the problem can be reduced to a series of time independent problems with a parameter (frequency). The main result there is Theorem 3.1. Using this assertion it is quite straightforward to proof the main theorem 2.1 for the Dirichlet problem. Parameter dependent problems are studied in Sects. 3.2–3.4. Theorem 3.1 is proved in Sect. 3.5.
Stokes problem in a vessel with elastic walls is considered in Sect. 4. We also reduce the time periodic problem to a series of time independent problems depending on a parameter. The main result there is Theorem 4.1. Using this result we prove our main theorem 2.2 for the case of elastic wall in Sect. 4.1. The parameter depending problem is studied in Sects. 4.2–4.6. The proof of Theorem 4.1 is given in Sect. 4.7. In Sect. 4.8 we consider the case when the parameter in the elastic wall problem is vanishing. This consideration completes the proof of Theorem 2.2.
3 Dirichlet Problem for the Stokes System
The first step in the proof of Theorem 2.1 is the following reduction of the time dependent problem to time independent one. Due to \(\Lambda \)-periodicity of our solution we can represent it in the form
where
These coefficients satisfy the following time independent problem
with the Dirichlet boundary condition
and with \(\omega =2\pi k/\Lambda \) and \(\mathbf{F}=(\mathbf{F}_1,\mathbf{F}_2,\mathbf{F}_3)=0\) (for further analysis it is convenient to have an arbitrary \(\mathbf{F}\)).
Theorem 3.1
There exist a positive number \(\beta ^*\) depending only on \(\Omega \) and \(\nu \) such that for \(\beta \in (0,\beta ^*)\) the only solution to problem (22), (23) with \(\mathbf{F}=0\) which may admit a certain exponential growth
is
where \(p_0\) and \(p_1\) are constants and \({{{\hat{v}}}}\) satisfies
Remark 3.1
From (26) it follows that
i.e. the flux does not vanish for this solution.
We postpone the proof of the above theorem to Sect. 3.5 and in the next section we present the proof of Theorem 2.1
3.1 Proof of Theorem 2.1
By (13)
where \(\mathbf{V}_k\) and \(\mathbf{P}_k\) are the coefficients in (20).
Applying Theorem 3.1 and assuming \(\delta <\beta ^*\), we get that
where \(p_{0k}\) and \(p_{1k}\) are constants. This implies that \(\mathbf{v}_1=\mathbf{v}_2=0\), \(\mathbf{v}_3\) depends only on y, t and \(p=p_0(t)z+p_1(t)\), which proves the required assertion.
3.2 System for Coefficients (22), (23)
To describe the main solvability result for the problem (22), (23), let us introduce some function spaces. For \(\beta \in {\mathbb {R}}\) we denote by \(L^{2}_\beta ({{\mathcal {C}}})\) the space of functions on \({{\mathcal {C}}}\) with the finite norm
By \(W^{1,2}_\beta ({{\mathcal {C}}})\) we denote the space of functions in \({{\mathcal {C}}}\) with the finite norm
We will use the same notation for spaces of vector functions.
Proposition 3.1
Let the boundary \(\gamma \) is Lipschitz and \(\omega \in {\mathbb {R}}\). There exist \(\beta ^*>0\) independent of \(\omega \) such that the following assertions are valid:
-
(i)
for any \(\beta \in (-\beta ^*,\beta ^*)\), \(\beta \ne 0\) and \(\mathbf{F}\in L^2_\beta ({{\mathcal {C}}})\), the problem (22), (23) has a unique solution \((\mathbf{V},\mathbf{P})\) in \(W_\beta ^{1,2}({{\mathcal {C}}})^3\times L^2_\beta ({{\mathcal {C}}})\) satisfying the estimate
$$\begin{aligned} ||\mathbf{V};W^{1,2}_\beta ({{\mathcal {C}}})||+||\mathbf{P};L_2^\beta ({{\mathcal {C}}})||\le C||\mathbf{F};L_2^\beta ({{\mathcal {C}}})||. \end{aligned}$$(28)where C may depend on \(\beta \), \(\nu \) and \(\Omega \). Moreover,
$$\begin{aligned} ||\partial _z\mathbf{V};W^{1,2}_\beta ({{\mathcal {C}}})|| \le C||\mathbf{F};L^2_\beta ({{\mathcal {C}}})||. \end{aligned}$$(29) -
(ii)
Let \(\beta \in (0,\beta ^*)\) and \(\mathbf{F}\in L^2_\beta ({{\mathcal {C}}})\cap L^{2}_{-\beta }({{\mathcal {C}}})\). Then solutions \((\mathbf{V}_\pm ,\mathbf{P}_\pm )\in W_{\pm \beta }^{1,2}({{\mathcal {C}}})^3\times L^{2}_{\pm \beta }({{\mathcal {C}}})\) to (22), (23) are connected by
$$\begin{aligned} \mathbf{V}_-(x)=\mathbf{V}_+(x)+p_0(0,0,{\hat{v}}(y)),\;\;\mathbf{P}_-(x)=\mathbf{P}_+(x)+p_0z+p_1, \end{aligned}$$(30)with certain constants \(p_0\) and \(p_1\). Here \({\hat{v}}\) is solution to (26).
Remark 3.2
If \(\gamma \) is \(C^{1,1}\) then it follows from [18] that the left-hand side in (28) can be replaced by
3.3 Operator Pencil, Weak Formulation
We will use the spaces of complex valued functions \(H^1_0(\Omega )\), \(L^2(\Omega )\) and \(H^{-1}(\Omega )\) and the corresponding norms are denoted by \(||\cdot ||_1\), \(||\cdot ||_0\) and \(||\cdot ||_{-1}\) respectively.
Let us introduce an operator pencil by
where \(v=(v_1,v_2,v_3)\) is a vector function and p is a scalar function in \(\Omega \) . This pencil is defined for vectors (v, p) such that \(v=0\) on \(\gamma \).
Clearly
is a bounded operator for all \(\lambda \in {\mathbb {C}}\). The following problem is associated with this operator
and
supplied with the Dirichlet condition
The corresponding sesquilinear form is given by
where \(v'=(v_1,v_2)\). This form is well-defined on \(H_0^1(\Omega )^3\times L^2(\Omega )\).
The weak formulation of (33)–(35) can be written as
for all \(({\hat{v}},{\hat{p}})\in H_0^1(\Omega )^3\times L^2(\Omega )\). As it was shown in the proof of Lemma 3.2(ii) [4] the operator \({{\mathcal {S}}}(\lambda )\) is isomorphism for \(\lambda =i\xi \), \(\xi \in {\mathbb {R}}\setminus \{0\}\). Since the operator corresponding to the difference of the forms \({\mathbb {A}}\) for different \(\lambda \) is compact, the operator pencil \({{\mathcal {S}}}(\lambda )\) is Fredholm for all \(\lambda \in {\mathbb {C}}\) and its spectrum consists of isolated eigenvalues of finite algebraic multiplicity, see [8].
3.4 Operator Pencil Near the Imaginary Axis \(\mathfrak {R}\lambda =0\)
Here we consider the right-hand sides in (33)–(35) as follows \(f\in L^2(\Omega )\) and \(g\in L^2(\Omega )\)
The next assertion is proved in Lemma 3.2(i) [4], after a straightforward modification.
Lemma 3.1
Let \(h\in L^2(\Omega )\) and \(\lambda \in {\mathbb {C}}\), \(\lambda \ne 0\). Then the equation
has a solution \(w\in H_0^1(\Omega )\) satisfying the estimate
where
and C depends only on \(\Omega \). The mapping \(h\mapsto w\) can be chosen linear.
The proof of the next lemma can be extracted from the proof of Lemma 3.2(ii) [4].
Lemma 3.2
Let \(f\in L_2(\Omega )\), \(h=0\) in (34) and let \(\lambda =i\xi \), \(0\ne \xi \in {\mathbb {R}}\). Then the solution to (33)–(35) admits the estimate
and
where the constant C depends only on \(\nu \) and \(\Omega \).
Proof
To estimate the norm of v by the right-hand side in (38), we take \({\hat{v}}=v\) in (36) and obtain
This implies the inequality (38). To estimate the norm of p, we choose \(\nabla _{i\xi } w=p\). Then the relation (36) becomes
Since by Lemma 3.1
we arrive at (39). \(\square \)
Lemma 3.3
There exists a positive number \(\delta \) depending on \(\nu \) and \(\Omega \) such that if \(f\in L_2(\Omega )\), \(h=0\) and \(0<|\lambda |<\delta \), then the problem (33)–(35) has a unique solution satisfying
where the constant C depends only on \(\nu \) and \(\Omega \) and
Proof
From (34)) it follows that
Taking \({\hat{v}}=v\) in (36) yields
For a small \(\lambda \ne 0\), this together with (41) implies
and
with C independent of \(\omega \) and \(\lambda \). Taking \({\hat{v}}=w=(w_1,w_2,0)\) in (36) where \(w_k\in H^1_0(\Omega )\) satisfies
we get
Therefore,
and, hence,
which implies
Now taking \({\hat{v}}=w=(w_1,w_2,w_3)\) in (36), where \(w_k\in H^1_0(\Omega )\) is subject to
we obtain
The last inequality together with (42) gives (40). \(\square \)
Now we can describe properties of the pencil \({{\mathcal {S}}}\) in a neighborhood of the imaginary axis \(\mathfrak {R}\lambda =0\).
Lemma 3.4
There exist \(\beta ^*>0\) such that the following assertion are valid:
-
(i)
the only eigenvalue of \({{\mathcal {S}}}\) in the strip \(|\mathfrak {R}\lambda |<\beta ^*\) is zero;
-
(ii)
if \(\beta \in (-\beta ^*,0)\cup (0,\beta ^*)\) then for \(f\in L^2(\Omega )\), \(h=0\) and \(\mathfrak {R}\lambda =\beta \) the problem (33)–(35) has a unique solution in \(H^1_0(\Omega )^3\times L^2(\gamma )\) and its norm is estimated as follows:
$$\begin{aligned} (1+|\lambda |^2+|\omega |)\,||v||_0+(1+|\lambda |^2+|\omega |)^{1/2}||\nabla v||_0+||p||_0\le C||f||_0, \end{aligned}$$(43)where the constant C may depend on \(\beta \), \(\nu \) and \(\Omega \).
Proof
First, we observe that
Thus the first form is a small perturbation of the second one. Now using Lemmas 3.2 and 3.3 for small \(\beta \) we arrive at the existence of \(\beta ^*\), which satisfies (i). Moreover, the estimates (38) and (39) are true for \(\lambda =\beta +i\xi \) for a fixed \(\beta \in (-\beta ^*,0)\cup (0,\beta ^*)\) and arbitrary real \(\xi \). With this the constants in (38) and (39) may depend now on \(\beta \), \(\nu \) and \(\Omega \) only. \(\square \)
3.5 Proof of Proposition 3.1 and Theorem 3.1
Proof of Proposition 3.1
The assertion (i) in Proposition 3.1 is obtained from Lemma 3.4(ii) by using the inverse Fourier transform together with Parseval’s identity.
To prove (ii) in Proposition 3.1, we observe that
and the relation (30) is obtained by applying the residue theorem. \(\square \)
Now we turn to Proof of Theorem 3.1. Let \((\mathbf{V},\mathbf{P})\) be a solution to (22), (23) satisfying (24). Our first step is to construct a representation of the solution in the form
where \(\mathbf{V}^{(\pm )}\in W^{1,2}_{\pm \beta }({{\mathcal {C}}})\), \(\mathbf{P}^{(\pm )}\in L^2_{\pm \beta }({{\mathcal {C}}})\) and they solve the problem (22), (23) with certain \(\mathbf{F}=\mathbf{F}^{(\pm )}\in L^2_{\pm \beta }({{\mathcal {C}}})\).
By the second equation in (22) and by (23) the flux
The vector-function \((0,0,p_0{\hat{v}}_3,p_0)\) with a constant \(p_0\) verifies the homogeneous problem (22), (23) and its flux does not vanish in the case \(p_0\ne 0\). So subtracting it with appropriate constant \(p_0\) from \((\mathbf{V},\mathbf{P})\) we can reduce the proof of theorem to the case \(\Psi =0\). In this way we assume in what follows that this is the case.
Let \(\zeta (z)\) be a smooth cut-off function equal 1 for large positive z and 0 for large negative z and let \(\zeta '\) be its derivative. We choose in (44)
where the vector function \(\mathbf{W}=(\mathbf{W}_1,\mathbf{W}_2,0)\) is such that
We construct solution \(\mathbf{W}\) by solving two-dimensional Stokes problem in \(\Omega \) depending on the parameter z:
and \(\mathbf{W}_k=0\) on \(\gamma \), \(k=1,2\). This problem has a solution in \(H^1_0(\Omega )^2\times L^2(\Omega )\), which is unique if we require \(\int _\Omega \mathbf{Q}dy=0\). If we look on the dependence on the parameter z it is the same as in the right-hand side. So
Therefore,
where
for \(k=1,2\) and
Similar formulas are valid for \((\mathbf{V}^{(-)},\mathbf{P}^{(-)})\) with
By Proposition 3.1(ii) this implies
for certain constants \(p_0\) and \(p_1\), which furnishes the proof of the assertion.
4 Stokes Flow in a Vessel with Elastic Walls
This section is devoted to the proof of Theorem 2.2. As in the case of the Dirichlet problem considered in Sect. 3 we represent solutions to the problem (3)–(11) in the form (20) (for the velocity \(\mathbf{v}\) and the pressure p) and
for the displacements \(\mathbf{u}\). The coefficients in (20) are given by (21) and in (47) by
The above introduced coefficients satisfy the time independent problem
where \(\mathbf{F}=0\), \(\mathbf{G}=0\) and \(\omega =2\pi k/\Lambda \) (for forthcoming analysis it is convenient to have arbitrary right-hand sides in this problem).
Theorem 4.1
Let \(\omega \in {\mathbb {R}}\) and \(\omega \ne 0\). Then there exists \(\beta >0\) depending on \(\omega \) such that the only solution to the homogeneous (\(\mathbf{F}=0\) and \(\mathbf{G}=0\)) problem (48)–(50) subject to
is \(\mathbf{V}=0\), \(\mathbf{U}=0\) and \(\mathbf{P}=0\).
We postpone the proof of the formulated theorem to Sect. 4.7 and in the next section we give the proof of Theorem 2.2
4.1 Proof of Theorem 2.2
By (51),
Applying Theorem 4.1 we get \(\mathbf{V}_k=0\), \(\mathbf{P}_k=0\) and \(\mathbf{U}_k=0\) for \(k\ne 0\). Now using Theorem 3.1 and consideration in forthcoming Sect. 4.8 for \(\omega =0\) we arrive at the required assertion.
4.2 System for Coefficients (48)–(50)
To formulate the main solvability result for the system (48)–(50), we need the following function spaces
and
Proposition 4.1
Let \(\omega \in {\mathbb {R}}\) and \(\omega \ne 0\). There exist a positive number \(\beta ^*\) depending on \(\omega \), \(\Omega \) and \(\nu \) such that for any \(\beta \in (-\beta ^*,\beta ^*)\) the following assertions hold
-
(i)
If \(\mathbf{F}\in L^2_{\beta }({{\mathcal {C}}})\), \(\mathbf{G},\partial _z\mathbf{G}\in L^2_\beta (\Gamma )\) then the problem (48)–(50) has a unique solution \((\mathbf{V},\mathbf{U}) \in {{\mathcal {Z}}}_\beta \), \(P\in L^2_\beta ({{\mathcal {C}}})\) and this solution satisfies the estimate
$$\begin{aligned}&||\mathbf{V};W^{1,2}_\beta ({{\mathcal {C}}})||+||P;L^2_\beta ({{\mathcal {C}}})||+||\mathbf{U};{{\mathcal {Y}}}_\beta ||\\&\quad \le C\Big (||\mathbf{F};L^2_\beta ({{\mathcal {C}}})||+||\mathbf{G};L^2_\beta (\Gamma )||+||\partial _z\mathbf{G};L^2_\beta (\Gamma )||\Big ), \end{aligned}$$where C may depend on \(\omega \), \(\beta \), \(\nu \) and \(\Omega \). Moreover,
$$\begin{aligned}&||\partial _z\mathbf{V};W^{1,2}_\beta ({{\mathcal {C}}})||+||\partial _z\mathbf{U} ;{{\mathcal {Y}}}_\beta ||\\&\quad \le C\Big (||\mathbf{F};L^2_\beta ({{\mathcal {C}}})||+||\mathbf{G};L^2_\beta (\Gamma )||+||\partial _z\mathbf{G};L^2_\beta (\Gamma )||\Big ). \end{aligned}$$ -
(ii)
If \(\mathbf{F}\in L^{2}_{\beta _1 }({{\mathcal {C}}})\cap L^{2}_{\beta _2 }({{\mathcal {C}}})\), \(\mathbf{G},\partial _z\mathbf{G}\in L^{2}_{\beta _1 }(\Gamma )\cap L^{2}_{\beta _2 }(\Gamma )\) with \(\beta _1,\beta _2\in (-\beta ^*,\beta ^*)\) and \((\mathbf{V}^{(k)},\mathbf{U}^{(k)},\mathbf{P}^{(k)})\in {{\mathcal {Z}}}_{\beta _k}\times L^2_{\beta _k}({{\mathcal {C}}})\) is the solution from (i) for \(k=1,2\) respectively, then they coincide.
4.3 Transformations of the Problem (3), (4), (11)
It is convenient to rewrite the Stokes system (22) in the form
where
and \(\delta _{i,j}\) is the Kronecker delta. Moreover, relations (4) and (11) become
and
Here \({\widehat{{\mathcal {F}}}}=e^{-i\omega t}{{\mathcal {F}}}\).
Next step is the application of the Fourier transform. We set
As the result we obtain the system
where
The equations (54) and (55) take the form
and
Here \(\Phi (s)=(\Phi _n,\Phi _z,\Phi _s)\) and
4.4 Weak Formulation and Function Spaces
Let us introduce an energy integral
and put
where \(\langle \cdot ,\cdot \rangle \) is the euclidian inner product in \({\mathbb {C}}^3\). Since the matrix Q is positive definite
where \(\xi \in {\mathbb {R}}\) and \(c_1\) is a positive constant independent of \(\xi \). Another useful inequality is the following
or by using Korn’s inequality
where \(c_3\) does not depend on q.
To define a weak solution, we introduce the vector function spaces:
and
We supply the space Z with the inner product
Since \(\omega \ne 0\), the norm \(||u_1;H^{1/2}(\gamma )||\) is estimated by the norm of v in the space \(H^1(\gamma )\) therefore we do not need a term with \(u_1\) and \({\hat{u}}_1\) in (65), indeed. Let also
be the inner product in \(Z\times L^2(\Omega )\).
We introduce also a sesqui-linear form corresponding to the formulation (56), (57), (59), (60):
Clearly, this form is bounded in \(Z\times L^2(\Omega )\). For \({{\mathcal {F}}}\in Z^*\), \({{\mathcal {H}}}\in L^2(\Omega )\) and \(h\in L^2(\Omega )\) the weak formulation reads as the integral identity
which has to be valid for all \(({\hat{v}},{\hat{p}},{\hat{u}})\in Z\times L^2(\Omega )\) and \(\nabla _y\cdot v'+\lambda v_3=h\) in \(\Omega \), where \(v'=(v_1,v_2)\).
If \(\nabla _y\cdot v'+\lambda v_3=0\), it is enough to require that
for all \(({\hat{v}},{\hat{u}})\in Z\).
It will be useful to introduce the operator pencil in the space \({{\mathcal {Z}}}\times L^2(\Omega )\) depending on the parameter \(\lambda \in {\mathbb {C}}\) by
Clearly
is a bounded operator pencil, quadratic with respect to \(\lambda \).
4.5 Properties of the Operator Pencil \(\Theta \)
We will need the following known lemma on the divergence equation
Lemma 4.1
There exists a linear operator
such that the equation (70) is satisfied, \(v_s=0\) on \(\gamma \), \(v'|_{\gamma }\in H^1(\gamma )\) and
Clearly the vector function (v, u) belongs to Z, where \(v=(v_1,v_2,0)\) and \(i\omega u=v|_\gamma \). Estimate (71) implies
Proof
We represent h as
Then \(v={\check{v}}+{\tilde{v}}\), where \({\check{v}}\in H^1_0(\Omega )\) solves the problem \(\nabla _y\cdot {\check{v}}={\check{h}}\) in \(\Omega \) and \({\tilde{v}}\) is a solution to
Both mappings \({\check{h}}\mapsto {\check{v}}\) and \({\tilde{h}}\mapsto {\tilde{v}}\) can be chosen linear and satisfying
respectively. This implies the required assertion. \(\square \)
Lemma 4.2
Let \(\omega \in {\mathbb {R}}\) and \(\omega \ne 0\). Then the operator pencil \({\mathbb {C}}\ni \lambda \mapsto \Theta (\lambda )\) possesses the following properties:
-
(i)
\(\Theta (\lambda )\) is a Fredholm operator for all \(\lambda \in {\mathbb {C}}\) and its spectrum consists of isolated eigenvalues of finite algebraic multiplicity. The line \(\mathfrak {R}\lambda =0\) is free of the eigenvalues of \(\Theta \).
-
(ii)
Let \(\lambda =i\xi \), \(\xi \in {\mathbb {R}}\). Then there exists a positive constant \(\rho (|\omega |)\) which may depend on \(|\omega |\) such that the solution of problem (67) with \({{\mathcal {F}}}=(f,g)\in L^2(\Omega )\times L^2(\gamma )\) and \(|\xi |\ge \rho (|\omega |)\) satisfies the estimate
$$\begin{aligned}&|\xi |^2\int _{\gamma }(|\xi |^2(|u_2|^2+|u_3|^2)+|\partial _s u_2|^2+|\partial _su_3|^2)ds+\int _\Omega |p|^2dy\nonumber \\&\quad +|\xi |^2\int _\Omega (|\xi |^2|v|^2+|\nabla _yv|^2)dy\le CN(f,g;\xi )^2, \end{aligned}$$(73)where
$$\begin{aligned} N(f,g;\xi )=\Big (||f||_0+||g_2||_0+||g_3||_0+|\xi |^{1/2}\,||g_1||_0\Big ). \end{aligned}$$(74)The constant c here may depend on \(\omega \) but it is independent of \(\xi \).
Proof
Let \(\lambda =i\xi \) and
(i) Consider the integral identity
We want to apply the Lax-Milgram lemma to find solution \((v,u)\in {{\mathcal {X}}}\). First, we note that
and
where the constant c does not depend on \(\omega \) and \(\xi \).
We use the representation
where \(\tau \in (0,1]\). Let us estimate the last term in (78). We have
Since
we derive that
Using above inequalities together with (64), we arrive at the estimate
where \(C_\omega \) is a positive constant which may depend on \(\omega \) and \(|\xi |\) is chosen to be sufficiently large with respect to \(|\omega |+1\). On the basis of
one can continue the estimation in (80) as follows:
with possibly another constant \(C_\omega \). Application of the Lax-Milgram lemma gives existence of a unique solution in \({{\mathcal {X}}}\) and the following estimate for this solution
with a constant C which may depend on \(\omega \) and \(\xi \). It remains to estimate the function p. We chose the test function \(({\hat{v}},{\hat{u}})\) in the following way: \(i\omega {\hat{u}}=v\) on \(\partial \Omega \), \(\hat{v_3}=0\) and \({\hat{v}}'\in H^1(\Omega )\) solves the problem
where \(h\in L^2(\Omega )\). According to Lemma 4.1 the mapping \(h\mapsto {\hat{v}}'\) can be chosen linear and satisfying the estimate (71). The pressure p must satisfy the relation
One can verify using (82) that the right-hand side of (83) is a linear bounded functional with respect to \(h\in L^2(\Omega )\) and therefore there exists \(p\in L^2(\Omega )\) solving (83) and estimated by the corresponding norm of \({{\mathcal {F}}}\). Thus the operator pencil (69) is isomorphism for large \(|\xi |\).
Since the operator \(\Theta (\lambda _1)-\Theta (\lambda _2)\) is compact we obtain that the spectrum of the operator pencil \(\Theta \) consists of isolated eigenvalues of finite algebraic multiplicities, see [8].
Let us show that the kernel of \(\Theta (i\xi )\) is trivial for all \(\xi \in {\mathbb {R}}\). Indeed, if \((v,u,p)\in {{\mathcal {Z}}}_\omega \times L_2(\Omega )\) is a weak solution with \({{\mathcal {F}}}=0\) then in the case \(\xi \ne 0\) inequality (76) implies \(v=0\) and hence \(u=0\) because \(i\omega u=v\) on \(\gamma \). From (68) it follows that
By Lemma 4.1 there exists the element \((v_1,v_2,0)\in {{\mathcal {X}}}\) solving \(\nabla _y\cdot {\hat{v}}'=p\) which gives \(p=0\). In the case \(\lambda =0\) we derive from (76) \(v_3=c_3\) and \((v_1,v_2)=(c_1,c_2)+c_0(y,-x)\), where \(c_0,\ldots ,c_3\) are constant. From (33) it follows that
Since the vector v is a rigid displacement, we have \(Du=0\) due to (10) and (60), where D is the same matrix operator as in (9). Hence relation (59) implies
Therefore, \(u_2=0\) and \(-\rho (s)\omega ^2u_1+ku_1=\sigma p\). By (60) and \(u_2=0\), we have
Let us show that this equality implies \(c_1=c_2=c_3=0\). Indeed, it is sufficient to prove (85) for real \(c_0\), \(c_1\) and \(c_2\). Assume that \(c_0=0\). Then \(c_1\zeta _1(s)+c_2\zeta _2(s)=c\) and hence the boundary \(\gamma \) belongs to the line or \(c_1=c_2=0\). Since the first option is impossible we obtain that both constants are zero.
So it is sufficient to prove that \(c_0=0\). Assume that it is not. Moving the origin in the \((y_1,y_2)\) plane (replacing \(\zeta _k\) by \(\zeta _k+\alpha _k\), \(k=1,2\)), we arrive at the equation
The last relation means that at each point \((y_1,y_2)\) on \(\gamma \) the corresponding vector is orthogonal to the normal to this curve at the same point, what is impossible. Thus \(c_1=c_2=c_3=0\) and hence \(v=0\). This leads to \(u=0\) and by (84) \(p=0\). Thus, the assertion (i) is proved
(ii) Let
Then
Therefore,
Furthermore,
where we have used (86). The last inequality together with (86) delivers (73) for the vector functions v and u.
To obtain the estimate for p, we proceed as in (i). \(\square \)
4.6 Solvability of the Problem (52)–(55)
Proposition 4.2
Let \(\omega \in {\mathbb {R}}\) and \(\omega \ne 0\). There exist a positive number \(\beta ^*\) depending on \(\omega \), \(\Omega \) and \(\nu \) such that the following assertions hold:
-
(i)
The strip \(|\mathfrak {R}\lambda | <\beta ^*\) is free of eigenvalues of the operator pencil \(\Theta \).
-
(ii)
For \(\mathfrak {R}\lambda =\beta \in (-\beta ^*,\beta ^*)\) the estimate
$$\begin{aligned}&(|\lambda |^2+1)\int _{\gamma }((|\lambda |^2+1)(|u_2|^2+|u_3|^2)+|\partial _s u_2|^2+|\partial _su_3|^2)ds\\&\quad +\int _\Omega |p|^2dy+(|\lambda |^2+1)\int _\Omega ((|\lambda |^2+1)|v|^2+|\nabla _yv|^2)dy\le CN(f,g;\xi )^2\nonumber \end{aligned}$$(87)is valid, where N is given by (74). The positive constant C here may depend on \(\beta \), \(\omega \), \(\nu \) and \(\Omega \).
Proof
Let \(\lambda =\beta +i\xi \). It is straightforward to verify that
where
Therefore,
is a small operator for small \(\beta \). Therefore the estimate (87) for large \(|\xi |\) follows from (73). From Lemma 4.2(i) it follows that this can be extended on \(\xi \in {{\mathbb {R}}}\) if \(\beta \) is chosen sufficiently small. Thus we arrive at both assertions of the lemma.
\(\square \)
4.7 Proof of Proposition 4.1 and Theorem 4.1
Proof
The assertion (i) in Proposition 4.1 is obtained from Proposition 4.2(ii) by using the inverse Fourier transform together with Parseval’s identity.
To conclude with (ii) we observe that the same proposition provides
and the assertion (ii) in Proposition 4.1 is obtained by applying the residue theorem. \(\square \)
Proof of Theorem 4.1
Let \((\mathbf{V},\mathbf{U}, \mathbf{P})\) be a solution to (48)–(50) satisfying (51). Our first step is to construct a representation of the solution in the form
where \((\mathbf{V}^{(\pm )},\mathbf{U}^{(\pm )})\in {{\mathcal {Z}}}_{\pm \beta }({{\mathcal {C}}})\), \(\mathbf{P}^{(\pm )})\in L^2_{\pm \beta }({{\mathcal {C}}})\) and they solve the problem (48)–(50) with certain \((\mathbf{F},\mathbf{G})=(\mathbf{F}^{(\pm )},\mathbf{G}^{(\pm )})\) such that \(\mathbf{F}^{(\pm )}\in L^2_{\pm \beta }({{\mathcal {C}}})\) and \(\mathbf{G}^{(\pm )},\partial _z\mathbf{G}^{(\pm )}\in L^2_{\pm \beta }(\Gamma )\).
Let \(\zeta \) be the same cut-off function as in the proof of Theorem 3.1. We choose in (88)
where the vector function \((\tilde{\mathbf{V}},\tilde{\mathbf{U}},\tilde{\mathbf{P}})\) solves the problem (66) for \(\lambda =0\) and with \({{\mathcal {F}}}=0\), \({{\mathcal {H}}}=0\) and \(h=\mathbf{V}_3(y,z)\) i.e.
In this problem the variable z is considered as a parameter. In order to apply Lemma 4.2(i) we reduce the above formulation to the case \(h=0\). Applying for this purpose Lemma 4.1 we find a function \({{\mathcal {V}}}(y)=({{\mathcal {V}}}_1,{{\mathcal {V}}}_2,{{\mathcal {V}}}_3)(y)\) solving (90) and satisfying (71) or (72) where \(i\omega {{\mathcal {U}}}={{\mathcal {V}}}\). The function \(({{\mathcal {V}}},{{\mathcal {U}}})\in Z\) and the above formulation is reduced to the case \(h=0\) but with some nonzero \({{\mathcal {F}}}\). Applying to the new problem Lemma 4.2(i) we find solution satisfying
which depends on the parameter z. Since
we get that
Now one can verify that the vector functions (89) satify (48)–(50) with certain right-hand sides \((\mathbf{F}^{(\pm )}, \mathbf{G}^{(\pm )})\) having compact supports. Moreover \(\mathbf{F}^{(+)}=-\mathbf{F}^{(-)}\) and \(\mathbf{G}^{(+)}=-\mathbf{G}^{(-)}\) and
Applying Theorem 4.1(ii) we get
which means that \((\mathbf{V},\mathbf{U},\mathbf{P})=0\). Theorem 4.1 is proved. \(\square \)
4.8 The Case \(\omega =0\), Homogeneous System
If \(\omega =0\) the system (3))–(11) becomes
and
where \({{\mathcal {F}}}\) is given by (7). So we see that the system becomes uncoupled with respect to \((\mathbf{v},p)\) and u. Solutions to (91)–(92) are given by
where \(p_0\), \(p_1\) are constants and \(\mathbf{v}_*\) solves the problem (18). In this case the vector function \({{\mathcal {F}}}\) is evaluated as
Let
First we consider the case \(p_0=p_1=0\). Namely, we want to solve the homogeneous equation
where \(D_0\) and \(D_1\) are defined by (5). First, we are looking for solution independent of z. Then it must satisfy
Thus
where \(c_2\) and \(c_3\) are constants.
Next let \(\mathbf{U}\) be a linear function in z, i.e. \(\mathbf{U}(s,z)=z\mathbf{u}^0(s)+\mathbf{u}^1(s)\). Then
and
Since \(\mathbf{u}^0=(0,\alpha ,\beta )^T\), \(\alpha \) and \(\beta \) are constant, equation (96) takes the form
and it is solvable since the term containing \(\mathbf{u}^0\) is orthogonal to constant vectors \((0,a_1,a_2)\). Thus there exists linear in z solutions. Let us find these solutions. We have
where
Now system (97) takes the form
This implies
where \(b_1\) and \(b_2\) are constants. Therefore
and
where
Using (99) we can write the compatibility condition for (100) as
Since \({{\mathcal {R}}}\) is a positive definite matrix, this system is uniquely solvable with respect to \((b_1,b_2)\).
Next let us look for solution to (95) in the form
where \(\mathbf{u}^0\) and \(\mathbf{u}^1\) just constructed above vector functions. Then equation for \(\mathbf{u}^2\) has the form
According to (101) solvability of this system is equivalent to
this means that \(b_2=0\) and
Furthermore, \((b_2,b_1)\) and \((\alpha ,\beta )\) are connected by (98). To simplify calculation we assume from now that
Then the matrixes \({{\mathcal {R}}}\) and \({{\mathcal {S}}}\) are diagonal and from (101) it follows that \(b_2=0\) implies \(\alpha =0\) and
The relation (103) implies
This relation together with (104) requires that \(\beta =0\) and \(b_1=0\).
If \(\xi \ne 0\) then \(\mathbf{U}=0\). Consider the case \(\xi =0\) and let \(p_0=0\). Then (93) takes the form
This is equivalent to the following three equations
This implies
where \(b_1\) and \(b_2\) are constants, and
Hence
Solving the system
we get
We write the equations (106) as
These equations has periodic solutions if
We write these equations as a system with respect to \(b_1\) and \(b_2\)
From these relations we can find \(b_1\) and \(b_2\) and then solving (108) we can find \(\mathbf{U}_2\) and \(\mathbf{U}_3\).
5 Conclusion
In this paper we consider the model describing the fluid flow in infinite cylinder with elastic wall, which takes into account also the interaction of the blood flow with surrounded tissue material. This model was introduced in our papers [10, 11] for a straight cylinder and in [7] for curvilinear cylinder. Our main goal is to show new properties of the fluid flow which appears due to elastic walls and interaction with surrounded tissue in the frame of this model. Having this in mind we have compared two boundary value problems in a cylinder describing periodic in time fluid flow. The first one is the Dirichlet problem and the second one is a boundary value problem for flexible vessel with elastic walls. The second problem was derived in [7, 11] by using asymptotic approach for a pipe with arbitrary cross-section bounded by several thin elastic layers. Periodic in time flows of the Dirichlet problem have only one non-trivial component in the velocity-the longitudinal one. This component can be found from the Dirichlet problem of the heat equation with a periodic flux depending only on time. Periodic solutions of the second boundary value problem for the flexible pipe with elastic walls have also only one non-zero component and it is longitudinal as well. It is also satisfies the heat equation but the right hand side is a constant flux. Thus in this case the longitudinal component of fluid velocity does not depend on time and therefore has the same form for all periods. This means that the pipe with elastic wall supports only classical Poiseuille solutions which depends only on the cross-section variable. This property of elastic wall is quite reasonable, it gives a certain stability of the flow since it does not depend on the period, which however is perturbed in the whole arterial tree of human’s body due to numerous bifurcations and conical and curved shape of blood vessels. Moreover there is no local reverse flow in the case of elastic walls, which follows from our result.
Another interesting property is connected with the term in the boundary condition for elastic wall, which is proportional to the normal component of displacement. This term takes care on the surrounded tissue and it stabilizes the stresses and strains. One can see that without this term stresses and strains are essentially larger (see formulas (107) and (109)).
If we compare our model with the model for elastic tube in [21], Sect. III, then they are quite close to each other for circular cylinder. Vormesley’s model does not take into account the reaction of the vessel wall to the radial (normal) component of the force acting on the wall from the side of the liquid. This is the reason that Vormesley’s model admits periodic in time solutions of the form \(e^{\omega t}v\) but our model does not have such solutions. We refer the reader to the end of the introduction where we discussed which factors influence on the laminar and oscillating parts of blood flow.
It should be emphasized that all models, even the Dirichlet one for absolutely rigid walls have certain sense because the state of the circulatory system changes with age and under influence of medications and diseases.
Change history
12 August 2021
The article has been updated since the Journal name and the header were incorrectly published.
References
Berntsson, F., Karlsson, M., Kozlov, V., Nazarov, S.A.: A one-dimensional model of viscous blood flow in an elastic vessel. Appl. Math. Comput. 274, 125–132 (2016)
Berntsson, F., Ghosh, A., Kozlov, V.A., Nazarov, S.A.: A one dimensional model of blood flow through a curvilinear artery. Appl. Math. Model. 63, 633–643 (2018)
Beirão da Veiga, H.: Time periodic solutions of the Navier-Stokes equations in unbounded cylindrical domains-Leray’s problem for periodic flows. Arch. Ration. Mech. Anal. 178(3), 301–325 (2005)
Farwig, Reinhard: Ri, Myong-Hwan Stokes resolvent systems in an infinite cylinder. Math. Nachr. 280(9–10), 1061–1082 (2007)
Filonova, V., Arthurs, C.J., Vignon-Clementel, I.E., Figueroa, C.A.: Verification of the coupled-momentum method with Womersley’s Deformable Wall analytical solution. Int. J. Numer. Methods Biomed. Eng. 36 (2020/2)
Galdi, G.P., Pileckas, K., Silvestre, A.L.: On the unsteady Poiseuille flow in a pipe. Z. Angew. Math. Phys. 58(6), 994–1007 (2007)
Ghosh, A., Kozlov, V.A., Nazarov, S.A., Rule, D.: A two-dimensional model of the thin laminar wall of a curvilinear flexible pipe. Q. J. Mech. Appl. Math. 71(3), 349–367 (2018)
Gohberg, I., Kreĭn, M.G.: Introduction to the theory of linear nonselfadjoint operators. AMS (1978)
Kozlov, V.A., Nazarov, S.A.: One-dimensional model of viscoelastic blood flow through a thin elastic vessel. J. Math. Sci. 207(2), 249–269 (2015)
Kozlov, V.A., Nazarov, S.A.: Surface enthalpy and elastic properties of blood vessels. Dokl. Phys. 56(11), 560–566 (2011)
Kozlov, V.A., Nazarov, S.A.: Asymptotic models of anisotropic heterogeneous elastic walls of blood vessels. J. Math. Sci. 213(4), 561–581 (2016)
Kozlov, V.A., Nazarov, S.A.: A one-dimensional model of flow in a junction of thin channels, including arterial trees. Sbornik: Math. 208(8), 1138 (2017)
Kozlov, V.A., Nazarov, S.A., Zavorokhin, G.L.: Pressure drop matrix for a bifurcation with defects. EJMCA 7(3), 33–55 (2019)
Kozlov, V.A., Maz’ya, V.G., Rossmann, J.: Spectral problems associated with corner singularities of solutions to elliptic equations, vol. 85. AMS (2001)
Marusic-Paloka, E.: Fluid flow through a network of thin pipes. Comptes Rendus Mécanique 329(2), 103–108 (2001)
Panasenko, G., Pileckas, K.: Asymptotic analysis of the non-steady Navier-Stokes equations in a tube structure. I. The case without boundary-layer-in-time. Nonlinear Anal.: Theory Methods Appl. 122, 125–168 (2015)
Panasenko, G., Pileckas, K.: Asymptotic analysis of the non-steady Navier-Stokes equations in a tube structure. II. General case. Nonlinear Anal. 125, 582–607 (2015)
Ri, M.-H., Farwig, R.: Maximal regularity in exponentially weighted Lebesgue spaces of the Stokes operator in unbounded cylinders. Analysis (Berlin) 35(3), 139–160 (2015)
Womersley, J.R.: Oscillatory motion of a viscous liquid in a thin-walled elastic tube-I: The linear approximation for long waves. The London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science Series 7 46(373) (1955)
Womersley, J.R.: Method for the calculation of velocity, rate of flow and viscous drag in arteries when the pressure gradient is known. J. Physiol. 127(3), 553–563 (1955)
Womersley, J.R.: An elastic tube theory of pulse transmission and oscillatory flow in mammalian arteries. WADC technical report TR 56–614, (1957)
Acknowledgements
V.Kozlov was supported by the Swedish Research Council (VR), 2017-03837. S.Nazarov is supported by RFBR grant 18-01-00325. This study was supported by Linköping University, and by RFBR grant 16-31-60112.
Funding
Open access funding provided by Link\(\ddot{\mathrm{o}}\)ping University.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflicts of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
Communicated by K. Pileckas.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The article has been updated since the Journal name and the header were incorrectly published.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kozlov, V., Nazarov, S. & Zavorokhin, G. Modeling of Fluid Flow in a Flexible Vessel with Elastic Walls. J. Math. Fluid Mech. 23, 79 (2021). https://doi.org/10.1007/s00021-021-00607-w
Accepted:
Published:
DOI: https://doi.org/10.1007/s00021-021-00607-w