On the metric graph model for flows in tubular nanostructures Текст научной статьи по специальности «Математика»

On the metric graph model for flows in tubular nanostructures

M.O. Smolkina1, I.Y. Popov1, I.V. Blinova1, E. Milakis2

xITMO University, Kronverkskiy, 49, Saint Petersburg, 197101, Russia 2University of Cyprus, P.O.Box 20537, CY-1678 Nicosia, Cyprus vega14@mail.ru, popov1955@gmail.com, irin-a@yandex.ru, emilakis@ucy.ac.cy DOI 10.17586/2220-8054-2019-10-1-6-11

A metric graph model is suggested for the Stokes flow concentrated in the vicinity of a network embedded in R3. As a basic problem, we consider the case corresponding to strong variation of the viscosity and density in a cylinder of small radius. An equation for the main term of the asymptotics is obtained. As for a graph structure, coupling conditions are assumed at the graph vertices.

Keywords: stokes flow, metric graph.

Received: 12 November 2018 Revised: 23 January 2019

1. Introduction

Many physical systems demonstrate flows concentrated near a network, e.g., flows through nanotubes [1-3] or biophysical flows [4-6]. Mentioned flow concentration near lines or surfaces may be caused by specific variation of viscosity. It is typical, for instance, for geophysical flows [7-10]. Narrowness of the domain means small ratio of width and length. It is worth noting that works concerning to viscous wires with free surface [11,12] are related to glass and fiber technologies. The problems are complicated and it is of great relevance to construct models which allow simplification.

Concentration of a solution near lines or networks appears not only in fluid mechanics but also in other fields, e.g., in quantum theory. There is an effective and simple method for investigating such systems in quantum mechanics - the quantum graph model. This method was developed in the 1980's ( [13,14]) and now is a widely used approach (see, e.g., [15]). The model has some relevant features. On the one hand, it allows one to obtain explicit solutions of the model problem; in addition, it permits good approximation in many particular physical problems (see, e.g., [16-18]). This is one reason for seeking of a new field of application for such an effective instrument. In this paper, we make steps to the development of a model analogs to the quantum graph for fluid mechanics.

There are several ways to consider the hydrodynamic equations on a network (metric graph). One can deal with the 1D Navier-Stokes equation. For example, for compressible fluid of constant viscosity ) it takes the form:

dv dv ~02vx

— + v — — n)-= 0.

dt dx dx2

This is a nonlinear equation. To get the corresponding linear one we can linearize it in the vicinity of some solution or simply neglect the nonlinear inertial terms. It is possible to obtain the 1D Navier-Stokes equation by the asymptotic procedure for 3D or 2D Navier-Stokes equations in thin tubes (see, e.g., [19-22]). It is also possible to study linear 2D or 3D Stokes equations in a system of narrow tubes and to consider the limiting procedure for tubes having widths tending to zero. One observes an analogous situation for waveguides and thick quantum graphs (see, e.g., [23-25]). In the most popular model for the Stokes flow in a network one assumes that there is the Poiseuille flow in the tubes [26]). In our case the situation is more complicated (the flow is not localized inside tubes, the viscosity and the density varies essentially), and this model is not appropriate. We use the asymptotic approach. The first step was made in [27], where a metric graph model was constructed for 2D case. As a result, we obtain 1D problem on a metric graph for the main term of the asymptotic expansion. We called it the Stokes graph. In the present paper, we construct the model for 3D case.

2. Preliminaries

3D Stokes and continuity equation for the case of variable viscosity and density in cylindrical coordinates (r, p, z)are as follows:

(v • a)r = —pGr,

(v- a)^ = -pGh (1)

(v- a)z = -pGz,

V(pv) _ 0. (2)

Here a is the stress tensor, p is the density, G is the external force, v is the flow velocity. In cylindrical coordinates the continuity equation (2) takes the form:

pvr d(pvr) 1 d(pv0) d(pvz)

+

+ --

+

0

r dr r d$ dz

The divergence of a total stress tensor in cylindrical coordinates have the form:

(3)

(v- a)r

dar

dr

+

■ a00

1 da,

