Skip to main content

Convergence rates of nonlinear Stokes problems in homogenization


In this paper, we study the convergence rates of solutions in homogenization of nonlinear Stokes Dirichlet problems. The main difficulty of this work is twofold. On the one hand, the nonlinear Stokes problems do not fit the standard framework of second-order elliptic equations in divergence form. On the other hand, nonlinear problems may cause new difficulties in the estimation of the quantity as well as first-order approximate term. As a consequence, we establish the sharp rates of convergence in \(H^{1}\) and \(L^{2}\). This work may be regarded as an extension of the approach for the linear Stokes problems to the nonlinear case.

1 Introduction

The main purpose of this paper is to establish the sharp rates of convergence in \(H^{1}\) and \(L^{2}\) for nonlinear Stokes problems with the Dirichlet boundary condition. More precisely, let Ω be a bounded \(C^{1,1}\) domain in \(\mathbb{R}^{n}\), \(n \geq 3\). Let \(u_{\varepsilon }\in H^{1}(\varOmega;\mathbb{R}^{n})\) be a weak solution to the following problem, which arose in fluid dynamics with porous media:

$$ \textstyle\begin{cases} L_{\varepsilon }u_{\varepsilon }+\triangledown p_{\varepsilon } =F &\text{in }\varOmega, \\ \operatorname{div} u_{\varepsilon }=f& \text{in }\varOmega, \\ u_{\varepsilon }=g &\text{on }\partial \varOmega, \end{cases} $$

with the compatibility condition

$$ \int _{\varOmega }f\,dx= \int _{\partial \varOmega }g\cdot n\,d\sigma, $$

where n is the outward unit normal to ∂Ω.

Throughout this paper, the summation convention is used. The nonlinear operator \(L_{\varepsilon }\) is defined by

$$ L_{\varepsilon }=-\operatorname{div}A(x/\varepsilon,\triangledown ). $$

We will assume that the function A satisfies the periodicity condition

$$ A(y+Y,\xi )=A(y,\xi ) \quad\text{for } Y=[0,1)^{n}\simeq \mathbb{R}^{n}/\mathbb{Z}^{n}, $$

coerciveness and growth conditions

