Skip to main content

Time periodic Navier–Stokes equations in a thin tube structure


The time periodic Navier–Stokes equations are considered in the three-dimensional and two-dimensional settings with Dirichlet boundary conditions in thin tube structures. These structures are finite union of thin cylinders (thin rectangles in the case of dimension two), where the small parameter ε is the ratio of the hight and the diameter of the cylinders. We consider the case of finite or big coefficient before the time derivative. This setting is motivated by hemodynamical applications. Theorems of existence and uniqueness of a solution are proved. Complete asymptotic expansion of a solution is constructed and justified by estimates of the difference of the exact solution and truncated series of the expansion in norms taking into account the first and second derivatives with respect to the space variables and the first derivative in time. The method of asymptotic partial decomposition of the domain is justified for the time periodic problem.

1 Introduction

The present paper is motivated by the problem of computer modeling of the blood vessel network. Such modeling is important for optimization of the choice of serging strategy in the case of cardio-vascular or cerebrovascular problems. The existing one-dimensional models and codes cannot give the required accuracy in the neighborhoods of clot formation zones, stents, and bifurcation of vessels. On the other hand, the completely three-dimensional computations are currently very time consuming and can be applied only for small parts of the blood circulation system. That is why we suggest the hybrid dimension models, combining the one-dimensional reduction in the regular zones with three-dimensional zooms in small zones of singular behavior. This approach was addressed to the non-stationary initial boundary value problems for the Navier–Stokes equations in thin tube structures [17]. However, for the hemodynamical modeling, more natural are time-periodic settings. That is why we consider here the periodic in time problem for the Navier–Stokes equation, prove the existence and uniqueness theorems for this setting, and construct the asymptotic expansion of a solution with respect to the small parameter ε equal to the ratio of the diameter of vessels to their length. We consider the Navier–Stokes equations in a class of special domains called tube structures. These domains are connected finite unions of thin finite cylinders (thin rectangles in the 2D case respectively). Each such tube structure may be schematically represented by its graph: letting the thickness of tubes tend to zero, we find out that tubes degenerate to segments. We consider the problem in two different scalings: one of them is the same as in [17], while the other generates a big coefficient of order \(\varepsilon ^{-2}\) of the time derivative of the velocity. The constructed asymptotic expansion is then used for the construction of a special numerical method combining one-dimensional description with three-dimensional zooms, the method of asymptotic partial decomposition of the domain (MAPDD). This method reduces the full geometry setting to the computations in neighborhoods of bifurcation zone of diameter of order \(\varepsilon \vert \ln \varepsilon \vert \) as in [4] but in the time periodic setting. An alternative approach was developed by A. Quarteroni’s team [5], but this other method of junction of one-dimensional and three-dimensional zones is different because it is based on multi-physics modeling: the one-dimensional hyperbolic equations and three-dimensional models are derived independently of conservation laws, and then coupling is based on the ideas of consistency of numerical schemes implementing these models. On the contrary, the MAPDD starts from the Navier–Stokes equation written everywhere in the blood flow area, it rigorously derives the one-dimensional Poiseuille type equations in the main part of the domain with three-dimensional zoom in small parts near the bifurcations of vessels and clot formation zones. It prescribes mathematically justified size of the zoomed areas and asymptotically exact junction conditions. Numerous computational tests show that the multi-physics approach with hyperbolic one-dimensional models is more convenient for the description of thick vessels (arteries), while the MAPDD model works better for small vessels such as arterioles.

Let us describe now two different scalings of the Navier–Stokes equations in small and very small arterioles or capillaries. The experimental data depend on numerous factors: whether human or animal blood system is considered, if it is healthy or ill. So we take some averaged data from [10, 11]. The characteristic time (period) is 1 second, while the characteristic velocity is about \(0.5 \times 10^{-3}\)\(\text{m}/\text{sec}\). Consider two scalings for the characteristic length and diameter of vessels: (1) the length is 10−3 m and the characteristic diameter 10−4 m, (2) the length is 10−2 m and the characteristic diameter 10−3 m (in both cases \(\varepsilon =0.1\)). Let us make the change of the space variable \(X=10^{-3} x\) in case (1), and \(X=10^{-2} x\) in case (2). Consider case (1). Making the change of velocity \(\mathbf{v}=10^{-3} {\mathbf{V}}\) and the change of pressure \(p=10^{3}P\) and taking into account that the dynamic viscosity of the blood is about \(4 \times 10^{-3}\) Pa sec and its density is 103\(\text{kg}/\text{m}^{3}\), we obtain in new variables the Navier–Stokes equation with all coefficients of order one:

$$\begin{aligned} \frac{\partial {\mathbf{V}}}{\partial t} -4\Delta _{X} {\mathbf{V}} +0.5 ( \mathbf{V}, \nabla _{X}) \mathbf{V} + \nabla _{X} P=0,\quad \nabla\boldsymbol{\cdot}{ \mathbf{V}}=0. \end{aligned}$$

Consider now case (2). Making the change of velocity \(\mathbf{v}=10^{-4} {\mathbf{V}}\) and the change of pressure \(p=10^{1}P\), we obtain in new variables the Navier–Stokes equation with all coefficients except for the time derivative term of order one, while the coefficient of the time derivative is 102, i.e., \(\varepsilon ^{-2}\):

$$\begin{aligned} 10^{2} \frac{\partial {\mathbf{V}}}{\partial t} -4\Delta _{X} {\mathbf{V}} + 5( \mathbf{V}, \nabla _{X}) \mathbf{V} + \nabla _{X} P=0,\quad \nabla\boldsymbol{\cdot}{\mathbf{V}}=0. \end{aligned}$$

That is why we consider below two different settings: with the factor \(\varepsilon ^{-2}\) and without it.

In the first part of the paper we study the existence and uniqueness of the time periodic Navier–Stokes equations for both settings and derive the a priori estimates. The proof of the existence, uniqueness, and a priori estimates of a solution in the time periodic setting differs significantly from the proof of this trinity in the case of initial conditions given in [17]. Moreover, in the present paper we obtain more precise estimates by means of a technique using the Stokes operator extension (see [21]) and the base of its eigenfunctions. However, this technique needs the \(C^{2}\)-smoothness of the boundary. That is why we modify slightly the definition of the tube structure adding smoothing domains near the vertices of the graph of the tube structure. This modification allows as well to improve the estimates for the Jth partial sums of an asymptotic expansion of solution constructed in Sect. 6 and to obtain better estimates than in [17]. The construction of the asymptotic expansion of the solution and the MAPDD implementation for setting (1) is similar to [17] but with the time periodicity condition instead of the initial condition.

On the contrary, case (2) corresponds to a different expansion of the solution, and the algorithm of its construction is given in Sect. 6. Section 8 is devoted to the justification of the asymptotic expansion.

1.1 Tube structures. Graphs

For the reader’s convenience, let us remind the definitions of the tube structure and its graph given in [17], see also [12].

Definition 1.1

Let \(O_{1},O_{2},\ldots,O_{N}\) be N different points in \({\mathbb{R}} ^{n}, n=2,3\), and \(e_{1},e_{2},\ldots,e_{M}\) be M closed segments each connecting two of these points (i.e., each \(e_{j} = \overline{O_{i _{j}}O_{k_{j}}}\), where \(i_{j},k_{j} \in \{1,\ldots,N\}, i_{j} \neq k _{j}\)). All points \(O_{i}\) are supposed to be the ends of some segments \(e_{j}\). The segments \(e_{j}\) are called edges of the graph. A point \(O_{i}\) is called a node if it is the common end of at least two edges and \(O_{i}\) is called a vertex if it is the end of the only one edge. Any two edges \(e_{j}\) and \(e_{i}\) can intersect only at the common node. The set of vertices is supposed to be non-empty.

Denote by \(\mathcal{B} = \bigcup_{j=1}^{M} e_{j}\) the union of edges and assume that \(\mathcal{B}\) is a connected set. The graph \(\mathcal{G}\) is defined as the collection of nodes, vertices, and edges (see Fig. 1). The union of all edges having the same end point \(O_{l}\) is called the bundle \(\mathcal{B}^{(l)}\).

Figure 1
figure 1

Graph of tube structure

Let e be some edge, \(e= \overline{O_{i}O_{j}}\). Consider two Cartesian coordinate systems in \(\mathbb{R}^{n}\). The first one has the origin in \(O_{i}\) and the axis \(O_{i}x_{n}^{(e)}\) has the direction of the ray \([O_{i}O_{j})\); the second one has the origin in \(O_{j}\) and the opposite direction, i.e., \(O_{i}\tilde{x}_{n}^{(e)}\) is directed over the ray \([O_{j}O_{i})\).

In what follows, in the various situations we choose one or another coordinate system denoting the local variable in both cases by \(x^{(e)}\) and pointing out which end is taken as the origin of the coordinate system.

With every edge \(e_{j}\), we associate a bounded domain \(\sigma ^{j} \subset \mathbb{R}^{n-1}\) having \(C^{2}\)-smooth boundary \(\partial \sigma ^{j}, j=1,\ldots,M\). For every edge \(e_{j} = e\) and associated \(\sigma ^{j} = \sigma ^{(e)}\), we denote by \(\varPi _{\varepsilon }^{(e)}\) the cylinder

$$\begin{aligned} \varPi _{\varepsilon }^{(e)} = \biggl\{ x^{(e)} \in \mathbb{R}^{n}: x_{n} ^{(e)} \in \bigl(0, \vert e \vert \bigr), \frac{x^{(e)'}}{\varepsilon }\in \sigma ^{(e)} \biggr\} , \end{aligned}$$

where \(x^{(e)'} = (x_{1}^{(e)}, \ldots,x_{n-1}^{(e)}), |e|\) is the length of the edge e, and \(\varepsilon >0\) is a small parameter. Notice that the edges \(e_{j}\) and Cartesian coordinates of nodes and vertices \(O_{j}\), as well as the domains \(\sigma _{j}\), do not depend on ε.

Let \(O_{1},\ldots,O_{N_{1}}\) be nodes and \(O_{N_{1}+1},\ldots,O_{N}\) be vertices. Let \(\omega ^{1},\ldots,\omega ^{N}\) be bounded independent of ε domains in \(\mathbb{R}^{n}\); introduce the nodal domains \(\omega ^{j}_{\varepsilon }= \{x\in \mathbb{R}^{n}:\frac{x-O_{j}}{ \varepsilon }\in \omega ^{j}\}\).

Every vertex \(O_{j}\) is the end of one and only one edge \(e_{k}\), which is re-denoted as \(e_{O_{j}}\); we re-denote as well the domain \(\sigma ^{k}\) associated with this edge as \(\sigma ^{O_{j}}\). Notice that the subscript k may be different from j.

Definition 1.2

We call the following domain a tube structure:

$$\begin{aligned} B_{\varepsilon }= \Biggl(\bigcup_{j=1}^{M} \varPi _{\varepsilon } ^{(e_{j})} \Biggr)\cup \Biggl(\bigcup _{j=1}^{N} \omega _{\varepsilon }^{(j)} \Biggr). \end{aligned}$$

Suppose that it is a connected set and that the boundary \(\partial B _{\varepsilon }\) of \(B_{\varepsilon }\) is \(C^{2}\)-smooth.

In what follows we use the following notation. Let V be a Banach space. The norm of the element u in the function space V is denoted by \(\|u\|_{V}\). Vector-valued functions are denoted by bold letters, and the spaces of scalar and vector-valued functions are not distinguished in notation. We use the standard notations for Sobolev and Hölder spaces. Let T be a positive number. The notation \(V_{\mathrm{per}}\) means that elements of the space V are T-periodic functions, i.e., \(u( \cdot , t)=u( \cdot , t+T)\). Without loss of generality we may assume \(T=2\pi \). We will need two spaces of periodic functions: \(L^{2}_{\mathrm{per}}(0,2\pi )\) and \(\mathring{W}^{1,2}_{\mathrm{per}}(0,2 \pi )\), which are supplied by the inner product of \(L^{2}(0,2\pi )\) and \(\mathring{W}^{1,2}(0,2\pi )\), respectively.

1.2 Formulation of the problem

Consider in the tube structure \(B_{\varepsilon }\) the time periodic boundary value problem for the Navier–Stokes equations

$$\begin{aligned} \textstyle\begin{cases} \frac{1}{\varepsilon ^{\beta }}{\mathbf{v}}_{t} - \nu \Delta {\mathbf{v}} + (\mathbf{v}\cdot \nabla )\mathbf{v} + \nabla p = 0, \quad \beta =0, 2, \\ \operatorname{div} \mathbf{v} = 0, \\ \mathbf{v}|_{\partial B_{\varepsilon }} = \mathbf{g},\quad \mathbf{v} (x,t) = \mathbf{v} (x,t+2\pi ). \end{cases}\displaystyle \end{aligned}$$

Assume that the fluid velocity g at the boundary \(\partial B_{\varepsilon }\) has the following structure: \(\mathbf{g} = 0\) everywhere on \(\partial B_{\varepsilon }\) except for the set \(\gamma _{\varepsilon }^{N_{1}+1},\ldots,\gamma _{\varepsilon }^{N}\), where \(\gamma _{\varepsilon }^{j}=\partial B_{\varepsilon }\cap \partial \omega _{\varepsilon }^{j}, j=N_{1}+1,\ldots , N\), i.e.,

$$\begin{aligned} &{\mathbf{g}}(x,t)|_{\gamma ^{j}_{\varepsilon }} = \mathbf{g}^{j} \biggl(\frac{x-O _{j}}{\varepsilon },t \biggr)\bigg|_{\gamma ^{j}_{\varepsilon }},\quad j = N_{1}+1,\ldots, N, \\ &{\mathbf{g}}(x,t)|_{\partial B_{\varepsilon }\setminus ( \bigcup _{j=N_{1}+1}^{N} \gamma ^{j}_{\varepsilon })} = 0, \end{aligned}$$

where \(\mathbf{g}^{j} \in C^{[\frac{J+1}{2}]+1}(0, 2\pi ; W^{3/2,2}( \gamma ^{j}))\), \([\alpha ]\)—is the integer part of α, \(\gamma ^{j}=\varepsilon ^{-1}(\gamma _{\varepsilon }^{j}-{O_{j}})\) the corresponding dilated part of the boundary, \(\mathbf{g}\in C^{[ \frac{J+1}{2}]+1}(0, 2\pi ; W^{3/2,2}(\partial B_{\varepsilon }))\).

Denote \(e=e_{O_{j}}\) (the edge with the end \(O_{j}\)) and \(x^{(e)}\) is the Cartesian coordinates corresponding to the origin \(O_{j}\) and the edge e, i.e., \(x^{(e)} = \mathcal{P}^{(e)}(x-O_{j})\), \(\mathcal{P} ^{(e)}\) is the orthogonal matrix relating the global coordinates x with the local ones \(x^{(e)}, \sigma ^{j}_{\varepsilon } = \{x:\frac{x ^{(e)'}}{\varepsilon }\in \sigma , x_{n}^{(e)}=0\}\). Denote \(\mathbf{g}^{(e)}=\mathcal{P}^{(e)}{\mathbf{g}}^{j}\).


$$\begin{aligned} \widetilde{F}^{j}(t)&= \int _{\gamma ^{j}_{\varepsilon }}{\mathbf{g}}(x,t) \cdot {\mathbf{n}}(x)\,dS = \int _{\gamma ^{j}_{\varepsilon }} {\mathbf{g}}^{j} \biggl( \frac{x-O_{j}}{\varepsilon },t \biggr)\cdot {\mathbf{n}}(x)\,dS \\ &=\varepsilon ^{n-1} \int _{\gamma ^{j}}\hat{g}^{j}_{n} \bigl(y^{(e)'},t\bigr)\,dy ^{(e)'}\equiv \varepsilon ^{n-1}F^{j}(t),\quad j = N_{1}+1,\ldots,N, \end{aligned}$$

where n is the unit outward (with respect to \(B_{\varepsilon }\)) normal vector to \(\gamma ^{j}_{\varepsilon }, y^{(e)'}=\frac{x ^{(e)'}}{\varepsilon }, \hat{\mathbf{g}}^{j}(y^{(e)'},t)=\mathbf{g} ^{j}((\mathcal{P}^{(e)})^{*}y^{(e)'},t)\). Since \(\mathbf{g}(x,t)\) is time periodic, \(F^{j}(t)\) also must be time periodic. Moreover, since we will need the divergence-free extension of g, we assume the compatibility condition for the flow rates \(F^{j}(t)\):

$$\begin{aligned} \sum_{j=1}^{J} F^{j}(t)=0 \quad\forall t\in [0,2\pi ]. \end{aligned}$$

Let g be the divergence-free time periodic extension of the boundary function g (which we denote by the same symbol \(\mathbf{g}, \mathbf{g} \in C^{[\frac{J+1}{2}]+1}([0,2\pi ];W^{2,2}(B _{\varepsilon }))\)) satisfying, for all \(t\in [0,2\pi ]\), the following asymptotic estimates:

$$\begin{aligned} \begin{aligned} &\sup_{x\in B_{\varepsilon }} \bigl\vert { \mathbf{g}}(x,t) \bigr\vert \leqslant c,\qquad \Vert \nabla {\mathbf{g}} \Vert _{L^{2}(B_{\varepsilon })}\leqslant c \varepsilon ^{\frac{n-3}{2}}, \\ &\Vert {\mathbf{g}}_{t} \Vert _{L^{2}(B_{\varepsilon })}\leqslant c \varepsilon ^{\frac{n-1}{2}},\qquad \bigl\Vert \nabla ^{2}{\mathbf{g}} \bigr\Vert _{L^{2}(B _{\varepsilon })}\leqslant c\varepsilon ^{\frac{n-5}{2}}, \end{aligned} \end{aligned}$$

where the constant c is independent of ε.

Below we construct the special extension g in the form of asymptotic representation of the solution g such that the discrepancy of this extension in equations (1.1) is small. But first we consider the following variations problem: find a vector-field \(\mathbf{v}=\mathbf{u}+\mathbf{g}\) with \(\operatorname{div} \mathbf{u} =0\), \(\mathbf{u}\in L_{\mathrm{per}}^{\infty }(0,2\pi ;\mathring{W}^{1,2}(B _{\varepsilon }))\), \(\mathbf{u}_{t} \in L_{\mathrm{per}}^{2}( 0,2 \pi ;L^{2}(B_{\varepsilon }))\) satisfying the integral identity

$$\begin{aligned} &\int _{B_{\varepsilon }} \biggl(\frac{1}{\varepsilon ^{\beta }} {\mathbf{u}}_{t} \cdot {\pmb{\eta }} +\nu \nabla {\mathbf{u}}\cdot \nabla {\pmb{\eta }} - \bigl(( \mathbf{u} +\mathbf{g})\cdot \nabla \bigr) {\pmb{\eta }} \cdot {\mathbf{u}} - ( \mathbf{u}\cdot \nabla ) {\pmb{\eta }}\cdot {\mathbf{g}} \biggr)\,dx \\ &\quad = \int _{B_{\varepsilon }}{\mathbf{f}}\cdot {\pmb{\eta }} \,dx \end{aligned}$$

for every divergence-free vector-field \({\pmb{\eta }} \in \mathring{W}^{1,2}(B_{\varepsilon })\). Here g is an arbitrary extension satisfying (1.4) and f is an arbitrary function such that

$$\begin{aligned} A_{1}(t)= \bigl\Vert {\mathbf{f}}( \cdot , t) \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })}\leqslant c, \end{aligned}$$

where c is independent of ε.

2 Auxiliary results

In this section we prove some multiplicative inequalities in the tube structure \(B_{\varepsilon }\). First we construct two coverings of the domain \(B_{\varepsilon }\). Take domains \(A^{(e_{j})}_{\varepsilon ,k} = \{x\in \varPi ^{(e_{j})}_{\varepsilon }:x^{(e_{j})}_{n}\in \varepsilon (k-2,k+2)\}, j=1,\ldots,N, k=2,\ldots,L^{j}_{\varepsilon }, L^{j}_{\varepsilon }\sim |e|\varepsilon ^{-1}\), and define \(A^{(j)}_{\varepsilon ,k}= \omega ^{j}_{\varepsilon }\cup \{x\in \varPi ^{(e_{j})}_{\varepsilon }:x ^{(e_{j})}_{n}\in (0,2\varepsilon )\}, j=N_{1}+1,\ldots,N\) (i.e., when \(O^{j}\) are vertices), and \(A^{(j)}_{\varepsilon ,k}=\omega ^{j}_{ \varepsilon }\cup \bigcup_{k_{j}} \{x\in \varPi ^{(e_{k_{j}})}_{ \varepsilon }:x^{(e_{k_{j}})}_{n}\in (0,2\varepsilon )\}, j=1,\ldots,N _{1}\) (i.e., when \(O^{j}\) are nodes), where the union over \(k_{j}\) is taken over all edges of the bundle \(\mathcal{B}^{(j)}\) associated with the node \(O^{j}\).

In parallel with the covering

$$\begin{aligned} \mathfrak{A}_{\varepsilon }= \Biggl(\bigcup_{j=1}^{N} \bigcup_{k=2}^{L^{j}_{\varepsilon }}A^{(e_{j})}_{\varepsilon ,k} \Biggr) \cup \Biggl(\bigcup_{j=1}^{N}A^{(j)}_{\varepsilon ,k} \Biggr), \end{aligned}$$

we take the covering

$$\begin{aligned} \tilde{\mathfrak{A}}_{\varepsilon }= \Biggl(\bigcup _{j=1}^{N} \bigcup_{k=2}^{\tilde{L}^{j}_{\varepsilon }} \tilde{A}^{(e_{j})} _{\varepsilon ,k} \Biggr)\cup \Biggl(\bigcup _{j=1}^{N} \tilde{A}^{(j)}_{\varepsilon ,k} \Biggr) \end{aligned}$$

of \(B_{\varepsilon }\) containing larger domain: \(\tilde{A}^{(e_{j})} _{\varepsilon ,k} = \{x\in \varPi ^{(e_{j})}_{\varepsilon }:x^{(e_{j})} _{n}\in \varepsilon (k-3,k+3)\}, j=1,\ldots,N, k=3,\ldots,\tilde{L}^{j} _{\varepsilon },\tilde{L}^{j}_{\varepsilon }\sim |e|\varepsilon ^{-1}\). Then we define \(A^{(j)}_{\varepsilon ,k}=\omega ^{j}_{\varepsilon } \cup \{x\in \varPi ^{(e_{j})}_{\varepsilon }:x^{(e_{j})}_{n}\in (0,3 \varepsilon )\}, j=N_{1}+1,\ldots,N\), and \(A^{(j)}_{\varepsilon ,k}= \omega ^{j}_{\varepsilon }\cup \bigcup_{k_{j}} \{x\in \varPi ^{(e_{k_{j}})}_{\varepsilon }:x^{(e_{k_{j}})}_{n}\in (0,3\varepsilon )\}, j=1,\ldots,N_{1}\). Obviously,

$$\begin{aligned} A^{(e_{j})}_{\varepsilon ,k}\subset \tilde{A}^{(e_{j})}_{\varepsilon ,k},\qquad A^{(j)}_{\varepsilon ,k} \subset \tilde{A}^{(j)}_{\varepsilon ,k}. \end{aligned}$$

Lemma 2.1

(Poincaré inequality) The following inequality

$$\begin{aligned} \Vert u \Vert _{L^{2}(B_{\varepsilon })}\leqslant c\varepsilon \Vert \nabla u \Vert _{L^{2}(B _{\varepsilon })},\quad \forall u \in \mathring{W}^{1,2}(B_{\varepsilon }) \end{aligned}$$

holds with the constantcindependent ofε.

Lemma 2.2

(Ladyzhenskaya inequalities)

$$\begin{aligned} & \Vert u \Vert _{L^{4}(B_{\varepsilon })}\leqslant 2^{1/4} \Vert u \Vert ^{1/2}_{L^{2}(B_{ \varepsilon })} \Vert \nabla u \Vert ^{1/2}_{L^{2}(B_{\varepsilon })} \quad\forall u \in \mathring{W}^{1,2}(B_{\varepsilon }), B_{\varepsilon }\subset {\mathbb{R}}^{2}, \end{aligned}$$
$$\begin{aligned} & \Vert u \Vert _{L^{4}(B_{\varepsilon })}\leqslant (4/3)^{3/8} \Vert u \Vert ^{1/4}_{L^{2}(B _{\varepsilon })} \Vert \nabla u \Vert ^{3/4}_{L^{2}(B_{\varepsilon })} \quad\forall u \in \mathring{W}^{1,2}(B_{\varepsilon }), B_{\varepsilon }\subset {\mathbb{R}}^{3}, \end{aligned}$$
$$\begin{aligned} &\Vert u \Vert _{L^{6}(B_{\varepsilon })}\leqslant 48^{1/6} \Vert \nabla u \Vert _{L^{2}(B_{ \varepsilon })} \quad\forall u \in \mathring{W}^{1,2}(B_{\varepsilon }), B_{\varepsilon }\subset {\mathbb{R}}^{3}. \end{aligned}$$

The constants in (2.2)(2.4) are independent ofε. In particular,

$$\begin{aligned} & \Vert u \Vert _{L^{4}(B_{\varepsilon })}\leqslant c\varepsilon ^{1/2} \Vert \nabla u \Vert _{L^{2}(B_{\varepsilon })}\quad \forall u \in \mathring{W}^{1,2}(B_{\varepsilon }), B_{\varepsilon }\subset { \mathbb{R}}^{2}, \end{aligned}$$
$$\begin{aligned} &\Vert u \Vert _{L^{4}(B_{\varepsilon })}\leqslant c\varepsilon ^{1/4} \Vert \nabla u \Vert _{L^{2}(B_{\varepsilon })}\quad \forall u \in \mathring{W}^{1,2}(B_{\varepsilon }), B_{\varepsilon }\subset { \mathbb{R}}^{3}. \end{aligned}$$

The proof of (2.1) is obvious; the proofs of (2.2)–(2.4) can be found in [7].

Lemma 2.3

Let\(B_{\varepsilon }\subset {\mathbb{R}}^{2}, u\in W^{1,2}(B_{ \varepsilon })\). Then

$$\begin{aligned} \Vert u \Vert ^{4}_{L^{4}(B_{\varepsilon })} \leqslant c \varepsilon ^{-2} \Vert u \Vert ^{2} _{L^{2}(B_{\varepsilon })} \bigl( \Vert u \Vert ^{2}_{L^{2}(B_{\varepsilon })} + \varepsilon ^{2} \Vert \nabla u \Vert ^{2}_{L^{2}(B_{\varepsilon })} \bigr) \end{aligned}$$

with the constantcindependent ofε.


In any bounded Lipschitz domain Ω the following inequality holds (see [9]):

$$\begin{aligned} \Vert u \Vert ^{4}_{L^{4}(\varOmega )} \leqslant c(\varOmega ) \Vert u \Vert ^{2}_{L^{2}(\varOmega )} \bigl( \Vert u \Vert ^{2}_{L^{2}(\varOmega )} + \Vert \nabla u \Vert ^{2}_{L^{2}(\varOmega )} \bigr), \end{aligned}$$

and, by the Young inequality,

$$\begin{aligned} \Vert u \Vert ^{4}_{L^{4}(\varOmega )}\leqslant \delta ^{-2} \Vert u \Vert ^{4}_{W^{1,2}(\varOmega )} + c\delta ^{2} \Vert u \Vert ^{4}_{L^{2} (\varOmega )}, \quad \delta >0. \end{aligned}$$

By scaling, it is easy to see that in any domain \(A_{\varepsilon }\) from the covering \(\mathfrak{A}_{\varepsilon }\) we get the estimate

$$\begin{aligned} \Vert u \Vert ^{4}_{L^{4}(A_{\varepsilon })} \leqslant \delta ^{-2} \varepsilon ^{-2} \bigl( \Vert u \Vert ^{2}_{L^{2}(A_{\varepsilon })} + \varepsilon ^{2} \Vert \nabla u \Vert ^{2}_{L^{2}(A_{\varepsilon })} \bigr)^{2} + c\delta ^{2} \varepsilon ^{-2} \Vert u \Vert ^{4}_{L^{2} (A_{\varepsilon })},\quad \delta >0. \end{aligned}$$

Summing the above inequalities over all domains \(A_{\varepsilon }\) from the covering \(\mathfrak{A}_{\varepsilon }\), we get

$$\begin{aligned} \Vert u \Vert ^{4}_{L^{4}(B_{\varepsilon })} \leqslant \delta ^{-2} \varepsilon ^{-2} \bigl( \Vert u \Vert ^{2}_{L^{2}(B_{\varepsilon })} + \varepsilon ^{2} \Vert \nabla u \Vert ^{2}_{L^{2}(B_{\varepsilon })} \bigr)^{2} + c\delta ^{2} \varepsilon ^{-2} \Vert u \Vert ^{4}_{L^{2} (B_{\varepsilon })}, \quad\delta >0. \end{aligned}$$

Putting now \(\delta ^{2} = (\|u\|^{2}_{L^{2}(B_{\varepsilon })} + \varepsilon ^{2}\|\nabla u\|^{2}_{L^{2}(B_{\varepsilon })} )\|u \|^{-2}_{L^{2}(B_{\varepsilon })}\) yields (2.7). □

Lemma 2.4

Let\(B_{\varepsilon }\subset {\mathbb{R}}^{n}, n=2,3, u\in \mathring{W}^{1,2}(B_{\varepsilon })\cap W^{2,2}(B_{\varepsilon })\). Then

$$\begin{aligned} \Vert \nabla u \Vert ^{2}_{L^{2}(B_{\varepsilon })}\leqslant c \Vert u \Vert _{L^{2}(B_{ \varepsilon })} \bigl\Vert \nabla ^{2}u \bigr\Vert _{L^{2}(B_{\varepsilon })}. \end{aligned}$$

In particular,

$$\begin{aligned} \Vert \nabla u \Vert ^{2}_{L^{2}(B_{\varepsilon })}\leqslant c \varepsilon ^{2} \bigl\Vert \nabla ^{2}u \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })} \end{aligned}$$

with the constantcindependent ofε.


In any bounded Lipschitz domain Ω the interpolation inequality holds (see [9]):

$$\begin{aligned} \Vert \nabla u \Vert ^{2}_{L^{2}(\varOmega )} \leqslant c\bigl(\delta \bigl\Vert \nabla ^{2} u \bigr\Vert ^{2} _{L^{2}(\varOmega )} + \delta ^{-1} \Vert u \Vert ^{2}_{L^{2}(\varOmega )}\bigr),\quad \delta >0. \end{aligned}$$

By scaling in ε-domain \(A_{\varepsilon }\) (i.e., \(A_{\varepsilon }\) in any direction is of “size” ε), we derive

$$\begin{aligned} \varepsilon ^{2} \Vert \nabla u \Vert ^{2}_{L^{2}(A_{\varepsilon })} \leqslant c\bigl( \delta \varepsilon ^{4} \bigl\Vert \nabla ^{2} u \bigr\Vert ^{2}_{L^{2}(A_{\varepsilon })} + \delta ^{-1} \Vert u \Vert ^{2}_{L^{2}(A_{\varepsilon })}\bigr), \quad \delta >0. \end{aligned}$$

Summing the above inequalities over all domains \(A_{\varepsilon }\) from the covering \(\mathfrak{A}_{\varepsilon }\), we get

$$\begin{aligned} \varepsilon ^{2} \Vert \nabla u \Vert ^{2}_{L^{2}(B_{\varepsilon })} \leqslant c\bigl( \delta \varepsilon ^{4} \bigl\Vert \nabla ^{2} u \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })} + \delta ^{-1} \Vert u \Vert ^{2}_{L^{2}(B_{\varepsilon })}\bigr),\quad \delta >0. \end{aligned}$$