(Y7 \ dar0 , (v a)0 +

r 2a,

+ -

0r

r dtp

+

daz

dz '

r0 + 1 da00 + da Z0

r dtp

dz ' dazz

darz ^ arz ^ 1 da0z ^ z dr r r dtp dz

Then equations (1) transform to the form:

drr,

dr

dTr0

dr

drr

+

■ T00

+ -

1 drr0 + drrz _ dp _ -pGG

t r dtp dz dr

+ 2rr0 + 1 dr00 + dr0z 1 dp _ _ g r dp dz r dp

dr

r r dp dz

I Trz , 1 dT0z + dTzz

r r dp dz

dP G

_ dz _ _PGz ■

In cylindrical coordinates, the deviatoric stress tensor has the following components:

n , 00 n ^r dp r

dr

1 dvr dv0 r0 vr dp dr

T0z _ n

In more detail, equations (4), (5), (6) take the form:

v0 r

dv0

Trz _ n

dvz

dvz dvr dr dz

1 dvz dz r dp

(4)

(5)

(6)

2 &n_dvL + 2r]d2vr

dr dr dr2

1 dvr

1 dv,

+ _ 3nf^ _ + f^ ^ +

• r dr

, 0 , 0 1 d2 vr

„ il J, dp r2 n r2 dp2

1 dn dv± dn v0 r dp dr dp dvz dp dvr

r2 dp , 1 d2v0 + - n

vr ^ 1 dn dvr r2 r2 dp dp

+

r2 dp2 r dpdr vz d,i dvr d2vz d2vr dP

dz dr dz dz ^ dzdr ^

_ fr _ _PGr,

1 dn dvr dn dv0

r dr dp dr dr 1 dvr 1 dv0

dz2

1 dn 1 d2vr d2v0

r dr 0 n r drdp n dr2

v0 1 dn dv0 i o 1 dn

r2 dp r dr r2 r2 dp dS r2 dp r 1 d2v0 dn dv0 1 dn dvz d v0 1 d2vz 1 dP 2nr2 d4>2 + dz dz + + n a"2 + _ _ _pG0,

dn dvz dn dvr dr dr dr dz ^ dr2

r dz dp + r]

d2vz d2vr

+ ^ dndvz + 1 d2v0 + 1 d2vz + 2r]d2vz r2 dp dp r dpdz r2 dp2 dz2

dz2 r dzdp r dp 1 dvz 1 dvr 1 dn dv0 drdz n r dr n r dz r dp dz

dn dvz dp _

+ ---_ _pGz

dz dz dz

(1)

(8)

r

3. Stokes graph model

We will consider the flow under some axisymmetric conditions. Keeping in mind future replacement of variables, we change notations. Namely, we equip all variables and parameters in equations (3), (7), (8), (9) by ? r,?,?,?,?. We will deal with the case when the values of the viscosity ? and the density ? are smooth and outside the cylinder {(),?,? : ? g (—to, to),) g (0,£)} are essentially greater than inside it ((),?,?) are the cylindrical coordinates):

?(),?,?) = n())n2()), ?(?, 9),)) = P())P2()),

^ / !, 0 < ? < £, ^ n2()) = < - ^ 0 Vw > l,

nw, r > 2e,

i 1, 0 < r < £,

P2(r) = < - ^ 0 Pw > 1.

Pw, r > 2e,

Here, £ is a small parameter. It means that the flow is essentially inside the cylinder. We will consider the flow inside the cylinder only. Let us introduce new coordinates: z = ?, r = )/£, 9 = 9?. We will consider an axisymmetric solution. Correspondingly, the flow velocity and the pressure do not depend on 9. Correspondingly, equation (8) becomes the identity. Equations (7), (9), (3) take the following form after the coordinate replacement:

2£-2 + 2£-2nft + 2£-2n1 — 2£-2^ + ^ ^+

dr dr dr2 r dr r2 dz dr

-1 <9n<9vr -i d2v- <92vr -i dP (10)

£ dZaZ" +£ ^ + ^ — £ ar = —, (10)

£-2dndvz + £-1 dndvr+£-2 d2vz + £-1 d2vr + £-2 1 dvz+