$$\begin{aligned} &\bigl\langle A(y,\xi )-A\bigl(y,\xi '\bigr),\xi -\xi '\bigr\rangle \geq \lambda _{1} \bigl\vert \xi -\xi ' \bigr\vert ^{2}, \end{aligned}$$
$$\begin{aligned} & \bigl\vert A(y,\xi )-A\bigl(y,\xi '\bigr) \bigr\vert \leq \frac{1}{\lambda _{1}} \bigl\vert \xi -\xi ' \bigr\vert , \end{aligned}$$

for all \(y\in \mathbb{R}^{n}\) and \(\xi,\xi '\in \mathbb{R}^{n}\), where \(\lambda _{1}>0\). We impose the smoothness condition

$$ \bigl\vert A(y,\xi )-A\bigl(y',\xi \bigr) \bigr\vert \leq \lambda _{2} \bigl\vert y-y' \bigr\vert ^{\alpha },\quad F\in H^{-1}( \varOmega ),f\in L^{2}( \varOmega ),g\in H^{1/2}(\partial \varOmega ), $$

where \(\lambda _{2}>0\) and \(0<\alpha \leq 1\). Without loss of generality, we also assume that

$$ \frac{1}{ \vert \varOmega \vert } \int _{\varOmega }p_{\varepsilon }\,dx=0. $$

Associated with (1.1) is the homogenized problem

$$ \textstyle\begin{cases} L_{0}u_{0}+\triangledown p_{0} =F & \text{in }\varOmega, \\ \operatorname{div} u_{0}=f &\text{in } \varOmega, \\ u_{0}=g &\text{on }\partial \varOmega. \end{cases} $$

The homogenized operator is defined by

$$ L_{0}=-\operatorname{div} Q(\triangledown ), $$

where the function Q is given, for each \(\xi \in \mathbb{R}^{n}\), by

$$ Q(\xi )= \int _{Y}A\bigl(y,\xi +\triangledown _{y} N(y,\xi ) \bigr)\,dy. $$

The periodic functions \((N, \chi )\in H^{1}(\mathbb{R} ^{n})\times L^{2}(\mathbb{R}^{n})\) are the so-called correctors, satisfying the following cell problem:

$$ \textstyle\begin{cases} \operatorname{div}A(y,\xi +\triangledown _{y} N(y,\xi ))-\triangledown \chi =0 \quad\text{in }Y, \\ N(y+Y,\xi )=N(y,\xi ), \\ \int _{Y}N(y,\xi )\,dy=0. \end{cases} $$

It is well known that, by the homogenization theory of Stokes problems, the solution \(u_{\varepsilon }\rightharpoonup u_{0}\) weakly in \(H^{1}(\varOmega;\mathbb{R}^{n})\), \(p_{\varepsilon }\rightharpoonup p _{0}\) weakly in \(L^{2}(\varOmega )\), and \(A(x/\varepsilon, \triangledown u_{\varepsilon })\rightharpoonup Q(\triangledown u_{0})\) weakly in \(L^{2}(\varOmega,\mathbb{R}^{n\times n})\), as \(\varepsilon \rightarrow 0\). The existence and convergence results of the weak solution to problem (1.1) may be found in [4, 12].

The convergence rate estimate is one of the fundamental issues in quantitative homogenization. There are many such classic works about convergence results of solutions in homogenization of second-order elliptic equations with the various settings. In 2011, Gérard and Masmoudi [6] got the \(L^{2}\) convergence for the Neumann boundary layer problems. In 2012, Kenig, Lin, and Shen [13] established \(L^{2}\) as well as \(H^{\frac{1}{2}}\) convergence in Lipschitz domains for Dirichlet and Neumann problems. In 2013, Aleksanyan, Shahgholian, and Sjölin [1, 2] proved pointwise and \(L^{p}\) convergence estimates for fixed operators and oscillating Dirichlet boundary data. In 2014, Kenig, Lin, and Shen [14] also obtained \(W^{k,p}\) convergence rates of Dirichlet or Neumann problems for the second-order equations with rapidly oscillating periodic coefficients by using the asymptotic estimates of the Green or Neumann functions. In 2015, the second author [24] proved the pointwise as well as \(W^{1,p}\) convergence estimates for the fixed operators and oscillating Neumann boundary data by utilizing oscillation integral estimates in Fourier analysis. In 2016, Shen [17] proved the \(L^{q}\) convergence rates with Dirichlet or Neumann problems with no smoothness assumption on the coefficients. In 2018, Shen and Zhuge [19] got the \(L^{2}\) convergence rate for the Neumann problems with first-order oscillating Neumann boundary data.

For the case of Stokes problems, some outstanding results about regularity and convergence of solutions in homogenization were established by Gu and Shen in a series of papers. The uniform interior estimates and boundary Hölder estimates for the Dirichlet problem have been established in [8]. Then, the authors in [9] obtained the sharp boundary regularity estimates in homogenization of Dirichlet problem. In 2015, Gu [7] also proved convergence rates in \(L^{2}\) and \(H^{1}\) of Dirichlet problems for linear Stokes systems. In 2017, Gu and Shen [10] got the asymptotic behaviors of the Green functions as well as the convergence rates in \(L^{p}\) and \(L^{\infty }\) for solutions. Recently, other authors have also been interested in the regularity estimates for the Stokes problems, see [3, 5, 11, 23] and their references for more results.

The main difficulty of this work is twofold. On the one hand, the nonlinear Stokes problems do not fit the standard framework of second-order elliptic equations in divergence form, which is caused by the pressure term. On the other hand, nonlinear problems may cause new difficulties in the estimation of the quantity as well as first-order approximate term.

The motivation for studying this paper is inspired by the technology used to deal with linear Stokes problems studied by Gu in [7]. The novelty of this paper lies in that it may be regarded as an extension of the approach for the linear Stokes problems to the nonlinear case. As the author knows, very few convergence rate results are known in the field of nonlinear Stokes problems.

The following are the main results of this paper.

Theorem 1

Let Ω be a bounded \(C^{1,1}\) domain in \(\mathbb{R}^{n}\). Let \(u_{\varepsilon }\in H^{1}(\varOmega;\mathbb{R} ^{n})\) and \(u_{0}\in H^{2}(\varOmega;\mathbb{R}^{n})\) be the weak solutions of the mixed boundary value problems (1.1) and (1.9), respectively. Then, under assumptions (1.2)(1.8), there exists a constant C such that

$$ \bigl\Vert u_{\varepsilon }-u_{0}-\varepsilon N\bigl(x/\varepsilon, T_{ \varepsilon }(\triangledown \widetilde{u}_{0})\bigr)+\omega _{\varepsilon } \bigr\Vert _{H_{0}^{1}(\varOmega )}\leq C\varepsilon \Vert u_{0} \Vert _{H^{2}(\varOmega )}, $$

where \(T_{\varepsilon }\) is the smoothing operator, \(\widetilde{u} _{0}\) is an extension of \(u_{0}\), and \(\omega _{\varepsilon }\) is an approximate function.

Theorem 2

Under the same assumptions as Theorem 1, there exists a constant C such that

$$\begin{aligned} \bigl\Vert u_{\varepsilon }-u_{0}-\varepsilon N\bigl(x/\varepsilon, T_{ \varepsilon }(\triangledown \widetilde{u}_{0})\bigr) \bigr\Vert _{H^{1}( \varOmega )}\leq C\varepsilon ^{1/2} \Vert u_{0} \Vert _{H^{2}( \varOmega )}. \end{aligned}$$

Theorem 3

Under the same conditions as Theorem 1, there exists a constant C such that

$$\begin{aligned} \Vert u_{\varepsilon }-u_{0} \Vert _{L^{2}(\varOmega )}\leq C \varepsilon ^{1/2} \Vert u_{0} \Vert _{H^{2}(\varOmega )}. \end{aligned}$$

The rest of the paper is organized as follows. Section 2 contains some basic definitions and useful propositions which will play important roles in obtaining convergence rates. In Sect. 3, we show that the solution \(u_{\varepsilon }\) of nonlinear Stokes problems is convergent to the solution \(u_{0}\) of the corresponding homogenized problems, this is based on using of a smoothing operator as well as homogenization tools.

2 Preliminaries

We begin by specifying some of our notations.

Let \(B_{r}(x)\) denote an open ball with center x and radius r. \(\varOmega _{\varepsilon }=\{x\in \mathbb{R}^{n}: \operatorname{dist}(x,\partial \varOmega )\leq \varepsilon \}\). Since Ω is Lipschitz, then there exists a bounded extension operator \(E:H^{2}(\varOmega )\rightarrow H^{2}( \mathbb{R}^{n})\) such that \(\widetilde{u}_{0}\) is an extension of \(u_{0}\) satisfying \(\Vert \widetilde{u}_{0} \Vert _{H^{2}(\mathbb{R}^{n})}\leq C \Vert u_{0} \Vert _{H^{2}(\varOmega )}\). We also set \(\varphi \in C_{0}^{\infty }( \varOmega;\mathbb{R}^{n})\) is a smooth function and \(\Vert \varphi \Vert _{H^{1}(\mathbb{R}^{n})}\leq C \Vert \varphi \Vert _{H^{1}(\varOmega )}\). We choose a cut-off function \(\eta _{\varepsilon }\in C_{0}^{\infty }(\mathbb{R}^{n})\), which satisfies the conditions: \(\operatorname{supp}{(}\eta _{\varepsilon }{)} \subset \varOmega _{\varepsilon }\), \(\eta _{\varepsilon }|_{\partial \varOmega }\equiv 1\) and \(\vert \triangledown \eta _{\varepsilon } \vert \leq C/\varepsilon \). In this paper, C always denotes a positive constant which may vary in different formulas.

Associated with operator \(L_{\varepsilon }\) in (1.1), the homogenized operator is

$$ L_{0} =-\operatorname{div}Q(\triangledown )\quad \text{in }\varOmega, $$

the function Q and corrector function \(N(x/\varepsilon, \triangledown u_{0})\) are defined in (1.10), (1.11), respectively, and they satisfy the following properties.

Proposition 2.1

The function Q defined in (1.10) satisfies the analogous properties as function A:

$$ \bigl\vert Q(\xi )-Q\bigl(\xi '\bigr) \bigr\vert \leq C \bigl\vert \xi -\xi ' \bigr\vert $$


$$ \bigl\langle Q(\xi )-Q\bigl(\xi '\bigr),\xi -\xi ' \bigr\rangle \geq C \bigl\vert \xi -\xi ' \bigr\vert ^{2} $$

for all \(\xi,\xi '\in \mathbb{R}^{n}\).


The proof could be found in [16], which is similar to the linear operator case. Obviously, this shows that the homogenized operator \(L_{0}\) still satisfies the same coerciveness and growth conditions. □

Proposition 2.2

The function \(N(\cdot, \xi )\in H^{1}(Y)\) is a weak solution to (1.11). Then we have

$$ \bigl\Vert N(y,\xi ) \bigr\Vert _{L^{\infty }(Y)}\leq C \vert \xi \vert ,\qquad \int _{Y} \bigl\vert \triangledown _{\xi }N(y,\xi ) \bigr\vert ^{2}\,dy\leq C $$


$$ \int _{Y} \bigl\vert N(y,\xi ) \bigr\vert ^{2} \,dy+ \int _{Y} \bigl\vert \triangledown _{y} N(y,\xi ) \bigr\vert ^{2}\,dy \leq C \vert \xi \vert ^{2} $$

for all \(y,\xi \in \mathbb{R}^{n}\).


These estimates have been proved in [16] and [22]. Multiplying both sides of (1.11) by \(N(y,\xi )\) and integrating by parts, one could get the desired results. □

The next proposition is the special relation between Q and A in homogenization. We also call them the flux correctors.

Proposition 2.3


$$ F(y,\xi )=Q(\xi )-A\bigl(y, \xi +\triangledown N(y,\xi )\bigr), $$

where \(y\in Y\) and \(\xi \in \mathbb{R}^{n}\). Together with (1.10) and (1.11), it is easy to know that \(F(\cdot,\xi )\) satisfies conditions \(\int_{Y}F(y,\xi )\,dy=0\) and \(\operatorname{div}_{y}F(y, \xi )=\triangledown \chi \). Then there exists \(\varPhi _{ij}(\cdot,\xi )\in H^{1}(\mathbb{R}^{n})\) such that

$$ \varPhi _{ij}(y,\xi )=-\varPhi _{ji}(y,\xi )\quad \textit{and}\quad F_{j}(y,\xi )=\frac{\partial \varPhi _{ij}(y,\xi )}{{\partial y_{i}}}+\chi _{j}. $$


$$ \int _{Y} \bigl\vert \varPhi _{ij}(y,\xi ) \bigr\vert ^{2}\,dy+ \int _{Y} \bigl\vert \triangledown _{\xi }\varPhi _{ij}(y,\xi ) \bigr\vert ^{2}\,dy\leq C. $$


The linear operator case is well known (see, for example, [13], Lemma 3.1). This proposition is quite similar to the linear case. Let \(f_{j}\in H^{2}(Y)\) be the solution to the cell problem \(\triangle f_{j}+\chi _{j}=F_{j}\) in Y. Then, we could define \(\varPhi _{ij}(y,\xi )=\frac{\partial }{\partial y_{i}}[f_{j}(y,\xi )]-\frac{ \partial }{\partial y_{j}}[f_{i}(y,\xi )]\). From every estimate and (1.11), we may get the desired properties. We refer the reader to [7] for more details. □

Recently, the smoothing operators were introduced by Suslina in [20, 21], which was used to establish the convergence estimate in \(L^{2}\) for a broad class of elliptic or parabolic operators. This work seems to extend the usage of smoothing operators to the case of nonlinear Stokes problems.

Fix \(\psi \in C^{\infty }_{0}(B_{1}(0))\) such that \(\psi \geq 0\) and \(\int _{\mathbb{R}^{n}}\psi \,dx=1\). Define operator \(T_{\varepsilon }\) on \(L^{2}\) as

$$ T_{\varepsilon }(u) (x)=u\ast \psi _{\varepsilon }= \int _{\mathbb{R}^{n}}u(x-y) \psi _{\varepsilon }(y)\,dy, $$

where \(\psi _{\varepsilon }(x)=\varepsilon ^{-n}\psi (x/\varepsilon )\).

Proposition 2.4

If \(u_{0}\in H^{2}(\mathbb{R}^{n})\), then

$$\begin{aligned} \bigl\Vert \triangledown u_{0}-T_{\varepsilon }(\bigtriangledown u_{0}) \bigr\Vert _{L^{2}(\mathbb{R}^{n})}\leq C\varepsilon \bigl\Vert \bigtriangledown ^{2} u_{0} \bigr\Vert _{L^{2}(\mathbb{R}^{n})} \end{aligned}$$


$$\begin{aligned} \bigl\Vert T_{\varepsilon }\bigl(\bigtriangledown ^{2} u_{0}\bigr) \bigr\Vert _{L^{2}(\mathbb{R}^{n})}\leq C \bigl\Vert \bigtriangledown ^{2} u_{0} \bigr\Vert _{L^{2}(\mathbb{R}^{n})}. \end{aligned}$$


By Parseval’s theorem and Hölder’s inequality, we could get the desired result. The proof could be found in [17]. □

Proposition 2.5

If \(u_{0}\in H^{2}(\mathbb{R}^{n})\), then

$$ \bigl\Vert T_{\varepsilon }(\triangledown u_{0}) \bigr\Vert _{L^{2}(\varOmega _{\varepsilon })} \leq C\varepsilon ^{1/2} \Vert u_{0} \Vert _{H^{2}(\mathbb{R}^{n})}. $$


This estimate could be proved by Fubini’s theorem. See [15] or [18] for the detailed proof. □

3 Proofs of theorems

The goal of this section is to establish \(H^{1}\) and \(L^{2}\) convergence rates of solutions.

Proof of Theorem 1

Let \(\omega _{\varepsilon }\in H^{1}(\varOmega )\) be a weak solution of

$$ \textstyle\begin{cases} L_{\varepsilon }\omega _{\varepsilon }+\triangledown (p_{\varepsilon }-p _{0}-\chi ) =0& \text{in }\varOmega, \\ \operatorname{div}\omega _{\varepsilon }=\varepsilon \operatorname{div} N(x/\varepsilon, T_{ \varepsilon }(\triangledown \widetilde{u}_{0}))& \text{in }\varOmega, \\ \omega _{\varepsilon }=\varepsilon N(x/\varepsilon, T_{\varepsilon }( \triangledown \widetilde{u}_{0}))& \text{on }\partial \varOmega. \end{cases} $$

We will use \(\omega _{\varepsilon }\) to approximate the difference of pressure term.

Introduce the first-order approximation of \(u_{\varepsilon }\):

$$ v_{\varepsilon }=u_{0}+\varepsilon N\bigl(x/\varepsilon, T_{\varepsilon }( \triangledown \widetilde{u}_{0})\bigr)-\omega _{\varepsilon }. $$

Note that, for any \(\varphi \in C_{0}^{\infty }(\varOmega;\mathbb{R} ^{n})\),

$$ \int _{\varOmega }A(x/\varepsilon,\triangledown u_{\varepsilon })\cdot \triangledown \varphi \,dx- \int _{\varOmega } p_{\varepsilon }\operatorname{div}\varphi \,dx= \int _{\varOmega }Q(\triangledown u_{0})\cdot \triangledown \varphi \,dx- \int _{\varOmega } p_{0}\operatorname{div}\varphi \,dx. $$

A simple calculation then gives that

$$\begin{aligned} &\int _{\varOmega }\bigl[A(x/ \varepsilon,\triangledown u_{\varepsilon })-A(x/ \varepsilon,\triangledown v_{\varepsilon })\bigr]\cdot \triangledown \varphi \,dx+ \int _{\varOmega } (p_{0}-p_{\varepsilon }) \operatorname{div}\varphi \,dx \\ &\quad= \int _{\varOmega }\bigl[Q(\triangledown u_{0})-Q \bigl(T_{\varepsilon }(\triangledown \widetilde{u}_{0})\bigr)\bigr] \cdot \triangledown \varphi \,dx \\ &\qquad{}+ \int _{\varOmega }\bigl[Q\bigl(T_{\varepsilon }(\triangledown \widetilde{u}_{0})\bigr)-A\bigl(x/ \varepsilon, T_{\varepsilon }( \triangledown \widetilde{u}_{0})+ \triangledown N\bigl(x/\varepsilon, T_{\varepsilon }(\triangledown \widetilde{u}_{0})\bigr)\bigr)\bigr] \cdot \triangledown \varphi \,dx \\ &\qquad{}+ \int _{\varOmega }\bigl[A\bigl(x/\varepsilon, T_{\varepsilon }( \triangledown \widetilde{u}_{0})+\triangledown N\bigl(x/\varepsilon, T_{\varepsilon }( \triangledown \widetilde{u}_{0})\bigr)\bigr)-A(x/ \varepsilon, \triangledown v _{\varepsilon })\bigr]\cdot \triangledown \varphi \,dx \\ &\quad \doteq I_{1}+I_{2}+I_{3}. \end{aligned}$$

To estimate \(I_{1}\), we note that by Proposition 2.1 and Proposition 2.4,

$$\begin{aligned} \vert I_{1} \vert & \leq C \int _{\varOmega } \bigl\vert Q(\triangledown u_{0})-Q \bigl(T_{\varepsilon }(\triangledown \widetilde{u}_{0})\bigr) \bigr\vert \cdot \vert \triangledown \varphi \vert \,dx \\ & \leq C \bigl\Vert \triangledown \widetilde{u}_{0}-T_{\varepsilon }( \triangledown \widetilde{u}_{0}) \bigr\Vert _{L^{2}(\mathbb{R}^{n})} \Vert \triangledown \varphi \Vert _{L^{2}(\varOmega )} \\ & \leq C\varepsilon \Vert u_{0} \Vert _{H^{2}(\varOmega )} \Vert \triangledown \varphi \Vert _{L^{2}(\varOmega )}. \end{aligned}$$

Next, we shall estimate \(I_{2}\). Let

$$ F\bigl(x/\varepsilon, T_{\varepsilon }(\triangledown \widetilde{u}_{0}) \bigr)=Q\bigl(T _{\varepsilon }(\triangledown \widetilde{u}_{0}) \bigr)-A\bigl(x/\varepsilon, T _{\varepsilon }(\triangledown \widetilde{u}_{0})+ \triangledown N\bigl(x/ \varepsilon, T_{\varepsilon }(\triangledown \widetilde{u}_{0})\bigr)\bigr). $$

Note that \(F(x/\varepsilon, T_{\varepsilon }(\triangledown \widetilde{u}_{0}))\) is a periodic function with respect to the first variable, and it satisfies the conditions of Proposition 2.3. Then there exists \(\varPhi _{ij}(\cdot,\xi )\in H^{1}(\mathbb{R}^{n})\) satisfying

$$ Q_{j}\bigl(T_{\varepsilon }(\triangledown \widetilde{u}_{0}) \bigr)-A_{j}\bigl(y, T _{\varepsilon }(\triangledown \widetilde{u}_{0})+\triangledown N\bigl(y, T _{\varepsilon }( \triangledown \widetilde{u}_{0})\bigr)\bigr)=\frac{\partial \varPhi _{ij}(y,T_{\varepsilon }(\triangledown \widetilde{u}_{0}))}{{\partial y _{i}}}+\chi _{j}. $$

Thus, it gives that

$$\begin{aligned} I_{2}& = \int _{\varOmega }F\bigl(x/\varepsilon, T_{\varepsilon }(\triangledown \widetilde{u}_{0})\bigr)\cdot \triangledown \varphi \,dx \\ & = \int _{\varOmega } \biggl[\frac{\partial \varPhi _{ij}(y,T_{\varepsilon }( \triangledown \widetilde{u}_{0}))}{{\partial y_{i}}}+\chi _{j} \biggr]\frac{ \partial \varphi }{\partial x_{j}} \,dx \\ & \doteq I_{21}+I_{22}. \end{aligned}$$

For the first term,

$$\begin{aligned} I_{21}& = \int _{\varOmega }\frac{\partial }{\partial x_{i}} \bigl(\varepsilon \varPhi _{ij}\bigl(x/\varepsilon, T_{\varepsilon }(\triangledown \widetilde{u}_{0})\bigr) \bigr)\cdot \frac{\partial \varphi }{\partial x _{j}}\,dx- \int _{\varOmega }\varepsilon \frac{\partial \varPhi _{ij}(x/\varepsilon ,\xi )}{\partial \xi _{h}}\frac{\partial \xi _{h}}{\partial x_{i}} \frac{ \partial \varphi }{\partial x_{j}}\,dx \\ & =- \int _{\varOmega }\varepsilon \frac{\partial \varPhi _{ij}(x/\varepsilon, \xi )}{\partial \xi _{h}}\frac{\partial \xi _{h}}{\partial x_{i}} \frac{ \partial \varphi }{\partial x_{j}}\,dx, \end{aligned}$$

where the first term vanishes in the last equality, which depends on the antisymmetry of \(\varPhi _{ij}\).

As a result, using Proposition 2.3 and Proposition 2.4, we get that

$$\begin{aligned} \vert I_{21} \vert & \leq C\varepsilon \bigl\Vert T_{\varepsilon }\bigl(\triangledown ^{2} \widetilde{u}_{0}\bigr) \bigr\Vert _{L^{2}(\mathbb{R}^{n})} \Vert \triangledown \varphi \Vert _{L^{2}(\varOmega )} \\ & \leq C\varepsilon \Vert u_{0} \Vert _{H^{2}(\varOmega )} \Vert \triangledown \varphi \Vert _{L^{2}(\varOmega )}. \end{aligned}$$

For \(I_{3}\), it follows from the growth condition of (1.4) as well as Proposition 2.4 that

$$\begin{aligned} \vert I_{3} \vert &\leq C \bigl( \bigl\Vert \triangledown \widetilde{u} _{0}-T_{\varepsilon }(\triangledown \widetilde{u}_{0}) \bigr\Vert _{L^{2}(\mathbb{R}^{n})}+\varepsilon \bigl\Vert \triangledown _{\xi }N(y,\xi ) \bigr\Vert _{L^{2}(\varOmega )} \bigl\Vert T _{\varepsilon }\bigl(\triangledown ^{2}\widetilde{u}_{0} \bigr) \bigr\Vert _{L^{2}(\mathbb{R}^{n})} \bigr) \Vert \triangledown \varphi \Vert _{L^{2}(\varOmega )} \\ & \leq C\varepsilon \Vert u_{0} \Vert _{H^{2}(\varOmega )} \Vert \triangledown \varphi \Vert _{L^{2}(\varOmega )}, \end{aligned}$$

where we have used Proposition 2.2.

Then we rearrange equation (3.1), together with (3.3)–(3.5), to show that

$$\begin{aligned} &\biggl\vert \int _{\varOmega }\bigl[A(x/ \varepsilon,\triangledown u_{\varepsilon })-A(x/ \varepsilon,\triangledown v_{\varepsilon })\bigr]\cdot \triangledown \varphi \,dx+ \int _{\varOmega } (p_{0}-p_{\varepsilon }-\chi ) \operatorname{div} { \varphi } \,dx \biggr\vert \\ &\quad \leq C\varepsilon \Vert u_{0} \Vert _{H^{2}(\varOmega )} \Vert \triangledown \varphi \Vert _{L^{2}(\varOmega )}. \end{aligned}$$

Then let \(\varphi =u_{\varepsilon }-v_{\varepsilon }=u_{\varepsilon }-u _{0}-\varepsilon N(x/\varepsilon, T_{\varepsilon }(\triangledown \widetilde{u}_{0}))+\omega _{\varepsilon }\). By the coercive condition and the equation satisfied by \(\omega _{\varepsilon }\), we can get the desired result, which completes the proof. □

Proof of Theorem 2

According to Theorem 1, we obtain the estimate

$$ \bigl\Vert u_{\varepsilon }-u_{0}-\varepsilon N\bigl(x/\varepsilon, T_{ \varepsilon }(\triangledown \widetilde{u}_{0})\bigr)+\omega _{\varepsilon } \bigr\Vert _{H_{0}^{1}(\varOmega )}\leq C\varepsilon \Vert u_{0} \Vert _{H^{2}(\varOmega )}. $$

Hence, it suffices to show that

$$ \Vert \omega _{\varepsilon } \Vert _{H^{1}(\varOmega )}\leq C \varepsilon ^{1/2} \Vert u_{0} \Vert _{H^{2}(\varOmega )}. $$

In fact, by equation (3.1) and energy estimate, we obtain

$$\begin{aligned} & \Vert \omega _{\varepsilon } \Vert _{H^{1}(\varOmega )} \\ &\quad\leq C \varepsilon \bigl\Vert \operatorname{div}N\bigl(x/\varepsilon,T_{\varepsilon }( \triangledown \widetilde{u}_{0})\bigr) \bigr\Vert _{L^{2}(\varOmega )}+C \varepsilon \bigl\Vert N\bigl(x/\varepsilon,T_{\varepsilon }(\triangledown \widetilde{u}_{0})\bigr) \bigr\Vert _{H^{1/2}(\partial \varOmega )} \\ &\quad \leq C\varepsilon \bigl\Vert \eta _{\varepsilon }N\bigl(x/ \varepsilon,T_{ \varepsilon }(\triangledown \widetilde{u}_{0})\bigr) \bigr\Vert _{H^{1}( \varOmega )} \\ &\quad \leq C\varepsilon \bigl\Vert \triangledown _{\xi }N(y,\xi )T_{\varepsilon }\bigl(\triangledown ^{2} \widetilde{u}_{0} \bigr) \bigr\Vert _{L^{2}(\varOmega _{\varepsilon })}+C\bigl\Vert \triangledown _{y}N(y,T _{\varepsilon }(\triangledown \widetilde{u}_{0}) \bigr\Vert _{L^{2}(\varOmega _{\varepsilon })} \\ &\qquad{} +C\varepsilon \bigl\Vert \eta _{\varepsilon }N\bigl(x/\varepsilon,T_{\varepsilon }( \triangledown \widetilde{u}_{0})\bigr)\bigr\Vert _{L^{2}(\varOmega )}+C\bigl\Vert N \bigl(x/\varepsilon,T_{\varepsilon }(\triangledown \widetilde{u}_{0}) \bigr) \bigr\Vert _{L^{2}(\varOmega _{\varepsilon })} \\ &\quad \leq C\varepsilon \bigl\Vert T_{\varepsilon }\bigl(\triangledown ^{2} \widetilde{u}_{0}\bigr) \bigr\Vert _{L^{2}(\varOmega )}+C \bigl\Vert T_{\varepsilon }(\triangledown \widetilde{u}_{0}) \bigr\Vert _{L^{2}(\varOmega _{\varepsilon })}+C\varepsilon \bigl\Vert T_{ \varepsilon }(\triangledown \widetilde{u}_{0}) \bigr\Vert _{L^{2}(\varOmega )} \\ &\quad \leq C\varepsilon ^{1/2} \Vert u_{0} \Vert _{H^{2}(\varOmega )}, \end{aligned}$$

where we have used the estimates in Proposition 2.2, Proposition 2.4, and Proposition 2.5.

This completes the proof of Theorem 2. □

Proof of Theorem 3

It follows from Theorem 2 and Proposition 2.2, together with Minkowski’s inequality, that

$$\begin{aligned} \Vert u_{\varepsilon }-u_{0} \Vert _{L^{2}(\varOmega )}& \leq C\varepsilon ^{1/2} \Vert u_{0} \Vert _{H^{2}(\varOmega )}+ \bigl\Vert \varepsilon N\bigl(x/\varepsilon, T_{\varepsilon }(\triangledown \widetilde{u}_{0})\bigr) \bigr\Vert _{L^{2}(\varOmega )} \\ & \leq C\varepsilon ^{1/2} \Vert u_{0} \Vert _{H^{2}(\varOmega )}+C \varepsilon \bigl\Vert T_{\varepsilon }(\triangledown \widetilde{u} _{0}) \bigr\Vert _{L^{2}(\mathbb{R}^{n})} \\ & \leq C\varepsilon ^{1/2} \Vert u_{0} \Vert _{H^{2}(\varOmega )}, \end{aligned}$$

which completes the proof of Theorem 3. □


  1. Aleksanyan, H., Shahgholian, H., Sjölin, P.: Applications of Fourier analysis in homogenization of Dirichlet problem I. Pointwise estimates. J. Differ. Equ. 254, 2626–2637 (2013)

    Article  MathSciNet  Google Scholar 

  2. Aleksanyan, H., Shahgholian, H., Sjölin, P.: Applications of Fourier analysis in homogenization of the Dirichlet problem: \(L^{p}\) estimates. Arch. Ration. Mech. Anal. 215, 65–87 (2015)

    Article  MathSciNet  Google Scholar 

  3. Alghamdi, A.M., Gala, S., Ragusa, M.A.: On the blow-up criterion for incompressible Stokes-MHD equations. Results Math. 73, 110 (2018)

    Article  MathSciNet  Google Scholar 

  4. Bensoussan, A., Lions, J.L., Papanicolaou, G.: Asymptotic Analysis for Periodic Structures. North-Holland, Amsterdam (1978)

    MATH  Google Scholar 

  5. Gala, S., Ragusa, M.A.: A new regularity criterion for the Navier Stokes equations in terms of the two components of the velocity. Electron. J. Qual. Theory Differ. Equ. 2016, 26 (2016)

    Article  MathSciNet  Google Scholar 

  6. Gérard, D., Masmoudi, N.: Homogenization and boundary layers. Acta Math. 209, 133–178 (2012)

    Article  MathSciNet  Google Scholar 

  7. Gu, S.: Convergence rates in homogenization of Stokes systems. J. Differ. Equ. 260, 5796–5815 (2016)

    Article  MathSciNet  Google Scholar 

  8. Gu, S., Shen, Z.: Homogenization of Stokes systems and uniform regularity estimates. SIAM J. Math. Anal. 47, 4025–4057 (2015)

    Article  MathSciNet  Google Scholar 

  9. Gu, S., Xu, Q.: Optimal boundary estimates for Stokes systems in homogenization theory. SIAM J. Math. Anal. 49, 3831–3853 (2016)

    Article  MathSciNet  Google Scholar 

  10. Gu, S., Zhuge, J.: Periodic homogenization of Green’s functions for Stokes systems (2017) arXiv:1710.05383v2

  11. Huang, L., Lian, R.: Regularity to the spherically symmetric compressible Navier–Stokes equations with density-dependent viscosity. Bound. Value Probl. 2018, 85 (2018)

    Article  MathSciNet  Google Scholar 

  12. Jikov, V., Kozlov, S., Oleinik, O.: Homogenization of Differential Operators and Integral Functionals. Springer, Berlin (1994)

    Book  Google Scholar 

  13. Kenig, C.E., Lin, F.H., Shen, Z.W.: Convergence rates in \(L^{2}\) for elliptic homogenization problems. Arch. Ration. Mech. Anal. 203, 1009–1036 (2012)

    Article  MathSciNet  Google Scholar 

  14. Kenig, C.E., Lin, F.H., Shen, Z.W.: Periodic homogenization of Green and Neumann functions. Commun. Pure Appl. Math. 67, 1219–1262 (2012)

    Article  MathSciNet  Google Scholar 

  15. Pakhnin, M.A., Suslina, T.A.: Operator error estimates for the homogenization of the elliptic Dirichlet problem in a bounded domain. St. Petersburg Math. J. 24, 949–976 (2013)

    Article  MathSciNet  Google Scholar 

  16. Pastukhova, S.E.: Operator estimates in nonlinear problems of reiterated homogenization. Proc. Steklov Inst. Math. 261, 214–228 (2008)

    Article  MathSciNet  Google Scholar 

  17. Shen, Z.W.: Boundary estimates in elliptic homogenization. Mathematics 10, 653–694 (2017)

    MathSciNet  MATH  Google Scholar 

  18. Shen, Z.W., Zhuge, J.: Convergence rates in periodic homogenization of systems of elasticity. Proc. Am. Math. Soc. 145, 1187–1202 (2016)

    Article  MathSciNet  Google Scholar 

  19. Shen, Z.W., Zhuge, J.: Boundary layers in periodic homogenization of Neumann problems. Commun. Pure Appl. Math. 71, 2163–2219 (2018)

    Article  MathSciNet  Google Scholar 

  20. Suslina, T.: Homogenization of the Dirichlet problem for elliptic systems: \(L^{2}\)-operator error estimates. Mathematika 59, 463–476 (2013)

    Article  MathSciNet  Google Scholar 

  21. Suslina, T.: Homogenization of the Neumann problem for elliptic systems with periodic coefficients. SIAM J. Math. Anal. 45, 3453–3493 (2013)

    Article  MathSciNet  Google Scholar 

  22. Wang, L., Xu, Q., Zhao, P.: Convergence rates on periodic homogenization of p-Laplace type equations (2018) arXiv:1812.04837

  23. Zhang, Z., Zhong, D., Cao, S., Qiu, S.: Fundamental Serrin type regularity criteria for 3D MHD fluid passing through the porous medium. Filomat 31, 1287–1293 (2017)

    Article  MathSciNet  Google Scholar 

  24. Zhao, J.: Homogenization of the boundary value for the Neumann problem. J. Math. Phys. 56, 021508 (2015)

    Article  MathSciNet  Google Scholar 

Download references


The authors would like to thank the reviewers for their valuable comments and helpful suggestions to improve the quality of this paper. The part of this work was done while the author was visiting School of Mathematics and Applied Statistics, University of Wollongong, Australia.

Availability of data and materials

Not applicable.


This work has been supported by the Natural Science Foundation of China (No. 11626239), China Scholarship Council (No. 201708410483), as well as Foundation of Education Department of Henan Province (No. 18A110037).

Author information

Authors and Affiliations



All authors read and approved the manuscript.

Corresponding author

Correspondence to Juan Wang.

Ethics declarations

Competing interests

The authors declare that they have no 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 distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Wang, J., Zhao, J. Convergence rates of nonlinear Stokes problems in homogenization. Bound Value Probl 2019, 96 (2019).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI:


  • 35J15
  • 35J25


  • Homogenization
  • Convergence rates
  • Stokes problems
  • Smoothing operators