Putting \(\delta = \varepsilon ^{-2}\|u\|_{L^{2}(B_{\varepsilon })}\| \nabla ^{2} u\|^{-1}_{L^{2}(B_{\varepsilon })}\) implies (2.8). □

Lemma 2.5

Let\(B_{\varepsilon }\subset \mathbb{R}^{3}, u\in W^{1,2}(B_{\varepsilon })\). Then

$$\begin{aligned} \Vert u \Vert ^{3}_{L^{3}(B_{\varepsilon })} \leqslant c \varepsilon ^{-3/2} \Vert u \Vert ^{3/2} _{L^{2}(B_{\varepsilon })} \bigl( \Vert u \Vert ^{2}_{L^{2}(B_{\varepsilon })} + \varepsilon ^{2} \Vert \nabla u \Vert ^{2}_{L^{2}(B_{\varepsilon })} \bigr)^{3/4} \end{aligned}$$

with the constantcindependent ofε.


By the multiplicative inequality in a bounded Lipschitz domain Ω (see [9])

$$\begin{aligned} \Vert u \Vert ^{3}_{L^{3}(\varOmega )} \leqslant c \Vert u \Vert ^{3/2}_{L^{2}(\varOmega )}\bigl( \Vert u \Vert ^{2}_{L^{2}(\varOmega )} + \Vert \nabla u \Vert ^{2}_{L^{2}(\varOmega )}\bigr)^{3/4} \end{aligned}$$

and, by the Young inequality,

$$\begin{aligned} \Vert u \Vert ^{3}_{L^{3}(\varOmega )} \leqslant \delta ^{2} \Vert u \Vert ^{2}_{W^{1,2}(\varOmega )} + c\delta ^{-6} \Vert u \Vert ^{6}_{L^{2}(\varOmega )}\quad \forall \delta > 0. \end{aligned}$$

Then, by scaling, we get, for any domains \(A_{\varepsilon }\) from the covering \(\mathfrak{A}_{\varepsilon }\), the estimates

$$\begin{aligned} \Vert u \Vert ^{3}_{L^{3}(A_{\varepsilon })} \leqslant \delta ^{2} \bigl( \Vert u \Vert ^{2}_{L^{2}(A _{\varepsilon })} + \varepsilon ^{2} \Vert \nabla u \Vert ^{2}_{L^{2}(A_{\varepsilon })}\bigr) + c \delta ^{-6}\varepsilon ^{-6} \Vert u \Vert ^{6}_{L^{2}(A_{\varepsilon })}, \end{aligned}$$

and summing them over all \(A_{\varepsilon }\) from \(\mathfrak{A}_{ \varepsilon }\), we derive

$$\begin{aligned} \Vert u \Vert ^{3}_{L^{3}(B_{\varepsilon })} \leqslant \delta ^{2} \bigl( \Vert u \Vert ^{2}_{L^{2}(B _{\varepsilon })} + \varepsilon ^{2} \Vert \nabla u \Vert ^{2}_{L^{2}(B_{\varepsilon })}\bigr) + c \delta ^{-6}\varepsilon ^{-6} \Vert u \Vert ^{6}_{L^{2}(B_{\varepsilon })}. \end{aligned}$$

Taking in the last inequality

$$\begin{aligned} \delta = \varepsilon ^{-3/4} \Vert u \Vert ^{3/4}_{L^{2}(B_{\varepsilon })} \bigl( \Vert u \Vert ^{2}_{L^{2}(B_{\varepsilon })} + \varepsilon ^{2} \Vert \nabla u \Vert ^{2} _{L^{2}(B_{\varepsilon })} \bigr)^{-1/8} \end{aligned}$$

gives (2.10). □

Lemma 2.6

(Agmon’s inequality, \(n=3\))

Let\(B_{\varepsilon }\subset \mathbb{R} ^{3}, u\in \mathring{W}^{1,2}(B_{\varepsilon })\cap W^{2,2}(B_{ \varepsilon })\). Then

$$\begin{aligned} \Vert u \Vert ^{4}_{L^{\infty }(B_{\varepsilon })} \leqslant c \varepsilon ^{-6} \Vert u \Vert _{L^{2}(B_{\varepsilon })}\bigl( \Vert u \Vert ^{2}_{L^{2}(B_{\varepsilon })} + \varepsilon ^{2} \Vert \nabla u \Vert ^{2}_{L^{2}(B_{\varepsilon })} + \varepsilon ^{4} \bigl\Vert \nabla ^{2} u \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })} \bigr)^{3/2}, \end{aligned}$$

with the constantcindependent ofε. In particular,

$$\begin{aligned} \Vert u \Vert _{L^{\infty }(B_{\varepsilon })} \leqslant c\varepsilon ^{1/4} \bigl\Vert \nabla ^{2} u \bigr\Vert _{L^{2}(B_{\varepsilon })}. \end{aligned}$$


In any bounded Lipschitz domains Ω the following multiplicative inequality holds (see Lemma 13.2 in [1]):

$$\begin{aligned} \Vert u \Vert ^{4}_{L^{\infty }(\varOmega )} \leqslant c \Vert u \Vert _{L^{2}{(\varOmega )}} \Vert u \Vert ^{3}_{W^{2,2}(\varOmega )}. \end{aligned}$$

By scaling it is easy to see that in \(A_{\varepsilon }\) we have

$$\begin{aligned} \Vert u \Vert ^{4}_{L^{\infty }(A_{\varepsilon })} &\leqslant c \bigl(\varepsilon ^{-3/2} \Vert u \Vert _{L^{2}(A_{\varepsilon })}\bigr) \bigl( \varepsilon ^{-3} \Vert u \Vert ^{2}_{L^{2}(A_{ \varepsilon })} + \varepsilon ^{-1} \Vert \nabla u \Vert ^{2}_{L^{2}(A_{\varepsilon })} +\varepsilon \bigl\Vert \nabla ^{2} u \bigr\Vert ^{2}_{L^{2}(A_{\varepsilon })}\bigr)^{3/2} \\ &\leqslant c\varepsilon ^{-6} \Vert u \Vert _{L^{2}(A_{\varepsilon })}\bigl( \Vert u \Vert ^{2}_{L ^{2}(A_{\varepsilon })} + \varepsilon ^{2} \Vert \nabla u \Vert ^{2}_{L^{2}(A _{\varepsilon })} +\varepsilon ^{4} \bigl\Vert \nabla ^{2} u \bigr\Vert ^{2}_{L^{2}(A_{ \varepsilon })}\bigr)^{3/2} \\ &\leqslant c\varepsilon ^{-6} \Vert u \Vert _{L^{2}(B_{\varepsilon })}\bigl( \Vert u \Vert ^{2}_{L ^{2}(B_{\varepsilon })} + \varepsilon ^{2} \Vert \nabla u \Vert ^{2}_{L^{2}(B _{\varepsilon })} +\varepsilon ^{4} \bigl\Vert \nabla ^{2} u \bigr\Vert ^{2}_{L^{2}(B_{ \varepsilon })}\bigr)^{3/2}. \end{aligned}$$

Taking the supremum over all \(A_{\varepsilon }\in \mathfrak{A}_{ \varepsilon }\), we obtain (2.11). Inequality (2.12) follows from (2.11), (2.1), and (2.9). □

Lemma 2.7

(Agmon’s inequality, \(n=2\))

Let\(B_{\varepsilon }\subset \mathbb{R} ^{2}, u\in \mathring{W}^{1,2}(B_{\varepsilon })\cap W^{2,2}(B_{ \varepsilon })\). Then

$$\begin{aligned} \Vert u \Vert ^{4}_{L^{\infty }(B_{\varepsilon })} \leqslant c \varepsilon ^{-4} \Vert u \Vert ^{2}_{L^{2}(B_{\varepsilon })}\bigl( \Vert u \Vert ^{2}_{L^{2}(B_{\varepsilon })} + \varepsilon ^{2} \Vert \nabla u \Vert ^{2}_{L^{2}(B_{\varepsilon })} + \varepsilon ^{4} \bigl\Vert \nabla ^{2} u \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })}\bigr), \end{aligned}$$

with the constantcindependent ofε. In particular,

$$\begin{aligned} \Vert u \Vert _{L^{\infty }(B_{\varepsilon })} \leqslant c\varepsilon ^{1/2} \bigl\Vert \nabla ^{2} u \bigr\Vert _{L^{2}(B_{\varepsilon })}. \end{aligned}$$


In any bounded Lipschitz two-dimensional domain Ω the following interpolation inequality holds (see Lemma 13.2 in [1]):

$$\begin{aligned} \Vert u \Vert ^{4}_{L^{\infty }(\varOmega )} \leqslant c \Vert u \Vert ^{2}_{L^{2}{(\varOmega )}} \Vert u \Vert ^{2}_{W^{2,2}(\varOmega )}. \end{aligned}$$

By scaling, we have

$$\begin{aligned} \Vert u \Vert ^{4}_{L^{\infty }(A_{\varepsilon })}& \leqslant c \varepsilon ^{-4} \Vert u \Vert ^{2}_{L^{2}(A_{\varepsilon })}\bigl( \Vert u \Vert ^{2}_{L^{2}(A_{\varepsilon })} + \varepsilon ^{2} \Vert \nabla u \Vert ^{2}_{L^{2}(A_{\varepsilon })} +\varepsilon ^{4} \bigl\Vert \nabla ^{2} u \bigr\Vert ^{2}_{L^{2}(A_{\varepsilon })}\bigr) \\ &\leqslant c\varepsilon ^{-4} \Vert u \Vert ^{2}_{L^{2}(B_{\varepsilon })} \bigl( \Vert u \Vert ^{2} _{L^{2}(B_{\varepsilon })} + \varepsilon ^{2} \Vert \nabla u \Vert ^{2}_{L^{2}(B _{\varepsilon })} + \varepsilon ^{4} \bigl\Vert \nabla ^{2} u \bigr\Vert ^{2}_{L^{2}(B_{ \varepsilon })}\bigr). \end{aligned}$$

Taking the supremum over all \(A_{\varepsilon }\in \mathfrak{A}_{ \varepsilon }\), we get (2.13). □

3 Stokes operator

Consider in \(B_{\varepsilon }\) the Dirichlet problem for the Stokes system

$$\begin{aligned} \textstyle\begin{cases} -\nu \Delta {\mathbf{v}} + \nabla p = \mathbf{f}\quad \text{in } B_{\varepsilon }, \\ \operatorname{div} {\mathbf{v}} = 0\quad \text{in } B_{\varepsilon }, \\ \mathbf{v}|_{\partial B_{\varepsilon }} = 0. \end{cases}\displaystyle \end{aligned}$$

The weak solution \(\mathbf{v}\in H(B_{\varepsilon })=\{\mathbf{v} \in \mathring{W}^{1,2}(B_{\varepsilon }) : \operatorname{div} \mathbf{v}=0 \}\) to (3.1) satisfies the integral identity

$$\begin{aligned} \nu \int _{B_{\varepsilon }}\nabla {\mathbf{v}}\cdot \nabla \pmb{\eta }\,dx = \int _{B_{\varepsilon }}{\mathbf{f}}\cdot {\pmb{\eta }} \,dx, \quad\forall \pmb{ \eta }\in H(B_{\varepsilon }), \end{aligned}$$

and hence the estimate

$$\begin{aligned} \Vert \nabla {\mathbf{v}} \Vert _{L^{2}(B_{\varepsilon })} \leqslant c \varepsilon \Vert {\mathbf{f}} \Vert _{L^{2}(B_{\varepsilon })}. \end{aligned}$$

Lemma 3.1

Let\(\partial B_{\varepsilon }\in C^{2}\). Then

$$\begin{aligned} \bigl\Vert \nabla ^{2}{\mathbf{v}} \bigr\Vert _{L^{2}(B_{\varepsilon })} \leqslant c \Vert {\mathbf{f}} \Vert _{L^{2}(B_{\varepsilon })} \end{aligned}$$

with the constantcindependent ofε.


Let \(A_{\varepsilon }\subset \widetilde{A}_{\varepsilon }\) be domains from the covering \(\mathfrak{A}_{\varepsilon }\) and \(\widetilde{\mathfrak{A}}_{\varepsilon }\) of \(B_{\varepsilon }\). Consider (3.1) in \(\widetilde{A}_{\varepsilon }\). Making the change of variables \(x=\varepsilon ^{-1}y\), we transform \(A_{\varepsilon }\) and \(\widetilde{\mathfrak{A}}_{\varepsilon }\) into the fixed (independent of ε) domains A and Ã. The Stokes problem in coordinates y takes the form

$$\begin{aligned} \textstyle\begin{cases} -\nu \Delta _{y}{\mathbf{v}} + \nabla _{y}(\varepsilon p ) = \varepsilon ^{2}{\mathbf{f}}\quad \text{in } \widetilde{A}, \\ \operatorname{div}_{y} {\mathbf{v}} = 0\quad \text{in } \widetilde{A}, \\ \mathbf{v}|_{\partial B_{\varepsilon }\cap \partial \widetilde{A}} = 0. \end{cases}\displaystyle \end{aligned}$$

ADN local estimates for elliptic problems (see [2]) yield the inequality

$$\begin{aligned} & \Vert {\mathbf{v}} \Vert ^{2}_{L^{2}(A)} + \Vert \nabla _{y} {\mathbf{v}} \Vert ^{2}_{L ^{2}(A)} + \bigl\Vert \nabla ^{2}_{y} {\mathbf{v}} \bigr\Vert ^{2}_{L^{2}(A)} \\ &\quad \leqslant c\bigl(\varepsilon ^{4} \Vert {\mathbf{f}} \Vert ^{2}_{L^{2}(\widetilde{A})} + \Vert {\mathbf{v}} \Vert ^{2}_{L^{2}(\widetilde{A})} + \Vert {q-\overline{q}} \Vert ^{2}_{L^{2}(\widetilde{A})}\bigr), \end{aligned}$$

where \(q = \varepsilon p, \overline{q} = \frac{1}{|\widetilde{A}|} \int _{\widetilde{A}}q(y)\,dy\). Since \(\int _{\widetilde{A}}(q(y) - \overline{q})\,dy = 0\), there exists \(\mathbf{w} \in \mathring{W}^{1,2}(\widetilde{A})\) such that \(\operatorname{div} {\mathbf{w}} = q(y) - \overline{q}\) in à and

$$\begin{aligned} \Vert \nabla {\mathbf{w}} \Vert _{L^{2}(\widetilde{A})} \leqslant c \Vert q - \overline{q} \Vert _{L^{2}(\widetilde{A})} \end{aligned}$$

(see [8]). Multiplying (3.4) by \(\bf w\) and integrating by parts yields

$$\begin{aligned} \Vert q-\overline{q} \Vert ^{2}_{L^{2}(\widetilde{A})} &= \int _{\widetilde{A}}q(y) \bigl(q(y) - \overline{q}\bigr)\,dy \\ &= \int _{\widetilde{A}}q(y)\operatorname{div} {\mathbf{w}}\,dy = \nu \int _{\widetilde{A}}\nabla {\mathbf{v}}\cdot \nabla {\mathbf{w}}\,dy - \varepsilon ^{2} \int _{\widetilde{A}}{\mathbf{f}}\cdot {\mathbf{w}}\,dy \\ &\leqslant \Vert \nabla {\mathbf{v}} \Vert _{L^{2}(\widetilde{A})} \Vert \nabla { \mathbf{w}} \Vert _{L^{2}(\widetilde{A})} + \varepsilon ^{2} \Vert { \mathbf{f}} \Vert _{L^{2}( \widetilde{A})} \Vert {\mathbf{w}} \Vert _{L^{2}(\widetilde{A})} \\ &\leqslant c \Vert \nabla {\mathbf{v}} \Vert _{L^{2}(\widetilde{A})} \Vert q - \overline{q} \Vert _{L^{2}(\widetilde{A})} + c\varepsilon ^{2} \Vert { \mathbf{f}} \Vert _{L^{2}(\widetilde{A})} \Vert q - \overline{q} \Vert _{L^{2}(\widetilde{A})}. \end{aligned}$$


$$\begin{aligned} \Vert {q - \overline{q}} \Vert _{L^{2}(\widetilde{A})} \leqslant c\bigl( \Vert {\nabla {\mathbf{v}}} \Vert _{L^{2}(\widetilde{A})} + \varepsilon ^{2} \Vert {\mathbf{f}} \Vert _{L^{2}( \widetilde{A})}\bigr). \end{aligned}$$

From (3.5), using (3.6) and the Poincaré inequality, we derive

$$\begin{aligned} \Vert {\mathbf{v}} \Vert ^{2}_{L^{2}(A)} + \Vert \nabla _{y} {\mathbf{v}} \Vert ^{2}_{L ^{2}(A)} + \bigl\Vert \nabla ^{2}_{y}{\mathbf{v}} \bigr\Vert ^{2}_{L^{2}(A)} \leqslant c\bigl( \varepsilon ^{4} \Vert { \mathbf{f}} \Vert ^{2}_{L^{2}(\widetilde{A})} + \Vert \nabla _{y}{\mathbf{v}} \Vert ^{2}_{L^{2}(\widetilde{A})}\bigr). \end{aligned}$$

Returning to coordinates x, we obtain

$$\begin{aligned} \varepsilon ^{4} \bigl\Vert {\nabla ^{2}{ \mathbf{v}}} \bigr\Vert ^{2}_{L^{2}(A_{\varepsilon })} \leqslant c\bigl(\varepsilon ^{4} \Vert {\mathbf{f}} \Vert ^{2}_{L^{2}(\widetilde{A} _{\varepsilon })} + \varepsilon ^{2} \Vert {\nabla {\mathbf{v}}} \Vert ^{2}_{L ^{2}(\widetilde{A}_{\varepsilon })}\bigr). \end{aligned}$$