dr dr dr dz ^ dr2 ^dzdr dr

-1 1 dvr , odndvz dP ^ (11)

£ + 2nW + 2dZaZ" — a* = —, (11)

£-1 pvr + £-1 ^ + + ^ =0. (12)

r dr dr dz

We will seek the solutions in the form of series in e:

vr = v° + v^e + ..., v- = v° + v^e + ..., P = P0 + Pxe + ....

Let us insert the series (3) into equations (10), (11), (12) and collect terms of the same powers of e . We obtain the chain of equations for the series coefficients. Terms of order e-2 are in the Stokes equations (in new variables) only:

nddr? +1 ^ dd0 - r2 v°°=0, (13)

^d2v0 + 1 d(rn) dv0_o (14)

dr2 r dr dr

v°(r,z) = /4 i = u(z) i (15)

rn2(r) 7 r%(r)

Here u(z),/(z) are some functions of one variable. They should be determined later. Terms of order e-1 are in three equations. The continuity equation gives us: v° = g(z)/(rp). To avoid contradiction with (13), we conclude that v° = 0, i.e. the series for vr starts from another power than for vz. It is a conventional situation when one has different scales for different directions (see, e.g., [31]). The Stokes equations (10), (11) give us the following relations for the terms of this order:

Equation (14) gives us:

dV1 1 d . , dvl n 1 dn dv0 d2v° dP1 n^T-r + -ir.(rn)^- - -2vr = it- - nir-TT +

1

dr2 r dr dr r2 r dz dr drdz dr

11

n dv1 d2v1 1 dvz

—--- + n—- +---- = 0.

dr dr d2r r dr

These equations are solvable with respect to v1, v^. The pressure term P0 should be determined later. Consider the terms of order £0. The continuity equation (12) leads to the following equation for v1

dp 1 P 1 dvi dp ° dv°

^ + pv1 + Pdd^" = -^0°- p-dv--, (16)

Equation (10) gives the relation:

dz dr dz dz dzdr dr

Equation (11) produces the relation:

d2vZ2 dp dv2z n dv2

d2v2 dn dv2 n dv2 v2

2ndnr + 2+2^ - 2nVv2 =

dr2 dr dr r dr r2

dn dvZ dndvl d2vl , dp 1 „ (17)

- n a a --, (17)

n-z +--1 —z + --

dr2 dr dr r dr dp dv1 dp dv0 d2v'1. n dv\ d2v0 dP0

4 _ dn^ _ n^ _ ndVl _ 2nddZV0 + — - pGz. (18)

dr dz dz dz dzdr r dz dz2 drz

