Optimal boundary conditions for the Navier-Stokes fluid in a bounded domain with a thin layer

Abstract

In this paper, we derive the optimal boundary conditions of the Navier-Stokes fluid in a bounded domain with a thin layer. We get the effects of the layer by investigating the limiting δ, the thickness of the layer shrinking to zero. In the two-dimensional case, we derive effective boundary conditions by the limit of u and p on the boundary of the uncoated body.

Introduction

We consider the mathematical problem arising from fluids by applying a thin layer of special area to a body to be protected. The body is assumed to be a two-dimensional smooth and bounded domain, denoted by $\Omega_{1}$. The layer, denoted by $\Omega_{2}$, has a thickness of $\delta\ll1$. Then the whole domain $\Omega=\bar{\Omega}_{1}\cup\Omega_{2}$.

We study the Navier-Stokes fluid of the coated body

$$ \left \{ \textstyle\begin{array}{l} \frac{\partial u^{\delta}}{\partial t}+(u^{\delta}\cdot\nabla)u^{\delta}- \operatorname{div}(\mathcal{A}\nabla u^{\delta})+\nabla p^{\delta}=f(x,t)\quad \text{in } \Omega, \\ \operatorname{div}u^{\delta}=0 \quad \text{in } \Omega, \\ u^{\delta}|_{t=0}=u^{\delta}_{0}(x), \qquad u^{\delta}|_{\partial\Omega }=0, \quad \text{for } t>0, \end{array}\displaystyle \right . $$

(1)

where $u^{\delta}$ and $p^{\delta}$ are the velocity and the pressure of the fluid, respectively. $f(x,t)$ is the force term. $\mathcal{A}$ is a $2\times2$ matrix, which is positive and symmetry. For simplicity, we assume the interior body $\Omega_{1}$ is homogeneous. More precisely, we assume that

$$ A(x)=I= \begin{pmatrix} 1&0 \\ 0&1 \end{pmatrix} , \quad \forall x\in \Omega_{1}. $$

(2)

Within the coating $\Omega_{2}$, we assume the tensor $\mathcal{A}$ takes the form

$$ \mathcal{A}(x){\boldsymbol{\nu}}=\sigma{\boldsymbol{\nu}}, \qquad \mathcal{A}(x) \tau=\mu\tau , \quad \forall x\in\Omega_{2}, $$

(3)

where σ and μ are positive constants, ${\boldsymbol{\nu}}=\nabla d(x)$ is the unit outward normal to ∂Ω and $\tau\perp{\boldsymbol{\nu}}$ is a unit tangent vector. Note that (3) implies

$$ \mathcal{A}(x)=\sigma{\boldsymbol{\nu}}\otimes{\boldsymbol{\nu}}+\mu\tau\otimes \tau. $$

This model describes an incompressible Navier-Stokes fluid in a composed domain, which contains two different parts, a microscopic one ($\Omega_{2}$) and a macroscopic one ($\Omega_{1}$). In the macroscopic part, the fluid is considered to be isotropic. The microscopic part is anisotropic and surrounds the macroscopic part and has the thickness δ, which is small when compared to the size of $\Omega_{1}$. The real world applications may include lake or sea shore protection and desert stabilization: to protect a shoreline from erosion, along the shoreline in the water aquatic plants and trees may be planted, and large rocks and concrete blocks may be placed (see Figure 1); similarly, along the edge of a desert trees may be planted to prevent the growth of the desert. If these barriers are placed periodically and parallel to the shoreline/desert edge, then after homogenization the viscous tensor in the thin layer $\Omega_{2}$ takes the form of $\mathcal{A}(x)\nabla u^{\delta}$ with $\mathcal{A}(x)$ satisfying (4).

Figure 1

A model of a lake or a sea near the shore.

In the three-dimensional case of an anisotropic fluid, the viscous tensor, as a symmetric $3\times3$ matrix, has three orthogonal eigenvectors and three eigenvalues. Each of these eigenvalues measures the impact rate of the anisotropic fluid in the corresponding eigen-direction. To protect $\partial\Omega _{1}$ from eroding, it is desirable that the eigenvector corresponding to the smallest eigenvalue is orthogonal to the boundary of the body in order to directly confront the ambient effect. The other eigenvalues (in the tangential directions) may not need to be small. Motivated by these considerations, in this paper, we introduce the notion of ‘optimally aligned layer’ (a similar conception as in [1]), by which we mean that at every point $x\in\Omega_{2}$, the vector normal to $\partial\Omega_{1}$ at the projection of x is always an eigenvector of the viscous tensor $\mathcal{A}(x)$.

The static case of such a problem was studied by Rosencrans et al. [1–4] and Li [5] for the heat equation on a coated body under different boundary conditions. In fluid mechanics, Miksis and Davis [6] studied a Navier-Stokes fluid flows over another one over rough and coated surfaces. Jäger and Mikelic [7] considered the boundary conditions on the contact interface between a porous medium and a free fluid. Kohn and Vogelius [8, 9] studied the effective models in a thin plate with rapidly varying thickness, he found that those models are different according to the different scaling. Braides et al. [10] got the effective results on inhomogeneous thin layers in 2D and 3D. Ansini and Braides [11] applied their effective results on oscillating boundary to thin films. Other important work on the domain coarsening in thin layers was done by Niethammer and Otto [12]. Moreover, the effect of the strong interaction of two-dimensional, long, internal gravity waves propagating on neighboring pycnoclines in a stratified fluid was recently studied in [13]. For other work, we refer the interested reader to [14–16] and the references therein.

In this paper, we considered an incompressible fluid in a bounded domain with a thin layer in 2D. The aim of this paper is to find the homogenized model of (1) and corresponding optimal boundary conditions as the thickness δ tends to zero. The main difficulty we met here is to investigate the optimal boundary conditions for the homogenized model. To this end, we define a boundary layer equations between the macroscopic domain and the coating. We obtained the optimal boundary conditions by using a special test function constructed by the boundary layer solution.

The paper is organized as follows. In Section 2, we review some classical results and state our main results. In Section 3, we give the local parameter transformation. In Section 4, we prove the main results in this paper.

Preliminaries and the main results

In this paper, we assume that the boundaries of $\partial\Omega_{1}$ and Ω are both smooth enough when $\delta>0$ is sufficiently small. Then we assume that the distance function $d(x)$, the unit normal vector $\nu(x)$, and the unit tangent vector $\tau(x)$ are also smooth enough on $\bar{\Omega}_{2}$. We denote the time-space domain by $\Omega_{T}=\Omega\times(0,T)$.

Let $\mathcal{D}(\Omega)$ be the space of $\mathcal{C}^{\infty}$ functions with compact support contained in Ω. We define the space

$$\begin{aligned}& \mathcal{V}=\bigl\{ u\in\mathcal{D}(\Omega), \operatorname{div} u=0\bigr\} , \\& \mathcal {H}=\bigl\{ \text{the closure of } \mathcal{V} \text{ in } L^{2}(\Omega)\bigr\} , \\& \mathcal{W}=\bigl\{ \text{the closure of } \mathcal{V} \text{ in } H^{1}_{0}(\Omega)\bigr\} . \end{aligned}$$

Throughout the paper, we make assumptions on Ω, $\mathcal{A}(x)$ and $f(x)$ as follows:

• 1. Ω is bounded, open and convex with smooth boundary (at least $C^{2}$);

• 2. $\mathcal{A}(x)\in C^{2}(\Omega)$;

• 3. $f(x)\in L^{2}(\Omega_{T})$.

Definition 2.1

A function pair $\{u^{\delta},p^{\delta}\}\in L^{2}(0,T;\mathcal{W})\times L^{2}(0,T;H^{1}(\Omega))$ is said to be a weak solution to (1) if

$$ \int_{\Omega}u^{\delta}\cdot\eta+ \int_{\Omega_{T}}\bigl(-u^{\delta}\cdot\eta _{t}-u^{\delta}\otimes u^{\delta}:\nabla\eta +\nabla\eta:\mathcal{A}\nabla u^{\delta}\bigr) = \int_{\Omega_{T}}f\cdot\eta, $$

for all $\eta\in L^{2}(0,T;\mathcal{V})$ with $\eta(x,t)=0$ at $t=0,T$.

Lemma 2.1

Let $\Omega\subset R^{2}$ be an open bounded domain. $u^{\delta}_{0}\in L^{2}(\Omega)$ and $f\in L^{2}(\Omega_{T})$. Then up to a constant, (1) determines a unique weak solution pair $\{u^{\delta},p^{\delta}\}$ in the sense of Definition  2.1 and the following estimates hold:

$$\begin{aligned} (\mathrm{i}) &\quad \max_{t\in[0,T]} \int_{\Omega}\bigl\vert u^{\delta}\bigr\vert ^{2}\, dx+2 \int_{\Omega _{T}}\nabla u^{\delta}:\mathcal{A}\nabla u^{\delta}\, dx\, dt\leq C; \\ (\mathrm{ii}) &\quad \int_{\Omega_{T}}\bigl\vert u^{\delta}_{t}\bigr\vert ^{2}\, dx\, d\tau+\max_{t\in[0,T]} \int _{\Omega}\nabla u^{\delta}:\mathcal{A}\nabla u^{\delta}\, dx\leq C; \\ (\mathrm{iii})&\quad \int_{\Omega_{T}}t\bigl\vert u^{\delta}_{t}\bigr\vert ^{2}\, dx\, d\tau+\max_{t\in [0,T]}t \int_{\Omega}\nabla u^{\delta}:\mathcal{A}\nabla u^{\delta}\, dx\leq C; \\ (\mathrm{iv})&\quad \bigl\Vert p^{\delta}\bigr\Vert _{L^{2}(\Omega\times(0,T))} \leq C, \end{aligned}$$

where C is independent of δ.

Proof

It is obvious that the tensor $\mathcal{A}(x)$ is positive, symmetric, and coercive. Note that ∂Ω is sufficiently smooth, the energy estimates can be proved formally multiplying (1) by $u^{\delta}$ for (i), $u^{\delta}_{t}$ for (ii), and $tu^{\delta}_{t}$ for (iii). To prove (iv), we use the div and curl decomposition. Let P and Q be two orthogonal operators. For all f, we have

$$ f=P(f)+Q(f), $$

where P maps the divergence-free functions to themselves. Then we can write (1) in the following way:

$$ u^{\delta}_{t}+P\bigl(\bigl(u^{\delta}\cdot\nabla \bigr)u^{\delta}\bigr)-P\bigl(\operatorname{div}\bigl(\mathcal {A}\nabla u^{\delta}\bigr)\bigr)=P(f). $$

The classical result (see [17]) shows that $u^{\delta}_{t}$ is bounded in $L^{2}(0,T;\mathcal{W}')$. By (1), we see that ∇p is bounded in $L^{2}(0,T;H^{-1}(\Omega))$. Finally, by using the Necćas inequality (see[18], Chapter 1, Proposition 1.2), we see that p is bounded in $L^{2}(\Omega\times(0,T))$ and (iv) holds.

From those a priori estimates, by using the Faedo-Galerkin method, we can establish the existence result. □

Now, we state our main results in this paper.

Theorem 2.1

Under the hypotheses of Lemma  2.1, suppose $\mathcal{A}(x)$ is given by (2) or (3) and $u^{\delta}_{0}$ converges strongly to $u_{0}(x)$ in the corresponding space. We also assume that $\sigma(\delta)\geq\mu(\delta)\geq\delta$. Let $\{u^{\delta},p^{\delta}\}$ be the solution pair of (1). Then up to a constant, there exists a unique function pair $\{u,p\}$ such that

$$ u^{\delta}\rightarrow u\quad \textit{weakly in }L^{2} \bigl(0,T;H^{1}(\Omega_{1})\bigr),\qquad p^{\delta}\rightarrow p\quad \textit{weakly in } L^{2}\bigl(\Omega_{1} \times(0,T)\bigr) $$

as $\delta\rightarrow0$, where $\{u,p\}$ is the solution pair of the following homogenized problem:

$$ \left \{ \textstyle\begin{array}{l} u_{t}+(u\cdot\nabla)u-\triangle u+\nabla p=f(x,t)\quad \textit{in } \Omega _{1}\times(0,T), \\ \operatorname{div}u=0 \quad \textit{in } \Omega_{1}\times(0,T), \\ u|_{t=0}=u_{0}(x),\quad \forall x\in\Omega_{1}, \end{array}\displaystyle \right . $$

(4)

together with the following homogenized boundary conditions:

• 1. If $\lim_{\delta\rightarrow0}\frac{\sigma^{\frac {3}{2}}}{\delta}=0$, the boundary condition would be

  $$ \frac{\partial u}{\partial\nu}-(u\otimes u+pI)\nu=0 \quad \textit {on } \partial \Omega_{1}. $$

  (5)

• 2. If $\lim_{\delta\rightarrow0}\frac{\sigma^{\frac {3}{2}}}{\delta}=\alpha\in(0,+\infty)$,

  • 2(i). if $\lim_{\delta\rightarrow0}\frac{\mu}{\sigma }=0$, the boundary condition would be

    $$ \frac{\partial u}{\partial\nu}-(u\otimes u+pI)\nu=\alpha\nu\cdot u e_{2} \quad \textit{on } \partial\Omega_{1}; $$

    (6)

  • 2(ii). if $\lim_{\delta\rightarrow0}\frac{\mu}{\sigma }=\beta\in(0,1]$, the boundary condition would be

    $$ \frac{\partial u}{\partial\nu}-(u\otimes u+pI)\nu=\alpha\sqrt{\beta }\tau\cdot u e_{1}+\alpha\nu\cdot u e_{2} \quad \textit{on } \partial \Omega_{1}. $$

    (7)

• 3. If $\lim_{\delta\rightarrow0}\frac{\sigma^{\frac {3}{2}}}{\delta}=+\infty$,

  • 3(i). if $\lim_{\delta\rightarrow0}\frac{\mu}{\sigma }=0$, the boundary condition would be

    $$ u(x,t)\cdot\nu=0 \quad \textit{on } \partial\Omega_{1}; $$

    (8)

  • 3(ii). if $\lim_{\delta\rightarrow0}\frac{\mu}{\sigma }=\beta\in(0,1]$, the boundary condition would be

    $$ u(x,t)=0 \quad \textit{on } \partial\Omega_{1}. $$

    (9)

Theorem 2.2

Under the hypotheses of Lemma  2.1, suppose $\mathcal{A}(x)$ is given by (2) or (3) and $u^{\delta}_{0}$ converges strongly to $u_{0}(x)$ in the corresponding space. We assume that $\delta\leq\sigma(\delta)\leq\mu(\delta)\leq M\sigma(\delta )$ for some constants $M>0$. Let $\{u^{\delta},p^{\delta}\}$ be the solution pair of (1). The function pair $\{u,p\}$ is defined in Theorem  2.1. Then (4) still holds as $\delta\rightarrow0$ together with the following homogenized boundary conditions:

• 1. If $\lim_{\delta\rightarrow0}\frac{\mu^{\frac {3}{2}}}{\delta}=0$, the optimal boundary condition would be

  $$ \frac{\partial u}{\partial\nu}-(u\otimes u+pI)\nu=0 \quad \textit {on } \partial \Omega_{1}. $$

  (10)

• 2. If $\lim_{\delta\rightarrow0}\frac{\mu^{\frac {3}{2}}}{\delta}=\alpha\in(0,+\infty)$,

  • 2(i). if $\lim_{\delta\rightarrow0}\frac{\sigma}{\mu }=0$, the optimal boundary condition would be

    $$ \frac{\partial u}{\partial\nu}-(u\otimes u+pI)\nu=0 \quad \textit {on } \partial \Omega_{1}; $$

    (11)

  • 2(ii). if $\lim_{\delta\rightarrow0}\frac{\sigma}{\mu }=\beta\in(0,1]$, the optimal boundary condition would be

    $$ \frac{\partial u}{\partial\nu}-(u\otimes u+pI)\nu=\beta\tau\cdot u e_{1}+ \beta^{\frac{3}{2}}\nu\cdot u e_{2} \quad \textit{on } \partial \Omega_{1}. $$

    (12)

• 3. If $\lim_{\delta\rightarrow0}\frac{\mu^{\frac {3}{2}}}{\delta}=+\infty$,

  • 3(i). if $\lim_{\delta\rightarrow0}\frac{\sigma}{\mu }=0$, the optimal boundary condition would be

    $$ u(x,t)\cdot\tau=0 \quad \textit{on } \partial\Omega_{1}; $$

    (13)

  • 3(ii). if $\lim_{\delta\rightarrow0}\frac{\sigma}{\mu }=\beta\in(0,1]$, the optimal boundary condition would be

    $$ u(x,t)=0 \quad \textit{on } \partial\Omega_{1}. $$

    (14)

Remark 2.1

The results in Theorem 2.1 show that boundary conditions on $\partial \Omega_{1}$ mainly depend on the relationship between δ and σ. More precisely, there exists a critical index between δ and σ ($\delta\backsim\sigma^{\frac{3}{2}}$). The same result was found by Mikelic [19, 20], where the authors considered effective models in a domain with a thin layer between two porous media.

Definition 2.2

A function pair $\{u,p\}$ is said to be a weak solution to (4) if $(u,p)\in L^{2}(0,T;\mathcal{W})\times L^{2}(\Omega_{1}\times(0,T))$ and satisfies

$$ \mathcal{L}(u,\eta)=- \int_{\Omega_{1}}u_{0}(x)\cdot\eta(x,0) + \int_{0}^{T} \int_{\Omega_{1}}\bigl(-u\cdot\eta_{t}-u^{\delta}\otimes u^{\delta}:\nabla \eta+\nabla u:\nabla\eta-f\cdot\eta\bigr)=0, $$

for any $\eta\in C^{\infty}(\bar{\Omega}_{1}\times(0,T])$ with $\operatorname {div}\eta=0$. Also, u satisfies the following weak boundary conditions:

• 1. $\frac{\partial u}{\partial\nu}-(u\otimes u+pI)\nu=0$ on $\partial\Omega_{1}$ if

  $$ \mathcal{L}(u,\eta)=0. $$

  (15)

• 2. $\frac{\partial u}{\partial\nu}-(u\otimes u+pI)\nu=\alpha u\cdot\nu e_{2}$ or $\frac{\partial u}{\partial\nu}-(u\otimes u+pI)\nu=\alpha\sqrt{\beta }\tau\cdot u e_{1}+\alpha\nu\cdot u e_{2}$ on $\partial\Omega_{1}$ (resp. $\frac{\partial u}{\partial\nu}-(u\otimes u+pI)\nu=\beta\tau \cdot u e_{1}+\beta^{\frac{3}{2}}\nu\cdot u e_{2}$) if

  $$ \begin{aligned} &\mathcal{L}(u,\eta)=- \int_{0}^{l}\alpha u\cdot\nu e_{2}\eta \, dr \quad \text{or}\quad \mathcal{L}(u,\eta) =- \int_{0}^{l}(\alpha\sqrt{\beta}\tau\cdot u e_{1}+\alpha u\cdot\nu e_{2})\eta \, dr \\ &\biggl(\text{resp. } \mathcal{L}(u,\eta) =- \int_{0}^{l}\bigl(\beta\tau\cdot u e_{1}+ \beta^{\frac{3}{2}}\nu\cdot u e_{2}\bigr)\eta \, dr\biggr). \end{aligned} $$

  (16)

• 3. $u=0$ or $u\cdot\nu=0$ (resp. $u\cdot\tau=0$) on $\partial \Omega_{1}$ if

  $$ \begin{aligned} & \int_{0}^{l}(\sqrt{\beta}\tau\cdot u e_{1}+\nu\cdot u e_{2})\cdot\eta \, dr=0\quad \text{or} \\ & \int_{0}^{l}\nu\cdot u e_{2}\cdot\eta \, dr=0\qquad \biggl(\text{resp. } \int_{0}^{l}\tau\cdot u e_{2}\cdot\eta \, dr=0\biggr). \end{aligned} $$

  (17)

Theorem 2.3

Suppose $\partial\Omega_{1}$ is smooth enough (at least $\partial\Omega _{1}\in C^{2}$ for example), $u_{0}\in L^{2}(\Omega_{1})$ and $f\in L^{2}(\Omega_{T})$. Then (4) with any of the boundary condition (5)∽(9) (resp. (10)∽(14)) has one weak solution in the sense of Definition  2.2.

Proof

To establish the existence result, it is sufficient give the a priori estimates on different boundary conditions.

1. $\frac{\partial u}{\partial\nu}-(u\otimes u+pI)\nu=0$ on $\partial\Omega_{1}$.

Multiplying (4) by u and integrating over $\Omega_{1}\times (0,t)$, we have

$$ \int_{\Omega_{1}}|u|^{2}\,dx+2 \int_{0}^{t} \int_{\Omega_{1}}|\nabla u|^{2}\,dx\,d\tau= \int _{\Omega_{1}}|u_{0}|^{2}\,dx+2 \int_{0}^{t} \int_{\Omega_{1}}f\cdot u \,dx\,d\tau. $$

We obtain the a priori estimate $u\in L^{\infty}(0,T;L^{2}(\Omega _{1}))\cap L^{2}(0,T;H^{1}(\Omega_{1}))$ by the Young inequality and the Fredrich inequality.

2. $\frac{\partial u}{\partial\nu}-(u\otimes u+pI)\nu=\alpha u\cdot\nu e_{2}$ on $\partial\Omega_{1}$.

Multiplying (4) by u and integrating over $\Omega_{1}\times (0,t)$, we have

$$\begin{aligned}& \int_{\Omega_{1}}|u|^{2}\,dx+2 \int_{0}^{t} \int_{\Omega_{1}}|\nabla u|^{2}\,dx\,d\tau \\& \quad \leq \int_{\Omega_{1}}|u_{0}|^{2}\,dx+2\alpha \int_{0}^{t} \int_{\partial\Omega_{1}}| u|^{2}\, dS\, d\tau+2 \int_{0}^{t} \int_{\Omega_{1}}f\cdot u \,dx\,d\tau. \end{aligned}$$

To obtain the a priori estimate, we only consider the second term on the right-hang side. For each $\varepsilon_{0}>0$, by the boundary trace imbedding theorem (see [21], Chapter 5, (5.36)) and the interpolation inequality (see [21], Chapter 5, (5.2)), we have

$$ \|u\|_{L^{2}(\partial\Omega_{1})}\leq K_{1}\|u\|_{W^{\frac{1}{2},2}(\Omega _{1})}\leq K\bigl( \varepsilon\|\nabla u\|_{L^{2}(\Omega_{1})}+\varepsilon^{-\frac {1}{4}}\|u \|_{L^{2}(\Omega_{1})}\bigr), $$

for any $0<\varepsilon<\varepsilon_{0}$.

Choosing ε small enough, we obtain the same estimate as above by Gronwall’s inequality. By the boundary condition $\frac{\partial u}{\partial\nu}-(u\otimes u+pI)\nu=\alpha\sqrt{\beta }\tau\cdot u e_{1}+\alpha\nu\cdot u e_{2}$, we can get the same estimate following the steps as above.

3. $u=0$ or $u\cdot\nu=0$ on $\partial\Omega_{1}$.

The same estimate can be obtained by multiplying u in (4) and integrating over $\Omega_{1}\times(0,t)$.

With this estimate, we can construct an approximate solution by the Faedo-Galerkin method and follow the steps in [17] (Chapter 1, (6.4)) to obtain the existence result. □

The parameter transformation model

To investigate the boundary conditions on $\partial\Omega_{1}$, it is convenient to write the system in another coordinate system. We introduce the parameter transformation as [1].

The parameter transformation

Before proving the main theorems, we introduce the parameter transformation near $\partial\Omega_{1}$. Let $l=|\partial\Omega_{1}|$ be the arc-length of $\partial\Omega_{1}$. By using the arc-length $r\in[0,l)$, we define the mapping

$$ {\mathbf{p}}(r): [0,l)\rightarrow\partial\Omega_{1}, $$

in the contour-clockwise fashion.

For all small $\delta>0$, we also define the mapping

$$ x=X(r,s)={\mathbf{p}}(r)+s{\boldsymbol{\nu}}(r), \quad (r,s)\in[0,l)\times(- \delta,\delta), $$

where ${\boldsymbol{\nu}}(r)$ is the unit outer normal vector of $\partial\Omega _{1}$ at ${\mathbf{p}}(r)$. It is well known that X is a diffeomorphism. We also have

$$ \Omega_{2}=X\bigl([0,l )\times(0,\delta)\bigr). $$

We denote by $(r,s)$ the inverse of the mapping $x=X(r,s)$. We denote by $\tau(r)$ the unit tangent vector $\frac{{d\mathbf{p}}}{dr}$ of $\partial\Omega_{1}$ at ${\mathbf{p}}(r)$, and write the curvature of $\partial\Omega_{1}$ at ${\mathbf{p}}(r)$ as $\kappa(r)$. Then we have the Frenet equations,

$$\begin{aligned}& {\boldsymbol{\tau}}'(r)=-\kappa(r){\boldsymbol{\nu}}(r), \qquad { \boldsymbol{\nu}}'(r)=\kappa(r){\boldsymbol{\tau} }(r), \\& X_{r}(r,s)=\bigl(1+s\kappa(r)\bigr){\boldsymbol{\tau}}(r),\qquad X_{s}(r,s)={\boldsymbol{\nu}}(r). \end{aligned}$$

We assume that $X(r,s)$ is l-periodic in r. It is obvious that

$$ dx=(1+s\kappa)\,dr\,ds, \qquad X(r,s)=X(x+l,s). $$

Near $\partial\Omega_{1}$, in the $(r,s)$ coordinate system, we have

$$ \left \{ \textstyle\begin{array}{l} u^{\delta}_{t}=\frac{\tilde{\mu}}{ 1+s\kappa(r)}(\frac{ u^{\delta}_{r}}{1+s\kappa(r)})_{r} +\frac{\tilde{\sigma}}{(1+s\kappa(r))}(1+s\kappa(r)u^{\delta}_{s})_{s} \\ \hphantom{u^{\delta}_{t}={}}{}+\frac{u_{r}^{\delta}}{1+s\kappa}(\tau\cdot u^{\delta})+u_{s}^{\delta}(\nu \cdot u^{\delta}) \\ \hphantom{u^{\delta}_{t}={}}{}-\frac{\tau}{1+s\kappa(r)}p^{\delta}_{r}-{\boldsymbol{\nu}} p^{\delta}_{s}+f(r,s,t), \\ {\boldsymbol{\tau}}\cdot u^{\delta}_{r}+(1+s\kappa(r)){\boldsymbol{\nu}}\cdot u^{\delta}_{s}=0, \end{array}\displaystyle \right . $$

(18)

complemented with the boundary condition

$$ u^{\delta}|_{s=\delta}=0, $$

(19)

where

$$ \tilde{\mu}=\left \{ \textstyle\begin{array}{l@{\quad}l} 1 & \text{in } \Omega_{1}, \\ \mu & \text{in } \Omega_{2}, \end{array}\displaystyle \right .\qquad \tilde{ \sigma}=\left \{ \textstyle\begin{array}{l@{\quad}l} 1 & \text{in } \Omega_{1}, \\ \sigma & \text{in } \Omega_{2}. \end{array}\displaystyle \right . $$

Moreover, $u^{\delta}(r,s,t)$ is l-periodic in r, namely,

$$ u^{\delta}(r,s,t)=u^{\delta}(r+l,s,t). $$

Lemma 3.1

Let $u^{\delta}_{0}(r,s)\in L^{2}(\Omega)$ and δ be small enough. Then

$$ \int_{0}^{T} \int_{0}^{l} \int_{0}^{\delta}\bigl(\tilde{\mu}\bigl\vert u^{\delta}_{r}\bigr\vert ^{2}+\tilde{\sigma}\bigl\vert u^{\delta}_{s}\bigr\vert ^{2}\bigr) \, ds\, dr\, dt\leq C, $$

where C does not depend on δ.

Proof

By Lemma 2.1(i) and the parameter transformation, the lemma can be proved. □

Boundary layer problem

A classical way of finding boundary conditions is by using the matched asymptotic method (see [22]). The main idea is to supplement the problem by an inner system in which the independent variables are stretched out in order to capture the behavior in the neighborhood of the boundary. As for our problem, this approach uses the limit rule, by which asymptotic behavior of the outward in the neighborhood of the boundary has to be equal to asymptotic behavior of the inner.

Let $g(r,t)\in C_{0}^{\infty}(\bar{\Omega}_{1}\times[0,+\infty))$ be a solenoidal field with compact support. We extend it to the domain $\Omega\times[0,+\infty)$ via the functions φ and π defined by the following system:

$$ \left \{ \textstyle\begin{array}{l} -\mu\varphi_{rr}-\sigma\varphi_{ss}+\mu\mathbb{B}\nabla \pi=0 \quad \mbox{in } R\times(0,\delta), \\ \sqrt{\mu}\varphi_{1r}+\sqrt{\sigma}\varphi_{2s}=0, \quad \forall r\in R \\ \varphi(r,0,t)=g(x(r),t),\qquad \varphi(r,\delta,t)=0, \qquad \int_{R\times (0,\delta)}\pi \,dr\,ds=0, \end{array}\displaystyle \right . $$

(20)

where φ, π are l-periodic in r and $\mathbb{B}= \bigl ({\scriptsize\begin{matrix}{}1&0\cr 0&\sqrt{\frac{\sigma}{\mu}} \end{matrix}}\bigr )$.

Suppressing the t dependence, we write

$$ \Phi(r,s)=\varphi\biggl(r,s\sqrt{\frac{\sigma}{\mu}},t\biggr), \qquad \Pi(r,s)= \pi \biggl(r,s\sqrt{\frac{\sigma}{\mu}},t\biggr),\qquad h:=\delta\sqrt{ \frac{\mu}{\sigma}}. $$

Then Φ and Π satisfy the following system:

$$ \left \{ \textstyle\begin{array}{l} -\Phi_{rr}-\Phi_{ss}+\nabla\Pi=0 \quad \text{in } R\times(0,h), \\ \Phi_{1r}+\Phi_{2s}=0, \qquad \Phi(r,h)=0, \qquad \Phi(r,0)=g(r,t), \qquad \int_{R\times (0,\delta)}\Pi \,dr\,ds=0, \end{array}\displaystyle \right . $$

(21)

where Φ, Π are also l-periodic in r.

The existence result and the regularity result are given by the following lemma (see [23]).

Lemma 3.2

There exists a unique solution pair $\{\Phi, \Pi\}\in C^{\infty}(R\times (0,h))\times C^{\infty}(R\times(0,h))$ to (10) such that

$$ \Phi\in C^{m}\bigl(R\times(0,h)\bigr), \qquad \Pi\in C^{m} \bigl(R\times(0,h)\bigr), $$

for any integer $m>0$. Moreover, the following estimates hold:

$$\begin{aligned}& \|\Phi\|_{C^{m}(R\times(0,h))}\leq C\|g\|_{C^{m}(R\times(0,h))}, \\& \|\Pi\|_{C^{m}(R\times(0,h))}\leq C\|g\|_{C^{m}(R\times(0,h))}. \end{aligned}$$

For any $0< h\leq1$, we have

$$\begin{aligned} \biggl\vert \Phi_{s}(r,0)+\frac{g(r)}{h}\biggr\vert =&\biggl\vert \frac{1}{h} \int_{0}^{h}\bigl[\Phi_{s}(r,0)-\Phi _{s}(r,s)\bigr]\, ds\biggr\vert \\ \leq&h\bigl\Vert \Phi_{ss}(r,s)\bigr\Vert _{L^{\infty}(R\times(0,h))} \\ \leq&h\bigl\Vert g(r)\bigr\Vert _{L^{\infty}(R)}, \end{aligned}$$

which implies that

$$ \Phi_{s}(r,0)=-\frac{1}{h}g(r)+O(h)=\frac{1}{h} \bigl(-g(r)+O\bigl(h^{2}\bigr)\bigr). $$

It follows from $\sigma\varphi_{s}(r,0,t)=\sqrt{\mu\sigma}\Phi_{s}(r,0)$ and the definition of h that

$$ \sigma\varphi_{s}(r,0,t)=\frac{\sigma}{\delta}\bigl(-g(r)+O \bigl(h^{2}\bigr)\bigr). $$

(22)

Proof of main theorems

In this section, we put our emphasis on the proofs of Theorem 2.1 and Theorem 2.2. They contain two parts:

• 1. Recover the system in $\Omega_{1}$.

• 2. Investigate the optimal boundary conditions on $\partial\Omega_{1}$.

Proof of the first part in Theorem 2.1 and Theorem 2.2

By Lemma 2.1 and the standard compactness theorem, we have $u^{\delta}\rightharpoonup u$ weakly in $L^{2}(0,T;H^{1}(\Omega_{1}))$ and $p^{\delta}\rightharpoonup p$ weakly in $L^{2}(\Omega_{1}\times(0,T))$ as $\delta\rightarrow0$. Next, we choose the test function

$$ \eta(r,s,t)=\left \{ \textstyle\begin{array}{l@{\quad}l} g & \text{in } \Omega_{1}, \\ \sqrt{\mu}\tau\varphi_{1}+\frac{\sqrt{\sigma}\nu}{1+s\kappa}\varphi _{2} & \text{in } \Omega_{2}, \end{array}\displaystyle \right . $$

(23)

where $\varphi=(\varphi_{1},\varphi_{2})^{\tau}$ is the solution of the boundary layer problem. Note that $\operatorname{div}_{x_{1},x_{2}}\eta(r, s,t)=0$ in $\Omega_{1}\cup\Omega_{2}$ and $\eta(r,s,t)|_{\partial\Omega}=0$. Multiplying (1) by $\eta(r,s,t)$ and integrating over $\Omega \times(0,T)$, we have

$$ \int_{0}^{T} \int_{\Omega}f\cdot\eta= \int_{0}^{T} \int_{\Omega}\eta\cdot \bigl[u_{t}^{\delta}+ \bigl(u^{\delta}\cdot\nabla\bigr)u^{\delta}-{\operatorname{div}}\bigl( \mathcal{A}\nabla u^{\delta}\bigr)+\nabla p^{\delta}\bigr]. $$

(24)

To avoid the influence on $\partial\Omega_{1}$, we set $g=0$ on $\partial \Omega_{1}$, then (15) admits a unique solution $\varphi=0$. Then we have

$$ \int_{0}^{T} \int_{\Omega_{1}}f\cdot g= \int_{0}^{T} \int_{\Omega_{1}}g\cdot \bigl[u_{t}^{\delta}+ \bigl(u^{\delta}\cdot\nabla\bigr)u^{\delta}-\operatorname{div}\bigl( \mathcal{A}\nabla u^{\delta}\bigr)+\nabla p^{\delta}\bigr]. $$

Passing to the limit $\delta\rightarrow0$ and using the uniform bounds of those quantities, we recover the system and the initial condition

$$ u_{t}+(u\cdot\nabla)u-\triangle u+\nabla p=f \quad \text{in } \Omega _{1}, \qquad u(x,0)=u_{0}. $$

(25)

At last, by using the same test function, we have

$$ 0= \int_{\Omega_{1}}\operatorname{div} u^{\delta}g=- \int_{\Omega_{1}} u^{\delta}\cdot \nabla g\rightarrow- \int_{\Omega_{1}} u\cdot\nabla g, $$

which implies

$$ \operatorname{div} u=0. $$

(26)

The first part is then proved. □

Note that (25) and (26) are not determined because of lacking of boundary conditions. In the following, we investigate the boundary conditions on $\partial\Omega_{1}$ satisfied by u.

Proof of Theorem 2.1

As in [1], suppressing the t dependence, we write (24) in the following way:

$$ I_{1}^{\delta}- \int_{\Omega}f\cdot\eta=I_{2}^{\delta}, $$

where

$$\begin{aligned}& I_{1}^{\delta}=- \int_{\Omega_{1}}\eta_{t}\cdot u^{\delta}+ \int_{\Omega_{1}}\nabla \eta:\nabla u^{\delta}- \int_{\Omega_{1}}\eta_{0}\cdot u^{\delta}_{0}+ \int_{\Omega_{1}}\nabla p^{\delta}\cdot\eta+ \int_{\Omega_{1}}\bigl(u^{\delta}\cdot\nabla\bigr)u^{\delta}\cdot\eta, \\& I_{2}^{\delta}= \int_{\Omega_{2}}\eta_{t}\cdot u^{\delta}- \int_{\Omega_{2}}\nabla \eta:\mathcal{A}\nabla u^{\delta}+ \int_{\Omega_{2}}\eta_{0}\cdot u^{\delta}_{0}- \int_{\Omega_{2}}\nabla p^{\delta}\cdot\eta- \int_{\Omega_{2}}\bigl(u^{\delta}\cdot\nabla\bigr)u^{\delta}\cdot\eta. \end{aligned}$$

Denote

$$\begin{aligned} B_{1}^{\delta} =& - \int_{\Omega_{2}}\nabla\eta:\mathcal{A}\nabla u^{\delta} \\ =& - \int_{0}^{l} \int_{0}^{\delta}(1+s\kappa)\biggl[\sigma \eta_{s} u_{s}^{\delta}+\frac{\mu }{(1+s\kappa)^{2}} \eta_{r} u_{r}^{\delta}\biggr] \\ =& B_{11}^{\delta}+B_{12}^{\delta}, \end{aligned}$$

(27)

where

$$ B_{11}^{\delta}=- \int_{0}^{l} \int_{0}^{\delta}\bigl(\sigma\eta_{s} u_{s}^{\delta}+\mu\eta_{r} u_{r}^{\delta}\bigr) ,\qquad B_{12}^{\delta}= \int_{0}^{l} \int_{0}^{\delta}s\kappa\biggl(\frac{\mu}{1+s\kappa}\eta _{r} u_{r}^{\delta}-\sigma\eta_{s} u_{s}^{\delta}\biggr). $$

(28)

Also

$$\begin{aligned} B_{2}^{\delta} =&- \int_{0}^{l} \int_{0}^{\delta}\bigl[\tau p_{r}+\nu(1+sk) p_{s}\bigr]\cdot\biggl(\sqrt{\mu}\tau \varphi_{1}+ \frac{\sqrt{\sigma}\nu}{1+s\kappa}\varphi_{2}\biggr)\,dr\,ds \\ =&- \int_{0}^{l} \int_{0}^{\delta}(\sqrt{\mu} p_{r} \varphi_{1}+\sqrt{\sigma} p_{s}\varphi_{2})\,dr\,ds \\ =&\sqrt{\sigma} \int_{0}^{l} p(r,0,t)\varphi_{2}(r,0,t)\, dr. \end{aligned}$$

(29)

Also

$$ \begin{aligned} &B_{3}^{\delta}= - \int_{0}^{l} \int_{0}^{\delta}\biggl[(1+s\kappa)\sqrt{\mu}\varphi _{1}\bigl(u_{2}^{\delta}u_{1s}^{\delta}-u_{1}^{\delta}u_{2s}^{\delta}\bigr)+\frac{\sqrt{\sigma }\varphi_{2}}{1+s\kappa} \bigl(u_{1}^{\delta}u_{2r}^{\delta}-u_{2}^{\delta}u_{1r}^{\delta}\bigr)\biggr]\,dr\,ds \\ &\hphantom{B_{3}^{\delta}}= B_{31}^{\delta}+B_{32}^{\delta}, \\ &B_{31}^{\delta}=- \int_{0}^{l} \int_{0}^{\delta}\bigl[\sqrt{\mu}\varphi_{1} \bigl(u_{2}^{\delta}u_{1s}^{\delta}-u_{1}^{\delta}u_{2s}^{\delta}\bigr)+\sqrt{\sigma}\varphi _{2} \bigl(u_{1}^{\delta}u_{2r}^{\delta}-u_{2}^{\delta}u_{1r}^{\delta}\bigr)\bigr]\,dr\,ds \\ &\hphantom{B_{31}^{\delta}}=B_{311}^{\delta}+B_{312}^{\delta}. \end{aligned} $$

(30)

It is obvious that

$$\begin{aligned}& \bigl\vert B_{311}^{\delta}\bigr\vert \leq C \sqrt{\mu}, \qquad \bigl\vert B_{312}^{\delta}\bigr\vert \leq C \sqrt {\sigma}, \\& B_{32}^{\delta}=- \int_{0}^{l} \int_{0}^{\delta}s\kappa\biggl[\sqrt{\mu}\varphi _{1}\bigl(u_{2}^{\delta}u_{1s}^{\delta}-u_{1}^{\delta}u_{2s}^{\delta}\bigr)-\frac{\sqrt{\sigma }\varphi_{2}}{1+s\kappa}\bigl(u_{1}^{\delta}u_{2r}^{\delta}-u_{2}^{\delta}u_{1r}^{\delta}\bigr)\biggr]\,dr\,ds \\& \hphantom{B_{32}^{\delta}}=B_{321}^{\delta}+B_{322}^{\delta}. \end{aligned}$$

(31)

We also have

$$ \bigl\vert B_{321}^{\delta}\bigr\vert \leq C\delta\sqrt{\mu}, \qquad \bigl\vert B_{322}^{\delta}\bigr\vert \leq C\delta \sqrt{\sigma}. $$

(32)

In $\Omega_{2}$, η satisfies

$$\begin{aligned} -\mu\eta_{rr}-\sigma\eta_{ss} =&-\mu\sqrt{\mu}\tau \pi_{r}-\frac{\sigma\sqrt{\mu}\nu}{1+s\kappa}\pi_{s}-\mu \sqrt{\mu}( \tau_{r}\varphi_{1})_{r}-\mu\sqrt{\mu} \tau_{r}\varphi_{1r} \\ &{}-\biggl[\biggl(\frac{\mu\sqrt{\sigma}\nu}{1+s\kappa}\biggr)_{r}\varphi_{2} \biggr]_{r}-\biggl(\frac{\mu \sqrt{\sigma}\nu}{1+s\kappa}\biggr)_{r} \varphi_{2r} \\ &{}-\biggl[\biggl(\frac{\sigma\sqrt{\sigma}\nu}{1+s\kappa}\biggr)_{s} \varphi_{2}\biggr]_{s}-\biggl(\frac {\sigma\sqrt{\sigma}\nu}{1+s\kappa} \biggr)_{s}\varphi_{2s}. \end{aligned}$$

(33)

Multiplying (33) by η and integrating over $[0,l)\times (0,\delta)$ and elaborated computation based on (33), and by integration by parts, we have

$$\begin{aligned}& \int_{0}^{l} \int_{0}^{\delta}\mu \vert \eta_{r}\vert ^{2}+\sigma \vert \eta_{s}\vert ^{2} \\& \quad = -\sigma\mu \int_{0}^{l}\varphi_{1}(r,0,t) \varphi_{1s}(r,0,t)-\sigma^{2} \int _{0}^{l}\varphi_{2}(r,0,t) \varphi_{2s}(r,0,t) \\& \qquad {} +\sigma\sqrt{\mu\sigma} \int_{0}^{l}\pi(r,0,t)\varphi_{2}(r,0,t)+2 \mu\sigma \int_{0}^{l} \int_{0}^{\delta}\kappa\bigl\vert \varphi_{2}(r,0,t)\bigr\vert ^{2} \\& \qquad {} + \int_{0}^{l} \int_{0}^{\delta}\biggl[\mu^{2}- \frac{\mu\sigma}{(1+s\kappa)^{2}}\biggr]\pi\varphi_{1r} -\sigma\sqrt{\mu\sigma} \int_{0}^{l} \int_{0}^{\delta}\frac{2\kappa}{(1+s\kappa )^{3}}\pi \varphi_{2} \\& \qquad {} +\mu^{2} \int_{0}^{l} \int_{0}^{\delta}\kappa^{2}\vert \varphi_{1}\vert ^{2} -\mu\sigma \int_{0} ^{l} \int_{0}^{\delta}\biggl(\frac{\kappa}{1+s\kappa} \biggr)^{2}\vert \varphi _{2}\vert ^{2} \\& \qquad {} +\mu\sigma \int_{0}^{l} \int_{0}^{\delta}\biggl\vert \biggl(\frac{1}{1+s\kappa} \biggr)_{r}\varphi_{2}\biggr\vert ^{2} + \sigma^{2} \int_{0}^{l} \int_{0}^{\delta}\biggl\vert \biggl(\frac{1}{1+s\kappa} \biggr)_{s}\varphi_{2}\biggr\vert ^{2}. \end{aligned}$$

(34)

Multiplying (33) by $u^{\delta}$ and integrating over $[0,l)\times (0,\delta)$, we have

$$\begin{aligned}& \int_{0}^{l} \int_{0}^{\delta}(\mu\eta_{rr}+\sigma \eta_{ss})\cdot u^{\delta} \\& \quad = 2\sigma\sqrt{\sigma} \int_{0}^{l}\kappa\nu\varphi_{2}(r,0,t) \cdot u^{\delta}(r,0,t) \\& \qquad {}+\sigma\sqrt{\mu} \int_{0}^{l}\nu\pi(r,0,t)u^{\delta}(r,0,t) +\mu\sqrt{\mu} \int_{0}^{l} \int_{0}^{\delta}\tau_{r}\pi\cdot u^{\delta} \\& \qquad {}+\mu\sqrt{\mu } \int_{0}^{l} \int_{0}^{\delta}\tau\pi\cdot u^{\delta}_{r}+\sigma\sqrt{\mu} \int_{0}^{l} \int_{0}^{\delta}\frac{\nu}{1+s\kappa}\pi\cdot u^{\delta}_{s} \\& \qquad {} -\sigma\sqrt{\mu} \int_{0}^{l} \int_{0}^{\delta}\frac{\nu\kappa}{(1+s\kappa )^{2}}\pi\cdot u^{\delta}-2\mu\sqrt{\mu} \int_{0}^{l} \int_{0}^{\delta}\kappa\nu \varphi_{1}\cdot u^{\delta}_{r} \\& \qquad {} +2\mu\sqrt{\sigma} \int_{0}^{l} \int_{0}^{\delta}\biggl(\frac{\nu}{1+s\kappa } \biggr)_{r}\varphi_{2}\cdot u^{\delta}_{r}+2 \sigma\sqrt{\sigma} \int_{0}^{l} \int _{0}^{\delta}\biggl(\frac{\nu}{1+s\kappa} \biggr)_{s}\varphi_{2}\cdot u^{\delta}_{s} \\& \qquad {} -\mu\sqrt{\mu} \int_{0}^{l} \int_{0}^{\delta}\kappa'\nu \varphi_{1}\cdot u^{\delta}-\mu\sqrt{\mu} \int_{0}^{l} \int_{0}^{\delta}\kappa^{2}\tau \varphi_{1}\cdot u^{\delta} \\& \qquad {} +\mu\sqrt{\sigma} \int_{0}^{l} \int_{0}^{\delta}\biggl(\frac{\nu}{1+s\kappa } \biggr)_{rr}\varphi_{2}\cdot u^{\delta}+\sigma\sqrt{ \sigma} \int_{0}^{l} \int _{0}^{\delta}\biggl(\frac{\nu}{1+s\kappa} \biggr)_{ss}\varphi_{2}\cdot u^{\delta}. \end{aligned}$$

(35)

Integrating by parts, combining with (22), (23), and (35), we have

$$\begin{aligned} B_{11}^{\delta} =& \int_{0}^{l} \int_{0}^{\delta}(\mu\eta_{rr}+\sigma\eta _{ss})\cdot u^{\delta}+\sigma \int_{0}^{l}\eta_{s}(r,0,t)\cdot u^{\delta}(r,0,t)\,dr \\ =& -\frac{\sigma}{\delta}\sqrt{\mu} \int_{0}^{l}\tau g_{1}(r,t)u^{\delta}(r,0,t)\,dr-\frac{\sigma}{\delta}\sqrt{\sigma} \int_{0}^{l}\nu g_{2}(r,t)u^{\delta}(r,0,t)\,dr \\ &{} +\sigma\sqrt{\sigma} \int_{0}^{l}\nu\kappa\varphi_{2}(r,0,t)u^{\delta}(r,0,t)\,dr-\sigma\sqrt{\mu} \int_{0}^{l}\nu\pi(r,0,t)u^{\delta}(r,0,t)\,dr \\ &{} -\mu\sqrt{\mu} \int_{0}^{l} \int_{0}^{\delta}\tau_{rr} \varphi_{1}\cdot u^{\delta}-2\mu\sqrt{\mu} \int_{0}^{l} \int_{0}^{\delta}\tau_{r} \varphi_{1}\cdot u^{\delta}_{r} \\ &{} -\mu\sqrt{\mu} \int_{0}^{l} \int_{0}^{\delta}\tau_{r}\pi\cdot u^{\delta}-\mu\sqrt {\mu} \int_{0}^{l} \int_{0}^{\delta}\tau\pi\cdot u^{\delta}_{r} \\ &{} -\mu\sqrt{\sigma} \int_{0}^{l} \int_{0}^{\delta}\biggl(\frac{\nu}{1+s\kappa } \biggr)_{rr}\varphi_{2}\cdot u^{\delta}-2\mu\sqrt{ \sigma} \int_{0}^{l} \int_{0}^{\delta}\biggl(\frac{\nu}{1+s\kappa} \biggr)_{r}\varphi_{2}\cdot u^{\delta}_{r} \\ &{}-\sigma\sqrt{\sigma} \int_{0}^{l} \int_{0}^{\delta}\biggl(\frac{\nu}{1+s\kappa } \biggr)_{ss}\varphi_{2}\cdot u^{\delta}-2\sigma\sqrt{ \sigma} \int_{0}^{l} \int_{0}^{\delta}\biggl(\frac{\nu}{1+s\kappa} \biggr)_{s}\varphi_{2}\cdot u^{\delta}_{s} \\ &{} -\sigma\sqrt{\mu} \int_{0}^{l} \int_{0}^{\delta}\biggl(\frac{\nu}{1+s\kappa} \biggr)_{s}\pi \cdot u^{\delta}-\sigma\sqrt{\mu} \int_{0}^{l} \int_{0}^{\delta}\frac{\nu}{1+s\kappa }\pi\cdot u^{\delta}_{s}+\frac{\sigma}{\delta}\sqrt{\mu}o \bigl(h^{2}\bigr). \end{aligned}$$

(36)

By using the Hölder inequality and (34), we have

$$ \bigl\vert B_{12}^{\delta}\bigr\vert \leq C\delta\biggl( \int_{0}^{l} \int_{0}^{\delta}\mu \vert \eta_{r}\vert ^{2}+\sigma \vert \eta_{s}\vert ^{2} \biggr)^{\frac{1}{2}} \biggl( \int_{0}^{l} \int_{0}^{\delta}\mu\bigl\vert u^{\delta}_{r} \bigr\vert ^{2}+\sigma\bigl\vert u^{\delta}_{s} \bigr\vert ^{2}\biggr)^{\frac {1}{2}}. $$

(37)

Now we consider the limit to (29), (30), (36), and (37) as $\delta\rightarrow0$. We study three cases:

1. If $\lim_{\delta\rightarrow0}\frac{\sigma^{\frac {3}{2}}}{\delta}=0$, in this case, $\lim_{\delta\rightarrow 0}\sigma=\lim_{\delta\rightarrow0}\mu=0$, we have

$$ B_{1}^{\delta}=B_{11}^{\delta}+B_{12}^{\delta}\rightarrow0,\qquad B_{2}^{\delta}\rightarrow0, \qquad B_{3}^{\delta}\rightarrow0. $$

We obtain the boundary condition

$$ \frac{\partial u}{\partial\nu}=(u\otimes u+pI)\cdot\nu \quad \text{on } \partial \Omega_{1}. $$

2. If $\lim_{\delta\rightarrow0}\frac{\sigma^{\frac {3}{2}}}{\delta}=\alpha\in(0,+\infty)$, in this case, $\lim_{\delta\rightarrow0}\sigma=\lim_{\delta\rightarrow 0}\mu=0$, we consider two different subcases.

2(i). If $\lim_{\delta\rightarrow0}\frac{\mu}{\sigma}=0$, we have

$$ B_{1}^{\delta}=B_{11}^{\delta}+B_{12}^{\delta}\rightarrow-\alpha \int_{0}^{l}\nu g_{2}(r,t)u(r,0,t)\, dr, \qquad B_{2}^{\delta}\rightarrow0, \qquad B_{3}^{\delta}\rightarrow0. $$

Then the boundary condition is

$$ \frac{\partial u}{\partial\nu}-(u\otimes u+pI)\cdot\nu=\alpha\nu \cdot u(r,0,t)e_{2} \quad \text{on } \partial\Omega_{1}. $$

2(ii). If $\lim_{\delta\rightarrow0}\frac{\mu}{\sigma}=\beta\in (0,1]$, we also have $B_{2}^{\delta}\rightarrow0$ and $B_{3}^{\delta}\rightarrow0$,

$$ B_{1}^{\delta}\rightarrow-\alpha\sqrt{\beta} \int_{0}^{l}\tau g_{1}(r,t)u(r,0,t)\, dr- \alpha \int_{0}^{l}\nu g_{2}(r,t)u(r,0,t)\, dr, $$

which implies

$$ \frac{\partial u}{\partial\nu}-(u\otimes u+pI)\cdot\nu=\alpha\sqrt {\beta}\tau\cdot u e_{1}+\alpha\nu\cdot u e_{2}\quad \text{on } \partial \Omega_{1}. $$

3. If $\lim_{\delta\rightarrow0}\frac{\sigma^{\frac {3}{2}}}{\delta}=+\infty$, in this case, we also consider two different subcases.

3(i). If $\lim_{\delta\rightarrow0}\frac{\mu}{\sigma}=0$, we have

$$ \frac{\delta}{\sigma\sqrt{\sigma}}B_{1}^{\delta}=\frac{\delta}{\sigma\sqrt {\sigma}}B_{11}^{\delta}+ \frac{\delta}{\sigma\sqrt{\sigma}}B_{12}^{\delta}. $$

Moreover, if $\sigma\geq M>0$,

$$ \frac{\delta}{\sigma\sqrt{\sigma}}\bigl\vert B_{2}^{\delta}\bigr\vert \leq \frac{\delta}{M\sqrt {M}} \int_{0}^{l}\bigl\vert p^{\delta}(r,0,t) \varphi_{2}(r,0,t)\bigr\vert \, dr\rightarrow0. $$

If $0<\sigma< M$, we have

$$ \frac{\delta}{\sigma\sqrt{\sigma}}\bigl\vert B_{2}^{\delta}\bigr\vert \leq \frac{\delta}{\sigma \sqrt{\sigma}}\sqrt{M} \int_{0}^{l}\bigl\vert p^{\delta}(r,0,t) \varphi _{2}(r,0,t)\bigr\vert \, dr\rightarrow0. $$

The limit of $B_{3}^{\delta}$ can be derived as $B_{2}^{\delta}$ and we have $\frac{\delta}{\sigma\sqrt{\sigma}}|B_{3}^{\delta}|\rightarrow0$.

Then we obtain

$$ \int_{0}^{l}\nu g_{2}(r,t)u^{\delta}(r,0,t) \, dr\rightarrow \int_{0}^{l}\nu g_{2}(r,t)u(r,0,t)\, dr=0, $$

which implies

$$ u(r,0,t)\cdot\nu=0 \quad \text{on } \partial\Omega_{1}. $$

3(ii). If $\lim_{\delta\rightarrow0}\frac{\mu}{\sigma}=\beta\in (0,1]$, we have

$$\begin{aligned} \frac{\delta}{\sigma\sqrt{\sigma}}B^{\delta} =&\frac{\delta}{\sigma\sqrt {\sigma}}B_{11}^{\delta}+ \frac{\delta}{\sigma\sqrt{\sigma}}B_{12}^{\delta}\\ \rightarrow&-\sqrt{\beta} \int_{0}^{l}\tau g_{1}(r,t)u(r,0,t)\, dr- \int_{0}^{l}\nu g_{2}(r,t)u(r,0,t)\, dr=0. \end{aligned}$$

Following the steps in 3(i), we also have

$$ \frac{\delta}{\sigma\sqrt{\sigma}}B_{2}^{\delta}\rightarrow0, \qquad \frac {\delta}{\sigma\sqrt{\sigma}}B_{3}^{\delta}\rightarrow0. $$

Then we obtain the boundary condition on u,

$$ u(r,0,t)\cdot\tau|_{\partial\Omega_{1}}=0, \qquad u(r,0,t)\cdot\nu |_{\partial\Omega_{1}}=0, $$

which gives

$$ u(r,0,t)=0 \quad \text{on } \partial\Omega_{1}. $$

Theorem 2.1 is proved. □

Proof of Theorem 2.2

Under the conditions in Theorem 2.2, (29), (33), and (34) are still satisfied. To obtain the boundary condition as $\delta \rightarrow0$, we consider three cases:

1. If $\lim_{\delta\rightarrow0}\frac{\mu^{\frac{3}{2}}}{\delta }=0$, then $\lim_{\delta\rightarrow0}\frac{\sigma\sqrt{\mu }}{\delta} =\lim_{\delta\rightarrow0}\frac{\sigma\sqrt{\sigma}}{\delta }=0$, $\lim_{\delta\rightarrow0}\sigma=\lim_{\delta \rightarrow0}\mu$=0, we have

$$ B_{1}^{\delta}=B_{11}^{\delta}+B_{12}^{\delta}\rightarrow0, \qquad B_{2}^{\delta}\rightarrow0, \qquad B_{3}^{\delta}\rightarrow0. $$

Then we obtain the optimal boundary condition on u,

$$ \frac{\partial u}{\partial\nu}-(u\otimes u+pI)\cdot\nu=0\quad \text{on } \partial \Omega_{1}. $$

2. If $\lim_{\delta\rightarrow0}\frac{\mu^{\frac{3}{2}}}{\delta }=\alpha\in(0,+\infty)$, then $\lim_{\delta\rightarrow0}\sigma =\lim_{\delta\rightarrow0}\mu=0$, and we consider two subcases.

2(i). If $\lim_{\delta\rightarrow0}\frac{\sigma}{\mu}=0$, then we have $\lim_{\delta\rightarrow0}\frac{\sigma\sqrt{\sigma }}{\delta}\leq \lim_{\delta\rightarrow0}\frac{\sigma\sqrt{\mu}}{\delta} =\lim_{\delta\rightarrow0}(\frac{\mu\sqrt{\mu}}{\delta}\times \frac{\sigma}{\mu})=0$, passing to the limit, we have

$$ B_{1}^{\delta}=B_{11}^{\delta}+B_{12}^{\delta}\rightarrow0,\qquad B_{2}^{\delta}\rightarrow0, \qquad B_{2}^{\delta}\rightarrow0. $$

Then we obtain the optimal boundary condition on u,

$$ \frac{\partial u}{\partial\nu}-(u\otimes u+pI)\cdot\nu=0\quad \text{on } \partial \Omega_{1}. $$

2(ii). If $\lim_{\delta\rightarrow0}\frac{\sigma}{\mu}=\beta\in (0,1]$, then we have $\lim_{\delta\rightarrow0}\frac{\sigma\sqrt {\sigma}}{\delta}= \lim_{\delta\rightarrow0}(\frac{\mu\sqrt{\mu}}{\delta}\times \frac{\sigma\sqrt{\sigma}}{\mu\sqrt{\mu}})=\alpha\beta^{\frac{3}{2}}$, $\lim_{\delta\rightarrow0}\frac{\sigma\sqrt{\mu}}{\delta} =\lim_{\delta\rightarrow0}(\frac{\mu\sqrt{\mu}}{\delta}\times \frac{\sigma}{\mu})=\alpha\beta$, passing to the limit, we have

$$ B_{1}^{\delta}\rightarrow\alpha\beta \int_{0}^{l}(\tau\cdot ue_{1})\cdot g\, dr+\alpha\beta ^{\frac{3}{2}} \int_{0}^{l}(\nu\cdot ue_{2})\cdot g\, dr, \qquad B_{2}^{\delta}\rightarrow 0, \qquad B_{3}^{\delta}\rightarrow0. $$

Then we obtain the optimal boundary condition on u,

$$ \frac{\partial u}{\partial\nu}-(u\otimes u+pI)\cdot\nu=\alpha\beta \tau\cdot u e_{1}+\alpha\beta^{\frac{3}{2}}\nu\cdot u e_{2}\quad \text{on } \partial\Omega_{1}. $$

3. If $\lim_{\delta\rightarrow0}\frac{\mu^{\frac{3}{2}}}{\delta }=+\infty$, then $\lim_{\delta\rightarrow0}\frac{\sigma\sqrt{\mu }}{\delta}=+\infty$. We consider two subcases.

3(i). If $\lim_{\delta\rightarrow0}\frac{\sigma}{\mu}=0$, then we have

$$ \frac{\delta}{\sigma\sqrt{\mu}} B_{1}^{\delta}=\frac{\delta}{\sigma\sqrt {\mu}}B_{11}^{\delta}+ \frac{\delta}{\sigma\sqrt{\mu}}B_{12}^{\delta}\rightarrow- \int_{0}^{l}(\tau\cdot ue_{1})\cdot g\, dr. $$

Moreover, if $\mu\geq a>0$,

$$ \frac{\delta}{\sigma\sqrt{\mu}}\bigl\vert B_{2}^{\delta}\bigr\vert \leq \frac{\delta}{a}\sqrt {M} \int_{0}^{l}\bigl\vert p^{\delta}(r,0,t) \varphi_{2}(r,0,t)\bigr\vert \, dr\rightarrow0. $$

If $0<\mu< M$, we have

$$ \frac{\delta}{\sigma\sqrt{\mu}}\bigl\vert B_{2}^{\delta}\bigr\vert \leq \frac{\delta}{\sigma \sqrt{\mu}}\sqrt{M} \int_{0}^{l}\bigl\vert p^{\delta}(r,0,t) \varphi _{2}(r,0,t)\bigr\vert \, dr\rightarrow0. $$

The limit of $B_{3}^{\delta}$ can be derived as $B_{2}^{\delta}$ and we have $\frac{\delta}{\sigma\sqrt{\sigma}}|B_{3}^{\delta}|\rightarrow0$. Then we obtain the optimal boundary condition on u,

$$ u\cdot\tau=0\quad \text{on } \partial\Omega_{1}. $$

3(ii). If $\lim_{\delta\rightarrow0}\frac{\sigma}{\mu}=\beta\in (0,1]$, then we have

$$\begin{aligned} \frac{\delta}{\sigma\sqrt{\mu}} B_{1}^{\delta} =&\frac{\delta}{\sigma\sqrt {\mu}}B_{11}^{\delta}+ \frac{\delta}{\sigma\sqrt{\mu}}B_{12}^{\delta}\\ \rightarrow&- \int_{0}^{l}(\tau\cdot ue_{1})\cdot g \, dr- \int_{0}^{l}(\sqrt{\beta }\nu\cdot ue_{2}) \cdot g\, dr. \end{aligned}$$

Following the steps in 3(i), we have

$$ \frac{\delta}{\sigma\sqrt{\mu}}\bigl\vert B_{2}^{\delta}\bigr\vert \rightarrow0. $$

Then we obtain the optimal boundary condition on u,

$$ \tau\cdot ue_{1}+\sqrt{\beta}\nu\cdot ue_{2}=0 \quad \text{on } \partial \Omega_{1}, $$

which implies

$$ u=0\quad \text{on } \partial\Omega_{1}, $$

Theorem 2.2 is then proved. □

Remark 4.1

As stated in the introduction, to protect $\partial\Omega_{1}$ from eroding, it is desirable that the eigenvector corresponding to the smallest eigenvalue is orthogonal to the boundary of the body in order to directly confront the ambient effect. In our problem, it requires $\delta\leq\sigma\leq\mu$. The optimal boundary conditions to our problem are given in Theorem 2.2. We must acknowledge that we need the condition $\delta\leq\sigma\leq\mu\leq M\sigma$ for some constants $M>0$ so that we can ensure $0< h\leq1$ as δ is small enough. If this condition does not hold, the estimate (22) will not be satisfied. The case that $h>1$ we will consider in the future.