Summing (3.7) by all domains \(A_{\varepsilon }\subset \widetilde{A}_{\varepsilon }\), we get

$$\begin{aligned} \bigl\Vert {\nabla ^{2}{\mathbf{v}}} \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })} \leqslant c\bigl( \Vert {\mathbf{f}} \Vert ^{2}_{L^{2}(B_{\varepsilon })} + \varepsilon ^{-2} \Vert {\nabla { \mathbf{v}}} \Vert ^{2}_{L^{2}(B_{\varepsilon })}\bigr). \end{aligned}$$

Estimating the last term in the right-hand side of (3.8), by (3.2), we derive (3.3). □

Problem (3.1) can be rewritten in the operator form (without loss of generality we suppose that \(\mathbf{f} \in J_{0}(B_{\varepsilon })\), where \(J_{0}(B_{\varepsilon })\) is the closure of the set \(\{\mathbf{v}\in C_{0}^{\infty }(B_{\varepsilon }): \operatorname{div} \mathbf{v} = 0\}\) in \(L^{2}(B_{\varepsilon })\)-norm)

$$\begin{aligned} \widetilde{\Delta } {\mathbf{v}} = \mathbf{f}, \end{aligned}$$

where \(\widetilde{\Delta } = P\Delta :H(B_{\varepsilon })\cap W^{2,2}(B _{\varepsilon })\mapsto J_{0}(B_{\varepsilon })\) is an unbounded operator with the domain \(H(B_{\varepsilon })\cap W^{2,2}(B_{\varepsilon })\), and P is the Leray projection onto divergence-free vector fields. By the same notation we denote the Friedrichs extension of this operator to the whole space \(H(B_{\varepsilon })\). Δ̃ is called the Stokes operator. It is known that (see [7, 21]):

(i) The Stokes operator has a discrete spectrum:

$$\begin{aligned} \widetilde{\Delta } {\mathbf{w}} = \lambda {\mathbf{w}},\quad \mathbf{w} \in H(B_{\varepsilon }), \mathbf{w}\neq 0; \end{aligned}$$

\(\lambda _{i}>0, \lim_{i\rightarrow \infty }\lambda _{i} \rightarrow +\infty \).

(ii) The eigenfunctions \(\{\mathbf{w}_{k}\}_{k=1}^{\infty }\) of Δ̃ constitute an orthogonal basis in \(J_{0}(B_{ \varepsilon })\) and \(H(B_{\varepsilon })\), \(\|{\nabla {\mathbf{w}} _{k}}\|_{L^{2}(B_{\varepsilon })} = \sqrt{\lambda _{k}}, \|{\mathbf{w} _{k}}\|_{L^{2}(B_{\varepsilon })} = 1\). If \(\partial B_{\varepsilon } \in C^{2}\), then \(\mathbf{w}_{k} \in H(B_{\varepsilon })\cap W^{2,2}(B _{\varepsilon })\).

For given \(\mathbf{w}\in H(B_{\varepsilon })\cap W^{2,2}(B_{\varepsilon })\), we have

$$\begin{aligned} \int _{B_{\varepsilon }}\widetilde{\Delta } {\mathbf{w}}\cdot {\mathbf{v}} \,dx = \int _{B_{\varepsilon }}(-\nu \Delta {\mathbf{w}} + \nabla p) \cdot { \mathbf{v}} \,dx = -\nu \int _{B_{\varepsilon }}\Delta {\mathbf{w}} \cdot {\mathbf{v}} \,dx = \nu \int _{B_{\varepsilon }}\nabla {\mathbf{w}} \cdot \nabla {\mathbf{v}} \,dx \end{aligned}$$

for any divergence-free \(\mathbf{v} \in C^{\infty }_{0}(B_{\varepsilon })\). Then, by density arguments, it follows that

$$\begin{aligned} \int _{B_{\varepsilon }} \vert \widetilde{\Delta } {\mathbf{w}} \vert ^{2} \,dx = -\nu \int _{B_{\varepsilon }}\Delta {\mathbf{w}} \cdot \widetilde{\Delta } { \mathbf{w}} \,dx. \end{aligned}$$


$$\begin{aligned} \Vert {\widetilde{\Delta } {\mathbf{w}}} \Vert _{L^{2}(B_{\varepsilon })} \leqslant c \Vert {\Delta {\mathbf{w}}} \Vert _{L^{2}(B_{\varepsilon })} \leqslant c \bigl\Vert {\nabla ^{2}{\mathbf{w}}} \bigr\Vert _{L^{2}(B_{\varepsilon })}. \end{aligned}$$

Moreover, from the equality \(\int _{B_{\varepsilon }} \widetilde{\Delta }{\mathbf{w}}\cdot {\mathbf{v}}\,dx=\nu \int _{B_{\varepsilon }}\nabla {\mathbf{w}} \cdot \nabla {\mathbf{v}} \,dx\), we obtain

$$\begin{aligned} \Vert {\widetilde{\Delta } {\mathbf{w}}} \Vert _{H(B_{\varepsilon })^{*}}\leqslant \nu \Vert {\nabla {\mathbf{w}}} \Vert _{L^{2}(B_{\varepsilon })}. \end{aligned}$$

Here, \(V^{*}\) means the dual space to V.

From (3.3) we get the estimate

$$\begin{aligned} \bigl\Vert {\nabla ^{2} {\mathbf{w}}} \bigr\Vert _{L^{2}(B_{\varepsilon })} \leqslant c \Vert {\widetilde{\Delta } {\mathbf{w}}} \Vert _{L^{2}(B_{\varepsilon })}, \end{aligned}$$

which together with (3.10) gives

$$\begin{aligned} c_{1} \bigl\Vert {\nabla ^{2} {\mathbf{w}}} \bigr\Vert _{L^{2}(B_{\varepsilon })} \leqslant \Vert {\widetilde{\Delta } {\mathbf{w}}} \Vert _{L^{2}(B_{\varepsilon })} \leqslant c _{2} \bigl\Vert {\nabla ^{2} {\mathbf{w}}} \bigr\Vert _{L^{2}(B_{\varepsilon })}. \end{aligned}$$

Lemma 3.2

Let\(B_{\varepsilon }\subset \mathbb{R}^{n}, n=2,3, \mathbf{w} \in H(B_{\varepsilon })\cap W^{2,2}(B_{\varepsilon })\). Then

$$\begin{aligned} \Vert {\mathbf{w}} \Vert _{L^{\infty }(B_{\varepsilon })}\leqslant c\varepsilon ^{1/4} \bigl\Vert {\nabla ^{2}{\mathbf{w}}} \bigr\Vert _{L^{2}(B_{\varepsilon })}\leqslant c \varepsilon ^{1/4} \Vert {\widetilde{\Delta } { \mathbf{w}}} \Vert _{L^{2}(B_{ \varepsilon })} \quad\textit{for } n=3, \end{aligned}$$


$$\begin{aligned} \Vert {\mathbf{w}} \Vert _{L^{\infty }(B_{\varepsilon })}\leqslant c\varepsilon ^{1/2} \bigl\Vert {\nabla ^{2}{\mathbf{w}}} \bigr\Vert _{L^{2}(B_{\varepsilon })}\leqslant c \varepsilon ^{1/2} \Vert {\widetilde{\Delta } { \mathbf{w}}} \Vert _{L^{2}(B_{ \varepsilon })} \quad\textit{for } n=2, \end{aligned}$$

with the constantcindependent ofε.


Inequality (3.12) follows from (2.12) and (3.11), while inequality (3.13) from (2.14) and (3.11). □

4 Solvability of problem (1.5); the case \(n=2\)

Theorem 4.1

Let\(B_{\varepsilon }\subset \mathbb{R}^{2}, \partial B_{\varepsilon } \in C^{2}\). Suppose that the extended function\(\mathbf{g}\in C^{[ \frac{J+1}{2}]+1}(0, 2\pi ; W^{2,2}(B_{\varepsilon }))\)satisfies conditions (1.2), (1.3), (1.4), andfsatisfies (1.6). Then, for sufficiently smallε, variational problem (1.5) admits a solutionusatisfying the estimates

$$\begin{aligned} &\sup_{t\in [0,2\pi ]} \bigl\Vert {\mathbf{u}}( \cdot ,t) \bigr\Vert ^{2}_{L ^{2}(B_{\varepsilon })} +\varepsilon ^{\beta } \int _{0}^{2\pi } \int _{B_{\varepsilon }} \bigl\vert \nabla {\mathbf{u}}(x,t) \bigr\vert ^{2} \,dx\,dt \leqslant c \varepsilon ^{2+\beta } \int _{0}^{2\pi }A_{1}(t)\,dt, \end{aligned}$$
$$\begin{aligned} &\sup_{t\in [0,2\pi ]} \bigl\Vert \nabla {\mathbf{u}}( \cdot ,t) \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })}+ \int _{0}^{2\pi } \int _{B_{\varepsilon }} \bigl\vert {\mathbf{u}}_{t}(x,t) \bigr\vert ^{2} \,dx\,dt \\ &\quad{}+\varepsilon ^{\beta } \int _{0}^{2\pi } \int _{B_{\varepsilon }} \bigl\vert \nabla ^{2}{\mathbf{u}}(x,t) \bigr\vert ^{2} \,dx\,dt \leqslant c\varepsilon ^{\beta } \int _{0}^{2\pi }A_{1}(t)\,dt \end{aligned}$$

with constants independent ofε.


We prove the solvability of problem (1.5) by Galerkin method (see [7, 21]). The main purpose is to obtain suitable a priori estimates. The remaining part is standard.

If u is a weak solution, then taking in (1.5) \({\pmb{\eta }} = \mathbf{u}\), we obtain

$$\begin{aligned} \frac{1}{2\varepsilon ^{\beta }}\frac{d}{dt} \int _{B_{\varepsilon }} \vert {\mathbf{u}} \vert ^{2}\,dx + \nu \int _{B_{\varepsilon }} \vert \nabla {\mathbf{u}} \vert ^{2} \,dx = \int _{B_{\varepsilon }} (\mathbf{u}\cdot \nabla )\mathbf{u}\cdot { \mathbf{g}}\,dx + \int _{B_{\varepsilon }}{\mathbf{f}}\cdot {\mathbf{u}}\,dx. \end{aligned}$$

Using (1.4) and the Poincaré inequality (2.1), we derive the estimate

$$\begin{aligned} \biggl\vert \int _{B_{\varepsilon }}(\mathbf{u} \cdot \nabla ) \mathbf{u}\cdot { \mathbf{g}}\,dx \biggr\vert \leqslant \Vert {\mathbf{u}} \Vert _{L^{2}(B _{\varepsilon })} \Vert \nabla {\mathbf{u}} \Vert _{L^{2}(B_{\varepsilon })} \Vert {\mathbf{g}} \Vert _{L^{\infty }(B_{\varepsilon })} \leqslant c_{1}\varepsilon \Vert \nabla {\mathbf{u}} \Vert ^{2}_{L^{2}(B_{\varepsilon })}. \end{aligned}$$

If \(c_{1}\varepsilon \leqslant \frac{\nu }{4}\), this gives

$$\begin{aligned} &\frac{1}{2\varepsilon ^{\beta }}\frac{d}{dt} \int _{B_{\varepsilon }} \vert {\mathbf{u}} \vert ^{2}\,dx + \nu \int _{B_{\varepsilon }} \vert \nabla {\mathbf{u}} \vert ^{2} \,dx \\ &\quad \leqslant c_{1}\varepsilon \Vert \nabla {\mathbf{u}} \Vert ^{2}_{L^{2}(B_{\varepsilon })} + c\varepsilon \Vert {\mathbf{f}} \Vert _{L^{2}(B_{\varepsilon })} \Vert \nabla {\mathbf{u}} \Vert _{L^{2}(B_{\varepsilon })} \leqslant \frac{\nu }{2} \Vert {\nabla {\mathbf{u}}} \Vert ^{2}_{L^{2}(B_{\varepsilon })} +c\varepsilon ^{2} \Vert {\mathbf{f}} \Vert ^{2}_{L^{2}(B_{\varepsilon })}. \end{aligned}$$


$$\begin{aligned} \frac{1}{2\varepsilon ^{\beta }}\frac{d}{dt} \bigl\Vert {\mathbf{u}}( \cdot ,t) \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })} + \frac{\nu }{2} \bigl\Vert \nabla {\mathbf{u}}( \cdot ,t) \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })} \leqslant c\varepsilon ^{2} \Vert { \mathbf{f}} \Vert ^{2}_{L^{2}(B_{\varepsilon })} \equiv c\varepsilon ^{2}A_{1}(t) \end{aligned}$$

and hence, multiplying this relation by \(2\varepsilon ^{\beta }\) and using the Poincaré inequality, we get

$$\begin{aligned} \frac{d}{dt} \bigl\Vert {\mathbf{u}}( \cdot ,t) \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })} +c_{*}\varepsilon ^{\beta -2} \bigl\Vert {\mathbf{u}}( \cdot ,t) \bigr\Vert ^{2} _{L^{2}(B_{\varepsilon })} \leqslant c_{2}\varepsilon ^{\beta +2}A_{1}(t). \end{aligned}$$

Multiplying this inequality with omitted second term in the left-hand side by \(e^{c_{*}\varepsilon ^{\beta -2}t}\) and integrating over t, we obtain

$$\begin{aligned} & \bigl\Vert {\mathbf{u}}( \cdot ,2\pi ) \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })} \\ &\quad \leqslant \bigl\Vert {\mathbf{u}}( \cdot ,0) \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })} \cdot e^{-c_{*}2\pi \varepsilon ^{\beta -2}} + c_{2}\varepsilon ^{ \beta +2} \int _{0}^{2\pi }A_{1}(t)\cdot e^{c_{*} \varepsilon ^{\beta -2}(t-2\pi )}\,dt \\ &\quad \leqslant \bigl\Vert {\mathbf{u}}( \cdot ,0) \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })} \cdot e^{-c_{*}2\pi \varepsilon ^{\beta -2}} + c_{2}\varepsilon ^{ \beta +2} \int _{0}^{2\pi }A_{1}(t)\,dt. \end{aligned}$$

Consider Galerkin approximations of the solution to problem (1.5) defined by the following system of ordinary differential equations:

$$\begin{aligned} &\int _{B_{\varepsilon }} \biggl(\frac{1}{\varepsilon ^{\beta }} {\mathbf{u}}_{t}^{(N)} \cdot \pmb{\psi }_{l} + \nu \nabla {\mathbf{u}} ^{(N)}\cdot \nabla \pmb{\psi }_{l} - \bigl(\bigl(\mathbf{u}^{(N)} + \mathbf{g}\bigr)\cdot \nabla \bigr)\pmb{\psi }_{l}\cdot { \mathbf{u}}^{(N)} \\ &\quad{}-\bigl(\mathbf{u}^{(N)}\cdot \nabla \bigr)\pmb{\psi }_{l} \cdot {\mathbf{g}} \biggr) \,dx = \int _{B_{\varepsilon }}{\mathbf{f}}\cdot \pmb{\psi }_{l} \,dx, \end{aligned}$$

where \(l = 1,\ldots,N, \mathbf{u}^{(N)}(x,t)=\sum_{k=1}^{N} \gamma _{k}^{(N)}(t)\psi _{k}(x)\), and \(\{\psi _{k}\}_{k=1}^{\infty }\) is a basis in the space \(H(B_{\varepsilon })\).

From estimate (4.4), which remains valid for Galerkin approximations, it follows that, for every N, the map \(M:\mathbf{u} ^{(N)}(0) \mapsto {\mathbf{u}}^{(N)}(2\pi )\) brings the ball in \(L^{2}(B_{\varepsilon })\) of radius \(r_{0} = \sqrt{\frac{c_{2} \varepsilon ^{\beta +2}}{1-e^{-c_{*}2\pi \varepsilon ^{\beta -2}}} \int _{0}^{2\pi }A_{1}(t)\,dt}\) into itself. The continuity of M follows from the general theory of systems of ordinary differential equations. It can be proved as well directly using the arguments of the proof of uniqueness Theorem 4.2. Since M is continuous, this ensures the existence of a 2π-periodic solution to the Galerkin approximations (4.5) for each fixed N.

Now we derive a set of a priori estimates for Galerkin approximations \(\mathbf{u}^{(N)}\). Integrate (4.3) with respect to t. Using the periodicity \(\mathbf{u}^{(N)}(x,0) = \mathbf{u}^{(N)}(x, 2\pi )\), we obtain

$$\begin{aligned} \int _{0}^{2\pi } \int _{B_{\varepsilon }} \bigl\vert \nabla {\mathbf{u}} ^{(N)}(x,t) \bigr\vert ^{2}\,dx\,dt \leqslant c\varepsilon ^{2} \int _{0}^{2\pi }A _{1}(t)\,dt. \end{aligned}$$

Because of the Poincaré inequality and the mean value theorem for Lebesgue integrals, there exists a point \(t_{*}\in [0,2\pi ]\) such that

$$\begin{aligned} \frac{1}{\varepsilon ^{2} c} \bigl\Vert { \mathbf{u}}^{(N)}( \cdot ,t_{*}) \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })} &\leqslant \bigl\Vert \nabla {\mathbf{u}}^{(N)}( \cdot ,t_{*}) \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })} \\ &\leqslant \frac{1}{2\pi } \int _{0}^{2\pi } \int _{B_{\varepsilon }} \bigl\vert \nabla {\mathbf{u}}^{(N)}(x,t) \bigr\vert ^{2}\,dx\,dt \leqslant c\varepsilon ^{2} \int _{0}^{2\pi }A_{1}(t)\,dt. \end{aligned}$$

Without loss of generality we may assume that \(t_{*}=0\) (if not, we can consider problem (1.5) on the interval \([t_{*},t_{*}+2 \pi ]\) and reduce it, by change of variable \(t\rightarrow t-t_{*}\), to the interval \([0,2\pi ]\)). Integrating (4.3) from 0 to t and using (4.7), we get

$$\begin{aligned} \sup_{t\in [0,2\pi ]} \bigl\Vert {\mathbf{u}}^{(N)}( \cdot ,t) \bigr\Vert ^{2} _{L^{2}(B_{\varepsilon })} \leqslant c\varepsilon ^{2+\beta } \int _{0}^{2\pi }A_{1}(t)\,dt. \end{aligned}$$

Estimates (4.7) and (4.8) are valid for Galerkin approximations constructed using an arbitrary basis and for arbitrary bounded Lipschitz domains. In order to estimate the higher derivatives of u, we have to assume that \(\partial B_{\varepsilon } \in C^{2}\), and as a basis we shall use the eigenfunctions of the Stokes operator.

Multiplying (4.5) by \(\lambda _{k} \gamma _{k}^{(N)}(t)\) and summing from \(k=1\) to \(k=N\), we obtain

$$\begin{aligned} &\int _{B_{\varepsilon }} \Biggl(\frac{1}{\varepsilon ^{\beta }} \sum _{k=1}^{N}{\mathbf{u}}_{t}^{(N)} \cdot \psi _{l} \lambda _{k} \gamma _{k}^{(N)} - \nu \sum_{k=1}^{N}\Delta { \mathbf{u}}^{(N)} \cdot \psi _{l}\lambda _{k}\gamma _{k}^{(N)} \\ &\qquad{}- \sum_{k=1}^{N}\bigl(\bigl( \mathbf{u}^{(N)} + \mathbf{g}\bigr)\cdot \nabla \bigr) \lambda _{k}\gamma _{k}^{(N)}\psi _{l}\cdot { \mathbf{u}}^{(N)} -\sum_{k=1}^{N} \bigl(\mathbf{u}^{(N)}\cdot \nabla \bigr)\lambda _{k}\gamma _{k} ^{(N)}\psi _{l}\cdot {\mathbf{g}} \Biggr)\,dx \\ &\quad = \int _{B_{\varepsilon }}\sum_{k=1}^{N}{ \mathbf{f}} \cdot \psi _{l} \lambda _{k} \gamma _{k} ^{(N)} \,dx,\quad l=1,\ldots,N. \end{aligned}$$

Using the properties of the Stokes operator and omitting the subscript N (below u means \(\mathbf{u}^{(N)}\)), we rewrite the last equality as

$$\begin{aligned} &\int _{B_{\varepsilon }} \biggl(\frac{1}{\varepsilon ^{\beta }} {\mathbf{u}}_{t} \cdot \widetilde{\Delta } {\mathbf{u}} - \nu \Delta {\mathbf{u}}\cdot \widetilde{ \Delta } {\mathbf{u}} +\bigl((\mathbf{u} + \mathbf{g})\cdot \nabla \bigr) \mathbf{u}\cdot \widetilde{\Delta } {\mathbf{u}} +(\mathbf{u}\cdot \nabla )\cdot { \mathbf{g}}\cdot \widetilde{\Delta } {\mathbf{u}} \biggr)\,dx \\ &\quad = \int _{B_{\varepsilon }}{\mathbf{f}}\cdot \widetilde{\Delta } {\mathbf{u}} \,dx. \end{aligned}$$

This is equivalent to

$$\begin{aligned} &\frac{\nu }{2\varepsilon ^{\beta }}\frac{d}{dt} \int _{B_{\varepsilon }} \vert \nabla {\mathbf{u}} \vert ^{2} \,dx+ \int _{B_{\varepsilon }} \vert \widetilde{\Delta } {\mathbf{u}} \vert ^{2}\,dx \\ &\quad =- \int _{B_{\varepsilon }} \bigl((\mathbf{u}+\mathbf{g})\cdot \nabla \bigr) \mathbf{u}\cdot \widetilde{\Delta } {\mathbf{u}}\,dx \\ &\qquad{}- \int _{B_{\varepsilon }}(\mathbf{u}\cdot \nabla )\mathbf{g} \cdot \widetilde{\Delta } {\mathbf{u}}\,dx + \int _{B_{\varepsilon }}{\mathbf{f}}\cdot \widetilde{\Delta } {\mathbf{u}} \,dx = \sum_{i=1}^{3}J_{i}. \end{aligned}$$

Let us estimate the right-hand side of (4.9). Using inequality (2.5), we obtain

$$\begin{aligned} & \vert J_{3} \vert \leqslant \delta \int _{B_{\varepsilon }} \vert \widetilde{\Delta } {\mathbf{u}} \vert ^{2}\,dx + c_{\delta }A_{1}(t), \\ & \vert J_{2} \vert \leqslant \Vert {\mathbf{u}} \Vert _{L^{4}(B_{\varepsilon })} \Vert \nabla {\mathbf{g}} \Vert _{L^{4}(B_{\varepsilon })} \Vert \widetilde{\Delta } {\mathbf{u}} \Vert _{L ^{2}(B_{\varepsilon })} \\ &\phantom{\vert J_{2} \vert } \leqslant c\varepsilon ^{\frac{1}{2}}{ \Vert {\nabla {\mathbf{u}}} \Vert _{L^{2}(B _{\varepsilon })}} \Vert \nabla {\mathbf{g}} \Vert _{L^{4}(B_{\varepsilon })} \Vert \widetilde{\Delta } {\mathbf{u}} \Vert _{L^{2}(B_{\varepsilon })} \\ &\phantom{\vert J_{2} \vert } \leqslant c_{\delta } \varepsilon { \Vert \nabla {\mathbf{u}} \Vert ^{2}_{L^{2}(B _{\varepsilon })}} \Vert \nabla {\mathbf{g}} \Vert ^{2}_{L^{4}(B_{\varepsilon })} + \delta \Vert \widetilde{\Delta } {\mathbf{u}} \Vert ^{2}_{L^{2}(B_{\varepsilon })}. \end{aligned}$$

By (2.7) and (1.4),

$$\begin{aligned} \Vert \nabla {\mathbf{g}} \Vert ^{2}_{L^{4}(B_{\varepsilon })} \leqslant c \varepsilon ^{-1} \Vert \nabla {\mathbf{g}} \Vert _{L^{2}(B_{\varepsilon })} \bigl( \Vert \nabla {\mathbf{g}} \Vert ^{2}_{L^{2}(B_{\varepsilon })}+ \varepsilon ^{2} \bigl\Vert \nabla ^{2}{\mathbf{g}} \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })} \bigr)^{1/2}\leqslant c \varepsilon ^{-2}. \end{aligned}$$


$$\begin{aligned} \vert J_{2} \vert \leqslant c_{\delta } \varepsilon ^{-1} { \Vert \nabla {\mathbf{u}} \Vert ^{2}_{L^{2}(B_{\varepsilon })}}+ \delta \Vert \widetilde{\Delta } { \mathbf{u}} \Vert ^{2}_{L^{2}(B_{\varepsilon })}. \end{aligned}$$

Further, by (1.4),