( dzP0 dP0 \

The pressure is determined at the next stage (by taking into account the solvability condition =

\ drdz dzdrJ

where the right hand side is obtained as a derivative with respect to r of the expression obtained from (18) and the left hand side - as a derivative in respect to z of the expression obtained from (17)). If we consider the first term of the asymptotic series for the velocity only, we obtain an interesting equation for v0 from (18) and (16):

d2v0 _ dn 1 dp 1 vo = _ + 1 dP0 (19)

dz2 dz n dz p z n n dz

Taking into account the expressions for n, p, v°, one can see that it leads to the following equation for the function

( dP0

u(z) in the homogeneous case I Gx = 0, —— = 0

» n' _ n (20)

u---u = 0. (20)

np

One can see that we have the 1D Schrodinger equation with a specific potential for the function u(x) corresponding to zero energy (the similar problem for the quantum graph is known as the threshold resonance, see, e.g., [28]).

Thus, for the flow concentrated near a line (a thin cylinder) we have one-dimensional model. Correspondingly, more complicated case of flow concentrated near a network (system of coupled segments) can be reduced to the corresponding metric graph with the Schrodinger operator:

H = _ dL +1 __

dx2 n _

on the edges as the first approximation for the description of the flow. We call it the Stokes graph (r). It is necessary to determine boundary conditions at the graph vertices. Consider a vertex (let it be zero point) with n output edges. From physical conditions, one has:

Pi (0) = _2 (0) = ••• Pn (0) = p (0)

and

ui' (+0) = u2 (+0) = • • • un' (+0) = u' (0). Here indices mark the edges (uj is the value of u at j-th edge). The last condition is related to the pressure continuity (see, e.g., [26,29,30]). Here, uj' (+0) is the derivative in the outgoing direction at the vertex 0. The continuity equation gives us for this vertex:

Y uj = _(^n p (0) , V (0). (21)

u j V£n=ipj (+°v

It is similar to well-known ¿'-coupling condition for the quantum graph [15]. The coupling constant is related to the density derivative.

n' p'

We will consider the following case: q =--is uniformly continuous on every edge of the graph r (we

np

mark the set of its edges as E and the set of its vertices as V),

p (0)

6 :

TH=Ip'0 (+o)

j=ir j

is positive. We will deal with the following homogeneous equation:

(Hu) (x) = 0. (22)

Here, operator H is defined as follows. At each edge it acts as:

d2

(Hu) (x) = ——ru (x) + q (x) u (x), x g E (r) . (23)

dx2

Elements from its domain belong to the Sobolev space H2 at each edge. As for vertices, the following condition takes place (for a vertex x having n output edges):

u1' (+x) = u2' (+x) = • • • un' (+x) = u' (x), x g V (r), (24)

n

^ uj (x) + 0u' (x) = 0, x g V (r) ,0 > 0. (25)

j=1

u (a) = 0, a g dr. (26)

One can see that we have constructed a metric graph model which coincides with that of the two-dimensional case [27]. Of course, the definition of the function u differs from that of the 2D case but the model operator is the same. Correspondingly, one can obtain the same result for "cylindrical" case. Namely, we obtain the following statement.

Definition. Operator H is denoted as sign preserving on the graph r if the inequality u (x) u (x') > 0 takes place for any nontrivial solution of equation (22). Here x, x' are arbitrary points of r \ dr.

The main result of the paper is the following inequality (27) that is analogous to the Harnack's inequality for an elliptic operator on a manifold.

Main Theorem. Let H be sign preserving on graph r. Then there exists a constant y, determined by the operator H and the structure of the graph r only, such that each non-negative on r solution u (x) of inequality Hu > 0 satisfies the following inequality:

max u (x) < y min u (x), (27)

xer0 xero

on any locally compact (in respect to r) subgraph r0, r0 c r. Acknowledgements

This work was partially financially supported by the Government of the Russian Federation (grant 08-08), by grant 16-11-10330 of Russian Science Foundation. E. Milakis was partially supported by Research Promotion Foundation (Cyprus) grant no Excellence/1216/0025.

References

[1] Chivilikhin S.A., Gusarov V.V., Popov I.Y. Charge pumping in nanotube filled with electrolyte. Chinese Journal of Physics, 2018, 56(5), P. 2531-2537.

[2] Popov I.Yu., Kyzyurova K.N. and Blinova I.V., Stokes flow driven by a Stokeslet in a cone. Acta Mechanica, 2014, 225, P. 3115-3121.

[3] Belonenko M.B., Chivilikhin S.A., Gusarov V.V., Popov I.Yu. and Rodygina O.A. Soliton-induced flow in carbon nanotube. Europhys. Lett., 2013, 101(6), P. 66001.

[4] Sharan M. and Popel A.S. A two-phase model for flow of blood in narrow tubes with increased effective viscosity near the wall. Biorheology, 2001, 38, P. 415-428.

[5] Secomb T.W. and El-Kareh A.V. Models for slow blood flow in narrow tubes: effect of aggregation and sedimentation on flow resistance. Biorheology, 1995, 32, P. 169-169.

[6] Srivastava V.P. A theoretical model for blood flow in small vessels. Int. J. Applications and Appl. Math., 2007, 2(1), P. 51-65.

[7] Gerya T. Introduction to Numerical Geodynamic Modelling. Cambridge, Cambridge University Press, 2010.

[8] Ismail-Zadeh A., Tackley P. Computational methods in Geodynamics. Cambridge, Cambridge University Press, 2010.

[9] Ribe N.M., et al. Buckling instabilities of subducted lithosphere beneath the transition zone. Earth and Planetary Science Letters, 2007, 254, P. 173-179.

[10] Griffiths R.W. The Dynamics of Lava Flows. Annual Review of Fluid Mechanics, 2000, 32(1), P. 477-518.

[11] Griffiths I.M., Howell P.D. The surfacetension-driven evolution of a two-dimensional annular viscous tube. Journal of Fluid Mechanics, 2007, 593, P. 181-208.

[12] Griffiths I.M., Howell P.D. Mathematical modelling of non-axisymmetric capillary tube drawing. Journal ofFluid Mechanics, 2008, 605, P. 181-206.

[13] Gerasimenko N., Pavlov B. Scattering problems on non-compact graph. Theor. Math. Phys., 1988, 74, P. 230-240.

[14] Exner P. and Seba P. Free quantum motion on a branching graph. Rep. Math. Phys., 1989, 28, P. 7-26.

[15] Berkolaiko G., Kuchment P., Introduction to Quantum Graphs. AMS, Providence, 2012.

[16] Kostrykin V., Schrader R. Laplacians on metric graphs: eigenvalues, resolvents and semigroups. Quantum graphs and their applications, 201-225, Contemp. Math., 415, Amer. Math. Soc., Providence, RI, 2006.

[17] Popov I.Yu., Skorynina A.N., Blinova I.V. On the existence of point spectrum for branching strips quantum graph. J. Math. Phys., 2014, 55, P. 033504/1-20.

[18] Eremin D.A., Grishanov E.N., Nikiforov D.S., Popov I.Y. Wave dynamics on time-depending graph with Aharonov-Bohm ring. Nanosys-tems: Physics, Chemistry, Mathematics, 2018, 9(4), P. 457-463.

[19] Panasenko G.P. Asymptotic expansion of the solution of Navier-Stokes equation in tube structure and partial asymptotic decomposition of the domain. Applicable Analysis, 2000, 76(3), P. 363-381.

[20] Panasenko G.P., Stavre R. Asymptotic analysis of a periodic flow in a thin channel with visco-elastic wall. J. Math. Pures Appl., 2006, 85, P. 558-579.

[21] Panasenko G.P., Stavre R. Asymptotic analysis of the Stokes flow in a thin cylindrical elastic tube. Applicable Analysis, 2012, 91(11), P. 1999-2027.

[22] Melikhov I.F., Popov I.Y. Asymptotic analysis of thin viscous plate model. Nanosystems: Physics, Chemistry, Mathematics, 2018, 9(4), P. 447-456.

[23] Post O. Branching quantum waveguides with Dirichlet boundary conditions: the decoupling case. J. Phys. A: Math. Gen., 2005, 38, P. 4917-4931.

[24] Molchanov S., Vainberg B. Scattering solutions in networks of thin fibers: small diameter asymptotics. Comm. Math.Phys., 2007, 273, P. 533-559.

[25] Popov I.Yu., Eremin D.A., Ivanov D.A. Regular potential approximation for delta-perturbation supported by curve of the Laplace-Beltrami operator on the sphere. Z. Anal. Anwen., 2012, 31(2), P. 125-137.

[26] Jivkov A.P., Hollis C., Etiese F., McDonald S.A., Withers P.J. A novel architecture for pore network modelling with applications to permeability of porous media. J. Hydrology, 2013, 486, P. 246-258.

[27] Kovaleva M.O., Popov I.Y. Harnack's Inequality for Stokes Graph. Zeitschrift fur Analysis und ihre Anwendungen, 2016, 35(4), P. 383-396.

[28] Cacciapuoti C. and Exner P. Nontrivial edge coupling from a Dirichlet network squeezing: the case of a bent waveguide. J. Phys. A., 2007, 40, P. F511-F523.

[29] Gudzovski A.V. On the computation for hydraulic networks. Doklady Akad. Nauk, 1998, 358, P. 765-767.

[30] Pokornyi Yu.V., Penkin O.M., Pryadev V.L., Borovskikh A.V., Lazarev K.P. and Shabrov S.A. Differential Equations on Geometrical Graphs. Moscow, Fizmatlit, 2004.

[31] Van Dyke M. Perturbation Methods in Fluid Mechanics. Stanford, Parabolic Press, 1975.