$$\begin{aligned} \biggl\vert \int _{B_{\varepsilon }}(\mathbf{g}\cdot \nabla ) \mathbf{u}\cdot \widetilde{\Delta } {\mathbf{u}}\,dx \biggr\vert &\leqslant \Vert {\mathbf{g}} \Vert _{L^{\infty }(B_{\varepsilon })} \Vert \nabla {\mathbf{u}} \Vert _{L^{2}(B_{\varepsilon })} \Vert \widetilde{\Delta } {\mathbf{u}} \Vert _{L^{2}(B _{\varepsilon })} \\ &\leqslant c_{\delta } \Vert {\nabla \mathbf{u}} \Vert ^{2}_{L^{2}(B_{\varepsilon })} +\delta \Vert {\widetilde{\Delta } {\mathbf{u}}} \Vert ^{2}_{L^{2}(B_{\varepsilon })}. \end{aligned}$$

Finally, applying (2.2) and (2.7), we get

$$\begin{aligned} & \biggl\vert \int _{B_{\varepsilon }}(\mathbf{u}\cdot \nabla ) \mathbf{u}\cdot \widetilde{\Delta } {\mathbf{u}}\,dx \biggr\vert \\ &\quad \leqslant \Vert {\mathbf{u}} \Vert _{L^{4}(B_{\varepsilon })} \Vert {\nabla \mathbf{u}} \Vert _{L ^{4}(B_{\varepsilon })} \Vert {\widetilde{\Delta }\mathbf{u}} \Vert _{L^{2}(B _{\varepsilon })} \\ &\quad \leqslant c_{\delta }\varepsilon ^{-1} \Vert {\mathbf{u}} \Vert _{L^{2}(B_{\varepsilon })} \Vert {\nabla \mathbf{u}} \Vert ^{2}_{L^{2}(B_{\varepsilon })} \bigl( \Vert {\nabla {\mathbf{u}}} \Vert ^{2}_{L^{2}(B_{\varepsilon })} + \varepsilon ^{2} \bigl\Vert {\nabla ^{2} {\mathbf{u}}} \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })} \bigr)^{\frac{1}{2}} \\ &\qquad{}+\frac{\delta }{2} \Vert {\widetilde{\Delta } {\mathbf{u}}} \Vert ^{2}_{L^{2}(B _{\varepsilon })} \leqslant c_{\delta }\varepsilon ^{-1} \Vert {\mathbf{u}} \Vert _{L^{2}(B_{\varepsilon })} \Vert {\nabla \mathbf{u}} \Vert ^{3}_{L^{2}(B_{ \varepsilon })} \\ &\qquad{}+c_{\delta } \Vert {\mathbf{u}} \Vert _{L^{2}(B_{\varepsilon })} \Vert {\nabla {\mathbf{u}}} \Vert ^{2}_{L^{2}(B_{\varepsilon })} \bigl\Vert {\nabla ^{2}{\mathbf{u}}} \bigr\Vert _{L^{2}(B _{\varepsilon })} +\frac{\delta }{2} \Vert {\widetilde{\Delta } {\mathbf{u}}} \Vert ^{2}_{L^{2}(B_{\varepsilon })} \\ &\quad \leqslant c_{\delta }\bigl(1+ \Vert {\mathbf{u}} \Vert ^{2}_{L^{2}(B_{\varepsilon })} \bigr) \Vert {\nabla {\mathbf{u}}} \Vert ^{4}_{L^{2}(B_{\varepsilon })} + \delta \Vert {\widetilde{\Delta } {\mathbf{u}}} \Vert ^{2}_{L^{2}(B_{\varepsilon })} \\ &\quad \overset{(4.8)}{ \leqslant }c_{\delta } \biggl(1+ \varepsilon ^{2+ \beta } \int _{0}^{2\pi }A_{1}(t)\,dt \biggr) \Vert {\nabla {\mathbf{u}}} \Vert ^{4}_{L^{2}(B_{\varepsilon })}+\delta \Vert {\widetilde{\Delta } {\mathbf{u}}} \Vert ^{2}_{L^{2}(B_{\varepsilon })}. \end{aligned}$$

Substituting (4.10)–(4.13) into (4.9) and taking \(\delta = \frac{1}{8}\), we obtain

$$\begin{aligned} & \frac{\nu }{\varepsilon ^{\beta }}\frac{d}{dt} \int _{B_{\varepsilon }} \vert \nabla {\mathbf{u}} \vert ^{2} \,dx + \int _{B_{\varepsilon }} \vert \widetilde{\Delta } {\mathbf{u}} \vert ^{2}\,dx \\ &\quad \leqslant C _{1} \biggl(1+\varepsilon ^{2+\beta } \int _{0}^{2\pi }A_{1}(t)\,dt \biggr) \Vert {\nabla \mathbf{u}} \Vert ^{4}_{L^{2}(B_{\varepsilon })} \\ &\qquad {}+ C_{3} \bigl(1+\varepsilon ^{-1} \bigr) \Vert {\nabla \mathbf{u}} \Vert ^{2}_{L ^{2}(B_{\varepsilon })}+ C_{2}A_{1}(t) . \end{aligned}$$

Denote \(Y(t) = \int _{B_{\varepsilon }}|\nabla {\mathbf{u}}(x,t)|^{2}\,dx\), \(d_{1} = C_{1}(1+\varepsilon ^{2+\beta }\int _{0}^{2\pi }A_{1}(t)\,dt)\). Then we can rewrite (4.14) as

$$\begin{aligned} Y'(t) \leqslant \frac{\varepsilon ^{\beta }}{\nu }d_{1} \Vert \nabla {\mathbf{u}} \Vert ^{2}_{L^{2}(B_{\varepsilon })} Y(t)+ C_{3}\frac{\varepsilon ^{ \beta }}{\nu }\bigl(1+\varepsilon ^{-1}\bigr) \Vert \nabla {\mathbf{u}} \Vert ^{2}_{L^{2}(B _{\varepsilon })} + \frac{\varepsilon ^{\beta }}{\nu }C_{2}A_{1}(t). \end{aligned}$$


$$\begin{aligned} & \bigl(Y(t)e^{-\frac{\varepsilon ^{\beta }}{\nu } \int _{0}^{t} \,d _{1} \Vert \nabla {\mathbf{u}}(\cdot , \tau ) \Vert ^{2}_{L^{2}(B_{\varepsilon })} \,d\tau } \bigr)^{\prime } \\ &\quad \leqslant C_{4}\varepsilon ^{\beta } \bigl(\bigl(1+\varepsilon ^{-1}\bigr) \Vert \nabla {\mathbf{u}} \Vert ^{2}_{L^{2}(B_{\varepsilon })}+A_{1}(t) \bigr)e^{-\frac{ \varepsilon ^{\beta }}{\nu }\int _{0}^{t}\,d_{1} \Vert \nabla {\mathbf{u}}( \cdot ,\tau ) \Vert ^{2}_{L^{2}(B_{\varepsilon })} \,d\tau } \\ &\quad \leqslant C_{4}\varepsilon ^{\beta } \bigl(\bigl(1+\varepsilon ^{-1}\bigr) \Vert \nabla {\mathbf{u}} \Vert ^{2}_{L^{2}(B_{\varepsilon })}+A_{1}(t) \bigr). \end{aligned}$$

Integrating the last inequality and using (4.6) and (4.7) with \(t_{*}=0\), we obtain

$$\begin{aligned} Y(t) \leqslant c Y(0) + c\varepsilon ^{\beta } \int _{0}^{2 \pi }A_{1}(s) \,ds \leqslant c\bigl( \varepsilon ^{2} + \varepsilon ^{ \beta }\bigr) \int _{0}^{2\pi }A_{1}(t)\,dt \leqslant c \varepsilon ^{\beta } \int _{0}^{2\pi }A_{1}(t)\,dt. \end{aligned}$$

From (4.15) we have

$$\begin{aligned} \sup_{t\in [0,2\pi ]} \bigl\Vert {\nabla { \mathbf{u}}^{(N)}( \cdot ,t)} \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })} \leqslant c\varepsilon ^{\beta } \int _{0}^{2\pi }A_{1}(t)\,dt. \end{aligned}$$

Substituting (4.16) into (4.14) and integrating by t from 0 to 2π imply

$$\begin{aligned} &\int _{0}^{2\pi } \int _{B_{\varepsilon }} \bigl\vert \widetilde{\Delta } { \mathbf{u}}^{(N)} \bigr\vert ^{2}\,dx\,dt \\ &\quad \leqslant c \int _{0} ^{2\pi }A_{1}(t)\,dt \\ &\qquad{}+c \varepsilon ^{\beta } \biggl(1+\varepsilon ^{2+\beta } \int _{0} ^{2\pi }A_{1}(t)\,dt \biggr) \int _{0}^{2\pi }A_{1}(t)\,dt \int _{0}^{2\pi } \bigl\Vert \nabla { \mathbf{u}}^{(N)} \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })}\,dt \\ &\qquad{}+c\bigl(1+\varepsilon ^{-1}\bigr) \int _{0}^{2\pi } \bigl\Vert {\nabla {\mathbf{u}} ^{(N)}} \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })}\,dt \leqslant C \int _{0}^{2 \pi }A_{1}(t)\,dt. \end{aligned}$$

Let us estimate the norm of \(\mathbf{u}_{t}^{(N)}\). Multiply (4.5) by \(\frac{d}{dt}\gamma _{k}^{(N)}\) and sum up the obtained equalities over k from \(k=1\) to \(k=N\). Again omitting the subscript N, we obtain

$$\begin{aligned} &\frac{1}{\varepsilon ^{\beta }} \int _{B_{\varepsilon }} \vert {\mathbf{u}} _{t} \vert ^{2} \,dx + \frac{\nu }{2}\frac{d}{dt} \int _{B_{\varepsilon }} \vert \nabla {\mathbf{u}} \vert ^{2} \,dx \\ &\quad=- \int _{B_{\varepsilon }} \bigl((\mathbf{u}+\mathbf{g})\cdot \nabla \bigr) \mathbf{u}\cdot {\mathbf{u}}_{t}\,dx - \int _{B_{\varepsilon }}(\mathbf{u}\cdot \nabla )\mathbf{g}\cdot { \mathbf{u}}_{t}\,dx + \int _{B_{\varepsilon }}{\mathbf{f}}\cdot {\mathbf{u}}_{t}\,dx \\ &\quad \leqslant \bigl( \Vert {\mathbf{u}} \Vert _{L^{\infty }(B_{\varepsilon })}+ \Vert {\mathbf{g}} \Vert _{L^{\infty }(B_{\varepsilon })}\bigr) \Vert \nabla {\mathbf{u}} \Vert _{L^{2}(B _{\varepsilon })} \Vert {\mathbf{u}}_{t} \Vert _{L^{2}(B_{\varepsilon })} \\ &\qquad{}+ \Vert {\mathbf{u}} \Vert _{L^{\infty }(B_{\varepsilon })} \Vert \nabla {\mathbf{g}} \Vert _{L^{2}(B_{\varepsilon })} \Vert {\mathbf{u}}_{t} \Vert _{L^{2}(B_{\varepsilon })} + \Vert {\mathbf{f}} \Vert _{L^{2}(B_{\varepsilon })} \Vert { \mathbf{u}}_{t} \Vert _{L^{2}(B_{\varepsilon })} \\ &\quad{}\leqslant \delta \Vert {\mathbf{u}}_{t} \Vert ^{2} + c_{\delta } \Vert {\mathbf{u}} \Vert ^{2}_{L^{\infty }(B_{\varepsilon })} \Vert \nabla {\mathbf{u}} \Vert ^{2}_{L ^{2}(B_{\varepsilon })} + c_{\delta } \Vert {\mathbf{g}} \Vert ^{2}_{L^{\infty }(B_{\varepsilon })} \Vert \nabla {\mathbf{u}} \Vert ^{2}_{L^{2}(B_{\varepsilon })} \\ &\qquad{}+ c_{\delta } \Vert {\mathbf{u}} \Vert ^{2}_{L^{\infty }(B_{\varepsilon })} \Vert {\nabla {\mathbf{g}}} \Vert ^{2}_{L^{2}(B_{\varepsilon })} + c_{\delta }A _{1}(t). \end{aligned}$$

Taking sufficiently small δ and integrating over \([0,2\pi ]\), we obtain the inequality

$$\begin{aligned} & \biggl(\frac{1}{\varepsilon ^{\beta }} -\frac{1}{2} \biggr) \int _{0}^{2\pi } \int _{B_{\varepsilon }} \vert {\mathbf{u}}_{t} \vert ^{2}\,dx\,dt\\ &\quad \leqslant c \int _{0}^{2\pi }A_{1}(t)\,dt + c \int _{0}^{2\pi } \Vert {\mathbf{u}} \Vert ^{2}_{L^{\infty }(B_{\varepsilon })} \Vert {\nabla {\mathbf{u}}} \Vert ^{2} _{L^{2}(B_{\varepsilon })}\,dt \\ &\qquad{}+ c \int _{0}^{2\pi } \Vert {\mathbf{g}} \Vert ^{2}_{L^{\infty }(B_{\varepsilon })} \Vert {\nabla {\mathbf{u}}} \Vert ^{2}_{L^{2}(B_{\varepsilon })}\,dt + c \int _{0}^{2\pi } \Vert {\nabla {\mathbf{g}}} \Vert ^{2}_{L^{2}(B_{\varepsilon })} \Vert {\mathbf{u}} \Vert ^{2}_{L^{\infty }(B_{\varepsilon })}\,dt \\ &\quad \overset{(3.13)}{ \leqslant } c \int _{0}^{2\pi }A_{1}(t)\,dt + c \varepsilon \sup_{t\in [0,2\pi ]} \Vert {\nabla {\mathbf{u}}} \Vert ^{2} _{L^{2}(B_{\varepsilon })} \int _{0}^{2\pi } \bigl\Vert {\nabla ^{2}{ \mathbf{u}}} \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })}\,dt \\ &\qquad{}+ c\sup_{t\in [0,2\pi ]} \Vert {\mathbf{g}} \Vert ^{2}_{L^{\infty }(B _{\varepsilon })} \int _{0}^{2\pi } \Vert {\nabla {\mathbf{u}}} \Vert ^{2} _{L^{2}(B_{\varepsilon })}\,dt + c\varepsilon \sup _{t\in [0,2 \pi ]} \Vert {\nabla {\mathbf{g}}} \Vert ^{2}_{L^{2}(B_{\varepsilon })} \int _{0}^{2\pi } \bigl\Vert {\nabla ^{2}{ \mathbf{u}}} \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })}\,dt \\ &\quad\overset{(3.11)}{ \leqslant } c \int _{0}^{2\pi }A_{1}(t)\,dt + c\varepsilon \sup_{t\in [0,2\pi ]} \Vert {\nabla {\mathbf{u}}} \Vert ^{2}_{L^{2}(B_{\varepsilon })} \int _{0}^{2\pi } \Vert {\widetilde{\Delta } { \mathbf{u}}} \Vert ^{2}_{L^{2}(B_{\varepsilon })}\,dt \\ &\qquad{}+ c\sup_{t\in [0,2\pi ]} \Vert {\mathbf{g}} \Vert ^{2}_{L^{\infty }(B _{\varepsilon })} \int _{0}^{2\pi } \Vert {\nabla {\mathbf{u}}} \Vert ^{2} _{L^{2}(B_{\varepsilon })}\,dt + c\varepsilon \sup _{t\in [0,2 \pi ]} \Vert {\nabla {\mathbf{g}}} \Vert ^{2}_{L^{2}(B_{\varepsilon })} \int _{0}^{2\pi } \Vert {\widetilde{\Delta } { \mathbf{u}}} \Vert ^{2}_{L^{2}(B _{\varepsilon })}\,dt \\ &\quad \overset{(1.4), (4.6), (4.16), (4.17)}{ \leqslant } C \int _{0}^{2\pi }A_{1}(t)\,dt. \end{aligned}$$


$$\begin{aligned} \int _{0}^{2\pi } \int _{B_{\varepsilon }} \bigl\vert {\mathbf{u}} ^{(N)}_{t} \bigr\vert ^{2}\,dx\,dt \leqslant c\varepsilon ^{\beta } \int _{0}^{2 \pi }A_{1}(t)\,dt. \end{aligned}$$

Estimates (4.7), (4.17), and (4.18) ensure (in a standard way, see [7, 21]) the convergence of the Galerkin approximation and guarantee the existence of the solution u. □

Theorem 4.2

For sufficiently smallε, the solution of problem (1.5), \(n=2\), is unique.


Suppose that there are two solutions \(\mathbf{u}_{1} \) and \(\mathbf{u}_{2}\) of problem (1.5) satisfying the conditions of Theorem 4.1. Subtracting identity (1.5) for \(\mathbf{u}_{2}\) from the one for \(\mathbf{u}_{1}\), we obtain, for the difference \(\mathbf{v}=\mathbf{u}_{1}-\mathbf{u}_{2}\), the following identity:

$$\begin{aligned} &\int _{B_{\varepsilon }} \biggl(\frac{1}{\varepsilon ^{\beta }} {\mathbf{v}}_{t} \cdot {\pmb{\eta }} +\nu \nabla {\mathbf{v}}\cdot \nabla {\pmb{\eta }} - ( \mathbf{u}_{1} \cdot \nabla ) {\pmb{\eta }} \cdot {\mathbf{v}}- ( \mathbf{v}\cdot \nabla ) {\pmb{\eta }}\cdot {\mathbf{u}}_{2} - ( \mathbf{g}\cdot \nabla ) {\pmb{\eta }}\cdot {\mathbf{v}} \\ &\quad{}-(\mathbf{v}\cdot \nabla ) {\pmb{\eta }}\cdot {\mathbf{g}} \biggr)\,dx = 0 \end{aligned}$$

for every divergence-free vector-field \({\pmb{\eta }} \in \mathring{W}^{1,2}(B_{\varepsilon })\). Taking \({\pmb{\eta }}= \mathbf{v}\), we obtain

$$\begin{aligned} &\frac{1}{2\varepsilon ^{\beta }}\frac{d}{dt} \int _{B_{\varepsilon }} \vert {\mathbf{v}} \vert ^{2} \,dx + \nu \int _{B_{\varepsilon }} \vert \nabla {\mathbf{v}} \vert ^{2} \,dx\\ &\quad = \int _{B_{\varepsilon }}(\mathbf{v}\cdot \nabla ) \mathbf{v}\cdot { \mathbf{u}}_{2} \,dx+ \int _{B_{\varepsilon }}(\mathbf{v}\cdot \nabla ) \mathbf{v}\cdot { \mathbf{g}} \,dx \\ &\quad \leqslant \Vert {\mathbf{v}} \Vert _{L^{4}(B_{\varepsilon })} \Vert \nabla {\mathbf{v}} \Vert _{L^{2}(B_{\varepsilon })} \bigl( \Vert {\mathbf{u}}_{2} \Vert _{L^{4}(B_{ \varepsilon })}+ \Vert {\mathbf{g}} \Vert _{L^{4}(B_{\varepsilon })} \bigr) \\ &\quad \overset{(2.7), (2.1)}{ \leqslant } c\varepsilon \Vert \nabla {\mathbf{v}} \Vert ^{2}_{L^{2}(B_{\varepsilon })} \bigl( \Vert \nabla { \mathbf{u}}_{2} \Vert _{L ^{2}(B_{\varepsilon })}+ \Vert \nabla {\mathbf{g}} \Vert _{L^{2}(B_{\varepsilon })} \bigr). \end{aligned}$$

Integrating the last inequality with respect to t, we derive

$$\begin{aligned} \nu \int _{0}^{2\pi } \int _{B_{\varepsilon }} \vert \nabla {\mathbf{v}} \vert ^{2} \,dx\,dt&\leqslant c\varepsilon \Bigl(\sup_{t\in [0,2\pi ] } \Vert \nabla { \mathbf{u}}_{2} \Vert _{L^{2}(B_{\varepsilon })}+ \sup_{t\in [0,2\pi ] } \Vert \nabla {\mathbf{g}} \Vert _{L^{2}(B _{\varepsilon })} \Bigr) \int _{0}^{2\pi } \Vert \nabla {\mathbf{v}} \Vert ^{2}_{L^{2}(B_{\varepsilon })}\,dt \\ &\overset{(1.4), (4.2)}{ \leqslant } c \varepsilon \biggl( \biggl(\varepsilon ^{\beta } \int _{0}^{2\pi }A_{1}(t) \,dt \biggr)^{1/2}+\varepsilon ^{-1/2} \biggr) \int _{0}^{2\pi } \Vert \nabla {\mathbf{v}} \Vert ^{2}_{L^{2}(B_{\varepsilon })}\,dt. \end{aligned}$$

For sufficiently small ε (i.e., \(c\varepsilon ( (\varepsilon ^{\beta }\int _{0}^{2\pi }A_{1}(t) \,dt )^{1/2}+ \varepsilon ^{-1/2} )<\nu \)) this implies

$$\begin{aligned} \int _{0}^{2\pi } \int _{B_{\varepsilon }} \vert \nabla {\mathbf{v}} \vert ^{2} \,dx\,dt=0, \end{aligned}$$

and hence \(\mathbf{u}_{1}=\mathbf{u}_{2}\). □

5 Solvability of problem (1.5); the case \(n=3\)

In this section we prove the existence of the unique weak solution of problem (1.5).

Theorem 5.1

Let\(B_{\varepsilon }\subset \mathbb{R}^{3} \), \(\partial B_{\varepsilon }\in C^{2}\). Suppose that the extended functiongbelongs to\(C^{[\frac{J+1}{2}]+1}(0, 2\pi ;W^{2,2}(B_{\varepsilon }))\)and satisfies conditions (1.2), (1.3), (1.4), andfsatisfies (1.6). Then, for sufficiently smallε, there exists a solution to variational problem (1.5). The following estimate

$$\begin{aligned} \sup_{t\in [0,2\pi ]} \bigl\Vert {\mathbf{u}}( \cdot ,t) \bigr\Vert ^{2}_{L ^{2}(B_{\varepsilon })} +\varepsilon ^{\beta } \int _{0}^{2\pi } \bigl\Vert \nabla {\mathbf{u}}( \cdot ,t) \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })}\,dt \leqslant c\varepsilon ^{2+\beta } \int _{0}^{2\pi }A_{1}(t)\,dt \end{aligned}$$

holds. If the constant in (1.6) is sufficiently small (independently ofε) in the case\(\beta =0\)or if\(\beta =2\), then there holds also the estimate

$$\begin{aligned} &\sup_{t\in [0,2\pi ]} \bigl\Vert \nabla {\mathbf{u}}( \cdot ,t) \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })}+ \int _{0}^{2\pi } \int _{B_{\varepsilon }} \bigl\vert {\mathbf{u}}_{t}(x,t) \bigr\vert ^{2} \,dx\,dt \\ &\quad{}+\varepsilon ^{\beta } \int _{0}^{2\pi } \bigl\Vert \nabla ^{2}{ \mathbf{u}}( \cdot ,t) \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })}\,dt\leqslant c \varepsilon ^{ \beta } \int _{0}^{2\pi }A_{1}(t)\,dt. \end{aligned}$$


As in Theorem 4.1, we use Galerkin approximations. First, applying inequality (2.3) instead of (2.2), we prove, exactly in the same way as before, the existence of Galerkin approximations and the following estimate for them:

$$\begin{aligned} \frac{1}{\varepsilon ^{\beta }}\sup_{t\in [0, 2\pi ]} \bigl\Vert {\mathbf{u}} ^{(N)}( \cdot , t) \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })} + \int _{0}^{2\pi } \int _{B_{\varepsilon }} \bigl\vert \nabla {\mathbf{u}}^{(N)}(x,t) \bigr\vert ^{2}\,dx\,dt \leqslant c\varepsilon ^{2} \int _{0}^{2\pi }A_{1}(t)\,dt. \end{aligned}$$

In order to estimate the higher derivatives of u, we use as a basis the eigenfunctions of the Stokes operator. Taking in (4.5) Galerkin approximations with the basis \(\{ \mathbf{w}_{k}\}_{k=1}^{\infty }\), multiplying it by \(\lambda _{k} \gamma _{k}^{(N)}(t)\), summing up the obtained equalities from \(k=1\) to \(k=N\), and using properties of the Stokes operator, we obtain (here we again omit the subscript N)

$$\begin{aligned} &\frac{\nu }{2\varepsilon ^{\beta }}\frac{d}{dt} \int _{B_{\varepsilon }} \vert \nabla {\mathbf{u}} \vert ^{2} \,dx + \int _{B_{\varepsilon }} \vert \widetilde{\Delta } {\mathbf{u}} \vert ^{2}\,dx \\ &\quad = - \int _{B_{\varepsilon }}\bigl((\mathbf{u}+\mathbf{g})\cdot \nabla \bigr) \mathbf{u}\cdot \widetilde{\Delta } {\mathbf{u}}\,dx \\ &\qquad{}- \int _{B_{\varepsilon }}(\mathbf{u}\cdot \nabla )\mathbf{g} \cdot \widetilde{\Delta } {\mathbf{u}}\,dx + \int _{B_{\varepsilon }}{\mathbf{f}}\cdot \widetilde{\Delta } {\mathbf{u}} \,dx = \sum_{i=1}^{3} J_{i}. \end{aligned}$$

Let us estimate the right-hand side of (5.4). Using (2.1), (2.4)–(2.10), (3.12), and (1.4) for \(n=3\), we obtain

$$\begin{aligned} & \vert J_{3} \vert \leqslant \delta \int _{B_{\varepsilon }} \vert \widetilde{\Delta } {\mathbf{u}} \vert ^{2} \,dx + c_{\delta }A_{1}(t), \end{aligned}$$
$$\begin{aligned} & \vert J_{2} \vert = \biggl\vert \int _{B_{\varepsilon }}(\mathbf{u}\cdot \nabla )\mathbf{g}\cdot \widetilde{ \Delta } {\mathbf{u}}\,dx \biggr\vert \leqslant \Vert {\mathbf{u}} \Vert _{L^{\infty }(B_{\varepsilon })} \Vert \nabla {\mathbf{g}} \Vert _{L^{2}(B_{\varepsilon })} \Vert \widetilde{\Delta } {\mathbf{u}} \Vert _{L ^{2}(B_{\varepsilon })} \\ &\phantom{\vert J_{2} \vert }\overset{(3.12)}{ \leqslant c}\varepsilon ^{\frac{1}{4}} \Vert \widetilde{ \Delta } {\mathbf{u}} \Vert ^{2}_{L^{2}(B_{\varepsilon })}, \end{aligned}$$
$$\begin{aligned} & \vert J_{11} \vert = \biggl\vert \int _{B_{\varepsilon }}(\mathbf{g}\cdot \nabla )\mathbf{u}\cdot \widetilde{ \Delta } {\mathbf{u}}\,dx \biggr\vert \leqslant \Vert {\mathbf{g}} \Vert _{L^{\infty }(B_{\varepsilon })} \Vert \nabla {\mathbf{u}} \Vert _{L^{2}(B_{\varepsilon })} \Vert \widetilde{\Delta } {\mathbf{u}} \Vert _{L ^{2}(B_{\varepsilon })} \\ &\phantom{\vert J_{11} \vert }\overset{(2.9)}{ \leqslant } c\varepsilon \Vert {\mathbf{g}} \Vert _{L^{\infty }(B _{\varepsilon })} \bigl\Vert \nabla ^{2}{\mathbf{u}} \bigr\Vert _{L^{2}(B_{\varepsilon })} \Vert \widetilde{\Delta } {\mathbf{u}} \Vert _{L^{2}(B_{\varepsilon })} \overset{(3.11)}{ \leqslant } c\varepsilon \Vert \widetilde{\Delta } {\mathbf{u}} \Vert _{L^{2}(B_{\varepsilon })}^{2}, \end{aligned}$$
$$\begin{aligned} & \vert J_{12} \vert = \biggl\vert \int _{B_{\varepsilon }}(\mathbf{u}\cdot \nabla )\mathbf{u}\cdot \widetilde{ \Delta } {\mathbf{u}} \,dx \biggr\vert \\ &\phantom{\vert J_{12} \vert }\leqslant c_{\delta } \Vert {\mathbf{u}} \Vert ^{2}_{L^{6}(B_{\varepsilon })} \Vert \nabla {\mathbf{u}} \Vert ^{2}_{L^{3}(B_{\varepsilon })} + \delta \int _{B_{\varepsilon }} \vert \widetilde{\Delta } {\mathbf{u}} \vert ^{2}\,dx \overset{(2.4), (2.10)}{ \leqslant } \delta \int _{B_{\varepsilon }} \vert \widetilde{\Delta } {\mathbf{u}} \vert ^{2}\,dx \\ &\phantom{\vert J_{12} \vert =}{}+c_{\delta } \Vert \nabla {\mathbf{u}} \Vert ^{2}_{L^{2}(B_{\varepsilon })} \varepsilon ^{-1} \Vert \nabla {\mathbf{u}} \Vert _{L^{2}(B_{\varepsilon })} \bigl( \Vert \nabla {\mathbf{u}} \Vert ^{2}_{L^{2}(B_{\varepsilon })} + \varepsilon ^{2} \bigl\Vert \nabla ^{2}{\mathbf{u}} \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })} \bigr)^{\frac{1}{2}} \\ &\phantom{\vert J_{12} \vert }\overset{(2.9)}{ \leqslant }\delta \int _{B_{\varepsilon }} \vert \widetilde{\Delta } {\mathbf{u}} \vert ^{2}\,dx + c_{\delta }\varepsilon ^{-1} \Vert \nabla {\mathbf{u}} \Vert ^{3}_{L^{2}(B _{\varepsilon })} \bigl(c\varepsilon ^{2} \bigl\Vert \nabla ^{2}{\mathbf{u}} \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })} + \varepsilon ^{2} \bigl\Vert \nabla ^{2} {\mathbf{u}} \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })} \bigr)^{\frac{1}{2}} \\ &\phantom{\vert J_{12} \vert }\overset{(3.12) }{\leqslant } \delta \int _{B_{\varepsilon }} \vert \widetilde{\Delta } {\mathbf{u}} \vert ^{2} \,dx + c_{\delta } \Vert \nabla {\mathbf{u}} \Vert ^{3}_{L^{2}(B_{\varepsilon })} \Vert \widetilde{\Delta } {\mathbf{u}} \Vert _{L^{2}(B_{\varepsilon })} \\ &\phantom{\vert J_{12} \vert }\leqslant 2\delta \int _{B_{\varepsilon }} \vert \widetilde{\Delta } {\mathbf{u}} \vert ^{2} \,dx + c_{\delta } \Vert \nabla {\mathbf{u}} \Vert ^{6}_{L^{2}(B_{\varepsilon })}. \end{aligned}$$

Substituting (5.5)–(5.8) into (5.4) and taking \(\delta = \frac{1}{12}\) implies

$$\begin{aligned} &\frac{\nu }{2\varepsilon ^{\beta }}\frac{d}{dt} \int _{B_{\varepsilon }} \vert \nabla {\mathbf{u}} \vert ^{2} \,dx + \biggl( \frac{3}{4} - C_{1}\varepsilon ^{1/4} \biggr) \int _{B_{\varepsilon }} \vert \widetilde{\Delta } {\mathbf{u}} \vert ^{2}\,dx \\ &\quad \leqslant C_{2} \Vert \nabla {\mathbf{u}} \Vert ^{6}_{L^{2}(B_{\varepsilon })} + C _{3} A_{1}(t). \end{aligned}$$

If ε is sufficiently small (\(\varepsilon ^{1/4}\leqslant \frac{1}{4C _{1}}\)), then

$$\begin{aligned} \frac{3}{4} - C_{1}\varepsilon ^{\frac{1}{4}} \geqslant \frac{1}{2}, \end{aligned}$$

and (5.9) yields

$$\begin{aligned} \frac{\nu }{2\varepsilon ^{\beta }}\frac{d}{dt} \int _{B_{\varepsilon }} \vert \nabla {\mathbf{u}} \vert ^{2} \,dx +\frac{1}{2} \int _{B_{\varepsilon }} \vert \widetilde{\Delta } {\mathbf{u}} \vert ^{2}\,dx \leqslant C_{2} \Vert {\nabla {\mathbf{u}}} \Vert ^{6}_{L^{2}(B_{\varepsilon })} + C _{3} A_{1}(t). \end{aligned}$$

Denoting \(z(t) = \int _{B_{\varepsilon }}|\nabla {\mathbf{u}}|^{2}\,dx\), we rewrite (5.10) as

$$\begin{aligned} z'(t) \leqslant \frac{2\varepsilon ^{\beta }}{\nu } C_{2}z(t)^{3} + \frac{2 \varepsilon ^{\beta }}{\nu } C_{3}A_{1}(t) \leqslant \bigl(1+ z(t)^{2}\bigr) \biggl(\frac{2 \varepsilon ^{\beta }}{\nu } C_{2}z(t) + \frac{2\varepsilon ^{\beta }}{ \nu } C_{3}A_{1}(t)\biggr), \end{aligned}$$

or, equivalently,

$$\begin{aligned} \frac{z'(t)}{1+z(t)^{2}} \leqslant \frac{2\varepsilon ^{\beta }}{\nu } C _{2}z(t) + \frac{2\varepsilon ^{\beta }}{\nu } C_{3}A_{1}(t). \end{aligned}$$

Integrating (5.11) by t and using (5.3), we obtain

$$\begin{aligned} \arctan z(t) &\leqslant \arctan z(0) + \frac{ 2\varepsilon ^{\beta }}{\nu } C _{2} \int _{0}^{2\pi }z(t)\,dt + \frac{2\varepsilon ^{\beta }}{ \nu } C_{3} \int _{0}^{2\pi }A_{1}(t)\,dt \\ &\leqslant \arctan \biggl(C_{4} \varepsilon ^{2} \int _{0}^{2\pi }A_{1}(t)\,dt\biggr) + \biggl(C_{5}\varepsilon ^{\beta +2} + \frac{2\varepsilon ^{\beta }}{\nu }C _{3}\biggr) \int _{0}^{2\pi }A_{1}(t)\,dt. \end{aligned}$$

Here, as in Sect. 4, we assume that \(t_{*}=0\). For sufficiently small ε in the case \(\beta =2\) or for sufficiently small constant in inequality (1.6) in the case \(\beta =0\), the following inequalities

$$\begin{aligned} &\biggl(C_{5}\varepsilon ^{2+\beta } + \frac{2\varepsilon ^{\beta }}{\nu } C _{3}\biggr) \int _{0}^{2 \pi }A_{1}(t)\,dt < \frac{\pi }{6}, \\ &C_{4}\varepsilon ^{2} \int _{0}^{2\pi }A_{1}(t)\,dt + \tan \biggl[ \biggl(C_{5} \varepsilon ^{2+\beta } + \frac{2\varepsilon ^{\beta }}{\nu }C_{3} \biggr) \int _{0}^{2\pi }A_{1}(t)\,dt\biggr] < \frac{1}{2} \end{aligned}$$

hold. Then (5.12) gives

$$\begin{aligned} z(t) &= \int _{B_{\varepsilon }} \vert \nabla {\mathbf{u}} \vert ^{2} \,dx \leqslant C _{6} \biggl(\varepsilon ^{2} \int _{0}^{2\pi }A_{1}(t)\,dt + \tan \biggl[ \biggl(C_{5}\varepsilon ^{2+\beta } + \frac{2\varepsilon ^{\beta }}{ \nu }C_{3} \biggr) \int _{0}^{2\pi }A_{1}(t)\,dt \biggr] \biggr) \\ &\leqslant c\varepsilon ^{\beta } \int _{0}^{2\pi }A_{1}(t)\,dt, \end{aligned}$$


$$\begin{aligned} \sup_{t\in [0,2\pi ]} \bigl\Vert \nabla {\mathbf{u}}^{(N)}( \cdot ,t) \bigr\Vert _{L^{2}(B_{\varepsilon })}^{2} \leqslant c\varepsilon ^{\beta } \int _{0}^{2\pi }A_{1}(t)\,dt. \end{aligned}$$

Substituting (5.13) into (5.10) yields

$$\begin{aligned} &\int _{0}^{2\pi } \bigl\Vert \nabla ^{2}{ \mathbf{u}}^{(N)}( \cdot ,t) \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })} \,dt \\ &\quad \overset{(3.11)}{ \leqslant } c \int _{0}^{2\pi } \bigl\Vert {\widetilde{\Delta } { \mathbf{u}}^{(N)}(\cdot ,t)} \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })} \,dt \\ &\quad \leqslant c \biggl( \varepsilon ^{3\beta } \biggl( \int _{0}^{2\pi }A_{1}(t)\,dt \biggr) ^{3} + \int _{0}^{2\pi }A_{1}(t)\,dt \biggr)\leqslant c \int _{0} ^{2\pi }A_{1}(t)\,dt. \end{aligned}$$

Let us estimate the norm of \(\mathbf{u}_{t}^{(N)}\). Taking in integral identity (1.5) \(\pmb{\eta }= \mathbf{u}_{t}^{(N)}\) (more precisely, multiplying (4.5) by \(\frac{d}{dt}\gamma _{k}^{(N)}\) and summing by k from 1 to N), we obtain (omitting the subscript N)

$$\begin{aligned} &\frac{1}{\varepsilon ^{\beta }} \int _{B_{\varepsilon }}{| \mathbf{u}}_{t} \vert ^{2}\,dx + \frac{\nu }{2}\frac{d}{dt} \int _{B_{\varepsilon }} \vert \nabla {\mathbf{u}} \vert ^{2} \,dx \\ &\quad = - \int _{B_{\varepsilon }}\bigl((\mathbf{u}+\mathbf{g})\cdot \nabla \bigr) \mathbf{u}\cdot {\mathbf{u}}_{t}\,dx - \int _{B_{\varepsilon }}(\mathbf{u}\cdot \nabla )\mathbf{g} \cdot { \mathbf{u}}_{t} \,dx + \int _{B_{\varepsilon }}{\mathbf{f}}\cdot {\mathbf{u}}_{t} \,dx \\ &\quad \leqslant \Vert {\mathbf{u}} \Vert _{L^{\infty }(B_{\varepsilon })} \Vert \nabla {\mathbf{u}} \Vert _{L^{2}(B_{\varepsilon })} \Vert {\mathbf{u}}_{t} \Vert _{L^{2}(B_{\varepsilon })} + \Vert {\mathbf{g}} \Vert _{L^{\infty }(B_{\varepsilon })} \Vert \nabla { \mathbf{u}} \Vert _{L^{2}(B_{\varepsilon })} \Vert {\mathbf{u}}_{t} \Vert _{L^{2}(B _{\varepsilon })} \\ &\qquad{}+ \Vert {\mathbf{u}} \Vert _{L^{\infty }(B_{\varepsilon })} \Vert \nabla {\mathbf{g}} \Vert _{L^{2}(B_{\varepsilon })} \Vert {\mathbf{u}}_{t} \Vert _{L^{2}(B_{\varepsilon })} + \Vert {\mathbf{f}} \Vert _{L^{2}(B_{\varepsilon })} \Vert { \mathbf{u}}_{t} \Vert _{L^{2}(B_{\varepsilon })} \\ &\quad \leqslant 4\delta \Vert {\mathbf{u}}_{t} \Vert ^{2}_{L^{2}(B_{\varepsilon })} + c_{\delta } \Vert {\mathbf{u}} \Vert ^{2}_{L^{\infty }(B_{\varepsilon })} \Vert \nabla {\mathbf{u}} \Vert ^{2}_{L^{2}(B_{\varepsilon })} + c_{\delta } \Vert {\mathbf{g}} \Vert ^{2}_{L^{\infty }(B_{\varepsilon })} \Vert \nabla {\mathbf{u}} \Vert ^{2}_{L^{2}(B_{\varepsilon })} \\ &\qquad{}+ c_{\delta } \Vert {\mathbf{u}} \Vert ^{2}_{L^{\infty }(B_{\varepsilon })} \Vert \nabla {\mathbf{g}} \Vert ^{2}_{L^{2}(B_{\varepsilon })} +c_{\delta }A_{1}(t). \end{aligned}$$

Integrating (5.15) over \([0,2\pi ]\), using the periodicity condition, (1.4), and inequalities (3.12), (5.14), for sufficiently small ε, we derive

$$\begin{aligned} &\biggl(\frac{1}{\varepsilon ^{\beta }}- \frac{1}{2} \biggr) \int _{0}^{2\pi } \int _{B_{\varepsilon }}{|\mathbf{u}}_{t}|^{2}\,dx\,dt \\ &\quad \leqslant c \int _{0}^{2\pi } \Vert {\mathbf{u}} \Vert ^{2}_{L^{\infty }(B_{\varepsilon })} \Vert \nabla {\mathbf{u}} \Vert ^{2}_{L^{2}(B_{\varepsilon })}\,dt \\ &\qquad{}+ c \sup_{t\in [0,2\pi ]} \bigl\Vert {\mathbf{g}}( \cdot , t) \bigr\Vert ^{2} _{L^{\infty }(B_{\varepsilon })} \int _{0}^{2\pi } \Vert \nabla {\mathbf{u}} \Vert ^{2}_{L^{2}(B_{\varepsilon })}\,dt \\ &\qquad{}+c\sup_{t\in [0,2\pi ]} \bigl\Vert \nabla {\mathbf{g}}( \cdot ,t) \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })} \int _{0}^{2\pi } \Vert {\mathbf{u}} \Vert ^{2}_{L^{\infty }(B_{\varepsilon })}\,dt + c \int _{0}^{2\pi }A _{1}(t)\,dt \\ &\quad \overset{(3.12), (1.4)}{ \leqslant } c\varepsilon ^{1/2} \int _{0}^{2\pi } \bigl\Vert \nabla ^{2}{ \mathbf{u}} \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })} \Vert \nabla { \mathbf{u}} \Vert ^{2}_{L^{2}(B_{\varepsilon })}\,dt + c \int _{0}^{2\pi } \Vert \nabla {\mathbf{u}} \Vert ^{2}_{L^{2}(B_{\varepsilon })}\,dt \\ &\qquad{}+c\varepsilon ^{1/2} \int _{0}^{2\pi } \bigl\Vert \nabla ^{2}{ \mathbf{u}} \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })}\,dt + c \int _{0}^{2\pi }A_{1}(t)\,dt \\ &\quad \leqslant c\varepsilon ^{1/2} \sup_{t\in [0,2\pi ]} \Vert \nabla { \mathbf{u}} \Vert ^{2}_{L^{2}(B_{\varepsilon })} \int _{0}^{2\pi } \bigl\Vert \nabla ^{2} { \mathbf{u}} \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })}\,dt + c \int _{0}^{2 \pi } \Vert \nabla {\mathbf{u}} \Vert ^{2}_{L^{2}(B_{\varepsilon })}\,dt \\ &\qquad{}+c\varepsilon ^{1/2} \int _{0}^{2\pi } \bigl\Vert \nabla ^{2}{ \mathbf{u}} \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })}\,dt + c \int _{0}^{2\pi }A_{1}(t)\,dt \leqslant c \int _{0}^{2\pi }A_{1}(t)\,dt. \end{aligned}$$


$$\begin{aligned} \int _{0}^{2\pi } \int _{B_{\varepsilon }}{|\mathbf{u}} ^{(N)}_{t}|^{2} \,dx\,dt \leqslant c\varepsilon ^{\beta } \int _{0}^{2 \pi }A_{1}(t)\,dt. \end{aligned}$$

Estimates (5.3), (5.14), and (5.16) ensure the convergence of the Galerkin approximations and guarantee the existence of the solution (see [7, 21]). □

Theorem 5.2

For sufficiently smallε, the solution of problem (1.5), \(n=3\), is unique.


The proof is absolutely identical to that in the two-dimensional case (see Theorem 4.2), we only have to use inequalities (2.3), (5.2) instead of (2.2), (4.2). □

6 Asymptotic expansion

Let us describe the procedure of constructing an asymptotic expansion of the solution to problem (1.1) in the case \(\beta =2\). The case \(\beta = 0\) is completely similar to the asymptotic expansion constructed in [17] with only one difference that all functions depending on time are 2π-periodic (instead of being equal to zero in some neighborhood of \(t=0\)).

First we solve the time-periodic problem on the graph and find the macroscopic pressure as a periodic in time function linear on every edge with respect to the longitudinal variable \(x_{n}^{(e)}\). At the nodes it satisfies the Kirchhoff type junction conditions. This problem on the graph is the time-periodic analogue of the problem considered in [15]. This problem defines in every cylinder \(\varPi _{\varepsilon }^{(e)}\) the Poiseuille type velocity depending only on the transversal space variable \(x^{(e)'}\) of the tube. We multiply the Poiseuille type velocity and pressure in every cylinder by cut-off functions ζ equal to one in the main middle part of the cylinder and vanishing in some \(O(\varepsilon )\)-neighborhood of the nodes. This multiplication generates an important residual in the right-hand side of the Navier–Stokes equations, having a finite support belonging to a \(O(\varepsilon )\)-neighborhood of the nodes. Then we construct the boundary layer correctors, compensating this residual. These correctors are solutions to the Stokes equations in the dilated bundles of cylinders extended by outlets to infinity. In this context the asymptotic expansion of the velocity is constructed in the form

$$\begin{aligned} {\mathbf{v}}^{(J)}(x,t) = {}&\sum _{i=1}^{M} \zeta \biggl(\frac{x _{n}^{(e_{i})}}{3r\varepsilon } \biggr)\zeta \biggl(\frac{ \vert e_{i} \vert -x_{n} ^{(e_{i})}}{3r\varepsilon } \biggr)\sum_{j=0}^{J} \varepsilon ^{j} {\mathbf{V}}_{j}^{(e_{i})} \bigl(y^{(e_{i})'},t\bigr) \\ &{}+\sum_{l=1}^{N} \biggl(1- \zeta \biggl( \frac{ \vert x-O_{l} \vert }{ \vert e \vert _{ \min }} \biggr) \biggr)\sum_{j=-1}^{J} \varepsilon ^{j} {\mathbf{V}} _{j}^{[\mathrm{BLO}_{l}]}(y,t), \end{aligned}$$

where \(y = \frac{x^{(e)}}{\varepsilon }\), \(\zeta (\tau )\) is a smooth cut-off function independent of ε with \(\zeta (\tau ) = 0\) for \(\tau \leqslant 1/3\) and \(\zeta (\tau ) = 1\) for \(\tau \geqslant 2/3, 0 \leqslant \zeta (\tau )\leqslant 1\). Here, \(|e|_{\min }\) is the minimal length of the edges, \(r=3\max \{\operatorname{diam} \sigma _{1},\ldots, \operatorname{diam} \sigma _{M}\}+1\), \(\mathbf{V}_{j}^{(e_{i})}(y ^{(e_{i})'},t) \) are the Poiseuille type velocities and the boundary layer terms \(\mathbf{V}_{j}^{[\mathrm{BLO}_{l}]}(y,t)\) exponentially decay as \(|y|\) tends to infinity. The asymptotic expansion of the pressure has a similar form:

$$\begin{aligned} p^{(J)}(x,t) ={}& \sum _{i=1}^{M} \zeta \biggl(\frac{x_{n}^{(e _{i})}}{3r\varepsilon } \biggr) \zeta \biggl(\frac{ \vert e_{i} \vert -x_{n}^{(e_{i})}}{3r \varepsilon } \biggr)\sum_{j=0}^{J} \varepsilon ^{j-2} \bigl(-s_{j}^{(e _{i})}(t)x_{n}^{(e_{i})} + a_{j}^{(e_{i})}(t)\bigr) \\ &{}+\sum_{l=1}^{N} \biggl(1- \zeta \biggl( \frac{ \vert x-O_{l} \vert }{ \vert e \vert _{ \min }} \biggr) \biggr)\sum_{j=-1}^{J} \varepsilon ^{j-1} P_{j}^{[ \mathrm{BLO}_{l}]}(y,t). \end{aligned}$$

The asymptotic solution is constructed by induction with respect to j. At the base (initial) step \(j=0\), we consider the following problem on the graph: find a function \(p_{0}\in L^{2}_{\mathrm{per}}(0,2 \pi ;W^{1,2}(\mathcal{B}))\) such that equations

$$\begin{aligned} \begin{aligned} &{-}\frac{\partial }{\partial x_{n}^{(e)}} \biggl(L^{(e)} \frac{\partial p _{0}}{\partial x_{n}^{(e)}}\bigl(x_{n}^{(e)},t\bigr) \biggr) =0,\quad x_{n}^{(e)} \in \bigl(0, \vert e \vert \bigr), \forall e=e_{j}, j=1,\ldots,M, \\ &{-}\sum_{e:O_{l}\in e} \biggl(L^{(e)} \frac{\partial p_{0}}{\partial x_{n}^{(e)}} \biggr) (0,t) =0, \quad l=1,\ldots,N_{1}, \\ &{-} \biggl(L^{(e)}\frac{\partial p_{0}}{\partial x_{n}^{(e)}} \biggr) (0,t) = \varPsi _{l}(t),\quad l=N_{1}+1,\ldots,N, \end{aligned} \end{aligned}$$

hold. Here, \(\varPsi _{l}(t)= \int _{\gamma ^{l}} {\mathbf{g}}_{l} \cdot {\mathbf{n}} \,dS\). Operator \(L^{(e)}\) relates the pressure slope \(\mathcal{S}\) and the flux \(\mathcal{H}\) in an infinite cylindrical pipe with section \(\sigma ^{(e)}\). Namely, consider the following periodic in time boundary value problem for the heat equation: for given \(\mathcal{S}\in L^{2}_{\mathrm{per}}(0,2\pi )\), find \(\mathcal{V} \in L^{2}_{\mathrm{per}}(0,2\pi ;\mathring{W}^{1,2}(\sigma ^{(e)}))\) with \(\frac{\partial \mathcal{V}}{\partial t}\in L^{2}_{\mathrm{per}}(0,2 \pi ;L^{2}(\sigma ^{(e)}))\) such that

$$\begin{aligned} &\frac{\partial \mathcal{V}}{\partial t}\bigl(y^{(e)'},t\bigr) - \nu \Delta '_{y ^{(e)'}}\mathcal{V}\bigl(y^{(e)'},t\bigr) = S(t),\quad y^{(e)'}\in \sigma ^{(e)}, t>0, \\ &\mathcal{V}\bigl(y^{(e)'},t\bigr) \big|_{\partial \sigma ^{(e)}} = 0, \qquad \mathcal{V} \bigl(y^{(e)'},t\bigr) =\mathcal{V}\bigl(y^{(e)'},t+2\pi \bigr) \end{aligned}$$

and denote

$$\begin{aligned} L^{(e)}\mathcal{S}(t) = \int _{\sigma ^{(e)}}\mathcal{V}\bigl(y^{(e)'},t\bigr)\,dy ^{(e)'}=\mathcal{H}(t), \end{aligned}$$

\(L^{(e)}\) is a bounded linear operator acting from \(L^{2}_{ \mathrm{per}}(0,2\pi )\) to \(W^{1,2}_{\mathrm{per}}(0,2\pi )\) (see [3, 6]). Denote \(\mathcal{M}S= \mathcal{V}\). The existence of a solution to problem (6.3) is proved in [18]. Let us represent \(p_{0}^{(e)}\) in the form

$$\begin{aligned} p_{0}^{(e)}\bigl(x_{n}^{(e)},t\bigr) = -s_{0}^{(e)}(t)x_{n}^{(e)} + a_{0}^{(e)}(t). \end{aligned}$$

For every edge \(e_{i}\), define the Poiseuille type velocity \(\mathbf{V}_{0}^{(e_{i})}(y^{(e_{i})'},t)\) as a vector such that in the local coordinates its last (i.e., normal) component is \(\mathcal{M}s _{0}^{(e)}\), while the tangential components are equal to zero.

Next, we find the boundary layer correctors \((\mathbf{V}_{0}^{[ \mathrm{BLO}_{l}]}, P_{0}^{[\mathrm{BLO}_{l}]})\) as solutions of the periodic in time Stokes equations in the dilated domain: union of semi-infinite cylinders having the common node \(O_{l}\), and the corresponding \(\omega ^{l}\). Namely, let \(O_{l}\) be a node which is the common end of edges \(e_{i_{1}},\ldots,e_{i_{m}}\) of the bundle \(\mathcal{B}^{(l)}\). Define the semi-infinite cylinders

$$\begin{aligned} \varPi ^{+}_{l,j_{s}} = \bigl\{ y\in \mathbb{R}^{n}: \mathcal{P}^{(e_{i_{s}})}y \in \sigma ^{i_{s}}\times (0,+\infty )\bigr\} \end{aligned}$$

and the domain \(\varOmega _{l}\) with m outlets to infinity corresponding to the node \(O_{l}\):

$$\begin{aligned} \varOmega _{l} = \Biggl(\bigcup_{s=1}^{m} \varPi ^{+}_{l,j_{s}} \Biggr)\cup \omega ^{l}. \end{aligned}$$

We introduce the boundary layer pressure of the rank −1 as

$$\begin{aligned} P^{[\mathrm{BLO}_{l}]}_{-1}(y,t) = - \biggl(\sum _{e: O_{l} \in e} \zeta \biggl(\frac{y_{n}^{(e)}}{3r} \biggr)-1 \biggr){p}_{0}(O_{l},t). \end{aligned}$$

(Here, \(p_{0}\) is a continuous function on \(\mathcal{B}\) without jumps at the nodes, so that \({p}_{0}(O_{l},t)\) is well defined.) The boundary layer velocity of rank −1 is equal to zero: \(\mathbf{V}^{[ \mathrm{BLO}_{l}]}_{-1}(y,t)=0\).

The boundary layer terms \((\mathbf{V}_{0}^{[\mathrm{BLO}_{l}]}, P_{0} ^{[\mathrm{BLO}_{l}]})\) are defined as a solution of the periodic in time Stokes problem in the unbounded domain \(\varOmega _{l}\):

$$\begin{aligned} &\frac{\partial }{\partial t}{\mathbf{V}}^{[\mathrm{BLO}_{l}]}_{0}- \nu \Delta _{y}{\mathbf{V}}^{[\mathrm{BLO}_{l}]}_{0} +\nabla _{y} P^{[ \mathrm{BLO}_{l}]}_{0} \\ &\quad =\sum_{e: O_{l} \in e} \biggl(\zeta \biggl(\frac{y_{n}^{(e)}}{3r} \biggr)\frac{\partial }{\partial t}V_{0}^{(e)}\bigl(y^{(e)'},t \bigr) +\nu \frac{ \partial ^{2}}{\partial y_{n}^{(e) 2}} \biggl(\zeta \biggl( \frac{y_{n}^{(e)}}{3r} \biggr) \biggr) \mathbf{V}_{0}^{(e)}\bigl(y^{(e)'},t\bigr) \\ &\qquad{}+\nabla _{y} \biggl(\zeta \biggl(\frac{y_{n}^{(e)}}{3r} \biggr)y_{n}^{(e)} \biggr) s^{(e)}_{0}(t) -\nabla _{y} \biggl(\zeta \biggl( \frac{y_{n}^{(e)}}{3r} \biggr) \biggr) \hat{a}_{1}^{(e)}(t) \biggr),\quad y\in \varOmega _{l}, \\ &\operatorname{div}_{y}{\mathbf{V}}_{0}^{[\mathrm{BLO}_{l}]}= - \sum_{e: O_{l} \in e}\frac{\partial }{\partial y_{n}^{(e)}}\zeta \biggl( \frac{y_{n}^{(e)}}{3r} \biggr) { V}_{0,n}^{(e)} \bigl(y^{(e)'},t\bigr),\quad y\in \varOmega _{l}, \\ &{\mathbf{V}}^{[\mathrm{BLO}_{l}]}_{0}\vert _{\partial \varOmega _{l}} = 0,\qquad \mathbf{V}^{[\mathrm{BLO}_{l}]}_{0}(y,t) =\mathbf{V}^{[ \mathrm{BLO}_{l}]}_{0}(y,t+2 \pi ), \end{aligned}$$

where the local coordinates have the origin at \(O_{l}\) and \(\hat{a} _{1}^{(e)}(t)\) is an unknown function. This problem is decomposed to two independent ones: first we solve it without the term containing \(\hat{a}_{1}^{(e)}(t)\) in the right-hand side for \((\mathbf{V}_{0} ^{[\mathrm{BLO}_{l}]}, \hat{P}_{0}^{[\mathrm{BLO}_{l}]})\):

$$\begin{aligned} &\frac{\partial }{\partial t}{\mathbf{V}}^{[\mathrm{BLO}_{l}]}_{0}- \nu \Delta _{y}{\mathbf{V}}^{[\mathrm{BLO}_{l}]}_{0} +\nabla _{y} \hat{P}^{[\mathrm{BLO}_{l}]}_{0} \\ &\quad =\sum_{e: O_{l} \in e} \biggl(\zeta \biggl(\frac{y_{n}^{(e)}}{3r} \biggr)\frac{\partial }{\partial t}V_{0}^{(e)}\bigl(y^{(e)'},t \bigr) +\nu \frac{ \partial ^{2}}{\partial y_{n}^{(e) 2}} \biggl(\zeta \biggl( \frac{y_{n}^{(e)}}{3r} \biggr) \biggr)\mathbf{V}_{0}^{(e)}\bigl(y^{(e)'},t\bigr) \\ &\qquad{}+\nabla _{y} \biggl(\zeta \biggl(\frac{y_{n}^{(e)}}{3r} \biggr)y_{n}^{(e)} \biggr) s^{(e)}_{0}(t) \biggr),\quad y\in \varOmega _{l}, \\ &\operatorname{div}_{y}{\mathbf{V}}_{0}^{[\mathrm{BLO}_{l}]}= - \sum_{e: O_{l} \in e}\frac{\partial }{\partial y_{n}^{(e)}}\zeta \biggl( \frac{y_{n}^{(e)}}{3r} \biggr) { V}_{0,n}^{(e)} \bigl(y^{(e)'},t\bigr), \quad y\in \varOmega _{l}, \\ &{\mathbf{V}}^{[\mathrm{BLO}_{l}]}_{0}\vert _{\partial \varOmega _{l}} = 0,\qquad \mathbf{V}^{[\mathrm{BLO}_{l}]}_{0}(y,t) =\mathbf{V}^{[\mathrm{BLO} _{l}]}_{0}(y,t+2 \pi ) \end{aligned}$$

and find a solution \(\mathbf{V}_{0}^{[\mathrm{BLO}_{l}]}\) which tends to zero as \(|y|\rightarrow \infty \), while \(\hat{P}_{0}^{[ \mathrm{BLO}_{l}]}\) at each outlet \(\varPi ^{+}_{l,j}\) tends to a constant \(\hat{a}_{l,j}(t)\), except for the outlet corresponding to a selected edge \(e_{s}\) where it tends to zero (this is possible because the pressure is defined up to an additive constant). Then we solve the following problem on the graph: find a function \({p}_{1}^{(e)}\in L ^{2}_{\mathrm{per}}(0,2\pi ;W^{1,2}(e))\) such that equations

$$\begin{aligned} &{-}\frac{\partial }{\partial x_{n}^{(e)}} \biggl(L^{(e)} \frac{\partial {p}_{1}^{(e)}}{\partial x_{n}^{(e)}}\bigl(x_{n}^{(e)},t\bigr) \biggr) =0,\quad x_{n} ^{(e)}\in \bigl(0, \vert e \vert \bigr), \forall e=e_{j}, j=1,\ldots,M, \\ &{-}\sum_{e:O_{l}\in e} \biggl(L^{(e)} \frac{\partial {p}_{1}^{(e)}}{ \partial x_{n}^{(e)}} \biggr) (0,t) =0, \quad l=1,\ldots,N_{1}, \\ &{-} \biggl(L^{(e)}\frac{\partial p_{1}^{(e)}}{\partial x_{n}^{(e)}} \biggr) (0,t) =0,\quad l=N_{1}+1,\ldots,N, \\ &p_{1}^{(e)}(0,t)-p_{1}^{(e_{s})}(0,t)= \hat{a}_{1}^{(e)}(t),\quad \forall e \subset {\mathcal{B}}_{l}, e \neq e_{s}, \end{aligned}$$

hold, where \(e_{s}\) is a selected edge of the bundle. This problem has a unique (up to an additive function of t) solution \(p_{1}\) and \(p_{1}^{(e)}(x_{n}^{(e)},t) = -s_{1}^{(e)}(t)x_{n}^{(e)}+a_{1}^{(e)}(t)\). Then finally we define

$$\begin{aligned} {P}^{[\mathrm{BLO}_{l}]}_{0} = \hat{P}^{[\mathrm{BLO}_{l}]}_{0} - \biggl(\sum_{e: O_{l} \in e, e \neq e_{s}}\zeta \biggl(\frac{y _{n}^{(e)}}{3r} \biggr) \biggr)\hat{a}_{1}^{(e)}(t) - \biggl(\sum _{e: O_{l} \in e}\zeta \biggl(\frac{y_{n}^{(e)}}{3r} \biggr)-1 \biggr){p}^{(e_{s})}_{1}(0,t). \end{aligned}$$

Analogously, if \(O_{l}\) is a vertex, the end of the edge \(e_{i}\), then we define the domain \(\varOmega _{l}\), corresponding to this vertex, as follows:

$$\begin{aligned} \varOmega _{l}= \bigl\{ y\in \mathbb{R}^{n}: \mathcal{P}^{(e_{i})}y\in \sigma ^{i}\times (0,+\infty )\bigr\} \cup \omega ^{l}, \end{aligned}$$

and the boundary layer problem has the form

$$\begin{aligned} &\frac{\partial }{\partial t}{\mathbf{V}}^{[\mathrm{BLO}_{l}]}_{0}- \nu \Delta _{y}{\mathbf{V}}^{[\mathrm{BLO}_{l}]}_{0} +\nabla _{y} \hat{P}^{[\mathrm{BLO}_{l}]}_{0} \\ &\quad =\zeta \biggl(\frac{y_{n}^{(e)}}{3r} \biggr)\frac{\partial }{\partial t}V _{0}^{(e)} \bigl(y^{(e)'},t\bigr) +\nu \frac{\partial ^{2}}{\partial y_{n}^{(e) 2}} \biggl(\zeta \biggl( \frac{y _{n}^{(e)}}{3r} \biggr) \biggr)\mathbf{V}_{0}^{(e)} \bigl(y^{(e)'},t\bigr) \\ &\qquad{}+\nabla _{y} \biggl(\zeta \biggl(\frac{y_{n}^{(e)}}{3r} \biggr)y_{n}^{(e)} \biggr) s^{(e)}_{0}(t),\quad y\in \varOmega _{l}, \\ &\operatorname{div}_{y}{\mathbf{V}}_{0}^{[\mathrm{BLO}_{l}]}= - \frac{ \partial }{\partial y_{n}^{(e)}}\zeta \biggl(\frac{y_{n}^{(e)}}{3r} \biggr) { V}_{0,n}^{(e)} \bigl(y^{(e)'},t\bigr),\quad y\in \varOmega _{l}, \\ &{\mathbf{V}}^{[\mathrm{BLO}_{l}]}_{0} \vert _{\partial \varOmega _{l}\setminus \gamma ^{l}} = 0,\qquad \mathbf{V}^{[\mathrm{BLO}_{l}]}_{0}\vert _{\gamma ^{l}} = \mathbf{g} ^{l}(y,t), \\ &{\mathbf{V}}^{[\mathrm{BLO}_{l}]}_{0}(y,t)=\mathbf{V}^{[\mathrm{BLO} _{l}]}_{0}(y,t+2 \pi ). \end{aligned}$$

Because of condition (6.3)3, we have

$$\begin{aligned} \int _{\varOmega _{l}} \frac{\partial }{\partial y_{n}^{(e)}} \zeta \biggl(\frac{y_{n}^{(e)}}{3r} \biggr) { V}_{0,n}^{(e)}\bigl(y^{(e)'},t\bigr)\,dy+ \int _{\gamma ^{l}}{\mathbf{g}}^{l}\cdot {\mathbf{n}}\,dS=0. \end{aligned}$$

This compatibility condition ensures the existence of a unique solution \((\mathbf{V}_{0}^{[\mathrm{BLO}_{l}]}, \hat{P}_{0}^{[\mathrm{BLO}_{l}]} )\) which exponentially tends to zero at infinity (see [17, 19, 20]).

Suppose that all terms of asymptotic expansion corresponding to the rank less or equal to \(j-1\) are known and the pressure on the graph \(p_{j}\) is known as well. Describe the passage from rank \(j-1\) to the rank j.

Step 1. As pressure on the graph \(p_{j}\) is known, define for every edge e functions \(s_{j}^{(e)}(t)\) and \(a_{j}^{(e)}(t)\) such that

$$\begin{aligned} p_{j}^{(e)}\bigl(x_{n}^{(e)},t\bigr) = -s_{j}^{(e)}(t)x_{n}^{(e)} + a_{j}^{(e)}(t) \end{aligned}$$

and define the Poiseuille type velocity \(\mathbf{V}_{j}^{(e)}(y^{(e)'},t)\) as a vector such that in the local coordinates its last (i.e., normal) component is \(\mathcal{M}(s_{j} ^{(e)})\), while the tangential components are equal to zero.

Step 2. The boundary layer solution is a 2π-periodic in time pair \((\mathbf{V}_{j}^{[\mathrm{BLO}_{l}]}, P _{j}^{[\mathrm{BLO}_{l}]})\) satisfying the problem

$$\begin{aligned} &\frac{\partial {\mathbf{V}}_{j}^{[\mathrm{BLO}_{l}]}}{\partial t}- \nu \Delta _{y} { \mathbf{V}}_{j}^{[\mathrm{BLO}_{l}]}+ \nabla _{y} P _{j}^{[\mathrm{BLO}_{l}]}=\mathbf{f}_{j}^{[\mathrm{REGO}_{l}]} \bigl(y^{(e)'},t\bigr) +\mathbf{f}_{j}^{[\mathrm{BLO}_{l}]}(y,t), \\ &\operatorname{div}_{y} {\mathbf{V}}_{j}^{[\mathrm{BLO}_{l}]} = h_{j}^{[ \mathrm{REGO}_{l}]}\bigl(y^{(e)'},t\bigr),\quad y\in \varOmega _{l} \\ &\mathbf{V}_{j}^{[\mathrm{BLO}_{l}]}(y,t)|_{\partial \varOmega _{l}} = 0,\qquad \mathbf{V}_{j}^{[\mathrm{BLO}_{l}]}(y,t) = \mathbf{V}_{j}^{[ \mathrm{BLO}_{l}]}(y,t+2 \pi ), \end{aligned}$$


$$\begin{aligned} &h_{j}^{[\mathrm{REGO}_{l}]}\bigl(y^{(e)'},t \bigr)=-\sum_{e:O_{l}\in e}\frac{ \partial }{\partial y^{(e)}_{n}}\zeta \biggl( \frac{y_{n}^{(e)}}{3r} \biggr)\mathbf{V}_{j,n}^{(e)} \bigl(y^{(e)'},t\bigr), \\ &{\mathbf{f}}_{j}^{[\mathrm{REGO}_{l}]}\bigl(y^{(e)'},t\bigr) \\ &\quad = \sum _{e:O_{l}\in e} \Biggl[\nu (\mathbf{V}_{j}^{(e)} \bigl(y^{(e)'},t\bigr)\frac{ \partial ^{2}}{\partial y_{n}^{(e)2}} \biggl(\zeta \biggl( \frac{y_{n}^{(e)}}{3r} \biggr) \biggr) \\ &\qquad{}-\zeta \biggl(\frac{y_{n}^{(e)}}{3r} \biggr)\sum_{k=0}^{j-1} \bigl( \mathbf{V}_{k}^{(e)}\bigl(y^{(e)'},t\bigr)\cdot \nabla _{y}\bigr) \times \biggl\{ \zeta \biggl(\frac{y_{n}^{(e)}}{3r} \biggr)\mathbf{V}_{j-k-1}^{(e)}\bigl(y ^{(e)'},t\bigr) \biggr\} \\ &\qquad{}+ s_{j}^{(e)}(t)y_{n}^{(e)}\cdot \nabla _{y} \biggl(\zeta \biggl(\frac{y _{n}^{(e)}}{3r} \biggr) \biggr) -a_{j+1}^{(e)}(t)\cdot \nabla _{y} \biggl( \zeta \biggl(\frac{y_{n}^{(e)}}{3r} \biggr) \biggr) \Biggr] \end{aligned}$$


$$\begin{aligned} {\mathbf{f}}_{j}^{[\mathrm{BLO}_{l}]}(y,t) ={}& \sum _{e:O_{l} \in e} \Biggl[-\sum_{k=0}^{j-1} \bigl(\mathbf{V}_{k}^{[\mathrm{BLO}_{l}]}(y,t) \cdot \nabla _{y} \bigr)\times \biggl\{ \ \zeta \biggl(\frac{y_{n}^{(e)}}{3r} \biggr) \mathbf{V}_{j-k-1}^{(e)}\bigl(y^{(e)'},t\bigr) \biggr\} \\ &{}-\sum_{k=0}^{j-1}\bigl( \mathbf{V}_{k}^{[\mathrm{BLO}_{l}]}(y,t) \cdot \nabla _{y}\bigr) \times \bigl\{ \ \mathbf{V}_{j-k-1}^{[\mathrm{BLO} _{l}]}(y,t) \bigr\} \\ &{}-\zeta \biggl(\frac{y_{n}^{(e)}}{3r} \biggr)\sum_{k=0}^{j-1} \bigl( \mathbf{V}_{k}^{(e)}\bigl(y^{(e)'},t\bigr)\cdot \nabla _{y}\bigr)\times \bigl\{ \ \mathbf{V}_{j-k-1}^{[\mathrm{BLO}_{l}]}(y,t) \bigr\} \Biggr],\\ &\quad l=1,\ldots,N, j=-1,\ldots,J. \end{aligned}$$

This problem is solved in two steps: first we find the couple \((\mathbf{V}_{j}^{[\mathrm{BLO}_{l}]},\hat{P}_{j}^{[\mathrm{BLO}_{l}]})\) which is the solution of the same problem without the last term in the definition of \(\mathbf{f}_{j}^{[\mathrm{REGO}_{l}]}\). It has a unique (up to an additive constant in the pressure) solution \(\mathbf{V}_{j} ^{[\mathrm{BLO}_{l}]}( \cdot ,t)\in \mathring{W}^{1,2}(\varOmega _{l}), \hat{P}_{j}^{[\mathrm{BLO}_{l}]}\in L^{2}_{\mathrm{loc}}(\varOmega _{l})\) (t is a parameter) if and only if

$$\begin{aligned} \int _{\varOmega _{l}}h_{j}^{[\mathrm{REGO}_{l}]}(y,t)\,dy = 0,\quad l=1, \ldots,N_{1}. \end{aligned}$$

This condition can be written as

$$\begin{aligned} \sum_{e:O_{l}\in e} \int _{\sigma ^{(e)}}{\mathbf{V}}_{j} ^{(e)} \bigl(y^{(e)'},t\bigr) \cdot {\mathbf{n}} \,dy^{(e)'}= 0, \end{aligned}$$


$$\begin{aligned} \sum_{e:O_{l}\in e}L^{(e)}s_{j}^{(e)}(t) = 0, \end{aligned}$$


$$\begin{aligned} -\sum_{e:O_{l}\in e} \biggl(L^{(e)} \frac{\partial p_{j}^{(e)}}{ \partial x_{n}^{(e)}} \biggr) = 0, \quad l=1,\ldots,N_{1}. \end{aligned}$$

It is satisfied because \(p_{j}^{(e)}\) is a solution to the problem on the graph with this junction condition (by the inductive hypothesis). When \(\mathbf{V}^{[\mathrm{BLO}_{l}]}\) exponentially tends to zero as \(|y|\rightarrow \infty \), the corresponding pressure function \(\hat{P}_{j}^{[\mathrm{BLO}_{l}]}\) stabilizes in outlets at infinity to some constants \(\hat{a}^{(e)}_{l,j}(t)\); these constants may be different for different outlets. Since the pressure function is defined up to an additive constant, we can fix the limit constant equal to zero for the outlet corresponding the selected edge \(e_{s}\). Define \(\varphi _{l,j+1}^{(e)}(t) = \hat{a}^{(e)}_{l,j}(t)\).

Similarly, in every vertex \(O_{l}, l = N_{1}+1,\ldots,N\), we get for \((\mathbf{V}_{j}^{[\mathrm{BLO}_{l}]},P_{j}^{[\mathrm{BLO}_{l}]})\) the Stokes problem in \(\varOmega _{l}\) which is the same as in the case of nodes \(O_{l}\) with only one difference: there is no summing over \(e: O_{l} \in e\) in the right-hand sides of the equations.

Step 3. Solve the problem on the graph for the function \(p^{(e)}_{j+1}, (j< J)\):

$$\begin{aligned} &{-}\frac{\partial }{\partial x_{n}^{(e)}} \biggl(L^{(e)} \frac{\partial {p}_{j+1}^{(e)}}{\partial x_{n}^{(e)}}\bigl(x_{n}^{(e)},t\bigr) \biggr) =0,\quad x _{n}^{(e)}\in \bigl(0, \vert e \vert \bigr),\forall e=e_{j}, j=1,\ldots,M, \\ &{-}\sum_{e:O_{l}\in e} \biggl(L^{(e)} \frac{\partial {p}_{j+1}^{(e)}}{ \partial x_{n}^{(e)}} \biggr) (0,t) =0,\quad l=1,\ldots,N_{1}, \\ &{-} \biggl(L^{(e)}\frac{\partial p_{j+1}^{(e)}}{\partial x_{n}^{(e)}} \biggr) (0,t) =0,\quad l=N_{1}+1,\ldots,N, \\ &p_{j+1}^{(e)}(0,t)-p_{j+1}^{(e_{s})}(0,t)= \varphi _{l,j+1}^{(e)}(t), \quad \forall e \subset { \mathcal{B}}_{l}, e \neq e_{s}. \end{aligned}$$

The local coordinates \(x^{(e)}\) are defined so that all of them have the same origin \(O_{l}\).

Step 4. Finally we find the pressure \(P_{j}^{[ \mathrm{BLO}_{l}]}(y,t)\) in the boundary layer problem:

$$\begin{aligned} {P}^{[\mathrm{BLO}_{l}]}_{0} = \hat{P}^{[\mathrm{BLO}_{l}]}_{0} - \biggl(\sum_{e: O_{l} \in e, e \neq e_{s}}\zeta \biggl(\frac{y _{n}^{(e)}}{3r} \biggr) \biggr)\hat{a}_{l,j}^{(e)}(t) - \biggl(\sum _{e: O_{l} \in e}\zeta \biggl(\frac{y_{n}^{(e)}}{3r} \biggr)-1 \biggr){p}^{(e_{s})}_{j+1}(0,t). \end{aligned}$$

For \(j=J\) the last sum is absent. The last step finalizes the passage from j to \(j+1\).

7 Residual

Consider the asymptotic expansion \((\mathbf{v}^{(J)}, p^{(J)})\) of order J in the case \(\beta =2\) (see (6.1), (6.2)). By construction,

$$\begin{aligned} \begin{aligned}& {\mathbf{v}}^{(J)} \in L^{2}_{\mathrm{per}} \bigl(0,2\pi ; W^{2,2}(B_{ \varepsilon })\bigr)\cap L^{\infty }_{\mathrm{per}} \bigl(0,2\pi ;W^{1,2}(B_{ \varepsilon })\bigr), \\ &\frac{\partial {\mathbf{v}}^{(J)}}{\partial t} \in L^{2}_{ \mathrm{per}}\bigl(0,2\pi ; { W}^{1,2}(B_{\varepsilon })\bigr)\cap L^{\infty } _{\mathrm{per}} \bigl(0,2\pi ;L^{2}(B_{\varepsilon })\bigr), \\ &\nabla p^{(J)} \in L^{2}_{\mathrm{per}}\bigl(0,2\pi ;L^{2}(B_{\varepsilon })\bigr). \end{aligned} \end{aligned}$$

Put \(\mathcal{L}(\mathbf{v}, p) = \frac{1}{\varepsilon ^{2}}{\mathbf{v}} _{t} - \nu \Delta {\mathbf{v}} + (\mathbf{v}\cdot \nabla ) \mathbf{v} + \nabla p\). Let us calculate \(\mathcal{L}(\mathbf{v}^{(J)}, p^{(J)})\). We obtain

$$\begin{aligned} &\mathcal{L}\bigl(\mathbf{v}^{(J)}, p^{(J)}\bigr)\\ &\quad=\mathbf{f}^{(J)}(x,t) \\ &\quad = \sum_{l=1}^{N} \Biggl[\sum ^{2J}_{j=J+1}\varepsilon ^{j-2} \sum _{{k,p:k+p=j-1 \atop 0 \leqslant k,p \leqslant J}} \sum_{e:O_{l} \in e} \biggl\{ \biggl( \mathbf{V}_{k}^{(e)} \zeta \biggl(\frac{y _{n}^{(e)}}{3r} \biggr) \cdot \nabla _{y}\biggr) \biggl(\mathbf{V}_{p}^{(e)} \zeta \biggl(\frac{y_{n}^{(e)}}{3r} \biggr) \biggr) \\ &\qquad{}+\zeta \biggl(\frac{y_{n}^{(e)}}{3r} \biggr) \bigl(\mathbf{V}^{(e)}_{k} \bigl(y^{(e)'}, t\bigr)\cdot \nabla _{y}\bigr) \mathbf{V}_{p}^{[\mathrm{BLO}_{l}]}(y,t)\\ &\qquad{} + \bigl(\mathbf{V}_{k}^{[\mathrm{BLO}_{l}]}(y,t) \cdot \nabla _{y}\bigr) \biggl( \zeta \biggl(\frac{y^{(e)}_{n}}{3r} \biggr)\mathbf{V}_{p}^{(e)}\bigl(y ^{(e)'},t\bigr) \biggr) \\ &\qquad{}+\bigl(\mathbf{V}_{k}^{[\mathrm{BLO}_{l}]}(y,t)\cdot \nabla _{y}\bigr) \mathbf{V}_{p}^{[\mathrm{BLO}_{l}]}(y,t) \biggr\} + \varepsilon ^{J-2} \sum_{e:O_{l} \in e}a_{J+1}^{(e)} \nabla _{y} \zeta \biggl(\frac{y _{n}^{(e)}}{3r} \biggr) \Biggr] \\ &\qquad{}- \sum_{l=1}^{N} \biggl\{ \mathcal{L} \biggl(\zeta \biggl(\frac{ \vert x-O _{l} \vert }{ \vert e \vert _{\min }} \biggr)\mathbf{V}_{J}^{[\mathrm{BLO}_{l}]}(y,t), \zeta \biggl(\frac{ \vert x-O_{l} \vert }{ \vert e \vert _{\min }} \biggr)P_{J}^{[\mathrm{BLO} _{l}]}(y,t) \biggr)\chi (x) \biggr\} . \end{aligned}$$

Here, \(y = \frac{x-O_{l}}{\varepsilon }, y^{(e)} = \frac{x^{(e)}}{ \varepsilon }, \chi = \chi _{\operatorname{supp}(1-\zeta (\frac{|x-O_{l}|}{|e|_{\min }}))}\) is the characteristic function of the set \(\operatorname{supp}(1-\zeta (\frac{|x-O _{l}|}{|e|_{\min }} ) )\). From the obtained formulas it follows that

$$\begin{aligned} \begin{aligned}& \bigl\Vert {\mathbf{f}}^{(J)} \bigr\Vert _{L^{2}_{\mathrm{per}}(0,2\pi ;L^{2}(B_{\varepsilon }))} = \bigl\Vert \mathcal{L}\bigl( \mathbf{v}^{(J)}, p^{(J)}\bigr) \bigr\Vert _{L^{2}_{ \mathrm{per}}(0,2\pi ; L^{2}(B_{\varepsilon }))} = O\bigl(\varepsilon ^{J-2}\bigr), \\ &\bigl\Vert {\mathbf{f}}^{(J)}_{t} \bigr\Vert _{L^{2}_{\mathrm{per}}(0,2\pi ; L^{2}(B_{ \varepsilon }))} = O\bigl(\varepsilon ^{J-2}\bigr). \end{aligned} \end{aligned}$$

Let us calculate the divergence of \(\mathbf{v}^{(J)}\). We have

$$\begin{aligned} {\operatorname{div}} {\mathbf{v}}^{(J)} = -\sum _{l=1}^{N} \nabla \zeta \biggl(\frac{ \vert x-O_{l} \vert }{ \vert e \vert _{\min }} \biggr) \cdot {\mathbf{V}} _{J}^{[\mathrm{BLO}_{l}]}(y,t) = h^{(J)}(y,t), \end{aligned}$$

where \(h^{(J)} \in L^{2}_{\mathrm{per}}(0,2\pi ;{\mathring{W}}^{1,2}(B _{\varepsilon }))\). Since the support of the function \(\nabla \zeta (\frac{|x-O_{l}|}{|e|_{\min }} )\) belongs to the middle third part (between the planes \(x_{n}^{(e)} = \frac{1}{3}|e|_{\min }\) and \(x_{n}^{(e)} = |e|-\frac{1}{3}|e| _{\min }\)) of every cylinder, there hold the relations

$$\begin{aligned} \bigl\Vert h^{(J)} \bigr\Vert _{L^{2}_{\mathrm{per}}(0,2\pi ;W^{1,2}(B_{\varepsilon }))} = O \bigl(e^{-c_{1}/\varepsilon }\bigr), \qquad\bigl\Vert h^{(J)}_{t} \bigr\Vert _{L^{2}_{ \mathrm{per}}(0,2\pi ;L^{2}(B_{\varepsilon }))} = O\bigl(e^{-c_{1}/ \varepsilon }\bigr). \end{aligned}$$

The boundary conditions and the periodicity conditions are satisfied exactly. It is easy to see that

$$\begin{aligned} \int _{B_{\varepsilon }}h^{(J)}(y,t)\,dy = 0. \end{aligned}$$

Therefore, by Lemma 3.7 (see [16]), there exists a vector field \(\mathbf{w}^{(J)} \in L^{2}_{\mathrm{per}}(0,2\pi ; W^{2,2}(B_{\varepsilon }) \cap {\mathring{W}}^{1,2}(B_{\varepsilon }))\) with \(\mathbf{w}^{(J)}_{t} \in L^{2}_{\mathrm{per}}(0,2\pi ; {\mathring{W}} ^{1,2}(B_{\varepsilon }))\cap L^{\infty }_{\mathrm{per}}(0,2\pi ; L ^{2}(B_{\varepsilon }))\) such that \(\operatorname{div} {\mathbf{w}}^{(J)} = -h^{(J)}\). Moreover, there hold the estimates

$$\begin{aligned} &\bigl\Vert {\mathbf{w}}^{(J)} \bigr\Vert _{L^{2}(0,2\pi ;W^{2,2}(B_{\varepsilon }))} \leqslant \varepsilon ^{-3}c \bigl\Vert h^{(J)} \bigr\Vert _{L^{2}(0,2\pi ;W^{1,2}(B_{\varepsilon }))}, \end{aligned}$$
$$\begin{aligned} &\bigl\Vert {\mathbf{w}}^{(J)}_{t} \bigr\Vert _{L^{2}(0,2\pi ;W^{1,2}(B_{\varepsilon }))} \leqslant \varepsilon ^{-1}c \bigl\Vert h^{(J)}_{t} \bigr\Vert _{L^{2}(0,2\pi ;L^{2}(B_{\varepsilon }))}. \end{aligned}$$

Set \(\mathbf{u}^{(J)} = \mathbf{v}^{(J)} + \mathbf{w}^{(J)}\). Then \(\operatorname{div}{\mathbf{u}}^{(J)} =0, \mathbf{u}^{(J)}\) satisfies the periodicity conditions, and because of (7.2), (7.4) we have

$$\begin{aligned} \bigl\Vert {\mathbf{f}}_{1}^{(J)} \bigr\Vert _{L^{2}(0,2\pi ;L^{2}(B_{\varepsilon }))} = O\bigl(\varepsilon ^{J-2}\bigr), \end{aligned}$$

where \(\mathbf{f}_{1}^{(J)} = \mathcal{L}(\mathbf{u}^{(J)}, p^{(J)})\).

If \(\beta =0\), then the residual has the same form as in [17].

8 Justification of the asymptotics

Consider Navier–Stokes problem (1.1). As an extension of the boundary value g, we take the asymptotic approximation \(\mathbf{u}^{(J)}\) constructed in the previous sections and let \(p^{(J)}\) be the corresponding asymptotic approximation for the pressure p. By construction \(\mathbf{u}^{(J)}\) satisfies conditions (1.4). Represent \(\mathbf{v}, p\) as the sums \(\mathbf{v} = \mathbf{u}+\mathbf{u}^{(J)}\), \(p=q+p^{(J)}\). Then \(\mathbf{u}, \mathbf{u}^{(J)} \in L^{2}_{\mathrm{per}}(0,2\pi ; { W}^{2,2}(B_{ \varepsilon })), \mathbf{u}_{t}, \mathbf{u}^{(J)}_{t} \in L^{2}_{ \mathrm{per}}(0,2\pi ; {L}^{2}(B_{\varepsilon }))\). The difference \(\mathbf{u} = \mathbf{v} - \mathbf{u}^{(J)}\) is divergence free, satisfies the periodicity condition, the boundary condition \(\mathbf{u}(x,t)|_{\partial B_{\varepsilon }} = 0\), and the integral identity

$$\begin{aligned} &\int _{B_{\varepsilon }} \biggl(\frac{1}{\varepsilon ^{\beta }} {\mathbf{u}}_{t} \cdot {\pmb{\eta }} + \nu \nabla {\mathbf{u}}\cdot \nabla {\pmb{\eta }} -\bigl( \bigl(\mathbf{u} + \mathbf{u}^{(J)}\bigr)\cdot \nabla \bigr) {\pmb{\eta }}\cdot {\mathbf{u}} - (\mathbf{u} \cdot \nabla ){\pmb{\eta }} \cdot { \mathbf{u}}^{(J)} \biggr) \,dx \\ &\quad = \int _{B_{\varepsilon }}{\mathbf{f}}_{1}^{(J)} \cdot { \pmb{\eta }}\,dx \end{aligned}$$

for every \({\pmb{\eta }}\in H(B_{\varepsilon })\).

The existence of the unique solution u of (8.1) follows from Theorems 4.15.2.

Theorem 8.1

Let\(n=3\). The following estimates:

$$\begin{aligned} &\sup_{t\in [0, 2\pi ]} \bigl\Vert {\mathbf{u}}( \cdot ,t) \bigr\Vert ^{2} _{L^{2}(B_{\varepsilon })} +\varepsilon ^{\beta } \int _{0}^{2 \pi } \int _{B_{\varepsilon }} \vert \nabla {\mathbf{u}} \vert ^{2} \,dx\,dt\leqslant c \varepsilon ^{2J-2+\beta }, \end{aligned}$$
$$\begin{aligned} &\sup_{t\in [0,2\pi ]} \bigl\Vert \nabla {\mathbf{u}}( \cdot ,t) \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })}+ \int _{0}^{2\pi } \int _{B_{\varepsilon }} \vert {\mathbf{u}}_{t} \vert ^{2} \,dx\,dt \\ &\quad {}+\varepsilon ^{\beta } \int _{0}^{2\pi } \int _{B_{\varepsilon }} \bigl\vert \nabla ^{2} {\mathbf{u}} \bigr\vert ^{2} \,dx\,dt\leqslant c\varepsilon ^{2J-4+\beta } \end{aligned}$$

hold. Moreover, there exists the pressure function\(q \in L^{2}_{ \mathrm{per}}(0,2\pi ; L^{2}(B_{\varepsilon }))\)such that\(\int _{B_{\varepsilon }}q(x,t) \,dx=0\)and

$$\begin{aligned} &\int _{B_{\varepsilon }} \biggl(\frac{1}{\varepsilon ^{\beta }} {\mathbf{u}}_{t} \cdot {\pmb{\eta }} + \nu \nabla {\mathbf{u}}\cdot \nabla {\pmb{\eta }} -\bigl( \bigl(\mathbf{u} + \mathbf{u}^{(J)}\bigr)\cdot \nabla \bigr) {\pmb{\eta }}\cdot {\mathbf{u}} - (\mathbf{u} \cdot \nabla ){\pmb{\eta }} \cdot { \mathbf{u}}^{(J)} \biggr) \,dx \\ &\quad = \int _{B_{\varepsilon }}q \operatorname{div} {\pmb{\eta }} \,dx + \int _{B_{\varepsilon }}{\mathbf{f}}_{1}^{(J)} \cdot { \pmb{\eta }}\,dx, \quad\forall {\pmb{\eta }}\in {\mathring{W}}^{1,2}(B_{\varepsilon }). \end{aligned}$$

If\(J\geqslant 2\), then the following estimate

$$\begin{aligned} \int _{0}^{2\pi } \int _{B_{\varepsilon }} \vert q \vert ^{2} \,dx\,dt \leqslant c \varepsilon ^{2J-4-\beta } \end{aligned}$$



Estimates (8.2) and (8.3) follow from (5.1), (5.2), and (7.7). Let us prove the existence of the pressure q and estimate (8.5) for it. Consider the linear functional

$$\begin{aligned} M({\pmb{\eta }}) ={}& \int _{B_{\varepsilon }} \biggl( \frac{1}{ \varepsilon ^{\beta }}{\mathbf{u}}_{t} \cdot {\pmb{\eta }} +\nu \nabla {\mathbf{u}}\cdot \nabla {\pmb{\eta }} -\bigl( \bigl(\mathbf{u} + \mathbf{u}^{(J)}\bigr) \cdot \nabla \bigr){\pmb{\eta }}\cdot {\mathbf{u}} \\ &{}- (\mathbf{u}\cdot \nabla ){\pmb{\eta }}\cdot {\mathbf{u}}^{(J)} \biggr)\,dx - \int _{B_{\varepsilon }}{\mathbf{f}}_{1}^{(J)}\cdot { \pmb{\eta }} \,dx \end{aligned}$$

defined on functions \({\pmb{\eta }} \in \mathring{W}^{1,2}(B_{\varepsilon })\). There holds the estimate

$$\begin{aligned} \bigl|M({\pmb{\eta }})\bigr| \leqslant {}& c \bigl( \varepsilon ^{1-\beta } \bigl\Vert {\mathbf{u}} _{t}(\cdot ,t) \bigr\Vert _{L^{2}(B_{\varepsilon })} + \bigl\Vert \nabla {\mathbf{u}}( \cdot ,t) \bigr\Vert _{L^{2}(B_{\varepsilon })}+ \bigl\Vert {\mathbf{u}}(\cdot ,t) \bigr\Vert ^{2} _{L^{4}(B_{\varepsilon })} \\ &{}+ \bigl\Vert {\mathbf{u}}(\cdot ,t) \bigr\Vert _{L^{4}(B_{\varepsilon })} \bigl\Vert {\mathbf{u}} ^{(J)}(\cdot ,t) \bigr\Vert _{L^{4}(B_{\varepsilon })} +\varepsilon \bigl\Vert {\mathbf{f}} _{1}^{(J)}(\cdot ,t) \bigr\Vert _{L^{2}(B_{\varepsilon })} \bigr) \Vert \nabla {\pmb{\eta }} \Vert _{L^{2}(B_{\varepsilon })} \\ \overset{(2.3)}{ \leqslant }{}& c \bigl( \varepsilon ^{1-\beta } \bigl\Vert { \mathbf{u}} _{t}(\cdot ,t) \bigr\Vert _{L^{2}(B_{\varepsilon })} + \bigl\Vert \nabla {\mathbf{u}}( \cdot ,t) \bigr\Vert _{L^{2}(B_{\varepsilon })} \\ &{}+c\varepsilon ^{\frac{1}{2}} \bigl\Vert \nabla {\mathbf{u}}(\cdot ,t) \bigr\Vert _{L^{2}(B _{\varepsilon })} \bigl\Vert \nabla {\mathbf{u}}^{(J)}(\cdot ,t) \bigr\Vert _{L^{2}(B_{ \varepsilon })} \\ &{}+c\varepsilon ^{\frac{1}{2}} \bigl\Vert \nabla {\mathbf{u}}(\cdot ,t) \bigr\Vert ^{2}_{L ^{2}(B_{\varepsilon })} +\varepsilon \bigl\Vert { \mathbf{f}}_{1}^{(J)}(\cdot ,t) \bigr\Vert _{L^{2}(B_{\varepsilon })} \bigr) \Vert \nabla {\pmb{\eta }} \Vert _{L^{2}(B _{\varepsilon })}. \end{aligned}$$

Thus, \(M(\pmb{\eta })\) is a bounded linear functional (for almost all \(t\in [0,2\pi ]\)) defined on \({\pmb{\eta }}\in \mathring{W}^{1,2}(B _{\varepsilon })\). Moreover, due to (8.1), \(M({\pmb{\eta }})=0\) for \(\pmb{\eta }\) with \(\operatorname{div}{\pmb{\eta }} = 0\). Therefore, there exists a function \(q( \cdot , t)\in L^{2}(B _{\varepsilon })\), with \(\int _{B_{\varepsilon }}q(x,t)\,dx = 0\), such that

$$\begin{aligned} M(\pmb{\eta }) = \int _{B_{\varepsilon }}q(x,t)\operatorname{div} {\pmb{\eta }}(x)\,dx \quad\forall { \pmb{\eta }} \in \mathring{W}^{1,2}(B_{\varepsilon }) \end{aligned}$$

(see [8]). Since \(\int _{B_{\varepsilon }}q(x,t)\,dx = 0\), there exists a function \(\mathbf{w}\in \mathring{W}^{1,2}(B_{\varepsilon })\) such that \(\operatorname{div} {\mathbf{w}} = q\) in \(B_{\varepsilon }\) and there holds the estimate

$$\begin{aligned} \bigl\Vert \nabla {\mathbf{w}}( \cdot ,t) \bigr\Vert _{L^{2}(B_{\varepsilon })}\leqslant \frac{c}{ \varepsilon } \bigl\Vert q( \cdot ,t) \bigr\Vert _{L^{2}(B_{\varepsilon })} \end{aligned}$$

with the constant c independent of ε (see [16]). Taking in (8.7) \({\pmb{\eta }} = \mathbf{w}\), we get

$$\begin{aligned} &\bigl\Vert q( \cdot ,t) \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })}\\ &\quad = M(\mathbf{w})\\ &\quad \leqslant c \bigl( \varepsilon ^{1-\beta } \bigl\Vert {\mathbf{u}}_{t}(\cdot ,t) \bigr\Vert _{L^{2}(B_{\varepsilon })} + \bigl\Vert \nabla {\mathbf{u}}(\cdot ,t) \bigr\Vert _{L^{2}(B _{\varepsilon })} \\ &\qquad{}+c\varepsilon ^{\frac{1}{2}} \bigl\Vert \nabla {\mathbf{u}}(\cdot ,t) \bigr\Vert _{L^{2}(B _{\varepsilon })} \bigl\Vert \nabla {\mathbf{u}}^{(J)}(\cdot ,t) \bigr\Vert _{L^{2}(B_{ \varepsilon })} \\ &\qquad{}+c\varepsilon ^{\frac{1}{2}} \bigl\Vert \nabla {\mathbf{u}}(\cdot ,t) \bigr\Vert ^{2}_{L ^{2}(B_{\varepsilon })} +\varepsilon \bigl\Vert { \mathbf{f}}_{1}^{(J)}(\cdot ,t) \bigr\Vert _{L^{2}(B_{\varepsilon })} \bigr) \Vert \nabla {\mathbf{w}} \Vert _{L^{2}(B _{\varepsilon })} \\ &\quad \leqslant \frac{c}{\varepsilon } \bigl( \varepsilon ^{1-\beta } \bigl\Vert { \mathbf{u}} _{t}(\cdot ,t) \bigr\Vert _{L^{2}(B_{\varepsilon })} + \bigl\Vert \nabla {\mathbf{u}}( \cdot ,t) \bigr\Vert _{L^{2}(B_{\varepsilon })} \\ &\qquad{}+c\varepsilon ^{\frac{1}{2}} \bigl\Vert \nabla {\mathbf{u}}(\cdot ,t) \bigr\Vert _{L^{2}(B _{\varepsilon })} \bigl\Vert \nabla {\mathbf{u}}^{(J)}(\cdot ,t) \bigr\Vert _{L^{2}(B_{ \varepsilon })} \\ &\qquad{}+c\varepsilon ^{\frac{1}{2}} \bigl\Vert \nabla {\mathbf{u}}(\cdot ,t) \bigr\Vert ^{2}_{L ^{2}(B_{\varepsilon })} +\varepsilon \bigl\Vert { \mathbf{f}}_{1}^{(J)}(\cdot ,t) \bigr\Vert _{L^{2}(B_{\varepsilon })} \bigr) \bigl\Vert q(\cdot ,t) \bigr\Vert _{L^{2}(B_{\varepsilon })}. \end{aligned}$$


$$\begin{aligned} &\int _{0}^{2\pi } \bigl\Vert q(\cdot ,t) \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })}\,dt \\ &\quad \leqslant \frac{c}{\varepsilon ^{2}} \biggl( \int _{0}^{2\pi } \bigl( \varepsilon ^{2-2\beta } \bigl\Vert {\mathbf{u}}_{t}(\cdot ,t) \bigr\Vert ^{2}_{L^{2}(B _{\varepsilon })} + \bigl\Vert \nabla {\mathbf{u}}(\cdot ,t) \bigr\Vert ^{2}_{L^{2}(B _{\varepsilon })} \bigr)\,dt \\ &\qquad{}+ \varepsilon \sup_{t\in [0,2\pi ]} \bigl\Vert \nabla {\mathbf{u}}( \cdot ,t) \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })} \int _{0}^{2\pi } \bigl\Vert \nabla {\mathbf{u}}( \cdot ,t) \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })}\,dt \\ &\qquad{}+\varepsilon \sup_{t\in [0,2\pi ]} \bigl\Vert \nabla { \mathbf{u}}^{(J)}( \cdot ,t) \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })} \int _{0}^{2\pi } \bigl\Vert \nabla {\mathbf{u}}( \cdot ,t) \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })}\,dt + \varepsilon ^{2} \int _{0}^{2\pi } \bigl\Vert {\mathbf{f}}_{1}^{(J)}( \cdot ,t) \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })}\,dt \biggr) \\ &\quad \overset{(8.2), (8.3), (1.4)}{ \leqslant } c \varepsilon ^{2J-4-\beta }. \end{aligned}$$


The results and the proof for the two-dimensional case are absolutely the same. The following holds.

Theorem 8.2

Let\(n=2\). The following estimates

$$\begin{aligned} &\sup_{t\in [0, 2\pi ]} \bigl\Vert {\mathbf{u}}( \cdot ,t) \bigr\Vert ^{2} _{L^{2}(B_{\varepsilon })} +\varepsilon ^{\beta } \int _{0}^{2 \pi } \int _{B_{\varepsilon }} \vert \nabla {\mathbf{u}} \vert ^{2} \,dx\,dt\leqslant c \varepsilon ^{2J-2+\beta }, \end{aligned}$$
$$\begin{aligned} &\sup_{t\in [0,2\pi ]} \bigl\Vert \nabla {\mathbf{u}}( \cdot ,t) \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon })}+ \int _{0}^{2\pi } \int _{B_{\varepsilon }} \vert {\mathbf{u}}_{t} \vert ^{2} \,dx\,dt+ \varepsilon ^{\beta } \int _{0}^{2\pi } \int _{B_{\varepsilon }} \bigl\vert \nabla ^{2} {\mathbf{u}} \bigr\vert ^{2} \,dx\,dt \\ &\quad \leqslant c\varepsilon ^{2J-4+\beta } \end{aligned}$$

hold. Moreover, there exists the pressure function\(q \in L^{2}_{ \mathrm{per}}(0,2\pi ; L^{2}(B_{\varepsilon }))\)satisfying identity (8.4). If\(J\geqslant 2\), then

$$\begin{aligned} \int _{0}^{2\pi } \int _{B_{\varepsilon }} \vert q \vert ^{2} \,dx\,dt\leqslant c \varepsilon ^{2J-4-\beta }. \end{aligned}$$

Let \(n=3\) or \(n=2\). In the case when the boundary value g is more regular, the obtained estimates can be improved. Assume that \(\mathbf{g} \in C^{[\frac{J+3}{2}]+1}([0,2\pi ];W^{3/2,2}(\sigma ))\). Then we can construct the asymptotic approximation \(\mathbf{u}^{(J+2)}\) and estimate (8.2) takes the following form:

$$\begin{aligned} &\sup_{t\in [0,2\pi ]} \bigl\Vert {\mathbf{v}}( \cdot ,t) - \mathbf{u}^{(J+2)}( \cdot ,t) \bigr\Vert _{L^{2}(B_{\varepsilon }) } + \varepsilon ^{\beta /2} \bigl\Vert \nabla {\mathbf{v}} - \nabla { \mathbf{u}}^{(J+2)} \bigr\Vert _{L^{2}(0,2\pi ;L ^{2}(B_{\varepsilon }))} \\ &\quad \leqslant c\varepsilon ^{J+\beta /2+1}\leqslant c\varepsilon ^{J+\beta /2}\sqrt{\mathrm{mes}(B _{\varepsilon })}. \end{aligned}$$

Comparing \(\mathbf{u}^{(J)}\) and \(\mathbf{u}^{(J+2)}\), we notice that

$$\begin{aligned} &\sup_{t\in [0,2\pi ]} \bigl\Vert { \mathbf{u}}^{(J)}(\cdot ,t) - \mathbf{u}^{(J+2)}(\cdot ,t) \bigr\Vert _{L^{2}(B_{\varepsilon }) } + \varepsilon ^{\beta /2} \bigl\Vert \nabla { \mathbf{u}}^{(J)}- \nabla {\mathbf{u}} ^{(J+2)} \bigr\Vert _{L^{2}(0,2\pi ;L^{2}(B_{\varepsilon }))} \\ &\quad \leqslant c\varepsilon ^{J+\beta /2}\sqrt{\mathrm{mes}(B_{\varepsilon })}. \end{aligned}$$

By the triangle inequality we get

$$\begin{aligned} &\sup_{t\in [0,2\pi ]} \bigl\Vert {\mathbf{v}}( \cdot ,t) - \mathbf{u}^{(J)}( \cdot ,t) \bigr\Vert _{L^{2}(B_{\varepsilon }) } + \varepsilon ^{\beta /2} \bigl\Vert \nabla {\mathbf{v}}- \nabla { \mathbf{u}}^{(J)} \bigr\Vert _{L^{2}(0,2\pi ;L^{2}(B _{\varepsilon }))} \\ &\quad \leqslant c\varepsilon ^{J+\beta /2}\sqrt{\mathrm{mes}(B_{\varepsilon })}. \end{aligned}$$

Analogously, the improvement of estimates (8.5), (8.10) can be obtained.

Theorem 8.3

If\(\mathbf{g}\in C^{[\frac{J+3}{2}]+1}([0,2\pi ];W^{3/2,2}(\sigma ))\), then

$$\begin{aligned} &\sup_{t\in [0,2\pi ]} \bigl\Vert {\mathbf{v}}( \cdot ,t) - \mathbf{u}^{(J)}( \cdot ,t) \bigr\Vert _{L^{2}(B_{\varepsilon }) } + \varepsilon ^{\beta /2} \bigl\Vert \nabla {\mathbf{v}}- \nabla { \mathbf{u}}^{(J)} \bigr\Vert _{L^{2}(0,2\pi ;L^{2}(B _{\varepsilon }))} \\ &\quad \leqslant c\varepsilon ^{J+\beta /2}\sqrt{\mathrm{mes}(B_{\varepsilon })}, \\ &\sup_{t\in [0,2\pi ]} \bigl\Vert \nabla { \mathbf{v}}(\cdot ,t) - \nabla {\mathbf{u}}^{(J)}(\cdot ,t) \bigr\Vert ^{2}_{L^{2}(B_{\varepsilon }) } + \int _{0}^{2\pi } \int _{B_{\varepsilon }} \bigl\vert {\mathbf{v}} _{t} - \mathbf{u}^{(J)}_{t} \bigr\vert ^{2}\,dx\,dt \\ &\qquad{}+\varepsilon ^{\beta } \int _{0}^{2\pi } \int _{B_{\varepsilon }} \bigl\vert \nabla ^{2}{\mathbf{v}}- \nabla ^{2}{\mathbf{u}}^{(J)} \bigr\vert ^{2}\,dx \,dt \leqslant c \varepsilon ^{2J-2+\beta }\mathrm{mes}(B_{\varepsilon }) \end{aligned}$$


$$\begin{aligned} \Vert p \Vert _{L^{2}(0,2\pi ;L^{2}(B_{\varepsilon }))} \leqslant c \varepsilon ^{J-2-\beta /2} \sqrt{\mathrm{mes}(B_{\varepsilon })}. \end{aligned}$$

Remark 8.4

The asymptotic expansion (6.1)–(6.2) can be slightly modified without loss of accuracy. Namely, the argument \(\frac{|x-O _{l}|}{|e|_{\min }}\) in the cut-off function ζ may be replaced by \(\frac{|x-O_{l}|}{\delta }\), where \(\delta =C_{J}\varepsilon | \ln \varepsilon | |e|_{\mathrm{min}}\) and the constant \(C_{J}\) will be chosen below.

Denote \(J'=J+2\). Consider the boundary layer functions \(\mathbf{V} ^{[\mathrm{BLO}_{l},J']}\) and \(P^{[\mathrm{BLO}_{l},J']}\). It follows that these functions \(F^{[\mathrm{BLO}_{l},J']}\) (F stands for V or P) and their derivatives decay exponentially as the space variable tends to infinity in the outlets. Thus, there exist positive constants \(c_{1}, c_{2}\) such that, for all \(t\in [0,2 \pi ]\) and for sufficiently large R, the following inequality holds:

$$\begin{aligned} \bigl\Vert F^{[\mathrm{BLO}_{l},J']}(\cdot ,t) \bigr\Vert _{W^{2,2}(\varOmega ^{R}_{l})} + \biggl\Vert \frac{\partial F^{[\mathrm{BLO}_{l},J']}(\cdot ,t)}{\partial t} \biggr\Vert _{W^{2,2}(\varOmega ^{R}_{l})} \leqslant c_{1} \operatorname{exp}(-c_{2}R), \end{aligned}$$

where \(\varOmega ^{R}_{l} = \varOmega _{l} \cup \{|y|>R\}\).

Therefore, if \(B_{\varepsilon }^{l} = \{x\in B_{\varepsilon }: |x-O _{l}| \geqslant C_{J}\varepsilon |\ln \varepsilon ||e|_{\min }/3\}\), then making change of the variable \(y=\frac{x-O_{l}}{\varepsilon }\) in the above inequality and taking \(R=C_{J}|\ln \varepsilon | |e|_{ \mathrm{min}}/3\), we get

$$\begin{aligned} & \bigl\Vert F^{[\mathrm{BLO}_{l},J']}(\cdot , \cdot ) \bigr\Vert _{L^{2}(0,2\pi ;W^{2,2}(B ^{l}_{\varepsilon }))} + \biggl\Vert \frac{\partial F^{[\mathrm{BLO}_{l},J']}( \cdot , \cdot )}{\partial t} \biggr\Vert _{L^{2}(0,2\pi ;W^{2,2} (B^{l}_{ \varepsilon }))} \\ &\quad \leqslant c_{1} \operatorname{exp}\bigl\{ -c_{2}C_{J} \vert \ln \varepsilon \vert \vert e \vert _{\min }/3\bigr) = c_{1} \varepsilon ^{c_{2}C_{J} \vert e \vert _{\min }/3}. \end{aligned}$$

Choose \(C_{J}\) such that \(c_{2}C_{J}|e|_{\min }/3 \geqslant J'=J+2\). Then, for \(F^{[\mathrm{BLO}_{l},J']}\) and its derivatives, this upper bound is equal to \(c_{1}\varepsilon ^{J+2}\). So, for the difference

$$\begin{aligned} \zeta \biggl(\frac{ \vert x-O_{l} \vert }{ \vert e \vert _{\min }} \biggr)F^{[\mathrm{BLO}_{l},J']} \biggl( \frac{x-O_{l}}{\varepsilon },t \biggr) - \zeta \biggl(\frac{ \vert x-O _{l} \vert }{\delta } \biggr)F^{[\mathrm{BLO}_{l},J']} \biggl(\frac{x-O_{l}}{ \varepsilon },t \biggr), \end{aligned}$$

the following estimate holds:

$$\begin{aligned} &\biggl\Vert \zeta \biggl(\frac{ \vert x-O_{l} \vert }{ \vert e \vert _{\min }} \biggr)F^{[\mathrm{BLO} _{l},J']}(\cdot , \cdot ) - \zeta \biggl(\frac{ \vert x-O_{l} \vert }{\delta } \biggr)F^{[\mathrm{BLO}_{l},J']}(\cdot , \cdot ) \biggr\Vert _{L^{2}(0,2 \pi ;W^{2,2}(D))} \\ &\quad \leqslant c_{1}\varepsilon ^{J+2}, \end{aligned}$$

where \(D = \operatorname{supp}\{\zeta (\frac{|x-O_{l}|}{|e|_{\min }} )-\zeta (\frac{|x-O_{l}|}{\delta } ) \}\). Notice that in D we have \(\frac{|x-O_{l}|}{\delta }\geqslant \frac{1}{3}\) for sufficiently small ε. Because of this estimate for the approximation \(\mathbf{u}^{(J+2)}\) the residual \(\|{\mathbf{f}}_{1} ^{(J+2)}\|_{L^{2}(0,2\pi ;L^{2}(B_{\varepsilon }))}\) has the order \(O(\varepsilon ^{J})\). So, the difference \(\mathbf{u}^{(J+2)}- \mathbf{v}\) is of order \(O(\varepsilon ^{J}\sqrt{\mathrm{mes}(B_{\varepsilon })})\) in the norm of Theorem 8.3. In this case we have assumed that \(\mathbf{g}\in C^{[\frac{J+3}{2}]+1}(0,2\pi ;W^{3/2,2}(\sigma ))\).

9 Method of asymptotic partial decomposition of the domain

The obtained asymptotic expansion of the solution to the time periodic non-steady Navier–Stokes problem can be applied to justify the method of asymptotic partial decomposition of the domain (MAPDD) proposed for the steady case in [13, 14].

Let us describe the algorithm of the MAPDD for the non-steady Navier–Stokes problem set in a tube structure \(B_{\varepsilon }\). Let δ be a small positive number much greater than ε. For any edge \(e=\overline{O_{i}O_{j}}\) of the graph, introduce two hyperplanes orthogonal to this edge and crossing it at the distance δ from its ends.

Denote the cross-section of the cylinders \(\varPi ^{(e)}_{\varepsilon }\) by these two hyperplanes respectively: by \(S_{i,j}\) (the cross-section at the distance δ from \(O_{i}\)) and \(S_{j,i}\) (the cross-section at the distance δ from \(O_{j}\)), and denote the part of the cylinder \(\varPi ^{(e)}_{\varepsilon }\) between these two cross-sections by \(B_{i,j}^{\mathrm{dec},\varepsilon }\) (see Fig. 2). Let \(B_{i}^{\varepsilon ,\delta }\) be the connected, truncated by the cross-sections \(S_{i,j}\), part of \(B_{\varepsilon }\) which contains the vertex or the node \(O_{i}\) (see Fig. 3).

Figure 2
figure 2

Truncation of the cylinder \(\varPi ^{(e)}_{\varepsilon }\)

Figure 3
figure 3

Connected component \(B^{\varepsilon ,\delta }_{i}\)

Introduce the space \(H^{1}_{\operatorname{div}=0}(B_{\varepsilon })\) of all divergence-free vector-valued functions from the space \(W^{1,2}(B_{ \varepsilon })\) vanishing for \(x \in \partial B_{\varepsilon }\setminus (\bigcup_{j=N_{1}+1}^{N} \gamma ^{j}_{\varepsilon })\).

Define the subspace \(H_{\operatorname{div} =0}^{1}(B_{\varepsilon }, \delta )\) of \(H^{1}_{\operatorname{div}=0}(B_{\varepsilon })\) such that elements of every truncated cylinder \(B_{i,j}^{\mathrm{dec},\varepsilon }\) (vector-valued functions) coincide with the Womersley type flow. Here Womersley type flow is a vector-valued function \(\mathbf{u}_{W}\) such that, in local coordinates \(x^{(e)}\) associated with the edge e, its “last” (longitudinal) component \(u_{n,W}(x^{(e)}/\varepsilon )\) is independent of \(x_{n}^{(e)}\), i.e., \(\mathbf{u}_{n,W} = \mathbf{u} _{n,W}(x^{(e)'}/\varepsilon )\), while all transversal components of the velocity are equal to zero. We will consider as well the subspace \(H_{0,\operatorname{div}=0}^{1}(B_{\varepsilon }, \delta )\) of the space \(H^{1}_{\operatorname{div}=0}(B_{\varepsilon },\delta )\) such that its elements vanish on the whole boundary \(\partial B_{\varepsilon }\) and the subspace \(L^{2}(B_{\varepsilon },\delta )\) of the space \(L^{2}(B_{\varepsilon })\) such that its elements (vector-valued functions) coincide with the Womersley type flows on every truncated cylinder \(B_{i,j}^{\mathrm{dec},\varepsilon }\).

The method of asymptotic partial decomposition (MAPDD) replaces problem (1.1) by its projection on \(H^{1}_{\operatorname{div}=0}(B_{\varepsilon },\delta )\):

Find \(\hat{\mathbf{u}}_{\varepsilon ,\delta }\) from \(L^{2}_{ \mathrm{per}}(0, 2\pi ;H^{1}_{\operatorname{div}=0}(B_{\varepsilon },\delta ))\) such that \(\hat{\mathbf{u}}_{\varepsilon ,\delta }- \hat{\mathbf{g}} \in L^{2}_{\mathrm{per}}(0,2\pi ; H^{1}_{0,\operatorname{div}=0}(B_{\varepsilon },\delta ))\), \(( \hat{\mathbf{u}}_{\varepsilon ,\delta }-\hat{\mathbf{g}})_{t} \in L ^{2}_{\mathrm{per}}(0,2\pi ;H^{1}_{0,\operatorname{div}=0}(B_{\varepsilon }, \delta ))\), and for any test function \({\pmb{\eta }} \in H^{1}_{0, \operatorname{div}=0}(B_{\varepsilon },\delta )\), the following integral identity holds:

$$\begin{aligned} \int _{B_{\varepsilon }} \biggl(\frac{1}{\varepsilon ^{\beta }}( \hat{ \mathbf{u}}_{\varepsilon ,\delta })_{t} \cdot {\pmb{\eta }} + \nu \nabla \hat{\mathbf{u}}_{\varepsilon ,\delta } \cdot \nabla {\pmb{\eta }} - \bigl((\hat{ \mathbf{u}}_{\varepsilon ,\delta } +\hat{\mathbf{g}}) \cdot \nabla \bigr){\pmb{\eta }} \cdot \hat{\mathbf{u}}_{\varepsilon ,\delta } - (\hat{\mathbf{u}}_{\varepsilon ,\delta } \cdot \nabla ) {\pmb{\eta }} \cdot \hat{\mathbf{g}} \biggr)\,dx = 0. \end{aligned}$$

Here, \(\hat{\mathbf{g}}\) is an extension of the boundary function g constructed above as \(\mathbf{u}^{(J+2)}\) with the modification described in Remark 8.4, i.e., \(\delta =C_{J} \varepsilon |\ln \varepsilon ||e|_{\mathrm{min}}\).

Theorem 9.1

Let\(\mathbf{g}\in C^{[\frac{J+3}{2}]+1}(0,2\pi ; W^{3/2,2}(\sigma ))\). Then there exists a unique solution\(\hat{\mathbf{u}}_{\varepsilon , \delta }\)of the partially decomposed problem (9.1) and

$$\begin{aligned} &\sup_{t\in [0,2\pi ]} \bigl\Vert {\mathbf{v}}( \cdot , t) - \hat{\mathbf{u}}_{\varepsilon ,\delta }(\cdot ,t) \bigr\Vert _{L^{2}(B_{\varepsilon })} + \varepsilon ^{\beta /2} \bigl\Vert \nabla (\mathbf{v} - \hat{\mathbf{u}} _{\varepsilon ,\delta }) \bigr\Vert _{L^{2}_{\mathrm{per}}(0,2\pi ;L^{2}(B_{ \varepsilon }))} \\ &\quad \leqslant c\varepsilon ^{J+\beta /2}\sqrt{\mathrm{mes}(B_{\varepsilon })}. \end{aligned}$$

The proof of this theorem repeats the beginning of the proof of Theorem 4.1 (derivation of estimates (4.6) and (4.8)), where the Galerkin approximations are constructed in the space \(H^{1}_{0, \operatorname{div}=0}(B_{\varepsilon },\delta )\) instead of \(H^{1}_{ \operatorname{div} =0}(B_{\varepsilon })\).


  1. Agmon, S.: Lectures on Elliptic Boundary Value Problems. AMS Chelsea, Providence (2010)

    Book  Google Scholar 

  2. Agmon, S., Douglas, A., Nirenberg, L.: Estimates near the boundary for solutions of elliptic partial differential equations satisfying general boundary conditions, I. Commun. Pure Appl. Math. 12, 623–727 (1959). II, Commun. Pure Appl. Math. 17, 35–92 (1964)

    Article  MathSciNet  Google Scholar 

  3. Beirão da Veiga, H.: On time-periodic solutions of the Navier–Stokes equations in an unbounded cylindrical domains. Leray’s problem for periodic flows. Arch. Ration. Mech. Anal. 178(3), 301–325 (2005)

    Article  MathSciNet  Google Scholar 

  4. Bertoglio, C., Conca, C., Nolte, D., Panasenko, G., Pileckas, K.: Junction of models of different dimension for flows in tube structures by Womersley-type interface conditions. SIAM J. Appl. Math. 79(3), 959–985 (2019)

    Article  MathSciNet  Google Scholar 

  5. Formaggia, L., Lamponi, D., Quarteroni, A.: One dimensional models for blood flow in arteries. J. Eng. Math. 47, 251–276 (2003)

    Article  MathSciNet  Google Scholar 

  6. Galdi, G.P., Rannacher, R., Robertson, A.M., Turek, S.: Hemodynamical Flows: Modeling, Analysis and Simulation. Birkhäuser, Basel (2008)

    MATH  Google Scholar 

  7. Ladyzhenskaya, O.A.: The Mathematical Theory of Viscous Incompressible Fluid. Gordon and Breach, New York (1969)

    MATH  Google Scholar 

  8. Ladyzhenskaya, O.A., Solonnikov, V.A.: Some problems of vector analysis and generalized formulations of boundary-value problems for the Navier–Stokes equations. Zap. Nauč. Semin. LOMI 59, 81–116 (1976). English Transl.: J. Sov. Math. 10(2), 257–285 (1978)

    MathSciNet  MATH  Google Scholar 

  9. Ladyzhenskaya, O.A., Ural’ceva, N.N.: Linear and Quasi-Linear Elliptic Equations. Academic Press, New York (1968)

    Book  Google Scholar 

  10. Marieb, E.N., Hoehn, K.: The Cardiovascular System: Blood Vessels. Human Anatomy and Physiology p. 712 Pearson Education

  11. Mayrovitz, H.N.: Skin capillary metrics and hemodynamics in the hairless mouse. Microvasc. Res. 43(1), 46–59 (1992)

    Article  Google Scholar 

  12. Panasenko, G.: Asymptotic expansion of the solution of Navier–Stokes equation in a tube structure. C. R. Acad. Sci., Sér. IIb 326, 867–872 (1998)

    MathSciNet  MATH  Google Scholar 

  13. Panasenko, G.: Method of asymptotic partial decomposition of domain. Math. Models Methods Appl. Sci. 8(1), 139–156 (1998)

    Article  MathSciNet  Google Scholar 

  14. Panasenko, G.: Partial decomposition of domain: Navier–Stokes equation in tube structure. C. R. Acad. Sci., Sér. IIb 326, 893–898 (1998)

    MathSciNet  MATH  Google Scholar 

  15. Panasenko, G., Pileckas, K.: Flows in tube structures: equation on the graph. J. Math. Phys. 55, 081505 (2014).

    Article  MathSciNet  MATH  Google Scholar 

  16. Panasenko, G., Pileckas, K.: Divergence equation in thin-tube structure. Appl. Anal. 94, 1450–1459 (2015)

    Article  MathSciNet  Google Scholar 

  17. 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). II. General case. Nonlinear Anal. Theory Methods and Appl. 125, 582–607 (2015)

    Article  MathSciNet  Google Scholar 

  18. Panasenko, G., Pileckas, K.: Periodic in time flow in thin structure: equation on the graphs. J. Math. Anal. Appl. (2019) submitted

  19. Pileckas, K.: On the nonstationary linearized Navier–Stokes problem in domains with cylindrical outlets to infinity. Math. Ann. 332, 395–419 (2005)

    Article  MathSciNet  Google Scholar 

  20. Pileckas, K.: Navier–Stokes system in domains with cylindrical outlets to infinity. In: Leray’sproblem, Handbook of Mathematical Fluid Dynamics, vol. 4, pp. 445–647. Elsevier, Amsterdam (2007)

    Chapter  Google Scholar 

  21. Temam, R.: Navier–Stokes Equations. North-Holland, Amsterdam (1977)

    MATH  Google Scholar 

Download references


The authors are grateful to the LABEX MILYON (ANR-10-LABX-0070) of Université de Lyon within the program “Investissements d’Avenir” (ANR-11-IDEX-0007) operated by the French National Research Agency (ANR)) for supporting Rita Juodagalvytė’s PhD thesis.

Availability of data and materials

All data are fully available without restrictions.


This research was funded by the European Social Fund according to the activity “Improvement of researchers qualification by implementing world-class R and D projects” of Measure No. 09.3.3-LMT-K-712.

Author information

Authors and Affiliations



RJ, GP, and KP formulated and proved the theorems on the existence and uniqueness of the solution, RJ, GP, and KP constructed and justified an asymptotic expansion of the solution, RJ, GP, and KP wrote the manuscript. All authors read and approved the final manuscript.

Corresponding author

Correspondence to G. Panasenko.

Ethics declarations

Competing interests

No authors have competing interests.

Additional information

Publisher’s Note

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

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Juodagalvytė, R., Panasenko, G. & Pileckas, K. Time periodic Navier–Stokes equations in a thin tube structure. Bound Value Probl 2020, 28 (2020).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: